graph
34516 papers tagged with this keyword
Mutant knots and intersection graphs
Published in Algebr. Geom. Topol. 7 (2007) 1579-1598
• View Publication
• BIB
We prove that if a finite order knot invariant does not distinguish mutant knots, then the corresponding weight system depends on the intersection graph of a chord diagram rather than on the diagram itself. The converse statement is easy and well known. We discuss relationship between our results and certain Lie algebra weight systems.
Mediatic graphs
Published
• View Publication
• BIB
Any medium can be represented as an isometric subgraph of the hypercube, with each token of the medium represented by a particular equivalence class of arcs of the subgraph. Such a representation, although useful, is not especially revealing of the structure of a particular medium. We propose an axiomatic definition of the concept of a `mediatic graph'. We prove that the graph of any medium is a mediatic graph. We also show that, for any non-necessarily finite set S, there exists a bijection from the collection M of all the media on a given set S (of states) onto the collection G of all the mediatic graphs on S.
On the HOMFLY and Tutte polynomials
A celebrated result of F. Jaeger states that the Tutte polynomial of a planar graph is determined by the HOMFLY polynomial of an associated link. Here we are interested in the converse of this result. We consider the question `to what extent does the Tutte polynomial determine the HOMFLY polynomial of any knot?' We show that the HOMFLY polynomial of a knot is determined by Tutte polynomials of plane graphs associated to the knot.
The Colin de Verdière number and graphs of polytopes
Published
• View Publication
• BIB
The Colin de Verdière number $μ(G)$ of a graph $G$ is the maximum corank of a Colin de Verdière matrix for $G$ (that is, of a Schrödinger operator on $G$ with a single negative eigenvalue). In 2001, Lovász gave a construction that associated to every convex 3-polytope a Colin de Verdière matrix of corank 3 for its 1-skeleton.
We generalize the Lovász construction to higher dimensions by interpreting it as minus the Hessian matrix of the volume of the polar dual. As a corollary, $μ(G) \ge d$ if $G$ is the 1-skeleton of a convex $d$-polytope.
Determination of the signature of the Hessian of the volume is based on the second Minkowski inequality for mixed volumes and on Bol's condition for equality.
On iterated image size for point-symmetric relations
Published
• View Publication
• BIB
Let $Γ=(V,E)$ be a point-symmetric reflexive relation and let $v\in V$ such that
$|Γ(v)|$ is finite (and hence $|Γ(x)|$ is finite for all $x$, by the transitive action of the group of automorphisms). Let $j\in \N$ be an integer such that $Γ^j(v)\cap Γ^{-}(v)=\{v\}$. Our main result states that
$$ |Γ^{j} (v)|\ge | Γ^{j-1} (v)| + |Γ(v)|-1.$$
As an application we have $ |Γ^{j} (v)| \ge 1+(|Γ(v)|-1)j.$ The last result confirms a recent conjecture of Seymour in the case of vertex-symmetric graphs. Also it gives a short proof for the validity of the Caccetta-Häggkvist conjecture for vertex-symmetric graphs and generalizes an additive result of Shepherdson.
Sparsity-certifying Graph Decompositions
Published
• View Publication
• BIB
We describe a new algorithm, the $(k,\ell)$-pebble game with colors, and use it obtain a characterization of the family of $(k,\ell)$-sparse graphs and algorithmic solutions to a family of problems concerning tree decompositions of graphs. Special instances of sparse graphs appear in rigidity theory and have received increased attention in recent years. In particular, our colored pebbles generalize and strengthen the previous results of Lee and Streinu and give a new proof of the Tutte-Nash-Williams characterization of arboricity. We also present a new decomposition that certifies sparsity based on the $(k,\ell)$-pebble game with colors. Our work also exposes connections between pebble game algorithms and previous sparse graph algorithms by Gabow, Gabow and Westermann and Hendrickson.
Partial cubes: structures, characterizations, and constructions
Published
• View Publication
• BIB
Partial cubes are isometric subgraphs of hypercubes. Structures on a graph defined by means of semicubes, and Djoković's and Winkler's relations play an important role in the theory of partial cubes. These structures are employed in the paper to characterize bipartite graphs and partial cubes of arbitrary dimension. New characterizations are established and new proofs of some known results are given.
The operations of Cartesian product and pasting, and expansion and contraction processes are utilized in the paper to construct new partial cubes from old ones. In particular, the isometric and lattice dimensions of finite partial cubes obtained by means of these operations are calculated.
Sparse Hypergraphs and Pebble Game Algorithms
Published
• View Publication
• BIB
A hypergraph $G=(V,E)$ is $(k,\ell)$-sparse if no subset $V'\subset V$ spans more than $k|V'|-\ell$ hyperedges. We characterize $(k,\ell)$-sparse hypergraphs in terms of graph theoretic, matroidal and algorithmic properties. We extend several well-known theorems of Haas, Lov{á}sz, Nash-Williams, Tutte, and White and Whiteley, linking arboricity of graphs to certain counts on the number of edges. We also address the problem of finding lower-dimensional representations of sparse hypergraphs, and identify a critical behaviour in terms of the sparsity parameters $k$ and $\ell$. Our constructions extend the pebble games of Lee and Streinu from graphs to hypergraphs.
On Computing the Distinguishing Numbers of Planar Graphs and Beyond: a Counting Approach
Published
• View Publication
• BIB
A vertex k-labeling of graph G is distinguishing if the only automorphism that preserves the labels of G is the identity map. The distinguishing number of G, D(G), is the smallest integer k for which G has a distinguishing k-labeling. In this paper, we apply the principle of inclusion-exclusion and develop recursive formulas to count the number of inequivalent distinguishing k-labelings of a graph. Along the way, we prove that the distinguishing number of a planar graph can be computed in time polynomial in the size of the graph.}
The Sandpile Group of a Tree
Published in European Journal of Combinatorics 30(4): 1026--1035, 2009
• View Publication
• BIB
A wired tree is a graph obtained from a tree by collapsing the leaves to a single vertex. We describe a pair of short exact sequences relating the sandpile group of a wired tree to the sandpile groups of its principal subtrees. In the case of a regular tree these sequences split, enabling us to compute the full decomposition of the sandpile group as a product of cyclic groups. This resolves in the affirmative a conjecture of E. Toumpakari concerning the ranks of the Sylow p-subgroups.
Long Range Percolation Mixing Time
Published in Combinatorics, Probability and Computing 17 (2008), 487-494
• View Publication
• BIB
We provide an estimate, sharp up to poly-logarithmic factors, of the asymptotically almost sure mixing time of the graph created by long-range percolation on the cycle of length N (Z/NZ). While it is known that the almost sure diameter drops from linear to poly-logarithmic as the exponent s decreases below 2, the almost sure mixing time drops from N^2 only to N^(s-1) (up to poly-logarithmic factors).
Zeta functions of infinite graph bundles
Published
• View Publication
• BIB
We compute the equivariant zeta function for bundles over infinite graphs and for infinite covers. In particular, we give a ``transfer formula'' for the zeta function of infinite graph covers. Also, when the infinite cover is given as a limit of finite covers, we give a formula for the limit of the zeta functions.
A 27-vertex graph that is vertex-transitive and edge-transitive but not l-transitive
I describe a 27-vertex graph that is vertex-transitive and edge-transitive but not 1-transitive. Thus while all vertices and edges of this graph are similar, there are no edge-reversing automorphisms.
On pattern-avoiding partitions
A \emph{set partition} of the set $[n]=\{1,...c,n\}$ is a collection of disjoint blocks $B_1,B_2,...c, B_d$ whose union is $[n]$. We choose the ordering of the blocks so that they satisfy $\min B_1<\min B_2<...b<\min B_d$. We represent such a set partition by a \emph{canonical sequence} $π_1,π_2,...c,π_n$, with $π_i=j$ if $i\in B_j$. We say that a partition $π$ \emph{contains} a partition $σ$ if the canonical sequence of $π$ contains a subsequence that is order-isomorphic to the canonical sequence of $σ$. Two partitions $σ$ and $σ'$ are \emph{equivalent}, if there is a size-preserving bijection between $σ$-avoiding and $σ'$-avoiding partitions.
We determine several infinite families of sets of equivalent patterns; for instance, we prove that there is a bijection between $k$-noncrossing and $k$-nonnesting partitions, with a notion of crossing and nesting based on the canonical sequence. We also provide new combinatorial interpretations of the Catalan numbers and the Stirling numbers. Using a systematic computer search, we verify that our results characterize all the pairs of equivalent partitions of size at most seven.
We also present a correspondence between set partitions and fillings of Ferrers shapes and stack polyominoes. This correspondence allows us to apply recent results on polyomino fillings in the study of partitions, and conversely, some of our results on partitions imply new results on polyomino fillings and ordered graphs.
Connectivity and equilibrium in random games
Published in Annals of Applied Probability 2011, Vol. 21, No. 3, 987-1016
• View Publication
• BIB
We study how the structure of the interaction graph of a game affects the existence of pure Nash equilibria. In particular, for a fixed interaction graph, we are interested in whether there are pure Nash equilibria arising when random utility tables are assigned to the players. We provide conditions for the structure of the graph under which equilibria are likely to exist and complementary conditions which make the existence of equilibria highly unlikely. Our results have immediate implications for many deterministic graphs and generalize known results for random games on the complete graph. In particular, our results imply that the probability that bounded degree graphs have pure Nash equilibria is exponentially small in the size of the graph and yield a simple algorithm that finds small nonexistence certificates for a large family of graphs. Then we show that in any strongly connected graph of n vertices with expansion $(1+Ω(1))\log_2(n)$ the distribution of the number of equilibria approaches the Poisson distribution with parameter 1, asymptotically as $n \to +\infty$.
Specializations of Ferrers ideals
Published
• View Publication
• BIB
We introduce a specialization technique in order to study monomial ideals that are generated in degree two by using our earlier results about Ferrers ideals. It allows us to describe explicitly a cellular minimal free resolution of various ideals including any strongly stable and any squarefree strongly stable ideal whose minimal generators have degree two. In particular, this shows that threshold graphs can be obtained as specializations of Ferrers graphs, which explains their similar properties.
Some remarks on depth of dead ends in groups
Published
• View Publication
• BIB
It is known, that the existence of dead ends (of arbitrary depth) in the Cayley graph of a group depends on the chosen set of generators. Nevertheless there exist many groups, which do not have dead ends of arbitrary depth with respect to any set of generators. Partial results in this direction were obtained by Šunić and by Warshall. We improve these results by showing that abelian groups only have finitely many dead ends and that groups with more than one end (in the sense of Hopf and Freudenthal) have only dead ends of bounded depth. Only few examples of groups with unbounded dead end depth are known. We show that the Houghton group \Hou with respect to a standard generating set is a further example. In addition we introduce a stronger notion of depth of a dead end, called strong depth. The Houghton group \Hou has unbounded strong depth with respect to the same standard generating set.
Ramsey Goodness and Beyond
Published
• View Publication
• BIB
In a seminal paper from 1983, Burr and Erdos started the systematic study of Ramsey numbers of cliques vs. large sparse graphs, raising a number of problems. In this paper we develop a new approach to such Ramsey problems using a mix of the Szemeredi regularity lemma, embedding of sparse graphs, Turan type stability, and other structural results. We give exact Ramsey numbers for various classes of graphs, solving all but one of the Burr-Erdos problems.
Maxmaxflow and counting subgraphs
Published in Electron. J. Combin. 17, #R99 (2010)
• View Publication
• BIB
We introduce a new graph invariant Λ(G) that we call maxmaxflow, and put it in the context of some other well-known graph invariants, notably maximum degree and its relatives. We prove the equivalence of two "dual" definitions of maxmaxflow: one in terms of flows, the other in terms of cocycle bases. We then show how to bound the total number (or more generally, total weight) of various classes of subgraphs of G in terms of either maximum degree or maxmaxflow. Our results are motivated by a conjecture that the modulus of the roots of the chromatic polynomial of G can be bounded above by a function of Λ(G).
Offensive k-alliances in graphs
Published in Discrete Applied Mathematics 157 (1) (2009) 177-182
• Search Publication
Let $G=(V,E)$ be a simple graph. For a nonempty set $X\subset V,$ and a vertex $v\in V,$ $δ_{X}(v)$ denotes the number of neighbors $v$ has in $X.$ A nonempty set $S\subset V$ is an \emph{offensive $r$-alliance} in $G$ if $δ_S(v)\ge δ_{\bar{S}}(v)+r,$ $\forall v\in \partial (S),$ where $\partial (S)$ denotes the boundary of $S$. An offensive $r$-alliance $S$ is called \emph{global} if it forms a dominating set. The \emph{global offensive $r$-alliance number} of $G$, denoted by $γ_{r}^{o}(G)$, is the minimum cardinality of a global offensive $r$-alliance in $G$. We show that the problem of finding optimal (global) offensive $r$-alliances is NP-complete and we obtain several tight bounds on $γ_{r}^{o}(G)$.