Searcharxiv⌕ Search

arXiv subjects

Johannes Kleiner

Publications and source records attributed to Johannes Kleiner.

15 recordsLinked to original sources

Causal Fermion Systems as an Effective Collapse Theory

It is shown that, in the non-relativistic limit, causal fermion systems give rise to an effective collapse theory. The nonlinear and stochastic correction terms to the Schrödinger equation are derived from the causal action principle. The dynamics of the statistical operator is described by a deterministic equation of Kossakowski-Lindblad form. Moreover, the quantum state undergoes a dynamical collapse compatible with the Born rule. The effective model has similarities with the continuous spontaneous localization model, but differs from it by a conservation law for the probability integral as well as a non-locality in time on a microscopic length scale $\ell_{\min}$.

math-ph↗

Consciousness qua Mortal Computation

Computational functionalism posits that consciousness is a computation. Here we show, perhaps surprisingly, that it cannot be a Turing computation. Rather, computational functionalism implies that consciousness is a novel type of computation that has recently been proposed by Geoffrey Hinton, called mortal computation.

q-bio.NC↗

If consciousness is dynamically relevant, artificial intelligence isn't conscious

We demonstrate that if consciousness is relevant for the temporal evolution of a system's states--that is, if it is dynamically relevant--then AI systems cannot be conscious. That is because AI systems run on CPUs, GPUs, TPUs or other processors which have been designed and verified to adhere to computational dynamics that systematically preclude or suppress deviations. The design and verification preclude or suppress, in particular, potential consciousness-related dynamical effects, so that if consciousness is dynamically relevant, AI systems cannot be conscious.

cs.AI↗

Active Inference in String Diagrams: A Categorical Account of Predictive Processing and Free Energy

We present a categorical formulation of the cognitive frameworks of Predictive Processing and Active Inference, expressed in terms of string diagrams interpreted in a monoidal category with copying and discarding. This includes diagrammatic accounts of generative models, Bayesian updating, perception, planning, active inference, and free energy. In particular we present a diagrammatic derivation of the formula for active inference via free energy minimisation, and establish a compositionality property for free energy, allowing free energy to be applied at all levels of an agent's generative model. Aside from aiming to provide a helpful graphical language for those familiar with active inference, we conversely hope that this article may provide a concise formulation and introduction to the framework.

math.CT↗

The Closure of the Physical, Consciousness and Scientific Practice

We analyse the implications of the closure of the physical for experiments in the scientific study of consciousness when all the details are considered, especially how measurement results relate to physical events. It turns out that the closure of the physical has surprising implications that conflict with scientific practice. These implications point to a fundamental flaw in the paradigm underlying many experiments conducted to date and pose a challenge to any research programme that aims to ground a physical functionalist or identity-based understanding of consciousness on empirical observations.

q-bio.NC↗

What is a Mathematical Structure of Conscious Experience?

In consciousness science, several promising approaches have been developed for how to represent conscious experience in terms of mathematical spaces and structures. What is missing, however, is an explicit definition of what a 'mathematical structure of conscious experience' is. Here, we propose such a definition. This definition provides a link between the abstract formal entities of mathematics and the concreta of conscious experience; it complements recent approaches that study quality spaces, qualia spaces or phenomenal spaces; it provides a general method to identify and investigate structures of conscious experience; and it may serve as a framework to unify the various approaches from different fields. We hope that ultimately this work provides a basis for developing a common formal language to study consciousness.

q-bio.NC↗

Falsification and consciousness

The search for a scientific theory of consciousness should result in theories that are falsifiable. However, here we show that falsification is especially problematic for theories of consciousness. We formally describe the standard experimental setup for testing these theories. Based on a theory's application to some physical system, such as the brain, testing requires comparing a theory's predicted experience (given some internal observables of the system like brain imaging data) with an inferred experience (using report or behavior). If there is a mismatch between inference and prediction, a theory is falsified. We show that if inference and prediction are independent, it follows that any minimally informative theory of consciousness is automatically falsified. This is deeply problematic since the field's reliance on report or behavior to infer conscious experiences implies such independence, so this fragility affects many contemporary theories of consciousness. Furthermore, we show that if inference and prediction are strictly dependent, it follows that a theory is unfalsifiable. This affects theories which claim consciousness to be determined by report or behavior. Finally, we explore possible ways out of this dilemma.

q-bio.NC↗

Dynamics of Causal Fermion Systems. Field Equations and Correction Terms for a New Unified Physical Theory

