arXiv++ Combinatorics

An equivalent formulation of the Riemann hypothesis recently led to a partition expansion naturally indexed by diagonals of the Young lattice. Segovia isolated the hook families $(r,1^m)$ on these diagonals and computed their limiting contributions $ρ_r$, while observing that non-hook families provide a missing contribution. We introduce a bivariate finite generating function that packages all Young shapes on every fixed-excess diagonal at once. For each fixed $r\geq1$, we obtain a diagonal generating polynomial $D_r(n;z)$ and prove \[ A_r(n)\sim C_r\,n\log\log n, \] where $C_r$ is the $(r-1)$st coefficient of an explicit convergent infinite product. Moreover, \[ C_r=\sum_{ν\vdash r-1} C_ν, \] giving a canonical decomposition over the partitions of the excess $r-1$. The one-part contribution is Segovia's hook constant $ρ_r$, while the remaining terms give all non-hook corrections simultaneously. We then refine these constants by introducing coefficients $C_{r,d}$ that record simultaneously the Young-lattice excess $r-1$ and the number $d$ of non-unit rows. Row sums recover the fixed-excess constants $C_r$, while column sums recover the depth decomposition in an Abel-regularized multiple-zeta expansion of $e^γ$. More precisely, each partition $ν\vdash r-1$ is identified with an Abel-regularized multiple-zeta block of depth $\ell(ν)$. Thus the same array $(C_{r,d})$ organizes the decomposition simultaneously by Young-lattice excess and multiple-zeta depth. Our results concern the combinatorial and asymptotic structure of this decomposition, rather than the Riemann hypothesis itself.

Assume that the Riemann hypothesis holds for Dedekind zeta functions. Under this assumption, we prove that a degree $d$ polynomial with random multiplicative $\pm1$ coefficients is irreducible in $\mathbb{Z}[x]$ with probability $1-O(d^{-1/2+\varepsilon})$.

We consider the decision problem of whether a particular Gromov--Witten invariant on a partial flag variety is zero. We prove that for the $3$-pointed, genus zero invariants, this problem is in the complexity class ${\sf AM}$ assuming the Generalized Riemann Hypothesis (GRH), and therefore lies in the second level of polynomial hierarchy ${\sf PH}$. For the proof, we construct an explicit system of polynomial equations through a translation of the defining equations. We also need to prove an extension of the Parametric Hilbert's Nullstellensatz to obtain our central reduction.

The Schubert vanishing problem is a central decision problem in algebraic combinatorics and Schubert calculus, with applications to representation theory and enumerative algebraic geometry. The problem has been studied for over 50 years in different settings, with much progress given in the last two decades. We prove that the Schubert vanishing problem is in ${\sf AM}$ assuming the Generalized Riemann Hypothesis (GRH). This complements our earlier result in arXiv:2412.02064, that the problem is in ${\sf coAM}$ assuming the GRH. In particular, this implies that the Schubert vanishing problem is unlikely to be ${\sf coNP}$-hard, as we previously conjectured in arXiv:2412.02064. The proof is of independent interest as we formalize and expand the notion of a lifted formulation partly inspired by algebraic computations of Schubert problems, and extended formulations of linear programs. We use a result by Mahajan--Vinay to show that the determinant has a lifted formulation of polynomial size. We combine this with Purbhoo's algebraic criterion to derive the result.

The Tur{á}n inequalities and the Laguerre inequalities are closely related to the Laguerre-Pólya class and the Riemann hypothesis. These inequalities have been extensively studied in the literature. In this paper, we propose a method to determine a positive integer $N$ such that the sequences $\{\sqrt[n]{a_n}/n!\}_{n \ge N}$ and $\{\sqrt[n+1]{a_{n+1}}/(\sqrt[n]{a_n} n!)\}_{n \ge N}$ satisfy the higher order Tur{á}n inequalities and the Laguerre inequalities of order two for a P-recursive sequence $\{a_n\}_{n \ge 1}$.

We demonstrate the general outlines of a method for obtaining analytic expressions for certain types of general arithmetical sums. In particular, analytical expressions for a general arithmetical sum whose terms are summed over either the positive integer solutions $(a,b)$ of the Diophantine equation $kb^2+da^2 = N$ or the positive integer solutions $(a,b)$ of the Diophantine equation $kb^2-da^2 = N$ are derived. As one of the consequences, we propose a possible improvement of the Robin-Lagarias criteria for the Riemann hypothesis.

