arXiv++ Combinatorics

For an integer $k\ge2$, let $λ_k(G)$ denote the $k$th largest adjacency eigenvalue of a graph $G$. For every graph $G$ on $n$ vertices and every $2 \leq k \leq n$, we prove \[ λ_k(G) \le \frac{(k-2)\sqrt{k+1}+2}{2k(k-1)}\,n-1. \] Our bound is tight for $k\in\{2,3,4,8,24\}$. We obtain it by reducing the graph-eigenvalue problem to an extremal problem for orthogonal projections and then applying the general upper bound on the absolute projection constant $γ(r)$ due to Deręgowska and Lewandowska. We also give an alternative proof of their bound by repairing the Gegenbauer-polynomial argument of König and Tomczak-Jaegermann. The resulting slack identity yields a strict improvement in every even dimension $r\ge4$ for which $r+2$ is not a perfect square.

We prove a fermionic-bosonic duality relation for the Macdonald index in Argyres-Douglas theories of type $(A_1, D_{2k+1})$, thereby yielding a conjectural fermionic formula due to Andrews et al. Our duality is built upon a new conjugate Bailey pair to be established using techniques from orthogonal polynomials and basic hypergeometric series. In addition, this fermionic formula implies another sum-like expression for the Macdonald index conjectured by Kim, Kim, and Song.

Let $λ_1(G)\ge λ_2(G)\ge \cdots \ge λ_n(G)$ denote the adjacency eigenvalues of a graph $G$ of order $n$. We prove that for every $k\geq 2$ and every graph $G$ on $n\geq k$ vertices, $$ λ_k(G)\le \frac{λ_{\mathbb{R}}(k-1)}{2(k-1)}\,n-1, $$ where $$ λ_{\mathbb{R}}(r)=\sup_{N\ge r}\frac1N \max_{Q\in \mathcal P_r(N)}\sum_{i,j=1}^N |q_{ij}| $$ and $\mathcal P_r(N)$ denotes the set of rank-$r$ orthogonal projections in $\mathbb{R}^{N\times N}$. In Banach space theory, $λ_{\mathbb{R}}(r)$ is well known as the maximal absolute projection constant, which has been shown to equal the quasimaximal absolute projection constant $μ_{\mathbb{R}}(r)$. This yields a new conceptual connection: universal upper bounds on $λ_k(G)$ are controlled by the real maximal absolute projection constant $λ_{\mathbb{R}}(k-1)$. In dimensions where $λ_{\mathbb{R}}(k-1)$ is known explicitly, this gives explicit coefficients. In particular, for $k=3$ this recovers Tang's recent sharp bound $λ_3(G)\le n/3-1$. For $k=4$, using $λ_{\mathbb{R}}(3)=\frac{1+\sqrt5}{2}$ together with Linz's closed blowups of the icosahedral graph, we obtain the result $$ λ_4(G) \leq \frac{1+\sqrt5}{12}n-1. $$ The method allows us to transfer known upper bounds on $λ_{\mathbb{R}}(k-1)$ to match the best known upper bounds on $λ_k(G)$ for other values of $k$, such as $k=5$.

Uchimura, in 1987, introduced a probability generating function for a random variable $X$ and using properties of this function he discovered an interesting $q$-series identity. He further showed that the $m$-th cumulant with respect to the random variable $X$ is nothing but the generating function for the generalized divisor function $σ_{m-1}(n)$. Simon, Crippa, and Collenberg, in 1993, explored the $G_{n,p}$-model of a random acyclic digraph and defined a random variable $γ_n^{*}(1)$. Quite interestingly, they found links between limit of its mean and the generating function for the divisor function $d(n)$. Later in 1997, Andrews, Crippa and Simon extended these results using $q$-series techniques. They calculated limit of the mean and variance of the random variable $γ_n^{*}(1)$ which correspond to the first and second cumulants. In this paper, we generalize the result of Andrews, Crippa and Simon by calculating limit of the $t$-th cumulant in terms of the generalized divisor function. Furthermore, we also discover limit forms for identities of Uchimura and Dilcher. This provides a fourth side to the Uchimura-Ramanujan-divisor type three way partition identities expounded by the first four authors recently.

We embark on a systematic study of the $(k+1)$-th derivative of $x^{k-r}H(x^r)$, where $H(x):=-x\log x-(1-x)\log(1-x)$ is the binary entropy and $k>r\geq 1$ are integers. Our motivation is the conjectural entropy inequality $α_k H(x^k)\geq x^{k-1}H(x)$, where $0<α_k<1$ is given by a functional equation. The $k=2$ case was the key technical tool driving recent breakthroughs on the union-closed sets conjecture. We express $ \frac{d^{k+1}}{dx^{k+1}}x^{k-r}H(x^r)$ as a rational function, an infinite series, and a sum over generalized Stirling numbers. This allows us to reduce the proof of the entropy inequality for real $k$ to showing that an associated polynomial has only two real roots in the interval $(0,1)$, which also allows us to prove the inequality for fractional exponents such as $k=3/2$. The proof suggests a new framework for proving tight inequalities for the sum of polynomials times the logarithms of polynomials, which converts the inequality into a statement about the real roots of a simpler associated polynomial.

Liu, Hong, Gu, and Lai proved if the second largest eigenvalue of the adjacency matrix of graph $G$ with minimum degree $δ\ge 2m+2 \ge 4$ satisfies $λ_2(G) < δ- \frac{2m+1}{δ+1}$, then $G$ contains at least $m+1$ edge-disjoint spanning trees, which verified a generalization of a conjecture by Cioabă and Wong. We show this bound is essentially the best possible by constructing $d$-regular graphs $\mathcal{G}_{m,d}$ for all $d \ge 2m+2 \ge 4$ with at most $m$ edge-disjoint spanning trees and $λ_2(\mathcal{G}_{m,d}) < d-\frac{2m+1}{d+3}$. As a corollary, we show that a spectral inequality on graph rigidity by Cioabă, Dewar, and Gu is essentially tight.

