graph
34828 papers tagged with this keyword
Monochromatic connectivity and graph products
Published
• View Publication
• BIB
The concept of monochromatic connectivity was introduced by Caro and Yuster. A path in an edge-colored graph is called a \emph{monochromatic path} if all the edges on the path are colored the same. An edge-coloring of $G$ is a \emph{monochromatic connection coloring} ($MC$-coloring, for short) if there is a monochromatic path joining any two vertices in $G$. The \emph{monochromatic connection number}, denoted by $mc(G)$, is defined to be the maximum number of colors used in an $MC$-coloring of a graph $G$. In this paper, we study the monochromatic connection number on the lexicographical, strong, Cartesian and direct product and present several upper and lower bounds for these products of graphs.
Which Haar graphs are Cayley graphs?
For a finite group $G$ and subset $S$ of $G,$ the Haar graph $H(G,S)$ is a bipartite regular graph, defined as a regular $G$-cover of a dipole with $|S|$ parallel arcs labelled by elements of $S$. If $G$ is an abelian group, then $H(G,S)$ is well-known to be a Cayley graph; however, there are examples of non-abelian groups $G$ and subsets $S$ when this is not the case. In this paper we address the problem of classifying finite non-abelian groups $G$ with the property that every Haar graph $H(G,S)$ is a Cayley graph. An equivalent condition for $H(G,S)$ to be a Cayley graph of a group containing $G$ is derived in terms of $G, S$ and $\mathrm{Aut }G$. It is also shown that the dihedral groups, which are solutions to the above problem, are $\mathbb{Z}_2^2,D_3,D_4$ and $D_{5}$.
Packing and Covering Immersions in 4-Edge-Connected Graphs
Published in J. Combin. Theory Ser. B 151 (2021), 148-222
• View Publication
• BIB
A graph $G$ contains another graph $H$ as an immersion if $H$ can be obtained from a subgraph of $G$ by splitting off edges and removing isolated vertices. In this paper, we prove an edge-variant of the Erdős-Pósa property with respect to the immersion containment in 4-edge-connected graphs. More precisely, we prove that for every graph $H$, there exists a function $f$ such that for every 4-edge-connected graph $G$, either $G$ contains $k$ pairwise edge-disjoint subgraphs each containing $H$ as an immersion, or there exists a set of at most $f(k)$ edges of $G$ intersecting all such subgraphs. This theorem is best possible in the sense that the 4-edge-connectivity cannot be replaced by the 3-edge-connectivity.
Graphs for Juncture
An alternative foundation for 2-categories is explored by studying graph-theoretically a partial operation on 2-cells named juncture, which can replace vertical and horizontal composition. Juncture is a generalized vertical composition of 2-cells that need not involve the whole target and the whole source; it may involve them only partly, provided the result is again a 2-cell. Since commuting diagrams of arrows of ordinary categories may be conceived as invertible 2-cells, this study concerns ordinary category theory too. The operation of juncture has a connection with proof theory, where it corresponds to a kind of cut rule on sequents, and it is related also to an operation on which the notion of operad can be based. The main achievement of the work is a detailed description of the specific planarity involved in juncture and graphs of 2-cells, comparable to the usual combinatorial characterizations of planarity in graph theory. This work points out to an alternative foundation for bicategories, i.e. weak 2-categories, and more generally weak n-categories.
On the Rigidity of Sparse Random Graphs
Published
• View Publication
• BIB
A graph with a trivial automorphism group is said to be rigid. Wright proved that for $\frac{\log n}{n}+ω(\frac 1n)\leq p\leq \frac 12$ a random graph $G\in G(n,p)$ is rigid whp. It is not hard to see that this lower bound is sharp and for $p<\frac{(1-ε)\log n}{n}$ with positive probability $\text{aut}(G)$ is nontrivial. We show that in the sparser case $ω(\frac 1 n)\leq p\leq \frac{\log n}{n}+ω(\frac 1n)$, it holds whp that $G$'s $2$-core is rigid. We conclude that for all $p$, a graph in $G(n,p)$ is reconstrutible whp. In addition this yields for $ω(\frac 1n)\leq p\leq \frac 12$ a canonical labeling algorithm that almost surely runs in polynomial time with $o(1)$ error rate. This extends the range for which such an algorithm is currently known.
On Hamiltonian cycles of power graphs of abelian groups
Published
• View Publication
• BIB
In this article we discuss the question of presence of Hamiltonian cycle in the un-directed power graph of a group. In the process we develop weighted Hamiltonian cycle concept and prove a few general results regarding the Hamiltonian question.
Finding Hamilton cycles in random graphs with few queries
Published
• View Publication
• BIB
We introduce a new setting of algorithmic problems in random graphs, studying the minimum number of queries one needs to ask about the adjacency between pairs of vertices of ${\mathcal G}(n,p)$ in order to typically find a subgraph possessing a given target property. We show that if $p\geq \frac{\ln n+\ln\ln n+ω(1)}{n}$, then one can find a Hamilton cycle with high probability after exposing $(1+o(1))n$ edges. Our result is tight in both $p$ and the number of exposed edges.
Finding paths in sparse random graphs requires many queries
Published
• View Publication
• BIB
We discuss a new algorithmic type of problem in random graphs studying the minimum number of queries one has to ask about adjacency between pairs of vertices of a random graph $G\sim {\mathcal G}(n,p)$ in order to find a subgraph which possesses some target property with high probability. In this paper we focus on finding long paths in $G\sim \mathcal G(n,p)$ when $p=\frac{1+\varepsilon}{n}$ for some fixed constant $\varepsilon>0$. This random graph is known to have typically linearly long paths.
To have $\ell$ edges with high probability in $G\sim \mathcal G(n,p)$ one clearly needs to query at least $Ω\left(\frac{\ell}{p}\right)$ pairs of vertices. Can we find a path of length $\ell$ economically, i.e., by querying roughly that many pairs? We argue that this is not possible and one needs to query significantly more pairs. We prove that any randomised algorithm which finds a path of length $\ell=Ω\left(\frac{\log\left(\frac{1}{\varepsilon}\right)}{\varepsilon}\right)$ with at least constant probability in $G\sim \mathcal G(n,p)$ with $p=\frac{1+\varepsilon}{n}$ must query at least $Ω\left(\frac{\ell}{p\varepsilon \log\left(\frac{1}{\varepsilon}\right)}\right)$ pairs of vertices. This is tight up to the $\log\left(\frac{1}{\varepsilon}\right)$ factor.
Graphs with many strong orientations
Published
• View Publication
• BIB
We establish mild conditions under which a possibly irregular, sparse graph $G$ has "many" strong orientations. Given a graph $G$ on $n$ vertices, orient each edge in either direction with probability $1/2$ independently. We show that if $G$ satisfies a minimum degree condition of $(1+c_1)\log_2{n}$ and has Cheeger constant at least $c_2\frac{\log_2\log_2{n}}{\log_2{n}}$, then the resulting randomly oriented directed graph is strongly connected with high probability. This Cheeger constant bound can be replaced by an analogous spectral condition via the Cheeger inequality. Additionally, we provide an explicit construction to show our minimum degree condition is tight while the Cheeger constant bound is tight up to a $\log_2\log_2{n}$ factor.
Difference of forbidden pairs containing a claw
When we study forbidden subgraph conditions guaranteeing graphs to have some properties, a claw (or $K_{1,3}$) frequently appears as one of forbidden subgraphs. Recently, Furuya and Tsuchiya compared two classes generated by different forbidden pairs containing a claw, and characterized one of such classes. In this paper, we give such characterization for three new classes. Furthermore, we give applications of our characterizations to some forbidden subgraph problems.
On the Riemann-Hurwitz formula for graph coverings
Published
• View Publication
• BIB
The aim of this paper is to present a few versions of the Riemann-Hurwitz formula for a regular branched covering of graphs. By a graph, we mean a finite connected multigraph. The genus of a graph is defined as the rank of the first homology group. We consider a finite group acting on a graph, possibly with fixed and invertible edges, and the respective factor graph. Then, the obtained Riemann-Hurwitz formula relates genus of the graph with genus of the factor graph and orders of the vertex and edge stabilisers.
On well-covered, vertex decomposable and Cohen-Macaulay graphs
Let $G=(V,E)$ be a graph. If $G$ is a König graph or $G$ is a graph without 3-cycles and 5-cycle, we prove that the following conditions are equivalent: $Δ_{G}$ is pure shellable, $R/I_Δ$ is Cohen-Macaulay, $G$ is unmixed vertex decomposable graph and $G$ is well-covered with a perfect matching of König type $e_{1},...,e_{g}$ without square with two $e_i$'s. We characterize well-covered graphs without 3-cycles, 5-cycles and 7-cycles. Also, we study when graphs without 3-cycles and 5-cycles are vertex decomposable or shellable. Furthermore, we give some properties and relations between critical, extendables and shedding vertices. Finally, we characterize unicyclic graphs with each one of the following properties: unmixed, vertex decomposable, shellable and Cohen-Macaulay.
Graphs with the strong Havel-Hakimi property
Published in Graphs and Combinatorics, vol. 32 (2016), pp. 1689-1697
• View Publication
• BIB
The Havel-Hakimi algorithm iteratively reduces the degree sequence of a graph to a list of zeroes. As shown by Favaron, Mahéo, and Saclé, the number of zeroes produced, known as the residue, is a lower bound on the independence number of the graph. We say that a graph has the strong Havel-Hakimi property if in each of its induced subgraphs, deleting any vertex of maximum degree reduces the degree sequence in the same way that the Havel-Hakimi algorithm does. We characterize graphs having this property (which include all threshold and matrogenic graphs) in terms of minimal forbidden induced subgraphs. We further show that for these graphs the residue equals the independence number, and a natural greedy algorithm always produces a maximum independent set.
On the partial order competition dimensions of chordal graphs
Published
• View Publication
• BIB
Choi {\it et al.} [{J.~Choi, K.~S.~Kim, S.~-R.~Kim, J.~Y.~Lee, and Y.~Sano}: {On the competition graphs of $d$-partial orders}, \emph{Discrete Applied Mathematics} (2015), \texttt{http://dx.doi.org/10.1016/j.dam.2015.11.004}] introduced the notion of the partial order competition dimension of a graph. It was shown that complete graphs, interval graphs, and trees, which are chordal graphs, have partial order competition dimensions at most three. In this paper, we study the partial order competition dimensions of chordal graphs. We show that chordal graphs have partial order competition dimensions at most three if the graphs are diamond-free. Moreover, we also show the existence of chordal graphs containing diamonds whose partial order competition dimensions are greater than three.
Partial domination - the isolation number of a graph
Published
• View Publication
• BIB
We prove the following result: If $G$ be a connected graph on $n \ge 6$ vertices, then there exists a set of vertices $D$ with $|D| \le \frac{n}{3}$ and such that $V(G) \setminus N[D]$ is an independent set, where $N[D]$ is the closed neighborhood of $D$. Furthermore, the bound is sharp. This seems to be the first result in the direction of partial domination with constrained structure on the graph induced by the non-dominated vertices, which we further elaborate in this paper.
PDE Approaches to Graph Analysis
This paper surveys and discusses recent work adapting partial differential equation (PDE) models to discrete structures.
On local weak limit and subgraph counts for sparse random graphs
Published in J. Appl. Probab., 59 (2022), 755-776
• View Publication
• BIB
We use an inequality of Sidorenko to show a general relation between local and global subgraph counts and degree moments for locally weakly convergent sequences of sparse random graphs. This yields an optimal criterion to check when the asymptotic behaviour of graph statistics such as the clustering coefficient and assortativity is determined by the local weak limit. As an application we obtain new facts for several common models of sparse random intersection graphs where the local weak limit, as we see here, is a simple random clique tree corresponding to a certain two-type Galton-Watson branching process.
On graphs containing few disjoint excluded minors. Asymptotic number and structure of graphs containing few disjoint minors K4
Let ${\rm ex \,} {\mathcal B}$ be a minor-closed class of graphs with a set ${\mathcal B}$ of minimal excluded minors. We study (a) the asymptotic number of graphs without $k+1$ disjoint minors in ${\mathcal B}$ and (b) the properties of a uniformly random graph drawn from all such graphs on vertices $\{1,\dots,n\}$. We present new results in the case when ${\rm ex \,} {\mathcal B}$ contains arbitrarily large fans for a general (good enough) set of forbidden minors ${\mathcal B}$.
A particular case where our results hold is ${\mathcal B} = \{K_4\}$. For any fixed $k = 1, 2, \dots$ we derive precise asymptotic counting formulas and describe the structure of typical graphs that have at most $k$ disjoint minors $K_4$. For $k = 0$ this is the well-known class of series-parallel graphs. For $k \ge 1$ we show that typical instances have an elaborate tree-like structure with $2k+1$ special vertices of very high degree.
The proofs combine a variety of methods, including new structural results, Robertson and Seymour's graph minor theory and analytic combinatorics.
First order limits of sparse graphs: Plane trees and path-width
Nesetril and Ossona de Mendez introduced the notion of first order convergence as an attempt to unify the notions of convergence for sparse and dense graphs. It is known that there exist first order convergent sequences of graphs with no limit modeling (an analytic representation of the limit). On the positive side, every first order convergent sequence of trees or graphs with no long path (graphs with bounded tree-depth) has a limit modeling. We strengthen these results by showing that every first order convergent sequence of plane trees (trees with embeddings in the plane) and every first order convergent sequence of graphs with bounded path-width has a limit modeling.
Regular graphs are antimagic
An undirected simple graph $G=(V,E)$ is called antimagic if there exists an injective function $f:E\rightarrow\{1,\dots,|E|\}$ such that $\sum_{e\in E(u)} f(e)\neq\sum_{e\in E(v)} f(e)$ for any pair of different nodes $u,v\in V$. In a previous version of the paper, the authors gave a proof that regular graphs are antimagic. However, the proof of the main theorem is incorrect as one of the steps uses an invalid assumption. The aim of the present erratum is to fix the proof.