math.CO ↗ arXiv
7121 papers in this category
Cohomology of non-finite CL-shellable posets
Shellable complexes are homotopy equivalent to a wedge of spheres of possibly different dimensions, so that the (co)homology of the constant functor over the complex is concentrated in those degrees. In this work, we introduce the concept of a stable functor -a local weakening of fibrancy- over a shellable poset, which ensures the vanishing of the (co)homology of such a functor in specific degrees. The methods are based on a model category structure on the category of functors indexed by a filtered poset and the combinatorial structure of shellable posets. Our techniques work over non-finite and non-pure posets and employ a description of (co)homology via explicit fibrant replacements. Applications include acyclicity criteria for Mackey functors, computation of cohomology of $j$-th exterior powers over arrangement lattices, and homological decompositions for Bianchi groups $Γ_d$ for $d=1,2$.
Kirillov-Reshetikhin Dual Equivalence Graphs
Let $U$ be a tensor product of highest weight modules of $GL_n(\mathbb C)$ corresponding to multiples of fundamental weights (i.e. rectangles). We consider three ways to stratify $U^{\otimes k}$ into components: using isotypic components of the cyclic action on tensor factors, using a generalization of the charge statistic, and using certain generalizations of Assaf's dual equivalence graphs. We conjecture that all three ways coincide, and we prove that the latter two ways coincide. The Kirillov-Reshetikhin dual equivalence graphs (KR DEGs) we introduce for this purpose are defined on $0$-weight spaces of tensor products of Kirillov-Reshetikhin crystals. They generalize Kazhdan-Lusztig dual equivalence graphs (KL DEGs) that previously appeared in the study of Kazhdan-Lusztig cells in affine type A. While the tensor products of Kirillov-Reshetikhin crystals are connected as affine crystals, the KR DEGs in general are not.
Resurgence number of matroidal configuration
This article gives a new upper bound for the resurgence number of symbolic powers of matroidal configuration in the following situations: the height of the matroidal configuration is big, or the height is small, and the corresponding simplicial complex of the matroidal configuration is peaked. The Peaked simplicial complex is a generalization of bipartite graph. We also give some examples that the remaining case for which the bound cannot be improved. Furthermore, We provide a new proof of the formula for the resurgence number of a star configuration using the methods developed in this article.
Complexity of learning matchings and half graphs via edge queries
The problem of learning or reconstructing an unknown graph from a known family via partial-information queries arises as a mathematical model in various contexts. The most basic type of access to the graph is via \emph{edge queries}, where an algorithm may query the presence/absence of an edge between a pair of vertices of its choosing, at unit cost.
While more powerful query models have been extensively studied in the context of graph reconstruction, the basic model of edge queries seems to have not attracted as much attention. In this paper we study the edge query complexity of learning a hidden bipartite graph, or equivalently its bipartite adjacency matrix, in the classical as well as quantum settings. We focus on learning matchings and half graphs, which are graphs whose bipartite adjacency matrices are a row/column permutation of the identity matrix and the lower triangular matrix with all entries on and below the principal diagonal being 1, respectively.
- For matchings of size $n$, we show a tight deterministic bound of $n(n-1)/2$ and an asymptotically tight randomized bound of $Θ(n^2)$. A quantum bound of $Θ(n^{1.5})$ was shown in a recent work of van Apeldoorn et al.~[ICALP'21].
- For half graphs whose bipartite adjacency matrix is a column-permutation of the $n \times n$ lower triangular matrix, we give tight $Θ(n \log n)$ bounds in both deterministic and randomized settings, and an $Ω(n)$ quantum lower bound. \item
- For general half graphs, we observe that the problem is equivalent to a natural generalization of the famous nuts-and-bolts problem, leading to a tight $Θ(n \log n)$ randomized bound.
- We also present a simple quicksort-style method that instantiates to a $O(n \log^2 n)$ randomized algorithm and a tight $O(n \log n)$ quantum algorithm.
Level-Rank Dualities for Finite Reductive Groups
This is an extended abstract of our work "Level-Rank Dualities from $Φ$-Cuspidal Pairs..." We present evidence for a family of surprising coincidences within the representation theory of a finite reductive group $G$: more precisely, dualities between blocks of cyclotomic Hecke algebras attached by Broué-Malle to $Φ$-cuspidal pairs of $G$, where the Hecke parameters are specialized not to the order of the underlying finite field, but to roots of unity. For the groups $G = \mathrm{GL}_n(\mathbf{F}_q)$, these coincidences can be expressed very concretely in terms of the combinatorics of partitions, and the whole story recovers an avatar of the level-rank duality studied by Frenkel, Uglov, Chuang-Miyachi, and others.
Wall-crossing phenomenon for the liquid bin model
We introduce the liquid bin model as a continuous-time deterministic dynamics, arising as the hydrodynamic limit of a discrete-time stochastic interacting particle system called the infinite bin model. For the liquid bin model, we prove the existence and uniqueness of a stationary evolution, to which the dynamics converges exponentially fast. The speed of the front of the system is explicitly computed as a continuous piecewise rational function of the parameters of the model, revealing an underlying wall-crossing phenomenon. We show that the regions on which the speed is rational are of non-empty interior and are naturally indexed by Dyck paths. We provide a complete description of the adjacency structure of these regions, which generalizes the Stanley lattice for Dyck paths. Finally we point out an intriguing connection to the topic of extensions of partial cyclic orders to total cyclic orders.
Symbolic Integration of Differential Forms: From Abel to Zeilberger
This paper focuses on symbolic integration of differential forms, with a particular emphasis on historical and modern developments, from Abel's addition theorems for Abelian integrals to Zeilberger's creative telescoping for parameterized integrals. It explores closed rational $p$-forms and provides algorithmic approaches for their integration, extending classical results like Hermite reduction and Liouville's theorem. The integration of closed differential forms with parameters is further examined through telescopers, offering a unified framework for handling both algebraic and transcendental cases.
On the Number of Almost Empty Monochromatic Triangles
In this paper, we consider the problem of counting almost empty monochromatic triangles in colored planar point sets, that is, triangles whose vertices are all assigned the same color and that contain only a few interior points. Specifically, we show that any $c$-coloring of a set of $n$ points in the plane in general position (that is, no three on a line) contains $Ω(n^2)$ monochromatic triangles with at most $c-1$ interior points and $Ω(n^{\frac{4}{3}})$ monochromatic triangles with at most $c-2$ interior points, for any fixed $c \geq 2$. The latter, in particular, generalizes the result of Pach and Tóth (2013) on the number of monochromatic empty triangles in 2-colored point sets, to the setting of multiple colors and monochromatic triangles with a few interior points. We also derive the limiting value of the expected number of triangles with $s$ interior points in random point sets, for any integer $s \geq 0$. As a result, we obtain the expected number of monochromatic triangles with at most $s$ interior points in random colorings of random point sets.
Periodicity of weight enumerators for codes generated by an integral matrix
In the theory of error-correcting codes, the minimum weight and the weight enumerator play a crucial role in evaluating the error-correcting performance. In this paper, by viewing the weight enumerator as a quasi-polynomial, we reduce the determination of the minimum weight of the resulting family to finitely many representative values of $q$. We also give a transformation formula between the Tutte quasi-polynomial and the weight enumerator. Furthermore, we compute the number of full-support codewords for the codes related to the special matroids $N_k$ and $Z_k$. This is equivalent to computing the characteristic quasi-polynomials of the hyperplane arrangements related to $N_k$ and $Z_k$.
Probability threshold for the stability of $α(G(n,r,s))$
Let $G(n,r,s)$ be a graph $(V,E)$ such that $V = \binom{[n]}{r}$ and $E = \{(u, v)| |u \cap v| = s\}. $In this paper we study the probability threshold for the exact stability of the independence number of $G(n, r, s)$ where $r > 2s+2$. We improve the previous result of Pyaderkin that implied asymptotic stability of the independence number.
Cutoff for the Overhand Shuffle
We study the overhand shuffle with a fixed cut probability $p\in(0,1)$. In the packet-reversal convention, each gap is cut independently with probability $p$, and each resulting packet is reversed in place. We prove total-variation cutoff at \[
\frac{p^2}{2(1-p)π^2}\,n^2\log n. \] The lower bound uses an exact finite-deck cosine eigenfunction and a uniform conditional-variance estimate. For the upper bound, a coalescing coupling reduces a transposition discrepancy to a symmetric killed two-card chain. Its principal decay rate is $(1-p)π^2/(p^2n^2)+o(n^{-2})$. A boundary-flux identity bounds the sum of adjacent discrepancy probabilities without a factor equal to the deck size. The remaining ingredient is a two-sided $L^1$ inequality on permutations, with constant at most $\sqrt n\exp\{O(\sqrt{\log n\log\log(n+2)})\}$. Its proof decomposes a fixed block-table fiber into assignment words and independent smaller permutations, and closes a recursion using a multivariate hypergeometric inequality and an explicit routing comparison.
We also prove relative-entropy cutoff with an $O_p(n^2)$ window about the intrinsic entropy transition time. Its leading coefficient lies between the total-variation coefficient and twice that value; a sharp entropy location is not obtained. The proof states the normalization and hypotheses of its established functional-inequality inputs. An appendix proves the intermediate static bounds and explains the change from one-scale averaging to recursive fibers.
Arithmetic Constraints and Limit Laws for Diagonal Rational Partitions
Let $R_N(m)$ count unordered partitions of $m$ into reduced positive fractions whose numerators and denominators are at most $N$, excluding integer parts. Uniformly for $ρ$ in compact positive intervals, $\log R_N(\lfloorρN\rfloor)=\sqrt{2ρ}\,N^{3/2}-κ(ρ)N^{3/2}/\log N+o(N^{3/2}/\log N)$. The positive, continuously differentiable function $κ$ is an explicit sum of lattice-distance integrals, with $κ(1)\approx 0.00264713$. For a uniform partition of $n$, all but $o_{\mathbb{P}}(n/\log n)$ prime-denominator blocks in $(n/2,n]$ have total 2 or 3, according to whether $p/n$ lies below or above an explicit threshold near 0.7522. For fixed $N$, we give the Ehrhart numerator and determine how its poles control quasipolynomial coefficients. Its residue distribution is asymmetric for $N\ge 4$, but agrees with an independent model in every moment below order $\lceil N/2\rceil$. We identify the first discrepancy and prove a Gaussian limit. We also obtain joint denominator and size laws under two sampling rules.
Rationality and Quasipolynomiality of Restricted Rectangle Partitions
This paper proves Conjecture 5.10 of Gajdzica, Visser, and Zakarczemny on restricted partitions of a rectangle. For every fixed positive integer k, the generating function for feasible multisets of bars of lengths at most k tiling a 2 x n rectangle has denominator dividing the product of (1 - x^j) for j = 1,...,k. Its coefficients are eventually quasipolynomial of degree k - 1 and period dividing the least common multiple of 1,...,k. The key observation is that appending a two-bar slab makes feasibility upward closed within each parity class of multiplicities. Dickson's lemma and finite inclusion-exclusion then give the precise denominator.
Elliptic $b$-Hurwitz theory and Jack heat trace
We study a deformation of the central heat trace on $\mathrm U(N)$ obtained by deforming Schur polynomials to Jack polynomials, and prove that it admits an asymptotic expansion to arbitrary order. Its coefficients are governed by elliptic $b$-Hurwitz numbers, which are genus-one counterparts of the $b$-Hurwitz theory of Chapuy and Dołęga \cite{ChapuyDolega22}. We construct the associated elliptic $b$-Hurwitz theory by means of generalized coverings on a torus and identify it with the genus-one closure of the genus-zero simple $b$-Hurwitz theory. At $b=0$ the construction recovers ordinary elliptic Hurwitz theory, while at $b=1$ it gives an automorphism-weighted geometric interpretation of the connected and disconnected twisted elliptic Hurwitz numbers of Hahn--Markwig \cite{HahnMarkwig26}. Our results extend the topological expansion obtained in the classical case in \cite{LemMai25,LM2} and take the form of a coupling between chiral and antichiral elliptic $b$-Hurwitz generating functions.
Nonvanishing higher Specht polynomials and a construction for three row and hook shape Garsia--Procesi modules
Given a polynomial ring quotient $R=\mathbb{C}[x_1,\ldots,x_n]/I$ with an action of the symmetric group induced by permuting the variables, a higher Specht basis is a collection of bases for each irreducible $\mathfrak{S}_n$-module in its decomposition that mimics the behavior of the classical Specht polynomial construction in the lowest degrees. Higher Specht bases have now been constructed for the coinvariant ring, the full polynomial ring, the rings $R_{n,k}$ appearing in the $t=0$ Delta conjecture, the hook shape Garsia-Haiman modules, and the two-row Garsia-Procesi modules, and more.
We establish a general theory for determining when a higher Specht polynomial is nonzero, and give a proof of a conjectural higher Specht basis for all Garsia-Procesi modules in the cases of three row shapes and hook shapes.
Extremal List Gaps and Inapproximability in Additive Graph Labeling
We study a vertex-labeling analogue of the $1$-$2$-$3$ problem and its list version. For a labeling $\ell:V(G)\to\mathbb N$, let $S_\ell(v)=\sum_{w\in N(v)}\ell(w)$. The additive number $η(G)$ is the least $k$ for which there exists $\ell:V(G)\to[k]$ such that $S_\ell(u)\ne S_\ell(v)$ for every $uv\in E(G)$, while the list additive number $η_\ell(G)$ is the least $k$ such that the same condition can be satisfied from every assignment of $k$-element lists $L(v)\subset\mathbb N$ with $\ell(v)\in L(v)$. We show that for every $k\ge2$, there is a graph $G$ with $η(G)=1$ and $η_\ell(G)\ge k$. The separation persists at the minimum possible ordinary value for positive-degree regular graphs: there is a regular graph $H$ with $η(H)=2$ and $η_\ell(H)\ge k$.
We also determine a sharp lower bound for $η(G)$ in terms of the order and minimum degree of $G$, and show that the unbounded list gap persists at asymptotically extremal density.
Finally, for every fixed $k\ge2$, it is NP-hard to distinguish $η(G)=2$ from $η(G)>k$, even on asymptotically extremal dense graphs. Consequently, $η(G)$ admits no polynomial-time constant-factor approximation unless $\mathrm P=\mathrm{NP}$.
Together, these results reveal a robust gap phenomenon: the separation between ordinary and list additive labeling persists at the smallest possible ordinary values and even under asymptotically extremal density, while the ordinary parameter itself remains hard to approximate.
Long Cycles in 2-Connected Tough Graphs
Let $G$ be a graph. The circumference of $G$, denoted by $cir(G)$, is the length of a longest cycle in $G$, or zero if $G$ is acyclic. In 1993, Broersma, van den Heuvel, Jung, and Veldman conjectured that, for every $t>0$, there is a constant $A=A(t)>0$ such that every 2-connected $t$-tough graph of order $n$ has circumference at least $A\log n$; the conjecture is recorded as Conjecture~2 in the 2006 survey on toughness by Bauer, Broersma, and Schmeichel. In this note, we confirm the conjecture. More precisely, every 2-connected $t$-tough graph $G$ of order $n$ satisfies $cir(G)\ge \lceil \log_k((k-1)n+1)\rceil$, where $k=\lceil 1/t\rceil+2$. The proof combines Win's bounded-degree spanning tree theorem with the theorem of Briański, Joret, Majewski, Micek, Seweryn, and Sharma that the treedepth of a 2-connected graph is at most its circumference.
Generalized Sterboul--Deming Configurations
Sterboul and Deming gave classical matching-based characterizations of non-Kőnig--Egerváry graphs through flower--posy and blossom-pair configurations. We consider two classical configuration families, denoted \(T\) and \(S\), and introduce a new walk-based family \(J\), based on \(J\)-flowers and \(J\)-posies.
Our main result proves that, for every graph \(G\), \[ \SD_T(G)=\SD_S(G)=\SD_J(G). \] Thus the additional flexibility of the \(J\)-framework preserves the set of vertices detected by the classical configurations. The proof is vertex-preserving and passes through strict-Hall structure in traces of \(J\)-posies. As a consequence, every prescribed vertex of a connected matchable strict-Hall graph lies in a rigid \(T\)-posy for a suitable perfect matching, linking the theory naturally with matching-covered graphs.
A Proof of the Tratnik-Ye Medianity Conjecture of Resonance Graphs on Surfaces
We prove the Tratnik--Ye conjecture that every connected component of a resonance graph of perfect matchings on a closed surface is median whenever the allowed even faces form a proper subset of all faces. The embedding need not be cellular or strong, and the graph need not be bipartite. We also show that the quotient associated with each face is a tree and that these quotients give an isometric embedding of each component into a Cartesian product of trees. This yields a criterion for the facial parity embedding into a hypercube to be isometric.
Fixed-Perimeter Franklin Statistics and an Eventual Inequality
Gray, Payne, Swisher, and Watson conjectured that, for fixed integers $j \geq 0$ and $k \geq 2$, the number $FD_{j,k}(n)$ of partitions of perimeter $n$ having exactly $j$ part sizes of multiplicity at least $k$ is eventually at least the number $FO_{j,k}(n)$ having exactly $j$ distinct occurring part sizes divisible by $k$. We derive bivariate generating functions for both statistics using the profile-word encoding of a partition. For $k \geq 3$, coefficient extraction shows that fixing $j$ changes the order of the dominant pole but not its location. The corresponding dominant singularities are positive real numbers $ρ_k$ and $σ_k$, where $ρ_k$ satisfies $ρ_k+ρ_k^2+\cdots+ρ_k^k=1$ and $σ_k$ satisfies $σ_k^k=(1-σ_k)^{k-1}$. We prove that $ρ_k<σ_k$ for every $k \geq 3$. Consequently, $FD_{j,k}(n)/FO_{j,k}(n) \to \infty$ as $n \to \infty$, proving the conjecture and yielding a strict eventual inequality for $k \geq 3$. The case $k=2$ recovers the known exact identity.