arXiv++ Combinatorics

Browse math.CO papers from arXiv

group

10399 papers tagged with this keyword
2007-03-13 v2
B-orbits of nilpotent order 2 and link patterns
Published • View Publication • BIB
In this paper we describe geometry of orbits of upper triangular matrices of nilpotent order 2 under conjugation by the group of upper triangular invertible matrices in terms of link patterns. Further we apply this description to the computations of the closures of orbital varieties of nilpotent order 2 and intersections of components of a Springer fiber of nilpotent order 2. In particular we connect our results to the combinatorics of meanders and Temperley-Lieb algebras.
2007-03-12 v3
Product decompositions of quasirandom groups and a Jordan type theorem
Published • View Publication • BIB
We first note that a result of Gowers on product-free sets in groups has an unexpected consequence: If k is the minimal degree of a representation of the finite group G, then for every subset B of G with $|B| > |G| / k^{1/3}$ we have B^3 = G. We use this to obtain improved versions of recent deep theorems of Helfgott and of Shalev concerning product decompositions of finite simple groups, with much simpler proofs. On the other hand, we prove a version of Jordan's theorem which implies that if k>1, then G has a proper subgroup of index at most ck^2 for some absolute constant c, hence a product-free subset of size at least $|G| / c'k$. This answers a question of Gowers.
2007-03-11
On sets with small doubling
Published • View Publication • BIB
Let G be an arbitrary Abelian group and let A be a finite subset of G. A has small additive doubling if |A+A| < K|A| for some K>0. These sets were studied in papers of G.A. Freiman, Y. Bilu, I. Ruzsa, M.C.--Chang, B. Green and T.Tao. In the article we prove that if we have some minor restrictions on K then for any set with small doubling there exists a set Lambda, |Lambda| << K log |A| such that |A\cap Lambda| >> |A| / K^{1/2 + c}, where c > 0. In contrast to the previous results our theorem is nontrivial for large K. For example one can take K equals |A|^η, where η>0. We use an elementary method in our proof.
2007-03-08
The Profile of relations
The {\it profile} of a relational structure $R$ is the function $φ_R$ which counts for every integer $n$ the number of its $n$-element substructures up to an isomorphism. Many counting functions are profiles. Interesting examples come from permutation groups. Some salient facts about the behavior of the profile are presented. Techniques from ordered sets and combinatorics (notably the notion of well-quasi-order, the related notions of ordered algebras, Ramsey theorem) are illustrated. Ongoing resarch suggests to view the profile of a relational structure $R$ as the Hilbert function of some graded algebra associated with $R$. A hint at the solution of a conjecture of P.J.Cameron on the integrity of the ring of the orbit algebra is given. Recent progress made with Y.Boudabbous and N.Thiéry on the conjecture that the profile is a quasi-polynomial if its growth is polynomial (and the structure has a finite kernel) are presented.
2007-03-06
Calogero-Moser space, reduced rational Cherednik algebras, and two-sided cells
Published • View Publication • BIB
We conjecture that the "nilpotent points" of Calogero-Moser space for reflection groups are parametrised naturally by the two-sided cells of the group with unequal parameters. The nilpotent points correspond to blocks of restricted Cherednik algebras and we describe these blocks in the case G(m,1,n) and show that in type B our description produces an existing conjectural description of two-sided cells.
2007-03-06
Quiver varieties, category O for rational Cherednik algebras, and Hecke algebras
Published • View Publication • BIB
We relate the representations of the rational Cherednik algebras associated with the complex reflection group G(m,1,n) to sheaves on Nakajima quiver varieties associated with extended Dynkin gaphs via a Z-algebra construction. As the parameters defining the Cherednik algebra vary, the stability conditions defining the quiver variety change. We interpret the ordering on category O geometrically using this relationship; we also relate the geometry to the a-function for Hecke algebras with unequal parameters.
2007-03-04
Fix-Mahonian Calculus, I: two transformations
Published • View Publication • BIB
We construct two bijections of the symmetric group S_n onto itself that enable us to show that three new three-variable statistics are equidistributed with classical statistics involving the number of fixed points. The first one is equidistributed with the triplet (fix,des,maj), the last two with (fix,exc,maj), where "fix," "des," "exc" and "maj" denote the number of fixed points, the number of descents, the number of excedances and the major index, respectively.
2007-03-04
Fix-Mahonian Calculus, II: further statistics
Published • View Publication • BIB
Using classical transformations on the symmetric group and two transformations constructed in Fix-Mahonian Calculus I, we show that several multivariable statistics are equidistributed either with the triplet (fix,des,maj), or the pair (fix,maj), where "fix," "des" and "maj" denote the number of fixed points, the number of descents and the major index, respectively.
2007-03-04
Euler-Mahonian triple set-valued statistics on permutations
Published • View Publication • BIB
The inversion number and the major index are equidistributed on the symmetric group. This is a classical result, first proved by MacMahon, then by Foata by means of a combinatorial bijection. Ever since many refinements have been derived, which consist of adding new statistics, or replacing integral-valued statistics by set-valued ones. See the works by Foata-Schutzenberger, Skandera, Foata-Han and more recently by Hivert-Novelli-Thibon. In the present paper we derive a general equidistribution property on Euler-Mahonian set-valued statistics on permutations, which unifies the above four refinements. We also state and prove the so-called "complement property" of the Majcode.
2007-03-03
Partitioning the Sample Space on Five Taxa for the Neighbor Joining Algorithm
In this paper, we will analyze the behavior of the Neighbor Joining algorithm on five taxa and we will show that the partition of the sample (data) space for estimation of a tree topology with five taxa into subspaces, within each of which the Neighbor Joining algorithm returns the same tree topology. A key of our method to partition the sample space is the action of the symmetric group $S_5$ on the set of distance matrices by changing the labels of leaves. The method described in this paper can be generalized to trees with more than five taxa.
2007-03-03 v2
Weighted complex projective 2-designs from bases: optimal state determination by orthogonal measurements
Published in J. Math. Phys. 48, 072110 (2007) • View Publication • BIB
We introduce the problem of constructing weighted complex projective 2-designs from the union of a family of orthonormal bases. If the weight remains constant across elements of the same basis, then such designs can be interpreted as generalizations of complete sets of mutually unbiased bases, being equivalent whenever the design is composed of d+1 bases in dimension d. We show that, for the purpose of quantum state determination, these designs specify an optimal collection of orthogonal measurements. Using highly nonlinear functions on abelian groups, we construct explicit examples from d+2 orthonormal bases whenever d+1 is a prime power, covering dimensions d=6, 10, and 12, for example, where no complete sets of mutually unbiased bases have thus far been found.
2007-02-28
A Census Of Highly Symmetric Combinatorial Designs
Published • View Publication • BIB
As a consequence of the classification of the finite simple groups, it has been possible in recent years to characterize Steiner t-designs, that is t-(v,k,1) designs, mainly for t = 2, admitting groups of automorphisms with sufficiently strong symmetry properties. However, despite the finite simple group classification, for Steiner t-designs with t > 2 most of these characterizations have remained longstanding challenging problems. Especially, the determination of all flag-transitive Steiner t-designs with 2 < t < 7 is of particular interest and has been open for about 40 years (cf. [11, p. 147] and [12, p. 273], but presumably dating back to 1965). The present paper continues the author's work [20, 21, 22] of classifying all flag-transitive Steiner 3-designs and 4-designs. We give a complete classification of all flag-transitive Steiner 5-designs and prove furthermore that there are no non-trivial flag-transitive Steiner 6-designs. Both results rely on the classification of the finite 3-homogeneous permutation groups. Moreover, we survey some of the most general results on highly symmetric Steiner t-designs.
Convex Rank Tests and Semigraphoids
Published • View Publication • BIB
Convex rank tests are partitions of the symmetric group which have desirable geometric properties. The statistical tests defined by such partitions involve counting all permutations in the equivalence classes. Each class consists of the linear extensions of a partially ordered set specified by data. Our methods refine existing rank tests of non-parametric statistics, such as the sign test and the runs test, and are useful for exploratory analysis of ordinal data. We establish a bijection between convex rank tests and probabilistic conditional independence structures known as semigraphoids. The subclass of submodular rank tests is derived from faces of the cone of submodular functions, or from Minkowski summands of the permutohedron. We enumerate all small instances of such rank tests. Of particular interest are graphical tests, which correspond to both graphical models and to graph associahedra.
2007-02-15 v2
Recursions for Excedance number in some permutations groups
Published • View Publication • BIB
The excedance number for S_n is known to have an Eulerian distribution. Nevertheless, the classical proof uses descents rather than excedances. We present a direct recursive proof which seems to be folklore and extend it to the colored permutation groups G_r,n. The generalized recursion yields some interesting connection to Stirling numbers of the second kind. We also show some logconcavity result concerning a variant of the excedance number. Finally, we show that the generating function of the excedance number defined on G_r,n is symmetric.
Alternating subgroups of Coxeter groups
Published • View Publication • BIB
We study combinatorial properties of the alternating subgroup of a Coxeter group, using a presentation of it due to Bourbaki.
2007-02-07
On quartic half-arc-transitive metacirculants
Following Alspach and Parsons, a {\em metacirculant graph} is a graph admitting a transitive group generated by two automorphisms $ρ$ and $σ$, where $ρ$ is $(m,n)$-semiregular for some integers $m \geq 1$, $n \geq 2$, and where $σ$ normalizes $ρ$, cyclically permuting the orbits of $ρ$ in such a way that $σ^m$ has at least one fixed vertex. A {\em half-arc-transitive graph} is a vertex- and edge- but not arc-transitive graph. In this article quartic half-arc-transitive metacirculants are explored and their connection to the so called tightly attached quartic half-arc-transitive graphs is explored. It is shown that there are three essentially different possibilities for a quartic half-arc-transitive metacirculant which is not tightly attached to exist. These graphs are extensively studied and some infinite families of such graphs are constructed.
2007-02-07 v2
Twisted identities in Coxeter groups
Published • View Publication • BIB
Given a Coxeter system (W,S) equipped with an involutive automorphism T, the set of twisted identities is i(T) = {T(w)^{-1}w : w \in W}. We point out how i(T) shows up in several contexts and prove that if there is no s \in S such that sT(s) is of odd order greater than 1, then the Bruhat order on i(T) is a graded poset with rank function r given by halving the Coxeter length. Under the same condition, it is shown that the order complexes of the open intervals either are PL spheres or acyclic over the integers. In the general case, contractibility is shown for certain classes of intervals. Furthermore, we demonstrate that sometimes these posets are not graded. For the Poincaré series of i(T), i.e. its generating function with respect to r, a factorisation phenomenon is discussed.
2007-02-05 v2
Dual graded graphs for Kac-Moody algebras
Published • View Publication • BIB
Motivated by affine Schubert calculus, we construct a family of dual graded graphs $(Γ_s,Γ_w)$ for an arbitrary Kac-Moody algebra $\g(A)$. The graded graphs have the Weyl group $W$ of $\g(A)$ as vertex set and are labeled versions of the strong and weak orders of $W$ respectively. Using a construction of Lusztig for quivers with an admissible automorphism, we define folded insertion for a Kac-Moody algebra and obtain Sagan-Worley shifted insertion from Robinson-Schensted insertion as a special case. Drawing on work of Stembridge, we analyze the induced subgraphs of $(Γ_s,Γ_w)$ which are distributive posets.
2007-01-31
2-torus manifolds, cobordism and small covers
Published in Pacific J. Math. 241 (2009), 285--308. • Search Publication
Let ${\frak M}_n$ be the set of equivariant unoriented cobordism classes of all $n$-dimensional 2-torus manifolds, where an $n$-dimensional 2-torus manifold $M$ is a smooth closed manifold of dimension $n$ with effective smooth action of a rank $n$ 2-torus group $({\Bbb Z}_2)^n$. Then ${\frak M}_n$ forms an abelian group with respect to disjoint union. This paper determines the group structure of ${\frak M}_n$ and shows that each class of ${\frak M}_n$ contains a small cover as its representative in the case $n=3$.
2007-01-29
Orbits of rational n-sets of projective spaces under the action of the linear group
For a fixed dimension $N$ we compute the generating function of the numbers $t_N(n)$ (respectively $\bar{t}_N(n)$) of $PGL_{N+1}(k)$-orbits of rational $n$-sets (respectively rational $n$-multisets) of the projective space $\mathb{P}^N$ over a finite field $k=\mathbb{F}_q$. For $N=1,2$ these results provide concrete formulas for $t_N(n)$ and $\bar{t}_N(n)$ as a polynomial in $q$ with integer coefficients.