graph
34585 papers tagged with this keyword
Coloring hypergraphs with excluded minors
Published
• View Publication
• BIB
Hadwiger's conjecture, among the most famous open problems in graph theory, states that every graph that does not contain $K_t$ as a minor is properly $(t-1)$-colorable. The purpose of this work is to demonstrate that a natural extension of Hadwiger's problem to hypergraph coloring exists, and to derive some first partial results and applications. Generalizing ordinary graph minors to hypergraphs, we say that a hypergraph $H_1$ is a minor of a hypergraph $H_2$, if a hypergraph isomorphic to $H_1$ can be obtained from $H_2$ via a finite sequence of vertex- and hyperedge-deletions, and hyperedge contractions. We first show that a weak extension of Hadwiger's conjecture to hypergraphs holds true: For every $t \ge 1$, there exists a finite (smallest) integer $h(t)$ such that every hypergraph with no $K_t$-minor is $h(t)$-colorable, and we prove $$\left\lceil\frac{3}{2}(t-1)\right\rceil \le h(t) \le 2g(t)$$ where $g(t)$ denotes the maximum chromatic number of graphs with no $K_t$-minor. Using the recent result by Delcourt and Postle that $g(t)=O(t \log \log t)$, this yields $h(t)=O(t \log \log t)$. We further conjecture that $h(t)=\left\lceil\frac{3}{2}(t-1)\right\rceil$, i.e., that every hypergraph with no $K_t$-minor is $\left\lceil\frac{3}{2}(t-1)\right\rceil$-colorable for all $t \ge 1$, and prove this conjecture for all hypergraphs with independence number at most $2$. By considering special classes of hypergraphs, the above additionally has some interesting applications for ordinary graph coloring, such as:
-graphs of chromatic number $C k t \log \log t$ contain $K_t$-minors with $k$-edge-connected branch-sets,
-graphs of chromatic number $C q t \log \log t$ contain $K_t$-minors with modulo-$q$-connected branch sets,
-by considering cycle hypergraphs of digraphs we recover known results on strong minors in digraphs of large dichromatic number as special cases.
Hermitian adjacency matrices of mixed multigraphs
A mixed multigraph is obtained from an undirected multigraph by orienting a subset of its edges. In this paper, we study a new Hermitian matrix representation of mixed multigraphs, give an introduction to cospectral operations on mixed multigraphs, and characterize switching equivalent mixed multigraphs in terms of fundamental cycle basis. As an application, an upper bound of cospectral classes of mixed multigraphs with the same underlying graph is obtained.
Factorisation of the complete graph into spanning regular factors
Published
• View Publication
• BIB
We enumerate factorisations of the complete graph into spanning regular graphs in several cases, including when the degrees of all the factors except for one or two are small. The resulting asymptotic behaviour is seen to generalise the number of regular graphs in a simple way. This leads us to conjecture a general formula when the number of factors is vanishing compared to the number of vertices.
Factorisation of the complete bipartite graph into spanning semiregular factors
Published
• View Publication
• BIB
We enumerate factorisations of the complete bipartite graph into spanning semiregular graphs in several cases, including when the degrees of all the factors except one or two are small. The resulting asymptotic behaviour is seen to generalise the number of semiregular graphs in an elegant way. This leads us to conjecture a general formula when the number of factors is vanishing compared to the number of vertices. As a corollary, we find the average number of ways to partition the edges of a random semiregular bipartite graph into spanning semiregular subgraphs in several cases. Our proof of one case uses a switching argument to find the probability that a set of sufficiently sparse semiregular bipartite graphs are edge-disjoint when randomly labelled.
Fast winning strategies for Staller in the Maker-Breaker domination game
The Maker-Breaker domination game is played on a graph $G$ by two players, called Dominator and Staller, who alternately choose a vertex that has not been played so far. Dominator wins the game if his moves form a dominating set. Staller wins if she plays all vertices from a closed neighborhood of a vertex $v \in V(G)$. Dominator's fast winning strategies were studied earlier. In this work, we concentrate on the cases when Staller has a winning strategy in the game. We introduce the invariant $γ'_{\rm SMB}(G)$ (resp., $γ_{\rm SMB}(G)$) which is the smallest integer $k$ such that, under any strategy of Dominator, Staller can win the game by playing at most $k$ vertices, if Staller (resp., Dominator) plays first on the graph $G$.
We prove some basic properties of $γ_{\rm SMB}(G)$ and $γ'_{\rm SMB}(G)$ and study the parameters' changes under some operators as taking the disjoint union of graphs or deleting a cut vertex. We show that the inequality $δ(G)+1 \le γ'_{\rm SMB}(G) \le γ_{\rm SMB}(G)$ always holds and that for every three integers $r,s,t$ with $2\le r\le s\le t$, there exists a graph $G$ such that $δ(G)+1 = r$, $γ'_{\rm SMB}(G) = s$, and $γ_{\rm SMB}(G) = t$. We prove exact formulas for $γ'_{\rm SMB}(G)$ where $G$ is a path, or it is a tadpole graph which is obtained from the disjoint union of a cycle and a path by adding one edge between them.
The freeness Index of a graph
We define a new integer invariant of a finite graph G, the freeness index, that measures the extent to which G can be embedded in the 3-sphere so that it and its subgraphs have ``simple" complements, i.e., complements which are homeomorphic to a connect-sum of handlebodies. We relate the freeness index to questions of embedding graphs into surfaces, in particular to the orientable cycle double cover conjecture. We show that a cubic graph satisfying the orientable double cycle cover conjecture has freeness index at least two.
A characterization of edge-ordered graphs with almost linear extremal functions
Published
• View Publication
• BIB
The systematic study of Turán-type extremal problems for edge-ordered graphs was initiated by Gerbner et al. arXiv:2001.00849. They conjectured that the extremal functions of edge-ordered forests of order chromatic number 2 are $n^{1+o(1)}$. Here we resolve this conjecture proving the stronger upper bound of $n2^{O(\sqrt{\log n})}$. This represents a gap in the family of possible extremal functions as other forbidden edge-ordered graphs have extremal functions $Ω(n^c)$ for some $c>1$. However, our result is probably not the last word: here we conjecture that the even stronger upper bound of $n\log^{O(1)}n$ also holds for the same set of extremal functions.
Fractional revival on Cayley graphs over abelian groups
Published
• View Publication
• BIB
In this paper, we investigate the existence of fractional revival on Cayley graphs over finite abelian groups. We give a necessary and sufficient condition for Cayley graphs over finite abelian groups to have fractional revival. As applications, the existence of fractional revival on circulant graphs and cubelike graphs are characterized.
A 6-chromatic odd-distance graph in the plane
Published in Geombinatorics 31/3 (2022) 124-137
• Search Publication
Two vertices of an odd-distance graph are connected by an edge if and only if their Euclidean distance is an odd integer. We construct a 6-chromatic odd-distance graph in the plane.
Steiner Type Packing Problems in Digraphs: A Survey
Graph packing problem is one of the central problems in graph theory and combinatorial optimization. The famous Steiner tree packing problem in undirected graphs has become an well-established area. It is natural to extend this problem to digraphs, and such problems in digraphs are called directed Steiner type packing problems.
In this survey we overview known results on several directed Steiner type packing problems. The paper is divided into seven sections: introduction, directed Steiner tree packing problem, directed Steiner path packing problem, directed pendant Steiner tree packing problem, strong subgraph packing problem, strong arc decomposition problem, directed Steiner cycle packing problem. This survey also contains some conjectures and open problems for further study.
Cycle lengths in randomly perturbed graphs
Published
• View Publication
• BIB
Let $G$ be an $n$-vertex graph, where $δ(G) \geq δn$ for some $δ:= δ(n)$. A result of Bohman, Frieze and Martin from 2003 asserts that if $α(G) = O \left(δ^2 n \right)$, then perturbing $G$ via the addition of $ω\left(\frac{\log(1/δ)}{δ^3} \right)$ random edges, asymptotically almost surely (a.a.s. hereafter) results in a Hamiltonian graph. This bound on the size of the random perturbation is only tight when $δ$ is independent of $n$ and deteriorates as to become uninformative when $δ= Ω\left(n^{-1/3} \right)$.
We prove several improvements and extensions of the aforementioned result. First, keeping the bound on $α(G)$ as above and allowing for $δ= Ω(n^{-1/3})$, we determine the correct order of magnitude of the number of random edges whose addition to $G$ a.a.s. results in a pancyclic graph. Our second result ventures into significantly sparser graphs $G$; it delivers an almost tight bound on the size of the random perturbation required to ensure pancyclicity a.a.s., assuming $δ(G) = Ω\left((α(G) \log n)^2 \right)$ and $α(G) δ(G) = O(n)$.
Assuming the correctness of Chvátal's toughness conjecture, allows for the mitigation of the condition $α(G) = O \left(δ^2 n \right)$ imposed above, by requiring $α(G) = O(δ(G))$ instead; our third result determines, for a wide range of values of $δ(G)$, the correct order of magnitude of the size of the random perturbation required to ensure the a.a.s. pancyclicity of $G$.
For the emergence of nearly spanning cycles, our fourth result determines, under milder conditions, the correct order of magnitude of the size of the random perturbation required to ensure that a.a.s. $G$ contains such a cycle.
Existence of Optimally-Greatest Digraphs for Strongly Connected Node Reliability
Published
• View Publication
• BIB
In this paper, we introduce a new model to study network reliability with node failures. This model, strongly connected node reliability, is the directed variant of node reliability and measures the probability that the operational vertices induce a subdigraph that is strongly connected. If we are restricted to directed graphs with $n$ vertices and $n+1\leq m\leq 2n-3$ or $m=2n$ arcs, an optimally-greatest digraph does not exist. Furthermore, we study optimally-greatest directed circulant graphs when the vertices operate with probability $p$ near zero and near one.
In particular, we show that the graph $Γ\left(\mathbb{Z}_n,\{1,-1\}\right)$ is optimally-greatest for values of $p$ near zero. Then, we determine that the graph $Γ\left(\mathbb{Z}_{n},\{1,\frac{n+2}{2}\}\right)$ is optimally-greatest for values of $p$ near one when $n$ is even. Next, we show that the graph $Γ\left(\mathbb{Z}_{n},\{1,2(3^{-1})\}\right)$ is optimally-greatest for values of $p$ near one when $n$ is odd and not divisible by three and that $Γ\left(\mathbb{Z}_{n},\{1,3(2^{-1})\}\right)$ is optimally-greatest for values of $p$ near one when $n$ is odd and divisible by three. We conclude with a discussion of open problems.
Maximum Independent Set of Cliques and The Generalized Mantel's Theorem
A complete subgraph of any simple graph $G$ on $k$ vertices is called a $k$-\emph{clique} of $G$. In this paper, we first introduce the concept of the value of a $k$-clique ($k>1$) as an extension of the idea of the degree of a given vertex. Then, we obtain the generalized version of handshaking lemma which we call it clique handshaking lemma. The well-known classical result of Mantel states that the maximum number of edges in the class of triangle-free graphs with $n$ vertices is equal to $\frac{n^{2}}{4}$. Our main goal here is to find an extension of the above result for the class of $K_{ω+1}$-free graphs, using the ideas of the value of cliques and the clique handshaking lemma.
Improved bounds for 1-independent percolation on $\mathbb{Z}^n$
Published
• View Publication
• BIB
A 1-independent bond percolation model on a graph $G$ is a probability distribution on the spanning subgraphs of $G$ in which, for all vertex-disjoint sets of edges $S_1$ and $S_2$, the states of the edges in $S_1$ are independent of the states of the edges in $S_2$. Such a model is said to percolate if the random subgraph has an infinite component with positive probability. In 2012 the first author and Bollobás defined $p_{\max}(G)$ to be the supremum of those $p$ for which there exists a 1-independent bond percolation model on $G$ in which each edge is present in the random subgraph with probability at least $p$ but which does not percolate.
A fundamental and challenging problem in this area is to determine the value of $p_{\max}(G)$ when $G$ is the lattice graph $\mathbb{Z}^2$. Since $p_{\max}(\mathbb{Z}^n)\leq p_{\max}(\mathbb{Z}^{n-1})$, it is also of interest to establish the value of $\lim_{n\to\infty} p_{\max}(\mathbb{Z}^n)$. In this paper we significantly improve the best known upper bound on this limit and obtain better upper and lower bounds on $p_{\max}(\mathbb{Z}^2)$. In proving these results, we also give an upper bound on the critical probability for a 1-independent model on the hypercube graph to contain a giant component asymptotically almost surely.
A transient equivalence between Aldous-Broder and Wilson's algorithms and a two-stage framework for generating uniform spanning trees
Published
• View Publication
• BIB
The $Aldous\text{-}Broder$ and $Wilson$ are two well-known algorithms to generate uniform spanning trees (USTs) based on random walks. This work studies their relationship while they construct random trees with the goal of reducing the total time required to build the spanning tree. Using the notion of $branches$ $-$ paths generated by the two algorithms on particular stopping times, we show that the trees built by the two algorithms when running on a complete graph are statistically equivalent on these stopping times. This leads to a hybrid algorithm that can generate uniform spanning trees of complete graphs faster than either of the two algorithms. An efficient two-stage framework is also proposed to explore this hybrid approach beyond complete graphs, showing its feasibility in various examples, including transitive graphs where it requires 25% less time than $Wilson$ to generate a UST.
On Difference of Enhanced Power Graph and Power Graph of a Finite Group
Published in Journal of Combinatorial Theory, Series A Volume 208 , November 2024, 105932
• View Publication
• BIB
The difference graph $D(G)$ of a finite group $G$ is the difference of enhanced power graph of $G$ and power graph of $G$, with all isolated vertices are removed. In this paper we study the connectedness and perfectness of $D(G)$ with respect to various properties of the underlying group $G$. We also find several connection between the difference graph of $G$ and the Gruenberg-Kegel graph of $G$.
Linearly Free Graphs
Published
• View Publication
• BIB
In this paper we are interested in an intrinsic property of graphs which is derived from their embeddings into the Euclidean 3-space $\mathbb{R}^3$. An embedding of a graph into $\mathbb{R}^3$ is said to be linear, if it sends every edge to be a line segment. And we say that an embedding $f$ of a graph $G$ into $\mathbb{R}^3$ is free, if $π_1(\mathbb{R}^3-f(G))$ is a free group. Lastly a simple connected graph is said to be linearly free if every its linear embedding is free. In 1980s it was proved that every complete graph is linearly free, by Nicholson.
In this paper, we develop Nicholson's arguments into a general notion, and establish a sufficient condition for a linear embedding to be free. As an application of the condition we give a partial answer for a question: how much can the complete graph $K_n$ be enlarged so that the linear freeness is preserved and the clique number does not increase? And an example supporting our answer is provided.
As the second application it is shown that a simple connected graph of minimal valency at least $3$ is linearly free, if it has less than 8 vertices. The conditional inequality is strict, because we found a graph with $8$ vertices which is not linearly free. It is also proved that for $n, m \leq 6$ the complete bipartite graph $K_{n,m}$ is linearly free.
Yamada Polynomial and associated link of $θ$-curves
Published
• View Publication
• BIB
The discovery of polynomial invariants of knots and links, ignited by V. F. R. Jones, leads to the formulation of polynomial invariants of spatial graphs. The Yamada polynomial, one of such invariants, is frequently utilized for practical distinguishment of spatial graphs. Especially for $θ$-curves, the polynomial is an ambient isotopy invariant after a normalization. On the other hand, to each $θ$-curve, a 3-component link can be associated as an ambient isotopy invariant. The benefit of associated links is that invariants of links can be utilized as invariants of $θ$-curves.
In this paper we investigate the relation between the normalized Yamada polynomial of $θ$-curves and the Jones polynomial of their associated links, and show that the two polynomials are equivalent for brunnian $θ$-curves as a corollary. For our purpose the Jaeger polynomial of spatial graphs is observed, a specialization of which is equivalent to the Yamada polynomial.
Loose edge-connection of graphs
Published
• View Publication
• BIB
In the last years, connection concepts such as rainbow connection and proper connection appeared in graph theory and obtained a lot of attention. In this paper, we investigate the loose edge-connection of graphs. A connected edge-coloured graph $G$ is loose edge-connected if between any two of its vertices there is a path of length one, or a bi-coloured path of length two, or a path of length at least three with at least three colours used on its edges. The minimum number of colours, used in a loose edge-colouring of $G$, is called the loose edge-connection number and denoted $\lec(G)$. We determine the precise value of this parameter for any simple graph $G$ of diameter at least 3. We show that deciding, whether $\lec(G) = 2$ for graphs $G$ of diameter 2, is an NP-complete problem. Furthermore, we characterize all complete bipartite graphs $K_{r,s}$ with $\lec(K_{r,s}) = 2$.
The $\mathbb{F}_2$-Rank and Size of Graphs
We consider the extremal family of graphs of order $2^n$ in which no two vertices have identical neighbourhoods, yet the adjacency matrix has rank only $n$ over the field of two elements. A previous result from algebraic geometry shows that such graphs exist for all even $n$ and do not exist for odd $n$. In this paper we provide a new combinatorial proof for this result, offering greater insight to the structure of graphs with these properties. We introduce a new graph product closely related to the Kronecker product, followed by a construction for such graphs for any even $n$. Moreover, we show that this is an infinite family of strongly-regular quasi-random graphs whose signed adjacency matrices are symmetric Hadamard matrices. Conversely, we provide a combinatorial proof that for all odd $n$, no twin-free graphs of minimal $\mathbb{F}_2$-rank exist, and that the next best-possible rank $(n+1)$ is attainable, which is tight.