Related papers: On expansions of $(\mathbf{Z},+,0)$

We prove that if $p\geq 1$ and $-1\leq r\leq p-1$ then the binomial sequence $\binom{np+r}{n}$, $n=0,1,...$, is positive definite and is the moment sequence of a probability measure $\nu(p,r)$, whose support is contained in…

This article provides a proof of a generalization of Schur's theorem on the partition regularity of the equation x+y=z, which involves a divisibility condition. This generalization will be utilized to prove the existence of 'small'…

A polynomial $p\in\mathbb{R}[z_1,\dots,z_n]$ is real stable if it has no roots in the upper-half complex plane. Gurvits's permanent inequality gives a lower bound on the coefficient of the $z_1z_2\dots z_n$ monomial of a real stable…

Let $\big(\mathcal{S}_n^{\alpha,\kappa,\mathfrak{r}}(z)\big)_{n=1}^\infty$ be a sequence of the largest possible integer intervals, such that…

Let $\psi_1,...,\psi_k$ be periodic maps from $\Bbb Z$ to a field of characteristic p (where p is zero or a prime). Assume that positive integers $n_1,...,n_k$ not divisible by p are their periods respectively. We show that…

Let $S$ be a finite set of positive integers with largest element $m$. Let us randomly select a composition $a$ of the integer $n$ with parts in $S$, and let $m(a)$ be the multiplicity of $m$ as a part of $a$. Let $0\leq r<q$ be integers,…

Ruzsa's conjecture asserts that any sequence $(a_n)_{n \geq 0}$ of integers that preserves congruences, $\textit{i.e.}$, satisfies $ a_{n+k} \equiv a_n \mod k $, and has the growth condition $\limsup_{n \to +\infty} |a_n|^{1/n} < e$, must…

Let $(r_{A,n}(x))_{n \in \mathbb{N}}$ be a sequence of polynomials with coefficients from a field $K$ satisfying the recurrence relation $r_{A,n}(x)= \sum_{|\alpha|\leq m} t_{\alpha,n}(x)\textbf{r}_{A,n}^\alpha(x)$ of order $d+1 \in…

Let $p \in (0, \infty)$ be a constant and let $\{\xi_n\} \subset L^p(\Omega, {\mathcal F}, \P)$ be a sequence of random variables. For any integers $m, n \ge 0$, denote $S_{m, n} = \sum_{k=m}^{m + n} \xi_k$. It is proved that, if there…

Smooth solutions to the axially symmetric Navier-Stokes equations obey the following maximum principle:$\|ru_\theta(r,z,t)\|_{L^\infty}\leq\|ru_\theta(r,z,0)\|_{L^\infty}.$ We first prove the global regularity of solutions if…

Suppose $N$ is elementarily equivalent to an archimedean ordered abelian group $(G,+,<)$ with small quotients (for all $1 \leq n < \omega$, $[G: nG]$ is finite). Then every stable reduct of $N$ which expands $(G,+)$ (equivalently every…

This paper investigates $\exists\mathbb{R}(r^{\mathbb{Z}})$, that is the extension of the existential theory of the reals by an additional unary predicate $r^{\mathbb{Z}}$ for the integer powers of a fixed computable real number $r > 0$. If…

Let $\mathcal{R}$ be an expansion of the ordered real additive group. When $\mathcal{R}$ is o-minimal, it is known that either $\mathcal{R}$ defines an ordered field isomorphic to $(\mathbb{R},<,+,\cdot)$ on some open subinterval…

We show that if $ \mathcal{Z} $ is a dp-minimal expansion of $ \left(\mathbb{Z},+,0,1\right) $ that defines an infinite subset of $ \mathbb{N} $, then $ \mathcal{Z} $ is interdefinable with $ \left(\mathbb{Z},+,0,1, < \right) $. As a…

We consider integer sequences that satisfy a recursion of the form $x_{n+1} = P(x_n)$ for some polynomial $P$ of degree $d > 1$. If such a sequence tends to infinity, then it satisfies an asymptotic formula of the form $x_n \sim A…

Let $P_1,\dots,P_k \colon {\bf Z} \to {\bf Z}$ be polynomials of degree at most $d$ for some $d \geq 1$, with the degree $d$ coefficients all distinct, and admissible in the sense that for every prime $p$, there exists integers $n,m$ such…

Let $m$ be any positive integer and let $\delta_1,\delta_2\in\{1,-1\}$. We show that for some constanst $C_m>0$ there are infinitely many integers $n>1$ with $p_{n+m}-p_n\le C_m$ such that $$\left(\frac{p_{n+i}}{p_{n+j}}\right)=\delta_1\…

We determine a lower gap property for the growth of an unbounded \(\mathbb{Z}\)-valued \(k\)-regular sequence. In particular, if \(f:\mathbb{N}\to\mathbb{Z}\) is an unbounded \(k\)-regular sequence, we show that there is a constant \(c>0\)…

Let $n$ be a positive integer and let $C_n$ be the cycle indicator of the symmetric group $S_n$. Carlitz proved that if $p$ is a prime, and if $r$ is a non negative integer, then we have the congruence $C_{r+np}\equiv (X_1^p-X_p)^nC_r…

Let $(a_n), (b_n)$ be linear recursive sequences of integers with characteristic polynomials $A(X),B(X)\in \mathbb{Z}[X]$ respectively. Assume that $A(X)$ has a dominating and simple real root $\alpha$, while $B(X)$ has a pair of conjugate…