math.CO ↗ arXiv
7121 papers in this category
Positivity of stretched Littlewood-Richardson coefficients for partitions of length at most four
For partitions lambda, mu, nu the Littlewood-Richardson coefficient stretches to a function P(t) = c(t nu; t lambda, t mu) which, by a theorem of Derksen and Weyman, is a polynomial in t. King, Tollu and Toumazet conjectured that P has no negative coefficient. The conjecture is known only for the value at most 2 and is otherwise open. We prove it for all triples whose parts number at most four. The proof is structural: a period-one dilation transfers the Berline-Vergne local Ehrhart formula from an integral dilate back to the rational hive polytope, reducing the statement to the positivity of the Berline-Vergne weight of every two-dimensional transverse cone spanned by rank-four rhombus normals, which we verify exactly (minimum weight 1/9). Vertex integrality and unimodularity of vertex cones are not used, and indeed fail already in rank four. The same local method yields two rank-uniform consequences: for every full-dimensional hive polytope of any rank the top four Ehrhart coefficients are positive, and every full-dimensional five-part hive has all coefficients positive except possibly the linear one. We close by reducing the general conjecture to a single hive-specific effectivity statement and recording the exact obstructions that rule out the standard shortcuts. All finite verifications are accompanied by independent replay scripts.
The Conclave Process
We introduce a stochastic model for the papal conclave in which $n$ cardinals vote repeatedly among themselves until one cardinal receives all the votes. In each round, the probability that a cardinal votes for a given candidate is proportional to the $α$-th power of that candidate's vote count in the preceding round. For $α=1$, the model reduces to the Wright-Fisher model and is dual to Kingman's n-coalescent. We reveal a sharp transition in the absorption time $\mathcal{T}$ at $α=1$. It was known that when $α=1$, $\mathcal{T}$ is typically of order $n$. We prove that for $α>1$, it drops to order $\textit{loglog n.}$ In contrast, for $α<1$, $\mathcal{T}$ is typically at least $\exp(Ω(n))$. We also prove a sharp phase transition in the identity of the winner when $α>1$. For every positive integer $k$, if $2^{1/k}<α<2^{1/(k-1)}$ (where we write $2^{1/0} = +\infty$), with probability tending to 1 as $n\to\infty$, the eventual winner is the unique leader after round $k$. These results show that reinforced voting processes reach consensus remarkably quickly even for large electorates.
Weight-constrained cut-down de Bruijn sequences
In 2012, Ruskey, Sawada and Williams showed that a binary cut-down de Bruijn sequence can be constructed containing all $n$-tuples of Hamming weight either $r$ or $r+1$ for every possible $r$, and no others. In this paper we examine extensions of this result that require choosing a weight-like function applying to $n$-tuples with symbols taken from an alphabet of arbitrary (finite) size. We consider three possible such weight functions, and in each case establish an analogous result to that of Ruskey et al.
Extremal fences with polyforms
Published in A. Langlois-Rémillard, M.~N. Müßig and E. Roldán, Maximale Zäune mit Polyformen, Mitt. Dtsch. Math.-Ver. 33.3 (2025), 187--199
• View Publication
• BIB
We present results around an isoperimetric problem built on polyforms: What is the biggest enclosed area one can build using polyforms in each of the three plane tessellations? We give challenges to the readers and present Shimauchi's proof of the biggest area a fence made of pentominoes can enclose. A translation of the instance using integer linear programming is also given.
A companion web app is available to test some of the challenges we propose and for activities, and we included extra pages with a cutout handout of the board and pieces of the puzzles, so that you can print and cut them to read this paper hands on.
Constrained Multi-Relational Graphons with Maximum Entropy
The principle of maximum entropy provides a fundamental framework for characterizing typical structures of large random networks subject to observable constraints. In their pioneering numerical experiments \cite{radin2014asymptotics}, Radin, Ren, and Sadun conjectured that entropy-maximizing graphons satisfying subgraph density constraints are stochastic block models a conjecture we term the RRS conjecture. While several special cases have been proven for single-relation graphs with specific constraint families, the general problem has remained open, particularly for multi-relational networks.
We resolve the RRS conjecture for constrained multi-relational graphons in the non-extremal regime, proving that entropy-maximizing solutions are step functions with finitely many blocks under the condition the subgraph density constraints are analytically independent and for almost all feasible combinations of sufficient statistics. Our proof employs a differential geometric technique to study solutions of constrained optimization problems in function space via functions with a finite parametrization (step functions). The two cornerstones of this work are: the generalization of subgraph density notion to $h$-subgraph density and the proof that manifolds that define the constrained region for the solutions maintain topological stability without developing new connected components under refinement. Together, these enable proving that no new global optima emerge in higher-dimensional spaces.
A counterexample for the polar conjecture of Spencer-Brown
In 1976, George Spencer-Brown announced a proof of the four color theorem, using operations on Tait colorings for trivalent plane graphs. In subsequent work he formulated these operations in terms of an algorithm that he called a parity-pass and claimed that when the parity pass algorithm is performed on a non-polar pentagon region, it necessarily terminates in an edge coloring that is extendable to the entire graph. We provide here a counterexample to show that this claim is false. We then raise questions related to the existence of this sort of counterexample.
Bipartite graphs, random graphs, and Lin--Lu--Yau curvature
Let $G = (X, Y; E)$ be a bipartite graph with parts $X$ and $Y$ where $|X|=m$ and $|Y|=n$. We show that every bipartite graph with more than $mn - D(m,n)$ edges has positive Lin--Lu--Yau curvature, where $D(m,n)=m-2+\lceil{\frac {n}{2}\rceil} \text{ if $n\geq 2m$}, \mbox{and} \
n-1 \text{ if $m\leq n< 2m$}.$ We also show that every bipartite graph of order $m+n$ with $m \geq n$ and minimum degree at least $\min\{n, \lfloor{\frac{m+n}{3}\rfloor}+1\}$ has positive Lin--Lu--Yau curvature. Both bounds are sharp. Meanwhile probabilistically we can relax the edge density conditions in above results. It is shown that relatively dense random bipartite graph is positively curved. All of our proofs are based on a new formula for Lin--Lu--Yau curvature of bipartite graphs.
Distinguishability threshold for random geometric graphs
The spherical random geometric graph $G(n,d,p)$ is obtained by sampling $n$ independent points uniformly on the unit sphere $\mathbb{S}^{d-1}\subseteq\mathbb{R}^d$ and joining pairs of points which are sufficiently close, where the threshold is chosen so that the edge probability is $p$. The central question related to this model, and to a broad class of other models, is the following: when does the underlying geometry affect the resulting graph in a way which makes it distinguishable from the Erdős--Rényi random graph $G(n,p)$, as measured in total variation distance? The precise answer to this question was conjectured by Bubeck, Ding, Eldan, and Rácz, who predicted that $G(n,d,p)$ and $G(n,p)$ are indistinguishable precisely when $d \gg n^3p^3(\log p^{-1})^3$, and provided a test for distinguishing these models in the low-dimensional regime.
Although this conjecture attracted considerable attention from researchers in probability, theoretical computer science, and high-dimensional statistics, it was previously fully proved only in the constant-density case. In this paper, we resolve the distinguishability conjecture in the broad range $1/3 \geq p \geq n^{-1/5} \text{polylog}(n)$. The key ingredient of our proof is a stronger statement which gives a precise asymptotic formula for the probability that $G(n,d,p)$ realizes a prescribed graph $H$: above the conjectured threshold, this probability is at most $(1+o(1))$ times the corresponding probability for $G(n,p)$, with the signed triangle count of $H$ appearing as the leading correction term.
Matroid flat counts are not unimodal
We give counterexamples to Rota's 1970 conjecture that the sequence counting flats of varying rank in a matroid is unimodal. More specifically, inspired by Larson's recent disproof of the stronger log-concavity conjecture of Mason, we explain a mechanism which turns failures of log-concavity for flats into failures of unimodality under suitable conditions.
On the Drazin Index of an Anti-Triangular Block Matrix
Published
• View Publication
• BIB
The Drazin index is a fundamental invariant in the analysis of singular matrices and their generalized inverses. While sharp results are available for block triangular matrices, the corresponding theory for anti-triangular block matrices is less developed. In this paper, we study matrices of the form \[ M=\begin{bmatrix} A & B \\ C & 0 \end{bmatrix}, \] under algebraic constraints on the blocks.
Building on additive decompositions involving von Neumann inverses, we relate the Drazin index of $M$ to invariance properties of the index and minimal polynomial of expressions of the form $A^{2}A^{-}+I-AA^{-}$. This connection provides an effective mechanism to control the index of $M$ through suitable factorizations and associated block products.
As a consequence, we derive explicit lower and upper bounds for $i(M)$ in terms of $i(A)$ and $i(BC)$, and characterize situations in which these bounds are attained. Under additional annihilation or orthogonality conditions on the blocks, we obtain closed-form representations for the Drazin inverse of $M$. Applications to adjacency matrices of directed graphs illustrate the sharpness of the bounds and the applicability of the results to structured matrices arising in graph-theoretic settings.
Linear Tur'an Numbers of Four-Edge Uniform Paths via Incidence Rank
Let $P_4^r$ denote the $r$-uniform expansion of the graph path with four edges. We prove that every $n$-vertex linear $r$-uniform $P_4^r$-free hypergraph has at most $(r+1)n/r$ edges, resolving a conjecture of Adak and Verma for every $r \geq 2$. Equality holds precisely for vertex-disjoint unions of Steiner systems $S(2,r,r^2)$. The main ingredient is a sharp incidence-rank inequality. If $N(H)$ is the edge-vertex incidence matrix of a linear $r$-uniform hypergraph whose line graph is a cograph, then $(r+1)\operatorname{rank}_{\mathbb{R}} N(H) \geq r|E(H)|$. Equality holds exactly when every edge-containing component is an $S(2,r,r^2)$. The proof follows the union-join decomposition of cographs. At a join node, the row-difference spaces of the co-components are mutually orthogonal, and the possible rank defect is determined by balanced co-components. Perron-Frobenius theory identifies the smallest balanced pieces as parallel classes of $r$ disjoint $r$-sets, while an orthogonality argument bounds their number by $r+1$. The equality case then reconstructs the Steiner system. The linear Turán bound follows from $\operatorname{rank}_{\mathbb{R}} N(H) \leq |V(H)|$.
Constructions for supersaturation of eventown problems
In this paper, we study the supersaturation problems of eventown. Given a family $\mathcal{A}$ of subsets of an $n$ element set, let op$(\mathcal{A})$ denote the number of distinct pairs $A,B\in \mathcal{A}$ for which $|A\cap B|$ is odd. We give extremal eventown constructions and show that for fixed $s\le2^{\lfloor \frac{n}{2} \rfloor}-2$, there exists a collection of $2^{\lfloor\frac{n}{2}\rfloor}+s$ even-sized subsets of an $n$ element set that contains exactly $s\cdot 2^{\lfloor \frac{n}{2} \rfloor-1}$ pairwise intersections of odd size. This extends the range of $s$ in a conjecture proposed by O'Neill from $2^{\lfloor \frac{n}{2} \rfloor}-2^{\lfloor \frac{n}{4} \rfloor}$ to $2^{\lfloor \frac{n}{2} \rfloor}-2$. We also give a construction using symmetric designs to prove that when $k$ is even and $4k-1$ is a prime power, there exists a collection of $2^{\lfloor\frac{4k-1}{2}\rfloor}+s$ even-sized subsets of a $4k-1$ element set $\mathcal{A}_s$ with $op(\mathcal{A}_s)=s \cdot 2^{{\lfloor\frac{4k-1}{2}\rfloor}-1}$, $1\leq s\leq4k-1$.
Generalized quadrangles with a point-primitive and line-primitive automorphism group with socle $\PSp_4(q)$
Let $\SA$ be a finite thick generalized quadrangle, and let $G\leq \Aut(\SA)$ act primitively on both points and lines. Building on the almost simple reduction for point-primitive and line-primitive actions, we study the case where the socle of $G$ is the projective symplectic group $\PSp_4(q)$ with $q\ge 3$. We show that this hypothesis forces $\SA$ to be the classical symplectic quadrangle $W(3,q)$ up to duality.
Degree Majorization and Laplacian Eigenvalue Sums for Simplicial Complexes
Let $K$ be an $r$-dimensional simplicial complex. We prove that the spectrum of its $(r - 1)$-dimensional up-Laplacian is majorized by the conjugate degree sequence of its $(r - 1)$-dimensional faces: \[ {\mathbfλ}_{r-1}(K) \preccurlyeq {\mathbf d}_{r-1}^\top(K). \] We also establish a Brouwer-type inequality: for every integer $\ell \geq 1$, \[ \sum_{i = 1}^{\ell}λ_{r-1,i}(K) \leq \frac{r + 1}{2}f_r(K) +
\frac{f_{r - 2}(K)}{r} \binom{\ell + 1}{2}, \] where $λ_{r-1,i}(K)$ denotes the $i$-th largest eigenvalue in the spectrum ${\mathbfλ}_{r-1}(K)$, and $f_t(K)$ denotes the number of $t$-dimensional faces of $K$. These results provide higher-dimensional analogs of the Grone-Merris-Bai theorem and the Brouwer-Kothari-Tudose theorem and recover the corresponding graph results when $r=1$.
We show that the Duval-Reiner conjecture on the majorization by the conjugate degree sequence of vertices fails in every dimension $r \geq 2$. More precisely, for every $n \geq r + 5$, we construct a pure $r$-dimensional complex on $n$ vertices that violates the conjectured inequality at the fifth partial sum.
Closed formulas for energy functions on tensor squares of higher-level perfect crystals in classical affine types
For every $l\geq1$, we construct explicit closed-form coordinate formulas for the local energy functions on the tensor products $B_l\otimes B_l$ of level-$l$ perfect crystals in classical affine types. A single finite-level max-linear formula covers all seven types: its two branches coincide in type $A_n^{(1)}$, yielding a cyclic maximum of partial sums, whereas in the remaining six types each branch is the maximum of finitely many explicit piecewise-linear expressions in barred coordinates, with type-dependent boundary data. We verify the defining local-energy recursion directly on the finite crystals and derive equivalent recursive forms, allowing the energy to be evaluated without applying the combinatorial $R$-matrix. Substitution into the KMN path character formula gives explicit positive coordinate path sums for the characters of all level-$l$ integrable highest weight modules. After principal specialization, the path exponent can be rewritten as a weighted sum of a position-independent adjacent-pair statistic; comparison with the specialized Weyl--Kac character formula yields a uniform family of level-$l$ Rogers--Ramanujan-type identities equating these sums with explicit infinite products. For a representative low-rank case at level two in each family, we display the complete adjacent-pair degree matrix and list the resulting identities.
New excluded minors for the class $\mathcal{M}_3$ of regular matroids
Engel, de Gaay Fortman, and Schreieder attach to each prime $\ell$ a minor-closed class $\mathcal{M}_\ell$ of regular matroids, whose excluded minors govern the failure of the integral Hodge conjecture for curve classes on very general principally polarized abelian varieties. For $\ell=2$ the class is the cographic matroids, with excluded minors $M(K_5)$ and $M(K_{3,3})$ by Tutte's theorem; for $\ell=3$ the only excluded minor explicitly identified so far is $M(K_{3,5})$, and the general characterization is [EGFS, Problem 8.8]. We exhibit five new excluded minors for $\mathcal{M}_3$, of ranks 8, 9, 9, 9, and 10; none contains $M(K_{3,5})$ or any of the other four as a minor, so the excluded-minor list of Problem 8.8 has at least six members, with excluded minors at every rank from 7 through 10. Combined with $M(K_7) \notin \mathcal{M}_3$, established by the same authors, and the minor-closedness of $\mathcal{M}_3$, some minor of $M(K_7)$ of rank between 4 and 6 is a further excluded minor, so the list has at least seven members, six of them explicitly identified. The list is structurally diverse: two bipartite apex constructions with automorphism group $S_4$, and three non-bipartite, non-planar rank-9 graphs with no such apex structure. Every verdict is certified by a finite $\mathbb{F}_3$-linear-algebra computation with explicit machine-checkable witnesses, cross-checked by independent implementations; the certificates further show that the five matroids lie outside the larger class $\widetilde{\mathcal{M}}_3$. We also record what are, to our knowledge, the first $\ell=5$ data on this corank-8 slice: $M(K_{3,5})$ and the rank-8 and rank-10 minors lie in $\mathcal{M}_5$ by explicit certificates, and the radical distance $d(M(K_{3,5}))=6$ is determined exactly.
The optimal constant for minimum weight feedback arc sets in oriented graphs
Let $D$ be an oriented graph (a digraph with no directed 2-cycles) with maximum degree $Δ\ge 1$, equipped with nonnegative arc weights of total weight $w(D)$, and let $\mathrm{fas}_w(D)$ denote the minimum weight of a feedback arc set of $D$. Alon (2002) proved $\mathrm{fas}_w(D)\le(\frac{1}{2}-\frac{1}{16\sqrt{2Δ}})w(D)$. We determine the optimal constant: \[\mathrm{fas}_w(D)\le(\frac{1}{2}-\frac{\sqrt{2}}{6\sqrtΔ})w(D).\] In fact, we show a stronger result: $\mathrm{fas}_w(D)\le\frac{1}{2}w(D)-\frac{\sqrt{2}}{12}\sum_v w_2(v)$, where $w_2(v)$ is the $\ell_2$-norm of the weights of the arcs incident with $v$. Both bounds are attained by the unit-weight directed triangle, so the constant $\sqrt{2}/6$ is best possible (already among unweighted oriented graphs). The proof combines the vertex-peeling scheme of Berger and Shor with a continuous random-ordering analysis: realizing the random order by independent uniform labels renders the expected local imbalance at each vertex exactly an integrated Khintchine-type functional, and the theorem reduces to the sharp evaluation \[\inf_{\|a\|_2=1}\int_0^1 \mathbb{E}|\sum_j a_j B_j(q)|\,dq = \frac{\sqrt{2}}{6},\] where the $B_j(q)$ are i.i.d. Bernoulli$(q)$ random variables, which we prove via Fourier analysis. The proof also yields a randomized, near-linear-time algorithm attaining the bounds in expectation.
Lower bounds on the strength of the determinant
We establish new lower bounds for the strength and partition rank of the determinant. For every prime $p$, we prove the exact identity \[ \operatorname{str}(\mathrm{det}_p)=p. \] A weak monotonicity argument, combined with a bound for gaps between consecutive primes, then gives $\operatorname{str}(\mathrm{det}_n)\ge (1-o(1))n^{0.475}$ for sufficiently large $n$. Since the Birch rank of $\mathrm{det}_n$ is always $4$, this gives the first explicit family showing that the dependence on the degree in bounds for strength in terms of Birch rank is unavoidable. Viewing $\mathrm{det}_n$ as an $n$-linear form in its columns, we also prove that its partition rank is at least the largest prime not exceeding $n$. Consequently, \[ n-n^{0.525}\le \operatorname{prk}(\mathrm{det}_n)\le n \] for all sufficiently large $n$, and hence the partition rank of the determinant is $n-o(n)$. The proof introduces an intersection-theoretic method for lower-bounding strength: a short strength decomposition produces a nowhere-vanishing section of a split vector bundle on the complement of the determinantal hypersurface, while a nonzero top Chern class in the Chow ring of $\mathrm{PGL}_n$ obstructs such a section.
An Isodiametric Theorem and Lattice Diameter-Perfect Codes in $A_3$
The root lattice $A_n$, equipped with its graph distance (equivalently, one half of the ambient $\ell_1$ metric), is isometric to $\mathbb{Z}^n$ with the asymmetric Manhattan metric. We study two extremal problems in this space -- the isodiametric problem, i.e., determining the maximum anticode cardinality, and the (non)existence of linear diameter-perfect codes, i.e., lattice tilings by optimal anticodes -- and solve them in dimension $3$. We show that, for every integer $D\ge 0$, the largest cardinality of a diameter-$D$ subset of $A_3$ is $\binom{D+3}{3}+(D+1)\lfloor D^2/4\rfloor$, and this value is attained by the balanced difference of two discrete simplices. We then prove an integrality-refined simplex-packing obstruction: a sublattice of $\mathbb{Z}^n$ of asymmetric Manhattan distance greater than $D$ induces a lattice packing by $(D+1)Δ_n$ in $\mathbb{R}^n$. Combining this observation with the exact lattice-packing density of the tetrahedron yields a complete classification in dimension $3$: lattice diameter-perfect codes in $A_3$ exist precisely for $D=1$ and $D=2$. We also give the equivalent statement for perfect $B_h$ sets of cardinality four. Finally, we formulate a conjecture regarding optimal anticodes in arbitrary dimension, and restate it as an intersection problem for uniform multisets.
Computations of $\tilde{A}_2$ Bruhat intervals via shadows
We develop an explicit geometric and algebraic description of shadows in the affine Coxeter complex of type $\tilde{A}_2$, by introducing a coordinate system based on a decomposition of the complex into tunnels and channels. We also provide an algorithm for converting arbitrary reduced words into coordinates. Using this framework, we identify geometric symmetries of shadows and show that they are governed by the underlying channel structure. This allows us to derive explicit, piecewise formulas for the cardinality of shadows in $\tilde{A}_2$, depending on the parity of the coordinates. Furthermore, we establish a simple criterion for shadow membership via a counting function that detects admissible positions within channels. These results provide a concrete and computationally effective description of shadows in affine type $\tilde{A}_2$, bridging the gap between combinatorial definitions and geometric realisations.