arXiv++ Combinatorics

Browse math.CO papers from arXiv

group

10399 papers tagged with this keyword
2011-12-03 v2
Characteristic maps for the Brauer algebra
Published in J. Alg. Comb. 38 (2013), 15-35 • View Publication • BIB
The classical characteristic map associates symmetric functions to characters of the symmetric groups. There are two natural analogues of this map involving the Brauer algebra. The first of them relies on the action of the orthogonal or symplectic group on a space of tensors, while the second is provided by the action of this group on the symmetric algebra of the corresponding Lie algebra. We consider the second characteristic map both in the orthogonal and symplectic case, and calculate the images of central idempotents of the Brauer algebra in terms of the Schur polynomials. The calculation is based on the Okounkov--Olshanski binomial formula for the classical Lie groups. We also reproduce the hook dimension formulas for representations of the classical groups by deriving them from the properties of the primitive idempotents of the symmetric group and the Brauer algebra.
2011-12-02 v2
A braid group action on parking functions
We construct an action of the braid group on $n$ strands on the set of parking functions of $n$ cars such that elementary braids have orbits of length 2 or 3. The construction is motivated by a theorem of Lyashko and Looijenga stating that the number of the distinguished bases for $A_n$ singularity equals $(n+1)^{n-1}$ and thus equals the number of parking functions. We construct an explicit bijection between the set of parking functions and the set of distinguished bases, which allows us to translate the braid group action on distinguished bases in terms of parking functions.
2011-12-01
Ranks of 0-1 arrays of size 2 x 2 x 2 and 2 x 2 x 2 x 2
We use computer algebra to determine the ranks of arrays of size 2 x 2 x 2 and 2 x 2 x 2 x 2 with entries in the set {0, 1} regarded as a field with two elements, as a Boolean algebra, and as non-negative integers. In the field case we also determine the canonical forms of the arrays with respect to the action of the direct product of the general linear groups.
Reducts of the random partial order
Published • View Publication • BIB
We determine, up to the equivalence of first-order interdefinability, all structures which are first-order definable in the random partial order. It turns out that these structures fall into precisely five equivalence classes. We achieve this result by showing that there exist exactly five closed permutation groups which contain the automorphism group of the random partial order, and thus expose all symmetries of this structure. Our classification lines up with previous similar classifications, such as the structures definable in the random graph or the order of the rationals; it also provides further evidence for a conjecture due to Simon Thomas which states that the number of structures definable in a homogeneous structure in a finite relational language is, up to first-order interdefinability, always finite. The method we employ is based on a Ramsey-theoretic analysis of functions acting on the random partial order, which allows us to find patterns in such functions and make them accessible to finite combinatorial arguments.
2011-11-30
Further Properties of Random Threshold Graphs
In 2009, two different groups independently explored the behavior of random threshold graphs. Here, we extend their techniques to find the distribution of other properties, including matching number, degeneracy, and length of the longest cycle.
2011-11-30 v5
EL-Shellability and Noncrossing Partitions Associated with Well-Generated Complex Reflection Groups
Published in European Journal of Combinatorics 43(C) (2015), pages 249-278 • View Publication • BIB
In this article we prove that the lattice of noncrossing partitions is EL-shellable when associated with the well-generated complex reflection group of type $G(d,d,n)$, for $d,n\geq 3$, or with the exceptional well-generated complex reflection groups which are no real reflection groups. This result was previously established for the real reflection groups and it can be extended to the well-generated complex reflection group of type $G(d,1,n)$, for $d,n\geq 3$, as well as to three exceptional groups, namely $G_{25},G_{26}$ and $G_{32}$, using a braid group argument. We thus conclude that the lattice of noncrossing partitions of any well-generated complex reflection group is EL-shellable. Using this result and a construction by Armstrong and Thomas, we conclude further that the poset of $m$-divisible noncrossing partitions is EL-shellable for every well-generated complex reflection group. Finally, we derive results on the Möbius function of these posets previously conjectured by Armstrong, Krattenthaler and Tomie.
2011-11-30
Drinfeld Orbifold Algebras
Published • View Publication • BIB
We define Drinfeld orbifold algebras as filtered algebras deforming the skew group algebra (semi-direct product) arising from the action of a finite group on a polynomial ring. They simultaneously generalize Weyl algebras, graded (or Drinfeld) Hecke algebras, rational Cherednik algebras, symplectic reflection algebras, and universal enveloping algebras of Lie algebras with group actions. We give necessary and sufficient conditions on defining parameters to obtain Drinfeld orbifold algebras in two general formats, both algebraic and homological. We explain the connection between Hochschild cohomology and a Poincare-Birkhoff-Witt property explicitly (using Gerstenhaber brackets). We also classify those deformations of skew group algebras which arise as Drinfeld orbifold algebras and give applications for abelian groups.
2011-11-30
The rank of a divisor on a finite graph: geometry and computation
We study the problem of computing the rank of a divisor on a finite graph, a quantity that arises in the Riemann-Roch theory on a finite graph developed by Baker and Norine (Advances of Mathematics, 215(2): 766-788, 2007). Our work consists of two parts: the first part is an algorithm whose running time is polynomial for a multigraph with a fixed number of vertices. More precisely, our algorithm has running time O(2^{n \log n})poly(size(G)), where n+1 is the number of vertices of the graph G. The second part consists of a new proof of the fact that testing if rank of a divisor is non-negative or not is in the complexity class NP intersection co-NP and motivated by this proof and its generalisations, we construct a new graph invariant that we call the critical automorphism group of the graph.
2011-11-30 v3
Relations between the minors of a generic matrix
Published • View Publication • BIB
It is well-known that the Plücker relations generate the ideal of relations of the maximal minors of a generic matrix. In this paper we discuss the relations between minors of a (non-maximal) fixed size. We will exhibit minimal relations in degrees 2 (non-Plücker in general) and 3, and give some evidence for our conjecture that we have found the generating system of the ideal of relations. The approach is through the representation theory of the general linear group.
2011-11-27
Explicit monomial expansions of the generating series for connection coefficients
Published • View Publication • BIB
This paper is devoted to the explicit computation of generating series for the connection coefficients of two commutative subalgebras of the group algebra of the symmetric group, the class algebra and the double coset algebra. As shown by Hanlon, Stanley and Stembridge (1992), these series gives the spectral distribution of some random matrices that are of interest to statisticians. Morales and Vassilieva (2009, 2011) found explicit formulas for these generating series in terms of monomial symmetric functions by introducing a bijection between partitioned hypermaps on (locally) orientable surfaces and some decorated forests and trees. Thanks to purely algebraic means, we recover the formula for the class algebra and provide a new simpler formula for the double coset algebra. As a salient ingredient, we derive a new explicit expression for zonal polynomials indexed by partitions of type [a,b,1^(n-a-b)].
2011-11-27
Cayley graphs on nilpotent groups with cyclic commutator subgroup are hamiltonian
Published • View Publication • BIB
We show that if G is any nilpotent, finite group, and the commutator subgroup of G is cyclic, then every connected Cayley graph on G has a hamiltonian cycle.
2011-11-26 v5
Combinatorial Hopf algebra of superclass functions of type $D$
Published • View Publication • BIB
We provide a Hopf algebra structure on the space of superclass functions on the unipotent upper triangular group of type D over a finite field based on a supercharacter theory constructed by André and Neto. Also, we make further comments with respect to types B and C. Type A was explores by M. Aguiar et. al (2010), thus this paper is a contribution to understand combinatorially the supercharacter theory of the other classical Lie types.
Characterization of cyclic Schur groups
Published in St. Petersburg Math. J. 25 (2014), no. 5, 755-773 • View Publication • BIB
A finite group $G$ is called a Schur group, if any Schur ring over $G$ is the transitivity module of a permutation group on the set $G$ containing the regular subgroup of all right translations. It was proved by R. Pöschel (1974) that given a prime $p\ge 5$ a $p$-group is Schur if and only if it is cyclic. We prove that a cyclic group of order $n$ is a Schur group if and only if $n$ belongs to one of the following five (partially overlapped) families of integers: $p^k$, $pq^k$, $2pq^k$, $pqr$, $2pqr$ where $p,q,r$ are distinct primes, and $k\ge 0$ is an integer.
2011-11-22 v3
From Hurwitz numbers to Kontsevich-Witten tau-function: a connection by Virasoro operators
Published • View Publication • BIB
In this letter,we present our conjecture on the connection between the Kontsevich--Witten and the Hurwitz tau-functions. The conjectural formula connects these two tau-functions by means of the $GL(\infty)$ group element. An important feature of this group element is its simplicity: this is a group element of the Virasoro subalgebra of $gl(\infty)$. If proved, this conjecture would allow to derive the Virasoro constraints for the Hurwitz tau-function, which remain unknown in spite of existence of several matrix model representations, as well as to give an integrable operator description of the Kontsevich--Witten tau-function.
2011-11-21 v3
Quantum Drinfeld Hecke Algebras
Published in Can. J. Math.-J. Can. Math. 66 (2014) 874-901 • View Publication • BIB
We consider finite groups acting on quantum (or skew) polynomial rings. Deformations of the semidirect product of the quantum polynomial ring with the acting group extend symplectic reflection algebras and graded Hecke algebras to the quantum setting over a field of arbitrary characteristic. We give necessary and sufficient conditions for such algebras to satisfy a Poincare-Birkhoff-Witt property using the theory of noncommutative Groebner bases. We include applications to the case of abelian groups and the case of groups acting on coordinate rings of quantum planes. In addition, we classify graded automorphisms of the coordinate ring of quantum 3-space. In characteristic zero, Hochschild cohomology gives an elegant description of the Poincare-Birkhoff-Witt conditions.
2011-11-18
Constructing Self-Dual Chiral Polytopes
Published • View Publication • BIB
An abstract polytope is chiral if its automorphism group has two orbits on the flags, such that adjacent flags belong to distinct orbits. There are still few examples of chiral polytopes, and few constructions that can create chiral polytopes with specified properties. In this paper, we show how to build self-dual chiral polytopes using the mixing construction for polytopes.
2011-11-16 v3
Teichmüller spaces of Riemann surfaces with orbifold points of arbitrary order and cluster variables
Published in Int Math Res Notices (2014) Vol. 2014 2746-2772 • View Publication • BIB
We generalize a new class of cluster type mutations for which exchange transformations are given by reciprocal polynomials. In the case of second-order polynomials of the form $x+2\cos{π/n_o}+x^{-1}$ these transformations are related to triangulations of Riemann surfaces of arbitrary genus with at least one hole/puncture and with an arbitrary number of orbifold points of arbitrary integer orders $n_o$. We propose the dual graph description of the corresponding Teichmüller spaces, construct the Poisson algebra of the Teichmüller space coordinates, propose the combinatorial description of the corresponding geodesic functions and find the mapping class group transformations.
2011-11-15
Three-factor decompositions of $\mathbb{U}_n$ with the three generators in arithmetic progression
Irrespective of whether n is prime, prime power with exponent >1, or composite, the group U_n of units of Z_n can sometimes be obtained as the direct product of cyclic groups generated by x, x+k and x+2k, for x, k in Z_n. Indeed, for many values of n, many distinct 3-factor decompositions of this type exist. The circumstances in which such decompositions exist are examined. Many decompositions have additional interesting properties. We also look briefly at decompositions of the multiplicative groups of finite fields.
2011-11-15
Positroid Varieties: Juggling and Geometry
Published • View Publication • BIB
While the intersection of the Grassmannian Bruhat decompositions for all coordinate flags is an intractable mess, the intersection of only the cyclic shifts of one Bruhat decomposition turns out to have many of the good properties of the Bruhat and Richardson decompositions. This decomposition coincides with the projection of the Richardson stratification of the flag manifold, studied by Lusztig, Rietsch, Brown-Goodearl-Yakimov and the present authors. However, its cyclic-invariance is hidden in this description. Postnikov gave many cyclic-invariant ways to index the strata, and we give a new one, by a subset of the affine Weyl group we call bounded juggling patterns. We call the strata positroid varieties. Applying results from the authors' previous work, we show that positroid varieties are normal, Cohen-Macaulay, have rational singularities, and are defined as schemes by the vanishing of Plucker coordinates. We prove that their associated cohomology classes are represented by affine Stanley functions. This last fact lets us connect Postnikov's and Buch-Kresch-Tamvakis' approaches to quantum Schubert calculus.
2011-11-14 v3
Diameter of Cayley graphs of permutation groups generated by transposition trees
Published in Journal of Combinatorial Mathematics and Combinatorial Computing, vol. 84, pp. 29-40, February 2013 • Search Publication
Let $Γ$ be a Cayley graph of the permutation group generated by a transposition tree $T$ on $n$ vertices. In an oft-cited paper \cite{Akers:Krishnamurthy:1989} (see also \cite{Hahn:Sabidussi:1997}), it is shown that the diameter of the Cayley graph $Γ$ is bounded as $$\diam(Γ) \le \max_{π\in S_n}{c(π)-n+\sum_{i=1}^n \dist_T(i,π(i))},$$ where the maximization is over all permutations $π$, $c(π)$ denotes the number of cycles in $π$, and $\dist_T$ is the distance function in $T$. In this work, we first assess the performance (the sharpness and strictness) of this upper bound. We show that the upper bound is sharp for all trees of maximum diameter and also for all trees of minimum diameter, and we exhibit some families of trees for which the bound is strict. We then show that for every $n$, there exists a tree on $n$ vertices, such that the difference between the upper bound and the true diameter value is at least $n-4$. Observe that evaluating this upper bound requires on the order of $n!$ (times a polynomial) computations. We provide an algorithm that obtains an estimate of the diameter, but which requires only on the order of (polynomial in) $n$ computations; furthermore, the value obtained by our algorithm is less than or equal to the previously known diameter upper bound. This result is possible because our algorithm works directly with the transposition tree on $n$ vertices and does not require examining any of the permutations (only the proof requires examining the permutations). For all families of trees examined so far, the value $β$ computed by our algorithm happens to also be an upper bound on the diameter, i.e. $$\diam(Γ) \le β\le \max_{π\in S_n}{c(π)-n+\sum_{i=1}^n \dist_T(i,π(i))}.$$