English
Related papers

Related papers: Solovay functions and their applications in algori…

200 papers

It is well known that normality can be described as incompressibility via finite automata. Still the statement and the proof of this result as given by Becher and Heiber (2013) in terms of "lossless finite-state compressors" do not follow…

Information Theory · Computer Science 2020-08-25 Alexander Kozachinskiy , Alexander Shen

A major open problem in computational complexity is the existence of a one-way function, namely a function from strings to strings which is computationally easy to compute but hard to invert. Levin (2023) formulated the notion of one-way…

Computational Complexity · Computer Science 2025-07-21 George Barmpalias , Xiaoyan Zhang

A rational function $f(x)$ is rationally summable if there exists a rational function $g(x)$ such that $f(x)=g(x+1)-g(x)$. Detecting whether a given rational function is summable is an important and basic computational subproblem that…

Symbolic Computation · Computer Science 2025-03-21 Carlos E. Arreche , Hari P. Sitaula

Outside of the left-c.e. reals, Solovay reducibility is considered to be behaved badly [10.1007/978-0-387-68441-3]. Proposals for variants of Solovay reducibility that are better suited for the investigation of arbitrary, not necessarily…

Logic · Mathematics 2025-04-17 Ivan Titov

We provide examples of multiplicative functions $f$ supported on the $k$-free integers such that at primes $f(p)=\pm 1$ and such that the partial sums of $f$ up to $x$ are $o(x^{1/k})$. Further, if we assume the Generalized Riemann…

Number Theory · Mathematics 2022-06-15 Marco Aymone , Caio Bueno , Kevin Medeiros

While Kolmogorov's probability axioms are widely recognized, it is less well known that in an often-overlooked 1930 note, Kolmogorov proposed an axiomatic framework for a unifying concept of the mean -- referred to as regular means. This…

Statistics Theory · Mathematics 2026-01-15 Miguel de Carvalho

The objective of this study is a better understanding of the relationships between reduction and continuity. Solovay reduction is a variation of Turing reduction based on the distance of two real numbers. We characterize Solovay reduction…

Logic · Mathematics 2019-03-21 Masahiro Kumabe , Kenshi Miyabe , Yuki Mizusawa , Toshio Suzuki

A drawback of Kolmogorov-Chaitin complexity (K) as a function from s to the shortest program producing s is its noncomputability which limits its range of applicability. Moreover, when strings are short, the dependence of K on a particular…

Computational Complexity · Computer Science 2010-12-20 Jean-Paul Delahaye , Hector Zenil

We show that the classical kernel and domain functions associated to an n-connected domain in the plane are all given by rational combinations of three or fewer holomorphic functions of one complex variable. We characterize those domains…

Complex Variables · Mathematics 2007-05-23 Steven R. Bell

In this note we show that sharp Kolmogorov-type inequalities that estimate the uniform norm $\|f^{(k)}\|$ of the $k$-th derivative of a function $f\colon \mathbb{R}\to\mathbb{R}$ by the values of the uniform norm of $f$ and uniform norms of…

Functional Analysis · Mathematics 2026-03-03 Oleg Kovalenko

In an attempt to demonstrate that local hidden variables are mathematically possible, Pitowsky constructed "spin-$\frac12$ functions" and later "Kolmogorovian models", which employs a nonstandard notion of probability. We describe…

Quantum Physics · Physics 2017-05-24 Jakob Kellner

A real number is called left-computable if there exists a computable increasing sequence of rational numbers converging to it. In this article we investigate the Kolmogorov complexity and the binary expansions of a very specific subset of…

Logic · Mathematics 2025-09-29 Peter Hertling , Philip Janicki

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

Kolmogorov complexity theory is used to tell what the algorithmic informational content of a string is. It is defined as the length of the shortest program that describes the string. We present a programming language that can be used to…

Category Theory · Mathematics 2013-06-13 Noson S. Yanofsky

In [She82], it is shown that four basic functional properties are enough to characterize plain Kolmogorov complexity, hence obtaining an axiomatic characterization of this notion. In this paper, we try to extend this work, both by looking…

Information Theory · Computer Science 2011-04-01 Antoine Taveneaux

$CMO$ functions are completely multiplicative functions $f$ for which $\sum_{n=1}^\infty f(n)$ $=0$. These functions were first introduced and studied by Kahane and Sa\"{i}as [5]. The main purpose of this paper is to generalise such…

Number Theory · Mathematics 2021-08-27 Ammar Ali Neamah

The purpose of this paper is to answer two questions left open in [B. Durand, A. Shen, and N. Vereshchagin, Descriptive Complexity of Computable Sequences, Theoretical Computer Science 171 (2001), pp. 47--58]. Namely, we consider the…

Logic · Mathematics 2019-02-05 Nikolay Vereshchagin

In a recent paper [Trans. Amer. Math. Soc. 378 (2025), 851-883], the concept of generalized partial-slice monogenic (or regular) function was introduced over Clifford algebras. The present paper shall extend the study of generalized…

Complex Variables · Mathematics 2026-05-19 Zhenghua Xu , Irene Sabadini

It is impossible to effectively modify a string in order to increase its Kolmogorov complexity. But is it possible to construct a few strings, not longer than the input string, so that most of them have larger complexity? We show that the…

Computational Complexity · Computer Science 2017-02-07 Marius Zimand

A real number is called left-computable if there exists a computable increasing sequence of rational numbers converging to it. In this article we are investigating a proper subset of the left-computable numbers. We say that a real number…

Logic · Mathematics 2024-07-12 Philip Janicki