graph
35299 papers tagged with this keyword
The $ρ$-Capacity of a Graph
Published in IEEE Transactions on Information Theory, 63 (2017), 2241-2253
• View Publication
• BIB
Motivated by the problem of zero-error broadcasting, we introduce a new notion of graph capacity, termed $ρ$-capacity, that generalizes the Shannon capacity of a graph. We derive upper and lower bounds on the $ρ$-capacity of arbitrary graphs, and provide a Lovász-type upper bound for regular graphs. We study the behavior of the $ρ$-capacity under two graph operations: the strong product and the disjoint union. Finally, we investigate the connection between the structure of a graph and its $ρ$-capacity.
A new labeling construction from the $\otimes_h$-product
The $\otimes_h$-product that refers the title was introduced in 2008 as a generalization of the Kronecker product of digraphs. Many relations among labelings have been obtained since then, always using as a second factor a family of super edge-magic graphs with equal order and size. In this paper, we introduce a new labeling construction by changing the role of the factors. Using this new construction the range of applications grows up considerably. In particular, we can increase the information about magic sums of cycles and crowns.
Packing trees of unbounded degrees in random graphs
Published
• View Publication
• BIB
In this paper, we address the problem of packing large trees in $G_{n,p}$. In particular, we prove the following result. Suppose that $T_1, \dotsc, T_N$ are $n$-vertex trees, each of which has maximum degree at most $(np)^{1/6} / (\log n)^6$. Then with high probability, one can find edge-disjoint copies of all the $T_i$ in the random graph $G_{n,p}$, provided that $p \geq (\log n)^{36}/n$ and $N \le (1-\varepsilon)np/2$ for a positive constant $\varepsilon$. Moreover, if each $T_i$ has at most $(1-α)n$ vertices, for some positive $α$, then the same result holds under the much weaker assumptions that $p \geq (\log n)^2/(cn)$ and $Δ(T_i) \leq c np / \log n$ for some~$c$ that depends only on $α$ and $\varepsilon$. Our assumptions on maximum degrees of the trees are significantly weaker than those in all previously known approximate packing results.
Chromatic Number of Random Kneser Hypergraphs
Published
• View Publication
• BIB
Recently, Kupavskii~[{\it On random subgraphs of {K}neser and {S}chrijver graphs. J. Combin. Theory Ser. A, {\rm 2016}.}] investigated the chromatic number of random Kneser graphs $\KG_{n,k}(ρ)$ and proved that, in many cases, the chromatic numbers of the random Kneser graph $\KG_{n,k}(ρ)$ and the Kneser graph $\KG_{n,k}$ are almost surely closed. He also marked the studying of the chromatic number of random Kneser hypergraphs $\KG^r_{n,k}(ρ)$ as a very interesting problem. With the help of $\Z_p$-Tucker lemma, a combinatorial generalization of the Borsuk-Ulam theorem, we generalize Kupavskii's result to random general Kneser hypergraphs by introducing an almost surely lower bound for the chromatic number of them. Roughly speaking, as a special case of our result, we show that the chromatic numbers of the random Kneser hypergraph $\KG^r_{n,k}(ρ)$ and the Kneser hypergraph $\KG^r_{n,k}$ are almost surely closed in many cases. Moreover, restricting to the Kneser and {S}chrijver graphs, we present a purely combinatorial proof for an improvement of Kupavskii's results.
Also, for any hypergraph $\HH$, we present a lower bound for the minimum number of colors required in a coloring of $\KG^r(\mathcal{H})$ with no monochromatic $K_{t,\ldots,t}^r$ subhypergraph, where $K_{t,\ldots,t}^r$ is the complete $r$-uniform $r$-partite hypergraph with $t r$ vertices such that each of its parts has $t$ vertices. This result generalizes the lower bound for the chromatic number of $\KG^r(\mathcal{H})$ found by the present authors~[{\it On the chromatic number of general {K}neser hypergraphs. J. Combin. Theory, Ser. B, {\rm 2015}.}].
A Hierarchy of Lower Bounds for Sublinear Additive Spanners
Published
• View Publication
• BIB
Spanners, emulators, and approximate distance oracles can be viewed as lossy compression schemes that represent an unweighted graph metric in small space, say $\tilde{O}(n^{1+δ})$ bits. There is an inherent tradeoff between the sparsity parameter $δ$ and the stretch function $f$ of the compression scheme, but the qualitative nature of this tradeoff has remained a persistent open problem.
In this paper we show that the recent additive spanner lower bound of Abboud and Bodwin is just the first step in a hierarchy of lower bounds that fully characterize the asymptotic behavior of the optimal stretch function $f$ as a function of $δ\in (0,1/3)$. Specifically, for any integer $k\ge 2$, any compression scheme with size $O(n^{1+\frac{1}{2^k-1} - ε})$ has a sublinear additive stretch function $f$: $$f(d) = d + Ω(d^{1-\frac{1}{k}}).$$ This lower bound matches Thorup and Zwick's (2006) construction of sublinear additive emulators. It also shows that Elkin and Peleg's $(1+ε,β)$-spanners have an essentially optimal tradeoff between $δ,ε,$ and $β$, and that the sublinear additive spanners of Pettie (2009) and Chechik (2013) are not too far from optimal.
To complement these lower bounds we present a new construction of $(1+ε, O(k/ε)^{k-1})$-spanners with size $O((k/ε)^{h_k} kn^{1+\frac{1}{2^{k+1}-1}})$, where $h_k < 3/4$. This size bound improves on the spanners of Elkin and Peleg (2004), Thorup and Zwick (2006), and Pettie (2009). According to our lower bounds neither the size nor stretch function can be substantially improved.
Integral homology of random simplicial complexes
The random $2$-dimensional simplicial complex process starts with a complete graph on $n$ vertices, and in every step a new $2$-dimensional face, chosen uniformly at random, is added. We prove that with probability tending to $1$ as $n\to\infty$, the first homology group over $\mathbb Z$ vanishes at the very moment when all the edges are covered by triangular faces.
On a generalisation of Mantel's theorem to uniformly dense hypergraphs
Published in Int. Math. Res. Not. IMRN 2018(16), 4899-4941
• View Publication
• BIB
For a $k$-uniform hypergraph $F$ let $\textrm{ex}(n,F)$ be the maximum number of edges of a $k$-uniform $n$-vertex hypergraph $H$ which contains no copy of $F$. Determining or estimating $\textrm{ex}(n,F)$ is a classical and central problem in extremal combinatorics. While for $k=2$ this problem is well understood, due to the work of Turán and of Erdős and Stone, only very little is known for $k$-uniform hypergraphs for $k>2$. We focus on the case when $F$ is a $k$-uniform hypergraph with three edges on $k+1$ vertices. Already this very innocent (and maybe somewhat particular looking) problem is still wide open even for $k=3$.
We consider a variant of the problem where the large hypergraph $H$ enjoys additional hereditary density conditions. Questions of this type were suggested by Erd\H os and Sós about 30 years ago. We show that every $k$-uniform hypergraph $H$ with density $>2^{1-k}$ with respect to every large collections of $k$-cliques induced by sets of $(k-2)$-tuples contains a copy of $F$. The required density $2^{1-k}$ is best possible as higher order tournament constructions show.
Our result can be viewed as a common generalisation of the first extremal result in graph theory due to Mantel (when $k=2$ and the hereditary density condition reduces to a normal density condition) and a recent result of Glebov, Král', and Volec (when $k=3$ and large subsets of vertices of $H$ induce a subhypergraph of density $>1/4$). Our proof for arbitrary $k\geq 2$ utilises the regularity method for hypergraphs.
Distinguishing number and distinguishing index of graphs from primary subgraphs
The distinguishing number (index) $D(G)$ ($D'(G)$) of a graph $G$ is the least integer $d$ such that $G$ has an vertex labeling (edge labeling) with $d$ labels that is preserved only by a trivial automorphism. Let $G$ be a connected graph constructed from pairwise disjoint connected graphs $G_1,\ldots ,G_k$ by selecting a vertex of $G_1$, a vertex of $G_2$, and identify these two vertices. Then continue in this manner inductively. We say that $G$ is obtained by point-attaching from $G_1, \ldots ,G_k$ and that $G_i$'s are the primary subgraphs of $G$. In this paper, we consider some particular cases of these graphs that are of importance in chemistry and study their distinguishing number and index.
Deciding whether there are infinitely many prime graphs with forbidden induced subgraphs
Published
• View Publication
• BIB
A homogeneous set of a graph $G$ is a set $X$ of vertices such that $2\le \lvert X\rvert <\lvert V(G)\rvert$ and no vertex in $V(G)-X$ has both a neighbor and a non-neighbor in $X$. A graph is prime if it has no homogeneous set.
We present an algorithm to decide whether a class of graphs given by a finite set of forbidden induced subgraphs contains infinitely many non-isomorphic prime graphs.
Connectivity Oracles for Graphs Subject to Vertex Failures
Published
• View Publication
• BIB
We introduce new data structures for answering connectivity queries in graphs subject to batched vertex failures. A deterministic structure processes a batch of $d\leq d_{\star}$ failed vertices in $\tilde{O}(d^3)$ time and thereafter answers connectivity queries in $O(d)$ time. It occupies space $O(d_{\star} m\log n)$. We develop a randomized Monte Carlo version of our data structure with update time $\tilde{O}(d^2)$, query time $O(d)$, and space $\tilde{O}(m)$ for any failure bound $d\le n$. This is the first connectivity oracle for general graphs that can efficiently deal with an unbounded number of vertex failures.
We also develop a more efficient Monte Carlo edge-failure connectivity oracle. Using space $O(n\log^2 n)$, $d$ edge failures are processed in $O(d\log d\log\log n)$ time and thereafter, connectivity queries are answered in $O(\log\log n)$ time, which are correct w.h.p.
Our data structures are based on a new decomposition theorem for an undirected graph $G=(V,E)$, which is of independent interest. It states that for any terminal set $U\subseteq V$ we can remove a set $B$ of $|U|/(s-2)$ vertices such that the remaining graph contains a Steiner forest for $U-B$ with maximum degree $s$.
Vizing's conjecture: a two-thirds bound for claw-free graphs
Published in Discrete Applied Mathematics 230: 162-165, (2017)
• View Publication
• BIB
We show that for any claw-free graph $G$ and any graph $H$, $γ(G\square H)\geq \frac{2}{3}γ(G)γ(H)$, where $γ(G)$ is the domination number of $G$.
Accounting for the Role of Long Walks on Networks via a New Matrix Function
Published
• View Publication
• BIB
We introduce a new matrix function for studying graphs and real-world networks based on a double-factorial penalization of walks between nodes in a graph. This new matrix function is based on the matrix error function. We find a very good approximation of this function using a matrix hyperbolic tangent function. We derive a communicability function, a subgraph centrality and a double-factorial Estrada index based on this new matrix function. We obtain upper and lower bounds for the double-factorial Estrada index of graphs, showing that they are similar to those of the single-factorial Estrada index. We then compare these indices with the single-factorial one for simple graphs and real-world networks. We conclude that for networks containing chordless cycles---holes---the two penalization schemes produce significantly different results. In particular, we study two series of real-world networks representing urban street networks, and protein residue networks. We observe that the subgraph centrality based on both indices produce significantly different ranking of the nodes. The use of the double factorial penalization of walks opens new possibilities for studying important structural properties of real-world networks where long-walks play a fundamental role, such as the cases of networks containing chordless cycles.
Hadwiger's conjecture for graphs with forbidden holes
Published
• View Publication
• BIB
Given a graph $G$, the Hadwiger number of $G$, denoted by $h(G)$, is the largest integer $k$ such that $G$ contains the complete graph $K_k$ as a minor. A hole in $G$ is an induced cycle of length at least four. Hadwiger's Conjecture from 1943 states that for every graph $G$, $h(G)\ge χ(G)$, where $χ(G)$ denotes the chromatic number of $G$. In this paper we establish more evidence for Hadwiger's conjecture by showing that if a graph $G$ with independence number $α(G)\ge3$ has no hole of length between $4$ and $2α(G)-1$, then $h(G)\geχ(G)$. We also prove that if a graph $G$ with independence number $α(G)\ge2$ has no hole of length between $4$ and $2α(G)$, then $G$ contains an odd clique minor of size $χ(G)$, that is, such a graph $G$ satisfies the odd Hadwiger's conjecture.
Hereditary Graph Classes: When the Complexities of Colouring and Clique Cover Coincide
A graph is $(H_1,H_2)$-free for a pair of graphs $H_1,H_2$ if it contains no induced subgraph isomorphic to $H_1$ or $H_2$. In 2001, Král', Kratochvíl, Tuza, and Woeginger initiated a study into the complexity of Colouring for $(H_1,H_2)$-free graphs. Since then, others have tried to complete their study, but many cases remain open. We focus on those $(H_1,H_2)$-free graphs where $H_2$ is $\overline{H_1}$, the complement of $H_1$. As these classes are closed under complementation, the computational complexities of Colouring and Clique Cover coincide. By combining new and known results, we are able to classify the complexity of Colouring and Clique Cover for $(H,\overline{H})$-free graphs for all cases except when $H=sP_1+ P_3$ for $s\geq 3$ or $H=sP_1+P_4$ for $s\geq 2$. We also classify the complexity of Colouring on graph classes characterized by forbidding a finite number of self-complementary induced subgraphs, and we initiate a study of $k$-Colouring for $(P_r,\overline{P_r})$-free graphs.
Kronecker Product Graphs and Counting Walks in Restricted Lattices
Formulas are derived for counting walks in the Kronecker product of graphs, and the associated spectral distributions are obtained by the Mellin convolution of probability distributions. Two-dimensional restricted lattices admitting the Kronecker product structure are listed, and their spectral distributions are calculated in terms of elliptic integrals.
On the exact decomposition threshold for even cycles
Published
• View Publication
• BIB
A graph $G$ has a $C_k$-decomposition if its edge set can be partitioned into cycles of length $k$. We show that if $δ(G)\geq 2|G|/3-1$, then $G$ has a $C_4$-decomposition, and if $δ(G)\geq |G|/2$, then $G$ has a $C_{2k}$-decomposition, where $k\in \mathbb{N}$ and $k\geq 4$ (we assume $G$ is large and satisfies necessary divisibility conditions). These minimum degree bounds are best possible and provide exact versions of asymptotic results obtained by Barber, Kühn, Lo and Osthus. In the process, we obtain asymptotic versions of these results when $G$ is bipartite or satisfies certain expansion properties.
On two problems in Ramsey-Turán theory
Published
• View Publication
• BIB
Alon, Balogh, Keevash and Sudakov proved that the $(k-1)$-partite Turán graph maximizes the number of distinct $r$-edge-colorings with no monochromatic $K_k$ for all fixed $k$ and $r=2,3$, among all $n$-vertex graphs. In this paper, we determine this function asymptotically for $r=2$ among $n$-vertex graphs with sub-linear independence number. Somewhat surprisingly, unlike Alon-Balogh-Keevash-Sudakov's result, the extremal construction from Ramsey-Turán theory, as a natural candidate, does not maximize the number of distinct edge-colorings with no monochromatic cliques among all graphs with sub-linear independence number, even in the 2-colored case.
In the second problem, we determine the maximum number of triangles asymptotically in an $n$-vertex $K_k$-free graph $G$ with $α(G)=o(n)$. The extremal graphs have similar structure to the extremal graphs for the classical Ramsey-Turán problem, i.e.~when the number of edges is maximized.
Doubly Balanced Connected Graph Partitioning
Published
• View Publication
• BIB
We introduce and study the Doubly Balanced Connected graph Partitioning (DBCP) problem: Let $G=(V,E)$ be a connected graph with a weight (supply/demand) function $p:V\rightarrow \{-1,+1\}$ satisfying $p(V)=\sum_{j\in V} p(j)=0$. The objective is to partition $G$ into $(V_1,V_2)$ such that $G[V_1]$ and $G[V_2]$ are connected, $|p(V_1)|,|p(V_2)|\leq c_p$, and $\max\{\frac{|V_1|}{|V_2|},\frac{|V_2|}{|V_1|}\}\leq c_s$, for some constants $c_p$ and $c_s$. When $G$ is 2-connected, we show that a solution with $c_p=1$ and $c_s=3$ always exists and can be found in polynomial time. Moreover, when $G$ is 3-connected, we show that there is always a `perfect' solution (a partition with $p(V_1)=p(V_2)=0$ and $|V_1|=|V_2|$, if $|V|\equiv 0 (\mathrm{mod}~4)$), and it can be found in polynomial time. Our techniques can be extended, with similar results, to the case in which the weights are arbitrary (not necessarily $\pm 1$), and to the case that $p(V)\neq 0$ and the excess supply/demand should be split evenly. They also apply to the problem of partitioning a graph with two types of nodes into two large connected subgraphs that preserve approximately the proportion of the two types.
A Sharp upper bound for the spectral radius of a nonnegative matrix and applications
Published
• View Publication
• BIB
In this paper, we obtain a sharp upper bound for the spectral radius of a nonnegative matrix. This result is used to present upper bounds for the adjacency spectral radius, the Laplacian spectral radius, the signless Laplacian spectral radius, the distance spectral radius, the distance Laplacian spectral radius, the distance signless Laplacian spectral radius of a graph or a digraph. These results are new or generalize some known results.
Distance proper connection of graphs and their complements
Let $G$ be an edge-colored connected graph. A path $P$ in $G$ is called a distance $\ell$-proper path if no two edges of the same color can appear with less than $\ell$ edges in between on $P$. The graph $G$ is called $(k,\ell)$-proper connected if there is an edge-coloring such that every pair of distinct vertices of $G$ are connected by $k$ pairwise internally vertex-disjoint distance $\ell$-proper paths in $G$. The minimum number of colors needed to make $G$ $(k,\ell)$-proper connected is called the $(k,\ell)$-proper connection number of $G$ and denoted by $pc_{k,\ell}(G)$. In this paper we first focus on the $(1,2)$-proper connection number of $G$ depending on some constraints of $\overline G$. Then, we characterize the graphs of order $n$ with $(1,2)$-proper connection number $n-1$ or $n-2$. Using this result, we investigate the Nordhaus-Gaddum-Type problem of $(1,2)$-proper connection number and prove that $pc_{1,2}(G)+pc_{1,2}(\overline{G})\leq n+2$ for connected graphs $G$ and $\overline{G}$. The equality holds if and only if $G$ or $\overline{G}$ is isomorphic to a double star.