39 citations · 134 across the 20 of their papers we have counts for
20 papers
The Quantum Effect: A Recipe for QuantumPi
Jacques Carette, Chris Heunen, Robin Kaarsgaard +1
Free categorical constructions characterise quantum computing as the combination of two copies of a reversible classical model, glued by the complementarity equations of classical…
Retrodictive Quantum Computing
Jacques Carette, Gerardo Ortiz, Amr Sabry
Quantum models of computation are widely believed to be more powerful than classical ones. Efforts center on proving that, for a given problem, quantum algorithms are more resource…
Quantum Computation of Hydrogen Bond Dynamics and Vibrational Spectra
Philip Richerme, Melissa C. Revelle, Debadrita Saha +10
Calculating the observable properties of chemical systems is often classically intractable and is widely viewed as a promising application of quantum information processing. Yet on…
Symmetries in Reversible Programming: From Symmetric Rig Groupoids to Reversible Programming Languages
Vikraman Choudhury, Jacek Karwowski, Amr Sabry
The family of reversible programming languages for boolean circuits is presented as a syntax of combinators witnessing type isomorphisms of algebraic datatypes. In this…
Mapping quantum chemical dynamics problems onto spin-lattice simulators
Debadrita Saha, Srinivasan S. Iyengar, Philip Richerme +2
The accurate computational determination of chemical, materials, biological, and atmospheric properties has critical impact on a wide range of health and environmental problems, bu…
Fractional Types: Expressive and Safe Space Management for Ancilla Bits
Chao-Hong Chen, Vikraman Choudhury, Jacques Carette +1
In reversible computing, the management of space is subject to two broad classes of constraints. First, as with general-purpose computation, every allocation must be paired with a…