The \textit{toughness} $t(G)$ of a graph $G$ is a measure of its connectivity that is closely related to Hamiltonicity. Brouwer proved the lower bound $t(G) > \ell / λ- 2$ on the toughness of any connected $\ell$-regular graph, where $ λ$ is the largest nontrivial eigenvalue of the adjacency matrix. He conjectured that this lower bound can be improved to $\ell / λ-1$ and this conjecture is still open. Brouwer also observed that many families of graphs (in particular, those achieving equality in the Hoffman ratio bound for the independence number) have toughness exactly $\ell / λ$. Cioabă and Wong confirmed Brouwer's observation for several families of graphs, including Kneser graphs $K(n,2)$ and their complements, with the exception of the Petersen graph $K(5,2)$. In this paper, we extend these results and determine the toughness of Kneser graphs $K(n,k)$ when $k\in \{3,4\}$ and $n\geq 2k+1$ as well as for $k\geq 5$ and sufficiently large $n$ (in terms of $k$). In all these cases, the toughness is attained by the complement of a maximum independent set and we conjecture that this is the case for any $k\geq 5$ and $n\geq 2k+1$.

We prove the sufficiency of the Linear Superposition Principle for linear trees, which characterizes the spectra achievable by a real symmetric matrix whose underlying graph is a linear tree. The necessity was previously proven in 2014. This is the most general class of trees for which the inverse eigenvalue problem has been solved. We explore many consequences, including the Degree Conjecture for possible spectra, upper bounds for the minimum number of eigenvalues of multiplicity $1$, and the equality of the diameter of a linear tree and its minimum number of distinct eigenvalues, etc.

We study several enumeration problems connected to linear trees, a broad class which includes stars, paths, generalized stars, and caterpillars. We provide generating functions for counting the number of linear trees on $n$ vertices, characterize the asymptotic growth rate of the number of nonisomorphic linear trees, and show that the distribution of $k$-linear trees on $n$ vertices follows a central limit theorem.

We study set partitions with $r$ distinguished elements and block sizes found in an arbitrary index set $S$. The enumeration of these $(S,r)$-partitions leads to the introduction of $(S,r)$-Stirling numbers, an extremely wide-ranging generalization of the classical Stirling numbers and the $r$-Stirling numbers. We also introduce the associated $(S,r)$-Bell and $(S,r)$-factorial numbers. We study fundamental aspects of these numbers, including recurrence relations and determinantal expressions. For $S$ with some extra structure, we show that the inverse of the $(S,r)$-Stirling matrix encodes the Möbius functions of two families of posets. Through several examples, we demonstrate that for some $S$ the matrices and their inverses involve the enumeration sequences of several combinatorial objects. Further, we highlight how the $(S,r)$-Stirling numbers naturally arise in the enumeration of cliques and acyclic orientations of special graphs, underlining their ubiquity and importance. Finally, we introduce related $(S,r)$ generalizations of the poly-Bernoulli and poly-Cauchy numbers, uniting many past works on generalized combinatorial sequences.

We study a recently introduced base $b$ polynomial analog of Stern's diatomic sequence, which generalizes Stern polynomials of Klavar, Dilcher, Ericksen, Mansour, Stolarsky, and others. We lift some basic properties of base $2$ Stern polynomials to arbitrary base, and introduce a matrix characterization of Stern polynomials. By specializing, we recover some new number theoretic results about hyper $b$-ary partitions, which count partitions of $n$ into powers of $b$.

We solve multiple conjectures by Byszewski and Ulas about the sum of base $b$ digits function. In order to do this, we develop general results about summations over the sum of digits function. As a corollary, we describe an unexpected new result about the Prouhet-Tarry-Escott problem. In some cases, this allows us to partition fewer than $b^N$ values into $b$ sets $\{S_1,\ldots,S_b\}$, such that $$\sum_{s\in S_1}s^k = \sum_{s\in S_2}s^k = \cdots = \sum_{s\in S_b}s^k $$ for $0\leq k \leq N-1$. The classical construction can only partition $b^N$ values such that the first $N$ powers agree. Our results are amenable to a computational search, which may discover new, smaller, solutions to this classical problem.

We introduce new refinements of the Bell, factorial, and unsigned Stirling numbers of the first and second kind that unite the derangement, involution, associated factorial, associated Bell, incomplete Stirling, restricted factorial, restricted Bell, and $r$-derangement numbers (and probably more!). By combining methods from analytic combinatorics, umbral calculus, and probability theory, we derive several recurrence relations and closed form expressions for these numbers. By specializing our results to the classical case, we recover explicit formulae for the Bell and Stirling numbers as sums over compositions.

We study the properties of the base-$b$ binomial coefficient defined by Jiu and the second author, introduced in the context of a digital binomial theorem. After introducing a general summation formula, we derive base-$b$ analogues of the Stirling numbers of the second kind, the Fibonacci numbers and the classical exponential function.

We study the $q$-bracket operator of Bloch and Okounkov when applied to $f(λ)=\sum_{λ_i \in λ}g(λ_i)$ and $f(λ)=\sum_{\substack{λ_i \in λλ_i \text{distinct} }}g(λ_i)$. We use these expansions to derive convolution identities for the functions $f$ and link both classes of $q$-brackets through divisor sums. As a result, we generalize Euler's classic convolution identity for the partition function and obtain an analogous identity for the totient function. As corollaries, we generalize Stanley's theorem as well as provide several new combinatorial results.