-
Structured and Punctured Nullstellensätze
Authors:
Erhard Aichinger,
John R. Schmitt,
Henry Zhan
Abstract:
A Nullstellensatz is a theorem providing information on polynomials that vanish on a certain set: David Hilbert's Nullstellensatz (1893) is a cornerstone of algebraic geometry, and Noga Alon's Combinatorial Nullstellensatz (1999) is a powerful tool in the "Polynomial Method", a technique used in combinatorics. Alon's Theorem excludes that a polynomial vanishing on a grid contains a monomial with c…
▽ More
A Nullstellensatz is a theorem providing information on polynomials that vanish on a certain set: David Hilbert's Nullstellensatz (1893) is a cornerstone of algebraic geometry, and Noga Alon's Combinatorial Nullstellensatz (1999) is a powerful tool in the "Polynomial Method", a technique used in combinatorics. Alon's Theorem excludes that a polynomial vanishing on a grid contains a monomial with certain properties. This theorem has been generalized in several directions, two of which we will consider in detail: Terence Tao and Van H. Vu (2006), Uwe Schauz (2008) and Michał Lasoń (2010) exclude more monomials, and recently, Bogdan Nica (2023) improved the result for grids with additional symmetries in their side edges. Simeon Ball and Oriol Serra (2009) incorporated the multiplicity of zeros and gave Nullstellensätze for punctured grids, which are sets of the form $X \setminus Y$ with both $X,Y$ grids.
We generalize some of these results; in particular, we provide a common generalization to the results of Schauz and Nica. To this end, we establish that during multivariate polynomial division, certain monomials are unaffected. This also allows us to generalize Pete L. Clark's proof of the nonzero counting theorem by Alon and Füredi to punctured grids.
△ Less
Submitted 18 June, 2025;
originally announced June 2025.
-
Repeatedly applying the Combinatorial Nullstellensatz for Zero-sum Grids to Martin Gardner's minimum no-3-in-a-line problem
Authors:
Seunghwan Oh,
John R. Schmitt,
Xianzhi Wang
Abstract:
In 1976 Martin Gardner posed the following problem: ``What is the smallest number of [queens] you can put on an [$n \times n$ chessboard] such that no [queen] can be added without creating three in a row, a column, or a diagonal?'' The work of Cooper, Pikhurko, Schmitt and Warrington showed that this number is at least $n$, except in the case when $n$ is congruent to $3$ modulo $4$, in which case…
▽ More
In 1976 Martin Gardner posed the following problem: ``What is the smallest number of [queens] you can put on an [$n \times n$ chessboard] such that no [queen] can be added without creating three in a row, a column, or a diagonal?'' The work of Cooper, Pikhurko, Schmitt and Warrington showed that this number is at least $n$, except in the case when $n$ is congruent to $3$ modulo $4$, in which case one less may suffice. When $n>1$ is odd, Gardner conjectured the lower bound to be $n+1$. We prove this conjecture in the case that $n$ is congruent to 1 modulo 4. The proof relies heavily on a recent advancement to the Combinatorial Nullstellensatz for zero-sum grids due to Bogdan Nica.
△ Less
Submitted 5 January, 2024;
originally announced January 2024.
-
Higher Degree Erdos-Ginzburg-Ziv Constants
Authors:
Yair Caro,
John R. Schmitt
Abstract:
We generalize the notion of Erdős-Ginzburg-Ziv constants -- along the same lines we generalized in earlier work the notion of Davenport constants -- to a ``higher degree" and obtain various lower and upper bounds. These bounds are sometimes exact as is the case for certain finite commutative rings of prime power cardinality. We also consider to what extent a theorem due independently to W.D.~Gao a…
▽ More
We generalize the notion of Erdős-Ginzburg-Ziv constants -- along the same lines we generalized in earlier work the notion of Davenport constants -- to a ``higher degree" and obtain various lower and upper bounds. These bounds are sometimes exact as is the case for certain finite commutative rings of prime power cardinality. We also consider to what extent a theorem due independently to W.D.~Gao and the first author that relates these two parameters extends to this higher degree setting. Two simple examples that capture the essence of these higher degree Erdős-Ginzburg-Ziv constants are the following. 1) Let $ν_p(m)$ denote the $p-$adic valuation of the integer $m$. Suppose we have integers $t | {m \choose 2}$ and $n=t+2^{ν_2(m)}$, then every sequence $S$ over ${\mathbb Z}_2$ of length $|S| \geq n$ contains a subsequence $S'$ of length $t$ for which $\sum_{a_{i_1},\ldots, a_{i_m} \in S'} a_{i_1}\cdots a_{i_m} \equiv 0 \pmod{2}$, and this is sharp. 2) Suppose $k=3^α$ for some integer $α\geq 2$. Then every sequence $S$ over ${\mathbb Z}_3$ of length $|S| \geq k+6$ contains a subsequence $S'$ of length $k$ for which $\sum_{a_h, a_i, a_j \in S'} a_ha_ia_j \equiv 0 \pmod{3}$. These examples illustrate that if a sequence of elements from a finite commutative ring is long enough, certain symmetric expressions (symmetric polynomials) have to vanish on the elements of a subsequence of prescribed length. The Erdős-Ginzburg-Ziv Theorem is just the case where a sequence of length $2n-1$ over ${\mathbb Z}_n$ contains a subsequence $S'=(a_1, \ldots, a_n)$ of length $n$ that vanishes when substituted in the linear symmetric polynomial $a_1+\cdots+a_n.$
△ Less
Submitted 22 July, 2022; v1 submitted 18 July, 2022;
originally announced July 2022.
-
Growable Realizations: a Powerful Approach to the Buratti-Horak-Rosa Conjecture
Authors:
M. A. Ollis,
Anita Pasotti,
Marco A. Pellegrini,
John R. Schmitt
Abstract:
Label the vertices of the complete graph $K_v$ with the integers $\{ 0, 1, \ldots, v-1 \}$ and define the length of the edge between $x$ and $y$ to be $\min( |x-y| , v - |x-y| )$. Let $L$ be a multiset of size $v-1$ with underlying set contained in $\{ 1, \ldots, \lfloor v/2 \rfloor \}$. The Buratti-Horak-Rosa Conjecture is that there is a Hamiltonian path in $K_v$ whose edge lengths are exactly…
▽ More
Label the vertices of the complete graph $K_v$ with the integers $\{ 0, 1, \ldots, v-1 \}$ and define the length of the edge between $x$ and $y$ to be $\min( |x-y| , v - |x-y| )$. Let $L$ be a multiset of size $v-1$ with underlying set contained in $\{ 1, \ldots, \lfloor v/2 \rfloor \}$. The Buratti-Horak-Rosa Conjecture is that there is a Hamiltonian path in $K_v$ whose edge lengths are exactly $L$ if and only if for any divisor $d$ of $v$ the number of multiples of $d$ appearing in $L$ is at most $v-d$.
We introduce "growable realizations," which enable us to prove many new instances of the conjecture and to reprove known results in a simpler way. As examples of the new method, we give a complete solution when the underlying set is contained in $\{ 1,4,5 \}$ or in $\{ 1,2,3,4 \}$ and a partial result when the underlying set has the form $\{ 1, x, 2x \}$. We believe that for any set $U$ of positive integers there is a finite set of growable realizations that implies the truth of the Buratti-Horak-Rosa Conjecture for all but finitely many multisets with underlying set $U$.
△ Less
Submitted 3 May, 2021;
originally announced May 2021.
-
Higher Degree Davenport Constants over Finite Commutative Rings
Authors:
Yair Caro,
Benjamin Girard,
John R. Schmitt
Abstract:
We generalize the notion of Davenport constants to a `higher degree' and obtain various lower and upper bounds, which are sometimes exact as is the case for certain finite commutative rings of prime power cardinality. Two simple examples that capture the essence of these higher degree Davenport constants are the following. 1) Suppose $n = 2^k$, then every sequence of integers $S$ of length $2n$ co…
▽ More
We generalize the notion of Davenport constants to a `higher degree' and obtain various lower and upper bounds, which are sometimes exact as is the case for certain finite commutative rings of prime power cardinality. Two simple examples that capture the essence of these higher degree Davenport constants are the following. 1) Suppose $n = 2^k$, then every sequence of integers $S$ of length $2n$ contains a subsequence $S'$ of length at least two such that $\sum_{a_i,a_j \in S'} a_ia_j \equiv 0 \pmod{n}$ and the bound is sharp. 2) Suppose $n \equiv1 \pmod{2}$, then every sequence of integers $S$ of length $2n -1$ contains a subsequence $S'$ of length at least two such that $\sum_{a_i,a_j \in S'} a_ia_j \equiv 0 \pmod{n}$. These examples illustrate that if a sequence of elements from a finite commutative ring is long enough, certain symmetric expressions have to vanish on the elements of a subsequence.
△ Less
Submitted 13 February, 2022; v1 submitted 11 February, 2021;
originally announced February 2021.
-
New methods to attack the Buratti-Horak-Rosa conjecture
Authors:
M. A. Ollis,
Anita Pasotti,
Marco A. Pellegrini,
John R. Schmitt
Abstract:
The conjecture, still widely open, posed by Marco Buratti, Peter Horak and Alex Rosa states that a list $L$ of $v-1$ positive integers not exceeding $\left\lfloor \frac{v}{2}\right\rfloor$ is the list of edge-lengths of a suitable Hamiltonian path of the complete graph with vertex-set $\{0,1,\ldots,v-1\}$ if and only if, for every divisor $d$ of $v$, the number of multiples of $d$ appearing in…
▽ More
The conjecture, still widely open, posed by Marco Buratti, Peter Horak and Alex Rosa states that a list $L$ of $v-1$ positive integers not exceeding $\left\lfloor \frac{v}{2}\right\rfloor$ is the list of edge-lengths of a suitable Hamiltonian path of the complete graph with vertex-set $\{0,1,\ldots,v-1\}$ if and only if, for every divisor $d$ of $v$, the number of multiples of $d$ appearing in $L$ is at most $v-d$. In this paper we present new methods that are based on linear realizations and can be applied to prove the validity of this conjecture for a vast choice of lists. As example of their flexibility, we consider lists whose underlying set is one of the following: $\{x,y,x+y\}$, $\{1,2,3,4\}$, $\{1,2,4,\ldots,2x\}$, $\{1,2,4,\ldots,2x,2x+1\}$. We also consider lists with many consecutive elements.
△ Less
Submitted 12 December, 2020; v1 submitted 13 December, 2019;
originally announced December 2019.
-
Distinct Partial Sums in Cyclic Groups: Polynomial Method and Constructive Approaches
Authors:
Jacob Hicks,
M. A. Ollis,
John. R. Schmitt
Abstract:
Let $(G,+)$ be an abelian group and consider a subset $A \subseteq G$ with $|A|=k$. Given an ordering $(a_1, \ldots, a_k)$ of the elements of $A$, define its {\em partial sums} by $s_0 = 0$ and $s_j = \sum_{i=1}^j a_i$ for $1 \leq j \leq k$. We consider the following conjecture of Alspach: For any cyclic group $\Z_n$ and any subset $A \subseteq \Z_n \setminus \{0\}$ with $s_k \neq 0$, it is possib…
▽ More
Let $(G,+)$ be an abelian group and consider a subset $A \subseteq G$ with $|A|=k$. Given an ordering $(a_1, \ldots, a_k)$ of the elements of $A$, define its {\em partial sums} by $s_0 = 0$ and $s_j = \sum_{i=1}^j a_i$ for $1 \leq j \leq k$. We consider the following conjecture of Alspach: For any cyclic group $\Z_n$ and any subset $A \subseteq \Z_n \setminus \{0\}$ with $s_k \neq 0$, it is possible to find an ordering of the elements of $A$ such that no two of its partial sums $s_i$ and $s_j$ are equal for $0 \leq i < j \leq k$. We show that Alspach's Conjecture holds for prime $n$ when $k \geq n-3$ and when $k \leq 10$. The former result is by direct construction, the latter is non-constructive and uses the polynomial method. We also use the polynomial method to show that for prime $n$ a sequence of length $k$ having distinct partial sums exists in any subset of $\Z_n \setminus \{0\}$ of size at least $2k- \sqrt{8k}$ in all but at most a bounded number of cases.
△ Less
Submitted 7 September, 2018;
originally announced September 2018.
-
On zeros of a polynomial in a finite grid
Authors:
Anurag Bishnoi,
Pete L. Clark,
Aditya Potukuchi,
John R. Schmitt
Abstract:
A 1993 result of Alon and Füredi gives a sharp upper bound on the number of zeros of a multivariate polynomial over an integral domain in a finite grid, in terms of the degree of the polynomial. This result was recently generalized to polynomials over an arbitrary commutative ring, assuming a certain "Condition (D)" on the grid which holds vacuously when the ring is a domain. In the first half of…
▽ More
A 1993 result of Alon and Füredi gives a sharp upper bound on the number of zeros of a multivariate polynomial over an integral domain in a finite grid, in terms of the degree of the polynomial. This result was recently generalized to polynomials over an arbitrary commutative ring, assuming a certain "Condition (D)" on the grid which holds vacuously when the ring is a domain. In the first half of this paper we give a further Generalized Alon-Füredi Theorem which provides a sharp upper bound when the degrees of the polynomial in each variable are also taken into account. This yields in particular a new proof of Alon-Füredi. We then discuss the relationship between Alon-Füredi and results of DeMillo-Lipton, Schwartz and Zippel. A direct coding theoretic interpretation of Alon-Füredi Theorem and its generalization in terms of Reed--Muller type affine variety codes is shown which gives us the minimum Hamming distance of these codes. Then we apply the Alon-Füredi Theorem to quickly recover (and sometimes strengthen) old and new results in finite geometry, including the Jamison/Brouwer-Schrijver bound on affine blocking sets. We end with a discussion of multiplicity enhancements.
△ Less
Submitted 12 June, 2017; v1 submitted 24 August, 2015;
originally announced August 2015.
-
Warning's Second Theorem with Resricted Variables
Authors:
Pete L. Clark,
Aden Forrow,
John R. Schmitt
Abstract:
We present a restricted variable generalization of Warning's Second Theorem (a result giving a lower bound on the number of solutions of a low degree polynomial system over a finite field, assuming one solution exists). This is analogous to Brink's restricted variable generalization of Chevalley's Theorem (a result giving conditions for a low degree polynomial system not to have exactly one soluti…
▽ More
We present a restricted variable generalization of Warning's Second Theorem (a result giving a lower bound on the number of solutions of a low degree polynomial system over a finite field, assuming one solution exists). This is analogous to Brink's restricted variable generalization of Chevalley's Theorem (a result giving conditions for a low degree polynomial system not to have exactly one solution). Just as Warning's Second Theorem implies Chevalley's Theorem, our result implies Brink's Theorem. We include several combinatorial applications, enough to show that we have a general tool for obtaining quantitative refinements of combinatorial existence theorems.
△ Less
Submitted 8 May, 2014; v1 submitted 30 April, 2014;
originally announced April 2014.
-
Martin Gardner's minimum no-3-in-a-line problem
Authors:
Alec S. Cooper,
Oleg Pikhurko,
John R. Schmitt,
Gregory S. Warrington
Abstract:
In Martin Gardner's October, 1976 Mathematical Games column in Scientific American, he posed the following problem: "What is the smallest number of [queens] you can put on a board of side n such that no [queen] can be added without creating three in a row, a column, or a diagonal?" We use the Combinatorial Nullstellensatz to prove that this number is at least n, except in the case when n is congru…
▽ More
In Martin Gardner's October, 1976 Mathematical Games column in Scientific American, he posed the following problem: "What is the smallest number of [queens] you can put on a board of side n such that no [queen] can be added without creating three in a row, a column, or a diagonal?" We use the Combinatorial Nullstellensatz to prove that this number is at least n, except in the case when n is congruent to 3 modulo 4, in which case one less may suffice. A second, more elementary proof is also offered in the case that n is even.
△ Less
Submitted 7 March, 2014; v1 submitted 22 June, 2012;
originally announced June 2012.
