# 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:

1. Cada operador $Q_i$ é decomposto em operadores de posto 1 por meio de sua decomposição espectral
2. Os autovetores associados são reorganizados como vetores de medição ${\ket{\mu_j}}$
3. Constrói-se a chamada matriz de medição $M = {\ket{\mu_1}, \dots, \ket{\mu_N}}$
4. Aplica-se a decomposição em valores singulares (SVD) dessa matriz
5. 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:

1. Introduz-se um estado auxiliar $\ket{0}_{U^\perp}$ em um subespaço complementar
2. Forma-se o estado composto:
   $$
   \ket{\psi} \otimes \ket{0}
   $$
3. Aplica-se uma transformação unitária global $A$, que correlaciona sistema e ancilla
4. 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.