CoChat
Sign Up
PreprintCited by 0Quantum Computing Algorithms and ArchitectureQuantum Information and CryptographyQuantum Mechanics and Applications

The Dirac Information Carrier for Relativistic Quantum Computation

Open access
Sanders, Barry C·2026·arXiv
DOI 10.48550/arxiv.2608.11647arXiv 2608.11647
Open this paper in CoChat — free accountOpen PDF

Abstract

Quantum computation has traditionally been formulated by postulating abstract information carriers and subsequently identifying physical systems that realize them. We adopt the opposite viewpoint and ask what computational structure is supplied by a fundamental relativistic quantum system itself. Focusing on the simplest nontrivial massive spin carrier, spin-1/2, we show that its relativistic description supplies a native four-dimensional information carrier through the Dirac equation. The resulting Dirac information carrier possesses an intrinsic positive- and negative-energy decomposition that induces a physics-constrained computational structure comprising sector-preserving and sector-coupling quantum logic. Restricting the relativistic computational structure to the positive-energy sector and taking the nonrelativistic regime recovers the familiar Pauli qubit description. We distinguish mathematical unitary transformations from physically admissible gates and show how charge-conjugation structure, charge superselection, and associated reference-frame resources can constrain quantum logic beyond the sector-preserving structure. Finally, under appropriate physical assumptions, we establish the conditions under which this structure supports full single-carrier controllability. Our work establishes the Dirac information carrier as the massive spin-1/2 instance of a broader programme in which computational structures are derived from the relativistic representation carried by the underlying physical system.

AI snapshot

Written from the paper’s full text.

TL;DR

The paper derives a native four-dimensional “Dirac information carrier” from the relativistic description of a massive spin-1/2 system, whose positive/negative-energy decomposition induces sector-preserving and sector-coupling quantum logic. It shows that full single-carrier controllability requires an admissible gate outside the normalizer of the sector-preserving subgroup, while the nonrelativistic positive-energy restriction recovers the Pauli qubit.

Key findings

  • The Dirac equation for a free massive spin-1/2 particle supplies a four-dimensional internal spinor space per momentum fibre, with intrinsic decomposition \(H = H_+ \oplus H_-\) into positive- and negative-energy sectors; this yields a “Dirac ququart” rather than an abstract ququart.
  • The 15 traceless Hermitian endomorphisms \(G = \{\gamma^0, i\gamma^j, i\sigma^{0j}, \sigma^{jk}, \gamma^5, i\gamma^5\gamma^0, \gamma^5\gamma^j\}\) generate \(SU(4)\) after exponentiation, and \(\mathbb{C}\otimes Cl_{1,3}\cong M_4(\mathbb{C})\cong \mathrm{End}(H)\).
  • The sector-preserving subgroup is \(G_{\mathrm{sp}} := S(U(2)\times U(2))\subset SU(4)\), shown to be a maximal connected proper subgroup. The Full Relativistic Controllability Theorem states that for a finite admissible sector-preserving gate set \(S_{\mathrm{sp}}\) with \(\langle S_{\mathrm{sp}}\rangle = G_{\mathrm{sp}}\), adding an admissible gate \(U_c\) gives full single-carrier controllability iff \(U_c\notin N_{SU(4)}(G_{\mathrm{sp}})\), equivalently \(\langle S_{\mathrm{sp}},U_c\rangle = SU(4)\).
  • Restricting to the positive-energy sector and taking the nonrelativistic regime recovers the familiar Pauli qubit description. Charge conjugation is antilinear on c-number Dirac spinors and not itself in \(SU(4)\); after second quantization it is unitary on Fock space, and charge superselection/reference-frame resources can constrain physical admissibility.

Methods

  • Theoretical and group-theoretic construction from the free massive spin-1/2 Dirac equation, working within a fixed momentum fibre and using spectral projectors \(\Pi_\pm(p)=\frac12(I\pm H_D(p)/E_p)\) to define the positive/negative-energy sectors.
  • Lie-algebra analysis of \(su(4)=g_{\mathrm{sp}}\oplus p\), with \(p = \{P(Z)=\begin{pmatrix}0&Z\\-Z^\dagger&0\end{pmatrix}: Z\in M_2(\mathbb{C})\}\), a maximality lemma for \(G_{\mathrm{sp}}\), and proof of the Full Relativistic Controllability Theorem.
  • No empirical data or experiments are used; the paper is a mathematical/physics derivation.

