🔢 mathematics

Logical Dependence of Physical Determinism on Set-theoretic Metatheory

The paper argues that physical determinism is not independent of set-theoretic foundations, demonstrating that determinism verdicts for specific physical systems (such as Ising models and Kerr black holes) can vary between canonical extensions of ZFC like V=L and large cardinal assumptions, thereby proposing a field of "reverse physics" where the search for new axioms is continuous with the search for new physical laws.

Original authors: Justin Clarke-Doane

Published 2026-08-03

📖 7 min read🧠 Deep dive

CC BY 4.0

Original authors: Justin Clarke-Doane

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 Hidden Code Behind the Universe

Imagine you are trying to predict the future of a complex system, like a swirling galaxy, a bouncing ball, or a computer chip. In physics, we usually assume that if we know the rules and the starting position, the future is fixed. This is called determinism. It's the idea that the universe is like a giant, perfect clockwork machine: wind it up, and it runs exactly the same way every time.

But to make these predictions, physicists rely on a hidden foundation called set theory. Think of set theory as the ultimate rulebook for how we count, group, and measure things. It's the math behind the math. For a long time, scientists thought this rulebook was just a boring, abstract tool that didn't matter for real-world physics. They believed that whether you used one version of the rulebook or another wouldn't change how a black hole spins or how a magnet cools down. This belief is called the "insularity thesis"—the idea that the deep, dusty corners of math are isolated from the messy, exciting world of physics.

However, there is a catch. Some of the most advanced questions in math involve "infinity" in tricky ways. There are two main ways to write the rulebook for infinity. One version, called V=L, is very strict and minimalist; it says there are no "extra" infinite sets beyond the ones we can build step-by-step. The other version, called LC/PD, is more generous; it allows for huge, mysterious infinite structures that make the math behave more smoothly and predictably. For decades, mathematicians argued about which rulebook was "true," but physicists mostly ignored the fight, assuming it didn't affect their work.

The Paper's Big Discovery

This paper, written by Justin Clarke-Doane, challenges that assumption. It argues that the "insularity thesis" is wrong. The author suggests that the choice between these two math rulebooks (V=L vs. LC/PD) might actually change whether the universe is deterministic or not.

To understand this, imagine you are a detective trying to solve a mystery. You have a set of clues (the physical laws) and a suspect (the starting state of the universe). In a normal detective story, the clues should lead to one clear solution. But Clarke-Doane shows that in some cases, the "clues" themselves depend on which rulebook you use to read them.

The paper explores this through three different "layers" of detective work:

1. The "Coherence" Layer: Is the Clue Even Real?
Sometimes, a physical law asks you to calculate something based on a specific shape or pattern. In the strict rulebook (V=L), that pattern might be so weird and jagged that it doesn't have a defined size or "measure." It's like trying to weigh a cloud that keeps changing shape every time you look at it. If the pattern isn't "measurable," the math breaks down, and the law becomes incoherent. But in the generous rulebook (LC/PD), that same pattern is smooth and measurable, so the law works perfectly. The paper shows that for certain mathematical setups, the law is valid in one universe of math but broken in another.

2. The "Uniqueness" Layer: One Answer or Many?
Determinism usually means there is only one future. But the paper shows that for some systems, the number of possible futures depends on the rulebook. In the strict rulebook, a system might have two different stable outcomes (like a ball that can roll left or right). In the generous rulebook, the same system might have only one outcome (the ball only rolls left). The math doesn't change the physical setup; it changes how many solutions the setup allows.

3. The "Identity" Layer: Is it the Same Starting Point?
This is the trickiest part. Imagine you have a recipe for a cake. In one rulebook, the recipe describes a specific cake. In the other, the exact same words describe a completely different cake (or maybe no cake at all). The paper argues that the "starting data" for a physical system might not be the same thing in both rulebooks. So, even if you think you are starting with the same conditions, you might actually be starting with different ones, leading to different futures.

The "Robustness" Test: Does it Hold Up?

The paper goes deeper than just these thought experiments. It looks at how physicists actually use determinism in the real world. Physicists don't just care about perfect, theoretical scenarios; they care about robustness. They want to know: "If I change the way I measure things, or if I use a slightly different grid to calculate the answer, does the result stay the same?"

