activity
20192025
most citedMany bounded versions of undecidable problems are NP-hard

6 citations · 11 across the 4 of their papers we have counts for

collaborators

7 papers

cond-mat.dis-nn2025

Universal Spin Models are Universal Approximators in Machine Learning

Tobias Reinhart, Gemma De les Coves

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 functio…

math-ph2024

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

Tobias Reinhart, Benjamin Engel, Gemma De les Coves

The theory of spin models intersects with condensed matter physics, complex systems, graph theory, combinatorial optimization, computational complexity and neural networks. Many en…

cs.CC2023★ 3 cited

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

Tomáš Gonda, Tobias Reinhart, Sebastian Stengele +1

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…

quant-ph2022★ 6 cited

Many bounded versions of undecidable problems are NP-hard

Andreas Klingler, Mirte van der Eyden, Sebastian Stengele +2

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…

cond-mat.stat-mech2022★ 2 cited

The grammar of the Ising model: A new complexity hierarchy

Tobias Reinhart, Gemma De les Coves

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…

gr-qc2019

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

Nils Alex, Tobias Reinhart

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 tw…