🔬 physics

Nomic Structure and Reduction

This paper argues that physical theories with irregular nomic structure, characterized by ill-posed equations of motion and surplus representational capacity, are best analyzed through a category-theoretic framework where symplectic reduction is treated as arrow composition, thereby establishing equivalence between theories with isomorphic reduced state spaces and laying the groundwork for their quantization.

Original authors: Sean Gryb, Karim P. Y. Thébault

Published 2026-07-03

📖 7 min read🧠 Deep dive

CC BY 4.0

Original authors: Sean Gryb, Karim P. Y. Thébault

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

The Big Picture: Fixing Broken Laws of Physics

Imagine you are trying to write the rules for a video game. These rules are the "laws of physics" (or nomic structure) for your game world. Usually, these rules are clear: if you press a button, your character jumps. If you drop an apple, it falls.

However, some theories in physics are like a game with broken rules. In these theories, the rules are "irregular." They are so vague or redundant that if you try to predict what happens next (the "initial value problem"), the game engine crashes. It doesn't know which way to go because the rules allow for too many different, conflicting outcomes for the exact same starting point.

The authors of this paper are trying to fix these broken rules. They want to show how to take a theory with messy, "irregular" laws and clean it up into a theory with "regular" laws that work perfectly. They do this using two main tools: mathematical logic and category theory (a branch of math that studies how things relate to each other, like a map of connections).

Part 1: The Two Types of Rules (Regular vs. Irregular)

To understand the problem, the authors distinguish between two types of rulebooks:

1. Regular Rulebooks (The Good Ones)
Imagine a standard board game like Chess. If you set up the board in a specific way, there is only one legal move for the next turn (or a specific set of legal moves). The rules are clear. If you know the starting position, you can calculate the future.

In Physics: These are theories where the equations of motion are "well-posed." You start with a state, and the laws tell you exactly what happens next.

2. Irregular Rulebooks (The Broken Ones)
Now imagine a board game where the rules say: "You can move your piece anywhere, but you must also stay in the same spot." This is a contradiction. Or, imagine a rule that says, "You can move North, South, East, or West, but it doesn't matter which one you pick; they all count as the same move."

In Physics: These are theories with constraints. The laws say, "The system must be in a specific state," but the math is so redundant that it can't decide which specific state to pick. It has "surplus representational capacity"—it has too many ways to describe the same thing, leading to confusion.

The Problem: If you try to run a simulation with these irregular rules, the computer gets stuck. It can't solve the puzzle because the puzzle pieces overlap too much.

Part 2: The "Surplus" Problem (Too Many Descriptions)

The authors argue that irregular theories suffer from surplus representational capacity.

The Analogy: The Identity Card
Imagine you are trying to identify a person.

Regular Theory: You have one ID card with their name and photo. It's unique.
Irregular Theory: You have a stack of 50 ID cards for the same person. They all have the same name and photo, but they have slightly different background colors, or different font sizes.
The Issue: If you ask, "Who is this person?" the answer is the same for all 50 cards. But if you treat all 50 cards as different people, you get confused. You think there are 50 people when there is really only 1.

In physics, these "extra cards" are called gauge symmetries. The theory describes the same physical reality in 50 different mathematical ways. The "irregular" structure fails to tell us that these 50 ways are actually the same thing.

Part 3: The Solution: "Symplectic Reduction" (The Filter)

How do we fix the broken rules? The authors discuss a process called Symplectic Reduction.

The Analogy: The Coffee Filter
Imagine you have a pot of coffee with a lot of grounds (the "surplus" or "redundancy") mixed in. The coffee is muddy and hard to drink (the "ill-posed" problem).

Symplectic Reduction is like pouring that coffee through a filter.
The filter catches the grounds (the redundant mathematical descriptions).
What comes out the bottom is clear, drinkable coffee (the "regular" theory).

In physics, this process takes the messy, redundant theory and "projects" it onto a new, smaller space where the redundancy is gone. Now, every point in the new space represents a unique physical reality. The rules are no longer broken; they are "well-posed."

Part 4: The New Way to Look at It (Category Theory)

