Showing 20 papers (Total: 81324 papers, 47147 authors in database)
Hodge's harmonic $p$-sets and Pontrjagin classes
This paper shows how Hodge's theory of harmonic $p$-sets (a discrete version of his theory of harmonic forms) allows a new approach to be taken to the problem of providing a combinatorial definition of the Pontrjagin classes of a compact manifold. This approach is then related to the author's definition of flag vectors for hypergraphs, and other objects constructed out of vertices and cells.
Line digraphs and coreflexive vertex sets
Published in Discrete Mathematics 188(1998), 269-277
• View Publication
• BIB
The concept of coreflexive set is introduced to study the structure of digraphs. New characterizations of line digraphs and nth-order line digraphs are given. Coreflexive sets also lead to another natural way of forming an intersection digraph from a given digraph.
Double Bruhat cells and total positivity
Published
• View Publication
• BIB
We study intersections of opposite Bruhat cells in a semisimple complex Lie group, and associated totally nonnegative varieties.
Zeros of reliability polynomials and f-vectors of matroids
Published
• View Publication
• BIB
For a finite multigraph G, the reliability function of G is the probability R_G(q) that if each edge of G is deleted independantly with probability q then the remaining edges of G induce a connected spanning subgraph of G; this is a polynomial function of q. In 1992, Brown and Colbourn conjectured that for any connected multigraph G, if the complex number q is such that R_G(q)=0 then |q|<=1. We verify that this conjectured property of R_G(q) holds if G is a series-parallel network. The proof is by an application of the Hermite-Biehler Theorem and development of a theory of higher-order interlacing for polynomials with only real nonpositive zeros. We conclude by establishing some new inequalities which are satisfied by the f-vector of any matroid without coloops, and by discussing some stronger inequalities which would follow (in the cographic case) from the Brown-Colbourn Conjecture, and are hence true for cographic matroids of series-parallel networks.
The algebra of flows in graphs
Published
• View Publication
• BIB
We define a contravariant functor K from the category of finite graphs and graph morphisms to the category of finitely generated graded abelian groups and homomorphisms. For a graph X, an abelian group B, and a nonnegative integer j, an element of Hom(K^j(X),B) is a coherent family of B-valued flows on the set of all graphs obtained by contracting some (j-1)-set of edges of X; in particular, Hom(K^1(X),R) is the familiar (real) ``cycle-space'' of X. We show that K(X) is torsion-free and that its Poincare polynomial is the specialization t^{n-k}T_X(1/t,1+t) of the Tutte polynomial of X (here X has n vertices and k components). Functoriality of K induces a functorial coalgebra structure on K(X); dualizing, for any ring B we obtain a functorial B-algebra structure on Hom(K(X),B). When B is commutative we present this algebra as a quotient of a divided power algebra, leading to some interesting inequalities on the coefficients of the above Poincare polynomial. We also provide a formula for the theta function of the lattice of integer-valued flows in X, and conclude with ten open problems.
Bandwidth and density for block graphs
Published in Discrete Mathematics 189(1998), 163-176
• View Publication
• BIB
The bandwidth of a graph G is the minimum of the maximum difference between adjacent labels when the vertices have distinct integer labels. We provide a polynomial algorithm to produce an optimal bandwidth labeling for graphs in a special class of block graphs (graphs in which every block is a clique), namely those where deleting the vertices of degree one produces a path of cliques. The result is best possible in various ways. Furthermore, for two classes of graphs that are ``almost'' caterpillars, the bandwidth problem is NP-complete.
The bricklayer problem and the Strong Cycle Lemma
Published in Amer. Math. Monthly, 105 (1998), 131-143
• View Publication
• BIB
We introduce a combinatorial enumeration problem that is solved using generalized Catalan numbers. We also study generalizations of the Cycle Lemma beyond the computation of the generalized Catalan numbers.
A Generalization of an Alternating Sum Formula for Finite Coxeter Groups
For W a finite Coxeter group, a formula is found for the size of W equivalence classes of subsets of a base. The proof is a case-by-case analysis using results and tables of Carter and Orlik/Solomon. As a corollary we obtain an alternating sum identity which generalizes a well-known identity from the theory of Coxeter groups.
Generalized Barrett-Crane Vertices and Invariants of Embedded Graphs
Published
• View Publication
• BIB
We describe q-analogues of the 4-vertices in the Spin(4)-recoupling theory introduced by Barrett and Crane in gr-qc/9709028 using Kauffman-Lins SU(2)-recoupling theory in each factor and generalize them to obtain operators with the symmetry properties of unframed n-vertices. The elementary properties of the resulting invariants of embedded unframed graphs are examined.
An overview of domino and lozenge tilings
Published in Resenhas IME-USP, 2(2), 239--252, (1995)
• Search Publication
We consider tilings of quadriculated regions by dominoes and of triangulated regions by lozenges. We present an overview of results concerning tileability, enumeration and the structure of the space of tilings.
On the Classification of Toric Fano 4-folds
Published
• View Publication
• BIB
In this paper we explain the complete biregular classification of all 4-dimensional smooth toric Fano varieties. The main result states that there exist exactly 123 different types of toric Fano 4-folds up to isomorphism.
On a strange observation in the theory of the dimer problem
Published
• View Publication
• BIB
This is a contribution to the number theory of the dimer problem. The number of dimer coverings (i.e., perfect matchings) of a square lattice graph is discussed modulo powers of 2.
Stable matching in a common generalization of the marriage and assignment models
Published
• View Publication
• BIB
In the theory of two-sided matching markets there are two well-known models: the marriage model (where no money is involved) and the assignment model (where payments are involved). Roth and Sotomayor (1990) asked for an explanation for the similarities in behavior between those two models. We address this question by introducing a common generalization that preserves the two important features: the existence of a stable outcome and the lattice property of the set of stable outcomes.
Descent algebras, hyperplane arrangements, and shuffling cards
Published
• View Publication
• BIB
Two notions of riffle shuffling on finite Coxeter groups are given: one using Solomon's descent algebra and another using random walk on chambers of hyperplane arrangements. These coincide for types $A$,$B$,$C$, $H_3$, and rank two groups. Both notions have the same, simple eigenvalues. The hyperplane definition is especially natural and satisfies a positivity property when $W$ is crystallographic and the relevant parameter is a good prime. The hyperplane viewpoint suggests interesting connections with Lie theory and leads to a notion of riffle shuffling for arbitrary real hyperplane arrangements and oriented matroids. Connections with Cellini's descent algebra are given.
Combinatorics of Topological Posets:\ Homotopy complementation formulas
We show that the well known {\em homotopy complementation formula} of Björner and Walker admits several closely related generalizations on different classes of topological posets (lattices). The utility of this technique is demonstrated on some classes of topological posets including the Grassmannian and configuration posets, $\widetilde{\mathbf G}_n(R)$ and $\exp_n(X)$ which were introduced and studied by V.~Vassiliev. Among other applications we present a reasonably complete description, in terms of more standard spaces, of homology types of configuration posets $\exp_n(S^m)$ which leads to a negative answer to a question of Vassilev raised at the workshop ``Geometric Combinatorics'' (MSRI, February 1997).
The shape of a typical boxed plane partition
Published in New York Journal of Mathematics 4 (1998), 137-165
• Search Publication
Using a calculus of variations approach, we determine the shape of a typical plane partition in a large box (i.e., a plane partition chosen at random according to the uniform distribution on all plane partitions whose solid Young diagrams fit inside the box). Equivalently, we describe the distribution of the three different orientations of lozenges in a random lozenge tiling of a large hexagon. We prove a generalization of the classical formula of MacMahon for the number of plane partitions in a box; for each of the possible ways in which the tilings of a region can behave when restricted to certain lines, our formula tells the number of tilings that behave in that way. When we take a suitable limit, this formula gives us a functional which we must maximize to determine the asymptotic behavior of a plane partition in a box. Once the variational problem has been set up, we analyze it using a modification of the methods employed by Logan and Shepp and by Vershik and Kerov in their studies of random Young tableaux.
Twenty Open Problems in Enumeration of Matchings
This document is an exposition of an assortment of open problems arising from the exact enumeration of (perfect) matchings of finite graphs. Roughly half have been solved at the time of this writing; see the document "Twenty Open Problems in Enumeration of Matchings: Progress Report" (also available from this server as math.CO/9801061). NOTE: This article has now been superseded by math.CO/9904150.
Twenty Open Problems in Enumeration of Matchings: Progress Report
This document is a brief summary of progress that has been made on the problems posed in the document "Twenty Open Problems in Enumeration of Matchings" (also available from this server as math.CO/9801060). NOTE: This article has now been superseded by math.CO/9904150.
Generating Random Elements of Finite Distributive Lattices
Published in Electronic Journal of Mathematics 4(2) (1997) R15
• View Publication
• BIB
This survey article describes a method for choosing uniformly at random from any finite set whose objects can be viewed as constituting a distributive lattice. The method is based on ideas of the author and David Wilson for using ``coupling from the past'' to remove initialization bias from Monte Carlo randomization. The article describes several applications to specific kinds of combinatorial objects such as tilings, constrained lattice paths, and alternating-sign matrices.
Domino tilings with barriers
Published in J. Combin. Theory Ser. A 87 no.2 347--356 (1999)
• View Publication
• BIB
In this paper, we continue the study of domino-tilings of Aztec diamonds. In particular, we look at certain ways of placing ``barriers'' in the Aztec diamond, with the constraint that no domino may cross a barrier. Remarkably, the number of constrained tilings is independent of the placement of the barriers. We do not know of a combinatorial explanation of this fact; our proof uses the Jacobi-Trudi identity.