The author proves that when you ask these "robustness" questions, the answers often land in a mathematical zone called $\Sigma^1_2$ . This is a fancy way of saying the questions are complex enough that the standard math rulebook (ZFC) cannot decide the answer. It's like a judge who says, "I don't have enough laws to decide this case."

The paper presents two major "coding theorems" to prove this point:

The Ising Magnet Case: The author constructs a specific model of a magnet (using a grid of spins) with a fixed set of rules. They show that asking whether this magnet settles into a predictable pattern is a question that the standard math rulebook cannot answer. If you use the strict rulebook, the pattern describing the magnet's behavior is non-measurable (meaning it lacks the regularity needed for standard probability). If you use the generous rulebook, that same pattern is universally measurable (meaning it is well-behaved and regular). The magnet itself hasn't changed; only the mathematical "smoothness" of the description has.
The Black Hole Case: The paper looks at the inside of a spinning black hole (a Kerr black hole). Physicists try to figure out if the laws of physics break down at the "Cauchy horizon" (a boundary inside the hole). The paper shows that the problem of choosing a "standard" way to describe the space there is a mathematical puzzle that cannot be solved without picking a rulebook. In the strict rulebook (V=L), you can pick a standard description (a selector), but it is messy and irregular. In the generous rulebook (LC/PD), no standard description exists that is definable in a reasonable way; the rules forbid any such selector from existing.

