Medida com Valores em Operadores Positivos (POVM)

Conteúdo

Medida com Valores em Operadores Positivos (POVM)#

A Medida com Valores em Operadores Positivos (POVM) surge como uma generalização direta das medições projetivas (PVM), obtida ao relaxar duas de suas restrições estruturais fundamentais:

a idempotência ($P_i^2 = P_i$)
a ortogonalidade ($P_i P_j = 0$, para $ i \neq j$)

Ao remover essas condições, obtemos uma classe mais ampla de operadores de medição, capazes de descrever processos físicos mais gerais.

Uma POVM é então definida por um conjunto de operadores:

\[ {Q_i}_{i \in M} \]

atuando em um espaço de Hilbert $ \mathcal{H}$, que satisfazem:

$ Q_i = Q_i^\dagger$ (hermiticidade)
$ Q_i \geq 0$ (positividade)
$ \sum_i Q_i = I$ (completude)

A probabilidade de obter o resultado $ i$, dado um estado descrito por uma matriz densidade $ \rho$, é dada por:

\[ p(i|\rho) = \mathrm{tr}(Q_i \rho) \]

Essa expressão generaliza a regra de Born e garante que as probabilidades são reais, não negativas e somam 1.

Diferentemente do caso projetivo, os operadores $Q_i$ não especificam completamente a dinâmica do sistema após a medição. Isso ocorre porque uma POVM descreve apenas os resultados estatísticos, mas não o processo físico detalhado que leva a esses resultados.

Para descrever o estado pós-medição, é necessário introduzir um conjunto de operadores auxiliares ${A_i}$, chamados operadores de Kraus, tais que:

\[ Q_i = A_i^\dagger A_i \]

Essa decomposição sempre existe, mas não é única. De fato, diferentes conjuntos de operadores de Kraus podem gerar os mesmos operadores $Q_i$, refletindo o fato de que uma mesma POVM pode ser implementada por diferentes processos físicos.

Com isso, o estado do sistema após a obtenção do resultado $i$ é dado por:

\[ \rho_i = \frac{A_i \rho A_i^\dagger}{\mathrm{tr}(A_i^\dagger A_i \rho)} \]

Essa expressão mostra que a evolução associada à medição é, em geral, não unitária e dependente do resultado observado.

Essa distinção entre:

operadores $Q_i$, que determinam as probabilidades
operadores $A_i$, que determinam a dinâmica

é uma das características centrais das POVMs e evidencia sua natureza mais geral em relação às medições projetivas.

Exemplo de Discriminação de Estados#

Considere dois estados quânticos não ortogonais $\ket{\psi}$ e $\ket{\phi}$, com $|\bra{\psi} \ket{\phi}| \neq 0$.

Nesse caso, não existe nenhuma medição projetiva (PVM) capaz de distingui-los perfeitamente, pois estados não ortogonais não podem ser discriminados com certeza sem introduzir erro.

Uma POVM, no entanto, permite construir uma estratégia de discriminação sem erro, ao custo de admitir um resultado inconclusivo.

Considere o conjunto de operadores:

\[ Q_0 = a(I - \ket{\psi}\bra{\psi}), \quad Q_1 = a(I - \ket{\phi}\bra{\phi}), \quad Q_2 = I - Q_0 - Q_1 \]

onde o parâmetro $a$ deve ser escolhido de modo que todos os operadores permaneçam positivos.

Analisando os resultados:

Se o estado for $\ket{\psi}$:
- $p(0) = 0$
- $p(1) = a(1 - |\bra{\psi} \ket{\phi}|^2)$
- $p(2) = 1 - p(1)$
Se o estado for $\ket{\phi}$:
- $p(1) = 0$
- $p(0) = a(1 - |\bra{\psi} \ket{\phi}|^2)$
- $p(2) = 1 - p(0)$

Dessa forma:

Resultado associado a $Q_1$ identifica o estado como $\ket{\psi}$ com certeza
Resultado associado a $Q_0$ identifica o estado como $\ket{\phi}$ com certeza
Resultado associado a $Q_2$ não fornece informação conclusiva

Portanto, essa POVM implementa um esquema de discriminação não ambígua: sempre que uma decisão é tomada, ela está correta, mas existe uma probabilidade não nula de obter um resultado inconclusivo.

Esse exemplo ilustra uma vantagem fundamental das POVMs em relação às PVMs: a possibilidade de realizar tarefas de inferência quântica que seriam impossíveis no formalismo projetivo tradicional.

Realização de POVM via PVM#

O teorema de Neumark estabelece que qualquer POVM definida em um subespaço $U$ pode ser realizada como uma medição projetiva (PVM) em um espaço de Hilbert maior $\tilde{U}$.

A construção segue uma sequência estrutural bem definida:

Cada operador $Q_i$ é decomposto em operadores de posto 1 por meio de sua decomposição espectral
Os autovetores associados são reorganizados como vetores de medição ${\ket{\mu_j}}$
Constrói-se a chamada matriz de medição $M = {\ket{\mu_1}, \dots, \ket{\mu_N}}$
Aplica-se a decomposição em valores singulares (SVD) dessa matriz
A partir dessa decomposição, constrói-se uma base ortonormal em um espaço ampliado $\tilde{U}$

Nesse novo espaço, define-se um conjunto de projetores:

\[ P_i = \ket{p_i}\bra{p_i} \]

que formam uma PVM.

A relação entre os operadores da POVM original e os projetores no espaço ampliado é dada por:

\[ Q_i = P_A P_i P_A \]

onde $P_A$ é o projetor que restringe o sistema ao subespaço original $U$.

Essa construção mostra que qualquer POVM pode ser interpretada como uma medição projetiva realizada indiretamente, após um embedding do sistema em um espaço de maior dimensão.

Exemplo de Implementação Física#

Considere um sistema quântico definido em um subespaço bidimensional $U$, com estado:

\[ \ket{\psi} = \alpha_0 \ket{0} + \alpha_1 \ket{1} \]

Para implementar fisicamente uma POVM, introduzimos um sistema auxiliar (ancilla), inicialmente desacoplado do sistema principal.

O procedimento é o seguinte:

Introduz-se um estado auxiliar $\ket{0}_{U^\perp}$ em um subespaço complementar
Forma-se o estado composto: $$ \ket{\psi} \otimes \ket{0} $$
Aplica-se uma transformação unitária global $A$, que correlaciona sistema e ancilla
Realiza-se uma medição projetiva apenas no sistema auxiliar

A probabilidade de obter o resultado $i$ é então:

\[ p_i = (\bra{\psi} \otimes \bra{0}) A^\dagger (I \otimes P_i) A (\ket{\psi} \otimes \ket{0}) \]

Essa expressão pode ser reescrita como:

\[ p_i = \bra{\psi} Q_i \ket{\psi} \]

onde os operadores $Q_i$ atuam apenas no sistema original e satisfazem as propriedades de uma POVM.

Assim, a medição projetiva no sistema ampliado reproduz exatamente as estatísticas de uma POVM no sistema original, evidenciando que POVMs correspondem a medições indiretas obtidas via acoplamento com sistemas auxiliares.

Conclusão#

A POVM representa a generalização natural das medições quânticas, permitindo descrever situações onde medições projetivas são insuficientes.

amplia o conjunto de estratégias de medição
permite tarefas impossíveis com PVM
possui implementação física via sistemas auxiliares

Essa formalização é essencial para a teoria moderna de informação quântica e aplicações práticas.