English
Related papers

Related papers: A nullstellensatz for sequences over F_p

200 papers

This paper provides counterexamples to a previously conjectured upper bound on the first index $n_0$ at which a zero appears in constant term sequences of the form $A_p(n) = ct(P^n) \mod p$, where $P(t) \in \mathbb{Z}[t, t^{-1}]$. The…

Number Theory · Mathematics 2025-04-29 Justin Offutt

We present a short, self-contained, and purely combinatorial proof of Linnik's theorem: for any $\varepsilon > 0$ there exists a constant $C_\varepsilon$ such that for any $N$, there are at most $C_\varepsilon$ primes $p \leqslant N$ such…

Number Theory · Mathematics 2017-12-21 Paul Balister , Béla Bollobás , Jonathan D. Lee , Robert Morris , Oliver Riordan

This work deals with the semi linear equation $-\Delta u+u-u^p=0$ in $\R^N$, $2\leq p<{N+2\over N-2}$. We consider the positive solutions which are ${2\pi\over\ep}$-periodic in $x_1$ and decreasing to 0 in the other variables, uniformly in…

Analysis of PDEs · Mathematics 2013-10-14 Geneviève Allain , Anne Beaulieu

Let $E\subset \mathbb Z$ be a set of positive upper density. Suppose that $P_1,P_2,..., P_k\in \mathbb Z[X]$ are polynomials having zero constant terms. We show that the set $E\cap (E-P_1(p-1))\cap ... \cap (E-P_k(p-1))$ is non-empty for…

Dynamical Systems · Mathematics 2015-06-08 Trevor D. Wooley , Tamar D. Ziegler

There exists an absolute constant $C$ with the following property. Let $A \subseteq \mathbb{F}_p$ be a set in the prime order finite field with $p$ elements. Suppose that $|A| > C p^{5/8}$. The set \[ (A \pm A)(A \pm A) = \{(a_1 \pm…

Combinatorics · Mathematics 2016-02-08 Giorgis Petridis

Let $(X,\le)$ be a {\em non-empty strictly inductive poset}, that is, a non-empty partially ordered set such that every non-empty chain $Y$ has a least upper bound lub$(Y)\in X$, a chain being a subset of $X$ totally ordered by $\le$. We…

Logic · Mathematics 2015-02-24 Frédéric Blanqui

The amoeba of an affine algebraic variety V in (C^*)^r is the image of V under the map (z_1, ..., z_r) -> (log|z_1|, ..., log|z_r|). We give a characterisation of the amoeba based on the triangle inequality, which we call testing for…

Algebraic Geometry · Mathematics 2007-05-23 Kevin Purbhoo

A sequence $\{f_n\}$ of strongly-measurable functions taking values in a Banach space $\X$ is scalarly null a\.e\. (resp. scalarly null in measure) if $x^*f_n \rightarrow0$ a\.e\. (resp. $x^*f_n \rightarrow 0$ in measure) for every $x^*\in…

Functional Analysis · Mathematics 2016-09-06 Stephen J. Dilworth , Maria Girardi

The general Nullstellensatz states that if $A$ is a Jacobson ring, $A[X]$ is Jacobson. We introduce the notion of an $\alpha$-Jacobson ring for an ordinal $\alpha$ and prove a quantitative version of the general Nullstellensatz: if $A$ is…

Commutative Algebra · Mathematics 2025-02-18 Ryota Kuroki

It is proved in this paper that to every underdetermined linear system $Ax=b$ there corresponds a constant $p(A,b)>0$ such that every solution to the $l_p$-norm minimization problem also solves the $l_0$-norm minimization problem whenever…

Information Theory · Computer Science 2015-01-12 Jigen Peng , Shigang Yue , Haiyang Li

In this expository note we show how combinatorial Nullstellensatz by N. Alon naturally appears in solutions of elementary problems. Simple ideas gradually and naturally appear in such solutions, thus bringing a reader to generalizations.…

History and Overview · Mathematics 2026-01-08 M. Lozhkin , A. Skopenkov

We derive some new results on the k-th barycentric Olson constants of abelian groups (mainly cyclic). This quantity, for a finite abelian (additive) group (G,+), is defined as the smallest integer l such that each subset A of G with at…

Number Theory · Mathematics 2013-06-20 Oscar Ordaz , Alain Plagne , Wolfgang A. Schmid

We prove that the maximal dimension of a $p$-central subspace of the generic symbol $p$-algebra of prime degree $p$ is $p+1$. We do it by proving the following number theoretic fact: let $\{s_1,\dots,s_{p+1}\}$ be $p+1$ distinct nonzero…

Rings and Algebras · Mathematics 2016-09-20 Adam Chapman , Michael Chapman

Denoting by Sigma(S) the set of subset sums of a subset S of a finite abelian group G, we prove that |Sigma(S)| >= |S|(|S|+2)/4-1 whenever S is symmetric, |G| is odd and Sigma(S) is aperiodic. Up to an additive constant of 2 this result is…

Combinatorics · Mathematics 2014-07-01 Eric Balandraud , Benjamin Girard , Simon Griffiths , Yahya Ould Hamidoune

Using polynomial equations to model combinatorial problems has been a popular tool both in computational combinatorics as well as an approach to proving new theorems. In this paper, we look at several combinatorics problems modeled by…

Combinatorics · Mathematics 2016-07-19 Bart Sevenster , Jacob Turner

We say that a sequence $(x_n)_{n \in \mathbb{N}}$ in $[0,1)$ has Poissonian pair correlations if \begin{equation*} \lim_{N \to \infty} \frac{1}{N} \# \left \lbrace 1 \leq l \neq m \leq N: \| x_l - x_m \| \leq \frac{s}{N} \right \rbrace = 2s…

Number Theory · Mathematics 2018-03-20 Gerhard Larcher , Wolfgang Stockinger

Let ${\mathcal P}_k$ denote the set of all algebraic polynomials of degree at most $k$ with real coefficients. Let ${\mathcal P}_{n,k}$ be the set of all algebraic polynomials of degree at most $n+k$ having exactly $n+1$ zeros at $0$. Let…

Classical Analysis and ODEs · Mathematics 2018-09-21 Tamás Erdélyi

Let $G\cong \mathbb Z/m_1\mathbb Z\times\ldots\times \mathbb Z/m_r\mathbb Z$ be a finite abelian group with $m_1\mid\ldots\mid m_r=\exp(G)$. The Kemperman Structure Theorem characterizes all subsets $A,\,B\subseteq G$ satisfying…

Number Theory · Mathematics 2018-04-20 David J. Grynkiewicz

Let $(x_n)_{n\geq0}$ be a linear recurrence of order $k\geq2$ satisfying $$x_n=a_1x_{n-1}+a_2x_{n-2}+\dots+a_kx_{n-k}$$ for all integers $n\geq k$, where $a_1,\dots,a_k,x_0,\dots, x_{k-1}\in \mathbb{Z},$ with $a_k\neq0$. In [`The quotient…

Number Theory · Mathematics 2022-11-22 Deepa Antony , Rupam Barman

We will investigate the asymptotic behavior of positive solutions of the elliptic equation \Delta u+|x|^{l_{1}}u^{p}+|x|^{l_{2}}u^{q}=0 {in} R^{n}. We establish that for $n\geq 3$ and $q>p>1$, any positive radial solution of (0.1) has the…

Analysis of PDEs · Mathematics 2010-01-18 Baishun Lai , Shuqing Zhou , qing Luo