arXiv++ Combinatorics

A king invites n couples to sit around a round table with 2n+1 seats. For each couple, the king decides a prescribed distance d between 1 and n which the two spouses have to be seated from each other (distance d means that they are separated by exactly d-1 chairs). We will show that there is a solution for every choice of the distances if and only if 2n+1 is a prime number, using a theorem known as Combinatorial Nullstellensatz.

Intersective polynomials are polynomials in $\Z[x]$ having roots every modulus. For example, $P_1(n)=n^2$ and $P_2(n)=n^2-1$ are intersective polynomials, but $P_3(n)=n^2+1$ is not. The purpose of this note is to deduce, using results of Green-Tao \cite{gt-chen} and Lucier \cite{lucier}, that for any intersective polynomial $h$, inside any subset of positive relative density of the primes, we can find distinct primes $p_1, p_2$ such that $p_1-p_2=h(n)$ for some integer $n$. Such a conclusion also holds in the Chen primes (where by a Chen prime we mean a prime number $p$ such that $p+2$ is the product of at most 2 primes).

Consider an arbitrary coloring of integers with finite number of colors. Is it true that there are x, y such that x + y, xy and x have the same color? This is a well-known question of Ramsey theory has not solved yet. In the article we give a positive answer to the last question in the group Z/pZ, where p is a prime number.

Using the polynomial method in additive number theory, this article establishes a new addition theorem for the set of subsums of a set satisfying $A\cap(-A)=\emptyset$ in $\mathbb{Z}/p\mathbb{Z}$: \[|Σ(A)|\geqslant\min{p,1+\frac{|A|(|A|+1)}{2}}.\] The proof is similar in nature to Alon, Nathanson and Ruzsa's proof of the Erdös-Heilbronn conjecture (proved initially by Dias da Silva and Hamidoune \cite{DH}). A key point in the proof of this theorem is the evaluation of some binomial determinants that have been studied in the work of Gessel and Viennot. A generalization to the set of subsums of a sequence is derived, leading to a structural result on zero-sum free sequences. As another application, it is established that for any prime number $p$, a maximal zero-sum free set in $\mathbb{Z}/p\mathbb{Z}$ has cardinality the greatest integer $k$ such that \[\frac{k(k+1)}{2}<p,\] proving a conjecture of Selfridge from 1976.

Let $\mathbb{F}_p$ be the field of residue classes modulo a prime number $p$ and let $A$ be a nonempty subset of $\mathbb{F}_p$. In this paper we show that if $|A|\preceq p^{0.5}$, then \[ \max\{|A\pm A|,|AA|\}\succeq|A|^{13/12};\] if $|A|\succeq p^{0.5}$, then \[ \max\{|A\pm A|,|AA|\}\succapprox \min\{|A|^{13/12}(\frac{|A|}{p^{0.5}})^{1/12},|A|(\frac{p}{|A|})^{1/11}\}.\] These results slightly improve the estimates of Bourgain-Garaev and Shen. Sum-product estimates on different sets are also considered.

Let $n$ be a positive integer and let $S$ be a sequence of $n$ integers in the interval $[0,n-1]$. If there is an $r$ such that any nonempty subsequence with sum $\equiv 0$ $\pmod n$ has length $=r,$ then $S$ has at most two distinct values. This proves a conjecture of R. L. Graham. A previous result of P. Erdős and E. Szemerédi shows the validity of this conjecture if $n$ is a large prime number.

We provide a combinatorial approach to the largest power of $p$ in the number of permutations $π$ with $π^p=1$, for a fixed prime number $p$. With this approach, we find the largest power of $2$ in the number of involutions, in the signed sum of involutions and in the numbers of even or odd involutions.

Let $α:\mathbb{Z}_n\to\mathbb{Z}_n$ be a permutation and $Ψ(α)$ be the number of collinear triples modulo $n$ in the graph of $α$. Cooper and Solymosi had given by induction the bound $\min_αΨ(α)\geq\lceil(n-1)/4\rceil$ when $n$ is a prime number. The main purpose of this paper is to give a direct proof of that bound. Besides, the expected number of collinear triples a permutation can have is also been determined.

