arXiv subjects

Tobias Reinhart

Publications and source records attributed to Tobias Reinhart.

7 recordsLinked to original sources

arXiv2026

The Structure of Emulations in Classical Spin Models: Modularity and Universality

The theory of spin models intersects with condensed matter physics, complex systems, graph theory, combinatorial optimization, computational complexity and neural networks. Many ensuing applications rely on the fact that complicated spin models can be transformed to simpler ones. What is the structure of such transformations? Here, we provide a framework to study and construct emulations between spin models. A spin model is a set of spin systems, and emulations are efficiently computable simulations with arbitrary energy cut-off, where a source spin system simulates a target system if, below the cut-off, the target Hamiltonian is encoded in the source Hamiltonian. We prove that emulations preserve important properties, as they induce reductions between computational problems such as computing ground states, approximating partition functions and approximate sampling from Boltzmann distributions. Emulations are modular (they can be added, scaled and composed), and allow for universality, i.e. certain spin models have maximal reach. We prove that a spin model is universal if and only if it is scalable, closed and functional complete. Because the characterization is constructive, it provides a step-by-step guide to construct emulations. We prove that the 2d Ising model with fields is universal, for which we also provide two new crossing gadgets. Finally, we show that simulations can be computed by linear programs. While some ideas of this work are contained in [1], we provide new definitions and theorems. This framework provides a toolbox for applications involving emulations of spin models.

math-ph↗

arXiv2026

Universal Spin Models are Universal Approximators in Machine Learning

One of the theoretical pillars that sustain certain machine learning models are universal approximation theorems, which prove that they can approximate all functions from a function class to arbitrary precision. Independently, classical spin models are termed universal if they can reproduce the behavior of any other spin model in their low energy sector. Universal spin models have been characterized via sufficient and necessary conditions, showing that simple models such as the 2d Ising with fields are universal. In this work, we prove that universal spin models are universal approximators of probability distributions. This enables us to leverage the characterization of the former to reveal conditions which are sufficient for universal approximation. Deriving universal approximation theorems thus amounts to verifying these conditions, yielding a unified recipe for universal approximation theorems applicable to a wide range of models. We explicitly test this recipe for restricted and deep Boltzmann machines, as well as for deep belief networks. This work illustrates that independently discovered universality statements may be intimately related, enabling the transfer of results.

cond-mat.dis-nn↗

arXiv2025

The grammar of the Ising model: A new complexity hierarchy

How complex is an Ising model? Usually, this is measured by the computational complexity of its ground state energy problem. Yet, this complexity measure only distinguishes between planar and non-planar interaction graphs, and thus fails to capture properties such as the average node degree, the number of long range interactions, or the dimensionality of the lattice. Herein, we introduce a new complexity measure for Ising models and thoroughly classify Ising models with respect to it. Specifically, given an Ising model we consider the decision problem corresponding to the function graph of its Hamiltonian, and classify this problem in the Chomsky hierarchy. We prove that the language of this decision problem is (i) regular if and only if the Ising model is finite, (ii) constructive context free if and only if the Ising model is linear and its edge language is regular, (iii) constructive context sensitive if and only if the edge language of the Ising model is context sensitive, and (iv) decidable if and only if the edge language of the Ising model is decidable. We apply this theorem to show that the 1d Ising model, the Ising model on generalised ladder graphs, and the Ising model on layerwise complete graphs are constructive context free, while the 2d Ising model, the all-to-all Ising model, and the Ising model on perfect binary trees are constructive context sensitive. This work is a first step in the characterisation of physical interactions in terms of grammars.

cond-mat.stat-mech↗

arXiv2024

A Framework for Universality in Physics, Computer Science, and Beyond

Turing machines and spin models share a notion of universality according to which some simulate all others. Is there a theory of universality that captures this notion? We set up a categorical framework for universality which includes as instances universal Turing machines, universal spin models, NP completeness, top of a preorder, denseness of a subset, and more. By identifying necessary conditions for universality, we show that universal spin models cannot be finite. We also characterize when universality can be distinguished from a trivial one and use it to show that universal Turing machines are non-trivial in this sense. Our framework allows not only to compare universalities within each instance, but also instances themselves. We leverage a Fixed Point Theorem inspired by a result of Lawvere to establish that universality and negation give rise to unreachability (such as uncomputability). As such, this work sets the basis for a unified approach to universality and invites the study of further examples within the framework.

cs.CC↗

arXiv2023

Many bounded versions of undecidable problems are NP-hard

Several physically inspired problems have been proven undecidable; examples are the spectral gap problem and the membership problem for quantum correlations. Most of these results rely on reductions from a handful of undecidable problems, such as the halting problem, the tiling problem, the Post correspondence problem or the matrix mortality problem. All these problems have a common property: they have an NP-hard bounded version. This work establishes a relation between undecidable unbounded problems and their bounded NP-hard versions. Specifically, we show that NP-hardness of a bounded version follows easily from the reduction of the unbounded problems. This leads to new and simpler proofs of the NP-hardness of bounded version of the Post correspondence problem, the matrix mortality problem, the positivity of matrix product operators, the reachability problem, the tiling problem, and the ground state energy problem. This work sheds light on the intractability of problems in theoretical physics and on the computational consequences of bounding a parameter.

quant-ph↗

arXiv2020

Covariant constructive gravity: A step-by-step guide towards alternative theories of gravity

We propose a step-by-step manual for the construction of alternative theories of gravity, perturbatively as well as nonperturbatively. The construction is guided by no more than two fundamental principles that we impose on the gravitational dynamics: invariance under spacetime diffeomorphisms and causal compatibility with given matter dynamics, provided that spacetime is additionally endowed with matter fields. The developed framework then guides the computation of the most general, alternative theory of gravity that is consistent with the two fundamental requirements. Utilizing this framework we recover the cosmological sector of general relativity solely from assuming that spacetime is a spatially homogeneous and isotropic metric manifold. On top of that, we explicitly test the perturbative framework by deriving the most general third-order expansion of a metric theory of gravity that is causally compatible with a Klein-Gordon scalar field. Thereby we recover the perturbative expansion of general relativity. To demonstrate how new physics emerges from our approach, we finally construct the most comprehensive third-order expansion of a theory of gravity that supports general (not necessarily Maxwellian) linear electrodynamics.

gr-qc↗

arXiv2019

Covariant Constructive Gravity

We present a method of constructing perturbative equations of motion for the geometric background of any given tensorial field theory. Requiring invariance of the gravitational dynamics under spacetime diffeomorphisms leads to a PDE system for the gravitational Lagrangian that can be solved by means of a power series ansatz. Furthermore, in each order we pose conditions on the causality of the gravitational equations, that ensure coevolution of the matter fields and the gravitational background is possible, i.e. gravitational equations and matter equations share the same initial data hypersurfaces.

gr-qc↗