graph
34489 papers tagged with this keyword
Small cones of m-hemimetrics
Published
• View Publication
• BIB
We introduce polyhedral cones associated with $m$-hemimetrics on $n$ points, and, in particular, with $m$-hemimetrics coming from partitions of an $n$-set into $m+1$ blocks. We compute generators and facets of the cones for small values of $m,n$ and study their skeleton graphs.
Self-dual Codes over the Kleinian Four Group
Published in Mathematische Annalen 327, 227-255, 2003
• Search Publication
We introduce self-dual codes over the Kleinian four group $K = \mathbb{Z}_2 \times \mathbb{Z}_2$ for a natural quadratic form on $K^n$ and develop the theory. Topics studied are: weight enumerators, mass formulas, classification up to length 8, neighbourhood graphs, extremal codes, shadows, generalized t-designs, lexicographic codes, the Hexacode and its odd and shorter cousin, automorphism groups, marked codes. Kleinian codes form a new and natural fourth step in a series of analogies between binary codes, lattices and vertex operator algebras. This analogy will be emphasized and explained in detail.
Structural Properties of Potts Model Partition Functions and Chromatic Polynomials for Lattice Strips
Published in Physica A 296, 131-182 (2001)
• View Publication
• BIB
partial abstract: The $q$-state Potts model partition function (equivalent to the Tutte polynomial) for a lattice strip of fixed width $L_y$ and arbitrary length $L_x$ has the form $Z(G,q,v)=\sum_{j=1}^{N_{Z,G,λ}}c_{Z,G,j}(λ_{Z,G,j})^{L_x}$, where $v$ is a temperature-dependent variable. The special case of the zero-temperature antiferromagnet ($v=-1$) is the chromatic polynomial $P(G,q)$. Using coloring and transfer matrix methods, we give general formulas for $C_{X,G}=\sum_{j=1}^{N_{X,G,λ}}c_{X,G,j}$ for $X=Z,P$ on cyclic and Möbius strip graphs of the square and triangular lattice. Combining these with a general expression for the (unique) coefficient $c_{Z,G,j}$ of degree $d$ in $q$: $c^{(d)}=U_{2d}(\frac{\sqrt{q}}{2})$, where $U_n(x)$ is the Chebyshev polynomial of the second kind, we determine the number of $λ_{Z,G,j}$'s with coefficient $c^{(d)}$ in $Z(G,q,v)$ for these cyclic strips of width $L_y$ to be $n_Z(L_y,d)=(2d+1)(L_y+d+1)^{-1} {2L_y \choose L_y-d}$ for $0 \le d \le L_y$ and zero otherwise. For both cyclic and Möbius strips of these lattices, the total number of distinct eigenvalues $λ_{Z,G,j}$ is calculated to be $N_{Z,L_y,λ}={2L_y \choose L_y}$. We point out that $N_{Z,L_y,λ}=2N_{DA,tri,L_y}$ and $N_{P,L_y,λ}=2N_{DA,sq,L_y}$, where $N_{DA,Λ,n}$ denotes the number of directed lattice animals on the lattice $Λ$.
The cover time, the blanket time, and the Matthews bound
Published
• View Publication
• BIB
The cover time C of a graph G is the expected time for a random walk starting from the worst vertex to cover all vertices in G. Similarly, the blanket time B is the expected time to visit all vertices within a constant factor of number of times suggested by the stationary distribution. (Our definition will be slightly stronger than this.) Obviously, all vertices are covered when the graph is blanketed, and hence C <= B. The blanket time is introduced by Winkler and Zuckerman motivated by applications in Markov estimation and distributed computing. They conjectured B =O(C) and proved B=O(C ln n ). In this paper, we introduce another parameter M motivated by Matthews' theorem and prove
M/2 <= C <= B = O(( M ln ln n)^2).
In particular, B = O(C (ln ln n)^2). The lower bound is still valid for the cover time C(π) starting from the stationary distribution. We also show that there is a polynomial time algorithm to approximate M within a factor of 2 and so does for C within a factor of O((ln ln n)^2), improving previous bound of O(ln n) of Matthews'.
Matroid Theory and Chern-Simons
Published in J.Math.Phys.41:7997-8005,2000
• View Publication
• BIB
It is shown that matroid theory may provide a natural mathematical framework for a duality symmetries not only for quantum Yang-Mills physics, but also for M-theory. Our discussion is focused in an action consisting purely of the Chern-Simons term, but in principle the main ideas can be applied beyond such an action. In our treatment the theorem due to Thistlethwaite, which gives a relationship between the Tutte polynomial for graphs and Jones polynomial for alternating knots and links, plays a central role. Before addressing this question we briefly mention some important aspects of matroid theory and we point out a connection between the Fano matroid and D=11 supergravity. Our approach also seems to be related to loop solutions of quantum gravity based in Ashtekar formalism.
Mirror symmetry and C^\times
Published
• View Publication
• BIB
We show that counting functions of covers of $\mathbb{C}^\times$ are equal to sums of integrals associated to certain `Feynman' graphs. This is an analogue of the mirror symmetry for elliptic curves by Dijkgraaf.
Transfer Matrices and Partition-Function Zeros for Antiferromagnetic Potts Models I. General Theory and Square-Lattice Chromatic Polynomial
Published in J.Statist.Phys. 104 (2001) 609-699
• View Publication
• BIB
We study the chromatic polynomials (= zero-temperature antiferromagnetic Potts-model partition functions) P_G(q) for m \times n rectangular subsets of the square lattice, with m \le 8 (free or periodic transverse boundary conditions) and n arbitrary (free longitudinal boundary conditions), using a transfer matrix in the Fortuin-Kasteleyn representation. In particular, we extract the limiting curves of partition-function zeros when n \to\infty, which arise from the crossing in modulus of dominant eigenvalues (Beraha-Kahane-Weiss theorem). We also provide evidence that the Beraha numbers B_2,B_3,B_4,B_5 are limiting points of partition-function zeros as n \to\infty whenever the strip width m is \ge 7 (periodic transverse b.c.) or \ge 8 (free transverse b.c.). Along the way, we prove that a noninteger Beraha number (except perhaps B_{10}) cannot be a chromatic root of any graph.
A Combinatorial, Strongly Polynomial-Time Algorithm for Minimizing Submodular Functions
Published
• View Publication
• BIB
This paper presents the first combinatorial polynomial-time algorithm for minimizing submodular set functions, answering an open question posed in 1981 by Grotschel, Lovasz, and Schrijver. The algorithm employs a scaling scheme that uses a flow in the complete directed graph on the underlying set with each arc capacity equal to the scaled parameter. The resulting algorithm runs in time bounded by a polynomial in the size of the underlying set and the largest length of the function value. The paper also presents a strongly polynomial-time version that runs in time bounded by a polynomial in the size of the underlying set independent of the function value.
How to Uncross Some Modular Metrics
Let $μ$ be a metric on a set T, and let c be a nonnegative function on the unordered pairs of elements of a superset $V\supseteq T$. We consider the problem of minimizing the inner product $c\cdot m$ over all semimetrics m on V such that m coincides with $μ$ within T and each element of V is at zero distance from T (a variant of the {\em multifacility location problem}). In particular, this generalizes the well-known multiterminal multiway) cut problem. Two cases of metrics $μ$ have been known for which the problem can be solved in polynomial time: (a) $μ$ is a modular metric whose underlying graph $H(μ)$ is hereditary modular and orientable (in a certain sense); and (b) $μ$ is a median metric. In the latter case an optimal solution can be found by use of a cut uncrossing method. \Xcomment{We give a common generalization for both cases by proving that the problem is in P for any modular metric $μ$ whose all orbit graphs are hereditary modular and orientable. To this aim, we show the existence of a retraction of the Cartesian product of the orbit graphs to $H(μ)$, which enables us to elaborate an analog of the cut uncrossing method for such metrics $μ$.} In this paper we generalize the idea of cut uncrossing to show the polynomial solvability for a wider class of metrics $μ$, which includes the median metrics as a special case. The metric uncrossing method that we develop relies on the existence of retractions of certain modular graphs. On the negative side, we prove that for $μ$ fixed, the problem is NP-hard if $μ$ is non-modular or $H(μ)$ is non-orientable.
Loop-erased walks and total positivity
Published
• View Publication
• BIB
We consider matrices whose elements enumerate weights of walks in planar directed weighted graphs (not necessarily acyclic). These matrices are totally nonnegative; more precisely, all their minors are formal power series in edge weights with nonnegative coefficients. A combinatorial explanation of this phenomenon involves loop-erased walks. Applications include total positivity of hitting matrices of Brownian motion in planar domains.
A few weight systems arising from intersection graphs
Published in Michigan Math. J., vol. 51, no. 3, 2003, pp. 509-536
• View Publication
• BIB
We show that the adjacency matrices of the intersection graphs of chord diagrams satisfy the 2-term relations of Bar-Natan and Garoufalides [bg], and hence give rise to weight systems. Among these weight systems are those associated with the Conway and HOMFLYPT polynomials. We extend these ideas to looking at a space of {\it marked} chord diagrams modulo an extended set of 2-term relations, define a set of generators for this space, and again derive weight systems from the adjacency matrices of the (marked) intersection graphs. Among these weight systems are those associated with the Kauffman polynomial.
Combinatorial Identities from the Spectral Theory of Quantum Graphs
Published
• View Publication
• BIB
We present a few combinatorial identities which were encountered in our work on the spectral theory of quantum graphs. They establish a new connection between the theory of random matrix ensembles and combinatorics.
On $α^{++}$-Stable Graphs
The stability number of a graph G, denoted by alpha(G), is the cardinality of a stable set of maximum size in G. A graph is well-covered if every maximal stable set has the same size. G is a Koenig-Egervary graph if its order equals alpha(G) + mu(G), where mu(G) is the cardinality of a maximum matching in G. In this paper we characterize $α^{++}$-stable graphs, namely, the graphs whose stability numbers are invariant to adding any two edges from their complements. We show that a König-Egerváry graph is $α^{++}$-stable if and only if it has a perfect matching consisting of pendant edges and no four vertices of the graph span a cycle. As a corollary it gives necessary and sufficient conditions for $α^{++}$-stability of bipartite graphs and trees. For instance, we prove that a bipartite graph is $α^{++}$-stable if and only if it is well-covered and C4-free.
Hard Tiling Problems with Simple Tiles
Published
• View Publication
• BIB
It is well-known that the question of whether a given finite region can be tiled with a given set of tiles is NP-complete. We show that the same is true for the right tromino and square tetromino on the square lattice, or for the right tromino alone. In the process, we show that Monotone 1-in-3 Satisfiability is NP-complete for planar cubic graphs. In higher dimensions, we show NP-completeness for the domino and straight tromino for general regions on the cubic lattice, and for simply-connected regions on the four-dimensional hypercubic lattice.
Higher homotopy groups of complements of complex hyperplane arrangements
Published in Advances in Math. 165 (2002), 71-100
• View Publication
• BIB
We generalize results of Hattori on the topology of complements of hyperplane arrangements, from the class of generic arrangements, to the much broader class of hypersolvable arrangements. We show that the higher homotopy groups of the complement vanish in a certain combinatorially determined range, and we give an explicit Zπ_1-module presentation of π_p, the first non-vanishing higher homotopy group. We also give a combinatorial formula for the π_1-coinvariants of π_p.
For affine line arrangements whose cones are hypersolvable, we provide a minimal resolution of π_2, and study some of the properties of this module. For graphic arrangements associated to graphs with no 3-cycles, we obtain information on π_2, directly from the graph. The π_1-coinvariants of π_2 may distinguish the homotopy 2-types of arrangement complements with the same π_1, and the same Betti numbers in low degrees.
On $α$-Critical Edges in König-Egerváry Graphs
The stability number of a graph G, denoted by alpha(G), is the cardinality of a stable set of maximum size in G. If alpha(G-e) > alpha(G), then e is an alpha-critical edge, and if mu(G-e) < mu(G), then e is a mu-critical edge, where mu(G) is the cardinality of a maximum matching in G. G is a Koenig-Egervary graph if alpha(G) + mu(G) equals its order. Beineke, Harary and Plummer have shown that the set of alpha-critical edges of a bipartite graph is a matching. In this paper we generalize this statement to Koenig-Egervary graphs. We also prove that in a Koenig-Egervary graph alpha-critical edges are also mu-critical, and that they coincide in bipartite graphs. We obtain that for any tree its stability number equals the sum of the cardinality of the set of its alpha-critical vertices and the size of the set of its alpha-critical edges. Eventually, we characterize the Koenig-Egervary graphs enjoying this property.
A characterisation of Pfaffian near bipartite graphs
Published
• View Publication
• BIB
In 1967 Kasteleyn introduced a powerful method for enumerating the 1-factors of planar graphs. In fact his method can be extended to graphs which permit an orientation under which every alternating circuit is clockwise odd. Graphs with this property are called {\it Pfaffian}. Little characterised Pfaffian bipartite graphs in terms of forbidden subgraphs in 1975. We extend his characterisation to near bipartite graphs.
Graphical Compositions 1: Basic Enumeration
Graph compositions generalize both integer compositions and partitions of a finite set. We develop formulas, generating functions and recurrence relations for composition counting functions for several families of graphs.
The Imbedding Sum of a Graph
The automorphisms of a graph act naturally on its set of labeled imbeddings to produce its unlabeled imbeddings. The imbedding sum of a graph is a polynomial that contains useful information about a graph's labeled and unlabeled imbeddings. In particular, the polynomial enumerates the number of different ways the unlabeled imbeddings can be vertex colored and enumerates the labeled and unlabeled imbeddings by their symmetries.
Application of Tree-like Structure of Graph to Matrix Analysis
Formulas for matrix determinants, algebraic adjunctions, characteristic polynomial coefficients, components of eigenvectors are obtained in the form of signless sums of matrix elements products taking by special graphs. Signless formulas are very important for singular and stochastic problems. They are also useful for spectral analysis of large very sparse matrices.