Related papers: On the growth rate of polyregular functions
In this paper, we introduced some notions on the n-Normed Spaces. Those are bounded k-linear (or multilinear) functionals and k-continuous (or multicontinuous) functions with k \in \mathbb{N}. We defined k-linear functionals under several…
Bonamy et al \cite{BBEGLPS} showed that graphs of polynomial growth have finite asymptotic dimension. We refine their result showing that a graph of polynomial growth strictly less than $n^{k+1}$ has asymptotic dimension at most $k$. As a…
The aim of this paper is to prove that every polynomial function that maps the natural integers to the positive integers is the growth function of some D0L-system.
Denote by $\mathfrak{o}$ the valuation ring of a non-Archimedean local field with prime ideal $\mathfrak{p}$ and finite residue field, and let $r\geq 1$ be an integer. We prove that for every smooth affine group scheme $G$ over…
Suppose $(M,g)$ is a Riemannian manifold having dimension $n$, nonnegative Ricci curvature, maximal volume growth and unique tangent cone at infinity. In this case, the tangent cone at infinity $C(X)$ is an Euclidean cone over the…
Decision Diagrams(DDs) are one of the most popular representations for boolean functions. They are widely used in the design and verification of circuits. Different types of DDs have been proven to represent important functions in…
We study $\mathbb{R}_{\textrm{an},\exp}$-definable functions $f:\mathbb{R}\to \mathbb{R}$ that take integer values at all sufficiently large positive integers. If $|f(x)|= O\big(2^{(1+10^{-5})x}\big)$, then we find polynomials $P_1, P_2$…
We study connectivity functions, that is, integer-valued symmetric submodular functions on a finite ground set attaining $0$ on the empty set. For a connectivity function $f$ on an $n$-element set $V$ and an integer $k\ge 0$, we show that…
We investigate the construction of $\pm1$-valued completely multiplicative functions that take the value $+1$ at at most $k$ consecutive integers, which we call length-$k$ functions. We introduce a way to extend the length based on the idea…
We provide new characterizations of the $BMO$-Sobolev space $I_{\alpha}(BMO)$ for the range $0 < \alpha <2$. When $0 < \alpha <1$, our characterizations are in terms of square functions measuring multiscale approximation of constants, and…
We obtain polynomial bounds on the growth in time of Sobolev norm of solutions to the cubic defocusing nonlinear Schrodinger equation on two dimensional product space. We also give the angular improved bilinear Strichartz estimates for…
An integer point in a polyhedron is called irreducible iff it is not the midpoint of two other integer points in the polyhedron. We prove that the number of irreducible integer points in $n$-dimensional polytope with radius $k$ given by a…
Regular model checking is an exploration technique for infinite state systems where state spaces are represented as regular languages and transition relations are expressed using rational relations over infinite (or finite) strings. We…
In the case of Krein's strings with spectral functions of polynomial growth a necessary and sufficient condition for the Krein's correspondence to be continuous is given.
We prove that a $k$-regulous function defined on a non-singular affine variety can always be extended to the entire affine space.
Spectral representations of the dilation and translation operators on $L^2({\mathbb R})$ are built through appropriate bases. Orthonormal wavelets and multiresolution analysis are then described in terms of rigid operator-valued functions…
Boolean functions on the space $F_{2}^m$ are not only important in the theory of error-correcting codes, but also in cryptography, where they occur in private key systems. In these two cases, the nonlinearity of these function is a main…
In this manuscript, we analyze the expansions of functions in orthogonal polynomials associated with a general weight function in a multidimensional setting. Such orthogonal polynomials can be obtained by Gram-Schmidt orthogonalization.…
We consider orthogonal polynomials on the unit circle associated with certain semi-classical weight functions. This means that the Pearson-type differential equations satisfied by these weight functions involve two polynomials of degree at…
In this paper, we describe the irreducible spherical functions of fundamental $K$-types associated with the pair $(G,K)=({\mathrm{SO}}(n+1),{\mathrm{SO}}(n))$ in terms of matrix hypergeometric functions. The output of this description is…