Fracton (Subdimensional Particle)¶
An isolated emergent excitation that cannot be moved alone by the finite-support local operations allowed in its many-body model.
Core Idea¶
A fracton is an emergent excitation that cannot be moved alone by the finite-support local operations of its many-body model. The question is about one isolated defect or charge: an action that shifts it while creating or moving other excitations is not a free single-fracton hop. The prohibition comes from the model's allowed operations, rather than from an impurity pinning an otherwise mobile particle or merely slowing it down.[ref-51918e7b8493][ref-ca33c7cdab58]
Two unlike models illustrate that test. Vijay, Haah and Fu's gapped X-cube lattice model restricts a cube excitation through its Pauli-operator geometry. Pretko's gapless scalar-charge rank-two U(1) theory restricts an isolated charge through its Gauss law and conserved dipole moment. The shared identity is the forbidden lone local translation, not a shared Hamiltonian, gap or universal dipole law.[ref-51918e7b8493][ref-ca33c7cdab58]
Scope of Application¶
In X-cube, a sigma-z link operation creates four cube excitations, and a rectangular membrane separates four at its corners. A single cube excitation cannot be advanced by a finite local action without changing other excitations. Some paired cube excitations can move; distinct straight-line endpoint quasiparticles have line-restricted motion.[^ref-51918e7b8493]
In Pretko's scalar-charge model, the schematic Gauss law ∂i∂j Eij = ρ yields charge and dipole-moment conservation under the paper's boundary conditions. Translating one isolated charge changes dipole moment; an opposite-charge dipolar bound state can move in the untraced model. Pretko also describes a size-growing electrostatic energy for widely separated charges. This is a theoretical gapless gauge example, not an observed material excitation or a claim that every fracton model has that energy behavior.[^ref-ca33c7cdab58]
Clarity¶
To test a proposed fracton, name the host model and the allowed finite-support local operators. Identify one excitation, propose a neighboring position, and ask whether an allowed operator moves it there while leaving all other excitation content unchanged. If such a lone hop is allowed, the bearer fails the fully immobile fracton test. If candidate moves necessarily create, annihilate or relocate other excitations, identify the binding model rule. A mobile pair is not evidence that either isolated member is freely mobile.[ref-51918e7b8493][ref-ca33c7cdab58]
The adjective subdimensional covers a wider family. A lineon may move along a line and a planon along a plane; the isolated fracton here has no allowed local translation. Neither the absence of a particular string logical operator nor a single ground-state degeneracy formula is an all-model membership test.[ref-51918e7b8493][ref-ca33c7cdab58][^ref-94048d1af7f1]
Manages Complexity¶
The lone-hop question reduces complex operator algebra to four checks: bearer, candidate move, allowed operator and resulting whole excitation configuration. In X-cube, this reveals the four-corner pattern left by link or membrane actions. In the scalar-charge theory, it reveals that an isolated displacement would change a conserved dipole moment. The same question organizes two mechanisms without equating them.[ref-51918e7b8493][ref-ca33c7cdab58]
That shortcut does not establish a material realization, universal phase property or electrostatic response. Haah's theorem excludes string logical operators in particular three-dimensional stabilizer codes; it cannot replace the local-hop test for every fracton or tensor-gauge charge.[^ref-94048d1af7f1]
Abstract Reasoning¶
Hold the isolation condition fixed while varying the model. The X-cube bearer is one cube-term violation, and its obstruction comes from the geometry of local Pauli products. Pretko's bearer is one scalar charge, and its obstruction comes from Gauss-law dipole conservation. In both, removing the binding restriction so that one local hop leaves all else unchanged removes the fully immobile differentia. Other constrained or composite motion may remain.[ref-51918e7b8493][ref-ca33c7cdab58]
This reasoning presupposes the live Constraint Prime: the local-operator domain has a binding restriction that excludes a lone transition. The child→Constraint relation is strict composition/presupposes. The rule belongs to the host model; the excitation is neither a kind of Constraint nor a literal container of it.
Knowledge Transfer¶
Carry the diagnostic between lattice and tensor-gauge theories, but keep each source's mechanism and evidence separate. X-cube's membrane corners do not prove Pretko's dipole law, and Pretko's Gauss law does not prove that all stabilizer codes share Haah's no-string property. The structural question can clarify other constrained systems, but an ordinary blocked object does not thereby become a quantum fracton.[ref-51918e7b8493][ref-ca33c7cdab58][^ref-94048d1af7f1]
Example¶
Gapped lattice case. In the X-cube model, a finite-support sigma-z link action creates four cube excitations. A membrane leaves four at its corners, so an isolated corner cube excitation cannot be shifted by an allowed finite local operation without changing additional excitation content. Paired or other endpoint excitations can have restricted motion, but they are different bearers.[^ref-51918e7b8493]
Gapless gauge case. In Pretko's scalar-charge rank-two U(1) model, an isolated scalar charge cannot hop without changing conserved dipole moment or making compensating changes elsewhere. A neutral opposite-charge dipole can move in the untraced model. This case supports the same lone-hop prohibition through a different rule; it does not report an observed material fracton.[^ref-ca33c7cdab58]
Relationships to Other Abstractions¶
Current abstraction Fracton (Subdimensional Particle) Domain-specific
Parents (1) — more general patterns this builds on
-
Fracton (Subdimensional Particle) presupposes Constraint Prime
An isolated fracton presupposes a binding restriction on the local operations that could move it without altering other excitations.
Hierarchy path (1) — routes to 1 parentless root
- Fracton (Subdimensional Particle) → Constraint
Neighborhood in Abstraction Space¶
Fracton (Subdimensional Particle) sits in a sparse region of the domain-specific corpus (91st percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.
Family — Quantum & Statistical Simulation Methods (6 abstractions)
Nearest neighbors
- Eight-vertex model — 0.80
- Hartree–Fock method — 0.80
- Higher spin alternating sign matrix — 0.79
- Reversible reference system propagation algorithm — 0.79
- Generalized probabilistic theory — 0.79
Computed from structural-signature embeddings · 2026-10-08
Not to Be Confused With¶
A lineon or planon retains an allowed direction or plane of movement. A mobile pair or dipolar composite does not make its isolated constituents freely mobile. Incidental disorder pinning and a low hopping rate do not establish a hard local-operator restriction. Haah's code-specific no-string result is historically related but not a universal fracton criterion.[ref-51918e7b8493][ref-ca33c7cdab58][^ref-94048d1af7f1]
The portable pattern is the broad live Constraint relation. The named fracton remains a model-relative quantum excitation; these sources establish no independent nonphysics instances that would justify treating Fracton as a cross-domain Prime.
References¶
[^ref-51918e7b8493]: Sagar Vijay, Jeongwan Haah and Liang Fu, “Fracton Topological Order, Generalized Lattice Gauge Theory and Duality”, Physical Review B 94, 235157 (2016), doi:10.1103/PhysRevB.94.235157. The full original author preprint was inspected at PDF pp.1–2, Introduction, Fig. 1 and Table I; the gapped-model degeneracy discussion is on PDF pp.6–7. The linked title transcribes the original comma punctuation.
[^ref-ca33c7cdab58]: Michael Pretko, “Subdimensional particle structure of higher rank spin liquids”, Physical Review B 95, 115139 (2017), doi:10.1103/PhysRevB.95.115139. The final published PDF was inspected at printed pp.115139-1–2 (abstract and Introduction), pp.115139-4–5 (§III.A, Gauss law and mobility), and pp.115139-7–8 (§IV, electrostatic-energy qualification).
[^ref-94048d1af7f1]: Jeongwan Haah, “Local stabilizer codes in three dimensions without string logical operators”, Physical Review A 83, 042330 (2011), doi:10.1103/PhysRevA.83.042330. The original author preprint abstract and Introduction on PDF p.1 and its bounded §V result were inspected; no-string logic is not used as a universal fracton test.