English
Related papers

Related papers: The relationship between word complexity and compu…

200 papers

Given a countable structure $\mathcal{A}$, the degree spectrum of $\mathcal{A}$ is the set of all Turing degrees which can compute an isomorphic copy of $\mathcal{A}$. One of the major programs in computable structure theory is to determine…

Logic · Mathematics 2025-11-07 Matthew Harrison-Trainor

Finite-state complexity is a variant of algorithmic information theory obtained by replacing Turing machines with finite transducers. We consider the state-size of transducers needed for minimal descriptions of arbitrary strings and, as our…

Formal Languages and Automata Theory · Computer Science 2010-08-11 Cristian Calude , Kai Salomaa , Tania Roblot

We characterize the complexity functions of subshifts up to asymptotic equivalence. The complexity function of every aperiodic function is non-decreasing, submultiplicative and grows at least linearly. We prove that conversely, every…

Dynamical Systems · Mathematics 2025-09-24 Be'eri Greenfeld , Carlos Gustavo Moreira , Efim Zelmanov

A turn in a computation of a pushdown automaton is a switch from a phase in which the height of the pushdown store increases to a phase in which it decreases. Given a pushdown or one-counter automaton, we consider, for each string in its…

Formal Languages and Automata Theory · Computer Science 2026-03-10 Giovanni Pighizzini

In this article we study how a subshift can simulate another one, where the notion of simulation is given by operations on subshifts inspired by the dynamical systems theory (factor, projective subaction...). There exists a correspondence…

Dynamical Systems · Mathematics 2016-02-22 Nathalie Aubrun , Mathieu Sablik

In a previous paper, we described the set of words that appear in the coding of smooth (resp. analytic) curves at arbitrary small scale. The aim of this paper is to compute the complexity of those languages.

Discrete Mathematics · Computer Science 2011-08-19 Thierry Monteil

We obtain sequences of inclusion sets for the spectrum, essential spectrum, and pseudospectrum of banded, in general non-normal, matrices of finite or infinite size. Each inclusion set is the union of the pseudospectra of certain…

Spectral Theory · Mathematics 2023-06-21 Simon N. Chandler-Wilde , Ratchanikorn Chonchaiya , Marko Lindner

Intrinsic complexity of a relation on a given computable structure is captured by the notion of its degree spectrum - the set of Turing degrees of images of the relation in all computable isomorphic copies of that structure. We investigate…

Logic · Mathematics 2021-10-05 Nikolay Bazhenov , Dariusz Kalociński , Michał Wrocławski

We prove that every topologically transitive shift of finite type in one dimension is topologically conjugate to a subshift arising from a primitive random substitution on a finite alphabet. As a result, we show that the set of values of…

Dynamical Systems · Mathematics 2020-04-15 Philipp Gohlke , Dan Rust , Timo Spindeler

The connection between Superstring theory and the low--energy world is analyzed. In particular, the soft Supersymmetry--breaking terms arising in Supergravity theories coming from Superstrings are computed. Several solutions proposed to…

High Energy Physics - Phenomenology · Physics 2016-09-01 C. Munoz

Given a countable set X (usually taken to be N or Z), an infinite permutation $\pi$ of X is a linear ordering $<_\pi$ of X. This paper investigates the combinatorial complexity of infinite permutations on N associated with the image of…

Combinatorics · Mathematics 2011-03-01 Steven Widmer

An infinite permutation is a linear ordering of the set of non-negative integers. Generally, the properties of infinite permutations analogous to those of infinite words show some resemblances and some differences between permutations and…

Combinatorics · Mathematics 2009-11-09 S. V. Avgustinovich , A. E. Frid , T. Kamae , P. V. Salimov

Let $Z$ be a projective hypersurface such that its underlying reduced variety has only isolated singularities. In case its irreducible components have constant multiplicities, for instance if $\dim Z>1$, we show that the spectrum of its…

Algebraic Geometry · Mathematics 2025-08-08 Seung-Jo Jung , Morihiko Saito , Youngho Yoon

This paper concerns algorithms that give correct answers with (asymptotic) density $1$. A dense description of a function $g : \omega \to \omega$ is a partial function $f$ on $\omega$ such that $\left\{n : f(n) = g(n)\right\}$ has density…

Logic · Mathematics 2018-11-20 Eric P. Astor , Denis R. Hirschfeldt , Carl G. Jockusch

Transitivity, the existence of periodic points and positive topological entropy can be used to characterize complexity in dynamical systems. It is known that for graphs that are not trees, for every $\varepsilon>0,$ there exist (complicate)…

Dynamical Systems · Mathematics 2018-07-05 Lluís Alsedà , Liane Bordignon , Jorge Groisman

In a previous paper, the author introduced the idea of intrinsic density --- a restriction of asymptotic density to sets whose density is invariant under computable permutation. We prove that sets with well-defined intrinsic density (and…

Logic · Mathematics 2017-09-06 Eric P. Astor

In this paper we explore fundamental concepts in computational complexity theory and the boundaries of algorithmic decidability. We examine the relationship between complexity classes \textbf{P} and \textbf{NP}, where $L \in \textbf{P}$…

Computational Complexity · Computer Science 2025-12-30 Duaa Abdullah , Jasem Hamoud

We introduce the Insertion Chain Complex, a higher-dimensional extension of insertion graphs, as a new framework for analyzing finite sets of words. We study its topological and combinatorial properties, in particular its homology groups,…

Combinatorics · Mathematics 2025-09-17 Nataša Jonoska , Francisco Martinez-Figueroa , Masahico Saito

Infinite words, also known as streams, hold significant interest in computer science and mathematics, raising the natural question of how their complexity should be measured. We introduce cellular automaton reducibility as a measure of…

Formal Languages and Automata Theory · Computer Science 2026-01-30 Markel Zubia , Herman Geuvers

Given a countable set X (usually taken to be the natural numbers or the integers), an infinite permutation \pi of X is a linear ordering of X. This paper investigates the combinatorial complexity of the infinite permutation on the natural…

Combinatorics · Mathematics 2010-04-06 Steven Widmer