Fracton (Subdimensional Particle)¶

An isolated emergent excitation that cannot be moved alone by the finite-support local operations allowed in its many-body model.

Version: v1 · 2026-10-07 · History
Domain-specific #: 13894
Domain group: Natural Sciences
Origin domain: Physics
Subdomain: Quantum Many Body Theory → Physics

Core Idea¶

A fracton is an emergent pointlike excitation that cannot be translated on its own by the finite-support local operations allowed in a specified many-body model. The test concerns one isolated excitation: an operation that seems to move it but also creates or moves other excitations does not count as a free single-fracton hop. The restriction is a property of the model's excitation and operator structure, not merely a very slow particle or one pinned by an impurity.^[1]^[2]

The name joins two unlike theoretical settings. In the gapped X-cube lattice model of Vijay, Haah and Fu, local Pauli actions create cube excitations in groups and membrane operators separate them at corners. In Pretko's gapless scalar-charge rank-two U(1) theory, the Gauss law yields charge and dipole-moment conservation, so moving a single charge would violate the dipole restriction unless other charge content changes. These are distinct explanations of the same isolated-local-mobility test; neither explanation is a universal fracton law.^[1]^[2]

Structural Signature¶

Host model and admissible operations. Specify the many-body model and its finite-support local operators before testing mobility. Otherwise a missing hop might reflect an omitted term, an external pinning potential or an incomplete observation rather than a protected excitation type.^[1]^[2]
Isolated excitation. Identify one localized defect or charge and hold the other excitation content fixed in the proposed move. A mobile pair or bound state is a different bearer from either isolated member.^[1]^[2]
Forbidden lone translation. No admissible finite local operation moves that one excitation to a neighboring position without creating, annihilating or relocating additional excitations. This is the defining differentia; allowing such a hop removes the fully immobile fracton identity.^[1]^[2]
Binding, model-specific restriction. Name the rule that excludes the hop and its origin. X-cube uses the pattern of excitations under local Pauli and membrane operators. Pretko's scalar-charge model uses its Gauss law and conserved dipole moment. The shared role is a hard restriction on allowed moves, not a shared microscopic mechanism.^[1]^[2]
Contrast with allowed operations. Show what local actions actually can do. X-cube admits four-corner excitation patterns and certain paired motion; Pretko's untraced scalar-charge model admits mobile opposite-charge dipolar bound states. Neither particular composite is required in every fracton model.^[1]^[2]

What It Is Not¶

A lineon can move along a line, and a planon along a plane; both are subdimensional relatives but do not pass the stricter fully immobile isolated-fracton test. Vijay, Haah and Fu contrast X-cube cube excitations with distinct straight-Wilson-line endpoint quasiparticles whose motion is line restricted.^[1] Nor does ordinary disorder pinning make a mobile excitation a fracton: the restriction must follow from the allowed local operations and excitation sector.

Fracton is not synonymous with every instance of fracton topological order or with one string-free code theorem. Haah proved an absence of string logical operators in particular three-dimensional stabilizer codes. That result matters to the history of restricted mobility, but its code-specific statement is not a membership test for every fracton or every tensor-gauge charge.^[3] A gap, one ground-state-degeneracy formula, a universal duality, a universal dipole law and a mobile composite are likewise not required across the two mapped settings.^[1]^[2]

Scope of Application¶

In a discrete gapped lattice model, inspect the X-cube Hamiltonian and its Pauli operators. A single sigma-z action on a link creates four cube excitations; a rectangular membrane produces cube excitations at four corners. A lone corner cube excitation cannot be advanced without changing other excitation content. This supplies a constructive operator test, not an experimental detection of a material particle.^[1]

In a gapless tensor-gauge model, inspect Pretko's 3+1-dimensional scalar-charge symmetric-tensor U(1) theory. Its Gauss law, written schematically as ∂i∂j Eij = ρ, entails conserved total charge and dipole moment under the paper's boundary conditions. Translating one isolated charge changes the latter, whereas a neutral dipolar bound state can move in the untraced model. Pretko separately describes a size-growing electrostatic energy for widely separated charges; that qualification does not turn the gapless gauge setting into the gapped X-cube model or make electrostatic behavior a universal fracton criterion.^[2]

Clarity¶

