Algorithmic Neuroscience
Kolmogorov Theory
Papers on Kolmogorov Theory — an algorithmic-information account of cognition and consciousness — with abstract summaries.
2007 – Information, complexity, brains, and reality (Kolmogorov Manifesto) (arXiv) · Zenodo
Proposes that cognition can be understood as the search for programs approaching the Solomonoff–Kolmogorov–Chaitin complexity limit. Introduces “reality” as a mental model constructed by compressing and interpreting coherent sensory inputs.
2009 – Reality as Simplicity (arXiv) · Zenodo
Argues that all human experience is built from algorithmic models seeking simplicity. Develops a hierarchy of processing levels where the brain selects the simplest model consistent with data, illustrating applications in mismatch negativity and Presence research.
2016 – MODELS, NETWORKS AND ALGORITHMIC COMPLEXITY (arXiv) · Zenodo
Demonstrates that models, classification functions, invariances, and datasets are algorithmically equivalent. Shows how neural networks implement these models and fall into a descriptive power hierarchy aligned with recursive‑function theory.
2017 – An algorithmic information theory of consciousness (Neuroscience of Consciousness) · Zenodo
Presents an AIT framework for quantifying structured experience from neurophysiological data. Hypothesizes that compressive generative models by recurrent networks underlie phenomenal structure and self‑awareness; reviews methods such as ERP paradigms, spontaneous state analysis, stimulation, and behavioral measures. Annotated version
2021 – The 2D Ising model, criticality and AIT (bioRxiv) · Zenodo
Uses the 2D Ising model to link phase‑transition phenomena (correlation length, susceptibility) with algorithmic complexity metrics (LZW compression, information rate). Shows how sparse long‑range couplings shift critical temperature and discusses implications for neural criticality.
2022 – AIT Foundations of Structured Experience (Journal of Artificial Intelligence and Consciousness) preprint
Unifies consciousness under AIT by defining structured experience (𝒮) as the match between data and succinct generative programs. Associates model length with qualitative aspects of experience and predicts empirical markers via dimensionality reduction and criticality.
2022 – Algorithmic structure of experience and the unfolding argument (PsyArXiv)
Examines how the “unfolding argument” and falsification criteria challenge AIT‑based consciousness theories. Analyzes computational hierarchies and resource limits to propose refinements for causal‑structure models.
2023 – LSD‑induced increase of Ising temperature and algorithmic complexity of brain dynamics (PLOS Computational Biology)
Compares fMRI‑derived Ising models under placebo vs. LSD, showing LSD raises system temperature and algorithmic complexity. Personalized models reveal homotopic connectivity decreases and complexity metrics (LZW, BDM) correlate with temperature.
2023 – Neural geometrodynamics, complexity, and plasticity: a psychedelics perspective (Entropy)
Introduces “neural geometrodynamics,” linking fast neural dynamics and slow (meta)plasticity. Shows psychedelics flatten the neural landscape, increasing entropy and complexity, and discusses how plasticity processes consolidate new dynamics.
2024 – The Algorithmic Agent Perspective and Computational Neuropsychiatry: From Etiology to Advanced Therapy in Major Depressive Disorder (Entropy)
Applies the KT framework to model Major Depressive Disorder as low‑valence states in algorithmic agents. Maps cognitive, affective, and executive deficits to brain circuits and biotypes; proposes personalized interventions combining stimulation, psychotherapy, and pharmacology.
2024 – Navigating Complexity: How Resource‑Limited Agents Derive Probability and Generate Emergence (PsyArXiv) · Zenodo
Shows that finite data access and computational resources naturally generate probabilistic reasoning, Bayesian inference, and a formal notion of emergence via coarse‑graining and algorithmic complexity; connects to Free Energy and Active Inference frameworks.
2025 – Structured Dynamics in the Algorithmic Agent (Entropy)
Formalizes generative models via Lie‑group symmetry and demonstrates that data‑tracking constrains an agent’s dynamical repertoire to mirror world symmetries, supporting structured experience and the manifold hypothesis. Examines how compressive models and symmetry constraints shape an agent’s structural and dynamical repertoire, bridging AIT, group theory, and dynamical conservation laws.
2025 – Compositional Symmetry as Compression: Lie Pseudogroup Structure in Algorithmic Agents (arXiv) · Zenodo
Proposes that agents make sense of sensory data by exploiting compositional symmetry—modeling the world using geometric transformations (Lie pseudogroups). They demonstrate that for a neural system to track the world accurately, it must mirror these external symmetries internally (equivariance). This constraint forces the agent's neural dynamics onto efficient, low-dimensional manifolds, providing a geometric explanation for why deep learning works ("the blessing of compositionality") and suggesting a predictive coding model where layers process unresolved residual transformations.
2025 – The Algorithmic Regulator (arXiv) · Entropy · Zenodo
Reinterprets the classic Good Regulator Theorem through the lens of Algorithmic Information Theory, modeling agents and environments as interacting Turing machines. The author proves that a successful regulator acts as a compressor that reduces the Kolmogorov complexity of the world’s output, thereby minimizing the algorithmic cost of survival. This mathematical framework demonstrates that effective regulation requires high mutual algorithmic information, confirming that agents must structurally mirror the environments they seek to control. Ultimately, the paper bridges control theory and the Free Energy Principle by defining intelligence as the capacity to model and compress environmental data
2026 – Pattern, Persist! (Perspective Paper) (Zenodo)
A substrate-independent account of agency: an algorithmic agent is a persistent pattern that regulates its own bounded code through a thin, thermodynamically costly boundary, built from a Modeling Engine, a scalar Objective Function, and a Planning Engine. Derives the ME/OF/PE structure from algorithmic persistence via the Algorithmic Regulator Theorem, prices regulation with a Landauer cost, and reframes the free-energy principle and alignment as an objective-distribution problem.
2026 – When Patterns Persist: Reach, Regulation, and Death in the Game of Life (Zenodo)
Uses Conway's Game of Life as a fully computable laboratory for the KT account of persistence (companion to Pattern, Persist!). Shows that persistence is ensemble-relative through a measurable reach set—holding identity and region fixed, an evolved local rule lifts reach from 0.000 (a passive block) to 0.892—and that the effective regulator compresses to a single minimal threshold rule: reach is set by the program, not the substrate.
2026 – From "More Is Different" to Algorithmic Emergence: Why Compression Is the Hard Part (Zenodo)
Makes Anderson's "more is different" precise within KT: knowing a system's micro-rules does not let you derive its compressed macro-laws. Proves an algorithmic barrier—for generic data no concise macro-model exists, and even when one does no algorithm can find it (the structure function is uncomputable)—so effective macro-modeling stays irreducibly empirical, even for bounded systems.
2026 – Telehomeostasis: Nicotine Parasitic Manipulation (Zenodo)
Casts the tobacco plant's nicotine as a telehomeostatic manipulation factor in the KT sense: a single alkaloid that sustains the plant's persistence by remotely rewriting primate decision-making, achieving a "triple lock" on the agent's Objective Function, Modeling Engine, and Planning Engine. Places nicotine on a continuum with classic parasitic manipulators (Toxoplasma, Ophiocordyceps) and traces the same persistence program up through trade, plantation, and lobbying scales.
2026 – A Lean 4 Formalization of Kolmogorov Theory (KT-LEAN) (Zenodo)
Builds KTAIT, a Lean 4 + Mathlib formalization that machine-checks that the KT corollaries follow from an explicit AIT axiom layer, with the KT ontology typed so structural errors (e.g. comparing a whole pattern to its own part) cannot silently compile. Classical AIT results are taken as a clearly delimited axiom layer; every KT corollary is then proved with no sorry, and a toy model witnesses that the axiom layer is jointly satisfiable. (Collaboration open.)
2026 – The algorithmic agent: mathematical foundations (in prep)
Develops rigorous definitions for algorithmic agents grounded in Turing‑machine pairs and AIT. Analyzes computational degeneracy and argues that high‑level program structure must manifest in observable dynamics; discusses identification of agent modules.
