Nomic Structure and Reduction

Karim P. Y. Th\'ebault; Sean Gryb

Nomic Structure and Reduction

T0 review · 0 major / 2 minor · reviewed 2026-07-03 · grok-4.3

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read Theories with irregular nomic structure are best analyzed by treating state spaces as arrows and symplectic reduction as arrow composition in category theory.

desk verdict This is a synthesis paper that proposes treating state spaces as arrows and reduction as composition for irregular nomic structure, but it does not contain new theorems or derivations. read the letter →

arxiv 2607.01289 v1 pith:Y67CDCQG submitted 2026-07-01 physics.hist-ph math-phmath.MP

Sean Gryb , Karim P. Y. Thébault This is my paper · ORCID

classification physics.hist-phmath-phmath.MP

keywords nomicstructuresymplecticreductioncategorytheoryconstrainedHamiltoniantheoriestheoreticalequivalencerepresentationalcapacityirregular

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

Physical theories with irregular nomic structure appear as constrained Hamiltonian theories whose equations of motion are ill-posed because of surplus representational capacity. Symplectic reduction converts these into theories with regular nomic structure and well-posed initial-value problems. The paper argues that a category-theoretic presentation, in which state spaces are arrows and reduction is composition, is the most natural way to display this conversion. Under that presentation, theories become equivalent precisely when their state spaces are isomorphic or when their reduced state spaces are isomorphic at the level of regular nomic representations. The resulting framework supplies a foundation for later quantization of the same class of theories.

What carries the argument

Category-theoretic presentation in which state spaces are arrows and symplectic reduction is arrow composition.

What would settle it

Two constrained theories whose reduced state spaces are isomorphic but that nevertheless yield distinct physical predictions once restricted to their regular nomic representations.

Watch

Extended reading notes

Core claim

The case of irregular nomic structure is most naturally suited to a category theoretic presentation in which state spaces are arrows and symplectic reduction is arrow composition. Under this approach one obtains the natural results that theories with isomorphic state spaces are equivalent and theories whose reduced state spaces are isomorphic are equivalent at the level of the regular representations of their nomic structure.

Load-bearing premise

Symplectic reduction resolves ill-posed equations of motion while preserving the relevant nomic structure of the original constrained theory.

Editorial extensions

If this is right

Theories with isomorphic state spaces count as equivalent.
Theories whose reduced state spaces are isomorphic count as equivalent at the level of regular representations of nomic structure.
The category-theoretic presentation supplies a foundation for quantizing theories with irregular nomic structure.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

The same arrow-composition view could be used to compare representational capacities across families of constrained theories that share only partial nomic structure.
If the equivalence results survive quantization, they would identify which quantum theories inherit their classical equivalence from the reduced nomic structure alone.
The approach offers a concrete test for whether other formalisms of theoretical equivalence recover the same distinctions between irregular and regular cases.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Desk Editor's Note

read the letter

The core suggestion is to recast irregular nomic structure in a category-theoretic language where state spaces are arrows and symplectic reduction is arrow composition. This is meant to make equivalence of theories fall out naturally when state spaces or reduced state spaces are isomorphic.

The paper pulls together the authors' own 2024 definitions of regular and irregular nomic structure with existing category-theoretic comparisons from Bradley et al. and Landsman's treatment of reduction. It contrasts different presentations of constrained Hamiltonian theories and argues that the arrow-based view fits the irregular case better than alternatives. That contrast is the clearest part of the work.

The limitation is that the equivalence claims rest directly on the prior definitions and are described as natural consequences rather than derived in detail here. No new mathematical result is proven, and the quantization discussion is postponed to a companion paper. The argument is therefore more of a motivated reorganization than an independent advance.

Readers already working on foundations of constrained systems or category-theoretic accounts of physical theories will see the point of the framing. Others will find it narrow. The paper is coherent on its own terms and draws on established tools, so it is worth sending out for refereeing even though the contribution is modest.

Referee Report

0 major / 2 minor

