The qudit Pauli group: non-commuting pairs, non-commuting sets, and structure theorems
arXiv:2302.07966 · doi:10.22331/q-2024-04-04-1307
Abstract
Qudits with local dimension can have unique structure and uses that qubits () cannot. Qudit Pauli operators provide a very useful basis of the space of qudit states and operators. We study the structure of the qudit Pauli group for any, including composite, in several ways. To cover composite values of , we work with modules over commutative rings, which generalize the notion of vector spaces over fields. For any specified set of commutation relations, we construct a set of qudit Paulis satisfying those relations. We also study the maximum size of sets of Paulis that mutually non-commute and sets that non-commute in pairs. Finally, we give methods to find near minimal generating sets of Pauli subgroups, calculate the sizes of Pauli subgroups, and find bases of logical operators for qudit stabilizer codes. Useful tools in this study are normal forms from linear algebra over commutative rings, including the Smith normal form, alternating Smith normal form, and Howell normal form of matrices. Possible applications of this work include the construction and analysis of qudit stabilizer codes, entanglement assisted codes, parafermion codes, and fermionic Hamiltonian simulation.
arXiv comment35 pages, 1 figure
References in corpus (41)
- Unpaired Majorana fermions in quantum wires
- Improved Simulation of Stabilizer Circuits
- Fermionic quantum computation
- The Bravyi-Kitaev transformation for quantum computation of electronic structure
- Correcting Quantum Errors with Entanglement
- Molecular Spin Qudits for Quantum Algorithms
- On optimal quantum codes
- Mapping local Hamiltonians of fermions to local Hamiltonians of spins
- Optimal Entanglement Formulas for Entanglement-Assisted Quantum Coding
- Tapering off qubits to simulate fermionic Hamiltonians
- Magic state distillation in all prime dimensions using quantum Reed-Muller codes
- High-Fidelity Qutrit Entangling Gates for Superconducting Circuits
- Universal simulation of Hamiltonian dynamics for qudits
- Reducing qubit requirements for quantum simulation using molecular point group symmetries
- Factoring with Qutrits: Shor's Algorithm on Ternary and Metaplectic Quantum Architectures
- Lowering qubit requirements for quantum simulations of fermionic systems
- Hadamard-free circuits expose the structure of the Clifford group
- Operator Locality in Quantum Simulation of Fermionic Models
- Nearly Optimal Measurement Scheduling for Partial Tomography of Quantum States
- Maximizing the Hilbert space for a finite number of distinguishable quantum states
- How to efficiently select an arbitrary Clifford group element
- Photonic qubits, qutrits and ququads accurately prepared and delivered on demand
- Standard Form of Qudit Stabilizer Groups
- Universal qudit gate synthesis for transmons
- Optimal fermion-to-qubit mapping via ternary trees with applications to reduced quantum states learning
- Towards low overhead magic state distillation
- Experimental Realization of Two Qutrits Gate with Tunable Coupling in Superconducting Circuits
- Pauli stabilizer models of twisted quantum doubles
- Thirty-six entangled officers of Euler: Quantum solution to a classically impossible problem
- Pauli topological subsystem codes from Abelian anyon theories
- Proof-of-principle experimental realization of a qubit-like qudit-based quantum key distribution scheme
- On the logical operators of quantum codes
- Pauli graphs when the Hilbert space dimension contains a square: why the Dedekind psi function ?
- Projective Ring Line of a Specific Qudit
- Quantum Error Correction for Complex and Majorana Fermion Qubits
- Qudits of composite dimension, mutually unbiased bases and projective ring geometry
- Minimal-memory, non-catastrophic, polynomial-depth quantum convolutional encoders
- Parafermion stabilizer codes
- Stabilizer Codes with Exotic Local-dimensions
- Computing in quotients of rings of integers
- Transforming Collections of Pauli Operators into Equivalent Collections of Pauli Operators over Minimal Registers