Inmeccanica quantistica, unostato quantico è un'entità matematica che fornisce unadistribuzione di probabilità per i risultati di ogni possibilemisurazione su un sistema. La conoscenza dello stato quantico, unitamente alle regole dell'evoluzione del sistema nel tempo, costituisce tutto ciò che si può prevedere sul comportamento del sistema. Una miscela di stati quantici è di nuovo uno stato quantico.
Gli stati quantici che non possono essere scritti come una miscela di altri stati sono chiamatistati quantici puri (o sovrapposizione coerente), mentre tutti gli altri stati sono chiamatistati quantici misti (o miscela statistica). Uno stato quantistico puro può essere rappresentato da un vettore[a 1] in unospazio di Hilbert suinumeri complessi,[1][2] mentre gli stati misti sono rappresentati damatrici densità, che sono operatori semidefiniti positivi che agiscono sugli spazi di Hilbert.[3][4]
Gli stati puri sono anche conosciuti come vettori di stato ofunzioni d'onda, in particolare quando gli stati sono rappresentati come funzioni della posizione o dellaquantità di moto. Per esempio, quando si tratta dello spettro energetico dell'elettrone in un atomo di idrogeno, i vettori di stato rilevanti sono identificati dalnumero quantico principale, ilnumero quantico di momento angolare, ilnumero quantico magnetico, e la componente z dellospin. Per un altro esempio, se lo spin di un elettrone viene misurato in qualsiasi direzione, ad esempio con unesperimento di Stern-Gerlach, ci sono due possibili risultati: su o giù. Lo spazio di Hilbert per lo spin dell'elettrone è quindi bidimensionale e costituisce unqubit. Uno stato puro qui è rappresentato da un vettore complesso bidimensionale con una lunghezza di uno, cioè con
dove e sono i valori assoluti di e. Uno stato misto, in questo caso, ha la struttura di una matricehermitiana e semi-definita positiva, contraccia 1.[5] Un caso più complicato è dato (nellanotazione bra-ket) dallo stato di singoletto, che esemplifica l'entanglement quantistico:
che comporta lasovrapposizione di stati di spin per due particelle con spin1⁄2. Lo stato di singoletto soddisfa la proprietà che se gli spin delle particelle sono misurati lungo la stessa direzione allora o lo spin della prima particella è osservato su e quello della seconda giù, o viceversa; entrambe le possibilità accadono con uguale probabilità.
Uno stato quantistico misto corrisponde a una miscela probabilistica di stati puri; tuttavia, diverse distribuzioni di stati puri possono generare stati misti equivalenti (cioè fisicamente indistinguibili). Ilteorema di Schrödinger-HJW classifica la moltitudine di modi per scrivere un dato stato misto come unacombinazione convessa di stati puri.[6]
Prima che una particolare misurazione venga eseguita su un sistema quantistico, la teoria fornisce solo unadistribuzione di probabilità per il risultato, e la forma che questa distribuzione assume è completamente determinata dallo stato quantico e daglioperatori lineari che descrivono la misurazione. Le distribuzioni di probabilità per le diverse misurazioni presentano dei compromessi esemplificati dalprincipio di indeterminazione: uno stato che implica una gamma ristretta di possibili risultati per un esperimento implica necessariamente una vasta gamma di possibili risultati per un altro.
Densità di probabilità per l'elettrone di un atomo di idrogeno in diversi stati quantistici
Nella formulazione matematica della meccanica quantistica, gli stati quantici puri corrispondono a vettori in unospazio di Hilbert, mentre ogni grandezza osservabile (come l'energia o la quantità di moto di unaparticella) è associata a unoperatore, di fatto un'applicazione lineare che agisce sugli stati del sistema. Gli autovalori dell'operatore corrispondono ai possibili valori dell'osservabile. Per esempio, è possibile osservare una particella con quantità di moto pari a 1 kg⋅m/sse e solo se uno degli autovalori dell'operatore associato è 1 kg⋅m/s. Il corrispondenteautovettore (che i fisici chiamanoautostato) con autovalore 1 kg⋅m/s sarebbe uno stato con un ben definito valore di quantità di moto di 1 kg⋅m/s, con nessuna incertezza quantistica: se venisse misurata la quantità di moto, il risultato è garantito essere pari a 1 kg⋅m/s.
D'altra parte, un sistema in una sovrapposizione di molti diversi autostati in generaleha incertezza quantistica per una data osservabile. Possiamo rappresentare questa combinazione lineare di autostati come:
Il coefficiente che corrisponde a un particolare stato nellacombinazione lineare è un numero complesso, comportando così effetti di interferenza tra gli stati. I coefficienti sono dipendenti dal tempo. Come uno stato quantistico cambia nel tempo è governato dall'operatore di evoluzione temporale. I simboli e[a 2] che circondano fanno parte dellanotazione bra-ket.
Le miscele statistiche di stati sono un tipo diverso di combinazione lineare. Una miscela statistica di stati è un insieme statistico di sistemi indipendenti. Esse rappresentano il nostro grado di conoscenza mentre l'incertezza all'interno della meccanica quantistica è fondamentale nella teoria. Matematicamente, una miscela statistica non è una combinazione che utilizza coefficienti complessi, ma piuttosto una combinazione che utilizza valori reali, probabilità positive di stati diversi. Un numero rappresenta la probabilità che un sistema selezionato a caso sia nello stato. A differenza del caso della combinazione lineare, ogni sistema si trova in un determinato autostato.[7][8]
Il valore di aspettazione di un'osservabileA è una media statistica di valori misurati dell'osservabile. È questa media, e la distribuzione di probabilità, che viene predetta dalle teorie fisiche.
Non ci sono stati che siano autostati pertutte le osservabili allo stesso tempo. Per esempio, non è possibile preparare uno stato tale che sia una misura della posizione sia una misura della quantità di moto (effettuate nello stesso istante di tempo) siano conosciute esattamente; almeno una delle due avrà un intervallo di valori possibili.[a 3] Questo è il contenuto delprincipio di indeterminazione di Heisenberg.
Inoltre, a differenza di quanto accade inmeccanica classica, è inevitabile cheeffettuare una misura del sistema in genere cambia il suo stato.[9][10][a 4] Più precisamente: dopo aver misurato un'osservabileA, il sistema sarà in un autostato diA; allora lo stato è cambiato, a meno che non si trovasse già in un autostato. Questo esprime un genere di coerenza logica: se viene misurataA due volte consecutivamente,[a 5] allora queste misure produrranno lo stesso risultato. Questo ha tuttavia alcune conseguenze particolari, come segue.
Consideriamo due osservabili incompatibili,A eB, doveA è stata misurata precedentemente nel tempo rispetto aB. Si supponga che il sistema sia in un autostato diB all'inizio dell'esperimento. Se misuriamo soloB, tutti gli esperimenti daranno lo stesso risultato. Se invece si misura primaA e poiB nello stesso esperimento, il sistema si trasferirà in un autostato diA dopo la prima misurazione, con la conseguenza che i risultati diB saranno generalmente statistici. La conclusione è che le misure dei sistemi quantistici si influenzano a vicenda, e l'ordine in cui vengono effettuate è importante.
Un'altra caratteristica degli stati quantistici diventa rilevante se si considera un sistema fisico costituito da più sottosistemi; per esempio, un esperimento con due particelle piuttosto che una. La fisica quantistica permette certi stati, chiamatistati entangled, che mostrano certe correlazioni statistiche tra le misure sulle due particelle che non possono essere spiegate dalla teoria classica. Questi stati entangled portano a proprietà sperimentalmente testabili (teorema di Bell) che permettono di distinguere tra la teoria quantistica e modelli alternativi classici (non quantistici).
Rappresentazione di Schrödinger e rappresentazione di Heisenberg
Si possono considerare le osservabili dipendenti dal tempo, mentre lo stato rimane fissato dall'inizio dell'esperimento. Questo approccio è chiamato "rappresentazione di Heisenberg". Si può, allo stesso modo, trattare le osservabili come fissate e invece considerare lo stato del sistema variabile nel tempo; questo si chiamarappresentazione di Schrödinger. Concettualmente (e matematicamente), i due approcci sono equivalenti; scegliere una delle due è una convenzione.
Nella teoria quantistica sono utilizzati entrambi i punti di vista. Mentre la meccanica quantistica non relativistica è solitamente formulata in termini della rappresentazione di Schrödinger, quella di Heisenberg è spesso preferita nel contesto relativistico, ovvero per lateoria quantistica dei campi. Un'altra rappresentazione, intermedia, è larappresentazione di interazione.[11]
La fisica quantistica è spesso formulata in termini dell'algebra lineare, come segue. Un determinato sistema è identificato con qualchespazio di Hilbert di dimensione finita o infinita. Gli stati puri corrispondono a vettori dinorma 1. Allora l'insieme di tutti gli stati puri corrispondono allasfera unitaria nello spazio di Hilbert, perché la sfera unitaria è definita come l'insieme di tutti i vettori con norma 1.
Moltiplicare uno stato puro per uno scalare è fisicamente ininfluente. Se un vettore in uno spazio di Hilbert può essere ottenuto da un altro vettore moltiplicando per un certo numero complesso non nullo, si dice che i due vettori corrispondano allo stesso "raggio" in[12] e anche allo stesso punto nellospazio di Hilbert proiettivo di.
I calcoli in meccanica quantistica fanno spesso uso di operatori lineari, prodotti scalari, spazi duali e l'operazione di coniugazione hermitiana. Al fine di rendere questi calcoli più scorrevoli e per rendere meno necessario la comprensione completa dell'algebra lineare,Paul Dirac inventò una notazione per descrivere gli stati quantici, dettanotazione bra-ket. Alcune conseguenze di questo sono:
L'espressione usata per denotare un vettore di stato (che corrisponde a uno stato quantico puro) ha la forma (dove "" può essere sostituito da qualsiasi altro simbolo, lettera, numero o anche parola). Questo può essere contrastato con la solita notazione matematica, dove i vettori sono di solito lettere latine minuscole, ed è chiaro dal contesto che sono effettivamente vettori.
Dirac definì due tipi di vettore,bra eket, l'uno il duale dell'altro.[a 6]
Ogni ket è univocamente associato a unbra, denotato con, che corrisponde allo stesso stato quantistico. Tecnicamente, il bra è l'aggiunto del ket. È un elemento dellospazio duale, e correlato al ket per ilTeorema di rappresentazione di Riesz. In uno spazio finito-dimensionale con una base scelta, se si scrive come un vettore colonna, è un vettore riga; per ottenerlo occorre trasporre e fare ilcomplesso coniugato delle sue entrate.
I prodotti scalari[a 7][a 8] (anche chiamatibraket da bra e ket) sono scritti in modo tale che un bra e un ket siano uno attaccato all'altro:.
Ilmomento angolare ha la stessa dimensione (M · L2 · T-1) dellacostante di Planck e, sulla scala quantistica, si comporta come un grado di libertàdiscreto dei sistemi quantistici. La maggior parte delle particelle possiedono un particolare momento angolare intrinseco che non appare in meccanica classica e ha origine dalla generalizzazione relativistica della teoria da parte di Dirac. Matematicamente è descritto con glispinori. In meccanica quantistica non relativistica lerappresentazioni del gruppo di Lie SU(2) vengono usate per descrivere questa libertà aggiuntiva. Per una data particella, la scelta di rappresentazione (e quindi l'intervallo dei possibili valori dell'osservabile di spin) è specificata da un numero non negativoS che, in unità dellacostante di Planck ridottaħ, è ointero (0, 1, 2...) osemintero (1/2, 3/2, 5/2...). Per una particella massiva con spinS, il suonumero quantico di spinm assume sempre uno dei possibili 2S + 1 valori nell'insieme
Di conseguenza, lo stato quantico di una particella con spin è descritto da una funzione d'onda a valori vettoriali in. Equivalentemente, è rappresentato da unafunzione a valori complessi di quattro variabili: unnumero quantico discreto (per lo spin) è aggiunto alle usuali tre variabili continue (per la posizione nello spazio).
Lo stato quantistico di un sistema diN particelle, ciascuna potenzialmente con spin, è descritto da una funzione a valori complessi con quattro variabili per particella, corrispondente a 3coordinate spaziali e lospin, ad esempio
dove le variabili di spinmν assumono valori dell'insieme
in cui è lo spin dellaν-esima particella. se la particellaν-esima non ha spin.
La trattazione delleparticelle identiche per ibosoni (particelle con spin intero) differisce da quella per ifermioni (particelle con spin semintero). La funzione aN-particelle di cui sopra dovrà essere simmetrizzata (nel caso bosonico) o anti-simmetrizzata (nel caso fermionico) rispetto al numero delle particelle. Se non tutte eN le particelle sono identiche, ma alcune sì, allora la funzione deve essere (anti-) simmetrizzata separatamente sulle variabili corrispondenti a ogni gruppo di variabili identiche, secondo la statistica bosonica o fermionica.
Gli elettroni sono fermioni conS = 1/2, ifotoni sono bosoni conS = 1 (sebbene siano senza massa e pertanto non possono essere descritte con la meccanica di Schrödinger).
Come per ognispazio di Hilbert, se unabase è scelta, allora ogni ket può essere sviluppato come unacombinazione lineare degli elementi della base. In simboli, dati i ket di base, ogni ket si scrive come
doveci sono numeri complessi. In termini fisici, questa formula significa che è stata espressa come una "sovrapposizione quantistica" degli stati. Se i ket di base sono sceltiortonormali (come accade di solito), allora.
Una proprietà degna di nota è che gli statinormalizzati sono caratterizzati da
e per una base ortonormale questo equivale a
Questo genere di sviluppo gioca un ruolo importante nelle misure in meccanica quantistica. In particolare, se i sono autostati (conautovaloriki) di un'osservabile misurata sullo stato normalizzato, allora la probabilità che il risultato della misura siaki è |ci|2. La condizione di normalizzazione fissa la somma totale delle probabilità uguale a 1.
Un esempio particolarmente importante è labase della posizione, che è la base formata dagli autostati con autovalori dell'osservabile che corrisponde alla misura della posizione spaziale.[a 9] Se questi autostati sono non degeneri (per esempio, se il sistema è una particella singola senza spin), allora ogni ket è associato a una funzione a valori complessi dello spazio tridimensionale:[a 10]
Questa funzione è definita lafunzione d'onda associata a. Similmente al caso discreto, la densità di probabilità che si trovi la particella nella posizione is e gli stati normalizzati hanno
.
In termini dell'insieme continuo che forma la base della posizione,, lo stato è:
Come già menzionato, gli stati quantistici possono essere sovrapposti. Se e sono due ket corrispondenti a stati quantistici, il ket
è un altro stato (possibilmente non normalizzato), diverso dai primi due. Si noti che sia le ampiezze sia le fasi di e influenzeranno lo stato risultante; in altre parole, ad esempio, anche se e (perθ reale) corrispondono allo stesso stato fisico, non sono interscambiabili, perché e non corrisponderanno allo stesso stato fisico per tutte le scelte di. Tuttavia, e corrisponderanno allo stesso stato fisico. Questo fatto si esprime dicendo che i fattori di fase "globali" non sono fisici, mentre lo sono quelli "relativi".
Un altro esempio pratico di sovrapposizione è l'esperimento della doppia fenditura, nel quale la sovrapposizione porta ainterferenza quantistica. Lo stato delfotone è una sovrapposizione di due diversi stati, uno corrispondente al passaggio attraverso la fenditura sinistra e l'altro al passaggio attraverso la fenditura destra. La fase relativa tra questi due stati dipende dalla differenza tra le due fenditura. L'interferenza, che dipende da questa fase, è costruttiva in alcuni punti e distruttiva in altri, creando così una figura di interferenza. Si dice gli stati sovrapposti sono in una "sovrapposizione coerente", in analogia con lacoerenza di altri fenomeni ondulatori.
L'importanza delle fasi relative si manifesta anche nell'oscillazione di Rabi, dove, per via dell'equazione di Schrödinger, la fase relativa varia nel tempo, risultando in una sovrapposizione di stati che oscilla da uno stato all'altro.
Uno stato quantisticopuro è uno stato che può essere descritto da un vettore ket, come descritto sopra. Uno stato quantisticomisto è uninsieme statistico di stati puri (la disciplina correlata è lameccanica statistica quantistica). Gli stati misti originano inevitabilmente da stati puri quando, per un sistema quantistico composto con uno stato entangled, la parte di è inaccessibile all'osservatore. Lo stato della parte di è espresso quindi come la traccia parziale su.
Uno stato misto non può essere descritto con un singolo vettore ket. Invece, è descritto dalla suamatrice densità (ooperatore densità) associata, solitamente denotata conρ. Notare che le matrici densità possono descrivere sia gli stati puri che quelli misti, trattandoli allo stesso livello. Inoltre, uno stato misto su un dato sistema quantistico descritto da uno spazio di Hilbert può essere sempre rappresentato come la traccia parziale di uno stato quantistico puro su un sistema più grande per uno spazio di Hilbert sufficientemente grande.
La matrice densità che descrive uno stato misto è definita come un operatore della forma
dove è la frazione dell'insieme in ogni stato puro. Si può pensare alla matrice densità come a un modo di usare il formalismo a una particella per descrivere il comportamento di molte particelle simili dando una distribuzione (o insieme) di probabilità degli stati in cui queste particelle possono trovarsi.
Un criterio semplice per capire se una matrice densità descrive uno stato puro o uno misto è verificare se latraccia diρ2 sia uguale a 1 (stato puro) o minore di 1 (stato misto).[a 11][13] Un altro criterio, equivalente, è che l'entropia di von Neumann è 0 per uno stato puro e strettamente positiva per uno stato misto.
Le regole della misura in meccanica quantistica sono particolarmente semplici da esprimere in termini di matrici di densità. Ad esempio, ilvalore di aspettazione (media) d'insieme di una misurazione corrispondente a un'osservabileA è data da
dove sono rispettivamente autoket e autovalori per l'operatoreA, e "tr" denota la traccia. È importante notare che stanno accadendo due tipi di medie, di cui una è una sovrapposizione quantistica pesata sui ket di base degli stati, e l'altra è una media statistica (dettaincoerente) con le probabilitàps di quegli stati.
^Heisenberg, W. (1927). Über den anschaulichen Inhalt der quantentheoretischen Kinematik und Mechanik,Z. Phys.43: 172–198. Translation as'The actual content of quantum theoretical kinematics and mechanics'. Also translated as 'The physical content of quantum kinematics and mechanics' at pp. 62–84 by editors John Wheeler and Wojciech Zurek, inQuantum Theory and Measurement (1983), Princeton University Press, Princeton NJ.
^Più propriamente, uno stato è un raggio, ovvero un vettore e tutti i suoi multipli. Ad esempio, e sono due vettori diversi ma appartengono allo stesso raggio, e quindi rappresentano lo stesso stato quantistico.
^Per evitare fraintendimenti, si intende che le misure sono state effettuate sullo stesso stato, ma in due esecuzioni dell'esperimento.
^Dirac (1958), p. 4: "If a system is small, we cannot observe it without producing a serious disturbance."
^cioè separate da un ritardo nullo. Si può immaginare fermare il tempo, fare le due misure e poi riavviarlo. In questo modo le misure sono state fatte allo stesso momento ma è possibile distinguere quale è stata fatta prima.
^Dirac (1958), p. 20: "The bra vectors, as they have been here introduced, are quite a different kind of vector from the kets, and so far there is no connexion between them except for the existence of a scalar product of a bra and a ket."
^Dirac (1958), p. 19: "A scalar product 〈B|A now appears as a complete bracket expression."
^Notare che uno stato è una sovrapposizione di stati di base diversi, quindi e sono elementi dello stesso spazio di Hilbert. Una particella nello stato si trova precisamente nella posizione, mentre una particella nello stato si può trovare in varie posizioni con diverse probabilità.
^Nel caso continuo, i ket di base non sono unitari (a differenza dello stato): sono invece normalizzati secondo(Landau (1965), p. 17) cioè (unadelta di Dirac), il che significa che
^Questo criterio è valido solo se la matrice densità è normalizzata e quindi ha traccia 1, come è assunto in questa voce e in molti libri di testo. È però possibile adoperare un'altra normalizzazione, in tal caso il criterio per uno stato diventa:.