Summary. The manuscript proposes a category-theoretic framing for constrained Hamiltonian theories with irregular nomic structure, treating state spaces as arrows and symplectic reduction as arrow composition (following Landsman 2005). It synthesizes this with prior formalizations of nomic structure (Gryb and Thébault 2024) and category-theoretic comparisons of theoretical structure, claiming that the approach yields natural equivalence results: theories with isomorphic state spaces are equivalent, and theories with isomorphic reduced state spaces are equivalent at the level of the regular representations of their nomic structure. The work positions this as a foundation for a companion paper on quantization.

Significance. If the proposed framing is adopted, the manuscript provides a motivated synthesis that clarifies how symplectic reduction resolves surplus representational capacity while preserving nomic structure, using established constructions from symplectic geometry and category theory. It explicitly credits the cited prior definitions and mathematical tools rather than re-deriving them, offering a conceptual bridge between irregular nomic structure and equivalence questions that could support further work on quantization.

minor comments (2)

[Abstract] Abstract, first sentence: the link between ill-posed equations of motion and surplus representational capacity is asserted without a one-sentence pointer to the specific mechanism in constrained theories; adding this would improve accessibility for readers outside the immediate subfield.
The equivalence results are presented as 'natural consequences' of the arrow-composition setup; a short explicit statement of the relevant functor or natural transformation (even if only sketched) would make the claim more self-contained without requiring the full 2024 definitions.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary of the manuscript, recognition of its synthesis of prior work on nomic structure and category-theoretic comparisons, and recommendation for minor revision. No specific major comments were raised in the report.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity identified

full rationale

The paper presents a conceptual synthesis and proposal for framing irregular nomic structure via category theory (state spaces as arrows, reduction as composition, citing Landsman 2005), with equivalence results described as natural consequences of that framing. Central concepts of regular/irregular nomic structure are referenced from the authors' prior 2024 work, but this is definitional background rather than a load-bearing derivation that reduces the present claims to self-citation by construction. No equations, fitted parameters, or uniqueness theorems are invoked that collapse the argument to its inputs; the text remains at the level of motivated suggestion without asserted theorems requiring independent verification within the paper itself.

Assumptions & free parameters 0 free parameters · 3 assumptions · 0 invented entities

The paper depends on prior definitions of nomic structure from the authors' 2024 work and on standard background assumptions from constrained Hamiltonian mechanics and category theory; no new free parameters or invented entities are introduced in the abstract.

assumptions (3)

domain assumption Ill-posedness of equations of motion in constrained Hamiltonian theories is connected to surplus representational capacity.
Stated in the opening sentence as the starting point for the analysis.
domain assumption Symplectic reduction converts theories with irregular nomic structure into theories with regular nomic structure and well-posed initial-value problems.
Invoked as the process that yields regular structure.
domain assumption Category theory supplies the natural language in which state spaces are arrows and symplectic reduction is arrow composition.
Central suggestion of the paper, referencing Landsman 2005.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Nomic Structure and Reduction." pith.science (2026). https://pith.science/paper/Y67CDCQG

@misc{pith2026260701289,
  author       = {Pith},
  title        = {Pith review of: Nomic Structure and Reduction},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/Y67CDCQG}},
  note         = {Machine review of arXiv:2607.01289}
}

read the original abstract

