arXiv++ Combinatorics

The investigation of partitions of integers plays an important role in combinatorics and number theory. Among the many variations, partitions into powers $0<α<1$ were of recent interest. In the present paper we want to extend our considerations of the length of a random partition by providing a local limit theorem.

In spite of a recent breakthrough on upper bounds of the size of cap sets (by Croot, Lev and Pach (2017) and Ellenberg and Gijswijt (2017)), the classical cap set constructions had not been affected. In this work, we introduce a very different method of construction for caps in all affine spaces with odd prime modulus $p$. Moreover, we show that for all primes $p \equiv 5 \bmod 6$ with $p \leq 41$, the new construction leads to an exponentially larger growth of the affine and projective caps in $\mathrm{AG}(n,p)$ and $\mathrm{PG}(n,p)$. For example, when $p=23$, the existence of caps with growth $(8.0875\ldots)^n$ follows from a three-dimensional example of Bose (1947), and the only improvement had been to $(8.0901\ldots)^n$ by Edel (2004), based on a six-dimensional example. We improve this lower bound to $(9-o(1))^n$.

For integers $m$ and $n$, we study the problem of finding good lower bounds for the size of progression-free sets in $(\mathbb{Z}_{m}^{n},+)$. Let $r_{k}(\mathbb{Z}_{m}^{n})$ denote the maximal size of a subset of $\mathbb{Z}_{m}^{n}$ without arithmetic progressions of length $k$ and let $P^{-}(m)$ denote the least prime factor of $m$. We construct explicit progression-free sets and obtain the following improved lower bounds for $r_{k}(\mathbb{Z}_{m}^{n})$: If $k\geq 5$ is odd and $P^{-}(m)\geq (k+2)/2$, then \[r_k(\mathbb{Z}_m^n) \gg_{m,k} \frac{\bigl\lfloor \frac{k-1}{k+1}m +1\bigr\rfloor^{n}}{n^{\lfloor \frac{k-1}{k+1}m \rfloor/2}}. \] If $k\geq 4$ is even, $P^{-}(m) \geq k$ and $m \equiv -1 \bmod k$, then \[r_{k}(\mathbb{Z}_{m}^{n}) \gg_{m,k} \frac{\bigl\lfloor \frac{k-2}{k}m + 2\bigr\rfloor^{n}}{n^{\lfloor \frac{k-2}{k}m + 1\rfloor/2}}.\] Moreover, we give some further improved lower bounds on $r_k(\mathbb{Z}_p^n)$ for primes $p \leq 31$ and progression lengths $4 \leq k \leq 8$.

The study of the well-known partition function $p(n)$ counting the number of solutions to $n = a_{1} + \dots + a_{\ell}$ with integers $1 \leq a_{1} \leq \dots \leq a_{\ell}$ has a long history in combinatorics. In this paper, we study a variant, namely partitions of integers into \begin{equation*} n=\lfloor a_1^α\rfloor + \cdots + \lfloor a_\ell^α\rfloor \end{equation*} with $1\leq a_1 < \cdots < a_\ell$ and some fixed $0 < α< 1$. In particular, we prove a central limit theorem for the number of summands in such partitions, using the saddle point method.

In this note, we precisely elaborate the connection between recognisable series (in the sense of Berstel and Reutenauer) and $q$-regular sequences (in the sense of Allouche and Shallit) via their linear representations. In particular, we show that the minimisation algorithm for recognisable series can also be used to minimise linear representations of $q$-regular sequences.

For an integer $q\ge2$, a $q$-recursive sequence is defined by recurrence relations on subsequences of indices modulo some powers of~$q$. In this article, $q$-recursive sequences are studied and the asymptotic behavior of their summatory functions is analyzed. It is shown that every $q$-recursive sequence is $q$-regular in the sense of Allouche and Shallit and that a $q$-linear representation of the sequence can be computed easily by using the coefficients from the recurrence relations. Detailed asymptotic results for $q$-recursive sequences are then obtained based on a general result on the asymptotic analysis of $q$-regular sequences. Three particular sequences are studied in detail: We discuss the asymptotic behavior of the summatory functions of Stern's diatomic sequence, the number of non-zero elements in some generalized Pascal's triangle and the number of unbordered factors in the Thue--Morse sequence. For the first two sequences, our analysis even leads to precise formulæ without error terms.