Let $U_{n,d}$ be the uniform matroid of rank $d$ on $n$ elements. Denote by $g_{U_{n,d}}(t)$ the Speyer's $g$-polynomial of $U_{n,d}$. The Turán inequality and higher order Turán inequality are related to the Laguerre-Pólya ($\mathcal{L}$-$\mathcal{P}$) class of real entire functions, and the $\mathcal{L}$-$\mathcal{P}$ class has close relation with the Riemann hypothesis. The Turán type inequalities have received much attention. Infinite log-concavity is also a deep generalization of Turán inequality with different direction. In this paper, we mainly obtain the infinite log-concavity and the higher order Turán inequality of the sequence $\{g_{U_{n,d}}(t)\}_{d=1}^{n-1}$ for any $t>0$. In order to prove these results, we show that the generating function of $g_{U_{n,d}}(t)$, denoted $h_n(x;t)$, has only real zeros for $t>0$. Consequently, for $t>0$, we also obtain the $γ$-positivity of the polynomial $h_n(x;t)$, the asymptotical normality of $g_{U_{n,d}}(t)$, and the Laguerre inequalities for $g_{U_{n,d}}(t)$ and $h_n(x;t)$.

In this paper, we investigate the Bartholdi zeta function on a connected simple digraph with $n_V$ vertices and $n_E$ edges. We derive a functional equation for the Bartholdi zeta function $ζ_G(q,u)$ on a regular graph $G$ with respect to the bump parameter $u$. We also find an equivalence between the Bartholdi zeta function with a specific value of $u$ and the Ihara zeta function at $u=0$. We determine bounds of the critical strip of $ζ_G(q,u)$ for a general graph. If $G$ is a $(t+1)$-regular graph, the bounds are saturated and $q=(1-u)^{-1}$ and $q=(t+u)^{-1}$ are the poles at the boundaries of the critical strip for $u\ne 1, -t$. When $G$ is the regular graph and the spectrum of the adjacency matrix satisfies a certain condition, $ζ_G(q,u)$ satisfies the so-called Riemann hypothesis. For $u \ne 1$, $q=\pm(1-u)^{-1}$ are poles of $ζ_G(q,u)$ unless $G$ is tree. Although the order of the pole at $q=(1-u)^{-1}$ is $n_E-n_V+1$ if $u\ne u_* \equiv 1-\frac{n_E}{n_V}$, it is enhanced at $u=u_*$. In particular, if the Moore-Penrose inverse of the incidence matrix $L^+$ and the degree vector $\vec{d}$ satisfy the condition $|L^+ \vec{d}|^2\ne n_E$, the order of the pole at $q=(1-u)^{-1}$ increases only by one at $u=u_*$. The order of the pole at $q=-(1-u)^{-1}$ coincides with that at $q=(1-u)^{-1}$ if $G$ is bipartite and is $n_E-n_V$ otherwise.

Let us call a simple graph on $n\geq 2$ vertices a prime gap graph if its vertex degrees are $1$ and the first $n-1$ prime gaps. We show that such a graph exists for every large $n$, and in fact for every $n\geq 2$ if we assume the Riemann hypothesis. Moreover, an infinite sequence of prime gap graphs can be generated by the so-called degree preserving growth process. This is the first time a naturally occurring infinite sequence of positive integers is identified as graphic. That is, we show the existence of an interesting, and so far unique, infinite combinatorial object.

We establish new estimates for the number of $m$-smooth polynomials of degree $n$ over a finite field $\mathbb{F}_q$, where the main term involves the number of $m$-smooth permutations on $n$ elements. Our estimates imply that the probability that a random polynomial of degree $n$ is $m$-smooth is asymptotic to the probability that a random permutation on $n$ elements is $m$-smooth, uniformly for $m\ge (2+\varepsilon)\log_q n$ as $q^n \to \infty$. This should be viewed as an unconditional analogue of works of Hildebrand and of Saias in the integer setting, which assume the Riemann Hypothesis. Moreover, we show that the range $m \ge (2+\varepsilon)\log_q n$ is sharp; this should be viewed as a resolution of a (polynomial analogue of a) conjecture of Hildebrand. As an application of our estimates, we determine the rate of decay in the asymptotic formula for the expected degree of the largest prime factor of a random polynomial.

We give asymptotic formulas for the number of balanced words whose slope $α$ and intercept $ρ$ lie in a prescribed rectangle. They are related to uniform distribution of Farey fractions and Riemann Hypothesis. In the general case, the error term is deduced using an inequality of large sieve type.

Using recent results on the concentration of the largest eigenvalue and maximal vertex degree of large random graphs, we show that the infinite sequence of Erd\H os-Rényi random graphs $G(n,ρ_n/n)$ such that $ρ_n/\log n$ infinitely increases as $n\to\infty$ verifies a version of the graph theory Riemann Hypothesis.

We show that any set of distinct homotopy classes of simple closed curves on the torus that pairwise intersect at most $k$ times has size $k + O(\sqrt{k} \log k)$. Prior to this work, a lemma of Agol, together with the state of the art bounds for the size of prime gaps, implied the error term $O(k^{21/40})$, and in fact the assumption of the Riemann hypothesis improved this error term to the one we obtain $O(\sqrt{k} \log k)$. By contrast, our methods are elementary, combinatorial, and geometric.

This survey presents some combinatorial problems with number-theoretic flavor. Our journey starts from a simple graph coloring question, but at some point gets close to a dangerous territory of the Riemann Hypothesis. We will mostly focus on open problems, but we will also provide some simple proofs, just for adorning.