What This Means (and What It Doesn't)

The paper is very careful about what it claims. It does not say that the universe definitely works differently depending on which math rulebook we pick. It does not say that we have found a new law of physics.

Instead, it proves a logical possibility. It shows that if we take the way physicists actually talk about determinism (with all its requirements for robustness, typicality, and measurement) and apply it to certain mathematical models, the results depend on the background math.

The author calls this field "reverse physics," similar to "reverse mathematics." Just as reverse mathematics asks, "What math axioms do we need to prove this theorem?", reverse physics asks, "What math axioms do we need to make this physical theory work?"

The paper concludes that the "insularity thesis" is doubtful. The deep, abstract debates about infinity are not just for mathematicians. They might be entangled with the very foundations of how we understand the physical world. If a theory of physics relies on concepts that are undecidable in standard math, then we might need to look for new physical laws or new mathematical axioms to settle the score. The paper leaves us with a fascinating question: Is the universe's determinism a fact of nature, or does it depend on the invisible rulebook we use to read it?

Technical Summary: Logical Dependence of Physical Determinism on Set-theoretic Metatheory

1. Problem Statement
The paper challenges the "insularity thesis," the widely held assumption that set-theoretic foundations are irrelevant to physics. The author argues that physical determinism, particularly when interpreted through the lens of how it is actually used in foundational and frontier physics (statistical mechanics, gauge fixing, black hole interiors), is logically dependent on the choice of set-theoretic metatheory. Specifically, the paper investigates whether determinism verdicts—concerning coherence, uniqueness, and identity—remain stable across different extensions of ZFC, notably between Gödel's Axiom of Constructibility ( $V=L$ ) and ZFC plus large cardinal assumptions sufficient to imply Projective Determinacy ($LC/PD$).

The core problem is that standard physical claims often involve "robustness" (invariance under gauge, mesh, or coarse-graining changes) and "typicality" (almost sure or generic behavior). Formalizing these concepts requires quantifying over spaces of admissible implementations, which often pushes the logical complexity of the resulting "determinism profiles" into the projective hierarchy. The paper asks whether ZFC alone suffices to decide the regularity (measurability, Baire property) of these profiles, or if such decisions require additional axioms.

2. Methodology
The paper employs descriptive set theory to analyze the logical structure of physical determinism. The methodology proceeds in two layers:

Analytic Layer: The author constructs "analytic layer" examples where the definitions of physical systems (laws, potentials, initial data) are fixed via projective formulas. The paper demonstrates that the truth values of determinism conditions (existence, uniqueness, identity of solutions) can toggle between $V=L$ and $LC/PD$ because the regularity properties of the sets defined by these formulas differ between the two metatheories.
Regularity Layer: The paper formalizes "robustness profiles" as definable sets encoding whether an input admits a unique, stable, or canonical continuation across all admissible implementations. Using the framework of Polish spaces and Borel codes, the author analyzes the projective complexity of these profiles.
- Upper Bounds: It is shown that robustness demands of the form "for every admissible policy $\rho$ , there exists a continuation $y$ ..." typically yield $\Sigma^1_2$ sets.
- Lower Bounds (Completeness): The paper constructs specific physical models where these robustness profiles are $\Sigma^1_2$ -complete under continuous reductions.
- Metatheoretic Divergence: The paper leverages the fact that under $LC/PD$, all projective sets are universally measurable and have the Baire property, whereas under $V=L$ , there exist $\Sigma^1_2$ sets that are not universally measurable and lack the Baire property.

3. Key Contributions and Results

Analytic Layer Dependence: The paper provides three illustrative constructions showing that determinism verdicts for possible systems depend on the metatheory:
1. Coherence: A weak formulation of the heat equation with a potential $V$ defined by a fixed $\Delta^1_2$ formula is coherent (measurable) under $LC/PD$ but incoherent (non-measurable) under $V=L$ .
2. Uniqueness: A variational problem with a structural parameter determined by a projective regularity statement yields a unique minimizer under $LC/PD$ but multiple minimizers under $V=L$ .
3. Identity: A definition of an initial datum for a linear PDE yields the zero function under $LC/PD$ but a non-zero function under $V=L$ , demonstrating that the same definition picks out different physical states.
Theorem 5.1 (Fixed-Hamiltonian Ising Coding): The paper proves that a computable nearest-neighbor Ising Hamiltonian on $\mathbb{Z}^3$ with a fixed zero-temperature Glauber schedule yields a "tail readout profile" that is $\Sigma^1_2$ -complete.
- Result: Under $LC/PD$, this profile is universally measurable; under $V=L$ , it is not. This demonstrates that even with a fixed, simple physical law, the question of whether a robust readout exists is undecidable in ZFC.
Theorem 6.2 (Kerr Cauchy Horizon Selection): The paper addresses the problem of choosing canonical representatives for continuous extension germs at the Kerr Cauchy horizon.
- Result: The problem of selecting a representative for the equivalence relation $E_{germ}$ (equality of germs in a fixed collar) is shown to encode the eventual agreement relation $E_0$ .
- Implication: In ZFC, no universally measurable or Baire measurable selector exists. Under $V=L$ , a projectively definable selector exists. Under $LC/PD$ (specifically PD), no projectively definable selector exists. This separates the existence of a "bare" extension (analytic) from the existence of a "regular" canonicalization rule.
Theorem 6.1 (Shoenfield No-Go): The paper proves that the existence of a bare extension (without selection) cannot be exactly calibrated to constructibility ( $x \in L[a]$ ) via a Borel map, ruling out a direct equivalence between extension existence and constructibility at this level.

4. Significance and Claims
The paper claims to establish a "reverse physics" program, analogous to reverse mathematics, investigating which foundational axioms are required to settle questions of physical determinism.

Modest Scope: The author explicitly states that the paper does not prove that actual physical laws (e.g., standard phase diagrams or specific black hole evolutions) are undecidable in ZFC. The results are conditional on specific coding schemes, fixed Hamiltonians, or fixed presentation germs.
Conceptual Shift: The primary contribution is conceptual: it demonstrates that the "insularity thesis" is doubtful. If determinism is understood as a robust, typical, or canonical property (as it is in practice), then the regularity of the sets defining these properties can depend on axioms beyond ZFC.
Regularity vs. Membership: The paper highlights a crucial distinction: while pointwise membership facts may be absolute (via Shoenfield absoluteness), the regularity properties (measurability, Baire property) of the sets defined by those facts are not absolute between $V=L$ and $LC/PD$.
Future Work: The paper frames the systematic investigation of whether "distinguished" physical measures, topologies, or model classes in everyday theories reach the "hard part" (the $\Sigma^1_2$ -complete level) as an open research program. It suggests that if such dependence is found, the search for new physical laws may be inextricably linked to the search for new set-theoretic axioms.

In summary, the paper argues that the logical dependence of physical determinism on set-theoretic metatheory is a genuine mathematical possibility that arises naturally when physical determinism is formalized to include robustness and typicality, challenging the assumption that physics can be conducted entirely within the confines of ZFC without regard for foundational axioms.

The Hidden Code Behind the Universe

The Paper's Big Discovery

The "Robustness" Test: Does it Hold Up?

What This Means (and What It Doesn't)

More like this