group
10224 papers tagged with this keyword
Knot theory for self-indexed graphs
We introduce and study so-called self-indexed graphs. These are (oriented) finite graphs endowed with a map from the set of edges to the set of vertices. Such graphs naturally arise from classical knot and link diagrams. In fact, the graphs resulting from link diagrams have an additional structure, an integral flow. We call a self-indexed graph with integral flow a comte. The analogy with links allows us to define transformations of comtes generalizing the Reidemeister moves on link diagrams. We show that many invariants of links can be generalized to comtes, most notably the linking number, the Alexander polynomials, the link group, etc. We also discuss finite type invariants and quandle cocycle invariants of comtes.
Kerov's central limit theorem for the Plancherel measure on Young diagrams
Published in In: S.Fomin, editor. Symmetric Functions 2001: Surveys of Developments and Perspectives (NATO Science Series II. Mathematics, Physics and Chemistry. Vol.74), Kluwer, 2002, pp. 93-151
• View Publication
• BIB
Consider random Young diagrams with a fixed number n of boxes, where the probability distribution on diagrams is determined by the Plancherel measure. That is, the weight of a diagram is proportional to the squared dimension of the corresponding irreducible representation of the symmetric group S_n. As n goes to infinity, the boundary of the (suitably scaled) random diagram concentrates near a curve Omega (Logan-Shepp 1977, Vershik-Kerov 1977). In 1993, Kerov announced a central limit theorem describing Gaussian fluctuations of random diagrams around the limit shape Omega. Here we propose a reconstruction of his proof, largely based on Kerov's unpublished work notes (1999). We also discuss a striking similarity between Kerov's result and central limit theorems for random matrices (Diaconis-Shahshahani, Johansson).
Bose-Mesner Algebras attached to Invertible Jones Pairs
Published
• View Publication
• BIB
In 1989, Vaughan Jones introduced spin models and showed that they could be used to form link invariants in two different ways--by constructing representations of the braid group, or by constructing partition functions. These spin models were subsequently generalized to so-called 4-weight spin models by Bannai and Bannai; these could be used to construct partition functions, but did not lead to braid group representations in any obvious way. Jaeger showed that spin models were intimately related to certain association schemes. Yamada gave a construction of a symmetric spin model on $4n$ vertices from each 4-weight spin model on $n$ vertices.
In this paper we build on recent work with Munemasa to give a different proof to Yamada's result, and we analyse the structure of the association scheme attached to this spin model.
Increasing trees and Kontsevich cycles
Published in Geom. Topol. 8 (2004) 969-1012
• View Publication
• BIB
It is known that the combinatorial classes in the cohomology of the mapping class group of punctures surfaces defined by Witten and Kontsevich are polynomials in the adjusted Miller-Morita-Mumford classes. The leading coefficient was computed in [Kiyoshi Igusa: Algebr. Geom. Topol. 4 (2004) 473-520]. The next coefficient was computed in [Kiyoshi Igusa: math.AT/0303157, to appear in Topology]. The present paper gives a recursive formula for all of the coefficients. The main combinatorial tool is a generating function for a new statistic on the set of increasing trees on 2n+1 vertices. As we already explained in the last paper cited this verifies all of the formulas conjectured by Arbarello and Cornalba [J. Alg. Geom. 5 (1996) 705--749]. Mondello [math.AT/0303207, to appear in IMRN] has obtained similar results using different methods.
OTIS Layouts of De Bruijn Digraphs
The Optical Transpose Interconnection System (OTIS) was proposed by Marsden et al. [Opt. Lett 18 (1993) 1083--1085] to implement very dense one-to-one interconnection between processors in a free space of optical interconnections. The system which allows one-to-one optical communications from p groups of q transmitters to q groups of p receivers, using electronic intragroup communications for each group of consecutive d processors, is denoted by OTIS(p,q,d). H(p,q,d) is the digraph which characterizes the underlying topology of the optical interconnection implemented by OTIS(p,q,d). A digraph has an OTIS(p,q,d) layout if it is isomorphic to H(p,q,d). Based on results of Coudert et al. [Networks 40 (2002) 155--164], we characterize all OTIS(p,q,d) layouts of De Bruijn digraph B(d,n) where both p and q are powers of d. Coudert et al. posed the conjecture that if B(d,n) has an OTIS(p,q,d) layout, then both p and q are powers of d. As an effort to prove this conjecture, we prove that H(p,q,d) is a line digraph if and only if both p and q are multiples of d.
C-Groups
In this paper we explore the structure and properties of C-groups. We define a C-group as a group $G$ with $rk(G) < rk(Z(G))$ (where $rk(G)$ is the minimal cardinal of a generating set for a group $G$). Using GAP (a group theory program) and traditional methods, we identified an interesting infinite class of C-groups. In particular, we have proved that there is always a C-group of order an integer multiple of a fifth power of a prime. One way to obtain C-groups is take the direct product of certain C-groups, mentioned in this paper, with other appropriate groups. We, at this time, do not know whether the C-groups discussed in this paper are the building block of all finite C-groups. But a complete classification of finite or infinite C-groups is an interesting problem. We have also formulated a number of open questions relating to C-groups: Are they all solvable? What is the structure of the C-groups that are not in our class? Is the minimal number of generators of the center always polynomially bounded by the minimal number of generators of the group? What are the isoperimetric inequalities of infinite C-groups?
Determinantal Construction of Orthogonal Polynomials Associated with Root Systems
Published in Compositio Math, 140/2, 255--273 (2004)
• View Publication
• BIB
We consider semisimple triangular operators acting in the symmetric component of the group algebra over the weight lattice of a root system. We present a determinantal formula for the eigenbasis of such triangular operators. This determinantal formula gives rise to an explicit construction of the Macdonald polynomials and of the Heckman-Opdam generalized Jacobi polynomials.
B-stable ideals in the nilradical of a Borel subalgebra
Published
• View Publication
• BIB
We count the number of strictly positive $B$-stable ideals in the nilradical of a Borel subalgebra and prove that the minimal roots of any $B$-stable ideal are conjugate by an element of the Weyl group to a subset of the simple roots. We also compute the number of ideals whose minimal roots are conjugate to a fixed subset of simple roots.
Stanley-Reisner rings and torus actions
We review a class of problems on the borders of topology of torus actions, commutative homological algebra and combinatorial geometry, which is currently being investigated by Victor Buchstaber and the author. The text builds on the lectures delivered on the transformation group courses in Osaka City University and Universitat Autonoma de Barcelona. We start with discussing several well-known results and problems on combinatorial geometry of polytopes and simplicial complexes, and then move gradually towards investigating the combinatorial structures associated with spaces acted on by the torus. Parallelly, we set up the required commutative algebra apparatus, including Cohen-Macaulay/Gorenstein rings and Stanley-Reisner face rings of simplicial complexes.
The Dimension of Skew Shifted Young Diagrams, and Projective Characters of the Infinite Symmetric Group
Published in Journal of Mathematical Sciences (New York) 96 (1999) no.5 3517-3530
• View Publication
• BIB
Classical Schur P-functions are the particular case of Hall-Littlewood polynomials when the parameter is equal to -1. We introduce factorial (interpolation) analogues of Schur P-functions. A dimension of a skew shifted Young diagram is the number of standard tableaux of the given shape. Also these numbers are equal up to simple factors to the decomposition coefficients of the restriction of an irreducible representation of a spin-symmetric group to a smaller spin-symmetric group. In terms of the factorial Schur P-functions we obtain an explicit formula for the dimension of a skew shifted Young diagram. The main application of this formula is the new derivation of Nazarov's classification of undecomposable projective characters of the infinite symmetric group.
Ad-nilpotent ideals of a Borel subalgebra: generators and duality
Published in J. Algebra 274 (2004), 822-846
• View Publication
• BIB
It was shown by Cellini and Papi that an ad-nilpotent ideal determines certain element of the affine Weyl group, and that there is a bijection between the ad-nilpotent ideals and the integral points of a simplex with rational vertices. We give a description of the generators of ad-nilpotent ideals in terms of these elements, and show that an ideal has $k$ generators if and only it lies on the face of this simplex of codimension $k$. We also consider two combinatorial statistics on the set of ad-nilpotent ideals: the number of simple roots in the ideal and the number of generators. Considering the first statistic reveals some relations with the theory of clusters (Fomin-Zelevinsky). The distribution of the second statistic suggests that there should exist a natural involution (duality) on the set of ad-nilpotent ideals. Such an involution is constructed for the series A,B,C.
Orbits of groups generated by transvections over $\FF_2$
Published
• View Publication
• BIB
Let V be a finite dimensional vector space over the two element field. We compute orbits for the linear action of groups generated by transvections with respect to a certain class of bilinear forms on V. In particular, we compute orbits that are in bijection with connected components of real double Bruhat cells in semisimple groups, extending results of M.Gekhtman, B. Shapiro, M. Shapiro, A.Vainshtein and A. Zelevinsky.
Equations in finite semigroups: Explicit enumeration and asymptotics of solution numbers
Published in J. Combin. Theory Ser. A 105 (2004), 291-334.
• View Publication
• BIB
We study the number of solutions of the general semigroup equation in one variable, $X^\al=X^\be$, as well as of the system of equations $X^2=X, Y^2=Y, XY=YX$ in $H\wr T_n$, the wreath product of an arbitrary finite group $H$ with the full transformation semigroup $T_n$ on $n$ letters. For these solution numbers, we provide explicit exact formulae, as well as asymptotic estimates. Our results concerning the first mentioned problem generalize earlier results by Harris and Schoenfeld (J. Combin. Theory Ser. A 3 (1967), 122-135) on the number of idempotents in $T_n$, and a partial result of Dress and the second author (Adv. in Math. 129 (1997), 188-221). Among the asymptotic tools employed are Hayman's method for the estimation of coefficients of analytic functions and the Poisson summation formula.
Rational representations of Yangians associated with skew Young diagrams
Published in Math. Z. 247 (2004), 21-63
• View Publication
• BIB
Let $GL_M$ be general linear Lie group over the complex field. The irreducible rational representations of the group $GL_M$ are labeled by pairs of partitions $μ$ and $\tildeμ$ such that the total number of non-zero parts of $μ$ and $\tildeμ$ does not exceed $M$. Let $U$ be the representation of $GL_M$ corresponding to such a pair. Regard the direct product $GL_N\times GL_M$ as a subgroup of $GL_{N+M}$. Let $V$ be the irreducible rational representation of the group $GL_{N+M}$ corresponding to a pair of partitions $λ$ and $\tildeλ$. Consider the vector space $W=Hom_{G_M}(U,V)$. It comes with a natural action of the group $GL_N$. Let $n$ be sum of parts of $λ$ less the sum of parts of $μ$. Let $\tilde{n}$ be sum of parts of $\tildeλ$ less the sum of parts of $\tildeμ$. For any choice of two standard Young tableaux of skew shapes $λ/μ$ and $\tildeλ/\tildeμ$ respectively, we realize $W$ as a subspace in the tensor product of $n$ copies of the defining $N$-dimensional representation of $GL_N$, and of $\tilde{n}$ copies of the contragredient representation. This subspace is determined as the image of a certain linear operator $F$ in the tensor product, given by explicit multiplicative formula. When M=0 and $W=V$ is an irreducible representation of $GL_N$, we recover the classical realization of $V$ as a subspace in the space of all traceless tensors. Then the operator $F$ can be regarded as the rational analogue of the Young symmetrizer, corresponding to the chosen standard tableau of shape $λ$. Even in the special case M=0, our formula for the operator $F$ is new. Our results are applications of representation theory of the Yangian of the Lie algebra $gl_N$.
On rank functions for heaps
Published
• View Publication
• BIB
Motivated by work of Stembridge, we study rank functions for Viennot's heaps of pieces. We produce a simple and sufficient criterion for a heap to be a ranked poset and apply the results to the heaps arising from fully commutative words in Coxeter groups.
Permutation Statistics on the Alternating Group
Published
• View Publication
• BIB
Let $A_n\subseteq S_n$ denote the alternating and the symmetric groups on $1,...,n$. MacMahaon's theorem, about the equi-distribution of the length and the major indices in $S_n$, has received far reaching refinements and generalizations, by Foata, Carlitz, Foata-Schutzenberger, Garsia-Gessel and followers. Our main goal is to find analogous statistics and identities for the alternating group $A_{n}$. A new statistic for $S_n$, {\it the delent number}, is introduced. This new statistic is involved with new $S_n$ equi-distribution identities, refining some of the results of Foata-Schutzenberger and Garsia-Gessel. By a certain covering map $f:A_{n+1}\to S_n$, such $S_n$ identities are `lifted' to $A_{n+1}$, yielding the corresponding $A_{n+1}$ equi-distribution identities.
A Card Shuffling Analysis of Deformations of the Plancherel Measure of the Symmetric Group
Published
• View Publication
• BIB
We study deformations of the Plancherel measure of the symmetric group by lifting them to the symmetric group and using combinatorics of card shuffling. The existing methods for analyzing deformations of Plancherel measure are not obviously applicable to the examples in this paper. The main idea of this paper is to find and analyze a formula for the total variation distance between iterations of riffle shuffles and iterations of "cut and then riffle shuffle". Similar results are given for affine shuffles, which allow us to determine their convergence rate to randomness.
The peak algebra and the descent algebras of types B and D
Published in Trans. Amer. Math. Soc. 356 (2004), no. 7, 2781--2824
• View Publication
• BIB
We show the existence of a unital subalgebra of the symmetric group algebra linearly spanned by sums of permutations with a common peak set, which we call the peak algebra. We show that this algebra is the image of the descent algebra of type B under the map to the descent algebra of type A which forgets the signs, and also the image of the descent algebra of type D. The peak algebra contains a two sided ideal which is defined in terms of interior peaks. This object was introduced in previous work by Nyman; we find that it is the image of certain ideals of the descent algebras of types B and D introduced in previous work of N. Bergeron et al. We derive an exact sequence involving the peak ideal and the peak algebras of degrees $n$ and $n-2$. We obtain this and many other properties of the peak algebra and its peak ideal by first establishing analogous results for signed permutations and then forgetting the signs. In particular, we construct two new commutative semisimple subalgebras of the descent algebra by grouping permutations according to their number of peaks or interior peaks. We discuss the Hopf algebraic structures that exist on the direct sums of these spaces over $n\geq 0$ and explain the connection with previous work of Stembridge; we also obtain new properties of his descents-to-peaks map and construct a type B analog.
The Algebra of Conjugacy Classes in Symmetric Groups and Partial Permutations
Published in Journal of Mathematical Sciences (Kluwer) 107 (2001) no.5 4212-4230
• Search Publication
We prove a convolution formula for the conjugacy classes in symmetric groups conjectured by the second author. A combinatorial interpretation of coefficients is provided. As a main tool we introduce new semigroup of partial permutations. We describe its structure, representations, and characters. We also discuss filtrations on the subalgebra of invariants in the semigroup algebra.
A Generalization of Euler's Hypergeometric Transformation
Published in Trans. Amer. Math. Soc. 358 (2006), 39-57
• View Publication
• BIB
Euler's transformation formula for the Gauss hypergeometric function 2F1 is extended to hypergeometric functions of higher order. Unusually, the generalized transformation constrains the hypergeometric function parameters algebraically but not linearly. Its consequences for hypergeometric summation are explored. It has as corollary a summation formula of Slater. From this formula new one-term evaluations of 2F1(-1) and 3F2(1) are derived, by applying transformations in the Thomae group. Their parameters are also constrained nonlinearly. Several new one-term evaluations of 2F1(-1) with linearly constrained parameters are derived as well.