Formal Verification of Quantum Ancilla Safety

Ensuring ancilla safety is a critical correctness requirement for quantum compilation, since ancilla qubits are routinely introduced to implement comp...

arXiv Quantum Physics

Entanglement Mpemba Effect

Generating entanglement rapidly and reliably is essential for quantum information processing, communication, and metrology. Dissipative preparation is...

arXiv Quantum Physics

Shor's algorithm requires Fanout

Shor's algorithm is a canonical quantum supremacy target whose core operation relies on the Quantum Fourier Transform (QFT). We resolve an open questi...

arXiv Quantum Physics

Balanced Routing for Symmetric Quantum Circuits

Mapping quantum programs to restricted physical chips requires SWAP operations, incurring depth and error penalties. In symmetric programs, this routi...

arXiv Quantum Physics

Training Quantum Dragons

The Non-Equilibrium Green's Function (NEGF) is the standard formalism for nano-scale electron transport. By recasting the NEGF scattering problem as a...

arXiv Quantum Physics

CP-preserving channels

Completely positive (CP) matrices are ubiquitous in modern science and technology with applications in optimization, graph theory, and quantum entangl...

arXiv Quantum Physics

The trainability of photonic quantum circuits

Variational quantum algorithms are a leading approach to near-term quantum computing, but their scalability can be limited by barren plateaus and the ...

arXiv Quantum Physics

Image Classification on IBM Quantum Computers

Quantum machine learning on real noisy intermediate-scale quantum (NISQ) hardware has remained largely confined to binary or few-class tasks, limited ...

arXiv Quantum Physics

Agnostic learning of qudit stabilizer states

Learning a classical description of a quantum state is a fundamental task in quantum computation. Among the most important classes of quantum states a...

arXiv Quantum Physics

A Geometric Theory of Fermion-to-Qubit Encodings

Exact fermion to qubit transformations are conventionally regarded as algorithmic tools that translate many-body Hamiltonians into qubit representatio...

arXiv Quantum Physics

Untangling QLDPC Codes with Biased Noise Ancilla

Remarkable technical progress has made high-rate, high-distance, quantum low-density parity-check codes (QLDPC) promising candidates for scalable quan...

arXiv Quantum Physics

A quantum algorithm for one-shot signatures

We provide a pre-obfuscation circuit-level implementation of an efficient one shot signature scheme, which has known applications to delegated signatu...

arXiv Quantum Physics

Near-Optimal Learning of Local Lindbladians

We study the problem of learning local Lindbladians from black-box access to the physical evolution, and the goal is to estimate all Hamiltonian and d...

arXiv Quantum Physics