arXiv++ Combinatorics

Let $k, t$ be coprime integers, and let $1 \leq r \leq t$. We let $D_k^\times(r,t;n)$ denote the total number of parts among all $k$-indivisible partitions (i.e., those partitions where no part is divisible by $k$) of $n$ which are congruent to $r$ modulo $t$. In previous work of the authors, an asymptotic estimate for $D_k^\times(r,t;n)$ was shown to exhibit unpredictable biases between congruence classes. In the present paper, we confirm our earlier conjecture that there are no "ties" (i.e., equalities) in this asymptotic for different congruence classes. To obtain this result, we reframe this question in terms of $L$-functions, and we then employ a nonvanishing result due to Baker, Birch, and Wirsing to conclude that there is always a bias towards one congruence class or another modulo $t$ among all parts in $k$-indivisible partitions of $n$ as $n$ becomes large.

For integers $k,t \geq 2$, and $1\leq r \leq t$ let $D_k^\times(r,t;n)$ be the number of parts among all $k$-indivisible partitions of $n$ (i.e., partitions where all parts are not divisible by $k$) of $n$ that are congruent to $r$ modulo $t$. Using Wright's circle method, we derive an asymptotic for $D_k^\times(r,t;n)$ as $n \to \infty$ when $k,t$ are coprime. The main term of this asymptotic does not depend on $r$, and so, in a weak asymptotic sense, the parts are equidistributed among congruence classes. However, inspection of the lower order terms indicates a bias towards different congruence classes modulo $t$. This induces an ordering on the congruence classes modulo $t$, which we call the $k$-indivisible ordering. We prove that for $k \geq \frac{6(t^2-1)}{π^2}$ the $k$-indivisible ordering matches the natural ordering. We also explore the properties of these orderings when $k < \frac{6(t^2-1)}{π^2}$.

For integers $k,t \geq 2$ and $1\leq r \leq t$ let $D_k(r,t;n)$ be the number of parts among all $k$-regular partitions (i.e., partitions of $n$ where all parts have multiplicity less than $k$) of $n$ that are congruent to $r$ modulo $t$. Using the circle method, we obtain the asymptotic \[ D_{k}(r,t;n) = \frac{3^{\frac{1}{4}}e^{π\sqrt{\frac{2Kn}{3}}}}{πt 2^{\frac{3}{4}}K^{\frac{1}{4}}n^{\frac{1}{4}}\sqrt{k}}\left(\log k + \left(\frac{3\sqrt{K}\log k}{8\sqrt{6}π} - \frac{tπ(k-1)K^{\frac{1}{2}}}{2\sqrt{6}}\left(\frac{r}{t}- \frac{1}{2}\right)\right)n^{-\frac{1}{2}} + O(n^{-1})\right), \] where $K = 1 - \frac{1}{k}$. The main term of this asymptotic does not depend on $r$, and so if $P_k(n)$ is the total number of parts among all $k$-regular partitions of $n$, we have that $\frac{D_k(r,t;n)}{P_k(n)} \to \frac{1}{t}$ as $n \to \infty$. Thus, in a weak asymptotic sense, the parts are equidistributed among congruence classes. However, inspection of the lower order terms indicates a bias towards the lower congruence classes; that is, for $1\leq r < s \leq t$ we have $D_k(r,t;n) \geq D_k(s,t;n)$ for sufficiently large $n$. We make this inequality explicit, showing that for $3 \leq k \leq 10$ and $2 \leq t \leq 10$ the inequality $D_k(r,t;n) \geq D_k(s,t;n)$ holds for all $n \geq 1$ and the strict inequality $D_k(r,t;n) > D_k(s,t;n)$ holds for all $n \geq 17$.

For sets $A, B\subset \mathbb N$, their sumset is $A + B := \{a+b: a\in A, b\in B\}$. If we cannot write a set $C$ as $C = A+B$ with $|A|, |B|\geq 2$, then we say that $C$ is $\textit{irreducible}$. The question of whether a given set $C$ is irreducible arises naturally in additive combinatorics. Equivalently, we can formulate this question as one about the irreducibility of boolean polynomials, which has been discussed in previous work by K. H. Kim and F. W. Roush (2005) and Y. Shitov (2014). We prove results about the irreducibility of polynomials and power series over the max-min semiring, a natural generalization of the boolean polynomials. We use combinatorial and probabilistic methods to prove that almost all polynomials are irreducible over the max-min semiring, generalizing work of Y. Shitov (2014) and proving a 2011 conjecture by D. L. Applegate, M. Le Brun, and N. J. A. Sloane. Furthermore, we use measure-theoretic methods and apply Borel's result on normal numbers to prove that almost all power series are asymptotically irreducible over the max-min semiring. This result generalizes work of E. Wirsing (1953).

The Erdős distinct distance problem is a ubiquitous problem in discrete geometry. Less well known is Erdős' distinct angle problem, the problem of finding the minimum number of distinct angles between $n$ non-collinear points in the plane. The standard problem is already well understood. However, it admits many of the same variants as the distinct distance problem, many of which are unstudied. We provide upper and lower bounds on a broad class of distinct angle problems. We show that the number of distinct angles formed by $n$ points in general position is $O(n^{\log_2(7)})$, providing the first non-trivial bound for this quantity. We introduce a new class of asymptotically optimal point configurations with no four cocircular points. Then, we analyze the sensitivity of asymptotically optimal point sets to perturbation, yielding a much broader class of asymptotically optimal configurations. In higher dimensions we show that a variant of Lenz's construction admits fewer distinct angles than the optimal configurations in two dimensions. We also show that the minimum size of a maximal subset of $n$ points in general position admitting only unique angles is $Ω(n^{1/5})$ and $O(n^{\log_2(7)/3})$. We also provide bounds on the partite variants of the standard distinct angle problem.