The Exchange Phase as a Logical Scalar: R = e^(2 pi i s) from the Re-Entrant Calculus

In the paper's words

The boson/fermion dichotomy is conventionally presented as a primitive classification of nature. Recent work established that the underlying invariant is the relation between the exchange phase of identical particles and their topological spin, R = e^{2πis}, with the dichotomy as its shadow in three spatial dimensions where the involutive braiding quantizes the spin parameter. This paper examines whether a calculus whose only primitive is the act of drawing a distinction can generate this invariant rather than importing it as an axiom.

The abstract, verbatim, and its opening sentence is the claim. Every line below is quoted from the text.

Numbers it reports

1. Every status label in the derivation is audited to its floor: the trace/compact-closed machinery and $S^{1}$ self-duality are [established] (Joyal–Street–Verity; HoTT); the half-turn $e^{i\pi } = -1$ is [established] (§12.1, Euler's formula); the exchange-monodromy identification is [MAP — model]; the axiom-free computation of the constants e and $\pi$ by the bare type-theoretic syntax is [my conjecture].

   from 5. The derivation

How it is done

1. The spin-statistics theorem is among the most robust laws of physics: integer-spin particles obey Bose–Einstein statistics and half-integer-spin particles obey Fermi–Dirac statistics [Pauli 1940].

   from 1. Introduction

2. Formally: $s \in \mathbb{Z}$: 2s even → $R = +1$ → Bose–Einstein statistics (symmetric exchange, Calling); $s \in \mathbb{Z}$ + ½: 2s odd → $R = -1$ → Fermi–Dirac statistics (antisymmetric exchange, Crossing); 3+1-dimensional involutive braiding quantizes s to {0, 1/2, 1, 3/2, …} → the dichotomy [ESTABLISHED, Quni-Gudzinas 2026b]; 2+1 dimensions allow any real s → anyon phases $e^{2\pi is}$ [ESTABLISHED, Leinaas and Myrheim 1977].

   from 4. Core claim

3. Step 1 — the exchange map exists in the compact closed structure. [established — construction] The exchange $\sigma _{M,M}$: $M\otimes M \to M\otimes M$ is the braiding of the self-dual mark.

   from 5. The derivation

4. Evasion strategies in the literature (e.g., mass-dimension-three-half spinors [Ahluwalia and Lee 2022]) target the standard theorem statement rather than the invariant relation itself. [established — restated from Quni-Gudzinas 2026b F1] F3 (scope).

   from 7. Falsifiability conditions

What would falsify it

1. The claim that the re-entrant calculus generates $R = (e^{i\pi })^{2s}$ as a logical scalar is falsified if no derivation exists within the traced differential cohesive linear type theory of the treatise (Part VIII) without importing the relation as an axiom.

   from 7. Falsifiability conditions

2. If a stable, local, relativistic excitation in 3+1 dimensions is observed with exchange phase $\eta \neq e^{2\pi is}$ (e.g., a spin-1/2 particle obeying Bose–Einstein statistics), the invariant claim is disconfirmed.

   from 7. Falsifiability conditions

3. The invariant claim is disconfirmed if: (a) a formal derivation in the Part VIII system is shown impossible without importing the relation as an axiom (F1); or (b) an empirical excitation with exchange phase $\eta \neq e^{2\pi is}$ is observed in 3+1 dimensions (F2).

   from 7. Falsifiability conditions

Where the claim stops

1. If it fails, the failure mode is precisely specified: the calculus cannot generate the exchange phase without importing it as an axiom.

   from 9. Conclusions

2. The premises-depth audit of Section 6 separates what is established from what is assumed: (a) the arithmetic identity $R = e^{2\pi is} = (-1)^{2s}$ is established; (b) the identification of the exchange monodromy with a power of the mark's half-turn is a model of the re-entrant phase, not a theorem; (c) the full claim — that the calculus derives the invariant as a logical scalar within a single formal system — is a conjecture with explicit falsification conditions (Section 7).

   from 2. So What? Why Should a Reader Care About This Research?

3. This is the premises-depth question asked of the most robust law in physics: not "is the law true?" but "what is the law an output of?" Practical utility — even if the conjecture fails.

   from 2. So What? Why Should a Reader Care About This Research?

Where to read

1. Abstract270 words · 1 min
2. 1. Introduction251 words · 1 min
3. 2. So What? Why Should a Reader Care About This Research?586 words · 3 min
4. 3. Background: the invariant and the machinery394 words · 2 min
5. 4. Core claim186 words · 1 min
6. 5. The derivation467 words · 2 min
7. 6. Status ladder115 words · 1 min
8. 7. Falsifiability conditions228 words · 1 min
9. 8. Relation to prior work667 words · 3 min
10. 9. Conclusions160 words · 1 min
11. 10. Declarations113 words · 1 min