Fixed-Boost Wigner Noise: Strict Trace-Distance Contraction without Quantum Degradability

Resumo Técnico: Ruído de Wigner de Boost Fixo e Contração de Distância de Traço

Enunciado do Problema
O artigo aborda uma questão fundamental na informação quântica relativística: uma redução em todos os contrastes de spin observáveis (distâncias de traço) sob um boost de Lorentz fixo implica necessariamente que o canal ruidoso resultante é um pós-processamento (degradação) do original? Especificamente, se uma preparação alvo produz distinções de estados de spin estritamente menores do que uma preparação de origem sob cada eixo calibrado sob o mesmo boost, deve existir um canal CPTP (preservador de traço e completamente positivo) independente de estado $\Lambda$ tal que $\Phi_{target} = \Lambda \circ \Phi_{source}$?

Trabalhos anteriores estabeleceram que estados de spin reduzidos dependem de boosts de observadores e distribuições de momento via rotações de Wigner. Embora modelos simples de desfasamento possam frequentemente ser ordenados por um único parâmetro de coerência, o artigo investiga um cenário mais complexo onde os eixos de rotação de Wigner variam através do plano transverso, criando rotações de ramo não comutativas. A questão operacional central é se o amortecimento componente a componente (contração de todas as coordenadas de Bloch) é suficiente para garantir a ordem de pós-processamento estatístico quântico.

Metodologia
Os autores empregam uma abordagem geométrica e analítica rigorosa para caracterizar o conjunto de canais de spin reduzidos gerados por um único boost de observador fixo.

1. Construção do Modelo: O estudo assume uma preparação de produto autônoma $\rho_{SP} = \rho_S \otimes \rho_P$, onde o estado de momento $\rho_P$ é um operador de classe de traço. A dinâmica de spin é descrita por um canal de unidade aleatória decorrente do traço de momento da transformação de Lorentz unitária.
2. Caracterização Geométrica: Os autores derivam o cone convexo exato de matrizes de Bloch realizáveis com uma distribuição de momentos transversos com simetria de inversão. Isso envolve analisar a média de rotações de Wigner $R_n(\pm \theta)$ sobre um plano ortogonal ao eixo do boost.
3. Família Analítica: Dentro deste cone, os autores constroem uma família específica de canais diagonais de Pauli parametrizados por pesos $u$ e $v$ (representando a massa de probabilidade de pares de momentos opostos). Os canais são definidos como:
   $$M_\alpha = \text{diag}(1-\alpha, 1-\alpha, 1-2\alpha)$$
   onde $\alpha$ é uma função do ângulo de Wigner e dos pesos de momento.
4. Otimização e Verificação: O artigo resolve o problema de otimização para a distância mínima de norma de diamante entre um canal alvo e qualquer conversor físico aplicado a um canal de origem. Utiliza as desigualdades de Fujiwara-Algoet e a análise de autovalores de Choi para testar a completitude positiva.
5. Análise de Robustez: O modelo idealizado de "ramo de momento nítido" é estendido para pacotes de ondas puros e normalizáveis. Os autores fornecem limites explícitos de perturbação e certificados de tomografia de disparos finitos para demonstrar que os resultados se mantêm para estados fisicamente realizáveis com dispersão de momento finita.

Principais Contribuições e Resultados

• Contração Estrita de Distância de Traço sem Degradabilidade: O principal resultado é a construção de um contraexemplo onde, para $0 < u < v < 1/2$, o canal alvo $\Phi_v$ contrai estritamente cada distância de traço pareada entre estados de spin distintos comparado ao canal de origem $\Phi_u$. Apesar desta ordenação estrita de todos os contrastes observáveis, nenhum mapa CPTP $\Lambda$ existe tal que $\Phi_v = \Lambda \circ \Phi_u$.
• Caracterização Exata do Cone: O artigo fornece uma descrição exata do "cone simétrico de boost fixo". Uma matriz real $M$ pertence a este cone se, e somente se, assume a forma:
  $$M = \begin{pmatrix} I_2 - D & 0 \\ 0 & 1 - \text{Tr} D \end{pmatrix}$$
  onde $D \succeq 0$ e $\text{Tr} D \leq s$ (com $s$ relacionado ao ângulo de Wigner). Isso revela uma restrição cinemática perdida por modelos de três eixos mais simples: o déficit longitudinal deve ser igual ao traço da matriz de déficit transverso.
• Deficiência Quantitativa: Os autores calculam a deficiência exata de CPTP direcionada (a distância mínima de norma de diamante para um conversor físico):
  $$\delta_\diamond(\beta|\alpha) = \frac{\alpha(\beta - \alpha)}{2 - 3\alpha} \quad \text{para } \alpha < \beta < 1/2$$
  Isso quantifica o "gap" que nenhum pós-processamento físico pode preencher.
• Testemunha de Autovalor de Choi: O fator linear único $T = M_\beta M_\alpha^{-1}$ necessário para mapear a origem ao alvo é mostrado para ter um autovalor de Choi normalizado negativo:
  $$\lambda_{\min} = -\frac{s^2 u(v-u)}{2(1-su)(1-2su)} < 0$$
  Isso prova que o fator não é completamente positivo.
• Obstrução Markoviana: O artigo demonstra que membros não identitários desta família não podem ser incorporados em um semigrupo de Lindblad diagonal de Pauli tempo-homogêneo. Eles violam a desigualdade $\lambda_z \geq \lambda_x \lambda_y$ exigida por tais semigrupos, indicando que o ruído relativístico não é um simples ponto de tempo positivo de um processo dissipativo padrão.
• Estabilidade e Tomografia: Os resultados mostram-se persistentes para pacotes de ondas normalizáveis. Os autores derivam limites explícitos para o "vizinho de exclusão certificado", provando que, mesmo com erros de medição finitos e dispersão de momento finita, a não-degradabilidade pode ser experimentalmente certificada via tomografia.

Significância e Alegações
O artigo afirma demonstrar que ordenar todas as distinções de spin não assistidas não determina a ordem de pós-processamento estatístico quântico.

• Implicação Operacional: O amortecimento componente a componente é um proxy insuficiente para perda de informação em configurações relativísticas. Um canal pode ser "mais ruidoso" em todos os sentidos observáveis (menores distâncias de traço, menores valores singulares), mas permanecer "incomparável" no sentido da informação quântica porque a transformação necessária viola a completitude positiva.
• Insight Estrutural: A falha da degradabilidade surge do acoplamento específico das três contrações observadas impostas pela cinemática de boost fixo. A contração longitudinal torna-se excessivamente forte em relação às contrações transversais para caber dentro do tetraedro CPTP.
• Modéstia das Alegações: Os autores declaram explicitamente que não pretendem caracterizar cada canal produzido por arbitrárias correlações spin-momento ou cada pacote de onda de Lorentz. O resultado é específico para a realização de "boost fixo" com momentos transversos com simetria de inversão. O artigo foca na existência de um conjunto aberto de pares de canais fisicamente gerados onde a intuição padrão (menor distância $\implies$ pós-processamento) falha, em vez de uma classificação completa de todo o ruído relativístico.

Em conclusão, o trabalho estabelece que, para um único boost de Lorentz fixo, o conjunto de canais de spin reduzidos forma uma estrutura onde a identidade domina todos os membros, mas todos os membros de ruído positivo formam uma antichain de Blackwell: eles são totalmente ordenados por distância de traço, mas pairwise incomparáveis sob pós-processamento CPTP.