Abstract:Metaplectic quantum basis is a universal multi-qutrit quantum basis, formed by the ternary Clifford group and the axial reflection gate $R=|0\rangle \langle 0| + |1\rangle \langle 1| - |2\rangle \langle 2|$. It is arguably, a ternary basis with the simplest geometry. Recently Cui, Kliuchnikov, Wang and the Author have proposed a compilation algorithm to approximate any two-level Householder reflection to precision $\varepsilon$ by a metaplectic circuit of $R$-count at most $C \, \log_3(1/\varepsilon) + O(\log \log 1/\varepsilon)$ with $C=8$. A new result in this note takes the constant down to $C=5$ for non-exceptional target reflections under a certain credible number-theoretical conjecture. The new method increases the chances of obtaining a truly optimal circuit but may not guarantee the true optimality. Efficient approximations of an important ternary quantum gate proposed by Howard, Campbell and others is also discussed. Apart from this, the note is mostly didactical: we demonstrate how to leverage Lenstra's integer geometry algorithm from 1983 for circuit synthesis.

Perfect basis theory for quantum Borcherds-Bozec algebras

Crystal bases and canonical bases for quantum Borcherds-Bozec algebras

Dual Perfect Bases and dual perfect graphs

Weak Quantum Borcherds Superalgebras and Their Representations

A Basis of the Q-Schur Module

Bases of q-Schur Module A(lambda)

Quantum Borcherds-Bozec algebras and their integrable representations

Bases of $Q$-Schur Module $\Mathcal{a}^{\lambda}$

Canonical Bases and Quantum Coordinate Algebras

Dual Canonical Bases for the Quantum Special Linear Group and Invariant Subalgebras

On Borel subalgebras of quantum groups

Polyhedral realizations of crystal bases for quantum algebras of finite types

Bases of Quantum Cluster Algebra of Type $\Widetilde{a}^{(1)}_{1}$

Bases of the Quantum Cluster Algebra of the Kronecker Quiver

Crystal bases of parabolic Verma modules over the quantum orthosymplectic superalgebras

A Note on Optimality of Quantum Circuits over Metaplectic Basis

Certain Clifford-like algebra and quantum vertex algebras

Based cluster algebras of infinite ranks

Broken lines and compatible pairs for rank 2 quantum cluster algebras

PBW bases and KLR algebras