group
10399 papers tagged with this keyword
An uncertainty inequality for finite abelian groups
Published
• View Publication
• BIB
Let G be a finite abelian group of order n. For a complex valued function f on G, let \fht denote the Fourier transform of f. The uncertainty inequality asserts that if f \neq 0 then |supp(f)| |supp(\fht)| \geq n. Answering a question of Terence Tao, the following improvement of the classical inequality is shown: Let d_1<d_2 be two consecutive divisors of n. If d_1 \leq k=|supp(f)| \leq d_2 then: |supp(\fht)| \geq \frac{n(d_1+d_2-k)}{d_1 d_2}
Correlation functions of the shifted Schur measure
Published in J. Math. Soc. Japan, vol.57, no. 3 (2005), 619--637
• View Publication
• BIB
The shifted Schur measure introduced by Tracy and Widom is a measure on the set of all strict partitions, which is defined by Schur $Q$-functions. The main aim of this paper is to calculate the correlation function of this measure, which is given by a pfaffian. As an application, we prove that a limit distribution of $λ_j$'s with respect to a shifted version of the Plancherel measure for symmetric groups is identical with the corresponding distribution of the original Plancherel measure. Further we give expressions of the mean value and the variance of the size of a partition with respect to the measure defined by Hall-Littlewood functions.
Symmetric functions and the phase problem in crystallography
Published in Transactions of the American Math. Society, 357 (2005), 2353-2377.
• View Publication
• BIB
The calculation of crystal structure from X-ray diffraction data requires that the phases of the ``structure factors'' (Fourier coefficients) determined by scattering be deduced from the absolute values of those structure factors. Motivated by a question of Herbert Hauptman, we consider the problem of determining phases by direct algebraic means in the case of crystal structures with $n$ equal atoms in the unit cell, with $n$ small. We rephrase the problem as a question about multiplicative invariants for a particular finite group action. We show that the absolute values form a generating set for the field of invariants of this action, and consider the problem of making this theorem constructive and practical; the most promising approach for deriving explicit formulas uses SAGBI bases.
The combinatorics of orbital varieties closures of nilpotent order 2 in sl(n)
Published in Electronic Journal of Combinatorics, vol. 12(1), 2005, R21
• View Publication
• BIB
We consider two partial orders on standard Young tableaux. The first one is induced from the weak right Bruhat order on symmetric group by Robinson-Schensted algorithm. The second one is induced from the order on Young diagrams by considering a Young tableau as a chain of Young diagrams. We show that these two orders of completely different nature coincide on the subset of Young tableaux with 2 columns or with 2 rows. This fact has very interesting geometric implications for orbital varieties of nilpotent order 2 in sl(n).
Multi-indexed p-orthogonal sums in non-commutative Lebesgue spaces
Published in Indiana Univ. Math. J. 53 (2004), 1171-1188.
• View Publication
• BIB
In this paper we extend a recent Pisier's inequality for p-orthogonal sums in non-commutative Lebesgue spaces. To that purpose, we generalize the notion of p-orthogonality to the class of multi-indexed families of operators. This kind of families appear naturally in certain non-commutative Khintchine type inequalities associated with free groups. Other p-orthogonal families are given by the homogeneous operator-valued polynomials in the Rademacher variables or the multi-indexed martingale difference sequences. As in Pisier's result, our tools are mainly combinatorial.
Convex Geometry of Orbits
Published
• View Publication
• BIB
We study metric properties of convex bodies B and their polars B^o, where B is the convex hull of an orbit under the action of a compact group G. Examples include the Traveling Salesman Polytope in polyhedral combinatorics (G=S_n, the symmetric group), the set of non-negative polynomials in real algebraic geometry (G=SO(n), the special orthogonal group), and the convex hull of the Grassmannian and the unit comass ball in the theory of calibrated geometries (G=SO(n), but with a different action). We compute the radius of the largest ball contained in the symmetric Traveling Salesman Polytope, give a reasonably tight estimate for the radius of the Euclidean ball containing the unit comass ball and review (sometimes with simpler and unified proofs) recent results on the structure of the set of non-negative polynomials (the radius of the inscribed ball, volume estimates, and relations to the sums of squares). Our main tool is a new simple description of the ellipsoid of the largest volume contained in B^o.
On the natural representation of $S(Ω)$ into $L^2(P(Ω))$: Discrete harmonics and Fourier transform
Published in J. Combin. Theory Ser. A 100 (2002), 153-175
• View Publication
• BIB
Let $Ω$ denote a non-empty finite set. Let $S(Ω)$ stand for the symmetric group on $Ω$ and let us write $P(Ω)$ for the power set of $Ω$. Let $ρ: S(Ω) \to U(L^2(P(Ω)))$ be the left unitary representation of $S(Ω)$ associated with its natural action on $P(Ω)$. We consider the algebra consisting of those endomorphisms of $L^2(P(Ω))$ which commute with the action of $ρ$. We find an attractive basis $B$ for this algebra. We obtain an expression, as a linear combination of $B$, for the product of any two elements of $B$. We obtain an expression, as a linear combination of $B$, for the adjoint of each element of $B$. It turns out the Fourier transform on $P(Ω)$ is an element of our algebra; we give the matrix which represents this transform with respect to $B$.
Invariance Combinatoire des Polynomes de Kazhdan-Lusztig sur les intervalles partant de l'origine
We show that for Bruhat intervals starting from the origin in simply-laced Coxeter groups the conjecture of Lusztig and Dyer holds, that is, the R-polynomials and the Kazhdan-Lusztig polynomials defined on [e,u] only depend on the isomorphism type of [e,u].
Short formulas for algebraic covariant derivative curvature tensors via Algebraic Combinatorics
We consider generators of algebraic covariant derivative curvature tensors R' which can be constructed by a Young symmetrization of product tensors W*U or U*W, where W and U are covariant tensors of order 2 and 3. W is a symmetric or alternating tensor whereas U belongs to a class of the infinite set S of irreducible symmetry classes characterized by the partition (2,1). Using Computer Algebra we search for such generators whose coordinate representations are polynomials with a minimal number of summands. For a generic choice of the symmetry class of U we obtain lengths of 16 or 20 summands if W is symmetric or skew-symmetric, respectively. In special cases these numbers can be reduced to the minima 12 or 10. If these minima occur then U admits an index commutation symmetry. Furthermore minimal lengths are possible if U is formed from torsion-free covariant derivatives of symmetric or alternating 2-tensor fields. Foundation of our investigations is a theorem of S. A. Fulling, R. C. King, B. G. Wybourne and C. J. Cummins about a Young symmetrizer that generates the symmetry class of algebraic covariant derivative curvature tensors. Furthermore we apply ideals and idempotents in group rings C[S_r] and discrete Fourier transforms for symmetric groups S_r. For symbolic calculations we used the Mathematica packages Ricci and PERMS.
Le cocycle du verger
Published
• View Publication
• BIB
We define and prove uniqueness of a natural homomorphism (called the Orchard morphism) from some groups associated naturally to a finite set $E$ to the group ${\mathcal E}(E)$ of two-partitions of $E$ representing equivalence relations having at most two classes on $E$.
As an application, given a finite generic configuration ${\mathcal C}\subset {\mathbf R}^d$, we exhibit a natural partition of ${\mathcal C}$ in two sets.
The symmetric group representation on cohomology of the regular elements of a maximal torus of the special linear group
Published in J. Aust. Math. Soc. 84 (2008), no. 1, pp. 85-98
• View Publication
• BIB
We give a formula for the character of the representation of the symmetric group $S_n$ on each isotypic component of the cohomology of the set of regular elements of a maximal torus of $SL_n$, with respect to the action of the centre.
Kazhdan Constants for $SL_n(Z)$
Published
• View Publication
• BIB
In this article we improve the known Kazhdan constant for $SL_n(Z)$ with respect to the generating set of the elementary matrices. We prove that the Kazhdan constant is bounded from below by $[42\sqrt{n}+860]^{-1}$, which gives the exact asymptotic behavior of the Kazhdan constant, as $n$ goes to infinity, since $\sqrt{2/n}$ is an upper bound.
We can use this bound to improve the bounds for the spectral gap of the Cayley graph of $SL_n(F_p)$ and for the working time of the product replacement algorithm for abelian groups.
Symmetric group blocks of small defect
Published
• View Publication
• BIB
This paper is an attempt to compute the decomposition numbers of the blocks of the symmetric group which have "small defect"; that is, blocks of weight smaller than the characteristic. We present various methods for computing such decomposition numbers and use these as support for a conjecture which relates decomposition numbers in different characteristics. Finally, we apply our techniques to blocks of weight three.
An introduction to harmonic analysis on the infinite symmetric group
Published in In: Asymptotic Combinatorics with Applications to Mathematical Physics (A.M.Vershik, ed.), Springer LNM 1815 (2003), 127-160
• View Publication
• BIB
The aim of the present survey paper is to provide an accessible introduction to a new chapter of representation theory - harmonic analysis for noncommutative groups with infinite-dimensional dual space.
I omitted detailed proofs but tried to explain the main ideas of the theory and its connections with other fields. The fact that irreducible representations of the groups in question depend on infinitely many parameters leads to a number of new effects which never occurred in conventional noncommutative harmonic analysis. A link with stochastic point processes is especially emphasized.
The exposition focuses on a single group, the infinite symmetric group. The reason is that presently this particular example is worked out the most. Furthermore, the infinite symmetric group can serve as a very good model for more complicated groups like the infinite-dimensional unitary group.
Ideals of Heisenberg type and minimax elements of affine Weyl groups
Published
• View Publication
• BIB
We consider ad-nilpotent ideals of a Borel subalgebra of a simple Lie algebra. The goal of this paper is two-fold. First, we study the ad-nilpotent ideals lying inside the Heisenberg ideal. The Heisenberg ideal is the nilpotent radical of the centralizer of the highest root vector. Second, we study the ideals having the property that the corresponding domain of the Shi arrangement consists of a single alcove. Such ideals (and the corresponding elements of the affine Weyl group) are called minimax.
Stein's Method, Jack Measure, and the Metropolis Algorithm
Published
• View Publication
• BIB
The one parameter family of Jack(alpha) measures on partitions is an important discrete analog of Dyson's beta ensembles of random matrix theory. Except for special values of alpha=1/2,1,2 which have group theoretic interpretations, the Jack(alpha) measure has been difficult if not intractable to analyze. This paper proves a central limit theorem (with an error term) for Jack(alpha) measure which works for arbitrary values of alpha. For alpha=1 we recover a known central limit theorem on the distribution of character ratios of random representations of the symmetric group on transpositions. The case alpha=2 gives a new central limit theorem for random spherical functions of a Gelfand pair. The proof uses Stein's method and has interesting ingredients: an intruiging construction of an exchangeable pair, properties of Jack polynomials, and work of Hanlon relating Jack polynomials to the Metropolis algorithm.
Lexicographic shellability for balanced complexes
Published in J. Algebraic Combinatorics, 17 (2003), no. 1, 27-52
• View Publication
• BIB
We introduce a notion of lexicographic shellability for pure, balanced boolean cell complexes, modelled after the $CL$-shellability criterion of Björner and Wachs for posets and its generalization by Kozlov called $CC$-shellability. We give a lexicographic shelling for the quotient of the order complex of a Boolean algebra of rank $2n$ by the action of the wreath product $S_2\wr S_n$ of symmetric groups, and we provide a partitioning for the quotient complex $Δ(Π_n)/S_n $.
Stanley asked for a description of the symmetric group representation $β_S $ on the homology of the rank-selected partition lattice $Π_n^S $ in [St2], and in particular he asked when the multiplicity $b_S(n)$ of the trivial representation in $β_S$ is 0. One consequence of the partitioning for $\dps $ is a (fairly complicated) combinatorial interpretation for $b_S(n) $; another is a simple proof of Hanlon's result that $b_{1,..., i}(n)=0$. Using a result of Garsia and Stanton, we deduce from our shelling for $Δ(B_{2n})/S_2 \wr S_n$ that the ring of invariants $k[x_1,..., x_{2n}]^{S_2\wr S_n}$ is Cohen-Macaulay over any field $k$.
Multiplicity of the trivial representation in rank-selected homology of the partition lattice
Published in J. Algebra 266 (2003), no. 2, 521-538
• View Publication
• BIB
We study the multiplicity $b_S(n)$ of the trivial representation in the symmetric group representations $β_S$ on the (top) homology of the rank-selected partition lattice $Π_n^S$. We break the possible rank sets $S$ into three cases: (1) $1\not\in S$, (2) $S=1,..., i$ for $i\ge 1$ and (3) $S=1,..., i,j_1,..., j_l$ for $i,l\ge 1$, $j_1 > i+1$. It was previously shown by Hanlon that $b_S(n)=0$ for $S=1,..., i$. We use a partitioning for $Δ(Π_n)/S_n$ due to Hersh to confirm a conjecture of Sundaram that $b_S(n)>0$ for $1\not\in S$. On the other hand, we use the spectral sequence of a filtered complex to show $b_S(n)=0$ for $S=1,..., i,j_1,..., j_l$ unless a certain type of chain of support $S$ exists. The partitioning for $Δ(Π_n)/S_n$ allows us then to show that a large class of rank sets $S=1,..., i,j_1,..., j_l$ for which such a chain exists do satisfy $b_S(n)>0$. We also generalize the partitioning for $Δ(Π_n)/S_n$ to $Δ(Π_n)/S_λ$; when $λ= (n-1,1)$, this partitioning leads to a proof of a conjecture of Sundaram about $S_1\times S_{n-1}$-representations on the homology of the partition lattice.
A Hodge decomposition for the complex of injective words
Published
• View Publication
• BIB
Reiner and Webb compute the $S_n$-module structure for the complex of injective words in [RW]. This paper refines their formula by providing a Hodge type decomposition. Along the way, this paper proves that the simplicial boundary map interacts in a nice fashion with the Eulerian idempotents.
The Laplacian acting on the top chain group in the complex of injective words is also shown to equal the signed random to random shuffle operator. Uyemura-Reyes conjectures in [Uy] that the (unsigned) random to random shuffle operator has integral spectrum. We prove that this conjecture would imply that the Laplacian on (each chain group in) the complex of injective words has integral spectrum.
On optimizing discrete Morse functions
Published
• View Publication
• BIB
Forman introduced discrete Morse theory as a tool for studying CW complexes by essentially collapsing them onto smaller, simpler-to-understand complexes of critical cells in [Fo]. Chari reformulated discrete Morse theory for regular cell complexes in terms of acyclic matchings on face posets in [Ch]. This paper addresses two questions: (1) under what conditions may several gradient paths in a discrete Morse function simultaneously be reversed to cancel several pairs of critical cells, to further collapse the complex, and (2) how to use lexicographically first reduced expressions for permutations (in the sense of [Ed]) to make (1) practical for poset order complexes.
Applications include Cohen-Macaulayness of a new partial order, recently introduced by Remmel, on the symmetric group (by refinement on the underlying partitions into cycles) as well as a simple new proof of the homotopy type for intervals in the weak order for the symmetric group. Additional applications appear in [HW].