Related papers: Group geometrical axioms for magic states of quant…
We consider the problem of setting up the Wigner distribution for states of a quantum system whose configuration space is a Lie group. The basic properties of Wigner distributions in the familiar Cartesian case are systematically…
We use geometric methods to show that given any $3$-manifold $M$, and $g$ a sufficiently large integer, the mapping class group $\mathrm{Mod}(\Sigma_{g,1})$ contains a coset of an abelian subgroup of rank $\lfloor \frac{g}{2}\rfloor,$…
In this paper we treat coherent-squeezed states of Fock space once more and study some basic properties of them from a geometrical point of view. Since the set of coherent-squeezed states $\{\ket{\alpha, \beta}\ |\ \alpha, \beta \in…
Semigroup theory is a branch of abstract algebra, and it provides mathematical tools for the theory of computation. Finite semigroups can describe state transition systems and thus they model physically realizable computers. Engineering…
We describe the implications of permutation symmetry for the state space and dynamics of quantum mechanical systems of matrices of general size $N$. We solve the general 11- parameter permutation invariant quantum matrix harmonic oscillator…
Let ${\cal H}$ be the state-space of a quantum computer coupled with the environment by a set of error operators spanning a Lie algebra ${\cal L}.$ Suppose ${\cal L}$ admits a noiseless quantum code i.e., a subspace ${\cal C}\subset{\cal…
The applications of geometric control theory methods on Lie groups and homogeneous spaces to the theory of quantum computations are investigated. These methods are shown to be very useful for the problem of constructing an universal set of…
In this paper the problem of tomographic reconstruction of states is investigated within the so-called Schwinger's picture of Quantum Mechanics in which a groupoid is associated with every quantum system. The attention is focused on spin…
The arithmetic regularity lemma due to Green [GAFA 2005] is an analogue of the famous Szemer{\'e}di regularity lemma in graph theory. It shows that for any abelian group $G$ and any bounded function $f:G \to [0,1]$, there exists a subgroup…
In this paper we construct the set of quantum mechanical observables in the Fedosov *-formalism (a coordinate invariant way to do quantum mechanics on any manifold M) of a single free particle that lives on a constant curvature manifold…
We introduce group surface codes, which are a natural generalization of the $\mathbb{Z}_2$ surface code, and equivalent to quantum double models of finite groups with specific boundary conditions. We show that group surface codes can be…
The manifold of ground states of a family of quantum Hamiltonians can be endowed with a quantum geometric tensor whose singularities signal quantum phase transitions and give a general way to define quantum phases. In this paper, we show…
Different versions of the notion of a state have been formulated for various so-called quantum structures. In this paper, we investigate the interplay among states on synaptic algebras and on its sub-structures. A synaptic algebra is a…
Despite growing interest in beyond-group symmetries in quantum condensed matter systems, there are relatively few microscopic lattice models explicitly realizing these symmetries, and many phenomena have yet to be studied at the microscopic…
Magic states are fundamental building blocks on the road to fault-tolerant quantum computing. CSS codes play a crucial role in the construction of magic distillation protocols. Previous work has cast quantum computing with magic states for…
The common structure of the space of pure states $P$ of a classical or a quantum mechanical system is that of a Poisson space with a transition probability. This is a topological space equipped with a Poisson structure, as well as with a…
A number of interesting features of the ground states of quantum spin chains are analized with the help of a functional integral representation of the system's equilibrium states. Methods of general applicability are introduced in the…
We show that quantum states with "low stabilizer complexity" can be efficiently distinguished from Haar-random. Specifically, given an $n$-qubit pure state $|\psi\rangle$, we give an efficient algorithm that distinguishes whether…
We start by studying the subgroup structures underlying stabilizer circuits and we use our results to propose a new normal form for stabilizer circuits. This normal form is computed by induction using simple conjugation rules in the…
Geometric and holonomic quantum computation utilizes intrinsic geometric properties of quantum-mechanical state spaces to realize quantum logic gates. Since both geometric phases and quantum holonomies are global quantities depending only…