Showing 20 papers (Total: 81378 papers, 47165 authors in database)
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
• Search Publication
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.
Discrete Tomography: Reconstruction under periodicity constraints
Published
• View Publication
• BIB
This paper studies the problem of reconstructing binary matrices that are only accessible through few evaluations of their discrete X-rays. Such question is prominently motivated by the demand in material science for developing a tool for the reconstruction of crystalline structures from their images obtained by high-resolution transmission electron microscopy. Various approaches have been suggested for solving the general problem of reconstructing binary matrices that are given by their discrete X-rays in a number of directions, but more work have to be done to handle the ill-posedness of the problem. We can tackle this ill-posedness by limiting the set of possible solutions, by using appropriate a priori information, to only those which are reasonably typical of the class of matrices which contains the unknown matrix that we wish to reconstruct. Mathematically, this information is modelled in terms of a class of binary matrices to which the solution must belong. Several papers study the problem on classes of binary matrices on which some connectivity and convexity constraints are imposed. We study the reconstruction problem on some new classes consisting of binary matrices with periodicity properties, and we propose a polynomial-time algorithm for reconstructing these binary matrices from their orthogonal discrete X-rays.
Spindle configurations of skew lines
Published in Geom. Topol. 11 (2007) 1049-1081
• View Publication
• BIB
We prove a conjecture of Crapo and Penne which characterizes isotopy classes of skew configurations with spindle-structure. We use this result in order to define an invariant, spindle-genus, for spindle-configurations.
We also slightly simplify the exposition of some known invariants for configurations of skew lines and use them to define a natural partition of the lines in a skew configuration.
Finally, we describe an algorithm which constructs a spindle in a given switching class, or proves non-existence of such a spindle.
Random Planar Lattices and Integrated SuperBrownian Excursion
Published
• View Publication
• BIB
In this paper, a surprising connection is described between a specific brand of random lattices, namely planar quadrangulations, and Aldous' Integrated SuperBrownian Excursion (ISE). As a consequence, the radius r_n of a random quadrangulation with n faces is shown to converge, up to scaling, to the width r=R-L of the support of the one-dimensional ISE. More generally the distribution of distances to a random vertex in a random quadrangulation is described in its scaled limit by the random measure ISE shifted to set the minimum of its support in zero.
The first combinatorial ingredient is an encoding of quadrangulations by trees embedded in the positive half-line, reminiscent of Cori and Vauquelin's well labelled trees. The second step relates these trees to embedded (discrete) trees in the sense of Aldous, via the conjugation of tree principle, an analogue for trees of Vervaat's construction of the Brownian excursion from the bridge.
From probability theory, we need a new result of independent interest: the weak convergence of the encoding of a random embedded plane tree by two contour walks to the Brownian snake description of ISE.
Our results suggest the existence of a Continuum Random Map describing in term of ISE the scaled limit of the dynamical triangulations considered in two-dimensional pure quantum gravity.
The ring of multisymmetric functions
Published
• View Publication
• BIB
Let R be a commutative ring and let n,m be two positive integers. Let be the polynomial ring in m x n commuting independent variables R. The symmetric group on n letters acts diagonally on A(n,m). We give generators and relations of the rings of invariants for this action.
The h-vector of a ladder determinantal ring cogenerated by 2x2 minors is log-concave
Published
• View Publication
• BIB
We show that the h-vector of a ladder determinantal ring cogenerated by M=[u_1|v_1] is log-concave. Thus we prove an instance of a conjecture of Stanley, resp. Conca and Herzog
Generalized pattern avoidance with additional restrictions
Babson and Steingrímsson introduced generalized permutation patterns that allow the requirement that two adjacent letters in a pattern must be adjacent in the permutation. We consider n-permutations that avoid the generalized pattern 1-32 and whose k rightmost letters form an increasing subword. The number of such permutations is a linear combination of Bell numbers. We find a bijection between these permutations and all partitions of an $(n-1)$-element set with one subset marked that satisfy certain additional conditions. Also we find the e.g.f. for the number of permutations that avoid a generalized 3-pattern with no dashes and whose k leftmost or k rightmost letters form either an increasing or decreasing subword. Moreover, we find a bijection between n-permutations that avoid the pattern 132 and begin with the pattern 12 and increasing rooted trimmed trees with n+1 nodes.
There are no iterated morphisms that define the Arshon sequence and the $σ$-sequence
Berstel proved that the Arshon sequence cannot be obtained by iteration of a morphism. An alternative proof of this fact is given here. The $σ$-sequence was constructed by Evdokimov in order to construct chains of maximal length in the n-dimensional unit cube. It turns out that the $σ$-sequence has a close connection to the Dragon curve. We prove that the $σ$-sequence can not be defined by iteration of a morphism.
Crucial Words and the Complexity of Some Extremal Problems for Sets of Prohibited Words
Published
• View Publication
• BIB
We introduced the notation of a set of prohibitions and give definitions of a complete set and a crucial word with respect to a given set of prohibitions. We consider 3 particular sets which appear in different areas of mathematics and for each of them examine the length of a crucial word. One of these sets is proved to be incomplete. The problem of determining lengths of words that are free from a set of prohibitions is shown to be NP-complete, although the related problem of whether or not a given set of prohibitions is complete is known to be effectively solvable.
A New Operation on Sequences: the Boustrouphedon Transform
Published in J. Combinatorial Theory, Series A 76(1):44-54 (1996)
• View Publication
• BIB
A generalization of the Seidel-Entringer-Arnold method for calculating the alternating permutation numbers (or secant-tangent numbers) leads to a new operation on integer sequences, the Boustrophedon transform.
132-avoiding Two-stack Sortable Permutations, Fibonacci Numbers, and Pell Numbers
Published
• View Publication
• BIB
In 1990 West conjectured that there are $2(3n)!/((n+1)!(2n+1)!)$ two-stack sortable permutations on $n$ letters. This conjecture was proved analytically by Zeilberger in 1992. Later, Dulucq, Gire, and Guibert gave a combinatorial proof of this conjecture. In the present paper we study generating functions for the number of two-stack sortable permutations on $n$ letters avoiding (or containing exactly once) 132 and avoiding (or containing exactly once) an arbitrary permutation $τ$ on $k$ letters. In several interesting cases this generating function can be expressed in terms of the generating function for the Fibonacci numbers or the generating function for the Pell numbers.
On coefficients of Yablonskii-Vorob'ev polynomial
Published
• View Publication
• BIB
We give a formula for the coefficients of the Yablonskii-Vorob'ev polynomial. Also the reduction modulo a prime number of the polynomial is studied.
Smoothness of Schubert varieties via patterns in root systems
Published
• View Publication
• BIB
The aim of this article is to present a smoothness criterion for Schubert varieties in generalized flag manifolds $G/B$ in terms of patterns in root systems. We generalize Lakshmibai-Sandhya's well-known result that says that a Schubert variety in $SL(n)/B$ is smooth if and only if the corresponding permutation avoids the patterns 3412 and 4231. Our criterion is formulated uniformly in general Lie theoretic terms. We define a notion of pattern in Weyl group elements and show that a Schubert variety is smooth (or rationally smooth) if and only if the corresponding element of the Weyl group avoids a certain finite list of patterns. These forbidden patterns live only in root subsystems with star-shaped Dynkin diagrams. In the simply-laced case the list of forbidden patterns is especially simple: besides two patterns of type $A_3$ that appear in Lakshmibai-Sandhya's criterion we only need one additional forbidden pattern of type $D_4$. Remarkably, several other important classes of elements in Weyl groups can also be described in terms of forbidden patterns. For example, the fully commutative elements in Weyl groups have such a characterization. In order to prove our criterion we used several known results for the classical types. For the exceptional types, our proof is based on computer verifications. In order to conduct such a verification for the computationally challenging type $E_8$, we derived several general results on Poincaré polynomials of cohomology rings of Schubert varieties based on parabolic decomposition, which have an independent interest.
Simultaneous avoidance of generalized patterns
In [BabStein] Babson and Steingrímsson introduced generalized permutation patterns that allow the requirement that two adjacent letters in a pattern must be adjacent in the permutation. In [Kit1] Kitaev considered simultaneous avoidance (multi-avoidance) of two or more 3-patterns with no internal dashes, that is, where the patterns correspond to contiguous subwords in a permutation. There either an explicit or a recursive formula was given for all but one case of simultaneous avoidance of more than two patterns.
In this paper we find the exponential generating function for the remaining case. Also we consider permutations that avoid a pattern of the form $x-yz$ or $xy-z$ and begin with one of the patterns $12... k$, $k(k-1)... 1$, $23... k1$, $(k-1)(k-2)... 1k$ or end with one of the patterns $12... k$, $k(k-1)... 1$, $1k(k-1)... 2$, $k12... (k-1)$. For each of these cases we find either the ordinary or exponential generating functions or a precise formula for the number of such permutations. Besides we generalize some of the obtained results as well as some of the results given in [Kit3]: we consider permutations avoiding certain generalized 3-patterns and beginning (ending) with an arbitrary pattern having either the greatest or the least letter as its rightmost (leftmost) letter.