arXiv++ Combinatorics

In this article, we construct new families of Ramanujan complexes with local structure distinct from all previously known examples. Our approach is based on unitary groups over number fields, more specifically on what we call super-definite unitary groups, that is definite unitary groups that are anisotropic modulo their center at a finite place. These arise naturally as groups of units in central division algebras with involution of the second kind. Our first main result gives a general construction of infinite families of Ramanujan complexes associated with a super-definite unitary group $G$ over a totally real number field and a finite place $v_0$. The structure of the resulting complex is governed by the type of the Bruhat-Tits building at $v_0$. It includes new examples of type $A_n$ when $v_0$ is split, and novel families of type ${}^2\!A'_n$, ${}^2 \! A''_n$ (with $n$ even), $B$-$C_n$, ${}^2 \! B$-$C_n$ and $C$-$BC_n$ in the non-split case. This construction works uniformly across all ranks. Since much of the motivation for constructing expander complexes comes from computer science, we investigate the algorithmic explicitness of our construction in the latter part of the paper, and provide an example in rank 5 where it becomes fully explicit. In particular, this example yields golden gates for the real Lie group $PU(5)$.

In this paper we combine methods from additive combinatorics and Diophantine geometry to study the generalised sum-product phenomenon in algebraic groups. As an application of this circle of ideas, we resolve a conjecture of Bremner on arithmetic progressions in coordinates of elliptic curves, along with various other generalisations studied in the literature. We also prove a uniform Bourgain--Chang-type sum-product estimate for general $1$-dimensional algebraic groups $G$ over $\mathbb{C}$. Using these ideas, we provide an alternative solution to a problem of Bays--Breuillard. Furthermore, we show an Elekes--Szabó type result in the same setting for sets with small doubling, improving upon an earlier result of Bays--Breuillard when $G$ is not $\mathbb{G}_a$. Our power saving here can be shown to be quantitatively optimal. We use a combination of deep, classical results in Diophantine geometry due to David--Philippon, Laurent and Evertse--Schmidt--Schlickewei along with the recent breakthrough work on the weak Polynomial Freiman--Ruzsa conjecture over integers due to Gowers--Green--Manners--Tao.

In this paper, we use the particle motion bijection introduced by Warnaar and developed by the two authors, Jouhet and Konan, to study q-series and partition identities of the Andrews--Gordon type with parity restrictions. These restrictions are of the type ``even (resp. odd) parts appear an even number of times". We prove $q$-series identities where a multisum equals a sum of products, which generalise identities of Andrews and Kim--Yee in a similar way that Stanton's identities generalised the Andrews--Gordon identities. As a consequence of our results, we obtain a simple proof of a recent identity of Chern--Li--Stanton--Xue--Yee related to Ariki--Koike algebras.

We obtain some properties of the q-Narayana polynomials for q=-1 and compare them to corresponding properties for q=1.

Many research works have concerned normality-preserving selection rules and operations on the sequence of digits of a given normal number that maintain or violate normality. This leads us to introduce rearrangement operations on finite subwords appearing within the digit expansions of normal numbers, and this is inspired by the concept of an abelian complexity function in the field of combinatorics on words. We introduce the concept of an abelian-normal number, with respect to a given base and a given weighting/counting function on subwords, by analogy with normal numbers and with the use of the equivalence classes associated with abelian complexity functions. We then construct a non-normal analogue $D_{10}$ of Champernowne's constant $C_{10}$ and prove that $D_{10}$ is abelian-normal with respect to a given weighting function. We conclude with two open problems concerning our Champernowne-like constant $D_{10}$.

Let $A$ be a nonempty subset of finite abelian group $G$ of order $n$. For an integer $h \geq 2$, the restricted $h$-fold sumset $h^\wedge A$ is the set of all sums of $h$ distinct elements of $A$. It is known that if $G$ is a group of order $n$ and $A$ is a subset of $G$ such that $|A|$ is close to $\frac{n}{2}$, then $h^{\wedge}A = G$ under some conditions on $h$ and $n$. The constant $\frac{1}{2}$ is optimal for groups of even order but not for groups of odd order. For an integer $h \geq 4$, let $α_h$ be the unique positive root of the polynomial $3^{h - 2} x^{h - 1} + x - 1$. In this paper, we show that for any $α> α_h$, there exists a positive integer $M_h(α)$, which is determined precisely, such that for all $n > M_h(α)$ with $n$ odd, if $A$ is a subset of a finite abelian group $G$ of order $n$ and if $|A| \geq αn$, then $h^{\wedge} A = G$. Moreover, $α_h > α_{h + 1}$ for $h \geq 4$ and $α_h$ approaches $\frac{1}{3}$ as $h$ increases, and the constant $\frac{1}{3}$ is optimal. This result generalizes a result of Tang and Wei for $4^{\wedge}A$ in the cyclic group $\mathbb{Z}_n$ to arbitrary finite abelian groups.

