English
Related papers

Related papers: Coarse Reducibility and Algorithmic Randomness

200 papers

In the study of random access machines (RAMs) it has been shown that the availability of an extra input integer, having no special properties other than being sufficiently large, is enough to reduce the computational complexity of some…

Computational Complexity · Computer Science 2013-05-27 Michael Brand

We give a survey of the known connections between regularity conditions and amenability conditions in the setting of uniform algebras. For a uniform algebra $A$ we consider the set, $A_{lc}$, of functions in $A$ which are locally constant…

Functional Analysis · Mathematics 2014-12-25 M. J. Heath , J. F. Feinstein

We introduce the concept of a direct $C_{\omega}^{\ast}$-system and show that every non-separable unital $C^{\ast}$-algebra is the limit of essentially unique direct $C_{\omega}^{\ast}$-system. This result is then applied to the problem of…

Functional Analysis · Mathematics 2007-05-23 Alex Chigogidze

The problem of non-iterative one-shot and non-destructive correction of unavoidable mistakes arises in all Artificial Intelligence applications in the real world. Its solution requires robust separation of samples with errors from samples…

Machine Learning · Computer Science 2017-09-05 A. N. Gorban , I. Y. Tyukin

Nowhere dense classes of graphs are very general classes of uniformly sparse graphs with several seemingly unrelated characterisations. From an algorithmic perspective, a characterisation of these classes in terms of uniform quasi-wideness,…

Discrete Mathematics · Computer Science 2018-09-06 Stephan Kreutzer , Roman Rabinovich , Sebastian Siebertz

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

For every countable group $G$, there are $2^{\omega}$ distinct classes of coarsely equivalent subsets of $G$.

General Topology · Mathematics 2017-06-02 Igor Protasov , Ksenia Protasova

The study of automorphisms of computable and other structures connects computability theory with classical group theory. Among the noncomputable countable structures, computably enumerable structures are one of the most important objects of…

Logic · Mathematics 2018-11-06 Rumen Dimitrov , Valentina Harizanov , Andrey Morozov

Recombining trinomial trees are a workhorse for modeling discrete-event systems in option pricing, logistics, and feedback control. Because each node stores a state-dependent quantity, a depth-$D$ tree naively yields $\mathcal{O}(3^{D})$…

Data Structures and Algorithms · Computer Science 2025-10-06 Ethan Torres , Ramavarapu Sreenivas , Richard Sowers

This paper establishes the equivalence of the Aubin property and the strong regularity for generalized equations over $C^2$-cone reducible sets. This result resolves a long-standing question in variational analysis and extends the…

Optimization and Control · Mathematics 2025-10-14 Jiaming Ma , Defeng Sun

This paper provides a new and more direct proof of the assertion that a Turing computable function of the natural numbers is primitive recursive if and only if the time complexity of the corresponding Turing machine is bounded by a…

Formal Languages and Automata Theory · Computer Science 2025-10-22 Daniel G. Schwartz

The present paper gives a statistical adventure towards exploring the average case complexity behavior of computer algorithms. Rather than following the traditional count based analytical (pen and paper) approach, we instead talk in terms…

Data Structures and Algorithms · Computer Science 2013-12-18 Niraj Kumar Singh , Soubhik Chakraborty , Dheeresh Kumar Mallick

This paper studies the expressive and computational power of discrete Ordinary Differential Equations (ODEs), a.k.a. (Ordinary) Difference Equations. It presents a new framework using these equations as a central tool for computation and…

Logic in Computer Science · Computer Science 2022-09-27 Olivier Bournez , Arnaud Durand

Universal compression of patterns of sequences generated by independently identically distributed (i.i.d.) sources with unknown, possibly large, alphabets is investigated. A pattern is a sequence of indices that contains all consecutive…

Information Theory · Computer Science 2016-11-17 Gil I. Shamir

A tree is pathwise-random if all of its paths are Martin-Lof random. We show that (a) no weakly 2-random real computes a perfect pathwise-random tree; it follows that the class of perfect pathwise-random trees is null, with respect to any…

Logic · Mathematics 2024-05-24 George Barmpalias , Wei Wang

In this paper we present a novel non-parametric method of simplifying piecewise linear curves and we apply this method as a statistical approximation of structure within sequential data in the plane. We consider the problem of minimizing…

Computational Geometry · Computer Science 2012-05-31 Stephane Durocher , Alexandre Leblanc , Jason Morrison , Matthew Skala

Clustering is often a challenging problem because of the inherent ambiguity in what the "correct" clustering should be. Even when the number of clusters $K$ is known, this ambiguity often still exists, particularly when there is variation…

Information Theory · Computer Science 2025-05-09 Kayvon Mazooji , Ilan Shomorony

We generalize all known results on rigidity of uniform Roe algebras to the setting of arbitrary uniformly locally finite coarse spaces. For instance, we show that isomorphism between uniform Roe algebras of uniformly locally finite coarse…

Operator Algebras · Mathematics 2020-07-29 Bruno de Mendonça Braga , Ilijas Farah , Alessandro Vignati

Recent research in coarse geometry revealed similarities between certain concepts of analysis, large scale geometry, and topology. Property A of G.Yu is the coarse analog of amenability for groups and its generalization (exact spaces) was…

Metric Geometry · Mathematics 2014-01-07 M. Cencelj , J. Dydak , A. Vavpetič

We consider cylindrical algebraic decompositions (CADs) as a tool for representing semi-algebraic subsets of $\mathbb{R}^n$. In this framework, a CAD $\mathscr{C}$ is adapted to a given set $S$ if $S$ is a union of cells of $\mathscr{C}$.…

Symbolic Computation · Computer Science 2026-01-15 Lucas Michel , Pierre Mathonet , Naïm Zénaïdi
‹ Prev 1 8 9 10 Next ›