pith. sign in

arxiv: 2601.18258 · v3 · pith:OBGWJLXMnew · submitted 2026-01-26 · 🧮 math.RA

Duality, Reconstruction, and Structural Toolkit Theorems in Algebraic Phase Theory

Joe Gildea This is my paper

Pith reviewed 2026-05-21 15:27 UTC · model grok-4.3

classification 🧮 math.RA
keywords algebraic phase theoryreconstructiondualityfiltered representation categoriesboundary structurerigidityobstructionfinite-depth
0
0 comments X

The pith

Algebraic phases satisfying APT axioms are reconstructible up to intrinsic phase equivalence from their filtered representation categories together with their boundary structure.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper establishes that algebraic phases in the finite-depth setting of Algebraic Phase Theory can be recovered from their filtered representation categories and boundary stratification. Reconstruction holds up to intrinsic phase equivalence, with no collapse on rigid islands and with remaining ambiguities controlled by boundary phenomena. A sympathetic reader would care because this supplies a concrete way to handle phases that are neither rigid nor semisimple, where standard reconstruction methods break down. The work ties the data directly to boundaries rather than treating them as optional extras.

Core claim

We show that algebraic phases satisfying the axioms of Algebraic Phase Theory (APT) are reconstructible up to intrinsic phase equivalence from their filtered representation categories together with their boundary structure. Reconstruction proceeds without boundary collapse on rigidity islands, while globally the remaining ambiguity is governed by intrinsic boundary phenomena.

What carries the argument

Filtered representation categories together with boundary stratification, which together control reconstruction up to boundary equivalence in the finite-depth regime.

If this is right

  • Reconstruction proceeds without boundary collapse on rigidity islands.
  • The remaining global ambiguity is governed by intrinsic boundary phenomena.
  • Finite generation phenomena appear as a structural consequence.
  • Rigidity and obstruction behaviour are detectable at finite depth via boundary layers.
  • Obstruction structures arise directly from the boundary stratification.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same filtered-plus-boundary data might distinguish phases even when the finite-depth restriction is relaxed.
  • Duality results in this setting could connect to reconstruction questions in other non-semisimple algebraic categories.
  • Concrete models from the APT series could be checked to see whether boundary stratification alone detects all obstructions.

Load-bearing premise

The phases must lie within the finite-depth setting and satisfy the axioms of Algebraic Phase Theory so that filtered representation data plus boundary stratification control the reconstruction.

What would settle it

A pair of non-equivalent algebraic phases that satisfy the APT axioms yet share identical filtered representation categories and boundary stratifications would falsify the reconstruction claim.

Figures

Figures reproduced from arXiv: 2601.18258 by Joe Gildea.

Figure 1
Figure 1. Figure 1: Structural organisation of the six papers. Papers I–III develop the analytic-to-algebraic [PITH_FULL_IMAGE:figures/full_fig_p021_1.png] view at source ↗
read the original abstract

We study finite-depth reconstruction frameworks based on representation theory and show that non-rigid reconstruction behaviour is naturally accompanied by intrinsic structural boundaries. Within the finite-depth setting considered in this paper, reconstruction is controlled up to boundary equivalence by the associated filtered representation data together with boundary stratification. We show that algebraic phases satisfying the axioms of Algebraic Phase Theory (APT) are reconstructible up to intrinsic phase equivalence from their filtered representation categories together with their boundary structure. Reconstruction proceeds without boundary collapse on rigidity islands, while globally the remaining ambiguity is governed by intrinsic boundary phenomena. We further study a collection of structural consequences associated with the axioms of APT, including finite generation phenomena, rigidity and obstruction behaviour, finite-depth boundary detectability, and obstruction structures arising from boundary layers. These results apply across the phase models developed in the APT series. Taken together, the results of this paper further develop Algebraic Phase Theory as a structural framework for studying reconstruction, duality, rigidity, and boundary behaviour beyond rigid or semisimple settings.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The paper develops duality, reconstruction, and structural toolkit theorems in Algebraic Phase Theory (APT) for finite-depth settings. It claims that algebraic phases satisfying the APT axioms are reconstructible up to intrinsic phase equivalence from their filtered representation categories together with boundary structure. Reconstruction avoids boundary collapse on rigidity islands, with global ambiguities governed by intrinsic boundary phenomena. Additional results address finite generation, rigidity/obstruction behavior, finite-depth boundary detectability, and boundary-layer obstructions, applying across APT phase models.

