English
Related papers

Related papers: On Invariance and Convergence in Time Complexity t…

200 papers

We critically review three major theories of machine learning and provide a new theory according to which machines learn a function when the machines successfully compute it. We show that this theory challenges common assumptions in the…

Machine Learning · Computer Science 2024-07-09 Jinsook Kim , Jinho Kang

This paper introduces two complexity-theoretic formulations of Bennett's logical depth: finite-state depth and polynomial-time depth. It is shown that for both formulations, trivial and random infinite sequences are shallow, and a slow…

Computational Complexity · Computer Science 2007-07-13 David Doty , Philippe Moser

The classifications of temporal and phylogeny constraint languages stand among the most seminal complexity classifications within infinite-domain Constraint Satisfaction Problems (CSPs), yet remain the most mysterious in terms of algorithms…

Logic in Computer Science · Computer Science 2026-05-07 Johanna Brunar , Michael Pinsker , Moritz Schöbi

We give a full solution to the question of existence of indiscernibles in dependent theories by proving the following theorem: for every $\theta$ there is a dependent theory $T$ of size $\theta$ such that for all $\kappa$ and $\delta$,…

Logic · Mathematics 2013-08-29 Itay Kaplan , Saharon Shelah

This is a philosophical paper. It claims that there is a gap to be filled in the relationship between complexity theory (CT) and quantum theory (QT). This gap concerns two very distinct understandings of time. The paper provides the ground…

History and Philosophy of Physics · Physics 2016-11-23 Carlos Eduardo Maldonado

For a given language $L$, we study the languages $X$ such that for all distinct words $u, v \in L$, there exists a word $x \in X$ that appears a different number of times as a factor in $u$ and in $v$. In particular, we are interested in…

Combinatorics · Mathematics 2019-05-20 Aleksi Saarela

It is shown by very simple arguments that the observed 3+1 dimensionality of spacetime may be understood on the basis of four fundamental principles of physics namely, Causality, General Covariance, Gauge Invariance and Renormalizability.…

General Physics · Physics 2013-03-25 Rajat K. Pradhan

Patterns are words with terminals and variables. The language of a pattern is the set of words obtained by uniformly substituting all variables with words that contain only terminals. In their original definition, patterns only allow for…

Formal Languages and Automata Theory · Computer Science 2026-03-31 Klaus Jansen , Dirk Nowotka , Lis Pirotton , Corinna Wambsganz , Max Wiedenhöft

After highlighting the cases in which the semantics of a language cannot be mechanically reproduced (in which case it is called inherent), the main epistemological consequences of the first incompleteness Theorem for the two fundamental…

General Mathematics · Mathematics 2016-02-11 Giuseppe Raguní

We propose a formalization of the three-tier causal hierarchy of association, intervention, and counterfactuals as a series of probabilistic logical languages. Our languages are of strictly increasing expressivity, the first capable of…

Logic in Computer Science · Computer Science 2021-06-03 Duligur Ibeling , Thomas Icard

If the odd and even parts of a continued fraction converge to different values, the continued fraction may or may not converge in the general sense. We prove a theorem which settles the question of general convergence for a wide class of…

Number Theory · Mathematics 2019-01-03 Douglas Bowman , James Mc Laughlin

A specification given as a formula in linear temporal logic (LTL) defines a system by its set of traces. However, certain features such as information flow security constraints are rather modeled as so-called hyperproperties, which are sets…

Logic in Computer Science · Computer Science 2020-04-28 Martin Lück

Popular multiverse models such as the one based on the string theory landscape require an underlying set of unexplained laws containing many specific features and highly restrictive prerequisites. I explore the consequences of relaxing some…

Astrophysics · Physics 2007-05-23 P. C. W. Davies

Quantitative linguistics has provided us with a number of empirical laws that characterise the evolution of languages and competition amongst them. In terms of language usage, one of the most influential results is Zipf's law of word…

Physics and Society · Physics 2009-01-21 Alvaro Corral , Ramon Ferrer-i-Cancho , Gemma Boleda , Albert Diaz-Guilera , .

We study word structures of the form $(D,<,P)$ where $D$ is either $\mathbb{N}$ or $\mathbb{Z}$, $<$ is the natural linear ordering on $D$ and $P\subseteq D$ is a predicate on $D$. In particular we show: (a) The set of recursive…

Logic in Computer Science · Computer Science 2023-06-22 Dietrich Kuske , Jiamou Liu , Anastasia Moskvina

This project contains two chapters. Chapter 2 has two sections. First, we define the well-formed formulas of the Language of Sentential Logic using Construction Sequences. Second, we prove the Truth Assignments using the Language of…

Logic · Mathematics 2023-03-21 Tianyi Sun

The invariance of the speed of light in all inertial frames - the second postulate of special theory of relativity (STR) - is shown to be an inevitable consequence of the relativity principle of special theory of relativity taken in…

Popular Physics · Physics 2011-11-29 Harihar Behera , Gautam Mukhopadhyay

We consider a quantum field theory on a spherically symmetric quantum space time described by loop quantum gravity. The spin network description of space time in such a theory leads to equations for the quantum field that are discrete. We…

General Relativity and Quantum Cosmology · Physics 2015-06-02 Rodolfo Gambini , Jorge Pullin

In this paper we explore a new hierarchy of classes of languages and infinite words and its connection with complexity classes. Namely, we say that a language belongs to the class $L_k$ if it is a subset of the catenation of $k$ languages…

Formal Languages and Automata Theory · Computer Science 2014-06-17 J. Cassaigne , A. E. Frid , S. Puzynina , L. Q. Zamboni

We study the relation between the palindromic and factor complexity of infinite words. We show that for uniformly recurrent words one has P(n)+P(n+1) \leq \Delta C(n) + 2, for all n \in N. For a large class of words it is a better estimate…

Combinatorics · Mathematics 2007-05-23 Peter Baláži , Zuzana Masáková , Edita Pelantová