arXiv++ Combinatorics

Browse math.CO papers from arXiv

graph

34763 papers tagged with this keyword
2019-01-25
On the cover Ramsey number of Berge hypergraphs
For a fixed set of positive integers $R$, we say $\mathcal{H}$ is an $R$-uniform hypergraph, or $R$-graph, if the cardinality of each edge belongs to $R$. An $R$-graph $\mathcal{H}$ is \emph{covering} if every vertex pair of $\mathcal{H}$ is contained in some hyperedge. For a graph $G=(V,E)$, a hypergraph $\mathcal{H}$ is called a \textit{Berge}-$G$, denoted by $BG$, if there exists an injection $f: E(G) \to E(\mathcal{H})$ such that for every $e \in E(G)$, $e \subseteq f(e)$. In this note, we define a new type of Ramsey number, namely the \emph{cover Ramsey number}, denoted as $\hat{R}^R(BG_1, BG_2)$, as the smallest integer $n_0$ such that for every covering $R$-uniform hypergraph $\mathcal{H}$ on $n \geq n_0$ vertices and every $2$-edge-coloring (blue and red) of $\mathcal{H}$ , there is either a blue Berge-$G_1$ or a red Berge-$G_2$ subhypergraph. We show that for every $k\geq 2$, there exists some $c_k$ such that for any finite graphs $G_1$ and $G_2$, $R(G_1, G_2) \leq \hat{R}^{[k]}(BG_1, BG_2) \leq c_k \cdot R(G_1, G_2)^3$. Moreover, we show that for each positive integer $d$ and $k$, there exists a constant $c = c(d,k)$ such that if $G$ is a graph on $n$ vertices with maximum degree at most $d$, then $\hat{R}^{[k]}(BG,BG) \leq cn$.
2019-01-25 v3
Peano partial cubes
Peano partial cubes are the bipartite graphs whose geodesic interval spaces are (closed) join spaces. They are the partial cubes all of whose finite convex subgraphs have a pre-hull number which is at most 1. Special Peano partial cubes are median graphs, cellular bipartite graphs and netlike partial cubes. Analogous properties of these graphs are satisfied by Peano partial cubes. In particular the convex hull of any isometric cycle of such a graph is a gated quasi-hypertori (i.e., the Cartesian product of copies of K_2 and even cycles). Moreover, for any Peano partial cubes G that contains no isometric rays, there exists a finite qasi-hypertorus which is fixed by all automorphisms of G, and any self-contraction of G fixes some finite quasi-hypertorus. A Peano partial cube G is called a hyper-median partial cube if any triple of vertices of has either a median or a hyper-median, that is, a quasi-median whose convex-hull induces a hypertorus (i.e., the Cartesian product of even cycles such that at least one of them has length greater than 4). These graphs have several properties similar to that of median graphs. In particular a graph is a hyper-median partial cube if and only if all its finite convex subgraphs are obtained by successive gated amalgamations from finite quasi-hypertori. Also a finite graph is a hyper-median partial cube if and only if it can be obtained from K_1 by a sequence of special expansions. The class of Peano partial cubes and that of hyper-median partial cubes are closed under convex subgraphs, retracts, Cartesian products and gated amalgamations. We study two convex invariants: the Helly number of a Peano partial cube, and the depth of a hyper-median partial cube that contains no isometric rays. Finally, for a finite Peano partial cube G, we prove an Euler-type formula, and a similar formula giving the isometric dimension of G.
2019-01-24
Strong conflict-free connection of graphs
A path $P$ in an edge-colored graph is called \emph{a conflict-free path} if there exists a color used on only one of the edges of $P$. An edge-colored graph $G$ is called \emph{conflict-free connected} if for each pair of distinct vertices of $G$ there is a conflict-free path in $G$ connecting them. The graph $G$ is called \emph{strongly conflict-free connected }if for every pair of vertices $u$ and $v$ of $G$ there exists a conflict-free path of length $d_G(u,v)$ in $G$ connecting them. For a connected graph $G$, the \emph{strong conflict-free connection number} of $G$, denoted by $\mathit{scfc}(G)$, is defined as the smallest number of colors that are required in order to make $G$ strongly conflict-free connected. In this paper, we first show that if $G_t$ is a connected graph with $m$ $(m\geq 2)$ edges and $t$ edge-disjoint triangles, then $\mathit{scfc}(G_t)\leq m-2t$, and the equality holds if and only if $G_t\cong S_{m,t}$. Then we characterize the graphs $G$ with $scfc(G)=k$ for $k\in \{1,m-3,m-2,m-1,m\}$. In the end, we present a complete characterization for the cubic graphs $G$ with $scfc(G)=2$.
Resonantly Equivalent Catacondensed Even Ring Systems
Published in MATCH Commun. Math. Comput. Chem. 82 (2019) 625-638 • Search Publication
In this paper we generalize the binary coding procedure of perfect matchings from catacondensed benzenoid graphs to catacondensed even ring systems (also called cers). Next, we study cers with isomorphic resonance graphs. For this purpose, we define resonantly equivalent cers. Finally, we investigate cers whose resonance graphs are isomorphic to the resonance graphs of catacondensed benzenoid graphs. As a consequence we show that for each phenylene there exists a catacondensed benzenoid graph such that their resonance graphs are isomorphic.
2019-01-24 v2
The chromatic number of random Borsuk graphs
Published in Random Struct Alg. 2020; 56: 838-850 • View PublicationBIB
We study a model of random graph where vertices are $n$ i.i.d. uniform random points on the unit sphere $S^d$ in $\mathbb{R}^{d+1}$, and a pair of vertices is connected if the Euclidean distance between them is at least $2- ε$. We are interested in the chromatic number of this graph as $n$ tends to infinity. It is not too hard to see that if $ε> 0$ is small and fixed, then the chromatic number is $d+2$ with high probability. We show that this holds even if $ε\to 0$ slowly enough. We quantify the rate at which $ε$ can tend to zero and still have the same chromatic number. The proof depends on combining topological methods (namely the Lyusternik--Schnirelman--Borsuk theorem) with geometric probability arguments. The rate we obtain is best possible, up to a constant factor --- if $ε\to 0$ faster than this, we show that the graph is $(d+1)$-colorable with high probability.
2019-01-24
Realization of digraphs in Abelian groups and its consequences
Published in Journal of Graph Theory (2021) 1-15 • View PublicationBIB
Let $\overrightarrow{G}$ be a directed graph with no component of orderless than~$3$, and let $Γ$ be a finite Abelian group such that $|Γ|\geq 4|V(\overrightarrow{G})|$ or if $|V(\overrightarrow{G})|$ is large enough with respect to an arbitrarily fixed $\varepsilon>0$ then $|Γ|\geq (1+\varepsilon)|V(\overrightarrow{G})|$. We show that there exists an injective mapping $\varphi$ from $V(\overrightarrow{G})$ to the group $Γ$ such that $\sum_{x\in V(C)}\varphi(x) = 0$ for every connected component $C$ of $\overrightarrow{G}$, where $0$ is the identity element of $Γ$. Moreover we show some applications of this result to group distance magic labelings.
2019-01-23
The thickness of the Kronecker product of graphs
The thickness of a graph $G$ is the minimum number of planar subgraphs whose union is $G$. In this paper, we present sharp lower and upper bounds for the thickness of the Kronecker product $G\times H$ of two graphs $G$ and $H$. We also give the exact thickness numbers for the Kronecker product graphs $K_n\times K_2$, $K_{m,n}\times K_2$ and $K_{n,n,n}\times K_2$.
2019-01-23
On the generalized distance spectral radius of graphs
The generalized distance spectral radius of a connected graph $G$ is the spectral radius of the generalized distance matrix of $G$, defined by $$D_α(G)=αTr(G)+(1-α)D(G), \;\;0\leα\le 1,$$ where $D(G)$ and $Tr(G)$ denote the distance matrix and diagonal matrix of the vertex transmissions of $G$, respectively. This paper characterizes the unique graph with minimum generalized distance spectral radius among the connected graphs with fixed chromatic number, which answers a question about the generalized distance spectral radius in spectral extremal theories. In addition, we also determine graphs with minimum generalized distance spectral radius among the $n$-vertex trees and unicyclic graphs, respectively. These results generalize some known results about distance spectral radius and distance signless Laplacian spectral radius of graphs.
Embedding complete multi-partite graphs into Cartesian product of paths and cycles
Graph embedding is a powerful method in parallel computing that maps a guest network $G$ into a host network $H$. The performance of an embedding can be evaluated by certain parameters, such as the dilation, the edge congestion and the wirelength. In this manuscript, we obtain the wirelength (exact and minimum) of embedding complete multi-partite graphs into Cartesian product of paths and cycles, which include $n$-cube, $n$-dimensional mesh (grid), $n$-dimensional cylinder and $n$-dimensional torus, etc., as the subfamilies.
Domination Parameters in Hypertrees and Sibling trees
A locating-dominating set (LDS) of a graph $G$ is a dominating set $S$ of $G$ such that for every two vertices $u$ and $v$ in $V(G) \setminus S$, $N(u)\cap S \neq N(v)\cap S$. The locating-domination number $γ^{L}(G)$ is the minimum cardinality of a LDS of $G$. Further if $S$ is a total dominating set then $S$ is called a locating-total dominating set. In this paper we determine the domination, total domination, locating-domination and locating-total domination numbers for hypertrees and sibling trees.
The Firebreak Problem
Published • View PublicationBIB
Suppose we have a network that is represented by a graph $G$. Potentially a fire (or other type of contagion) might erupt at some vertex of $G$. We are able to respond to this outbreak by establishing a firebreak at $k$ other vertices of $G$, so that the fire cannot pass through these fortified vertices. The question that now arises is which $k$ vertices will result in the greatest number of vertices being saved from the fire, assuming that the fire will spread to every vertex that is not fully behind the $k$ vertices of the firebreak. This is the essence of the {\sc Firebreak} decision problem, which is the focus of this paper. We establish that the problem is intractable on the class of split graphs as well as on the class of bipartite graphs, but can be solved in linear time when restricted to graphs having constant-bounded treewidth, or in polynomial time when restricted to intersection graphs. We also consider some closely related problems.
2019-01-23 v7
The Acyclic Chromatic Index is Less than the Double of the Max Degree
The acyclic chromatic index of a graph $G$ is the least number of colors needed to properly color its edges so that none of its cycles is bichromatic. In this work, we show that $2Δ-1$ colors are sufficient to produce such a coloring, where $Δ$ is the maximum degree of the graph. In contrast with most extant randomized algorithmic approaches to the chromatic index, where the algorithms presuppose enough colors to guarantee properness deterministically and use randomness only to deal with the bichromatic cycles, our randomized, Moser-type algorithm produces a not necessarily proper random coloring, in a structured way, trying to avoid cycles whose edges of the same parity are homochromatic, and only when this goal is reached it checks for properness. It repeats until properness is attained.
2019-01-23
A general method to obtain the spectrum and local spectra of a graph from its regular partitions
It is well known that, in general, part of the spectrum of a graph can be obtained from the adjacency matrix of its quotient graph given by a regular partition. In this paper, we propose a method to obtain all the spectrum, and also the local spectra, of a graph $Γ$ from the quotient matrices of some of its regular partitions. As examples, it is shown how to find the eigenvalues and (local) multiplicities of walk-regular, distance-regular, and distance-biregular graphs.
2019-01-23
Elementary Results on Forbidden Minors
We start by building up some theory to state Wagner's Theorem, and then prove it using Kuratowski's Theorem, a proof of which is found in Diester (2000). Following this, we establish some connections between the chromatic number of a graph and some of its forbidden minors. The idea is that if we forbid $G$ to have certain graphs as a minor, then the chromatic number of $G$ cannot be too large. Intuitively, this makes sense: if we disallow $G$ from having too many edges, then this makes it easier to colour the graph with fewer colours; we will of course make this precise. We close by explaining how this all relates to Hadwiger's Conjecture.
2019-01-22
A classification of the m-graphical regular representation of finite groups
In this paper we extend the classical notion of digraphical and graphical regular representation of a group and we classify, by means of an explicit description, the finite groups satisfying this generalization. A graph or digraph is called regular if each vertex has the same valency, or, the same out-valency and the same in-valency, respectively. An m-(di)graphical regular representation (respectively, m-GRR and m-DRR, for short) of a group G is a regular (di)graph whose automorphism group is isomorphic to G and acts semiregularly on the vertex set with m orbits. When m=1, this definition agrees with the classical notion of GRR and DRR. Finite groups admitting a 1-DRR were classified by Babai in 1980, and the analogue classification of finite groups admitting a 1-GRR was completed by Godsil in 1981. Pivoting on these two results in this paper we classify finite groups admitting an m-GRR or an m-DRR, for arbitrary positive integers m. For instance, we prove that every non-identity finite group admits an m-GRR, for every m>4.
2019-01-22 v27
Hamilton Cycles in Random Graphs: a bibliography
We provide an annotated bibliography for the study of Hamilton cycles in random graphs and hypergraphs.
2019-01-22
Results on resistance distance and Kirchhoff index of graphs with generalized pockets
In this paper, we derive closed-form formulas for resistance distance and Kirchhoff index of graphs with generalized pockets in terms of the resistance distance and Kirchhoff index of the factor graph.
2019-01-22 v2
For which graphs the sages can guess correctly the color of at least one hat
Published in Journal of Mathematical Sciences, 2019, Volume 236, Issue 5, pp 503-520 • View PublicationBIB
Several sages wearing colored hats occupy the vertices of a graph. Each sage tries to guess the color of his own hat merely on the basis of observing the hats of his neighbours without exchanging any information. Each hat can have one of three colors. A predetermined guessing strategy is winning if it guarantees at least one correct individual guess for every assignment of colors. We completely solve the problem of describing graphs for which the sages win.
(Open) packing number of some graph products
Published in Discrete Mathematics & Theoretical Computer Science, vol. 22 no. 4, Graph Theory (August 27, 2020) dmtcs:5100 • View PublicationBIB
The packing number of a graph $G$ is the maximum number of closed neighborhoods of vertices in $G$ with pairwise empty intersections. Similarly, the open packing number of $G$ is the maximum number of open neighborhoods in $G$ with pairwise empty intersections. We consider the packing and open packing numbers on graph products. In particular we give a complete solution with respect to some properties of factors in the case of lexicographic and rooted products. For Cartesian, strong and direct products, we present several lower and upper bounds on these parameters.
2019-01-21 v2
The action of the Weyl group on the $E_8$ root system
Published • View PublicationBIB
Let $Γ$ be the graph on the roots of the $E_8$ root system, where any two distinct vertices $e$ and $f$ are connected by an edge with color equal to the inner product of $e$ and $f$. For any set $c$ of colors, let $Γ_c$ be the subgraph of $Γ$ consisting of all the $240$ vertices, and all the edges whose color lies in $c$. We consider cliques, i.e., complete subgraphs, of $Γ$ that are either monochromatic, or of size at most $3$, or a maximal clique in $Γ_c$ for some color set $c$, or whose vertices are the vertices of a face of the $E_8$ root polytope. We prove that, apart from two exceptions, two such cliques are conjugate under the automorphism group of $Γ$ if and only if they are isomorphic as colored graphs. Moreover, for an isomorphism $f$ from one such clique $K$ to another, we give necessary and sufficient conditions for $f$ to extend to an automorphism of $Γ$, in terms of the restrictions of $f$ to certain special subgraphs of $K$ of size at most 7.