Showing 20 papers (Total: 81378 papers, 47165 authors in database)
A GKM description of the equivariant cohomology ring of a homogeneous space
Published
• View Publication
• BIB
Let $T$ be a torus of dimension $n>1$ and $M$ a compact $T-$manifold. $M$ is a GKM manifold if the set of zero dimensional orbits in the orbit space $M/T$ is zero dimensional and the set of one dimensional orbits in $M/T$ is one dimensional. For such a manifold these sets of orbits have the structure of a labelled graph and it is known that a lot of topological information about $M$ is encoded in this graph.
In this paper we prove that every compact homogeneous space $M$ of non-zero Euler characteristic is of GKM type and show that the graph associated with $M$ encodes \emph{geometric} information about $M$ as well as topological information. For example, from this graph one can detect whether $M$ admits an invariant complex structure or an invariant almost complex structure.
The border of the Hilbert function of a set of points in P^{n_1} x ... x P^{n_k}
We describe the eventual behaviour of the Hilbert function of a set of distinct points in P^{n_1} x ... x P^{n_k}. As a consequence of this result, we show that the Hilbert function of a set of points in P^{n_1} x ... x P^{n_k} can be determined by computing the Hilbert function at only a finite number of values. Our result extends the result that the Hilbert function of a set of points in P^n stabilizes at the cardinality of the set of points. Motivated by our result, we introduce the notion of the_border_ of the Hilbert function of a set of points. By using the Gale-Ryser Theorem, a classical result about (0,1)-matrices, we characterize all the possible borders for the Hilbert function of a set of distinct points in P^1 x P^1.
On the Expansion of Graphs of 0/1-Polytopes
Published
• View Publication
• BIB
The edge expansion of a graph is the minimum quotient of the number of edges in a cut and the size of the smaller one among the two node sets separated by the cut. Bounding the edge expansion from below is important for bounding the ``mixing time'' of a random walk on the graph from above. It has been conjectured by Mihail and Vazirani that the graph of every 0/1-polytope has edge expansion at least one. A proof of this (or even a weaker) conjecture would imply solutions of several long-standing open problems in the theory of randomized approximate counting. We present different techniques for bounding the edge expansion of a 0/1-polytope from below. By means of these tools we show that several classes of 0/1-polytopes indeed have graphs with edge expansion at least one. These classes include all 0/1-polytopes of dimension at most five, all simple 0/1-polytopes, all hypersimplices, all stable set polytopes, and all (perfect) matching polytopes.
Puzzles and (equivariant) cohomology of Grassmannians
Published in Duke Math. J. 119 (2003), no. 2, 221--260
• View Publication
• BIB
We generalize our puzzle formula for ordinary Schubert calculus on Grassmannians, to a formula for the T-equivariant Schubert calculus. The structure constants to be calculated are polynomials in {y_{i+1} - y_i}; they were shown (abstractly) to have positive coefficients in [Graham] math.AG/9908172. Our formula is the first to be manifestly positive in this sense. In particular this gives a new and self-contained proof of the ordinary puzzle formula, by an induction backwards from the "most equivariant" case.
The proof of the formula is mostly combinatorial, but requires no prior combinatorics, and only a modicum of equivariant cohomology (which we include).
This formula is closely related to the one in [Molev-Sagan] q-alg/9707028 for multiplying factorial Schur functions in three sets of variables, although their rule does not give a positive formula in the sense of [Graham]. We include a cohomological interpretation of this problem, and a puzzle formulation for it.
Degree Bounds in Quantum Schubert Calculus
Published in Proceedings of the AMS, Volume 131, Number 9, 2649-2655 (2003)
• View Publication
• BIB
Fulton and Woodward have recently identified the smallest degree of $q$ that appears in the expansion of the product of two Schubert classes in the (small) quantum cohomology ring of a Grassmannian. We present a combinatorial proof of this result, and provide an alternative characterization of this smallest degree in terms of the rim hook formula for the quantum product.
Cactus Trees, and Estimations of the Spectral Radius of Vertex-Transitive Graphs
Published in Random walks and geometry, 349--361, Walter de Gruyter GmbH & Co. KG, Berlin, 2004
• View Publication
• BIB
This paper gives lower bounds on the spectral radius of vertex-transitive graphs, based on the number of ``prime cycles'' at a vertex. The bounds are obtained by constructing circuits in the graph that resemble ``cactus trees'', and enumerating them. Counting these circuits gives a coefficient-wise underestimation of the Green function of the graph, and hence and underestimation of its spectral radius.
The bounds obtained are very good for the Cayley graph of surface groups of genus g>=2, with standard generators (these graphs are the 1-skeletons of tessellations of hyperbolic plane by 4g-gons, 4g per vertex). We have for example for g=2
0.662420<=|M|<=0.662816, and for g=3
0.552773<=|M|<=0.552792.
A differential ideal of symmetric polynomials spanned by Jack polynomials at $β=-(r-1)/(k+1)$
For each pair of positive integers (k,r) such that k+1,r-1 are coprime, we introduce an ideal $I^{(k,r)}_n$ of the ring of symmetric polynomials. The ideal $I^{(k,r)}_n$ has a basis consisting of Jack polynomials with parameter $β=-(r-1)/(k+1)$, and admits an action of a family of differential operators of Dunkl type including the positive half of the Virasoro algebra. The space $I^{(k,2)}_n$ coincides with the space of all symmetric polynomials in $n$ variables which vanish when $k+1$ variables are set equal. The space $I_n^{(2,r)}$ coincides with the space of correlation functions of an abelian current of a vertex operator algebra related to Virasoro minimal series (3,r+2).
Guaranteeing the diversity of number generators
Published in Information and Computation 171 (2001), 350--363
• View Publication
• BIB
A major problem in using iterative number generators of the form x_i=f(x_{i-1}) is that they can enter unexpectedly short cycles. This is hard to analyze when the generator is designed, hard to detect in real time when the generator is used, and can have devastating cryptanalytic implications. In this paper we define a measure of security, called_sequence_diversity_, which generalizes the notion of cycle-length for non-iterative generators. We then introduce the class of counter assisted generators, and show how to turn any iterative generator (even a bad one designed or seeded by an adversary) into a counter assisted generator with a provably high diversity, without reducing the quality of generators which are already cryptographically strong.
On 321-avoiding permutations in affine Weyl groups
Published
• View Publication
• BIB
We introduce the notion of 321-avoiding permutations in the affine Weyl group $W$ of type $A_{n-1}$ by considering the group as a George group (in the sense of Eriksson and Eriksson). This enables us to generalize a result of Billey, Jockusch and Stanley to show that the 321-avoiding permutations in $W$ coincide with the set of fully commutative elements; in other words, any two reduced expressions for a 321-avoiding element of $W$ (considered as a Coxeter group) may be obtained from each other by repeated applications of short braid relations.
Using Shi's characterization of the Kazhdan--Lusztig cells in the group $W$, we use our main result to show that the fully commutative elements of $W$ form a union of Kazhdan--Lusztig cells. This phenomenon has been studied by the author and J. Losonczy for finite Coxeter groups, and is interesting partly because it allows certain structure constants for the Kazhdan--Lusztig basis of the associated Hecke algebra to be computed combinatorially.
We also show how some of our results can be generalized to a larger group of permutations, the extended affine Weyl group associated to $GL_n({\Bbb C})$.
Addendum to `Bosonic formulas for $(k,l)$-admissible partitions'
Published
• View Publication
• BIB
In our earlier paper we made a combinatorial study of (k,l)-admissible partitions. This object appeared already in the work of M. Primc as a label of a basis of level k-integrable modules over $\hat{sl}_l$. We clarify the relation between these two works. As a byproduct we obtain an explicit parameterization of the affine Weyl group of $\hat{sl}_l$ by a simple combinatorial set.
A derivation of the Catalan numbers from a bijection between permutations and labeled trees
We present an algorithmic mapping from permutations of length dn to labeled n-node d-ary trees and back again. Given such a bijection, one can interpret each of the factorials in the formula for the Catalan numbers as a count of permutations.
Enumeration of permutations containing a prescribed number of occurrences of a pattern of length 3
Published
• View Publication
• BIB
We consider the problem of enumerating the permutations containing exactly $k$ occurrences of a pattern of length 3. This enumeration has received a lot of interest recently, and there are a lot of known results. This paper presents an alternative approach to the problem, which yields a proof for a formula which so far only was conjectured (by Noonan and Zeilberger). This approach is based on bijections from permutations to certain lattice paths with ``jumps'', which were first considered by Krattenthaler.
Hard Lefschetz Theorem for Nonrational Polytopes
Published
• View Publication
• BIB
The Hard Lefschetz theorem is known to hold for the intersection cohomology of the toric variety associated to a rational convex polytope. One can construct the intersection cohomology combinatorially from the polytope, hence it is well defined even for nonrational polytopes when there is no variety associated to it. We prove the Hard Lefschetz theorem for the intersection cohomology of a general polytope.
A generalization of Filliman duality
Published in Proc. Amer. Math. Soc. 131 (2003), 3893-3899
• View Publication
• BIB
Filliman duality expresses (the characteristic measure of) a convex polytope P containing the origin as an alternating sum of simplices that share supporting hyperplanes with P. The terms in the alternating sum are given by a triangulation of the polar body P^o. The duality can lead to useful formulas for the volume of P. A limiting case called Lawrence's algorithm can be used to compute the Fourier transform of P.
In this note we extend Filliman duality to an involution on the space of polytopal measures on a finite-dimensional vector space, excluding polytopes that have a supporting hyperplane coplanar with the origin. As a special case, if P is a convex polytope containing the origin, any realization of P^o as a linear combination of simplices leads to a dual realization of P.
A unifying generalization of Sperner's theorem
Published in More Sets, Graphs and Numbers: A Salute to Vera Sos and Andras Hajnal (E. Gyari, G. O. H. Katona, and L. Lovasz, eds.) Bolyai Society Mathematical Studies 15, pp. 9-24. Springer, Berlin, and Janos Bolyai Mathematical Society, Budapest, 2006
• View Publication
• BIB
Sperner's bound on the size of an antichain in the lattice P(S) of subsets of a finite set S has been generalized in three different directions: by Erdos to subsets of P(S) in which chains contain at most r elements; by Meshalkin to certain classes of compositions of S; by Griggs, Stahl, and Trotter through replacing the antichains by certain sets of pairs of disjoint elements of P(S). We unify Erdos's, Meshalkin's, and Griggs-Stahl-Trotter's inequalities with a common generalization. We similarly unify their accompanying LYM inequalities. Our bounds do not in general appear to be the best possible.
A shorter, simpler, stronger proof of the Meshalkin-Hochberg-Hirsch bounds on componentwise antichains
Published in J. Combin. Th. Ser. A 100 (2002), 196--199
• View Publication
• BIB
Meshalkin's theorem states that a class of ordered p-partitions of an n-set has at most $\max \binom{n}{a_1,...,a_p}$ members if for each k the k'th parts form an antichain. We give a new proof of this and the corresponding LYM inequality due to Hochberg and Hirsch, which is simpler and more general than previous proofs. It extends to a common generalization of Meshalkin's theorem and Erdos's theorem about r-chain-free set families.
A Meshalkin theorem for projective geometries
Published in Journal of Combinatorial Theory Series A 102 (2003), 433-441
• View Publication
• BIB
Let M be a family of sequences (a_1,...,a_p) where each a_k is a flat in a projective geometry of rank n (dimension n-1) and order q, and the sum of ranks, r(a_1) + ... + r(a_p), equals the rank of the join a_1 v ... v a_p. We prove upper bounds on |M| and corresponding LYM inequalities assuming that (i) all joins are the whole geometry and for each k<p the set of all a_k's of sequences in M contains no chain of length l, and that (ii) the joins are arbitrary and the chain condition holds for all k. These results are q-analogs of generalizations of Meshalkin's and Erdos's generalizations of Sperner's theorem and their LYM companions, and they generalize Rota and Harper's q-analog of Erdos's generalization.
Descent Representations and Multivariate Statistics
Published
• View Publication
• BIB
Combinatorial identities on Weyl groups of types $A$ and $B$ are derived from special bases of the corresponding coinvariant algebras. Using the Garsia-Stanton descent basis of the coinvariant algebra of type $A$ we give a new construction of the Solomon descent representations. An extension of the descent basis to type $B$, using new multivariate statistics on the group, yields a refinement of the descent representations. These constructions are then applied to refine well-known decomposition rules of the coinvariant algebra and to generalize various identities.
Dedekind sums: a combinatorial-geometric viewpoint
Published in M. B. Nathanson (ed.), Unusual Applications of Number Theory, DIMACS: Series in Discrete Mathematics and Theoretical Computer Science 64 (2004), 25-35
• View Publication
• BIB
The literature on Dedekind sums is vast. In this expository paper we show that there is a common thread to many generalizations of Dedekind sums, namely through the study of lattice point enumeration of rational polytopes. In particular, there are some natural finite Fourier series which we call Fourier-Dedekind sums, and which form the building blocks of the number of partitions of an integer from a finite set of positive integers. This problem also goes by the name of the `coin exchange problem'. Dedekind sums have enjoyed a resurgence of interest recently, from such diverse fields as topology, number theory, and combinatorial geometry. The Fourier-Dedekind sums we study here include as special cases generalized Dedekind sums studied by Berndt, Carlitz, Grosswald, Knuth, Rademacher, and Zagier. Our interest in these sums stems from the appearance of Dedekind's and Zagier's sums in lattice point count formulas for polytopes. Using some simple generating functions, we show that generalized Dedekind sums are natural ingredients for such formulas. As immediate `geometric' corollaries to our formulas, we obtain and generalize reciprocity laws of Dedekind, Zagier, and Gessel. Finally, we prove a polynomial-time complexity result for Zagier's higher-dimensional Dedekind sums.
The Floyd-Warshall Algorithm, the AP and the TSP, Part II
In math.CO/0111309, we used admissible permutations and a variant of the Floyd-Warshall Algorithm to obtain an optimal solution to the Assignment Problem and an approximate solution to the Traveling Salesman Problem. Here we give a large, detailed illustration of how the algorithms are applied.