math.CO ↗ arXiv
7121 papers in this category
Leading term strandings for webs
A web is a plane graph encoding an invariant vector in a tensor product of fundamental representations of a quantum group. A stranding of an $\mathfrak{sl}_n$ web is a system of colored oriented curves recording one monomial of the vector it encodes. This article focuses on identifying and constructing leading term strandings, those recording the leading term of a web's vector with respect to a lexicographic order on monomials. We show that every open strand of a leading term stranding is clockwise, which constrains the boundary data of such strandings enough to yield a sufficient criterion for a set of webs to form a web basis. From a row-strict tableau, we construct a web with a prescribed leading term, and the resulting webs form a web basis, giving a non-recursive construction of Fontaine's $\mathfrak{sl}_n$ web bases. For $\mathfrak{sl}_3$ webs with no flat vertices, we identify a leading term stranding using the depths of the faces of the web. Finally, we show a leading term stranding for any $\mathfrak{sl}_3$ web can be reached from an arbitrary stranding via a sequence of operations called strand reversals.
Closing the gap and settling the problem of queens on an $n\times n$ board, each attacking at most one other
Let $q(n)$ denote the largest number of queens that can be placed on an $n\times n$ chessboard so that no queen attacks more than one other queen. We prove that $q(n)=\lfloor4n/3\rfloor$ for every $n\geqslant6$, and that $q(n)=n$ for $n\leqslant5$, which settles a previously conjectural value. As a corollary, we also settle that, in the version of the problem where each queen attacks \emph{exactly} one other queen, the answer is $2\lfloor2n/3\rfloor$, again as previously conjectured.
Graded Ehrhart theory for hypersimplices
We prove that the $q$-Ehrhart series of a hyperplane slice of a cube is a rational function with an explicit denominator that satisfies $q$-reciprocity, confirming a conjecture of Reiner and Rhoades for these polytopes. To do this, we find a generating set for the orbit harmonics ideal, which also yields the Hilbert series and graded Frobenius characteristic of the associated quotient. We further show that the harmonic algebra of a hypersimplex $Δ$ is generated as an algebra by the harmonic space of $Δ$ using structural results on 2-factors of regular multigraphs. In particular, the harmonic algebra is finitely generated, giving a second proof of rationality.
The giant component of complex hypergraphs: automated generating function calculations
Complex hypergraphs (chygraphs) contain graphs, hypergraphs, multiplex and interacting networks as special cases, and the percolation threshold of all of them follows from one symbolic calculation: the spectrum of a tensor $A$ built from four matrices of first moments. That calculation stops at the threshold. Here I show that $A$ is the Jacobian, at its trivial fixed point, of a non-linear self-consistency map whose non-trivial fixed point is the giant component fraction, so threshold and order parameter are two orders of one object on one index set. Carrying the expansion one order further gives the critical amplitude $B$ in $S=BΛ+O(Λ^2)$ in closed form, and exposes a hierarchy: first moments fix the threshold, second moments the amplitude, and only the generating functions themselves the order parameter away from it. Dropping the assumption that a complex's participation in different layers is independent generalises the tensor again, replacing unconditional first moments by inclusion-biased second moments: distributions with identical marginals have different thresholds and different order parameters. Six constructions from the literature are then solved by substitution, among them AND- against OR-logic hypergraph percolation, which share a chygraph and differ in one generating function, and SIR epidemics with two levels of mixing, whose household reproduction number falls out of the tensor. A reported failure of mean-field theory on strongly clustered graphs is shown to be a failure of applying it to the wrong object: mapped onto the treelike backbone rather than the clustered graph, the same calculation reproduces the exact threshold, order parameter and critical exponents. Everything is implemented in one class, in which a chygraph is specified once by its generating functions and then returns all three, and validated against Monte Carlo simulation.
Genlex Gray codes for $S_n$ with the fewest operations: classification and symmetry
A Gray code for $S_n$ is \emph{genlex} when words sharing a suffix are consecutive. We determine the genlex Gray codes for $S_n$ that use the fewest possible operations: Zaks' recursion generalises to a superfactorial family of such codes, and no code outside this family attains the minimum. Every code in the family closes into a cycle, and the cycle is invariant under a group of left translations, cyclic of order $n$ or dihedral of order $2n$ according to an explicit criterion on the operations. In the pancake graph the family reduces to a single member, the classical Zaks order; with respect to the standard parabolic chain of $W(A_{n-1})$, that order attains one extreme of total Coxeter length.
The Birthday Paradox for non-backtracking walks on regular graphs
We show a birthday paradox for random non-backtracking walk on regular graphs of degree at least $3$: such a walk of length $k$ has high probability of self-intersecting when $k$ is significantly greater than $\sqrt n$, where $n$ is the number of vertices of the graph. This resolves a conjecture of Noga Alon and Yuval Peres for the fixed degree case.
On polynomial expanders with many variables
For a fixed integer $n\ge 2,$ we consider the homogeneous polynomial $$ P(x_1, x_2, \ldots, x_{n+2})=\sum_{i=1}^{n} (x_2-x_1)^{i-1} x_1^{n-i} x_{i+2}. $$ We prove that, for any finite set $A$ of complex numbers, $$ \Bigl|\bigl\{P(x_1,x_2,\ldots,x_{n+2}): \, x_i\in A\bigr\}\Bigr|\gg |A|^{n}. $$ The implicit constant in $\gg$ may depend only on $n.$
Weight Distributions of Single Parity-Check Product Codes via Character Sums
We investigate structural and enumerative properties of binary single parity-check product codes. For each $n\geq 2$, $\operatorname{SPC}(n)$ denotes the binary single parity-check code of length $n$, consisting of all binary vectors of length $n$ having even Hamming weight. We determine the generalized Hamming weight hierarchy of the product code $\mathcal{C}_{m,n}=\operatorname{SPC}(m)\otimes\operatorname{SPC}(n)$, whose codewords can be represented as $m\times n$ binary matrices in which every row and every column has even Hamming weight. For the square product $\mathcal{C}_n =\operatorname{SPC}(n)\otimes\operatorname{SPC}(n)$, we also determine the maximum codeword weight and prove that its homogeneous weight enumerator is symmetric if and only if $n$ is even. After characterizing the dual code, we apply the MacWilliams identity in its Walsh--Hadamard formulation to derive an exact closed-form expression for the weight enumerator. By grouping the auxiliary binary vectors according to their Hamming weights, we obtain an explicit formula for each coefficient in terms of binomial coefficients and alternating convolutions. Finally, using Krawtchouk polynomials, we present an exact procedure for computing the full weight distribution without exhaustively enumerating all codewords. Numerical examples illustrate the formulas and verify the resulting computations.
Gluing Formula for the Pseudo-Determinant of Graph Laplacian and Applications to Counting of Spanning Trees
In this paper, we establish a gluing formula for the pseudo-determinant of the Laplacian on a simple finite graph. We achieve this by using the gluing formula for the determinant of massive Laplacian and the perturbation theory technique. In addition, we apply this gluing relation to derive a gluing formula for the number of spanning trees and rooted spanning forests on simple finite graphs.
Matching complements in subcubic graphs and a proof of the 3-Decomposition Conjecture
We prove the 3-Decomposition Conjecture: every finite connected cubic loopless multigraph decomposes into a spanning tree, a 2-regular subgraph, and a matching. The main ingredient is a new theorem on matching complements in subcubic graphs. Let H be a finite connected
bridgeless simple graph of maximum degree three, and let S be its set of degree-two vertices, with |S| = k >= 2. We show that H has a matching of size equal to its cycle rank, |E(H)| - |V(H)| + 1, whose deletion leaves a single tree containing all of S, together with cycles
disjoint from S. The proof is by induction on k, comparing the matching supplied by the hypothesis with one obtained from an auxiliary cubic tree; a single alternating-path exchange, local and insensitive to the sizes of the two matchings, drives the induction. From this
theorem we deduce, in turn, that every finite connected simple fragile subcubic graph splits into a spanning tree and a matching, the 2-Decomposition Conjecture in its standard loopless-multigraph form, and finally the 3-Decomposition Conjecture.
Cop numbers for subclasses of partial cubes
The game of Cops and Robbers is a classical pursuit--evasion game on graphs. For a graph $G$, the cop number $c(G)$ is the minimum number of cops needed to guarantee the capture of a robber on $G$. Although this parameter has been determined for several fundamental graph classes, comparatively few exact results are known for partial cubes and their subclasses. We first establish an upper bound for every finite median graph $M$ in terms of its tree-dimension, which improves Crawford and Iršič Chenoweth's bound significantly. This result refines the previous upper bound expressed in terms of a hypercube embedding dimension and can give a substantially smaller estimate. Then we investigate the cop numbers of simplex graphs---a subclass of partial cubes. For a finite graph $G$, the simplex graph $S(G)$ has the cliques of $G$, including the empty clique, as its vertices, with two cliques adjacent whenever they differ in exactly one vertex. We establish a general lower bound for $c(S(G))$ in terms of the clique number of $G$ and a general upper bound in terms of its chromatic number. Finally, as direct applications, we determine the exact values of cop numbers of some special simplex graphs---bipartite wheels, Fibonacci and Lucas cubes.
Tree Buckets and the Reconstruction of Pairs of Phylogenetic Trees
Phylogenetic trees are used in evolutionary biology to represent the evolutionary history of a collection of taxa. As we have incomplete information about any evolutionary history, recovering trees from partial information is a focus of phylogenetic combinatorics. However, in some cases the available data does not describe a single phylogenetic tree. We consider recovery of pairs of phylogenetic trees from their combined subtrees with $k$ leaves, which we call a $k$-bucket. We establish the exact cases in which these pairs of trees are recoverable from their subtrees with a single leaf removed, both when just considering the structure of the trees, and when additionally considering the set of taxa on the leaves. We also consider recovery of pairs of trees with labelled leaves from their rooted triples, and establish that they are recoverable up to a sequence of subtree swaps.
Tautological Pushforwards of Hilbert Schemes of Points on Curves and Surfaces
Ellingsrud, Göttsche, and Lehn proved a remarkable universality result for tautological integrals on Hilbert schemes of points on surfaces. We prove a relative form: over a base $B$, the tautological pushforwards are governed by universal power series paired with relative $κ$-classes.
As applications, we focus on Segre classes on families of curves and surfaces. For curve families, we determine all universal coefficients for total Segre pushforwards. These formulas answer a question of Oprea--Pandharipande, and the resulting recursions are surprisingly related to monotone Hurwitz numbers. For surface families, motivated by Marian--Oprea--Pandharipande's work on Lehn's conjecture, we obtain a codimension-one relative form of the conjecture, with explicit formulas for every universal series.
Characterization of Maximal Left-Compressed Intersecting Families Generated by a Single Generator
In this paper, we focus on left-compressed families \(\mathcal{F}(\mathcal{G})\) generated by a family of sets \(\mathcal{G}\). We establish a necessary and sufficient condition on \(\mathcal{G}\) under which \(\mathcal{F}(\mathcal{G})\) is intersecting. We then introduce a construction of maximal left-compressed intersecting families \(\mathcal{F}_G\) from a single generator by adding suitable sets not containing \(1\) to \(F(G)\). From this, we derive several estimates for the size of \(\mathcal{F}_G\).
Almost-linear Zarankiewicz bounds in $1$-semi-equational theories
We study multipartite hypergraphs definable in $1$-semi\-equational theories and prove almost-linear Zarankiewicz bounds in every fixed arity $r\geq2$. More precisely, if $T$ is a $1$-semi-equational theory, then, for every formula $\varphi$ and every $t\geq2$, and every $r\geq2$, there is a constant $c$ such that each $K_{t,\ldots,t}$-free $r$-partite hypergraph defined by $\varphi$ on $n$ vertices has $O_{T,\varphi,t,r}(n^{r-1}(1+\log(1+n))^c)$ edges. In the bipartite case, a Boolean combination of $m$ $(k,1)$-semi-equations has $O_{k,t,m}(n(1+\log(1+n))^{(m-1)(k-1)})$ edges whenever it is $K_{t,t}$-free. In particular, a relation defined by one $(k,1)$-semi-equation or its negation has a linear bound. The proofs are based on incidence estimates for $k$-wise laminar indexed set systems.
On the Dimension of the Best-Worst Choice Polytope
For a set of $n$ alternatives, the best--worst choice polytope is the convex hull of the deterministic best--worst choice vectors induced by all linear rankings of the alternatives. The question of determining the dimension of this polytope as a function of $n$ has been raised by Doignon \cite{Doignon2023}. In this paper we answer this question by finding an explicit formula for this dimension. Our proof is motivated by a representation-theoretic interpretation of the relevant rank problem for the symmetric group, but is presented entirely in elementary linear-algebraic terms. The connection with representation theory will be explored elsewhere.
Burning Steiner triple systems
Graph burning is a round-based process which can be viewed as a discrete one-player game that models the spread of influence throughout a network. Extending this process to hypergraphs can be done in numerous ways; two such processes that have been studied include the burning process and the lazy burning process for hypergraphs. Combinatorial designs can be thought of as hypergraphs with useful and interesting characteristics. In this paper we explore the burning and lazy burning processes in Steiner triple systems (STSs). We obtain logarithmic bounds on the burning number of an arbitrary STS and prove the existence of an STS with burning number $ρ$ for any integer $ρ\geq 3$. We observe that the concept of lazy burning is equivalent to the notion of the dimension of an STS, and we consider ramifications of this equivalence. We also show that the difference between the burning and lazy burning number of a Steiner triple system can be arbitrarily large. Finally, we consider burning and lazy burning numbers of affine and projective triple systems in detail.
Stable Symmetric Series, Differential Operators, and Jack Deformations
We introduce stable symmetric series which encode normalized conjugacy classes and their multiplication operators simultaneously for all symmetric groups. This gives a direct route from the Ivanov--Kerov algebra to shifted symmetric functions and to differential operators in $U(\mathcal W_{1+\infty})$. Using the Goulden--Jackson product, we extend the construction to Jack polynomials, recover shifted Jack eigenvalues and Pieri-type relations, and obtain explicit candidate operators in degrees three and four. Their real and quaternionic specializations to zonal polynomials are verified by Gaussian matrix integrals and exhaustive Wick enumeration.
Large Cliques and Clique Spectral Radius in the Erdős--Sós Problem
For graphs $H$ and $F$, let $ex(n,H,F)$ be the maximum number of copies of $H$ in an $n$-vertex $F$-free graph. We study this problem when $H$ is a clique and $F=T_t$which is a fixed tree on $t$ vertices. The Erdős--Sós conjecture concerns the value of $ex(n,K_2, T_t)$. Gerbner and Palmer proposed a more general conjecture: if $n=α(t-1)+β$ and $0\leβ\le t-2$, then the graph $αK_{t-1}\sqcup K_β$ maximizes the number of $r$-cliques among all $n$-vertex $T_t$-free graphs for every $3\le r\le t-2$. We show that this conjecture holds for $T_t$ having at least $t-r$ leaves with a common parent, which contains the star case as a special case and recovers the sharp clique-counting result conjectured by Gan, Loh and Sudakov and proved by Chase and Chao and Dong. We also study the clique-spectral analogue. Under the same leaf-bunch condition, every $T_t$-free graph $G$ satisfies $ρ_r(G)\le\binom{t-2}{r-1}$, with equality, for $n\ge t-1$, if and only if $K_{t-1}$ is a component of $G$. Furthermore, we prove the conjecture for $r=t-d$ whenever $d\ge2$ and $t\ge d^2-d+3$, while the case $d=1$ is determined exactly for every $t$. For $d\ge2$ and $t\ge d^2-d+3$, every $T_t$-free graph $G$ satisfies $ρ_{t-d}(G)\leρ_{t-d}(K_{t-1})$, with equality characterized by the presence of a $K_{t-1}$-component.
Our method is designed for relatively large cliques. In the leaf-poor case, after deleting edges that lie in no $(t-d)$-clique, we study the intersection relation among $(t-d)$-cliques and show that its equivalence classes induce the nontrivial clique-supported components; furthermore, we show each non-trivial component has at most $t-1$\) vertices. In the complementary leaf-rich case, a leaf-bunch criterion reduces the clique-counting problem to the sharp bounded-maximum-degree clique theorem.
On the isolation numbers in graph products
As a continuation of a previous study of isolation numbers in Cartesian and lexicographic products, we investigate isolation numbers and, more generally, $\cal F$-isolation numbers in direct, strong, lexicographic, and Cartesian products of graphs. For direct products, we derive upper bounds for the $\{K_{n_1,\ldots,n_d}\}$-isolation number in terms of isolation and total domination parameters of the factors, and establish lower bounds based on open packings. We also determine exact values for several infinite families of direct products, including $ι(P_{4\ell}\times C_{2k+1})=\ell(k+1)$. For strong products, we prove a general lower bound on $ι(G\,\boxtimes\, H,{\cal F})$ involving the $2$-packing number and provide an upper bound on $ι(G\,\boxtimes\, H)$. For lexicographic products, we determine the $\cal F$-isolation number in several general settings, obtaining exact formulas in terms of domination and total domination numbers of the first factor. Finally, for Cartesian products, we extend results from our previous work to arbitrary graph families $\cal F$. We introduce $\cal F$-isolation graphs and use $\cal F$-transversals to derive general upper bounds, together with corresponding lower bounds.