Following attempts at an analytic proof of the Pentagonal Number Theorem, we report on the discovery of a general principle leading to an unexpected cancellation of oscillating sums. After stating the motivation, and our theorem, we apply it to prove several results on the Prouhet-Tarry-Escott Problem, integer partitions, and the distribution of prime numbers. Regarding the Prouhet-Tarry-Escott problem, we show that \begin{align*} \sum_{|\ell|\leq x}(4x^2-4\ell^2)^{2r}-\sum_{|\ell|<x}(4x^2-(2\ell+1)^2)^{2r}=\text{polynomial w.r.t. } x \text{ with degree }2r-1. \end{align*} This can perhaps be proved using properties of Bernoulli polynomials, but the claim fell out of our method in a more natural and motivated way. Using this result, we solve an approximate version of the PTE Problem, and in doing so our work in the approximate case exceeds the bounds one can prove using a pigeonhole argument, which seems remarkable. Also, we prove that $$ \sum_{\ell^2 < n} (-1)^\ell p(n-\ell^2)\ \sim\ (-1)^n 2^{-3/4} n^{-1/4} \sqrt{p(n)}, $$ where $p(n)$ is the usual partition function. We get the following "Weak pentagonal number theorem", in which we can replace the partition function $p(n)$ with Chebyshev $Ψ$ function: $$ \sum_{0 < \ell < \sqrt{xT}/2} Ψ([e^{\sqrt{x - \frac{(2\ell)^2}{T}}},\ e^{\sqrt{x - \frac{(2\ell-1)^2}{T}}}])\ =Ψ(e^{\sqrt{x}})\left(\frac{1}{2} + O\left (e^{-0.196\sqrt{x}}\right)\right), $$ where $T=e^{0.786\sqrt{x}}$, where $Ψ([a,b]) := \sum_{n\in [a,b]} Λ(n)$ and $Ψ(x) = Ψ([1,x])$, where $Λ$ is the von Mangoldt function. Note that this last equation (sum over $\ell$) is stronger than one would get using a strong form of the Prime Number Theorem and also a naive use of the Riemann Hypothesis in each interval, since the widths of the intervals are smaller than $e^{\frac{1}{2} \sqrt{x}}$, making the RH estimate ``trivial".

This paper discusses the simplest examples of spectral zeta functions, especially those associated with graphs, a subject which has not been much studied. The analogy and the similar structure of these functions, such as their parallel definition in terms of the heat kernel and their functional equations, are emphasized. Another theme is to point out various contexts in which these non-classical zeta functions appear. This includes Eisenstein series, the Langlands program, Verlinde formulas, Riemann hypotheses, Catalan numbers, Dedekind sums, and hypergeometric functions. Several open-ended problems are suggested with the hope of stimulating further research.

We consider a generalisation of a conjecture by Patterson and Wiedemann from 1983 on the Hamming distance of a function from $\mathbb{F}_q^n$ to $\mathbb{F}_q$ to the set of affine functions from $\mathbb{F}_q^n$ to $\mathbb{F}_q$. We prove the conjecture for each $q$ such that the characteristic of $\mathbb{F}_q$ lies in a subset of the primes with density $1$ and we prove the conjecture for all $q$ by assuming the generalised Riemann hypothesis. Roughly speaking, we show the existence of functions for which the distance to the affine functions is maximised when $n$ tends to infinity. This also determines the asymptotic behaviour of the covering radius of the $[q^n,n+1]$ Reed-Muller code over $\mathbb{F}_q$ and so answers a question raised by Leducq in 2013. Our results extend the case $q=2$, which was recently proved by the author and which corresponds to the original conjecture by Patterson and Wiedemann. Our proof combines evaluations of Gauss sums in the semiprimitive case, probabilistic arguments, and methods from discrepancy theory.

A finite group with a cyclic normal subgroup N such that G/N is cyclic is said to be metacyclic. A code over a finite field F is a metacyclic code if it is a left ideal in the group algebra FG for G a metacyclic group. Metacyclic codes are generalizations of dihedral codes, and can be constructed as quasi-cyclic codes with an extra automorphism. In this paper, we prove that metacyclic codes form an asymptotically good family of codes. Our proof relies on a version of Artin's conjecture for primitive roots in arithmetic progression being true under the Generalized Riemann Hypothesis (GRH).

In 1915, Ramanujan proved asymptotic inequalities for the sum of divisors function, assuming the Riemann hypothesis (RH). We consider a strong version of Ramanujan's theorem and define highest abundant numbers that are extreme with respect to the Ramanujan and Robin inequalities. Properties of these numbers are very different depending on whether the RH is true or false.

Bob Hough recently disproved a long-standing conjecture of Paul Erdős regarding covering systems. Inspired by his seminal paper, we describe analogs of covering systems to Boolean functions, and more generally, the problem of covering discrete hyper-boxes by non-parallel lower dimensional hyper-subboxes. We point out that very often primes are red herrings. This is definitely the case for covering system, and who knows, perhaps also for the Riemann Hypothesis.