Showing 20 papers (Total: 81378 papers, 47165 authors in database)
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.
Discrete mathematics: methods and challenges
Published in Proceedings of the ICM, Beijing 2002, vol. 1, 119--135
• Search Publication
Combinatorics is a fundamental mathematical discipline as well as an essential component of many mathematical areas, and its study has experienced an impressive growth in recent years. One of the main reasons for this growth is the tight connection between Discrete Mathematics and Theoretical Computer Science, and the rapid development of the latter. While in the past many of the basic combinatorial results were obtained mainly by ingenuity and detailed reasoning, the modern theory has grown out of this early stage, and often relies on deep, well developed tools. This is a survey of two of the main general techniques that played a crucial role in the development of modern combinatorics; algebraic methods and probabilistic methods. Both will be illustrated by examples, focusing on the basic ideas and the connection to other areas.
Topological diagonalizations and Hausdorff dimension
Published in Note di Matematica 22 (2003), 83--92
• View Publication
• BIB
The Hausdorff dimension of a product XxY can be strictly greater than that of Y, even when the Hausdorff dimension of X is zero. But when X is countable, the Hausdorff dimensions of Y and XxY are the same. Diagonalizations of covers define a natural hierarchy of properties which are weaker than ``being countable'' and stronger than ``having Hausdorff dimension zero''. Fremlin asked whether it is enough for X to have the strongest property in this hierarchy (namely, being a gamma-set) in order to assure that the Hausdorff dimensions of Y and XxY are the same.
We give a negative answer: Assuming CH, there exists a gamma-set of reals X and a set of reals Y with Hausdorff dimension zero, such that the Hausdorff dimension of X+Y (a Lipschitz image of XxY) is maximal, that is, 1. However, we show that for the notion of a_strong_ gamma-set the answer is positive. Some related problems remain open.
Coxeter Decompositions of Hyperbolic Tetrahedra
Published
• View Publication
• BIB
We classify Coxeter decompositions of hyperbolic tetrahedra, i.e. simplices in the hyperbolic space H^3. The paper completes the classification of Coxeter decompositions of hyperbolic simplices.
Many Triangulated 3-Spheres
Published
• View Publication
• BIB
We construct 2^{Ω(n^{5/4})} combinatorial types of triangulated 3-spheres on n vertices. Since by a result of Goodman and Pollack (1986) there are no more than 2^{O(n log n)} combinatorial types of simplicial 4-polytopes, this proves that asymptotically, there are far more combinatorial types of triangulated 3-spheres than of simplicial 4-polytopes on n vertices. This complements results of Kalai (1988), who had proved a similar statement about d-spheres and (d+1)-polytopes for fixed d >= 4.
Symplectic operad geometry and graph homology
A theorem of Kontsevich relates the homology of certain infinite dimensional Lie algebras to graph homology. We formulate this theorem using the language of reversible operads and mated species. All ideas are explained using a pictorial calculus of cuttings and matings. The Lie algebras are constructed as Hamiltonian functions on a symplectic operad manifold. And graph complexes are defined for any mated species. The general formulation gives us many examples including a graph homology for groups. We also speculate on the role of deformation theory for operads in this setting.
An algorithm for computing the global basis of a finite dimensional irreducible $U_{q}(so_{2n+1})$ or $U_{q}(so_{2n})$-module
Published
• View Publication
• BIB
We describe a simple algorithm for computing the canonical basis of any irreducible finite-dimensional $U_{q}(so_{2n+1})$ or $U_{q}(so_{2n})$-module.
Schensted type correspondence for type $G_{2}$ and computation of the canonical basis of a finite dimensional $U_{q}(G_{2})$-module
We use Kang-Misra's combinatorial description of the crystal graphs for $U_{q}(G_{2})$ to introduce the plactic monoid for type $G_{2}$. Then we describe the corresponding insertion algorithm which yields a Schensted type correspondence. Next we give a simple algorithm for computing the canonical basis of any finite dimensional $U_{q}(G_{2})$-module.
Schensted-type correspondences and plactic monoids for types $B_{n}$ and $D_{n}$
Published
• View Publication
• BIB
We use Kashiwara's theory of crystal bases to study plactic monoids for $U_{q}(so_{2n+1})$ and $U_{q}(so_{2n})$. Simultaneously we describe a Schensted type correspondence in the crystal graphs of tensor powers of vector and spin representations and we derive a Jeu de Taquin for type $B$ from the Sheats sliding algorithm.
Enumerating the Prime Alternating Links
Published
• View Publication
• BIB
This is the third paper in a series devoted to enumerating the prime alternating knots and links. This paper establishes a method for enumerating the prime alternating links. It is shown that one may choose any prime alternating link diagram of a given minimal crossing size and by applications of just two operators (T and OTS, introduced in the first paper in the series, Enumerating the Prime Alternating Knots, Part I) to the selected seed link, one obtains all prime alternating link diagrams of the desired minimal crossing size.
Walks confined in a quadrant are not always D-finite
Published
• View Publication
• BIB
We consider planar lattice walks that start from a prescribed position, take their steps in a given finite subset of Z^2, and always stay in the quadrant x >= 0, y >= 0. We first give a criterion which guarantees that the length generating function of these walks is D-finite, that is, satisfies a linear differential equation with polynomial coefficients. This criterion applies, among others, to the ordinary square lattice walks. Then, we prove that walks that start from (1,1), take their steps in {(2,-1), (-1,2)} and stay in the first quadrant have a non-D-finite generating function. Our proof relies on a functional equation satisfied by this generating function, and on elementary complex analysis.
A novel and efficient algorithm for scanning all minimal cutsets of a graph
We propose a novel algorithm for enumerating and listing all minimal cutsets of a given graph. It is known that this problem is NP-hard. We use connectivity properties of a given graph to develop an algorithm with reduced complexity for finding all its cutsets. We use breadth first search (BFS) method in conjunction with edge contraction to develop the algorithm. We introduce the concepts of a pivot vertex and absorbable clusters and use them to develop an enhanced recursive contraction algorithm. The complexity of the proposed algorithm is proportionate to the number of cutsets. We present simulation results to compare the performance of our proposed algorithm with those of existing methods.
q-Identities from Lagrange and Newton Interpolation
Published
• View Publication
• BIB
Combining Newton and Lagrange interpolation, we give $q$-identities which generalize results of Van Hamme, Uchimura, Dilcher and Prodinger.
A recursive bijective approach to counting permutations containing 3-letter patterns
We present a method, illustrated by several examples, to find explicit counts of permutations containing a given multiset of three letter patterns. The method is recursive, depending on bijections to reduce to the case of a smaller multiset, and involves a consideration of separate cases according to how the patterns overlap. Specifically, we use the method (i) to provide combinatorial proofs of Bona's formula {2n-3}choose{n-3} for the number of n-permutations containing one 132 pattern and Noonan's formula 3/n {2n}choose{n+3} for one 123 pattern, (ii) to express the number of n-permutations containing exactly k 123 patterns in terms of ballot numbers for k<=4, and (iii) to express the number of 123-avoiding n-permutations containing exactly k 132 patterns as a linear combination of powers of 2, also for k<=4. The results strengthen the conjecture that the counts are algebraic for all k.