math.CO ↗ arXiv
5274 papers in this category
The Hurwitz Action in the Affine Symmetric Group
Let $W$ be an affine Coxeter group of type $\widetilde{A}_n$, that is, the affine symmetric group $\widetilde{S}_N$ with $N=n+1$, let $T$ be its set of reflections, and let $\mathrm{Red}_T(w)$ be the set of reduced reflection factorizations of an element $w\in W$. The braid group acts on $\mathrm{Red}_T(w)$ by the Hurwitz action. For finite Coxeter groups it is known exactly when this action is transitive, namely precisely for the parabolic quasi-Coxeter elements. We address this problem for the affine type $\widetilde{A}_n$ by determining all orbits of $\mathrm{Red}_T(w)$.
On orientability, Poincaré duality, and connectivity of GKM graphs
We investigate a combinatorial notion of orientability for abstract GKM graphs and its connections to graph cohomology in the sense of Guillemin--Zara. In particular, we prove that orientability of the GKM graph is equivalent to Poincaré duality of the rational (non-equivariant) graph cohomology algebra. As an application, we prove that orientable GKM graphs remain connected after removing any single vertex.
Modular periodicity of the Euler up/down numbers at odd prime powers
Let $E_n$ denote the number of alternating permutations of $\{1,\dots,n\}$, equivalently characterized by
$\sum_{n\ge0}E_nz^n/n!=\sec z+\tan z$. For every $q\ge1$, the sequence $(E_n\bmod q)_{n\ge0}$ is eventually periodic; let $d(q)$ and $s(q)$ denote its minimal eventual period and preperiod. For every odd prime $p$, Knuth and Buckholtz proved $d(p)=\operatorname{lcm}(p-1,4)$ together with \[ d(p^r)\mid p^{r-1}d(p), \qquad s(p^r)\le r, \] and Ramassamy conjectured that both bounds are attained for every $r\ge1$.
In this paper, we introduce an algebraic frequency expansion for the Euler numbers over $S_r=(\mathbb Z/p^r\mathbb Z)[x]/(x^2+1)$. Using Hurwitz series, the Euler sequence is represented algebraically as a finite combination of formal exponential modes, in a manner reminiscent of Fourier analysis. Using this expansion, we prove \[ d(p^r)=p^{r-1}d(p) \qquad \text{for every odd prime $p$ and every $r\ge1$}, \] thereby establishing Ramassamy's period conjecture. We also disprove the preperiod conjecture by proving \[ s(5^5)\le4<5. \] Finally, we prove that $5^5$ is the smallest odd prime power for which $s(p^r)\ne r$, and based on our findings we conjecture \[ s(p^r)\ge r-2 \] for every odd prime $p$ and every $r\ge2$.
Classification of facial exposedness of completely positive cones over symmetric cones
We classify the facial exposedness of completely positive cones over symmetric cones in terms of the rank of the associated Euclidean Jordan algebras. The completely positive cones are facially exposed when the rank is at most $2$, but are not facially exposed when the rank is at least $5$. Facial exposedness is not completely determined by the rank when the rank is $3$ or $4$, but we provide a characterization in each case. The resulting classification of facial exposedness in fact agrees with the corresponding classification of spectrahedrality for completely positive cones.
The Bounded-VC chromatic thresholds of graphs
For a graph $H$, the chromatic threshold $δ_χ(H)$ is the infimum of $c>0$ such that the chromatic number of every $n$-vertex $H$-free graph with minimum degree at least $cn$ is bounded by a constant depending only on $H$ and $c$. Allen, Böttcher, Griffiths, Kohayakawa, and Morris proved that if $χ(H)=r\geq 3$, then $δ_χ(H)\in\{\frac{r-3}{r-2}, \frac{2r-5}{2r-3}, \frac{r-2}{r-1}\}$. Liu, Shangguan, Skokan, and Xu introduced the bounded-VC chromatic threshold $\text{VC}(H)$ by restricting the host graphs to have bounded VC-dimension. We determine this parameter for graph $H$ with $χ(H)\ge 3$. More precisely, let $\mathcal{M}(H)$ be the decomposition family of an $r$-chromatic graph $H$, then \[ \text{VC}(H)= \begin{cases}
\dfrac{r-3}{r-2},&\text{if $\mathcal{M}(H)$ contains a forest},\\[4pt]
\dfrac{r-2}{r-1},&\text{otherwise}. \end{cases} \]
On the spherical design properties of a $P$- and $Q$-polynomial association scheme
We show that the strength as a spherical design of the spherical embedding of a $P$- and $Q$-polynomial association scheme with at least three classes with respect to a $Q$-polynomial idempotent is at most five, provided that the multiplicity is at least three. We also identify the examples that attain this upper bound on the strength. Our result improves on Suda's earlier upper bound of eight [J. Combin. Des. 19 (2011)], and is considered dual to the results of Lewis [Discrete Math. 223 (2000)] and Miklavič [Electron. J. Combin. 32 (2025)] concerning the girth of a $Q$-polynomial distance-regular graph with diameter and valency both at least three. To establish our upper bound, we introduce and discuss a polynomial method that works by constructing an appropriate polynomial that vanishes at every point of the spherical embedding.
Quasi-polynomiality and $N$-point functions of single connected leaky completed Hurwitz numbers
In this paper, we study the structures of single connected $k$-leaky $(r+1)$-completed Hurwitz numbers. We first prove that, for fixed genus, after extracting an explicit product of Pochhammer type factors, the stable connected leaky Hurwitz numbers for partition $μ$ are polynomials in the quotients $[μ_i]$ modulo $k+r$. We then give a closed formula for the generating function of single connected leaky Hurwitz numbers, which can be used to study the genus dependence of leaky Hurwitz numbers.
Lunar Generalizations of the Euclidean Minimum Spanning Tree in the Plane and their Expected Costs
Motivated by the recent introduction of chromatic persistent homology, we generalize the Euclidean minimum spanning tree (EMST) for $n$ points in $\mathbb{R}^2$ to the lunar EMST for the case in which the points come in $s+1$ colors. Calling the intersection of $s+1$ disks of radius $r$ centered at points with pairwise different colors a \emph{lune}, the generalized EMST reflects the history of the union of lunes as $r$ goes from $0$ to $\infty$, and its \emph{cost} is twice the difference between the radii when the arcs and nodes of the tree are formed. If the points are chosen uniformly at random in $[0,1]^2$ and colored randomly, the expected cost converges to some constant (that depends on $s$) times $\sqrt{n}$, as $n$ goes to infinity. The main contribution of this paper is a proof that this constant exists, however similar to the case of the classic EMST, its precise value remains elusive.
Counting Boolean Antichains
We say that an antichain in a lattice $L$ is Boolean if it generates a Boolean sublattice in $L$ in a particularly nice way. These purely combinatorial objects play a role in the representation theory of the incidence algebra of the lattice $L$, as indicated by recent results of Rognerud, Yıldırım and of the last author with Klász, Kleinau and Marczinzik. Given these motivations, it is natural to ask: Can we count and construct Boolean antichains in certain lattices? In this paper we give a construction of Boolean antichains in Boolean lattices, partition lattices and Tamari lattices. Furthermore, we share the surprisingly elegant formulas we found for the number of these Boolean antichains.
Counting Successor-Closed Subsets of Functional Digraphs
A functional digraph is a directed graph where each vertex has an out-degree of at most 1. We study the number of successor-closed subsets of a functional digraph, that is, subsets from which no edge leaves, and show that this decomposition yields a simple recursive formula for the corresponding generating function. Using this formula, we determine, among all functional digraphs with a fixed number of vertices and edges, the one maximizing the number of successor-closed subsets of every size simultaneously. Somewhat unexpectedly, this extremal result yields a quantitative strengthening of the set-pairs inequality of Bollobas: rather than merely guaranteeing that some pair of a large enough family must violate the hypothesis of the theorem, we show that a uniformly random subset of the family witnesses a violation with high probability, quantitatively in terms of how far the family size exceeds the classical threshold. We further show that the same approach applies to the skew variant of Bollobas's inequality due to Hegedus and Frankl, yielding an analogous probabilistic strengthening.
A Mixed Robinson--Schensted--Knuth Construction in the Representation Theory of $\mathrm{GL}_n$ over Local non-Archimedean Fields
We present a simple combinatorial method for computing the socle of representations of $\mathrm{GL}_n(F)$, where $F$ is a local non-Archimedean field, parabolically induced from two ladder representations. We adapt recent approaches to such problems using the classical Robinson--Schensted--Knuth correspondence (RSK) and introduce a new variant of RSK that we call mixed-RSK. Some combinatorial properties of this map are investigated and then used to resolve a conjecture of Erez Lapid.
On Eigenvalue Bounds for Bounded Genus Graphs and Minor-Free Graphs
In this paper, we resolve a 30-year-old conjecture of Spielman and Teng concerning the performance of the spectral partitioning method on graphs embeddable on an orientable surface of genus $g$. In particular, for such a graph $G$ with $n$ vertices and maximum degree $Δ$, we show that the second-smallest eigenvalue of its Laplacian matrix satisfies $λ_2(L_G)\lesssimΔ\frac g n$. We also obtain an improved eigenvalue bound for $K_h$-minor-free graphs of $λ_2(L_G)\lesssimΔ\frac{h^2(\log h)^2}n$.
In fact, our results directly prove much stronger results for reweighted eigenvalues, including higher reweighted eigenvalues. As a consequence, we obtain bounds not just on Laplacian eigenvalues, but also on normalized Laplacian eigenvalues and Steklov eigenvalues. Our results for genus-$g$ graphs are optimal for all of these kinds of eigenvalues, while our results for $K_h$-minor-free graphs are optimal up to $\log(h)$ factors.
Our techniques for genus-$g$ graphs bootstrap bounded-degree bounds of normalized eigenvalues for entire classes to bounds for reweighted eigenvalues for the same classes without the bounded-degree limitation, while our techniques for $K_h$-minor-free graphs generalize an argument of Korhonen and Lokshtanov, making use of the Lovász local lemma.
Helly and Radon theorems for convex intersections containing $k$-flats
We study versions of results in combinatorial geometry related to families of convex sets in $\mathbb{R}^d$ whose intersection contains a $k$-dimensional affine space. We prove generalizations of the colorful Radon theorem, the fractional Helly theorem, the colorful Helly theorem, and the selection-structure Helly theorem. When $k=0$, our arguments give new proofs of the corresponding versions for points.
Hankel determinants of Catalan-like sequences
In this paper, we compute the (shifted) Hankel determinants of Catalan-like sequences, which arise naturally from the weighted enumerations of nonintersecting Motzkin meanders. Among these determinant evaluations, one and a half are newly discovered, featuring generic shifted Hankel determinants; two were formulated earlier by Cigler and Krattenthaler in an equivalent combinatorial form; and the rest were conjectured by Cigler. As an application, we further confirm a conjectural binomial determinant identity proposed by Cigler and Krattenthaler.
On di-Cayley graphs and their spectrum
Given a group $G$ and three subsets $S_\ell, S_r, S_m \subset G$, we consider di-Cayley graphs $DX(G;S_\ell,S_r,S_m)$ and di-Cayley sum graphs $DX^+(G;S_\ell,S_r,S_m)$, directed generalizations of the bi-Cayley (sum) graphs $BX(G;S_\ell,S_r,S_m)$ and $BX^+(G;S_\ell,S_r,S_m)$. We refer to these four kinds of graphs collectively as $X^*(G;S_\ell,S_r,S_m)$. First, we give the basic properties of these graphs and compute their adjacency matrices. Then, we obtain the eigenvalues of $X^*(G;S_\ell,S_r,S_m)$ in terms of the spectra of the associated Cayley graphs $X(G,S)$ with $S\in \{S_\ell,S_r,S_m\}$ in two ways, using adjacency matrices and using irreducible characters of $G$.
An Extremal Spectral Problem for Triangle-Free Graphs Arising from Quantum Transport
For a graph $G$ of order $n$ with adjacency matrix $A$, let $F_G(t)$ be the average of $|(\exp(-\ii tA))_{vu}|^2$ over distinct ordered vertex pairs. Under the dense scaling $t=τ/n$, the quantities $n^2F_G(τ/n)$ lead to a graphon functional $Φ_τ$ whose leading term is $τ^2$ times the edge density and whose remaining terms form a weighted alternating series of even cycle densities. For $0\leτ\leτ_{\mathrm c}$, we determine the exact maximum of $Φ_τ$ over all triangle-free graphons. The balanced complete bipartite graphon $B_1$ is the unique maximizer, up to weak isomorphism, when $0<τ\leτ_{\mathrm c}$, where $τ_{\mathrm c}$ is the unique positive solution of \[
τ_{\mathrm c}=4\sin(τ_{\mathrm c}/2),
\qquad τ_{\mathrm c}\approx3.79099, \] and the maximum equals $4(1-\cos(τ/2))$. This threshold is sharp: $B_1$ is not globally optimal for $τ>τ_{\mathrm c}$. For $τ>τ_{\mathrm c}$, the unique maximizer within the bipartite class, up to weak isomorphism, is the balanced bipartite graphon $B_{q_τ}$, where $q_τ\in(0,1)$; the unrestricted maximization problem beyond $τ_{\mathrm c}$ remains open. We also prove an explicit edge density deficit bound and quantitative cut distance stability, uniform for $τ$ in compact subintervals of $(0,τ_{\mathrm c})$, together with qualitative cut distance stability on compact subintervals of $(0,τ_{\mathrm c}]$. The corresponding finite triangle-free extremal values converge locally uniformly to the graphon maximum, with an $O(n^{-1})$ error uniformly on $[0,τ_{\mathrm c}]$. The proof uses a coefficient criterion for spectral graphon functionals and combines a sixth-degree spectral minorant with a four-vertex inequality and a six-vertex moment inequality; the latter is established by an exact rational flag algebra certificate.
Almost factorial many facets for 0/1-polytopes
A long-standing question posed by Fukuda (1995) and Ziegler (2000) inquires about the asymptotic behavior of $g(n)$, the maximum number of facets that an $n$-dimensional $0/1$-polytope can have. A remarkable result by Bárány and Pór (2001) via probabilistic methods established that $g(n)$ is at least superexponential in $n$. In this paper, we propose a drastic change of perspective, which leads us to show that for each $n\geq 10$ there exists a $0/1$-polytope having at least $(n-\lceil 2\log_2 (n)\rceil - 1)!$ facets. This provides a significant improvement over the currently known lower bounds for $g(n)$. Furthermore, when combined with known upper bounds, our construction establishes the asymptotic behavior of $\log g(n)$ up to an error of $O((\log n)^2)$. The methods employed throughout this paper are elementary and fully deterministic. The underlying ideas in our proof stem from the combinatorics of hypersimplices and permutohedra.
Kronecker Products, Polarity Quotients and Large Graph Constructions
In this paper, we establish a structural compatibility between the Kronecker product of bipartite graphs that admit polarity and their polarity quotient, and provide a sharp upper bound on the diameter of these graphs.
For certain factor graphs, the diameter of the Kronecker product meets the upper bound on diameter, among them the generalized polygons. Generalized polygons with their polarity quotients have been notably used in the past to construct very large graphs. We apply the structural theorems in the paper to generalized polygons $\mathbb{G}_n(q,q)$ used as factor graphs, and build three new families of graphs of large order covering an infinite but sparse set of degrees, one of diameter $2$, one of diameter $3$ and one of diameter $5$.
These asymptotically approach a theoretical upper bound on graph size as orders $q$ and $r$ of the generalized polygon factors increase. As an example, we develop one such family, derived from generalized quadrangles, and construct new diameter-$3$ graphs of low degree that are larger than any previously known at their degrees.
Noncommutative Cluster Varieties and Moduli Spaces of Local Systems
In this article, we construct noncommutative cluster varieties, $\mathcal{A}_{R,S}$, for each reduced root system $R$ and marked surface $S$ simultaneously generalizing the cluster varieties of Fock-Goncharov, Li, Goncharov-Shen, Berenstein-Retakh, Goncharov-Kontsevich, and our previously introduced polygonal cluster algebras. Additionally, we define a large class of algebraic groups, we call Jordan split groups. Given a reduced root system $R$ and a family of Jordan algebras, the Lie algebra for $G$ is constructed by unifying the Tits-Kantor-Koecher construction for a single Jordan algebra with the construction of a split Lie algebra.
The notion of Jordan split groups is closely related to a grading of its Lie algebra by the root system $R$. We show that these gradings are usually induced by a choice of standard parabolic subalgebra $\mathfrak{p}_Θ$ and we classify $R$-graded pairs $(G,Θ)$ via a condition depending only on the subset $Θ\subset Δ$ of the set of simple roots. Next, we define Jordan algebra points of $\mathcal{A}_{R,S}$ which parameterize $G$-local systems on $S$ with boundary decoration related to cosets $G/U_Θ$ when $G$ is Jordan split of type $R$. When $S$ is a disk, points of $\mathcal{A}_{R,S}$ parameterize configurations of decorated flags. We use this to give noncommutative cluster structures on the double $R$-Bruhat cells of $G$, generalizing the cluster algebras of Berenstein-Fomin-Zelevinsky. When each Jordan algebra is formally real, we say that $G$ has a positive structure with respect to $Θ$. This defines a positive semigroup in $G$. For real algebraic groups, the pairs $(G,Θ)$ which have positive structures are exactly those which admit a positive structure as defined by Guichard-Wienhard and we give algebraic proofs of many of the properties of positive configurations of flags and of positive representations.
Sharp Same-Color Cycle Covers in Two-Colored Complete Graphs
We extend the conjecture of Erdős and Gyárfás on monochromatic path covers to the setting of monochromatic cycle covers. We prove that, for all $n$, every 2-edge-coloring of the complete graph on $n$ vertices contains a collection of at most $\lceil\sqrt{n}\rceil$ monochromatic cycles, all of the same color, that together cover all vertices. The order of the bound is best possible, and the ceiling is necessary for infinitely many $n$.