Showing 20 papers (Total: 82851 papers, 47869 authors in database)
Erdős-Sós via random cyclic orderings
We present a simplified proof of the Erdős-Sós Conjecture on trees in graphs, which is based on its recent resolution by GPT-6 Astra. At the same time, we also give another proof of the corresponding conjecture for antidirected trees in digraphs, posed by Addario-Berry, Havet, Linhares Sales, Reed, and Thomassé. Our proof uses the language of random cyclic orderings in order to take advantage of symmetries that were obscured in the original argument, and we hope that the reader will find it intuitive.
An infinite walk in $\mathbb{N}^{16}$, using only unit steps, with no three collinear points
Is it possible to walk to infinity, avoiding three collinear points, using as steps only the standard unit basis vectors $(0,0,\ldots, 0, 1, 0, \ldots, 0)$? We prove this is possible in $16$ dimensions.
A Forced-Structure Reduction and Verifiable Bounds for Conway's 99-Graph
Conway's 99-graph problem asks whether a strongly regular graph with parameters $\mathrm{srg}(99,14,1,2)$ exists. We develop two complementary lines of attack. Fixing one vertex, the conditions $λ=1$ and $μ=2$ force its neighbourhood to be a perfect matching and determine every edge between that neighbourhood and the remaining vertices. For $(99,14,1,2)$, the unresolved part is therefore a constrained $12$-regular graph on $84$ vertices. We encode this reduction in CP-SAT and validate it by recovering the unique $\mathrm{srg}(9,4,1,2)$. We also prove by exhaustive enumeration that no circulant graph on $\mathbb{Z}/99$ satisfies more than $68.0\%$ of the CAISc constraints, and we give a validated orbit formulation for prescribed automorphisms. We then study the partial-score search problem. Fourteen human-designed search configurations reached at most $69.43\%$. Separately, we supplied the scoring function to an evolutionary program-search system. It produced a degree-preserving $4$-vertex-switch tabu search whose best verified artifact scores $70.73\%$. The generated move differs from those used in our own searches and crosses a plateau that was stable under them. These results do not resolve the existence problem, but they reduce the exact search space and improve the best verified partial construction found in our experiments.
Subindices and subfactors of $\mathbb{Z}_n$ and $k$-index stability of finite groups
We study subindices, subfactors, and index stability in the cyclic group $\mathbb{Z}_n$. We prove several theorems that not only confirm a conjecture and resolve some open problems about index stability of such groups, but also provide basic tools for the characterization of finite $k$-index stable groups. As a consequence, we completely characterize all 2-element index stable subsets of $\mathbb{Z}_n$, obtain an exact closed formula for their density, and determine all $n$ for which every 2-subset is index unstable. Finally, we present some problems and a research project extending the study to 3-subsets and general $k$-subsets.
Intractable enumeration problems are like Russian nesting dolls: structural properties of monomer-dimer coverings on two-dimensional quadratic lattices
Counting the number of coverings of $s$ dimers on two-dimensional quadratic lattices is considered as intractable and belongs to \#P-complete class. We reveal the structure of the exact solution to the problem and provide an explicit formula for it, which includes $s-1$ nesting sums. This results in an exponential time complexity of $O(2^s)$. The solution is explicitly determined by a sequence that exhibits double-exponential growth.
Quasipolynomial density bounds for $K$-point configurations in $\mathbb{Z}^d$
Let $d,K,N\in \mathbb{N}$ with $K\geq 3$ and $d\geq 4K+4$. Let $Δ\subset \mathbb{Z}^d$ be the vertex set of a nondegenerate $(K-1)$-simplex, and let $A\subseteq[N]^d$ contain no nontrivial similar copy of $Δ$. We prove that
\[
|A|\ll_{Δ,d}
N^d\exp\!\left(-c_{Δ,d}\sqrt{\log N}\right)
\] improving upon a polylogarithmic bound due to Magyar. We perform a density increment argument using the circle method, and we introduce a ``cut operator'' method to decouple the weighted exponential sum over the system of quadratic forms describing the simplex. Our proof combines ideas from graph theory, functional analysis, and the geometry of numbers. In the process, we apply Finner's fractional form of Hölder's inequality, the analytic large sieve, and Kim's mean value formula for primitive lattice flags.
Borsuk-Ulam type theorem for the orthogonal group and orthogonal four-partitions
Makeev [2] stated that every finite Borel measure in $\mathbb R^d$ assigning zero mass to hyperplanes can be cut by $d$ mutually orthogonal hyperplanes so that every pair divides the measure into four equal parts, and outlined a proof strategy, but the key steps were left incomplete. We give a direct and elementary proof.
The main ingredient is a Borsuk--Ulam theorem for $O(k)$: every $B_k$-equivariant map from $O(k)$ to a natural representation of the hyperoctahedral group $B_k$ has a zero. An explicit model map has one free orbit of zeros, consisting of the signed eigenbases of a diagonal operator with simple spectrum. A derivative computation and mod-$2$ equivariant degree complete the proof. This is a self-contained proof of a special case of the general Stiefel-manifold theorem in [5].
Rainbow paths in directed graphs
An old problem in combinatorial group theory asks, given a group $Γ$ and a subset $S \subseteq Γ$, when does there exist an ordering $s_1, \cdots, s_k$ of the elements of $S$ such that the partial products $\prod_{i = 1}^j s_i$, $1 \leq j \leq k$, are all distinct. If such an ordering exists, we call $S$ rearrangeable. There have been many conjectures about rearrangeable subsets, the most general being that for every group, every subset not containing the identity element is rearrangeable. We prove an asymptotic version of this: For any Group $Γ$ and any subset $S \subseteq Γ$, there exists a rearrangeable set $S' \subseteq S$ such that $|S'| = |S| - o(|S|)$. To do this we build upon the work of Bucić, Frederickson, Müyesser, Pokrovskiy, and Yepremyan focusing on the following problem of independent interest in Graph Theory. If $G$ is a d-regular properly colored directed graph does there exist a rainbow path of length $d - 1$? We establish an asymptotic version of this, proving that $G$ contains a rainbow path of length $d - o(d)$. This solves two problems given by Bucić, Frederickson, et al. and proves the above result on rearrangeable subsets of groups by considering the Cayley graph of $Γ$ with (not necessarily generating) set $S$.
Monotone Hadwiger Theorems on Spherical and Hyperbolic Convex Sets
For every $n\geq1$, we classify monotone rotation-invariant real-valued valuations on closed spherical convex sets, without assuming continuity or measurability. On proper sets, namely those contained in an open hemisphere, these are precisely the nonnegative linear combinations of the normalized spherical quermassintegrals. On all closed spherical convex sets, they are precisely the linear combinations of the spherical intrinsic volumes with nonnegative, nondecreasing coefficients. The representations are unique, and all such valuations are continuous and invariant under the full orthogonal group. In hyperbolic space, an isometry-invariant real-valued valuation on compact convex sets is continuous if and only if it is a linear combination of the Euler characteristic and the hyperbolic quermassintegrals. This representation is unique. Monotonicity is equivalent to nonnegative coefficients and implies continuity. If monotonicity is required only between nonempty sets, the Euler coefficient is unrestricted in the proper spherical and hyperbolic cases, whereas the classification on all closed spherical convex sets is unchanged. We also obtain corresponding classifications for valuations on closed convex cones that vanish at the zero cone and monotone classifications on compact projectively convex sets contained in an affine chart of real elliptic space.
Small circumference in regular sublinear expanders
Sublinear expansion is weak enough to be extracted from arbitrary graphs while retaining nearly all of their average degree, yet it has proved strong enough to force global structures in many sparse extremal problems. Letzter, Methuku and Sudakov [JLMS 2026] proved the existence of nearly Hamilton cycles in sufficiently dense regular sublinear expanders. Montgomery [ICM 2026] subsequently conjectured that, every $d$-regular sublinear expander with $d$ sufficiently large (but constant) is Hamiltonian. We disprove this conjecture in a strong form by constructing $n$-vertex $d$-regular sublinear expanders with $d=\left(\frac12+o(1)\right)\log^2 n$, which can forbid any cycle covering an arbitrarily small given positive constant portion of its vertices. The construction blows up one side of a biregular Ramanujan graph into almost-complete blocks and keeps the other side as a sparse vertex separator.
We also prove a similar statement for a closely related notion of edge expanders. For every sufficiently small $γ>0$, there is an infinite family of $n$-vertex $d$-regular $γ$-edge-expanders with $d=Θ(γ^{-1})$ and circumference $O(γn)$, matching the standard lower bound $Ω(γn)$. The construction also comes from an expanding regular core such that each vertex has an almost-complete graph attached to it. The core guarantees edge expansion, while the single-vertex attachments confine every cycle.
Discrete Einstein metrics on unicyclic graphs
In earlier work with Cheng and Hua we showed that on a finite tree the Lin--Lu--Yau discrete Einstein equation is a single linear eigenvalue problem: the metric is the Perron eigenvector of an edge-indexed Ricci matrix. We extend this theory to unicyclic graphs. For geodesic cycle weightings of girth at least four, we characterize exactly when the same local matrix computes the true curvature; this is the balanced regime. Schur complementation of the pendant trees then reduces the eigenvalue problem to a periodic transfer equation on the cycle. We obtain closed formulas for bare cycles and regular suns, prove a sharp maximum-degree bound, and show that the spectral top of a fixed localized defect on a growing cycle converges to the top bound state of the corresponding infinite-line operator. This yields an explicit golden-ratio threshold for balance. Outside the balanced regime the active shortest paths and optimal transport constraints must also be tracked, and phenomena impossible on trees occur: the bare four-cycle has a one-parameter family of Einstein metrics, whereas a triangle with one pendant leaf has none. For every regular sun we construct the symmetric Einstein metric and prove that it is the unique Einstein metric, up to scale, among all positive weightings. As long as a normalized Ricci-flow trajectory remains in the balanced cone, its projective dynamics is generated by the fixed Ricci matrix.
Local versus global average degree in bipartite graphs
Let $F_{\mathrm{bip}}(n)$ denote the maximum, over all $n$-vertex bipartite graphs without isolated vertices, of the ratio of the minimum local average degree to the global average degree. We prove that $F_{\mathrm{bip}}(n)=\frac14\sqrt n+\frac38+o(1)$. This answers a problem posed by Tuza.
The lower bound is obtained from a new family of bipartite constructions, while the upper bound is proved by a new algebraic approach, different from the combinatorial methods used previously. The key ingredient is a spectral argument based on a normalized biadjacency matrix.
Frayed Demazure weaves for Poisson-compatible cluster structures on Bott--Samelson charts
Demazure weaves are combinatorial representations of maps between Bott--Samelson cells and have been used to construct cluster structures on braid varieties. We show the compatibility of these maps and the resulting cluster structures with the standard Poisson structure on the Bott--Samelson variety. Adding frayed strands to Demazure weaves, we further construct Poisson compatible cluster structures on other affine charts of the Bott--Samelson variety in a manner that transition functions across charts become rational quasi-cluster. The mutation sequences we construct for these quasi-cluster morphisms are closely related to those of Ménard for open Richardson seeds.
Super-linear Lower Bounds for CSP Non-Redundancy via Shrinking Instances
We say that an instance of a constraint satisfaction problem (CSP) is non-redundant if the satisfaction of each clause cannot be implied by the satisfaction of the other clauses in the instance. The non-redundancy (NRD) of a CSP is the maximal number of clauses a non-redundant instance can have for a given number of variables. NRD is closely tied to the behavior of CSPs in various computational models including their sparsification, kernelization, and streaming complexity. A primary open question in the study of non-redundancy is the identification of which CSP predicates have near-linear NRD. Recent works by Carbonnel [CP 2022], Khanna, Putterman and Sudan [STOC 2025], Brakensiek and Guruswami [STOC 2025] and Brakensiek, Guruswami, Jansen, Lagerkvist, and Wahlström [2025] have introduced various forms of gadget reductions between CSPs to relate their non-redundancy.
The primary contribution of this work is to recontextualize many of these gadget reductions in a framework which we call hypergraph projections. By studying a quantity we call the shrinking factor of these hypergraph projections, we can more precisely predict when a gadget reduction between predicates can yield a super-linear NRD lower bound, greatly improving on the analysis of previous works. To illustrate the power of our framework, we identify some concrete CSP predicates whose non-redundancy is at the cusp of our understanding and show how our methods give lower bounds that could not have been achieved with previous methods. We also demonstrate how these gadget reductions can be automatically deduced using SAT solvers, thereby opening up novel computational avenues for discovering further relationships between the non-redundancy of various CSPs.
Tree-independence number of $P_5$-free graphs with no large bicliques
The tree-independence number of a graph is the minimum, over all tree-decompositions of the graph, of the maximum size of an independent set contained in a bag. Graph classes of bounded tree-independence number have strong structural and algorithmic properties; however, the parameter can be unbounded even in quite restricted classes. In particular, the presence of an induced biclique $K_{\ell,\ell}$ forces tree-independence number at least $\ell$. This leads to the question whether large induced bicliques are the only obstruction to bounded tree-independence number in natural hereditary classes. A conjecture of Dallard, Krnc, Kwon, Milanič, Munaro, Štorgel, and Wiederrecht states that for all positive integers $t$ and $\ell$, ${\{P_t,K_{\ell,\ell}\}}$-free graphs have bounded tree-independence number. We prove this conjecture for ${t=5}$ by showing that every ${\{P_5,K_{\ell,\ell}\}}$-free graph has tree-independence number at most ${4\ell-4}$. We also obtain related bounds for the weaker parameter of $α$-degeneracy and answer a question of Hilaire, Milanič, and Vasić whether tree-independence number of ${\{P_5,K_{\ell,\ell}\}}$-free graphs exceeds $\ell$ by at most an additive constant.
Structural Classes for Chollet's Permanent Conjecture
In 1982, Chollet conjectured that $\operatorname{per}(A\circ B)\leq \operatorname{per}(A)\operatorname{per}(B)$ for Hermitian positive semidefinite matrices $A,B$, where $\circ$ denotes the Hadamard (entrywise) product. In this paper, we study natural structural classes for which the conjecture holds. We first show that a stronger inequality holds for a broad class of matrices with bipartite support. We then introduce a simple way of joining positive semidefinite matrices and give conditions under which Chollet's inequality is preserved under this operation. For graph Laplacians, this operation corresponds to vertex coalescence and gives larger structured graph families satisfying Chollet's inequality from simpler graph classes.
On n-dependent groups and fields III. Multilinear forms and invariant connected components
We develop some model theory of multilinear forms, generalizing Granger's work in the bilinear case. In particular, after proving a quantifier elimination result, we show that for an NIP field $K$, the theory of infinite-dimensional non-degenerate alternating $n$-linear spaces over $K$ is strictly $n$-dependent, and is NSOP$_1$ if $K$ is. These results rely on a new Composition Lemma for functions of arbitrary arity and NIP relations (which in turn relies on certain higher-arity generalizations of the Sauer--Shelah lemma). We also study the invariant connected components $G^{\infty}$ in $n$-dependent groups, demonstrating their relative absoluteness.
On Perfect Divisibility of Bull-Free Graphs Without Long Paths
A graph $G$ is {\em perfectly divisible} if, for every induced subgraph $H$ of $G$, $V(H)$ can be partitioned into $A$ and $B$ such that $H[A]$ is perfect and $ω(H[B])<ω(H)$. Chudnovsky and Sivaraman [J. Graph Theory \textbf{90} (2019) 54-60] proved that every ($P_5$, bull)-free graph is perfectly divisible, while Chen and Xu [Discrete Appl. Math. \textbf{372} (2025) 298-307] proved the same for ($P_7,C_5$, bull)-free graphs. We extend these results by proving that every ($P_8,C_5$, bull)-free graph is perfectly divisible and that, letting $F$ denote the Grötzsch graph, a ($P_6$, bull)-free graph is perfectly divisible if and only if it is $F$-free.
Covering graphs by isometric trees
A connected subgraph of a graph is isometric if it preserves distances. Recently, graphs admitting a vertex or edge covering by a small number of isometric paths have been studied. In this paper, we consider the analogous problem for isometric trees, focusing on the treewidth of graphs admitting a vertex or edge covering by a small number of such trees. Baste, De Meyer, Giocanti, Objois, and Picavet showed that for coverings by two isometric trees, the treewidth is bounded. We show that already for three isometric trees, the treewidth can be linear in the number of vertices. On the positive side, we show that for graphs of bounded degree coverable by a small number of isometric trees, the treewidth is sublinear in the number of vertices.
A Resolution of the McCarty Conjecture
The McCarty Conjecture states that any McCarty Matrix (an $n\times n$ matrix $A$ with positive integer entries and each of the $2n$ row and column sums equal to $n$), can be additively decomposed into two other matrices, $B$ and $C$, such that $B$ has row and column sumsets both equal to $\{1, 2,... n\}$, and $C$ has row and column sumsets both equal to $\{0, 1,... n-1\}$. The problem can also be formulated in terms of bipartite graphs. In this paper we use probabilistic methods to resolve this conjecture.