Reproduce “Essential Unitarity for Higher-Order Quantum Computation (Extended Abstract)” on OpenResearch
Turn your favorite coding agents into research agents that review literature, develop hypotheses, and run experiments.
Universal app for Apple silicon and Intel. Requires macOS 11 or later.
About this paper
Samson Abramsky, Radha Jagadeesan
The authors define essential unitarity as a reversibility test for higher-order quantum processes. They regroup each typed interface into incoming and outgoing boundary ports, then test whether the induced boundary matrix is unitary. They prove every morphism in their coherent quantum core passes and show that the calculus includes an applied quantum switch. This result applies only to the defined calculus.
Summary by alphaXiv.
Tip: change arxiv.org to autoarxiv.org in any arXiv abstract link to open the paper here.