3

An Agentic Formalization for Certified Quantum Neural Network Design
A central model in quantum machine learning is the quantum neural network (QNN), whose design requires balancing expressivity and …
PDF Cite Code DOI
An Agentic Formalization for Certified Quantum Neural Network Design
Logical Entangling with Phantom Codes in Hypergraph Products
Logical entangling gates are a major source of physical spacetime overhead in fault-tolerant quantum computation. Phantom codes reduce …
PDF Cite DOI
Logical Entangling with Phantom Codes in Hypergraph Products
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
A Nonstabilizerness Resource Law for Universal Quantum State Purification
Quantum state purification aims to recover higher-fidelity quantum states from multiple noisy copies and is a fundamental primitive for …
PDF Cite DOI
A Nonstabilizerness Resource Law for Universal Quantum State Purification
Invariant Measures and Weak-Magic-Injection Asymptotics in Random Monitored Quantum Circuits
Monitored quantum circuits provide a natural setting in which scrambling, measurements, and measurement-conditioned updates compete …
PDF Cite DOI
Invariant Measures and Weak-Magic-Injection Asymptotics in Random Monitored Quantum Circuits
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
Distilling Unitary Operations: A No-Go Theorem and Minimal Realization
Quantum gates executed on physical hardware are inevitably degraded by environmental noise. While state purification effectively …
PDF Cite DOI
Distilling Unitary Operations: A No-Go Theorem and Minimal Realization
Block Coordinate Descent for Dynamic Portfolio Optimization on Finite-Precision Coherent Ising Machines
Coherent Ising machines (CIMs) have emerged as specialized quantum hardware for large-scale combinatorial optimization. However, for …
PDF Cite DOI
Block Coordinate Descent for Dynamic Portfolio Optimization on Finite-Precision Coherent Ising Machines
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
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