arXiv++ Combinatorics

Browse math.CO papers from arXiv

contain ↗ reference

7689 papers tagged with this keyword
2026-09-19
Sharp Edge-Edit Bounds at Every Level for Leaky Positive Semidefinite Forcing
This work disproves the 1-leaky positive semidefinite edge-deletion conjecture and replaces it with a sharp theorem. For every leak level $\ell$ and edge $e$, one has $|Z^+_{(\ell)}(G)-Z^+_{(\ell)}(G-e)|\le 2$. More generally, if two graphs differ only on edges with both endpoints in $S$, their parameters differ by at most $|S|$. An endpoint-sensitive refinement recovers an increase of at most one whenever some minimum set for $G-e$ contains an endpoint of $e$. Both signs are sharp for every positive leak level. Joining two copies of $K_{\ell+1}$ by a bridge gives $Z^+_{(\ell)}(G)=2\ell$ and $Z^+_{(\ell)}(G-e)=2\ell+2$. For every $\ell\ge 2$, a connected clique-leaf pair of order $2\ell+3$ gives the opposite difference. The remaining positive-difference one-leak case is attained by connected graphs on nine vertices with $Z^+_{(1)}(H)=4$ and $Z^+_{(1)}(G)=6$. Explicit forcing sequences, fort certificates, and an exact verifier check the finite extremal example and stress-test the general results.
2026-09-18
A colorful Steinitz theorem with different centers
We prove a colorful quantitative Steinitz theorem in which the color classes may have different centers. If the convex hull of each of $2d$ sets in $\R^d$ contains a translate of the Euclidean unit ball, then a rainbow convex hull contains a ball of radius $(3d)^{-2d^2}$ whose center belongs to the convex hull of the given centers. The main ingredient is an exact result for translates of a segment, proved by a lifting and a topological colorful Helly theorem. The same idea also yields a sharp colorful Helly theorem for translated cones: for $1 \le k \le d-1$, if every rainbow selection from $2d-k+1$ finite families of convex sets in $\mathbb{R}^d$ has a $k$-dimensional cone in its intersection, then the intersection of one of the families contains such a cone.
2026-09-18
Digraphs of Large Girth and Dichromatic Number in Tournaments with Large Dichromatic Number
In the 1960s, Erdős and Hajnal conjectured that every graph with sufficiently large chromatic number contains a subgraph of large girth (size of a smallest cycle) and large chromatic number. In this paper, we prove that every tournament with sufficiently large dichromatic number contains a subdigraph of large digirth (size of a smallest directed cycle) and large dichromatic number. We investigate the same statement when replacing digirth by girth (of the underlying graph). We show that it implies the conjecture of Erdős and Hajnal, and prove it for a particular family of tournaments.
The Diametral Metric Dimension of Generalized Corona Graph
This study investigates the diametral metric dimension of generalized corona graphs, where the main graph is connected graph and the branch graphs form a sequence of connected graphs. The concept of diametral metric dimension is an extension of the metric dimension concept, requiring the resolving set to contain all diametral vertices. To determine the diametral metric dimension of a generalized corona graph, one must first identify the distance of each vertex in the graph and the graph's diametral set. Subsequently, a resolving set containing the diametral set is determined. The results show that the diametral metric dimension of the generalized corona graph depends on the diameter of the main graph and the metric dimensions of the graphs in the sequence. These concepts provide theoretical insights into resolving structures in the planning infrastructure and motivate further studies on other graph families and graph operations.
2026-09-18
Finite deletion-induced saturation for every non-complete graph
A graph $G$ is deletion-induced-saturated for $H$ if $G$ has an edge, contains no induced copy of $H$, and deleting any edge of $G$ creates an induced copy of $H$. We prove, with finite certificate verification, that a finite graph $H$ admits such a finite graph $G$ if and only if $H$ is not complete. This resolves the deletion conjecture of Fan, Hajebi, Hajebi and Spirkl. The main step transfers suitable free amalgamations to finite extensions using a local lifting theorem of Auinger, Bitterlich and Otto. A second criterion treats edge addition by protecting specified nonedges and then taking a maximal induced-$H$-free completion. Structural results of Bonamy, Groenland, Johnston, Morrison and Scott reduce the remaining targets to dense templates and a finite hereditary class. Two uniform constructions in halved cubes handle the dense templates. The finite part is supported by exhaustive coverage certificates, structural certificates and explicit hosts, including a circulant graph on $30$ vertices.
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.
2026-09-18 v2
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$.
2026-09-18 v3
Non-affine Families of 8 x 8 Complex Hadamard Matrices
Published in Linear and Multilinear Algebra 74 (2026), no. 8, 1039-1061 • View Publication • BIB
Six non-affine 3-parameter families of complex Hadamard matrices of order 8 are presented. These families contain Hadamard matrices that are not equivalent to any previously known Hadamard matrices in the literature. Each family arises from unimodular points of an affine variety defined by palindromic polynomials. The families are given as an image of a function that solves the corresponding system of polynomials on a domain that guarantees unimodularity of the solutions
2026-09-17
Four collinear points or six visible points
Every finite planar set of at least $880$ points contains four collinear points or six pairwise visible points.
2026-09-17
Infinite prime sumsets in structured and $U^k(Φ)$-uniform sets
By introducing new ergodic-theoretic techniques in nilsystems, we determine which infinite sumset configurations occur in $U^k(Φ)$-uniform and Nil-Bohr sets. To be more precise, our first result associates the degree $k$ of a $U^k(Φ)$-uniform set with the variety of sumsets it contains, solving a conjecture of Kra, Moreira, Richter and Robertson. Restricting to Nil-Bohr sets we show the existence of infinite sumsets with summands in the shifted primes $\mathbb{P}-1$. As a consequence, we show that for any real polynomial $Q(n)$ with leading irrational coefficient of degree $k$, and any natural numbers $\ell_1, \cdots, \ell_k$ there is an infinite set $P\subset \mathbb{P}$ such that \begin{equation*} Q\Big(\sum_{p \in I} p\Big) \in U \pmod 1 \quad \text{ for all } I \subset P , |I| = \ell_1, \ldots, \ell_k. \end{equation*}
2026-09-17
Nearly Spanning Regular Subgraphs
Alon and Mubayi asked whether, for every integer $k\ge1$ and every $\varepsilon>0$, there exists $r_0=r_0(k,\varepsilon)$ such that every $r$-regular graph on $n$ vertices with $r\ge r_0$ contains a $k$-regular subgraph covering at least $(1-\varepsilon)n$ vertices. Previously, the conjecture was known for $k\in\{1,2\}$ and for $k$ and $r$ both even. We answer this question affirmatively for general $k$ and $r$ with $\varepsilon=O_k(r^{-1/2})$. For $k=2$ and every odd $r\ge3$, we show that $\varepsilon=1/(r^2-3)$ suffices which is best possible.
2026-09-17
Spreads of degrees in graphs
For a graph $G$ and a set $B\subseteq V(G)$, the spread $\mathrm{sp}(B)$ of $B$ is the difference between the largest and the smallest degree in $G$ of a vertex of $B$, and for an integer $k\geq0$ the parameter $\mathrm{sp}(G,k)$ is the largest cardinality of a set $B$ with $\mathrm{sp}(B)\leq k$. Caro, Lauri and Zarb derived a lower bound for $\mathrm{sp}(G,k)$ and, among several families of graphs, considered \[ \mathrm{MOP}(n,k)=\min \{\mathrm{sp}(G,k):G\text{ is a maximal outerplanar graph of order }n\} \] and determined $\mathrm{MOP}(n,k)$ up to an additive constant for every $k\not =2,$ leaving the case $k=2$ open, with the bounds $4n/9\leq \mathrm{MOP}(n,2)\leq (5n+19)/11$. We first prove a lower bound on $\mathrm{sp}(G,k)$ for an arbitrary graph $G$ in terms of its order $n$, its number of edges $m$ and its minimum degree $δ$. This lower bound contains the bounds of Caro, Lauri and Zarb and, for $k=0$, the bound $\mathrm{rep}(G)\geq \left\lceil n/(2d-2δ+1)\right\rceil $ of Caro and West, where $d=2m/n$. We determine when this lower bound is attained, exhibit explicit graphs attaining it, and show that it is exact for all graphs once $n\geq n_{0}(δ,k,d)$. We then apply the bound to maximal outerplanar graphs: adjusting the count to this class we prove \[ \mathrm{MOP}(n,2)\geq \left\lceil \frac{4n+10}{9}\right\rceil \qquad \text{for every }n\geq 14, \] with equality for $n\equiv 2\ (\mathrm{mod}\ 18)$, and $\mathrm{MOP}(n,2)=4n/9+O(1)$ for every $n$.
2026-09-17
Ordered matchings versus triangles via pseudorandom triangle-free graphs
For ordered graphs $H_1,\ldots,H_t$, let $\rt(H_1,\ldots,H_t)$ denote the least integer $N$ such that every $t$-coloring of the edges of the naturally ordered complete graph on $[N]$ contains an ordered copy of $H_i$ in color $i$ for some $i\in[t]$. We prove that a uniformly random ordered matching $M$ on $n$ vertices with interval chromatic number two asymptotically almost surely satisfies \[ \rt(K_3,M) =Ω\left(\frac{n^{4/3}}{(\log n)^{1/3}}\right). \] This strengthens the lower bound $Ω((n/\log n)^{5/4})$ of Balko and Poljak for such random matchings and improves the general existential lower bound of Conlon, Fox, Lee and Sudakov by a factor of $\log n$. The proof combines pseudorandom triangle-free graphs, a coarse encoding of order-preserving embeddings, and a permutation avoidance estimate derived from Brègman's inequality.
2026-09-17 v2
Ramsey multiplicity and extremal colorings for odd cycles
The Ramsey number $r(H)$ of a graph $H$ is the minimum positive integer $N$ such that every red/blue edge-coloring of the complete graph $K_N$ on $N$ vertices contains a monochromatic copy of $H$. The Ramsey multiplicity $M(H,n)$ is the minimum number of monochromatic copies of $H$ over all red/blue edge-colorings of $K_n$. It is called threshold Ramsey multiplicity if $n=r(H)$, and denoted by $m(H)$. The only previously known general infinite family for which $m(H)$ has been determined is stars, due to Harary and Prins (1974). Let $C_k$ denote a cycle on $k$ vertices. Conlon, Fox, Sudakov, and Wei (2022) conjectured that $m(C_k)=(k-1)!/2$ for every sufficiently large odd integer $k$. In this paper, we determine $M(C_k,r(C_k)+\ell)$ for every fixed nonnegative integer $\ell$ and all sufficiently large odd $k$, and characterize all extremal colorings, thereby confirming the conjecture. This is also a second general infinite family for which $m(H)$ has been determined.
2026-09-17 v3
On Polynomial Progressions Inside Sets of Large Dimension
In this note we connect Sobolev estimates in the context of polynomial averages e.g.\ \begin{align}\label{e:savings} \| \int_0^1 \prod_{k=1}^m f_k(x-t^k) \|_{1} \leq \text{Const} \cdot 2^{-\text{const} \cdot l} \prod_{i=1}^m \| f_k \|_m \end{align} whenever some $f_i$ vanishes on $\{ |ξ| \leq 2^l \}$ to the existence of polynomial progressions inside of sets of sufficiently large Hausdorff dimension, in analogy with work of Peluse in the discrete context. Our strongest results builds off work of Becker-Krause and is as follows: suppose that $\mathcal{P} = \{a_{d_1} t^{d_1}, a_{d_2} t^{d_2},\dots, a_{d_k} t^{d_k}\}$ vanish at the origin at different rates, and that $E \subset [0,1]$ has sufficiently large Hausdorff dimension, \[ 1 - \text{const}(\mathcal{P}) < \text{dim}_H(E) < 1 \] and Hausdorff content bounded away from zero, sufficiently large in terms of its dimension. Then $E$ contains a non-trivial polynomial progression of the form \begin{align} \{ x , x - a_{d_1} t^{d_1}, x - a_{d_2} t^{d_2}, \dots, x - a_{d_k} t^{d_k} \} \subset E, \; \; \; t \neq 0. \end{align} Also, using the Fourier spectrum, we provide a short proof that whenever $E$ supports a measure with both positive Fourier dimension and a sufficiently large Frostman condition, it necessarily contains a non-trivial generalized three-term arithmetic progression of the form \[ \{ x, x - γ_1 t, x- γ_2 t\} \subset E, \; \; \; γ_i \in \mathbb{Q},\ t \neq 0.\]
2026-09-16
Total-coloring of planar graphs with maximum degree 6 and without prescribed 4-cycles
The Total Coloring Conjecture (TCC) is a challenging unsolved problem posed by Behzad and Vizing independently, which states that every simple graph $G$ admits a ($Δ(G)$ +2)-total-coloring, where $Δ(G)$ denotes the maximum degree of $G$. This conjecture has been confirmed for graphs with $Δ(G)\leq 5$. However, for planar graphs, the only open case is $Δ(G)=6$. It was known that planar graphs with maximum degree 6 and without 4-cycles are 7-totally-colorable. In this paper, we improve this result by showing that any planar graph $G$ of maximum degree 6, which does not contain some special 4-cycles, is 7-totally-colorable.
Finite groups with large power-avoiding subsets
A subset $X$ of a finite group $G$ is $k$-power-avoiding if for all $g\in G$ we have that $\{g,g^k\}\not\subseteq X$. The paper shows that if $G$ contains a $k$-power-avoiding subset $X$ with $|X|\geq |G|-c$, then the group $G^k$ generated by the $k$th powers of elements of $G$ has bounded order (in $k$ and $c$). We provide more detailed structural results when $c\leq 2$, and in particular we classify the groups which arise when $c\leq 2$ and $k$ is prime.
2026-09-16
Antidirected forests in digraphs
A digraph is antidirected if every vertex has indegree zero or outdegree zero. Let $k\ge2$, and let $F$ be an antidirected forest with $k$ arcs and no isolated vertices. We prove that every digraph $D$ of order $n$ with more than $g_k(n):=2\max\left\{\binom{2k-1}{2}, (k-1)\left(n-\frac{k}{2}\right)\right\}$ arcs contains $F$ as a subdigraph. For $n\ge2k-1$, this threshold equals $2\mathrm{ex}(n,kK_2)$ and is attained by symmetric digraphs arising from extremal $kK_2$-free graphs. Consequently, the maximum directed extremal number over all such forests is $2\mathrm{ex}(n,kK_2)$. The proof combines a counting inequality for rooted antidirected forests, embeddings extending vertex-disjoint arcs, and vertex deletion. In the remaining case, the Gallai--Edmonds decomposition of the underlying graph gives the required bound on the number of arcs.
2026-09-16
Turán-type extremal problems for unbalanced signed graphs
In this paper, we establish two Turán-type results for signed graphs. We first generalize the classical Turán theorem to signed graphs and then extend Nikiforov's spectral Turán theorem to signed graphs. Moreover, we determine the second maximum spectral radius among all unbalanced signed graphs that contain no balanced complete signed subgraph on \(r+1\) vertices.
2026-09-16
A near-linear upper bound for Burr's conjecture
Let $f(k)$ denote the smallest integer such that every oriented graph $D$ with chromatic number at least $f(k)$ contains every oriented tree on $k$ vertices. Burr (1980) showed that $f(k)\le (k-1)^2$ and conjectured that $f(k)=2k-2$. Bessy, Gonçalves and Reinald (2025) proved that $f(k)=O(k^{3/2})$. In this paper, by using an absorbing set method, we show that $f(k)\le \lfloor 31\log (k!)\rfloor=O(k\log k)$.