graph
35150 papers tagged with this keyword
Visibility graphs and deformations of associahedra
Published in Contributions to Discrete Mathematics 7 (2012) 68 - 81
• View Publication
• BIB
The associahedron is a convex polytope whose face poset is based on nonintersecting diagonals of a convex polygon. In this paper, given an arbitrary simple polygon P, we construct a polytopal complex analogous to the associahedron based on convex diagonalizations of P. We describe topological properties of this complex and provide realizations based on secondary polytopes. Moreover, using the visibility graph of P, a deformation space of polygons is created which encapsulates substructures of the associahedron.
A recipe theorem for the topological Tutte polynomial of Bollobas and Riordan
Published
• View Publication
• BIB
In [A polynomial invariant of graphs on orientable surfaces, Proc. Lond. Math. Soc., III Ser. 83, No. 3, 513-531 (2001)] and [A polynomial of graphs on surfaces, Math. Ann. 323, 81-96 (2002)], Bollobas and Riordan generalized the classical Tutte polynomial to graphs cellularly embedded in surfaces, i.e. ribbon graphs, thus encoding topological information not captured by the classical Tutte polynomial. We provide a `recipe theorem' for their new topological Tutte polynomial, R(G). We then relate R(G) to the generalized transition polynomial Q(G) via a medial graph construction, thus extending the relation between the classical Tutte polynomial and the Martin, or circuit partition, polynomial to ribbon graphs. We use this relation to prove a duality property for R(G) that holds for both oriented and unoriented ribbon graphs. We conclude by placing the results of Chumutov and Pak [The Kauffman bracket and the Bollobas-Riordan polynomial of ribbon graphs, Moscow Mathematical Journal 7(3) (2007) 409-418] for virtual links in the context of the relation between R(G) and Q(R).
All reducts of the random graph are model-complete
We study locally closed transformation monoids which contain the automorphism group of the random graph. We show that such a transformation monoid is locally generated by the permutations in the monoid, or contains a constant operation, or contains an operation that maps the random graph injectively to an induced subgraph which is a clique or an independent set. As a corollary, our techniques yield a new proof of Simon Thomas' classification of the five closed supergroups of the automorphism group of the random graph; our proof uses different Ramsey-theoretic tools than the one given by Thomas, and is perhaps more straightforward. Since the monoids under consideration are endomorphism monoids of relational structures definable in the random graph, we are able to draw several model-theoretic corollaries: One consequence of our result is that all structures with a first-order definition in the random graph are model-complete. Moreover, we obtain a classification of these structures up to existential interdefinability.
On the spectrum of the forced matching number of graphs
Published in Australasian Journal of Combinatorics. 30 (2004) pp. 147-160
• Search Publication
Let $G$ be a graph that admits a perfect matching. A {\sf forcing set} for a perfect matching $M$ of $G$ is a subset $S$ of $M$, such that $S$ is contained in no other perfect matching of $G$. This notion originally arose in chemistry in the study of molecular resonance structures. Similar concepts have been studied for block designs and graph colorings under the name {\sf defining set}, and for Latin squares under the name {\sf critical set}. Recently several papers have appeared on the study of forcing sets for other graph theoretic concepts such as dominating sets, orientations, and geodetics. Whilst there has been some study of forcing sets of matchings of hexagonal systems in the context of chemistry, only a few other classes of graphs have been considered.
Here we study the spectrum of possible forced matching numbers for the grids $P_m \times P_n$, discuss the concept of a forcing set for some other specific classes of graphs, and show that the problem of finding the smallest forcing number of graphs is \NP--complete.
Sharp thresholds for constraint satisfaction problems and homomorphisms
Published in Random Structures Algorithms. 33(3) (2008), pp. 310- 332
• View Publication
• BIB
We determine under which conditions certain natural models of random constraint satisfaction problems have sharp thresholds of satisfiability. These models include graph and hypergraph homomorphism, the $(d,k,t)$-model, and binary constraint satisfaction problems with domain size three.
The Fibonacci dimension of a graph
Published
• View Publication
• BIB
The Fibonacci dimension fdim(G) of a graph G is introduced as the smallest integer f such that G admits an isometric embedding into Gamma_f, the f-dimensional Fibonacci cube. We give bounds on the Fibonacci dimension of a graph in terms of the isometric and lattice dimension, provide a combinatorial characterization of the Fibonacci dimension using properties of an associated graph, and establish the Fibonacci dimension for certain families of graphs.
From the algorithmic point of view we prove that it is NP-complete to decide if fdim(G) equals to the isometric dimension of G, and that it is also NP-hard to approximate fdim(G) within (741/740)-epsilon. We also give a (3/2)-approximation algorithm for fdim(G) in the general case and a (1+epsilon)-approximation algorithm for simplex graphs.
A construction of 3-e.c. graphs using quadrances
A graph is $n$-e.c. ($n$-existentially closed) if for every pair of subsets
$A, B$ of vertex set $V$ of the graph such that $A \cap B = \emptyset$ and
$|A| + |B| = n$, there is a vertex $z$ not in $A \cup B$ joined to each vertex of $A$ and no vertex of $B$. Few explicit families of $n$-e.c. are known for $n > 2$. In this short note, we give a new construction of 3-e.c. graphs using the notion of quadrance in the finite Euclidean space $\mathbbm{Z}_p^d$.
Topology of Configuration Space of Two Particles on a Graph, I
Published
• View Publication
• BIB
In this paper we study the homology and cohomology of confguration spaces of two distinct particles on a graph. Our main tool is intersection theory for cycles in graphs. We obtain an explicit description of the cohomology algebra of the configuration space in the case of planar graphs.
Flips in Graphs
Published
• View Publication
• BIB
We study a problem motivated by a question related to quantum-error-correcting codes. Combinatorially, it involves the following graph parameter: $$f(G)=\min\set{|A|+|\{x\in V\setminus A : d_A(x)\text{is odd}\}| : A\neq\emptyset},$$ where $V$ is the vertex set of $G$ and $d_A(x)$ is the number of neighbors of $x$ in $A$. We give asymptotically tight estimates of $f$ for the random graph $G_{n,p}$ when $p$ is constant. Also, if $$f(n)=\max\set{f(G): |V(G)|=n}$$ then we show that $f(n)\leq (0.382+o(1))n$.
Flip Graphs of Degree-Bounded (Pseudo-)Triangulations
Published in Graphs and Combinatorics 29 (2013), 1577-1593
• View Publication
• BIB
We study flip graphs of triangulations whose maximum vertex degree is bounded by a constant $k$. In particular, we consider triangulations of sets of $n$ points in convex position in the plane and prove that their flip graph is connected if and only if $k > 6$; the diameter of the flip graph is $O(n^2)$. We also show that, for general point sets, flip graphs of pointed pseudo-triangulations can be disconnected for $k \leq 9$, and flip graphs of triangulations can be disconnected for any $k$. Additionally, we consider a relaxed version of the original problem. We allow the violation of the degree bound $k$ by a small constant. Any two triangulations with maximum degree at most $k$ of a convex point set are connected in the flip graph by a path of length $O(n \log n)$, where every intermediate triangulation has maximum degree at most $k+4$.
Mutation-classes of diagrams via infinite graphs
Published
• View Publication
• BIB
We give a complete description of the cluster-mutation classes of diagrams of Dynkin types \mathbb{A},\mathbb{B},\mathbb{D} and of affine Dynkin types \mathbb{B}^{(1)},\mathbb{C}^{(1)},\mathbb{D}^{(1)} via certain families of diagrams.
A description of the Parry-Sullivan number of a graph using circuits
In this short note, we give a description of the Parry-Sullivan number of a graph in terms of the cycles in the graph. This tool is occasionally useful in reasoning about the Parry-Sullivan numbers of graphs.
Graph topologies induced by edge lengths
Published
• View Publication
• BIB
Let $G$ be a graph each edge $e$ of which is given a length $\ell(e)$. This naturally induces a distance $d_\ell(x,y)$ between any two vertices $x,y$, and we let $\ell-TOP$ denote the completion of the corresponding metric space. It turns out that several well studied topologies on infinite graphs are special cases of $\ell-TOP$. Moreover, it seems that $\ell-TOP$ is the right setting for studying various problems. The aim of this paper is to introduce $\ell-TOP$, providing basic facts, motivating examples and open problems, and indicate possible applications.
Triangle-free Subgraphs at the Triangle-Free Process
Published
• View Publication
• BIB
We consider the triangle-free process: given an integer n, start by taking a uniformly random ordering of the edges of the complete n-vertex graph K_n. Then, traverse the ordered edges and add each traversed edge to an (initially empty) evolving graph - unless its addition creates a triangle. We study the evolving graph at around the time where Θ(n^{3/2 + ε}) edges have been traversed for any fixed ε\in (0,10^{-10}). At that time and for any fixed triangle-free graph F, we give an asymptotically tight estimation of the expected number of copies of F in the evolving graph. For F that is balanced and have density smaller than 2 (e.g., for F that is a cycle of length at least 4), our argument also gives a tight concentration result for the number of copies of F in the evolving graph. Our analysis combines Spencer's original branching process approach for analysing the triangle-free process and the semi-random method.
Combinatorial Hopf algebras and Towers of Algebras - Dimension, Quantization, and Functoriality
Published in Algebras and Representation Theory, Volume 15, Number 4 (2012), 675-696
• View Publication
• BIB
Bergeron and Li have introduced a set of axioms which guarantee that the Grothendieck groups of a tower of algebras $\bigoplus_{n\ge0}A_n$ can be endowed with the structure of graded dual Hopf algebras. Hivert and Nzeutzhap, and independently Lam and Shimozono constructed dual graded graphs from primitive elements in Hopf algebras. In this paper we apply the composition of these constructions to towers of algebras. We show that if a tower $\bigoplus_{n\ge0}A_n$ gives rise to graded dual Hopf algebras then we must have $\dim(A_n)=r^nn!$ where $r = \dim(A_1)$. In the case $r=1$ we give a conjectural classification. We then investigate a quantum version of the main theorem. We conclude with some open problems and a categorification of the construction. This paper is a full version of the summary arXiv: 0710.3744.
Equitable coloring of interval graphs and products of graphs
We confirm the equitable $Δ$-coloring conjecture for interval graphs and establish the monotonicity of equitable colorability for them. We further obtain results on equitable colorability about square (or Cartesian) and cross (or direct) products of graphs.
Trace Diagrams, Matrix Minors, and Determinant Identities
Published in Involve Vol. 3 (2010), No. 1, 33-66
• View Publication
• BIB
Trace diagrams are structured graphs with edges labeled by matrices. Each diagram has an interpretation as a particular multilinear function. We provide a rigorous combinatorial definition of these diagrams using a notion of signed graph coloring, and prove that they may be efficiently represented in terms of matrix minors. Using this viewpoint, we provide new proofs of several standard determinant formulas and a new generalization of the Jacobi determinant theorem.
Graph-theoretic approaches to injectivity and multiple equilibria in systems of interacting elements
Published
• View Publication
• BIB
We extend previous work on injectivity in chemical reaction networks to general interaction networks. Matrix- and graph-theoretic conditions for injectivity of these systems are presented. A particular signed, directed, labelled, bipartite multigraph, termed the ``DSR graph'', is shown to be a useful representation of an interaction network when discussing questions of injectivity. A graph-theoretic condition, developed previously in the context of chemical reaction networks, is shown to be sufficient to guarantee injectivity for a large class of systems. The graph-theoretic condition is simple to state and often easy to check. Examples are presented to illustrate the wide applicability of the theory developed.
Cubicity of interval graphs and the claw number
Published
• View Publication
• BIB
Let $G(V,E)$ be a simple, undirected graph where $V$ is the set of vertices and $E$ is the set of edges. A $b$-dimensional cube is a Cartesian product $I_1\times I_2\times...\times I_b$, where each $I_i$ is a closed interval of unit length on the real line. The \emph{cubicity} of $G$, denoted by $\cub(G)$ is the minimum positive integer $b$ such that the vertices in $G$ can be mapped to axis parallel $b$-dimensional cubes in such a way that two vertices are adjacent in $G$ if and only if their assigned cubes intersect. Suppose $S(m)$ denotes a star graph on $m+1$ nodes. We define \emph{claw number} $ψ(G)$ of the graph to be the largest positive integer $m$ such that $S(m)$ is an induced subgraph of $G$. It can be easily shown that the cubicity of any graph is at least $\ceil{\log_2ψ(G)}$.
In this paper, we show that, for an interval graph $G$ $\ceil{\log_2ψ(G)}\le\cub(G)\le\ceil{\log_2ψ(G)}+2$. Till now we are unable to find any interval graph with $\cub(G)>\ceil{\log_2ψ(G)}$. We also show that, for an interval graph $G$, $\cub(G)\le\ceil{\log_2α}$, where $α$ is the independence number of $G$. Therefore, in the special case of $ψ(G)=α$, $\cub(G)$ is exactly $\ceil{\log_2α}$.
The concept of cubicity can be generalized by considering boxes instead of cubes. A $b$-dimensional box is a Cartesian product $I_1\times I_2\times...\times I_b$, where each $I_i$ is a closed interval on the real line. The \emph{boxicity} of a graph, denoted $ box(G)$, is the minimum $k$ such that $G$ is the intersection graph of $k$-dimensional boxes. It is clear that $ box(G)\le\cub(G)$. From the above result, it follows that for any graph $G$, $\cub(G)\le box(G)\ceil{\log_2α}$.
On a certain representation of the chromatic polynomial
Published in Diskretnyi Analiz, issue 31, 61--70, 91 (1977); Math. Rev. MR543806
• Search Publication
The representation is essentially the same as that given by J.P.Nagle in J. Comb. Theory (B), 1971, 10:1, 42--59. The distinction is in the definition of the weighting function via the number of flows. This new definition allows one to deduce a number of corollaries, in particular, the following.
A) The chromatic polynomial of a connected planar graph G can be uniquely determined from its combinatory dual graph G^* (although the graph G itself isn't, in general, determined uniquely by G^*).
B) If a planar graph G is different from the full graph K_3 and has exactly one (up to renaming of colors) proper coloring of vertices in three colors, then the graph G^* dual to graph G is also vertex colorable in three colors.