contain ↗ reference
7689 papers tagged with this keyword
Sparse spanning $k$-strong oriented subdigraphs in split digraphs
Jackson and Thomassen conjectured that every $2k$-strong digraph admits a spanning $k$-strong oriented subdigraph [Ann. N. Y. Acad. Sci. 555 (1989) 402-412]. The conjecture holds for $k=1$ but other than some partial results that have been obtained for general $k$ in some special families of digraphs, including symmetric digraphs, the conjecture remains wide open in general. Even the existence of an integer $K$ such that every $K$-strong digraph has a 2-strong spanning oriented subdigraph is open. As a natural optimization counterpart, the minimum spanning $k$-strong subdigraph (MSSS$_k$) problem, is to find the minimum number of arcs in a spanning $k$-strong subdigraph of a $k$-strong digraph. This problem is NP-hard already for $k=1$ as it generalizes the hamiltonian cycle problem. In this paper, we address both problems simultaneously for the class of split digraphs, by constructing sparse spanning $k$-strong oriented subdigraphs. Specifically, we prove that every $k$-strong split digraph $D = (V_1, V_2; A)$ with minimum semi-degree {$δ^0(D)\geq 26k+15$} contains a spanning $k$-strong oriented subdigraph with no more than $kn+k|V_1|+98k^2+38k+3$ arcs, where $kn + k|V_1|$ is tight and the $k^{2}$ term is tight up to a constant factor. For the class of $k$-strong tournaments with minimum semi-degree at least $26k+15$ our results improve the bound obtained by Kang in [Combin. Probab. Comput., 27:892-907, 2018].
An improved finite bound for oriented trees in tournaments
Sumner's universal tournament conjecture asserts that every tournament on $2n-2$ vertices contains every oriented tree on $n$ vertices. Let $f(n)$ be the least integer $N$ such that every tournament on $N$ vertices contains every oriented tree on $n$ vertices. Havet and Thomassé proved that $f(n)\le \lceil(7n-5)/2\rceil$, El Sahili improved this to $f(n)\le3n-3$, and Dross and Havet subsequently obtained $f(n)\le\lceil21n/8-47/16\rceil$. We refine their median-order method. More precisely, every non-bi-arborescence on $n$ vertices with $k$ leaves is $(4n-2k-4)$-unavoidable, which strictly improves their many-leaf estimate; bi-arborescences satisfy the stronger bound $2n-2$. Combining this refinement with their few-leaf bound gives $f(n)\le\lceil(18n-23)/7\rceil$ for every $n\ge2$. Thus the coefficient in the previously best general bound valid uniformly for all $n$ is reduced from $21/8$ to $18/7$.
On ${\rm b}^{\ast}$-Coloring and $z$-Coloring of graphs with high girth
In a proper vertex coloring $c$ of a graph $G$, a vertex $u$ is called a b-vertex if $u$ is adjacent to a vertex in every other color class. A ${\rm b}^{\ast}$-coloring is a proper coloring in which a b-vertex is adjacent to a b-vertex in every other color class. A Grundy coloring is a proper coloring obtained by the First-Fit (greedy) coloring procedure. A $z$-coloring of $G$ is a ${\rm b}^{\ast}$-coloring that is also a Grundy coloring. The ${\rm b}^{\ast}$-chromatic number (resp., $z$-chromatic number), denoted by ${\rm b}^{\ast}(G)$ (resp., $z(G)$), is the maximum number of colors used in a ${\rm b}^{\ast}$-coloring (resp., $z$-coloring) of $G$. Every graph admits a ${\rm b}^{\ast}$-coloring and a $z$-coloring that can be found using a polynomial-time coloring heuristic. Let ${\rm m}^{\ast}(G)$ be the largest integer $k$ such that a vertex of degree at least $k$ in $G$ has $k$ neighbors of degree at least $k$. We employ list-coloring techniques to prove that if $G$ has a girth of at least $7$, then ${\rm b}^{\ast}(G) = {\rm m}^{\ast}(G)+ 1$. A similar result is obtained for graphs of girth at least $6$ when ${\rm m}^{\ast}=3$. Finally, we prove that if the girth is at least $2k+2$ and $G$ contains a specific tree as an ordinary subgraph, then $z(G)\geq k$.
Two Relaxations of the Dominating Hadwiger's Conjecture
Illingworth and Wood recently proposed the Dominating Hadwiger's Conjecture, a strengthening of Hadwiger's Conjecture which asserts that every graph with no dominating $K_t$-model is $(t-1)$-colorable. We prove two relaxations of this conjecture. First, we show that every graph with average degree $Ct (\log t)^2$ contains a dominating $K_t$-model for some absolute constant $C$. This bound improves on the $2^{t-2}$ due to Illingworth and Wood and is within an $O(\log t)$ factor from optimal. Second, we prove that the vertices of every graph with no dominating $K_t$-model can be partitioned into $t-1$ parts such that the subgraph induced by each part has bounded maximum degree.
No extremal square-free words over alphabets of size at least 5
A word over an alphabet $\mathbb A$ contains a square if it has a subword of the form $XX$ where $X$ is a word. A word $W$ is \emph{extremal square-free} if it does not contain a square, but it contains a square as soon as any letter of $\mathbb A$ is inserted at any position of $W$. Grytczuk, Kordulewski, and Niewiadomski conjectured that there are no extremal square-free words over alphabets of size at least 4. We prove this for alphabets of size at least 5. Our proof also implies that the sequence of \emph{nonchalant words} defined by Grytczuk, Kordulewski, and Niewiadomski is infinite and converges to an infinite word for all alphabets of size at least 5.
A nearcircumsphere-Ramsey Theorem for Solvable Transitive Configurations
Let P be a finite spherical set. We prove that if P admits a solvable group of isometries acting transitively on it, then every r-coloring of a sufficiently high-dimensional sphere of radius slightly larger than the circumradius of P contains a monochromatic congruent copy of P. Our proof builds on the group-theoretic argument of Kriz and combines it with a topological method that may be of independent interest.
Edges of the uniform random forest of $K_n$ are pairwise negatively correlated for every $n$
Let $F_n$ be uniform on all forests of the simple complete graph $K_n$, with isolated vertices allowed. A conjecture of Kahn and of Winkler, studied by Grimmett and Winkler, asserts that any two distinct edges of any finite graph are negatively correlated under the uniform forest measure. Stark proved this for $G=K_n$ once $n$ is sufficiently large, but did not furnish an explicit threshold. We prove it for every $n\geq 2$, strictly whenever two distinct edges exist. The difficulty is concentrated in the disjoint-edge orbit, whose correlation ratio tends to one. We remove this cancellation before estimating anything: the desired inequality becomes an exact comparison among the first two moments of the component count and the expected sum of squared degrees. When the component count fluctuates, this comparison contains a variance term absent from the fixed-component identities of Tang and Zhang. Component marking, tail elimination, and effective Stirling bounds control the three moments for $n\geq 651$; exact integer recurrences cover the remaining values.
A sharp extension of Halin's removable-edge theorem to matchings
A subgraph $H$ of a $k$-connected graph $G$ is called \emph{$k$-removable} if $G-E(H)$ remains $k$-connected. Halin proved that every $k$-connected graph $G$ with $δ(G)\ge k+1$ has a $k$-removable edge. We extend this result from a single edge to matchings of any prescribed size by showing that, for positive integers $k$ and $m$, every $k$-connected graph $G$ with $δ(G)\ge\max\{k+1,2m-2\}$ contains a $k$-removable matching of size $m$, unless $G\cong K_{2m-1}$, or $(k,m)=(1,2)$ and $G$ is a cycle. This confirms a conjecture of Li, Zhou, Fujita, and Mao. The minimum degree bound is sharp, and both exceptions are unavoidable. Consequently, $\max\{k+1,2m-1\}$ is the sharp minimum degree threshold guaranteeing such a matching without exceptions. The proof combines a prescribed-set strengthening of Halin's removable-edge theorem with an extremal analysis of maximum $k$-removable matchings.
Degeneracy: From Graphs to Matroids
A graph is $k$-degenerate if every subgraph has a vertex of degree at most $k$. We extend this notion to matroids, defining a loopless matroid $M$ to be $k$-degenerate if every restriction of $M$ contains a cocircuit of size at most $k$; $M$ is minimally $k$-degenerate if it has cogirth $k$ and every proper restriction of $M$ has cogirth at most $k-1$. Our main result characterizes extremal minimally $k$-degenerate matroids. We also extend the known arboricity bound for matroids, showing that $k$-degenerate matroids have arboricity at most $k$ and providing sharper bounds.
Prescribed-order subdigraphs with large minimum out-degree
Alon introduced $d(s)$ as the largest integer $d$ such that every digraph on $2n$ vertices with minimum out-degree at least $s$ contains a subdigraph on $n$ vertices with minimum out-degree at least $d$. He proved that $s/2-d(s)=O(\sqrt{s\log s})$, and further asked whether this deficit can be bounded by an absolute constant. Steiner answered this question in the negative by constructing suitable tournaments, and showed that $s/2-d(s)=Ω(\log s)$.
Using a different construction, we show that the deficit grows at least on the square-root scale, rather than merely logarithmically, improving the best known lower bound due to Steiner from $Ω(\log s)$ to $Ω(\sqrt{s})$ and leaving only a factor of $\sqrt{\log s}$ between the lower and upper bounds. This also completely settles a question raised by Steiner for tournament hosts. More generally, in the broader setting considered by Alon, our construction applies whenever the prescribed subdigraphs contain any fixed positive proportion of the vertices of the host digraph rather than specifically one half.
On the weighted hard-core model and Rado's covering problem for congruent Euclidean balls
Let $B^d$ denote the Euclidean unit ball in $\mathbb{R}^d$ and $f(B^d)$ denote the largest constant $c$ such that every finite collection of congruent Euclidean balls contains a pairwise disjoint subcollection whose total volume is at least $c$ times the volume of the union of the original collection. The classical Vitali covering lemma gives $f(B^d)\geq3^{-d}$. In this paper, we establish two improvements. First, by a purely combinatorial argument, we prove that $$ f(B^d)\geq \frac{2}{3^d + 2^d} $$ for every integer $d \geq1$. This improves the Vitali bound by a factor tending to $2$ as d tends to infinity. Second, using a weighted hard-core model together with a weighted geometric estimate for intersections of Euclidean balls, we show that, for all sufficiently large $d$, $$ f(B^d)\geq
\left(
\log\frac{3}{1+\sqrt3}
-O\left(\frac{\log d}{d}\right)
\right)d\,3^{-d}.
$$ Thus, the classical lower bound is improved by a factor of order $d$.
Seven Exact Finite Zarankiewicz Numbers from a Single 13 x 18 Core
We present a unified proof and certificate package establishing seven exact finite Zarankiewicz values for the forbidden graph $K_{3,3}$: $z(12,18;3)=108$, $z(13,17;3)=110$, $z(13,18;3)=116$, $z(14,17;3)=118$, $z(14,18;3)=124$, $z(15,17;3)=126$, and $z(15,18;3)=132$.
The witnesses form a connected family generated by an explicit $13 \times 18$ matrix with 116 ones. Deleting one row or one column and adding either of exactly two admissible weight-eight rows for this fixed labeled core produces the remaining witnesses. The exceptional upper-bound closure, $z(12,18;3)\leq108$, combines the published uniqueness of the extremal $12 \times 17$ graph with 103 edges and an exhaustive rejection of all $\binom{12}{6}=924$ possible degree-six column extensions. The supplement contains all witnesses, a portable verifier, a machine-readable report, and integrity hashes. Prior numerical ingredients and the role of the present work are separated cell by cell.
Ramsey-Turán Anti-Directed Cycle Factors in Oriented Graphs
Let $C_{2s}^{\mathrm{ad}}$ be the anti-directed cycle of length $2s$, where $s\geq2$. We prove that, for every $μ>0$, every sufficiently large $n$-vertex oriented graph $D$ with $2s\mid n$, \[ δ^0(D)\geq\left(\frac14+μ\right)n \qquad\text{and}\qquad α(D)=o(n) \] contains a $C_{2s}^{\mathrm{ad}}$-factor. The minimum semidegree threshold is asymptotically tight. The proof develops Ramsey--Turán-type lattice-absorption lemmas with a transferral arising from the small-independence condition by virtue of a fork-type structure.
A note on the partition function of a rectangle
We investigate the asymptotic behavior of the rectangle partition functions $p(n,n)$ and $p(3,n)$. The function $p(n,n)$ counts partitions of the square $n\times n$ into rectangular blocks with integer sides, while $p(3,n)$ counts such partitions of the rectangle $3\times n$. Two rectangle partitions are identified when they contain the same multiset of rectangle types, and a block $a\times b$ is identified with a block $b\times a$. Our main results are $$ p(n,n) =
\exp\left( \left(\tfracπ{\sqrt3}+o(1)\right)n\sqrt{\log n} \right) $$ and $$ p(3,n) =
\exp\left( π\sqrt{\tfrac{11n}{3}}+O(\log n) \right). $$ We also present simpler upper and lower bounds for $p(n,n)$ and an independent upper bound for $p(3,n)$.
The $Δ$-Conjecture for CIS $d$-Graphs
We prove the $Δ$-conjecture, which dates back to Gurvich's 1978 thesis. Specifically, let the edges of a complete graph be colored with colors $1,\ldots,d$, and for each $i$ let $G_i$ be the graph formed by the edges of color $i$. We prove that if every choice of a maximal stable set $S_i$ of $G_i$, one for each $i\in[d]$, has nonempty intersection, then the coloring contains no rainbow triangle.
On degree powers in the degenerate Turán problem
Given a graph $G$ with degree sequence $d_{1},\ldots,d_{n}$ and a positive real number $p$, let $e_{p}(G)=\sum_{i=1}^{n} d_{i}^{p}$. For a fixed family of graphs $\mathcal F$, let $ex_{p}(n, \mathcal F)$ denote the maximum value of $e_{p}(G)$ over all $\mathcal F$-free graphs $G$ on $n$ vertices. In 2000, Caro and Yuster introduced the following Turán-type problem: For a positive integer $p$ and a fixed graph $F$, determine $ex_{p}(n, F)$, and characterize the extremal graphs $G$ on $n$ vertices that attain $ex_p(n, F)$. Recently, Gao, Liu, Ma and Pikhurko proved that $ex_{p}(n, \mathcal F)=(τ(\mathcal F)-1+o(1))n^p$ for real $p>\frac{1}{1-α}$, where $\mathcal F$ is a degenerate family of graphs with classical Turán number $ex(n, \mathcal F)=O(n^{1+α})$ for some $α\in[0,1)$, and $τ(\mathcal F)$ is the minimum size of an independent vertex cover over all bipartite graphs $F\in\mathcal F$. Based on their method, we obtain a stability result for $ex_{p}(n, \mathcal F)$, and prove that all extremal graphs must contain the complete bipartite graph $K_{τ(\mathcal F)-1,n-τ(\mathcal F)+1}$ when $n$ is sufficiently large. Our results can be used to deduce all previously known results about $ex_{p}(n, F)$ when $F$ is a bipartite graph and $n$ is sufficiently large. We also obtain several new exact results for $ex_{p}(n, F)$, namely, when $F$ is an even cycle, a complete bipartite graph, a discrete hypercube, a caterpillar forest, and a spider forest.
Product representations of polynomials over finite fields
Published in Acta Arith., 2026+
• View Publication
• BIB
Erdős, Sárközy, and Sós studied the asymptotics of the maximum size of a subset of $\{1,2,\ldots, N\}$ such that it does not contain $k$ distinct elements whose product is a perfect square. More generally, Verstraëte proposed a conjecture regarding the asymptotic behavior of the same quantity with the set of perfect squares replaced by the value set of a polynomial in $\mathbb{Z}[x]$. In this paper, we study a finite field analogue of Verstraëte's conjecture.
Corrigendum to "On the Maximum Symmetric Division Deg Index of $k$-Cyclic Graphs [J. Math. 2022, (2022) \#7783128]"
The proof of Proposition 1 in the paper [J. Math. 2022, (2022) #7783128] contains a gap, but its statement is correct. Here, we fix this gap.
Sharp vertex connectivity of the Markoff graphs modulo $p$
The Markoff graph $G_p$ modulo a prime $p$ is an undirected graph whose vertices are the nonzero solutions over the finite field $\mathbb{F}_p$ of the normalized Markoff equation \[ x_1^2+x_2^2+x_3^2=x_1x_2x_3, \] where two vertices are adjacent if they differ by a Vieta involution. A major breakthrough of Bourgain, Gamburd, and Sarnak established that $G_p$ contains a giant connected component. Combined with Chen's remarkable divisibility theorem, this implies that $G_p$ is connected for all sufficiently large primes $p$.
In the same paper, Bourgain, Gamburd, and Sarnak further asked whether the family $\{G_p\colon p\geq5\}$ forms an expander family. This motivates us to investigate the robustness of connectivity in the Markoff graphs. In this short note, we show that if the Markoff graph $G_p$ is connected, then it is in fact $2$-connected. Consequently, the Markoff graph $G_p$ is $2$-connected for all sufficiently large primes $p$. This is sharp in the sense that $G_p$ is not $3$-connected for any prime $p\geq 7$.
Long Lattice Paths with No Three Collinear Vertices
For $d\ge 1$, let $L(d)\in\mathbb N\cup\{\infty\}$ be the supremum of the lengths of paths in $\mathbb Z^d$ whose steps are standard basis vectors and whose vertex sets contain no collinear triple. We prove that \[
\log_2\log_2 L(d)\ge \frac{2}{5}d-O(1) \] for all sufficiently large $d$.