group
10399 papers tagged with this keyword
A Schubert calculus recurrence from the noncomplex W-action on G/B
In this paper, as in our previous "Descent-cycling in Schubert calculus" math.CO/0009112, we study the structure constants in equivariant cohomology of flag manifolds G/B. In this one we give a recurrence (which is frequently, but alas not always, positive) to compute these one by one, using the non-complex action of the Weyl group on G/B.
Probably the most noteworthy feature of this recurrence is that to compute a particular structure constant c_{lambda,mu}^nu, one does not have to compute the whole product S_lambda * S_mu.
Prefix exchanging and pattern avoidance by involutions
Published in Elec. J. Comb. 9 (2) 2003, #R16
• View Publication
• BIB
Let I_n(π) denote the number of involutions in the symmetric group S_n which avoid the permutation π. We say that two permutations α,β\in§{j} may be exchanged if for every n, k, and ordering τof j+1,...,k, we have I_n(ατ)=I_n(βτ). Here we prove that 12 and 21 may be exchanged and that 123 and 321 may be exchanged. The ability to exchange 123 and 321 implies a conjecture of Guibert, thus completing the classification of S_4 with respect to pattern avoidance by involutions; both of these results also have consequences for longer patterns.
Pattern avoidance by involutions may be generalized to rook placements on Ferrers boards which satisfy certain symmetry conditions. Here we provide sufficient conditions for the corresponding generalization of the ability to exchange two prefixes and show that these conditions are satisfied by 12 and 21 and by 123 and 321. Our results and approach parallel work by Babson and West on analogous problems for pattern avoidance by general (not necessarily involutive) permutations, with some modifications required by the symmetry of the current problem.
q Statistics on $S_n$ and Pattern Avoidance
Published
• View Publication
• BIB
Natural q analogues of classical statistics on the symmetric groups $S_n$ are introduced; parameters like: the q-length, the q-inversion number, the q-descent number and the q-major index. MacMahon's theorem about the equi-distribution of the inversion number and the reverse major index is generalized to all positive integers q. It is also shown that the q-inversion number and the q-reverse major index are equi-distributed over subsets of permutations avoiding certain patterns. Natural q analogues of the Bell and the Stirling numbers are related to these q statistics -- through the counting of the above pattern-avoiding permutations.
Zero-sum problems for abelian p-groups and covers of the integers by residue classes
Published in Israel J. Math. 170(2009), 235-252
• View Publication
• BIB
Zero-sum problems for abelian groups and covers of the integers by residue classes, are two different active topics initiated by P. Erdos more than 40 years ago and investigated by many researchers separately since then. In an earlier announcement [Electron. Res. Announc. Amer. Math. Soc. 9(2003), 51-60], the author claimed some surprising connections among these seemingly unrelated fascinating areas. In this paper we establish further connections between zero-sum problems for abelian p-groups and covers of the integers. For example, we extend the famous Erdos-Ginzburg-Ziv theorem in the following way: If {a_s(mod n_s)}_{s=1}^k covers each integer either exactly 2q-1 times or exactly 2q times where q is a prime power, then for any c_1,...,c_k in Z/qZ there exists a subset I of {1,...,k} such that sum_{s in I}1/n_s=q and sum_{s in I}c_s=0. Our main theorem in this paper unifies many results in the two realms and also implies an extension of the Alon-Friedland-Kalai result on regular subgraphs.
The Order Dimension of the Poset of Regions in a Hyperplane Arrangement
Published
• View Publication
• BIB
We show that the order dimension of the weak order on a Coxeter group of type A, B or D is equal to the rank of the Coxeter group, and give bounds on the order dimensions for the other finite types. This result arises from a unified approach which, in particular, leads to a simpler treatment of the previously known cases, types A and B. The result for weak orders follows from an upper bound on the dimension of the poset of regions of an arbitrary hyperplane arrangement. In some cases, including the weak orders, the upper bound is the chromatic number of a certain graph. For the weak orders, this graph has the positive roots as its vertex set, and the edges are related to the pairwise inner products of the roots.
Lattice path combinatorics and asymptotics of multiplicities of weights in tensor powers
Published in J. Funct. Anal. 217 (2004), no. 2, 402--447.
• View Publication
• BIB
We give asymptotic formulas for the multiplicities of weights and irreducible summands in high-tensor powers $V_λ^{\otimes N}$ of an irreducible representation $V_λ$ of a compact connected Lie group $G$. The weights are allowed to depend on $N$, and we obtain several regimes of pointwise asymptotics, ranging from a central limit region to a large deviations region. We use a complex steepest descent method that applies to general asymptotic counting problems for lattice paths with steps in a convex polytope.
Realization of finite Abelian groups by nets in P^2
Published
• View Publication
• BIB
In the paper, we study special configurations of lines and points in the complex projective plane, so called k-nets. We describe the role of these configurations in studies of cohomology on arrangement complements.
Our most general result is the restriction on k - it can be only 3,4, or 5. The most interesting class of nets is formed by 3-nets that relate to finite geometries, latin squares, loops, etc.
All known examples of 3-nets in P^2 realize finite Abelian groups.
We study the problem what groups can be so realized. Our main result is that, except for groups with all invariant factors under 10, realizable groups are isomorphic to subgroups of a 2-torus. This follows from the `algebraization' result asserting that in the dual plane, the points dual to lines of a net lie on a plane cubic.
Abelianizing the real permutation action via blowups
Published in Int. Math. Res. Not. 2003, no. 32 (2003), 1755-1784
• Search Publication
We present an abelianization of the permutation action of the symmetric group S_n on R^n in analogy to the Batyrev abelianization construction for finite group actions on complex manifolds. The abelianization is provided by a particular De Concini-Procesi wonderful model for the braid arrangement. In fact, we show a stronger result, namely that stabilizers of points in the arrangement model are isomorphic to direct products of Z_2. To prove that, we develop a combinatorial framework for explicitly describing the stabilizers in terms of automorphism groups of set diagrams over families of cubes.
We observe that the natural nested set stratification on the arrangement model is not stabilizer distinguishing with respect to the S_n-action, that is, stabilizers of points are not in general isomorphic on open strata. Motivated by this structural deficiency, we furnish a new stratification of the De Concini-Procesi arrangement model that distinguishes stabilizers.
Topological properties of active orders for matroid bases
Published
• View Publication
• BIB
Las Vergnas introduced several lattice structures on the bases of an ordered matroid M by using their external and internal activities. He also noted that when computing the Moebius function of these lattices, it was often zero, although he had no explanation for that fact. The purpose of this paper is to provide a topological reason for this phenomenon. In particular, we show that the order complex of the external lattice L of M is homotopic to the independence complex of the restriction M^*|T where M^* is the dual of M and T is the top element of L. We then compute some examples showing that this latter complex is often contractible which forces all its homology groups, and thus its Moebius function, to vanish. A theorem of Björner also helps us to calculate the homology of the matroid complex.
Discrete convexity and unimodularity. I
Published
• View Publication
• BIB
In this paper we develop a theory of convexity for a free Abelian group M (the lattice of integer points), which we call theory of discrete convexity. We characterize those subsets X of the group M that could be call "convex". One property seems indisputable: X should coincide with the set of all integer points of its convex hull co(X) (in the ambient vector space V). However, this is a first approximation to a proper discrete convexity, because such non-intersecting sets need not be separated by a hyperplane. This issue is closely related to the question when the intersection of two integer polyhedra is an integer polyhedron. We show that unimodular systems (or more generally, pure systems) are in one-to-one correspondence with the classes of discrete convexity. For example, the well-known class of g-polymatroids corresponds to the class of discrete convexity associated to the unimodular system A_n:={\pm e_i, e_i-ej} in Z^n.
Free probability and representations of large symmetric groups
We study the asymptotic behavior of the free cumulants (in the sense of free probability theory of Voiculescu) of Jucys--Murphy elements--or equivalently--of the transition measure associated with a Young diagram. We express these cumulants in terms of normalized characters of the appropriate representation of the symmetric group S_q. Our analysis considers the case when the Young diagrams rescaled by q^{-1/2} converge towards some prescribed shape. We find explicitly the second order asymptotic expansion and outline the algorithm which allows to find the asymptotic expansion of any order. As a corollary we obtain the second order asymptotic expansion of characters evaluated on cycles in terms of free cumulants, i.e. we find explicitly terms in Kerov polynomials with the appropriate degree.
The peak algebra and the Hecke-Clifford algebras at $q=0$
Published in J. Combin. Theory Ser. A 107 (2004), no. 1, 1-19
• View Publication
• BIB
Using the formalism of noncommutative symmetric functions, we derive the basic theory of the peak algebra of symmetric groups and of its graded Hopf dual. Our main result is to provide a representation theoretical interpretation of the peak algebra and its graded dual as Grothendieck rings of the tower of Hecke-Clifford algebras at $q=0$.
Structure constants for Hecke and representation rings
We study the structure constants defining two related rings: the spherical Hecke algebra of a split connected reductive group over a non-Archimedean local field, and the representation ring of the Langlands dual group.
Vanishing and non-vanishing criteria in Schubert calculus
Published in International Math. Research Notices (2006), 24590, 1-38
• View Publication
• BIB
For any complex reductive connected Lie group G, many of the structure constants of the ordinary cohomology ring H^*(G/B; Z) vanish in the Schubert basis, and the rest are strictly positive. We present a combinatorial game, the ``root game'', which provides some criteria for determining which of the Schubert intersection numbers vanish. The definition of the root game is manifestly invariant under automorphisms of G, and under permutations of the classes intersected. Although these criteria are not proven to cover all cases, in practice they work very well, giving a complete answer to the question for G=SL(7,C). In a separate paper we show that one of these criteria is in fact necessary and sufficient when the classes are pulled back from a Grassmannian.
More generally If G' -> G is an inclusion of complex reductive connected Lie groups, there is an induced map H^*(G/B) -> H^*(G'/B') on the cohomology of the homogeneous spaces. The image of a Schubert class under this map is a positive sum of Schubert classes on G'/B'. We investigate the problem of determining which Schubert classes appear with non-zero coefficient. This is the vanishing problem for branching Schubert calculus, which plays an important role in representation theory and symplectic geometry, as shown in [Berenstein-Sjamaar 2000]. The root game generalises to give a vanishing criterion and a non-vanishing criterion for this problem.
Minimal and maximal elements in Kazhdan-Lusztig double sided cells of $S_n$ and Robinson-Schensted correspondance
Published in Discrete Math. 304 (1) (2005), 79-87
• View Publication
• BIB
In symmetric groups, a two-sided cell is the set of all permutations which are mapped by the Robinson-Schensted correspondence on a pair of tableaux of the same shape. In this article, we show that the set of permutations in a two-sided cell which have a minimal number of inversions is the set of permutations which have a maximal number of inversions in conjugated Young subgroups. We also give an interpretation of these sets with particular tableaux, called reading tableaux. As corollary, we give the set of elements in a two-sided cell which have a maximal number of inversions.
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.