Recognition: unknown
The No Barber Principle: Towards Formalised Selection in the Inaccessible Game
Pith reviewed 2026-05-10 01:07 UTC · model grok-4.3
The pith
The no-barber principle requires that selection policies in the inaccessible game avoid categories with canonical copying maps.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Through the no-barber principle the paper argues that the classical category FinProb, in which Shannon entropy is characterised, is cartesian and provides canonical diagonal copying maps that make Lawvere-style constructions expressible and is structurally incompatible with the no-copying instantiation of the no-barber principle studied here. In contrast, the noncommutative category NCFinProb, in which von Neumann entropy is characterised, is symmetric monoidal and lacks canonical copying maps, making it a more natural candidate for the game's internal language. The marginal-entropy conservation constraint is presented as the nontrivial entropy constraint that enforces this structural choice
What carries the argument
The no-barber principle, a consistency rule that prohibits dynamics appealing to external adjudicators or structure the system cannot represent internally, obtained by treating Russell's paradox as a Lawvere diagonalisation.
If this is right
- Selection policies for the inaccessible game must be formulated inside a symmetric monoidal category without canonical copying maps.
- The internal language of any self-determining dynamical system satisfying the game's axioms must lack diagonal maps that would allow Lawvere-style self-reference.
- Rules that quantify over distinctions they cannot represent internally are ruled out by the no-barber principle.
- Categories in which von Neumann entropy is characterised become preferred candidates for the game's language over those in which Shannon entropy is characterised.
Where Pith is reading between the lines
- The same prohibition on external structure could be applied to other information-theoretic dynamical systems that must remain self-contained.
- Explicit constructions of selection policies inside NCFinProb could be checked against the game's axioms to verify internal consistency.
- The no-barber principle might supply a general filter for choosing categorical settings whenever a dynamical system is required to generate its own distinctions.
Load-bearing premise
The marginal-entropy conservation constraint is a nontrivial entropy constraint which prohibits external structure and the Russell-paradox analogy directly yields necessary consistency constraints for selection policies.
What would settle it
An explicit selection policy constructed inside FinProb that obeys the three information-loss axioms, the marginal entropy conservation constraint, and maximum-entropy dynamics without invoking any external maps or adjudicators would falsify the claimed incompatibility.
read the original abstract
The inaccessible game (Lawrence, 2025, 2026) is an information-theoretic dynamical system governed by three information loss axioms, a marginal entropy conservation constraint and maximum entropy dynamics. In this paper we look at selection in the game. Our aim is to develop a selection policy for the game rules based on a minimal set of assumptions. We seek necessary consistency constraints for self-determining dynamical systems. Specifically, we suggest that rules that quantify over distinctions they cannot internally represent risk impredicative-style circularity. Our criterion is motivated by an analogy with Russell's paradox. We formulate a no-barber principle which prohibits dynamics that appeal to external adjudicators or structure lying outside the system. To motivate our principle we examine Russell's paradox through its structural formalisation as a Lawvere diagonalisation. The marginal-entropy conservation in the game is a nontrivial entropy constraint which prohibits external structure. Through the no-barber principle we argue (i) the classical category FinProb, in which Shannon entropy is characterised, is cartesian and provides canonical diagonal (copying) maps that make Lawvere-style constructions expressible and is structurally incompatible with the no-copying instantiation of the no-barber principle studied here. (ii) the noncommutative category NCFinProb, in which von Neumann entropy is characterised, is symmetric monoidal and lacks canonical copying maps, making it a more natural candidate for the game's internal language.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper introduces the 'No Barber Principle' as a minimal consistency constraint for selection policies in the inaccessible game (defined via three information-loss axioms, marginal entropy conservation, and maximum-entropy dynamics in prior work). Motivated by an analogy to Russell's paradox via Lawvere diagonalization, the principle prohibits dynamics that appeal to external adjudicators or structure outside the system. It is then used to argue that the cartesian category FinProb (Shannon entropy) is incompatible because its canonical copying maps Δ: X → X ⊗ X make Lawvere-style constructions expressible, while the symmetric monoidal category NCFinProb (von Neumann entropy) lacks such maps and is therefore a more natural internal language for the game.
Significance. If the no-barber principle can be shown to follow rigorously from the game's axioms and to exclude cartesian structure in a precise sense, the work would supply a novel structural filter for choosing category-theoretic models of self-consistent information dynamics. At present the argument remains at the level of analogy and assertion, so the potential contribution is limited to a suggestive heuristic rather than a derived theorem.
major comments (3)
- Abstract and the central argument (presumably §3–4): the claim that marginal entropy conservation 'prohibits external structure' and thereby renders FinProb incompatible is asserted without an explicit interpretation of the three information-loss axioms or the selection policy inside either category, nor a derivation showing that any use of the diagonal map Δ would violate conservation or produce impredicative circularity inside the dynamics.
- The no-barber principle is introduced as a new axiom motivated by the Lawvere formalization of Russell's paradox, but no proof or derivation is supplied demonstrating that it is entailed by the inaccessible game's existing axioms (Lawrence 2025, 2026) rather than being an independent stipulation.
- The incompatibility claim between FinProb and the no-copying instantiation of the principle rests on the presence of canonical diagonals in the cartesian case; however, the manuscript does not exhibit a concrete model of the game's dynamics in either category that would allow one to check whether those diagonals actually produce a forbidden external adjudicator.
minor comments (2)
- Notation for the inaccessible game axioms and the marginal-entropy constraint should be recalled explicitly (with equation numbers) rather than relying solely on citations to prior papers.
- The transition from the Lawvere diagonalization analogy to the concrete prohibition on copying maps would benefit from a short diagram or commutative square illustrating the purported circularity.
Simulated Author's Rebuttal
We thank the referee for their constructive report. The comments identify areas where the presentation of the no-barber principle and its categorical implications can be made more explicit. We respond to each major comment below and indicate the revisions that will be incorporated.
read point-by-point responses
-
Referee: Abstract and the central argument (presumably §3–4): the claim that marginal entropy conservation 'prohibits external structure' and thereby renders FinProb incompatible is asserted without an explicit interpretation of the three information-loss axioms or the selection policy inside either category, nor a derivation showing that any use of the diagonal map Δ would violate conservation or produce impredicative circularity inside the dynamics.
Authors: We agree that the argument benefits from greater explicitness. In the revised manuscript we will add a subsection to §3 that maps the three information-loss axioms and marginal entropy conservation into the structures of FinProb and NCFinProb. We will also supply a short derivation showing how the canonical diagonal Δ permits a Lawvere-style construction that introduces an external adjudicator, thereby violating the no-barber principle by allowing selection rules that appeal to structure not internally representable. revision: partial
-
Referee: The no-barber principle is introduced as a new axiom motivated by the Lawvere formalization of Russell's paradox, but no proof or derivation is supplied demonstrating that it is entailed by the inaccessible game's existing axioms (Lawrence 2025, 2026) rather than being an independent stipulation.
Authors: The no-barber principle is proposed as an independent minimal consistency constraint for selection policies, motivated by the Lawvere formalization of Russell's paradox rather than derived from the prior axioms. We will revise the introduction and §2 to state this status explicitly, clarifying that the principle functions as a suggested necessary condition for self-determining dynamics and is consistent with but not logically entailed by the existing axioms of the inaccessible game. revision: yes
-
Referee: The incompatibility claim between FinProb and the no-copying instantiation of the principle rests on the presence of canonical diagonals in the cartesian case; however, the manuscript does not exhibit a concrete model of the game's dynamics in either category that would allow one to check whether those diagonals actually produce a forbidden external adjudicator.
Authors: We acknowledge that an illustrative example would aid verification. The revised manuscript will include a brief concrete illustration in §4 demonstrating how a selection policy that invokes the diagonal in FinProb generates an impredicative circularity prohibited by the no-barber principle. A full dynamical simulation in both categories lies beyond the scope of the present work and is left for future investigation. revision: partial
Circularity Check
Central incompatibility claims reduce to self-cited definition of the inaccessible game and asserted prohibition on external structure
specific steps
-
self citation load bearing
[Abstract]
"The inaccessible game (Lawrence, 2025, 2026) is an information-theoretic dynamical system governed by three information loss axioms, a marginal entropy conservation constraint and maximum entropy dynamics. ... The marginal-entropy conservation in the game is a nontrivial entropy constraint which prohibits external structure. Through the no-barber principle we argue (i) the classical category FinProb, in which Shannon entropy is characterised, is cartesian and provides canonical diagonal (copying) maps that make Lawvere-style constructions expressible and is structurally incompatible with theno"
The game definition, axioms, and the claim that marginal entropy conservation prohibits external structure are imported wholesale via self-citation. The no-barber principle is then invoked to declare FinProb incompatible because its diagonals would allow Lawvere constructions, yet the manuscript supplies no explicit embedding of the game's selection policy or information-loss axioms into either category nor shows that Δ: X → X ⊗ X produces a measurable violation of conservation. The incompatibility conclusion therefore reduces to the prior self-defined framework.
full rationale
The derivation begins by citing the inaccessible game and its marginal-entropy conservation constraint directly to the author's prior work (Lawrence 2025, 2026). The no-barber principle is introduced via Lawvere/Russell analogy and then applied to conclude that FinProb's canonical diagonals are incompatible while NCFinProb is compatible. No independent derivation is given showing that any use of a copying map Δ would violate the three information-loss axioms or the conservation constraint inside the game's dynamics; the prohibition on external structure is asserted from the self-cited framework rather than derived from first principles or external benchmarks. This makes the load-bearing step self-citation dependent.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption The inaccessible game is governed by three information loss axioms, a marginal entropy conservation constraint and maximum entropy dynamics.
- ad hoc to paper Rules that quantify over distinctions they cannot internally represent risk impredicative-style circularity.
invented entities (1)
-
No-barber principle
no independent evidence
Reference graph
Works this paper leans on
-
[1]
Kittel, Charles and Kroemer, Herbert , title =
-
[2]
Jahresbericht der Deutschen Mathematiker-Vereinigung , volume =
Cantor, Georg , title =. Jahresbericht der Deutschen Mathematiker-Vereinigung , volume =
-
[3]
Theoretical Computer Science , volume =
Jean-Yves Girard , title =. Theoretical Computer Science , volume =. 1987 , publisher =
1987
-
[4]
William Lawvere and Stephen H
F. William Lawvere and Stephen H. Schanuel , title =. 2009 , isbn =
2009
-
[5]
On the Consistent Reasoning Paradox of Intelligence and Optimal Trust in
Alexander Bastounis and Paolo Campodonico and Mihaela. On the Consistent Reasoning Paradox of Intelligence and Optimal Trust in. CoRR , volume =. 2024 , doi =
2024
-
[6]
Russell, Bertrand , title =. From. 1967 , publisher =
1967
-
[7]
Turing , title =
Alan M. Turing , title =. Proceedings of the London Mathematical Society , year =
-
[8]
Monatshefte f
Kurt G. Monatshefte f. 1931 , volume =
1931
-
[9]
Studia Philosophica , volume =
Tarski, Alfred , title =. Studia Philosophica , volume =. doi:10.1515/9783112645826-016 , year =
-
[10]
1985 , publisher=
Exchangeability and Related Topics , author=. 1985 , publisher=
1985
-
[11]
Atti della R
Funzione caratteristica di un fenomeno aleatorio , author=. Atti della R. Academia Nazionale dei Lincei , volume=
-
[12]
Deutsch, Harry , title =. The. 2024 , publisher =
2024
-
[13]
2001 , note =
Munchkin , author =. 2001 , note =
2001
-
[14]
Quantum Information Theory and Quantum Statistics , publisher =
D. Quantum Information Theory and Quantum Statistics , publisher =. 2008 , series =
2008
-
[15]
Nonlinear model dynamics for closed-system, constrained, maximal-entropy-generation relaxation by energy redistribution , author =. Phys. Rev. E , volume =. 2006 , month =
2006
-
[16]
Lawrence, Neil D. , title =. 2025 , month = nov, eprint =. doi:10.48550/arXiv.2511.06795 , url =
-
[17]
Lawrence, Neil D. , title =. 2026 , month = jan, eprint =. doi:10.48550/arXiv.2601.12576 , url =
-
[18]
, title =
Lawrence, Neil D. , title =. 2026 , note =
2026
-
[19]
2002 , series =
Takesaki, Masamichi , title =. 2002 , series =
2002
-
[20]
An Invitation to the Algebra of Canonical Commutation Relations , publisher =
Petz, D\'. An Invitation to the Algebra of Canonical Commutation Relations , publisher =. 1990 , series =
1990
-
[21]
and Sanguinetti, Guido and Rattray, Magnus , title =
Lawrence, Neil D. and Sanguinetti, Guido and Rattray, Magnus , title =. Advances in Neural Information Processing Systems 19 , pages =. 2006 , abstract =
2006
-
[22]
Physical Review Letters , volume =
Holonomy, the Quantum Adiabatic Theorem, and Berry’s Phase , author =. Physical Review Letters , volume =. 1983 , doi =
1983
-
[23]
Proceedings of the Royal Society of London
Quantal Phase Factors Accompanying Adiabatic Changes , author =. Proceedings of the Royal Society of London. Series A, Mathematical and Physical Sciences , volume =. 1984 , doi =
1984
-
[24]
Communications in Mathematical Physics , volume =
Riemannian Structure on Manifolds of Quantum States , author =. Communications in Mathematical Physics , volume =. 1980 , doi =
1980
-
[25]
Lawrence , title =
Neil D. Lawrence , title =
-
[26]
Michael Brookes , title =
-
[27]
and Luengo, David and Lawrence, Neil D
Álvarez, Mauricio A. and Luengo, David and Lawrence, Neil D. , journal=. Linear Latent Force Models Using Gaussian Processes , year=
-
[28]
Proceedings of the Twelfth International Conference on Artificial Intelligence and Statistics , pages =
Latent Force Models , author =. Proceedings of the Twelfth International Conference on Artificial Intelligence and Statistics , pages =. 2009 , editor =
2009
-
[29]
Salomon Bochner , title =
-
[30]
Beyond Equilibrium Thermodynamics , publisher =
Hans Christian. Beyond Equilibrium Thermodynamics , publisher =. 2005 , isbn =
2005
-
[31]
2012 , series =
Ulrich Weiss , title =. 2012 , series =
2012
-
[32]
Reports on Progress in Physics , volume =
Ryogo Kubo , title =. Reports on Progress in Physics , volume =. 1966 , doi =
1966
-
[33]
Journal of the Physical Society of Japan , volume =
Ryogo Kubo , title =. Journal of the Physical Society of Japan , volume =. 1957 , doi =
1957
-
[34]
Callen and Theodore A
Herbert B. Callen and Theodore A. Welton , title =. Physical Review , volume =. 1951 , doi =
1951
-
[35]
Caldeira and Anthony J
Amir O. Caldeira and Anthony J. Leggett , title =. Physica A: Statistical Mechanics and its Applications , volume =. 1983 , doi =
1983
-
[36]
Open Systems & Information Dynamics , author=
A Brief History of the GKLS Equation , volume=. Open Systems & Information Dynamics , author=. 2017 , pages=. doi:10.1142/s1230161217400017 , number=
-
[37]
Reports on Mathematical Physics , volume =
On quantum statistical mechanics of non-Hamiltonian systems , author =. Reports on Mathematical Physics , volume =. 1972 , issn =
1972
-
[38]
Ingarden and Andrzej Kossakowski , title =
Roman S. Ingarden and Andrzej Kossakowski , title =. Annals of Physics , volume =. 1975 , doi =
1975
-
[39]
Communications in Mathematical Physics , volume =
G\"oran Lindblad , title =. Communications in Mathematical Physics , volume =. 1976 , doi =
1976
-
[40]
Reports on Mathematical Physics , volume =
Beretta, Gian Paolo , title =. Reports on Mathematical Physics , volume =. 2009 , publisher =
2009
-
[41]
Gian Paolo Beretta and E. P. Gyftopoulos and J. L. Park , title =. Nuovo Cimento B , volume =. 1985 , doi =
1985
-
[42]
Journal of Non-Equilibrium Thermodynamics , volume=
On a Principle of Maximal Rate of Entropy Production , author=. Journal of Non-Equilibrium Thermodynamics , volume=. 1987 , doi=
1987
-
[43]
Annual Review of Physical Chemistry , volume=
The Minimum Entropy Production Principle , author=. Annual Review of Physical Chemistry , volume=. 1980 , doi=
1980
-
[44]
, title =
Prokopenko, Mikhail and Lizier, Joseph T. , title =. Scientific Reports , volume =. 2014 , doi =
2014
-
[45]
Time-Reversal and Entropy , journal =
Maes, Christian and Neto. Time-Reversal and Entropy , journal =. 2003 , doi =
2003
-
[46]
Journal of Economic Dynamics and Control , volume =
Paulin, James and Calinescu, Anisoara and Wooldridge, Michael , title =. Journal of Economic Dynamics and Control , volume =. 2019 , doi =
2019
-
[47]
Early-warning signals for critical transitions,
Scheffer, Marten and Bascompte, Jordi and Brock, William A. and Brovkin, Victor and Carpenter, Stephen R. and Dakos, Vasilis and Held, Hermann and van Nes, Egbert H. and Rietkerk, Max and Sugihara, George , title=. Nature , volume=. doi:10.1038/nature08227 , year=
-
[48]
Dakos, Vasilis and Scheffer, Marten and van Nes, Egbert H. and Brovkin, Victor and Petoukhov, Vladimir and Held, Hermann , title=. Proceedings of the National Academy of Sciences , volume=. doi:10.1073/pnas.0802430105 , pages=
-
[49]
Nadakuditi, Raj Rao and Newman, Mark E. J. , title=. Physical Review Letters , volume=. doi:10.1103/PhysRevLett.108.188701 , year=
-
[50]
Hawkes processes in finance , eprint=
Bacry, Emmanuel and Mastromatteo, Iacopo and Muzy, Jean-Fran. Hawkes processes in finance , eprint=. 2015 , doi =
2015
-
[51]
Academic Press , year=
Mehta, Madan Lal , title=. Academic Press , year=
-
[52]
, title=
Harris, Theodore E. , title=. Springer , year=
-
[53]
Beggs, John M. and Plenz, Dietmar , title=. Journal of Neuroscience , volume=. doi:10.1523/JNEUROSCI.23-35-11167.2003 , year=
-
[54]
2010 , publisher=
Quantum Computation and Quantum Information , author=. 2010 , publisher=
2010
-
[55]
Proceedings of the National Academy of Sciences , volume=
Community structure in social and biological networks , author=. Proceedings of the National Academy of Sciences , volume=. 2002 , doi=
2002
-
[56]
Science , volume=
Forest fires: An example of self-organized critical behavior , author=. Science , volume=. 1998 , doi=
1998
-
[57]
Ecology , volume=
Successional patterns in forest communities , author=. Ecology , volume=. 1990 , doi=
1990
-
[58]
1998 , publisher=
Physics from Fisher Information: A Unification , author=. 1998 , publisher=
1998
-
[59]
Intrinsic decoherence in quantum mechanics , author =. Phys. Rev. A , volume =. 1991 , month =
1991
-
[60]
1897 , publisher=
Theory of Groups of Finite Order , author=. 1897 , publisher=
-
[61]
A Theory of Inaccessible Information , author=. Quantum , volume=. 2024 , month=. doi:10.22331/q-2024-09-09-1464 , eprint=
-
[62]
Philosophical Transactions of the Royal Society A , volume=
The fourth law of thermodynamics: steepest entropy ascent , author=. Philosophical Transactions of the Royal Society A , volume=. 2020 , month=. doi:10.1098/rsta.2019.0168 , note=
-
[63]
Poincar. Sur les. Acta Mathematica , volume=. 1890 , publisher=
-
[64]
1996 , publisher=
A Course in Group Theory , author=. 1996 , publisher=
1996
-
[65]
2012 , publisher=
An Introduction to the Theory of Groups , author=. 2012 , publisher=
2012
-
[66]
Precision electroweak measurements on the Z resonance , journal =
The ALEPH Collaboration and. Precision electroweak measurements on the Z resonance , journal =. 2006 , issn =
2006
-
[67]
Sitzungsberichte der Preussischen Akademie der Wissenschaften zu Berlin (Math
Kaluza, Theodor , title =. Sitzungsberichte der Preussischen Akademie der Wissenschaften zu Berlin (Math. Phys.) , year =
-
[68]
Zeitschrift f
Klein, Oskar , title =. Zeitschrift f. 1926 , volume =
1926
-
[69]
Nature , year =
Klein, Oskar , title =. Nature , year =
-
[70]
1987 , isbn =
Modern. 1987 , isbn =
1987
-
[71]
, title =
Bombelli, Luca and Lee, Joohan and Meyer, David and Sorkin, Rafael D. , title =. Physical Review Letters , year =
-
[72]
Living Reviews in Relativity , volume=
The causal set approach to quantum gravity , author=. Living Reviews in Relativity , volume=. 2019 , doi =
2019
-
[73]
Physical Review D , volume=
Entanglement renormalization and holography , author=. Physical Review D , volume=. 2012 , doi =
2012
-
[74]
Journal of High Energy Physics , volume=
Holographic quantum error-correcting codes: toy models for the bulk/boundary correspondence , author=. Journal of High Energy Physics , volume=. 2015 , doi =
2015
-
[75]
International Journal of Modern Physics D , volume=
Building up spacetime with quantum entanglement , author=. International Journal of Modern Physics D , volume=. 2010 , doi=
2010
-
[76]
Entropy , volume =
Ariel Caticha , title =. Entropy , volume =. 2015 , doi =
2015
-
[77]
International Journal of Modern Physics A , year =
Vitaly Vanchurin , title =. International Journal of Modern Physics A , year =
-
[78]
Physical Review B , year =
Michael Levin and Xiao-Gang Wen , title =. Physical Review B , year =
-
[79]
2018 , eprint=
Quantum Shannon Theory , author=. 2018 , eprint=
2018
-
[80]
Berger, James O. , title =. Bayesian Analysis , year =. doi:10.1214/06-BA115 , publisher =
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.