Rigorous no-go theorems for heralded linear-optical state generation tasks

Sintesi Tecnica: Teoremi di No-Go Rigorosi per la Generazione di Stati Ottici Lineari Annunciati

Enunciato del Problema
La generazione di stati quantistici fotonici entangled è un requisito fondamentale per il calcolo quantistico, la sensoristica e la comunicazione. Sebbene la generazione deterministica richieda tipicamente non-linearità forti — che sono sperimentalmente difficili da implementare nelle piattaforme ottiche — l'ottica lineare offre un'alternativa più accessibile. Tuttavia, l'ottica lineare da sola permette solo un set limitato di trasformazioni deterministiche. Di conseguenza, la preparazione degli stati nei sistemi fotonici è spesso implementata in modo probabilistico utilizzando singoli fotoni, reti ottiche lineari e la rilevazione dei fotoni.

Una sfida critica in questo dominio è determinare se uno specifico stato di input possa essere trasformato in uno stato target utilizzando un dato schema di annuncio (schema di heralding). Questo problema di fattibilità mappa la decisione se un sistema di equazioni polinomiali possiede una soluzione. Sebbene i metodi di ricerca numerica siano comunemente usati, essi non possono provare definitivamente la non esistenza di una soluzione; un fallimento nel trovare una soluzione può semplicemente indicare un limite dell'algoritmo di ricerca piuttosto che un'impossibilità fondamentale. Inoltre, gli approoli algebrici esistenti come le basi di Gröbner, pur essendo capaci di trovare soluzioni, sono computazionalmente costosi (complessità nel caso peggiore doppiamente esponenziale) e spesso "privi di progresso" (progress-free), richiedendo il calcolo completo prima di fornire qualsiasi risultato.

Metodologia
Gli autori propongono l'applicazione dell'algoritmo Nullstellensatz Linear Algebra (NulLA), una tecnica derivata dalla geometria algebrica, per provare rigorosamente l'infeasibilità di compiti di generazione di stati ottici lineari annunciati.

1. Formulazione Matematica: Il compito viene inquadrato come un sistema di equazioni polinomiali. Uno stato di input $|\psi_{in}\rangle$ viene trasformato tramite una matrice lineare incognita $A$ in uno stato di output. Condizionando su un particolare schema di annuncio (misurando $m$ fotoni in $M$ modi ancillari), si deriva uno stato post-selezionato $|\psi_{post}\rangle$. Il requisito che $|\psi_{post}\rangle$ sia equivalente a uno stato target $|\psi_{tar}\rangle$ (fino a un fattore di scala non nullo $\gamma$) porta all'equazione $\gamma G = Q$, dove $G$ e $Q$ sono polinomi omogenei che rappresentano rispettivamente gli stati annunciati e target. L'equazione dei coefficienti dei monomi in questi polinomi produce un sistema di equazioni polinomiali dove le variabili sono gli elementi della matrice di trasformazione $A$.

2. L'Algoritmo NulLA: Invece di risolvere per $A$, gli autori utilizzano il debole Nullstellensatz per provare che non esiste soluzione. Secondo l'Nullstellensatz di Hilbert, un sistema di equazioni polinomiali non ha soluzione se e solo se esistono polinomi $\beta_i$ tali che $\sum \beta_i f_i = 1$. Questa identità è chiamata un certificato di Nullstellensatz. L'algoritmo NulLA tenta di trovare tale certificato aumentando incrementalmente il grado $d$ dei polinomi $\beta_i$ e risolvendo il risultante sistema di equazioni lineari. Se viene trovato un certificato, esso fornisce una prova definitiva di infeasibilità.

3. Semplificazione del Problema (Lemma 1 & Teorema 2): Per rendere il problema trattabile, gli autori stabiliscono che, per un numero fisso di fotoni di input $n$ e di fotoni di annuncio $m$, è sufficiente testare una singola configurazione "ottimale" per provare l'infeasibilità per tutte le configurazioni con quei conteggi di fotoni.

   • Input Ottimale: Un prodotto di stati di Fock a singolo fotone ($|1, 1, \dots, 1\rangle$) è sufficiente per rappresentare qualsiasi stato separabile a $n$ fotoni.
   • Annuncio Ottimale: Un pattern in cui esattamente un fotone viene rilevato in ciascun modo di annuncio ($(1, 1, \dots, 1)$) è sufficiente per rappresentare qualsiasi pattern di annuncio a $m$ fotoni.
   • Questa riduzione permette di categorizzare il problema unicamente in base al numero di fotoni di input disponibili e allo stato target, riducendo significativamente lo spazio di ricerca.

