graph
35150 papers tagged with this keyword
Kalai orientations on matroid polytopes
Let P a polytope and let G(P) be the graph of P. Following Gil Kalai, we say that an acyclic orientation O of G(P) is good if, for every non-empty face F of P, the induced graph G(F) has exactly one sink. Gil Kalai gave a simple way to tell a simple polytope from the good orientations of its graph. This article is a broader study of ``good orientations'' (of the graphs) on matroid polytopes.
Categorification of the Dichromatic Polynomial for Graphs
For each graph and each positive integer $n$, we define a chain complex whose graded Euler characteristic is equal to an appropriate $n$-specialization of the dichromatic polynomial. This also gives a categorification of $n$-specializations of the Tutte polynomial of graphs. Also, for each graph and integer $n\le 2$, we define the different one variable $n$-specializations of the dichromatic polynomials, and for each polynomial we define graded chain complex whose graded Euler characteristic is equal to that polynomial. Furthermore, we explicitly categorify the specialization of the Tutte polynomial for graphs which corresponds to the Jones polynomial of the appropriate alternating link.
The Galaxies of Nonstandard Enlargements of Infinite and Transfinite Graphs: II
Published
• View Publication
• BIB
This report is an improvement of a prior report (Report 813). It sharpens the principal theorems (Theorems 4.2 and 11.2 of Report 813) while simplifying their proofs. There are also several minor changes involving clarifications and corrections of misprints.
The Abstract of the prior report remains the same as follow: The galaxies of the nonstandard enlargements of connected, conventionally infinite graphs as well as of connected transfinite graphs are defined, analyzed, and illustrated by some examples. It is then shown that any such enlargement either has exactly one galaxy, its principal one, or it has infinitely many galaxies. In the latter case, the galaxies are partially ordered by their "closeness" to the principal galaxy. If an enlargement has a galaxy different from its principal galaxy, then it has a two-way infinite sequence of galaxies that are totally ordered according to that "closeness" property. There may be many such totally ordred sequences.
The Galaxies of Nonstandard Enlargements of Infinite and Transfinite grpahs of Higher Ranks: II
This report is an improvement of a prior report (Report 814). It sharpens the principal theorem (Theorem 5.1 of Report 814) and also simplifies its proof. There are also several minor changes involving clarifications and corrections of misprints. The prior abstract remins the same as follows:
In a previous work, the galaxies of the nonstandard enlargements of connected, conventionally infinite and also of transfinite graphs of the first rank of transfiniteness were defined, examined, and illustrated by some examples. In this work it is shown how the results of the prior work extend to transfinite graphs of higher ranks. Among those results are following: Any such enlargement either has exactly one galaxy, its principal one, ot it has infinitely many such galaxies. In the latter case, the galaxies are partially ordered by their "closeness" to the principal galaxy. Also, certain sequences of galaxies whose members are totally ordered by that "closeness" property are identified.
Navigating in the Cayley graphs of SL_N(Z) and SL_N(F_p)
Published in Geometriae Dedicata, 113(1), pages 215-229, 2005
• View Publication
• BIB
We give a non-deterministic algorithm that expresses elements of SL_N(Z), for N > 2, as words in a finite set of generators, with the length of these words at most a constant times the word metric. We show that the non-deterministic time-complexity of the subtractive version of Euclid's algorithm for finding the greatest common divisor of N > 2 integers a_1,..., a_N is at most a constant times N log n where n := max {|a_1|,..., |a_N|}. This leads to an elementary proof that for N > 2 the word metric in SL_N(Z) is biLipschitz equivalent to the logarithm of the matrix norm -- an instance of a theorem of Mozes, Lubotzky and Raghunathan. And we show constructively that there exists K>0 such that for all N > 2 and primes p, the diameter of the Cayley graph of SL_N(F_p) with respect to the generating set {e_{ij} \mid i \neq j} is at most K N^2 \log p.
Pseudo-random graphs
Published
• View Publication
• BIB
Random graphs have proven to be one of the most important and fruitful concepts in modern Combinatorics and Theoretical Computer Science. Besides being a fascinating study subject for their own sake, they serve as essential instruments in proving an enormous number of combinatorial statements, making their role quite hard to overestimate. Their tremendous success serves as a natural motivation for the following very general and deep informal questions: what are the essential properties of random graphs? How can one tell when a given graph behaves like a random graph? How to create deterministically graphs that look random-like? This leads us to a concept of pseudo-random graphs and the aim of this survey is to provide a systematic treatment of this concept.
The Complexity of Graph Pebbling
Published
• View Publication
• BIB
We explore the complexity of computing the optimal pebbling number and pebbling number of a graph. We show that deciding whether the optimal pebbling number of G is at most k is NP-complete and deciding whether the pebbling number of G is at most k is Π_2-complete. Additionally, we provide a characterization of when an unordered set of pebbling moves can be ordered to form a valid sequence of pebbling moves.
Distance Configurations of Points in a Plane with a Galois group that is not Soluble
We have conjectured that the constraint equations defined by a generic Laman graph are not soluble by radicals when the graph is 3-connected. We prove that this conjecture follows from the following simpler conjecture: the constraint equations defined by a generic Laman graph are not soluble by radicals if the graph does not contain a proper subgraph which is itself a Laman graph.
Special simplices and Gorenstein toric rings
Published in Journal of Combinatorial Theory, Series A, 113 (2006), Issue 4, 718-725
• View Publication
• BIB
Christos Athanasiadis studies an effective technique to show that Gorenstein sequences coming from compressed polytopes are unimodal. In the present paper we will use such the technique to find a rich class of Gorenstein toric rings with unimodal $h$-vectors arising from finite graphs.
A note on graphs without short even cycles
Published
• View Publication
• BIB
We show that any n-vertex graph without even cycles of length at most 2k has at most 1/2(n^{1 + 1/k}) + O(n) edges, and polarity graphs of generalized polygons show that this is asymptotically tight when k = 2,3,5.
Simple homotopy types of Hom-complexes, neighborhood complexes, Lovász complexes, and atom crosscut complexes
Published in Topology and its Appl., Vol. 153, Issue 14, (2006), pp. 2445-2454.
• View Publication
• BIB
In this paper we provide concrete combinatorial formal deformation algorithms, namely sequences of elementary collapses and expansions, which relate various previously extensively studied families of combinatorially defined polyhedral complexes.
To start with, we give a sequence of elementary collapses leading from the barycentric subdivision of the neighborhood complex to the Lovász complex of a graph. Then, for an arbitrary lattice ${\mathcal L}$ we describe a formal deformation of the barycentric subdivision of the atom crosscut complex $Γ({\mathcal L})$ to its order complex $Δ(\bar{\mathcal L})$. We proceed by proving that the complex of sets bounded from below ${\mathcal J}({\mathcal L})$ can also be collapsed to $Δ(\bar{\mathcal L})$.
Finally, as a pinnacle of our project, we apply all these results to certain graph complexes. Namely, by describing an explicit formal deformation, we prove that, for any graph $G$, the neighborhood complex ${\mathcal N}(G)$ and the polyhedral complex $\text{\tt Hom}(K_2,G)$ have the same simple homotopy type in the sense of Whitehead.
Arithmetic progressions in sets with small sumsets
Published
• View Publication
• BIB
We present an elementary proof that if $A$ is a finite set of numbers, and the sumset $A+_GA$ is small, $|A+_GA|\leq c|A|$, along a dense graph $G$, then $A$ contains $k$-term arithmetic progressions.
The multivariate Tutte polynomial (alias Potts model) for graphs and matroids
Published in Published in "Surveys in Combinatorics, 2005", edited by Bridget S. Webb (Cambridge University Press, 2005), pp. 173-226
• View Publication
• BIB
The multivariate Tutte polynomial (known to physicists as the Potts-model partition function) can be defined on an arbitrary finite graph G, or more generally on an arbitrary matroid M, and encodes much important combinatorial information about the graph (indeed, in the matroid case it encodes the full structure of the matroid). It contains as a special case the familiar two-variable Tutte polynomial -- and therefore also its one-variable specializations such as the chromatic polynomial, the flow polynomial and the reliability polynomial -- but is considerably more flexible. I begin by giving an introduction to all these problems, stressing the advantages of working with the multivariate version. I then discuss some questions concerning the complex zeros of the multivariate Tutte polynomial, along with their physical interpretations in statistical mechanics (in connection with the Yang--Lee approach to phase transitions) and electrical circuit theory. Along the way I mention numerous open problems. This survey is intended to be understandable to mathematicians with no prior knowledge of physics.
The Complexity of Pebbling and Cover Pebbling
This paper discusses the complexity of graph pebbling, dealing with both traditional pebbling and the recently introduced game of cover pebbling. Determining whether a configuration is solvable according to either the traditional definition or the cover pebbling definition is shown to be NP-complete. The problem of determining the cover pebbling number for an arbitrary demand configuration is shown to be NP-hard.
Graph Treewidth and Geometric Thickness Parameters
Published in Discrete & Computational Geometry 37(4):641-670, 2007
• View Publication
• BIB
Consider a drawing of a graph $G$ in the plane such that crossing edges are coloured differently. The minimum number of colours, taken over all drawings of $G$, is the classical graph parameter "thickness". By restricting the edges to be straight, we obtain the "geometric thickness". By further restricting the vertices to be in convex position, we obtain the "book thickness". This paper studies the relationship between these parameters and treewidth.
Our first main result states that for graphs of treewidth $k$, the maximum thickness and the maximum geometric thickness both equal $\lceil{k/2}\rceil$. This says that the lower bound for thickness can be matched by an upper bound, even in the more restrictive geometric setting. Our second main result states that for graphs of treewidth $k$, the maximum book thickness equals $k$ if $k \leq 2$ and equals $k+1$ if $k \geq 3$. This refutes a conjecture of Ganley and Heath [Discrete Appl. Math. 109(3):215-221, 2001]. Analogous results are proved for outerthickness, arboricity, and star-arboricity.
Pseudocyclic association schemes arising from the actions of PGL(2,2^m) and PΓL(2,2^m)
Published
• View Publication
• BIB
The action of $PGL(2,2^m)$ on the set of exterior lines to a nonsingular conic in $PG(2,2^m)$ affords an association scheme, which was shown to be pseudocyclic in Hollmann's thesis in 1982. It was further conjectured in Hollmann's thesis that the orbital scheme of $PΓL(2,2^m)$ on the set of exterior lines to a nonsingular conic in $PG(2,2^m)$ is also pseudocyclic if $m$ is an odd prime. We confirm this conjecture in this paper. As a by-product, we obtain a class of Latin square type strongly regular graphs on nonprime-power number of points.
Association schemes from the action of $PGL(2,q)$ fixing a nonsingular conic in PG(2,q)
Published
• View Publication
• BIB
The group $PGL(2,q)$ has an embedding into $PGL(3,q)$ such that it acts as the group fixing a nonsingular conic in $PG(2,q)$. This action affords a coherent configuration $R(q)$ on the set $L(q)$ of non-tangent lines of the conic. We show that the relations can be described by using the cross-ratio. Our results imply that the restrictions $R_{+}(q)$ and $R_{-}(q)$ to the sets $L_{+}(q)$ of secant lines and to the set $L_{-}(q)$ of exterior lines, respectively, are both association schemes; moreover, we show that the elliptic scheme $R_{-}(q)$ is pseudocyclic.
We further show that the coherent configuration $R(q^2)$ with $q$ even allow certain fusions. These provide a 4-class fusion of the hyperbolic scheme $R_{+}(q^2)$, and 3-class fusions and 2-class fusions (strongly regular graphs) of both schemes $R_{+}(q^2)$ and $R_{-}(q^2). The fusion results for the hyperbolic case are known, but our approach here as well as our results in the elliptic case are new.
Distribution of the Size of a Largest Planar Matching and Largest Planar Subgraph in Random Bipartite Graphs
Published
• View Publication
• BIB
We address the following question: When a randomly chosen regular bipartite multi--graph is drawn in the plane in the ``standard way'', what is the distribution of its maximum size planar matching (set of non--crossing disjoint edges) and maximum size planar subgraph (set of non--crossing edges which may share endpoints)? The problem is a generalization of the Longest Increasing Sequence (LIS) problem (also called Ulam's problem). We present combinatorial identities which relate the number of $r$-regular bipartite multi--graphs with maximum planar matching (maximum planar subgraph)of at most $d$ edges to a signed sum of restricted lattice walks in $\ZZ^d$, and to the number of pairs of standard Young tableaux of the same shape and with a ``descend--type'' property. Our results are obtained via generalizations of two combinatorial proofs through which Gessel's identity can be obtained (an identity that is crucial in the derivation of a bivariate generating function associated to the distribution of LISs, and key to the analytic attack on Ulam's problem).
Maximizing several cuts simultaneously
Consider two graphs G_1 and G_2 on the same vertex set V and suppose that G_i has m_i edges. Then there is a bipartition of V into two classes A and B so that for both i=1,2 the number of edges between A and B in G_i is (1+o(1))m_i/2. This answers a question of Bollobas and Scott. We also prove results about partitions into more than two vertex classes.
Tension continuous maps--their structure and applications
We consider mappings between edge sets of graphs that lift tensions to tensions. Such mappings are called tension-continuous mappings (shortly TT mappings). Existence of a TT mapping induces a (quasi)order on the class of graphs, which seems to be an essential extension of the homomorphism order (studied extensively, see [Hell-Nesetril]). In this paper we study the relationship of the homomorphism and TT orders. We stress the similarities and the differences in both deterministic and random setting. Particularly, we prove that TT order is dense and universal and we solve a problem of M. DeVos et al.