group
10399 papers tagged with this keyword
Walks with small steps in the quarter plane
Published
• View Publication
• BIB
Let S be a subset of {-1,0,1}^2 not containing (0,0). We address the enumeration of plane lattice walks with steps in S, that start from (0,0) and always remain in the first quadrant. A priori, there are 2^8 problems of this type, but some are trivial. Some others are equivalent to a model of walks confined to a half-plane: such models can be solved systematically using the kernel method, which leads to algebraic generating functions. We focus on the remaining cases, and show that there are 79 inherently different problems to study. To each of them, we associate a group G of birational transformations. We show that this group is finite in exactly 23 cases. We present a unified way of solving 22 of the 23 models associated with a finite group. For each of them, the generating function is found to be D-finite. The 23rd model, known as Gessel's walks, has recently been proved by Bostan et al. to have an algebraic (and hence D-finite) solution. We conjecture that the remaining 56 models, associated with an infinite group, have a non-D-finite generating function. Our approach allows us to recover and refine some known results, and also to obtain new results. For instance, we prove that walks with N, E, W, S, SW and NE steps have an algebraic generating function.
Hyperoctahedral species
Published in Sém. Lothar. Combin. 61A (2010), Art. B61Aj, 22 p
• Search Publication
We introduce a new definition for the species of type B, or H-species, analog to the classical species (of type A), but on which we consider the action of the groups Bn of signed permutations. We are interested in algebraic structure on these H-species and give examples of Hopf monoids. The natural way to get a graded vector space from a species, given in this paper in terms of functors, will allow us to deepen our understanding of these species. In particular, the image of the classical species of set compositions under a given functor is isomorphic to the combinatorial Hopf algebra DQSym.
Cycle factorizations and one-faced graph embeddings
Published
• View Publication
• BIB
Consider factorizations into transpositions of an n-cycle in the symmetric group S_n. To every such factorization we assign a monomial in variables w_{ij} that retains the transpositions used, but forgets their order. Summing over all possible factorizations of n-cycles we obtain a polynomial that happens to admit a closed expression. From this expression we deduce a formula for the number of 1-faced embeddings of a given graph.
Automorphism groups of cyclic codes
Published
• View Publication
• BIB
In this article we study the automorphism groups of binary cyclic codes. In particular, we provide explicit constructions for codes whose automorphism groups can be described as (a) direct products of two symmetric groups or (b) iterated wreath products of several symmetric groups. Interestingly, some of the codes we consider also arise in the context of regular lattice graphs and permutation decoding.
Clifford Algebras and Graphs
Published in Geombinatorics v.XX, pp. 56-76, (2010)
• Search Publication
I show how to associate a Clifford algebra to a graph. I describe the structure of these Clifford graph algebras and provide many examples and pictures. I describe which graphs correspond to isomorphic Clifford algebras and also discuss other related sets of graphs. This construction can be used to build models of representations of simply-laced compact Lie groups.
A primitive derivation and logarithmic differential forms of Coxeter arrangements
Published in Math. Z. 264 (2010), 813-828
• View Publication
• BIB
Let $W$ be a finite irreducible real reflection group, which is a Coxeter group. We explicitly construct a basis for the module of differential 1-forms with logarithmic poles along the Coxeter arrangement by using a primitive derivation. As a consequence, we extend the Hodge filtration, indexed by nonnegative integers, into a filtration indexed by all integers. This filtration coincides with the filtration by the order of poles. The results are translated into the derivation case.
Reduced Kronecker coefficients and counter-examples to Mulmuley's strong saturation conjecture SH
Published in Computational Complexity, vol. 18(4) pp. 577-600 (2009)
• View Publication
• BIB
We provide counter-examples to Mulmuley's strong saturation conjecture (strong SH) for the Kronecker coefficients. This conjecture was proposed in the setting of Geometric Complexity Theory to show that deciding whether or not a Kronecker coefficient is zero can be done in polynomial time. We also provide a short proof of the #P-hardness of computing the Kronecker coefficients. Both results rely on the connections between the Kronecker coefficients and another family of structural constants in the representation theory of the symmetric groups: Murnaghan's reduced Kronecker coefficients.
An appendix by Mulmuley introduces a relaxed form of the saturation hypothesis SH, still strong enough for the aims of Geometric Complexity Theory.
Explicit combinatorial interpretation of Kerov character polynomials as numbers of permutation factorizations
Published in Adv. Math. 225 (2010), no. 1, 81-120
• View Publication
• BIB
We find an explicit combinatorial interpretation of the coefficients of Kerov character polynomials which express the value of normalized irreducible characters of the symmetric groups S(n) in terms of free cumulants R_2,R_3,... of the corresponding Young diagram. Our interpretation is based on counting certain factorizations of a given permutation.
Derangements and Euler's difference table for $C_\ell\wr S_n$
Published in The Electronic Journal of Combinatorics 15 (2008); #R65
• View Publication
• BIB
Euler's difference table associated to the sequence $\{n!\}$ leads naturally to the counting formula for the derangements. In this paper we study Euler's difference table associated to the sequence $\{\ell^n n!\}$ and the generalized derangement problem. For the coefficients appearing in the later table we will give the combinatorial interpretations in terms of two kinds of $k$-successions of the group $C_\ell\wr S_n$. In particular for $\ell=1$ we recover the known results for the symmetric groups while for $\ell=2$ we obtain the corresponding results for the hyperoctahedral groups.
Fix-Euler-Mahonian statistics on wreath products
Published
• View Publication
• BIB
In 1997 Clarke et al. studied a $q$-analogue of Euler's difference table for $n!$ using a key bijection $Ψ$ on symmetric groups. In this paper we extend their results to the wreath product of a cyclic group with the symmetric group. In particular we obtain a new mahonian statistic \emph{fmaf} on wreath products. We also show that Foata and Han's two recent transformations on the symmetric groups provide indeed a factorization of $Ψ$.
A bijection between noncrossing and nonnesting partitions for classical reflection groups
Published
• View Publication
• BIB
We present an elementary type preserving bijection between noncrossing and nonnesting partitions for all classical reflection groups, answering a question of Athanasiadis.
Quiver Presentations for Descent Algebras of Exceptional Type
The descent algebra of a finite Coxeter group $W$ is a basic algebra, and as such it has a presentation as quiver with relations. In recent work, we have developed a combinatorial framework which allows us to systematically compute such a quiver presentation for a Coxeter group of a given type. In this article, we use that framework to determine quiver presentations for the descent algebras of the Coxeter groups of exceptional or non-crystallographic type, i.e., of type $E_6$, $E_7$, $E_8$, $F_4$, $H_3$, $H_4$ or $I_2(m)$.
Presentation of right-angled Soergel categories by generators and relations
Published
• View Publication
• BIB
Soergel bimodule category B is a categorification of the Hecke algebra of a Coxeter system (W,S). We find a presentation of B (as a tensor category) by generators and relations when W is a right-angled Coxeter group.
Most actions on regular trees are almost free
Let T be a d-regular tree (d > 2) and A=Aut(T), its automorphism group. Let G be a group generated by n independent Haar-random elements of A. We show that almost surely, every nontrivial element of G has finitely many fixed points on T.
Double Schubert polynomials for the classical groups
Published in Advances in Mathematics 226 (2011), 840--886
• View Publication
• BIB
For each infinite series of the classical Lie groups of type B,C or D, we introduce a family of polynomials parametrized by the elements of the corresponding Weyl group of infinite rank. These polynomials represent the Schubert classes in the equivariant cohomology of the appropriate flag variety. They satisfy a stability property, and are a natural extension of the (single) Schubert polynomials of Billey and Haiman, which represent non-equivariant Schubert classes. They are also positive in a certain sense, and when indexed by maximal Grassmannian elements, or by the longest element in a finite Weyl group, these polynomials can be expressed in terms of the factorial analogues of Schur's Q- or P-functions defined earlier by Ivanov.
The Fundamental Group of Balanced Simplicial Complexes and Posets
Published in Electronic Journal of Combinatorics, 16 (2009-10) no. 2, Research Paper 7, 12pp
• View Publication
• BIB
We establish an upper bound on the cardinality of a minimal generating set for the fundamental group of a large family of connected, balanced simplicial complexes and, more generally, simplicial posets.
The structure of the exponent set for finite cyclic groups
We survey properties of the set of possible exponents of subsets of $\Z_n$ (equivalently, exponents of primitive circulant digraphs on $n$ vertices). Let $E_n$ denote this exponent set. We point out that $E_n$ contains the positive integers up to $\sqrt{n}$, the `large' exponents $\lfloor \frac{n}{3} \rfloor +1, \lfloor \frac{n}{2} \rfloor, n-1$, and for even $n \ge 4$, the additional value $\frac{n}{2}-1$. It is easy to see that no exponent in $[\frac{n}{2}+1,n-2]$ is possible, and Wang and Meng have shown that no exponent in $[\lfloor \frac{n}{3}\rfloor +2,\frac{n}{2}-2]$ is possible. Extending this result, we show that the interval $[\lfloor \frac{n}{4} \rfloor +3, \lfloor \frac{n}{3} \rfloor -2]$ is another gap in the exponent set $E_n$. In particular, $11 \not\in E_{35}$ and this gap is nonempty for all $n \ge 57$. A conjecture is made about further gaps in $E_n$ for large $n$.
Structural properties of acyclic heaps of pieces with Kazhdan--Lusztig theory
We introduce the notions of boundary vertex, linear equivalence and effective boundary vertex in the context of Viennot's heaps of pieces. We prove that in the heap of a fully commutative element in a star reducible Coxeter group, every boundary vertex is linearly equivalent to an effective boundary vertex. Using this result, we establish Property W (in the sense of math.QA/0509363) for star reducible Coxeter groups; this corrects a mistake in the latter paper.
Non-cyclic graph associated with a group
Published
• View Publication
• BIB
We associate a graph $\mathcal{C}_G$ to a non locally cyclic group $G$ (called the non-cyclic graph of $G$) as follows: take $G\backslash Cyc(G)$ as vertex set, where $Cyc(G)=\{x\in G | < x,y> \text{is cyclic for all} y\in G\}$ is called the cyclicizer of $G$, and join two vertices if they do not generate a cyclic subgroup.
For a simple graph $Γ$, $w(Γ)$ denotes the clique number of $Γ$, which is the maximum size (if it exists) of a complete subgraph of $Γ$. In this paper we characterize groups whose non-cyclic graphs have clique numbers at most 4. We prove that a non-cyclic group $G$ is solvable whenever $w(\mathcal{C}_G)<31$ and the equality for a non-solvable group $G$ holds if and only if $G/Cyc(G)\cong A_5$ or $S_5$.
Coxeter group actions on 4F3(1) hypergeometric series
Published
• View Publication
• BIB
We investigate a certain linear combination $K(\vec{x})=K(a;b,c,d;e,f,g)$ of two Saalschutzian hypergeometric series of type ${_4}F_3(1)$. We first show that $K(a;b,c,d;e,f,g)$ is invariant under the action of a certain matrix group $G_K$, isomorphic to the symmetric group $S_6$, acting on the affine hyperplane $V=\{(a,b,c,d,e,f,g)\in\Bbb C^7\colon e+f+g-a-b-c-d=1\}$. We further develop an algebra of three-term relations for $K(a;b,c,d;e,f,g)$. We show that, for any three elements $μ_1,μ_2,μ_3$ of a certain matrix group $M_K$, isomorphic to the Coxeter group $W(D_6)$ (of order 23040), and containing the above group $G_K$, there is a relation among $K(μ_1\vec{x})$, $K(μ_2\vec{x})$, and $K(μ_3\vec{x})$, provided no two of the $μ_j$'s are in the same right coset of $G_K$ in $M_K$. The coefficients in these three-term relations are seen to be rational combinations of gamma and sine functions in $a,b,c,d,e,f,g$.
The set of $({|M_K|/|G_K|\atop 3})=({32\atop 3})=4960$ resulting three-term relations may further be partitioned into five subsets, according to the Hamming type of the triple $(μ_1,μ_2,μ_3) $ in question. This Hamming type is defined in terms of Hamming distance between the $μ_j$'s, which in turn is defined in terms of the expression of the $μ_j$'s as words in the Coxeter group generators.
Each three-term relation of a given Hamming type may be transformed into any other of the same type by a change of variable. An explicit example of each of the five types of three-term relations is provided.