Showing 20 papers (Total: 82851 papers, 47869 authors in database)
Rational Interpolation and Basic Hypergeometric Series
We give a Newton type rational interpolation formula (Theorem \ref{theo}).
It contains as a special case the original Newton interpolation, as well as the recent interpolation formula of Zhi-Guo Liu, which allows to recover many important classical $q$-series identities.
We show in particular that some bibasic identities are a consequence of our formula.
$q$-Identities related to overpartitions and divisor functions
Published
• View Publication
• BIB
We generalize and prove conjectures of Corteel and Lovejoy, related to overpartitions and divisor functions.
Acyclic heaps of pieces, II
Published
• View Publication
• BIB
We characterize and classify the "regular classes of heaps" introduced by the author using ideas of Fan and of Stembridge. The irreducible objects fall into five infinite families with one exceptional case.
Laplacian operators and Radon transforms on Grassmann graphs
Published
• View Publication
• BIB
Let $Ω$ be a vector space over a finite field with q elements. Let G denote the general linear group of endomorphisms of $Ω$ and let us consider the left regular representation $ρ: G \to B(L_2(X))$ associated to the natural action of G on the set X of linear subspaces of $Ω$. In this paper we study a natural basis B of the algebra $End_{G}(L_2(X))$ of intertwining maps on $L_2(X)$. By using a Laplacian operator on Grassmann graphs, we identify the kernels in B as solutions of a basic hypergeometric difference equation. This provides two expressions for these kernels. One in terms of the q-Hahn polynomials and the other by means of a Rodrigues type formula. Finally, we obtain a useful product formula for the mappings in B. We give two different proofs. One uses the theory of classical hypergeometric polynomials and the other is supported by a characterization of spherical functions in finite symmetric spaces. Both proofs require the use of certain associated Radon transforms.
Level rings arising from meet-distributive meet-semilattices
Published
• View Publication
• BIB
The Alexander dual of an arbitrary meet-semilattice is described explicitly. Meet-distributive meet-semilattices whose Alexander dual is level are characterized.
Monomial ideals arising from distributive lattices
Published
• View Publication
• BIB
The free resolution and the Alexander dual of squarefree monomial ideals associated with certain subsets of distributive lattices are studied.
Inequalities between Littlewood-Richardson Coefficients
Published
• View Publication
• BIB
We prove that a conjecture of Fomin, Fulton, Li, and Poon, associated to ordered pairs of partitions, holds for many infinite families of such pairs. We also show that the bounded height case can be reduced to checking that the conjecture holds for a finite number of pairs, for any given height. Moreover, we propose a natural generalization of the conjecture to the case of skew shapes.
Neighborhood complexes and generating functions for affine semigroups
Published in Discrete and Computational Geometry 35 (2006), 385 - 403
• View Publication
• BIB
Given a_1,a_2,...,a_n in Z^d, we examine the set, G, of all non-negative integer combinations of these a_i. In particular, we examine the generating function f(z)=\sum_{b\in G} z^b. We prove that one can write this generating function as a rational function using the neighborhood complex (sometimes called the complex of maximal lattice-free bodies or the Scarf complex) on a particular lattice in Z^n. In the generic case, this follows from algebraic results of D. Bayer and B. Sturmfels. Here we prove it geometrically in all cases, and we examine a generalization involving the neighborhood complex on an arbitrary lattice.
Schubert varieties and free braidedness
Published
• View Publication
• BIB
We give a simple necessary and sufficient condition for a Schubert variety $X_w$ to be smooth when $w$ is a freely braided element of a simply laced Weyl group; such elements were introduced by the authors in a previous work (math.CO/0301104). This generalizes in one direction a result of Fan concerning varieties indexed by short-braid avoiding elements. We also derive generating functions for the freely braided elements that index smooth Schubert varieties. All results are stated and proved only for the simply laced case.
Classification of Ding's Schubert varieties: finer rook equivalence
Published in Canadian J. Math. 59, no. 1 (2007), 36-62
• View Publication
• BIB
K. Ding studied a class of Schubert varieties X_λin type A partial flag manifolds, corresponding to integer partitions λand in bijection with dominant permutations. He observed that the Schubert cell structure of X_λis indexed by maximal rook placements on the Ferrers board B_λ, and that the integral cohomology groups H^*(X_λ; Zz), H^*(X_μ; Zz) are additively isomorphic exactly when the Ferrers boards B_λ, B_μsatisfy the combinatorial condition of rook-equivalence.
We classify the varieties X_λup to isomorphism, distinguishing them by their graded cohomology rings with integer coefficients. The crux of our approach is studying the nilpotence orders of linear forms in the cohomology ring.
Distorted metrics on trees and phylogenetic forests
Published
• View Publication
• BIB
We study distorted metrics on binary trees in the context of phylogenetic reconstruction. Given a binary tree $T$ on $n$ leaves with a path metric $d$, consider the pairwise distances $\{d(u,v)\}$ between leaves. It is well known that these determine the tree and the $d$ length of all edges. Here we consider distortions $\d$ of $d$ such that for all leaves $u$ and $v$ it holds that $|d(u,v) - \d(u,v)| < f/2$ if either $d(u,v) < M$ or $\d(u,v) < M$, where $d$ satisfies $f \leq d(e) \leq g$ for all edges $e$. Given such distortions we show how to reconstruct in polynomial time a forest $T_1,...,T_α$ such that the true tree $T$ may be obtained from that forest by adding $α-1$ edges and $α-1 \leq 2^{-Ω(M/g)} n$.
Metric distortions arise naturally in phylogeny, where $d(u,v)$ is defined by the log-det of a covariance matrix associated with $u$ and $v$. of a covariance matrix associated with $u$ and $v$. When $u$ and $v$ are ``far'', the entries of the covariance matrix are small and therefore $\d(u,v)$, which is defined by log-det of an associated empirical-correlation matrix may be a bad estimate of $d(u,v)$ even if the correlation matrix is ``close'' to the covariance matrix.
Our metric results are used in order to show how to reconstruct phylogenetic forests with small number of trees from sequences of length logarithmic in the size of the tree. Our method also yields an independent proof that phylogenetic trees can be reconstructed in polynomial time from sequences of polynomial length under the standard assumptions in phylogeny. Both the metric result and its applications to phylogeny are almost tight.
Suppressing nonrevisiting paths
Nous refutons, sous une certaine hypothese combinatoire, la "nonrevisiting path conjecture".
Abstract: In this article, we give, under some hypothesis, a couterexample to the nonrevisiting path conjecture.
One-Point Suspensions and Wreath Products of Polytopes and Spheres
Published
• View Publication
• BIB
It is known that the suspension of a simplicial complex can be realized with only one additional point. Suitable iterations of this construction generate highly symmetric simplicial complexes with various interesting combinatorial and topological properties. In particular, infinitely many non-PL spheres as well as contractible simplicial complexes with a vertex-transitive group of automorphisms can be obtained in this way.
Kazhdan-Lusztig-Polynome und unzerlegbare Bimoduln "uber Polynomringen
Published in JIMJ (2007) 6(3), 501-525
• View Publication
• BIB
We explain a strategy for a proof of the positivity of all coefficients of Kazhdan-Lusztig-polynomials for arbitrary Coxeter groups by constructing spaces whose dimensions we conjecture to be these coefficients.
The limit of a Stanley-Wilf sequence is not always rational, and layered patterns beat monotone patterns
We show the first known example for a pattern $q$ for which $\lim_{n\to \infty} \sqrt[n]{S_n(q)}$ is not an integer. We find the exact value of the limit and show that it is irrational. Then we generalize our results to an infinite sequence of patterns. Finally, we provide further generalizations that start explaining why certain patterns are easier to avoid than others. Finally, we show that if $q$ is a layered pattern of length $k$, then $L(q)\geq (k-1)^2$ holds.
A graphic generalization of arithmetic
In this paper, we extend the classical arithmetic defined over the set of natural numbers N, to the set of all finite directed connected multigraphs having a pair of distinct distinguished vertices. Specifically, we introduce a model F on the set of such graphs, and provide an interpretation of the language of arithmetic L={0,1,<=,+,x} inside F. The resulting model exhibits the property that the standard model on N embeds in F as a submodel, with the directed path of length n playing the role of the standard integer n. We will compare the theory of the larger structure F with classical arithmetic statements that hold in N. For example, we explore the extent to which F enjoys properties like the associativity and commutativity of + and x, distributivity, cancellation and order laws, and decomposition into irreducibles.
Pieces of 2^d: Existence and uniqueness for Barnes-Wall and Ypsilanti lattices
Published
• View Publication
• BIB
We give a new existence proof for the rank 2^d even lattices usually called the Barnes-Wall lattices, and establish new results on uniqueness, structure and transitivity of the automorphism group on certain kinds of sublattices. Our proofs are relatively free of calculations, matrix work and counting, due to the uniqueness viewpoint. We deduce the labeling of coordinates on which earlier constructions depend. Extending these ideas, we construct in dimensions 2^d, for d>>0, the Ypsilanti lattices, which are families of indecomposable even unimodular lattices which resemble the Barnes-Wall lattices. The number Upsilon (2^d) of isometry types here is large: log_2 (Upsilon (2^d)) has dominant term at least (r/4) d 2^{2d}, for any r in [0, 1/2). The Ypsilanti lattices may be the first explicitly given families whose sizes are asymptotically comparable to the Siegel mass formula estimate (log_2(mass(n)) has dominant term (1/4) log_2(n) n^2). This work continues our general uniqueness program for lattices, begun in Pieces of Eight. See also our new uniquness proof for the E_8-lattice.
Finite automata and relations of multiple zeta values
The theory of finite automata applies to the study on relations of multiple zeta values.
The asymptotics of strongly regular graphs
A strongly regular graph is called trivial if it or its complement is a union of disjoint cliques. We prove that every infinite family of nontrivial strongly regular graphs is quasi-random in the sense of Chung, Graham and Wilson.
Dreidel Lasts $O(N^2)$ Spins
Dreidel is a popular game played during the festival of Chanukah. Players start with an equal number of tokens, donate one token each to a common pot, and take turns spinning a four-sided top, called the dreidel. Depending on the side showing up, the spinner takes all the tokens in the pot, takes half the tokens in the pot, gives a token to the pot, or does nothing. Whenever the pot goes empty, everyone donates a token to the pot. The game continues till all players, except one, go broke.
We prove that the expected length of a game of dreidel is at most quadratic in the number of tokens, irrespective of the number of players. This proves a conjecture of Doron Zeilberger.