There are several standard procedures used to create new sequences from a given sequence or from a given pair of sequences. In this paper I discuss the most popular of these procedures. For each procedure, I give a definition and provide examples based on three famous sequences: the natural numbers, the prime numbers and the Fibonacci numbers. I also add my thoughts on what makes a sequence interesting. My goal is to help my readers invent new sequences, differentiate interesting sequences from boring ones, and better understand sequences they encounter.

Let $p$ be a fixed prime number, and $N$ be a large integer. The 'Inverse Conjecture for the Gowers norm' states that if the "$d$-th Gowers norm" of a function $f:\F_p^N \to \F_p$ is non-negligible, that is larger than a constant independent of $N$, then $f$ can be non-trivially approximated by a degree $d-1$ polynomial. The conjecture is known to hold for $d=2,3$ and for any prime $p$. In this paper we show the conjecture to be false for $p=2$ and for $d = 4$, by presenting an explicit function whose 4-th Gowers norm is non-negligible, but whose correlation any polynomial of degree 3 is exponentially small. Essentially the same result (with different correlation bounds) was independently obtained by Green and Tao \cite{gt07}. Their analysis uses a modification of a Ramsey-type argument of Alon and Beigel \cite{ab} to show inapproximability of certain functions by low-degree polynomials. We observe that a combination of our results with the argument of Alon and Beigel implies the inverse conjecture to be false for any prime $p$, for $d = p^2$.

In this paper we prove that a set of points $B$ of PG(n,2) is a minimal blocking set if and only if $<B>=PG(d,2)$ with $d$ odd and $B$ is a set of $d+2$ points of $PG(d,2)$ no $d+1$ of them in the same hyperplane. As a corollary to the latter result we show that if $G$ is a finite 2-group and $n$ is a positive integer, then $G$ admits a $\mathfrak{C}_{n+1}$-cover if and only if $n$ is even and $G\cong (C_2)^{n}$, where by a $\mathfrak{C}_m$-cover for a group $H$ we mean a set $\mathcal{C}$ of size $m$ of maximal subgroups of $H$ whose set-theoretic union is the whole $H$ and no proper subset of $\mathcal{C}$ has the latter property and the intersection of the maximal subgroups is core-free. Also for all $n<10$ we find all pairs $(m,p)$ ($m>0$ an integer and $p$ a prime number) for which there is a blocking set $B$ of size $n$ in $PG(m,p)$ such that $<B>=PG(m,p)$.

A commutative semigroup of abstract factorials is defined in the context of the ring of integers. We study such factorials for their own sake, whether they are or are not connected to sets of integers. Given a subset X of the positive integers we construct a "factorial set" with which one may define a multitude of abstract factorials on X. We study the possible equality of consecutive factorials, a dichotomy involving the limit superior of the ratios of consecutive factorials and we provide many examples outlining the applications of the ensuing theory; examples dealing with prime numbers, Fibonacci numbers, and highly composite numbers among other sets of integers. One of our results states that given any abstract factorial the series of reciprocals of its factorials always converges to an irrational number. Thus, for example, for any positive integer k the series of the reciprocals of the k-th powers of the cumulative product of the divisors of the numbers from 1 to n is irrational.

Under mild conditions on $n,p$, we give a lower bound on the number of $n$-variable balanced symmetric polynomials over finite fields $GF(p)$, where $p$ is a prime number. The existence of nonlinear balanced symmetric polynomials is an immediate corollary of this bound. Furthermore, we conjecture that $X(2^t,2^{t+1}l-1)$ are the only nonlinear balanced elementary symmetric polynomials over GF(2), where $X(d,n)=\sum_{i_1<i_2<...<i_d}x_{i_1} x_{i_2}... x_{i_d}$, and we prove various results in support of this conjecture.