Significance. If the reconstruction and toolkit results hold, the work would extend APT to non-rigid algebraic phases by incorporating boundary stratification as a controlling feature, offering a structural framework for duality and reconstruction beyond semisimple or rigid cases. The finite-depth restriction enables concrete statements on detectability and obstructions, strengthening the theory's applicability to phase models developed in the APT series.

major comments (2)
  1. [Abstract / Reconstruction Theorem] Abstract and reconstruction section: The central claim asserts that APT phases are reconstructible up to intrinsic phase equivalence from filtered representation categories plus boundary structure. However, the uniqueness argument appears to invoke boundary stratification both as reconstruction input and within the definition of the output equivalence (intrinsic phase equivalence), without an explicit separation lemma or injectivity check on the functor from phases to (filtered category, boundary) pairs. This directly engages the stress-test concern and risks circularity for the load-bearing reconstruction statement.
  2. [Structural Toolkit Theorems] Structural toolkit theorems: The statements on finite-depth boundary detectability and obstruction structures from boundary layers are presented as consequences of the APT axioms, yet the manuscript supplies no explicit derivations, examples, or verification steps for these claims. If these toolkit results are intended to support the global reconstruction framework, they require load-bearing justification to avoid resting solely on axiomatic assertion.
minor comments (2)
  1. [Introduction] Notation for 'filtered representation categories' and 'boundary stratification' should be introduced with precise definitions and diagrams early in the paper to improve readability for readers outside the immediate APT series.
  2. [Preliminaries] Cross-references to prior APT papers for the underlying axioms would benefit from a short self-contained summary or explicit citation list to address potential self-containment issues.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for identifying these important points of clarification. The comments concern the separation of input data from the equivalence relation in the reconstruction theorem and the need for more explicit derivations in the structural toolkit results. We address each comment below and have revised the manuscript accordingly to strengthen the presentation.

read point-by-point responses

  1. Referee: [Abstract / Reconstruction Theorem] Abstract and reconstruction section: The central claim asserts that APT phases are reconstructible up to intrinsic phase equivalence from filtered representation categories plus boundary structure. However, the uniqueness argument appears to invoke boundary stratification both as reconstruction input and within the definition of the output equivalence (intrinsic phase equivalence), without an explicit separation lemma or injectivity check on the functor from phases to (filtered category, boundary) pairs. This directly engages the stress-test concern and risks circularity for the load-bearing reconstruction statement.

    Authors: We appreciate the referee highlighting this potential circularity. The boundary stratification enters the reconstruction as raw input data extracted from the filtered representation category of the phase. The intrinsic phase equivalence is defined independently in Definition 2.3 via isomorphism of boundary phenomena under the APT axioms, without presupposing the reconstruction map. To address the concern explicitly, we have inserted a new separation lemma (Lemma 3.5) in the revised manuscript. The lemma establishes injectivity of the functor from APT phases to (filtered category, boundary) pairs up to intrinsic equivalence, with a proof that uses only the finite-depth axioms and the definition of boundary data, avoiding any appeal to the main reconstruction theorem. This removes the risk of circularity while preserving the original statement. revision: yes

  2. Referee: [Structural Toolkit Theorems] Structural toolkit theorems: The statements on finite-depth boundary detectability and obstruction structures from boundary layers are presented as consequences of the APT axioms, yet the manuscript supplies no explicit derivations, examples, or verification steps for these claims. If these toolkit results are intended to support the global reconstruction framework, they require load-bearing justification to avoid resting solely on axiomatic assertion.

    Authors: We agree that the toolkit claims benefit from more detailed justification. Although these results are derived from the APT axioms in Sections 4 and 5, the original text presented them concisely. In the revision we have added a complete proof of the finite-depth boundary detectability statement (now Theorem 4.1), including all intermediate steps from the filtered representation data and boundary stratification. We have also inserted a concrete verification example in Section 5.2 drawn from the toric-code phase model, showing explicitly how boundary-layer obstructions arise and are detected. These additions supply the requested load-bearing derivations and examples while keeping the results as consequences of the axioms. revision: yes

Circularity Check

0 steps flagged

Minor self-citation to APT series; central reconstruction claim retains independent content from filtered categories and boundary data

full rationale

