Generators and Relations for 3-Qubit Clifford+CS Operators

DOI10.4204/EPTCS.384.7arXiv2306.08530MaRDI QIDQ6200527FDOQ6200527

Authors: Xiaoning Bian, Peter Selinger 

Publication date: 22 March 2024

Published in: Electronic Proceedings in Theoretical Computer Science (Search for Journal in Brave)

Abstract: We give a presentation by generators and relations of the group of 3-qubit Clifford+CS operators. The proof roughly consists of two parts: (1) applying the Reidemeister-Schreier theorem recursively to an earlier result of ours; and (2) the simplification of thousands of relations into 17 relations. Both (1) and (2) have been formally verified in the proof assistant Agda. The Reidemeister-Schreier theorem gives a constructive method for computing a presentation of a sub-monoid given a presentation of the super-monoid. To achieve (2), we devise an almost-normal form for Clifford+CS operators. Along the way, we also identify several interesting structures within the Clifford+CS group. Specifically, we identify three different finite subgroups for whose elements we can give unique normal forms. We show that the 3-qubit Clifford+CS group, which is of course infinite, is the amalgamated product of these three finite subgroups. This result is analogous to the fact that the 1-qubit Clifford+T group is an amalgamated product of two finite subgroups.

Full work available at URL: https://arxiv.org/abs/2306.08530

Recommendations

• Generators and relations for \(n\)-qubit Clifford operators
• Representations of the multi-qubit Clifford group
• Clifford 3-qubit states
• A finite presentation of CNOT-dihedral operators

Mathematics Subject Classification ID

Foundations, quantum information and its processing, quantum axioms, and philosophy (81Pxx)

Cites Work

• Generators and relations for \(n\)-qubit Clifford operators

This page was built for publication: Generators and Relations for 3-Qubit Clifford+CS Operators

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6200527)