Let $p \equiv 1 \pmod{4}$ be prime, let $m$ and $n$ be integers such that $p=m^2+n^2$, and let $b$ be a positive integer. Let $Q(z,q) = (z,q/z,q;q)_{\infty}(qz^2,q/z^2;q^2)_{\infty}$ denote the product appearing in the quintuple product identity. We derive explicit formulae for the $p$-dissection of $Q(q^{bm},q^p)Q(q^{bn},q^p)$, and determine sign patterns in length-$p$ arithmetic progressions of the Taylor series coefficients of the associated quotient $Q(q^{bm},q^{p})Q(q^{bn},q^p)/(q^p;q^p)_{\infty}^2$. Some combinatorial applications of the $p$-dissection formulae are also given.

The four-parameter weight of partitions played an important role in the theory of integer partitions, for its connection with various statistics, including the alternating sum and the BG-rank. In 2022, Andrews introduced the SIP classes, by which he reviewed a number of classic partition identities and provided new combinatorial insights. In this work, we extend the SIP classes and provide a unified method to study the four-parameter weight of partitions. By treating partitions with position parity as examples, we provide four-parameter partition identities related to these partition sets. And as corollary, we also present the generating functions that keep track of the BG-rank and the joint distribution of the number of odd parts and the alternating sum, respectively.

We prove partition regularity of the configuration $x,y,x+y,y/x$ in a strong infinitary form that extends Hindman's Theorem. We study the related issue of partition regularity of configurations involving products of a degree one polynomial in $x$ with one in $y$, reducing the general problem to a handful of special cases.

Very recently, Thejitha, Sellers, and Fathima defined the function $a_{r,s}(n)$, which enumerates the number of multicolored partitions of $n$, wherein both even parts and odd parts may appear in one of $r$-colors and $s$-colors, respectively, for fixed $r,s\ge 1$. In this paper, we extend the concept to overpartitions.

We study Kakeya maximal operators associated with horizontal lines in finite Heisenberg groups $\mathbb H_n(\mathbb F_q)$. For the operator parameterized only by projective horizontal directions, we show that projection to $\mathbb F_q^{2n}$ reduces the problem to the affine finite field Kakeya maximal operator, and we determine the exact $\ell^u \to \ell^v$ growth exponent for all $n$ and all $1 \le u,v \le \infty$. We then introduce a refined-direction operator that also records the central slope of a horizontal line. In $\mathbb H_1(\mathbb F_q)$, we prove the sharp $\ell^2 \to \ell^2$ estimate \[ \|M_{\mathbb H_1}^{\mathrm{rd}}F\|_{\ell^2(D_1)} \lesssim q^{1/2}\|F\|_{\ell^2(\mathbb H_1(\mathbb F_q))}, \] deduce the exact mixed-norm exponent formula, and obtain lower bounds for horizontal Heisenberg Kakeya sets with prescribed refined directions. The argument is purely Fourier-analytic and does not use the polynomial method. An outlook toward a new approach to the affine Kakeya problem in $\mathbb{F}_q^3$ will be discussed in this paper.

We consider two generalizations of Pollack's uncertainty principle for Möbius inversion to locally finite posets. The first generalization was previously studied by Goh. Here, we provide a simplified sufficient criterion for the uncertainty principle to hold. We also provide a necessary criterion for the same which, in particular, disproves Goh's conjecture on the characterization of posets for which an uncertainty principle holds. The second generalization is new and applies to posets with reduced incidence algebras of a certain form. Here, we make some preliminary observations, including the fact that uncertainty principle holds for the poset of finite subsets of natural numbers and the poset of finite dimensional subspaces of $\mathbb{F}_q^\infty$. Our proofs in these settings are quite different from the proof for the poset of natural numbers under divisibility.

Motivated by recent study on the number of $t$-hooks in partitions arising from Euler's partition identity, we investigate the number of $t$-hooks in the sets from the first Rogers-Ramanujan identity and the first little Göllitz identity. In particular, for $t=1,2$, we obtain the generating functions for the number of $t$-hooks and prove $t$-hook inequalities by deriving asymptotic formulas.

Okazaki and Smith discovered many elegant formulas expressing some matrix integrals as some celebrated $q$-series such as the Rogers--Ramanujan functions or Jacobi theta functions. These integrals arise as Wilson line defect half-indices of 3d $\mathcal{N}=2$ supersymmetric ${\rm SU}(N)$ Chern-Simons theories. We evaluate them by carefully calculating the constant terms of some infinite products. Along the way we use some crucial facts about antisymmetric multivariate formal Laurent series. Consequently, we prove three general conjectures of Okazaki and Smith which provide explicit formulas for half indices of the ${\rm SU}(N)_{-N-k}$ ($k=0,1/2,1$) Chern-Simons theories. During the process, we extend these ${\rm SU}(N)$ formulas to include one additional parameter. Furthermore, we generalize the ${\rm SU}(N)_{-N-1/2}$ and ${\rm SU}(N)_{-N-1}$ conjectures by calculating the corresponding half-indices of Wilson lines of arbitrary charge. As a special instance of our generalizations, we also confirm the ${\rm SU}(3)_{-4}$ conjecture of Okazaki and Smith.

