Open research library
Papers you can read, cite and question
728 papers from the QNFO program, filed on nine shelves by the reader each one is written for: energy per answer, error correction, physics, numbers and p-adics, logic and formalism, AI and knowledge, autonomous systems, assessments, and cross-cutting essays. Every page renders its mathematics and can be questioned in place. How a living paper works.
Looking for an answer rather than a paper? Ask the whole corpus: answers cite the papers they come from.
Results for “distinction” 61 papers
Syntactic Token Calculus: Deriving Particle-like Normal Forms from Distinction Operations (Corrected Revision)
High-energy physics explains the observed particle spectrum through continuous quantum fields, spontaneous symmetry breaking, and a growing inventory of unobservable entities, a framework whose theoretical and experimental costs are substantial and whose falsifiability is contested. A gap remains:…
The Bruhat–Tits Tree as a Unifying Computational Primitive: Confluence, Quantum Walks, and Tree‑Distance Attention
Hierarchical data, quantum‑amplitude dynamics, and proof‑normalisation each rely on distinct geometric primitives that incur sample‑inefficiency, slow convergence, or non‑confluent reductions. The $p$‑adic Bruhat–Tits tree provides a single ultrametric structure that can replace Euclidean…
Cross‑Ratios as Universal Atoms of Meaning: A Projective‑Invariant Framework for Likelihood, Information, and Decision Theory
Dimensionless descriptors such as physical constants, likelihood ratios, and mutual information are central to inference across physics, statistics, and machine learning, yet they are vulnerable to changes of units, model parametrizations, or data distributions. This work bridges projective geometry…
Non-Computable Reals as Projection Artifacts: A Formal Analysis of Tree‑to‑Manifold Construction of the Continuum
Continuum physics and analysis are formulated over the completed real line, yet every measurement, record, and computation is finite, and the physical role of the uncountable remainder of $\mathbb{R}$ remains unresolved. This paper develops a formal framework for the conjecture that the continuum is…
Distinction, Discretisation, and the Cost of Law: A Quantitative Sketch of Approximation Entropy
The deepest question in physics is often posed as "What are the laws?", but a prior question is "What does it cost to state, and to compute with, a law?" Building on the distinction-based formalism of Spencer-Brown's Laws of Form as consolidated in the Quantum Laws of Form (QNFO) programme, and on…
Number Systems as Stratified Distinction Operations: An Enclosure Hierarchy over the Mark
The conventional tower of number systems—$\mathbb{N}\subset\mathbb{Z}\subset\mathbb{Q}\subset\mathbb{R}\subset\mathbb{C}$—augmented by the $p$-adic fields $\mathbb{Q}_{p}$ and the adele ring $\mathbb{A}$ is usually presented as a sequence of completions without a unifying generative principle.…
Ontological Re‑Entry: What Can We Say Exists?
The re-entry problem asks which existence claims a finite-resource observer can legitimately make when its internal structure is projected back onto the world. Existing approaches lack a quantitative link between ontological commitments and physical limits. We fill this gap by (i) defining a…
What Makes a Measure “Genuinely Natural”? Bits, Nats, and the Audit of Naturalness Claims in Measurement, Information, and Language
The adjective “natural” is invoked across quantitative sciences to suggest privileged status for units, conventions, or datasets. This paper formalizes three explicit criteria for a measurement convention to be genuinely natural—ratio/relabeling invariance, additivity, and constant‑freedom—and…
Re‑Entry Modes in Solid‑State Quantum Devices: A Calculus of Distinctions with Fully Shown Quantitative Benchmarks
Re‑entry, the self‑referential insertion of a distinction into its own indicational space, is a primitive operation identified in the Laws of Form tradition. Whether this operation can be given operational meaning in solid‑state quantum devices is unknown. Existing solid‑state literature reports…
Re-Entry as a Binary Prohibition Law: Enumeration, Impossibility, and the Three-Outcome Completion
Self-referential constraints arise in hardware security, programmable logic, and symbolic execution tools, where a system must forbid a state while generating the very operation that enforces the prohibition. The open question is whether a re-entering form of the calculus of indications — a…
The Number Builder: Enclosure Sequences in the Laws of Form Calculus as a Constructive Route to Computable Reals
We address the gap that no minimal, mark‑based formalism has been shown to generate all computable reals. We formalize enclosure sequences as finite Laws of Form (LoF) expressions equipped with a computable re‑entry schedule, define an interpretation that maps each unfolding to a rational…
Epistemic Disturbance in the Graph Model for Conflict Resolution: State-Preserving Actions, Four-Valued Assessments, and the Distinction between Capability and Intention
In the graph model for conflict resolution (GMCR), a decision maker (DM) either moves the conflict to another state or does nothing, and every action that leaves the state unchanged is silently classified as inaction. Yet announcements, exercises of rights, leaks, and selective disclosures leave the…
Distinction-Lattice Framework: Eigenforms, Bisimulation, and the Realizability Boundary of Self-Reference
A conservative formal version of the Distinction-Lattice Framework (DLF): stable entities are bisimulation classes of observational behaviour, certified coinductively, with realizability separated from fixed-point existence. This version (v0.2.0, superseding v0.1.1) narrows novelty claims, corrects…
Distinction, Number, and the Empirical Filter: The Pre-Arithmetic Research Framework
Several research lines in mathematical physics begin from identities between arithmetic objects and partition functions, or between hierarchical structure and ultrametric geometry, and ask whether any physical system realizes the resulting structure. Each such line must answer the same two…
The Distinction-Based Ultrametric: A Hierarchy Distance Without Primes, and the Statistical Test of Arithmetic Structure in Physical Spectra
Quantum mechanics is written in one completion of the rational numbers, the real line, though Ostrowski's theorem gives one completion for every prime. A line of work reads physical structure through those other places, but its empirical tests of prime-specific geometry in physical systems have…
Quantum Statistics from the Adelic Product Formula: The Squarefree Origin of the Fermi-Dirac/Bose-Einstein Distinction
Why are there two quantum statistics, and only two, in three spatial dimensions? This paper reads the Bose–Einstein and Fermi–Dirac occupation distributions as the maximum-entropy solutions of one lattice with two multiplicity rules. On the unrestricted integer lattice the Euler factor at each prime…
The Consilience of the QNFO Keyword Taxonomy: Ultrametric Structure as a Testable Compression Prior
The QNFO research program spans seven domains — ultrametric physics, the laws of form, infomatics, paradigm engineering, consilience research, the QWAV platform, and interactive demos — and maintains a canonical keyword taxonomy of 335 terms used to scope external discovery. A recurring claim in the…
Finite-Distinction Quantum Mechanics: Unitary Evolution and Superposition as the Large-Distinction Limit of Stochastic Thermodynamics
The continuum is an infinite-information object: a single real coordinate specifies infinitely many yes/no distinctions, and a finite-entropy world cannot contain such coordinates. This paper assembles the consequences of that observation into a three-part thesis. First, the finite-information…
The Self-Referential Scalar Family: e, the Half-Turn, and the Unification of Information Theory, Statistics, Thermodynamics, and QND Measurement in the Adelic Picture
Standard information theory measures uncertainty at the archimedean place; the adelic program extends it to all completions of the rationals, carrying a p-adic valuation entropy alongside Shannon entropy. This paper shows that the two most familiar distributions of statistical mechanics are already…
ZX Diagrams at the Seam: Spiders, Pauli Webs, Gadgets, and the Cafeteria Problem of Cross-Disciplinary Imports
Diagrammatic languages are the most successful interface between quantum computing and the human mind. The ZX calculus — with its spiders, Pauli webs, and gadgets — is taught as the intuitive picture of quantum processes, and its completeness theorems are among the finest results in the field. Yet…
Conditional Truths and the Locale Framework: Map, Territory, and the Rendering Interface
Every physical statement is a conditional truth: it holds only within a locale --- a specified vacuum or symmetry sector, background geometry, medium, energy scale, or observer frame. This paper formalizes the resulting locale framework in four moves. First, a catalog of conditional truths (photon…
Non-Archimedean Projective Perspective: The Monna Map as a Visual Rendering Interface
Things farther away appear smaller, and two-point linear perspective is taken to approximate the eye. That entire phenomenology is Archimedean geometry. This paper asks what changes if the metric of physical space were instead non-Archimedean and ultrametric — would we perceive the same thing, and…
Configuration-Space Topology and the Distinction Calculus: The Exchange Scalar, Its ±1 Shadow, and a Pre-Registered Derivation Program
Configuration-space topology (CST) derives exchange statistics from the topology of the space in which identical particles move: the fundamental group pi_1(C_N(M)) is the symmetric group S_N in d >= 3 spatial dimensions (exactly two exchange phases: boson +1, fermion -1) and the braid group B_N in d…
The Exchange Phase as a Logical Scalar: R = e^(2 pi i s) from the Re-Entrant Calculus
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…
Invariant Structural Value: Fundamental Constants and Formulas as Invariant Relations
We develop the thesis that the fundamental constants and formulas of physics encode invariant relations rather than unit-dependent magnitudes. Measurable physics is characterized as the invariant quotient of a larger non-measurable mathematical structure modulo redundancy groups: units, coordinates,…
Signal-Worker Boundary Confinement: A Corrected Ontology of Surface vs Bulk Transport
The Signal-Worker (S-W) ontology — boson = signal (the delocalized field instruction), fermion = worker (the localized state that performs work) — is the QNFO corpus's proposed decomposition of the wave–particle duality fog. This paper delivers the red-team-hardened correction of that ontology's…
The Boson/Fermion Distinction: Spin-Statistics as Structural Invariant
The textbook dichotomy between bosons and fermions is commonly presented as a primitive classification of nature, with the spin-statistics theorem as its iron law. This paper argues that the dichotomy is a derived, dimension-dependent shadow of a single structural relation: the exchange phase of…
The Idempotent Core: Quantity as Broken Distinction and the Hidden Assumptions of Arithmetic and Algebra
Classical arithmetic treats the statement $1+1=2$ as a primitive truth and quantity as a fundamental concept. This paper examines the hidden premise of that statement: the two instances of the numeral $1$ must denote distinct marks. In the calculus of indications, the law of calling — idempotence…
Prime Valuation Depth: Multiplication as Branching, the Calculus of Indications, and the Structural No-Cloning Reading
This paper develops a structural reading of the p-adic valuation as a measure of depth along a prime branch of the integer factorization tree, rather than a measure of size. The reading, grounded in Ostrowski's classification of absolute values on the rationals, is proposed as a bridge between the…
The Void Is Not False: Recovering the Unmarked State in Logic from the Calculus of Indications
Boolean logic treats
falseas a primitive truth value, and classical set theory treats the empty set as a primitive object. This paper argues that both commit a foundational category error: they reify the void — the unmarked state before any distinction — into a member of the system. In the…The Calculus of Re-Entrant Distinctions: A Unified Treatise on the Loop, the Tree, and the Constants of Self-Reference
This treatise develops a single thesis: that the primitive act of distinction — the drawing of a boundary between marked and unmarked — generates, under the discipline of re-entry and linear resource management, the constants $e$ and $\pi$, the landscape of completions of the rational numbers, the…
The Consilience Framework: From Valuation Theory to the Void — A Cross-Domain Synthesis
This memo synthesizes two deep-dive conversations on valuation theory and foundational mathematics into a unified framework. We trace the complete hierarchy from the void (unmarked state) through the calculus of distinctions (Laws of Form), ZFC set theory, and Ostrowski's theorem, arriving at a…
The Adelic Distinction: Physics as Automorphic Representation Theory on the Idele Class Group
Ostrowski's theorem (1916) establishes that every completion of the rational numbers $\mathbb{Q}$ is either the real Archimedean place $\mathbb{R}$ or a $p$-adic non-Archimedean place $\mathbb{Q}_p$. Physics has, for a century, restricted itself to the Archimedean completion alone — using real…
Invariant Patterns and the Adelic Refactoring of Fundamental Physics
This paper proposes a systematic refactoring of fundamental physics around a single organizing principle: physics is the study of invariant patterns under specified classes of transformations. Stripping away anthropocentric conventions --- measurement units and the privileged status of Archimedean…
Quasiparticles as Rational Functions: Extending ODR to Condensed Matter
The Ontological Distribution of Reality (ODR) framework identifies a particle with its Compton count \(N_C = m/m_P \in \mathbb{Q}^+\), a dimensionless rational number whose prime factorization assigns it a fixed vertex on the Bruhat–Tits tree. This paper extends that framework to address a natural…
Boundary Ultrametricity: The Tree vs. ∂∞𝒯 Distinction, Applied to the ZBW Transition Graph
The QNFO corpus frequently conflates two distinct mathematical properties of trees: 0-hyperbolicity (of the vertex/graph metric) and ultrametricity (of the boundary metric). This note formalizes the distinction, proves the boundary Gromov-product metric on…
The History and Future of Measurement Stratigraphy, Number Theory, and Valuation Theory
[We propose a unified framework — the Stratigraphy of Measurement — that reinterprets the history of number systems as a sequence of expanding distinction operations. Each era adds a new enclosure: marking ($\\mathbb{N}$), comparing ratios ($\\mathbb{Q}$), convergent sequences ($\\mathbb{R}$_comp),…
The Adelic Physics Program: Epistemological Foundations and Communications Framework
The QNFO Adelic Physics Program proposes that the physically accessible base field of physics is ℚ (the rational numbers), not ℝ (the real numbers). Ostrowski's theorem — a proven result in number theory — then demands that all p-adic completions of ℚ be physically meaningful, transforming the…
P-adic Spin, Information, and Ultrametric Internal Quantum Numbers
Paper I established that the Archimedean continuum the real numbers_c suffices for all physical dynamics — depth without breadth. Here we complete the picture: what of the ultrametric completions of the rational numbers? We argue that the p-adic numbers the rational numbers_p are not "extra spatial…
The Computable Real Boundary: Where Physics Ends and Cognitive Fiction Begins
Every experiment reduces to a finite act of distinction: this reading, not that; this frequency range, not that; this bit string, not its negation. Physics is, at its operational core, a discipline of finite distinguishability. Yet the mathematical architecture physics inherited — the real number…
Vanishing ZBW Signal: The ZBW-Majorana Hypothesis as a Unified Framework for Topological Fermion Distinction
The ZBW-Majorana hypothesis, developed across four companion papers (P1--P4), establishes that Zitterbewegung (ZBW) --- the rapid trembling motion of Dirac fermions at the Compton scale --- is a $\mathbb{Z}_2$ topological observable that distinguishes Dirac from Majorana fermions at the hardware…
Pillar 3: PBO/Autaxys — Pattern-Based Ontology as Intrinsic Self-Ordering
PBO/Autaxys (Pattern-Based Ontology) is presented as an intrinsic self-ordering meta-framework grounded in two primitive operations: Distinction (D) and Relation (R). From these D/R primitives, all patterns, structures, and physical laws are shown to emerge without recourse to external agents or…
Embodied Mathematics After Lakoff & Nunez: A QNFO Perspective
This review examines Where Mathematics Comes From: How the Embodied Mind Brings Mathematics into Being (Lakoff & Núñez, 2000) from the perspective of the QNFO research framework. Lakoff and Núñez's central thesis—that mathematics emerges from human bodily experience through ordinary cognitive…
NUMERATA: A Multi-Axis Framework for Evaluating Numeral Systems
How should numeral systems be evaluated? NUMERATA v1.0 proposed an 8-axis framework spanning structural, cognitive, and design dimensions. v2.0 extends this foundation in two directions. First, we integrate a Distinction Calculus for Numbers (DCN) — a formal arithmetic grounded in…
The p-Adic Temperley-Lieb Parameter: Cyclotomic Units, Markov Traces, and the p-Adic Jones Polynomial
In Phase 1, we defined the p-adic braid group $B_n(\mathbb{Q}_p)$ on the Bruhat-Tits tree $\mathcal{T}_p$ and showed it satisfies the standard braid relations. Here we complete the connection to the Temperley-Lieb algebra and the Jones polynomial at non-archimedean places. The TL algebra parameter…
Zitterbewegung as a p-Adic Observable: Ultrametric Readout and Intrinsic Topological Protection for Majorana Qubits
The Zitterbewegung (ZBW) of a Dirac fermion — the rapid oscillatory motion at the Compton frequency arising from interference between positive- and negative-energy states — has resisted direct experimental observation for nearly a century. The standard interpretation attributes this to the Compton…
Zitterbewegung as a p-Adic Observable: Ultrametric Readout and Intrinsic Topological Protection
The Zitterbewegung (ZBW) of a Dirac fermion — the rapid oscillatory motion at the Compton frequency arising from interference between positive- and negative-energy states — has resisted direct experimental observation for nearly a century. The standard interpretation attributes this to the Compton…
Syntactic Generation
Traditional models of physical reality rely on the assumption of foundational substances. These base materials are typically conceptualized as particles, fields, or continuous spatial manifolds. Such approaches inevitably generate persistent philosophical dualisms and questions regarding ultimate…
Automated Formal Verification and Combinatorial Reduction of Distinction-Based Calculus
The foundation of modern formal mathematics has historically rested upon Zermelo-Fraenkel set theory with the Axiom of Choice (ZFC), a container-based ontology that often conflates zero with the empty set and necessitates arbitrary constraints to prevent self-reference. To systematically evaluate…
Formal Ontology of Distinction and Invariance
This document presents the complete, self-compliant synthesis of the Ontic Relational Patternism framework. Starting from a single primitive syntactic token—the mark—and three context-closed reduction rules (Calling, Crossing, Void), we derive a purely relational universe where the cross-ratio is…
New papers by email
One short weekly digest: titles and links. No tracking; unsubscribe any time.