English
Related papers

Related papers: The growth function of S-recognizable sets

200 papers

Recurrent Neural Network (RNN) is a fundamental structure in deep learning. Recently, some works study the training process of over-parameterized neural networks, and show that over-parameterized networks can learn functions in some notable…

Machine Learning · Computer Science 2022-01-27 Lifu Wang , Bo Shen , Bo Hu , Xing Cao

The use of monoids in the study of word languages recognized by finite-state automata has been quite fruitful. In this work, we look at the same idea of "recognizability by finite monoids" for other monoids. In particular, we attempt to…

Formal Languages and Automata Theory · Computer Science 2025-02-12 Pranshu Gaba , Arnab Sur

In this paper, we investigate the problem of synthesizing computable functions of infinite words over an infinite alphabet (data omega-words). The notion of computability is defined through Turing machines with infinite inputs which can…

Logic in Computer Science · Computer Science 2020-02-20 Léo Exibard , Emmanuel Filiot , Pierre-Alain Reynier

Using the theory of functions of several complex variables, we prove that if an analytic function in several variables satisfies a system of $q$-partial differential equations, then, it can be expanded in terms of the product of the…

Analysis of PDEs · Mathematics 2018-05-08 Zhi-Guo Liu

We consider the question of which semigroups can occur as the semigroup $S_R(\nu)$ of positive values of a rank 1 valuation dominating a Noetherian local ring $R$. We give a number of bounds of polynomial type on the growth of…

Commutative Algebra · Mathematics 2008-09-23 Steven Dale Cutkosky , Kia Dalili , Olga Kashcheyeva

Let $m_n(G)$ denote the number of maximal subgroups of $G$ of index $n$. An upper bound is given for the degree of maximal subgroup growth of all polycyclic metabelian groups $G$ (i.e., for $\limsup \frac{\log m_n(G)}{\log n}$, the degree…

Group Theory · Mathematics 2018-07-11 Andrew James Kelley

Let G=SL_n. Let K=Z/pZ, p a prime. Let A\subset G(K) generate G(K). Suppose that |A|<p^{n+1-\delta}, delta>0. Then |A A A|>>|A|^{1+\epsilon}, where epsilon>0 and the implied constant depend only on n and delta.

Group Theory · Mathematics 2010-09-13 Nick Gill , Harald Andres Helfgott

We will use a discrete analogue of the classical Laplace method to show that for infinitely many positive integers $n$, the main term of the asymptotic expansion of the scaled $q$-exponential $(-q^{-nt+1/2}u;q)_{\infty}$ could be expressed…

Classical Analysis and ODEs · Mathematics 2007-05-23 Ruiming Zhang

On the one hand, it is well known that the only subquadratic Dehn function of finitely presented groups is the linear one. On the other hand there is a huge class of Dehn functions $d(n)$ with growth at least $n^4$ (essentially all possible…

Group Theory · Mathematics 2018-11-22 A. Yu Olshanskii

A set X of partial words over a finite alphabet A is called unavoidable if every two-sided infinite word over A has a factor compatible with an element of X. Unlike the case of a set of words without holes, the problem of deciding whether…

Formal Languages and Automata Theory · Computer Science 2017-08-23 Joey Becker , F. Blanchet-Sadri , Laure Flapan , Stephen Watkins

Let $p(x) \in C(x)$ be a rational function satisfying the condition $p(0)=1$ and $q$ an integer larger than $1$, in this article we will consider the power expansion of the infinite product…

Number Theory · Mathematics 2019-11-28 Shuo Li

This paper determines the rate of growth to infinity of a scalar autonomous nonlinear functional differential equation with finite delay, where the right hand side is a positive continuous linear functional of $f(x)$. We assume $f$ grows…

Classical Analysis and ODEs · Mathematics 2014-09-16 John A. D. Appleby , Denis D. Patterson

Given a finite alphabet $\mathbb{A}$ and a primitive substitution $\theta:\mathbb{A}\to\mathbb{A}^\lambda$ (of constant length $\lambda$), let $(X_\theta,S)$ denote the corresponding dynamical system, where $X_{\theta}$ is the closure of…

Dynamical Systems · Mathematics 2018-11-05 Mariusz Lemańczyk , Clemens Müllner

Let $X\subset\mathbb{R}^n$ be a convex closed and semialgebraic set and let $f$ be a polynomial positive on $X$. We prove that there exists an exponent $N\geq 1$, such that for any $\xi\in\mathbb{R}^n$ the function…

Algebraic Geometry · Mathematics 2018-12-13 Krzysztof Kurdyka , Katarzyna Kuta , Stanisław Spodzieja

Let $\A=\{a_1<a_2<a_3.....<a_n<...\}$ be an infinite sequence of integers and let $R_2(n)=|\{(i,j):\ \ a_i+a_j=n;\ \ a_i,a_j\in \A;\ \ i\le j\}|$. We define $S_k=\s_{l=1}^k(R_2(2l)-R_2(2l+1))$. We prove that, if $L^{\infty}$ norm of…

Number Theory · Mathematics 2014-11-27 R. Balasubramanian , Sumit Giri

Let $A$ be an algebra with fixed set of generators $a_1,\dots,a_s$. $V_A(n)$ be dimension of the space, generated by worlds of length $\le n$ over $a_i$, $T_A(n)=V_A(n)-V_A(n-1)$. If $T_A(n)<\mbox{Const}$, algebra $A$ is a {\it boundary…

Dynamical Systems · Mathematics 2017-12-05 A. Ya. Belov , A. L. Chernyatiev

Full residual finiteness growth of a finitely generated group $G$ measures how efficiently word metric $n$-balls of $G$ inject into finite quotients of $G$. We initiate a study of this growth over the class of nilpotent groups. When the…

Group Theory · Mathematics 2015-05-04 Khalid Bou-Rabee , Daniel Studenmund

Given a finitely generated group with generating set $S$, we study the \emph{cogrowth} sequence, which is the number of words of length $n$ over the alphabet $S$ that are equal to one. This is related to the probability of return for walks…

Combinatorics · Mathematics 2020-01-01 Jason Bell , Marni Mishna

We will prove several expanders with exponent strictly greater than $2$. For any finite set $A \subset \mathbb R$, we prove the following six-variable expander results: \begin{align*} |(A-A)(A-A)(A-A)| &\gg…

Combinatorics · Mathematics 2016-11-17 Antal Balog , Oliver Roche-Newton , Dmitry Zhelezov

A fundamental question in logic and verification is the following: for which unary predicates $P_1, \ldots, P_k$ is the monadic second-order theory of $\langle \mathbb{N}; <, P_1, \ldots, P_k \rangle$ decidable? Equivalently, for which…

Formal Languages and Automata Theory · Computer Science 2025-06-24 Valérie Berthé , Toghrul Karimov , Mihir Vahanwala