1. Jakson johtopäätös
EFT ei voi selvitä tumman jalustan kysymyksestä yhdellä näyttävällä kiertokäyrällä. Jos lisävetovaikutus todella syntyy samasta jännitysmaastosta, kiertokäyrien residuaalien, heikon ja voimakkaan linssityksen residuaalien, kuvien sijaintien ja aikaviiveiden sekä sulautumisissa havaittavan κ-X-erkaantuman ja sen regression on täsmättävä keskenään sen jälkeen, kun sama baryoninen peruskartta, samat projektiosäännöt ja sama tapahtumavaiheiden kielioppi on jäädytetty.
Jos nämä havaintoikkunat saadaan juuri ja juuri toimimaan vain mallilla ”dynamiikalle yksi kartta, heikolle linssitykselle toinen, voimakkaalle linssitykselle kolmas ja sulautumisille kokonaan oma tapahtumakertomuksensa”, EFT:n väitettä jaetusta peruskartasta on supistettava. Jaettu peruskartta ei tarkoita sitä, että eri ikkunoille tarjotaan jokaiselle jokin selitys. Saman kartan on siirryttävä ikkunasta toiseen, tuotettava ennusteita ja kestettävä arviointi.
2. Ratkaisukortti
Ratkaisukortti ei korvaa varsinaista tekstiä. Sen tehtävä on kirjata etukäteen tämän jakson päämittarit, artefaktien rajat, kynnysten määrittely ja nollatulosten tulkinta, jotta kaikki myöhempi aineisto voidaan kirjata vain samaan arviointitaulukkoon.
- Ydinlupaus: Kiertokäyrät, heikko ja voimakas linssitys, kuvien sijainnit ja aikaviiveet, sulautumisten κ-X-erkaantumat sekä ympäristöjärjestys on voitava johtaa ennusteina samasta jäädytetystä peruskartasta. Paikalliset häiriöt ovat sallittuja, mutta eri ikkunoille ei saa rakentaa toista karttaa.
- Keskeiset mittarit: kiertokäyrien residuaalit sekä BTFR / RAR; heikon linssityksen leikkauksen ja ylimääräisen pintamassatiheyden ekstrapoloinnin sulkeutuminen; voimakkaan linssityksen kuvien sijaintien, aikaviiveiden ja kuvatyyppitilastojen yhteensopivuus saman makromaaston kanssa; sulautumisten κ-X-erkaantumien vaiheittainen järjestys ja time-since-pericenter-regressio; sekä säteilyseuralaisten ja ympäristöryhmittelyn samansuuntaisuus.
- Keskeiset artefaktit / vaihtoehtoiset selitykset: tähtien massa-valosuhde ja takaisinkytkentäreseptit; kaasun paine ja ei-ympyräliike; PSF:n, fotometrisen punasiirtymän ja leikkausmittauksen systematiikka; voimakkaan linssityksen makromallidegeneraatiot ja mikrolinssitys; vaimeneminen ja etenemisvaikutukset; LOS-projektio ja jäsenyyden virheluokittelu; sulautumisgeometrian ja iskurintamaolosuhteiden epäselvyys; sekä otosvalinta ja putkiriippuvuus.
- Ennakkorekisteröinnissä jäädytettävät asiat: baryonisen peruskartan määrittely; M/L-priori; kaasu- ja kuumakaasumallit; jaetun peruskartan parametriperhe; heikon ja voimakkaan linssityksen projektiosäännöt; vaihetunnisteet ja time-since-pericenter-proksit; arviointikynnykset; sekä holdout- ja sokkoutusasetelmat.
- Tukiehdot: dynamiikan perusteella sovitettu peruskartta voidaan ekstrapoloida heikkoon linssitykseen; voimakas linssitys ei pakota käyttöön toista pääakselia; sulautumisten erkaantumat ja seuralaisilmiöt osoittavat vaiheregressiota; ympäristöjärjestys säilyy eri havaintoikkunoissa; ja parametriperhe konvergoi edelleen holdout-testien ja putkienvälisen replikaation jälkeen.
- Ylärajalinja / tiukennus: jaettu peruskartta toimii vain tietyllä mittakaavalla tai tietyissä olosuhteissa; voimakas linssitys tarvitsee rajallisen hienorakenteen häiriötermin; sulautumisissa suunta on oikea mutta aikaskaalat hajanaisia; tai nollatulos muuttuu profiilin, vaiheregression tai soveltamisalan ylärajaksi.
- Rakenteellinen vahinko: dynamiikka ja linssitys vaativat pitkään keskenään yhteensopimattomia profiiliperheitä; voimakas linssitys pakottaa toistuvasti käyttöön toisen kartan; κ-X-erkaantuma ei osoita vaiheregressiota ja irtoaa ympäristöstä tai seuralaisilmiöistä; parametrit eivät ole lainkaan siirrettävissä; tai negatiivinen tulos säilyy vakaana menetelmällisten suojakaiteiden jälkeen.
- Nollatuloksen tulkinta: jos heikon linssityksen ekstrapolointi ei sulkeudu, voimakkaan linssityksen yhteinen sulkeutuminen puuttuu tai sulautumisten vaiheregressiota tai ympäristöjärjestystä ei havaita, tulos muutetaan vastaavasti jaetun peruskartan amplitudin tai mittakaavan, hienorakenteen häiriöiden tai vaihevasteen ylärajaksi taikka soveltamisalan kavennukseksi tiettyihin mittakaavoihin tai olosuhteisiin.
- Edustavat aineistolähteet: julkiset kiertokäyrä- ja tiukkojen relaatioiden koosteet; Euclid-, Rubin- ja Roman-tyyppiset heikon linssityksen otokset; HST:n, JWST:n, ALMA:n, Keckin ja VLT:n kaltaiset voimakkaan linssityksen kuvaus- ja aikaviiveaineistot; sekä Chandran, XMM:n, eROSITAn, MeerKATin ja SKA:n kaltaiset galaksijoukkojen sulautumisten moniaaltopituusotokset.
Tämä jakso jatkaa osan 6 jaksoissa 6.7-6.11 avattua kokonaiskirjanpitoa. Jaksossa 6.7 pimeän aineen hiukkasparadigman vähimmäissitoumukset asetettiin reilusti maalitauluksi. Jaksossa 6.8 kiertokäyrät ja kaksi tiukkaa relaatiota horjuttivat oletuskielioppia ”lisävetovaikutus = uusi ainesäiliö”. Jaksossa 6.9 linssitys palautettiin samalle etualan maastolle, ja jaksossa 6.11 galaksijoukkojen sulautumiset kirjoitettiin tapahtumaelokuvaksi, jolla on vaiheet, palautumisregressio ja seuralaisilmiöt. Jaksossa 8.6 tämä ketju ei enää saa jäädä tulkinnan tasolle, vaan se on tiivistettävä protokollaksi, joka voi todella ratkaista voittajan ja häviäjän.
Kysymys ei ole vain siitä, pystyykö EFT kertomaan tumman jalustan ongelman uudelleen. Kysymys on myös siitä, ansaitseeko se oikeuden haastaa osassa 9 pimeän aineen hiukkasparadigman yksinoikeuden selittää nämä ilmiöt. Tätä oikeutta ei saa iskulauseella, vaan ainoastaan osoittamalla, että sama peruskartta kestää useassa havaintoikkunassa yhtä aikaa.
3. Mitä viittä tiliä jaetun peruskartan tuomiossa arvioidaan, ja miksi ne on käsiteltävä yhdessä
Jaetun peruskartan tuomio ei tarkoita ensisijaisesti sitä, että ”kaikki kolme aineistoluokkaa saadaan erikseen sovitettua kohtuullisesti”. Sellainen voitto olisi liian halpa: riittävän joustava kertomus pystyy rakentamaan dynamiikalle, linssitykselle ja sulautumisille omat paikalliset selityksensä. Jakso 8.6 arvioi paljon kovempaa yhteistä sulkeutumista: voidaanko saman järjestelmän eri havaintoikkunoissa mitatut residuaalit ennustaa eteenpäin samasta jäädytetystä peruskartasta?
EFT:n kielessä tämä peruskartta sisältää vähintään kaksi kerrosta. Ensimmäinen on näkyvän baryonisen aineen jakauma: tähtikiekko, pullistuma, kylmä kaasu ja kuuma plasma, jotka ovat monissa järjestelmissä jo lähtökohtaisesti ensimmäisiä kirjoittajia. Toinen kerros muodostuu tilastollisista kaltevuuksista ja taustapohjasta, jotka muodostumis-, aktiivisuus- ja syöttöhistoria sekä rakenteiden purkautuminen ja takaisintäyttö ovat pitkän ajan kuluessa jättäneet. Jos EFT pitää paikkansa, jälkimmäinen ei voi keksiä itseään uudelleen jokaisessa ikkunassa erillisen ainesäiliön tavoin. Sen on yhdessä ensimmäisen kerroksen kanssa muodostettava sama siirrettävä jännitysmaasto.
- Ensimmäinen tili koskee kiertokäyriä ja kahta tiukkaa relaatiota. Se kertoo ensi sijassa, miten aine liikkuu. Jos jaettu peruskartta todella on olemassa, näkyvän baryonisen aineen vaikutuksen vähentämisen jälkeen ulkokiekon nopeustason kannattelu, baryoninen Tully-Fisher-relaatio (BTFR) ja radiaalisen kiihtyvyyden relaatio (RAR) eivät saa pysyä koossa vain kohdekohtaisella hienosäädöllä. Niiden pitäisi noudattaa samaa kielioppia, joka syntyy muutamasta globaalista parametrista ja muutamasta selitettävästä ympäristömuuttujasta.
- Toinen tili on heikko linssitys. Se kertoo, miten sama maasto projisoituu laajaan kenttään. Ensimmäinen kova testi jaetun peruskartan todelliselle siirrettävyydelle kuvaikkunaan on se, voidaanko dynamiikan havaintoikkunassa sovitetuilla peruskarttaparametreilla projektiosääntöjen jäädyttämisen jälkeen ennustaa eteenpäin tangentiaalisen leikkauksen ja ylimääräisen pintamassatiheyden residuaalien päätrendi.
- Kolmas tili on voimakas linssitys. Se on vaativin, koska se ei kysy vain, onko kokonaismäärä riittävän suuri, vaan myös, onko yksityiskohtainen geometria sisäisesti johdonmukainen. Jos kuvien sijainnit, aikaviiveet, vuosuhdeanomaliat, parittomien kuvien esiintymisaste ja satulapistekuvien vinouma pakottavat EFT:n rakentamaan jokaiselle järjestelmälle oman piilevän alarakennespektrin, jaettu peruskartta on jo vaihtunut toiseksi kartaksi.
- Neljäs tili on galaksijoukkojen sulautuminen ja κ-X-erkaantuma. Sen arvo ei ole yhdessä kuuluisassa kuvassa, vaan siinä, että se erottaa staattisen varaston tapahtumallisesta peruskartasta. Jos muodostumis-, aktiivisuus- ja syöttöhistoria sekä purkautuminen ja takaisintäyttö todella muovaavat jaettua peruskarttaa, sen ei pitäisi törmäystä edeltävässä vaiheessa, läpikulussa, viiveessä, takaisintäytössä ja relaksaatiossa käyttäytyä kuin ikuisesti muuttumaton varastokuva.
- Viides tili koskee säteilyyn liittyviä seuralaisilmiöitä, ympäristöjärjestystä ja vaiheregressiota. Ne eivät ole koristeita, vaan saman kirjanpidon sivuprofiileja. Jos lisävetovaikutus todella syntyy aktiivisesta taustapohjasta, radiohalot, radioreliikit, polarisaation pääakselit, spektri-indeksin gradientit sekä kirkkaus- ja painevaihtelut eivät saa irrota kokonaan κ-residuaaleista tai linssityspoikkeamista. Myös tyhjöistä säikeiden ja solmujen kautta galaksijoukkoihin etenevän ympäristöryhmittelyn pitäisi tuottaa dynamiikassa, linssityksessä ja sulautumisissa keskenään yhteensopiva järjestys.
Nämä viisi tiliä on käsiteltävä yhdessä, koska ne ovat saman kysymyksen viisi keskenään ortogonaalista leikkausta. Jos yksikin tili vaatii jatkuvasti havaintoikkunalle oman toisen kartan, jakso 8.6 ei saa päätyä tuomioon, jonka mukaan jaettu peruskartta pitää paikkansa.
4. Yhteinen protokolla: jäädytä sama peruskartta ennen usean havaintoikkunan ekstrapolointia – jokaiselle tilille ei saa rakentaa uutta karttaa
Jotta EFT ei kirjoittaisi itseään takaisin paikkausmalliksi, tämän jakson työjärjestys on ennakkorekisteröitävä ja jäädytettävä.
- Ensimmäisessä vaiheessa jäädytetään baryonisen peruskartan määrittely: miten tähtien massa-valosuhteen priori valitaan, miten kylmä ja kuuma kaasu tuodaan kartalle, miten galaksijoukkojen jäsenyys määritellään ja mitkä ei-termiset tukikomponentit kirjataan vain häiriötermeiksi. Kaikki tämä on ratkaistava ennen tulosten tarkastelua.
- Toisessa vaiheessa jäädytetään jaetun peruskartan parametriperhe. Etukäteen on ilmoitettava, mitkä parametrit kuuluvat näkyvän baryonisen aineen karttaan, mitkä kuvaavat ulomman tilastollisen kaltevuuden amplitudia ja mittakaavaa, mitkä saavat tulla mukaan sulautumisen vaihetermiksi ja mitkä jäävät pelkiksi häiriöparametreiksi. Parametriperhe saa olla leveä tai kapea, mutta se ei saa vaihtaa muotoaan mielivaltaisesti havaintoikkunasta toiseen.
- Kolmannessa vaiheessa pääkartta määritetään ensin dynamiikan tilillä sen sijaan, että kaikki havaintoikkunat sovitettaisiin heti erikseen. Kiertokäyrien residuaaleilla, BTFR:llä ja RAR:llä rajoitetaan ensin jaetun peruskartan pääparametrit. Sen jälkeen sama parametrisarja viedään ennustamaan heikon linssityksen tangentiaalista leikkausta ja pintamassatiheyden residuaaleja. Jaetusta peruskartasta voidaan puhua vain, jos ensin sovitetaan ja sitten ennustetaan – ei silloin, kun palapeli kootaan jälkikäteen.
- Neljännessä vaiheessa heikko linssitys käsitellään omana projektiotauditointinaan. Arvioinnin kohteena ei ole vain se, muistuttaako amplitudi odotusta, vaan säilyttääkö pääkartta projektiosääntöjen jäädyttämisen jälkeen voimakkuusjärjestyksen ympäristöryhmien, massaluokkien ja riippumattomien otosten välillä. Jos heikko linssitys tarvitsee uuden täydellisen vapausastejoukon aina otoksen vaihtuessa, tulos kirjataan ”ekstrapolointi epäonnistui”, ei ”keskimäärin näyttää hieman samalta”.
- Viidennessä vaiheessa voimakas linssitys erotetaan omaksi hienorakenteen auditoinnikseen. Kuvien sijainneilla, aikaviiveillä, vuosuhdeanomalioilla ja parittomien kuvien esiintymisasteella saa edelleen olla omat kohina- ja häiriölähteensä, mutta niiden on täsmättävä saman makromaaston kanssa. Mikrolinssitys, väliaineessa eteneminen, LOS-leikkaus ja kuvantamisen systematiikka saavat pysyä ennakkorekisteröityinä häiriötermeinä, mutta niitä ei saa käyttää suojaamaan pääkarttaa, joka on jo menettänyt yhtenäisyytensä.
- Kuudennessa vaiheessa sulautumisotoksille tehdään vaihetunnisteisiin perustuva auditointi. Törmäystä edeltävä vaihe, läpikulku, viive, takaisintäyttö ja relaksaatio eivät saa jäädä kirjallisiksi kuvauksiksi, vaan ne on muutettava toistettaviksi ajallisiksi tai geometrisiksi prokseiksi. Tällaisia ovat esimerkiksi time-since-pericenter, kaksihuippuinen nopeusjakauma, iskurintaman tai kylmärintaman geometria, sulautumisakselin suunta ja massasuhde. κ-X-erkaantuman, ei-termisten seuralaisilmiöiden ja palautumisradan auditointi voi alkaa vasta, kun vaihetunnisteet on jäädytetty.
- Seitsemännessä vaiheessa kaikki havaintoikkunat palautetaan samaan arviointitaulukkoon. Sen on tarkastettava samanaikaisesti vähintään viisi asiaa: sulkeutuuko amplitudi, säilyykö voimakkuusjärjestys, ovatko huippujen sijainnit ja aikaviiveet yhteensopivia, osoittaako ympäristöryhmittely samaan suuntaan ja konvergoiko vaiheregressio. Jos yksikin näistä kohdista nojaa pitkään havaintoikkunalle räätälöityyn paikkaukseen, jakso 8.6 ei saa päätyä tuomioon ”jaettu peruskartta pitää paikkansa”.
- Kahdeksannessa vaiheessa ”baryoninen takaisinkytkentä” ja ”ympäristön kehitys” käsitellään pakollisina vaihtoehtoisina selityksinä jo nyt, eikä niitä lisätä vasta jaksossa 8.12. Jos ilmiö voidaan selittää jokaisessa havaintoikkunassa erikseen pelkästään muuttamalla takaisinkytkentäreseptiä, massa-valosuhdetta tai galaksijoukon relaksaatiotilaan perustuvaa valintaa, mutta ikkunoiden välillä siirrettävää pääkarttaa ja vaiheregressiota ei ole, ilmiö kuuluu ensisijaisesti tavanomaiseen astrofysiikkaan tai otosvalintaan. Sitä ei kirjata automaattisesti EFT:n eduksi.
- Yhdeksännessä vaiheessa toteutetaan samat neljä suojakaidetta kuin jaksossa 8.12: holdout, sokkoutus, nollatarkistukset ja putkienvälinen replikaatio. Tässä jaksossa suurin vaara ei ole niinkään riittämätön tilastollinen voima kuin se, että teoria vakuuttuu liian helposti omasta yhtenäiskertomuksestaan. Jakson 8.6 kaikkein kielletyin voitontapa on selittää ensin jokainen havaintoikkuna erikseen ja ommella ne vasta retoriikalla yhdeksi kartaksi.
5. Kerroksittainen kvantifiointi: mitä tässä jaksossa todella on mitattava
Tässä jaksossa tarvitaan kerroksittaista kvantifiointia, ei vakiota, jota ei ole johdettu ja joka lisätään vain antamaan näennäisen täsmällinen vaikutelma. Vähintään kuusi tasoa on mitattava.
- Ensimmäinen taso on suunta. Jos jaettu peruskartta todella on olemassa, dynamiikan residuaalien, heikon linssityksen ekstrapoloinnin, voimakkaan linssityksen poikkeamien suunnan ja sulautumisten κ-X-erkaantumien regression on ensin säilytettävä samansuuntaisuus pääotoksessa, holdout-otoksessa ja putkienvälisessä replikaatiossa. Suunta ei saa kääntyä heti ympäristön vaihtuessa.
- Toinen taso on järjestys. Eri massaluokkien, ympäristöryhmien ja vaiheiden välisen voimakkuusjärjestyksen säilyminen kiertokäyrissä, heikossa ja voimakkaassa linssityksessä sekä sulautumisissa on tärkeämpää kuin yhden kuvan täydellinen absoluuttinen sovitus.
- Kolmas taso on siirrettävyys. On tarkastettava, pysyvätkö dynamiikan havaintoikkunassa johdetut jaetun peruskartan parametrit ennakkorekisteröidyissä priorirajoissa myös heikossa ja voimakkaassa linssityksessä sekä sulautumisissa. Jos parametrit on nollattava aina uuteen ikkunaan siirryttäessä, tulos kirjataan suoraan ”siirto epäonnistui”.
- Neljäs taso on pienin erotettavissa oleva vaikutuskoko. Jokaiselle aineistoluokalle on ennakkorekisteröitävä, kuinka suuri vähimmäisparannus vaaditaan heikon linssityksen leikkauksen tai pintamassatiheyden residuaaleihin, kuinka suuri vähimmäisparannus voimakkaan linssityksen aikaviiveiden ja kuvien sijaintien yhteiseen sulkeutumiseen sekä millä κ-X-regression kulmakertoimen tai vaiheen monotonisuuden tasolla vaikutus kirjataan vain ”ei erotettu” eikä tueksi.
- Viides taso on tilastollinen kynnys. Tekstiin ei pidä keksiä yhtä yleistä 3σ- tai 5σ-rajaa tai muuta kiinteää lukua. Aineiston herkkyyden ja systematiikkabudjetin perusteella on määriteltävä etukäteen kolme kynnystä: trenditaso, tukitaso ja ratkaiseva taso. Kynnystä ei saa siirtää tuloksen näkemisen jälkeen johtopäätöksen mukaiseksi.
- Kuudes taso on ylärajalinja ja nollatuloksen tulkinta. Jos jossakin havaintoikkunassa ei nähdä odotettua ekstrapoloinnin sulkeutumista, vaiheregressiota tai ympäristöjärjestystä, tulosta ei saa jättää epämääräiseksi. Se on muutettava jaetun peruskartan amplitudin, hienorakenteen häiriöiden tai vaihevasteen ylärajaksi, sovellettavan mittakaavan kavennukseksi taikka väitteen ”sama peruskartta on siirrettävissä” vahvuuden alentamiseksi.
6. Keskeiset artefaktit ja vaihtoehtoiset selitykset
Tämän jakson tuki ei voi perustua väljään sääntöön ”jos jokin näyttää lisävetovaikutukselta, se lasketaan ensin EFT:n hyväksi”. Ensin on vastattava siihen, mitkä tavanomaisen astrofysiikan ilmiöt, linssityksen systemaattiset vaikutukset ja otosten käsittelytavat voivat helpoimmin jäljitellä tämän jakson signaalia.
- Ensimmäinen artefaktiluokka on tähtien massa-valosuhteen ja takaisinkytkentäreseptien epävarmuus. Tähtienmuodostuksen takaisinkytkentä, kaasun ulosvirtaus ja takaisintäyttö, kiekon paksuus, ei-ympyräliike ja painetuki voivat kaikki muuttaa dynamiikan ulkoasua. Jos niin sanottu jaettu peruskartta voidaan jokaisessa kiertokäyrässä sovittaa vain muuttamalla takaisinkytkentäreseptiä eikä tätä menettelyä voi ekstrapoloida linssitykseen tai liittää vaiheregressioon, kyse on ensisijaisesti baryonisesta fysiikasta, ei EFT:n tuomasta uudesta selitysvoimasta.
- Toinen artefaktiluokka on heikon linssityksen ketjun systematiikka: PSF, lähdekerroksen vuoto, fotometrisen punasiirtymän vinouma, muotomittauksen vinouma, maskit ja valintafunktio. Jos dynamiikan ja heikon linssityksen välinen sulkeutuminen toimii vain yhdessä leikkausputkessa tai yhdellä photo-z-korjauksella, ensimmäinen johtopäätös ei ole tuki vaan ”projektion määrittely on epävakaa”.
- Kolmas artefaktiluokka on voimakkaan linssityksen makromallin degeneraatio ja paikalliset etenemisvaikutukset. Massalevymuunnos, LOS:n ulkoinen leikkaus, mikrolinssitys, vaimeneminen, plasmassa eteneminen, lähdetason rekonstruktion määrittely ja kuvien laadun perusteella tehty valinta voivat kaikki jäljitellä aikaviive- tai vuosuhdeanomalioita. Ne saavat olla olemassa, mutta niiden on pysyttävä ennakkorekisteröityinä häiriötermeinä; niitä ei saa nostaa toiseksi pääakseliksi.
- Neljäs artefaktiluokka on sulautumisgeometrian ja virtaustilan epävarmuus. Projektiokulma, massasuhde, iskurintaman geometria, kylmärintaman tunnistus, jäsenyyden virheluokittelu sekä termisen ja ei-termisen komponentin puutteellinen erottelu voivat vääristää κ-X-erkaantuman ja säteilyyn liittyvien seuralaisilmiöiden ajallista tulkintaa. Jos näitä suureita ei ole vielä jäädytetty, EFT:n ja vaihtoehtoisten selitysten ei kummankaan pidä kiirehtiä tuomioon.
- Viides artefaktiluokka on ympäristön kehityksen ja morfologisen valinnan sekoittuminen väitettyyn vaikutukseen. Jos ympäristöjärjestys johtuu todellisuudessa vain eri ympäristöjen morfologisten tyyppien sekoittumisesta, kaasurikkaudesta, relaksaatiotilasta tai havaintojen kattavuudesta, se ei ole saman peruskartan kerrostumista. Silloin puhuu vain otoksen koostumus.
- Kuudes artefaktiluokka on malli- ja putkiriippuvuus. Jos saman aineiston johtopäätös muuttuu rajusti aina, kun dynamiikan hajotelma, heikon linssityksen rekonstruktio, voimakkaan linssityksen makromalliperhe tai sulautumisen vaiheproksi vaihdetaan, ensimmäisenä heikkenee tämän jaetun peruskartan kirjoituskuri – ei taivaankappale.
7. Mitkä tulokset todella tukevat EFT:tä
Jakson 8.6 kannalta todellista tukea ei ole yhden kiertokäyrän näyttävyys eikä yhden sulautumiskuvan legendaarisuus. Se edellyttää, että seuraavat asiat toteutuvat yhtä aikaa.
- Dynamiikan havaintoikkunassa sovitettu jaettu peruskartta ennustaa projektiosääntöjen jäädyttämisen jälkeen heikon linssityksen residuaalien päätrendin. Sulkeutuminen ei saa riippua siitä, että heikkoa linssitystä varten lisätään kokonaan oma riippumaton rakennejoukko.
- Voimakas linssitys ei pakota EFT:tä takaisin toiseen karttaan. Kuvien sijainnit, aikaviiveet ja kuvatyyppitilastot voidaan siis selittää samalla makromaastolla. Vuosuhdeanomaliat ja parittomien kuvien vaimeneminen saavat korkeintaan vaatia ennakkorekisteröityjä hienorakenteen häiriötermejä, eivät jokaiselle järjestelmälle erikseen rakennettua ja muihin järjestelmiin siirtymätöntä piilevän alarakenteen spektriä.
- Sulautumisotokset tuottavat selkeän tapahtumaelokuvan kieliopin: κ-X-erkaantumat järjestyvät vaiheen mukaan, läpikulun jälkeinen suurempi erkaantuma palautuu time-since-pericenter-muuttujan kasvaessa ja palautumista voidaan kuvata koko populaatiossa samankaltaisilla aikaskaaloilla. Jokaiselle joukolle ei tarvita omaa ”salaperäistä aikavakiota”.
- Säteilyyn liittyvät seuralaisilmiöt ja ympäristöjärjestys pysyvät mukana. Ei-terminen radiosäteily, polarisaatio, spektri-indeksin gradientit sekä kirkkaus- ja painevaihtelut sijoittuvat tavallista useammin samaan paikkaan ja samaan suuntaan κ-residuaalien tai linssityspoikkeamien kanssa. Myös järjestys tyhjöistä solmuihin ja vähäisestä häiriöstä voimakkaaseen häiriöön säilyy pääpiirteissään dynamiikassa, linssityksessä ja sulautumisissa.
- Parametriperhe konvergoi. Järjestelmälle dynamiikasta johdetut peruskarttaparametrit saavat sisältää virhekaistoja ja hierarkkista rakennetta myös heikossa ja voimakkaassa linssityksessä sekä sulautumisissa, mutta niiden kielioppia ei tarvitse kirjoittaa kokonaan uudelleen eikä karttaa vaihtaa.
- Kaikki viisi edellä mainittua ehtoa toistuvat holdout-joukoissa, sokkoutetussa analyysissa ja riippumattomissa putkissa. Vasta silloin jakso 8.6 voi todeta, että EFT on saanut aidosti lisää selitysvoimaa: se ei ainoastaan selitä yhtä lukemaluokkaa, vaan pitää saman peruskartan koossa eri havaintoikkunoissa.
8. Mitkä tulokset merkitsevät vain ylärajaa tai tiukennusta, eivät välitöntä hylkäystä
Kaikki vastakkaiseen suuntaan osoittavat tulokset eivät pakota EFT:tä heti kokonaan uudelleenkirjoitettavaksi. Osa merkitsee pikemminkin väitteen supistamista kuin sen hylkäämistä, ja ne on kirjattava selvästi ylärajoiksi, soveltamisalan kavennuksiksi tai parametrialueen supistuksiksi.
- Ensimmäinen tavallinen tilanne on, että jaettu peruskartta toimii kohtuullisen hyvin vain galaksimittakaavan lähes tasapainoisissa järjestelmissä mutta menettää nopeasti vakautensa galaksijoukoissa tai sulautumisissa. EFT voi silloin säilyä, mutta sen on kavennettava sovellettavaa mittakaavaa ja olosuhteita. ”Yksi kartta, monta käyttöä” -periaatetta ei enää saa esittää yleispätevänä väitteenä.
- Toisessa tilanteessa heikko linssitys voidaan likimäärin ekstrapoloida dynamiikan tililtä, mutta voimakas linssitys tarvitsee sulkeutuakseen aina rajallisia hienorakenteen häiriötermejä. Vaikka nämä termit eivät irtaudu kokonaan jaetusta peruskartasta, ne ovat selvästi vapaampia kuin EFT alun perin lupasi. Reilu kirjaustapa ei silloin ole ”voitto lasketaan silti”, vaan EFT:n yhtenäistämisvoiman alentaminen.
- Kolmannessa tilanteessa sulautumisissa havaitaan säteilyyn liittyviä seuralaisilmiöitä ja joitakin oikeansuuntaisia regression merkkejä, mutta aikaskaalat hajautuvat liikaa, vaiheproksit ovat liian väljät tai tulos muuttuu voimakkaasti vaiheen määritelmän vaihtuessa. EFT:n tapahtumallinen peruskartta ei silloin vielä noudata populaatiotason kuria. Tulos on korkeintaan vihje, ei ratkaisu.
- Neljännessä tilanteessa ympäristöjärjestys näkyy vain kapeassa otoksessa, yhdessä kartoituksessa tai yhdellä poimintamenetelmällä, eikä se ole vielä kestänyt holdout-testiä ja putkienvälistä replikaatiota. Tällaista tulosta ei saa muuttaa johtopäätökseksi ”väite on jo osoitettu”. Oikeampi luokitus on ylärajalinja, heikko tukilinja tai ympäristökytkennän amplitudin yläraja.
- Viidennessä tilanteessa useat havaintoikkunat antavat toistuvasti nollatuloksia, jotka kaventavat samaa parametri-ikkunaa johdonmukaisesti. Tätä ei pidä kuvata karkeasti sanoilla ”mitään ei tapahtunut”. Tulos on muutettava jaetun peruskartan kaltevuuden amplitudin, hienorakenteen häiriöiden tai sulautumisen vaihevasteen ylärajaksi taikka negatiiviseksi tulokseksi tietylle ympäristön myötäkytkentäsäännölle.
9. Mitkä tulokset aiheuttaisivat suoraa rakenteellista vahinkoa
EFT:n rakennetta jaksossa 8.6 todella vahingoittavat tulokset ovat niitä, joissa seuraavat ilmiöt esiintyvät pitkään, vakaasti ja samanaikaisesti eri havaintoikkunoissa.
- Dynamiikka ja linssitys vaativat keskenään yhteensopimattomia profiiliperheitä. Kiertokäyrät suosivat yhtä karttaa, mutta heikko ja voimakas linssitys vaativat jatkuvasti kokonaan toista karttaa, eikä niiden välille löydy jäädytettävää muunnossääntöä.
- Voimakkaan linssityksen järjestelmät pakottavat toistuvasti käyttöön toisen pääakselin. Kuvien sijainnit, aikaviiveet, vuosuhdeanomaliat ja parittomien kuvien esiintymisaste voidaan selittää vain, jos malliin lisätään riippumaton piilevien alarakenteiden spektri, erilliset syvät potentiaalikuopat tai järjestelmäkohtainen lisäkartta. Nämä lisäkartat eivät seuraa dynamiikan tiliä eivätkä ympäristöjärjestystä.
- Sulautumisotokset osoittavat selvästi, ettei κ-X-erkaantumalla ole vaiheregressiota. Se ei riipu time-since-pericenter-muuttujasta, ja sekä suunta että mittakaava kääntyvät usein, kun määrittelyä vaihdetaan kohtuullisten vaihtoehtojen välillä. Näkyviin ei tule järjestystä ”ensin kohina, sitten voima” eikä säteilyyn liittyvien seuralaisilmiöiden ja geometrisen pääakselin systemaattista yhteisvaihtelua. Jos tällainen tulos säilyy holdout-otoksissa ja riippumattomissa putkissa, EFT menettää olennaisesti selitysvaltaansa tapahtumallisen peruskartan suhteen.
- Jaetun peruskartan parametrit eivät ole lainkaan siirrettävissä. Järjestelmälle dynamiikasta johdetut parametrit lakkaavat toimimasta kokonaan heikossa linssityksessä. Heikossa linssityksessä käyttökelpoisilta vaikuttavat parametrit on taas nollattava voimakkaassa linssityksessä ja sulautumisissa. Myöskään eri ympäristöjen ja otosten välille ei löydy vakaata kuvausta. Tällöin EFT ei pidä kiinni yhdestä kartasta, vaan piirtää kartan uudelleen jokaista havaintoikkunaa varten.
- Tavanomainen baryoninen takaisinkytkentä ja ympäristön kehitys riittävät selittämään kaikki uudet ilmiöt, ja ne tekevät sen vähemmillä oletuksilla kuin EFT myös havaintoikkunoiden välisessä kirjanpidossa ja vaiheregressiossa. Jos dynamiikan ulkoasu, linssityksen hienorakenne ja sulautumiserkaantumat osoittautuvat kukin omiksi tavanomaisen astrofysiikan tuotteikseen eivätkä saman jaetun peruskartan eri ilmentymiksi, EFT:n ”yksi kartta, monta käyttöä” -väitettä on alennettava.
- Negatiivinen tulos säilyy vakaana kaikkien menetelmällisten suojakaiteiden jälkeen: sokkoutus ei muuta suuntaa, holdout ei pelasta sulkeutumista, nollatarkistukset eivät hajota vastakkaista signaalia ja putkienvälinen replikaatio tekee ristiriidan entistä selvemmäksi. Tässä vaiheessa osan 9 ei enää pidä käsitellä EFT:tä vahvana haastajana, jolla olisi oikeus syrjäyttää pimeän aineen hiukkasparadigman selitysvalta.
10. Milloin ratkaisua ei vielä voi tehdä
Jakso säilyttää luonnollisesti luokan ”ei vielä arvioitu”, mutta sen rajat on määriteltävä. Perusteltu ratkaisematta jättäminen koskee vain seuraavia tilanteita.
- Baryonista peruskarttaa ei ole vielä jäädytetty. Massa-valosuhteen, kaasujakauman, kuuman kaasun rakenteen, galaksijoukkojen jäsenyyden, lähteiden punasiirtymien tai taustalähteiden tomografian epävarmuudet ovat yhä niin suuria, ettei dynamiikan ja linssityksen tilejä voida vielä verrata aidosti samalla määrittelyllä.
- Linssityksen keskeisiä systemaattisia vaikutuksia ei ole vielä saatu hallintaan. Jos heikon linssityksen PSF:ää, lähdekerroksen vuotoa ja valintafunktiota sekä voimakkaan linssityksen makromallidegeneraatioita, mikrolinssitystä, vaimenemista ja etenemisvaikutuksia ei ole vielä saatu hallintaan riippumattomien putkien ja vertailumäärittelyjen avulla, EFT:n ja vaihtoehtoisten selitysten ei kummankaan pidä julistaa voittoa.
- Sulautumisten vaiheista ei ole riittävästi tietoa. Jos time-since-pericenter, sulautumisakselin suunta, massasuhde ja iskurintaman geometria ovat edelleen hyvin epävarmoja tai otos painottuu selvästi muutamaan kuuluisaan järjestelmään, κ-X-regression ja järjestyksen ”ensin kohina, sitten voima” auditointi ei ehkä vielä ole kypsä lopulliseen ratkaisuun.
- Havaintoikkunoiden yhteinen kattavuus on edelleen liian pieni. Jos dynamiikan, heikon linssityksen, voimakkaan linssityksen ja sulautumisten otoksilla ei juuri ole yhteisiä ympäristömäärittelyjä, massaluokkia tai kohdeperheitä, väite jaetun peruskartan siirrettävyydestä on toistaiseksi vasta testattava väite, ei jo arvioitu johtopäätös.
Kun nämä suojakaiteet ovat kuitenkin valmiit ja määrittelyt on jäädytetty, mutta tulos osoittaa yhä, että kukin havaintoikkuna kertoo oman tarinansa, luokan ”ei vielä arvioitu” on päätyttävä. Jakson 8.6 pitäminen tämän jälkeen harmaalla alueella ei ole tieteellistä varovaisuutta vaan teorian eliniän jatkamista ilman rajaa.
11. Arvioinnin suojakaiteet: holdout, sokkoutus, nollatarkistukset ja putkienvälinen replikaatio
Koska tämä jakso toimii osan 8 malliprotokollana, sen on muutettava kaikki neljä suojakaidetta toteutettaviksi toimiksi eikä jätettävä niitä pelkiksi periaatteiksi.
Holdout-joukkojen on katettava vähintään yksi seuraavista ulottuvuuksista: kohde, ympäristö, massaluokka, näkölinjayksikkö tai sulautumisvaihe. Pääotoksessa löytyneen sulkeutumisen on säilytettävä holdout-yksiköissä vähintään suunta, järjestys ja parametriperheen vakaus.
Sokkoutuksen on katettava vähintään ympäristö- ja vaihetunnisteet, voimakkaan linssityksen arviointikynnykset sekä osa aikaviiveikkunoista. Analyytikoiden on jäädytettävä peruskartan parametriperhe, projektiosäännöt ja ratkaisukynnykset ennen sokkoutuksen purkamista, ei kirjoitettava sääntöjä jälkikäteen kuvien näkemisen jälkeen.
Nollatarkistusten on katettava valoisuus- ja massakarttojen vaihtaminen keskenään, paikkakulmien satunnaistaminen, ympäristötunnisteiden permutaatio, sulautumisvaiheiden sekoittaminen, taustalähteiden uudelleenotanta sekä kohinabudjettia muuttamattoman keinotekoisen leikkauksen tai keinotekoisen siirtymän injektointi. Jos myös nämä korvikkeet tuottavat saman tasoisen tuloksen ”jaettu peruskartta pitää paikkansa”, jakson on alennettava päätelmänsä tasoa.
Putkienvälisen replikaation on katettava vähintään kaksi dynamiikan hajotelmaketjua, vähintään kaksi heikon linssityksen leikkaus- ja punasiirtymäketjua, vähintään kaksi voimakkaan linssityksen makromalliperhettä sekä sulautumisotosten riippumattomat vaiheproksit. Jos suunta, järjestys sekä pää- ja sivuroolien suhde eivät säily putkien välillä, johtopäätöstä ei voi nostaa ylemmälle tasolle.
Tässä jaksossa erityisen tärkeä sääntö on ”ensin ennuste, sitten pisteytys”. Jos jonkin havaintoikkunan peruskarttaparametrit, vaiheen määritelmä tai ympäristöryhmittely määritetään vasta tuloksen näkemisen jälkeen, tulos ei enää kuulu varsinaiseen arviointiin. Se on vain eksploratiivinen vihje.
12. Edustavat aineistolähteet ja toteutusportaat
Tässä jaksossa alustojen nimet ovat vain sisäänkäyntejä, eivät argumentin pääakseli. Havaintojen ja analyysien käynnistämiseksi työn aloituspisteet voidaan jakaa kolmeen tasoon.
- Ensimmäinen taso, T0, on välittömästi toteutettava aineistojen uudelleenanalyysi: julkiset kiertokäyrä- ja tiukkojen relaatioiden koosteet, julkiset heikon linssityksen pinot, julkiset voimakkaan linssityksen kuvansijainti- ja aikaviiveluettelot sekä julkiset sulautuvien galaksijoukkojen otokset voidaan analysoida uudelleen tämän jakson uudella jaetun peruskartan arviointitaulukolla, mukaan lukien holdout, sokkoutus ja nollatarkistukset.
- Toinen taso, T1, on kohdennettu vahvistus, joka vaatii omaa havaintoaikaa: yhtenäisen baryonisen peruskartan sekä isäntä- ja ympäristömittausten täydentäminen, voimakkaan linssityksen tarkempi kuvantaminen ja aikaviiveseuranta sekä sulautuvien galaksijoukkojen X-säteilyn, radiosäteilyn, polarisaation ja jäsenkinematiikan yhteishavainnot.
- Kolmas taso, T2, on tiiviimpää koordinointia vaativa yhteisalusta: dynamiikka, heikko ja voimakas linssitys sekä sulautumisten vaiheketju liitetään samaan yhteiskalibroinnin ja tiedonhallinnan kehykseen. Otokset suunnitellaan nimenomaan testaamaan, siirtyykö sama peruskartta havaintoikkunasta toiseen.
Edustavat alustat voidaan luetella jakson 8.3 koontitaulukossa tai liitetaulukossa sisäänkäynteinä: esimerkiksi Euclid-, Rubin- ja Roman-tyyppiset heikon linssityksen kartoitukset; HST:n, JWST:n, ALMA:n, Keckin ja VLT:n kaltaiset voimakkaan linssityksen ja isäntäkohteiden kuvaukset; sekä Chandran, XMM:n, eROSITAn, MeerKATin ja SKA:n kaltaiset galaksijoukkojen ja sulautumisten moniaaltopituusotokset. Tässä jaksossa järjestys kulkee silti ensin edellä kuvatun ratkaisulogiikan kautta ja vasta sen jälkeen yksittäisiin alustoihin.
Porras|Tehtävän luonne|Käyttö tässä jaksossa
- T0|Julkisten aineistojen uudelleenanalyysi: nykyiset kiertokäyrät, heikon linssityksen pinot, voimakkaan linssityksen luettelot ja sulautuvien galaksijoukkojen otokset analysoidaan uudelleen jaetun peruskartan pisteytyksen, holdoutin, sokkoutuksen ja nollatarkistusten avulla.
- T1|Kohdennettu havaintovahvistus: täydennetään yhtenäinen baryoninen peruskartta, parannetaan voimakkaan linssityksen kuvantamista ja aikaviiveseurantaa sekä toteutetaan sulautuvien galaksijoukkojen X-säteilyn, radiosäteilyn, polarisaation ja jäsenkinematiikan yhteishavainnot.
- T2|Yhteiskalibrointi tai räätälöity otos: dynamiikka, heikko ja voimakas linssitys sekä sulautumisten vaiheketju liitetään samaan yhteiseen tiedonhallinta- ja kalibrointikehykseen, joka on suunniteltu arvioimaan jaetun peruskartan siirrettävyyttä.
13. Jakson yhteenveto
Jaetun peruskartan tuomiota ei voi ratkaista sen perusteella, kuinka näyttävä yksi kiertokäyrä tai sulautumiskuva on. Ratkaisevaa on, pystyykö sama jäädytetty peruskartta ensin sulkemaan dynamiikan tilin, sen jälkeen kestämään heikon ja voimakkaan linssityksen ekstrapoloinnin ja lopulta toimimaan sulautumisten vaihe-elokuvassa ilman, että toiselle havaintoikkunalle rakennetaan uusi kartta.