The paper's main innovation is how they describe this "filtering" process using Category Theory.

Usually, mathematicians think of a "state space" (the set of all possible game states) as an Object (like a box). They think of the rules as arrows connecting these boxes.

The authors suggest a different way of thinking, inspired by a mathematician named N. P. Landsman:

Old Way: The state space is a Box.
New Way: The state space is an Arrow (a connection).

The Analogy: The Bridge
Instead of thinking of the "messy theory" and the "clean theory" as two separate boxes, think of them as two ends of a bridge.

The Arrow is the bridge itself.
The "messy" side is one end of the bridge.
The "clean" side is the other end.
Symplectic Reduction is simply walking across the bridge (composing the arrow).

By treating the state space as an arrow, the math becomes much cleaner.

Isomorphic Arrows: If two theories have arrows that look the same (even if they are made of different materials), they are equivalent.
Composition: When you "compose" (connect) the arrow of the messy theory with a special "filtering" arrow, you get the arrow of the clean theory.

This approach proves that if you take two different messy theories and filter them, and they result in the same clean theory, then those two messy theories were actually equivalent all along. They just looked different because of the "surplus" noise.

Part 5: Why Does This Matter? (The "Why Should We Care?")

The authors make two main points about why this matters:

It Fixes the Math: It provides a rigorous way to say, "Okay, this theory is messy, but here is exactly how to clean it up so it works." It solves the problem of "ill-posed" equations where the future is unpredictable.
It Prepares for Quantum Mechanics: The paper mentions that this work is a setup for a future paper on quantization (turning classical physics into quantum physics).
- The Analogy: You can't build a stable skyscraper on a shaky foundation. If the classical "foundation" (the irregular theory) is messy, the quantum "building" will collapse.
- The authors argue that by using this "arrow" approach to clean up the classical theory first, we create a solid foundation for building quantum theories. They hint at a famous idea called the "Guillemin–Sternberg conjecture," which asks: Does it matter if we clean the theory first and then make it quantum, or make it quantum first and then clean it? Their new mathematical tools will help answer that question.

Summary

The Problem: Some physics theories have "irregular" laws that are too redundant, making it impossible to predict the future (ill-posed).
The Cause: The theories have "surplus capacity"—they describe the same reality in too many different, confusing ways.
The Fix: Use Symplectic Reduction to filter out the redundancy, leaving only the unique, physical reality.
The New Tool: Use Category Theory to view these theories not as static boxes, but as arrows.
The Result: This new view makes it mathematically obvious when two messy theories are actually the same, and it sets the stage for successfully turning these messy theories into quantum theories.

Technical Summary: Nomic Structure and Reduction

Problem Statement
The paper addresses the formal and interpretative challenges posed by physical theories with "irregular nomic structure." In the canonical formulation, such theories (typically constrained Hamiltonian systems) suffer from ill-posed equations of motion. This ill-posedness is identified as a symptom of "pernicious surplus representational capacity," where the mathematical description contains more degrees of freedom than the physical laws can uniquely determine. While the philosophical literature on theoretical structure and equivalence has largely focused on "regular" theories (where equations of motion are well-posed), irregular theories require a specific treatment to distinguish between dynamically distinct states and those that are merely gauge-equivalent. The central problem is to provide a rigorous framework that diagnoses this redundancy, explains the necessity of projection (reduction) to achieve well-posedness, and offers a category-theoretic account of how irregular theories relate to their regular, reduced counterparts.

Methodology
The authors employ a synthetic approach combining three distinct methodological strands:

Formal Analysis of Nomic Structure: Utilizing the "Nomic-AIR" formalism (Gryb and Thébault 2024), the paper distinguishes between constitutive structure (kinematic possibilities) and nomic structure (laws). Nomic structure is analyzed via two functions: a partitioning map (distinguishing kinematically possible models from dynamically possible ones) and a projection map (identifying dynamically equivalent models).
Geometric and Canonical Mechanics: The paper analyzes the transition from Lagrangian to Hamiltonian formalisms. It contrasts the standard Dirac approach to constraints with a geometric approach based on Noether's theorems and velocity-phase space formalisms. This involves examining the Hessian of the Lagrangian, identifying null directions, and deriving primary constraints and gauge generators.
Category Theory: The authors apply category theory to model the relationships between theories. They synthesize two distinct categorical presentations:
- The "object-based" approach (following Bradley and Weatherall 2020; Bradley 2025b), where theories are categories with models as objects and symmetries as morphisms.
- The "arrow-based" approach (following Landsman 2001, 2005), where state spaces are treated as arrows (symplectic dual pairs) and reduction is treated as arrow composition.

