English
Related papers

Related papers: Subword Complexity and (non)-automaticity of certa…

200 papers

The past research on the state complexity of operations on regular languages is examined, and a new approach based on an old method (derivatives of regular expressions) is presented. Since state complexity is a property of a language, it is…

Formal Languages and Automata Theory · Computer Science 2009-07-28 Janusz Brzozowski

The $N$th linear complexity of a sequence is a measure of predictability. Any unpredictable sequence must have large $N$th linear complexity. However, in this paper we show that for $q$-automatic sequences over $\mathbb{F}_q$ the converse…

Number Theory · Mathematics 2017-11-30 László Mérai , Arne Winterhof

In this paper we study the privileged complexity function of the Thue-Morse word. We prove a recursive formula describing this function, and using the formula we show that the function is unbounded and that the values of the function have…

Combinatorics · Mathematics 2015-07-23 Jarkko Peltomäki

We consider an expansion of Presburger arithmetic which allows multiplication by $k$ parameters $t_1,\ldots,t_k$. A formula in this language defines a parametric set $S_\mathbf{t} \subseteq \mathbb{Z}^{d}$ as $\mathbf{t}$ varies in…

Logic · Mathematics 2018-02-06 Tristram Bogart , John Goodrick , Danny Nguyen , Kevin Woods

The paper solves the problems of determining the asymptotics of the number of primes and the sums of functions of primes in a subset of the natural series that satisfies the conditions that the asymptotic density of the number of primes in…

Number Theory · Mathematics 2022-06-13 Victor Volfson

An infinite permutation $\alpha$ is a linear ordering of $\mathbb N$. We study properties of infinite permutations analogous to those of infinite words, and show some resemblances and some differences between permutations and words. In this…

Discrete Mathematics · Computer Science 2011-09-29 Anna Frid , Luca Zamboni

We prove a function field analogue of Maynard's result about primes with restricted digits. That is, for certain ranges of parameters n and q, we prove an asymptotic formula for the number of irreducible polynomials of degree n over a…

Number Theory · Mathematics 2019-08-15 Sam Porritt

Let $n$ be a positive integer and $f_n(x)= 1+x+\frac{x^2}{2!}+\cdots + \frac{x^n}{n!}$ denote the $n$-th Taylor polynomial of the exponential function. Let $K = \mathbf{Q}(\theta)$ be an algebraic number field where $\theta$ is a root of…

Number Theory · Mathematics 2023-10-19 Anuj Jakhar , Srinivas Kotyada

For each of the functions $f \in \{\phi, \sigma, \omega, \tau\}$ and every natural number $k$, we show that there are infinitely many solutions to the inequalities $f(p_n-1) < f(p_{n+1}-1) < \dots < f(p_{n+k}-1)$, and similarly for…

Number Theory · Mathematics 2014-08-07 Paul Pollack , Lola Thompson

This paper concerns $\mu$-limit sets of cellular automata: sets of configurations made of words whose probability to appear does not vanish with time, starting from an initial $\mu$-random configuration. More precisely, we investigate the…

Discrete Mathematics · Computer Science 2015-06-23 Laurent Boyer , Martin Delacourt , Victor Poupet , Mathieu Sablik , Guillaume Theyssier

In this work, we treat subshifts, defined in terms of an alphabet $A$ and (usually infinite) forbidden list $F$, where the number of $n$-letter words in $F$ has "slow growth rate" in $n$. We show that such subshifts are well-behaved in…

Dynamical Systems · Mathematics 2023-06-22 Ronnie Pavlov

Let g be a non-zero rational number. Let N_{g,t}(x) denote the number of primes p<=x for which the subgroup of the multiplicative group of the finite field having p elements that is generated by g mod p is of residual index t. In Part I,…

Number Theory · Mathematics 2007-05-23 Pieter Moree

It has been recently proved that the automorphism group of a minimal subshift with non-superlinear word complexity is virtually $\mathbb{Z}$ [DDPM15, CK15]. In this article we extend this result to a broader class proving that the…

Dynamical Systems · Mathematics 2021-05-13 Bastián Espinoza , Alejandro Maass

"Quantitative languages are extension of boolean languages that assign to each word a real number. Mean-payoff automata are finite automata with numerical weights on transitions that assign to each infinite path the long-run average of the…

Logic in Computer Science · Computer Science 2012-05-20 Yaron Velner

We conjecture that bounded generalised polynomial functions cannot be generated by finite automata, except for the trivial case when they are ultimately periodic. Using methods from ergodic theory, we are able to partially resolve this…

Number Theory · Mathematics 2020-04-01 Jakub Byszewski , Jakub Konieczny

Let $n$ and $k$ be positive integers, and $f_n(k)$ (resp. $g_n(k)$) be the number of unital subrings (resp. unital irreducible subrings) of $\mathbb{Z}^n$ of index $k$. The numbers $f_n(k)$ are coefficients of certain zeta functions of…

Number Theory · Mathematics 2022-12-01 Hrishabh Mishra , Anwesh Ray

The initial non-repetitive complexity function of an infinite word x (first defined by Moothathu) is the function of n that counts the number of distinct factors of length n that appear at the beginning of x prior to the first repetition of…

Combinatorics · Mathematics 2016-01-15 Jeremy Nicholson , Narad Rampersad

Given a first-order theory $T$ formulated in the usual language of first-order arithmetic, we say that $T$ is of *restricted complexity* if there is some natural number $n$ and some set $\mathcal A$ of $\Sigma_n$-sentences such that $T$ can…

Logic · Mathematics 2025-10-01 Ali Enayat , Mateusz Łełyk , Albert Visser

Let $F=\{\mathbf{p}_0,\ldots,\mathbf{p}_n\}$ be a collection of points in $\mathbb{R}^d.$ The set $F$ naturally gives rise to a family of iterated function systems consisting of contractions of the form $$S_i(\mathbf{x})=\lambda \mathbf{x}…

Dynamical Systems · Mathematics 2018-10-17 Simon Baker , Derong Kong

Motivated by the problem of finding finite versions of classical incompleteness theorems, we present some conjectures that go beyond ${\bf NP\neq co NP}$. These conjectures formally connect computational complexity with the difficulty of…

Logic · Mathematics 2017-05-22 Pavel Pudlak