About

QIQT-H stands for Quantized Information Quantum Theory — Holographic. It is a foundational research program proposing a single-world, no-collapse account of quantum measurement: the global wave function evolves exactly unitarily and keeps every branch, while a single non-dynamical actuality selector λ marks one decohered record as the actual world. There is no collapse postulate and no branching multiverse; the holographic premise — that bounded regions hold only finite information — supplies the finite, covariant record stage on which this happens. (An earlier framing, that finite capacity itself forces a single outcome, has been retired as a category error; the single outcome is λ’s.)

The program’s central technical result is a flat-space record–gravity correspondence — an AdS/CFT-style holographic duality, but in flat spacetime and built from the finite-capacity postulate (P4) rather than string theory: in the continuum limit, one finite-capacity information system (the region-by-region record code of Φ) is simultaneously free quantum matter and the gravity that curves around it, with the same Sakharov-induced Newton constant computing both sides — no calibration. Its finite evidence and its five continuum rungs are machine-checked term by term, and the entailment (named physical inputs ⟹ correspondence) is machine-verified and non-vacuous; the unconditional statement is not proven — it is a conditional theorem whose remaining inputs are named, in the same style as the rest of the program.

The program is the work of Pawel Kaplanski. The mathematical substrate is developed and machine-checked in Lean 4 / Mathlib.

The discipline

This site is written to a standard of honest scope. Three commitments govern it:

• Label every link. The argument is a chain; each step is marked as postulate, verified calculus, retired claim, or open. Nothing is presented as settled that is not — including, prominently, the retirement of the program’s original headline (capacity does not forbid records).
• Don’t over-credit the formalization. The machine-checked work is now substantial and axiom-free: the modular / relative-entropy calculus ($\chi_R$, Araki = CGP), the covariant σ-additive consistent Born measure on the free-field record net, the Born-from-typicality reduction (down to a single state-supervenience premise, with a no-go that some premise is unavoidable), and the covariance/contextuality structure of λ’s law. What it does not establish: the holographic axiom (FQ), λ’s dynamical law, or the continuum (Type III₁). See formalization and open problems.
• Standard axioms, named. The project is now axiom-free (zero project axioms): every theorem depends only on the standard classical foundations every Mathlib proof uses (propext, Classical.choice, Quot.sound), with no sorry. The continuum Type III₁ realization is a cited frontier, not an axiom.

Contact

Pawel Kaplanski — pawel@kaplanski.ai. Source and issues: github.com/kaplan196883/QIQT-H.