graph
35175 papers tagged with this keyword
Closed graphs are proper interval graphs
Published
• View Publication
• BIB
In this note we prove that every closed graph $G$ is up to isomorphism a proper interval graph. As a consequence we obtain that there exist linear-time algorithms for closed graph recognition.
Distribution of components in the k-nearest neighbour random geometric graph for k below the connectivity threshold
Published
• View Publication
• BIB
Let S_{n,k} denote the random geometric graph obtained by placing points inside a square of area n according to a Poisson point process of intensity 1 and joining each such point to the k=k(n) points of the process nearest to it.
In this paper we show that if Pr(S_{n,k} connected) > n^{-γ_1} then the probability that S_{n,k} contains a pair of `small' components `close' to each other is o(n^{-c_1}) (in a precise sense of `small' and 'close'), for some absolute constants γ_1>0 and c_1 >0. This answers a question of Walters. (A similar result was independently obtained by Balister.)
As an application of our result, we show that the distribution of the connected components of S_{n,k} below the connectivity threshold is asymptotically Poisson.
Hitting Matrix and Domino Tiling with Diagonal Impurities
Published
• View Publication
• BIB
As a continuation to our previous work [9, 10], we consider the domino tiling problem with impurities. (1) if we have more than two impurities on the boundary, we can compute the number of corresponding perfect matchings by using the hitting matrix method[4]. (2) we have an alternative proof of the main result in [9] and result in (1) above using the formula by Kenyon-Wilson [6, 7] of counting the number of groves on the circular planar graph. (3) we study the behavior of the probability of finding the impurity at a given site when the size of the graph tends to infinity, as well as the scaling limit of those.
A uniform model for Kirillov-Reshetikhin crystals. Extended abstract
Published in DMCTS proc AS (2013) 25-36
• View Publication
• BIB
We present a uniform construction of tensor products of one-column Kirillov-Reshetikhin (KR) crystals in all untwisted affine types, which uses a generalization of the Lakshmibai-Seshadri paths (in the theory of the Littelmann path model). This generalization is based on the graph on parabolic cosets of a Weyl group known as the parabolic quantum Bruhat graph. A related model is the so-called quantum alcove model. The proof is based on two lifts of the parabolic quantum Bruhat graph: to the Bruhat order on the affine Weyl group and to Littelmann's poset on level-zero weights. Our construction leads to a simple calculation of the energy function. It also implies the equality between a Macdonald polynomial specialized at t=0 and the graded character of a tensor product of KR modules.
Cycles, wheels, and gears in finite planes
Published
• View Publication
• BIB
The existence of a primitive element of $GF(q)$ with certain properties is used to prove that all cycles that could theoretically be embedded in $AG(2,q)$ and $PG(2,q)$ can, in fact, be embedded there (i.e. these planes are `pancyclic'). We also study embeddings of wheel and gear graphs in arbitrary projective planes.
Trees with Maximum p-Reinforcement Number
Let $G=(V,E)$ be a graph and $p$ a positive integer. The $p$-domination number $\g_p(G)$ is the minimum cardinality of a set $D\subseteq V$ with $|N_G(x)\cap D|\geq p$ for all $x\in V\setminus D$. The $p$-reinforcement number $r_p(G)$ is the smallest number of edges whose addition to $G$ results in a graph $G'$ with $\g_p(G')<\g_p(G)$. Recently, it was proved by Lu et al. that $r_p(T)\leq p+1$ for a tree $T$ and $p\geq 2$. In this paper, we characterize all trees attaining this upper bound for $p\geq 3$.
2-Resonant fullerenes
Published
• View Publication
• BIB
A fullerene graph $F$ is a planar cubic graph with exactly 12 pentagonal faces and other hexagonal faces. A set $\mathcal{H}$ of disjoint hexagons of $F$ is called a resonant pattern (or sextet pattern) if $F$ has a perfect matching $M$ such that every hexagon in $\mathcal{H}$ is $M$-alternating. $F$ is said to be $k$-resonant if any $i$ ($0\leq i\leq k$) disjoint hexagons of $F$ form a resonant pattern. It was known that each fullerene graph is 1-resonant and all 3-resonant fullerenes are only the nine graphs. In this paper, we show that the fullerene graphs which do not contain the subgraph $L$ or $R$ as illustrated in Fig. 1 are 2-resonant except for the specific eleven graphs. This result implies that each IPR fullerene is 2-resonant.
On Groupoids and Hypergraphs
We present a novel construction of finite groupoids whose Cayley graphs have large girth even w.r.t. a discounted distance measure that contracts arbitrarily long sequences of edges from the same colour class (sub-groupoid), and only counts transitions between colour classes (cosets). These groupoids are employed towards a generic construction method for finite hypergraphs that realise specified overlap patterns and avoid small cyclic configurations. The constructions are based on reduced products with groupoids generated by the elementary local extension steps, and can be made to preserve the symmetries of the given overlap pattern. In particular, we obtain highly symmetric, finite hypergraph coverings without short cycles. The groupoids and their application in reduced products are sufficiently generic to be applicable to other constructions that are specified in terms of local glueing operations and require global finite closure.
On walk-regular graphs and graphs with symmetric hitting times
Aldous [1] asked whether every graph in which the distribution of the return time of random is independent of the starting vertex must be transitive. We remark that this question can be reduced into a purely graph-theoretic one that had already been answered Godsil & McKay [6] and ask some questions motivated by this.
The (revised) Szeged index and the Wiener index of a nonbipartite graph
Published
• View Publication
• BIB
Hansen et. al. used the computer programm AutoGraphiX to study the differences between the Szeged index $Sz(G)$ and the Wiener index $W(G)$, and between the revised Szeged index $Sz^*(G)$ and the Wiener index for a connected graph $G$. They conjectured that for a connected nonbipartite graph $G$ with $n \geq 5$ vertices and girth $g \geq 5,$ $ Sz(G)-W(G) \geq 2n-5. $ Moreover, the bound is best possible as shown by the graph composed of a cycle on 5 vertices, $C_5$, and a tree $T$ on $n-4$ vertices sharing a single vertex. They also conjectured that for a connected nonbipartite graph $G$ with $n \geq 4$ vertices, $ Sz^*(G)-W(G) \geq \frac{n^2+4n-6}{4}. $ Moreover, the bound is best possible as shown by the graph composed of a cycle on 3 vertices, $C_3$, and a tree $T$ on $n-3$ vertices sharing a single vertex. In this paper, we not only give confirmative proofs to these two conjectures but also characterize those graphs that achieve the two lower bounds.
On sum edge-coloring of regular, bipartite and split graphs
Published
• View Publication
• BIB
An edge-coloring of a graph $G$ with natural numbers is called a sum edge-coloring if the colors of edges incident to any vertex of $G$ are distinct and the sum of the colors of the edges of $G$ is minimum. The edge-chromatic sum of a graph $G$ is the sum of the colors of edges in a sum edge-coloring of $G$. It is known that the problem of finding the edge-chromatic sum of an $r$-regular ($r\geq 3$) graph is $NP$-complete. In this paper we give a polynomial time $(1+\frac{2r}{(r+1)^{2}})$-approximation algorithm for the edge-chromatic sum problem on $r$-regular graphs for $r\geq 3$. Also, it is known that the problem of finding the edge-chromatic sum of bipartite graphs with maximum degree 3 is $NP$-complete. We show that the problem remains $NP$-complete even for some restricted class of bipartite graphs with maximum degree 3. Finally, we give upper bounds for the edge-chromatic sum of some split graphs.
Interval colorings of complete balanced multipartite graphs
A graph $G$ is called a complete $k$-partite ($k\geq 2$) graph if its vertices can be partitioned into $k$ independent sets $V_{1},...,V_{k}$ such that each vertex in $V_{i}$ is adjacent to all the other vertices in $V_{j}$ for $1\leq i<j\leq k$. A complete $k$-partite graph $G$ is a complete balanced $k$-partite graph if $|V_{1}| = |V_{2}| =... = |V_{k}|$. An edge-coloring of a graph $G$ with colors $1,...,t$ is an interval $t$-coloring if all colors are used, and the colors of edges incident to each vertex of $G$ are distinct and form an interval of integers. A graph $G$ is interval colorable if $G$ has an interval $t$-coloring for some positive integer $t$. In this paper we show that a complete balanced $k$-partite graph $G$ with $n$ vertices in each part is interval colorable if and only if $nk$ is even. We also prove that if $nk$ is even and $(k-1)n\leq t\leq ((3/2)k-1)n-1$, then a complete balanced $k$-partite graph $G$ admits an interval $t$-coloring. Moreover, if $k=p2^{q}$, where $p$ is odd and $q\in \mathbb{N}$, then a complete balanced $k$-partite graph $G$ has an interval $t$-coloring for each positive integer $t$ satisfying $(k-1)n\leq t\leq (2k-p-q)n-1$.
Broken circuit complexes and hyperplane arrangements
Published in J. Algebraic Combin. 38 (2013), no. 4, 989-1016
• View Publication
• BIB
We study Stanley-Reisner ideals of broken circuits complexes and characterize those ones admitting a linear resolution or being complete intersections. These results will then be used to characterize arrangements whose Orlik-Terao ideal has the same properties. As an application, we improve a result of Wilf on upper bounds for the coefficients of the chromatic polynomial of a maximal planar graph. We also show that for an ordered matroid with disjoint minimal broken circuits, the supersolvability of the matroid is equivalent to the Koszulness of its Orlik-Solomon algebra.
Constant 2-labellings and an application to (r,a,b)-covering codes
Published
• View Publication
• BIB
We introduce the concept of constant $2$-labelling of a weighted graph and show how it can be used to obtain perfect weighted coverings. Roughly speaking, a constant $2$-labelling of a weighted graph is a $2$-colouring of its vertex set which preserves the sum of the weights of black vertices under some automorphisms. We study this problem on four types of weighted cycles. Our results on cycles allow us to determine $(r,a,b)$-codes in $\mathbb{Z}^2$ whenever $|a-b|>4$, $r\ge2$ and we give the precise values of $a$ and $b$. This is a refinement of Axenovich's theorem proved in 2003.
On the spectral moments of trees with a given bipartition
For two given positive integers $p$ and $q$ with $p\leqslant q$, we denote $\mathscr{T}_n^{p, q}={T: T$ is a tree of order $n$ with a $(p, q)$-bipartition}. For a graph $G$ with $n$ vertices, let $A(G)$ be its adjacency matrix with eigenvalues $λ_1(G), λ_2(G), ..., λ_n(G)$ in non-increasing order. The number $S_k(G):=\sum_{i=1}^{n}λ_i^k(G)\,(k=0, 1, ..., n-1)$ is called the $k$th spectral moment of $G$. Let $S(G)=(S_0(G), S_1(G),..., S_{n-1}(G))$ be the sequence of spectral moments of $G$. For two graphs $G_1$ and $G_2$, one has $G_1\prec_s G_2$ if for some $k\in {1,2,...,n-1}$, $S_i(G_1)=S_i(G_2) (i=0,1,...,k-1)$ and $S_k(G_1)<S_k(G_2)$ holds. In this paper, the last four trees, in the $S$-order, among $\mathscr{T}_n^{p, q} (4\leqslant p\leqslant q)$ are characterized.
Genus Ranges of 4-Regular Rigid Vertex Graphs
Published
• View Publication
• BIB
We introduce a notion of genus range as a set of values of genera over all surfaces into which a graph is embedded cellularly, and we study the genus ranges of a special family of four-regular graphs with rigid vertices that has been used in modeling homologous DNA recombination. We show that the genus ranges are sets of consecutive integers. For any positive integer $n$, there are graphs with $2n $ vertices that have genus range ${m,m+1,...,m'}$ for all $0\le m<m'\le n$, and there are graphs with $2n-1$ vertices with genus range ${m,m+1,...,m'}$ for all $0\le m<m' <n$ or $0<m<m'\le n$. Further, we show that for every $n$ there is $k<n$ such that ${h}$ is a genus range for graphs with $2n-1$ and $2n$ vertices for all $h\le k$. It is also shown that for every $n$, there is a graph with $2n$ vertices with genus range ${0,1,...,n}$, but there is no such a graph with $2n-1$ vertices.
Using the subspace theorem to bound unit distances
We prove a special case of Erdős' unit distance problem using a corollary of the subspace theorem bounding the number of solutions of linear equations from a multiplicative group. We restrict our attention to unit distances coming from a multiplicative group of rank $r$ not too large. Specifically, given $\varepsilon>0$ and $n$ points in the plane, we construct the unit distance graph from these points and distances and use the corollary above to bound certain paths of length $k$ in the graph giving at most $n^{1+\varepsilon}$ unit distances from the group above. We require that the rank $r\le c\log n$ for some $c>0$ depending on $\varepsilon$. This extends a result of József Solymosi, Frank de Zeeuw and the author where we only considered unit distances that are roots of unity. Lastly we show that the lower bound configuration for the unit distance problem of Erdős consists of unit distances from a multiplicative subgroup of the form above.
A conjecture on equitable vertex arboricity of graphs
Published
• View Publication
• BIB
Wu, Zhang and Li [4] conjectured that the set of vertices of any simple graph $G$ can be equitably partitioned into $\lceil(Δ(G)+1)/2\rceil$ subsets so that each of them induces a forest of $G$. In this note, we prove this conjecture for graphs $G$ with $Δ(G)\geq |G|/2$.
Beyond the Vizing's bound for at most seven colors
Let $G=(V,E)$ be a simple graph of maximum degree $Δ$. The edges of $G$ can be colored with at most $Δ+1$ colors by Vizing's theorem. We study lower bounds on the size of subgraphs of $G$ that can be colored with $Δ$ colors.
Vizing's Theorem gives a bound of $\fracΔ{Δ+1}|E|$. This is known to be tight for cliques $K_{Δ+1}$ when $Δ$ is even. However, for $Δ=3$ it was improved to $26/31|E|$ by Albertson and Haas [Parsimonious edge colorings, Disc. Math. 148, 1996] and later to $6/7|E|$ by Rizzi [Approximating the maximum 3-edge-colorable subgraph problem, Disc. Math. 309, 2009]. It is tight for $B_3$, the graph isomorphic to a $K_4$ with one edge subdivided.
We improve previously known bounds for $Δ\in{3,...,7}$, under the assumption that for $Δ=3,4,6$ graph $G$ is not isomorphic to $B_3$, $K_5$ and $K_7$, respectively. For $Δ\geq 4$ these are the first results which improve over the Vizing's bound. We also show a new bound for subcubic multigraphs not isomorphic to $K_3$ with one edge doubled.
In the second part, we give approximation algorithms for the Maximum k-Edge-Colorable Subgraph problem, where given a graph G (without any bound on its maximum degree or other restrictions) one has to find a k-edge-colorable subgraph with maximum number of edges. In particular, when G is simple for k=3,4,5,6,7 we obtain approximation ratios of 13/15, 9/11, 19/22, 23/27 and 22/25, respectively. We also present a 7/9-approximation for k=3 when G is a multigraph. The approximation algorithms follow from a new general framework that can be used for any value of k.
The 1-2-3 Conjecture and related problems: a survey
The 1-2-3 Conjecture, posed in 2004 by Karonski, Luczak, and Thomason, is as follows: "If G is a graph with no connected component having exactly 2 vertices, then the edges of G may be assigned weights from the set {1,2,3} so that, for any adjacent vertices u and v, the sum of weights of edges incident to u differs from the sum of weights of edges incident to v." This survey paper presents the current state of research on the 1-2-3 Conjecture and the many variants that have been proposed in its short but active history.