math.CO ↗ arXiv
7121 papers in this category
A perimeter analogue of Franklin's identity and an inequality related to the parity of parts
We prove two conjectures regarding partition perimeter inequalities. It was conjectured by Gray, Payne, and Watson that Franklin's partition identity becomes an eventual inequality if one replaces the size of the partition with its perimeter. We prove this conjecture by asymptotic analysis of the corresponding generating functions. Gray, Payne, Swisher, and Watson also conjectured that there is a bias for partitions with fixed perimeter to have more odd parts than even parts. We prove this conjecture by deriving the corresponding generating functions and give a positive recurrence for the coefficients. In the case that there are an equal number of odd parts and even parts we provide a connection to peakless Motzkin paths.
On the extended Shi arrangement of type $B_{\ell}$
Motivated by Kawanoue's construction of a basis for the derivation module of the cone of the extended Catalan arrangement of type $B_\ell$, we construct an explicit basis for the derivation module of $\mathbf{c}Shi(B_\ell,m)$. Our construction generalizes the previously known case $m=1$ to $m\geq1$. It also provides a partial answer to a question of Abe and Terao concerning explicit constructions of simple-root bases.
PrecPack: An Efficient Open-Source Exact Solver for Bin Packing with Generalized Precedence Constraints
Efficient resource use in packing and assembly-line applications requires decisions that jointly account for capacity and precedence constraints. The strongly NP-hard bin packing problem with generalized precedence constraints (BPP-GP) models such decisions by minimizing the number of ordered, capacitated bins required to pack weighted items, even when precedence requirements span multiple bins. Existing exact algorithms primarily focus on classical special cases, whereas general BPP-GP has been addressed only via compact integer models and heuristics, with no efficient open-source exact solver. We present PrecPack, a unified exact solver that extends branch-bound-and-remember (BBR) to arbitrary nonnegative precedence weights and naturally specializes to the classical cases. Generalized states capture restrictions that remain active across future bins, which are addressed through branching, dominance, and conflict-aware lower bounds. Root column generation uses fixed-point arithmetic to compute numerically valid dual bounds for pruning or to prove optimality. To support reuse and verification, we provide common programming and command-line interfaces, independent assignment checking, explicit termination statuses, and reproducible batch execution; the core procedures require no commercial software. In same-machine, single-threaded comparisons on classic assembly-line benchmarks, more instances are proven optimal, and average computing times are substantially reduced relative to leading source-available BBR implementations. Further comparisons with published benchmark results for bin packing with precedence constraints and BPP-GP also show that more instances were proved optimal and that reported average gaps were smaller on most benchmark sets. PrecPack is released under the MIT License at https://github.com/Sunkanghong-Wang/PrecPack.
Poset dimension and maximum comparability degree
In 1986, Füredi and Kahn showed that the dimension $\dim(P)$ of any finite poset $P$ satisfies $\dim(P) = O(d \log^2 d)$, where $d$ is the maximum degree of the comparability graph of $P$. Scott and Wood more recently improved this bound to one of the form $d \log^{1+o(1)} d$. We show that $\dim(P) = O(d \log d)$, thus confirming that the corresponding lower bound of Erdős, Kierstead, and Trotter is tight up to the implicit constant.
Generating Functions and the Entropy Hierarchy of Strongly Connected Digraphs
We present a generating-function approach to the topological entropy of finite strongly connected digraphs, working throughout with digraphs in which loops are allowed but multiple edges are excluded. Using dominant singularities of path-generating functions, we recover by new analytic--combinatorial arguments the known first and second positive-entropy minimizers from the previously studied loopless spectral setting, and extend the corresponding extremal statements to the present framework.
For the class $\mathcal{SC}_{m+1}(m)$ of strongly connected digraphs with $m$ vertices and $m+1$ edges, we introduce a unified $(t,k_1,k_2)$-butterfly parametrization. The entropy of $\mathcal{B}^{\,t}_{k_1,k_2}$ depends only on $(k_1,k_2)$ and is determined by the unique root $R\in(0,1)$ of $1-z^{k_1}-z^{k_2}=0$ via $h=-\ln R$.
This parametrization yields a detailed entropy hierarchy within $\mathcal{SC}_{m+1}(m)$. We introduce the Pyramidal Entropy Diagram, determine the entropy order completely for $m\leq 7$, and identify its first structural bifurcation at $m=8$. We further establish maximal stable initial and terminal segments consisting of ten entropy minima and two entropy maxima, respectively, and derive an explicit formula for the minimum order required to realize a positive entropy not exceeding a prescribed threshold.
CAT(0) square complexes that do not embed into finite products of trees
Answering a question of Chepoi and Hagen, we give two constructions of bounded degree CAT(0) square complexes that cannot be isometrically embedded into any finite product of trees.
The first is based on Burling graphs and has degree at most five, which is optimal. These square complexes topologically embed into $\R^3$ since we further prove that every CAT(0) square complex whose vertices have degree at most five can be topologically embedded into the product of a line and a star. It turns out that in this setting, Burling graphs are the only obstruction: we prove that CAT(0) square complexes that topologically embed into $\R^3$ and whose crossing graph forbids some induced Burling graph can be isometrically embedded into a finite product of trees.
Our second CAT(0) square complex has degree at most six and its crossing graph forbids an induced Burling graph. Of independent graph-theoretic interest, along the way we construct intersections of chordal and interval graphs with arbitrarily large girth and chromatic number. We also discuss connections to nice labellings of event structures.
Rank-One Matrix Discrepancy and Algorithmic Kadison--Singer
We give a deterministic polynomial-time algorithm that, given rational Hermitian matrices $H_1,\dots,H_N$ of rank at most one, finds signs $s\in\{\pm1\}^N$ with $\|\sum_i s_i H_i\|\le 13\|\sum_i H_i^2\|^{1/2}$. As a corollary, for vectors $v_i$ with $\sum_i v_iv_i^*=I$ and $\|v_i\|^2\leδ$, the signs yield a partition $[N] = S_1 \cup S_2$ such that each part satisfies $\|\sum_{i \in S_j} v_i v_i^* - \frac{I}{2}\| \leq \frac{13}{2}\sqrtδ$ for $j = 1,2$. This gives a deterministic polynomial-time algorithm for the Kadison--Singer problem, in Weaver's equivalent discrepancy-theoretic $\mathsf{KS}_2$ formulation, with a universal constant.
Weighted lattice point enumeration in lecture hall order polytopes
We consider weighted lattice point enumeration in lecture hall order polytopes. We observe that these half-open polytopes are closed under weight-lifting for a large class of polynomial weights, including monomials and weights given by binomial coefficients. For rooted trees, we prove that the corresponding (weighted) $h^\ast$-polynomial is real-rooted thereby complementing previous results of Savage-Visontai and Brändén-Leander.
Classification and enumeration of skew morphisms of skew-type four on cyclic $2$-groups
A skew morphism on a finite group $A$ is a permutation $φ$ on $A$ that fixes the identity element of $A$ and for which there exists an integer-valued function $π:A\to\mathbb{Z}_{|φ|}$ such that $φ(xy)=φ(x)φ^{π(x)}(y)$ for all $x,y\in A$. The kernel of $φ$ is the subgroup $\Kerφ=\{x\in A\mid π(x)=1\}$, and the index $[A:\Kerφ]$ is called the skew-type of $φ$. In this paper we construct, classify and enumerate the skew morphisms of skew-type four on cyclic $2$-groups. Our main results give explicit formulas for all such skew morphisms and closed-form expressions for their numbers.
Characterization of graphs attaining the maximum signless Laplacian spectral radius under forbidden cycles and theta graphs
Spectral Turán-type problems ask how the absence of prescribed subgraphs constrains the spectral radius of a matrix associated with a graph. Given a family of graphs $\mathcal{F}$, a graph is called $\mathcal{F}$-free if it contains no member of $\mathcal{F}$ as a subgraph. The theta graph $θ(l_1,\ldots,l_k)$ consists of $k$ internally disjoint paths of lengths $l_1,\ldots,l_k$ with two common end vertices. In this paper, we study two spectral Turán-type extremal problems for the signless Laplacian spectral radius. First, among all $\{C_3,C_4\}$-free graphs of fixed order with no pendant vertices, we determine the maximum signless Laplacian spectral radius and uniquely characterize the extremal graph attaining it. The extremal structure exhibits a parity phenomenon: odd and even orders give rise to two distinct graph families. These results, in particular, sharpen a recent general upper bound for this class given by Liu and Wang (2026). Next, we obtain the corresponding extremal results for all $\{θ(1,2,2),θ(1,2,3)\}$-free graphs of fixed size with no pendant vertices when the size is congruent to $1$ modulo $3$ and $2$ modulo $3$, again obtaining unique but structurally different maximizing graphs in the two cases. Together with the previously known result for sizes congruent to $0$ modulo $3$ by Liu and Wang (2026), this completes the fixed-size problem across all three congruence classes modulo $3$.
On a classical zero-sum invariant II: Disproof of a long-standing conjecture
For a nontrivial finite abelian group $G$, let $ν(G)$ be the smallest integer $\ell$ such that every zero-sum free sequence $T$ over $G$ of length at least $\ell$ has the following property: all nonzero elements of $G$ that do not occur as a subsequence sum of $T$ lie in a proper coset of some subgroup of $G$. It is easy to check that $\mathsf d (G)-1 \le ν(G) \le \mathsf d (G)$, where $\mathsf d (G)$ is the small Davenport constant of $G$. A conjecture by Gao from the year 2000 stated that equality should always hold at the lower bound. This conjecture has since been confirmed for many families of groups (including all p-groups and groups of rank at most two). In the current note, we disprove the conjecture.
The forced colouring function of a graph
The forced colouring function of a graph gives the probability that a random assignment of colours to a random subset of vertices can be extended, by a simple local process called forcing, to give a proper colouring of the whole graph using the same set of available colours. This is a polynomial for each fixed number of colours, and was introduced as a subject for research on the general theory of graph polynomials. In this paper we establish its fundamental properties and give combinatorial interpretations of its derivatives at two particular points. We also prove that the problem of computing its value at any specific point in a certain interval is #P-hard.
Block-count constrained harmonic sums: spectral expansion and block-directed Euler-Maclaurin
We determine exactly how harmonic sums, taken over integers with a given number of occurrences of a fixed block of digits, depend on that number of occurrences. Language factorizations, combined with stochastic radix expansions, relate these harmonic sums to the iteration of an operator whose eigenvectors are the Lebesgue measure and distributional derivatives of singular measures. The dual picture is given by a Riesz basis of eigenpolynomials in a suitable Hardy space. The resulting modal expansion admits a natural interpretation as a block-directed Euler-Maclaurin formula interpolating between Euler-Maclaurin and Taylor expansions.
List Decoding, Linear Hashing, and Furstenberg over $\mathbb{F}_q$
We give new bounds for list sizes of random linear codes at capacity, max loads of linear hash functions, and Furstenberg sets, over every finite field $\mathbb{F}_q$.
1. Random linear codes over $\mathbb{F}_q$ with rate $1 - H_q(p) - ε$ are $(p, O(q H_q(p)/ε))$-list decodable with high probability for all values of $p, q, ε$, including the high error regime. This nearly matches the list size lower bound of $H_q(p)/ε$ due to Guruswami, Li, Mosheiff, Resch, Silas, and Wootters [IEEE Trans. Inf. Theory 2022]. Our bound is the first uniform improvement for $q > 2$ since Guruswami, Håstad, and Kopparty [STOC 2010].
2. Linear hash functions over $\mathbb{F}_q$ hashing $n$ balls to $n$ bins achieve maximum load $O(q \ln \ln q / {\ln q}) \cdot \ln n / {\ln \ln n}$, both in expectation and with probability $1-o(1)$. This nearly matches the lower bound of $\ln n / {\ln \ln n}$. Previously, only a polylogarithmic upper bound was known for $q > 2$, due to Alon, Dietzfelbinger, Miltersen, Petrank, and Tardos [J. ACM 1999].
We reduce list decodability and linear hashing to strong Furstenberg set lower bounds, which we prove using a new polynomial method of multiplicity gaps. While previous polynomial methods analyze a set $S$ by studying polynomials that vanish on it, we consider polynomials that vanish everywhere, but with higher multiplicity inside $S$ than outside.
Limiting shape of alternating sign matrices
In this note we announce the limiting shape for the height function of a uniformly distributed alternating sign matrix (equivalently, a six-vertex model with equal weights and domain-wall boundary conditions)
The Aldous chain on cladograms mixes in order $n^2$ steps
Cladograms of size $n$ are unrooted binary trees whose leaves are labelled from 1 to $n$. Aldous introduced in 2000 a Markov chain on cladograms, a step of which consists of removing a leaf uniformly at random and reinserting it on a uniformly chosen edge. We introduce a coupling for this walk, which follows multiple colored subtrees in parallel. We go around the lack of independence of the colored components by finding a relevant statistic, namely the sum of the squares of the sizes of all colored components, which we prove has a drift. We deduce that the mixing time of the walk is of order $n^2$, solving a conjecture of Aldous.
The Distance Between the Adjacency Spectral Center and the Characteristic Set of a Tree
Let $\mathcal S(T)$ be the adjacency spectral center of a tree $T$, and let $\mathcal C(T)$ be its characteristic set. We determine the largest possible separation $d(T) := \operatorname{dist}_T(\mathcal{S}(T), \mathcal{C}(T))$ among trees of every order $n\ge3$. Writing $Δ_n:=\max_{|V(T)|=n}d(T)$, we prove $Δ_n=0\quad(3\le n\le11),\quad Δ_{12}=1$, and $Δ_n=\left\lfloor\frac{n-11}{2}\right\rfloor \quad(n\ge13)$. The argument rests on a simple opposition between two rooted-tree weights. An endpoint-rooted path minimizes adjacency spectral radius, but maximizes bottleneck Perron value. A one-sided replacement by a path therefore cannot decrease the distance between the two centers. Quantitatively, this gives the sharp estimate $|V(T)|\ge 2d(T)+11
\quad(d(T)\ge2)$. A preliminary six-vertex barrier shows that disjoint center sets require at least twelve vertices, and the four-leaf broom is extremal for every $n\ge12$.
Further results on non-negativity conjectures for copartition products
Burson and Eichhorn proposed infinite and finite coefficientwise non-negativity conjectures for products arising from copartitions. We obtain several further results. First, both products admit decompositions into elementary local blocks, and the finite conjecture reduces exactly to its diagonal specialization. The finite conjecture is proved when the first truncation parameter is one or when the two residue parameters are equal. We also prove that every finite product has non-negative coefficients below the third shifted signed exponent. For fixed finite parameters, the coefficient sequence is shown to be eventually quasipolynomial; an explicit period bound, an explicit onset for the quasipolynomial formula, and the leading term on every residue class are obtained. This yields eventual strict positivity, apart from forced odd-degree zeros in one solved diagonal case. For the infinite conjecture, we prove non-negativity under the broader condition $a\equiv b\pmod m$, which includes the known case $a=b$. Finally, for arbitrary $b\mid a$, we improve the uniform initial non-negative range from degrees below $a+m$ to degrees below $a+2m$.
Improved Approximation for Unsplittable CVRP via a Greedy Approach
We devise a polynomial-time $3.159$-approximation algorithm for the metric unsplittable Capacitated Vehicle Routing Problem. We build on the Relative Greedy Algorithm suggested by Traub (2025), which can be considered as a variant of the LP rounding algorithm of Friggstad, Mousavi, Rahgoshay, and Salavatipour (2025). Our main ingredient is the Average Greedy Algorithm, a new algorithm that controls both tour costs and the coverage of clients with high demand. This additional control enables a sharper averaging argument for the cost of subsequent greedy choices. Similarly to Zhao and Xiao (2026), combining the Average Greedy with variants of tour partitioning and a matching algorithm yields the final approximation guarantee.
Hall algebras of graphs and rooted trees
Hall algebras can be associated with a broad class of combinatorial structures through the theory of 2-Segal sets. In this paper, we study the Hall algebras arising from the 2-Segal sets of rooted trees, undirected graphs, and directed graphs. In each case, we establish an analogue of Green's theorem giving a twisted bialgebra structure to the Hall algebra, describe the primitive elements, and derive a presentation by generators and relations. As an application, we realize the Hall algebra of an undirected graph as the cohomology ring of a topological space. In the case of directed graphs, we introduce the Hall polynomial, defined as the Poincar{é} polynomial of the space of primitive elements. The Hall polynomial is an invariant of the underlying undirected graph which we show to be closely related to the Tutte polynomial. We furthermore give examples of graphs with equal Tutte polynomials but distinct Hall polynomials showing thus that the Hall polynomial encodes different information from that of the Tutte polynomial.