group
10275 papers tagged with this keyword
Deformations of permutation representations of Coxeter groups
Published
• View Publication
• BIB
The permutation representation afforded by a Coxeter group W acting on the cosets of a standard parabolic subgroup inherits many nice properties from W such as a shellable Bruhat order and a flat deformation over Z[q] to a representation of the corresponding Hecke algebra. In this paper we define a larger class of ``quasiparabolic" subgroups (more generally, quasiparabolic W-sets), and show that they also inherit these properties. Our motivating example is the action of the symmetric group on fixed-point-free involutions by conjugation.
Constructions of Chiral Polytopes of Small Rank
An abstract polytope of rank n is said to be chiral if its automorphism group has precisely two orbits on the flags, such that adjacent flags belong to distinct orbits. The present paper describes a general method for deriving new finite chiral polytopes from old finite chiral polytopes of the same rank. In particular, the technique is used to construct many new examples in ranks 3, 4 and 5.
Complete graphs whose topological symmetry groups are polyhedral
Published in Algebr. Geom. Topol. 11 (2011) 1405-1433
• View Publication
• BIB
We determine for which $m$, the complete graph $K_m$ has an embedding in $S^3$ whose topological symmetry group is isomorphic to one of the polyhedral groups: $A_4$, $A_5$, or $S_4$.
Products of all elements in a loop and a framework for non-associative analogues of the Hall-Paige conjecture
Published in Electronic Journal of Combinatorics, Volume 16(1). May 2009
• View Publication
• BIB
For a finite loop $Q$, let $P (Q)$ be the set of elements that can be represented as a product containing each element of $Q$ precisely once. Motivated by the recent proof of the Hall-Paige conjecture, we prove several universal implications between the following conditions: (A) $Q$ has a complete mapping, i.e. the multiplication table of $Q$ has a transversal, (B) there is no $N \normal Q$ such that $|N|$ is odd and $Q/N \cong \ZZ_{2^m}$ for $m \geq 1$, and (C) $P(Q)$ intersects the associator subloop of $Q$. We prove $(A) \implies (C)$ and $(B) \iff (C)$ and show that when $Q$ is a group, these conditions reduce to familiar statements related to the Hall-Paige conjecture (which essentially says that in groups $(B) \implies (A))$. We also establish properties of $P(Q)$, prove a generalization of the Dénes-Hermann theorem, and present an elementary proof of a weak form of the Hall-Paige conjecture.
Automorphism groups of rational circulant graphs through the use of Schur rings
Published
• View Publication
• BIB
The paper concerns the automorphism groups of Cayley graphs over cyclic groups which have a rational spectrum (rational circulant graphs for short). With the aid of the techniques of Schur rings it is shown that the problem is equivalent to consider the automorphism groups of orthogonal group block structures of cyclic groups. Using this observation, the required groups are expressed in terms of generalized wreath products of symmetric groups.
The cyclic sieving phenomenon: a survey
Published
• View Publication
• BIB
The cyclic sieving phenomenon was defined by Reiner, Stanton, and White in a 2004 paper. Let X be a finite set, C be a finite cyclic group acting on X, and f(q) be a polynomial in q with nonnegative integer coefficients. Then the triple (X,C,f(q)) exhibits the cyclic sieving phenomenon if, for all g in C, we have # X^g = f(w) where # denotes cardinality, X^g is the fixed point set of g, and w is a root of unity chosen to have the same order as g. It might seem improbable that substituting a root of unity into a polynomial with integer coefficients would have an enumerative meaning. But many instances of the cyclic sieving phenomenon have now been found. Furthermore, the proofs that this phenomenon hold often involve interesting and sometimes deep results from representation theory. We will survey the current literature on cyclic sieving, providing the necessary background about representations, Coxeter groups, and other algebraic aspects as needed.
Discriminantal bundles, arrangement groups, and subdirect products of free groups
Published
• View Publication
• BIB
We construct bundles $E_k(\A,\F) \to M$ over the complement $M$ of a complex hyperplane arrangement \A, depending on an integer $k \geq 1$ and a set $\F=\{f_1, \ldots, f_μ\}$ of continuous functions $f_i \colon M \to \C$ whose differences are nonzero on $M$, generalizing the configuration space bundles arising in the Lawrence-Krammer-Bigelow representation of the pure braid group. We display such families \F\ for rank two arrangements, reflection arrangements of types $A_\ell$, $B_\ell$, $D_\ell$, $F_4$, and for arrangements supporting multinet structures with three classes, with the resulting bundles having nontrivial monodromy around each hyperplane. The construction extends to arbitrary arrangements by pulling back these bundles along products of inclusions arising from subarrangements of these types.
We then consider the faithfulness of the resulting representations of the arrangement group $π_1(M)$. We describe the kernel of the product $ρ_\X \colon G \to \prod_{S \in \X} G_S$ of homomorphisms of a finitely-generated group $G$ onto quotient groups $G_S$ determined by a family \X\ of subsets of a fixed set of generators of $G$, extending a result of T.~Stanford about Brunnian braids. When the projections $G \to G_S$ split in a compatible way, we show the image of $ρ_\X$ is normal with free abelian quotient, and identify the cohomological finiteness type of $G$. These results apply to some well-studied arrangements, implying several qualitative and residual properties of $π_1(M)$, including an alternate proof of a result of Artal, Cogolludo, and Matei on arrangement groups and Bestvina-Brady groups, and a dichotomy for a decomposable arrangement \A: either $π_1(M)$ has a conjugation-free presentation or it is not residually nilpotent.
Generalized Involution Models for Wreath Products
Published in Israel J. Math. 192 (2012) 157-195
• View Publication
• BIB
We prove that if a finite group $H$ has a generalized involution model, as defined by Bump and Ginzburg, then the wreath product $H \wr S_n$ also has a generalized involution model. This extends the work of Baddeley concerning involution models for wreath products. As an application, we construct a Gelfand model for wreath products of the form $A \wr S_n$ with $A$ abelian, and give an alternate proof of a recent result due to Adin, Postnikov, and Roichman describing a particularly elegant Gelfand model for the wreath product $\ZZ_r \wr S_n$. We conclude by discussing some notable properties of this representation and its decomposition into irreducible constituents, proving a conjecture of Adin, Roichman, and Postnikov's.
({2,3}, 6)-spheres and their generalizations
We consider here 6-regular plane graphs whose faces have size 1, 2 or 3. In Section 2 a practical enumeration method is given that allowed us to enumerate them up to 53 vertices. Subsequently, in Section 3 we enumerate all possible symmetry groups of the spheres that showed up. In Section 4 we introduce a new Goldberg-Coxeter construction that takes a 6-regular plane graph G0, two integers k and l and returns two 6-regular plane graphs.
Then in the final section, we consider the notions of zigzags and central circuits for the considered graphs. We introduced the notions of tightness and weak tightness for them and we prove an upper bound on the number of zigzags and central circuits of such tight graphs. We also classify the tight and weakly tight graphs with simple zigzags or central circuits.
Degenerate two-boundary centralizer algebras
Published
• View Publication
• BIB
Diagram algebras (e.g. graded braid groups, Hecke algebras, Brauer algebras) arise as tensor power centralizer algebras, algebras of commuting operators for a Lie algebra action on a tensor space. This work explores centralizers of the action of a complex reductive Lie algebra $\mathfrak{g}$ on tensor space of the form $M \otimes N \otimes V^{\otimes k}$. We define the degenerate two-boundary braid algebra $\mathcal{G}_k$ and show that centralizer algebras contain quotients of this algebra in a general setting. As an example, we study in detail the combinatorics of special cases corresponding to Lie algebras $\mathfrak{gl}_n$ and $\mathfrak{sl}_n$ and modules $M$ and $N$ indexed by rectangular partitions. For this setting, we define the degenerate extended two-boundary Hecke algebra $\mathcal{H}_k^{\mathrm{ext}}$ as a quotient of $\mathcal{G}_k$, and show that a quotient of $\mathcal{H}_k^{\mathrm{ext}}$ is isomorphic to a large subalgebra of the centralizer. We further study the representation theory of $\mathcal{H}_k^{\mathrm{ext}}$ to find that the seminormal representations are indexed by a known family of partitions. The bases for the resulting modules are given by paths in a lattice of partitions, and the action of $\mathcal{H}_k^{\mathrm{ext}}$ is given by combinatorial formulas.
Lower bounds for designs in symmetric spaces
A design is a finite set of points in a space on which every "simple" functions averages to its global mean. Illustrative examples of simple functions are low-degree polynomials on the Euclidean sphere or on the Hamming cube.
We prove lower bounds on designs in spaces with a large group of symmetries. These spaces include globally symmetric Riemannian spaces (of any rank) and commutative association schemes with 1-transitive group of symmetries.
Our bounds are, in general, implicit, relying on estimates on the spectral behavior of certain symmetry-invariant linear operators. They reduce to the first linear programming bound for designs in globally symmetric Riemannian spaces of rank 1 or in distance regular graphs. The proofs are different though, coming from viewpoint of abstract harmonic analysis in symmetric spaces. As a dividend we obtain the following geometric fact: a design is large because a union of "spherical caps" around its points "covers" the whole space.
Set families and Foulkes modules
Published in Journal of Algebraic Combinatorics 34 (2011) 525-544
• View Publication
• BIB
We construct a new family of homomorphisms from Specht modules into Foulkes modules for the symmetric group. These homomorphisms are used to give a combinatorial description of the minimal partitions (in the dominance order) which label irreducible characters appearing as summands of the characters of Foulkes modules. The homomorphisms are defined using certain families of subsets of the natural numbers. These families are of independent interest; we prove a number of combinatorial results concerning them.
Refined Gelfand models for wreath products
Published
• View Publication
• BIB
In [F. Caselli, Involutory reflection groups and their models, J. Algebra 24 (2010), 370--393] it is constructed a uniform Gelfand model for all non-exceptional irreducible complex reflection groups which are involutory. This model can be naturally decomposed into the direct sum of submodules indexed by symmetric conjugacy classes, and in this paper we present a simple combinatorial description of the irreducible decomposition of these submodules if the group is the wreath product of a cyclic group with a symmetric group. This is attained by showing that such decomposition is compatible with the generalized Robinson-Schensted correspondence for these groups.
Classification of generalized Hadamard matrices H(6,3) and quaternary Hermitian self-dual codes of length 18
Published in Electronic J. Combin. 17 (2010), R171
• View Publication
• BIB
All generalized Hadamard matrices of order 18 over a group of order 3, H(6,3), are enumerated in two different ways: once, as class regular symmetric (6,3)-nets, or symmetric transversal designs on 54 points and 54 blocks with a group of order 3 acting semi-regularly on points and blocks, and secondly, as collections of full weight vectors in quaternary Hermitian self-dual codes of length 18. The second enumeration is based on the classification of Hermitian self-dual [18,9] codes over GF(4), completed in this paper. It is shown that up to monomial equivalence, there are 85 generalized Hadamard matrices H(6,3), and 245 inequivalent Hermitian self-dual codes of length 18 over GF(4).
Orientations, lattice polytopes, and group arrangements III: Cartesian product arrangements and applications to the Tutte type polynomials of graphs
Published
• View Publication
• BIB
A common generalization for the chromatic polynomial and the flow polynomial of a graph $G$ is the Tutte polynomial $T(G;x,y)$. The combinatorial meaning for the coefficients of $T$ was discovered by Tutte at the beginning of its definition. However, for a long time the combinatorial meaning for the values of $T$ is missing, except for a few values such as $T(G;i,j)$, where $1\leq i,j\leq 2$, until recently for $T(G;1,0)$ and $T(G;0,1)$. In this third one of a series of papers, we introduce product valuations, cartesian product arrangements, and multivariable characteristic polynomials, and apply the theory of product arrangement to the tension-flow group associated with graphs. Three types of tension-flows are studied in details: elliptic, parabolic, and hyperbolic; each type produces a two-variable polynomial for graphs. Weighted polynomials are introduced and their reciprocity laws are obtained. The dual versions for the parabolic case turns out to include Whitney's rank generating polynomial and the Tutte polynomial as special cases. The product arrangement part is of interest for its own right. The application part to graphs can be modified to matroids.
Digraphs from Endomorphisms of Finite Cyclic Groups
We associate each endomorphism of a finite cyclic group with a digraph and study many properties of this digraph, including its adjacent matrix and automorphism group.
Vsep-New Heuristic and Exact Algorithms for Graph Automorphism Group Computation
Published
• View Publication
• BIB
One exact and two heuristic algorithms for determining the generators, orbits and order of the graph automorphism group are presented. A basic tool of these algorithms is the well-known individualization and refinement procedure. A search tree is used in the algorithms - each node of the tree is a partition. All nonequivalent discreet partitions derivative of the selected vertices are stored in a coded form. A new strategy is used in the exact algorithm: if during its execution some of the searched or intermediate variables obtain a wrong value then the algorithm continues from a new start point losing some of the results determined so far. The algorithms has been tested on one of the known benchmark graphs and shows lower running times for some graph families. The heuristic versions of the algorithms are based on determining some number of discreet partitions derivative of each vertex in the selected cell of the initial partition and comparing them for an automorphism - their search trees are reduced. The heuristic algorithms are almost exact and are many times faster than the exact one. The experimental tests exhibit that the worst-cases running time of the exact algorithm is exponential but it is polynomial for the heuristic algorithms. Several cell selectors are used. Some of them are new. We also use a chooser of cell selector for choosing the optimal cell selector for the manipulated graph. The proposed heuristic algorithms use two main heuristic procedures that generate two different forests of search trees.
Vertex-Coloring 2-Edge-Weighting of Graphs
Published
• View Publication
• BIB
A $k$-{\it edge-weighting} $w$ of a graph $G$ is an assignment of an integer weight, $w(e)\in \{1,\dots, k\}$, to each edge $e$. An edge weighting naturally induces a vertex coloring $c$ by defining $c(u)=\sum_{u\sim e} w(e)$ for every $u \in V(G)$. A $k$-edge-weighting of a graph $G$ is \emph{vertex-coloring} if the induced coloring $c$ is proper, i.e., $c(u) \neq c(v)$ for any edge $uv \in E(G)$.
Given a graph $G$ and a vertex coloring $c_0$, does there exist an edge-weighting such that the induced vertex coloring is $c_0$? We investigate this problem by considering edge-weightings defined on an abelian group.
It was proved that every 3-colorable graph admits a vertex-coloring $3$-edge-weighting \cite{KLT}. Does every 2-colorable graph (i.e., bipartite graphs) admit a vertex-coloring 2-edge-weighting? We obtain several simple sufficient conditions for graphs to be vertex-coloring 2-edge-weighting. In particular, we show that 3-connected bipartite graphs admit vertex-coloring 2-edge-weighting.
The t-core of an s-core
Published in J. Combin. Theory Ser. A 118 (2011) 1525-1539
• View Publication
• BIB
We consider the $t$-core of an $s$-core partition, when $s$ and $t$ are coprime positive integers. Olsson has shown that the $t$-core of an $s$-core is again an $s$-core, and we examine certain actions of the affine symmetric group on $s$-cores which preserve the $t$-core of an $s$-core. Along the way, we give a new proof of Olsson's result. We also give a new proof of a result of Vandehey, showing that there is a simultaneous $s$- and $t$-core which contains all others.
The sorting index
Published
• View Publication
• BIB
We consider a bivariate polynomial that generalizes both the length and reflection length generating functions in a finite Coxeter group. In seeking a combinatorial description of the coefficients, we are led to the study of a new Mahonian statistic, which we call the sorting index. The sorting index of a permutation and its type B and type D analogues have natural combinatorial descriptions which we describe in detail.