Showing 20 papers (Total: 82851 papers, 47869 authors in database)
Non-crossing cumulants of type B
Published
• View Publication
• BIB
We establish connections between the lattices of non-crossing partitions of type B introduced by V. Reiner, and the framework of the free probability theory of D. Voiculescu.
Lattices of non-crossing partitions (of type A, up to now) have played an important role in the combinatorics of free probability, primarily via the non-crossing cumulants of R. Speicher. Here we introduce the concept of {\em non-crossing cumulant of type B;} the inspiration for its definition is found by looking at an operation of ``restricted convolution of multiplicative functions'', studied in parallel for functions on symmetric groups (in type A) and on hyperoctahedral groups (in type B).
The non-crossing cumulants of type B live in an appropriate framework of ``non-commutative probability space of type B'', and are closely related to a type B analogue for the R-transform of Voiculescu (which is the free probabilistic counterpart of the Fourier transform). By starting from a condition of ``vanishing of mixed cumulants of type B'', we obtain an analogue of type B for the concept of free independence for random variables in a non-commutative probability space.
Some statistics on restricted 132 involutions
Published
• View Publication
• BIB
In [GM] Guibert and Mansour studied involutions on n letters avoiding (or containing exactly once) 132 and avoiding (or containing exactly once) an arbitrary pattern on k letters. They also established a bijection between 132-avoiding involutions and Dyck word prefixes of same length. Extending this bijection to bilateral words allows to determine more parameters; in particular, we consider the number of inversions and rises of the involutions onto the words. This is the starting point for considering two different directions: even/odd involutions and statistics of some generalized patterns. Thus we first study generating functions for the number of even or odd involutions on n letters avoiding (or containing exactly once) 132 and avoiding (or containing exactly once) an arbitrary pattern $τ$ on k letters. In several interesting cases the generating function depends only on k and is expressed via Chebyshev polynomials of the second kind. Next, we consider other statistics on 132-avoiding involutions by counting an occurrences of some generalized patterns, related to the enumeration according to the number of rises.
Real k-flats tangent to quadrics in R^n
Published in Proc. Amer. Math. Soc., 133 (2005), 2835--2844.
• View Publication
• BIB
Let d_{k,n} and #_{k,n} denote the dimension and the degree of the Grassmannian G_{k,n} of k-planes in projective n-space, respectively. For each k between 1 and n-2 there are 2^{d_{k,n}} \cdot #_{k,n} (a priori complex) k-planes in P^n tangent to d_{k,n} general quadratic hypersurfaces in P^n. We show that this class of enumerative problem is fully real, i.e., for each k between 1 and n-2 there exists a configuration of d_{k,n} real quadrics in (affine) real space R^n so that all the mutually tangent k-flats are real.
How is a graph like a manifold?
In this article, we discuss some classical problems in combinatorics which can be solved by exploiting analogues between graph theory and the theory of manifolds. One well-known example is the McMullen conjecture, which was settled twenty years ago by Richard Stanley by interpreting certain combinatorial invariants of convex polytopes as the Betti numbers of a complex projective variety. Another example is the classical parallel redrawing problem, which turns out to be closely related to the problem of computing the second Betti number of a complex compact $(\C^*)^n$-manifold.
Quiver varieties, affine Lie algebras, algebras of BPS states, and semicanonical basis
Published
• View Publication
• BIB
We suggest a (conjectural) construction of a basis in the plus part of the affine Lie algebra of type ADE indexed by irreducible components of certain quiver varieties. This construction is closely related to a string-theoretic construction of a Lie algebra of BPS states. We then study the new combinatorial questions about the (classical) root systems naturally arising from our constructions and Lusztig's semicanonical basis.
Quantum Bruhat graph and Schubert polynomials
Published
• View Publication
• BIB
The quantum Bruhat graph, which is an extension of the graph formed by covering relations in the Bruhat order, is naturally related to the quantum cohomology ring of G/B. We enhance a result of Fulton and Woodward by showing that the minimal monomial in the quantum parameters that occurs in the quantum product of two Schubert classes has a simple interpretation in terms of directed paths in this graph.
We define path Schubert polynomials, which are quantum cohomology analogues of skew Schubert polynomials recently introduced by Lenart and Sottile. They are given by sums over paths in the quantum Bruhat graph of type A. The 3-point Gromov-Witten invariants for the flag manifold are expressed in terms of these polynomials. This construction gives a combinatorial description for the set of all monomials in the quantum parameters that occur in the quantum product of two Schubert classes.
Symmetric iterated Betti numbers
Published
• View Publication
• BIB
We define a set of invariants of a homogeneous ideal $I$ in a polynomial ring called the symmetric iterated Betti numbers of $I$. For $I_Γ$, the Stanley-Reisner ideal of a simplicial complex $Γ$, these numbers are the symmetric counterparts of the exterior iterated Betti numbers of $Γ$ introduced by Duval and Rose. We show that the symmetric iterated Betti numbers of an ideal $I$ coincide with those of a particular reverse lexicographic generic initial ideal $\Gin(I)$ of $I$, and interpret these invariants in terms of the associated primes and standard pairs of $\Gin(I)$. We verify that for an ideal $I=I_Γ$ the extremal Betti numbers of $I_Γ$ are precisely the extremal (symmetric or exterior) iterated Betti numbers of $Γ$. We close with some results and conjectures about the relationship between symmetric and exterior iterated Betti numbers of a simplicial complex.
Pattern containment and combinatorial inequalities
We use a probabilistic method to produce some combinatorial inequalities by considering pattern containment in permutations and words.
The smallest degree sum that yields potentially $C_k$-graphical sequence
Published in Journal of Combinatorial Mathematics and Combinatorial Computing 49 (2004), 57-64
• Search Publication
In this paper we consider a variation of the classical Turán-type extremal problems. Let $S$ be an $n$-term graphical sequence, and $σ(S)$ be the sum of the terms in $S$. Let $H$ be a graph. The problem is to determine the smallest even $l$ such that any $n$-term graphical sequence $S$ having $σ(S)\ge l$ has a realization containing $H$ as a subgraph. Denote this value $l$ by $σ(H, n)$. We show $σ(C_{2m+1}, n)=m(2n-m-1)+2$, for $m\ge 3$, $n\ge 3m$; $σ(C_{2m+2}, n)=m(2n-m-1)+4$, for $m\ge 3, n\ge 5m-2$.
A Lower Bound for the Number of Edges in a Graph Containing No Two Cycles of the Same Length
Published in The Electronic Journal of Combinatorics 8(2001), #N9
• View Publication
• BIB
In 1975, P. Erdös proposed the problem of determining the maximum number $f(n)$ of edges in a graph of $n$ vertices in which any two cycles are of different lengths. In this paper, it is proved that $$f(n)\geq n+32t-1$$ for $t=27720r+169 (r\geq 1)$ and $n\geq{6911/16}t^{2}+{514441/8}t-{3309665/16}$. Consequently, $\liminf\sb {n \to \infty} {f(n)-n \over \sqrt n} \geq \sqrt {2 + {2562 \over 6911}}.$
Inversion of bilateral basic hypergeometric series
Published in Electron. J. Combin. 10 (2003), #R10, 27 pp.
• View Publication
• BIB
We present a new matrix inverse with applications in the theory of bilateral basic hypergeometric series. Our matrix inversion result is directly extracted from an instance of Bailey's very-well-poised 6-psi-6 summation theorem, and involves two infinite matrices which are not lower-triangular. We combine our bilateral matrix inverse with known basic hypergeometric summation theorems to derive, via inverse relations, several new identities for bilateral basic hypergeometric series.
Generalization of Schensted insertion algorithm to the cases of hooks and semi-shuffles
Published
• View Publication
• BIB
Given an rc-graph $R$ of permutation $w$ and an rc-graph $Y$ of permutation $v$, we provide an insertion algorithm, which defines an rc-graph $R\leftarrow Y$ in the case when $v$ is a shuffle with the descent at $r$ and $w$ has no descents greater than $r$ or in the case when $v$ is a shuffle, whose shape is a hook. This algorithm gives a combinatorial rule for computing the generalized Littlewood-Richardson coefficients $c^{u}_{wv}$ in the two cases mentioned above.
Expansive Motions and the Polytope of Pointed Pseudo-Triangulations
Published in In "Discrete and Computational Geometry -- The Goodman-Pollack Festschrift" (B. Aronov, S. Basu, J. Pach, M. Sharir, eds), Algorithms and Combinatorics 25, Springer Verlag, Berlin, June 2003, pp. 699-736
• View Publication
• BIB
We introduce the polytope of pointed pseudo-triangulations of a point set in the plane, defined as the polytope of infinitesimal expansive motions of the points subject to certain constraints on the increase of their distances. Its 1-skeleton is the graph whose vertices are the pointed pseudo-triangulations of the point set and whose edges are flips of interior pseudo-triangulation edges.
For points in convex position we obtain a new realization of the associahedron, i.e., a geometric representation of the set of triangulations of an n-gon, or of the set of binary trees on n vertices, or of many other combinatorial objects that are counted by the Catalan numbers. By considering the 1-dimensional version of the polytope of constrained expansive motions we obtain a second distinct realization of the associahedron as a perturbation of the positive cell in a Coxeter arrangement.
Our methods produce as a by-product a new proof that every simple polygon or polygonal arc in the plane has expansive motions, a key step in the proofs of the Carpenter's Rule Theorem by Connelly, Demaine and Rote (2000) and by Streinu (2000).
Spaces of coinvariants and fusion product I. From equivalence theorem to Kostka polynomials
Published in Duke Math. J. 125 (2004), no. 3, 549--588.
• View Publication
• BIB
The fusion rule gives the dimensions of spaces of conformal blocks in the WZW theory. We prove a dimension formula similar to the fusion rulefor spaces of coinvariants of affine Lie algebras g^. An equivalence of filtered spaces is established between spaces of coinvariants of two objects: highest weight g^-modules and tensor products of finite-dimensional evaluation representations of g\otimes\C[t].
In the sl_2 case we prove that their associated graded spaces are isomorphic to the spaces of coinvariants of fusion products, and that their Hilbert polynomials are the level-restricted Kostka polynomials.
Integral affine structures on spheres and torus fibrations of Calabi-Yau toric hypersurfaces I
We describe in purely combinatorial terms dual pairs of integral affine structures on spheres which come from the conjectural metric collapse of mirror families of Calabi-Yau toric hypersurfaces. The same structures arise on the base of a special Lagrangian torus fibration in the Strominger-Yau-Zaslow conjecture. We study the topological torus fibration in the large complex structure limit and show that it coincides with our combinatorial model.
Polynomial representatives of Schubert classes in QH^*(G/B)
Published
• View Publication
• BIB
We show how the quantum Chevalley formula for G/B, as stated by Peterson and proved rigorously by Fulton and Woodward, combined with ideas of Fomin, S. Gelfand and Postnikov, leads to a formula which describes polynomial representatives of the Schubert cohomology classes in the canonical presentation of QH^*(G/B) in terms of generators and relations.
Wide partitions, Latin tableaux, and Rota's basis conjecture
Published
• View Publication
• BIB
Say that mu is a ``subpartition'' of an integer partition lambda if the multiset of parts of mu is a submultiset of the parts of lambda, and define an integer partition lambda to be ``wide'' if for every subpartition mu of lambda, mu >= mu' in dominance order (where mu' denotes the conjugate or transpose of mu). Then Brian Taylor and the first author have conjectured that an integer partition lambda is wide if and only if there exists a tableau of shape lambda such that (1) for all i, the entries in the ith row of the tableau are precisely the integers from 1 to lambda_i inclusive, and (2) for all j, the entries in the jth column of the tableau are pairwise distinct. This conjecture was originally motivated by Rota's basis conjecture and, if true, yields a new class of integer multiflow problems that satisfy max-flow min-cut and integrality. Wide partitions also yield a class of graphs that satisfy ``delta-conjugacy'' (in the sense of Greene and Kleitman), and the above conjecture implies that these graphs furthermore have a completely saturated stable set partition. We present several partial results, but the conjecture remains very much open.
The Lattice of N-Run Orthogonal Arrays
Published in J. Statistical Planning and Inference, Vol. 102 (2002), pp. 477-500
• View Publication
• BIB
If the number of runs in a (mixed-level) orthogonal array of strength 2 is specified, what numbers of levels and factors are possible? The collection of possible sets of parameters for orthogonal arrays with N runs has a natural lattice structure, induced by the ``expansive replacement'' construction method. In particular the dual atoms in this lattice are the most important parameter sets, since any other parameter set for an N-run orthogonal array can be constructed from them. To get a sense for the number of dual atoms, and to begin to understand the lattice as a function of N, we investigate the height and the size of the lattice. It is shown that the height is at most [c(N-1)], where c= 1.4039... and that there is an infinite sequence of values of N for which this bound is attained. On the other hand, the number of nodes in the lattice is bounded above by a superpolynomial function of N (and superpolynomial growth does occur for certain sequences of values of N). Using a new construction based on ``mixed spreads'', all parameter sets with 64 runs are determined. Four of these 64-run orthogonal arrays appear to be new.
Some Canonical Sequences of Integers
Published in Linear Algebra and its Applications, Vol. 226-228 (1995), pp. 57-72; errata Vol. 320 (2000), p. 210
• View Publication
• BIB
Extending earlier work of R. Donaghey and P. J. Cameron, we investigate some canonical "eigen-sequences" associated with transformations of integer sequences. Several known sequences appear in a new setting: for instance the sequences (such as 1, 3, 11, 49, 257, 1531, ...) studied by T. Tsuzuku, H. O. Foulkes and A. Kerber in connection with multiply transitive groups are eigen-sequences for the binomial transform. Many interesting new sequences also arise, such as 1, 1, 2, 26, 152, 1144, ..., which shifts one place left when transformed by the Stirling numbers of the second kind, and whose exponential generating function satisfies A'(x) = A(e^x -1) + 1.
On Asymmetric Coverings and Covering Numbers
Published in J. Combinat. Designs 11 (2003), 218-228
• View Publication
• BIB
An asymmetric covering D(n,R) is a collection of special subsets S of an n-set such that every subset T of the n-set is contained in at least one special S with |S| - |T| <= R. In this paper we compute the smallest size of any D(n,1) for n <= 8. We also investigate ``continuous'' and ``banded'' versions of the problem. The latter involves the classical covering numbers C(n,k,k-1), and we determine the following new values: C(10,5,4) = 51, C(11,7,6,) =84, C(12,8,7) = 126, C(13,9,8)= 185 and C(14,10,9) = 259. We also find the number of nonisomorphic minimal covering designs in several cases.