Passive spectral-admittance bounds and exact continuum certificates for multiresonator quantum-memory interfaces

Resumen Técnico: Límites de Admitancia Espectral Pasiva y Certificados de Continuo Exactos para Interfaces de Memoria Cuántica Multirresonante

Planteamiento del Problema
Las interfaces de memoria cuántica de banda ancha se evalúan típicamente mediante el acoplamiento de impedancia en la frecuencia central o mediante curvas de eficiencia muestbreadas. Los autores argumentan que ninguno de estos enfoques proporciona un certificado de banda continua operativo, y que la absorción no equivale automáticamente a un almacenamiento reversible. Existe una brecha crítica al distinguir entre un dispositivo que simplemente absorbe una señal hacia un canal controlado y uno que logra escribir exitosamente esa señal en un registro de larga vida. Además, las evaluaciones numéricas estándar (por ejemplo, el muestreo de rejilla) no pueden garantizar la ausencia de picos de reflexión estrechos entre los puntos de muestra, ni pueden proporcionar pruebas exactas de estabilidad o de propiedades de fase mínima para diseños racionales.

Metodología
El artículo modela una interfaz multirresonante de un solo puerto pasiva utilizando una admitancia espectral de real positivo, $\Sigma(s)$, con canales de salida controlados identificados explícitamente.

1. Calificación Operativa: Los autores introducen una "dilatación de salida controlada" donde el defecto de reflexión se convierte en una probabilidad de transferencia a canales de salida de Markov controlados. Una escritura de memoria solo se certifica si un mapa de captura isométrico ($U_{cap}$) transfiere todo el estado de salida controlada hacia un registro de larga vida ($\mathcal{H}_{mem}$) sin descartar amplitud hacia un baño no controlado.
2. Límites Teóricos: Bajo supuestos pasivos estacionarios, los autores derivan un teorema de "no-go" que establece que una interfaz racional finita no puede tener reflexión cero en un intervalo de frecuencia no nulo. Establecen un piso minimax de Bode–Fano para el coeficiente de reflexión máximo $\|r\|_\infty$ sobre una banda de semiancho $B$: $\|r\|_\infty \ge \exp(-\pi\kappa/2B)$.
3. Síntesis y Optimización: El problema de diseño se formula como una síntesis minimax. Aunque el problema general con polos móviles es no convexo, los autores demuestran que, para ubicaciones de polos fijas, el problema de encontrar las fuerzas de oscilación (pesos) es un programa semi-infinito cuasi-convexo.
4. Certificación de Continuo Exacta: El avance metodológico central es un certificado de continuo asistido por computadora. Para un diseño racionalizado donde la reflexión $r(s) = N(s)/D(s)$, la condición $|r(i\omega)| < \bar{\rho}$ para todo $\omega$ en una banda se transforma en la positividad estricta de un polinomio univariante $H_{\bar{\rho}}(x)$ en un intervalo compacto.
   • Conteo de Raíces de Sturm: Se utiliza para probar que el polinomio no tiene raíces en el intervalo, asegurando que el límite se cumpla continuamente sin necesidad de muestreo de rejilla.
   • Determinantes de Routh–Hurwitz: Se utilizan para certificar la estabilidad (polos en el semiplano izquierdo) y la fase mínima (ceros en el semiplano izquierdo) de manera exacta.

Resultados Clave

• Límites Teóricos: El artículo confirma que los sistemas pasivos de orden finito no pueden lograr un acoplamiento perfecto de banda ancha y cuantifica el compromiso fundamental entre ancho de banda, tasa de acoplamiento y la reflexión mínima alcanzable (el piso de Bode–Fano).
• Diseño de 11 Modos: Aplicando el marco de síntesis y certificación a un diseño candidato de 11 modos (con $\kappa=2, B=1$), los autores proporcionan un intervalo de reflexión exacto: $0.064112405 \le \|r\|_\infty < 0.0641125$.
• Garantías de Eficiencia: Basándose en el límite superior de la reflexión, el diseño garantiza una eficiencia de escritura uniforme condicional de $\eta_w > 0.995889587$. Si el proceso de lectura es recíproco e insensible a pérdidas, la probabilidad de ida y vuelta en el peor de los casos supera $0.99179607$.
• Análisis de Robustez: El artículo incluye un análisis de sensibilidad determinista que muestra cómo las perturbaciones de los parámetros afectan el límite de reflexión, así como un estudio de Monte Carlo para diagnosticar la agudeza del diseño minimax.

Significancia y Reivindicaciones
El artículo afirma proporcionar un marco unificado que separa la calificación operativa de una interfaz de memoria de las afirmaciones de optimalidad global. Su contribución principal es el cambio de la evidencia numérica (muestreo de rejilla) a certificados de continuo exactos e independientemente ejecutables.

• Reproducibilidad: Los autores enfatizan que sus resultados no son afirmaciones de optimalidad global sobre la ubicación libre de los polos, ni son afirmaciones de una memoria experimentalmente completa. En su lugar, ofrecen un certificado reproducible para una interfaz racional especificada.
• Estatus Epistémico: El trabajo cambia el estatus de los diseños numéricos de "aproximados" a "probados" dentro de la clase racional especificada. El objeto de prueba es compacto (parámetros racionales, hashes de coeficientes, conteos de Sturm, signos de Hurwitz) y puede ser verificado por sistemas de álgebra computacional sin confiar en el algoritmo de optimización que generó el diseño.
• Limitaciones: Los autores señaden explícitamente que la convexidad de soporte fijo no resuelve el problema no convexo de los polos móviles, y que la tasa de convergencia hacia el piso de Bode–Fano sigue siendo una cuestión de aproximación teórica abierta.

En resumen, el artículo establece límites rigurosos y exactos, así como protocolos de verificación para interfaces de memoria cuántica pasivas, asegurando que las afirmaciones de alta eficiencia estén respaldadas por pruebas de banda continua en lugar de un muestreo discreto, mientras delimita claramente los límites entre los límites pasivos estacionarios y las estrategias de control dinámico.