Biased tracers, Hybrid Effective Field Theory and Modified Gravity

Questo articolo estende il framework della Hybrid Effective Field Theory (HEFT) alle cosmologie di gravità modificata, specificamente alla gravità $f(R)$, dettagliando l'espansione perturbativa con bias necessaria per calcolare gli spettri di potenza corretti ai loop e proponendo una strategia per adattare gli emulatori $\Lambda$CDM esistenti a questi scenari oltre il modello standard.

L'essenziale

Immaginate l'universo come una gigantesca pagnotta di pane con l'uvetta in espansione. Mentre il pane lievita, l'uvetta (che rappresenta le galassie) si allontana. Ma non si allontanano in modo uniforme; si raggruppano in alcuni punti e lasciano spazi vuoti in altri. Questo raggruppamento è chiamato "formazione delle strutture".

Per decenni, gli scienziati hanno cercato di scrivere una ricetta matematica per prevedere esattamente come si raggrupperà questa uvetta. Questo articolo riguarda il miglioramento di tale ricetta, specificamente per due ragioni:

1. L'uvetta "distorta" (Biased): Non tutta l'uvetta è uguale. Alcune sono grandi, altre piccole, e non si distribuiscono esattamente come l'impasto (la materia oscura) intorno a loro. Abbiamo bisogno di un modo per modellare come si raggruppano questi specifici "uvetta distorta".
2. L'impasto "modificato": La maggior parte delle ricette assume che l'impasto segua regole standard (la Relatività Generale). Ma cosa succederebbe se l'impasto seguisse regole leggermente diverse, più strane (la Gravità Modificata)? Questo articolo testa se la nostra ricetta funziona ancora quando le regole della gravità cambiano.

Ecco una scomposizione del percorso dell'articolo utilizzando semplici analogie:

1. I due modi di infornare (Euleriano vs. Lagrangiano)

Gli scienziati hanno due modi principali per tracciare l'uvetta:

• Il metodo della "Griglia Fissa" (Euleriano): Immaginate una telecamera che scatta una foto a un punto specifico in cucina. Osservate l'uvetta che scorre attra attraverso quel punto. Questo è utile per vedere il flusso, ma diventa complicato quando l'impasto viene troppo schiacciato (non lineare).
• Il metodo del "Segui l'Uvetta" (Lagrangiano): Immaginate di mettere un piccolo localizzatore GPS su un singolo chicco d'uvetta all'inizio. Seguite quell'uvetta mentre si sposta dal suo punto di partenza al suo punto finale. Questo articolo utilizza questo metodo perché gestisce molto meglio lo "schiacciamento" dell'impasto.

2. Il trucco dell'ibrido (HEFT)

Gli autori introducono una scorciatoia intelligente chiamata Teoria dei Campi Effettivi Ibrida (HEFT).

• Il Problema: Calcolare il movimento esatto di ogni singolo chicco d'uvetta usando la pura matematica è incredibilmente difficile e lento. Calcolarlo usando simulazioni al supercomputer è accurato, ma richiede una potenza di calcolo enorme.
• La Soluzione: HEFT è come un'auto "ibrida". Utilizza la matematica semplice e veloce per le parti facili (dove l'impasto è liscio) e prende in prestito dati dalle simulazioni pesanti per le parti disordinate e schiacciate. Questo ti offre la velocità della matematica con l'accuratezza di una simulazione.

3. La sfida: Gravità Modificata

La maggior parte di queste "auto ibride" è stata costruita e testata solo per il nostro universo attuale (chiamato $\Lambda$CDM), dove la gravità funziona come Einstein aveva descritto originariamente.

• Il Colpo di Scena: Gli autori volevano vedere se questo metodo ibrido funziona se la gravità è diversa. Hanno guardato specificamente alla gravità $f(R)$, una teoria in cui la gravità diventa più forte o più debole a seconda della scala (come un camaleonte che cambia colore).
• La Difficoltà: In questa gravità modificata, la "crescita" dell'universo non è uniforme. Dipende dalla dimensione del raggruppamento. Questo rompe le semplici scorciatoie matematiche che gli scienziati usano di solito.

4. Cosa hanno fatto

Il team ha costruito un nuovo motore più flessibile per la loro "auto ibrida" per gestire queste strane regole della gravità.

• Ricalcolare la Mappa: Hanno derivato nuove mappe matematiche (chiamate "funzioni di crescita") che tengono conto di come la gravità cambi in base alla scala.
• Testare il Motore: Hanno confrontato la loro nuova matematica con le simulazioni al supercomputer (il "gold standard").
  • Risultato 1 (Universo Standard): Quando l'hanno testata sul nostro universo normale, la matematica ha funzionato perfettamente, corrispondendo quasi esattamente alle simulazioni.
  • Risultato 2 (Gravità Modificata): Quando l'hanno testata sul modello di gravità $f(R)$, hanno scoperto che le vecchie e semplici scorciatoie matematiche (chiamate "approssimazione di Einstein-de Sitter") fallivano. Era come usare una mappa piatta per navigare in un terreno montuoso: la vecchia mappa non mostrava correttamente le colline e le valli. La loro nuova, complessa matematica era necessaria per ottenere la risposta corretta.

