math.CO ↗ arXiv
7121 papers in this category
Direct Generation of a Somos-4 Sequence from an Algebraic Generating Function
We construct a five-parameter quadratic algebraic generating function whose coefficient sequence has prescribed initial Hankel determinants $(λ,m,r,η)$ and whose Hankel transform belongs to the Somos-4 family $A(1,τ)$. The construction starts from a Stieltjes continued fraction whose coefficients are generated by an alternating recurrence compatible with the Somos-4 relation. We derive an explicit quadratic equation for the resulting generating function and give the corresponding coefficient recurrence.
A subtle feature of the construction is the nonuniqueness of a coefficient sequence determined solely by its ordinary Hankel transform. To select a canonical representative, we additionally prescribe the shifted Hankel determinants obtained from the same Somos-4 orbit advanced by two indices. This companion condition determines the odd and even Stieltjes coefficients separately and removes the remaining freedom in the continued-fraction representation. We also analyze the two algebraic branches at the origin, where they coalesce, and derive a desingularized recurrence for the coefficients. The resulting construction provides a direct algebraic generating-function realization of a general five-parameter family of Somos-4 Hankel transforms.
Improved Bounds for the Bilu--Linial Conjecture via Spectral Recovery from Mixed Determinantal Polynomials
The Bilu--Linial conjecture asks whether every finite $d$-regular graph with $d \geq 2$ admits an edge signing $σ$ whose signed adjacency matrix $A_σ$ has spectral radius at most $2\sqrt{d-1}$. We prove that every signing meeting the mixed-root condition $r_{A_σ}\leq\sqrt{2(d-1)}$ satisfies \[
ρ(A_σ) < \frac{3+\sqrt5}{2}\sqrt{d-1}, \] where $r_{A_σ}$ is the largest root of the mixed determinantal polynomial $χ[A_σ,-A_σ]$. The interlacing theorem of Ravichandran and Srivastava guarantees a signing satisfying the mixed-root condition, so our result improves the coefficient $2\sqrt2$ in their two-sided spectral bound.
In the proof, we construct a positive matrix-valued probability measure supported on the roots of $χ[A_σ,-A_σ]$. The second moment gives a simple matrix inequality $A_σ^2 + dI \preceq 4r_{A_σ}^2I$, which yields a preliminary coefficient $\sqrt{7}$. Estimates for the fourth moment use information about short walks to obtain the coefficient $(3+\sqrt{5})/2$. With more graph structural assumptions, the coefficient improves to $\sqrt6$ for triangle-free graphs and to $\sqrt{(5+3\sqrt5)/2}$ for graphs of girth at least five. As a result of independent interest, we extend the construction to $χ[A_1,\ldots,A_k]$ for Hermitian matrices $A_1,\ldots,A_k$ with zero diagonal, and compute the first two moments explicitly.
Finally, an explicit signing of $K_8$ shows that the mixed-root condition alone cannot guarantee a coefficient below $(4+\sqrt5)/\sqrt6$.
Algebraic Structures on Sets of Partitions
Motivated by Robert Schneider's trailblazing work toward developing a unifying algebraic theory of integer partitions, we explore various binary operations on partitions to identify algebraic structures on sets of partitions. In particular, we discover that several sets of restricted partitions form abelian groups under reduced versions of concatenation, component-wise addition, and component-wise multiplication. One type of restricted partition from a group structure also enjoys a bijection with ordinary partitions of any given size. We extend two partition groups to vector spaces over the finite field $\mathbb{Z}_p$, where $p$ is a prime. We further discover that partitions are equipped with a commutative ring structure. Finally, we consider subgroups, subspaces, and ideals of our algebraic partition structures to investigate properties of related types of restricted partitions. The new examples of algebraic structures described in this paper open the door to partition analysis via algebraic tools, decompositions, extensions, and geometry.
Multivariate stability of powered triangular recurrences and parametrised Eulerian polynomials
We prove multivariate stability for a class of affine triangular recurrences whose two coefficients are raised to an arbitrary positive integer power. The variables keep track of cross-step heights in a weighted lattice-path model. The applications include stability and real rootedness of parametrised Eulerian, Stirling, and Lah families. For the parametrised Eulerian polynomials, we obtain multivariate refinements of known real-rootedness results and prove simplicity and strict interlacing of consecutive rows. A kernel-preserving bijection with increasing binary trees yields a synchronised Foata--Strehl action on pairs and a combinatorial interpretation of their gamma coefficients along with a recurrence. The same bijection identifies refinement posets that admit symmetric Boolean and chain decompositions for parameter one and cover-supported $\mathfrak{sl}_2$ operators prove their PECKness. We extend the stability and strict interlacing results to synchronised Stirling permutations and prove PECKness for ordinary Stirling permutations with a fixed number of plateaux.
Independent Sets and Balanced Cycle-Linkings in 2-Connected Graphs
For every $α\ge3$ and all sufficiently large $n$, we identify a single graph that simultaneously maximizes the number of independent sets of every size among all $n$-vertex $2$-connected graphs with independence number $α$. This graph is unique up to isomorphism and is a balanced cycle-linking of the disjoint union of $α$ cliques whose orders differ by at most one. More precisely, for each $3\leβ\leα$, the graphs maximizing the number of independent $β$-sets are exactly the cycle-linkings whose clique-size cyclic words are $\lfloorβ/2\rfloor$-balanced. These results extend the corresponding extremal result for connected graphs to the $2$-connected setting. The proof combines generalized Turán-type clique counting and the edge-extremal theory of $2$-connected graphs with a coefficientwise balancing-switch argument. The switch also shows that a shortest imbalance of length $r$ first affects the independent-set count in degree $2r$.
An improved bound on the treewidth of planar graphs excluding a grid minor
We show that every planar graph with no $t \times t$ grid minor has treewidth at most $4t +4$. This improves on the previously best known bound of $\frac{9}{2}t - \frac{11}{2}$, due to Gu and Tamaki (2012), and is within a factor $2$ of optimal.
A key step in the proof is showing the following result, which might be of independent interest: Every $2$-connected plane graph $G$ with radius $d$ and faces of size at most $k$ has a tree-decomposition of width at most $\max\{3d+ k+5, 2d+2k+1\}$ such that the vertex set of every face of $G$ is contained in some bag.
Coherent presentations for stylic monoids via row rewriting
We study stylic monoids from the viewpoint of higher-dimensional rewriting. A coherent presentation records not only the defining relations of a monoid, but also the relations among them. Using the $N$-tableau model, we construct a finite coherent presentation for every stylic monoid of finite rank. We start from the known finite convergent row presentation. By adjoining one generating confluence for each critical branching, Squier's coherence theorem yields a finite coherent extension. We then simplify the resulted coherent presentation by two successive homotopical reductions adapted to the row combinatorics of $N$-tableaux. Finally, coherent Tietze transformations and a further homotopical reduction transfer the construction from the auxiliary row generators to the standard letter generators. This gives an effectively computable finite homotopy basis for the standard letter presentation. The construction is illustrated in detail in rank $2$.
Maximum number of spanning trees in bipartite graphs with a given diameter
The number of spanning trees is a classical graph invariant and an important measure of network reliability, as it counts the minimal connected spanning substructures that can maintain communication in a network. Let $\mathcal{B}(n,d)$ be the set of connected bipartite graphs of order $n$ and diameter $d$. Motivated by reliability design problems for bipartite network models with fixed order and diameter, this paper determines all graphs with the maximum number of spanning trees in $\mathcal{B}(n,d)$. The result gives an extremal characterization of bipartite network topologies with the largest number of connected spanning backbones under prescribed order and diameter constraints, and provides a structural reference for the design of reliable bipartite networks.
Limits of descent-biased trees
We investigate scaling and local limits of random trees biased according to their number of descents. A descent in a rooted labeled tree $t$ is a parent-child pair such that the label of the parent is greater than the label of the child, and the total number of descents is denoted by $\mathrm{des}(t)$. For $n \geq 1$ and $q_n \geq 0$, we consider the probability measure on trees of size $n$ where each tree $t$ is chosen with a probability proportional to $q_n^{\mathrm{des}(t)}$. We study the resulting random tree $\mathcal{T}_n^{(q_n)}$ properly rescaled as $n \to \infty$, and focus on two regimes for the bias parameter $q_n$. When $q_n = q \in (0,1]$ is fixed, we prove that $\mathcal{T}_n^{(q)}$ converges in distribution to the Brownian Continuum Random Tree. When $q_n = a/n$ for some fixed $a > 0$, we prove that $\mathcal{T}_n^{(q_n)}$ converges in distribution to a random non-trivial dendron constructed from a Poisson-Dirichlet sequence. We complement these results with a description of the Benjamini-Schramm local limit of $\mathcal{T}_n^{(q_n)}$ in all regimes of parameters. Our proofs rely on analytic combinatorics to find the asymptotics of certain statistics of the tree, and on a probabilistic analysis of the structure of descent-biased random trees.
Large Complete Minors from a Cheeger Condition
Let $G$ be a graph on $n$ vertices, and let $e_G(S,V(G)\setminus S)$ be the number of edges with exactly one endpoint in $S$. The Cheeger constant and the restricted Cheeger constant of $G$, where $k\ge1$ is real, are, respectively, \[
h(G)=\min_{\substack{\emptyset\ne S\subseteq V(G)\\|S|\le \frac{n}{2}}}
\frac{e_G(S,V(G)\setminus S)}{|S|}
\text{ and }
h_k(G)=\min_{\substack{\emptyset\ne S\subseteq V(G)
|S|\le\min\{k,\frac{n}{2}\}}}
\frac{e_G(S,V(G)\setminus S)}{|S|}. \] The contraction clique number $\ccl(G)$ is the largest integer $r$ such that $G$ contains the complete graph $K_r$ as a minor. Krivelevich and Nenadov [Complete minors in graphs without sparse cuts, Int. Math. Res. Not. IMRN 12 (2021) 8996--9015] proved that, for every fixed $\eps>0$ and all sufficiently large $n$ and $d$, if $G$ is a graph on $n$ vertices with maximum degree at most $d$, then $h(G)\ge\eps d$ and $h_{\eps n}(G)\ge(\frac{1}{2}+\eps)d$ imply $\ccl(G)=Ω_\eps(\sqrt{\frac{nd}{\log d}})$. They asked to determine if one can guarantee the same lower bound on $\ccl(G)$ without the additional condition on $h_{\eps n}(G)$. They showed that this is the case when $d$ is a constant. We answer this question affirmatively. For every $\eps>0$, there are constants $β=β(\eps)>0$ and $n_0=n_0(\eps)$ such that, whenever $d\ge 3$ is an integer, for every graph $G$ with $n\ge n_0$ vertices and maximum degree at most $d$, if $h(G)\ge\eps d$, then $\ccl(G)\geβ\sqrt{\frac{nd}{\log d}}$. The dependence of this lower bound on $n$ and $d$ is best possible up to a constant factor. As a corollary, a lower bound is derived for the contraction clique number of $d$-regular graphs for which the second largest eigenvalue is bounded away from $d$, compared to earlier $\frac{d}{2}$. The proof combines spectral properties of graphs with an analysis of lazy random walks.
On Erdős Problem 767: Cycles with Chords
For integers $k\ge 1$ and $n\ge k+2$, let $g_k(n)$ be the maximum number of edges in an $n$-vertex graph containing no cycle with a vertex incident with at least $k$ chords. Erdős conjectured that $g_k(n)=(k+1)(n-k-1)$ for $n\ge 2k+2$. Lewin found a counterexample. Bollobás later conjectured that there exists a function $n(k)$ such that $g_k(n)=(k+1)(n-k-1)$ for all $n\ge n(k)$. Jiang confirmed this by proving the formula for all $n\ge3k+3$ when $k\ge1$. In this paper, we determine $g_k(n)$ completely. For all $k\ge1$ and $n\ge k+2$, we prove $g_k(n)=\big\{\lfloor\frac{(k+1)n}{2}\rfloor,\max\{a(n-a)+\lfloor\frac{a(k+1-a)}{2}\rfloor : a\in\mathbb Z,\; \lfloor {(k+1)}/{2}\rfloor+1\le a\le k+1\}\big\}$. For $k\ge2$, we prove $g_k(n)=(k+1)(n-k-1)$ when $n\ge \lceil(5k+1)/2\rceil$, and this threshold is sharp. Our proof builds on the method developed by Ma and the second author in [Ma and Ning, 2020].
Point sets determining few angles are almost contained in a line or circle
We prove a structural theorem for point sets in $\mathbb R^2$ which determine few pinned angles. More precisely, we prove the existence of an absolute constant $c>0$ such that if $n$ is sufficiently large and $P$ is a set of $n$ points then there exists a point $q \in P$ which determines at least $n^{1+c}$ distinct angles to other pairs of points of $P$, provided that $P$ is not of one of the following exceptional forms: all but at most one of the points of $P$ lie on a line; all but two points of $P$ lie on a line, and the two exceptional points are symmetric with respect to the line; all the points of $P$ lie on a circle; all but one of the points of $P$ lie on a circle, and the exceptional point is the centre of the circle.
As a consequence, we answer a question of Corrádi, Erdős and Hajnal by showing that if $n$ is sufficiently large and $P \subseteq \mathbb R^2$ has cardinality $n$ and is not contained on a single line, then $P$ determines at least $n-2$ angles. Moreover, we prove that the unique point set attaining this minimum is the regular $n$-gon.
Growth beyond exponent $3/2$ for convexity and iterated sum sets
We prove that the bound \[ \max \{ |16A|,|16f(A)| \} \gg_m |A|^{\frac{3}{2}+\frac{1}{162}} \] holds for any polynomial $f$ with degree $m \geq 2$ and any finite $A \subset \mathbb R$. This shows that the classical Jarník obstruction to growth beyond exponent $3/2$, which occurs for general strictly convex functions, cannot occur for polynomial functions.
Bipodal optimizers in the upper-tail variational problem for regular subgraph densities
Let $H$ be a fixed $d$-regular graph with $d\ge2$, and let $t(H,\cdot)$ denote its homomorphism density. We study the upper-tail event $t(H,G(n,p))\ge r^{|E(H)|}$ for fixed $0<p<r<1$ in a dense Erdős--Rényi random graph $G(n,p)$. Near the Lubetzky--Zhao replica-symmetric phase boundary and away from the exceptional target density $(d-1)/d$, we prove that the optimizer of the Chatterjee--Varadhan variational problem on the symmetry-breaking side is bipodal (two-block) and unique up to relabeling. Its block parameters depend analytically on $(p,r)$. To treat the exceptional boundary point, where the nonexceptional theory degenerates, we construct an analytic curve approaching that point from the symmetry-breaking side along which the unique optimizers are nonconstant rank-one bipodal graphons. In both settings, we derive asymptotic expansions of the edge-density deficit and the rate function that governs the exponential decay of the upper-tail probability. Moreover, the conditioned random graph converges in cut distance to the corresponding bipodal optimizer as $n\to\infty$. As $(p,r)$ approaches the phase boundary from the symmetry-breaking side, the optimizers converge to their constant limits through two distinct mechanisms. For each fixed nonexceptional target density, one block shrinks to zero measure, giving convergence in $L^1$ but not in $L^\infty$. Along the exceptional curve, both blocks remain macroscopic: their sizes tend to $1/2$ and all three block densities tend to $(d-1)/d$, yielding convergence in $L^\infty$.
Type C transpositions and strong marked tableaux
Motivated by the Morse--Seelinger conjecture on type C $k$-Schur functions, we develop a permutation model for type C strong marked tableaux. Using type C transpositions, we give an explicit correspondence with the symmetric-core model that preserves the marking data. We also describe the induced affine Weyl group action on bounded partitions.
A lower bound on the density of prefixes with maximal palindromic length
The palindromic length $PL(u)$ of a nonempty finite word $u$ is the least number of nonempty palindromes whose concatenation is $u$. For an infinite word $w$, let $P_w(n)$ be the number of nonempty palindromic prefixes of $w[1,n]$, and let $T_w(n)$ consist of those prefixes $w[1,j]$, $1\leq j\leq n$, whose palindromic length equals the maximum attained among the nonempty prefixes of $w[1,j]$. We prove the finite inequality $|T_w(n)|\geq P_w(n)$ for every $n\geq1$. In particular, if $w$ has infinitely many palindromic prefixes, then \[
\liminf_{n\to\infty}\frac{|T_w(n)|}{P_w(n)}\geq1. \] The coefficient $1$ is optimal, already for a nonconstant periodic word. The proof uses chains of occurrences connected by palindromic factors, together with trimming and reflection arguments that preserve lower bounds on palindromic length.
A proof of the resistance diameter conjecture for line graphs
We prove the conjecture of Xu, Li, Hua, and Pan that the resistance diameter does not increase under the line-graph operation. For every finite connected simple graph $G$ with at least one edge, we establish $D_r(L(G))\le D_r(G)$, with equality if and only if $G$ is a cycle or $K_4$. The proof combines an exact electrical representation of $L(G)$ by stars with a sharp budget inequality for the branch core. This inequality controls the combined error terms arising from the comparison of degree-two paths and is central to both the diameter bound and the equality analysis.
Obstructions to coloring arithmetic graphs
The arithmetic graph $B_n$ joins distinct $a,b\in\N$ when $\max(a,b)/\gcd(a,b)\le n$. We prove $χ(B_{205})=206$, disproving the conjecture that $χ(B_n)=n$ for every $n$, equivalently the Rainbow Cascades Conjecture. The proof reduces an arbitrary tiling by the arithmetic exponent tile to a periodic tiling, then to two families of finite quotients, which are excluded using exact computations. We also construct a $208$-coloring using $\Z_{104}\times\Z_2$ and prove $212\leχ(B_{211})\le213$. The lower bound at $211$ follows from prime-cardinality tiling rigidity and the published nonexistence of a cyclic logarithm of length $211$; we give a direct proof of the required rigidity statement. Finally, we record the equivalence with the List Cascade Coloring Conjecture and the conjecture on ironic decorations, and deduce finite graph counterexamples to both. The least $n$ with $χ(B_n)>n$ is either $195$ or $205$; determining which remains open.
The Exact Growth Rate of Space-Optimal Reversible Pebbling on Chains
We determine the exact time exponent of space-optimal reversible pebbling on chains as $1.331742379256310\ldots$. The growth rate of space-optimal reach exists as a limit and admits a variational formula. The same exponent governs complete computations at minimal space, uniformly in the chain length.
Spherical $t$-Designs on $\mathbb S^2$ with $54t^2$ Points
We prove that, for every integer $t\geq 1$, the unit two-sphere admits a spherical $t$-design consisting of exactly $54t^2$ points. More generally, such a design exists with exactly $6q^2$ points for every integer $q\geq 3t$. The proof builds on the topological degree method of Bondarenko, Radchenko and Viazovska, using an explicit equal-area partition of the sphere based on the map of Roşca and Plonka. By choosing the cell centers to minimize the average squared geodesic distance and deriving sharper sampling estimates, we obtain the stated quadratic bound on the size of spherical $t$-designs on $\Sph$.