graph
34905 papers tagged with this keyword
Hardness of Computing Clique Number and Chromatic Number For Cayley Graphs
Published
• View Publication
• BIB
Computing the clique number and chromatic number of a general graph are well-known NP-Hard problems. Codenotti et al. (Bruno Codenotti, Ivan Gerace, and Sebastiano Vigna. Hardness results and spectral techniques for combinatorial problems on circulant graphs. \emph{Linear Algebra Appl.}, 285(1-3): 123--142, 1998) showed that computing clique number and chromatic number are still NP-Hard problems for the class of circulant graphs. We show that computing clique number is NP-Hard for the class of Cayley graphs for the groups $G^n$, where $G$ is any fixed finite group (e.g., cubelike graphs). We also show that computing chromatic number cannot be done in polynomial time (under the assumption $\text{P}\neq \text{NP}$) for the same class of graphs. Our presentation uses free Cayley graphs. The proof combines free Cayley graphs with quotient graphs and Goppa codes.
Extrema of graph eigenvalues
Published
• View Publication
• BIB
In 1993 Hong asked what are the best bounds on the $k$'th largest eigenvalue $λ_{k}(G)$ of a graph $G$ of order $n$. This challenging question has never been tackled for any $2<k<n$. In the present paper tight bounds are obtained for all $k>2,$ and even tighter bounds are obtained for the $k$'th largest singular value $λ_{k}^{\ast}(G).$
Some of these bounds are based on Taylor's strongly regular graphs, and other on a method of Kharaghani for constructing Hadamard matrices. The same kind of constructions are applied to other open problems, like Nordhaus-Gaddum problems of the kind: How large can $λ_{k}(G)+λ_{k}(\bar{G})$ be$?$
These constructions are successful also in another open question: How large can the Ky Fan norm $λ_{1}^{\ast}(G)+...+λ_{k}^{\ast }(G)$ be $?$ Ky Fan norms of graphs generalize the concept of graph energy, so this question generalizes the problem for maximum energy graphs.
In the final section, several results and problems are restated for $(-1,1)$-matrices, which seem to provide a more natural ground for such research than graphs.
Many of the results in the paper are paired with open questions and problems for further study.
Threshold Functions in Random s-Intersection Graphs
Published
• View Publication
• BIB
Random $s$-intersection graphs have recently received considerable attention in a wide range of application areas. In such a graph, each vertex is equipped with a set of items in some random manner, and any two vertices establish an undirected edge in between if and only if they have at least $s$ common items. In particular, in a uniform random $s$-intersection graph, each vertex independently selects a fixed number of items uniformly at random from a common item pool, while in a binomial random $s$-intersection graph, each item in some item pool is independently attached to each vertex with the same probability.
For binomial/uniform random $s$-intersection graphs, we establish threshold functions for perfect matching containment, Hamilton cycle containment, and $k$-robustness, where $k$-robustness is in the sense of Zhang and Sundaram [IEEE Conf. on Decision & Control '12]. We show that these threshold functions resemble those of classical Erdős-Rényi graphs, where each pair of vertices has an undirected edge independently with the same probability.
k-Connectivity of Random Key Graphs
Random key graphs represent topologies of secure wireless sensor networks that apply the seminal Eschenauer-Gligor random key predistribution scheme to secure communication between sensors. These graphs have received much attention and also been used in diverse application areas beyond secure sensor networks; e.g., cryptanalysis, social networks, and recommender systems. Formally, a random key graph with $n$ nodes is constructed by assigning each node $X_n$ keys selected uniformly at random from a pool of $Y_n$ keys and then putting an undirected edge between any two nodes sharing at least one key. Considerable progress has been made in the literature to analyze connectivity and $k$-connectivity of random key graphs, where $k$-connectivity of a graph ensures connectivity even after the removal of $k$ nodes or $k$ edges. Yet, it still remains an open question for $k$-connectivity in random key graphs under $X_n \geq 2$ and $X_n = o(\sqrt{\ln n})$ (the case of $X_n=1$ is trivial). In this paper, we answer the above problem by providing an exact analysis of $k$-connectivity in random key graphs under $X_n \geq 2$.
A curious gap in one-dimensional geometric random graphs between connectivity and the absence of isolated node
One-dimensional geometric random graphs are constructed by distributing $n$ nodes uniformly and independently on a unit interval and then assigning an undirected edge between any two nodes that have a distance at most $r_n$. These graphs have received much interest and been used in various applications including wireless networks. A threshold of $r_n$ for connectivity is known as $r_n^{*} = \frac{\ln n}{n}$ in the literature. In this paper, we prove that a threshold of $r_n$ for the absence of isolated node is $\frac{\ln n}{2 n}$ (i.e., a half of the threshold $r_n^{*}$). Our result shows there is a curious gap between thresholds of connectivity and the absence of isolated node in one-dimensional geometric random graphs; in particular, when $r_n$ equals $\frac{c\ln n}{ n}$ for a constant $c \in( \frac{1}{2}, 1)$, a one-dimensional geometric random graph has no isolated node but is not connected. This curious gap in one-dimensional geometric random graphs is in sharp contrast to the prevalent phenomenon in many other random graphs such as two-dimensional geometric random graphs, Erdős-Rényi graphs, and random intersection graphs, all of which in the asymptotic sense become connected as soon as there is no isolated node.
Monotone Increasing Properties and Their Phase Transitions in Uniform Random Intersection Graphs
Uniform random intersection graphs have received much interest and been used in diverse applications. A uniform random intersection graph with $n$ nodes is constructed as follows: each node selects a set of $K_n$ different items uniformly at random from the same pool of $P_n$ distinct items, and two nodes establish an undirected edge in between if and only if they share at least one item. For such graph denoted by $G(n, K_n, P_n)$, we present the following results in this paper. First, we provide an exact analysis on the probabilities of $G(n, K_n, P_n)$ having a perfect matching and having a Hamilton cycle respectively, under $P_n = ω\big(n (\ln n)^5\big)$ (all asymptotic notation are understood with $n \to \infty$). The analysis reveals that just like ($k$-)connectivity shown in prior work, for both properties of perfect matching containment and Hamilton cycle containment, $G(n, K_n, P_n)$ also exhibits phase transitions: for each property above, as $K_n$ increases, the limit of the probability that $G(n, K_n, P_n)$ has the property increases from $0$ to $1$. Second, we compute the phase transition widths of $G(n, K_n, P_n)$ for $k$-connectivity (KC), perfect matching containment (PMC), and Hamilton cycle containment (HCC), respectively. For a graph property $R$ and a positive constant $a < \frac{1}{2}$, with the phase transition width $d_n(R, a)$ defined as the difference between the minimal $K_n$ ensuring $G(n, K_n, P_n)$ having property $R$ with probability at least $1-a$ or $a$, we show for any positive constants $a<\frac{1}{2}$ and $k$: (i) If $P_n=Ω(n)$ and $P_n=o(n\ln n)$, then $d_n(KC, a)$ is either $0$ or $1$ for each $n$ sufficiently large. (ii) If $P_n=Θ(n\ln n)$, then $d_n(KC, a)=Θ(1)$. (iii) If $P_n=ω(n\ln n)$, then $d_n(KC, a)=ω(1)$. (iv) If $P_n=ω\big(n (\ln n)^5\big)$, $d_n(PMC, a)$ and $d_n(HCC, a)$ are both $ω(1)$.
Decomposing a Graph Into Expanding Subgraphs
Published
• View Publication
• BIB
A paradigm that was successfully applied in the study of both pure and algorithmic problems in graph theory can be colloquially summarized as stating that "any graph is close to being the disjoint union of expanders". Our goal in this paper is to show that in several of the instantiations of the above approach, the quantitative bounds that were obtained are essentially best possible. These results are obtained as corollaries of a new family of graphs, which we construct by picking random subgraphs of the hypercube, and analyze using (simple) arguments from the theory of metric embedding.
Constructing Near Spanning Trees with Few Local Inspections
Published
• View Publication
• BIB
Constructing a spanning tree of a graph is one of the most basic tasks in graph theory. Motivated by several recent studies of local graph algorithms, we consider the following variant of this problem. Let G be a connected bounded-degree graph. Given an edge $e$ in $G$ we would like to decide whether $e$ belongs to a connected subgraph $G'$ consisting of $(1+ε)n$ edges (for a prespecified constant $ε>0$), where the decision for different edges should be consistent with the same subgraph $G'$. Can this task be performed by inspecting only a {\em constant} number of edges in $G$? Our main results are:
(1) We show that if every $t$-vertex subgraph of $G$ has expansion $1/(\log t)^{1+o(1)}$ then one can (deterministically) construct a sparse spanning subgraph $G'$ of $G$ using few inspections. To this end we analyze a "local" version of a famous minimum-weight spanning tree algorithm.
(2) We show that the above expansion requirement is sharp even when allowing randomization. To this end we construct a family of $3$-regular graphs of high girth, in which every $t$-vertex subgraph has expansion $1/(\log t)^{1-o(1)}$.
Codes for DNA Sequence Profiles
Published
• View Publication
• BIB
We consider the problem of storing and retrieving information from synthetic DNA media. The mathematical basis of the problem is the construction and design of sequences that may be discriminated based on their collection of substrings observed through a noisy channel. This problem of reconstructing sequences from traces was first investigated in the noiseless setting under the name of "Markov type" analysis. Here, we explain the connection between the reconstruction problem and the problem of DNA synthesis and sequencing, and introduce the notion of a DNA storage channel. We analyze the number of sequence equivalence classes under the channel mapping and propose new asymmetric coding techniques to combat the effects of synthesis and sequencing noise. In our analysis, we make use of restricted de Bruijn graphs and Ehrhart theory for rational polytopes.
Ribbon graph minors and low-genus partial duals
Published
• View Publication
• BIB
We give an excluded minor characterisation of the class of ribbon graphs that admit partial duals of Euler genus at most one.
The vertex-rainbow index of a graph
Published
• View Publication
• BIB
The $k$-rainbow index $rx_k(G)$ of a connected graph $G$ was introduced by Chartrand, Okamoto and Zhang in 2010. As a natural counterpart of the $k$-rainbow index, we introduced the concept of $k$-vertex-rainbow index $rvx_k(G)$ in this paper. For a graph $G=(V,E)$ and a set $S\subseteq V$ of at least two vertices, \emph{an $S$-Steiner tree} or \emph{a Steiner tree connecting $S$} (or simply, \emph{an $S$-tree}) is a such subgraph $T=(V',E')$ of $G$ that is a tree with $S\subseteq V'$. For $S\subseteq V(G)$ and $|S|\geq 2$, an $S$-Steiner tree $T$ is said to be a \emph{vertex-rainbow $S$-tree} if the vertices of $V(T)\setminus S$ have distinct colors. For a fixed integer $k$ with $2\leq k\leq n$, the vertex-coloring $c$ of $G$ is called a \emph{$k$-vertex-rainbow coloring} if for every $k$-subset $S$ of $V(G)$ there exists a vertex-rainbow $S$-tree. In this case, $G$ is called \emph{vertex-rainbow $k$-tree-connected}. The minimum number of colors that are needed in a $k$-vertex-rainbow coloring of $G$ is called the \emph{$k$-vertex-rainbow index} of $G$, denoted by $rvx_k(G)$. When $k=2$, $rvx_2(G)$ is nothing new but the vertex-rainbow connection number $rvc(G)$ of $G$. In this paper, sharp upper and lower bounds of $srvx_k(G)$ are given for a connected graph $G$ of order $n$,\ that is, $0\leq srvx_k(G)\leq n-2$. We obtain the Nordhaus-Guddum results for $3$-vertex-rainbow index, and show that $rvx_3(G)+rvx_3(\overline{G})=4$ for $n=4$ and $2\leq rvx_3(G)+rvx_3(\overline{G})\leq n-1$ for $n\geq 5$. Let $t(n,k,\ell)$ denote the minimal size of a connected graph $G$ of order $n$ with $rvx_k(G)\leq \ell$, where $2\leq \ell\leq n-2$ and $2\leq k\leq n$. The upper and lower bounds for $t(n,k,\ell)$ are also obtained.
The bondage number of random graphs
Published
• View Publication
• BIB
A dominating set of a graph is a subset $D$ of its vertices such that every vertex not in $D$ is adjacent to at least one member of $D$. The domination number of a graph $G$ is the number of vertices in a smallest dominating set of $G$. The bondage number of a nonempty graph $G$ is the size of a smallest set of edges whose removal from $G$ results in a graph with domination number greater than the domination number of $G$. In this note, we study the bondage number of binomial random graph $G(n,p)$. We obtain a lower bound that matches the order of the trivial upper bound. As a side product, we give a one-point concentration result for the domination number of $G(n,p)$ under certain restrictions.
On the switch Markov chain for perfect matchings
Published
• View Publication
• BIB
We study a simple Markov chain, the switch chain, on the set of all perfect matchings in a bipartite graph. This Markov chain was proposed by Diaconis, Graham and Holmes as a possible approach to a sampling problem arising in Statistics. We ask: for which classes of graphs is the Markov chain ergodic and for which is it rapidly mixing? We provide a precise answer to the ergodicity question and close bounds on the mixing question. We show for the first time that the mixing time of the switch chain is polynomial in the case of monotone graphs, a class that includes examples of interest in the statistical setting.
Enumeration and structure of inhomogeneous graphs
Published
• View Publication
• BIB
We analyze a general model of weighted graphs, introduced by de Panafieu and Ravelomanana (2014) and similar to the "inhomogeneous graph model" of Söderberg (2002). Each vertex receives a "type" among a set of $q$ possibilities as well as a "weight" corresponding to this type, and each edge is weighted according to the types of the vertices it links. The weight of the graph is then the product of the weights of its vertices and edges. We investigate the sum of the weights of such graphs and prove that when the number of edges is small, almost all of them contain no component with more than one cycle. Those results allow us to give a new proof in a more general setting of a theorem of Wright (1961) on the enumeration of properly colored graphs. We also discuss applications related to social networks.
Stability and Ramsey numbers for cycles and wheels
Published
• View Publication
• BIB
We study the structure of red-blue edge colorings of complete graphs, with no copies of the $n$-cycle $C_n$ in red, and no copies of the $n$-wheel $W_n = C_n \ast K_1$ in blue, for an odd integer $n$. Our first main result is that in any such coloring, deleting at most two vertices we obtain a vertex-partition of $G$ into three sets such that the edges inside the partition classes are red, and edges between partition classes are blue. As a second result, we obtain bounds for the Ramsey numbers of $r(C_{2k+1},W_{2j})$ for $k < j$ integers, which asymptotically confirm the values of $4j+1$, as it were conjectured by Zhang et al.
The size of the giant component in random hypergraphs
Published
• View Publication
• BIB
The phase transition in the size of the giant component in random graphs is one of the most well-studied phenomena in random graph theory. For hypergraphs, there are many possible generalisations of the notion of a component, and for all but the simplest example, the phase transition phenomenon was first proved by Cooley, Kang and Person. In this paper we build on this and determine the asymptotic size of the unique giant component.
Expanders are order diameter non-hyperbolic
We show that expander graphs must have Gromov-hyperbolicity at least proportional to their diameter, with a constant of proportionality depending only on the expansion constant and maximal degree. In other words, expanders contain geodesic triangles which are $Ω(\mathop{\rm diam} Γ)$-thick.
Orthogonal Representations, Projective Rank, and Fractional Minimum Positive Semidefinite Rank: Connections and New Directions
Published
• View Publication
• BIB
Fractional minimum positive semidefinite rank is defined from $r$-fold faithful orthogonal representations and it is shown that the projective rank of any graph equals the fractional minimum positive semidefinite rank of its complement. An $r$-fold version of the traditional definition of minimum positive semidefinite rank of a graph using Hermitian matrices that fit the graph is also presented. This paper also introduces $r$-fold orthogonal representations of graphs and formalizes the understanding of projective rank as fractional orthogonal rank. Connections of these concepts to quantum theory, including Tsirelson's problem, are discussed.
$L(1,1)-$ Labeling of Direct Product of Cycles
Published
• View Publication
• BIB
An $L(1,1)$-labeling of a graph $G$ is an assignment of labels from $\{0,1 \cdots, k \}$ to the vertices of $G$ such that two vertices that are adjacent or have a common neighbor receive distinct labels. The $λ_1^1-$ number, $λ_1^1(G)$ of $G$ is the minimum value $k$ such that $G$ admits an $L(1,1)$ labeling. We establish the $λ_1^1-$ numbers for direct product of cycles $C_m \times C_n$ for all positive $m, n \geq 3$, where both $m,n$ are even or when one of them is even and the other odd.
Simple greedy 2-approximation algorithm for the maximum genus of a graph
The maximum genus $γ_M(G)$ of a graph G is the largest genus of an orientable surface into which G has a cellular embedding. Combinatorially, it coincides with the maximum number of disjoint pairs of adjacent edges of G whose removal results in a connected spanning subgraph of G. In this paper we prove that removing pairs of adjacent edges from G arbitrarily while retaining connectedness leads to at least $γ_M(G)/2$ pairs of edges removed. This allows us to describe a greedy algorithm for the maximum genus of a graph; our algorithm returns an integer k such that $γ_M(G)/2\le k \le γ_M(G)$, providing a simple method to efficiently approximate maximum genus. As a consequence of our approach we obtain a 2-approximate counterpart of Xuong's combinatorial characterisation of maximum genus.