The canonical formulation of physical theories with irregular nomic structure is as constrained Hamiltonian theories within which ill-posedness of the equations of motion is connected to a pernicious form of surplus representational capacity. Such theories can be converted into theories with regular nomic structure and a well-posed initial value problem via the process of symplectic reduction. We analyse, synthesise, and contrast different approaches to the presentation and analysis of constrained Hamiltonian theories, drawing upon recent work on formalisation of nomic structure on model spaces (Gryb and Th\'ebault 2024) and comparisons of theoretical structure and representational capacity via category theory (Bradley and Weatherall 2020; Bradley 2025b). We suggest that the case of irregular nomic structure is most naturally suited to a category theoretic presentation in which state spaces are arrows and symplectic reduction is arrow composition (Landsman 2005). Under this approach one obtains the natural results that theories with isomorphic state spaces are equivalent and theories whose reduced state spaces are isomorphic are equivalent at the level of the regular representations of their nomic structure. This analysis provides a suitable foundation for the case of quantization of theories with irregular nomic structure, which will be in a companion paper.

Figures

Figures reproduced from arXiv: 2607.01289 by the authors.

**Figure 1.** Schematic representation of the nomic structure. D is the partition of dynamically possible models. The dotted lines are ‘fibres’ that represent dynamically equivalent models which the projection map, πN , maps into single points in the space of distinct dynamically possible models, D˜. dynamically equivalent. It is mandatory to apply a non-trivial criterion of dynamical equivalence precisely because the DPMs in qu… view at source ↗

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

13 extracted references · 13 canonical work pages

[1]

Anderson, E. (2017). The Problem of Time . Springer. Anderson, J. L. and P. G. Bergmann (1951). Constraints in covariant field theories. Physical Review 83 (5),

work page 2017
[2]

Baez, J. C. and M. Shulman (2009). Lectures on n-categories and cohomology. In Towards higher categories, pp. 1–68. Springer. Barbour, J. and B. Z. Foster (2008, August). Constraints and gauge transformations: Dirac’s theorem is not always valid. ArXiv e-prints . Barbour, J. B. and B. Bertotti (1982). Mach’s principle and the structure of dynamical theori...

work page 2009
[3]

19This is specifically intended to allow connection with the work of Feintzeig (2024,

work page 2024
[4]

36 Nomic Structure and Reduction Barrett, T

which applies the tools of category theory to quantization in the regular case. 36 Nomic Structure and Reduction Barrett, T. W. (2022). How to count structure. Noûs 56 (2), 295–322. Belot, G. (2003). Symmetry and gauge freedom. Studies In History and Philosophy of Modern Physics 34 , 189–225. Belot, G. (2013). Symmetry and equivalence. In R. Batterman (Ed...

work page 2022
[5]

matter without matter

Bradley, C. and J. O. Weatherall (2020). On representational redundancy, surplus struc- ture, and the hole argument. Foundations of Physics 50 (4), 270–293. Butterfield, J. (2007). On symplectic reduction in classical mechanics. In J. Butterfield and J. Earman (Eds.), Philosophy of Physics , pp. 1–131. Elsevier. Casadio, R., L. Chataignier, A. Y. Kamenshc...

work page 2020
[6]

Feintzeig, B. H. and J. Steeger (2024). Classical limits of hilbert bimodules as symplectic dual pairs. Reviews in Mathematical Physics 36 (10), 2450026. Gitman, D. and I. V. Tyutin. Quantization of fields with constraints . Springer. Gryb, S. (2025). Gauge symmetry and the arrow of time: How to count what counts. arXiv preprint arXiv:2509.14720 . Gryb, S...

work page arXiv 2024
[7]

Oxford University Press. Gryb, S. B. and K. P. Thébault (2026b). Against the frozen formalism. (unpublished). Halvorson, H. (2012). What scientific theories could not be. Philosophy of Science 79 (2), 183–206. Halvorson, H. (2016). Scientific theories. In P. Humphreys (Ed.), The Oxford Handbook of Philosophy of Science . Oxford University Press. Henneaux,...

work page 2012
[8]

Landsman, N

Boston University Press. Landsman, N. (2001). Quantized reduction as a tensor product. In Quantization of singular symplectic quotients , pp. 137–180. Springer. Landsman, N. (2005). Functorial quantization and the guillemin-sternberg conjecture. Twenty years of Bialowieza: a mathematical anthology 8 , 23–45. Lusanna, L. (1990). An enlarged phase space for...

work page 2001

Show all 13 references

[9]

38 Nomic Structure and Reduction Nguyen, J., N

14 (3), 1–75. 38 Nomic Structure and Reduction Nguyen, J., N. J. Teh, and L. Wells (2020). Why surplus structure is not superfluous. The British Journal for the Philosophy of Science . Olver, P. J. (1991). Applications of Lie groups to differential equations , Volume

2020
[10]

Ortega, J.-P

Springer Science & Business Media. Ortega, J.-P. and T. S. Ratiu (2013). Momentum maps and Hamiltonian reduction , Volume

2013
[11]

Pitts, J

Springer Science & Business Media. Pitts, J. B. (2014). A first class constraint generates not a gauge transformation, but a bad physical change: The case of electromagnetism. Annals of Physics 351 , 382–406. Pitts, J. B. (2022). First-class constraints, gauge transformations,...

2014
[12]

Salisbury, and K

Pons, J., D. Salisbury, and K. A. Sundermeyer (2010). Observables in classical canon- ical gravity: folklore demystified. Journal of Physics A: Mathematical and Gen- eral 222 (12018). Pooley, O. (2017). Background independence, diffeomorphism invariance and the meaning of coor...

2010
[13]

Weinstein, A

Philosophy Com- pass 14(5), e12591. Weinstein, A. (1983). The local structure of poisson manifolds. Journal of differential geometry 18 (3), 523–557. Woodhouse, N. M. J. (1997). Geometric quantization. Oxford University Press

1983

Pith tools

Reviewed July 3, 2026 · model on record in the stance chip above.

[1] [1]

Anderson, E. (2017). The Problem of Time . Springer. Anderson, J. L. and P. G. Bergmann (1951). Constraints in covariant field theories. Physical Review 83 (5),

work page 2017

[2] [2]

Baez, J. C. and M. Shulman (2009). Lectures on n-categories and cohomology. In Towards higher categories, pp. 1–68. Springer. Barbour, J. and B. Z. Foster (2008, August). Constraints and gauge transformations: Dirac’s theorem is not always valid. ArXiv e-prints . Barbour, J. B. and B. Bertotti (1982). Mach’s principle and the structure of dynamical theori...

work page 2009

[3] [3]

19This is specifically intended to allow connection with the work of Feintzeig (2024,

work page 2024

[4] [4]

36 Nomic Structure and Reduction Barrett, T

which applies the tools of category theory to quantization in the regular case. 36 Nomic Structure and Reduction Barrett, T. W. (2022). How to count structure. Noûs 56 (2), 295–322. Belot, G. (2003). Symmetry and gauge freedom. Studies In History and Philosophy of Modern Physics 34 , 189–225. Belot, G. (2013). Symmetry and equivalence. In R. Batterman (Ed...

work page 2022

[5] [5]

matter without matter

Bradley, C. and J. O. Weatherall (2020). On representational redundancy, surplus struc- ture, and the hole argument. Foundations of Physics 50 (4), 270–293. Butterfield, J. (2007). On symplectic reduction in classical mechanics. In J. Butterfield and J. Earman (Eds.), Philosophy of Physics , pp. 1–131. Elsevier. Casadio, R., L. Chataignier, A. Y. Kamenshc...

work page 2020

[6] [6]

Feintzeig, B. H. and J. Steeger (2024). Classical limits of hilbert bimodules as symplectic dual pairs. Reviews in Mathematical Physics 36 (10), 2450026. Gitman, D. and I. V. Tyutin. Quantization of fields with constraints . Springer. Gryb, S. (2025). Gauge symmetry and the arrow of time: How to count what counts. arXiv preprint arXiv:2509.14720 . Gryb, S...

work page arXiv 2024

[7] [7]

Oxford University Press. Gryb, S. B. and K. P. Thébault (2026b). Against the frozen formalism. (unpublished). Halvorson, H. (2012). What scientific theories could not be. Philosophy of Science 79 (2), 183–206. Halvorson, H. (2016). Scientific theories. In P. Humphreys (Ed.), The Oxford Handbook of Philosophy of Science . Oxford University Press. Henneaux,...

work page 2012

[8] [8]

Landsman, N

Boston University Press. Landsman, N. (2001). Quantized reduction as a tensor product. In Quantization of singular symplectic quotients , pp. 137–180. Springer. Landsman, N. (2005). Functorial quantization and the guillemin-sternberg conjecture. Twenty years of Bialowieza: a mathematical anthology 8 , 23–45. Lusanna, L. (1990). An enlarged phase space for...

work page 2001