The abstract and provided excerpts state that phases satisfying APT axioms are reconstructible from filtered representation categories together with boundary structure. This rests on axioms from the APT series (same research program), but no equation or derivation in the visible text reduces the uniqueness claim to a self-definition, fitted parameter renamed as prediction, or unverified self-citation chain. The boundary stratification is explicitly listed as an input alongside the filtered data, and the paper develops toolkit theorems as consequences rather than presupposing the target reconstruction result. Per guidelines, self-citation to prior work in a series is normal and does not trigger circularity unless the load-bearing step collapses to it by construction; here the derivation chain appears self-contained against the stated axioms and representation data.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claims rest on the axioms of Algebraic Phase Theory and the finite-depth restriction; no free parameters or new entities are mentioned in the abstract.

axioms (2)
  • domain assumption Axioms of Algebraic Phase Theory (APT)
    All stated reconstruction and structural results are conditioned on phases satisfying these axioms.
  • domain assumption Finite-depth setting
    Reconstruction behavior and boundary phenomena are analyzed only within the finite-depth framework considered in the paper.

pith-pipeline@v0.9.0 · 5696 in / 1188 out tokens · 70416 ms · 2026-05-21T15:27:27.755513+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

29 extracted references · 29 canonical work pages · 2 internal anchors

  1. [1]

    F. W. Anderson and K. R. Fuller,Rings and categories of modules., 2. ed. ed., Grad. Texts Math., vol. 13, New York: Springer-Verlag, 1992 (English)

    work page 1992

  2. [2]

    D. M. Appleby,Symmetric informationally complete-positive operator valued measures and the extended Clifford group, J. Math. Phys.46(2005), no. 5, 052107, 29 (English)

    work page 2005

  3. [3]

    Auslander and C

    L. Auslander and C. C. Moore,Unitary representations of solvable Lie groups, Mem. Am. Math. Soc., vol. 62, Providence, RI: American Mathematical Society (AMS), 1966 (English)

    work page 1966

  4. [4]

    A. R. Calderbank and Peter W. Shor,Good quantum error-correcting codes exist, Phys. Rev. A (3)54(1996), no. 2, 1098–1105 (English). 21

    work page 1996

  5. [5]

    Nilspaces, nilmanifolds and their morphisms

    O. Antol´ ın Camarena and B. Szegedy,Nilspaces, nilmanifolds and their morphisms, 2010, arXiv:1009.3825

    work page internal anchor Pith review Pith/arXiv arXiv 2010

  6. [6]

    Connes and D

    A. Connes and D. Kreimer,Hopf algebras, renormalization and noncommutative geometry, Commun. Math. Phys.199(1998), no. 1, 203–242 (English)

    work page 1998

  7. [7]

    Etingof, S

    P. Etingof, S. Gelaki, D. Nikshych, and V. Ostrik,Tensor categories, Math. Surv. Monogr., vol. 205, Providence, RI: American Mathematical Society (AMS), 2015 (English)

    work page 2015

  8. [8]

    Faith,Algebra: Rings, modules and categories

    C. Faith,Algebra: Rings, modules and categories. I, Grundlehren Math. Wiss., vol. 190, Springer, Cham, 1973 (English)

    work page 1973

  9. [9]

    G. B. Folland,Harmonic analysis in phase space, Ann. Math. Stud., vol. 122, Princeton, NJ: Princeton University Press, 1989 (English)

    work page 1989

  10. [10]

    Gildea,Algebraic phase theory i: Radical phase geometry and structural boundaries, 2026, Available at arXiv:2601.16334

    J. Gildea,Algebraic phase theory i: Radical phase geometry and structural boundaries, 2026, Available at arXiv:2601.16334

    work page arXiv 2026

  11. [11]

    Gildea,Algebraic phase theory ii: The frobenius–heisenberg phase and boundary rigidity, 2026, Available at arXiv:2601.16341

    J. Gildea,Algebraic phase theory ii: The frobenius–heisenberg phase and boundary rigidity, 2026, Available at arXiv:2601.16341

    work page arXiv 2026

  12. [12]

    Gildea,Algebraic phase theory iii: Structural quantum codes over frobenius rings, 2026, Available at arXiv:2601.16346

    J. Gildea,Algebraic phase theory iii: Structural quantum codes over frobenius rings, 2026, Available at arXiv:2601.16346

    work page arXiv 2026

  13. [13]

    Gildea,Algebraic phase theory iv: Morphisms, equivalences, and categorical rigidity, 2026, Available at arXiv:2601.18254

    J. Gildea,Algebraic phase theory iv: Morphisms, equivalences, and categorical rigidity, 2026, Available at arXiv:2601.18254

    work page arXiv 2026

  14. [14]

    Duality, Reconstruction, and Structural Toolkit Theorems in Algebraic Phase Theory

    J. Gildea,Algebraic phase theory v: Boundary calculus, rigidity islands, and deformation theory, 2026, Available at arXiv:2601.18258

    work page internal anchor Pith review Pith/arXiv arXiv 2026

  15. [15]

    W. T. Gowers,A new proof of Szemer´ edi’s theorem, Geom. Funct. Anal.11(2001), no. 3, 465–588 (2001); erratum 11, no. 4, 869 (English)

    work page 2001

  16. [16]

    Green and T

    B. Green and T. Tao,Quadratic uniformity of the M¨ obius function, Ann. Inst. Fourier58 (2008), no. 6, 1863–1935 (English)

    work page 2008

  17. [17]

    Green, T

    B. Green, T. Tao, and T. Ziegler,An inverse theorem for the GowersU s+1[N]-norm, Ann. Math. (2)176(2012), no. 2, 1231–1372 (English)

    work page 2012

  18. [18]

    12, 122107

    David Gross,Hudson’s theorem for finite-dimensional quantum systems, Journal of Mathemat- ical Physics47(2006), no. 12, 122107

    work page 2006

  19. [19]

    Extraits du S´ eminaire Bour- baki 1957-1962, Paris: Secr´ etariat math´ ematique (1962)., 1962

    Alexander Grothendieck,Fondements de la g´ eom´ etrie alg´ ebrique. Extraits du S´ eminaire Bour- baki 1957-1962, Paris: Secr´ etariat math´ ematique (1962)., 1962

    work page 1957

  20. [20]

    Honold,Characterization of finite Frobenius rings, Arch

    T. Honold,Characterization of finite Frobenius rings, Arch. Math.76(2001), no. 6, 406–415 (English)

    work page 2001

  21. [21]

    Howe,On the role of the Heisenberg group in harmonic analysis, Bull

    R. Howe,On the role of the Heisenberg group in harmonic analysis, Bull. Am. Math. Soc., New Ser.3(1980), 821–843 (English)

    work page 1980

  22. [22]

    Martin Isaacs,Character theory of finite groups., corrected reprint of the 1976 original ed., Providence, RI: AMS Chelsea Publishing, 2006 (English)

    I. Martin Isaacs,Character theory of finite groups., corrected reprint of the 1976 original ed., Providence, RI: AMS Chelsea Publishing, 2006 (English). 22

    work page 1976

  23. [23]

    Jacobson,Structure of rings, American Mathematical Society Colloquium Publications, vol

    N. Jacobson,Structure of rings, American Mathematical Society Colloquium Publications, vol. 37, American Mathematical Society, Providence, RI, 1956. MR 0081264

    work page 1956

  24. [24]

    T. Y. Lam,A first course in noncommutative rings., 2nd ed. ed., Grad. Texts Math., vol. 131, New York, NY: Springer, 2001 (English)

    work page 2001

  25. [25]

    G. W. Mackey,Unitary representations of group extensions. I, Acta Math.99(1958), 265–311 (English)

    work page 1958

  26. [26]

    Translated from the French by Leonard L

    Jean-Pierre Serre,Linear representations of finite groups. Translated from the French by Leonard L. Scott, Grad. Texts Math., vol. 42, Springer, Cham, 1977 (English)

    work page 1977

  27. [27]

    Tao and V

    T. Tao and V. H. Vu,Additive combinatorics, Camb. Stud. Adv. Math., vol. 105, Cambridge: Cambridge University Press, 2006 (English)

    work page 2006

  28. [28]

    Weil,Sur certains groupes d’op´ erateurs unitaires, Acta Math.111(1964), 143–211 (French)

    A. Weil,Sur certains groupes d’op´ erateurs unitaires, Acta Math.111(1964), 143–211 (French)

    work page 1964

  29. [29]

    J. A. Wood,Duality for modules over finite rings and applications to coding theory, Am. J. Math.121(1999), no. 3, 555–575 (English). 23

    work page 1999