Table of Contents
Fetching ...

Mixed-register Stabilizer Codes: A Coding-theoretic Perspective

Himanshu Dongre, Lane G. Gunderman

Abstract

Protecting information in systems that have more than two basis states (qudits) not only offers a promising route for reducing the number of individual quantum locations that must be protected, while more accurately reflecting the structure of realistic quantum hardware, but also has some possibly enticing foundational strengths. While work in the past has largely focused on protecting information in quantum devices with locations that are some consistent local structure, this work considers coding-theoretic constraints on devices constructed from locations which may vary in their local structures -- these are mixed-register quantum devices. In this work we provide some general results for mixed-register Pauli operators, then identify some stabilizer encoded information forms that are forbidden. Building on these insights, we construct coding-theoretically optimal mixed-register stabilizer codes from sets of codes defined on coprime local-dimensions. The construction of such codes results in codes with logical subspaces that do not directly correspond to any of the constituent local-dimensions.

Mixed-register Stabilizer Codes: A Coding-theoretic Perspective

Abstract

Protecting information in systems that have more than two basis states (qudits) not only offers a promising route for reducing the number of individual quantum locations that must be protected, while more accurately reflecting the structure of realistic quantum hardware, but also has some possibly enticing foundational strengths. While work in the past has largely focused on protecting information in quantum devices with locations that are some consistent local structure, this work considers coding-theoretic constraints on devices constructed from locations which may vary in their local structures -- these are mixed-register quantum devices. In this work we provide some general results for mixed-register Pauli operators, then identify some stabilizer encoded information forms that are forbidden. Building on these insights, we construct coding-theoretically optimal mixed-register stabilizer codes from sets of codes defined on coprime local-dimensions. The construction of such codes results in codes with logical subspaces that do not directly correspond to any of the constituent local-dimensions.

Paper Structure

This paper contains 6 sections, 10 theorems, 52 equations.

Key Result

Lemma 6

Suppose we have a pair of registers with local-dimensions $Q_1$ and $Q_2$, with $\mathsf{gcd}(Q_1,Q_2)=1$, then any unitary that generates entanglement between these registers must be non-Clifford.

Theorems & Definitions (27)

  • Definition 1
  • Definition 2
  • Definition 3: $\phi$ representation of codes
  • Definition 4
  • Definition 5
  • Lemma 6: Coprime trans-dimensional entangling gates are non-Clifford
  • proof
  • Proposition 7: Lower bound on the number of additional registers to resolve the commutator
  • proof
  • Theorem 8: Mixed-register Pauli subgroup decomposition
  • ...and 17 more