The theory of causal fermion systems is a new physical theory which aims to describe a fundamental level of physical reality. Its mathematical core is the causal action principle. In this thesis, we develop a formalism which connects the causal action principle to a suitable notion of fields on space-time. We derive field equations from the causal action principle and find that the dynamics induced by the field equations conserve a symplectic form which gives rise to an Hamiltonian time evolution if the causal fermion system admits a notion of time. In this way, we establish the dynamics of causal fermion systems. Remarkably, the causal action principle implies that there are correction terms to the field equations, which we subsequently derive and study. In particular, we prove that there is a stochastic and a non-linear correction term and investigate how they relate to the Hamiltonian time evolution. Furthermore, we give theorems which generalize the connection between symmetries and conservation laws in Noether's theorems to the theory of causal fermion systems. The appearance of the particular correction terms is reminiscent of dynamical collapse models in quantum theory.

math-ph↗

Mathematical Models of Consciousness

In recent years, promising mathematical models have been suggested which aim to describe conscious experience and its relation to the physical domain. Whereas the axioms and metaphysical ideas of these theories have been carefully motivated, their mathematical formalism has not. In this article we aim to remedy this situation. We give an account of what warrants mathematical representation of phenomenal experience, derive a general mathematical framework which takes into account consciousness' epistemic context and study which mathematical structures some of the key characteristics of conscious experience imply, showing precisely where mathematical approaches allow to go beyond what the standard methodology can do. The result is a general mathematical framework for models of consciousness that can be employed in the theory-building process.

q-bio.NC↗

Integrated Information in Process Theories

We demonstrate how the key notions of Tononi et al.'s Integrated Information Theory (IIT) can be studied within the simple graphical language of process theories, i.e. symmetric monoidal categories. This allows IIT to be generalised to a broad range of physical theories, including as a special case the Quantum IIT of Zanardi, Tomka and Venuti.

cs.LO↗

The Mathematical Structure of Integrated Information Theory

Integrated Information Theory is one of the leading models of consciousness. It aims to describe both the quality and quantity of the conscious experience of a physical system, such as the brain, in a particular state. In this contribution, we propound the mathematical structure of the theory, separating the essentials from auxiliary formal tools. We provide a definition of a generalized IIT which has IIT 3.0 of Tononi et. al., as well as the Quantum IIT introduced by Zanardi et. al. as special cases. This provides an axiomatic definition of the theory which may serve as the starting point for future formal investigations and as an introduction suitable for researchers with a formal background.

q-bio.NC↗

A Hamiltonian Formulation of Causal Variational Principles

Causal variational principles, which are the analytic core of the physical theory of causal fermion systems, are found to have an underlying Hamiltonian structure, giving a formulation of the dynamics in terms of physical fields in space-time. After generalizing causal variational principles to a class of lower semi-continuous Lagrangians on a smooth, possibly non-compact manifold, the corresponding Euler-Lagrange equations are derived. In the first part, it is shown under additional smoothness assumptions that the space of solutions of the Euler-Lagrange equations has the structure of a symplectic Fréchet manifold. The symplectic form is constructed as a surface layer integral which is shown to be invariant under the time evolution. In the second part, the results and methods are extended to the non-smooth setting. The physical fields correspond to variations of the universal measure described infinitesimally by one-jets. Evaluating the Euler-Lagrange equations weakly, we derive linearized field equations for these jets. In the final part, our constructions and results are illustrated in a detailed example on $\mathbb{R}^{1,1} \times S^1$ where a local minimizer is given by a measure supported on a two-dimensional lattice.

math-ph↗

Noether-Like Theorems for Causal Variational Principles

The connection between symmetries and conservation laws as made by Noether's theorem is extended to the context of causal variational principles and causal fermion systems. Different notions of continuous symmetries are introduced. It is proven that these symmetries give rise to corresponding conserved quantities, expressed in terms of so-called surface layer integrals. In a suitable limiting case, the Noether-like theorems for causal fermion systems reproduce charge conservation and the conservation of energy and momentum in Minkowski space. Thus the conservation of charge and energy-momentum are found to be special cases of general conservation laws which are intrinsic to causal fermion systems.

math-ph↗

Causal Fermion Systems as a Candidate for a Unified Physical Theory

The theory of causal fermion systems is an approach to describe fundamental physics. Giving quantum mechanics, general relativity and quantum field theory as limiting cases, it is a candidate for a unified physical theory. We here give a non-technical introduction.

math-ph↗