Ask a concrete question: Can a finite-support local operator take this isolated excitation from position A to adjacent position B while leaving all other excitations unchanged? If yes, the bearer is not a fully immobile fracton on the stated test. If the only apparent move drags, creates or rearranges other excitations, the single-excitation prohibition remains. State the model and operator class so “cannot move” is not mistaken for a claim about every imaginable nonlocal operation or every dynamical time scale.^[1]^[2]

The noun also needs its qualifier. Pretko calls the fully immobile charges fractons and uses subdimensional particles more broadly for particles with lower-dimensional mobility. The article title therefore names a member of the subdimensional family, not all of it.^[2]

Manages Complexity¶

The local-hop diagnostic compresses many model details into one comparison while keeping the mechanism legible. In X-cube, it directs attention to which excitation pattern a link or membrane operator creates. In the scalar-charge theory, it directs attention to which conserved quantity an isolated displacement would change. The result is a common classification question that does not require pretending the two theories share the same Hamiltonian, spectrum or source of conservation.^[1]^[2]

This compression has a limit: it cannot establish a particular material realization, interaction energy, phase classification or degeneracy scaling. Those claims need their own model-specific evidence. Haah's no-string result is an additional code property and cannot silently substitute for the local-hop test in another model.^[3]

Abstract Reasoning¶

Start with the host model and list its elementary finite-support operations. Mark the excitation whose mobility is in question. Apply or compose candidate local actions and record the entire resulting excitation configuration, rather than tracking only the chosen defect. If every attempted lone translation necessarily alters other excitation content, identify the binding rule and its origin. Then test a nearby mobile defect or composite to show that the rule is selective, not a blanket absence of dynamics.^[1]^[2]

For X-cube, the comparison is cube-corner excitations against straight-line endpoint excitations. For Pretko's scalar-charge theory, it is an isolated charge against a neutral dipolar bound state. The counterfactual is the same: if a single isolated local hop becomes allowed without additional defects, the named fracton differentia collapses, even though the model may still have interesting restricted or composite motion.^[1]^[2]

Knowledge Transfer¶

The transferable method is to type the bearer, the allowed local operation set, the candidate state transition, and the binding admissibility rule before calling something immobile. That reasoning can clarify other constrained systems, but it does not license calling an ordinary blocked agent or slowly diffusing object a fracton. The named identity stays in quantum many-body excitation theory; broader restrictions belong under the live Constraint Prime.

Within fracton research, the comparison encourages a disciplined question when moving between lattice codes and tensor gauge theories: which native operator or conservation rule forbids one isolated excitation's translation? X-cube membrane corners do not prove Pretko's dipole law; Pretko's Gauss law does not prove every lattice code has the same mobile composite or no-string property.^[1]^[2]^[3]

Examples¶

X-cube cube excitation¶

Carrier: Vijay, Haah and Fu's three-dimensional X-cube model. Bearer: one violated cube term, denoted a cube excitation in the original paper. Allowed operations: finite-support link Pauli operators and their products. Observed restriction: a sigma-z link action creates four cube excitations; a rectangular membrane leaves four at its corners, and a lone cube excitation cannot be locally moved without extra excitations. Contrast: certain paired cube excitations can move by sequential local actions, while different straight-line endpoint quasiparticles have line-only mobility. These are statements about the cited gapped lattice model.^[1]

Scalar-charge tensor-gauge excitation¶

Carrier: Pretko's 3+1-dimensional scalar-charge rank-two U(1) spin liquid. Bearer: one isolated scalar charge. Allowed operations: local changes compatible with the scalar-charge Gauss law. Observed restriction: an isolated hop changes dipole moment and cannot be performed without compensating charge changes. Contrast: an opposite-charge dipolar bound state can hop in the untraced model; local electric changes make quadrupolar patterns. This is a theoretical gapless model with a separate electrostatic-energy qualification, not a report of observed material excitations.^[2]

Structural Tensions¶

The accepted source map identifies no unavoidable universal tension. Two distinctions still guide the evidence. First, isolated immobility and composite mobility coexist in these examples without making a specific mobile composite constitutive. Second, model-level restriction and physical observation are different warrants: operator algebra or a conservation proof establishes a theoretical excitation property, while a material claim would require further evidence. These are scope and evidence checks rather than a newly asserted trade-off across all fracton models.^[1]^[2]

