Partial independence suffices to rule out Real Quantum Theory experimentally
Weilenmann, Gisin, Sekatski
The role of complex quantities in quantum theory has been puzzling physicists since the beginnings. It is thus natural to ask whether, in order to describe our experiments, the mathematical structure of complex Hilbert spaces it is built on is really necessary. Recently, it was shown that this structure is inevitable in network scenarios with independent sources. More precisely, Real Quantum Theory cannot explain the predictions of (Complex) Quantum Theory [Renou et al., Nature 600, 2021]. Here, we revisit the independence assumption underlying this work. We show that assuming partial independence is sufficient for showing the inadequacy of Real Quantum Theory. We derive a tradeoff between source independence and the Bell value achievable in Real Quantum Theory, which also lower bounds the source correlations required to explain previous experiments by means of real quantum systems. We further show that 1 bit of entanglement is necessary and sufficient for recovering the complex quantum correlations by means of Real Quantum Theory in the scenario from [Renou et al., Nature 600, 2021]. Finally, building on [McKague et al., PRL 102, 2009], we provide a construction to simulate any complex quantum setup with m independent sources by means of Real Quantum Theory, by allowing the sources to share a m real-qubit entangled state in the first round of the experiment.
academic
L'indipendenza parziale è sufficiente per escludere sperimentalmente la Teoria Quantistica Reale
Titolo: L'indipendenza parziale è sufficiente per escludere sperimentalmente la Teoria Quantistica Reale
Autori: Mirjam Weilenmann (Inria, Télécom Paris), Nicolas Gisin (Università di Ginevra, Constructor University), Pavel Sekatski (Università di Ginevra)
Classificazione: quant-ph (Fisica Quantistica)
Data di Pubblicazione: Febbraio 2025 (arXiv v2: 21 novembre 2025)
Questo articolo esamina la necessità dei numeri complessi nella teoria quantistica. Basandosi sul lavoro di Renou et al. del 2021 su Nature, che ha dimostrato l'insufficienza della Teoria Quantistica Reale (Real Quantum Theory) nel spiegare i risultati predetti dalla teoria quantistica complessa, gli autori riesaminano l'assunzione di indipendenza della sorgente. Gli autori dimostrano che l'indipendenza parziale è sufficiente per provare l'inadeguatezza della teoria quantistica reale, derivano relazioni di compromesso tra l'indipendenza della sorgente e i valori di Bell raggiungibili nella teoria quantistica reale, e provano che 1 bit di entanglement è necessario e sufficiente come risorsa per recuperare le correlazioni quantistiche complesse utilizzando la teoria quantistica reale. Infine, basandosi sul lavoro di McKague et al., costruiscono uno schema per simulare esperimenti quantistici complessi con m sorgenti indipendenti utilizzando stati entangled di m rebit reali.
La teoria quantistica ha veramente bisogno della struttura dei numeri complessi? Questa è una questione di lunga data nei fondamenti della meccanica quantistica. Sebbene la fisica classica (meccanica, termodinamica, elettromagnetismo) sia basata sui numeri reali, il primo postulato della teoria quantistica introduce lo spazio di Hilbert complesso Cd.
Necessità fisica della struttura matematica: I numeri complessi nella teoria quantistica non sono meramente uno strumento di calcolo; gli stati quantistici stessi sono a valori complessi
Questione ontologica: Se lo spazio di Hilbert reale Rd fosse sufficiente, perché avremmo bisogno dei "numeri immaginari" che Descartes chiamava "immaginari" ed Eulero "impossibili"?
Verificabilità sperimentale: Questa questione fondamentale può essere determinata sperimentalmente?
McKague et al. (2009): Hanno provato che la teoria quantistica reale può simulare qualsiasi esperimento quantistico complesso, allegando a ogni sottosistema un qubit reale ausiliario (rebit), ma richiedendo che questi rebit ausiliari condividano uno stato entangled
Difficoltà di interpretazione fisica: Quando i sottosistemi sono spazialmente separati, come possono tutti accedere allo stesso rebit ausiliario? Da dove proviene questo entanglement?
Renou et al. (2021): In uno scenario di rete, assumendo l'indipendenza completa della sorgente, hanno provato che la teoria quantistica reale non può raggiungere il limite superiore del valore di Bell della teoria quantistica complessa (BCsup=62≈8.49 vs BRub≤7.66)
Rilassare l'assunzione di indipendenza: Cosa accade se le sorgenti sono solo parzialmente indipendenti (partially independent)? Possiamo caratterizzare quantitativamente quanta correlazione quantistica è necessaria per spiegare i risultati sperimentali utilizzando la teoria quantistica reale?
Rilassamento dell'assunzione di indipendenza: Si dimostra che l'indipendenza parziale della sorgente è sufficiente per escludere la teoria quantistica reale, senza richiedere l'assunzione di indipendenza completa
Relazioni di compromesso quantitative: Si derivano relazioni di compromesso precise tra il grado di indipendenza della sorgente e i valori di Bell raggiungibili nella teoria quantistica reale (attraverso la gerarchia di programmazione semidefinita)
Risorsa necessaria e sufficiente: Si prova che nello scenario di Renou et al., 1 ebit di entanglement (corrispondente all'entanglement massimale di due rebit) è necessario e sufficiente:
Necessità: Attraverso l'auto-testing (self-testing) si prova che raggiungere il valore massimale di Bell 62 richiede lo stato ϱˉS1S2=21(Φ−+Ψ+), con entanglement di formazione EF=1, distanza dall'insieme separabile DSep=21
Sufficienza: Questo entanglement è sufficiente per simulare qualsiasi esperimento quantistico in questa rete
Teorema di simulazione generale: Si estende la costruzione di McKague, provando che stati entangled di m rebitϱˉS(m) sono sufficienti per simulare esperimenti quantistici complessi con m sorgenti indipendenti
Quantificazione del significato sperimentale: Si attribuisce significato quantitativo ai risultati sperimentali già disponibili (ad esempio, un valore di Bell di 8.09 richiede DSep≥0.2)
Configurazione: Tre parti Alice (A), Bob (B), Charlie (C), due sorgenti S1 (che distribuisce ad AB) e S2 (che distribuisce a BC)
Misurazioni: Alice con input x∈{1,2,3} produce output a∈{1,−1}, Bob produce output b∈{00,01,10,11}, Charlie con input z∈{1,...,6} produce output c∈{1,−1}
Obiettivo: Analizzare il limite superiore del valore di Bell raggiungibile dalla teoria quantistica reale quando è permesso alle sorgenti di condividere correlazione quantistica parziale ϱS1S2
Si utilizza il funzionale di Bell di Renou et al.:
B(P)=∑b∈{0,1}2Bb(P)
dove ogni Bb(P) è una combinazione di tre test CHSH tra Alice e Charlie (equazione 2). Valori chiave:
Valore massimale della teoria quantistica complessa: BCsup=62≈8.49
Limite superiore della teoria quantistica reale con sorgenti indipendenti: BRub≤7.66
Ogni sistema complesso d-dimensionale Ci corrisponde a un sistema reale 2d-dimensionale Rˉi=RiLi
L=L1...Ln agisce come "frame di riferimento della complessità", codificato nello spazio logico:
∣R⟩L=21(⨂i∣y+⟩Li+⨂i∣y−⟩Li)∣I⟩L=2i(⨂i∣y+⟩Li−⨂i∣y−⟩Li)
dove ∣y±⟩=(∣0⟩±i∣1⟩)/2
Proprietà chiave: L'operatore unitario reale J=iσY agendo su qualsiasi Lj simula l'unità immaginaria:
JLj∣R⟩L=∣I⟩L,JLj∣I⟩L=−∣R⟩L
Rappresentazione dello stato (invariante di fase):
ϱC∼ϱRL=ϱRRe⊗2∣R⟩⟨R∣+∣I⟩⟨I∣+ϱRIm⊗2∣I⟩⟨R∣−∣R⟩⟨I∣
Trasmissibilità Locale (Local Broadcastability):
Lo stato del frame di riferimento ϱˉL(n) può essere esteso attraverso operazioni locali: ϱˉL(n)LOϱˉLL′(2n)
Lo stato marginale rimane invariato: trL′ϱˉLL′(2n)=ϱˉL(n)
Questo è impossibile nella teoria quantistica complessa (teorema di no-local-broadcasting), evidenziando le differenze operative tra le due teorie
Formalizzazione dell'indipendenza parziale: Prima caratterizzazione quantitativa del grado di correlazione della sorgente (attraverso DSep, EF) e della sua relazione con la violazione di Bell
Innovazione nei vincoli SDP: Incorporamento del vincolo di distanza in traccia continua nel problema discreto dei momenti, con elevata difficoltà tecnica
Dimostrazione di stretta limitazione: Nel caso ideale i limiti sono stretti (ϵ=0.5 raggiunge esattamente 62)
Prospettiva della Teoria delle Risorse: Posizionamento del problema nel quadro della teoria delle risorse quantistiche, chiarendo gli stati liberi (Sep/Ind) e le operazioni libere (LOCC/LO)
Applicazione dell'entanglement legato: Utilizzo dell'entanglement legato localmente trasmissibile nella teoria quantistica reale, che non esiste nella teoria complessa
Risultati di auto-testing: Quando si raggiunge B=62, lo stato ridotto Alice-Charlie è auto-testato come:
ϱˉAC=21(Φ−+Ψ+)=41100−101100110−1001
Misure di entanglement (Appendice A):
DSep(ϱˉ)=DInd(ϱˉ)=21 (valore massimale)
EF(ϱˉ)=1 ebit (entanglement massimale di due rebit)
Per auto-testing, lo stato della sorgente ϱS1S2 deve soddisfare gli stessi limiti
Sufficienza (Proposizione): Questo stato è sufficiente per simulare qualsiasi esperimento quantistico complesso nella rete
Teorema: Qualsiasi esperimento quantistico complesso con m sorgenti indipendenti può essere simulato con la teoria quantistica reale se le sorgenti condividono inizialmente:
ϱˉS(m)=21(⨂i=1m∣y+⟩⟨y+∣Si+⨂i=1m∣y−⟩⟨y−∣Si)
Punti chiave della dimostrazione:
Questo stato contiene 1 ebit di entanglement di formazione (attraverso qualsiasi bipartizione)
Simultaneamente è localmente trasmissibile: ϱˉS(m)LOϱˉSL(m+n)
Le misurazioni non consumano l'entanglement del frame di riferimento
L'indipendenza parziale è sufficiente: Non è necessaria l'indipendenza completa della sorgente; l'indipendenza parziale è sufficiente per escludere la teoria quantistica reale
Compromesso quantitativo: Si stabilisce la relazione precisa tra il valore di Bell e la correlazione di sorgente richiesta (Tabella I)
Risorsa minima: 1 ebit di entanglement è necessario e sufficiente (per scenario a due sorgenti)
Costruzione universale: Lo stato entangled di m-rebit può simulare qualsiasi esperimento con m sorgenti
Significato sperimentale: I risultati sperimentali disponibili implicano limiti inferiori quantitativi sulla correlazione di sorgente
Barrios et al., arXiv:2503.17307 (2025): Teoria quantistica reale con definizione di stato modificata
Hoffreumon & Woods, arXiv:2504.02808 (2025): Teoria quantistica reale con regole di prodotto tensoriale modificate
Valutazione Complessiva: Questo è un articolo di alta qualità con importante significato teorico e sperimentale nel campo dei fondamenti della quantistica. Attraverso un'analisi matematica rigorosa e tecniche SDP innovative, il lavoro avanza il lavoro pioneristico di Renou et al. a un livello quantitativo, fornendo un quadro più dettagliato per comprendere l'indispensabilità dei numeri complessi nella teoria quantistica. Sebbene esistano sfide di complessità computazionale e sperimentale, il quadro teorico e la metodologia stabiliti hanno valore duraturo sia per la ricerca sui fondamenti della quantistica che per gli esperimenti di reti quantistiche. In contrasto interessante con i recenti lavori di riformulazione teorica (Barrios, Hoffreumon), evidenzia la sottigliezza della questione definitoria "cos'è la teoria quantistica reale".