group
10275 papers tagged with this keyword
Quotient Representations of Uniform Tilings
Published in Symmetry Cult. Sci. 2011 vol. 22 no. 3-4 pg. 289-306
• Search Publication
Given a flag in each of the vertex-transitive tessellations of the Euclidean plane by regular polygons, we determine the flag stabilizer under the action of the automorphism group of a regular cover. In so doing we give a presentation of these tilings as quotients of regular (infinite) polyhedra.
Posets from Admissible Coxeter Sequences
Published in Electron. J. Combin. 18(1) (2011) #R197
• View Publication
• BIB
We study the equivalence relation on the set of acyclic orientations of an undirected graph G generated by source-to-sink conversions. These conversions arise in the contexts of admissible sequences in Coxeter theory, quiver representations, and asynchronous graph dynamical systems. To each equivalence class we associate a poset, characterize combinatorial properties of these posets, and in turn, the admissible sequences. This allows us to construct an explicit bijection from the equivalence classes over G to those over G' and G", the graphs obtained from G by edge deletion and edge contraction of a fixed cycle-edge, respectively. This bijection yields quick and elegant proofs of two non-trivial results: (i) A complete combinatorial invariant of the equivalence classes, and (ii) a solution to the conjugacy problem of Coxeter elements for simply-laced Coxeter groups. The latter was recently proven by H. Eriksson and K. Eriksson using a much different approach.
On the growth of cocompact hyperbolic Coxeter groups
Published
• View Publication
• BIB
For an arbitrary cocompact hyperbolic Coxeter group G with finite generator set S and complete growth function P(x)/Q(x), we provide a recursion formula for the coefficients of the denominator polynomial Q(x) which allows to determine recursively the Taylor coefficients and the pole behavior of the growth function of G in terms of its Coxeter subgroup structure. We illustrate this in the easy case of compact right-angled hyperbolic n-polytopes. Finally, we provide detailed insight into the case of Coxeter groups with at most 6 generators, acting cocompactly on hyperbolic 4-space, by considering the three combinatorially different families discovered and classified by Lanner, Kaplinskaya and Esselmann, respectively.
On covering by translates of a set
Published in Random Structures and Algorithms 38 (2011), 33--67
• View Publication
• BIB
In this paper we study the minimal number of translates of an arbitrary subset $S$ of a group $G$ needed to cover the group, and related notions of the efficiency of such coverings. We focus mainly on finite subsets in discrete groups, reviewing the classical results in this area, and generalizing them to a much broader context. For example, we show that while the worst-case efficiency when $S$ has $k$ elements is of order $1/\log k$, for $k$ fixed and $n$ large, almost every $k$-subset of any given $n$-element group covers $G$ with close to optimal efficiency.
The Graphicahedron
Published
• View Publication
• BIB
The paper describes a construction of abstract polytopes from Cayley graphs of symmetric groups. Given any connected graph G with p vertices and q edges, we associate with G a Cayley graph of the symmetric group S_p and then construct a vertex-transitive simple polytope of rank q, called the graphicahedron, whose 1-skeleton (edge graph) is the Cayley graph. The graphicahedron of a graph G is a generalization of the well-known permutahedron; the latter is obtained when the graph is a path. We also discuss symmetry properties of the graphicahedron and determine its structure when G is small.
Counting the spanning trees of a directed line graph
The line graph LG of a directed graph G has a vertex for every edge of G and an edge for every path of length 2 in G. In 1967, Knuth used the Matrix-Tree Theorem to prove a formula for the number of spanning trees of LG, and he asked for a bijective proof. In this paper, we give a bijective proof of a generating function identity due to Levine which generalizes Knuth's formula. As a result of this proof we find a bijection between binary de Bruijn sequences of degree n and binary sequences of length 2^{n-1}. Finally, we determine the critical groups of all the Kautz graphs and de Bruijn graphs, generalizing a result of Levine.
Invariant and coinvariant spaces for the algebra of symmetric polynomials in non-commuting variables
Published
• View Publication
• BIB
We analyze the structure of the algebra N of symmetric polynomials in non-commuting variables in so far as it relates to its commutative counterpart. Using the "place-action" of the symmetric group, we are able to realize the latter as the invariant polynomials inside the former. We discover a tensor product decomposition of N analogous to the classical theorems of Chevalley, Shephard-Todd on finite reflection groups.
On a pattern avoidance condition for the wreath product of cyclic groups with symmetric groups
Published
• View Publication
• BIB
In this paper, we extend to a non-consecutive case, the study of the pattern matching condition on the wreath product of the cyclic group and the symmetric group initiated by the authors in a previous paper. The main focus of our paper is (colored) patterns of length 2, although a number of enumerative results for longer patterns are also presented. A new non-trivial bijective interpretation for the Catalan numbers is found, in terms of simultaneously bi-avoiding two patterns in a wreath product.
An Erdos-Ko-Rado theorem for the derangement graph of PGL(2,q) acting on the projective line
Published
• View Publication
• BIB
Let G=PGL(2,q) be the projective general linear group acting on the projective line P_q. A subset S of G is intersecting if for any pair of permutations π,σin S, there is a projective point p in P_q such that p^π=p^σ. We prove that if S is intersecting, then the size of S is no more than q(q-1). Also, we prove that the only sets S that meet this bound are the cosets of the stabilizer of a point of P_q.
Steiner quadruple systems with point-regular abelian automorphism groups
Published in J. Stat. Theory Practice 6 (2012), 97-128
• View Publication
• BIB
In this paper we present a graph theoretic construction of Steiner quadruple systems (SQS) admitting abelian groups as point-regular automorphism groups. The resulting SQS has an extra property which we call A-reversibility, where A is the underlying abelian group. In particular, when A is a 2-group of exponent at most 4, it is shown that an A-reversible SQS always exists. When the Sylow 2-subgroup of A is cyclic, we give a necessary and sufficient condition for the existence of an A-reversible SQS, which is a generalization of a necessary and sufficient condition for the existence of a dihedral SQS by Piotrowski (1985). This enables one to construct A-reversible SQS for any abelian group A of order v such that for every prime divisor p of v there exists a dihedral SQS(2p).
Equiangular Frames and Signature Sets
Published
• View Publication
• BIB
We will present a relation between real equiangular frames and certain special sets in groups which we call signature sets and show that many equiangular frames arise in this manner. Then we will define quasi-signature sets and will examine equiangular frames associated to these subsets of groups. We will extend these results to complex equiangular frames where the inner product between any pair of vectors is a common multiple of a cube root of unity and exhibit equiangular frames that arise from groups in this manner.
Representing the Sporadic Archimedean Polyhedra as Abstract Polytopes
Published
• View Publication
• BIB
We present the results of an investigation into the representations of Archimedean polyhedra (those polyhedra containing only one type of vertex figure) as quotients of regular abstract polytopes. Two methods of generating these presentations are discussed, one of which may be applied in a general setting, and another which makes use of a regular polytope with the same automorphism group as the desired quotient. Representations of the 14 sporadic Archimedean polyhedra (including the pseudorhombicuboctahedron) as quotients of regular abstract polyhedra are obtained, and summarised in a table. The information is used to characterise which of these polyhedra have acoptic Petrie schemes (that is, have well-defined Petrie duals).
Hall polynomials via automorphisms of short exact sequences
Published in Algebras and Representation Theory 15 (2012), 449-481
• View Publication
• BIB
We present a sum-product formula for the classical Hall polynomial which is based on tableaux that have been introduced by T. Klein in 1969. In the formula, each summand corresponds to a Klein tableau, while the product is taken over the cardinalities of automorphism groups of short exact sequences which are derived from the tableau. For each such sequence, one can read off from the tableau the summands in an indecomposable decomposition, and the size of their homomorphism and automorphism groups. Klein tableaux are refinements of Littlewood-Richardson tableaux in the sense that each entry $\ell \geq 2$ carries a subscript $r$. We describe module theoretic and categorical properties shared by short exact sequences which have the same symbol $\ell_r$ in a given row in their Klein tableau. Moreover, we determine the interval in the Auslander-Reiten quiver in which indecomposable sequences of $p^n$-bounded groups which carry such a symbol occur.
On a conjecture by Pierre Cartier about a group of associators
In \cite{cartier2}, Pierre Cartier conjectured that for any non commutative formal power series $Φ$ on $X=\{x_0,x_1\}$ with coefficients in a $\Q$-extension, $A$, subjected to some suitable conditions, there exists an unique algebra homomorphism $\varphi$ from the $\Q$-algebra generated by the convergent polyzêtas to $A$ such that $Φ$ is computed from $Φ_{KZ}$ Drinfel'd associator by applying $\varphi$ to each coefficient. We prove $\varphi$ exists and it is a free Lie exponential over $X$. Moreover, we give a complete description of the kernel of polyzêta and draw some consequences about a structure of the algebra of convergent polyzêtas and about the arithmetical nature of the Euler constant.
Platonic solids in $\mathbb Z^3$
Extending previous results on a characterization of all equilateral triangle in space having vertices with integer coordinates ("in $\mathbb Z^3$"), we look at the problem of characterizing all regular polyhedra (Platonic Solids) with the same property. To summarize, we show first that there is no regular icosahedron/ dodecahedron in $\mathbb Z^3$. On the other hand, there is a finite (6 or 12) class of regular tetrahedra in $\mathbb Z^3$, associated naturally to each nontrivial solution $(a,b,c,d)$ of the Diophantine equation $a^2+b^2+c^2=3d^2$ and for every nontrivial integer solution $(m,n,k)$ of the equation $m^2-mn+n^2=k^2$. Every regular tetrahedron in $\mathbb Z^3$ belongs, up to an integer translation and/or rotation, to one of these classes. We then show that each such tetrahedron can be completed to a cube with integer coordinates. The study of regular octahedra is reduced to the cube case via the duality between the two. This work allows one to basically give a description the orthogonal group $O(3,\mathbb Q)$ in terms of the seven integer parameters satisfying the two relations mentioned above.
An alternative ending to "Pleasant extensions retaining algebraic structure''
The culmination of the papers (arXiv:0905.0518, arXiv:0910.0909) was a proof of the norm convergence in $L^2(μ)$ of the quadratic nonconventional ergodic averages \frac{1}{N}\sum_{n=1}^N(f_1\circ T_1^{n^2})(f_2\circ T_1^{n^2}T_2^n)\quad\quad f_1,f_2\in L^\infty(μ) associated to an arbitrary probability-preserving \bbZ^2-system (X,μ,T_1,T_2). This is a special case of the Bergelson-Leibman conjecture on the norm convergence of polynomial nonconventional ergodic averages.
That proof relied on some new machinery for extending probability-preserving $\bbZ^d$-systems to obtain simplified asymptotic behaviour for various nonconventional averages such as the above. The engine of this machinery is formed by some detailed structure theorems for the `characteristic factors' that are available for some such averages after ascending to a suitably-extended system. However, these new structure theorems underwent two distinct phases of development, separated by the discovery of some new technical results in Moore's cohomology theory for locally compact groups (arXiv:1004.4937). That discovery enabled a significant improvement to the main structure theorem (Theorem 1.1 in (arXiv:0905.0518)), which in turn afforded a much shortened proof of convergence. However, since the proof of convergence using the original structure theorem required some quite different ideas that are now absent from these other papers, I have recorded it here in case it has some independent interest.
Non-cancellable elements in type affine $C$ Coxeter groups
Published in Int. Electron. J. Algebra, 8:191-218, 2010
• Search Publication
Let $(W,S)$ be a Coxeter system and suppose that $w \in W$ is fully commutative (in the sense of Stembridge) and has a reduced expression beginning (respectively, ending) with $s \in S$. If there exists $t\in S$ such that $s$ and $t$ do not commute and $tw$ (respectively, $wt$) is no longer fully commutative, we say that $w$ is left (respectively, right) weak star reducible by $s$ with respect to $t$. In this paper, we classify the fully commutative elements in Coxeter groups of types $B$ and affine $C$ that are irreducible under weak star reductions. In a sequel to this paper, the classification of the weak star irreducible elements in a Coxeter system of type affine $C$ will provide the groundwork for inductive arguments used to prove the faithfulness of a generalized Temperley--Lieb algebra of type affine $C$ by a particular diagram algebra.
On Pseudocyclic Association Schemes
Published in Ars Math. Contemp. 5 (2012), no. 1, 1-25
• View Publication
• BIB
The notion of pseudocyclic association scheme is generalized to the non-commutative case. It is proved that any pseudocyclic scheme the rank of which is much more than the valency is the scheme of a Frobenius group and is uniquely determined up to isomorphism by its intersection number array. An immediate corollary of this result is that any scheme of prime degree, valency $k$ and rank at least $k^4$ is schurian.
Block-Transitive Designs in Affine Spaces
Published
• View Publication
• BIB
This paper deals with block-transitive $t$-$(v,k,λ)$ designs in affine spaces for large $t$, with a focus on the important index $λ=1$ case. We prove that there are no non-trivial 5-$(v,k,1)$ designs admitting a block-transitive group of automorphisms that is of affine type. Moreover, we show that the corresponding non-existence result holds for 4-$(v,k,1)$ designs, except possibly when the group is one-dimensional affine. Our approach involves a consideration of the finite 2-homogeneous affine permutation groups.
Self-adjoint symmetry operators connected with the magnetic Heisenberg ring
Published
• View Publication
• BIB
We consider symmetry operators a from the group ring C[S_N] which act on the Hilbert space H of the 1D spin-1/2 Heisenberg magnetic ring with N sites. We investigate such symmetry operators a which are self-adjoint (in a sence defined in the paper) and which yield consequently observables of the Heisenberg model. We prove the following results: (i) One can construct a self-adjoint idempotent symmetry operator from every irreducible character of every subgroup of S_N. This leads to a big manifold of observables. In particular every commutation symmetry yields such an idempotent. (ii) The set of all generating idempotents of a minimal right ideal R of C[S_N] contains one and only one idempotent which ist self-adjoint. (iii) Every self-adjoint idempotent e can be decomposed into primitive idempotents e = f_1 + ... + f_k which are also self-adjoint and pairwise orthogonal. We give a computer algorithm for the calculation of such decompositions. Furthermore we present 3 additional algorithms which are helpful for the calculation of self-adjoint operators by means of discrete Fourier transforms of S_N. In our investigations we use computer calculations by means of our Mathematica packages PERMS and HRing.