English
Related papers

Related papers: The growth function of S-recognizable sets

200 papers

Generalizations of numeration systems in which N is recognizable by a finite automaton are obtained by describing a lexicographically ordered infinite regular language L over a finite alphabet A. For these systems, we obtain a…

Computational Complexity · Computer Science 2007-05-23 Michel Rigo

A generalization of numeration system in which the set N of the natural numbers is recognizable by finite automata can be obtained by describing a lexicographically ordered infinite regular language. Here we show that if P belonging to Q[x]…

Computational Complexity · Computer Science 2007-05-23 Michel Rigo

A set of integers is $S$-recognizable in an abstract numeration system $S$ if the language made up of the representations of its elements is accepted by a finite automaton. For abstract numeration systems built over bounded languages with…

Discrete Mathematics · Computer Science 2008-09-16 Emilie Charlier , Michel Rigo , Wolfgang Steiner

Consider the set of those binary words with no non-empty factors of the form $xxx^R$. Du, Mousavi, Schaeffer, and Shallit asked whether this set of words grows polynomially or exponentially with length. In this paper, we demonstrate the…

Formal Languages and Automata Theory · Computer Science 2015-02-26 James D. Currie , Narad Rampersad

Let $A \cong k\langle X \rangle / I$ be an associative algebra. A finite word over alphabet $X$ is $I${\it-reducible} if its image in $A$ is a $k$-linear combination of length-lexicographically lesser words. An {\it obstruction} in a…

Rings and Algebras · Mathematics 2022-06-16 A. J. Kanel-Belov , I. A. Melnikov , I. V. Mitrofanov

This paper studies which functions computed by $\mathbb{Z}$-weighted automata can be realized by $\mathbb{N}$-weighted automata, under two extra assumptions: commutativity (the order of letters in the input does not matter) and polynomial…

Logic in Computer Science · Computer Science 2025-11-21 Aliaume Lopez

The growth rate function $r_N$ counts the number of irreducible representations of simple complex Lie groups of dimension $N$. While no explicit formula is known for this function, previous works have found bounds for $R_N=\sum_{i=1}^Nr_i$.…

Representation Theory · Mathematics 2021-11-01 Mohammed Barhoush

A morphic word is obtained by iterating a morphism to generate an infinite word, and then applying a coding. We characterize morphic words with polynomial growth in terms of a new type of infinite word called a $\textit{zigzag word}$. A…

Formal Languages and Automata Theory · Computer Science 2023-06-22 Tim Smith

Given a partially-ordered finite alphabet $\Sigma$ and a language $L\subseteq \Sigma^*$, how large can an antichain in $L$ be (where $L$ is given the lexicographic ordering)? More precisely, since $L$ will in general be infinite, we should…

Formal Languages and Automata Theory · Computer Science 2019-12-10 David Mestel

This article answers the question of V.M. Buchstaber about the growth function of a particular $n$-valued group. This question is closely related to discrete integrable systems. In this paper, we will find a formula for the growth function…

Dynamical Systems · Mathematics 2023-09-26 M. Chirkov

A word in a free group is called ``potentially positive'' if it is automorphic to an element which is written with only positive exponents. We will develop automata to analyze properties of potentially positive words. We will use these to…

Group Theory · Mathematics 2025-12-17 Emma Dinowitz , Lucy Koch-Hyde , Siobhan O'Connor , Eamonn Olive

We show that unary log-analytic functions are polynomially bounded. In the higher dimensional case globally a log-analytic function can have exponential growth. We show that a log-analytic function is polynomially bounded on a definable set…

Logic · Mathematics 2023-06-27 Tobias Kaiser

We introduce the notion of expandability in the context of automaton semigroups and groups: a word is k-expandable if one can append a suffix to it such that the size of the orbit under the action of the automaton increases by at least k.…

Formal Languages and Automata Theory · Computer Science 2020-01-28 Daniele D'Angeli , Emanuele Rodaro , Jan Philipp Wächter

In this paper we introduce some new methods to understand the analytic behaviour of the zeta function of a group. We can then combine this knowledge with suitable Tauberian theorems to deduce results about the growth of subgroups in a…

Group Theory · Mathematics 2007-05-23 Marcus du Sautoy , Fritz Grunewald

Given an alphabet $S$, we consider the size of the subsets of the full sequence space $S^{\rm {\bf Z}}$ determined by the additional restriction that $x_i\not=x_{i+f(n)},\ i\in {\rm {\bf Z}},\ n\in {\rm {\bf N}}.$ Here $f$ is a positive,…

Probability · Mathematics 2015-03-20 Kari Eloranta

We consider space functions $s(n)$ of finitely presented groups $G =< A\mid R> .$ (These functions have a natural geometric analog.) To define $s(n)$ we start with a word $w$ over $A$ of length at most $n$ equal to 1 in $G$ and use…

Group Theory · Mathematics 2011-11-08 Alexander Olshanskii

We consider two natural problems about nondeterministic finite automata. First, given such an automaton M of n states, and a length l, does M accept a word of length l? We show that the classic problem of triangle-free graph recognition…

Formal Languages and Automata Theory · Computer Science 2018-02-14 Aaron Potechin , Jeffrey Shallit

Let $K=Z/pZ$ and let $A$ be a subset of $\GL_r(K)$ such that $<A>$ is solvable. We reduce the study of the growth of $A$ under the group operation to the nilpotent setting. Specifically we prove that either $A$ grows rapidly (meaning…

Group Theory · Mathematics 2013-09-11 Nick Gill , Harald Andres Helfgott

We study some properties of the growth rate of $\mathcal{L}(\mathcal{A},\mathcal{F})$, that is, the language of words over the alphabet $\mathcal{A}$ avoiding the set of forbidden factors $\mathcal{F}$. We first provide a sufficient…

Combinatorics · Mathematics 2025-04-09 Vuong Bui , Matthieu Rosenfeld

Fix an integer $h \geq 2$, and let $b_1, \ldots, b_h$ be (not necessarily distinct) positive integers with $\gcd(b_1, \ldots, b_h) = 1$. For any subset $A \subseteq \mathbb{N}$, let $r_A(n)$ denote the number of solutions $(k_1, \ldots,…

Number Theory · Mathematics 2026-05-06 Christian Táfula
‹ Prev 1 2 3 10 Next ›