contain ↗ reference
7689 papers tagged with this keyword
Large Monochromatic Components in Colored Random Graphs
We study the size of the largest monochromatic connected component that must appear in any edge-coloring of a random graph.
Let $G\sim G(n,p)$ with $p\gg 1/n$ and $p=o(1)$, and write $np=he^h$. We show that, with high probability, every $2$-edge-coloring of $G$ contains a monochromatic connected component of order at least $n-Θ(ne^{-h})$. Moreover, we construct colorings showing that this bound is best possible up to constant factors.
We extend this result to three colors: for $p\gg 1/n$ and $p=o(1)$, with high probability every $3$-edge-coloring of $G$ contains a monochromatic connected component of size at least $\frac{n}{2}-Θ(1/p)$, and this estimate is again tight up to constant factors.
In the bipartite setting $G\sim G(n,n,p)$, under the same assumptions on $p$, we prove an analogous statement: with high probability, every $2$-edge-coloring contains two monochromatic components whose union covers all but $Θ(ne^{-h})$ vertices, and this bound is asymptotically sharp.
Our approach is elementary and is based on analyzing large connected structures across suitably balanced vertex partitions.
Nowhere-zero 4-flows in graphs excluding the Petersen graph with one edge contracted
Let $P$ be the Petersen graph and let $e\in E(P)$. We prove that every almost $4$-connected nonplanar graph of minimum degree at least three and girth at least five contains $P/e$ as a minor. Using this structural result, we show that every finite bridgeless $(P/e)$-minor-free multigraph admits a nowhere-zero $4$-flow. This extends the theorem of Wang, Zhang and Zhang (2009) for graphs excluding the graph obtained by contracting three edges of a perfect matching of $P$, and complements the theorem of Thomas and Thomson (2000) for $(P-e)$-minor-free graphs. Consequently, every bridgeless graph with no nowhere-zero $4$-flow contains both $P/e$ and $P-e$ as minors. The proof combines the girth-five structure theorem of Thomas and Thomson (2000) with the nonplanar extension theorem of Norin and Thomas (2016). Its finite part is computer-assisted and verifies the required minor models in the Petersen, Triplex and Basket graphs, and in the jump and facial cross extensions of the Dodecahedron.
Constructions for supersaturation of eventown problems
In this paper, we study the supersaturation problems of eventown. Given a family $\mathcal{A}$ of subsets of an $n$ element set, let op$(\mathcal{A})$ denote the number of distinct pairs $A,B\in \mathcal{A}$ for which $|A\cap B|$ is odd. We give extremal eventown constructions and show that for fixed $s\le2^{\lfloor \frac{n}{2} \rfloor}-2$, there exists a collection of $2^{\lfloor\frac{n}{2}\rfloor}+s$ even-sized subsets of an $n$ element set that contains exactly $s\cdot 2^{\lfloor \frac{n}{2} \rfloor-1}$ pairwise intersections of odd size. This extends the range of $s$ in a conjecture proposed by O'Neill from $2^{\lfloor \frac{n}{2} \rfloor}-2^{\lfloor \frac{n}{4} \rfloor}$ to $2^{\lfloor \frac{n}{2} \rfloor}-2$. We also give a construction using symmetric designs to prove that when $k$ is even and $4k-1$ is a prime power, there exists a collection of $2^{\lfloor\frac{4k-1}{2}\rfloor}+s$ even-sized subsets of a $4k-1$ element set $\mathcal{A}_s$ with $op(\mathcal{A}_s)=s \cdot 2^{{\lfloor\frac{4k-1}{2}\rfloor}-1}$, $1\leq s\leq4k-1$.
New excluded minors for the class $\mathcal{M}_3$ of regular matroids
Engel, de Gaay Fortman, and Schreieder attach to each prime $\ell$ a minor-closed class $\mathcal{M}_\ell$ of regular matroids, whose excluded minors govern the failure of the integral Hodge conjecture for curve classes on very general principally polarized abelian varieties. For $\ell=2$ the class is the cographic matroids, with excluded minors $M(K_5)$ and $M(K_{3,3})$ by Tutte's theorem; for $\ell=3$ the only excluded minor explicitly identified so far is $M(K_{3,5})$, and the general characterization is [EGFS, Problem 8.8]. We exhibit five new excluded minors for $\mathcal{M}_3$, of ranks 8, 9, 9, 9, and 10; none contains $M(K_{3,5})$ or any of the other four as a minor, so the excluded-minor list of Problem 8.8 has at least six members, with excluded minors at every rank from 7 through 10. Combined with $M(K_7) \notin \mathcal{M}_3$, established by the same authors, and the minor-closedness of $\mathcal{M}_3$, some minor of $M(K_7)$ of rank between 4 and 6 is a further excluded minor, so the list has at least seven members, six of them explicitly identified. The list is structurally diverse: two bipartite apex constructions with automorphism group $S_4$, and three non-bipartite, non-planar rank-9 graphs with no such apex structure. Every verdict is certified by a finite $\mathbb{F}_3$-linear-algebra computation with explicit machine-checkable witnesses, cross-checked by independent implementations; the certificates further show that the five matroids lie outside the larger class $\widetilde{\mathcal{M}}_3$. We also record what are, to our knowledge, the first $\ell=5$ data on this corank-8 slice: $M(K_{3,5})$ and the rank-8 and rank-10 minors lie in $\mathcal{M}_5$ by explicit certificates, and the radical distance $d(M(K_{3,5}))=6$ is determined exactly.
An $O(t\log^2 t)$ Bound for $k$-Connected Subgraphs in Dense $K_t$-Minor-Free Graphs
Delcourt and Postle reduced the Linear Hadwiger Conjecture to coloring $K_t$-minor-free graphs on $O(t\log^4 t)$ vertices. An important theorem in their proof process asserts that every sufficiently dense $K_t$-minor-free graph contains a small, highly connected subgraph. In this paper, we show that such a subgraph can be chosen to be smaller. More precisely, there exists an integer constant $C \ge 1$ such that, for all integers $t \ge 3$ and $k \ge t$, every $K_t$-minor-free graph $G$ with $d(G) \ge Ck$ contains a nonempty $k$-connected subgraph $H$ satisfying $v(H) \le C^2 t\log^2 t$. Thus the structural bound improves from $O(t\log^3 t)$ to $O(t\log^2 t)$, and the graphs occurring in the reduction have order $O(t\log^3 t)$ rather than $O(t\log^4 t)$.
Tight Hamilton Cycles in Linearly Quasirandom 3-Graphs
We study tight Hamilton cycles in linearly quasirandom 3-graphs. An $n$-vertex 3-graph $H$ is $(p,μ)$-dense if $e_H(X,Y,Z)\ge p|X||Y||Z|-μn^3$ for all $X,Y,Z\subseteq V(H)$. Ara{ú}jo, Piga and Schacht asked whether $p,α>1/4$ together with $δ_2(H)\geαn$ force a tight Hamilton cycle. We give a negative answer: for every $\varepsilon,μ>0$ and all sufficiently large $n$, there exists an $n$-vertex $(p_0-\varepsilon,μ)$-dense 3-graph $H$ with $δ_2(H)\ge(p_0-\varepsilon)n$ and no tight Hamilton cycle, where $p_0:=\max_{0\le x\le1}\min\{x^3,1-x\}\approx0.317672$.
For every $p>1/3$, we determine the asymptotically sharp minimum-codegree threshold. Writing \[
δ_0(p)=
\left(\frac{1-\sqrt{(4p-1)/3}}{2}\right)^2, \] we prove that every sufficiently large $(p,μ)$-dense 3-graph $H$ with $δ_2(H)\geαn$ contains a tight Hamilton cycle whenever $α>δ_0(p)$ and $μ$ is sufficiently small. A matching construction shows that this threshold is best possible. The proof uses absorption together with a new fixed-length connecting lemma based on a regular slice, a directed pair-state graph, and a finite scalar lemma.
A Sharp Ramsey Theorem for Admissible Colorings of Ordered Cliques
Let \(f(k)\) be the minimum integer \(N\) such that any red--blue edge-coloring of the ordered complete graph on \(N\) vertices contains a set of \(k\) vertices whose induced coloring is admissible. In this note, we obtain the exact value of $f(k)$ for $k\ge 3$, which confirms a conjecture posed by Bradač, Liu, Wu and Xu.
On Boolean sublattices of finite partition lattices
We investigate maximal Boolean sublattices of the partition lattice Part(U) of a finite universe U. First, any largest size Boolean sublattice of Part(U) can be formed using all partitions whose blocks are subtrees of a tree with vertex set U. It is shown that a maximal Boolean sublattice of Part(U) always contains the least and the largest elements of Part(U). Boolean sublattices B of PartU containing 0 are characterized by a certain condition imposed on the cycles of a linear hypergraph corresponding to the atoms of B on the set U. We show that B can be extended to a Boolean sublattice of Part(U) with a largest size, if and only if the hypergraph induced by its atoms is a hypertree. This is the case when B is formed by all the partitions whose blocks are intervals in a generalized sense. The main result states that all partition lattices of height at least three have maximal Boolean sublattices for all possible dimensions at least three
Induced Subgraph Bounds on the Zero Forcing Number and a $(χ, ω, Z)$-Conjecture
Let $G$ be a graph with chromatic number $χ(G)$, clique number $ω(G)$ and zero forcing number $Z(G)$. We establish new lower bounds on $Z(G)$ in terms of induced triangle-free subgraphs. In particular, we show that if a graph $G$ contains an induced triangle-free subgraph $H$ with minimum degree $δ(H) \ge 3$, then $Z(G)\geδ(H)+1$. Motivated by this result and the bound $χ(G) \leq Z(G) + 1 $ by Taklimi (2013), we conjecture that
\begin{equation*}
χ(G) \leq \left \lceil \frac{ω(G)+Z(G)+1}{2}\right\rceil. \end{equation*} As supporting evidence, we prove that the conjecture holds for triangle-free regular graphs and also provide numerical evidence.
Matchings and Near-Optimal 2-Factor Packings in Percolated Vertex-Transitive Graphs
Let $G$ be a connected simple vertex-transitive graph on $n$ vertices with degree $d$, and let $G_p$ be the random spanning subgraph obtained by retaining each edge independently with probability $p$. Motivated by a conjecture of Bedert, Draganić, Müyesser, and Pavez-Signé on Hamilton cycles in percolated Cayley graphs, we establish its matching and $2$-factor consequences for the larger class of all connected vertex-transitive host graphs. First, for every $A>0$, there is $C=C(A)>0$ such that, for every $N\ge n$, the condition $(1-p)^d\le N^{-C}$ implies, with probability at least $1-N^{-A}$, that $G_p$ has a perfect matching when $n$ is even and that $G_p-v$ has a perfect matching for every vertex $v$ when $n$ is odd. Second, if $ν_2(H)$ is the maximum number of pairwise edge-disjoint spanning $2$-factors in $H$, then, for every $A>0$ and $0<ε<1$, \[
ε^2pd\ge64(A+6)\log(2n) \] implies \[
\mathbb P\left(
ν_2(G_p)\ge\left\lfloor(1-ε)\frac{pd}{2}\right\rfloor
\right)\ge1-n^{-A}. \] Consequently, $pd\ge C\log n$ guarantees both the appropriate matching property and a spanning $2$-factor with high probability, uniformly over all connected vertex-transitive graphs. If $pd/\log n\to\infty$, then $ν_2(G_p)=(1+o(1))pd/2$ with high probability. The coefficient $1/2$ is best possible because each spanning $2$-factor contains $n$ edges, whereas $G_p$ contains about $pnd/2$ edges.
A Matrix-Degree Obstruction to Rational Generation of Boolean-Lattice Pseudo-Roots
For the neighborhood seed associated with the four-vertex path $P_4$, the diamond operations do not recover all Boolean-lattice pseudo-roots. The corresponding question for unrestricted rational operations in the free skew field is subtler: the seed map has an invertible linearization and therefore a unique formal inverse near every generic scalar point. We prove that this formal inverse is not free rational. A symmetric one-parameter curve of $2 \times 2$ matrix outputs has a formal inverse whose coefficient field contains an element of degree three over $\mathbb{Q}(t)$. An exact elimination in a quadratic Pauli algebra produces the irreducible cubic. Its conjugate inverse branches are unramified, forcing the generic matrix degree of the seed map to be at least three in every size $n \ge 2$. This contradicts the degree-one consequence of any free rational inverse. The same matrix-degree argument, without specializing a hypothetical inverse, extends the obstruction to every graph containing an induced $P_4$.
Triple arrays from ovals in finite projective planes
In this paper we prove that whenever a projective plane of odd order n contains an oval, it may be used to construct a triple array with n + 1 rows, n.n columns and n(n + 1) symbols. In particular, for any odd prime power s, we use the projective plane over the field of order s to construct an explicitly given (s + 1) times s.s triple array on s(s + 1) symbols. This is only the third infinite series of triple arrays (up to transposition) to be found. Our construction proves a recent conjecture of Gordeev and Ohman (2025) in the case of odd prime powers.
The Erdős-Lovász Tihany Conjecture holds for all even-hole-free graphs
Let $s, t\ge2 $ be integers. A graph $G$ is $(s,t)$-splittable if $V(G)$ can be partitioned into two sets $S$ and $T$ such that $χ(G[S ]) \ge s$ and $χ(G[T ]) \ge t$. The Erdős-Lovász Tihany Conjecture from 1968 asserts that every graph $G$ satisfying $ω(G)<χ(G)=s+t-1$ is $(s,t)$-splittable. A vertex of a graph is bisimplicial if the set of its neighbors can be expressed as the union of two cliques. Let $G$ be a graph with $ω(G)<χ(G)=s+t-1$. We prove that if $G$ does not contain $C_4$ as an induced subgraph and every induced subgraph of $G$ has a bisimplicial vertex, then $G$ is $(s,t)$-splittable. Combining our result with a recent result of Chudnovsky and Seymour, which states that every non-empty even-hole-free graph has a bisimplicial vertex, we obtain that the Erdős-Lovász Tihany Conjecture holds for all even-hole-free graphs.
2-Connected Subgraphs of All Orders in Large Graphs with Minimum Degree at Least n/q
We confirm a conjecture of Liu and Ning\cite{LiuNing}: for every fixed integer $q\ge 3$, there exists an integer $n_0(q)$ such that every $2$-connected graph $G$ of order $n\ge n_0(q)$ with minimum degree $δ(G)\ge n/q$ contains a $2$-connected subgraph of order $\ell$ for each $\ell\in\{4,5,\ldots,n\}$. The proof has two main components. First, we construct a small $2$-connected subgraph $D$ such that every vertex outside $D$ has at least two neighbors in $D$. By successively adding the vertices outside $D$, we obtain $2$-connected subgraphs of every order from $|V(D)|$ to $n$. Second, an averaging argument on common neighborhoods yields a large complete bipartite subgraph $K_{2,t}$, which provides $2$-connected subgraphs of all the remaining orders.Finally, we propose the following conjecture: for every pair of fixed integers $r\ge 2$ and $q\ge 3$, every $r$-connected graph $G$ of sufficiently large order $n$ with $δ(G)\ge n/q$ contains an $r$-connected subgraph of every order from $2r$ to $n$.
Maximum Likelihood Estimation on the Grassmannian of Lines
We study the positive Grassmannian through the lens of algebraic statistics. A closed formula is presented for the maximum likelihood degree of the Grassmannian of lines. We conjecture that the probability simplex contains a unique local maximum, and we present computational evidence for this.
A Chain-Level Borsuk--Ulam Obstruction Proof of Norine's Antipodal-Coloring Conjecture
We prove Norine's conjecture: every red--blue edge-coloring of the \(n\)-dimensional hypercube \(Q_n\), \(n\geq2\), in which antipodal edges have opposite colors contains a monochromatic path joining some vertex to its antipode. From a hypothetical counterexample we construct an antipodally equivariant, augmentation-preserving chain map from the cellular chains of the cubical boundary of a cube to subdivision-invariant polyhedral chains on a sphere of one lower dimension. A purely algebraic chain-level Borsuk--Ulam obstruction rules out this map.
Minimum degree conditions for removable matchings in $k$-connected graphs
In 1969, Halin proved that every $k$-connected graph $G$ with minimum degree at least $k+1$ contains an edge $e$ such that $G-e$ is $k$-connected. As an edge is a matching of size one, it is natural to ask whether Halin's result extends to matchings of larger size, a question recently investigated by Li, Zhou, Fujita, and Mao. A matching $M$ of a $k$-connected graph $G$ is called \emph{$k$-removable} if $G-M$ is $k$-connected. In this paper, we study minimum degree conditions that guarantee the existence of a $k$-removable matching of prescribed size. Specifically, we prove that for all positive integers $k$ and $m$, every $k$-connected graph $G$ with at least $2m$ vertices contains a $k$-removable matching of size $m$ if \[δ(G)\ \ge\ \begin{cases} \max\bigl\{k+\bigl\lceil\tfrac m2\bigr\rceil,\ 2m\bigr\} & \text{if } k\ge m,\\[2pt] k+m & \text{if } k<m. \end{cases}\] As a consequence, every $k$-connected graph $G$ with $δ(G)\ge2k+1$ contains a $k$-removable matching of size $\bigl\lceil(δ(G)+1)/2\bigr\rceil$, unless $δ(G)$ is even and $G\cong K_{δ(G)+1}$. This verifies a conjecture of Li, Zhou, Fujita, and Mao in the range $δ(G)\ge2k+1$. Our main tool, of independent interest, is a strengthening of Halin's result producing a $k$-removable edge that avoids a prescribed set of vertices.
The Weak Zero-Divisor Difference Graph of a Finite Commutative Ring
For a finite commutative ring $R$, let $\GR$ denote its zero-divisor graph and $\WGR$ its weakly zero-divisor graph, the latter containing the former as a spanning subgraph. We introduce the \emph{weak zero-divisor difference graph} $\DR:=\WGR-\GR$ and develop a complete structural theory for finite reduced rings $R\cong\mathbb F_{q_1}\times\cdots\times\mathbb F_{q_t}$. We show $\DR$ sits strictly between $\GR$ and $\WGR$ in a three-stage refinement that also contains Badawi's annihilator graph, and prove that distinct support classes $X_A,X_B$ are completely joined in $\DR$ if and only if $A\cap B\ne\emptyset$ -- an exact criterion underlying every result that follows. Consequently $\DR$ is edgeless for $t\le2$ but connected with diameter $2$ and girth $3$ for every $t\ge3$, independently of the field orders. We establish a complete perfectness dichotomy -- $\DR$ is perfect exactly when $t\in\{3,4\}$, with an elementary combinatorial proof at $t=4$, and never perfect for $t\ge5$ -- and determine its clique number exactly at $t=3$ and $t=4$; for general $t$ we give two incomparable lower bounds and two upper bounds, sharp at $t=3$ but not beyond, together with a compression argument showing an extremal family may always be taken shifted without this alone resolving the problem. A reconstruction theorem shows $\DR$ recovers the multiset of field orders intrinsically, so $\DR\cong\mathcal D(S)$ forces $R\cong S$. We further give closed forms, valid for every $t\ge3$, for the degree sequence and minimum degree, the domination number, and the independence and vertex cover numbers. Finally, we briefly indicate, via the valuation structure of finite chain rings, why the reduced-ring hypothesis cannot simply be dropped.
Breaking the Bollobás-Eldridge-Catlin Barrier for Bipartite Graphs
The celebrated Bollobás-Eldridge-Catlin packing conjecture states that every $n$-vertex graph $G$ with minimum degree at least $\big(1-\frac{1}{Δ+1}\big) n$ contains every $n$-vertex graph $H$ of maximum degree at most $Δ$. Despite considerable attention, the conjecture remains widely open.
We show that for bipartite $H$ this threshold can be greatly improved: there is an absolute constant $c>0$ such that every $n$-vertex graph $G$ with minimum degree at least $ \big(1-c\frac{\logΔ}Δ\big)n $ contains every $n$-vertex bipartite graph $H$ of maximum degree at most $Δ$, provided $Δ$ is not too large compared to $n$. Moreover, we prove that this logarithmic improvement is best possible up to the value of the constant.
Towards a strengthening of the second neighborhood conjecture
A longstanding conjecture of Seymour, called Seymour's second neighborhood conjecture, states that every oriented graph $D$ contains a vertex $x$ with $|N^{++}_D(x)|\geq |N^{+}_D(x)|$. The conjecture was verified in a few special classes of oriented graphs, and it remains open for general oriented graphs. We propose a stronger version of the conjecture that every oriented graph $D$ contains a vertex $x$ such that there exists a complete matching from $N^+_D(x)$ to $N^{++}_D(x)$. We prove that this stronger version holds for every oriented graph with minimum out-degree at most $5$, and also for every $5$-anti-transitive oriented graph. This implies that every oriented planar graph satisfies the stronger version.