Showing 20 papers (Total: 82851 papers, 47869 authors in database)
Note on near-spanning balanced antidirected trees missing from regular tournaments
We construct near-spanning balanced antidirected trees that fail to embed in highly symmetric tournaments despite the conjectured semidegree condition being satisfied. More precisely, for every sufficiently large odd integer $n$, we exhibit a regular vertex-transitive tournament on $n$ vertices and a balanced antidirected caterpillar on $n-1$ vertices with maximum degree at most $(1+o(1))n/\log_2 n$ that is not contained in the tournament. The host satisfies the strict $k/2$ threshold in both the semidegree and pseudo-semidegree settings, where $k$ is the number of arcs of the target tree. Consequently, this gives counterexamples to the uniform sublinear-degree interpretations of Conjectures~6.8 and~7.6 in Stein's survey (2024). The order $n-1$ of the target is best possible under the strict semidegree hypothesis. We also give a six-vertex balanced antidirected double-star missing from the seven-vertex Paley tournament, and show that seven is the smallest host order for a pseudo-semidegree counterexample with this fixed double-star.
The Boolean lattice $\mathcal{B}_6$ is not a sphere order
Using the equivalence of sphere order representations of posets with Minkowski space embeddings, we show that the Boolean lattice $\mathcal{B}_6$ is not a sphere order. This is the first explicit finite example of a poset that is not a sphere order.
Beyond Liu's 0.382709 threshold for the union-closed sets conjecture
The union-closed sets conjecture asks whether every finite union-closed family containing a nonempty set has an element contained in at least half of its members. Let $c_{\mathrm{UC}}$ denote the largest universal lower bound on this proportion. The best previously proved lower bound is due to Liu and is above $0.3823455$; his own numerical optimization suggested a stronger threshold $c_{\mathrm L}>0.382709087918735$. The main argument of this paper is to use different protocols (suitable families of probability measures) within Liu's framework. In particular, we combine the independent protocol with Liu's Example 5 to prove the conjectured bound $c_{\mathrm{UC}}\ge c_{\mathrm L}$. We then vary the parameter in Example 5 and optimize the choice of the two coefficients in the combination to obtain $c_{\mathrm{UC}}\ge 0.3828852549667978$. We also show that the inequality used in this proof cannot give a threshold larger than $0.3828852599667\ldots$.
A linear gap for the maximal cp-rank
We prove that the maximal cp-rank $p_n$ satisfies $p_n\ge n(n-3)/2$ for odd $n\ge5$ and $p_n\ge n(n-3)/2-1$ for even $n\ge6$. Together with the known upper bound $p_n\le\binom{n+1}{2}-4$, this gives $p_n=n^2/2+O(n)$.
Local Shellings of Broken-Circuit Complexes via Boundary States and the Chromatic Specialization of the Negami Polynomial
For edge-disjoint graphs meeting along a finite boundary, we construct relative shellings of NBC faces with prescribed boundary connectivity. The construction adds paths in spanning forests to the restriction faces of auxiliary rooted-forest complexes. When every edge of the first graph precedes every edge of the second, these relative shellings combine into a shelling with consecutive connectivity blocks. The resulting nonnegative decomposition of the $h$-polynomial realizes the chromatic specialization of the Negami splitting identity. We also give path formulas for gluing graphic Orlik--Terao Gröbner bases across boundaries of size two or three, and a virtual-clique elimination formula for arbitrary boundaries. An exponential output lower bound at treewidth two distinguishes explicit basis enumeration from coefficient computation at fixed treewidth. Finally, state polytopes and their Cayley lifts describe an obstruction to linear block orders in the original coordinates and a lifted realization of these orders.
Greedy Uniformity on Trees: Exact Obstruction and Near-Uniform Spiders
Choose a uniformly random ordering of the vertices of a finite tree and run the usual greedy maximal-independent-set algorithm. We compare the resulting law on maximal independent sets with the uniform law. We prove that exact uniformity occurs only for the one-vertex tree and the single edge. The proof is structural: a diameter endpoint exposes a pendant star, and the remaining one-pendant-leaf case is resolved by a strict injection between exact permutation fibres obtained by swapping the pendant leaf with its support vertex. Exact uniformity is therefore rigid, but it can be approached closely. For an explicit mixed-spider family $T_{k,l}$ we count the maximal independent sets and compute the exact probability of every output. With $l=2^k-k$ the total-variation bias is positive and satisfies [
b(T_{k,2^k-k})=O!\left(\frac{\sqrt{k}}{4^k}\right) =O!\left(\frac{\sqrt{\log n_k}}{n_k^2}\right), \qquad n_k=2^k+k+1. ]
The theorem package has also been formalised in Lean and registered with Palomar. These records document machine-checked formal verification and the checked axiom boundary; they are not peer review or a certificate of novelty.
Maximum Edge Open Packing on AT-Free, Chordal, and Convex Bipartite Graphs
An edge open packing is a set of edges whose endpoints induce a disjoint union of stars. We study the problem of finding a maximum edge open packing in AT-free, chordal, and convex bipartite graphs. For AT-free graphs, we use the oriented star-conflict graph $A_G$, introduced by Das and Santra, for which $ρ_e^o(G)=α(A_G)$, and prove that $A_G$ is AT-free whenever $G$ is AT-free. Consequently, a known maximum independent set algorithm for AT-free graphs yields an $O(n^2+m^4)$-time algorithm for Maximum Edge Open Packing, where $n$ and $m$ denote the numbers of vertices and edges of $G$, respectively. For chordal graphs, we develop an $O(n^4)$-time dynamic programming algorithm over a nice tree decomposition derived from a clique tree, exploiting the structural fact that the endpoint set of an edge open packing intersects every clique in at most two vertices. Finally, for convex bipartite graphs, we obtain an $O(n^4)$-time dynamic programming algorithm based on two boundary indices that separate consecutive star components. This result extends the previously known algorithm for biconvex bipartite graphs and, in particular, provides an improved explicit running-time bound for that class.
Degree sequences of spectrally extremal connected nonregular graphs with prescribed maximum degree: the dense case
Let $G$ be an $n$-vertex connected nonregular graph with maximum degree $Δ$ that attains the maximum spectral radius. For $3\leΔ\le n-2$, Liu and Li (2008) conjectured that $G$ has the degree sequence $(Δ,\ldots,Δ,δ)$ with $δ<Δ$ as large as possible. In this paper, we study the dense case where $Δ=n-k$ with $k\ge4$ fixed and $n$ sufficiently large. We prove that \[ d(G)= \begin{cases} (Δ,\ldots,Δ, 1), & \text{if $n$ is even and $k$ is odd};\\ (Δ,\ldots,Δ,Δ-1), & \text{if $n$ is odd and $k$ is even};\\ (Δ,\ldots,Δ,2), & \text{if $n$ and $k$ have the same parity}. \end{cases} \]
Antichains among Divisor Sums of Divisors
For a positive integer $n$, let $S(n)=\{σ(d): d\mid n\}$ be ordered by divisibility, and let $a(n)$ be its width. We study how much of the divisor lattice of $n$ survives under the map $d\mapsto σ(d)$. For every fixed prime-exponent pattern, the largest possible value of $a(n)$ is the width of a corresponding product of divisibility posets, and this maximum is attained infinitely often. In the squarefree case with $ω(n)=r$, every width from $1$ to $\binom{r}{\lfloor r/2\rfloor}$ occurs, again infinitely often.
For repeated exponent patterns, Engel's limit theory reduces the asymptotic width problem to optimal representation variance. We show that for the divisibility poset $D_m=(\{1,\ldots,m\},\mid)$, the prime directions $2$ and $3$ already determine the exact variance. The structural reason is the critical dilation $4$, lying strictly between $3$ and the next prime $5$. This yields an exact finite formula, the limit $V(D_m)\to 1.0367934201598\ldots$, and asymptotics for repeated exponent patterns. The complementary minimum-width problem remains largely open.
Shuffle squares in smooth binary words and the Kolakoski sequence
A binary word is a shuffle square if its positions can be partitioned into two identical subsequences. A finite word over $\{1,2\}$ is smooth if repeated finite run-length differentiation remains binary until the empty word is reached. This paper proves that every smooth binary word in which both letters have even multiplicity is a shuffle square once its length is at least $18$. There are exactly $34$ exceptions, all of length at most $16$. The infinite part of the proof is a parity-return atom induction: a smooth even-Parikh word factors uniquely into smooth parity atoms, and every such atom has length at most $8$. A finite, independently checkable certificate handles lengths $18$ through $40$. As a consequence, a nonempty prefix of the classical Kolakoski sequence is a shuffle square if and only if both symbols occur an even number of times and its length is not $4$ or $8$. There are infinitely many such prefixes. In fact, the entire infinite Kolakoski sequence can be partitioned into two identical infinite subsequences with monochromatic blocks of uniformly bounded length.
Generic solutions to symmetric linear equations
In 1993, Ruzsa showed that for every $k \geq 2$, there exists a constant $C$ such that every subset $A \subseteq [N]$ of size at least $C N^{1/k}$ contains $2k$ distinct elements $a_1, \ldots, a_k, b_1, \ldots, b_k \in A$ such that $a_1 + \cdots + a_k = b_1 + \cdots + b_k$. We strengthen this result by proving that the elements $a_1, \ldots, a_k, b_1, \ldots, b_k$ can be chosen to have the additional property that $\{a_1, \ldots, a_k, b_1, \ldots, b_k\}$ has $2^{2k}-1$ distinct subset sums, with the only coincidence being that $\{a_1, \ldots, a_k\}$ and $\{b_1, \ldots, b_k\}$ have the same sum.
Our proof also applies to any finite Abelian group of odd order $N$, and it provides a corresponding supersaturation result: that whenever $|A| \geq CN^{1/k}$, there are at least $Ω(|A|^{2k}/N)$ choices for $a_1, \ldots, a_k, b_1, \ldots, b_k \in A$ satisfying these properties. We prove a slightly weaker statement for Abelian groups of even order.
We also apply our methods to the vector space setting and prove the following $\mathbb F_q$-analogue of the Bondy-Simonovits Theorem on the extremal number of even cycles in graphs: Any rank-$n$, simple, $\mathbb F_q$-representable matroid with no circuit of size exactly $2k$ has size at most $C q^{n/k}$ for some constant $C$ depending only on $q$ and $k$. When $q=2$, this is best possible up to the constant $C$ for all $k \geq 2$. Our methods also apply to the original graph setting and give a new proof of the Bondy-Simonovits Theorem and its supersaturation version.
On Colorful Kruskal--Katona Theorems
What is the maximum number of rainbow triangles in an edge-colored graph with $m$ edges and $r$ colors? Using entropic techniques, we prove an upper bound of $C_rm^{3/2}$ rainbow triangles with $C_r=\sqrt{\frac{2(r-2)}{9r}}$; this constant is best possible whenever there exists an affine plane of order $r-1$. We also show that constructions attaining at least $(C_r-\varepsilon_r)m^{3/2}$ rainbow triangles must exhibit an affine plane structure, which further improves the upper bound if no such affine plane exists.
We also consider the problem of counting properly edge-colored cliques of larger sizes. Surprisingly, if the number $r$ of colors is odd, this count is instead maximized by blowups of a properly edge-colored $K_{r+1}$.
An optimal constant for vector balancing with permutations
We present a version of the vector balancing problem in which each vector may be given a sign and a permutation of its coordinates. We prove that this vector balancing problem and its corresponding prefix problem admit an explicit bound, and we further show that it is asymptotically optimal in the dimension. Our method of proof is purely geometric.
Typical intersecting families at $n=2k+1$ and $n=2k+2$
A family of sets is intersecting if every two members intersect, and trivial if all its members contain a common element. We determine the typical structure of $k$-uniform intersecting families on $2k+1$ and $2k+2$ elements as $k\to\infty$. For $n=2k+2$, we prove that almost all intersecting families are trivial and that their number is \[ (2k+2+o(1))\,2^{\binom{2k+1}{k-1}}. \] Together with Yang's recent result for $n\ge 2k+3$, this settles a conjecture of Balogh, Garcia, Li, and Wagner. For $n=2k+1$, almost all intersecting families are nontrivial. We prove that, as conjectured by the same authors, a typical intersecting family is close to a full star: its members outside the star form components of size at most two in the graph joining sets that intersect in $k-1$ elements. We also obtain an asymptotic formula for the number of intersecting families in this case, with an explicit second-order term in the exponent. Our proof combines Sapozhenko's graph container method and stability in Kneser graphs to control families far from every star, and a polymer model and cluster expansion to enumerate families close to a fixed star.
Linear arboricity conjecture for infinite graphs
The linear arboricity $\la(G)$ of a graph $G$ is the least cardinality of linear forests, that is, forests of maximum degree at most $2$, into which its edge set $E(G)$ can be decomposed. The Linear Arboricity Conjecture asserts that $\la(G)\leq\lceil(Δ(G)+1)/2\rceil$ for every finite graph $G$, where $Δ(G)$ denotes the maximum degree of $G$. We extend this conjecture to infinite graphs of finite maximum degree and prove that its finite and infinite versions are equivalent. We introduce topological linear arboricity $\latop (G)$ by requiring the linear forests to contain no topological circle, and show that it differs from linear arboricity by at most one. Finally, we prove that every $2k$-regular graph of girth at least $2k$ has topological linear arboricity at most $k+1$.
Linear circumference in vertex-transitive graphs
We prove that there is an absolute constant $c>0$ such that every connected vertex-transitive graph $G$ on $n \ge 3$ vertices contains a cycle of length at least $cn$. Moreover, every such graph with sufficiently large degree $d$ contains a cycle of length at least $(1-d^{-1/100})n$. This gives the first linear bound towards Lovász's Hamiltonicity conjecture. The proof combines a structural result of DeVos and Mohar on vertex-transitive graphs with a general framework for finding long cycles, which may be of independent interest.
Euclidean Distance Optimization Within the Grassmannian
Given a subvariety of the Grassmannian and a data point, we seek to find a point on the subvariety minimizing the Euclidean distance to the data point. The number of complex critical points of this optimization problem is the Euclidean distance (ED) degree. We show that the ED discriminant of the whole Grassmannian, that is, the set of data points with a number of critical points different than the ED degree, is the discriminant of the characteristic polynomial of the data as a projection matrix. Another closely connected algebraic complexity measure for a subvariety in the Grassmannian is the Grassmann distance (GD) degree, which is the number of complex critical points of the distance optimization problem when the data point itself is in the Grassmannian. We give formulae for ED and GD degrees of geometrically meaningful subvarieties of the Grassmannian, namely, products of smaller Grassmannians, matroid realization varieties, and Schubert varieties.
Matchings and shape-Wilf-Equivalence of sets of patterns of length three II: Quadruples and Quintuples
Building on our classification of shape-Wilf-equivalence classes for triples of patterns of length three, we complete the classification for quadruples and quintuples. The larger pattern sets exhibit structural features that are not captured by the encoding methods used for triples and require additional combinatorial tools. Our main new ingredient is a Dyck-path approach to Ferrers boards containing the staircase board. By introducing distinguished cells and related structural parameters on the associated Dyck paths, we obtain new shape-Wilf-equivalences and, for several classes, explicit formulas for the number of avoiding transversals on a fixed Ferrers board. We further study the corresponding pattern-avoiding perfect matchings through the pattern-preserving bijection of Bloom and Elizalde. Besides deriving recurrence relations, we give bijective interpretations of several matching enumeration sequences in terms of grand Dyck paths, Schröder paths, and Dyck paths. These constructions provide additional combinatorial structure beyond the classification itself. Together with the companion paper on triples, the present work completes the classification of shape-Wilf-equivalence classes for subsets of patterns of length three, apart from the trivial empty and full pattern sets.
Improved upper bounds on the list chromatic number of $K_t$-minor-free graphs
It remains open whether every $K_t$-minor-free graph is $O(t)$-choosable. Postle proved that every $K_t$-minor-free graph has choice number $O(t(\log\log t)^6)$. At the end of an earlier version of a paper establishing an $O(t\log\log t)$ bound on the chromatic number of $K_t$-minor-free graphs, Delcourt and Postle remarked that their methods, combined with Postle's earlier techniques, yield an $O(t(\log\log t)^2)$ bound on the choice number. In this paper, we first prove that every $n$-vertex $K_t$-minor-free graph has choice number $O(t\log(2+n/t))$. Using this bound as a key ingredient, we follow the approach outlined by Delcourt and Postle to prove that every $K_t$-minor-free graph is $O(t\log\log t)$-choosable.
Balanced weightings and permutation matchings applied to the monoid of order-preserving mappings
We give a necessary and sufficient condition for a combinatorial D-class of a finite semigroup to have a permutation matching: that its structure matrix admit a balanced weighting, that is, non-negative weights with constant row sums and constant column sums. This weakens the regularity hypothesis, the role of Hall's lemma being taken up by the Birkhoff--von Neumann theorem. We then apply it to show that the monoid of all order-preserving self-maps of an n-element chain, has a permutation matching.