graph
35411 papers tagged with this keyword
Local Clustering Coefficient of Spatial Preferential Attachment Model
Published
• View Publication
• BIB
In this paper, we study the clustering properties of the Spatial Preferential Attachment (SPA) model. This model naturally combines geometry and preferential attachment using the notion of spheres of influence. It was previously shown in several research papers that graphs generated by the SPA model are similar to real-world networks in many aspects. Also, this model was successfully used for several practical applications. However, the clustering properties of the SPA model were not fully analyzed. The clustering coefficient is an important characteristic of complex networks which is tightly connected with its community structure. In the current paper, we study the behaviour of C(d), which is the average local clustering coefficient for the vertices of degree d. It was empirically shown that in real-world networks C(d) usually decreases as 1/d^a for some a>0 and it was often observed that a=1. We prove that in the SPA model C(d) decreases as 1/d. Furthermore, we are also able to prove that not only the average but the individual local clustering coefficient of a vertex v of degree $d$ behaves as 1/d if d is large enough. The obtained results further confirm the suitability of the SPA model for fitting various real-world complex networks.
Open problem on $σ$-invariant
Published
• View Publication
• BIB
Let $G$ be a graph of order $n$ with $m$ edges. Also let $μ_1\geq μ_2\geq \cdots\geq μ_{n-1}\geq μ_n=0$ be the Laplacian eigenvalues of graph $G$ and let $σ=σ(G)$ $(1\leq σ\leq n)$ be the largest positive integer such that $μ_σ\geq \frac{2m}{n}$. In this paper, we prove that $μ_2(G)\geq \frac{2m}{n}$ for almost all graphs. Moreover, we characterize the extremal graphs for any graphs. Finally, we provide the answer to Problem 3 in \cite{KMT}, that is, the characterization of all graphs with $σ=1$.
Optimal Index Codes via a Duality between Index Coding and Network Coding
Published
• View Publication
• BIB
In Index Coding, the goal is to use a broadcast channel as efficiently as possible to communicate information from a source to multiple receivers which can possess some of the information symbols at the source as side-information. In this work, we present a duality relationship between index coding (IC) and multiple-unicast network coding (NC). It is known that the IC problem can be represented using a side-information graph $G$ (with number of vertices $n$ equal to the number of source symbols). The size of the maximum acyclic induced subgraph, denoted by $MAIS$ is a lower bound on the \textit{broadcast rate}. For IC problems with $MAIS=n-1$ and $MAIS=n-2$, prior work has shown that binary (over ${\mathbb F}_2$) linear index codes achieve the $MAIS$ lower bound for the broadcast rate and thus are optimal. In this work, we use the the duality relationship between NC and IC to show that for a class of IC problems with $MAIS=n-3$, binary linear index codes achieve the $MAIS$ lower bound on the broadcast rate. In contrast, it is known that there exists IC problems with $MAIS=n-3$ and optimal broadcast rate strictly greater than $MAIS$.
On the chromatic number of almost s-stable Kneser graphs
In 2011, Meunier conjectured that for positive integers $n,k,r,s$ with $ k\geq 2$, $r\geq 2$, and $n\geq \max (\{r,s\})k$, the chromatic number of $s$ -stable $r$-uniform Kneser hypergraphs is equal to $\left\lceil \frac{n-\max (\{r,s\})(k-1)}{r-1}\right\rceil $. It is a strengthened version of the conjecture proposed by Ziegler (2002), and Alon, Drewnowski and Łuczak (2009). The problem about the chromatic number of almost $s$-stable $r$ -uniform Kneser hypergraphs has also been introduced by Meunier (2011).
For the $r=2$ case of the Meunier conjecture, Jonsson (2012) provided a purely combinatorial proof to confirm the conjecture for $s\geq 4$ and $n$ sufficiently large, and by Chen (2015) for even $s$ and any $n$. The case $ s=3$ is completely open, even the chromatic number of the usual almost $s$ -stable Kneser graphs.
In this paper, we obtain a topological lower bound for the chromatic number of almost $s$-stable $r$-uniform Kneser hypergraphs via a different approach. For the case $r=2$, we conclude that the chromatic number of almost $s$-stable Kneser graphs is equal to $n-s(k-1)$ for all $s\geq 2$. Set $t=n-s(k-1)$. We show that any proper coloring of an almost $s$-stable Kneser graph must contain a completely multicolored complete bipartite subgraph $K_{\left\lceil \frac{t}{2}\right\rceil \left\lfloor \frac{t}{2} \right\rfloor }$. It follows that the local chromatic number of almost $s$ -stable Kneser graphs is at least $\left\lceil \frac{t}{2}\right\rceil +1$. It is a strengthened result of Simonyi and Tardos (2007), and Meunier's (2014) lower bound for almost $s$-stable Kneser graphs.
Backward induction in presence of cycles
Published
• View Publication
• BIB
For the classical backward induction algorithm, the input is an arbitrary $n$-person positional game with perfect information modeled by a finite acyclic directed graph (digraph) and the output is a profile $(x_1, \ldots, x_n)$ of pure positional strategies that form some special subgame perfect Nash equilibrium. We extend this algorithm to work with digraphs that may have directed cycles. Each digraph admits a unique partition into strongly connected components, which will be treated as the outcomes of the game. Such a game will be called a {\em deterministic graphical multistage}(DGMS) game. If we identify the outcomes corresponding to all strongly connected components, except terminal positions, we obtain the so-called {\em deterministic graphical}(DG) games, which are frequent in the literature. The outcomes of a DG game are all terminal positions and one special outcome $c$ that is assigned to all infinite plays. We modify the backward induction procedure to adapt it for the DGMS games. However, by doing so, we lose two important properties: the modified algorithm always outputs a {\em Nash equilibrium} (NE) only when $n = 2$ and, even in this case, this NE may be not {\em subgame perfect}. (Yet, in the zero-sum case it is.) The lack of these two properties is not a fault of the algorithm, just (subgame perfect) Nash equilibria in pure positional strategies may fail to exist in the considered game.
{\bf Keywords:} deterministic graphical (multistage) game, game in normal and in positional form, saddle point, Nash equilibrium, Nash-solvability, game form, positional structure, directed graph, digraph, directed cycle, acyclic digraph.
A new characterization of the dual polar graphs
Published
• View Publication
• BIB
In this paper we give a new characterization of the dual polar graphs, extending the work of Brouwer and Wilbrink on regular near polygons. Also as a consequence of our characterization we confirm a conjecture of the authors on non-bipartite distance-regular graphs with smallest eigenvalue at most $-k/2$, where $k$ is the valency of the distance-regular graph, in case of $c_2 \geq3$ and $a_1 =1$.
Packing nearly optimal Ramsey R(3,t) graphs
Published in Combinatorica 40 (2020), 63-103
• View Publication
• BIB
In 1995 Kim famously proved the Ramsey bound R(3,t) \ge c t^2/\log t by constructing an n-vertex graph that is triangle-free and has independence number at most C \sqrt{n \log n}. We extend this celebrated result, which is best possible up to the value of the constants, by approximately decomposing the complete graph K_n into a packing of such nearly optimal Ramsey R(3,t) graphs.
More precisely, for any ε>0 we find an edge-disjoint collection (G_i)_i of n-vertex graphs G_i \subseteq K_n such that (a) each G_i is triangle-free and has independence number at most C_ε\sqrt{n \log n}, and (b) the union of all the G_i contains at least (1-ε)\binom{n}{2} edges. Our algorithmic proof proceeds by sequentially choosing the graphs G_i via a semi-random (i.e., Rodl nibble type) variation of the triangle-free process.
As an application, we prove a conjecture in Ramsey theory by Fox, Grinshpun, Liebenau, Person, and Szabo (concerning a Ramsey-type parameter introduced by Burr, Erdos, Lovasz in 1976). Namely, denoting by s_r(H) the smallest minimum degree of r-Ramsey minimal graphs for H, we close the existing logarithmic gap for H=K_3 and establish that s_r(K_3) = Θ(r^2 \log r).
On the critical densities of minor-closed classes
Published
• View Publication
• BIB
Given a minor-closed class $\mathcal{A}$ of graphs, let $β_{\mathcal{A}}$ denote the supremum over all graphs in $\mathcal{A}$ of the ratio of edges to vertices. We investigate the set $B$ of all such values $β_{\mathcal{A}}$, taking further the project begun by Eppstein. Amongst other results, we determine the small values in $B$ (those up to 2); we show that $B$ is `asymptotically dense'; and we answer some questions posed by Eppstein.
On the probability of nonexistence in binomial subsets
Published
• View Publication
• BIB
Given a hypergraph $Γ=(Ω,\mathcal{X})$ and a sequence $\mathbf{p} = (p_ω)_{ω\in Ω}$ of values in $(0,1)$, let $Ω_{\mathbf{p}}$ be the random subset of $Ω$ obtained by keeping every vertex $ω$ independently with probability $p_ω$. We investigate the general question of deriving fine (asymptotic) estimates for the probability that $Ω_{\mathbf{p}}$ is an independent set in $Γ$, which is an omnipresent problem in probabilistic combinatorics. Our main result provides a sequence of upper and lower bounds on this probability, each of which can be evaluated explicitly in terms of the joint cumulants of small sets of edge indicator random variables. Under certain natural conditions, these upper and lower bounds coincide asymptotically, thus giving the precise asymptotics of the probability in question. We demonstrate the applicability of our results with two concrete examples: subgraph containment in random (hyper)graphs and arithmetic progressions in random subsets of the integers.
Chromatic Number and Dichromatic Polynomial of Digraphs
Let $G$ be a graph of order $n$. It is well-known that $α(G)\geq \sum_{i=1}^n \frac{1}{1+d_i}$, where $α(G)$ is the independence number of $G$ and $d_1,\ldots,d_n$ is the degree sequence of $G$. We extend this result to digraphs by showing that if $D$ is a digraph with $n$ vertices, then $ α(D)\geq \sum_{i=1}^n \left( \frac{1}{1+d_i^+} + \frac{1}{1+d_i^-}
- \frac{1}{1+d_i}\right)$, where $α(D)$ is the maximum size of an acyclic vertex set of $D$. Golowich proved that for any digraph $D$, $χ(D)\leq \lceil \frac{4k}{5} \rceil+2$, where $k=max(Δ^+(D),Δ^-(D))$. We give a short and simple proof for this result. Next, we investigate the chromatic number of tournaments and determine the unique tournament such that for every integer $k>1$, the number of proper $k$-colorings of that tournament is maximum among all strongly connected tournaments with the same number of vertices. Also, we find the chromatic polynomial of the strongly connected tournament with the minimum number of cycles.
On cordial labeling of hypertrees
Published in Discrete Mathematics & Theoretical Computer Science, vol. 21 no. 4, Graph Theory (August 7, 2019) dmtcs:4081
• View Publication
• BIB
Let $f:V\rightarrow\mathbb{Z}_k$ be a vertex labeling of a hypergraph $H=(V,E)$. This labeling induces an~edge labeling of $H$ defined by $f(e)=\sum_{v\in e}f(v)$, where the sum is taken modulo $k$. We say that $f$ is $k$-cordial if for all $a, b \in \mathbb{Z}_k$ the number of vertices with label $a$ differs by at most $1$ from the number of vertices with label $b$ and the analogous condition holds also for labels of edges. If $H$ admits a $k$-cordial labeling then $H$ is called $k$-cordial. The existence of $k$-cordial labelings has been investigated for graphs for decades. Hovey~(1991) conjectured that every tree $T$ is $k$-cordial for every $k\ge 2$. Cichacz, Görlich and Tuza~(2013) were first to investigate the analogous problem for hypertrees, that is, connected hypergraphs without cycles. The main results of their work are that every $k$-uniform hypertree is $k$-cordial for every $k\ge 2$ and that every hypertree with $n$ or $m$ odd is $2$-cordial. Moreover, they conjectured that in fact all hypertrees are $2$-cordial. In this article, we confirm the conjecture of Cichacz et al. and make a step further by proving that for $k\in\{2,3\}$ every hypertree is $k$-cordial.
On the anti-Kelulé problem of cubic graphs
Published
• View Publication
• BIB
An edge set $S$ of a connected graph $G$ is called an anti-Kekulé set if $G-S$ is connected and has no perfect matchings, where $G-S$ denotes the subgraph obtained by deleting all edges in $S$ from $G$. The anti-Kekulé number of a graph $G$, denoted by $ak(G)$, is the cardinality of a smallest anti-Kekulé set of $G$. It is NP-complete to find the smallest anti-Kekulé set of a graph. In this paper, we show that the anti-Kekulé number of a 2-connected cubic graph is either 3 or 4, and the anti-Kekulé number of a connected cubic bipartite graph is always equal to 4. Furthermore, a polynomial time algorithm is given to find all smallest anti-Kekulé sets of a connected cubic graph.
The Chromatic Number of the Disjointness Graph of the Double Chain
Published in Discrete Mathematics & Theoretical Computer Science, vol. 22 no. 1, Graph Theory (March 22, 2020) dmtcs:4490
• View Publication
• BIB
Let $P$ be a set of $n\geq 4$ points in general position in the plane. Consider all the closed straight line segments with both endpoints in $P$. Suppose that these segments are colored with the rule that disjoint segments receive different colors. In this paper we show that if $P$ is the point configuration known as the double chain, with $k$ points in the upper convex chain and $l \ge k$ points in the lower convex chain, then $k+l- \left\lfloor \sqrt{2l+\frac{1}{4}} - \frac{1}{2}\right\rfloor$ colors are needed and that this number is sufficient.
A Descent on Simple Graphs -- from Complete to Cycle -- and Algebraic Properties of Their Spectra
We investigate a descent on simple graphs, starting with the complete graph on $n$ vertices and ending up with the cycle graph by removing one edge after another. We obtain quantitative results showing that graphs with large diameter must have some eigenvalues of large algebraic degree.
A balanced non-partitionable Cohen-Macaulay complex
Published
• View Publication
• BIB
In a recent paper, Duval, Goeckner, Klivans and Martin disproved the longstanding conjecture by Stanley, that every Cohen-Macaulay simplicial complex is partitionable. We construct counterexamples to this conjecture that are even \emph{balanced}, i.e., their underlying graph has a minimal coloring. This answers a question by Duval et al. in the negative.
Ramanujan Graphs
This is an item on Ramanujan Graphs for a planned encyclopedia on Ramanujan. The notion of Ramanujan graphs is explained, as well as the reason to name these graphs after Ramanujan.
The $r$-matching sequencibility of complete graphs
Published in Adam Mammoliti, The r-matching sequencibility of complete graphs, Electron. J. Combin. 25 (2018), Paper 1.6, 23 pp
• View Publication
• BIB
Alspach [ Bull. Inst. Combin. Appl., 52 (2008), pp. 7-20] defined the maximal matching sequencibility of a graph $G$, denoted $ms(G)$, to be the largest integer $s$ for which there is an ordering of the edges of $G$ such that every $s$ consecutive edges form a matching. Alspach also proved that $ms(K_n) = \bigl\lfloor\frac{n-1}{2}\bigr\rfloor$. Brualdi et al. [ Australas. J. Combin., 53 (2012), pp. 245-256] extended the definition to cyclic matching sequencibility of a graph $G$, denoted $cms(G)$, which allows cyclical orderings and proved that $cms(K_n) = \bigl\lfloor\frac{n-2}{2}\bigr\rfloor$.
In this paper, we generalise these definitions to require that every $s$ consecutive edges form a subgraph where every vertex has degree at most $r\geq 1$, and we denote the maximum such number for a graph $G$ by $ms_r(G)$ and $cms_r(G)$ for the non-cyclic and cyclic cases, respectively. We conjecture that $ms_r(K_n) = \bigl\lfloor\frac{rn-1}{2}\bigr\rfloor$ and ${\bigl\lfloor\frac{rn-1}{2}\bigr\rfloor-1}~ \leq cms_r(K_n) \leq \bigl\lfloor\frac{rn-1}{2}\bigr\rfloor$ and that both bounds are attained for some $r$ and $n$. We prove these conjectured identities for the majority of cases, by defining and characterising selected decompositions of $K_n$. We also provide bounds on $ms_r(G)$ and $cms_r(G)$ as well as results on hypergraph analogues of $ms_r(G)$ and $cms_r(G)$.
Joint Large Deviation principle for empirical measures of the d-regular random graphs
Published
• View Publication
• BIB
For a $d-$regular random model, we assign to vertices $q-$state spins. From this model, we define the \emph{empirical co-operate measure}, which enumerates the number of co-operation between a given couple of spins, and \emph{ empirical spin measure}, which enumerates the number of sites having a given spin on the $d-$regular random graph model. For these empirical measures we obtain large deviation principle(LDP) in the weak topology.
Sequences of radius $k$ for complete bipartite graphs
Published in Discrete Applied Mathematics 225, pp. 51--63. 2017
• View Publication
• BIB
A \emph{$k$-radius sequence} for a graph $G$ is a sequence of vertices of $G$ (typically with repetitions) such that for every edge $uv$ of $G$ vertices $u$ and $v$ appear at least once within distance $k$ in the sequence. The length of a shortest $k$-radius sequence for $G$ is denoted by $f_k(G)$. We give an asymptotically tight estimation on $f_k(G)$ for complete bipartite graphs {which matches a lower bound, valid for all bipartite graphs}. We also show that determining $f_k(G)$ for an arbitrary graph $G$ is NP-hard for every constant $k>1$.
On edge intersection graphs of paths with 2 bends
Published in Discrete Applied Mathematics 226, pp. 106--116. 2017
• View Publication
• BIB
An EPG-representation of a graph $G$ is a collection of paths in a plane square grid, each corresponding to a single vertex of $G$, so that two vertices are adjacent if and only if their corresponding paths share infinitely many points. In this paper we focus on graphs admitting EPG-representations by paths with at most 2 bends. We show hardness of the recognition problem for this class of graphs, along with some subclasses.
We also initiate the study of graphs representable by unaligned polylines, and by polylines, whose every segment is parallel to one of prescribed slopes. We show hardness of recognition and explore the trade-off between the number of bends and the number of slopes.