group
10226 papers tagged with this keyword
The ring of multisymmetric functions
Published
• View Publication
• BIB
Let R be a commutative ring and let n,m be two positive integers. The symmetric group on n letters acts diagonally on the ring of polynomials in nxm variables with coefficients in R. The subrings of invariants for this action is called the ring of multisymmetric functions since these are the usual symmetric functions when m=1. In this paper we will give a presentation in terms of generators and relations that holds for any R and any n,m answering in this way to a classical question. I would like to thank M.Brion, C.De Concini and C.Procesi, in alphabetical order, for useful discussions.
Cyclic descents and P-partitions
Published
• View Publication
• BIB
Louis Solomon showed that the group algebra of the symmetric group $\mathfrak{S}_{n}$ has a subalgebra called the descent algebra, generated by sums of permutations with a given descent set. In fact, he showed that every Coxeter group has something that can be called a descent algebra. There is also a commutative, semisimple subalgebra of Solomon's descent algebra generated by sums of permutations with the same number of descents: an "Eulerian" descent algebra. For any Coxeter group that is also a Weyl group, Paola Cellini proved the existence of a different Eulerian subalgebra based on a modified definition of descent. We derive the existence of Cellini's subalgebra for the case of the symmetric group and of the hyperoctahedral group using a variation on Richard Stanley's theory of $P$-partitions.
Signature quantization, representations of compact Lie groups, and a q-analogue of the Kostant partition function
Published
• View Publication
• BIB
We discuss some applications of signature quantization to the representation theory of compact Lie groups. In particular, we prove signature analogues of the Kostant formula for weight multiplicities and the Steinberg formula for tensor product multiplicities. Using symmetric functions, we also find, for type A, analogues of the Weyl branching rule and the Gelfand-Tsetlin theorem. These analogues involve a q-analogue of the Kostant partition function. We show that in type A, this q-analogue is polynomial in the relative interior of the cells of a complex of cones. This chamber complex can be taken to be the same as the chamber complex of the usual Kostant partition function. We present the case of A_2 as a detailed example.
MacMahon-type Identities for Signed Even Permutations
Published in Electronic Journal of Combinatorics 11 (2004), #R83
• View Publication
• BIB
MacMahon's classic theorem states that the 'length' and 'major index' statistics are equidistributed on the symmetric group S_n. By defining natural analogues or generalizations of those statistics, similar equidistribution results have been obtained for the alternating group A_n by Regev and Roichman, for the hyperoctahedral group B_n by Adin, Brenti and Roichman, and for the group of even-signed permutations D_n by Biagioli. We prove analogues of MacMahon's equidistribution theorem for the group of signed even permutations and for its subgroup of even-signed even permutations.
Affine Hecke algebras and the Schubert calculus
Published
• View Publication
• BIB
Using a combinatorial approach which avoids geometry, this paper studies the ring structure of K_T(G/B), the T-equivariant K-theory of the (generalized) flag variety G/B. Here the data is a complex reductive algebraic group (or symmetrizable Kac-Moody group) G, a Borel subgroup B, and a maximal torus T, and K_T(G/B) is the Grothendieck group of T-equivariant coherent sheaves on G/B. We prove "Pieri-Chevalley" formulas for the products of a Schubert class by a homogeneous line bundle (dominant or anti-dominant) and for products of a Schubert class by a codimension 1 Schubert class. All of these Pieri-Chevalley formulas are given in terms of the combinatorics of the Littelmann path model. We give explicit computations of products of Schubert classes for the rank two cases and this data allows us to make a "positivity conjecture" generalizing the theorems of Brion and Graham, which treat the cases K(G/B) and H_T^*(G/B), respectively.
Decreasing subsequences in permutations and Wilf equivalence for involutions
Published in Journal of Algebraic Combinatorics / Journal of Algebraic Combinatorics An International Journal 22, 4 (2005) 383 - 409
• View Publication
• BIB
In a recent paper, Backelin, West and Xin describe a map $φ^*$ that recursively replaces all occurrences of the pattern $k... 21$ in a permutation $σ$ by occurrences of the pattern $(k-1)... 21 k$. The resulting permutation $φ^*(σ)$ contains no decreasing subsequence of length $k$. We prove that, rather unexpectedly, the map $φ^*$ commutes with taking the inverse of a permutation. In the BWX paper, the definition of $φ^*$ is actually extended to full rook placements on a Ferrers board (the permutations correspond to square boards), and the construction of the map $φ^*$ is the key step in proving the following result. Let $T$ be a set of patterns starting with the prefix $12... k$. Let $T'$ be the set of patterns obtained by replacing this prefix by $k... 21$ in every pattern of $T$. Then for all $n$, the number of permutations of the symmetric group $\Sn_n$ that avoid $T$ equals the number of permutations of $\Sn_n$ that avoid $T'$. Our commutation result, generalized to Ferrers boards, implies that the number of {\em involutions} of $\Sn_n$ that avoid $T$ is equal to the number of involutions of $\Sn_n$ avoiding $T'$, as recently conjectured by Jaggard.
Order ideals in weak subposets of Young's lattice and associated unimodality conjectures
Published
• View Publication
• BIB
The k-Young lattice Y^k is a weak subposet of the Young lattice containing partitions whose first part is bounded by an integer k>0. The Y^k poset was introduced in connection with generalized Schur functions and later shown to be isomorphic to the weak order on the quotient of the affine symmetric group by a maximal parabolic subgroup. We prove a number of properties for $Y^k$ including that the covering relation is preserved when elements are translated by rectangular partitions with hook-length $k$. We highlight the order ideal generated by an $m\times n$ rectangular shape. This order ideal, L^k(m,n), reduces to L(m,n) for large k, and we prove it is isomorphic to the induced subposet of L(m,n) whose vertex set is restricted to elements with no more than k-m+1 parts smaller than m. We provide explicit formulas for the number of elements and the rank-generating function of L^k(m,n). We conclude with unimodality conjectures involving q-binomial coefficients and discuss how implications connect to recent work on sieved q-binomial coefficients.
The Covariance of Topological Indices that Depend on the Degree of a Vertex
We consider topological indices I that are sums of f(deg(u)) f(deg(v)), where {u,v} are adjacent vertices and f is a function. The Randi{ć} connectivity index or the Zagreb group index are examples for indices of this kind. In earlier work on topological indices that are sums of independent random variables, we identified the correlation between I and the edge set of the molecular graph as the main cause for correlated indices. We prove a necessary and sufficient condition for I having zero covariance with the edge set.
Weak Bruhat order on the set of faces of the permutahedra
Published
• View Publication
• BIB
We extend the weak Bruhat order of a finite Coxeter group to the set of its coclasses, modulo parabolic standard subgroups. We use this order to describe associative algebra structures on the vector spaces spanned by the faces of permutahedra on one side, and on the vector space spanned by the planar rooted trees, on the other one.
Signed Mahonian polynomials for classical Weyl groups
Published
• View Publication
• BIB
The generating functions of the major index and of the flag-major index, with each of the one-dimensional characters over the symmetric and hyperoctahedral group, respectively, have simple product formulas. In this paper, we give a factorial-type formula for the generating function of the D-major index with sign over the Weyl groups of type D. This completes a picture which is now known for all the classical Weyl groups.
A local-global theorem on periodic maps
Published in J. Algebra 293(2005), 506--512
• View Publication
• BIB
Let $ψ_1,...,ψ_k$ be maps from Z to an additive abelian group with positive periods $n_1,...,n_k$ respectively. We show that the function $ψ=ψ_1+...+ψ_k$ is constant if $ψ(x)$ equals a constant for |S| consecutive integers x where S={r/n_s: r=0,...,n_s-1; s=1,...,k}; moreover, there are periodic maps $f_0,...,f_{|S|-1}$ from Z to Z only depending on S such that $ψ(x)=\sum_{r=0}^{|S|-1}f_r(x)ψ(r)$ for all integers x. This local-global theorem extends a previous result [Math. Res. Lett. 11(2004), 187--196], and has various applications.
Improved bounds for the crossing numbers of K_m,n and K_n
Published in SIAM J. Discr. Math. 20(2006), 189--202
• View Publication
• BIB
It has been long--conjectured that the crossing number cr(K_m,n) of the complete bipartite graph K_m,n equals the Zarankiewicz Number Z(m,n):= floor((m-1)/2) floor(m/2) floor((n-1)/2) floor(n/2). Another long--standing conjecture states that the crossing number cr(K_n) of the complete graph K_n equals Z(n):= floor(n/2) floor((n-1)/2) floor((n-2)/2) floor((n-3)/2)/4. In this paper we show the following improved bounds on the asymptotic ratios of these crossing numbers and their conjectured values:
(i) for each fixed m >= 9, lim_{n->infty} cr(K_m,n)/Z(m,n) >= 0.83m/(m-1);
(ii) lim_{n->infty} cr(K_n,n)/Z(n,n) >= 0.83; and
(iii) lim_{n->infty} cr(K_n)/Z(n) >= 0.83.
The previous best known lower bounds were 0.8m/(m-1), 0.8, and 0.8, respectively. These improved bounds are obtained as a consequence of the new bound cr(K_{7,n}) >= 2.1796n^2 - 4.5n. To obtain this improved lower bound for cr(K_{7,n}), we use some elementary topological facts on drawings of K_{2,7} to set up a quadratic program on 6! variables whose minimum p satisfies cr(K_{7,n}) >= (p/2)n^2 - 4.5n, and then use state--of--the--art quadratic optimization techniques combined with a bit of invariant theory of permutation groups to show that p >= 4.3593.
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.
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.
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.
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.
Non-backtracking random walks and cogrowth of graphs
Published in Canadian J. Math.59 (2007) 828-844
• View Publication
• BIB
Let X be a locally finite, connected graph without vertices of degree 1. Non-backtracking random walk moves at each step with equal probability to one of the "forward" neighbours of the actual state, i.e., it does not go back along the preceding edge to the preceding state. This is not a Markov chain, but can be turned into a Markov chain whose state space is the set of oriented edges of X. Thus we obtain for infinite X that the n-step non-backtracking transition probabilities tend to zero, and we can also compute their limit when X is finite. This provides a short proof of old results concerning cogrowth of groups, and makes the extension of that result to arbitrary regular graphs rigorous. Even when X is non-regular, but "small cycles are dense" in X, we show that the graph X is non-amenable if and only if the non-backtracking n-step transition probabilities decay exponentially fast. This is a partial generalization of the cogrowth criterion for regular graphs which comprises the original cogrowth criterion for finitely generated groups of Grigorchuk and Cohen.
SPM Bulletin 8
Never has an issue of the SPM Bulletin contained as much interesting information as this issue does. In addition to the interesting research announcements, this issue contains announcements of solutions for three open problems, one of which being a Problem of the Month in an earlier issue.
CONTENTS: The Reznichenko property and the Pytkeev property in hyperspaces; Between Maharam's and von Neumann's problems; Fraisse Limits, Ramsey Theory, and Topological Dynamics of Automorphism Groups; Concerning problems about cardinal invariants on Boolean algebras; Small Locally Compact Linearly Lindelof Spaces; Luzin gaps; The weak Fréchet-Urysohn property in function spaces; $F$-Hurewicz spaces; Open problems in topology; The hyper-weak distributive law and a related game in Boolean algebras; Problem of Issue 7 solved; Errata to: Hereditary topological diagonalizations and the Menger-Hurewicz Conjectures; The additivity number of the Menger and Scheepers properties; Conferences: Geometric Topology: Infinite-Dimensional Topology, Absolute Extensors, Applications; Problem of the month; Problems from earlier issues; References