Showing 20 papers (Total: 82851 papers, 47869 authors in database)
Characterizing Matchings as the Intersection of Matroids
Published
• View Publication
• BIB
This paper deals with the problem of representing the matching independence system in a graph as the intersection of finitely many matroids. After characterizing the graphs for which the matching independence system is the intersection of two matroids, we study the function mu(G), which is the minimum number of matroids that need to be intersected in order to obtain the set of matchings on a graph G, and examine the maximal value, mu(n), for graphs with n vertices. We describe an integer programming formulation for deciding whether mu(G)<= k. Using combinatorial arguments, we prove that mu(n)is in Omega(loglog n). On the other hand, we establish that mu(n) is in O(log n / loglog n). Finally, we prove that mu(n)=4 for n=5,...,12, and mu(n)=5 for n=13,14,15.
Fixed points and excedances in restricted permutations
Published
• View Publication
• BIB
In this paper we prove that among the permutations of length n with i fixed points and j excedances, the number of 321-avoiding ones equals the number of 132-avoiding ones, for all given i,j<=n. We use a new technique involving diagonals of non-rational generating functions. This theorem generalizes a recent result of Robertson, Saracino and Zeilberger, for which we also give another, more direct proof.
Generalized Fibonacci numbers and dimer statistics
Published in Mod. Phys. Lett. B 16, 1177 (2002)
• View Publication
• BIB
We establish new product identities involving the $q$-analogue of the Fibonacci numbers. We show that the identities lead to alternate expressions of generating functions for close-packed dimers on non-orientable surfaces.
Reversible coagulation-fragmentation processes and random combinatorial structures:asymptotics for the number of groups
Published
• View Publication
• BIB
We establish the central limit theorem for the number of groups at the equilibrium of a coagulation-fragmentation process given by a parameter function with polynomial rate of growth. The result obtained is compared with the one for random combinatorial structures obeying the logarithmic condition.
Counting Real Connected Components of Trinomial Curve Intersections and m-nomial Hypersurfaces
Published
• View Publication
• BIB
We prove that any pair of bivariate trinomials has at most 5 isolated roots in the positive quadrant. The best previous upper bounds independent of the polynomial degrees were much larger, e.g., 248832 (for just the non-degenerate roots) via a famous general result of Khovanski. Our bound is sharp, allows real exponents, allows degeneracies, and extends to certain systems of n-variate fewnomials, giving improvements over earlier bounds by a factor exponential in the number of monomials. We also derive analogous sharpened bounds on the number of connected components of the real zero set of a single n-variate m-nomial.
Fermionic expressions for minimal model Virasoro characters
Published in Mem.Am.Math.Soc.175N827:1-160,2005
• View Publication
• BIB
Fermionic expressions for all minimal model Virasoro characters $χ^{p, p'}_{r, s}$ are stated and proved. Each such expression is a sum of terms of fundamental fermionic form type. In most cases, all these terms are written down using certain trees which are constructed for $s$ and $r$ from the Takahashi lengths and truncated Takahashi lengths associated with the continued fraction of $p'/p$. In the remaining cases, in addition to such terms, the fermionic expression for $χ^{p, p'}_{r, s}$ contains a different character $χ^{\hat p, \hat p'}_{\hat r,\hat s}$, and is thus recursive in nature.
Bosonic-fermionic $q$-series identities for all characters $χ^{p, p'}_{r, s}$ result from equating these fermionic expressions with known bosonic expressions. In the cases for which $p=2r$, $p=3r$, $p'=2s$ or $p'=3s$, Rogers-Ramanujan type identities result from equating these fermionic expressions with known product expressions for $χ^{p, p'}_{r, s}$.
The fermionic expressions are proved by first obtaining fermionic expressions for the generating functions $χ^{p, p'}_{a, b, c}(L)$ of length $L$ Forrester-Baxter paths, using various combinatorial transforms. In the $L\to\infty$ limit, the fermionic expressions for $χ^{p, p'}_{r, s}$ emerge after mapping between the trees that are constructed for $b$ and $r$ from the Takahashi and truncated Takahashi lengths respectively.
The Boson Normal Ordering Problem and Generalized Bell Numbers
Published in Annals of Combinatorics 7: 127-139, (2003)
• View Publication
• BIB
For any function F(x) having a Taylor expansion we solve the boson normal ordering problem for F[(a*)^r a^s], with r,s positive integers,[a,a*]=1, i.e. we provide exact and explicit expressions for its normal form which has all a's to the right. The solution involves integer sequences of numbers which, for r,s >=1, are generalizations of the conventional Bell and Stirling numbers whose values they assume for r=s=1. A complete theory of such generalized combinatorial numbers is given including closed-form expressions (extended Dobinski - type formulas), recursion relations and generating functions. These last are special expectation values in boson coherent states.
The fine structure of 321 avoiding permutations
Bivariate generating functions for various subsets of the class of permutations containing no descending sequence of length three or more are determined. The notion of absolute indecomposability of a permutation is introduced, and used in enumerating permutations which have a block structure avoiding 321 and whose blocks also have such structure (recursively). Generalizations of these results are discussed.
Asymptotic Enumeration of Spanning Trees
Published in Combin. Probab. Comput. 14 (2005), 491-522.
• View Publication
• BIB
We give new general formulas for the asymptotics of the number of spanning trees of a large graph. A special case answers a question of McKay (1983) for regular graphs. The general answer involves a quantity for infinite graphs that we call "tree entropy", which we show is a logarithm of a normalized determinant of the graph Laplacian for infinite graphs. Tree entropy is also expressed using random walks. We relate tree entropy to the metric entropy of the uniform spanning forest process on quasi-transitive amenable graphs, extending a result of Burton and Pemantle (1993).
Searching for a Connection Between Matroid Theory and String Theory
Published in J.Math.Phys. 45 (2004) 285-301
• View Publication
• BIB
We make a number of observations about matter-ghost string phase, which may eventually lead to a formal connection between matroid theory and string theory. In particular, in order to take advantage of the already established connection between matroid theory and Chern-Simons theory, we propose a generalization of string theory in terms of some kind of Kahler metric. We show that this generalization is closely related to the Kahler-Chern-Simons action due to Nair and Schiff. In addition, we discuss matroid/string connection via matroid bundles and a Schild type action, and we add new information about the relationship between matroid theory, D=11 supergravity and Chern-Simons formalism.
Mitosis recursion for coefficients of Schubert polynomials
Published
• View Publication
• BIB
Mitosis is a rule introduced by [Knutson-Miller, 2002] for manipulating subsets of the n by n grid. It provides an algorithm that lists the reduced pipe dreams (also known as rc-graphs) [Fomin-Kirillov, Bergeron-Billey] for a permutation w in S_n by downward induction on weak Bruhat order, thereby generating the coefficients of Schubert polynomials [Lascoux-Schutzenberger] inductively. This note provides a short and purely combinatorial proof of these properties of mitosis.
Characterization of SDP Designs That Yield Certain Spin Models
Published
• View Publication
• BIB
We characterize the SDP designs that give rise to four-weight spin models with two values. We prove that the only such designs are the symplectic SDP designs. The proof involves analysis of cardinalities of intersections of four blocks.
An Upper Bound for the Number of Planar Lattice Triangulations
Published
• View Publication
• BIB
We prove an exponential upper bound for the number $f(m,n)$ of all maximal triangulations of the $m\times n$ grid: \[ f(m,n) < 2^{3mn}. \] In particular, this improves a result of S. Yu. Orevkov (1999).
Symmetric Pascal matrices modulo p
Published
• View Publication
• BIB
We study characteristic polynomials of symmetric matrices with entries ${i+j\choose i}$ the binomial coefficients, over finite fields.
Feynman Diagrams in Algebraic Combinatorics
We show, in great detail, how the perturbative tools of quantum field theory allow one to rigorously obtain: a ``categorified'' Faa di Bruno type formula for multiple composition, an explicit formula for reversion and a proof of Lagrange-Good inversion, all in the setting of multivariable power series. We took great pains to offer a self-contained presentation that, we hope, will provide any mathematician who wishes, an easy access to the wonderland of quantum field theory.
Realization of the Stasheff polytope
Published in Archiv Math. 83 (2004), 267--278.
• View Publication
• BIB
We propose a simple formula for the coordinates of the vertices of the Stasheff polytope (associahedron) and we compare it to the permutohedron.
Maps between higher Bruhat orders and higher Stasheff-Tamari posets
We make explict a description in terms of convex geometry of the higher Bruhat orders B(n,d) sketched by Kapranov and Voevodsky. We give an analogous description of the higher Stasheff-Tamari poset S_1(n,d). We show that the map f sketched by Kapranov and Voevodsky from B(n,d) to S([0,n+1],d+1) coincides with the map constructed by Rambau, and is a surjection for d<=2. We construct a map analogous to f from S_1(n,d) to B(n-1,d), and show that it is always a poset embedding. We also give an explicit criterion to determine if an element of B(n-1,d) is in the image of this map.
How is a Chordal Graph like a Supersolvable Binary Matroid?
Published
• View Publication
• BIB
Let G be a finite simple graph. From the pioneering work of R. P. Stanley it is known that the cycle matroid of G is supersolvable iff G is chordal (rigid): this is another way to read Dirac's theorem on chordal graphs. Chordal binary matroids are not in general supersolvable. Nevertheless we prove that, for every supersolvable binary matroid M, a maximal chain of modular flats of M canonically determines a chordal graph.
Combinatorial problems of (quasi-)crystallography
Published in In: Quasicrystals - Structure and Physical Properties, ed. H.-R. Trebin (Wiley-VCH, Weinheim, 2003), pp. 160-171
• Search Publication
Several combinatorial problems of (quasi-)crystallography are reviewed with special emphasis on a unified approach, valid for both crystals and quasicrystals. In particular, we consider planar sublattices, similarity sublattices, coincidence sublattices, their module counterparts, and central and averaged shelling. The corresponding counting functions are encapsulated in Dirichlet series generating functions, with explicit results for the triangular lattice and the twelvefold symmetric shield tiling. Other combinatorial properties are briefly summarised.
The strong perfect graph theorem
Published
• View Publication
• BIB
A graph G is perfect if for every induced subgraph H, the chromatic number of H equals the size of the largest complete subgraph of H, and G is Berge if no induced subgraph of G is an odd cycle of length at least 5 or the complement of one. The "strong perfect graph conjecture" (Berge, 1961) asserts that a graph is perfect if and only if it is Berge.
A stronger conjecture was made recently by Conforti, Cornuejols and Vuskovic -- that every Berge graph either falls into one of a few basic classes, or it has a kind of separation that cannot occur in a minimal imperfect graph.
In this paper we prove both these conjectures.