arXiv++ Combinatorics

Browse math.CO papers from arXiv

graph

35299 papers tagged with this keyword
2024-03-06
Vertex-disjoint cycles of different lengths in tournaments
Bermond and Thomassen conjectured in 1981 that every digraph with minimum outdegree at least $2k-1$ contains $k$ vertex-disjoint cycles,here $k$ is a positive integer. Lichiardopol conjectured in 2014 that for every positive integer $k$ there exists an integer $g(k)$ such that every digraph with minimum outdegree at least $g(k)$ contains $k$ vertex-disjoint cycles of different lengths. Recently, Chen and Chang proved in [J. Graph Theory 105 (2) (2024) 297-314] that for $k\geqslant 3$ every tournament with minimum outdegree at least $2k-1$ contains $k$ vertex-disjoint cycles in which two of them have different lengths. Motivated by the above two conjectures and related results, we investigate vertex-disjoint cycles of different lengths in tournaments, and show that when $k\geqslant 5$ every tournament with minimum outdegree at least $2k-1$ contains $k$ vertex-disjoint cycles in which three of them have different lengths. In addition, we show that every tournament with minimum outdegree at least $6$ contains three vertex-disjoint cycles of different lengths and the minimum outdegree condition is sharp. This answers a question proposed by Chen and Chang.
2024-03-06
Largest common subgraph of two forests
Published • View Publication • BIB
A common subgraph of two graphs $G_1$ and $G_2$ is a graph that is isomorphic to subgraphs of $G_1$ and $G_2$. In the largest common subgraph problem the task is to determine a common subgraph for two given graphs $G_1$ and $G_2$ that is of maximum possible size ${\rm lcs}(G_1,G_2)$. This natural problem generalizes the well-studied graph isomorphism problem, has many applications, and remains NP-hard even restricted to unions of paths. We present a simple $4$-approximation algorithm for forests, and, for every fixed $ε\in (0,1)$, we show that, for two given forests $F_1$ and $F_2$ of order at most $n$, one can determine in polynomial time a common subgraph $F$ of $F_1$ and $F_2$ with at least ${\rm lcs}(F_1,F_2)-εn$ edges. Restricted to instances with ${\rm lcs}(F_1,F_2)\geq cn$ for some fixed positive $c$, this yields a polynomial time approximation scheme. Our approach relies on the approximation of the given forests by structurally simpler forests that are composed of copies of only $O(\log (n))$ different starlike rooted trees and iterative quantizations of the options for the solutions.
The gonality of chess graphs
Chess graphs encode the moves that a particular chess piece can make on an $m\times n$ chessboard. We study through these graphs through the lens of chip-firing games and graph gonality. We provide upper and lower bounds for the gonality of king's, bishop's, and knight's graphs, as well as for the toroidal versions of these graphs. We also prove that among all chess graphs, there exists an upper bound on gonality solely in terms of $\min\{m,n\}$, except for queen's, toroidal queen's, rook's, and toroidal bishop's graphs.
2024-03-06 v2
Zero forcing irredundant sets
Irredundance has been studied in the context of dominating sets, via the concept of private neighbor. Here irredundance of zero forcing sets is introduced via the concept of a private fort and the upper and lower zero forcing irrdedundance numbers $\mbox{ZIR}(G)$ and $\mbox{zir}(G)$ are defined. Bounds on $\mbox{ZIR}(G)$ and $\mbox{zir}(G)$ are established and graphs having extreme values of $\mbox{ZIR}(G)$ and $\mbox{zir}(G)$ are characterized. The effect of the join and corona operations is studied. As the concept of a zero forcing irrdedundant set is new, there are many questions for future research.
Bounds for Rainbow-uncommon Graphs
Published • View Publication • BIB
We say a graph $H$ is $r$-rainbow-uncommon if the maximum number of rainbow copies of $H$ under an $r$-coloring of $E(K_n)$ is asymptotically (as $n \to \infty$) greater than what is expected from uniformly random $r$-colorings. Via explicit constructions, we show that for $H\in\{K_3,K_4, K_5\}$, $H$ is $r$-rainbow-uncommon for all $r\geq {|V(H)|\choose 2}$. We also construct colorings to show that for $t \geq 6$, $K_t$ is $r$-rainbow-uncommon for sufficiently large $r$.
Outerplanar graphs with positive Lin-Lu-Yau curvature
Published in Journal of Combinatorics, pp. 465-480 Volume 16 (2025) Number 4 • View Publication • BIB
In this paper, we show that all simple outerplanar graphs $G$ with minimum degree at least $2$ and positive Lin-Lu-Yau Ricci curvature on every edge have maximum degree at most $9$. Furthermore, if $G$ is maximally outerplanar, then $G$ has at most $10$ vertices. Both upper bounds are sharp.
2024-03-05
Counting lattice points that appear as algebraic invariants of Cameron-Walker graphs
In 2021, Hibi et. al. studied lattice points in $\mathbb{N}^2$ that appear as $(\depth R/I,\dim R/I)$ when $I$ is the edge ideal of a graph on $n$ vertices, and showed these points lie between two convex polytopes. When restricting to the class of Cameron--Walker graphs, they showed that these pairs do not form a convex lattice polytope. In this paper, for the edge ideal $I$ of a Cameron--Walker graph on $n$ vertices, we find how many points in $\mathbb{N}^2$ appear as $(\depth(R/I),\dim(R/I))$, and how many points in $\mathbb{N}^4$ appear as $(\depth(R/I),\reg(R/I),\dim(R/I),\degh(R/I)).$
The Ramsey numbers for trees of order $n$ with maximum degree at least $n-5$ versus the wheel graph of order nine
Published • View Publication • BIB
The Ramsey numbers $R(T_n,W_8)$ are determined for each tree graph $T_n$ of order $n\geq 7$ and maximum degree $Δ(T_n)$ equal to either $n-4$ or $n-5$. These numbers indicate strong support for the conjecture, due to Chen, Zhang and Zhang and to Hafidh and Baskoro, that $R(T_n,W_m) = 2n-1$ for each tree graph $T_n$ of order $n\geq m-1$ with $Δ(T_n)\leq n-m+2$ when $m\geq 4$ is even.
2024-03-05
On some path-critical Ramsey numbers
Published • View Publication • BIB
For graphs $G$ and $H$, the Ramsey number $R(G,H)$ is the smallest $r$ such that any red-blue edge coloring of $K_r$ contains a red $G$ or a blue $H$. The path-critical Ramsey number $R_π(G,H)$ is the largest $n$ such that any red-blue edge coloring of $K_r \setminus P_{n}$ contains a red $G$ or a blue $H$, where $r=R(G,H)$ and $P_{n}$ is a path of order $n$. In this note, we show a general upper bound for $R_π(G,H)$, and determine the exact values for some cases of $R_π(G,H)$.
2024-03-05
The spectrum of the Corona of Hypergraphs
The corona of hypergraphs is an extension of the corona operation applied to graphs. The corona $G_0^* \odot_1^n G_1^*$ of two hypergraphs is obtained by taking $n$ copies of $G_1^*$ (where $n$ is the order of $G_0^*$) and by joining the $i$-th vertex of $G_0^*$ with the $i$-th copy of $G_1^*$. In this paper, we estimate the complete spectrum(adjacency and Seidel) and eigenvectors of the corona $G_0^* \odot_1^n G_1^*$ of two hypergraphs when $G_1^*$ is regular. Additionally, we define the corona hypergraph $G_0^{*(m)}=G_0^{*(m-1)} \odot_1^n G_0^*$ and determined its adjacency spectrum. Also, we extend the definition coronal of the adjacency matrix. Moreover, we estimate the characteristic polynomial of Seidel matrix of the generalised corona of hypergraphs. Applying these results, we obtain infinitely many non-regular non-isomorphic adjacency and Seidel cospectral hypergraphs.
Completely regular codes with covering radius 1 and the second eigenvalue in 3-dimensional Hamming graphs
Published • View Publication • BIB
We obtain a classification of the completely regular codes with covering radius 1 and the second eigenvalue in the Hamming graphs H(3,q) up to q and intersection array. Due to works of Meyerowitz, Mogilnykh and Valyuzenich, our result completes the classifications of completely regular codes with covering radius 1 and the second eigenvalue in the Hamming graphs H(n,q) for any n and completely regular codes with covering radius 1 in H(3,q).
Face-hitting Dominating Sets in Planar Graphs
Published • View Publication • BIB
A dominating set of a graph $G$ is a subset $S$ of its vertices such that each vertex of $G$ not in $S$ has a neighbor in $S$. A face-hitting set of a plane graph $G$ is a set $T$ of vertices in $G$ such that every face of $G$ contains at least one vertex of $T$. We show that the vertex-set of every plane (multi-)graph without isolated vertices, self-loops or $2$-faces can be partitioned into two disjoint sets so that both the sets are dominating and face-hitting. We also show that all the three assumptions above are necessary for the conclusion. As a corollary, we show that every $n$-vertex simple plane triangulation has a dominating set of size at most $(1 - α)n/2$, where $αn$ is the maximum size of an independent set in the triangulation. Matheson and Tarjan [European J. Combin., 1996] conjectured that every plane triangulation with a sufficiently large number of vertices $n$ has a dominating set of size at most $n / 4$. Currently, the best known general bound for this is by Christiansen, Rotenberg and Rutschmann [SODA, 2024] who showed that every plane triangulation on $n > 10$ vertices has a dominating set of size at most $2n/7$. Our corollary improves their bound for $n$-vertex plane triangulations which contain a maximal independent set of size either less than $2n/7$ or more than $3n/7$.
2024-03-05 v2
e-injective coloring: injective and 2-distance colorings conjectures
Published • View Publication • BIB
An injective coloring of a given graph G = (V, E) is a vertex coloring of G such that any two vertices with common neighbor receive distinct colors. An e-injective coloring of a graph G is a vertex coloring of G such that any two vertices with common edge neighbor receive distinct colors; in the other words, if u and v are the end of a path P4 in a graph G, then they are assigned with different labels. With this new definition, we want to take a review at injective coloring of a graph from the new point of view. For this purpose, we will have a comparison between e-injective coloring with usual coloring, injective coloring, and 2-distance coloring. As well, we review the conjectures raised so far in the literature of injective coloring and 2-distance coloring, from the new approach, e-injective coloring. Finally, we precisely investigate the e-injective coloring of trees, join of two graphs, a family of standard graphs, grid graphs, cylinder graphs and tori graphs.
Seymour's second neighbourhood conjecture: random graphs and reductions
A longstanding conjecture of Seymour states that in every oriented graph there is a vertex whose second outneighbourhood is at least as large as its outneighbourhood. In this short note we show that, for any fixed $p\in[0,1/2)$, a.a.s. every orientation of $G(n,p)$ satisfies Seymour's conjecture (as well as a related conjecture of Sullivan). This improves on a recent result of Botler, Moura and Naia. Moreover, we show that $p=1/2$ is a natural barrier for this problem, in the following sense: for any fixed $p\in(1/2,1)$, Seymour's conjecture is actually equivalent to saying that, with probability bounded away from $0$, every orientation of $G(n,p)$ satisfies Seymour's conjecture. This provides a first reduction of the problem. For a second reduction, we consider minimum degrees and show that, if Seymour's conjecture is false, then there must exist arbitrarily large strongly-connected counterexamples with bounded minimum outdegree. Contrasting this, we show that vertex-minimal counterexamples must have large minimum outdegree.
2024-03-05
Aα-spectral radius and path-factor covered graphs
Published • View Publication • BIB
Let $α\in[0,1)$, and let $G$ be a connected graph of order $n$ with $n\geq f(α)$, where $f(α)=14$ for $α\in[0,\frac{1}{2}]$, $f(α)=17$ for $α\in(\frac{1}{2},\frac{2}{3}]$, $f(α)=20$ for $α\in(\frac{2}{3},\frac{3}{4}]$ and $f(α)=\frac{5}{1-α}+1$ for $α\in(\frac{3}{4},1)$. A path factor is a spanning subgraph $F$ of $G$ such that every component of $F$ is a path with at least two vertices. Let $k\geq2$ be an integer. A $P_{\geq k}$-factor means a path-factor with each component being a path of order at least $k$. A graph $G$ is called a $P_{\geq k}$-factor covered graph if $G$ has a $P_{\geq k}$-factor containing $e$ for any $e\in E(G)$. Let $A_α(G)=αD(G)+(1-α)A(G)$, where $D(G)$ denotes the diagonal matrix of vertex degrees of $G$ and $A(G)$ denotes the adjacency matrix of $G$. The largest eigenvalue of $A_α(G)$ is called the $A_α$-spectral radius of $G$, which is denoted by $ρ_α(G)$. In this paper, it is proved that $G$ is a $P_{\geq2}$-factor covered graph if $ρ_α(G)>η(n)$, where $η(n)$ is the largest root of $x^{3}-((α+1)n+α-4)x^{2}+(αn^{2}+(α^{2}-2α-1)n-2α+1)x-α^{2}n^{2}+(5α^{2}-3α+2)n-10α^{2}+15α-8=0$. Furthermore, we provide a graph to show that the bound on $A_α$-spectral radius is optimal.
2024-03-05
Combinatorial designs, difference sets and bent functions as perfect colorings of graphs and multigraphs
Published in Siberian Mathematical Journal, 2020, Vol. 61, No. 5, P. 867-877 • View Publication • BIB
It is proved that 1) the indicator function of some onefold or multifold independent set in a regular graph is a perfect coloring if and only if the set attain the Delsarte--Hoffman bound; 2) each transversal in a uniform regular hypergraph is an independent set attaining the Delsarte--Hoffman bound in the vertex adjacency multigraph of this hypergraph; 3) combinatorial designs with parameters $t$-$(v,k,λ)$ and similar $q$-designs, difference sets, Hadamard matrices, and bent functions are equivalent to perfect colorings of special graphs and multigraphs, in particular, it is true in the cases of the Johnson graphs $J(n,k)$ for $(k-1)$-$(v,k,λ)$ designs and the Grassmann graphs $J_2(n,2)$ for bent functions. Keywords: perfect coloring, equitable partition, transversal of hypergraph, combinatorial design, $q$-design, difference set, bent function, Johnson graph, Grassmann graph, Delsarte--Hoffman bound
2024-03-05
On token signed graphs
We introduce the concept of a $k$-token signed graph and study some of its combinatorial and algebraic properties. We prove that two switching isomorphic signed graphs have switching isomorphic token graphs. Moreover, we show that the Laplacian spectrum of a balanced signed graph is contained in the Laplacian spectra of its $k$-token signed graph. Besides, we introduce and study the unbalance level of a signed graph, which is a new parameter that measures how far a signed graph is from being balanced. Moreover, we study the relation between the frustration index and the unbalance level of signed graphs and their token signed graphs.
2024-03-05 v3
The clique chromatic number of sparse random graphs
Published • View Publication • BIB
The clique chromatic number of a graph is the smallest number of colors in a vertex coloring so that no maximal clique is monochromatic. In this paper, we determine the order of magnitude of the clique chromatic number of the random graph G_{n,p} for most edge-probabilities p in the range n^{-2/5} \ll p \ll 1. This resolves open problems and questions of Lichev, Mitsche and Warnke as well as Alon and Krievelevich. One major proof difficulty stems from high-degree vertices, which prevent maximal cliques in their neighborhoods: we deal with these vertices by an intricate union bound argument, that combines the probabilistic method with new degree counting arguments in order to enable Janson's inequality. This way we determine the asymptotics of the clique chromatic number of G_{n,p} in some ranges, and discover a surprising new phenomenon that contradicts earlier predictions for edge-probabilities p close to n^{-2/5}.
2024-03-05 v3
Bounds for the independence and chromatic numbers of locally sparse graphs
Published • View Publication • BIB
In this note we consider a more general version of local sparsity introduced recently by Anderson, Kuchukova, and the author. In particular, we say a graph $G = (V, E)$ is $(k, r)$-locally-sparse if for each vertex $v \in V(G)$, the subgraph induced by its neighborhood contains at most $k$ cliques of size $r$. For $r \geq 3$ and $ε\in [0, 1]$, we show that an $n$-vertex $(Δ^{εr}, r)$-locally-sparse graph $G$ of maximum degree $Δ$ satisfies $α(G) \geq (1-o(1))\dfrac{n}{ηΔ}$ and $χ(G) \leq Θ\left(ηΔ\right)$, where $η:= ε+ \dfrac{r\log\log Δ}{\log Δ}$. For $ε$ not too large, the hidden constant in the $Θ(\cdot)$ can be taken to be $1+o(1)$. Setting $ε= 0$, we recover classical results on $K_{r+1}$-free graphs due to Shearer and Johansson, which were more recently improved by Davies, Kang, Pirot, and Sereni. We prove a stronger result on the independence number in terms of the occupancy fraction in the hard-core model, and establish a local version of the coloring result in the more general setting of correspondence coloring.
2024-03-05 v2
Distance magic labelings of Cartesian products of cycles
Published in Published in Discrete Mathematics, Volume 347, Issue 10, 2024, 114125 • View Publication • BIB
A graph of order $n$ is distance magic if it admits a bijective labeling of its vertices with integers from $1$ to $n$ such that each vertex has the same sum of the labels of its neighbors. In this paper we classify all distance magic Cartesian products of two cycles, thereby correcting an error in a widely cited paper from 2004. Additionally, we show that each distance magic labeling of a Cartesian product of cycles is determined by a pair or quadruple of suitable sequences, thus obtaining a complete characterization of all distance magic labelings of these graphs. We also determine a lower bound on the number of all distance magic labelings of $C_{m} \square C_{2m}$ with $m \ge 3$ odd.