Degree-Four Vector-Coordinate SoS Cannot Detect the MUB Upper Bound

Sintesi Tecnica: Il SoS di Grado Quattro con Coordinate Vettoriali non può Rilevare il Limite Superiore delle MUB

Enunciato del Problema
Il documento affronta l'Open Problem 23 di Randomstrasse101, che chiede se esista una prova Sum-of-Squares (SoS) di grado quattro per dimostrare che sette basi mutuamente unbiased (MUB) non esistono in $\mathbb{C}^6$. Il problema è inquadrato utilizzando due specifiche codifiche a coordinate vettoriali:

1. Formulazione di Uguaglianza Quartica: I vincoli sono codificati come relazioni quartiche sulle parti reali e immaginarie delle componenti vettoriali, specificamente $|\langle v, w \rangle|^2 = 1/d$.
2. Formulazione Semidefinita Ermitiana $2 \times 2$: I vincoli tra basi diverse sono codificati come vincoli semidefiniti su matrici ermitiane $2 \times 2$ che coinvolgono il prodotto quadratico interno $\langle v, w \rangle$.
   Il contesto più ampio riguarda il noto limite superiore $m \le d + 1$ per il numero di MUB in dimensione $d$. Mentre l'uguaglianza si verifica nelle dimensioni potenza di numeri primi, il caso $d=6$ rimane aperto, con la congettura che $m=7$ sia impossibile.

Metodologia
Gli autori analizzano il potere delle rilassazioni SoS di grado quattro costruendo pseudoaspettative di grado quattro. Una pseudoaspettativa di grado quattro è un funzionale lineare $\tilde{\mathbb{E}}$ su polinomi di grado al massimo quattro che soddisfa la positività ($\tilde{\mathbb{E}}[f^2] \ge 0$) e la coerenza con i vincoli. Se tale pseudoaspettativa esiste per un sistema, non esiste una refutazione (prova di infezionalità) SoS di grado quattro.

La metodologia centrale prevede:

1. Costruzione Haar-Random: Gli autori definiscono una pseudoaspettiva basata sull'aspettativa su matrici unitarie Haar-random indipendenti. Nello specifico, per $m$ basi in $\mathbb{C}^d$, i vettori sono presi come colonne di matrici unitarie Haar-random indipendenti.
2. Verifica dei Vincoli:
   • Vincoli della stessa base: L'ortonormalità è soddisfatta puntualmente (esattamente) per la costruzione random.
   • Vincoli tra basi diverse: L'aspettativa $\mathbb{E}[|\langle x, y \rangle|^2] = 1/d$ per vettori unitari Haar-random indipendenti $x, y$.
3. Analisi del Moltiplicatore Affine: Per la formulazione semidefinita, gli autori dimostrano un limite specifico sulla norma dell'operatore di moltiplicazione per il prodotto interno $z = \langle x, y \rangle$ agendo su funzioni affine-lineari. Dimostrano che $|\mathbb{E}[p z q]| \le \frac{1}{d} \sqrt{\mathbb{E}[|p|^2]\mathbb{E}[|q|^2]}$.
4. Confronto delle Formulazioni: Il documento mette a confronto la formulazione a coordinate vettoriali con una formulazione a coordinate di proiettore, dove le variabili sono proiettori di rango uno $P = vv^*$. In questo setting, la condizione di unbiasedness incrociata diventa quadratica ($\text{Tr}(P_i^{(k)} P_j^{(\ell)}) = 1/d$).

Contributi Chiave e Risultati

• Limite Inferiore per le Formulazioni a Coordinate Vettoriali:
  Il risultato primario (Teoremi 5.1 e 7.1) stabilisce che per qualsiasi dimensione $d$ e per qualsiasi numero proposto di basi $m$, il sistema MUB standard a coordinate vettoriali ammette una pseudoaspettativa di grado quattro derivata da basi Haar-random indipendenti.

  • Uguaglianza Quartica: La pseudoaspettativa soddisfa i vincoli quartici perché il valore atteso del termine quartico $|\langle x, y \rangle|^2 - 1/d$ è zero. Poiché i vincoli sono di grado quattro, una refutazione di grado quattro può solo moltiplicarli per costanti, che la pseudoaspettativa annulla.
  • Formulazione Semidefinita: Utilizzando il limite del moltiplicatore affine (Teorema 6.1), gli autori dimostrano che la pseudoaspettativa soddisfa i vincoli di localizzazione di grado quattro per le matrici ermitiane $2 \times 2$.
  • Conseguenza: Le SoS di grado quattro in queste formulazioni a coordinate vettoriali non possono refutare l'esistenza di $m$ MUB, anche quando $m > d + 1$ (dove le MUB sono note o congetturate come impossibili). Specificamente, per $d=6, m=7$, non esiste una prova di non esistenza SoS di grado quattro in queste codifiche.

• Separazione delle Formulazioni (Proiettore vs. Vettore):
  Il documento dimostra che questo fallimento è specifico della codifica a coordinate vettoriali. In una formulazione a coordinate di proiettore (Teorema 8.1), dove le variabili sono proiettori centrati $Q = P - I/d$, i vincoli di unbiasedness incrociata sono quadratici.

  • Gli autori costruiscono una refutazione SoS di grado quattro per il sistema di proiettori ogni volta che $m > d + 1$.
  • Questa refutazione si basa su un'identità della matrice di Gram che coinvolge la traccia delle somme al quadrato dei proiettori, il che produce una costante negativa modulo i vincoli quando $m > d + 1$.
  • Risultato: Le SoS di grado quattro possono recuperare il limite superiore elementare $m \le d + 1$ nella formulazione a proiettori.

Significato e Rivendicazioni
Il documento rivendica una separazione dipendente dalla formulazione nel potere delle gerarchie SoS di basso grado per il problema MUB:

1. Risposta Negativa all'Open Problem 23: Per le due specifiche codifiche a coordinate vettoriali descritte nel problema, la risposta è negativa. Le SoS di grado quattro sono intrinsecamente troppo deboli per rilevare l'ostruzione di conteggio di base ($m \le d + 1$).
2. Sensibilità alla Formulazione: L'incapacità di risolvere il problema con le SoS di grado quattro non è un limite universale del metodo, ma un limite della diretta rilassazione a coordinate vettoriali. Lo stesso grado di rilassazione è strettamente più forte quando applicato alle coordinate di proiettore, dove recupera con successo il limite superiore noto.
3. Implicazione per $d=6$: Sebbene la formulazione a proiettori recuperi $m \le d + 1$ per $d=6$, il documento nota che il caso $d=6, m=7$ è il confine "stretto" di questo limite. Pertanto, il risultato di separazione non risponde definitivamente se una più forte prova di grado quattro con variabili di proiettore possa escludere esattamente sette MUB in $\mathbb{C}^6$, ma solo che può escludere otto o più.

Il lavoro isola una specifica ostruzione di grado quattro per le SoS a coordinate vettoriali, suggerendo che qualsiasi approccio SoS di basso grado efficace al problema MUB in dimensione sei debba utilizzare una formulazione elevata (come i proiettori) piuttosto che le dirette coordinate vettoriali.