math.CO ↗ arXiv
7121 papers in this category
Low discrepancy and spectral gap for directed hypergraphs via spectral regularity lemma for tensors
We show that low discrepancy is equivalent to spectral gap for directed $k$-uniform hypergraphs. For undirected hypergraphs this recovers a theorem of Lenz and Mubayi, with a considerably shorter proof. At the heart of our argument is a Frieze--Kannan type spectral regularity lemma for hypergraphs based on the variational notion of hypergraph eigenvalues by Friedman--Wigderson, which decomposes any tensor into a bounded number of rank-one tensors plus a quasi-random tensor with small top eigenvalue. This lemma may be of independent interest, and we prove it for complex-valued, not necessarily symmetric tensors.
We also briefly discuss a Szemerédi-type variant and the regularization of Cayley-type hypergraphs over finite abelian groups.
Nonexistence of strongly regular graphs via multipoint spherical semidefinite bounds
We use multipoint semidefinite programming to prove the nonexistence of strongly regular graphs. A normalized eigenspace projection of a primitive strongly regular graph gives a spherical two-distance set with one point for each vertex. A bound smaller than the required number of points therefore rules out the graph. Following the formulations of de Laat et al. and Kao and Yu, we use, for each reference type, coefficient matrices indexed by the feasible inner-product labels of the selected points. In degree zero, we combine the matrix coordinates indexed by the reference points into a single coordinate. The resulting programs use configurations of up to six points, with matrix orders at most $2^m+1$ for a reference set of $m$ points. Feasible dual solutions, verified in exact rational arithmetic, exclude strongly regular graphs with parameters $(351,140,73,44)$, $(550,162,75,36)$, $(703,182,81,35)$ and $(1344,221,88,26)$.
Improved bounds on completion of partial Latin squares
A Latin square of order $n$ is an $n \times n$ array filled with $n$ symbols so that each symbol appears exactly once in every row and column. A partial Latin square of order $n$ is an $n \times n$ array whose cells are either empty or filled in such a way that each symbol appears at most once in every row and column, and at most $n$ distinct symbols are used. In 1983, Daykin and Häggkvist conjectured that every partial Latin square in which each row and column contains at most $n/4$ symbols, and each symbol is used at most $n/4$ times, can be completed to a Latin square. We prove that every partial Latin square in which each row and column contains at most $0.231n$ symbols, and each symbol is used at most $0.231n$ times, can be completed to a Latin square, significantly improving the previous best-known bound of $0.08n$, obtained by Fu and Weng. This problem can be seen as a partite analogue of the Nash-Williams conjecture concerning triangle decompositions of dense graphs, recently proved in the breakthrough work of Delcourt and Postle. Our proof uses a `discharging' strategy, adapting the approach of Delcourt and Postle, combined with a novel method to achieve a `balancedness' property, required for the partite setting.
The topological Bárány-Larman conjecture for prime numbers
The Bárány-Larman conjecture states that for any $d+1$ sets of $r$ points each in $\mathbb{R}^d$, considered as color classes, we can partition their union into $r$ rainbow $(d+1)$-tuples whose convex hulls intersect. We prove that the topological version of this conjecture holds when $r$ is a prime number. We also show that the optimal colorful Tverberg theorem of Blagojević, Matschke, and Ziegler cannot be extended to prime powers.
Absolute moved spaces and noncrossing partition posets in arbitrary Coxeter groups
The interval $[1,c]_T$ between the identity element and a Coxeter element $c$ in the absolute order on a Coxeter group $W$ is a generalization of the poset of noncrossing partitions arising when $W$ is the symmetric group. When $W$ is finite, this poset is always a lattice, and it is natural to associate to every element $w\in [1,c]_T$ its \textit{moved space} $\mathsf{Mov}(w)=\mathrm{Im}(w - \mathrm{Id}_V)$ in the geometric representation $V$ of $W$. It has dimension equal to the reflection length $\ell_T(w)$ of $w$, and gives a realization of $[1,c]_T$ inside the lattice of subspaces of $V$. It is an important tool in the study of $[1,c]_T$. When $W$ is infinite, the moved space of an element $w\in [1,c]_T$ no longer has dimension $\ell_T(w)$ in general, and distinct elements may have the same moved space.
We propose a replacement for the moved space of an element $w\in [1,c]_T$ in an arbitrary Coxeter group, that we call \textit{absolute moved space} of $w$. This subspace $\mathsf{AM}(w)$ of $V$ always contains $\mathsf{Mov}(w)$ and has dimension equal to $\ell_T(w)$, and distinct elements have distinct absolute moved spaces. This allows us to derive several properties of noncrossing partition posets that hold in full generality, and to show that the natural map from $[1,c]_T$ to reflection subgroups of $W$, which to $w\in [1,c]_T$ associates the subgroup $P(w)$ generated by reflections lying below $w$ in the absolute order, is always injective. Among others, we also derive a new proof of the lattice property of $[1,c]_T$ when $W$ has rank three, and exhibit infinitely many new examples of infinite Coxeter groups of rank four and choices of Coxeter elements for which $[1,c]_T$ fails to be a lattice.
Near-uniform $q$-matroids
We study the $q$-matroids associated with nondegenerate $\F_{q^m}$-linear near-MRD codes, which we call near-uniform $q$-matroids. Using the correspondence between rank-metric codes and their associated $q$-systems, we determine explicitly their rank functions and characterize their cyclic flats. We show that near-uniform $q$-matroids form a class of representable paving $q$-matroids. and prove an upper bound on the number of their cyclic flats, which is shown to be sharp for certain parameters. Finally, when $n>m$, exploiting the rank distribution of near-MRD codes, we obtain an exact count of the nontrivial cyclic flats of the associated $q$-matroids.
Structural and computational aspects of majority coloring games
A majority coloring of a graph $G = (V,E)$ is a coloring of $V(G)$ such that, for each vertex $v$, the number of neighbors of $v$ with the same color as $v$ is at most $deg(v)/2$. A strong majority coloring is a coloring of $V(G)$ such that, for each vertex $v$, every monochromatic subset of $N(v)$ has size at most $deg(v)/2$. The (strong) majority coloring game is a two-player Maker-Breaker-type game, in which two players Alice and Bob color the vertices of a graph $G$ alternately, maintaining the (strong) majority condition. The least number of colors such that Alice has a winning strategy in such a game is called the (strong) majority game chromatic number of the graph $G$, denoted $μ_g(G)$ (or $\mathrm{Maj}_g(G)$ for the strong version).
For the majority coloring game, we prove that $μ_g(G) \le 3$ under the following cases: $G$ is a $2$-caterpillar, $G$ is a rooted tree with all leaves at depth $k \le 4$, and $G$ is a subdivision of some graph. The latter resolves a problem posed by Bosek--Grytczuk--Jakóbczak in 2019, who also asked whether $μ_g(T) \le 3$ for every tree $T$. For the latter question, we discuss various difficulties that arise when natural strategies are attempted by Alice to win the majority coloring game on trees. We include a comparison with the marking game and relaxed coloring game on trees, and with the majority coloring game on locally finite acyclic graphs $G$ with $δ(G) > 1$.
For the strong majority coloring game, we compute $\mathrm{Maj}_g(C_n)$ exactly for each cycle $C_n$, $n \ge 3$. We also initiate the study of the computational complexity of the strong majority coloring game; specifically, we prove that the decision version of the Strong Majority Game Chromatic Number problem is PSPACE-complete. We also show that the Strong Majority 2-Coloring problem is NP-complete on Eulerian graphs.
Weighted coloop splittings in rank six
With a view toward applications in Riemannian geometry, we explore coloop splitting properties of regular matroids. Nienhaus showed by classification in rank four that a regular matroid has a cocircuit whose deletion yields two coloops unless the matroid takes a particular form. In the latter case, one can split off any element of the ground set as a coloop. We reprove this using Seymour's structure theorem for regular matroids and prove an extension to matroids of ranks five and six. As an application to Riemannian geometry, we prove that the torus symmetry assumption in a recent result of Mouillé, Nienhaus, and the second author can be relaxed from rank ten to rank nine.
Connected graphs with minimum adjacency spectral gap
Let $G$ be a connected graph, and let $λ_1(G) > λ_2(G)$ denote its two largest adjacency eigenvalues. The spectral gap of $G$ is defined as the difference $λ_1(G) - λ_2(G)$. For integers $r\geq 2$ and $s\geq 0$, the double kite $DK(r,s)$ is formed by taking two vertex-disjoint copies of the complete graph $K_r$ and joining one specified vertex of each clique to a path with $s$ internal vertices. Stanić (2013) conjectured that every connected $n$-vertex graph with minimum adjacency spectral gap is a double kite. In this paper, we confirm this conjecture for sufficiently large $n$.
Forbidden subposet problems in the linear lattice
We study weak and strong forbidden subposet problems in the linear lattice $L_n(q)$. We show that the $q$-analogues of the Bukh--Griggs--Lu conjecture fail for every prime power $q$. If $q\ge 3$ and $n$ and $d$ have opposite parity, then $La_q(n,L_d(q))=La_q^*(n,L_d(q))=Σ_q(n,d)$. We also show that $La_q(n,D_s)=La_q^*(n,D_s)=Σ_q(n,2)$ for $2\le s\le q$ and all $n$, and for $s=q+1$ when $n$ is odd. For $n$ even, a maximum strong $D_{q+1}$-free family can be contained from the three middle layers. The case $s=2$ settles the $q$-analog of the diamond conjecture in the affirmative.
Extremal hypergraphs without generalized 4-cycles
In 1977, Erdős posed the problem of determining the maximum number $f_r(n)$ of edges in an $n$-vertex $r$-uniform hypergraph in which all disjoint pairs of edges have distinct unions. Füredi later conjectured that, for every fixed $r\ge 4$ and all sufficiently large $n$, $f_r(n)=\binom{n-1}{r-1}+\lfloor \frac{n-1}{r}\rfloor$. In this paper, we prove this conjecture and determine all extremal configurations. Our proof combines a stability theorem for such dense hypergraphs with a delicate deletion argument applied to an associated bipartite $3$-graph. The stability theorem also resolves a conjecture of Mubayi.
Lorentzian polynomials and log-concavity of the independence polynomials of graphs
In this paper, we first construct two graphs $\mathcal{F}(l,m,t,s)$ and $\mathcal{G}_4(l,m,t,s)$. Then we introduce the graph $\mathcal{F}_n(l,m,t,s)$ and the operator $E_{\mathcal{G}_4(l,m,t,s)}$, where $\mathcal{F}_n(l,m,t,s)$ is defined by identifying the vertex $c$ of $n$ copies of $\mathcal{F}(l,m,t,s)$, and $E_{\mathcal{G}_4(l,m,t,s)}$ is defined by replacing each edge of $G$ with $\mathcal{G}_4(l,m,t,s)$, for any simple finite undirected graph $G$. By using the theory of Lorentzian polynomials, we prove that the independence polynomials of the graphs $\mathcal{F}_n(l,m,t,s)$ and the image graphs of $E_{\mathcal{G}_4(l,m,t,s)}$ are log-concave, respectively. As applications, our results not only make progress on the conjecture of Alavi, Malde, Schwenk and Erdős, but also generalize the results of Bendjeddou and Hardiman.
Real-rootedness and ultra log-concavity of rank-two matroid Ehrhart $h^*$-polynomials
We prove that the Ehrhart $h^*$-polynomial of a rank-two matroid with exactly three parallel classes is real-rooted whenever its smallest parallel class has size at most three. This bound is sharp: the rank-two matroids with parallel-class sizes $(4,561,600)$ and $(4,a,a+29)$, for all sufficiently large integers $a$, have $h^*$-polynomials that are not real-rooted. These counterexamples disprove Ferroni's real-rootedness conjecture. Their duals are cycle matroids of theta graphs and have the same $h^*$-polynomials. Nevertheless, every matroid of rank two or corank two has a positive $h^*$-coefficient sequence that is ultra log-concave of order equal to the polynomial's degree. In particular, the unimodality conjecture holds in both cases.
A counterexample to Nagamochi's scoring lemma and a new rectangle packing bound
Let $s(N)$ denote the smallest side length of a square containing $N$ unit squares with arbitrary orientations and pairwise disjoint interiors. Nagamochi's Packing Unit Squares in a Rectangle (2005) states a rectangle packing bound from which he deduces two infinite families of exact values: $s(k^2-1) = k$ and $s(k^2-2) = k$ for every integer $k \geq 2$. We construct a family of counterexamples, local to a corner of the container, to the scoring assertion in Nagamochi's Lemma 1. These counterexamples show that the published proof of the rectangle bound is incomplete, but do not disprove the bound itself. We then give an independent proof of a weaker rectangle bound using a strip measure. This recovers $s(k^2-1) = k$ for every integer $k \geq 2$ and yields an explicit lower bound for $s(N)$ that improves strictly on the area bound for every nonsquare integer $N \geq 8$. Our argument does not establish Nagamochi's full rectangle bound or the identity $s(k^2-2) = k$.
Elementary Askey-Wilson Functions
We present a determinantal evaluation formula for the very-well-poised ${}_8Φ_7$ basic hypergeometric Askey-Wilson function in terms of elementary functions. The formula in question is valid for discrete values of the four permutation-symmetric Askey-Wilson parameters; specifically, these consist of all quadruples of parameter values that are given, up to a sign, by powers $q^k$ with $k$ a positive integer or half-integer, in such a way that each of the four types (positive/negative sign, integer/half-integer power) occurs exactly once. The proof hinges on a product formula for an associated Cauchy-type determinant, which is of independent interest and is established here by elementary means using Krattenthaler's `identification of factors' method for determinant evaluations.
Generalized Turán problems for shorter even cycles
For graphs $H$ and $F$, let $\text{ex}(n,H,F)$ denote the maximum number of copies of $H$ in an $n$-vertex $F$-free graph. Gerbner, Győri, Methuku, and Vizer proved that $\text{ex}(n,C_{2\ell},C_{2k})=Θ(n^\ell)$ for $k>\ell\ge2$. They determined the leading term for $\ell=2$, but for $k>\ell\ge3$ their general lower and upper bounds had different leading constants, leaving open the problem of closing this gap. We solve this problem by showing that, for every $k>\ell\ge2$, \[\text{ex}(n,C_{2\ell},C_{2k})=\left(\frac{(k-1)_\ell}{2\ell}+o(1)\right)n^\ell, \] where $(k-1)_\ell=(k-1)(k-2)\cdots(k-\ell)$.
Perfect Matching in $k$-Partite $k$-Uniform Hypergraphs
A balanced $k$-partite $k$-graph is a $k$-uniform hypergraph whose vertex set is partitioned into $k$ classes of the same size and whose edges meet every class in exactly one vertex. Lo and Markström (2014) determined the minimum vertex-degree threshold for perfect matchings when $k=3$, and Lu, Wang and Yuan recently determined it when $k=4$. We prove the corresponding exact result for every fixed $k\ge5$ and all sufficiently large class sizes. The close case follows from the general theorem of Lu, Wang and Yuan. For the non-closed case, we extend their stability result from the 3-partite setting to arbitrary partite uniformity, using the probability-tail rigidity theorem of Cao, Liu and Zhang, thereby replacing the earlier weighted lemma.
The small Davenport constant of $E_2\times C_3^r$ for $0\le r\le3$
Let $E_2$ be the extraspecial group of order $3^5$ and exponent three. We prove that $d(E_2\times C_3^r)=2r+10$ for $0\le r\le3$. The upper bounds follow from signed zero-block identities and two finite statements in the four-dimensional symplectic space over $\mathbb F_3$. The first supplies edge weights for all completable balanced triangles on any indexed list of at most sixteen nonzero vectors. The second supplies weights for the direction families that can occur in a critical list with no central terms. We give complete coverage arguments, exact certificate files, and separately implemented checking programs. A compression argument removes any need for an induction through smaller list lengths in the sixteen-term potential theorem. The formula for $r\ge4$ remains open.
A counterexample to the Fang--Lin conjecture: Edge and spectral extremality diverge near a Turán graph
Fang and Lin [J. Algebraic Combin. 63 (2026), Art.~58] asked whether, whenever $F$ is edge-color-critical with $χ(F)=r+1$, every non-$r$-partite, $F$-free graph of maximum adjacency spectral radius must also maximize the number of edges. We give a negative answer. Let $F=K_1\veeμ(K_3)$, where $μ(K_3)$ is the Mycielskian of a triangle. This graph is edge-color-critical with $χ(F)=5$. We prove that $\SPEX_{5}(n,F)\cap\EX_{5}(n,F)=\varnothing$ for all sufficiently large $n$. Thus no graph can simultaneously maximize both the edge count and the spectral radius.
An equivalent form of Hindman's Theorem
We prove the equivalence of Hindman's finite sums theorem with a natural extension of Ramsey's theorem.