graph
35299 papers tagged with this keyword
On unavoidable induced subgraphs in large prime graphs
Published
• View Publication
• BIB
Chudnovsky, Kim, Oum, and Seymour recently established that any prime graph contains one of a short list of induced prime subgraphs [1]. In the present paper we reprove their theorem using many of the same ideas, but with the key model-theoretic ingredient of first determining the so-called amount of stability of the graph. This approach changes the applicable Ramsey theorem, improves the bounds and offers a different structural perspective on the graphs in question. Complementing this, we give an infinitary proof which implies the finite result.
A short proof that every finite graph has a tree-decomposition displaying its tangles
Published
• View Publication
• BIB
We give a short proof that every finite graph (or matroid) has a tree-decomposition that displays all maximal tangles.
This theorem for graphs is a central result of the graph minors project of Robertson and Seymour and the extension to matroids is due to Geelen, Gerards and Whittle.
A Note on Bounded Biclique Coverings of Complete Graphs
An undirected biclique $K_{a,b}$ is a graph with vertices partitioned into two sets: a set $A$ containing $a$ vertices and a set $B$ containing $b$ vertices such that every vertex in set $A$ is connected to every vertex in set $B$, and such that no two vertices in the same set have an edge between them. A well-known result is that a minimum of $\lceil \log_2{n} \rceil$ bicliques graphs of any size are needed to edge-cover the complete graph on $n$ vertices. We prove a lower bound on minimum vertex-weighted biclique coverings of the complete graph $n$, and use this to prove an asymptotic formula for the minimum number of bicliques $K_{x,x}$ with bounded component size needed to cover the complete graph on $n$ vertices.
On the chromatic number of structured Cayley graphs
Published
• View Publication
• BIB
In this paper, we will study the chromatic number of Cayley graphs of algebraic groups that arise from algebraic constructions. Using Lang-Weil bound and representation theory of finite simple groups of Lie type, we will establish lower bounds on the chromatic number of these graphs. This provides a lower bound for the chromatic number of Cayley graphs of the regular graphs associated to the ring of $n\times n$ matrices over finite fields. Using Weil's bound for Kloosterman sums we will also prove an analogous result for $\mathrm{SL}_2$ over finite rings.
Graph Isomorphism for Bounded Genus Graphs In Linear Time
For every integer $g$, isomorphism of graphs of Euler genus at most $g$ can be decided in linear time.
This improves previously known algorithms whose time complexity is $n^{O(g)}$ (shown in early 1980's), and in fact, this is the first fixed-parameter tractable algorithm for the graph isomorphism problem for bounded genus graphs in terms of the Euler genus $g$. Our result also generalizes the seminal result of Hopcroft and Wong in 1974, which says that the graph isomorphism problem can be decided in linear time for planar graphs.
Our proof is quite lengthly and complicated, but if we are satisfied with an $O(n^3)$ time algorithm for the same problem, the proof is shorter and easier.
On Sylvester Colorings of Cubic Graphs
If $G$ and $H$ are two cubic graphs, then an $H$-coloring of $G$ is a proper edge-coloring $f$ with edges of $H$, such that for each vertex $x$ of $G$, there is a vertex $y$ of $H$ with $f(\partial_G(x))=\partial_H(y)$. If $G$ admits an $H$-coloring, then we will write $H\prec G$. The Petersen coloring conjecture of Jaeger states that for any bridgeless cubic graph $G$, one has: $P\prec G$. The second author has recently introduced the Sylvester coloring conjecture, which states that for any cubic graph $G$ one has: $S\prec G$. Here $S$ is the Sylvester graph on $10$ vertices. In this paper, we prove the analogue of Sylvester coloring conjecture for cubic pseudo-graphs. Moreover, we show that if $G$ is any connected simple cubic graph $G$ with $G\prec P$, then $G = P$. This implies that the Petersen graph does not admit an $S_{16}$-coloring, where $S_{16}$ is the smallest connected simple cubic graph without a perfect matching. $S_{16}$ has $16$ vertices. %We conjecture that there are infinitely many connected cubic simple graphs which do not admit an %$S_{16}$-coloring. Finally, we obtain $2$ results towards the Sylvester coloring conjecture. The first result states that any cubic graph $G$ has a coloring with edges of Sylvester graph $S$ such that at least $\frac45$ of vertices of $G$ meet the conditions of Sylvester coloring conjecture. The second result states that any claw-free cubic graph graph admits an $S$-coloring. This results is an application of our result on cubic pseudo-graphs.
Inertia Sets For Families of Graphs
This paper consists of a few results, discovered and proved during the 2012-2013 research group at Eastern Oregon University. Inertia tables are a visual representation of the possible inertias of a given graph. The inertia of a graph counts the number of real positive and negative eigenvalues of its corresponding adjacency matrix. The problem of studying inertia tables is directly related to the inverse eigenvalue problem and can be used as a tool for the minimum rank problem. This paper describes the inverse eigenvalue problem, and tools used. We describe a number of new general formulas for various simple undirected graphs and improved upon an established notation for inertia tables.
Spectra and Laplacian spectra of arbitrary powers of lexicographic products of graphs
Published
• View Publication
• BIB
Consider two graphs $G$ and $H$. Let $H^k[G]$ be the lexicographic product of $H^k$ and $G$, where $H^k$ is the lexicographic product of the graph $H$ by itself $k$ times. In this paper, we determine the spectrum of $H^k[G]$ and $H^k$ when $G$ and $H$ are regular and the Laplacian spectrum of $H^k[G]$ and $H^k$ for $G$ and $H$ arbitrary. Particular emphasis is given to the least eigenvalue of the adjacency matrix in the case of lexicographic powers of regular graphs, and to the algebraic connectivity and the largest Laplacian eigenvalues in the case of lexicographic powers of arbitrary graphs. This approach allows the determination of the spectrum (in case of regular graphs) and Laplacian spectrum (for arbitrary graphs) of huge graphs. As an example, the spectrum of the lexicographic power of the Petersen graph with the googol number (that is, $10^{100}$) of vertices is determined. The paper finish with the extension of some well known spectral and combinatorial invariant properties of graphs to its lexicographic powers.
Sufficient Conditions for Graphicality of Bidegree Sequences
Published
• View Publication
• BIB
There are a variety of existing conditions for a degree sequence to be graphic. When a degree sequence satisfies any of these conditions, there exists a graph that realizes the sequence. We formulate several novel sufficient graphicality criteria that depend on the number of elements in the sequence, corresponding to the number of nodes in an associated graph, and the mean degree of the sequence. These conditions, which are stated in terms of bidegree sequences for directed graphs, are easier to apply than classic necessary and sufficient graphicality conditions involving multiple inequalities. They are also more flexible than more recent graphicality conditions, in that they imply graphicality of some degree sequences not covered by those conditions. The form of our results will allow them to be easily used for the generation of graphs with particular degree sequences for applications.
Quantum Walks on Generalized Quadrangles
Published
• View Publication
• BIB
We study the transition matrix of a quantum walk on strongly regular graphs. It is proposed by Emms, Hancock, Severini and Wilson in 2006, that the spectrum of $S^+(U^3)$, a matrix based on the amplitudes of walks in the quantum walk, distinguishes strongly regular graphs. We probabilistically compute the spectrum of the line intersection graphs of two non-isomorphic generalized quadrangles of order $(5^2,5)$ under this matrix and thus provide strongly regular counter-examples to the conjecture.
2-Trees: Structural Insights and the study of Hamiltonian Paths
Published
• View Publication
• BIB
For a connected graph, a path containing all vertices is known as \emph{Hamiltonian path}. For general graphs, there is no known necessary and sufficient condition for the existence of Hamiltonian paths and the complexity of finding a Hamiltonian path in general graphs is NP-Complete. We present a necessary and sufficient condition for the existence of Hamiltonian paths in 2-trees. Using our characterization, we also present a linear-time algorithm for the existence of Hamiltonian paths in 2-trees. Our characterization is based on a deep understanding of the structure of 2-trees and the combinatorics presented here may be used in other combinatorial problems restricted to 2-trees.
Modified vertex Folkman numbers
Published in Mathematics and Education. Proceedings of the 45th Spring Conference of the Union of Bulgarian Mathematicians, 45:113-123, 2016
• Search Publication
Let $a_1, ..., a_s$ be positive integers. For a graph $G$ the expression $$ G \overset{v}{\rightarrow} (a_1, ..., a_s) $$ means that for every coloring of the vertices of $G$ in $s$ colors ($s$-coloring) there exists $i \in \{1, ..., s\}$, such that there is a monochromatic $a_i$-clique of color $i$. If $m$ and $p$ are positive integers, then $$ G \overset{v}{\rightarrow} {m}\big\vert_{p} $$ means that for arbitrary positive integers $a_1, ..., a_s$ ($s$ is not fixed), such that $\sum_{i = 1}^{s}(a_i - 1) + 1 = m$ an $\max{\{a_1, ..., a_s\}} \leq p$ we have $G \overset{v}{\rightarrow} (a_1, ..., a_s)$. Let $$ \widetilde{\mathcal{H}}({m}\big\vert_{p}; q) = \{G : G \overset{v}{\rightarrow} {m}\big\vert_{p} \mbox{ and } ω(G) < q\}. $$
The modified vertex Folkman numbers are defined by the equality $$ \widetilde{F}({m}\big\vert_{p}; q) = \min{\{|V(G)| : G \in \widetilde{\mathcal{H}}({m}\big\vert_{p}; q)\}}. $$ If $q \geq m$ these numbers are known and they are easy to compute. In the case $q = m - 1$ we know all of the numbers when $p \leq 5$. In this work we consider the next unknown case $p = 6$ and we prove with the help of a computer that $$ \widetilde{F}({m}\big\vert_{6}; m - 1) = m + 10. $$
Total dominator chromatic number of specific graphs
Published
• View Publication
• BIB
Let $G$ be a simple graph. A total dominator coloring of $G$ is a proper coloring of the vertices of $G$ in which each vertex of the graph is adjacent to every vertex of some color class. The total dominator chromatic number $χ_d^t(G)$ of $G$ is the minimum number of colors among all total dominator coloring of $G$. In this paper, we study the total dominator chromatic number of some specific graphs.
Maximizing Kirchhoff index of unicyclic graphs with fixed maximum degree
The Kirchhoff index of a connected graph is the sum of resistance distances between all unordered pairs of vertices in the graph. Its considerable applications are found in a variety of fields. In this paper, we determine the maximum value of Kirchhoff index among the unicyclic graphs with fixed number of vertices and maximum degree, and characterize the corresponding extremal graph.
Graphs that are simultaneously efficient open domination and efficient closed domination graphs
A graph is an efficient open (resp.\ closed) domination graph if there exists a subset of vertices whose open (resp.\ closed) neighborhoods partition its vertex set. Graphs that are efficient open as well as efficient closed (shortly EOCD graphs) are investigated. The structure of EOCD graphs with respect to their efficient open and efficient closed dominating sets is explained. It is shown that the decision problem regarding whether a graph is an EOCD graph is an NP-complete problem. A recursive description that constructs all EOCD trees is given and EOCD graphs are characterized among the Sierpiński graphs.
Uniform generation of random regular graphs
Published
• View Publication
• BIB
We develop a new approach for uniform generation of combinatorial objects, and apply it to derive a uniform sampler REG for d-regular graphs. REG can be implemented such that each graph is generated in expected time O(nd^3), provided that d=o(n^{1/2}). Our result significantly improves the previously best uniform sampler, which works efficiently only when d=O(n^{1/3}), with essentially the same running time for the same d. We also give a linear-time approximate sampler REG*, which generates a random d-regular graph whose distribution differs from the uniform by o(1) in total variation distance, when d=o(n^{1/2}).
A counterexample to a result on the tree graph of a graph
Published in Australasian Journal of Combinatorics 63(3) (2015), 368 - 373
• Search Publication
Given a set of cycles C of a graph G, the tree graph of G defined by C is the graph T(G,C) whose vertices are the spanning trees of G and in which two trees R and S are adjacent if the union of R and S contains exactly one cycle and this cycle lies in C. Li et al [Discrete Math 271 (2003), 303--310] proved that if the graph T(G,C) is connected, then C cyclically spans the cycle space of G. Later, Yumei Hu [Proceedings of the 6th International Conference on Wireless Communications Networking and Mobile Computing (2010), 1--3] proved that if C is an arboreal family of cycles of G which cyclically spans the cycle space of a $2$-connected graph G, then T(G, C) is connected. In this note we present an infinite family of counterexamples to Hu's result.
Exponential Domination in Subcubic Graphs
Published
• View Publication
• BIB
As a natural variant of domination in graphs, Dankelmann et al. [Domination with exponential decay, Discrete Math. 309 (2009) 5877-5883] introduce exponential domination, where vertices are considered to have some dominating power that decreases exponentially with the distance, and the dominated vertices have to accumulate a sufficient amount of this power emanating from the dominating vertices. More precisely, if $S$ is a set of vertices of a graph $G$, then $S$ is an exponential dominating set of $G$ if $\sum\limits_{v\in S}\left(\frac{1}{2}\right)^{{\rm dist}_{(G,S)}(u,v)-1}\geq 1$ for every vertex $u$ in $V(G)\setminus S$, where ${\rm dist}_{(G,S)}(u,v)$ is the distance between $u\in V(G)\setminus S$ and $v\in S$ in the graph $G-(S\setminus \{ v\})$. The exponential domination number $γ_e(G)$ of $G$ is the minimum order of an exponential dominating set of $G$.
In the present paper we study exponential domination in subcubic graphs. Our results are as follows: If $G$ is a connected subcubic graph of order $n(G)$, then $$\frac{n(G)}{6\log_2(n(G)+2)+4}\leq γ_e(G)\leq \frac{1}{3}(n(G)+2).$$ For every $ε>0$, there is some $g$ such that $γ_e(G)\leq εn(G)$ for every cubic graph $G$ of girth at least $g$. For every $0<α<\frac{2}{3\ln(2)}$, there are infinitely many cubic graphs $G$ with $γ_e(G)\leq \frac{3n(G)}{\ln(n(G))^α}$. If $T$ is a subcubic tree, then $γ_e(T)\geq \frac{1}{6}(n(T)+2).$ For a given subcubic tree, $γ_e(T)$ can be determined in polynomial time. The minimum exponential dominating set problem is APX-hard for subcubic graphs.
Unit Interval Orders and the Dot Action on the Cohomology of Regular Semisimple Hessenberg Varieties
Published
• View Publication
• BIB
Motivated by a 1993 conjecture of Stanley and Stembridge, Shareshian and Wachs conjectured that the characteristic map takes the dot action of the symmetric group on the cohomology of a regular semisimple Hessenberg variety to $ωX_G(t)$, where $X_G(t)$ is the chromatic quasisymmetric function of the incomparability graph $G$ of the corresponding natural unit interval order, and $ω$ is the usual involution on symmetric functions. We prove the Shareshian--Wachs conjecture. Our proof uses the local invariant cycle theorem of Beilinson-Bernstein-Deligne to obtain a surjection from the cohomology of a regular Hessenberg variety of Jordan type $λ$ to a space of local invariant cycles; as $λ$ ranges over all partitions, these spaces collectively contain all the information about the dot action on a regular semisimple Hessenberg variety. Using a palindromicity argument, we show that in our case the surjections are actually isomorphisms, thus reducing the Shareshian-Wachs conjecture to computing the cohomology of a regular Hessenberg variety. But this cohomology has already been described combinatorially by Tymoczko; we give a bijective proof (using a generalization of a combinatorial reciprocity theorem of Chow) that Tymoczko's combinatorial description coincides with the combinatorics of the chromatic quasisymmetric function.
Oriented Threshold Graphs
Published in Australasian Journal of Combinatorics, Volume 71 part 1, 2018, pg 43-53
• Search Publication
Threshold graphs are a prevalent and widely studied class of simple graphs. They have several equivalent definitions which makes them a go-to class for finding examples and counter examples when testing and learning. This versatility has led to many results about threshold graphs and similar structures. We look to generalize this class of graphs to oriented graphs (directed simple graphs.) We give generalizations to four of the most versatile definitions and show their equivalence in the oriented case. We finish with a proof enumerating the number of these oriented threshold graphs which relates to the Fibonacci numbers.