arXiv++ Combinatorics

The rational base number system, introduced by Akiyama, Frougny, and Sakarovitch in 2008, is a generalization of the classical integer base number system. Within this framework two interesting families of infinite words emerge, called minimal and maximal words. We conjecture that every minimal and maximal word is normal over an appropriate subalphabet. To support this conjecture, we present extensive numerical experiments that examine the richness threshold and the discrepancy of these words. We also discuss the implications that the validity of our conjecture would have for several long-standing open problems, including the existence of $Z$-numbers (Mahler, 1968) and $Z_{p/q}$-numbers (Flatto, 1992), the existence of triple expansions in rational base $p/q$ (Akiyama, 2008), and the Collatz-inspired `4/3 problem' (Dubickas and Mossinghoff, 2009).

Let $R_n=K[x_1,\dots,x_n]$ be the $n$-variable polynomial ring over a field $K$. Let $S_n$ denote the set of monomials in $R_n$. A monomial $u \in S_n$ is a \textit{Gotzmann monomial} if the Borel-stable monomial ideal $\langle u \rangle$ it generates in $R_n$ is a Gotzmann ideal. A longstanding open problem is to determine all Gotzmann monomials in $R_n$. Given $u_0 \in S_{n-1}$, its \textit{Gotzmann threshold} is the unique nonnegative integer $t_0=τ_n(u_0)$ such that $u_0x_n^t$ is a Gotzmann monomial in $R_n$ if and only if $t \ge t_0$. Currently, the function $τ_n$ is exactly known for $n \le 4$ only. We present here an efficient procedure to determine $τ_n(u_0)$ for all $n$ and all $u_0 \in S_{n-1}$. As an application, in the critical case $u_0=x_2^d$, we determine $τ_5(x_2^d)$ for all $d$ and we conjecture that for $n \ge 6$, $τ_n(x_2^d)$ is a polynomial in $d$ of degree $2^{n-2}$ and dominant term equal to that of the $(n-2)$-iterated binomial coefficient $$ \binom {\binom {\binom d2}2}{\stackrel{\cdots}2}. $$

We provide optimal upper bounds on the growth of iterated sumsets $hA=A+\dots+A$ for finite subsets $A$ of abelian semigroups. More precisely, we show that the new upper bounds recently derived from Macaulay's theorem in commutative algebra are best possible, i.e., are actually reached by suitable subsets of suitable abelian semigroups. Our constructions, in a multiplicative setting, are based on certain specific monomial ideals in polynomial algebras and on their deformation into appropriate binomial ideals via Gröbner bases.

Let A be a finite subset of an abelian group (G, +). Let h $\ge$ 2 be an integer. If |A| $\ge$ 2 and the cardinality |hA| of the h-fold iterated sumset hA = A + $\times$ $\times$ $\times$ + A is known, what can one say about |(h -- 1)A| and |(h + 1)A|? It is known that |(h -- 1)A| $\ge$ |hA| (h--1)/h , a consequence of Pl{ü}nnecke's inequality. Here we improve this bound with a new approach. Namely, we model the sequence |hA| h$\ge$0 with the Hilbert function of a standard graded algebra. We then apply Macaulay's 1927 theorem on the growth of Hilbert functions, and more specifically a recent condensed version of it. Our bound implies |(h -- 1)A| $\ge$ $θ$(x, h) |hA| (h--1)/h for some factor $θ$(x, h) > 1, where x is a real number closely linked to |hA|. Moreover, we show that $θ$(x, h) asymptotically tends to e $\approx$ 2.718 as |A| grows and h lies in a suitable range varying with |A|.

For a numerical semigroup S $\subseteq$ N with embedding dimension e, conductor c and left part L = S $\cap$ [0, c -- 1], set W (S) = e|L| -- c. In 1978 Wilf asked, in equivalent terms, whether W (S) $\ge$ 0 always holds, a question known since as Wilf's conjecture. Using a closely related lower bound W 0 (S) $\le$ W (S), we show that if |L| $\le$ 12 then W 0 (S) $\ge$ 0, thereby settling Wilf's conjecture in this case. This is best possible, since cases are known where |L| = 13 and W 0 (S) = --1. Wilf's conjecture remains open for |L| $\ge$ 13.

Let (G, +) be an abelian group. A subset of G is sumfree if it contains no elements x, y, z such that x +y = z. We extend this concept by introducing the Schur degree of a subset of G, where Schur degree 1 corresponds to sumfree. The classical inequality S(n) $\le$ R n (3) -- 2, between the Schur number S(n) and the Ramsey number R n (3) = R(3,. .. , 3), is shown to remain valid in a wider context, involving the Schur degree of certain subsets of G. Recursive upper bounds are known for R n (3) but not for S(n) so far. We formulate a conjecture which, if true, would fill this gap. Indeed, our study of the Schur degree leads us to conjecture S(n) $\le$ n(S(n -- 1) + 1) for all n $\ge$ 2. If true, it would yield substantially better upper bounds on the Schur numbers, e.g. S(6) $\le$ 966 conjecturally, whereas all is known so far is 536 $\le$ S(6) $\le$ 1836.

Since 2002, the best known upper bound on the Ramsey numbers R n (3) = R(3,. .. , 3) is R n (3) $\le$ n!(e -- 1/6) + 1 for all n $\ge$ 4. It is based on the current estimate R 4 (3) $\le$ 62. We show here how any closing-in on R 4 (3) yields an improved upper bound on R n (3) for all n $\ge$ 4. For instance, with our present adaptive bound, the conjectured value R 4 (3) = 51 implies R n (3) $\le$ n!(e -- 5/8) + 1 for all n $\ge$ 4.

Let S $\subseteq$ N be a numerical semigroup with multiplicity m = min(S \ {0}) and conductor c = max(N \ S) + 1. Let P be the set of primitive elements of S, and let L be the set of elements of S which are smaller than c. A longstand-ing open question by Wilf in 1978 asks whether the inequality |P||L| $\ge$ c always holds. Among many partial results, Wilf's conjecture has been shown to hold in case |P| $\ge$ m/2 by Sammartano in 2012. Using graph theory in an essential way, we extend the verification of Wilf's conjecture to the case |P| $\ge$ m/3. This case covers more than 99.999% of numerical semigroups of genus g $\le$ 45.

It is a widely open problem to determine which monomials in the n-variable polynomial ring $K[x_1,...,x_n]$ over a field $K$ have the Gotzmann property, i.e. induce a Borel-stable Gotzmann monomial ideal. Since 2007, only the case $n \le 3$ was known. Here we solve the problem for the case $n = 4$. The solution involves a surprisingly intricate characterization.

For $c \in \mathbb{Q}$, consider the quadratic polynomial map $\varphi_c(x)=x^2-c$. Flynn, Poonen and Schaefer conjectured in 1997 that no rational cycle of $\varphi_c$ under iteration has length more than $3$. Here we discuss this conjecture using arithmetic and combinatorial means, leading to three main results. First, we show that if $\varphi_c$ admits a rational cycle of length $n \ge 3$, then the denominator of $c$ must be divisible by $16$. We then provide an upper bound on the number of periodic rational points of $\varphi_c$ in terms of the number of distinct prime factors of the denominator of $c$. Finally, we show that the Flynn-Poonen-Schaefer conjecture holds for $\varphi_c$ if that denominator has at most two distinct prime factors.

For g $\ge$ 0, let n g denote the number of numerical semi-groups of genus g. A conjecture by Maria Bras-Amorós in 2008 states that the inequality n g $\ge$ n g--1 + n g--2 should hold for all g $\ge$ 2. Here we show that such an inequality holds for the very large subtree of numerical semigroups satisfying c $\le$ 3m, where c and m are the conductor and multiplicity, respectively. Our proof is given in the more flexible setting of gapsets, i.e. complements in N of numerical semigroups.

Let $I \subset K[x,y]$ be a monomial ideal. How small can $μ(I^2)$ be in terms of $μ(I)$? It has been expected that the inequality $μ(I^2) > μ(I)$ should hold whenever $μ(I) \ge 2$. Here we disprove this expectation and provide a somewhat surprising answer to the above question.

Let S $\subseteq$ N be a numerical semigroup with multiplicity m, conductor c and minimal generating set P. Let L = S $\cap$ [0, c -- 1] and W(S) = |P||L| -- c. In 1978, Herbert Wilf asked whether W(S) $\ge$ 0 always holds, a question known as Wilf's conjecture and open since then. A related number W0(S), satisfying W0(S) $\le$ W(S), has recently been introduced. We say that S is a near-miss in Wilf's conjecture if W0(S) < 0. Near-misses are very rare. Here we construct infinite families of them, with c = 4m and W0(S) arbitrarily small, and we show that the members of these families still satisfy Wilf's conjecture.

Given $g\ge 1$, the number $n(g)$ of numerical semigroups $S \subset \N$ of genus $|\N \setminus S|$ equal to $g$ is the subject of challenging conjectures of Bras-Amorós. In this paper, we focus on the counting function $n(g,2)$ of \textit{two-generator} numerical semigroups of genus $g$, which is known to also count certain special factorizations of $2g$. Further focusing on the case $g=p^k$ for any odd prime $p$ and $k \ge 1$, we show that $n(p^k,2)$ only depends on the class of $p$ modulo a certain explicit modulus $M(k)$. The main ingredient is a reduction of $\gcd(p^α+1, 2p^β+1)$ to a simpler form, using the continued fraction of $α/β$. We treat the case $k=9$ in detail and show explicitly how $n(p^9,2)$ depends on the class of $p$ mod $M(9)=3 \cdot 5 \cdot 11 \cdot 17 \cdot 43 \cdot 257$.

In this paper, we formulate and prove linear analogues of results concerning matchings in groups. A matching in a group G is a bijection f between two finite subsets A,B of G with the property, motivated by old questions on symmetric tensors, that the product af(a)does not belong to A for all a \in A. Necessary and sufficient conditions on G, ensuring the existence of matchings under appropriate hypotheses, are known. Here we consider a similar question in a linear setting. Given a skew field extension K \subset L, where K commutative and central in L, we introduce analogous notions of matchings between finite-dimensional K-subspaces A,B of L, and obtain existence criteria similar to those in the group setting. Our tools mix additive number theory, combinatorics and algebra.

We solve the currently smallest open case in the 1976 problem of Molluzzo on $\mathbb{Z}/m\mathbb{Z}$, namely the case $m=4$. This amounts to constructing, for all positive integer $n$ congruent to $0$ or $7 \bmod{8}$, a sequence of integers modulo $4$ of length $n$ generating, by Pascal's rule, a Steinhaus triangle containing $0,1,2,3$ with equal multiplicities.

Let $K \subset L$ be a commutative field extension. Given $K$-subspaces $A,B$ of $L$, we consider the subspace $<AB>$ spanned by the product set $AB=\{ab \mid a \in A, b \in B\}$. If $\dim_K A = r$ and $\dim_K B = s$, how small can the dimension of $<AB>$ be? In this paper we give a complete answer to this question in characteristic 0, and more generally for separable extensions. The optimal lower bound on $\dim_K < AB>$ turns out, in this case, to be provided by the numerical function $$ κ_{K,L}(r,s) = \min_{h} (\lceil r/h\rceil + \lceil s/h\rceil -1)h, $$ where $h$ runs over the set of $K$-dimensions of all finite-dimensional intermediate fields $K \subset H \subset L$. This bound is closely related to one appearing in additive number theory.

Let K \subset L be a field extension. Given K-subspaces A,B of L, we study the subspace spanned by the product set AB = {ab | a \in A, b \in B}. We obtain some lower bounds on the dimension of this subspace and on dim B^n in terms of dim A, dim B and n. This is achieved by establishing linear versions of constructions and results in additive number theory mainly due to Kemperman and Olson.

A matching in a group G is a bijection f from a subset A to a subset B in G such that af(a) does not belong to A for all a in A. The group G is said to have the matching property if, for any finite subsets A,B in G of same cardinality with B avoiding 1, there is a matching from A to B. Using tools from additive number theory, Losonczy proved a few years ago that the only abelian groups satisfying the matching property are the torsion-free ones and those of prime order. He also proved that, in an abelian group, any finite subset A avoiding 1 admits a matching from A to A. In this paper, we show that both Losonczy's results hold verbatim for arbitrary groups, not only abelian ones. Our main tools are classical theorems of Kemperman and Olson, also pertaining to additive number theory, but specifically developped for possibly nonabelian groups.

To each permutation $σ$ in $S_{n}$ we associate a triangulation of a fixed $(n+2)$-gon. We then determine the fibers of this association and show that they coincide with the sylvester classes depicted By Novelli, Hivert and Thibon. A signed version of this construction allows us to reformulate the four color theorem in terms of the existence of a signable path between any two permutations in the Cayley graph of the symmetric group $S_{n}.