Limitations

  • The paper states that it works within a fixed momentum fibre and suppresses the momentum label; physical wavepackets require fibrewise control or an effective internal transformation, and interactions coupling different momentum fibres require treatment on the full one-particle Hilbert space.
  • The paper states that physical admissibility is realization-dependent: an effective quantum simulator need not inherit superselection restrictions of a fundamental charged field, and sector-coupling gates require operational resources capable of establishing the corresponding coherence. It also notes that scalable universal quantum computation with multiple carriers would additionally require an appropriate admissible entangling interaction.
  • Evident from the text: no explicit physical implementation, gate set, resource cost, or experimental validation is provided; the controllability theorem assumes sector-preserving controllability and a finite admissible gate set.

Model-written summary. Check it against the paper before relying on it.

Integrity signals

Registry

DataCite · 10.48550/arxiv.2608.11647

Cites

21 of 21 references verified0 citation errors · 0 not checkable

Statistics

Nothing to recompute.

Claims the paper makes

0 of 32 cited sources checked · 0 supported · 0 flagged

  • Findingreasoning

    The positive- and negative-energy subspaces are spectral subspaces of the first-quantized Dirac Hamiltonian.

    “The positive-and negative-energy subspaces introduced here are spectral subspaces of the first-quantized Dirac Hamiltonian.”
    Quote in the paperSubstantial claim
  • Findingcitation

    At each momentum, the Dirac Hamiltonian induces the intrinsic decomposition H_p = H_{+,p} ⊕ H_{-,p} into positive- and negative-energy sectors.

    “Its spectral projectors Π ± (p) = 1 2 I ± H D (p) E p(5) define the two-dimensional positive-and negative-energy subspaces H ± = im Π ± (p), yielding the intrinsic decomposition (1) [8].”
    Quote in the paperSubstantial claim0 of 1 sources checked
    • cites [8]

      Couldn’t be matched to a paper in Crossref, so it can’t be checked.

  • Findingreasoning

    Theorem 2: Let S_sp be a finite admissible sector-preserving gate set whose generated closure is G_sp, and let U_c be an additional admissible quantum logic gate. Then S_sp ∪ {U_c} provides full single-carrier controllability of the Dirac information carrier if and only if U_c ∉ N_SU(4)(G_sp).

    “Theorem 2 (Full Relativistic Controllability Theorem). Let S sp be a finite admissible sector-preserving gate set whose generated closure is G sp , and let U c be an additional admissible quantum logic gate.Then S sp ∪ {U c } provides full single-carrier controllability of the Dirac information carrier if and only if U c / ∈ N SU(4) (G sp ) .(24)”
    • Also stated in: § Theorem 2 (Full Relativistic Controllability Theorem). · plain
      “Equivalently, ⟨S sp , U c ⟩ = SU(4) ⇐⇒ U c / ∈ N SU(4) (G sp ) . (25”
    Quote in the paperSubstantial claim
    • The authors state this as an assumption: There exists a finite admissible sector-preserving gate set S_sp whose generated closure is G_sp.
    • The authors state this as an assumption: The additional gate U_c is an admissible quantum logic gate.
  • Findingreasoning

    Lemma 1: The subgroup G_sp is a maximal connected proper subgroup of SU(4).

    “Lemma 1.The subgroup G sp is a maximal connected proper subgroup of SU(4).”
    Quote in the paperSubstantial claim0 of 3 sources checked
    • cites [18]

      Couldn’t be matched to a paper in Crossref, so it can’t be checked.

    • cites [19]

      Couldn’t be matched to a paper in Crossref, so it can’t be checked.

    • cites [20]

      Couldn’t be matched to a paper in Crossref, so it can’t be checked.

  • Findingreasoning

    No connected proper subgroup lies strictly between G_sp and SU(4).

    “Thus no connected proper subgroup lies strictly between G sp and SU(4) [18][19][20].”
    Quote in the paperSubstantial claim0 of 3 sources checked
    • cites [18]

      Couldn’t be matched to a paper in Crossref, so it can’t be checked.

    • cites [19]

      Couldn’t be matched to a paper in Crossref, so it can’t be checked.

    • cites [20]

      Couldn’t be matched to a paper in Crossref, so it can’t be checked.

  • May combine two claims. 13
  • Classified as probably not a substantial claim. 3

  • May combine two claims.

    Findingreasoning

    A sector-coupling gate need not enlarge the closure of a sector-preserving gate set; for example, a gate could exchange H+ and H- while preserving their decomposition as an unordered pair.

    “A sector-coupling gate need not enlarge this closure: for example, a gate could exchange H + and H - while preserving their decomposition as an unordered pair.”
    Quote in the paperSubstantial claim

  • May combine two claims.

    Findingcitation

    The complexified spacetime Clifford algebra intrinsic to the Dirac theory furnishes a natural complete basis for the matrix algebra acting on the Dirac information carrier, whereas the traceless Hermitian subspace generates SU(4) after multiplication by -i and exponentiation.

    “Thus the complexified spacetime Clifford algebra intrinsic to the Dirac theory furnishes a natural complete basis for the matrix algebra acting on the Dirac information carrier, whereas the traceless Hermitian subspace generates SU(4) after multiplication by -i and exponentiation [12].”
    Quote in the paperSubstantial claim0 of 1 sources checked
    • cites [12]

      Couldn’t be matched to a paper in Crossref, so it can’t be checked.

  • May combine two claims.

    Findingreasoning

    Charge conjugation's action on c-number Dirac spinors involves complex conjugation and is therefore antilinear, so it is not itself an element of the complex-linear single-carrier group SU(4).

    “Its action on cnumber Dirac spinors involves complex conjugation and is therefore antilinear, so it is not itself an element of the complex-linear single-carrier group SU(4) considered here.”
    Quote in the paperSubstantial claim

  • May combine two claims.

    Findingreasoning

    The normalizer N_SU(4)(G_sp) is a proper closed subgroup whose identity component is G_sp; its other component exchanges H+ and H-.

    “The normalizer is a proper closed subgroup whose identity component is G sp ; its other component exchanges H + and H -.”
    Quote in the paperSubstantial claim

  • May combine two claims.

    Premisecitation

    Together with I, the fifteen matrices in G form a basis of the full complex endomorphism algebra of the Dirac ququart, consistent with C⊗Cl_{1,3} ≅ M_4(C) ≅ End(H).

    “Together with I, the fifteen matrices in G form a basis of the full complex endomorphism algebra of the Dirac ququart, consistent with”
    Quote in the paperSubstantial claim0 of 1 sources checked
    • cites [12]

      Couldn’t be matched to a paper in Crossref, so it can’t be checked.

  • May combine two claims.

    Interpretationreasoning

    The unitary group SU(4) provides the mathematical symmetry of quantum logic acting on the Dirac ququart, but describes the space of unitary transformations on the computational Hilbert space H rather than the relativistic covariance of the underlying physical system.

    “The unitary group SU(4) therefore provides the mathematical symmetry of quantum logic acting on the Dirac ququart.This symmetry, however, describes the space of unitary transformations on the computational Hilbert space H rather than the relativistic covariance of the underlying physical system.”
    Quote in the paperSubstantial claim

  • May combine two claims.

    Interpretationreasoning

    The required resources and their physical realization are platform dependent; an effective quantum simulator of the Dirac structure need not inherit the superselection restrictions of a fundamental charged field.

    “The required resources and their physical realization are platform dependent; an effective quantum simulator of the Dirac structure, for example, need not inherit the superselection restrictions of a fundamental charged field.”
    Quote in the paperSubstantial claim

  • Probably not a substantial claim: may not pass S4 (based).

    Interpretationnone given

    Assuming sector-preserving controllability, arbitrary single-qubit control is already available independently within the positive- and negative-energy sectors.

    “Assuming sector-preserving controllability, arbitrary singlequbit control is already available independently within the positive-and negative-energy sectors.”
    Quote in the paperNot a substantial claim
    • The authors state this as an assumption: Sector-preserving controllability is available.

  • May combine two claims.

    Interpretationreasoning

    Corollary 3: Full relativistic controllability requires an admissible quantum logic gate outside the normalizer of the sector-preserving subgroup. Thus, preserving the positive- and negative-energy sectors, or merely exchanging them, is insufficient to access the full computational symmetry of the Dirac information carrier.

    “Corollary 3. Full relativistic controllability requires an admissible quantum logic gate outside the normalizer of the sector-preserving subgroup.Thus, preserving the positive-and negative-energy sectors, or merely exchanging them, is insufficient to access the full computational symmetry of the Dirac information carrier.”
    Quote in the paperSubstantial claim

  • May combine two claims.

    Premisecitation

    For a fundamental Dirac field, the positive- and negative-energy subspaces should not be interpreted as physical particle states of positive and negative energy; after second quantization, the negative-frequency branch is associated with positive-energy antiparticle excitations.

    “For a fundamental Dirac field, they should not be interpreted as physical particle states of positive and negative energy: after second quantization, the negative-frequency branch of the Dirac solution space is instead associated with positive-energy antiparticle excitations [9].”
    Quote in the paperSubstantial claim0 of 1 sources checked
    • cites [9]

      Couldn’t be matched to a paper in Crossref, so it can’t be checked.

  • May combine two claims.

    Premisecitation

    The Dirac equation provides the standard first-order covariant realization of spinor structure and necessarily introduces a four-component wavefunction together with positive-and negative-energy solution sectors.

    “The Dirac equation provides the standard first-order covariant realization of this spinor structure and necessarily introduces a four-component wavefunction together with positive-and negative-energy solution sectors [4].”
    Quote in the paperSubstantial claim0 of 1 sources checked
    • cites [4]

      Couldn’t be matched to a paper in Crossref, so it can’t be checked.

  • May combine two claims.

    Premisecitation

    The subgroup G_sp is connected, with Lie algebra g_sp comprising the block-diagonal elements of su(4), whereas the complementary subspace p comprises the off-diagonal elements, so that su(4) = g_sp ⊕ p.

    “The subgroup G sp is connected, with Lie algebra g sp comprising the block-diagonal elements of su(4), whereas the complementary subspace”
    Quote in the paperSubstantial claim0 of 1 sources checked
    • cites [19]

      Couldn’t be matched to a paper in Crossref, so it can’t be checked.

  • Classified as probably not a substantial claim.

    Interpretationcitation

    The appropriate relativistic information carrier should be determined by the mass, spin, and corresponding Poincaré representation of the underlying physical system.

    “More generally, the appropriate relativistic information carrier should be determined by the mass, spin, and corresponding Poincaré representation of the underlying physical system [23].”
    Quote in the paperSubstantial claim0 of 1 sources checked
    • cites [23]

      Couldn’t be matched to a paper in Crossref, so it can’t be checked.

  • May combine two claims.

    Interpretationreasoning

    The intrinsic decomposition into positive- and negative-energy sectors determines a sector-preserving computational structure, but does not by itself restrict quantum logic to that subgroup.

    “The intrinsic decomposition into positive-and negative-energy sectors determines a sectorpreserving computational structure, but does not by itself restrict quantum logic to that subgroup.”
    Quote in the paperSubstantial claim

  • Probably not a substantial claim: may not pass S2 (checkable), S3 (load-bearing). May combine two claims.

    Interpretationcitation

    The Dirac carrier is the massive spin-1/2 instance of a broader programme; higher-spin systems should lead to distinct information carriers and computational structures once their relativistic representation structure and physical constraints are taken into account.

    “The Dirac carrier studied here is the massive spin-1 /2 instance of this broader programme; higher-spin systems should lead to distinct information carriers and computational structures once their relativistic representation structure and physical constraints are taken into account [6].”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites [6]

      Couldn’t be matched to a paper in Crossref, so it can’t be checked.

15 of 15

  • The authors state this as an assumption.

    Sector-preserving controllability is available.

    “Assuming sector-preserving controllability, arbitrary singlequbit control is already available independently within the positive-and negative-energy sectors.”

  • The authors state this as an assumption.

    There exists a finite admissible sector-preserving gate set S_sp whose generated closure is G_sp.

    “Let S sp be a finite admissible sector-preserving gate set satisfying ⟨S sp ⟩ = G sp .(22)”
    “This assumption includes complete control within each sector and control of the relative-sector phase.”

  • The authors state this as an assumption.

    The additional gate U_c is an admissible quantum logic gate.

    “let U c be an additional admissible quantum logic gate.”
3 of 3

Cites

Flagged first, then by citations

2 of the 23 references couldn’t be matched to a known paper.

Research works printed but not linked: 6

  1. M. A. Nielsen and I. L. Chuang, Quantum Computation and Quantum Information, 10th ed. (Cambridge Univer- sity Press, Cambridge, 2010). · DOI · Paper page
  2. J. H. Blaine Lawson and M.-L. Michelsohn, Spin Geom- etry (Princeton University Press, 1989).
  3. G. Gour, B. C. Sanders, and P. S. Turner, Quantum ref- erence frames and superselection rules, J. Math. Phys. 50, 012107 (2009). · DOI
  4. B. C. Hall, Lie Groups, Lie Algebras, and Representa- tions: An Elementary Introduction, 2nd ed., Graduate Texts in Mathematics, Vol. 222 (Springer, Cham, 2015). · DOI
  5. A. W. Knapp, Lie Groups Beyond an Introduction, 2nd ed., Progress in Mathematics, Vol. 140 (Birkhäuser, Boston, 2002).
  6. D. A. Lidar and T. A. Brun, eds., Quantum Error Cor- rection (Cambridge University Press, 2013). · DOI

Authors
Sanders, B. C.
Affiliations
University of Calgary (CA)
Corresponding author
Sanders, Barry C
ORCID
Sanders, Barry C
Venue
arXiv
Publisher
arXiv
Published
2026
ISSN
2331-8422 (ISSN-L)
DOI
10.48550/arxiv.2608.11647
arXiv
2608.11647
OpenAlex
W7202380129
Semantic Scholar
d1800aacb1eda912881e218f75d32589198e8bdb
Cited by
0
References
23
Type
posted content
Open access
Licence
Locations
  • arXiv (Cornell University) (submittedVersion, cc-by)
  • arXiv (Cornell University) (cc-by)
Funders
Natural Sciences and Engineering Research Council of Canada
Topics
  • Physical Sciences › Computer Science › Artificial Intelligence › Quantum Computing Algorithms and Architecture
  • Physical Sciences › Computer Science › Artificial Intelligence › Quantum Information and Cryptography
  • Physical Sciences › Physics and Astronomy › Atomic and Molecular Physics, and Optics › Quantum Mechanics and Applications
Keywords
Dirac equation, spin-1/2, negative energy states, charge conjugation, superselection, reference frames, quantum logic

About these checks

Registry, retraction, Cites and statistics results are computed, not judged, with one exception: a printed reference that no index lists is read once by a model before it counts as a citation error. Claims are extracted by a model and kept only when their quote appears verbatim in the text; each cited source is then checked, with a model’s help, for whether it says what the claim relies on. Those verdicts can be wrong — read the claim’s quote and the cited source before relying on one.

Claims read by deepseek-v4.1-flash under definition version 3 (extract-v3) on 2026-10-23.

Classified by jev-1.13-20260917 (gold-guideline-v0.2) on 2026-10-23.

Statistics and arithmetic are recomputed, not judged.

Confidence bands are shown only for fields calibrated on our annotated test set. None is calibrated yet, so no band is shown.

What counts as a claim ›How we measure confidence ›How we check this ›

Are you an author, or do you see a problem with this page? Request a review