group
10399 papers tagged with this keyword
Minimal blocking sets in PG(n,2) and covering groups by subgroups
Published
• View Publication
• BIB
In this paper we prove that a set of points $B$ of PG(n,2) is a minimal blocking set if and only if $<B>=PG(d,2)$ with $d$ odd and $B$ is a set of $d+2$ points of $PG(d,2)$ no $d+1$ of them in the same hyperplane. As a corollary to the latter result we show that if $G$ is a finite 2-group and $n$ is a positive integer, then $G$ admits a $\mathfrak{C}_{n+1}$-cover if and only if $n$ is even and $G\cong (C_2)^{n}$, where by a $\mathfrak{C}_m$-cover for a group $H$ we mean a set $\mathcal{C}$ of size $m$ of maximal subgroups of $H$ whose set-theoretic union is the whole $H$ and no proper subset of $\mathcal{C}$ has the latter property and the intersection of the maximal subgroups is core-free. Also for all $n<10$ we find all pairs $(m,p)$ ($m>0$ an integer and $p$ a prime number) for which there is a blocking set $B$ of size $n$ in $PG(m,p)$ such that $<B>=PG(m,p)$.
Product-free subsets of groups, then and now
Published
• View Publication
• BIB
A subset of a group is product-free if it does not contain elements a, b, c such that ab = c. We review progress on the problem of determining the size of the largest product-free subset of an arbitrary finite group, including a lower bound due to the author, and a recent upper bound due to Gowers. The bound of Gowers is more general; it allows three different sets A, B, C such that one cannot solve ab = c with a in A, b in B, c in C. We exhibit a refinement of the lower bound construction which shows that for this broader question, the bound of Gowers is essentially optimal.
On the Number of Facets of Three-Dimensional Dirichlet Stereohedra IV: Quarter Cubic Groups
Published in Contributions to Algebra and Geometry 52:2 (2011), 237-263
• View Publication
• BIB
In this paper we finish the intensive study of three-dimensional Dirichlet stereohedra started by the second author and D. Bochis, who showed that they cannot have more than 80 facets, except perhaps for crystallographic space groups in the cubic system.
Taking advantage of the recent, simpler classification of three-dimensional crystallographic groups by Conway, Delgado-Friedrichs, Huson and Thurston, in a previous paper we proved that Dirichlet stereohedra for any of the 27 "full" cubic groups cannot have more than 25 facets. Here we study the remaining "quarter" cubic groups. With a computer-assisted method, our main result is that Dirichlet stereohedra for the 8 quarter groups, hence for all three-dimensional crystallographic groups, cannot have more than 92 facets.
Major Indices and Perfect Bases for Complex Reflection Groups
Published
• View Publication
• BIB
It is shown that, under mild conditions, a complex reflection group $G(r,p,n)$ may be decomposed into a set-wise direct product of cyclic subgroups. This property is then used to extend the notion of major index and a corresponding Hilbert series identity to these and other closely related groups.
Derived Semidistributive Lattices
Published
• View Publication
• BIB
For L a finite lattice, let C(L) denote the set of pairs g = (g_0,g_1) such that g_0 is a lower cover of g_1 and order it as follows: g <= d iff g_0 <= d_0, g_1 <= d_1, but not g_1 <= d_0. Let C(L,g) denote the connected component of g in this poset. Our main result states that C(L,g) is a semidistributive lattice if L is semidistributive, and that C(L,g) is a bounded lattice if L is bounded. Let S_n be the permutohedron on n letters and T_n be the associahedron on n+1 letters. Explicit computations show that C(S_n,a) = S_{n-1} and C(T_n,a) = T_{n-1}, up to isomorphism, whenever a is an atom. These results are consequences of new characterizations of finite join semidistributive and finite lower bounded lattices: (i) a finite lattice is join semidistributive if and only if the projection sending g in C(L) to g_0 in L creates pullbacks, (ii) a finite join semidistributive lattice is lower bounded if and only if it has a strict facet labelling. Strict facet labellings, as defined here, are generalization of the tools used by Barbut et al. to prove that lattices of Coxeter groups are bounded.
New equivalences for pattern avoiding involutions
Published
• View Publication
• BIB
We complete the Wilf classification of signed patterns of length 5 for both signed permutations and signed involutions. New general equivalences of patterns are given which prove Jaggard's conjectures concerning involutions in the symmetric group avoiding certain patterns of length 5 and 6. In this way, we also complete the Wilf classification of S_5, S_6, and S_7 for both permutations and involutions.
On perfect, amicable, and sociable chains
Let $x = (x_0,...,x_{n-1})$ be an n-chain, i.e., an n-tuple of non-negative integers $< n$. Consider the operator $s: x \mapsto x' = (x'_0,...,x'_{n-1})$, where x'_j represents the number of $j$'s appearing among the components of x. An n-chain x is said to be perfect if $s(x) = x$. For example, (2,1,2,0,0) is a perfect 5-chain. Analogously to the theory of perfect, amicable, and sociable numbers, one can define from the operator s the concepts of amicable pair and sociable group of chains. In this paper we give an exhaustive list of all the perfect, amicable, and sociable chains.
Generalisations of the Tits representation
Published
• View Publication
• BIB
We construct a group K_n with properties similar to infinite Coxeter groups. In particular, it has a geometric representation featuring hyperplanes and simplicial chambers. The generators of K_n are given by 2-element subsets of {0, .., n}. We give some easy combinatorial results on the finite residues of K_n.
The hook fusion procedure and its generalisations
The fusion procedure provides a way to construct new solutions to the Yang-Baxter equation. In the case of the symmetric group the fusion procedure has been used to construct diagonal matrix elements using a decomposition of the Young diagram into its rows or columns. We present a new construction which decomposes the diagram into hooks, the great advantage of this is that it minimises the number of auxiliary parameters needed in the procedure. We go on to use the hook fusion procedure to find diagonal matrix elements computationally and calculate supporting evidence to a previous conjecture.
We are motivated by the construction of certain elements that allow us to generate representations of the symmetric group and single out particular irreducible components. In this way we may construct higher representations of the symmetric group from elementary ones. We go some way to generalising the hook fusion procedure by considering other decompositions of Young diagrams, specifically into ribbons. Finally, we adapt our construction to the quantum deformation of the symmetric group algebra known as the Hecke algebra.
Eriksson's numbers game on certain edge-weighted three-node cyclic graphs
The numbers game is a one-player game played on a finite simple graph with certain ``amplitudes'' assigned to its edges and with an initial assignment of real numbers to its nodes. The moves of the game successively transform the numbers at the nodes using the amplitudes in a certain way. This game and its interactions with Coxeter/Weyl group theory and Lie theory have been studied by many authors. Following Eriksson, we allow the amplitudes on graph edges to be certain real numbers. Games played on such graphs are ``E-games.'' We show that for certain such three-node cyclic graphs, any numbers game will diverge when played from an initial assignment of nonnegative real numbers not all zero. This result is a key step in a Dynkin diagram classification (obtained elsewhere) of all E-game graphs which meet a certain finiteness requirement.
Reflection Groups and Polytopes over Finite Fields, III
Published
• View Publication
• BIB
When the standard representation of a crystallographic Coxeter group is reduced modulo an odd prime p, one obtains a finite group G^p acting on some orthogonal space over Z_p . If the Coxeter group has a string diagram, then G^p will often be the automorphism group of a finite abstract regular polytope. In parts I and II we established the basics of this construction and enumerated the polytopes associated to groups of rank at most 4, as well as all groups of spherical or Euclidean type. Here we extend the range of our earlier criteria for the polytopality of G^p . Building on this we investigate the class of 3-infinity groups of general rank, and then complete a survey of those locally toroidal polytopes which can be described by our construction.
Relating two Hopf algebras built from an operad
Published in International Mathematics Research Notices 2007 (2007) rnm131, 27 pages
• View Publication
• BIB
Starting from an operad, one can build a family of posets. From this family of posets, one can define an incidence Hopf algebra. By another construction, one can also build a group directly from the operad. We then consider its Hopf algebra of functions. We prove that there exists a surjective morphism from the latter Hopf algebra to the former one. This is illustrated by the case of an operad built on rooted trees, the $\NAP$ operad, where the incidence Hopf algebra is identified with the Connes-Kreimer Hopf algebra of rooted trees.
A new characterization for the m-quasiinvariants of S_n and explicit basis for two row hook shapes
Published in J. Combin. Theory Ser. A 115 (2008), no. 8, 1333--1357
• View Publication
• BIB
In 2002, Feigin and Veselov defined the space of m-quasiinvariants for any Coxeter group, building on earlier work of Chalykh and Veselov. While many properties of those spaces were proven from this definition, an explicit computation of a basis was only done in certain cases. In particular, Feigin and Veselov computed bases for the m-quasiinvariants of dihedral groups, including S_3, and Felder and Veselov computed the non-symmetric m-quasiinvariants of lowest degree for general S_n. In this paper, we provide a new characterization of the m-quasiinvariants of S_n, and use this to provide a basis for the isotypic component indexed by the partition [n-1,1]. This builds on a previous paper in which we computed a basis for S_3 via combinatorial methods.
Random generation of finitely generated subgroups of a free group
Published in International Journal of Algebra and Computation 18 (2008) 1-31
• View Publication
• BIB
We give an efficient algorithm to randomly generate finitely generated subgroups of a given size, in a finite rank free group. Here, the size of a subgroup is the number of vertices of its representation by a reduced graph such as can be obtained by the method of Stallings foldings. Our algorithm randomly generates a subgroup of a given size n, according to the uniform distribution over size n subgroups. In the process, we give estimates of the number of size n subgroups, of the average rank of size n subgroups, and of the proportion of such subgroups that have finite index. Our algorithm has average case complexity $Ø(n)$ in the RAM model and $Ø(n^2\log^2n)$ in the bitcost model.
Block-Toeplitz determinants, chess tableaux, and the type $\hat{A_1}$ Geiss-Leclerc-Schroer $φ$-map
We evaluate the Geiss-Leclerc-Schroer $φ$-map for shape modules over the preprojective algebra $Λ$ of type $\hat{A_1}$ in terms of matrix minors arising from the block-Toeplitz representation of the loop group $\SL_2(\mathcal{L})$. Conjecturally these minors are among the cluster variables for coordinate rings of unipotent cells within $\SL_2(\mathcal{L})$. In so doing we compute the Euler characteristic of any generalized flag variety attached to a shape module by counting standard tableaux of requisite shape and parity; alternatively by counting chess tableaux of requisite shape and content.
An explicit formula for the characters of the symmetric group
Published in Mathematische Annalen 340 (2008), 383-405
• View Publication
• BIB
We give an explicit expression of the normalized characters of the symmetric group in terms of the contents of the partition labelling the representation.
Equidistribution of negative statistics and quotients of Coxeter groups of type B and D
Published
• View Publication
• BIB
We generalize some identities and q-identities previously known for the symmetric group to Coxeter groups of type B and D. The extended results include theorems of Foata and Schützenberger, Gessel, and Roselle on various distributions of inversion number, major index, and descent number. In order to show our results we provide caracterizations of the systems of minimal coset representatives of Coxeter groups of type B and D.
The crystal commutor and Drinfeld's unitarized R-matrix
Published
• View Publication
• BIB
Drinfeld defined a unitarized R-matrix for any quantum group U_q(g). This gives a commutor for the category of U_q(g) representations, making it into a coboundary category. Henriques and Kamnitzer defined another commutor which also gives U_q(g) representations the structure of a coboundary category. We show that a particular case of Henriques and Kamnitzer's construction agrees with Drinfeld's commutor. We then describe the action of Drinfeld's commutor on a tensor product of two crystal bases, and explain the relation to the crystal commutor.
Jones Pairs
Motivated by Jones' braid group representations constructed from spin models, we define {\sl a Jones pair} to be a pair of $\nbyn$ matrices $(A,B)$ such that the endomorphisms $X_A$ and $\D_B$ form a representation of a braid group. When $A$ and $B$ are type-II matrices, we call $(A,B)$ {\sl an invertible Jones pair}. We develop the theory of Jones pairs in this thesis.
Our aim is to study the connections among association schemes, spin models and four-weight spin models using the viewpoint of Jones pairs. We use Nomura's method to construct a pair of algebras from the matrices $(A,B)$, which we call the Nomura algebras of $(A,B)$. These algebras become the central tool in this thesis. We explore their properties in Chapters \ref{Nomura} and \ref{IINom}.
In Chapter \ref{JP}, we introduce Jones pairs. We prove the equivalence of four-weight spin models and invertible Jones pairs. We extend some existing concepts for four-weight spin models to Jones pairs. In Chapter \ref{SpinModels}, we provide new proofs for some well-known results on the Bose-Mesner algebras associated with spin models.
We document the main results of the thesis in Chapter \ref{InvJP}. We prove that every four-weight spin model comes from a symmetric spin model (up to odd-gauge equivalence). We present four Bose-Mesner algebras associated to each four-weight spin model. We study the relations among these algebras. In particular, we provide a strategy to search for four-weight spin models. This strategy is analogous to the method given by Bannai, Bannai and Jaeger for finding spin models.
Non-abelian free groups admit non-essentially free actions on rooted trees
We show that every countable non-abelian free group $Γ$ admits a spherically transitive action on a rooted tree $T$ such that the action of $Γ$ on the boundary of $T$ is not essentially free. This reproves a result of Bergeron and Gaboriau.
The existence of such an action answers a question of Grigorchuk, Nekrashevich and Sushchanskii.