group
10399 papers tagged with this keyword
Symmetric Groups and Expanders
Published
• View Publication
• BIB
We construct an explicit generating sets $F_n$ and $\tilde F_n$ of the alternating and the symmetric groups, which make the Cayley graphs $C(Alt(n), F_n)$ and $C(Sym(n), \tilde F_n)$ a family of bounded degree expanders for all sufficiently large $n$. These expanders have many applications in the theory of random walks on groups and other areas of mathematics.
On the Number of Hamiltonian Groups
Finite hamiltonian groups are counted. The sequence of numbers of all groups of order $n$ all whose subgroups are normal and the sequence of numbers of all groups of order less or equal to $n$ all whose subgroups are normal are presented.
A Foata bijection for the alternating group and for q analogues
Published in Séminaire Lotharingien Combin. 53 (2005), Article B53b, 16 pp
• Search Publication
The Foata bijection $Φ: S_n \to S_n$ is extended to the bijections $Ψ: A_{n+1} \to A_{n+1}$ and $Ψ_q : S_{n+q-1} \to S_{n+q-1}$, where S_m, A_m are the symmetric and the alternating groups. These bijections imply bijective proofs for recent equidistribution theorems, by Regev and Roichman, for A_{n+1} and for S_{n+q-1}.
Counting formulas associated with some random matrix averages
Published
• View Publication
• BIB
Moments of secular and inverse secular coefficients, averaged over random matrices from classical groups, are related to the enumeration of non-negative matrices with prescribed row and column sums. Similar random matrix averages are related to certain configurations of vicious random walkers and to the enumeration of plane partitions. The combinatorial meaning of the average of the characteristic polynomial of random Hermitian and Wishart matrices is also investigated, and consequently several simple universality results are derived.
Shellability of noncrossing partition lattices
Published
• View Publication
• BIB
We give a case-free proof that the lattice of noncrossing partitions associated to any finite real reflection group is EL-shellable. Shellability of these lattices was open for the groups of type $D_n$ and those of exceptional type and rank at least three.
On identities concerning the numbers of crossings and nestings of two edges in matchings
Published
• View Publication
• BIB
Let M,N be two matchings on [2n]={1, 2, ..., 2n} (possibly M=N) and for a nonnegative integer l let T(M,l) be the set of those matchings on [2n+2l] which can be obtained from M by successively adding l times in all ways the first edge, and similarly for T(N,l). Let s,t in {cr,ne} where cr is the statistic of the number of crossings (in a matching) and ne is the statistic of the number of nestings (possibly s=t). We prove that if the statistics s and t coincide on the sets of matchings T(M,l) and T(N,l) for l=0,1, they must coincide on these sets for every l >= 0; similar identities hold for the joint statistic of cr and ne. These results are instances of a general identity in which crossings and nestings are weighted by elements from an abelian group.
Permutation polytopes and indecomposable elements in permutation groups
Published
• View Publication
• BIB
Each group G of nxn permutation matrices has a corresponding permutation polytope, P(G):=conv(G) in R^{nxn}. We relate the structure of P(G) to the transitivity of G. In particular, we show that if G has t nontrivial orbits, then min{2t,floor(n/2)} is a sharp upper bound on the diameter of the graph of P(G); so if G is transitive, the diameter is at most 2. We also show that P(G) achieves its maximal dimension of (n-1)^2 precisely when G is 2-transitive. We then extend results of I. Pak on mixing times for a random walk on P(G). Our work depends on a new result for permutation groups involving writing permutations as products of indecomposable permutations.
A Solomon descent theory for the wreath products G ~ S_n
Published in Trans. Amer. Math. Soc. 360 (2008), 1475-1538
• View Publication
• BIB
We propose an analogue of Solomon's descent theory for the case of a wreath product G ~ S_n, where G is a finite abelian group. Our construction mixes a number of ingredients: Mantaci-Reutenauer algebras, Specht's theory for the representations of wreath products, Okada's extension to wreath products of the Robinson-Schensted correspondence, Poirier's quasisymmetric functions. We insist on the functorial aspect of our definitions and explain the relation of our results with previous work concerning the hyperoctaedral group.
Cohomology of partially ordered sets and local cohomology of section rings
Published in Adv. Math. 208 (2007), no. 1, 210-235
• View Publication
• BIB
We study local cohomology of rings of global sections of sheafs on the Alexandrov space of a partially ordered set. We give a criterion for a splitting of the local cohomology groups into summands determined by the cohomology of the poset and the local cohomology of the stalks. The face ring of a rational pointed fan can be considered as the ring of global sections of a flasque sheaf on the face poset of the fan. Thus we obtain a decomposition of the local cohomology of such face rings. Since the Stanley-Reisner ring of a simplicial complex is the face ring of a rational pointed fan, our main result can be interpreted as a generalization of Hochster's decomposition of local cohomology of Stanley-Reisner rings.
The hook fusion procedure
Published in Electronic Journal of Combinatorics 12(1), (2005), R26
• View Publication
• BIB
We derive a new expression for the diagonal matrix elements of irreducible representations of the symmetric group. We obtain this new expression using Cherednik's fusion procedure. However, instead of splitting Young diagrams into their rows or columns, we consider their principal hooks. This minimises the number of auxiliary parameters needed in the fusion procedure.
Sign balance for finite groups of Lie type
Published
• View Publication
• BIB
A product formula for the parity generating function of the number of 1's in invertible matrices over Z_2 is given. The computation is based on algebraic tools such as the Bruhat decomposition. The same technique is used to obtain a parity generating function also for symplectic matrices over Z_2. We present also a generating function for the sum of entries of matrices over an arbitrary finite field F_q calculated in F_q. These formulas are new appearances of the Mahonian distribution.
Intersections of Schubert varieties and other permutation array schemes
Published
• View Publication
• BIB
Using a blend of combinatorics and geometry, we give an algorithm for algebraically finding all flags in any zero-dimensional intersection of Schubert varieties with respect to three transverse flags, and more generally, any number of flags. In particular, the number of flags in a triple intersection is also a structure constant for the cohomology ring of the flag manifold. Our algorithm is based on solving a limited number of determinantal equations for each intersection (far fewer than the naive approach). These equations may be used to compute Galois and monodromy groups of intersections of Schubert varieties. We are able to limit the number of equations by using the permutation arrays of Eriksson and Linusson, and their permutation array varieties, introduced as generalizations of Schubert varieties. We show that there exists a unique permutation array corresponding to each realizable Schubert problem and give a simple recurrence to compute the corresponding rank table, giving in particular a simple criterion for a Littlewood-Richardson coefficient to be 0. We describe pathologies of Eriksson and Linusson's permutation array varieties (failure of existence, irreducibility, equidimensionality, and reducedness of equations), and define the more natural permutation array schemes. In particular, we give several counterexamples to the Realizability Conjecture based on classical projective geometry. Finally, we give examples where Galois/monodromy groups experimentally appear to be smaller than expected.
Resonance, linear syzygies, Chen groups, and the Bernstein-Gelfand-Gelfand correspondence
Published in Trans. Amer. Math. Soc. 358 (2006), no. 5, 2269-2289
• View Publication
• BIB
If \A is a complex hyperplane arrangement, with complement X, we show that the Chen ranks of G=π_1(X) are equal to the graded Betti numbers of the linear strand in a minimal, free resolution of the cohomology ring A=H^*(X,\k), viewed as a module over the exterior algebra E on \A: θ_k(G) = \dim_\k Tor^E_{k-1}(A,\k)_k, where \k is a field of characteristic 0, and k\ge 2. The Chen ranks conjecture asserts that, for k sufficiently large, θ_k(G) =(k-1) \sum_{r\ge 1} h_r \binom{r+k-1}{k}, where h_r is the number of r-dimensional components of the projective resonance variety R^1(\A). Our earlier work on the resolution of A over E and the above equality yield a proof of the conjecture for graphic arrangements. Using results on the geometry of R^1(\A) and a localization argument, we establish the conjectured lower bound for the Chen ranks of an arbitrary arrangement \A. Finally, we show that there is a polynomial P(t) of degree equal to the dimension of R^1(\A), such that θ_k(G) = P(k), for k sufficiently large.
On the homotopy Lie algebra of an arrangement
Published in Michigan Mathematical Journal 54 (2006), no. 2, 319-340
• View Publication
• BIB
Let A be a graded-commutative, connected k-algebra generated in degree 1. The homotopy Lie algebra g_A is defined to be the Lie algebra of primitives of the Yoneda algebra, Ext_A(k,k). Under certain homological assumptions on A and its quadratic closure, we express g_A as a semi-direct product of the well-understood holonomy Lie algebra h_A with a certain h_A-module. This allows us to compute the homotopy Lie algebra associated to the cohomology ring of the complement of a complex hyperplane arrangement, provided some combinatorial assumptions are satisfied. As an application, we give examples of hyperplane arrangements whose complements have the same Poincaré polynomial, the same fundamental group, and the same holonomy Lie algebra, yet different homotopy Lie algebras.
Cubature formulas, geometrical designs, reproducing kernels, and Markov operators
Published
• View Publication
• BIB
Cubature formulas and geometrical designs are described in terms of reproducing kernels for Hilbert spaces of functions on the one hand, and Markov operators associated to orthogonal group representations on the other hand. In this way, several known results for spheres in Euclidean spaces, involving cubature formulas for polynomial functions and spherical designs, are shown to generalize to large classes of finite measure spaces $(Ω,σ)$ and appropriate spaces of functions inside $L^2(Ω,σ)$. The last section points out how spherical designs are related to a class of reflection groups which are (in general dense) subgroups of orthogonal groups.
A Commutative Family of Integral Transformations and Basic Hypergeometric Series. II. Eigenfunctions and Quasi-Eigenfunctions
A series of conjectures is obtained as further investigation of the integral transformation I(alpha) introduced in the previous paper. A Macdonald-type difference operator D is introduced. It is conjectured that D and I(alpha) are commutative with each other. Studying the series for the eigenfunctions under termination conditions, it is observed that a deformed Weyl group action appears as a hidden symmetry. An infinite product formula for the eigenfunction is found for a spacial case of parameters. A one parameter family of hypergeometric-type series F(alpha) is introduced. The series F(alpha) is caracterized by a covariant transformation property I(alpha q^{-1} t) F(alpha)=F(alpha q^{-1} t) and a certain initial condition given at alpha=t^{1/2}. We call F(alpha) the `quasi-eigenfunction' for short. A class of infinite product-type expressions are conjectured for F(alpha) at the special points alpha=-t^{1/2}, alpha=q, alpha=pm q^{1/2}t^{1/2}, and alpha=pm q^{ell}t^{1/2} (ell=1,2,3,cdots).
Universal lattices and unbounded rank expanders
Published
• View Publication
• BIB
We study the representations of non-commutative universal lattices and use them to compute lower bounds for the \TauC for the commutative universal lattices $G_{d,k}= \SL_d(\Z[x_1,...,x_k])$ with respect to several generating sets.
As an application of the above result we show that the Cayley graphs of the finite groups $\SL_{3k}(\F_p)$ can be made expanders using suitable choice of the generators. This provides the first examples of expander families of groups of Lie type where the rank is not bounded and gives a natural (and explicit) counter examples to two conjectures of Alex Lubotzky and Benjamin Weiss.
Invariants and Coinvariants of the Symmetric Group in Noncommuting Variables
Published in Canad. J. Math. 60 (2008), no. 2, 266-296
• View Publication
• BIB
We introduce a natural Hopf algebra structure on the space of noncommutative symmetric functions which was recently studied as a vector space by Rosas and Sagan. The bases for this algebra are indexed by set partitions. We show that there exist a natural inclusion of the Hopf algebra of noncommutative symmetric functions indexed by compositions in this larger space. We also consider this algebra as a subspace of noncommutative polynomials and use it to understand the structure of the spaces of harmonics and coinvariants with respect to this collection of noncommutative polynomials.
Lattices in finite real reflection groups
Published
• View Publication
• BIB
For a finite real reflection group $W$ with Coxeter element $γ$ we give a uniform proof that the closed interval, $[I, γ]$ forms a lattice in the partial order on $W$ induced by reflection length. The proof involves the construction of a simplicial complex which can be embedded in the type W simplicial generalised associahedron.
Finite covers of groups by cosets or subgroups
Published in Internat. J. Math. 17(2006), 1047--1064
• View Publication
• BIB
This paper deals with combinatorial aspects of finite covers of groups by cosets or subgroups. Let $a_1G_1,...,a_kG_k$ be left cosets in a group $G$ such that ${a_iG_i}_{i=1}^k$ covers each element of $G$ at least $m$ times but none of its proper subsystems does. We show that if $G$ is cyclic, or $G$ is finite and $G_1,...,G_k$ are normal Hall subgroups of $G$, then $k\geq m+f([G:\bigcap_{i=1}^kG_i])$, where $f(\prod_{t=1}^r p_t^{α_t})=\sum_{t=1}^rα_t(p_t-1)$ if $p_1,...,p_r$ are distinct primes and $α_1,...,α_r$ are nonnegative integers. When all the $a_i$ are the identity element of $G$ and all the $G_i$ are subnormal in $G$, we prove that there is a composition series from $\bigcap_{i=1}^kG_i$ to $G$ whose factors are of prime orders. The paper also includes some other results and two challenging conjectures.