5. La Conclusione

L'articolo conclude che:

• Il framework HEFT (il metodo ibrido) è robusto e può essere esteso per lavorare anche con queste strane teorie di gravità modificata.
• Tuttavia, non si possono usare le vecchie, semplificate scorciatoie matematiche quando si tratta di gravità modificata. È necessario utilizzare i loro nuovi, più complessi calcoli che tengono conto delle regole mutevoli della gravità.
• Hanno fornito gli strumenti e gli "ingredienti" necessari affinché altri scienziati possano aggiornare i propri modelli di rilevamento galattico (come quelli delle missioni DESI o Euclid) per testare se il nostro universo segue la gravità standard o queste regole modificate.

In breve: Gli autori hanno preso uno strumento potente per mappare l'universo, hanno aggiornato il suo motore per gestire la "gravità strana" e hanno dimostrato che, sebbene le vecchie scorciatoie funzionino per il nostro universo normale, esse falliscono in questi nuovi scenari. Hanno ora consegnato le chiavi al resto della comunità scientifica affinché possano guidare questo nuovo veicolo per esplorare il cosmo.

Sommario tecnico

Sintesi Tecnica: Traccianti Biasati, Teoria di Campo Efficace Ibrida e Gravità Modificata

Enunciato del Problema
L'analisi dei sondaggi galattici Stage-IV (ad esempio, DESI, LSST, Euclid, Roman) richiede una modellazione teorica precisa dello spettro di potenza dei traccianti con bias (es. galassie) per vincolare i parametri cosmologici. Sebbene i metodi perturbativi e le simulazioni cosmologiche siano strumenti standard, essi presentano un compromesso: la teoria delle perturbazioni offre efficienza computazionale ma fatica nelle scale non lineari, mentre le simulazioni forniscono completezza fisica ma richiedono costose calibrazioni e mappature verso gli osservabili. Il framework della Teoria di Campo Efficace Ibrida (HEFT) è emerso come una soluzione, combinando le espansioni della Teoria delle Perturbazioni Lagrangiana (LPT) con gli output di simulazioni di sola materia oscura per modellare efficientemente il regime non lineare. Tuttavia, le attuali implementazioni e gli emulatori HEFT (ad esempio, bacco, Aemulus) sono stati sviluppati principalmente all'interno del paradigma $\Lambda$CDM o di estensioni lievi (come $w_0w_a$CDM). Esiste un divario significativo nell'applicare la HEFT alla gravità modificata (MG), come la teoria della gravità $f(R)$, dove la crescita delle strutture è dipendente dalla scala e i meccanismi di screening (ad esempio, il camaleonte) complicano il calcolo delle funzioni di crescita LPT e degli integrali di loop.

Metodologia
Gli autori sviluppano un framework per calcolare gli spettri di potenza dei traccianti con bias corretti al loop all'interno del formalismo HEFT per cosmologie di gravità modificata, concentrandosi specificamente sulla gravità $f(R)$. La metodologia procede attraverso diverse fasi:

1. Teoria delle Perturbazioni Lagrangiana (LPT) in Relatività Generale: Gli autori rivedono le formulazioni Euleriana e Lagrangiana della teoria delle perturbazioni. Nella visione Lagrangiana, l'evoluzione della materia oscura è descritta da un campo di spostamento $\Psi(q, \tau)$ che mappa le coordinate Lagrangiane iniziali $q$ nelle posizioni Euleriane finali $x$. Lo spettro di potenza della materia è derivato dal Jacobiano di questa mappatura, utilizzando il teorema dei cumulanti per risumare i dislocamenti infrarossi (IR) in modo non perturbativo.
2. Estensione alla Gravità Modificata: Gli autori rivisitano le equazioni del moto per le teorie scalari-tensoriali (specificamente il modello $f(R)$ di Hu-Sawicki). Derivano i necessari fattori di crescita fino al terzo ordine, $D^{(1)}(k)$, $D^{(2)}(k_1, k_2)$, e $D^{(3),\text{symm.}}(k_1, k_2, k_3)$, che sono ora dipendenti dalla scala a causa dell'equazione di Poisson modificata e della presenza di un campo scalare. Ciò comporta la risoluzione iterativa di equazioni di continuità, Euler e Klein-Gordon accoppiate.
3. Implementazione Numerica di Kernel Generalizzati: Gli autori implementano un codice numerico per risolvere le funzioni di crescita generalizzate su una griglia di momenti. Calcolano i kernel Lagrangiani $L^{(n)}$ e le funzioni associate agli integrali di loop ($Q_n, R_n$) necessari per lo spettro di potenza della materia al loop singolo. Testano esplicitamente la validità dell'approssimazione Einstein–de Sitter (EdS), che assume una crescita indipendente dalla scala, rispetto a queste soluzioni complete dipendenti dalla scala.
4. Espansione dei Traccianti con Bias: Il framework viene esteso ai traccianti con bias utilizzando lo schema di bias Lagrangiano locale. La densità del tracciante è espansa in termini del campo di densità iniziale $\delta_L$, dello shear tidale $s^2$ e di operatori di ordine superiore. Gli autori calcolano i correlatori Lagrangiani rilevanti coinvolgendo sia i campi di spostamento che i campi di densità iniziali, adattando le funzioni scalari ($Q_I, R_I$) al contesto MG dipendente dalla scala.
5. Validazione: L'implementazione è validata rispetto a codici esistenti, specificamente velocileptors (per i confronti EdS) e mgpt (per i confronti completi MG), garantendo la coerenza nel calcolo degli integrali di loop e degli spettri di potenza.

