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

Resumen Técnico: Ruido de Wigner de Impulso Fijo y Contracción de la Distancia de Traza

Planteamiento del Problema
El artículo aborda una pregunta fundamental en la información cuántica relativista: ¿Implica una reducción en todos los contrastes de espín observables (distancias de traza) bajo un impulso de Lorentz fijo que el canal ruidoso resultante es un post-procesamiento (degradación) del original? Específicamente, si una preparación objetivo produce distancias de estado de espín estrictamente menores que una preparación de fuente a lo largo de cada eje calibrado bajo el mismo impulso, ¿debe existir un canal CPTP (completamente positivo y preservador de traza) independiente del estado $\Lambda$ tal que $\Phi_{\text{objetivo}} = \Lambda \circ \Phi_{\text{fuente}}$?

Trabajos previos establecieron que los estados de espín reducidos dependen de los impulsos de los observadores y de las distribuciones de momento mediante rotaciones de Wigner. Mientras que los modelos simples de desfasamiento pueden ser ordenados a menudo por un único parámetro de coherencia, el artículo investiga un escenario más complejo donde los ejes de rotación de Wigner varían a través del plano transversal, creando rotaciones de rama no conmutativas. La cuestión operativa central es si el amortiguamiento componente a componente (contracción de todas las coordenadas de Bloch) es suficiente para garantizar el orden de post-procesamiento estadístico cuántico.

Metodología
Los autores emplean un enfoque geométrico y analítico riguroso para caracterizar el conjunto de canales de espín reducidos generados por un único impulso de observador fijo.

1. Construcción del Modelo: El estudio asume una preparación de producto autónoma $\rho_{SP} = \rho_S \otimes \rho_P$, donde $\rho_P$ es un operador de clase traza. La dinámica de espín se describe mediante un canal de unidad aleatoria resultante del trazo de momento de la transformación de Lorentz unitaria.
2. Caracterización Geométrica: Los autores derivan el cono convexo exacto de las matrices de Bloch realizables con un impulso fijo y una distribución de momentos transversales con simetría de inversión. Esto implica analizar el promedio de las rotaciones de Wigner $R_n(\pm \theta)$ sobre un plano ortogonal al eje de impulso.
3. Familia Analítica: Dentro de este cono, los autores construyen una familia específica de canales diagonales de Pauli parametrizados por pesos $u$ y $v$ (que representan la masa de probabilidad de pares de momentos opuestos). Los canales se definen como:
   $$M_\alpha = \text{diag}(1-\alpha, 1-\alpha, 1-2\alpha)$$
   donde $\alpha$ es una función del ángulo de Wigner y los pesos de momento.
4. Optimización y Verificación: El artículo resuelve el problema de optimización para la distancia mínima de norma de diamante entre un canal objetivo y cualquier convertidor físico aplicado a un canal de fuente. Utiliza las desigualdades de Fujiwara-Algoet y el análisis de autovalores de Choi para probar la completitud de la positividad.
5. Análisis de Robustez: El modelo idealizado de "rama de momento aguda" se extiende a paquetes de ondas puros y normalizables. Los autores proporcionan límites de perturbación explícitos y certificados de tomografía de disparo finito para demostrar que los resultados se mantienen para estados físicamente realizables con dispersión de momento finita.

Contribuciones Clave y Resultados

• Contracción Estricta de la Distancia de Traza sin Degradabilidad: El resultado principal es la construcción de un contraejemplo donde, para $0 < u < v < 1/2$, el canal objetivo $\Phi_v$ contrae estrictamente cada distancia de traza entre estados de espín distintos comparado con el canal de fuente $\Phi_u$. A pesar de este orden estricto de todos los contrastes observables, no existe un mapa CPTP $\Lambda$ tal que $\Phi_v = \Lambda \circ \Phi_u$.
• Caracterización Exacta del Cono: El artículo proporciona una descripción exacta del "cono simétrico de impulso fijo". Una matriz real $M$ pertenece a este cono si y solo si toma la forma:
  $$M = \begin{pmatrix} I_2 - D & 0 \\ 0 & 1 - \text{Tr} D \end{pmatrix}$$
  donde $D \succeq 0$ y $\text{Tr} D \leq s$ (donde $s$ está relacionado con el ángulo de Wigner). Esto revela una restricción cinemática omitida por modelos de tres ejes más simples: el déficit longitudinal debe ser igual al traza de la matriz de déficit transversal.
• Deficiencia Cuantitativa: Los autores calculan la deficiencia exacta de CPTP dirigida (la distancia mínima de norma de diamante a un convertidor físico):
  $$\delta_\diamond(\beta|\alpha) = \frac{\alpha(\beta - \alpha)}{2 - 3\alpha} \quad \text{para } \alpha < \beta < 1/2$$
  Esto cuantifica la "brecha" que ningún post-procesamiento físico puede cerrar.
• Testigo de Autovalores de Choi: Se demuestra que el factor lineal único $T = M_\beta M_\alpha^{-1}$ requerido para mapear la fuente al objetivo tiene un autovalor de Choi normalizado negativo:
  $$\lambda_{\min} = -\frac{s^2 u(v-u)}{2(1-su)(1-2su)} < 0$$
  Esto prueba que el factor no es completamente positivo.
• Obstrucción Markoviana: El artículo demuestra que los miembros no identidad de esta familia no pueden ser embebidos en un semigrupo de Lindblad diagonal de Pauli homogéneo en el tiempo. Violan la desigualdad $\lambda_z \geq \lambda_x \lambda_y$ requerida para tales semigrupos, indicando que el ruido relativista no es un simple punto de tiempo positivo de un proceso disipativo estándar.
• Estabilidad y Tomografía: Se muestra que los resultados persisten para paquetes de ondas normalizables. Los autores derivan límites explícitos para el "vecindario de exclusión certificado", probando que incluso con errores de medición finitos y dispersión de momento finita, la no-degradabilidad puede ser certificada experimentalmente mediante tomografía.

Significado y Reivindicaciones
El artículo afirma demostrar que el ordenamiento de todas las distinguibilidades de espín no asistidas no determina el orden de post-procesamiento estadístico cuántico.

• Implicación Operativa: El amortiguamiento componente a componente es un proxy insuficiente para la pérdida de información en entornos relativistas. Un canal puede ser "más ruidoso" en todos los sentidos observables (menores distancias de traza, menores valores singulares) y, sin embargo, permanecer "incomparable" en el sentido de la información cuántica porque la transformación requerida viola la completitud de la positividad.
• Perspectiva Estructural: El fallo de la degradabilidad surge del acoplamiento específico de las tres contracciones impuestas por la cinemática del impulso fijo. La contracción longitudinal se vuelve demasiado fuerte en relación con las contracciones transversales para encajar dentro del tetraedro CPTP.
• Modestia de las Reivindicaciones: Los autores declaran explícitamente que no pretenden caracterizar cada canal producido por arbitrarias correlaciones espín-momento o cada paquete de ondas de Lorentz. El resultado es específico para la realización de "impulso fijo" con momentos transversales con simetría de inversión. El artículo se centra en la existencia de un conjunto abierto de pares de canales físicamente generados donde la intuición estándar (menor distancia $\implies$ post-procesamiento) falla, en lugar de una clasificación completa de todo el ruido relativista.

En conclusión, el trabajo establece que para un único impulso de Lorentz fijo, el conjunto de canales de espín reducidos forma una estructura donde la identidad domina a todos los miembros, pero todos los miembros de ruido positivo forman una antichain de Blackwell: están totalmente ordenados por la distancia de traza pero son mutuamente incomparables bajo el post-procesamiento CPTP.