English
Related papers

Related papers: A Framework for Universality in Physics, Computer …

200 papers

Except for crystalline or random structures, an agreed definition of complexity for intermediate and hence interesting cases does not exist. We fill this gap with a notion of complexity that characterises shapes formed by any finite number…

General Relativity and Quantum Cosmology · Physics 2024-05-14 Julian Barbour , Zaza Doborjginidze , Tim Koslowski , Hemant Shukla

Vagueness is a linguistic phenomenon as well as a property of physical objects. Fuzzy set theory is a mathematical model of vagueness that has been used to define vague models of computation. The prominent model of vague computation is the…

Other Computer Science · Computer Science 2018-08-27 Apostolos Syropoulos

Universal approximation theorems establish the expressive capacity of neural network architectures. For dynamical systems, existing results are limited to finite time horizons or systems with a globally stable equilibrium, leaving…

Dynamical Systems · Mathematics 2026-02-12 Abel Sagodi , Il Memming Park

In this paper, using definability of types over indiscernible sequences as a template, we study a property of formulas and theories called "uniform definability of types over finite sets" (UDTFS). We explore UDTFS and show how it relates to…

Logic · Mathematics 2010-05-27 Vincent Guingona

The topical quantum computation paradigm is a transposition of the Turing machine into the quantum framework. Implementations based on this paradigm have limitations as to the number of: qubits, computation steps, efficient quantum…

Quantum Physics · Physics 2007-05-23 Giuseppe Castagnoli

We present a general fixed point theorem which can be seen as the quintessence of the principles of proof for Banach's Fixed Point Theorem, ultrametric and certain topological fixed point theorems. It works in a minimal setting, not…

Commutative Algebra · Mathematics 2013-04-02 Katarzyna Kuhlmann , Franz-Viktor Kuhlmann

One of the reasons why many neural networks are capable of replicating complicated tasks or functions is their universal property. Though the past few decades have seen tremendous advances in theories of neural networks, a single…

Machine Learning · Computer Science 2023-05-09 Tan Bui-Thanh

We introduce a technique that enables Neural-ODEs to approximate arbitrary velocity fields with a priori planted fixed-points. Specifically, a recipe is given to explicitly accommodate for a finite collection of points in the reference…

Disordered Systems and Neural Networks · Physics 2026-05-12 Feliciano Giuseppe Pacifico , Duccio Fanelli , Lorenzo Buffoni , Lorenzo Chicchi , Diego Febbe , Raffaele Marino

We present the model theoretic concepts that allow mathematics to be developed with the notion of the potential infinite instead of the actual infinite. The potential infinite is understood as a dynamic notion, being an indefinitely…

Logic · Mathematics 2022-12-16 Matthias Eberl

We prove that any quantum field theory, or more generally any probability distribution over tempered distributions in $\mathbb{R}^d$, admits a neural network description with a countable infinity of parameters. As an example, we realize the…

High Energy Physics - Theory · Physics 2026-01-22 Christian Ferko , James Halverson , Aaron Mutchler

Motivated by the "composition theorems" of Chernikov-Hempel and Abd Aldaim-Conant-Terry we introduce $k$-trace definability between first order theories. Any theory which is $k$-trace definable in a NIP theory is $k$-NIP and any theory…

Logic · Mathematics 2026-05-20 Erik Walsberg

Turing's famous 'machine' framework provides an intuitively clear conception of 'computing with real numbers'. A recursive counterexample to a theorem shows that the theorem does not hold when restricted to computable objects. These…

Logic · Mathematics 2020-06-23 Sam Sanders

The fundamental impasses and ruptures in various domains of the canonical, unitary science, or the 'end of science', become the more and more evident. The natural unity of being is recovered within a universal nonperturbative method leading…

General Physics · Physics 2007-05-23 Andrei P. Kirilyuk

Computability theory is a discipline in the intersection of computer science and mathematical logic where the fundamental question is: given two mathematical objects X and Y, does X compute Y in principle? In case X and Y are real numbers,…

Logic · Mathematics 2022-10-12 Sam Sanders

In the present paper, we construct what we call a pedagogical universal Turing machine. We try to understand which comparisons with biological phenomena can be deduced from its encoding and from its working.

Formal Languages and Automata Theory · Computer Science 2021-10-19 Maurice Margenstern

We elaborate on the proposed general boundary formulation as an extension of standard quantum mechanics to arbitrary (or no) backgrounds. Temporal transition amplitudes are generalized to amplitudes for arbitrary spacetime regions. State…

High Energy Physics - Theory · Physics 2018-01-24 Robert Oeckl

With infinitely many high-quality data points, infinite computational power, an infinitely large foundation model with a perfect training algorithm and guaranteed zero generalization error on the pretext task, can the model be used for…

Artificial Intelligence · Computer Science 2026-04-27 Yang Yuan

For over a decade, the hypercomputation movement has produced computational models that in theory solve the algorithmically unsolvable, but they are not physically realizable according to currently accepted physical theories. While…

Logic · Mathematics 2014-08-12 Aran Nayebi

Based on a number of experimentally verified physical observations, it is argued that the standard principles of quantum mechanics should be applied to the Universe as a whole. Thus, a paradigm is proposed in which the entire Universe is…

General Relativity and Quantum Cosmology · Physics 2007-05-23 J. S. Eakins

Despite the fact that generative models are extremely successful in practice, the theory underlying this phenomenon is only starting to catch up with practice. In this work we address the question of the universality of generative models:…

Machine Learning · Computer Science 2020-12-15 Valentin Khrulkov , Ivan Oseledets