Structural–Framed Character¶

The classification is structural but domain-specific. Vocabulary travel: the pattern “bearer, candidate move, binding rule, collapse if the move is allowed” can be restated outside physics, but the fracton name cannot be transferred merely on that resemblance. Evaluative weight: immobility is a descriptive recognition condition, not praise for a phase. Institutional origin: theoretical communities named and formalized the excitation, but the allowed operations are not created solely by naming. Human-practice dependence: selecting a Hamiltonian and operator class is a modeling act; within that model the prohibition is mathematically testable. Import versus recognition: the X-cube membrane mechanism must not be imported into Pretko's scalar-charge theory, or vice versa.^[1]^[2]

The portable movement restriction is assigned to live Constraint, which covers binding restrictions in many domains. No independent cross-domain instances of the named quantum excitation are established by these sources. Its character: a source-grounded specialist excitation whose identity is structural within its native model class, with a broader constraint pattern represented separately.

Structural Core vs. Domain Accent¶

Core. A localized emergent excitation is assessed relative to a host many-body model and its finite-support local operators. The impossibility of moving that single excitation alone, while retaining the rest of the excitation configuration, is the stable membership test. The reason must be a binding rule, not ordinary slowness or incidental pinning.^[1]^[2]

Accent. X-cube has link Pauli and membrane-corner geometry, line-restricted neighboring quasiparticles, and a gapped lattice setting. Pretko's scalar-charge model has a tensor Gauss law, dipole conservation, gapless gauge modes, mobile dipolar composites and a model-specific electrostatic-energy qualification. Haah's no-string theorem addresses particular codes. Each accent may explain or contextualize one example without becoming the definition of every fracton.^[1]^[2]^[3]

The portable skeleton is the live Constraint relation, not a new Prime named Fracton. Fracton's quantum excitation bearer and model-relative local algebra have no independently sourced nonphysics replacements here; stripping them leaves a general restriction, not the specialist identity. The broader question whether an analogous restriction recurs in a genuinely different substrate is a future-Prime question, not a cross-domain fact supplied by these papers.

This entry presupposes Constraint.

A fracton, in every case, depends on a Constraint. The moves in question are finite-support local moves of one isolated excitation; the hard condition forbids a lone move while other excitation content is preserved. The X-cube model's Hamiltonian/operator structure and Pretko's Gauss-law/dipole structure supply different origins for the binding condition. Remove it and the excitation becomes locally mobile, so it is no longer a fracton. The condition belongs to the host model and is presupposed by the named excitation; it is not literally inside each particle, and the particle is not a kind of Constraint.^[1]^[2]

Topological order, a point-particle idealization, fractionalization and Movement are not broader abstractions that every fracton is a kind of, part of or depends on. The X-cube model is gapped, but Pretko's model is gapless; other topical neighbors do not match this exact test across every such excitation.^[1]^[2]

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 (91^st 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¶

Lineons or planons: subdimensional excitations that have a permitted direction or plane of motion, rather than fully forbidden isolated local translation.^[1]^[2]
Mobile composites: pairs or dipoles may move in the two mapped models without making either isolated member mobile; their details are not universal.^[1]^[2]
Impurity pinning or small hopping rate: contingent dynamics do not establish the operator-algebra restriction on the isolated excitation.
No-string stabilizer codes: Haah's result is code-specific; absence of string logical operators alone does not classify every tensor-gauge charge.^[3]
Generic Constraint: a binding admissibility rule is necessary to the excitation's mobility, but the broad Prime does not itself specify a quantum defect.^[1]^[2]

References¶

[1] 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. registry ↩a ↩b ↩c ↩d ↩e ↩f ↩g ↩h ↩i ↩j ↩k ↩l ↩m ↩n ↩o ↩p ↩q ↩r ↩s ↩t ↩u ↩v ↩w ↩x ↩y

[2] 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). registry ↩a ↩b ↩c ↩d ↩e ↩f ↩g ↩h ↩i ↩j ↩k ↩l ↩m ↩n ↩o ↩p ↩q ↩r ↩s ↩t ↩u ↩v ↩w ↩x ↩y

[3] 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. registry ↩a ↩b ↩c ↩d ↩e