On a discrete version of the position-momentum commutation relation

Sintesi Tecnica: Su una versione discreta della relazione di commutazione posizione-momento

Enunciato del Problema
Nella meccanica quantistica a variabili continue, la relazione di commutazione canonica $[\hat{q}, \hat{p}] = i\hbar$ è fondamentale per la descrizione matematica dei sistemi quantistici. Tuttavia, negli spazi di Hilbert a dimensione finita (qudit), un tale paio di operatori hermitiani non può esistere esattamente perché la traccia del commutatore $[\hat{q}, \hat{p}]$ deve essere zero, mentre la traccia di $i\hbar I$ è non nulla. Approcci precedenti hanno tentato di risolvere questo problema rilassando la definizione affinché valga solo su un sottospazio appropriato. Questo articolo investiga un approccio differente: determinare se una versione discreta della relazione di commutazione possa essere soddisfatta con un'alta approssimazione all'interno di uno specifico sottospazio di uno spazio di Hilbert ad alta dimensione, e caratterizzare gli stati quantistici che abitano tale sottospazio.

Metodologia
L'autore considera un sistema quantistico a variabili discrete descritto da uno spazio di Hilbert $\mathcal{H}$ di dimensione dispari $d = 2s+1$, identificato con funzioni sull'insieme $\{-s, \dots, s\}$. Lo studio impiega il seguente quadro matematico:

1. Definizioni degli Operatori: L'operatore posizione $\hat{q}$ è definito come un operatore di moltiplicazione nella base computazionale, mentre l'operatore momento $\hat{p}$ è definito tramite la trasformata di Fourier discreta (DFT) come $\hat{p} = F^\dagger \hat{q} F$.
2. Operatori di Spostamento e di Pauli: Sono definiti gli operatori di Pauli generalizzati $Z$ e $X$, che portano agli operatori di spostamento discreti $D(n,k)$.
3. Metrica di Approssimazione: La deviazione dalla relazione canonica è quantificata dall'operatore $C = [\hat{q}, \hat{p}] - i \frac{d}{2\pi}$. L'articolo analizza gli autovalori di $C$ e definisce un insieme $S_\epsilon$ di stati normalizzati $\psi$ tali che $\|C\psi\| < \epsilon$.
4. Caratterizzazione degli Stati: L'articolo valuta numericamente se varie classi di stati quantistici discreti (Gaussiani, coerenti, autostati dell'oscillatore armonico, ecc.) appartengono a $S_\epsilon$ per una dimensione $d$ crescente. Esamina inoltre le proprietà spettrali degli hamiltoniani discreti e il comportamento della relazione di incertezza $\Delta \hat{q} \Delta \hat{p} \ge \frac{d}{4\pi}$ all'interno di questi stati.

Contributi Chiave e Risultati
L'articolo dimostra che per dimensioni $d$ sufficientemente grandi, una porzione significativa dello spazio di Hilbert soddisfa la relazione di commutazione approssimata $[\hat{q}, \hat{p}] \approx i \frac{d}{2\pi}$. Nello specifico:

• Analisi degli Autovalori: I dati numerici mostrano che all'aumentare di $d$, la percentuale di autovalori di $C$ con modulo $|\lambda| < 0.001$ cresce significativamente (ad esempio, dal 36% per $d=11$ all'84% per $d=101$).
• Stati Gaussiani Discreti: Una famiglia di stati gaussiani a variabili discrete $g_\kappa$, dipendente da un parametro continuo $\kappa$, è dimostrata soddisfare la relazione di commutazione approssimata e la corrispondente relazione di incertezza. Questi stati sono invarianti rispetto alla trasformata di Fourier ($F[g_\kappa] = g_{1/\kappa}$).
• Stati di Fock e dell'Oscillatore Armonico Discreti: Gli autostati degli hamiltoniani dell'oscillatore armonico discreto (definiti come $\hat{H} = (\hat{p}^2 + \hat{q}^2)/2$) e gli stati generati da operatori di creazione/annichilazione discreti si trovano ad appartenere a $S_\epsilon$ per bassi livelli di energia. Gli autovalori di questi hamiltoniani esibiscono una distribuzione quasi equidistante nella parte inferiore dello spettro, analogamente al caso continuo.
• Stati Coerenti Discreti: Gli stati generati applicando operatori di spostamento discreti a uno stato di vuoto (stati coerenti discreti) soddisfano la relazione approssimata.
• Stati Specializzati: Lo studio si estende ad altre famiglie specifiche, tra cui:
  • Stati di Mehta: Versioni discrete delle funzioni di Hermite-Gauss, che sono autostati della trasformata di Fourier discreta.
  • Stati di Harper: Autofunzioni di un hamiltoniano costruito utilizzando operatori di differenza finita.
  • Stati di Kravchuk: Stati basati sui polinomi di Kravchuk.
• Relazione di Incertezza: Per gli stati in $S_\epsilon$, la relazione di incertezza di Robertson-Schrödinger $\Delta \hat{q} \Delta \hat{p} \ge \frac{d}{4\pi}$ è soddisfatta con alta approssimazione.

Significato e Rivendicazioni
L'articolo sostiene di aver identificato una nuova proprietà di importanti stati quantistici a variabili discrete: la loro capacità di soddisfare approssimativamente la relazione di commutazione posizione-momento quando la dimensione dello spazio di Hilbert è sufficientemente grande.

• Implicazione Teorica: I risultati suggeriscono che un formalismo matematico per i sistemi a variabili discrete, analogo alla teoria degli stati gaussiani a variabili continue utilizzata nell'Informazione Quantistica, può essere costruito utilizzando solo questi particolari stati.
• Interpretazione Fisica: L'autore propone che gli operatori $\hat{q}$ e $\hat{p}$ potrebbero corrispondere fisicamente a osservabili con autovalori equidistanti (ad esempio, $J_z$ in un sistema $SU(2)$) e i loro coni di Fourier.
• Rilevanza Sperimentale: L'articolo suggerisce che, poiché questi stati appaiono naturalmente come autostati a bassa energia di determinati hamiltoniani discreti, essi potrebbero essere sperimentalmente accessibili.
• Modestia e Questioni Aperte: L'autore dichiara esplicitamente che attualmente non esiste una spiegazione matematica soddisfacente sul perché questi specifici stati soddisfino la relazione o sul perché corrispondano a stati a bassa energia. La connessione tra la relazione di commutazione approssimata e la distribuzione equidistante degli autovalori è indicata come una correlazione che richiede ulteriori indagini teoriche. L'articolo non propone configurazioni sperimentali specifiche, ma evidenzia il potenziale per costruire modelli utili nel calcolo quantistico a variabili discrete concentrandosi su questi particolari stati.