Criterios algebraicos de separabilidad y demostraciones algorítmicas de la existencia de MUBs
Palabras clave:
eliminación de cuantificadores, entrelazamiento, bases mutuamente no sesgadasResumen
En este trabajo discutimos como ciertos problemas relevantes en información cuántica pueden analizarse desde una perspectiva lógica-matemática. Mostramos que propiedades como la separabilidad de estados multipartitos, y la existencia de conjuntos de bases mutuamente no sesgadas en dimensión arbitraria, pueden formularse como predicados existenciales en lógica de primer orden sobre los reales. Esta formulación permite encontrar criterios algebraicos para la separabilidad de estados en cualquier dimensión, y demostrar la existencia o no de conjuntos de bases mutuamente no sesgadas. Además, analizamos la aplicabilidad práctica de estos métodos y discutimos la necesidad de estrategias heurísticas para enfrentar su complejidad computacional en instancias de tamaño moderado.
Descargas
Publicado
Número
Sección
Licencia
Derechos de autor 2025 Nicolás Ciancaglini, Santiago Cifuentes, Guido Bellomo, Santiago Figueira, Ariel Bendersky
Esta obra está bajo una licencia internacional Creative Commons Atribución-NoComercial-CompartirIgual 4.0.
Acorde a estos términos, el material se puede compartir (copiar y redistribuir en cualquier medio o formato) y adaptar (remezclar, transformar y crear a partir del material otra obra), siempre que a) se cite la autoría y la fuente original de su publicación (revista y URL de la obra), b) no se use para fines comerciales y c) se mantengan los mismos términos de la licencia.
