Quantum information theory

Benchmarking Agents for Proving Theorems in Quantum Algorithms and Quantum Information
Formal verification is becoming increasingly practical for quantum computing, yet the ability of AI agents to construct …
PDF Cite DOI
Benchmarking Agents for Proving Theorems in Quantum Algorithms and Quantum Information
Lean-QIT: Towards a Formal Infrastructure for Quantum Information Theory
Quantum information theory (QIT) characterizes the capabilities and fundamental limits of quantum information processing, underpinning …
PDF Cite Code DOI
Lean-QIT: Towards a Formal Infrastructure for Quantum Information Theory
Sample-efficient estimation of nonlinear quantum state functions
Estimating nonlinear functions of quantum states is essential for quantum information processing tasks such as entropy quantification, …
PDF Cite Code DOI
Sample-efficient estimation of nonlinear quantum state functions
Structure, Optimality, and Symmetry in Shadow Unitary Inversion
Reversing unknown quantum dynamics is vital for quantum control and learning, yet full unitary inversion requires a resource-intensive …
PDF Cite Code DOI
Structure, Optimality, and Symmetry in Shadow Unitary Inversion
Universal quantum state purification with energy-preserving operations
Quantum state purification, which operates not by identifying and correcting specific errors but by repeatedly projecting multiple …
PDF Cite DOI
Universal quantum state purification with energy-preserving operations
No-Go Theorems for Universal Quantum State Purification via Classically Simulable Operations
Quantum state purification, a process that aims to recover a state closer to a system’s principal eigenstate from multiple copies of an …
PDF Cite DOI
No-Go Theorems for Universal Quantum State Purification via Classically Simulable Operations
Entanglement cost of bipartite quantum channel discrimination under positive partial transpose operations
Quantum channel discrimination is a fundamental task in quantum information processing. In the one-shot regime, discrimination between …
PDF Cite DOI
Entanglement cost of bipartite quantum channel discrimination under positive partial transpose operations
Power and Limitations of Distributed Quantum State Purification
Quantum state purification protocols, which mitigate noise by converting multiple copies of noisy quantum states into fewer copies with …
PDF Cite DOI
Power and Limitations of Distributed Quantum State Purification
Simulation of Adjoints and Petz Recovery Maps for Unknown Quantum Channels
Transformations of quantum channels, such as the transpose, complex conjugate, and adjoint, are fundamental to quantum information …
PDF Cite DOI
Simulation of Adjoints and Petz Recovery Maps for Unknown Quantum Channels
Efficient implementation of arbitrary Hermitian-preserving and trace-preserving maps
Quantum control has been a cornerstone of quantum information science, driving major advances in quantum computing, quantum …
PDF Cite DOI
Efficient implementation of arbitrary Hermitian-preserving and trace-preserving maps