Key Contributions and Results

Diagnosis of Irregularity and Ill-Posedness:
The paper clarifies that irregular nomic structure arises when the Hessian of the Lagrangian is singular ( $\det|W_{ij}| = 0$ ). This singularity implies that accelerations cannot be uniquely determined by initial configurations and velocities. Geometrically, this corresponds to the existence of null vector fields in the velocity phase space. The authors demonstrate that these null directions correspond to gauge symmetries that generate redundancy. Crucially, they argue that without a non-trivial projection map (identifying gauge-related states), the initial value problem is formally ill-posed because the nomic structure fails to provide a unique evolution.
Critique and Extension of Dirac's Theorem:
The authors analyze Dirac's theorem, which links first-class constraints to gauge transformations. They identify limitations in Dirac's approach: it relies on an external time parameter (excluding reparametrization-invariant theories) and offers a vague definition of "physical state." The paper proposes a more general geometric framework based on isochronous symmetries and the momentum map, which recovers the standard results of constrained Hamiltonian dynamics (primary constraints, null directions) without these restrictive assumptions.
Categorical Presentation of Reduction (Bradley vs. Landsman):
The paper contrasts two ways of formalizing symplectic reduction:
1. Functorial Reduction (Bradley 2025b): Here, reduction is a functor $G: \text{PreHam} \to \text{HamRed}$ that is full and essentially surjective but not faithful. This indicates that the unreduced theory has "surplus representational capacity" (non-trivial automorphisms in the unreduced theory map to the identity in the reduced theory).
2. Arrow Composition (Landsman 2005): The authors argue that the arrow-based presentation is more natural for irregular structures. In this framework, a state space is a symplectic dual pair (an arrow between Poisson manifolds). Symplectic reduction is reinterpreted as the composition of arrows. Specifically, the reduction of a constrained system is the composition of the system's arrow with a "zero coadjoint orbit" arrow.
Theoretical Equivalence:
Under the arrow-composition framework, the paper derives a natural criterion for equivalence:
- Two theories with isomorphic state spaces (as arrows) are equivalent.
- Two theories whose reduced state spaces are isomorphic are equivalent at the level of their regular representations.
  This allows for a precise distinction: theories may be inequivalent as irregular, constrained Hamiltonian theories (due to different surplus structures) but equivalent as regular theories once reduced.

Significance and Claims
The paper claims to provide a "suitable foundation" for the quantization of theories with irregular nomic structure. By establishing a rigorous category-theoretic link between irregular (constrained) and regular (reduced) representations, the authors set the stage for analyzing the "Guillemin–Sternberg conjecture" (that reduction commutes with quantization).

The authors explicitly state that their primary goal is to support Bradley's conclusion regarding surplus structure through additional physical argumentation and to offer an alternative, arguably more natural, category-theoretic presentation where state spaces are arrows. They do not claim to solve the quantization problem itself but rather to provide the formal tools necessary to articulate the relationship between classical reduction and quantum constraint quantization. The paper positions itself as a complement to existing work, synthesizing formal results from Noether, Dirac, and Landsman to clarify the conditions under which dynamical equivalence principles are mandatory for well-posedness.

Limitations and Future Work
The authors acknowledge that their analysis focuses primarily on theories with primary, first-class constraints and isochronous symmetries. They note that generalizing to secondary constraints and non-isochronous (reparametrization invariant) symmetries—crucial for theories like General Relativity—remains an outstanding mathematical problem to be addressed in future work. Furthermore, the application of these tools to the actual quantization of such systems is reserved for a companion paper.