Exact distinguishability between real-valued and complex-valued Haar random quantum states

Enunciato del Problema
Gli stati quantistici casuali secondo la misura di Haar sono fondamentali per la teoria dell'informazione quantistica, sostenendo applicazioni come la tomografia d'ombra, le dimostrazioni di vantaggio quantistico e il benchmarking. Tuttavia, il campionamento dalla misura di Haar sul gruppo unitario richiede circuiti quantistici di dimensione esponenziale, rendendolo impraticabile. Di conseguenza, la ricerca si concentra sui "design di stato $t$-approssimati"—insiemi di stati preparabili in modo efficiente che mimano i primi $t$ momenti della distribuzione di Haar. Una specifica classe di costruzioni, nota come Stati Casuali Asintotici (ARS), utilizza stati quantistici a valori reali. Sebbene la teoria quantistica a valori reali possa talvolta eguagliare la teoria complessa in termini di potenza computazionale, è noto che sia insufficiente per descrivere tutti i fenomeni quantistici. Rimane una questione aperta critica: esistono limitazioni fondamentali sulle prestazioni dei design di stato $t$-approssimati a valori reali rispetto alle loro controparti a valori complessi? Nello specifico, gli insiemi a valori reali possono approssimare la misura di Haar sul gruppo unitario con la stessa vicinanza degli insiemi a valori complessi, e quali sono le implicazioni per le primitive crittografiche come gli stati pseudocasuali (PRS) e i test di immaginarietà?

Metodologia
Gli autori affrontano questo problema studiando analiticamente la matrice densità risultante dal campionamento di $t$ copie di uno stato quantistico a valori reali di dimensione $d$ secondo la misura di Haar sul gruppo ortogonale $O_d$. L'approccio tecnico centrale comprende:

1. Decomposizione Spettrale: Gli autori derivano la decomposizione spettrale esatta della matrice densità $\rho^R_{d,t}$ associata a $t$ copie di uno stato casuale di Haar reale. Ciò è ottenuto sfruttando la teoria delle rappresentazioni del gruppo ortogonale.
2. Isomorfismo con Polinomi Armonici: Stabiliscono un isomorfismo tra il sottospazio simmetrico $\vee^t \mathbb{R}^d$ e lo spazio dei polinomi omogenei $P^t_d$ di grado $t$ in $d$ variabili. Utilizzando un risultato classico (Coifman e Weiss, 1968), decompongono questo spazio polinomiale in sottospazi di polinomi armonici $H^t_d$ e nei loro multipli per la forma quadratica $q = \sum X_i^2$.
3. Applicazione del Lemma di Schur: Dimostrando che la rappresentazione di $O_d$ su questi sottospazi armonici è irriducibile, applicano il lemma di Schur per determinare che la matrice densità agisce come un multiplo scalare dell'identità su ciascun sottospazio. Ciò permette il calcolo esatto degli autovalori e delle loro molteplicità.
4. Calcolo della Distanza di Traccia: Utilizzando gli autovalori derivati, calcolano la distanza di traccia esatta tra $\rho^R_{d,t}$ (Haar reale) e $\rho^C_{d,t}$ (Haar complesso). Questa distanza quantifica la distinguibilità tra i due insiemi.

Contributi e Risultati Chiave

1. Decomposizione Spettrale Esatta (Teorema 1): Il lavoro fornisce espressioni analitiche in forma chiusa per gli autovalori $\lambda_k$ e le molteplicità $\alpha_k$ di $\rho^R_{d,t}$. Gli autovalori sono dati da:
   $$\lambda_k = \frac{t!(d-2)!!}{(2k)!!(d+2t-2k-2)!!}$$
   con molteplicità determinate dalle dimensioni dei sottospazi di polinomi armonici.
2. Distinguibilità Esatta (Corollario 1): Gli autori derivano una formula esatta per la distanza di traccia tra stati casuali di Haar reali e complessi. Dimostrano che per $t \sim \alpha\sqrt{d}$, la distanza di traccia converge a $1 - e^{-\alpha^2/2}$. Ciò completa un limite superiore precedentemente derivato fornendo il limite inferiore esatto sulla distinguibilità.
3. Limite Inferiore Fondamentale sull'Approssimazione (Lemma 4 e Proposizione 1): Utilizzando la disuguaglianza di elaborazione dei dati per la norma di traccia, gli autori dimostrano che per qualsiasi insieme di stati a valori reali, la distanza di traccia rispetto alla misura di Haar complessa è limitata inferiormente dalla distanza tra la misura di Haar reale e la misura di Haar complessa. Ciò stabilisce una limitazione fondamentale: nessun design $t$-approssimato a valori reali può superare la misura di Haar reale nell'approssimare la misura di Haar complessa.
4. Implicazioni per ARS e PRS: I risultati implicano che le costruzioni ARS a valori reali hanno un parametro di approssimazione $\epsilon$ che scala al meglio come $\Omega(t^2/d)$. Ciò limita le prestazioni delle costruzioni di stati pseudocasuali a valori reali, suggerendo che una "immaginarietà" non nulla (ampiezze complesse) è una condizione necessaria per raggiungere parametri di approssimazione che scalano linearmente con $t$ (cioè $\epsilon \sim t/d$).
5. Limiti Migliorati per il Test di Imaginarietà (Proposizione 2): Gli autori generalizzano e migliorano il lavoro di Haug, Bharti e Koh (2025) riguardo al numero di copie richiesto per testare l'immaginarietà di uno stato. Affinano il limite inferiore da $\Omega(\sqrt{2^n})$ a $\sqrt{2 \ln(3/2) d} + o(\sqrt{d})$ per dimensione arbitraria $d$, migliorando il limite precedente di un fattore $\sqrt{2}$. Derivano inoltre la distribuzione dell'immaginarietà per stati casuali di Haar, mostrando che segue una legge di potenza (specificamente una distribuzione Beta).

Significato
Il lavoro afferma di fornire una comprensione fondamentale delle limitazioni degli insiemi di stati quantistici a valori reali. Caratterizzando analiticamente le proprietà spettrali degli stati casuali di Haar reali, dimostra che le approssimazioni a valori reali non possono mimare perfettamente gli stati casuali di Haar complessi, indipendentemente dal metodo di costruzione. Ciò ha implicazioni dirette per:

• Crittografia Quantistica: Fissa un limite teorico alla sicurezza e all'efficienza delle costruzioni ARS e PRS a valori reali, indicando che ampiezze complesse sono probabilmente necessarie per prestazioni ottimali in certi regimi crittografici.
• Teorie delle Risorse: Fornisce limiti quantitativi precisi sulle risorse (numero di copie) necessarie per rilevare la presenza di numeri complessi (immaginarietà) in uno stato quantistico, affinando i risultati asintotici precedenti.
• Utilità Tecnica: La decomposizione spettrale derivata e l'isomorfismo tra sottospazi simmetrici e polinomi armonici sono presentati come strumenti con potenziale utilità indipendente per la ricerca futura nell'informazione quantistica e nella teoria delle rappresentazioni.

Gli autori mantengono un tono modesto riguardo all'implementazione della misura di distinguibilità, notando che, sebbene esista una misurazione proiettiva esplicita per raggiungere il limite teorico, la sua implementazione efficiente (ad esempio, tramite la trasformata di Schur) rimane una questione aperta. Analogamente, riconoscono che, sebbene dimostrino che le ampiezze complesse sono necessarie per certi comportamenti di scalatura, la quantità esatta di immaginarietà richiesta per altri parametri di approssimazione specifici è un'area aperta per studi futuri.