English
Related papers

Related papers: An additivity theorem for plain Kolmogorov complex…

200 papers

Let $A$ and $C$ be two unital simple C*-algebas with tracial rank zero. Suppose that $C$ is amenable and satisfies the Universal Coefficient Theorem. Denote by ${{KK}}_e(C,A)^{++}$ the set of those $\kappa$ for which…

Operator Algebras · Mathematics 2008-03-10 Huaxin Lin , Zhuang Niu

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

The even online Kolmogorov complexity of a string $x = x_1 x_2 \cdots x_{n}$ is the minimal length of a program that for all $i\le n/2$, on input $x_1x_3 \cdots x_{2i-1}$ outputs $x_{2i}$. The odd complexity is defined similarly. The sum of…

Computational Complexity · Computer Science 2025-07-15 Bruno Bauwens , Maria Marchenko

This paper establishes and proves complexity results for entailment for cumulative propositional dependence logic and for cumulative propositional logic with team semantics. As recently shown, cumulative logics are famously characterised by…

Logic in Computer Science · Computer Science 2026-05-21 Kai Sauerwald , Juha Kontinen , Arne Meier

Fillmore Theorem says that if A is an nxn complex non-scalar matrix and {\gamma}_1,...,{\gamma}_{n} are complex numbers with {\gamma}_1+...+{\gamma}_{n}=trA, then there exists a matrix B similar to A with diagonal entries…

Spectral Theory · Mathematics 2018-04-17 Ana I. Julio , Ricardo L. Soto

We present a well-structured detailed exposition of a well-known proof of the following celebrated result solving Hilbert's 13th problem on superpositions. For functions of 2 variables the statement is as follows. Kolmogorov Theorem. There…

Functional Analysis · Mathematics 2022-08-24 S. Dzhenzher , A. Skopenkov

A link between Kolmogorov Complexity and geometry is uncovered. A similar concept of projection and vector decomposition is described for Kolmogorov Complexity. By using a simple approximation to the Kolmogorov Complexity, coded in…

Computational Complexity · Computer Science 2012-06-14 Dara O Shayda

For a simplicial complex K on m vertices and simplicial complexes K1,...,Km a composed simplicial complex K(K1,...,Km) is introduced. This construction generalizes an iterated simplicial wedge construction studied by A. Bahri, M. Bendersky,…

Combinatorics · Mathematics 2015-05-08 Ayzenberg Anton

We study the minimal complexity of tilings of a plane with a given tile set. We note that every tile set admits either no tiling or some tiling with O(n) Kolmogorov complexity of its n-by-n squares. We construct tile sets for which this…

Computational Complexity · Computer Science 2018-12-03 Bruno Durand , Leonid A. Levin , Alexander Shen

For a finite word $w$ we define and study the Kolmogorov structure function $h_w$ for nondeterministic automatic complexity. We prove upper bounds on $h_w$ that appear to be quite sharp, based on numerical evidence.

Formal Languages and Automata Theory · Computer Science 2020-01-31 Bjørn Kjos-Hanssen

A difference equation based method of determining two factors of a composite is presented. The feasibility of P-complexity is shown. Presentation of material is non-theoretical; intended to be accessible to a broader audience of non…

Discrete Mathematics · Computer Science 2016-02-23 Charles Sauerbier

We prove that every simplicial complex is the dual complex of some simple normal crossing divisor in a smooth variety. As an application, we simplify and extend the results of Kapovich--Koll\'ar (math.AG:1109.4047) on the existence of…

Algebraic Geometry · Mathematics 2013-01-08 János Kollár

We provide an analytic proof of a theorem of Krylov dealing with global $C^{1,1}$ estimates to solutons of degenerate complex Monge-Amp\`ere equations. As an application we show optimal regularity for various extremal functions with…

Complex Variables · Mathematics 2017-08-17 Slawomir Dinew , Szymon Plis

Answering a question of Carri\'on et al in their recent landmark paper on C*-algebra classification, we prove a general uniqueness theorem for $KK$-theory. Given arbitrary separable C*-algebras $A$ and $B$ and a Cuntz pair consisting of two…

Operator Algebras · Mathematics 2026-02-18 Gábor Szabó

We call a pair of closed subgroups $(G_1,G_2)$ from a connected reductive algebraic group $G$ a {\it complexity $c$ pair} if the multiplication action of the pair on $G$ is of complexity $c$. The main focus of this article is on the cases…

Algebraic Geometry · Mathematics 2018-12-27 Mahir Bilen Can

In this article, we consider the factor complexity of a fixed point of a primitive substitution canonically defined by a beta-numeration system. We provide a necessary and sufficient condition on the Renyi expansion of 1 for having an…

Combinatorics · Mathematics 2007-05-23 J. Bernat , Z. Masáková , E. Pelantová

This is a short introduction to Kolmogorov Complexity. The interested reader is referred to the text books by Cover & Thomas as well as Li & V\'itanyi, which cover the fields of information theory and Kolmogorov complexity in depth and with…

Computational Complexity · Computer Science 2010-05-17 Volker Nannen

We formulate the conditional Kolmogorov complexity of x given y at precision r, where x and y are points in Euclidean spaces and r is a natural number. We demonstrate the utility of this notion in two ways. 1. We prove a point-to-set…

Computational Complexity · Computer Science 2016-12-02 Jack H. Lutz , Neil Lutz

We survey diverse approaches to the notion of information: from Shannon entropy to Kolmogorov complexity. Two of the main applications of Kolmogorov complexity are presented: randomness and classification. The survey is divided in two parts…

Logic in Computer Science · Computer Science 2010-10-20 Marie Ferbus-Zanda , Serge Grigorieff

The main goal of this article is to put some known results in a common perspective and to simplify their proofs. We start with a simple proof of a result of Vereshchagin saying that $\limsup_n C(x|n)$ equals $C^{0'}(x)$. Then we use the…

Logic · Mathematics 2012-04-03 Laurent Bienvenu , Andrej Muchnik , Alexander Shen , Nikolai Vereshchagin