graph
34995 papers tagged with this keyword
On a conjecture of Brouwer involving the connectivity of strongly regular graphs
Published
• View Publication
• BIB
In this paper, we study a conjecture of Andries E. Brouwer from 1996 regarding the minimum number of vertices of a strongly regular graph whose removal disconnects the graph into non-singleton components.
We show that strongly regular graphs constructed from copolar spaces and from the more general spaces called $Δ$-spaces are counterexamples to Brouwer's Conjecture. Using J.I. Hall's characterization of finite reduced copolar spaces, we find that the triangular graphs $T(m)$, the symplectic graphs $Sp(2r,q)$ over the field $\mathbb{F}_q$ (for any $q$ prime power), and the strongly regular graphs constructed from the hyperbolic quadrics $O^{+}(2r,2)$ and from the elliptic quadrics $O^{-}(2r,2)$ over the field $\mathbb{F}_2$, respectively, are counterexamples to Brouwer's Conjecture. For each of these graphs, we determine precisely the minimum number of vertices whose removal disconnects the graph into non-singleton components. While we are not aware of an analogue of Hall's characterization theorem for $Δ$-spaces, we show that complements of the point graphs of certain finite generalized quadrangles are point graphs of $Δ$-spaces and thus, yield other counterexamples to Brouwer's Conjecture.
We prove that Brouwer's Conjecture is true for many families of strongly regular graphs including the conference graphs, the generalized quadrangles $GQ(q,q)$ graphs, the lattice graphs, the Latin square graphs, the strongly regular graphs with smallest eigenvalue -2 (except the triangular graphs) and the primitive strongly regular graphs with at most 30 vertices except for few cases.
We leave as an open problem determining the best general lower bound for the minimum size of a disconnecting set of vertices of a strongly regular graph, whose removal disconnects the graph into non-singleton components.
Results on the intersection graphs of subspaces of a vector space
For a vector space $V$ the \emph{intersection graph of subspaces} of $V$, denoted by $G(V)$, is the graph whose vertices are in a one-to-one correspondence with proper nontrivial subspaces of $V$ and two distinct vertices are adjacent if and only if the corresponding subspaces of $V$ have a nontrivial (nonzero) intersection. In this paper, we study the clique number, the chromatic number, the domination number and the independence number of the intersection graphs of subspaces of a vector space.
Generalizations and Variants of the Largest Non-crossing Matching Problem in Random Bipartite Graphs
We are interested in the statistics of the length of the longest increasing subsequence of 2-rowed lexicographically sorted arrays chosen according to distinct families of distributions D = (D_n)_n, and when n goes to infinity. This framework encompasses well studied problems such as the so called Longest Increasing Subsequence problem, the Longest Common Subsequence problem, problems concerning directed bond percolation models, among others. We define several natural families of distinct distributions and characterize the asymptotic behavior of the expected length of a longest increasing subsequence chosen according to them. In particular, we consider generalizations to d-rowed arrays as well as symmetry restricted two-rowed arrays.
Linear Systems on Edge-Weighted Graphs
Published in Rocky Mountain J. Math. Volume 46, Number 5 (2016), 1559-1574
• View Publication
• BIB
Let R be any subring of the reals. We present a generalization of linear systems on graphs where divisors are R-valued functions on the set of vertices and graph edges are permitted to have nonegative weights in R. Using this generalization, we provide an independent proof of a Riemann-Roch formula, which implies the Riemann-Roch formula of Baker and Norine.
Non-three-colorable common graphs exist
Published in Combin. Probab. Comput. 21 (2012), no. 5, 734-742
• View Publication
• BIB
A graph H is called common if the total number of copies of H in every graph and its complement asymptotically minimizes for random graphs. A former conjecture of Burr and Rosta, extending a conjecture of Erdos asserted that every graph is common. Thomason disproved both conjectures by showing that the complete graph of order four is not common. It is now known that in fact the common graphs are very rare. Answering a question of Sidorenko and of Jagger, Stovicek and Thomason from 1996 we show that the 5-wheel is common. This provides the first example of a common graph that is not three-colorable.
A polynomial bound on the mixing time of a Markov chain for sampling regular directed graphs
Published
• View Publication
• BIB
The switch chain is a well-known Markov chain for sampling directed graphs with a given degree sequence. While not ergodic in general, we show that it is ergodic for regular degree sequences. We then prove that the switch chain is rapidly mixing for regular directed graphs of degree d, where d is any positive integer-valued function of the number of vertices. We bound the mixing time by bounding the eigenvalues of the chain. A new result is presented and applied to bound the smallest (most negative) eigenvalue. This result is a modification of a lemma by Diaconis and Stroock, and by using it we avoid working with a lazy chain. A multicommodity flow argument is used to bound the second-largest eigenvalue of the chain. This argument is based on the analysis of a related Markov chain for undirected regular graphs by Cooper, Dyer and Greenhill, but with significant extension required.
Sheaves on Graphs, Their Homological Invariants, and a Proof of the Hanna Neumann Conjecture
Published
• View Publication
• BIB
In this paper we establish some foundations regarding sheaves of vector spaces on graphs and their invariants, such as homology groups and their limits. We then use these ideas to prove the Hanna Neumann Conjecture of the 1950's; in fact, we prove a strengthened form of the conjecture.
We introduce a notion of a sheaf of vector spaces on a graph, and develop the foundations of homology theories for such sheaves. One sheaf invariant, its "maximum excess," has a number of remarkable properties. It has a simple definition, with no reference to homology theory, that resembles graph expansion. Yet it is a "limit" of Betti numbers, and hence has a short/long exact sequence theory and resembles the $L^2$ Betti numbers of Atiyah. Also, the maximum excess is defined via a supermodular function, which gives the maximum excess much stronger properties than one has of a typical Betti number.
Our sheaf theory can be viewed as a vast generalization of algebraic graph theory: each sheaf has invariants associated to it---such as Betti numbers and Laplacian matrices---that generalize those in classical graph theory.
We shall use "Galois graph theory" to reduce the Strengthened Hanna Neumann Conjecture to showing that certain sheaves, that we call $ρ$-kernels, have zero maximum excess. We use the symmetry in Galois theory to argue that if the Strengthened Hanna Neumann Conjecture is false, then the maximum excess of "most of" these $ρ$-kernels must be large. We then give an inductive argument to show that this is impossible.
Erdos-Hajnal-type theorems in hypergraphs
Published
• View Publication
• BIB
The Erdos-Hajnal conjecture states that if a graph on n vertices is H-free, that is, it does not contain an induced copy of a given graph H, then it must contain either a clique or an independent set of size n^{d(H)}, where d(H) > 0 depends only on the graph H. Except for a few special cases, this conjecture remains wide open. However, it is known that a H-free graph must contain a complete or empty bipartite graph with parts of polynomial size. We prove an analogue of this result for 3-uniform hypergraphs, showing that if a 3-uniform hypergraph on n vertices is H-free, for any given H, then it must contain a complete or empty tripartite subgraph with parts of order c(log n)^{1/2 + d(H)}, where d(H) > 0 depends only on H. This improves on the bound of c(log n)^{1/2}, which holds in all 3-uniform hypergraphs, and, up to the value of the constant d(H), is best possible. We also prove that, for k > 3, no analogue of the standard Erdos-Hajnal conjecture can hold in k-uniform hypergraphs. That is, there are k-uniform hypergraphs H and sequences of H-free hypergraphs which do not contain cliques or independent sets of size appreciably larger than one would normally expect.
A Multi-Hop Weighted Clustering of Homogenous MANETs Using Combined Closeness Index
Published in International Journal of Wireless & Mobile Networks (IJWMN) Vol. 3, No. 2, April 2011, 253-270
• View Publication
• BIB
In this paper, a new multi-hop weighted clustering procedure is proposed for homogeneous Mobile Ad hoc networks. The algorithm generates double star embedded non-overlapping cluster structures, where each cluster is managed by a leader node and a substitute for the leader node (in case of failure of leader node). The weight of a node is a linear combination of six different graph theoretic parameters which deal with the communication capability of a node both in terms of quality and quantity, the relative closeness relationship between network nodes and the maximum and average distance traversed by a node for effective communication. This paper deals with the design and analysis of the algorithm and some of the graph theoretic/structural properties of the clusters obtained are also discussed.
Supersaturation for hereditary properties
Published
• View Publication
• BIB
Let $\mathcal{F}$ be a collection of $r$-uniform hypergraphs, and let $0 < p < 1$. It is known that there exists $c = c(p,\mathcal{F})$ such that the probability of a random $r$-graph in $G(n,p)$ not containing an induced subgraph from $\mathcal{F}$ is $2^{(-c+o(1)){n \choose r}}$. Let each graph in $\mathcal{F}$ have at least $t$ vertices. We show that in fact for every $ε> 0$, there exists $δ= δ(ε, p,\mathcal{F}) > 0$ such that the probability of a random $r$-graph in $G(n,p)$ containing less than $δn^t$ induced subgraphs each lying in $\mathcal{F}$ is at most $2^{(-c+ε){n \choose r}}$.
This statement is an analogue for hereditary properties of the supersaturation theorem of Erdős and Simonovits. In our applications we answer a question of Bollobás and Nikiforov.
Path-search in the pyramid and in other graphs
Published
• View Publication
• BIB
We are given an acyclic directed graph with one source, and a subset of its edges which contains exactly one outgoing edge for every non-sink vertex. These edges determine a unique path from the source to a sink. We can think of it as a switch in every vertex, which determines which way the water arriving to that vertex flows further. We are interested in determining either the sink the flow arrives, or the whole path, with as few questions as possible. The questions we can ask correspond to the vertices of the graph, and the answer describes the switch, i.e. tells which outgoing edge is in our given subset. Originally the problem was proposed by Soren Riis (who posed the question for pyramid graphs) in the following more general form. We are given a natural number k, and k questions can be asked in a round. The goal is to minimize the number of rounds. We completely solve this problem for complete t-ary trees. Also, for pyramid graphs we present some non-trivial partial results.
An Alternative Proof of the $H$-Factor Theorem
Published
• View Publication
• BIB
Let $H: V(G) \rightarrow 2^{\mathbb{N}}$ be a set mapping for a graph $G$. Given a spanning subgraph $F$ of $G$, $F$ is called a {\it general factor} or an $H$-{\it factor} of $G$ if $d_{F}(x)\in H(x)$ for every vertex $x\in V(G)$. $H$-factor problems are, in general, $NP$-complete problems and imply many well-known factor problems (e.g., perfect matchings, $f$-factor problems and $(g, f)$-factor problems) as special cases. Lovász [The factorization of graphs (II),
Acta Math. Hungar., 23 (1972), 223--246] gave a structure description and obtained a deficiency formula for $H$-optimal subgraphs. In this note, we use a generalized alternating path method to give a structural characterization and provide an alternative and shorter proof of Lovász's deficiency formula.
High Degree Vertices, Eigenvalues and Diameter of Random Apollonian Networks
In this work we analyze basic properties of Random Apollonian Networks \cite{zhang,zhou}, a popular stochastic model which generates planar graphs with power law properties. Specifically, let $k$ be a constant and $Δ_1 \geq Δ_2 \geq .. \geq Δ_k$ be the degrees of the $k$ highest degree vertices. We prove that at time $t$, for any function $f$ with $f(t) \rightarrow +\infty$ as $t \rightarrow +\infty$, $\frac{t^{1/2}}{f(t)} \leq Δ_1 \leq f(t)t^{1/2}$ and for $i=2,...,k=O(1)$, $\frac{t^{1/2}}{f(t)} \leq Δ_i \leq Δ_{i-1} - \frac{t^{1/2}}{f(t)}$ with high probability (\whp). Then, we show that the $k$ largest eigenvalues of the adjacency matrix of this graph satisfy $λ_k = (1\pm o(1))Δ_k^{1/2}$ \whp. Furthermore, we prove a refined upper bound on the asymptotic growth of the diameter, i.e., that \whp the diameter $d(G_t)$ at time $t$ satisfies $d(G_t) \leq ρ\log{t}$ where $\frac{1}ρ=η$ is the unique solution greater than 1 of the equation $η- 1 - \logη = \log{3}$. Finally, we investigate other properties of the model.
Isomorph-free generation of 2-connected graphs with applications
Many interesting graph families contain only 2-connected graphs, which have ear decompositions. We develop a technique to generate families of unlabeled 2-connected graphs using ear augmentations and apply this technique to two problems. In the first application, we search for uniquely K_r-saturated graphs and find the list of uniquely K_4-saturated graphs on at most 12 vertices, supporting current conjectures for this problem. In the second application, we verifying the Edge Reconstruction Conjecture for all 2-connected graphs on at most 12 vertices. This technique can be easily extended to more problems concerning 2-connected graphs.
Class two 1-planar graphs with maximum degree six or seven
A graph is 1-planar if it can be drawn on the plane so that each edge is crossed by at most one other edge. In this note we give examples of class two 1-planar graphs with maximum degree six or seven.
Universally Koszul algebras defined by graphs
Published in Discrete Mathematical Sciences & Cryptography, 15 (6) (2012) 349-352
• View Publication
• BIB
In this note, it is proved that a graphs is $(2K_2,P_4)$-free if and only if its edge ring is universally Koszul. Using properties of this family of graphs, we show that Universally Koszul algebras defined by graphs have linear minimal free resolution.
Convex obstacle numbers of outerplanar graphs and bipartite permutation graphs
Published
• View Publication
• BIB
The disjoint convex obstacle number of a graph G is the smallest number h such that there is a set of h pairwise disjoint convex polygons (obstacles) and a set of n points in the plane (corresponding to V(G)) so that a vertex pair uv is an edge if and only if the corresponding segment uv does not meet any obstacle.
We show that the disjoint convex obstacle number of an outerplanar graph is always at most 5, and of a bipartite permutation graph at most 4. The former answers a question raised by Alpert, Koch, and Laison. We complement the upper bound for outerplanar graphs with the lower bound of 4.
Vertex Structure of Master Corner Polyhedra
Published
• View Publication
• BIB
This paper focuses on vertices of the master corner polyhedra $P(G,g_0),$ the core of the group-theoretical approach to integer linear programming. We introduce two combinatorial operations that transform each vertex of $P(G,g_0)$ to adjacent ones. This implies that for any $P(G,g_0),$ there exists a subset of basic vertices, we call them support vertices, from which all others can be built. The class of support vertices is proved to be invariant under the automorphism group of $G,$ so this basis can be further reduced to a subset of pairwise non-equivalent support vertices. Among other results, we characterize irreducible points of the master corner polyhedra, establish relations between an integer point and the nontrivial facets that pass through it, construct complete subgraphs of the graph of $P(G,g_0),$ and show that these polyhedra are of diameter 2.
On Coloring Properties of Graph Powers
This paper studies some coloring properties of graph powers. We show that $χ_c(G^{^{\frac{2r+1}{2s+1}}})=\frac{(2s+1)χ_c(G)}{(s-r)χ_c(G)+2r+1}$ provided that $χ_c(G^{^{\frac{2r+1}{2s+1}}})< 4$. As a consequence, one can see that if ${2r+1 \over 2s+1} \leq {χ_c(G) \over 3(χ_c(G)-2)}$, then $χ_c(G^{^{\frac{2r+1}{2s+1}}})=\frac{(2s+1)χ_c(G)}{(s-r)χ_c(G)+2r+1}$. In particular, $χ_c(K_{3n+1}^{^{1\over3}})={9n+3\over 3n+2}$ and $K_{3n+1}^{^{1\over3}}$ has no subgraph with circular chromatic number equal to ${6n+1\over 2n+1}$. This provides a negative answer to a question asked in [Xuding Zhu, Circular chromatic number: a survey, Discrete Math., 229(1-3):371--410, 2001]. Also, we present an upper bound for the fractional chromatic number of subdivision graphs. Precisely, we show that $χ_f(G^{^{\frac{1}{2s+1}}})\leq \frac{(2s+1)χ_f(G)}{sχ_f(G)+1}$. Finally, we investigate the $n$th multichromatic number of subdivision graphs.
Edge-disjoint Hamilton cycles in random graphs
Published
• View Publication
• BIB
We show that provided $\log^{50} n/n \leq p \leq 1 - n^{-1/4}\log^9 n$ we can with high probability find a collection of $\lfloor δ(G)/2 \rfloor$ edge-disjoint Hamilton cycles in $G \sim G_{n, p}$, plus an additional edge-disjoint matching of size $\lfloor n/2 \rfloor$ if $δ(G)$ is odd. This confirms, for the above range of $p$, a conjecture of Frieze and Krivelevich.