English
Related papers

Related papers: Towards an axiomatic system for Kolmogorov complex…

200 papers

In classical physics, the Kolmogorov extension theorem lays the foundation for the theory of stochastic processes. It has been known for a long time that, in its original form, this theorem does not hold in quantum mechanics. More…

Quantum Physics · Physics 2020-04-22 Simon Milz , Fattah Sakuldee , Felix A. Pollock , Kavan Modi

By Kolmogorov Complexity,two number-theoretic problems are solved in different way than before,one problem is Maxim Kontsevich and Don Bernard Zagier's Problem 3 \emph{Exhibit at least one number which does not belong to} $ \mathcal{P}$…

Number Theory · Mathematics 2016-10-24 Yang Bai , Xiuli Wang

A system's apparent simplicity depends on whether it is represented classically or quantally. This is not so surprising, as classical and quantum physics are descriptive frameworks built on different assumptions that capture, emphasize, and…

Quantum Physics · Physics 2016-03-01 Cina Aghamohammadi , John R. Mahoney , James P. Crutchfield

Is it possible to find a shortest description for a binary string? The well-known answer is "no, Kolmogorov complexity is not computable." Faced with this barrier, one might instead seek a short list of candidates which includes a laconic…

Computational Complexity · Computer Science 2014-02-14 Jason Teutsch

Abstract argumentation frameworks (AFs) provide a formal setting to analyze many forms of reasoning with conflicting information. While the expressiveness of general infinite AFs make them a tempting tool for modeling many kinds of…

Artificial Intelligence · Computer Science 2025-08-26 Uri Andrews , Luca San Mauro

We study the possible growth rates of the Kolmogorov complexity of initial segments of sequences that are random with respect to some computable measure on $2^\omega$, the so-called proper sequences. Our main results are as follows: (1) We…

Logic · Mathematics 2016-11-09 Rupert Hölzl , Christopher P. Porter

Using the ideas of abstract algebra, we introduce the basic concepts of abstract probability theory that generalize the Kolmogorov's probability theory, possibility theory and other theories that deal with uncertainty. Based on abstract…

Probability · Mathematics 2022-12-29 Yurii Yurchenko

We consider $N$-species nonautonomous competitive systems of partial differential equations of Kolmogorov type. Under the Neumann boundary conditions we give a sufficient condition for the system to be uniformly stable and globally…

Analysis of PDEs · Mathematics 2012-11-20 Joanna Balbus

Asking which sets are fixed-parameter tractable for a given parameterization constitutes much of the current research in parameterized complexity theory. This approach faces some of the core difficulties in complexity theory. By focussing…

Logic in Computer Science · Computer Science 2018-01-17 Jouke Witteveen , Leen Torenvliet

Uniqueness and independence are two fundamental properties of data. Their enforcement in database systems can lead to higher quality data, faster data service response time, better data-driven decision making and knowledge discovery from…

Databases · Computer Science 2014-04-18 Miika Hannula , Juha Kontinen , Sebastian Link

The simplicial volume is a homotopy invariant of manifolds introduced by Gromov in 1982. In order to study its main properties, Gromov himself initiated the dual theory of bounded cohomology, that developed into an active and independent…

Geometric Topology · Mathematics 2019-12-20 Roberto Frigerio , Marco Moraschini

Given a first-order theory $T$ formulated in the usual language of first-order arithmetic, we say that $T$ is of *restricted complexity* if there is some natural number $n$ and some set $\mathcal A$ of $\Sigma_n$-sentences such that $T$ can…

Logic · Mathematics 2025-10-01 Ali Enayat , Mateusz Łełyk , Albert Visser

Loveland complexity is a variant of Kolmogorov complexity, where it is asked to output separately the bits of the desired string, instead of the string itself. Similarly to the resource-bounded Kolmogorov sets we define Loveland sets. We…

Computational Complexity · Computer Science 2011-02-17 Thomas Hugel

We give a necessary and sufficient condition for a simplicial complex to be approximately Cohen-Macaulay. Namely it is approximately Cohen-Macaulay if and only if the ideal associated to its Alexander dual is componentwise linear and…

Commutative Algebra · Mathematics 2021-04-06 Michał Lasoń

Let X be a smooth, geometrically connected variety over a p-adic local field. We show that the pro-unipotent fundamental group of X (in both the etale and crystalline settings) satisfies the weight-monodromy conjecture, following…

Number Theory · Mathematics 2021-03-15 L. Alexander Betts , Daniel Litt

We study the computational complexity theory of smooth, finite-dimensional dynamical systems. Building off of previous work, we give definitions for what it means for a smooth dynamical system to simulate a Turing machine. We then show that…

Computational Complexity · Computer Science 2024-09-19 Jordan Cotler , Semon Rezchikov

Recently, we obtained in [7] a new characterization for an orthogonal system to be a simple-minded system in the stable module category of any representation-finite self-injective algebra. In this paper, we apply this result to give an…

Representation Theory · Mathematics 2020-06-26 Jing Guo , Yuming Liu , Yu Ye , Zhen Zhang

In this paper we analyze the notion of "stopping time complexity", informally defined as the amount of information needed to specify when to stop while reading an infinite sequence. This notion was introduced by Vovk and Pavlovic (2016). It…

Computational Complexity · Computer Science 2017-10-04 Mikhail Andreev , Gleb Posobin , Alexander Shen

We prove, for an arbitrary finite root system, the periodicity conjecture of Al.B.Zamolodchikov concerning Y-systems, a particular class of functional relations arising in the theory of thermodynamic Bethe ansatz. Algebraically, Y-systems…

High Energy Physics - Theory · Physics 2007-05-23 Sergey Fomin , Andrei Zelevinsky

We extend the classical Ostrowski numeration systems, closely related to Sturmian words, by allowing a wider range of coefficients, so that possible representations of a number $n$ better reflect the structure of the associated Sturmian…

Formal Languages and Automata Theory · Computer Science 2018-07-13 Anna Frid