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 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.