group
10399 papers tagged with this keyword
Petrie-Coxeter Maps Revisited
This paper presents a technique for constructing new chiral or regular polyhedra (or maps) from self-dual abstract chiral polytopes of rank 4. From improperly self-dual chiral polytopes we derive "Petrie-Coxeter-type" polyhedra (abstract chiral analogues of the classical Petrie-Coxeter polyhedra) and investigate their groups of automorphisms.
Increasing and Decreasing Subsequences of Permutations and Their Variants
Published
• View Publication
• BIB
We survey the theory of increasing and decreasing subsequences of permutations. Enumeration problems in this area are closely related to the RSK algorithm. The asymptotic behavior of the expected value of the length is(w) of the longest increasing subsequence of a permutation w of 1,2,...,n was obtained by Vershik-Kerov and (almost) by Logan-Shepp. The entire limiting distribution of is(w) was then determined by Baik, Deift, and Johansson. These techniques can be applied to other classes of permutations, such as involutions, and are related to the distribution of eigenvalues of elements of the classical groups. A number of generalizations and variations of increasing/decreasing subsequences are discussed, including the theory of pattern avoidance, unimodal and alternating subsequences, and crossings and nestings of matchings and set partitions.
The associative operad and the weak order on the symmetric groups
The associative operad is a certain algebraic structure on the sequence of group algebras of the symmetric groups. The weak order is a partial order on the symmetric group. There is a natural linear basis of each symmetric group algebra, related to the group basis by Mobius inversion for the weak order. We describe the operad structure on this second basis: the surprising result is that each operadic composition is a sum over an interval of the weak order. We deduce that the coradical filtration is an operad filtration. The Lie operad, a suboperad of the associative operad, sits in the first component of the filtration. As a corollary to our results, we derive a simple explicit expression for Dynkin's idempotent in terms of the second basis.
There are combinatorial procedures for constructing a planar binary tree from a permutation, and a composition from a planar binary tree. These define set-theoretic quotients of each symmetric group algebra. We show that they are operad quotients of the associative operad. Moreover, the Hopf kernels of these quotient maps are suboperads of the associative operad.
The structure of automorphism groups of semigroup inflations
Published in Algebra Discrete Math. 1 (2007), 62-67
• Search Publication
It is proved that the automorphism group of a semigroup being an inflation of its proper subsemigroup decomposes into a semidirect product of two groups one of which is a direct sum of full symmetric groups.
Knight move for chromatic graph cohomology
Published
• View Publication
• BIB
In this paper we prove the knight move theorem for the chromatic graph cohomologies with rational coefficients introduced by L. Helme-Guizon and Y. Rong. Namely, for a connected graph G with n vertices the only non-trivial cohomology groups $H^{i,n-i}(G)$, $H^{i,n-i-1}(G)$ come in isomorphic pairs: $H^{i,n-i}(G)\cong H^{i+1,n-i-2}(G)$ for i >= 0 if G is non-bipartite, and for i > 0 if G is bipartite. As a corollary, the ranks of the cohomology groups are determined by the chromatic polynomial. At the end, we give an explicit formula for the Poincare polynomial in terms of the chromatic polynomial and a deletion-contraction formula for the Poincare polynomial.
A note on Bruhat order and double coset representatives
Let $W$ be a finite coxeter group, let $W_I$, $W_J$ be standard parabolic subgroups, let $u$, $v$ be minimal double cosets representatives of double cosets in $W_I W / W_J$ and let $u'$, $v'$ be the maximal representatives of those same two cosets. We show that $u < v$ if and only if $u' < v'$ for the Bruhat order.
On the Limiting Distribution for the Longest Alternating Sequence in a Random Permutation
Published
• View Publication
• BIB
Recently Richard Stanley initiated a study of the distribution of the length as(w) of the longest alternating subsequence in a random permutation w from the symmetric group $S_n$. Among other things he found an explicit formula for the generating function (on n and k) for the probability that as(w) is at most k and conjectured that the distribution, suitably centered and normalized, tended to a Gaussian with variance 8/45. In this note we present a proof of the conjecture based on the generating function.
Group-theoretic algorithms for matrix multiplication
Published in Proceedings of the 46th Annual Symposium on Foundations of Computer Science, 23-25 October 2005, Pittsburgh, PA, IEEE Computer Society, pp. 379-388
• View Publication
• BIB
We further develop the group-theoretic approach to fast matrix multiplication introduced by Cohn and Umans, and for the first time use it to derive algorithms asymptotically faster than the standard algorithm. We describe several families of wreath product groups that achieve matrix multiplication exponent less than 3, the asymptotically fastest of which achieves exponent 2.41. We present two conjectures regarding specific improvements, one combinatorial and the other algebraic. Either one would imply that the exponent of matrix multiplication is 2.
Modular forms for the even unimodular lattice of signature (2,10)
Published
• View Publication
• BIB
Some years ago, Borcherds described in [Bo1] two methods for constructing modular forms on modular varieties related to the orthogonal group $Ø(2,n)$. They are the so called Borcherds' additive and multiplicative lifting. The multiplicative lifting has been used by Borcherds himself and other authors to construct modular forms with known vanishing locus and interesting properties. The additive lifting has been used to construct explicit maps from some modular varieties $Ø(2,n)$. In this paper we try a more systematic treatment in certain level 2 cases giving connections with Kondo's works
Longest alternating subsequences of permutations
Published
• View Publication
• BIB
The length is(w) of the longest increasing subsequence of a permutation w in the symmetric group S_n has been the object of much investigation. We develop comparable results for the length as(w) of the longest alternating subsequence of w, where a sequence a,b,c,d,... is alternating if a>b<c>d<.... For instance, the expected value (mean) of as(w) for w in S_n is exactly (4n+1)/6 if n>1.
Asymptotics of counts of small components in random structures and models of coagulation-fragmentation
Published
• View Publication
• BIB
We establish necessary and sufficient conditions for convergence (in the sense of finite dimensional distributions) of multiplicative measures on the set of partitions. We show that this convergence is equivalent to asymptotic independence of finite sizes of components. The multiplicative measures depict component spectra of random structures, the equilibrium of classic models of statistical mechanics and stochastic processes of coagulation-fragmentation. We then apply Schur's tauberian lemma and some results from additive number theory and enumerative combinatorics, in order to verify the conditions derived in important special cases. Our results demostrate that the common belief that interacting groups in mean field models become independent as the number of particles goes to infinity, is not true in general.
Power series coefficients for probabilities in finite classical groups
Published
• View Publication
• BIB
It is shown that a wide range of probabilities and limiting probabilities in finite classical groups have integral coefficients when expanded as a power series in 1/q. Moreover it is proved that the coefficients of the limiting probabilities in the general linear and unitary cases are equal modulo 2. The rate of stabilization of the finite dimensional coefficients as the dimension increases is discussed.
On the characteristic map of finite unitary groups
Published
• View Publication
• BIB
In his classic book on symmetric functions, Macdonald describes a remarkable result by Green relating the character theory of the finite general linear group to transition matrices between bases of symmetric functions. This connection allows us to analyze the representation theory of the general linear group via symmetric group combinatorics. Using the work of Ennola, Kawanaka, Lusztig and Srinivasan, this paper describes the analogous setting for the finite unitary group. In particular, we explain the connection between Deligne-Lusztig theory and Ennola's efforts to generalize Green's work, and deduce various representation theoretic results from these results. Applications include finding certain sums of character degrees, and a model of Deligne-Lusztig type for the finite unitary group, which parallels results of Klyachko and Inglis and Saxl for the finite general linear group.
Compressions, convex geometry and the Freiman-Bilu theorem
Published
• View Publication
• BIB
We note a link between combinatorial results of Bollobás and Leader concerning sumsets in the grid, the Brunn-Minkowski theorem and a result of Freiman and Bilu concerning the structure of sets of integers with small doubling.
Our main result is the following. If eps > 0 and if A is a finite nonempty subset of a torsion-free abelian group with |A + A| <= K|A|, then A may be covered by exp(K^C) progressions of dimension [log_2 K + eps] and size at most |A|.
A note on the Grothendieck ring of the symmetric group
Published in Comptes Rendus de l Académie des Sciences - Series I - Mathematics 342 (2006) 533-538
• Search Publication
Let $p$ be a prime number and let $n$ be a non-zero natural number. We compute the descending Loewy series of the algebra $R\_n/pR\_n$, where $R\_n$ denotes the ring of virtual ordinary characters of the symmetric group $S\_n$.
Birational transformations of weighted graphs
We introduce the notion of a standard weighted graph and show that every weighted graph has an essentially unique standard model. Moreover we classify birational transformations between such models. Our central result shows that these are composed of elementary transformations. The latter ones are defined similarly to the well known elementary transformations of ruled surfaces.
In a forthcoming paper, we apply these results in the geometric setup to obtain standard equivariant completions of affine surfaces with an action of certain algebraic groups. We show that these completions are unique up to equivariant elementary transformations.
On Some Generalizations of Fermat's, Lucas's and Wilson's Theorems
We use actions by finite cyclic groups to derive generalizations of three classical theorems from elementary number theory.
Triangulations into Groups
If a (cusped) surface S admits an ideal triangulation T with no shears, we show an efficient algorithm to give S as a quotient of hypebolic plane by a subgroup of PSL(2, Z). The algorithm runs in time O(n log n), where n is the number of triangles in the triangulation T. The algorithm generalizes to producing fundamental groups of general surfaces and geometric manifolds of higher dimension.
A sharp diameter bound for unipotent groups of classical type over Z/pZ
Published
• View Publication
• BIB
The unipotent subgroup of a finite group of Lie type over a prime field Z/pZ comes equipped with a natural set of generators; the properties of the Cayley graph associated to this set of generators have been much studied. In the present paper, we show that the diameter of this Cayley graph is bounded above and below by constant multiples of np + n^2 log p, where n is the rank of the associated Lie group. This generalizes a result of the first author, which treated the case of SL_n(Z/pZ). (Keywords: diameter, Cayley graph, finite groups of Lie type. AMS classification: 20G40, 05C25)
Completely empty pyramids on integer lattices and two-dimensional faces of multidimensional continued fractions
Published in Monatshefte fuer Mathematik, vol.152, pp.217-249, 2007.
• View Publication
• BIB
In this paper we develop an integer-affine classification of three-dimensional multistory completely empty convex marked pyramids. We apply it to obtain the complete lists of compact two-dimensional faces of multidimensional continued fractions lying in planes with integer distances to the origin equal 2, 3, 4 ... The faces are considered up to the action of the group of integer-linear transformations. In conclusion we formulate some actual unsolved problems associated with the generalizations for n-dimensional faces and more complicated face configurations.