58 citations
13 papers
A Graphical #SAT Algorithm for Formulae with Small Clause Density
Tuomas Laakkonen, Konstantinos Meichanetzidis, John van de Wetering
We study the counting version of the Boolean satisfiability problem #SAT using the ZH-calculus, a graphical language originally introduced to reason about quantum circuits. Using t…
How to Sum and Exponentiate Hamiltonians in ZXW Calculus
Razin A. Shaikh, Quanlong Wang, Richie Yeung
This paper develops practical summation techniques in ZXW calculus to reason about quantum dynamics, such as unitary time evolution. First we give a direct representation of a wide…
Characterizing a non-equilibrium phase transition on a quantum computer
Eli Chertkov, Zihan Cheng, Andrew C. Potter +13
At transitions between phases of matter, physical systems can exhibit universal behavior independent of their microscopic details. Probing such behavior in quantum many-body system…
The resource theory of nonclassicality of channel assemblages
Beata Zjawin, David Schmid, Matty J. Hoban +1
When two parties, Alice and Bob, share correlated quantum systems and Alice performs local measurements, Alice's updated description of Bob's state can provide evidence of nonclass…
Controlled Gate Networks: Theory and Application to Eigenvalue Estimation
Max Bee-Lindgren, Zhengrong Qian, Matthew DeCross +5
We introduce a new scheme for quantum circuit design called controlled gate networks. Rather than trying to reduce the complexity of individual unitary operations, the new strategy…
Transport of multispecies ion crystals through a junction in an RF Paul trap
William Cody Burton, Brian Estey, Ian M. Hoffman +3
We report on the first demonstration of transport of a multispecies ion crystal through a junction in an RF Paul trap. The trap is a two-dimensional surface-electrode trap with an…