For any measure preserving system $(X,\mathcal{X},μ,T)$ and $A\in\mathcal{X}$ with $μ(A)>0$, we show that there exist infinitely many primes $p$ such that $μ\bigl(A\cap T^{-(p-1)}A\cap T^{-2(p-1)}A\bigr) > 0$ (the same holds with $p-1$ replaced by $p+1$). Furthermore, we show the existence of the limit in $L^2(μ)$ of the associated ergodic average over the primes. A key ingredient is a recent result of Green and Tao on the von Mangoldt function. A combinatorial consequence is that every subset of the integers with positive upper density contains an arithmetic progression of length three and common difference of the form $p-1$ (or $p+1$) for some prime $p$.

For an integer $n>2$, a rank-$n$ matroid is called an $n$-spike if it consists of $n$ three-point lines through a common point such that, for all $k\in\{1, 2, ..., n - 1\}$, the union of every set of $k$ of these lines has rank $k+1$. Spikes are very special and important in matroid theory. In 2003 Wu found the exact numbers of $n$-spikes over fields with 2, 3, 4, 5, 7 elements, and the asymptotic values for larger finite fields. In this paper, we prove that, for each prime number $p$, a $GF(p$) representable $n$-spike $M$ is only representable on fields with characteristic $p$ provided that $n \ge 2p-1$. Moreover, $M$ is uniquely representable over $GF(p)$.

We prove a recent conjecture due to Deutsch, Sagan, and Wilson stating that the finite sequence obtained from the first p central trinomial coefficients modulo p by replacing nonzero terms by 1's is palindromic, for any prime number p > 3. Addendum: the result was proved before almost in the same way by Tony D. Noe: On the Divisibility of Generalized Central Trinomial Coefficients, Journal of Integer Sequences, Vol. 9 (2006), Article 06.2.7 http://www.cs.uwaterloo.ca/journals/JIS/VOL9/Noe/noe35.html

G. Andrews proved that if $n$ is a prime number then the coefficients $a_k$ and $a_{k+n}$ of the product $(q,q)_\infty/(q^n,q^n)_\infty=\sum_k a_kq^k$ have the same sign, see [A1]. We generalize this result in several directions. Our results are based on the observation that many products can be written as alternating sums of characters of Virasoro modules.

Let $p$ be a prime number and let $n$ be a non-zero natural number. We compute the descending Loewy series of the algebra $R\_n/pR\_n$, where $R\_n$ denotes the ring of virtual ordinary characters of the symmetric group $S\_n$.

Let $p$ be any odd prime number. Let $k$ be any positive integer such that $2\leq k\leq [\frac{p+1}3]+1$. Let $S = (a_1,a_2,...,a_{2p-k})$ be any sequence in ${\Bbb Z}_p$ such that there is no subsequence of length $p$ of $S$ whose sum is zero in $\zp$. Then we prove that we can arrange the sequence $S$ as follows: $ S = (\underbrace{a, a, ..., a}_{u {\rm times}}, \underbrace{b, b, >..., b}_{v {\rm times}}, a_1', a_2', >..., a_{2p-k-u-v}') $ where $u\geq v$, $u+v\geq 2p-2k+2$ and $a-b$ generates $\zp$. This extends a result in \cite{gao10} to all primes $p$ and $k$ satisfying $(p+1)/4+3\leq k\leq (p+1)/3+1$. Also, we prove that if $g$ denotes the number of distinct residue classes modulo $p$ appearing in the sequence $S$ in $\zp$ of length $2p-k$ $(2\leq k\leq [(p+1)/4]+1)$, and $g\geq 2\sqrt{2}\sqrt{k-2}$, then there exists a subsequence of $S$ of length $p$ whose sum is zero in $\zp$.

We establish that the sequences formed by logarithms and by "fractional" powers of integers, as well as the sequence of prime numbers, are non-holonomic, thereby answering three open problems of Gerhold [Electronic Journal of Combinatorics 11 (2004), R87]. Our proofs depend on basic complex analysis, namely a conjunction of the Structure Theorem for singularities of solutions to linear differential equations and of an Abelian theorem. A brief discussion is offered regarding the scope of singularity-based methods and several naturally occurring sequences are proved to be non-holonomic.