Showing 20 papers (Total: 81680 papers, 47334 authors in database)
Multivariate Fuss-Catalan numbers
Published in Discrete Mathematics 308 (2008) 4660-4669
• View Publication
• BIB
Catalan numbers $C(n)=\frac{1}{n+1}{2n\choose n}$ enumerate binary trees and Dyck paths. The distribution of paths with respect to their number $k$ of factors is given by ballot numbers $B(n,k)=\frac{n-k}{n+k}{n+k\choose n}$. These integers are known to satisfy simple recurrence, which may be visualised in a ``Catalan triangle'', a lower-triangular two-dimensional array. It is surprising that the extension of this construction to 3 dimensions generates integers $B_3(n,k,l)$ that give a 2-parameter distribution of $C_3(n)=\frac 1 {2n+1} {3n\choose n}$, which may be called order-3 Fuss-Catalan numbers, and enumerate ternary trees. The aim of this paper is a study of these integers $B_3(n,k,l)$. We obtain an explicit formula and a description in terms of trees and paths. Finally, we extend our construction to $p$-dimensional arrays, and in this case we obtain a $(p-1)$-parameter distribution of $C_p(n)=\frac 1 {(p-1)n+1} {pn\choose n}$, the number of $p$-ary trees.
Quasi-invariant and super-coinvariant polynomials for the generalized symmetric group
Published in Formal Power Series and Algebraic Combinatorics, Linköping : Suède (2003)
• Search Publication
The aim of this work is to extend the study of super-coinvariant polynomials, to the case of the generalized symmetric group $G_{n,m}$, defined as the wreath product $C_m\wr§_n$ of the symmetric group by the cyclic group. We define a quasi-symmetrizing action of $G_{n,m}$ on $\Q[x_1,...,x_n]$, analogous to those defined by Hivert in the case of $§_n$. The polynomials invariant under this action are called quasi-invariant, and we define super-coinvariant polynomials as polynomials orthogonal, with respect to a given scalar product, to the quasi-invariant polynomials with no constant term. Our main result is the description of a Gröbner basis for the ideal generated by quasi-invariant polynomials, from which we dedece that the dimension of the space of super-coinvariant polynomials is equal to $m^n C_n$ where $C_n$ is the $n$-th Catalan number.
Polynômes quasi-invariants et super-coinvariants pour le groupe symétrique généralisé
Published in Annales des sciences mathématiques du Québec 27, 2 (2003) 111-121
• Search Publication
A classical result of Artin states that the ideal generated by symmetric polynomials in $n$ variables is of codimension $n!$. The author, F. Bergeron and N. Bergeron have recently obtained a surprising analogous in the case of quasi-symmetric polynomials. In this case, the ideal is of codimension given by $C_n$, the $n$-th Catalan number. Quasi-symmetric polynomials are the invariants of a certain action of the symmetric group $S_n$ defined by F. Hivert. The aim of this work is to generalize these results to the wreath product $S_n\wr \Z_m$, also known as the generalized symmetric group $G\nm$. We first define a quasi-symmetrizing action of $G\nm$ on $\C[x_1,...,x_n]$, then obtain a description of the invariants and the codimension of the associated ideal, which is $m^n C_n$.
The Discrete Fundamental Group of the Order Complex of $B_n$
Published
• View Publication
• BIB
A few years ago Kramer and Laubenbacher introduced a discrete notion of homotopy for simplicial complexes. In this paper, we compute the discrete fundamental group of the order complex of the Boolean lattice. As it turns out, it is equivalent to computing the discrete homotopy group of the 1-skeleton of the permutahedron. To compute this group we introduce combinatorial techniques that we believe will be helpful in computing discrete fundamental groups of other polytopes. More precisely, we use the language of words, over the alphabet of simple transpositions, to obtain conditions that are necessary and sufficient to characterize the equivalence classes of cycles. The proof requires only simple combinatorial arguments. As a corollary, we also obtain a combinatorial proof of the fact that the first Betti number of the complement of the 3-equal arrangement is equal to $2^{n-3}(n^2-5n+8)-1.$ This formula was originally obtained by Björner and Welker in 1995.
The space of tropically collinear points is shellable
Published in Collectanea Mathematica 60, 1 (2009), pp 63-77
• View Publication
• BIB
The space T_{d,n} of n tropically collinear points in a fixed tropical projective space TP^{d-1} is equivalent to the tropicalization of the determinantal variety of matrices of rank at most 2, which consists of real d x n matrices of tropical or Kapranov rank at most 2, modulo projective equivalence of columns. We show that it is equal to the image of the moduli space M_{0,n}(TP^{d-1},1) of n-marked tropical lines in TP^{d-1} under the evaluation map. Thus we derive a natural simplicial fan structure for T_{d,n} using a simplicial fan structure of M_{0,n}(TP^{d-1},1) which coincides with that of the space of phylogenetic trees on d+n taxa. The space of phylogenetic trees has been shown to be shellable by Trappmann and Ziegler. Using a similar method, we show that T_{d,n} is shellable with our simplicial fan structure and compute the homology of the link of the origin. The shellability of T_{d,n} has been conjectured by Develin in 2005.
Normal generation of very ample line bundles on toric varieties
The article has been withdrawn by the author due to the existence of counterexamples.
Permutations defining convex permutominoes
A permutomino of size n is a polyomino determined by particular pairs (P1, P2) of permutations of size n, such that P1(i) is different from P2(i), for all i. Here we determine the combinatorial properties and, in particular, the characterization for the permutations defining convex permutominoes.
Using such a characterization, these permutations can be uniquely represented in terms of the so called square permutations, introduced by Mansour and Severini. Then, we provide a closed formula for the number of these permutations with size n.
Triangular Peg Solitaire Unlimited
Published in The Games and Puzzles Journal, Issue 36, November-December 2004 http://gpj.connectfree.co.uk/gpjr.htm
• Search Publication
Triangular peg solitaire is a well-known one-person game or puzzle. When one peg captures many pegs consecutively, this is called a sweep. We investigate whether the game can end in a dramatic fashion, with one peg sweeping all remaining pegs off the board. For triangular boards of side 6 and 8 (with 21 and 36 holes, respectively) the geometrically longest sweep can occur as the final move in a game. On larger triangular boards, we demonstrate how to construct solutions that finish with arbitrarily long sweeps. We also consider the problem of finding solutions that minimize the total number of moves (where a move is one or more consecutive jumps by the same peg).
On a Bruhat-like poset
We investigate the poset of strata of a Schubert-like stratification of certain natural compactification of the space of hermitian $n\times n$ matrices. We prove that this poset is a modular ortholattice, we compute its Möbius function and we describe the topology of its order intervals.
Nested Hilbert schemes and the nested q,t-Catalan series
Published
• View Publication
• BIB
In this paper we study the tangent spaces of the smooth nested Hilbert scheme $ Hil{n,n-1}$ of points in the plane, and give a general formula for computing the Euler characteristic of a $\TT^2$-equivariant locally free sheaf on $\Hil{n,n-1}$. Applying our result to a particular sheaf, we conjecture that the result is a polynomial in the variables $q$ and $t$ with non-negative integer coefficients . We call this conjecturally positive polynomial as \textsl{the nested $q,t$-Cat alan series}, for it has many conjectural properties similar to that of the $q,t $-Catalan series.
On time dynamics of coagulation-fragmentation processes
Published
• View Publication
• BIB
We establish a characterization of coagulation-fragmentation processes, such that the induced birth and death processes depicting the total number of groups at time $t\ge 0$ are time homogeneous. Based on this, we provide a characterization of mean-field Gibbs coagulation-fragmentation models, which extends the one derived by Hendriks et al. As a by- product of our results, the class of solvable models is widened and a question posed by N. Berestycki and Pitman is answered, under restriction to mean-field models.
How many latin rectangles are there?
Until now the problem counting Latin rectangles m x n has been solved with an explicit formula for m = 2, 3 and 4 only. In the present paper an explicit formula is provided for the calculation of the number of Latin rectangles for any order m. The results attained up to now become particular cases of this new formula. Furthermore, putting m = n, the number of Latin squares of order n can also be obtained in an explicit form.
An example of algebraization of analysis and Fibonacci cobweb poset characterization
In recent Kwasniewski's papers inspired by O. V. Viskov it was shown that the $ψ$-calculus in parts appears to be almost automatic, natural extension of classical operator calculus of Rota - Mullin or equivalently - of umbral calculus of Roman and Rota. At the same time this calculus is an example of the algebraization of the analysis - here restricted to the algebra of polynomials. The first part of the article is the review of the recent author's contribution. The main definitions and theorems of Finite Fibonomial
Operator Calculus which is a special case of $ψ$-extented Rota's finite operator calculus are presented there. In the second part the characterization of Fibonacci Cobweb poset P as DAG and oDAG is given. The dim 2 poset such that its Hasse diagram coincide with digraf of P is constructed.
Period Lengths for Iterated Functions
Published
• View Publication
• BIB
For random maps, the expected value of the order (i.e. the period of the sequence of compositional iterates) is approximated asymptotically. It is much smaller than the expected value for the product of the cycle lengths.
Schreier spectrum of the Hanoi Towers group on three pegs
Published
• View Publication
• BIB
Finite dimensional representations of the Hanoi Towers group are used to calculate the spectra of the finite graphs associated to the Hanoi Towers Game on three pegs (the group serves as a renorm group for the game). These graphs are Schreier graphs of the action of the Hanoi Towers group on the levels of the rooted ternary tree. The spectrum of the limiting graph (Schreier graph of the action on the boundary of the tree) is also provided.
Convex and linear models of NP-problems
Reducing the NP-problems to the convex/linear analysis on the Birkhoff polytope.
Homology of coloured posets: a generalisation of Khovanov's cube construction
Published in J. Algebra, 322 (2009) 429-448.
• View Publication
• BIB
We define a homology theory for a certain class of posets equipped with a representation. We show that when restricted to Boolean lattices this homology is isomorphic to the homology of the "cube" complex defined by Khovanov.
Number of sets with small sumset and the clique number of random Cayley graphs
Let $G$ be a finite abelian group of order $n$. For any subset $B$ of $G$ with $B=-B$, the Cayley graph $G_B$ is a graph on vertex set $G$ in which $ij$ is an edge if and only if $i-j\in B.$ It was shown by Ben Green that when $G$ is a vector space over a finite field $Z/pZ$, then there is a Cayley graph containing neither a complete subgraph nor an independent set of size more than $clog nloglog n,$ where $c$ is an absolute constant. In this article we observe that a modification of his arguments shows that for an arbitrary finite abelian group of order $n$, there is a Cayley graph containing neither a complete subgraph nor an independent set of size more than $c(omega^3(n)log omega(n) +log nloglog n)$, where $c$ is an absolute constant and $omega(n)$ denotes the number of distinct prime divisors of $n$.
Tutte chromatic identities from the Temperley-Lieb algebra
Published in Geom. Topol. 13 (2009) 709-741
• View Publication
• BIB
This paper introduces a conceptual framework, in the context of quantum topology and the algebras underlying it, for analyzing relations obeyed by the chromatic polynomial χ(Q) of planar graphs. Using it we give new proofs and substantially extend a number of classical results concerning the combinatorics of the chromatic polynomial. In particular, we show that Tutte's golden identity is a consequence of level-rank duality for SO(N) topological quantum field theories and Birman-Murakami-Wenzl algebras. This identity is a remarkable feature of the chromatic polynomial relating χ({φ+2}) for any triangulation of the sphere to (χ({φ+1}))^2 for the same graph, where φdenotes the golden ratio. The new viewpoint presented here explains that Tutte's identity is special to these values of the parameter Q. A natural context for analyzing such properties of the chromatic polynomial is provided by the {\em chromatic algebra}, whose Markov trace is the chromatic polynomial of an associated graph. We use it to show that another identity of Tutte's for the chromatic polynomial at Q=φ+1 arises from a Jones-Wenzl projector in the Temperley-Lieb algebra. We generalize this identity to each value Q= 2+2\cos(2πj/(n+1)) for j< n positive integers. When j=1, these Q are the Beraha numbers, where the existence of such identities was conjectured by Tutte. We present a recursive formula for this sequence of chromatic polynomial relations.
The true complexity of a system of linear equations
Published
• View Publication
• BIB
It is well-known that if a subset A of a finite Abelian group G satisfies a quasirandomness property called uniformity of degree k, then it contains roughly the expected number of arithmetic progressions of length k, that is, the number of progressions one would expect in a random subset of G of the same density as A. One is naturally led to ask which degree of uniformity is required of A in order to control the number of solutions to a general system of linear equations. Using so-called "quadratic Fourier analysis", we show that certain linear systems that were previously thought to require quadratic uniformity are in fact governed by linear uniformity. More generally, we conjecture a necessary and sufficient condition on a linear system L which guarantees that any subset A of F_p^n which is uniform of degree k contains the expected number of solutions to L.