graph
34828 papers tagged with this keyword
Solutions of Reeder's Puzzle
In this paper we consider the generalized Reeder's puzzle, introduced by Reeder in 2005 and generalized by Borovoi and Evenor in 2016. We give a detailed solution of the puzzle for the graphs of Dynkin diagrams and affine Dynkin diagrams. We find the number of equivalence classes in each case. We also discuss more general graphs, and prove the main theorem about graphs (simply-laced trees) that contain E_6 as a subgraph.
Cacti with maximum Kirchhoff index
The concept of resistance distance was first proposed by Klein and Randić. The Kirchhoff index $Kf(G)$ of a graph $G$ is the sum of resistance distance between all pairs of vertices in $G$. A connected graph $G$ is called a cactus if each block of $G$ is either an edge or a cycle. Let $Cat(n;t)$ be the set of connected cacti possessing $n$ vertices and $t$ cycles, where $0\leq t \leq \lfloor\frac{n-1}{2}\rfloor$. In this paper, the maximum kirchhoff index of cacti are characterized, as well as the corresponding extremal graph.
On the signed graphs with two distinct eigenvalues
We consider signed graphs, i.e, graphs with positive or negative signs on their edges. We construct some families of bipartite signed graphs with only two distinct eigenvalues. This leads to constructing infinite families of regular bipartite Ramanujan graphs.
A tight relation between series-parallel graphs and Bipartite Distance Hereditary graphs
Published
• View Publication
• BIB
Bandelt and Mulder's structural characterization of Bipartite Distance Hereditary graphs asserts that such graphs can be built inductively starting from a single vertex and by repeatedly adding either pending vertices or twins (i.e., vertices with the same neighborhood as an existing one). Dirac and Duffin's structural characterization of 2-connected series-parallel graphs asserts that such graphs can be built inductively starting from a single edge by adding either edges in series or in parallel. In this paper we prove that the two constructions are the same construction when bipartite graphs are viewed as the fundamental graphs of a graphic matroid. We then apply the result to re-prove known results concerning bipartite distance hereditary graphs and series-parallel graphs, to characterize self-dual outer-planar graphs and, finally, to provide a new class of polynomially-solvable instances for the integer multi commodity flow of maximum value.
The CLLC conjecture holds for cyclic outer permutations
Recently, Gross et al. posed the LLC conjecture for the locally log-concavity of the genus distribution of every graph, and provided an equivalent combinatorial version, the CLLC conjecture, on the log-concavity of the generating function counting cycles of some permutation compositions. In this paper, we confirm the CLLC conjecture for cyclic permutations, with the aid of Hultman numbers and by applying the Hermite--Biehler theorem on the generating function of Stirling numbers of the first kind. This leads to a further conjecture that every local genus polynomial is real-rooted.
Between primitive and $2$-transitive: Synchronization and its friends
Published in Europ. Math. Soc. Surveys 4 (2017), 101-184
• View Publication
• BIB
An automaton is said to be synchronizing if there is a word in the transitions which sends all states of the automaton to a single state. Research on this topic has been driven by the Černý conjecture, one of the oldest and most famous problems in automata theory, according to which a synchronizing $n$-state automaton has a reset word of length at most $(n-1)^2$. The transitions of an automaton generate a transformation monoid on the set of states, and so an automaton can be regarded as a transformation monoid with a prescribed set of generators. In this setting, an automaton is synchronizing if the transitions generate a constant map. A permutation group $G$ on a set $Ω$ is said to synchronize a map $f$ if the monoid $\langle G,f\rangle$ generated by $G$ and $f$ is synchronizing in the above sense; we say $G$ is synchronizing if it synchronizes every non-permutation.
The classes of synchronizing groups and friends form an hierarchy of natural and elegant classes of groups lying strictly between the classes of primitive and $2$-homogeneous groups. These classes have been floating around for some years and it is now time to provide a unified reference on them. The study of all these classes has been prompted by the Černý conjecture, but it is of independent interest since it involves a rich mix of group theory, combinatorics, graph endomorphisms, semigroup theory, finite geometry, and representation theory, and has interesting computational aspects as well. So as to make the paper self-contained, we have provided background material on these topics. Our purpose here is to present results that show the connections between the various areas of mathematics mentioned above, we include a new result on the Černý conjecture, some challenges to finite geometers, some thoughts about infinite analogues, and a long list of open problems.
Lower bounds for incidences with hypersurfaces
Published
• View Publication
• BIB
We present a technique for deriving lower bounds for incidences with hypersurfaces in ${\mathbb R}^d$ with $d\ge 4$. These bounds apply to a large variety of hypersurfaces, such as hyperplanes, hyperspheres, paraboloids, and hypersurfaces of any degree.
Beyond being the first non-trivial lower bounds for various incidence problems, our bounds show that some of the known upper bounds for incidence problems in ${\mathbb R}^d$ are tight up to an extra $\varepsilon$ in the exponent. Specifically, for every $m$, $d\ge 4$, and $\varepsilon>0$ there exist $m$ points and $n$ hypersurfaces in ${\mathbb R}^d$ (where $n$ depends on $m$) with no $K_{2,\frac{d-1}{\varepsilon}}$ in the incidence graph and $Ω\left(m^{(2d-2)/(2d-1)}n^{d/(2d-1)-\varepsilon} \right)$ incidences. Moreover, we provide improved lower bounds for the case of no $K_{s,s}$ in the incidence graph, for large constants $s$.
Our analysis builds upon ideas from a recent work of Bourgain and Demeter on discrete Fourier restriction to the four- and five-dimensional spheres. Specifically, it is based on studying the additive energy of the integer points in a truncated paraboloid.
Spectral bound for separations in Eulerian digraphs
Published
• View Publication
• BIB
The spectra of digraphs, unlike those of graphs, is a relatively unexplored territory. In a digraph, a separation is a pair of sets of vertices X and Y such that there are no arcs from X and Y . For a subclass of eulerian digraphs, we give an bound on the size of a separation in terms of the eigenvalues of the Laplacian matrix.
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. $$