graph
34489 papers tagged with this keyword
Symmetric function generalizations of graph polynomials
In Chapter 2 we study the path-cycle symmetric function of a digraph, a symmetric function generalization of Chung and Graham's cover polynomial. Most of this material appears in either Advances in Math. 118 (1996), 71-98 or J. Algebraic Combin. 10 (1999), 227-240. Chapter 3 contains miscellaneous results about Stanley's symmetric function generalization X_G of the chromatic polynomial, e.g., we establish a connection with some of Tutte's work on the chromatic polynomial and use this to prove that X_G is reconstructible. Most of Chapter 3 does not appear elsewhere.
Generating a random sink-free orientation in quadratic time
Published in Electronic Journal of Combinatorics 9 (2002), #R10
• View Publication
• BIB
A sink-free orientation of a finite undirected graph is a choice of orientation for each edge such that every vertex has out-degree at least 1. Bubley and Dyer (1997) use Markov Chain Monte Carlo to sample approximately from the uniform distribution on sink-free orientations in time O(m^3 log (1/epsilon)), where m is the number of edges and epsilon the degree of approximation. Huber (1998) uses coupling from the past to obtain an exact sample in time O(m^4). We present a simple randomized algorithm inspired by Wilson's cycle popping method which obtains an exact sample in mean time at most O(nm), where n is the number of vertices.
Generalized Kneser coloring theorems with combinatorial proofs
Published
• View Publication
• BIB
The Kneser conjecture (1955) was proved by Lovász (1978) using the Borsuk-Ulam theorem; all subsequent proofs, extensions and generalizations also relied on Algebraic Topology results, namely the Borsuk-Ulam theorem and its extensions. Only in 2000, Matoušek provided the first combinatorial proof of the Kneser conjecture.
Here we provide a hypergraph coloring theorem, with a combinatorial proof, which has as special cases the Kneser conjecture as well as its extensions and generalization by (hyper)graph coloring theorems of Dol'nikov, Alon-Frankl-Lovász, Sarkaria, and Kriz. We also give a combinatorial proof of Schrijver's theorem.
Local Characterizations of Geometries
Geometric approach to classical and exceptional groups of Lie type has been quite successful and has led to the deveopment of the concept of buildings and polar spaces. The latter have been characterized by simple systems of axioms with a combinatorial-geometric flavour. Similar to buildings geometries can be associated with finite sporadic simple groups (FSSGs). However, most of the known characterizations of such geometries for FSSGs require additional assumptions of a group-theoretic nature. One aim of this thesis is to present characterizations of geometries for FSSGs J_2, Suz, McL, Co_3, Fi(22), Fi(23), Fi(24) and He, which are in the same spirit as the characterizations of buildings and polar spaces mentioned above, in particular without any assumption on the automorphism groups of the geometries. A by-product of these results for J_2, Suz and He is a proof that certain presentations for those groups are faithful. Most of this work may be viewed as a contribution to the theory of graphs with prescribed neighbourhood. The result on graphs of (+)-points of GF(3)-orthogonal spaces, which is also used for characterization of geometries for Fi(22), Fi(23) and Fi(24), may be considered as a generalization of a well-known theorem on locally co-triangular graphs. Hyperovals of polar spaces are natural generalizations of hyperovals of projective planes of even order and play an important role in investigations of extensions of polar spaces. As a by-product new extended generalized quadrangles were found as hyperovals of the polar spaces Q_5^+(4) and H_5(4).
Tensor product varieties and crystals. ADE case
Let g be a simple simply laced Lie algebra. In this paper two families of varieties associated to the Dynkin graph of g are described: ``tensor product'' and ``multiplicity'' varieties. These varieties are closely related to Nakajima's quiver varieties and should play an important role in the geometric constructions of tensor products and intertwining operators. In particular it is shown that the set of irreducible components of a tensor product variety can be equipped with a structure of g-crystal isomorphic to the crystal of the canonical basis of the tensor product of several simple finite dimensional representations of g, and that the number of irreducible components of a multiplicity variety is equal to the multiplicity of a certain representation in the tensor product of several others. Moreover the decomposition of a tensor product into a direct sum is described geometrically (on the level of crystals).
The size of bipartite graphs with girth eight
Reiman produced a quadratic inequality for the size of bipartite graphs of girth six. We get its counterpart for girth eight, a cubic inequality. It is optimal in as far as it admits the algebraic structure of generalized quadrangles as case of equality. This enables us to obtain the optimal estimate e ~ v^(4/3) for balanced bipartite graphs. We also get an optimal estimate for very unbalanced graphs.
Lacunary matrices
Published in Indiana Univ. Math. J. 50 (2001), no. 4, 1675-1689
• View Publication
• BIB
We study unconditional subsequences of the canonical basis e_rc of elementary matrices in the Schatten class S^p. They form the matrix counterpart to Rudin's Lambda(p) sets of integers in Fourier analysis. In the case of p an even integer, we find a sufficient condition in terms of trails on a bipartite graph. We also establish an optimal density condition and present a random construction of bipartite graphs. As a byproduct, we get a new proof for a theorem of Erdos on circuits in graphs.
Upper Bound for the Coefficients of Chromatic polynomials
This paper describes an improvement in the upper bound for the magnitude of a coefficient of a term in the chromatic polynomial of a general graph. If $a_r$ is the coefficient of the $q^r$ term in the chromatic polynomial $P(G,q)$, where $q$ is the number of colors, then we find $a_r \le {e \choose v-r} - {e-g+2 \choose v-r-g+2} + {e-k_g-g+2 \choose v-r-g+2} - \sum _{n=1}^{k_g-\ell_g}\sum_{m=1}^{\ell_g-1} {e-g+1-n-m \choose v-r-g} - δ_{g,3}\sum_{n=1}^{k_g+\ell_{g+1}^*-\ell_g} {e-\ell_g-g+1-n \choose v-r-g}$, where $k_g$ is the number of circuits of length $g$ and $\ell_g$ and $\ell_{g+1}^*$ are certain numbers defined in the text.
Cycles and 1-unconditional matrices
Published in Proc. London Math. Soc. (3) 93 (2006), no. 3, 761-790
• View Publication
• BIB
We characterize the 1-unconditional subsequences of the canonical basis (e_rc) of elementary matrices in the Schatten-von-Neumann class S^p . The set I of couples (r,c) must be the set of edges of a bipartite graph without cycles of even length 4<=l<=p if p is an even integer, and without cycles at all if p is a positive real number that is not an even integer. In the latter case, I is even a Varopoulos set of V-interpolation of constant 1. We also study the metric unconditional approximation property for the space S^p_I spanned by (e_rc)_{(r,c)\in I} in S^p .
Core percolation in random graphs: a critical phenomena analysis
Published in Eur. Phys. J. B 24, 339-352 (2001)
• View Publication
• BIB
We study both numerically and analytically what happens to a random graph of average connectivity "alpha" when its leaves and their neighbors are removed iteratively up to the point when no leaf remains. The remnant is made of isolated vertices plus an induced subgraph we call the "core". In the thermodynamic limit of an infinite random graph, we compute analytically the dynamics of leaf removal, the number of isolated vertices and the number of vertices and edges in the core. We show that a second order phase transition occurs at "alpha = e = 2.718...": below the transition, the core is small but above the transition, it occupies a finite fraction of the initial graph. The finite size scaling properties are then studied numerically in detail in the critical region, and we propose a consistent set of critical exponents, which does not coincide with the set of standard percolation exponents for this model. We clarify several aspects in combinatorial optimization and spectral properties of the adjacency matrix of random graphs.
Key words: random graphs, leaf removal, core percolation, critical exponents, combinatorial optimization, finite size scaling, Monte-Carlo.
Remarks on a Paper by Y.Caro and R.Yuster on Turan Problem
Caro and Yuster (Electronic J.Comb 7 (2000)) studied a generalization of the Turan problem, where a certain function (instead of the size) of an F-free graph of order n has to be maximized. We prove that for a wide class of functions the asymptotics of the maximum is given by complete partite graphs.
Asymptotic Size Ramsey Results for Bipartite Graphs
Published
• View Publication
• BIB
We investigate size Ramsey numbers involving bipartite graphs. It is proved that, if each forbidden graph is fixed or grows with n (in a certain uniform manner), then the extremal function has a linear asymptotics.
The corresponding slope can be obtained as the minimum of a certain mixed integer program. Applying the Farkas Lemma, we solve the MIP for complete bipartite graphs, in particular answering a question of Erdos, Faudree, Rousseau and Schelp (1978) who asked for the asymptotics of the size Ramsey number of (K_{s,n},K_{s,n}) for fixed s and large n.
Properties of Commutative Association Schemes derived by FGLM Techniques
Published
• View Publication
• BIB
Association schemes are combinatorial objects that allow us solve problems in several branches of mathematics. They have been used in the study of permutation groups and graphs and also in the design of experiments, coding theory, partition designs etc. In this paper we show some techniques for computing properties of association schemes. The main framework arises from the fact that we can characterize completely the Bose-Mesner algebra in terms of a zero-dimensional ideal. A Gröbner basis of this ideal can be easily derived without the use of Buchberger algorithm in an efficient way. From this statement, some nice relations arise between the treatment of zero-dimensional ideals by reordering techniques (FGLM techniques) and some properties of the schemes such as P-polynomiality, and minimal generators of the algebra.
A combinatorial study of multiplexes and ordinary polytopes
Published
• View Publication
• BIB
Bisztriczky defines a multiplex as a generalization of a simplex, and an ordinary polytope as a generalization of a cyclic polytope. This paper presents results concerning the combinatorics of multiplexes and ordinary polytopes. The flag vector of the multiplex is computed, and shown to equal the flag vector of a many-folded pyramid over a polygon. Multiplexes, but not other ordinary polytopes, are shown to be elementary. It is shown that all complete subgraphs of the graph of a multiplex determine faces of the multiplex. The toric h-vectors of the ordinary 5-dimensional polytopes are given. Graphs of ordinary polytopes are studied. Their chromatic numbers and diameters are computed, and they are shown to be Hamiltonian.
Singular polynomials of generalized Kasteleyn matrices
Published in Journal of Algebraic Combinatorics, 16(2): 195-207; Sep 2002
• View Publication
• BIB
Kasteleyn counted the number of domino tilings of a rectangle by considering a mutation of the adjacency matrix: a Kasteleyn matrix K. In this paper we present a generalization of Kasteleyn matrices and a combinatorial interpretation for the coefficients of the characteristic polynomial of KK^\ast (which we call the singular polynomial), where K is a generalized Kasteleyn matrix for a planar bipartite graph. We also present a q-version of these ideas and a few results concerning tilings of special regions such as rectangles.
Minimum multiplicities of subgraphs and Hamiltonian systems
Published
• View Publication
• BIB
Let G be a finite simple graph with automorphism group A(G). Then a spanning subgraph U of G is a fixing subgraph of G if G contains exactly $| A(G)|/ | A(G) \cap A(U)| $ subgraphs isomorphic to U: the graph G must always contain at least this number. If in addition $A(U) \subseteq A(G)$ then U is a strong fixing subgraph. Fixing subgraphs are important in many areas of graph theory. We consider them in the context of Hamiltonian graphs
On the orientation of graphs
In this short notice we give a universal definition of $\Z_2$-module $Or(Γ)$ of orientations of a graph $Γ$ and construct a method, by means of which one can easily verify whenever two such special definitions coincide.
On the k-Systems of a Simple Polytope
Published
• View Publication
• BIB
A k-system of the graph G(P) of a simple polytope P is a set of induced subgraphs of G(P) that shares certain properties with the set of subgraphs induced by the k-faces of P.
This new concept leads to polynomial-size certificates in terms of G(P) for both the set of vertex sets of facets as well as for abstract objective functions (AOF) in the sense of Kalai.
Moreover, it is proved that an acyclic orientation yields an AOF if and only if it induces a unique sink on every 2-face.
Matroids, motives and conjecture of Kontsevich
Published
• View Publication
• BIB
Let G be a finite connected graph. The Kirchhoff polynomial of G is a certain homogeneous polynomial whose degree is equal to the first betti number of G. These polynomials appear in the study of electrical circuits and in the evaluation of Feynman amplitudes. Motivated by work of D. Kreimer and D. J. Broadhurst associating multiple zeta values to certain Feynman integrals, Kontsevich conjectured that the number of zeros of a Kirchhoff polynomial over the field with q elements is always a polynomial function of q. We show that this conjecture is false by relating the schemes defined by Kirchhoff polynomials to the representation spaces of matroids. Moreover, using Mnev's universality theorem, we show that these schemes essentially generate all arithmetic of schemes of finite type over the integers.
Chromatic roots are dense in the whole complex plane
Published in Combin. Probab. Comput. 13, 221-261 (2004)
• View Publication
• BIB
I show that the zeros of the chromatic polynomials P_G(q) for the generalized theta graphs Θ^{(s,p)} are, taken together, dense in the whole complex plane with the possible exception of the disc |q-1| < 1. The same holds for their dichromatic polynomials (alias Tutte polynomials, alias Potts-model partition functions) Z_G(q,v) outside the disc |q+v| < |v|. An immediate corollary is that the chromatic zeros of not-necessarily-planar graphs are dense in the whole complex plane. The main technical tool in the proof of these results is the Beraha-Kahane-Weiss theorem on the limit sets of zeros for certain sequences of analytic functions, for which I give a new and simpler proof.