Contributi Chiave

• Framework LPT Generalizzato per MG: Il lavoro fornisce una derivazione dettagliata e un'implementazione numerica delle funzioni di crescita e dei kernel LPT per la gravità $f(R)$, tenendo conto della crescita dipendente dalla scala e degli effetti di screening camaleonte fino al terzo ordine.
• Quantificazione del Fallimento dell'Approssimazione EdS: Gli autori dimostrano che l'approssimazione Einstein–de Sitter, sebbene altamente accurata per $\Lambda$CDM (errori inferiori all'1%), fallisce significativamente negli scenari di gravità modificata. Nei modelli $f(R)$, l'approssimazione EdS devia dalle soluzioni esatte, particolarmente nel regime debolmente non lineare ($k \sim 0.1\text{--}0.4 \, h\text{Mpc}^{-1}$) e nelle configurazioni di triangolo "squeezed" dove l'accoppiamento tra modi è più forte.
• Strategia di Estensione HEFT: Il lavoro delinea gli ingredienti necessari per estendere gli emulatori basati su HEFT (come bacco e Aemulus) oltre le cosmologie $\Lambda$CDM. Ciò comporta la sostituzione dei kernel standard EdS con i kernel generalizzati e dipendenti dalla scala derivati in questo lavoro.
• Validazione degli Integrali di Loop: Gli autori verificano la loro integrazione numerica dei loop integrali generalizzati ($Q_n, R_n$) rispetto al codice mgpt, mostrando un eccellente accordo tra i modelli $\Lambda$CDM e $f(R)$.

Risultati

• Crescita Dipendente dalla Scala: I fattori di crescita Lagrangiani di secondo e terzo ordine calcolati mostrano una forte dipendenza dalla scala nella gravità $f(R)$, con le deviazioni più significative che si verificano nelle configurazioni "squeezed".
• Deviazioni degli Integrali di Loop: I confronti delle funzioni $Q_n$ e $R_n$ mostrano che, mentre l'approssimazione EdS riproduce i risultati $\Lambda$CDM con alta fedeltà, introduce errori visibili nei modelli $f(R)$. Tali errori sono più pronunciati dove i termini di loop raggiungono il picco, indicando che l'uso di kernel EdS nelle analisi MG porterebbe a previsioni teoriche distorte.
• Spettro di Potenza della Materia: L'inclusione delle correzioni al loop con kernel completo in LPT produce uno spettro di potenza della materia che differisce dalla previsione EdS nei modelli $f(R)$. La soppressione esponenziale (contributo Zel'dovich) è più accentuata in $f(R)$ a causa delle maggiori varianze di spostamento ($\sigma_L^2$).
• Consistenza dei Traccianti con Bias: Il formalismo generalizzato calcola con successo lo spettro di potenza dei traccianti con bias, confermando che lo standard schema di bias Lagrangiano locale rimane applicabile, a condizione che le funzioni di crescita sottostanti e gli integrali di loop siano trattati con la corretta dipendenza dalla scala.

Significato
Il lavoro stabilisce le fondamenta teoriche e numeriche necessarie per applicare il framework della Teoria di Campo Efficace Ibrida alle cosmologie di gravità modificata. Quantificando esplicitamente i limiti dell'approssimazione Einstein–de Sitter negli scenari di crescita dipendente dalla scala, gli autori sostengono che la modellazione accurata dei futuri dati dei sondaggi Stage-IV in teorie non-$\Lambda$CDM richiede l'uso di kernel LPT generalizzati e dipendenti dalla scala. Questo lavoro consente l'estensione di emulatori ad alta precisione per testare teorie della gravità oltre la Relatività Generale, colmando il divario tra l'efficienza perturbativa e la complessa fisica non lineare della gravità modificata.