11 citations
- University of ChicagoUS2 papers
- Colonial Williamsburg FoundationUS1 paper
- Indian Institute of Technology DelhiIN1 paper
- Microsoft Research Asia (China)CN1 paper
- Microsoft Research (India)IN1 paper
- National Yang Ming Chiao Tung UniversityTW1 paper
- Princeton UniversityUS1 paper
- Research Center for Information Technology Innovation, Academia SinicaTW1 paper
- San Francisco SymphonyUS1 paper
- Santa Clara UniversityUS1 paper
- The University of Texas at AustinUS1 paper
- William & MaryUS1 paper
Showing quant-phShow all
2 papers · 1 filter
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…
quant-ph2026★ 11 cited
Approximating local properties by tensor network states with constant bond dimension
Yichen Huang
Classical simulation of quantum many-body systems is a fundamental challenge due to their exponentially large Hilbert spaces. Tensor network states are a powerful ansatz to efficie…