---
title: "Information-theoretic Limits on Programmatic Specification of Biological Systems"
slug: "kkr-coarse-graining-threshold"
url: https://papers.qnfo.org/papers/kkr-coarse-graining-threshold
authors: ["Tuomo Kiiskinen", "Oscar Kivinen", "Manuel A Rivas"]
version: "1"
published: "2026-08-01"
updated: "2026-09-26"
license: "QNFO-ULA-2.1"
status: "external_preprint"
quality_label: "High-quality scholarly research"
quality_basis: "QNFO publisher classification for open-access, versioned research with a public revision history and reader correction channel; this is not a claim of independent peer review."
peer_review_status: "Not independently peer-reviewed"
quality_evidence_url: "https://qnfo.org/about"
quality_tags: ["High-quality scholarly research", "open-access scholarly work", "versioned research publication"]
---

# Information-theoretic Limits on Programmatic Specification of Biological Systems

Shows via information theory that an organism does not contain enough organism-specific information to specify its own microscopic organization. The genome is a generator specification (not trajectory program). Establishes coarse-graining threshold with dual Hartley/Shannon entropy faces.

# Information-theoretic Limits on Programmatic Specification of Biological Systems

**Authors:** Tuomo Kiiskinen, Oscar Kivinen, Manuel A Rivas
**DOI:** [10.64898/2026.07.27.740886](https://doi.org/10.64898/2026.07.27.740886)
**Status:** bioRxiv preprint (July 27, 2026)
**Code:** [github.com/yuj1r0/itol](https://github.com/yuj1r0/itol) (MIT license)

## Executive Summary

This paper provides a rigorous information-theoretic proof that an organism genome plus environmental signals is provably insufficient to deterministically specify its own microstate trajectory. The genome acts as a generator specification (a hockey coach game plan) rather than a trajectory program (figure-skating choreography). The gap is filled by a shared physical substrate Phi (the universal compiler) that compiles the coarse spec into a functioning organism via physics at runtime.

## QNFO Relevance: HIGH - Structural Consilience with Autaxys OC

This paper arrives at the same structural conclusion as Autaxys Ontological Closure from biology rather than physics:

- Finite genomic specification (C_G <= 2n bits) = finite D/R procedure
- Coarse-graining threshold C*(B) = computable modulus of convergence boundary
- Universal compiler Phi = shared physical substrate
- Generator specification (not trajectory program) = compilation (not execution)

**Layer mapping:** Layer 4 (Information Theory) DIRECT -> Layer 5 (Autaxys) STRONG -> Layer 6 (Physics = Computable Reals) MEDIUM

## Key Technical Contributions

- Dual Hartley/Shannon entropy faces for the coarse-graining threshold
- Runtime-randomness lemma (bits relocated to runtime must still be consumed)
- Initial-condition mixing lemma (Laplacian-demon loophole closed)
- Zero-error addressability proposition (pigeonhole for deterministic spec)
- Environmental rescue impossibility across 7 physical modalities

## Empirical Validation

Five worked cases: E. coli proteome (3-24x genomic budget gap), Drosophila Bicoid morphogen (~1.5 bits/nucleus), C. elegans descriptor ladder (threshold crossed at voxel delta=0.10um), AlphaFold-2 cross-organism compression, JCVI-syn3A 4D whole-cell simulation.

## Assessment

- Rigor: Mathematical proofs complete (31-page supplementary)
- Reproducibility: Open-source code with fixed seeds and YAML configs
- Peer review: bioRxiv preprint, not yet peer-reviewed
- Companion code: github.com/yuj1r0/itol (MIT, Python >= 3.10)