graph
34516 papers tagged with this keyword
Monochromatic graph decompositions inspired by anti-Ramsey theory and the odd-coloring problem
Published in Mathematics 2024, 12(23), 3665
• View Publication
• BIB
We consider extremal edge-coloring problems inspired by the theory of anti-Ramsey / rainbow coloring, and further by odd-colorings and conflict-free colorings.
Let $G$ be a graph, and $F$ any given family of graphs. For every integer $n \geq |G|$, let $f(n,G|F)$ denote the smallest integer $k$ such that any edge coloring of the complete graph $K_n$ with at least $k$ colors forces a copy of $G$ in which each color class induces a member of $F$. Observe that in anti-Ramsey problems each color class is a single edge; i.e., $F=\{K_2\}$.
In our previous paper [arXiv:2405.19812], attention was given mostly to the case where $F$ is hereditary under subgraph inclusion. In the present work we consider coloring problems inspired by odd-coloring and conflict-free coloring. As we shall see, dealing with these problems requires distinct additional tools to those used in our first paper on the subject.
Among the many results introduced in this paper, we mention:
(1) For every graph $G$, there exists a constant $c=c(G)$ such that in any edge coloring of $K_n$ with at least $cn$ colors there is a copy of $G$ in which every vertex $v$ is incident with an edge whose color appears only once among all edges incident with $v$.
(2) In sharp contrast to the above result we prove that if $F$ is the class of all odd graphs (having vertices with odd degrees only) then $f(n,K_k|F)=(1+o(1))$ex$(n,K_{\lceil k/2 \rceil})$, which is quadratic for $k \geq 5$.
(3) We exactly determine $f(n,G|F)$ for small graphs when $F$ belongs to several families representing various odd/even coloring constraints.
Clique covers of complete graphs and piercing multitrack intervals
Assume that $R_1,R_2,\dots,R_t$ are disjoint parallel lines in the plane. A $t$-interval (or $t$-track interval) is a set that can be written as the union of $t$ closed intervals, each on a different line. It is known that pairwise intersecting $2$-intervals can be pierced by two points, one from each line. However, it is not true that every set of pairwise intersecting $3$-intervals can be pierced by three points, one from each line. For $k\ge 3$, Kaiser and Rabinovich asked whether $k$-wise intersecting $t$-intervals can be pierced by $t$ points, one from each line. Our main result provides an asymptotic answer: in any set $S_1,\dots,S_n$ of $k$-wise intersecting $t$-intervals, at least $\frac{k-1}{k+1}n$ can be pierced by $t$ points, one from each line. We prove this in a more general form, replacing intervals by subtrees of a tree. This leads to questions and results on covering vertices of edge-colored complete graphs by vertices of monochromatic cliques having distinct colors, where the colorings are chordal, or more generally induced $C_4$-free graphs. For instance, we show that if the edges of a complete graph $K_n$ are colored with red or blue so that both color classes are induced $C_4$-free, then at least ${4n\over 5}$ vertices can be covered by a red and a blue clique, and this is best possible. We conclude by pointing to new Ramsey-type problems emerging from these restricted colorings.
The interval coloring impropriety of planar graphs
For a graph $G$, we call an edge coloring of $G$ an \textit{improper} \textit{interval edge coloring} if for every $v\in V(G)$ the colors, which are integers, of the edges incident with $v$ form an integral interval. The \textit{interval coloring impropriety} of $G$, denoted by $μ_{int}(G)$, is the smallest value $k$ such that $G$ has an improper interval edge coloring where at most $k$ edges of $G$ with a common endpoint have the same color.
The purpose of this note is to communicate solutions to two previous questions on interval coloring impropriety, mainly regarding planar graphs. First, we prove $μ_{int}(G) \leq 2$ for every outerplanar graph $G$. This confirms the conjecture by Casselgren and Petrosyan in the affirmative. Secondly, we prove that for each $k\geq 2$, the interval coloring impropriety of $k$-trees is unbounded. This refutes the conjecture by Carr, Cho, Crawford, Iršič, Pai and Robinson.
On strongly and robustly critical graphs
In extremal combinatorics, it is common to focus on structures that are minimal with respect to a certain property. In particular, critical and list-critical graphs occupy a prominent place in graph coloring theory. Stiebitz, Tuza, and Voigt introduced strongly critical graphs, i.e., graphs that are $k$-critical yet $L$-colorable with respect to every non-constant assignment $L$ of lists of size $k-1$. Here we strengthen this notion and extend it to the framework of DP-coloring (or correspondence coloring) by defining robustly $k$-critical graphs as those that are not $(k-1)$-DP-colorable, but only due to the fact that $χ(G) = k$. We then seek general methods for constructing robustly critical graphs. Our main result is that if $G$ is a critical graph (with respect to ordinary coloring), then the join of $G$ with a sufficiently large clique is robustly critical; this is new even for strong criticality.
Components, large and small, are as they should be I: supercritical percolation on regular graphs of growing degree
We provide sufficient conditions for a regular graph $G$ of growing degree $d$, guaranteeing a phase transition in its random subgraph $G_p$ similar to that of $G(n,p)$ when $p\cdot d\approx 1$. These conditions capture several well-studied graphs, such as (percolation on) the complete graph $K_n$, the binary hypercube $Q^d$, $d$-regular expanders, and random $d$-regular graphs. In particular, this serves as a unified proof for these (and other) cases.
Suppose that $G$ is a $d$-regular graph on $n$ vertices, with $d=ω(1)$. Let $ε>0$ be a small constant, and let $p=\frac{1+ε}{d}$. Let $y(ε)$ be the survival probability of a Galton-Watson tree with offspring distribution Po$(1+ε)$. We show that if $G$ satisfies a (very) mild edge expansion requirement, and if one has fairly good control on the expansion of small sets in $G$, then typically the percolated random subgraph $G_p$ contains a unique giant component of asymptotic order $y(ε)n$, and all the other components in $G_p$ are of order $O(\log n/ε^2)$.
We also show that this result is tight, in the sense that if one asks for a slightly weaker control on the expansion of small sets in $G$, then there are $d$-regular graphs $G$ on $n$ vertices, where typically the second largest component is of order $Ω(d\log (n/d))=ω(\log n)$.
This is the first of a two-part sequence of papers. In the subsequent work, we consider supercritical percolation on regular graphs of constant degree, and establish similar sufficient (and essentially tight) conditions in that setting.
Components, large and small, are as they should be II: supercritical percolation on regular graphs of constant degree
Let $d\ge 3$ be a fixed integer. Let $y:= y(p)$ be the probability that the root of an infinite $d$-regular tree belongs to an infinite cluster after $p$-bond-percolation. We show that for every constants $b,α>0$ and $1<λ< d-1$, there exist constants $c,C>0$ such that the following holds. Let $G$ be a $d$-regular graph on $n$ vertices, satisfying that for every $U\subseteq V(G)$ with $|U|\le \frac{n}{2}$, $e(U,U^c)\ge b|U|$ and for every $U\subseteq V(G)$ with $|U|\le \log^Cn$, $e(U)\le (1+c)|U|$. Let $p=\fracλ{d-1}$. Then, with probability tending to one as $n$ tends to infinity, the largest component $L_1$ in the random subgraph $G_p$ of $G$ satisfies $\left|1-\frac{|L_1|}{yn}\right|\le α$, and all the other components in $G_p$ are of order $O\left(\frac{λ\log n}{(λ-1)^2}\right)$. This generalises (and improves upon) results for random $d$-regular graphs.
SSD Set System, Graph Decomposition and Hamiltonian Cycle
In this paper, we first study what we call Superset-Subset-Disjoint (SSD) set system. Based on properties of SSD set system, we derive the following (I) to (IV):
(I) For a nonnegative integer $k$ and a graph $G=(V,E)$ with $|V|\ge2$, let $X_1,X_2,\dots,X_q\subsetneq V$ denote all maximal proper subsets of $V$ that induce $k$-edge-connected subgraphs. Then at least one of (a) and (b) holds: (a) $\{X_1,X_2,\dots,X_q\}$ is a partition of $V$; and (b) $V\setminus X_1, V\setminus X_2,\dots,V\setminus X_q$ are pairwise disjoint.
(II) For $k=1$ and a strongly-connected digraph $G$, whether $V$ is in (a) and/or (b) can be decided in $O(n+m)$ time and we can generate all such $X_1,X_2,\dots,X_q$ in $O(n+m+|X_1|+|X_2|+\dots+|X_q|)$ time, where $n=|V|$ and $m=|E|$.
(III) For a digraph $G$, we can enumerate in linear delay all vertex subsets of $V$ that induce strongly-connected subgraphs.
(IV) A digraph is Hamiltonian if there is a spanning subgraph that is strongly-connected and in the case (a).
Longest cycles in vertex-transitive and highly connected graphs
Published in Bulletin of the London Mathematical Society, 57(10):2975-2990, October 2025
• View Publication
• BIB
We present progress on three old conjectures about longest paths and cycles in graphs. The first pair of conjectures, due to Lovász from 1969 and Thomassen from 1978, respectively, states that all connected vertex-transitive graphs contain a Hamiltonian path, and that all sufficiently large such graphs even contain a Hamiltonian cycle. The third conjecture, due to Smith from 1984, states that for $r\ge 2$ in every $r$-connected graph any two longest cycles intersect in at least $r$ vertices. In this paper, we prove a new lemma about the intersection of longest cycles in a graph which can be used to improve the best known bounds towards all the aforementioned conjectures: First, we show that every connected vertex-transitive graph on $n\geq 3$ vertices contains a cycle (and hence path) of length at least $Ω(n^{13/21})$, improving on $Ω(n^{3/5})$ from [DeVos, \emph{arXiv:2302:04255}, 2023]. Second, we show that in every $r$-connected graph with $r\geq 2$, any two longest cycles meet in at least $Ω(r^{5/8})$ vertices, improving on $Ω(r^{3/5})$ from [Chen, Faudree and Gould, \emph{J. Combin. Theory, Ser.~ B}, 1998]. Our proof combines combinatorial arguments, computer-search and linear programming.
Deterministic approximate counting of colorings with fewer than $2Δ$ colors via absence of zeros
Published in TheoretiCS, Volume 5 (2026), Article 1, 1-41
• View Publication
• BIB
Let $Δ,q\geq 3$ be integers. We prove that there exists $η\geq 0.002$ such that if $q\geq (2-η)Δ$, then there exists an open set $\mathcal{U}\subset \mathbb{C}$ that contains the interval $[0,1]$ such that for each $w\in \mathcal{U}$ and any graph $G=(V,E)$ of maximum degree at most $Δ$, the partition function of the anti-ferromagnetic $q$-state Potts model evaluated at $w$ does not vanish. This provides a (modest) improvement on a result of Liu, Sinclair, and Srivastava, and breaks the $q=2Δ$-barrier for this problem.
As a direct consequence we obtain via Barvinok's interpolation method a deterministic polynomial time algorithm to approximate the number of proper $q$-colorings of graphs of maximum degree at most $Δ$, provided $q\geq (2-η)Δ$.
Sidorenko's conjecture for subdivisions and theta substitutions
The famous Sidorenko's conjecture asserts that for every bipartite graph $H$, the number of homomorphisms from $H$ to a graph $G$ with given edge density is minimized when $G$ is pseudorandom. We prove that for any graph $H$, a graph obtained from replacing edges of $H$ by generalized theta graphs consisting of even paths satisfies Sidorenko's conjecture, provided a certain divisibility condition on the number of paths. To achieve this, we prove unconditionally that bipartite graphs obtained from replacing each edge of a complete graph with a generalized theta graph satisfy Sidorenko's conjecture, which extends a result of Conlon, Kim, Lee and Lee [J. Lond. Math. Soc., 2018].
More results on the spectral radius of graphs with no odd wheels
For a graph $G$, the spectral radius $λ_{1}(G)$ of $G$ is the largest eigenvalue of its adjacency matrix. An odd wheel $W_{2k+1}$ with $k\geq2$ is a graph obtained from a cycle of order $2k$ by adding a new vertex connecting to all the vertices of the cycle. Let ${\rm SPEX}(n,W_{2k+1})$ be the set of $W_{2k+1}$-free graphs of order $n$ with the maximum spectral radius. Very recently, Cioabă, Desai and Tait \cite{CDT2} characterized the graphs in ${\rm SPEX}(n,W_{2k+1})$ for sufficiently large $n$, where $k\geq2$ and $k\neq4,5$. And they left the case $k=4,5$ as a problem. In this paper, we settle this problem. Moreover, we completely characterize the graphs in ${\rm SPEX}(n,W_{2k+1})$ when $k\geq4$ is even and $n\equiv2~(\mod4)$ is sufficiently large. Consequently, the graphs in ${\rm SPEX}(n,W_{2k+1})$ are characterized completely for any $k\geq2$ and sufficiently large $n$.
The $k$-distance mutual-visibility problem in graphs
The concept of mutual visibility in graphs, introduced recently, addresses a fundamental problem in Graph Theory concerning the identification of the largest set of vertices in a graph such that any two vertices have a shortest path connecting them, excluding internal vertices of the set. Originally motivated by some challenges in Computer Science related to robot navigation, the problem seeks to ensure unobstructed communication channels between navigating entities. The mutual-visibility problem involves determining a largest mutual-visibility set in a graph. The mutual-visibility number of a graph represents the cardinality of the largest mutual-visibility set. This concept has sparked significant research interest, leading to connections with classical combinatorial problems like the Zarankiewicz problem and Turán-type problems. In this paper, we consider practical limitations in network visibility and our investigation extends the original concept to $k$-distance mutual-visibility. In this case, a pair of vertices is considered $S$-visible if a shortest path of length at most $k$ exists, excluding internal vertices belonging to the set $S$. The $k$-distance mutual-visibility number represents the cardinality of a largest $k$-distance mutual-visibility set. We initiate the study of this new graph parameter. We prove that the associate decision problem belongs to the NP-complete class. We also give some properties and tight bounds, as well as, the exact value of such parameter for some particular non trivial graph classes.
Orthogonal and oriented Fano planes, triangular embeddings of $K_7,$ and geometrical representations of the Frobenius group $F_{21}$
In this paper we present some geometrical representations of the Frobenius group of order $21$ (henceforth, $F_{21}$). The main focus is on investigating the group of common automorphisms of two orthogonal Fano planes and the automorphism group of a suitably oriented Fano plane. We show that both groups are isomorphic to $F_{21},$ independently of the choice of the two orthogonal Fano planes and of the choice of the orientation.
We show, moreover, that any triangular embedding of the complete graph $K_7$ into a surface is isomorphic to the classical toroidal biembedding and hence is face $2$-colorable, with the two color classes defining a pair of orthogonal Fano planes. As a consequence, we show that, for any triangular embedding of $K_7$ into a surface, the group of the automorphisms that preserve the color classes is the Frobenius group of order $21.$
This way we provide three geometrical representations of $F_{21}$. Also, we apply the representation in terms of two orthogonal Fano planes to give an alternative proof that $F_{21}$ is the automorphism group of the Kirkman triple system of order $15$ that is usually denoted as #61.
Co-Engel graphs of certain finite non-Engel groups
Let $G$ be a group. The co-Engel graph of $G$) with $G$ whose vertex set is $G$ and two distinct vertices $x$ and $y$ are adjacent if $[x,{}_k y]\neq1$ and $[y,{}_k x] \neq 1$ for all positive integer $k$, where $[x,{}_ky]$ is the iterated commutator $[x,y,y,\ldots,y]$, with $k$ terms $y$ in the expression; usually we delete isolated vertices (these are the left Engel elements).
This graph, under the name ``Engel graph'', was introduced by Abdollahi~\cite{aa}. However, we argue that it is more naturally called the ``co-Engel graph''.
We compute genus, various spectra, energies and Zagreb indices of co-Engel graphs for groups including the dihedral and generalized quaternion groups and nonabelian groups of order $pq$ where $p$ and $q$ are primes. As a consequence, we determine (up to isomorphism) all finite non-Engel group $G$ such that the clique number of the co-Engel is at most $4$ and the graph is toroidal or projective. Further, we show that the co-Engel graph is super integral and satisfies the E-LE conjecture and the Hansen--Vuki{č}evi{ć} conjecture for the groups considered in this paper.
We also look briefly at the directed Engel graph, with an arc $x\to y$ if $[y,{}_kx]=1$ for some $k$. We show that, if $G$ is a finite soluble group, this graph either is the complete directed graph (which occurs only if $G$ is nilpotent), or has pairs of vertices joined only by single arcs. We also show that the (directed or undirected) Engel graph of a group $G$ is the lexicographic product of a complete graph of order $Z_\infty(G)$ by the (directed or undirected) Engel graph of $G/Z_\infty(G)$, where $Z_\infty(G)$ is the hypercenter of $G$.
On the Automorphisms of Token Graphs Generated by $2$-cuts with the Same Neighbours
Let $G$ be a connected graph on $n$ vertices and $1 \le k \le n-1$ an integer. The $k$-token graph of $G$ is the graph $F_k(G)$ whose vertices are all the $k$-subsets of vertices of $G$, two of which are adjacent whenever their symmetric difference is an edge of $G$. Every automorphism of $G$ induces an automorphism of $F_k(G)$ in a natural way. Suppose that $S:=\{x,y\}$ is a cut set of $G$, such that $x$ and $y$ have the same neighbours in $G\setminus \{x,y\}$. In this paper we show that there exist a large number of automorphisms of $F_k(G)$ defined by $S$ that are not induced by automorphisms of $G$. We also describe the group produced by all such $2$-cuts of $G$.
A Mathon-type construction for digraphs and improved lower bounds for Ramsey numbers
We construct an edge-colored digraph analogous to Mathon's construction for undirected graphs. We show that this graph is connected to the $k$-th power Paley digraphs and we use this connection to produce improved lower bounds for multicolor directed Ramsey numbers.
Weakly distance-regular digraphs whose underlying graphs are distance-regular,II
Weakly distance-regular digraphs are a natural directed version of distance-regular graphs. In [16], we classified all commutative weakly distance-regular digraphs whose underlying graphs are Hamming graphs, folded n-cubes, or Doob graphs. In this paper, we classify all commutative weakly distance-regular digraphs whose underlying graphs are Johnson graphs or folded Johnson graphs.
Tiered tree, Parking function and Postnikov-Shapiro algebra
Tiered trees were introduced as a combinatorial object for counting absolutely indecomposable representation of certain quivers and torus orbit of certain homogeneous variety. In this paper, we define a bijection between the set of parallelogram polyominoes and graphical parking functions. Moreover, we defined the space $\mathcal{S}_{G}$ for complete tiered graphs and described tiered graphs in terms of Whitney's operations.
Hypergraph Extensions of Spectral Turán Theorem
The spectral Turán theorem states that the $k$-partite Turán graph is the unique graph attaining the maximum adjacency spectral radius among all graphs of order $n$ containing no the complete graph $K_{k+1}$ as a subgraph. This result is known to be stronger than the classical Turán theorem. In this paper, we consider hypergraph extensions of spectral Turán theorem. For $k\geq r\geq 2$, let $H_{k+1}^{(r)}$ be the $r$-uniform hypergraph obtained from $K_{k+1}$ by enlarging each edge with a new set of $(r-2)$ vertices. Let $F_{k+1}^{(r)}$ be the $r$-uniform hypergraph with edges: $\{1,2,\ldots,r\} =: [r]$ and $E_{ij} \cup\{i,j\}$ over all pairs $\{i,j\}\in \binom{[k+1]}{2}\setminus\binom{[r]}{2}$, where $E_{ij}$ are pairwise disjoint $(r-2)$-sets disjoint from $[k+1]$. Generalizing the Turán theorem to hypergraphs, Pikhurko [J. Combin. Theory Ser. B, 103 (2013) 220--225] and Mubayi and Pikhurko [J. Combin. Theory Ser. B, 97 (2007) 669--678] respectively determined the exact Turán number of $H_{k+1}^{(r)}$ and $F_{k+1}^{(r)}$, and characterized the corresponding extremal hypergraphs.
Our main results show that $T_r(n,k)$, the complete $k$-partite $r$-uniform hypergraph on $n$ vertices where no two parts differ by more than one in size, is the unique hypergraph having the maximum $p$-spectral radius among all $n$-vertex $H_{k+1}^{(r)}$-free (resp. $F_{k+1}^{(r)}$-free) $r$-uniform hypergraphs for sufficiently large $n$. These findings are obtained by establishing $p$-spectral version of the stability theorems. Our results offer $p$-spectral analogues of the results by Mubayi and Pikhurko, and connect both hypergraph Turán theorem and hypergraph spectral Turán theorem in a unified form via the $p$-spectral radius.
Coloring the vertices of a graph with mutual-visibility property
Given a graph $G$, a mutual-visibility coloring of $G$ is introduced as follows. We color two vertices $x,y\in V(G)$ with a same color, if there is a shortest $x,y$-path whose internal vertices have different colors than $x,y$. The smallest number of colors needed in a mutual-visibility coloring of $G$ is the mutual-visibility chromatic number of $G$, which is denoted $χ_μ(G)$. Relationships between $χ_μ(G)$ and its two parent ones, the chromatic number and the mutual-visibility number, are presented. Graphs of diameter two are considered, and in particular the asymptotic growth of the mutual-visibility number of the Cartesian product of complete graphs is determined. A greedy algorithm that finds a mutual-visibility coloring is designed and several possible scenarios on its efficiency are discussed. Several bounds are given in terms of other graph parameters such as the diameter, the order, the maximum degree, the degree of regularity of regular graphs, and/or the mutual-visibility number. For the corona products it is proved that the value of its mutual-visibility chromatic number depends on that of the first factor of the product. Graphs $G$ for which $χ_μ(G)=2$ are also considered.