Contributi Chiave e Risultati
Il documento dimostra l'applicazione di questo framework a diversi compiti specifici, stabilendo limiti inferiori rigorosi sulle risorse:

• Generazione di Stati Bell: Gli autori dimostrano che generare uno stato Bell da un input separabile a tre fotoni è impossibile. L'algoritmo NulLA ha prodotto un certificato di infeasibilità al grado 9. Ciò conferma che le soluzioni note che richiedono quattro fotoni di input sono ottimali in termini di risorse fotoniche.
• Stati a Due Fotoni Casuali: La tecnica è stata applicata a centinaia di stati target a due fotoni Haar-random in tre e quattro modi. Sono stati trovati certificati di infeasibilità a gradi bassi (ad esempio, grado 9) per casi in cui il limite superiore teorico per il grado del certificato era estremamente elevato (ad esempio, 59.046). Ciò suggerisce che, per molti casi pratici, il costo computazionale è molto inferiore ai limiti teorici del caso peggiore.
• Generazione di Stati NOON: Gli autori hanno analizzato la generazione di stati NOON (ad esempio, $|3,0\rangle + |0,3\rangle$) utilizzando l'annuncio del vuoto. Hanno dimostrato che gli stati di input con fotoni raggruppati nello stesso modo (ad esempio, $|2,1\rangle$) non possono generare questi stati, stabilendo che la dispersione dei fotoni di input in modi a singolo fotone è una risorsa necessaria.
• Porta CNOT Annunciata: Il metodo è stato esteso per verificare l'ottimalità delle risorse di una nota porta CNOT annunciata. Testando un input a tre fotoni con un singolo fotone di annuncio, gli autori hanno dimostrato l'infeasibilità, confermando che almeno due ancelle (fotoni di annuncio) sono richieste per la porta.
• Estensione a Sorgenti Probabilistiche: Il framework si dimostra adattabile a sorgenti di coppie di fotoni probabilistiche (ad esempio, SPDC), dove l'input è una sovrapposizione di diversi numeri di fotoni. L'approccio tratta i diversi settori di numero di fotoni come un insieme di compiti simultanei di generazione di stati.

Significato e Rivendicazioni
Gli autori affermano che il loro lavoro fornisce uno strumento rigoroso e definitivo per stabilire teoremi di "no-go" nella generazione di stati ottici lineari annunciati. A differenza dell'ottimizzazione numerica o dei metodi delle basi di Gröbner, che possono fallire nel trovare una soluzione senza provare l'impossibilità, NulLA offre una prova conclusiva di infeasibilità quando viene trovato un certificato.

La significatività di questo lavoro risiede nella sua capacità di:

1. Validare l'Ottimalità delle Risorse: Conferma che le soluzioni note (come il generatore di stati Bell a 4 fotoni) sono minime in termini di utilizzo delle risorse.
2. Fornire Limiti Inferiori: Stabilisce limiti fondamentali sul numero di fotoni richiesti per compiti specifici, guidando la progettazione sperimentale.
3. Automatizzare i Test di Fattibilità: La natura sistematica dell'approccio consente il testing automatizzato di grandi famiglie di stati target e progetti di porte.

Il documento conclude che, sebbene i limiti superiori teorici per il grado dei certificati di infeasibilità possano essere proibitivi, le applicazioni pratiche spesso producono certificati a gradi molto più bassi. Ciò rende l'algoritmo NulLA un metodo potente e mirato per determinare i limiti fondamentali degli apparati ottici e degli schemi di misura nella ricerca di un calcolo quantistico lineare-ottico universale. Gli autori forniscono un'implementazione MATLAB del loro algoritmo su GitHub per facilitare ulteriori ricerche.