graph
35175 papers tagged with this keyword
Minimal and irreducible links in the Shannon game
We discuss weak and strong links (`virtual connections') in the Shannon game. General properties of these links are discussed, leading to a method to find all links of given size by a suitably pruned exhaustive search. This is applied to links on graphs of up to 11 vertices. We discuss the concept of reducibility of such links. Three simple reductions are considered, including one, the `short-cut', not previously described. The complete sets of irreducible weak links on up to 11 vertices and strong links on up to 10 vertices are presented. Some applications to the analysis of Hex are noted.
Results on the regularity of square-free monomial ideals
Published in Adv. Appl. Math 58 (2014) 21-36
• View Publication
• BIB
In a 2008 paper, the first author and Van Tuyl proved that the regularity of the edge ideal of a graph G is at most one greater than the matching number of G. In this note, we provide a generalization of this result to any square-free monomial ideal. We define a 2-collage in a simple hypergraph to be a collection of edges with the property that for any edge E of the hypergraph, there exists an edge F in the collage such that |E \ F| < 2. The Castelnuovo-Mumford regularity of the edge ideal of a simple hypergraph is bounded above by a multiple of the minimum size of a 2-collage. We also give a recursive formula to compute the regularity of a vertex-decomposable hypergraph. Finally, we show that regularity in the graph case is bounded by a certain statistic based on maximal packings of nondegenerate star subgraphs.
Full automorphism groups of association schemes based on isotropic subspaces
The set of all subspaces of a given dimension in a finite classical polar space has a structure of a symmetric association scheme. If the dimension is zero, this is the scheme of the collinearity graph of the space; If the dimension is maximum, it is the dual polar scheme. In this note, we determine the full automorphism group of this scheme.
Simple random walk on distance-regular graphs
A survey is presented of known results concerning simple random walk on the class of distance-regular graphs. One of the highlights is that electric resistance and hitting times between points can be explicitly calculated and given strong bounds for, which leads in turn to bounds on cover times, mixing times, etc. Also discussed are harmonic functions, moments of hitting and cover times, the Green's function, and the cutoff phenomenon. The main goal of the paper is to present these graphs as a natural setting in which to study simple random walk, and to stimulate further research in the field.
The skew energy of random oriented graphs
Published
• View Publication
• BIB
Given a graph $G$, let $G^σ$ be an oriented graph of $G$ with the orientation $σ$ and skew-adjacency matrix $S(G^σ)$. The skew energy of the oriented graph $G^σ$, denoted by $\mathcal{E}_S(G^σ)$, is defined as the sum of the absolute values of all the eigenvalues of $S(G^σ)$. In this paper, we study the skew energy of random oriented graphs and formulate an exact estimate of the skew energy for almost all oriented graphs by generalizing Wigner's semicircle law. Moreover, we consider the skew energy of random regular oriented graphs $G_{n,d}^σ$, and get an exact estimate of the skew energy for almost all regular oriented graphs.
On expanders from the action of GL(2,Z)
Consider the undirected graph $G_n=(V_n, E_n)$ where $V_n = (Z/nZ)^2$ and $E_n$ contains an edge from $(x,y)$ to $(x+1,y)$, $(x,y+1)$, $(x+y,y)$, and $(x,y+x)$ for every $(x,y) \in V_n$. Gabber and Galil, following Margulis, gave an elementary proof that ${G_n}$ forms an expander family. In this note, we present a somewhat simpler proof of this fact, and demonstrate its utility by isolating a key property of the linear transformations $(x,y) -> (x+y,x), (x,y+x)$ that yields expansion.
As an example, consider any invertible, integral matrix $S \in GL_2(Z)$ and let $G^S_n = (V_n, E^S_n)$ where $E^S_n$ contains, for every $(x,y) \in V_n$, an edge from $(x,y)$ to $(x+1,y)$, $(x,y+1)$, $S(x,y)$, and $S^T(x,y)$, where $S^T$ denotes the transpose of $S$. Then {G_n^S} forms an expander family if and only if a related infinite graph has positive Cheeger constant. This latter property turns out to be elementary to analyze and can be used to show that {G_n^S} are expanders precisely when the trace of S is non-zero and S is not equal to its transpose. We also present some other generalizations.
Neutrality in the Graph Coloring Problem
Published in N° RR-8215 (2013)
• View Publication
• BIB
The graph coloring problem is often investigated in the literature. Many insights about many neighboring solutions with the same fitness value are raised but as far as we know, no deep analysis of this neutrality has ever been conducted in the literature. In this paper, we quantify the neutrality of some hard instances of the graph coloring problem. This neutrality property has to be detected as it impacts the search process. Indeed, local optima may belong to plateaus that represents a barrier for local search methods. In this work, we also aim at pointing out the interest of exploiting neutrality during the search. Therefore, a generic local search dedicated to neutral problems, NILS, is performed on several hard instances.
Rainbow C_4's and Directed C_4's: the Bipartite Case Study
Published in Bull. Malays. Math. Sci. Soc, 39(2) (2016), 563--570
• View Publication
• BIB
In this paper we obtain a new sufficient condition for the existence of directed cycles of length 4 in oriented bipartite graphs. As a corollary, a conjecture of H. Li is confirmed. As an application, a sufficient condition for the existence of rainbow cycles of length 4 in bipartite edge-colored graphs is obtained.
Uniform Mixing and Association Schemes
Published
• View Publication
• BIB
We consider continuous-time quantum walks on distance-regular graphs of small diameter. Using results about the existence of complex Hadamard matrices in association schemes, we determine which of these graphs have quantum walks that admit uniform mixing.
First we apply a result due to Chan to show that the only strongly regular graphs that admit instantaneous uniform mixing are the Paley graph of order nine and certain graphs corresponding to regular symmetric Hadamard matrices with constant diagonal. Next we prove that if uniform mixing occurs on a bipartite graph X with n vertices, then n is divisible by four. We also prove that if X is bipartite and regular, then n is the sum of two integer squares. Our work on bipartite graphs implies that uniform mixing does not occur on C_{2m} for m >= 3. Using a result of Haagerup, we show that uniform mixing does not occur on C_p for any prime p such that p >= 5. In contrast to this result, we see that epsilon-uniform mixing occurs on C_p for all primes p.
Random intersection graph process
Published
• View Publication
• BIB
We introduce a random intersection graph process aimed at modeling sparse evolving affiliation networks that admit tunable (power law) degree distribution and assortativity and clustering coefficients. We show the asymptotic degree distribution and provide explicit asymptotic formulas for assortativity and clustering coefficients.
Improved Cheeger's Inequality: Analysis of Spectral Partitioning Algorithms through Higher Order Spectral Gap
Let φ(G) be the minimum conductance of an undirected graph G, and let 0=λ_1 <= λ_2 <=... <= λ_n <= 2 be the eigenvalues of the normalized Laplacian matrix of G. We prove that for any graph G and any k >= 2,
φ(G) = O(k) λ_2 / \sqrt{λ_k},
and this performance guarantee is achieved by the spectral partitioning algorithm. This improves Cheeger's inequality, and the bound is optimal up to a constant factor for any k. Our result shows that the spectral partitioning algorithm is a constant factor approximation algorithm for finding a sparse cut if λ_k$ is a constant for some constant k. This provides some theoretical justification to its empirical performance in image segmentation and clustering problems. We extend the analysis to other graph partitioning problems, including multi-way partition, balanced separator, and maximum cut.
Perfect graphs: a survey
Published
• View Publication
• BIB
Perfect graphs were defined by Claude Berge in the 1960s. They are important objects for graph theory, linear programming and combinatorial optimization. Claude Berge made a conjecture about them, that was proved by Chudnovsky, Robertson, Seymour and Thomas in 2002, and is now called the strong perfect graph theorem. This is a survey about perfect graphs, mostly focused on the strong perfect graph theorem.
Tree-width and dimension
Published in Combinatorica 36 (2016) 431-450
• View Publication
• BIB
Over the last 30 years, researchers have investigated connections between dimension for posets and planarity for graphs. Here we extend this line of research to the structural graph theory parameter tree-width by proving that the dimension of a finite poset is bounded in terms of its height and the tree-width of its cover graph.
Subcubic triangle-free graphs have fractional chromatic number at most 14/5
Published
• View Publication
• BIB
We prove that every subcubic triangle-free graph has fractional chromatic number at most 14/5, thus confirming a conjecture of Heckman and Thomas [A new proof of the independence ratio of triangle-free cubic graphs. Discrete Math. 233 (2001), 233--237].
On the Biclique cover of the complete graph
Published
• View Publication
• BIB
Let $K$ be a set of $k$ positive integers. A biclique cover of type $K$ of a graph $G$ is a collection of complete bipartite subgraphs of $G$ such that for every edge $e$ of $G$, the number of bicliques need to cover $e$ is a member of $K$. If $K=\{1,2,..., k\}$ then the maximum number of the vertices of a complete graph that admits a biclique cover of type $K$ with $d$ bicliques, $n(k,d)$, is the maximum possible cardinality of a $k$-neighborly family of standard boxes in $\mathbb{R}^d$.
In this paper, we obtain an upper bound for $n(k,d)$. Also, we show that the upper bound can be improved in some special cases. Moreover, we show that the existence of the biclique cover of type $K$ of the complete bipartite graph with a perfect matching removed is equivalent to the existence of a cross $K$-intersection family.
Binary matroids and local complementation
Published in European Journal of Combinatorics 45 (2015), 21-40
• View Publication
• BIB
We introduce a binary matroid M(IAS(G)) associated with a looped simple graph G. M(IAS(G)) classifies G up to local equivalence, and determines the delta-matroid and isotropic system associated with G. Moreover, a parametrized form of its Tutte polynomial yields the interlace polynomials of G.
The genus of regular languages
Published
• View Publication
• BIB
The article defines and studies the genus of finite state deterministic automata (FSA) and regular languages. Indeed, a FSA can be seen as a graph for which the notion of genus arises. At the same time, a FSA has a semantics via its underlying language. It is then natural to make a connection between the languages and the notion of genus. After we introduce and justify the the notion of the genus for regular languages, the following questions are addressed. First, depending on the size of the alphabet, we provide upper and lower bounds on the genus of regular languages : we show that under a relatively generic condition on the alphabet and the geometry of the automata, the genus grows at least linearly in terms of the size of the automata. Second, we show that the topological cost of the powerset determinization procedure is exponential. Third, we prove that the notion of minimization is orthogonal to the notion of genus. Fourth, we build regular languages of arbitrary large genus: the notion of genus defines a proper hierarchy of regular languages.
On extremal graphs with exactly one Steiner tree connecting any $k$ vertices
The problem of determining the largest number $f(n;\barκ\leq \ell)$ of edges for graphs with $n$ vertices and maximal local connectivity at most $\ell$ was considered by Bollobás. Li et al. studied the largest number $f(n;\barκ_3\leq2)$ of edges for graphs with $n$ vertices and at most two internally disjoint Steiner trees connecting any three vertices. In this paper, we further study the largest number $f(n;\barκ_k=1)$ of edges for graphs with $n$ vertices and exactly one Steiner tree connecting any $k$ vertices with $k\geq 3$. It turns out that this is not an easy task to finish, not like the same problem for the classical connectivity parameter. We determine the exact values of $f(n;\barκ_k=1)$ for $k=3,4,n$, respectively, and characterize the graphs which attain each of these values.
Vulnerability of super edge-connected graphs
Published
• View Publication
• BIB
A subset $F$ of edges in a connected graph $G$ is a $h$-extra edge-cut if $G-F$ is disconnected and every component has more than $h$ vertices. The $h$-extra edge-connectivity $\la^{(h)}(G)$ of $G$ is defined as the minimum cardinality over all $h$-extra edge-cuts of $G$. A graph $G$, if $\la^{(h)}(G)$ exists, is super-$\la^{(h)}$ if every minimum $h$-extra edge-cut of $G$ isolates at least one connected subgraph of order $h+1$. The persistence $ρ^{(h)}(G)$ of a super-$\la^{(h)}$ graph $G$ is the maximum integer $m$ for which $G-F$ is still super-$\la^{(h)}$ for any set $F\subseteq E(G)$ with $|F|\leqslant m$. Hong {\it et al.} [Discrete Appl. Math. 160 (2012), 579-587] showed that $\min\{\la^{(1)}(G)-δ(G)-1,δ(G)-1\}\leqslant ρ^{(0)}(G)\leqslant δ(G)-1$, where $δ(G)$ is the minimum vertex-degree of $G$. This paper shows that $\min\{\la^{(2)}(G)-ξ(G)-1,δ(G)-1\}\leqslant ρ^{(1)}(G)\leqslant δ(G)-1$, where $ξ(G)$ is the minimum edge-degree of $G$. In particular, for a $k$-regular super-$\la'$ graph $G$, $ρ^{(1)}(G)=k-1$ if $\la^{(2)}(G)$ does not exist or $G$ is super-$\la^{(2)}$ and triangle-free, from which the exact values of $ρ^{(1)}(G)$ are determined for some well-known networks.
An Extension of Cui-Kano's Characterization Problem on Graph Factors
Published
• View Publication
• BIB
Let $G$ be a graph with vertex set $V(G)$ and let $H:V(G)\rightarrow 2^N$ be a set function associating with $G$. An $H$-factor of graph $G$ is a spanning subgraphs $F$ such that $$d_F(v)\in H(v){4em}\hbox{for every}v\in V(G).$$ Let $f:V(G)\rightarrow N$ be an even integer-valued function such that $f\geq 4$ and let $H_f(v)=\{1,3,...,f(v)-1, f(v)\}$ for $v\in V(G)$. In this paper, we investigate $H_f$-factors of graphs $G$ by using Lovász's structural descriptions. Let $o(G)$ denote the number of odd components of $G$.
We show that if one of the following conditions holds, then $G$ contains an $H_f$-factor. [$(i)$] $o(G-S)\leq f(S)$ for all $S\subseteq V(G)$; [$(ii)$] $|V(G)|$ is odd, $d_G(v)\geq f(v)-1$ for all $v\in V(G)$ and $o(G-S)\leq f(S)$ for all $\emptyset\neq S\subseteq V(G)$. As a corollary, we show that if a graph $G$ with odd order and minimum degree $2n-1$ satisfies $$o(G-S)\leq 2n|S|{4em}{for all}
\emptyset\neq S\subseteq V(G),$$ then $G$ contains an $H_n$-factor. In particular, we make progress on the characterization problem for a special family of graphs proposed by Akiyama and Kano.