graph
34934 papers tagged with this keyword
On the construction of tree decompositions of hypercubes
Published in Bulletin of the Institute of Combinatorics and its Applications, Vol 72 (2014) 76-82
• Search Publication
There are different concepts regarding to tree decomposition of a graph $G$. For the Hypercube $Q_n$, these concepts have been shown to have many applications. But some diverse papers on this subject make it difficult to follow what is precisely known. In this note first we will mention some known results on the tree decomposition of hypercubes and then introduce new explicit constructions for the previously known and unknown cases.
Nucleation-free $3D$ rigidity
When all non-edge distances of a graph realized in $\mathbb{R}^{d}$ as a {\em bar-and-joint framework} are generically {\em implied} by the bar (edge) lengths, the graph is said to be {\em rigid} in $\mathbb{R}^{d}$. For $d=3$, characterizing rigid graphs, determining implied non-edges and {\em dependent} edge sets remains an elusive, long-standing open problem.
One obstacle is to determine when implied non-edges can exist without non-trivial rigid induced subgraphs, i.e., {\em nucleations}, and how to deal with them.
In this paper, we give general inductive construction schemes and proof techniques to generate {\em nucleation-free graphs} (i.e., graphs without any nucleation) with implied non-edges. As a consequence, we obtain (a) dependent graphs in $3D$ that have no nucleation; and (b) $3D$ nucleation-free {\em rigidity circuits}, i.e., minimally dependent edge sets in $d=3$. It additionally follows that true rigidity is strictly stronger than a tractable approximation to rigidity given by Sitharam and Zhou \cite{sitharam:zhou:tractableADG:2004}, based on an inductive combinatorial characterization.
As an independently interesting byproduct, we obtain a new inductive construction for independent graphs in $3D$. Currently, very few such inductive constructions are known, in contrast to $2D$.
Alliances and related parameters in graphs
In this paper, we show that several graph parameters are known in different areas under completely different names. More specifically, our observations connect signed domination, monopolies, $α$-domination, $α$-independence, positive influence domination, and a parameter associated to fast information propagation in networks to parameters related to various notions of global $r$-alliances in graphs. We also propose a new framework, called (global) $(D,O)$-alliances, not only in order to characterize various known variants of alliance and domination parameters, but also to suggest a unifying framework for the study of alliances and domination. Finally, we also give a survey on the mentioned graph parameters, indicating how results transfer due to our observations.
Collision Times in Multicolor Urn Models and Sequential Graph Coloring With Applications to Discrete Logarithms
Published
• View Publication
• BIB
Consider an urn model where at each step one of $q$ colors is sampled according to some probability distribution and a ball of that color is placed in an urn. The distribution of assigning balls to urns may depend on the color of the ball. Collisions occur when a ball is placed in an urn which already contains a ball of different color. Equivalently, this can be viewed as sequentially coloring a complete $q$-partite graph wherein a collision corresponds to the appearance of a monochromatic edge. Using a Poisson embedding technique, the limiting distribution of the first collision time is determined and the possible limits are explicitly described. Joint distribution of successive collision times and multi-fold collision times are also derived. The results can be used to obtain the limiting distributions of running times in various birthday problem based algorithms for solving the discrete logarithm problem, generalizing previous results which only consider expected running times. Asymptotic distributions of the time of appearance of a monochromatic edge are also obtained for other graphs.
On the order of vertex-stabilisers in vertex-transitive graphs with local group $C_p\times C_p$ or $C_p \wr C_2$
Let $p$ be a prime and let $L$ be either the intransitive permutation group $C_p\times C_p$ of degree $2p$ or the transitive permutation group $C_p \wr C_2$ of degree $2p$. Let $Γ$ be a connected $G$-vertex-transitive and $G$-edge-transitive graph and let $v$ be a vertex of $Γ$. We show that if the permutation group induced by the vertex-stabiliser $G_v$ on the neighbourhood $Γ(v)$ is isomorphic to $L$ then either $|V(Γ)|\geq p|G_v|\log_p\left(|G_v|/2\right)$, or $|V(Γ)|$ is bounded by a constant depending only on $p$, or $Γ$ is a very-well understood graph. This generalises a few recent results.
The Potts model and chromatic functions of graphs
Published in Ann. Inst. Henri Poincaré Comb. Phys. Interact. 1 (2014), 47-60
• View Publication
• BIB
The $U$-polynomial of Noble and Welsh is known to have intimate connections with the Potts model as well as with several important graph polynomials. For each graph $G$, $U(G)$ is equivalent to Stanley's symmetric bad colouring polynomial $XB(G)$. Moreover Sarmiento established the equivalence between $U$ and the polychromate of Brylawski. Loebl defined the $q$-dichromate $B_q(G,x,y)$ as a function of a graph $G$ and three independent variables $q,x,y$, proved that it is equal to the partition function of the Potts model with variable number of states and with a certain external field contribution, and conjectured that the $q$-dichromate is equivalent to the $U$-polynomial. He also proposed a stronger conjecture on integer partitions. The aim of this paper is two-fold. We present a construction disproving Loebl's integer partitions conjecture, and we introduce a new function $B_{r,q}(G;x,k)$ which is also equal to the partition function of the Potts model with variable number of states and with a (different) external field contribution, and we show that $B_{r,q}(G;x,k)$ is equivalent to the $U$-polynomial and to Stanley's symmetric bad colouring polynomial.
Distinguishing graphs with infinite motion and nonlinear growth
Published in Ars Mathematica Contemporanea, Vol 7, No 1 (2014)
• View Publication
• BIB
The distinguishing number $\operatorname D(G)$ of a graph $G$ is the least cardinal $d$ such that $G$ has a labeling with $d$ labels which is only preserved by the trivial automorphism. We show that the distinguishing number of infinite, locally finite, connected graphs $G$ with infinite motion and growth $o \left(\frac{n^2}{\log_2 n} \right)$ is either $1$ or $2$, which proves the Infinite Motion Conjecture of Tom Tucker for this type of graphs. The same holds true for graphs with countably many ends that do not grow too fast. We also show that graphs $G$ of arbitrary cardinality are $2$-distinguishable if every nontrivial automorphism moves at least uncountably many vertices $m(G)$, where $m(G) \geq \left\vert\operatorname{Aut}(G)\right\vert$. This extends a result of Imrich et al. to graphs with automorphism groups of arbitrary cardinality.
Critical properties on Roman domination graphs
A Roman domination function on a graph G is a function $r:V(G)\to \{0,1,2\}$ satisfying the condition that every vertex $u$ for which $r(u)=0$ is adjacent to at least one vertex $v$ for which $r(v)=2$. The weight of a Roman function is the value $r(V(G))=\sum_{u\in V(G)}r(u)$. The Roman domination number $γ_R(G)$ of $G$ is the minimum weight of a Roman domination function on $G$. "Roman Criticality" has been defined in general as the study of graphs where the Roman domination number decreases when removing an edge or a vertex of the graph. In this paper we give further results in this topic as well as the complete characterization of critical graphs that have Toman Domination number $γ_R(G)=4$.
Maximizing the number of independent sets of a fixed size
Published in Combinator. Probab. Comp. 24 (2015) 521-527
• View Publication
• BIB
Let $i_t(G)$ be the number of independent sets of size $t$ in a graph $G$. Engbers and Galvin asked how large $i_t(G)$ could be in graphs with minimum degree at least $δ$. They further conjectured that when $n\geq 2δ$ and $t\geq 3$, $i_t(G)$ is maximized by the complete bipartite graph $K_{δ, n-δ}$. This conjecture has drawn the attention of many researchers recently. In this short note, we prove this conjecture.
Distance two labeling of direct product of paths and cycles
Suppose that $[n]=\left\{0,1,2,...,n\right\}$ is a set of non-negative integers and $h,k \in [n]$. The $L(h,k)$-labeling of graph $G$ is the function $l:V(G)\rightarrow[n]$ such that $\left|l(u)-l(v)\right|\geq h$ if the distance $d(u,v)$ between $u$ and $v$ is one and $\left|l(u)-l(v)\right| \geq k$ if the distance $d(u,v)$ is two. Let $L(V(G))=\left\{l(v): v \in V(G)\right\}$ and let $p$ be the maximum value of $L(V(G)).$ Then $p$ is called $λ_h^k-$number of $G$ if $p$ is the least possible member of $[n]$ such that $G$ maintains an $L(h,k)-$labeling. In this paper, we establish $λ_1^1-$ numbers of $P _m \times C_n$ graphs for all $m \geq 2$ and $n\geq 3$.
The Las Vergnas Polynomial for embedded graphs
Published
• View Publication
• BIB
The Las Vergnas polynomial is an extension of the Tutte polynomial to cellularly embedded graphs. It was introduced by Michel Las Vergnas in 1978 as special case of his Tutte polynomial of a morphism of matroids. While the general Tutte polynomial of a morphism of matroids has a complete set of deletion-contraction relations, its specialisation to cellularly embedded graphs does not. Here we extend the Las Vergnas polynomial to graphs in pseudo-surfaces. We show that in this setting we can define deletion and contraction for embedded graphs consistently with the deletion and contraction of the underlying matroid perspective, thus yielding a version of the Las Vergnas polynomial with complete recursive definition. This also enables us to obtain a deeper understanding of the relationships among the Las Vergnas polynomial, the Bollobas-Riordan polynomial, and the Krushkal polynomial. We also take this opportunity to extend some of Las Vergnas' results on Eulerian circuits from graphs in surfaces of low genus to surfaces of arbitrary genus.
On the boundary as an $x$-geodominating set in graphs
Given a graph $G$ and a vertex $x\in V(G)$, a vertex set $S \subseteq V(G)$ is an $x$-geodominating set of $G$ if each vertex $v\in V(G)$ lies on an $x-y$ geodesic for some element $y\in S$. The minimum cardinality of an $x$-geodominating set of $G$ is defined as the $x$-geodomination number of $G$, $g_x(G)$, and an $x$-geodominating set of cardinality $g_x(G)$ is called a $g_x$-set and it is known that it is unique for each vertex $x$. We prove that, in any graph $G$, the $g_x$-set associated to a vertex $x$ is the set of boundary vertices of $x$, that is $\partial(x)= \{v \in V(G) : \forall w \in N(v): d(x,w) \leq d(u, v)\}$. This characterization of $g_x$-sets allows to deduce, on a easy way, different properties of these sets and also to compute both $g_x$-sets and $x$-geodomination number $g_x(G)$, in graphs obtained using different graphs products: cartesian, strong and lexicographic.
The Robber Locating game
Published in Discrete Mathematics 339 no. 1 (2016)
• View Publication
• BIB
We consider a game in which a cop searches for a moving robber on a graph using distance probes, studied by Carragher, Choi, Delcourt, Erickson and West, which is a slight variation on one introduced by Seager. Carragher, Choi, Delcourt, Erickson and West show that for any fixed graph $G$ there is a winning strategy for the cop on the graph $G^{1/m}$, obtained by replacing each edge of $G$ by a path of length $m$, if $m$ is sufficiently large. They conjecture that the cop does not have a winning strategy on $K_n^{1/m}$ if $m<n$; we show that in fact the cop wins if and only if $m\geqslant n/2$, for all but a few small values of $n$. They also show that the robber can avoid capture on any graph of girth 3, 4 or 5, and ask whether there is any graph of girth 6 on which the cop wins. We show that there is, but that no such graph can be bipartite; in the process we give a counterexample for their conjecture that the set of graphs on which the cop wins is closed under the operation of subdividing edges. We also give a complete answer to the question of when the cop has a winning strategy on $K_{a,b}^{1/m}$.
Deciding first-order properties of nowhere dense graphs
Published
• View Publication
• BIB
Nowhere dense graph classes, introduced by Nesetril and Ossona de Mendez, form a large variety of classes of "sparse graphs" including the class of planar graphs, actually all classes with excluded minors, and also bounded degree graphs and graph classes of bounded expansion.
We show that deciding properties of graphs definable in first-order logic is fixed-parameter tractable on nowhere dense graph classes. At least for graph classes closed under taking subgraphs, this result is optimal: it was known before that for all classes C of graphs closed under taking subgraphs, if deciding first-order properties of graphs in C is fixed-parameter tractable, then C must be nowhere dense (under a reasonable complexity theoretic assumption).
As a by-product, we give an algorithmic construction of sparse neighbourhood covers for nowhere dense graphs. This extends and improves previous constructions of neighbourhood covers for graph classes with excluded minors. At the same time, our construction is considerably simpler than those. Our proofs are based on a new game-theoretic characterisation of nowhere dense graphs that allows for a recursive version of locality-based algorithms on these classes. On the logical side, we prove a "rank-preserving" version of Gaifman's locality theorem.
Structure Trees and Networks
In this paper it is shown that for any network there is a uniquely determined network based on a structure tree that provides a convenient way of determining a minimal cut separating a pair $s, t$ where each of $s, t$ is either a vertex or an end in the original network. A Max-Flow Min-Cut Theorem is proved for any network. In the case of a Cayley Graph for a finitely generated group the theory provides another proof of Stallings' Theorem on the structure of groups with more than one end.
Remarks on Li-Yau inequality on graphs
Published
• View Publication
• BIB
In this paper, we study Li-Yau gradient estimates for the solutions $u$ to the heat equation $\partial_tu=Δu$ on graphs under the curvature condition $CD(n,-K)$ introduced by Bauer et al. in \cite{BHLLMY}. As applications, we derive Harnack inequalities and heat kernel estimates on graphs. Also we present a type of Hamilton gradient estimates.
A graph-dynamical interpretation of Kiselman's semigroups
Published
• View Publication
• BIB
A Sequential Dynamical System (SDS) is a quadruple (Γ, S_i,f_i,w) consisting of a (directed) graph Γ=(V,E), each of whose vertices i\in V is endowed with a finite set state S_i and an update function f_i: \prod_{j, i \to j} S_j \to S_i --- we call this structure an {\em update system} --- and a word w in the free monoid over V, specifying the order in which update functions are to be performed. Each word induces an evolution of the system and in this paper we are interested in the dynamics monoid, whose elements are all possible evolutions.
When Γis a directed acyclic graph, the dynamics monoid of every update system supported on Γnaturally arises as a quotient of the Hecke-Kiselman monoid associated with Γ. In the special case where Γ= Γ_n is the complete oriented acyclic graph on n vertices, we exhibit an update system whose dynamics monoid coincides with Kiselman's semigroup K_n, thus showing that the defining Hecke-Kiselman relations are optimal in this situation. We then speculate on how these results may extend to the general acyclic case.
Simple Extensions of Polytopes
Published
• View Publication
• BIB
We introduce the simple extension complexity of a polytope P as the smallest number of facets of any simple (i.e., non-degenerate in the sense of linear programming) polytope which can be projected onto P. We devise a combinatorial method to establish lower bounds on the simple extension complexity and show for several polytopes that they have large simple extension complexities. These examples include both the spanning tree and the perfect matching polytopes of complete graphs, uncapacitated flow polytopes for non-trivially decomposable directed acyclic graphs, hypersimplices, and random 0/1-polytopes with vertex numbers within a certain range. On our way to obtain the result on perfect matching polytopes we generalize a result of Padberg and Rao's on the adjacency structures of those polytopes. To complement the lower bounding techniques we characterize in which cases known construction techniques yield simple extensions.
Plots and Their Applications - Part I: Foundations
The primary goal of this paper is to abstract notions, results and constructions from the theory of categories to the broader setting of plots. Loosely speaking, a plot can be thought of as a non-associative non-unital category with a "relaxed" composition law: Besides categories, this includes as a special case graphs and neocategories in the sense of Ehresmann, Gabriel's quivers, Mitchell's semicategories, and composition graphs, precategories and semicategories in the sense of Schröder. Among other things, we formulate an "identity-free" definition of isomorphisms, equivalences, and limits, for which we introduce regular representations, punctors, $\mathcal M$-connections, and $\mathcal M$-factorizations. Part of the material will be used in subsequent work to lay the foundation for an abstract theory of "normed structures" serving as a unifying framework for the development of fundamental aspects of the theory of normed spaces, normed groups, etc., on the one hand, and measure spaces, perhaps surprisingly, on the other.
Advancements on SEFE and Partitioned Book Embedding Problems
Published
• View Publication
• BIB
In this work we investigate the complexity of some problems related to the {\em Simultaneous Embedding with Fixed Edges} (SEFE) of $k$ planar graphs and the PARTITIONED $k$-PAGE BOOK EMBEDDING (PBE-$k$) problems, which are known to be equivalent under certain conditions.
While the computational complexity of SEFE for $k=2$ is still a central open question in Graph Drawing, the problem is NP-complete for $k \geq 3$ [Gassner {\em et al.}, WG '06], even if the intersection graph is the same for each pair of graphs ({\em sunflower intersection}) [Schaefer, JGAA (2013)].
We improve on these results by proving that SEFE with $k \geq 3$ and sunflower intersection is NP-complete even when the intersection graph is a tree and all the input graphs are biconnected. Also, we prove NP-completeness for $k \geq 3$ of problem PBE-$k$ and of problem PARTITIONED T-COHERENT $k$-PAGE BOOK EMBEDDING (PTBE-$k$) - that is the generalization of PBE-$k$ in which the ordering of the vertices on the spine is constrained by a tree $T$ - even when two input graphs are biconnected. Further, we provide a linear-time algorithm for PTBE-$k$ when $k-1$ pages are assigned a connected graph. Finally, we prove that the problem of maximizing the number of edges that are drawn the same in a SEFE of two graphs is NP-complete in several restricted settings ({\em optimization version of SEFE}, Open Problem $9$, Chapter $11$ of the Handbook of Graph Drawing and Visualization).