Related papers: Generators and relations for the group $U_4(\mathb…

We present two deterministic algorithms to approximate single-qutrit gates. These algorithms utilize the Clifford + $\mathbf{R}$ group to find the best approximation of diagonal rotations. The first algorithm exhaustively searches over the…

The Clifford+$T$ quantum computing gate library for single qubit gates can create all unitary matrices that are generated by the group $\langle H, T\rangle$. The matrix $T$ can be considered the fourth root of Pauli $Z$, since $T^4 = Z$ or…

Matchgate unitaries are ubiquitous in quantum computation due to their relation to non-interacting fermions and because they can be used to benchmark quantum computers. Implementing such unitaries on fault-tolerant devices requires first…

The positive part $U^+_q$ of $U_q({\widehat{\mathfrak{sl}}}_2)$ has a presentation by two generators $X,Y$ that satisfy the $q$-Serre relations. The $q$-Onsager algebra $\mathcal O_q$ has a presentation by two generators $A,B$ that satisfy…

Over a field of characteristic 0, the algebra of invariants of several $n\times n$ matrices under simultaneous conjugation by $GL_n$ is generated by traces of products of generic matrices. In this paper we have found, in terms of…

We find an explicit presentation of relative linear Steinberg groups $\mathrm{St}(n, R, I)$ for any ring $R$ and $n \geq 4$ by generators and relations as abstract groups. We also prove a similar result for relative simply laced Steinberg…

We describe generators and defining relations for the commutator subgroup of topological full groups of minimal subshifts. We show that the word problem in a topological full group is solvable if and only if the language of the underlying…

We define a normal form for Clifford circuits, and we prove that every Clifford operator has a unique normal form. Moreover, we present a rewrite system by which any Clifford circuit can be reduced to normal form. This yields a presentation…

This paper presents a deep reinforcement learning approach for synthesizing unitaries into quantum circuits. Unitary synthesis aims to identify a quantum circuit that represents a given unitary while minimizing circuit depth, total gate…

In this paper we study single qutrit circuits consisting of words over the Clifford$+D$ cyclotomic gate set, where $D=\text{diag}(\pm\xi^{a},\pm\xi^{b},\pm\xi^{c})$, $\xi$ is a primitive $9$-th root of unity and $a,b,c$ are integers. We…

We construct the positive principal series representations for $U_q(g_R)$ where $g$ is of type $B_n$, $C_n$, $F_4$ or $G_2$, parametrized by $R^r$ where $r$ is the rank of $g$. We show that under the representations, the generators of the…

Exact synthesis is a tool used in algorithms for approximating an arbitrary qubit unitary with a sequence of quantum gates from some finite set. These approximation algorithms find asymptotically optimal approximations in probabilistic…

Utilizing the multiplicative formula of universal R matrix, the correspondence between the L operators and Drinfeld's generators is explicitly calculated for quantum group U_q(g) with g=A_l^{(1)}, B_l^{(1)}, C_l^{(1)}, D_l^{(1)}.

We obtain a complete and minimal set of 170 generators for the algebra of $SL(2,\C)^{\times 4}$-covariants of a binary quadrilinear form. Interpreted in terms of a four qubit system, this describes in particular the algebraic varieties…

We present an exact synthesis algorithm for qutrit unitaries in $\mathcal{U}_{3^n}(\mathbb{Z}[1/3,e^{2\pi i/3}])$ over the Clifford$+T$ gate set with at most one ancilla. This extends the already known result of qutrit metaplectic gates…

We generalize an algorithm established in earlier work \cite{algebrapaper} to compute finitely many generators for a subgroup of finite index of an arithmetic group acting properly discontinuously on hyperbolic space of dimension $2$ and…

The Clifford+T gate set is a topological generating set for PU(2), which has been well-studied from the perspective of quantum computation on a single qubit. The discovery that it generates a full S-arithmetic subgroup of PU(2) has led to a…

Let $F=\mathbb{F}_q(T)$ be the field of rational functions with $\mathbb{F}_q$-coefficients, and $A=\mathbb{F}_q[T]$ be the subring of polynomials. Let $D$ be a division quaternion algebra over $F$ which is split at $1/T$. Given an…

Our goal in this paper is to construct optimal topological generators for compact unitary Lie groups, extending the work of a letter of Sarnak and arXiv:1704.02106 on golden and super-golden gates to higher dimensions. To do so we consider…

Consider a compact connected Lie group $G$ and the corresponding Lie algebra $\cal L$. Let $\{X_1,...,X_m\}$ be a set of generators for the Lie algebra $\cal L$. We prove that $G$ is uniformly finitely generated by $\{X_1,...,X_m\}$. This…