group
10275 papers tagged with this keyword
An action of the cactus group
We construct an action of the big cactus group (the fundamental group of the Deligne-Mumford compactification of the moduli space of real curves of genus zero with n undistinguished marked points) on Fock-Goncharov's SL_m analog of the decorated Teichmuller space of ideal n-gons.
Homotopy groups of Hom complexes of graphs
Published
• View Publication
• BIB
The notion of $\times$-homotopy from \cite{DocHom} is investigated in the context of the category of pointed graphs. The main result is a long exact sequence that relates the higher homotopy groups of the space $\Hom_*(G,H)$ with the homotopy groups of $\Hom_*(G,H^I)$. Here $\Hom_*(G,H)$ is a space which parametrizes pointed graph maps from $G$ to $H$ (a pointed version of the usual $\Hom$ complex), and $H^I$ is the graph of based paths in $H$. As a corollary it is shown that $π_i \big(\Hom_*(G,H) \big) \cong [G,Ω^i H]_{\times}$, where $ΩH$ is the graph of based closed paths in $H$ and $[G,K]_{\times}$ is the set of $\times$-homotopy classes of pointed graph maps from $G$ to $K$. This is similar in spirit to the results of \cite{BBLL}, where the authors seek a space whose homotopy groups encode a similarly defined homotopy theory for graphs. The categorical connections to those constructions are discussed.
Cyclotomic factors of the descent set polynomial
Published in Journal of Combinatorial Theory Series A 116 (2009), no. 2, 247--264
• View Publication
• BIB
We introduce the notion of the descent set polynomial as an alternative way of encoding the sizes of descent classes of permutations. Descent set polynomials exhibit interesting factorization patterns. We explore the question of when particular cyclotomic factors divide these polynomials. As an instance we deduce that the proportion of odd entries in the descent set statistics in the symmetric group S_n only depends on the number on 1's in the binary expansion of n. We observe similar properties for the signed descent set statistics.
Set theoretic solutions of the Yang-Baxter equation, graphs and computations
Published
• View Publication
• BIB
We extend our recent work on set-theoretic solutions of the Yang-Baxter or braid relations with new results about their automorphism groups, strong twisted unions of solutions and multipermutation solutions. We introduce and study graphs of solutions and use our graphical methods for the computation of solutions of finite order and their automorphisms. Results include a detailed study of solutions of multipermutation level 2.
A new integral basis for the centre of the Hecke algebra of type A
Published
• View Publication
• BIB
We describe a recursive algorithm that produces an integral basis for the centre of the Hecke algebra of type A consisting of linear combinations of monomial symmetric polynomials of Jucys--Murphy elements. We also discuss the existence of integral bases for the centre of the Hecke algebra that consist solely of monomial symmetric polynomials of Jucys--Murphy elements. Finally, for n=3, we show that only one such basis exists for the centre of the Hecke algebra, by proving that there are exactly four bases for the centre of the corresponding symmetric group algebra which consist solely of monomial symmetric polynomials of Jucys--Murphy elements.
Quantum cohomology of G/P and homology of affine Grassmannian
Published
• View Publication
• BIB
Let G be a simple and simply-connected complex algebraic group, P \subset G a parabolic subgroup. We prove an unpublished result of D. Peterson which states that the quantum cohomology QH^*(G/P) of a flag variety is, up to localization, a quotient of the homology H_*(Gr_G) of the affine Grassmannian \Gr_G of G. As a consequence, all three-point genus zero Gromov-Witten invariants of $G/P$ are identified with homology Schubert structure constants of H_*(Gr_G), establishing the equivalence of the quantum and homology affine Schubert calculi.
For the case G = B, we use the Mihalcea's equivariant quantum Chevalley formula for QH^*(G/B), together with relationships between the quantum Bruhat graph of Brenti, Fomin and Postnikov and the Bruhat order on the affine Weyl group. As byproducts we obtain formulae for affine Schubert homology classes in terms of quantum Schubert polynomials. We give some applications in quantum cohomology.
Our main results extend to the torus-equivariant setting.
Small clones and the projection property
Published
• View Publication
• BIB
In 1986, the second author classified the minimal clones on a finite universe into five types. We extend this classification to infinite universes and to multiclones. We show that every non-trivial clone contains a "small" clone of one of the five types. From it we deduce, in part, an earlier result, namely that if $\mathcal C$ is a clone on a universe $A$ with at least two elements, that contains all constant operations, then all binary idempotent operations are projections and some $m$-ary idempotent operation is not a projection some $m\geq 3$ if and only if there is a Boolean group $G$ on $A$ for which $\mathcal C$ is the set of all operations $f(x_1,..., x_n)$ of the form $a+\sum_{i\in I}x_i$ for $a\in A$ and $I\subseteq \{1,..., n\}$.
The Rotor-Router Model on Regular Trees
Published in Journal of Combinatorial Theory, Series A 116(2), 421--433, 2009
• View Publication
• BIB
The rotor-router model is a deterministic analogue of random walk. It can be used to define a deterministic growth model analogous to internal DLA. We show that the set of occupied sites for this model on an infinite regular tree is a perfect ball whenever it can be, provided the initial rotor configuration is acyclic (that is, no two neighboring vertices have rotors pointing to one another). This is proved by defining the rotor-router group of a graph, which we show is isomorphic to the sandpile group. We also address the question of recurrence and transience: We give two rotor configurations on the infinite ternary tree, one for which chips exactly alternate escaping to infinity with returning to the origin, and one for which every chip returns to the origin. Further, we characterize the possible "escape sequences" for the ternary tree, that is, binary words a_1 ... a_n for which there exists a rotor configuration so that the k-th chip escapes to infinity if and only if a_k=1.
A noncommutative Bohnenblust-Spitzer identity for Rota-Baxter algebras solves Bogoliubov's recursion
Published in Journal of Noncommutative Geometry, Vol. 3, Issue 2 (2009), 181-222
• View Publication
• BIB
The Bogoliubov recursion is a particular procedure appearing in the process of renormalization in perturbative quantum field theory. It provides convergent expressions for otherwise divergent integrals. We develop here a theory of functional identities for noncommutative Rota-Baxter algebras which is shown to encode, among others, this process in the context of Connes-Kreimer's Hopf algebra of renormalization. Our results generalize the seminal Cartier-Rota theory of classical Spitzer-type identities for commutative Rota-Baxter algebras. In the classical, commutative, case, these identities can be understood as deriving from the theory of symmetric functions. Here, we show that an analogous property holds for noncommutative Rota-Baxter algebras. That is, we show that functional identities in the noncommutative setting can be derived from the theory of noncommutative symmetric functions. Lie idempotents, and particularly the Dynkin idempotent play a crucial role in the process. Their action on the pro-unipotent groups such as those of perturbative renormalization is described in detail along the way.
On a two-dimensional analog of Szemeredi's Theorem in Abelian groups
Published
• View Publication
• BIB
Let G be a finite Abelian group and A be a subset G\times G of cardinality at least |G|^2/(log log |G|)^c, where c>0 is an absolute constant. We prove that A contains a triple {(k,m), (k+d,m), (k,m+d)}, where d does not equal 0. This theorem is a two-dimensional generalization of Szemeredi's theorem on arithmetic progressions.
1-Factorizations of Cayley graphs
In this note we prove that all connected Cayley graphs of every finite group $Q \times H$ are 1-factorizable, where $Q$ is any non-trivial group of 2-power order and $H$ is any group of odd order.
On the automorphism group of a possible symmetric $(81,16,3)$ design
In this paper we study the automorphism group of a possible symmetric $(81,16,3)$ design.
Excedance numbers for permutations in complex reflection groups
Recently, Bagno, Garber and Mansour studied a kind of excedance number on the complex reflection groups and computed its multidistribution with the number of fixed points on the set of involutions in these groups. In this note, we consider the similar problems in more general cases and make a correction of one result obtained by them.
Bruhat order for two subspaces and a flag
The classical Ehresmann-Bruhat order describes the possible degenerations of a pair of flags in a finite-dimensional vector space V; or, equivalently, the closure of an orbit of the group GL(V) acting on the direct product of two full flag varieties.
We obtain a similar result for triples consisting of two subspaces and a partial flag in V; this is equivalent to describing the closure of a GL(V)-orbit in the product of two Grassmannians and one flag variety. We give a rank criterion to check whether such a triple can be degenerated to another one, and we classify the minimal degenerations. Our methods involve only elementary linear algebra and combinatorics of graphs (originating in Auslander-Reiten quivers).
Primitive flag-transitive generalized hexagons and octagons
Published
• View Publication
• BIB
Suppose that an automorphism group $G$ acts flag-transitively on a finite generalized hexagon or octagon $\cS$, and suppose that the action on both the point and line set is primitive. We show that $G$ is an almost simple group of Lie type, that is, the socle of $G$ is a simple Chevalley group.
On Abelian Difference Sets with Parameters of 3-dimensional Projective Geometries
A difference set is said to have classical parameters if $ (v,k, λ) = (\frac{q^d-1}{q-1}, \frac{q^{d-1}-1}{q-1}, \frac{q^{d-2}-1}{q-1}).$ The case $d=3$ corresponds to planar difference sets. We focus here on the family of abelian difference sets with $d=4$. The only known examples of such difference sets correspond to the projective geometries $PG(3,q)$. We consider an arbitrary difference set with the parameters of $PG(3,q)$ in an abelian group and establish constraints on its structure. In particular, we discern embedded substructures.
The ideal-valued index for a dihedral group action, and mass partition by two hyperplanes
We compute the complete Fadell-Husseini index of the 8 element dihedral group D_8 acting on S^d \times S^d, both for F_2 and for integer coefficients. This establishes the complete goup cohomology lower bounds for the two hyperplane case of Gr"unbaum's 1960 mass partition problem: For which d and j can any j arbitrary measures be cut into four equal parts each by two suitably-chosen hyperplanes in R^d? In both cases, we find that the ideal bounds are not stronger than previously established bounds based on one of the maximal abelian subgroups of D_8.
On the Young-Fibonacci insertion algorithm
This work is concerned with some properties of the Young-Fibonacci insertion algorithm and its relation with Fomin's growth diagrams. It also investigates a relation between the combinatorics of Young-Fibonacci tableaux and the study of Okada's algebra associated to the Young-Fibonacci lattice. The original algorithm was introduced by Roby and we redefine it in such a way that both the insertion and recording tableaux of any permutation are \emph{conveniently} interpreted as chains in the Young-Fibonacci lattice. A property of Killpatrick's evacuation is given a simpler proof, but this evacuation is no longer needed in making Roby's and Fomin's constructions coincide. We provide the set of Young-Fibonacci tableaux of size $n$ with a structure of graded poset, induced by the weak order on permutations of the symmetric group, and realized by transitive closure of elementary transformations on tableaux. We show that this poset gives a combinatorial interpretation of the coefficients in the transition matrix from the analogue of complete symmetric functions to analogue of the Schur functions in Okada's algebra. We end with a quite similar observation for four posets on Young-tableaux studied by Taskin.
The Hopf Algebra Structure of the Character Rings of Classical Groups
Published
• View Publication
• BIB
The character ring \CGL of covariant irreducible tensor representations of the general linear group admits a Hopf algebra structure isomorphic to the Hopf algebra \Sym$ of symmetric functions. Here we study the character rings \CO and \CSp of the orthogonal and symplectic subgroups of the general linear group within the same framework of symmetric functions. We show that \CO and \CSp also admit natural Hopf algebra structures that are isomorphic to that of \CGL, and hence to \Sym. The isomorphisms are determined explicitly, along with the specification of standard bases for \CO and \CSp analogous to those used for \Sym. A major structural change arising from the adoption of these bases is the introduction of new orthogonal and symplectic Schur-Hall scalar products. Significantly, the adjoint with respect to multiplication no longer coincides, as it does in the \CGL case, with a Foulkes derivative or skew operation. The adjoint and Foulkes derivative now require separate definitions, and their properties are explored here in the orthogonal and symplectic cases. Moreover, the Hopf algebras \CO and \CSp are not self-dual. The dual Hopf algebras \CO^* and \CSp^* are identified. Finally, the Hopf algebra of the universal rational character ring \CGLrat of mixed irreducible tensor representations of the general linear group is introduced and its structure maps identified.
Latin bitrades derived from groups
Published
• View Publication
• BIB
A latin bitrade is a pair of partial latin squares which are disjoint, occupy the same set of non-empty cells, and whose corresponding rows and columns contain the same set of entries. Drápal (\cite{Dr9}) showed that a latin bitrade is equivalent to three derangements whose product is the identity and whose cycles pairwise have at most one point in common. By letting a group act on itself by right translation, we show how some latin bitrades may be derived from groups without specifying an independent group action. Properties of latin trades such as homogeneousness, minimality (via thinness) and orthogonality may also be encoded succinctly within the group structure. We apply the construction to some well-known groups, constructing previously unknown latin bitrades. In particular, we show the existence of minimal, $k$-homogeneous latin trades for each odd $k\geq 3$. In some cases these are the smallest known such examples.