Showing 20 papers (Total: 81378 papers, 47165 authors in database)
How neighborly can a centrally symmetric polytope be?
Published
• View Publication
• BIB
We show that there exist k-neighborly centrally symmetric d-dimensional polytopes with 2(n+d) vertices, where k(d,n)=Theta(d/(1+log ((d+n)/d))). We also show that this bound is tight.
New Categorifications of the Chromatic and the Dichromatic Polynomials for Graphs
Published in Fund. Math. 190 (2006), 231-243
• Search Publication
In this paper, for each graph $G$, we def\mbox{}ine a chain complex of graded modules over the ring of polynomials, whose graded Euler characteristic is equal to the chromatic polynomial of $G$. Furthermore, we def\mbox{}ine a chain complex of doubly-graded modules, whose (doubly) graded Euler characteristic is equal to the dichromatic polynomial of $G$. Both constructions use Koszul complexes, and are similar to the new Khovanov-Rozansky categorif\mbox{}ications of HOMFLYPT polynomial. We also give simplif\mbox{}ied def\mbox{}inition of this triply-graded link homology theory.
The dinner table problem: the rectangular case
$n$ people are seated randomly at a rectangular table with $\lfloor n/2\rfloor$ and $\lceil n/2\rceil$ seats along the two opposite sides for two dinners. What's the probability that neighbors at the first dinner are no more neighbors at the second one? We give an explicit formula and we show that its asymptotic behavior as $n$ goes to infinity is $e^{-2}(1+4/n)$ (it is known that it is $e^{-2}(1-4/n)$ for a round table). A more general permutation problem is also considered.
Local Euler-Maclaurin formula for polytopes
Published
• View Publication
• BIB
We give a local Euler-Maclaurin formula for rational convex polytopes in a rational euclidean space . For every affine rational polyhedral cone C in a rational euclidean space W, we construct a differential operator of infinite order D(C) on W with constant rational coefficients, which is unchanged when C is translated by an integral vector. Then for every convex rational polytope P in a rational euclidean space V and every polynomial function f (x) on V, the sum of the values of f(x) at the integral points of P is equal to the sum, for all faces F of P, of the integral over F of the function D(N(F)).f, where we denote by N(F) the normal cone to P along F.
The Borsuk-Ulam-property, Tucker-property and constructive proofs in combinatorics
Published
• View Publication
• BIB
This article is concerned with a general scheme on how to obtain constructive proofs for combinatorial theorems that have topological proofs so far. To this end the combinatorial concept of Tucker-property of a finite group $G$ is introduced and its relation to the topological Borsuk-Ulam-property is discussed. Applications of the Tucker-property in combinatorics are demonstrated.
A new proof of the refined alternating sign matrix theorem
Published
• View Publication
• BIB
In the early 1980s, Mills, Robbins and Rumsey conjectured, and in 1996 Zeilberger proved a simple product formula for the number of $n \times n$ alternating sign matrices with a 1 at the top of the $i$-th column. We give an alternative proof of this formula using our operator formula for the number of monotone triangles with prescribed bottom row. In addition, we provide the enumeration of certain 0-1-(-1) matrices generalizing alternating sign matrices.
Domination Cover Pebbling: Graph Families
Given a configuration of pebbles on the vertices of a connected graph G, a pebbling move is defined as the removal of two pebbles from some vertex, and the placement of one of these on an adjacent vertex. We introduce the notion of domination cover pebbling, obtained by combining graph cover pebbling with the theory of domination in graphs. The domination cover pebbling number, psi(G), of a graph G is the minimum number of pebbles that must be placed on V(G) such that after a sequence of pebbling moves, the set of vertices with pebbles forms a dominating set of G, regardless of the initial configuration of pebbles. We discuss basic results and determine psi(G) for paths, cycles and complete binary trees.
The Fermat cubic, elliptic functions, continued fractions, and a combinatorial excursion
Elliptic functions considered by Dixon in the nineteenth century and related to Fermat's cubic, $x^3+y^3=1$, lead to a new set of continued fraction expansions with sextic numerators and cubic denominators. The functions and the fractions are pregnant with interesting combinatorics, including a special Pólya urn, a continuous-time branching process of the Yule type, as well as permutations satisfying various constraints that involve either parity of levels of elements or a repetitive pattern of order three. The combinatorial models are related to but different from models of elliptic functions earlier introduced by Viennot, Flajolet, Dumont, and Fran{ç}on.
Geometric Reasoning with polymake
The mathematical software system polymake provides a wide range of functions for convex polytopes, simplicial complexes, and other objects. A large part of this paper is dedicated to a tutorial which exemplifies the usage. Later sections include a survey of research results obtained with the help of polymake so far and a short description of the technical background.
Nested complexes and their polyhedral realizations
Published in Pure and Applied Mathematics Quarterly, 2 (2006), no. 3, 1-17
• View Publication
• BIB
This note which can be viewed as a complement to Alex Postnikov's paper math.CO/0507163, presents a self-contained overview of basic properties of nested complexes and their two dual polyhedral realizations: as complete simplicial fans, and as simple polytopes. Most of the results are not new; our aim is to bring into focus a striking similarity between nested complexes and associated fans and polytopes on one side, and cluster complexes and generalized associahedra introduced and studied in hep-th/0111053, math.CO/0202004, on the other side.
Monomial ideals via square-free monomial ideals
Published in Lecture Notes in Pure and Applied Mathematics, volume 244, 85--114 (2005)
• View Publication
• BIB
We study monomial ideals using the operation polarization to first turn them into square-free monomial ideals. We focus on monomial ideals whose polarization produce simplicial trees, and show that many of the properties of simplicial trees hold for such ideals.This includes Cohen-Macaulayness of the Rees ring, and being sequentially Cohen-Macaulay. The appendix is an independent study of primary decomposition in a sequentially Cohen-Macaulay module. We demonstrate how every submodule appearing in the filtration of a sequentially Cohen-Macaulay module can be described in terms of the primary decomposition of the 0-submodule.
Torsion in Graph Homology
Published
• View Publication
• BIB
Khovanov homology for knots has generated a flurry of activity in the topology community. This paper studies the Khovanov type cohomology for graphs with a special attention to torsions. When the underlying algebra is $\mathbb{Z}[x]/(x^2)$, we determine precisely those graphs whose cohomology contains torsion. For a larger class of algebras, we show that torsion often occurs. Our investigation of torsion led to other related general results. The ideas of this paper could potentially be used to predict the Khovanov-Rozansky $sl(m)$ homology of knots (in particular $(2,n)$ torus knots). We also predict that our work is connected with Hochschild and Connes cyclic homology of algebras.
Automatic enumeration of regular objects
Published in Journal of Integer Sequences, Vol. 10 (2007), Article 07.5.5
• Search Publication
We describe a framework for systematic enumeration of families combinatorial structures which possess a certain regularity. More precisely, we describe how to obtain the differential equations satisfied by their generating series. These differential equations are then used to determine the initial counting sequence and for asymptotic analysis. The key tool is the scalar product for symmetric functions and that this operation preserves D-finiteness.
Symmetric Squares of Graphs
Published
• View Publication
• BIB
We consider symmetric powers of a graph. In particular, we show that the spectra of the symmetric square of strongly regular graphs with the same parameters are equal. We also provide some bounds on the spectra of the symmetric squares of more general graphs. The connection with generic exchange Hamiltonians in quantum mechanics is discussed in an appendix.
Catalan-like numbers and succession rules
The ECO method and the theory of Catalan-like numbers introduced by Aigner seems two completely unrelated combinatorial settings. In this work we try to establish a bridge between them, aiming at starting a (hopefully) fruitful study on their interactions. We show that, in a linear algebra context (more precisely, using infinite matrices), a succession rule can be translated into a (generalized) Aigner matrix by means of a suitable change of basis in the vector space of one-variable polynomials. We provide some examples to illustrate this fact and apply it to the study of two particular classes of succession rules.
Sturmian morphisms, the braid group B_4, Christoffel words and bases of F_2
Published in Ann. Mat. Pura Appl. 186 (2007), 317-339
• View Publication
• BIB
We give a presentation by generators and relations of a certain monoid generating a subgroup of index two in the group Aut(F_2) of automorphisms of the rank two free group F_2 and show that it can be realized as a monoid in the group B_4 of braids on four strings. In the second part we use Christoffel words to construct an explicit basis of F_2 lifting any given basis of the free abelian group Z^2. We further give an algorithm allowing to decide whether two elements of F_2 form a basis or not. We also show that, under suitable conditions, a basis has a unique conjugate consisting of two palindromes.
The Descent Set and Connectivity Set of a Permutation
The descent set D(w) of a permutation w of 1,2,...,n is a standard and well-studied statistic. We introduce a new statistic, the connectivity set C(w), and show that it is a kind of dual object to D(w). The duality is stated in terms of the inverse of a matrix that records the joint distribution of D(w) and C(w). We also give a variation involving permutations of a multiset and a q-analogue that keeps track of the number of inversions of w.
q-Catalan numbers and q-Narayana polynomials
In this note we show that various natural q-analogues of the Catalan numbers can be obtained in a uniform way. Furthermore we compute their Hankel determinants.
A combinatorial interpretation of the eigensequence for composition
The monic sequence that shifts left under convolution with itself is the Catalan numbers with 130+ combinatorial interpretations. Here we establish a combinatorial interpretation for the monic sequence that shifts left under composition: it counts permutations that contain a 3241 pattern only as part of a 35241 pattern. We give two recurrences, the first allowing relatively fast computation, the second similar to one for the Catalan numbers. Among the 4 times 4! = 96 similarly restricted patterns involving 4 letters (such as 4\underline{2}31: a 431 pattern only occurs as part of a 4231), four different counting sequences arise: 64 give the Catalan numbers, 16 give the Bell numbers, 12 give sequence A051295 in OEIS, and 4 give a new sequence with an explicit formula.
Extensions of the linear bound in the Furedi-Hajnal conjecture
Published
• View Publication
• BIB
We present two extensions of the linear bound, due to Marcus and Tardos, on the number of 1's in an n by n 0-1 matrix avoiding a fixed permutation matrix. We first extend the linear bound to hypergraphs with ordered vertex sets and, using previous results of Klazar, we prove an exponential bound on the number of hypergraphs on n vertices which avoid a fixed permutation. This, in turn, solves various conjectures of Klazar as well as a conjecture of Branden and Mansour.We then extend the original Furedi-Hajnal problem from ordinary matrices to d-dimensional matrices and show that the number of 1's in a d-dimensional 0-1 matrix with side length n which avoids a d-dimensional permutation matrix is O(n^{d-1}).