2 papers
quant-ph2026
Clifford-efficient sparse state preparation for molecular wavefunctions
Yingrong Chen, Nathan A. Baker, Rushi Gong +7
Sparse quantum state preparation concerns an -qubit target state that is a superposition of only computational basis states. Existing approaches exploit this sparsit…
quant-ph2026
Hoare meets Heisenberg: A Lightweight Logic for Quantum Programs
Aarthi Sundaram, Robert Rand, Kartik Singhal +2
We show that Gottesman's (1998) semantics for Clifford circuits based on the Heisenberg representation gives rise to a lightweight Hoare-like logic for efficiently characterizing a…