We present a creative reimagining of Zolotarev's classical proof of the Law of Quadratic Reciprocity.

In a recent breakthrough, Kalmynin proved a conjecture of Lev--Sonn and a conjecture of Sárközy on additive decompositions of multiplicative subgroups of a prime field. In this paper, we prove a multiplicative analogue of Kalmynin's result on a generalization of the Lev--Sonn conjecture, inspired by a relevant conjecture of Sárközy. We show that all nonzero shifts of proper multiplicative subgroups (of size at least $3$) are not ratio sets of the form $A/A$. This in particular extends a result of Shkredov, where he showed the same for small multiplicative subgroups (of size $<p^{6/7}$ in $\mathbb{F}_p$). We also prove an analogous statement over complex numbers for finite subgroups of the unit circle, which may be of independent interest.

We study the Dirichlet series associated with the integers whose radix-$b$ representation misses certain (fixed) digits. The existence of a meromorphic continuation to the entire complex plane, which was already well-known as a general fact valid for $b$-automatic Dirichlet series, is proven anew from a representation as an everywhere defined series with good convergence properties. A generating function related to the residues on the real axis is shown to be the multiplicative inverse of the moment generating function for the associated Cantor set in the unit interval. This makes the (normalized) residues some sort of generalized Bernoulli numbers.

Let $\ell$ and $m$ be positive integers with $\ell \leq m$, and let $\mathcal{A} = (A_1, \ldots, A_m)$ be a finite sequence of finite subsets of a group $G$ (not necessarily abelian), written multiplicatively. The {\it generalized product set} $Π^{\ell}(\mathcal{A})$ is the set of all elements of $G$ which can be represented as a product of exactly $\ell$ elements from $\ell$ distinct sets from $\mathcal{A}$ taken in any order. DeVos, Goddyn and Mohar obtained the nontrivial lower bound for the size of this product set when $G$ is abelian. The DeVos-Goddyn-Mohar Theorem is a fundamental result in additive combinatorics which unifies various results from zero-sum combinatorics and has connections with subsequence sums and sumsets. In this paper, we obtain an optimal lower bound for the size of generalized product set $Π^{\ell}(\mathcal{A})$ in torsion-free groups (not necessarily abelian), and characterize the structure of underlying sets in the sequence $\mathcal{A} = (A_1, \ldots, A_m)$ for which $Π^{\ell}(\mathcal{A})$ achieves the optimal lower bound. By slightly modifying the arguments of the proofs in the case of torsion-free groups, we derive such inverse theorems in cyclic groups of prime orders also. Our proof of these result also yields a new proof of DeVos-Goddyn-Mohar Theorem in $\mathbb{Z}_p$. Moreover, we extend these inverse results to arbitrary abelian groups. Furthermore, as an application, we generalize a theorem for subsequence sums due to Hamidoune in torsion-free groups, and obtain several other results for subsequence sums in arbitrary groups.

The goal of this paper is to count the number of distinct functions of n variables, up to permutation of the variables, that can be constructed using each variable exactly once, without constants, using only the operations of addition, subtraction, multiplication, and division. We refer to such a function as an arithmetic expression. Under this definition, two expressions are identical if they represent the same rational function; for example, $x_1-x_2-x_3$ and $x_1-(x_2+x_3)$ are identical arithmetic expressions, as are $x_1(x_2+x_3)$ and $(x_2+x_3)x_1$. Two arithmetic expressions are said to be isomorphic if one can be obtained from the other by a permutation of the variables. For example, $(x_1-x_2)/x_3$ and $(x_2-x_3)/x_1$ are isomorphic. The first few values of the number of non-isomorphic arithmetic expressions with n variables are: $$1,4,18,93,500,2844,16621,99674,608448,...$$ In order to accomplish this enumeration, we classify the set of all arithmetic expressions into 12 disjoint categories. Counting all non-isomorphic expressions in each category allows us to obtain the total required quantity.

The Littlewood conjecture, proven by Konyagin and McGehee-Pigno-Smith in the 1980s, states that if $A\subset \mathbb{Z}$ is a finite set of integers with $\lvert A\rvert=N$ then $\| \widehat{1_A}\|_1\geq c\log N$ for some absolute constant $c > 0$. We explore what structure $A$ must have if $\| \widehat{1_A}\|_1\leq K\log N$ for some constant $K$. Under such an assumption we prove, for instance, that $A$ contains a subset $A'\subseteq A$ with $\lvert A\rvert \geq N^{0.99}$ such that $\lvert A'+A'\rvert \ll K^{O(1)}\lvert A'\rvert$. As a consequence, for any $k\geq 3$, if $N$ is sufficiently large depending on $k$ and $K$, then $A$ must contain an arithmetic progression of length $k$. A byproduct of our analysis is a (slightly) improved bound for the constant $c$.