English
Related papers

Related papers: Kolmogorov structure functions for automatic compl…

200 papers

We introduce the space function $s(n)$ of a finitely presented semigroup $S =<A\mid R>.$ To define $s(n)$ we consider pairs of words $w,w'$ over $A$ of length at most $n$ equal in $S$ and use relations from $R$ for the transformations…

Group Theory · Mathematics 2011-11-08 Alexander Olshanskii

We investigate the nondeterministic state complexity of basic operations for suffix-free regular languages. The nondeterministic state complexity of an operation is the number of states that are necessary and sufficient in the worst-case…

Formal Languages and Automata Theory · Computer Science 2010-08-11 Yo-Sub Han , Kai Salomaa

Let $K$ denote prefix-free Kolmogorov Complexity, and $K^A$ denote it relative to an oracle $A$. We show that for any $n$, $K^{\emptyset^{(n)}}$ is definable purely in terms of the unrelativized notion $K$. It was already known that…

Logic · Mathematics 2022-08-08 Rodney Downey , Lu Liu , Keng Meng Ng , Daniel Turetsky

We classify the homogeneous finite-dimensional permutation structures, i.e., homogeneous structures in a language of finitely many linear orders, giving a nearly complete answer to a question of Cameron, and confirming the classification…

Logic · Mathematics 2020-02-26 Samuel Braunfeld , Pierre Simon

We study a class of nonautonomous, linear, parabolic equations with unbounded coefficients on $\mathbb R^{d}$ which admit an evolution system of measures. It is shown that the solutions of these equations converge to constant functions as…

Analysis of PDEs · Mathematics 2015-08-18 Luca Lorenzi , Alessandra Lunardi , Roland Schnaubelt

In this paper, we study shape functions depending on closed submanifolds. We prove a new structure theorem that establishes the general structure of the shape derivative for this type of shape function. As a special case we obtain the…

Optimization and Control · Mathematics 2016-04-19 K. Sturm

In this paper, we determine the descriptive complexity of subsets of the Polish space of marked groups defined by various group theoretic properties. In particular, using Grigorchuk groups, we establish that the sets of solvable groups,…

Group Theory · Mathematics 2020-11-04 Mustafa Gökhan Benli , Burak Kaya

We use fast-growing finite and infinite sequences of natural numbers and more complicated constructs to define models of hypercomputation and interpret non-arithmetic predicates, with the strongest extensions reaching full second order…

Logic · Mathematics 2017-07-19 Dmytro Taranovsky

Shallit and Wang studied deterministic automatic complexity of words. They showed that the automatic Hausdorff dimension $I(\mathbf t)$ of the infinite Thue word satisfies $1/3\le I(\mathbf t)\le 2/3$. We improve that result by showing that…

Formal Languages and Automata Theory · Computer Science 2020-02-03 Kayleigh Hyde , Bjørn Kjos-Hanssen

We explore the idea of using automatic and similar kind of presentations of structures to deal with the conceptual problem of natural proof-theoretic ordinal notations. We conclude that this approach still does not meet the goals.

Logic · Mathematics 2024-07-16 Lev D. Beklemishev , Fedor N. Pakhomov

We propose a measure based upon the fundamental theoretical concept in algorithmic information theory that provides a natural approach to the problem of evaluating $n$-dimensional complexity by using an $n$-dimensional deterministic Turing…

Computational Complexity · Computer Science 2015-08-27 Hector Zenil , Fernando Soler-Toscano , Jean-Paul Delahaye , Nicolas Gauvrit

Kolmogorov famously proved that multivariate continuous functions can be represented as a superposition of a small number of univariate continuous functions, $$ f(x_1,\dots,x_n) = \sum_{q=0}^{2n+1} \chi^q \left( \sum_{p=1}^n \psi^{pq}(x_p)…

Numerical Analysis · Mathematics 2017-12-25 Jonas Actor , Matthew G. Knepley

We explicitly construct an approximate version of the Kolmogorov superpositions, which is composed of C2-inner and outer functions, and can approximate an arbitrary alpha Holder continuous function with accuracy of N to the power -alpha,…

Numerical Analysis · Mathematics 2026-05-19 Lunji Song , Zilan Cheng , Juan Diego Toscano , Li-Lian Wang

TThe problem is to identify a probability associated with a set of natural numbers, given an infinite data sequence of elements from the set. If the given sequence is drawn i.i.d. and the probability mass function involved (the target)…

Machine Learning · Computer Science 2014-07-14 Paul M. B. Vitanyi , Nick Chater

In this work, we leverage the Hamiltonian kind structure for accurate uncertainty propagation through a nonlinear dynamical system. The developed approach utilizes the fact that the stationary probability density function is purely a…

Optimization and Control · Mathematics 2024-11-19 Amit Jain , Puneet Singla , Roshan Eapen

The last theme of Kolmogorov's mathematics research was algorithmic theory of information, now often called Kolmogorov complexity theory. There are only two main publications of Kolmogorov (1965 and 1968-1969) on this topic. So Kolmogorov's…

Logic · Mathematics 2023-10-19 Alexey Semenov , Alexander Shen , Nikolay Vereshchagin

The explicit description of irreducible homogeneous operators in the Cowen-Douglas class and the localization of Hilbert modules naturally leads to the definition of a smaller class of Cowen-Douglas operators possessing a flag structure.…

Functional Analysis · Mathematics 2014-05-16 Kui Ji , Chunlan Jiang , Dinesh Kumar Keshari , Gadadhar Misra

We develop a Hungarian construction for the partial sum process of independent non-identically distributed random variables. The process is indexed by functions $f$ from a class $\mathcal{H}$, but the supremum over $f\in $ $\mathcal{H}$ is…

Probability · Mathematics 2024-12-20 Ion Grama , Michael Nussbaum

Explicit representations of complex structures on closed manifolds are valuable, but relatively rare in the literature. Using isoparametric theory, we construct complex structures on isoparametric hypersurfaces with $g=4, m=1$ in the unit…

Differential Geometry · Mathematics 2025-02-14 Chao Qian , Zizhou Tang , Wenjiao Yan

The word "complexity" is most often used as a meta--linguistic expression referring to certain intuitive characteristics of a natural system and/or its scientific description. These characteristics may include: sheer amount of data that…

History and Overview · Mathematics 2013-01-03 Yuri I. Manin
‹ Prev 1 3 4 5 6 7 10 Next ›