group
10275 papers tagged with this keyword
On generalised Paley graphs and their automorphism groups
The generalised Paley graphs are, as their name suggests, a generalisation of the Paley graphs, first defined by Paley in 1933 (see \cite{Paley}). They arise as the relation graphs of symmetric cyclotomic association schemes. However, their automorphism groups may be much larger than the groups of the corresponding schemes. We determine the parameters for which the graphs are connected, or equivalently, the schemes are primitive. Also we prove that generalised Paley graphs are sometimes isomorphic to Hamming graphs and consequently have large automorphism groups, and we determine precisely the parameters for this to occur. We prove that in the connected, non-Hamming case, the automorphism group of a generalised Paley graph is a primitive group of affine type, and we find sufficient conditions under which the group is equal to the one-dimensional affine group of the associated cyclotomic association scheme. The results have been applied in \cite{LLP} to distinguish between cyclotomic schemes and similar twisted versions of these schemes, in the context of homogeneous factorisations of complete graphs.
Edge-Transitive Homogeneous Factorisations of Complete Graphs
This thesis concerns the study of homogeneous factorisations of complete graphs with edge-transitive factors. A factorisation of a complete graph $K_n$ is a partition of its edges into disjoint classes. Each class of edges in a factorisation of $K_n$ corresponds to a spanning subgraph called a factor. If all the factors are isomorphic to one another, then a factorisation of $K_n$ is called an isomorphic factorisation. A homogeneous factorisation of a complete graph is an isomorphic factorisation where there exists a group $G$ which permutes the factors transitively, and a normal subgroup $M$ of $G$ such that each factor is $M$-vertex-transitive. If $M$ also acts edge-transitively on each factor, then a homogeneous factorisation of $K_n$ is called an edge-transitive homogeneous factorisation. The aim of this thesis is to study edge-transitive homogeneous factorisations of $K_n$. We achieve a nearly complete explicit classification except for the case where $G$ is an affine 2-homogeneous group of the form $Z_p^R \rtimes G_0$, where $G_0 \leq ΓL(1,p^R)$. In this case, we obtain necessary and sufficient arithmetic conditions on certain parameters for such factorisations to exist, and give a generic construction that specifies the homogeneous factorisation completely, given that the conditions on the parameters hold. Moreover, we give two constructions of infinite families of examples where we specify the parameters explicitly. In the second infinite family, the arc-transitive factors are generalisations of certain arc-transitive, self-complementary graphs constructed by Peisert in 2001.
Graphs having no quantum symmetry
Published in Ann. Inst. Fourier 57 (2007), 955-971
• View Publication
• BIB
We consider circulant graphs having $p$ vertices, with $p$ prime. To any such graph we associate a certain number $k$, that we call type of the graph. We prove that for $p>>k$ the graph has no quantum symmetry, in the sense that the quantum automorphism group reduces to the classical automorphism group.
Solution of the coincidence problem in dimensions $d\le 4$
Published in The Mathematics of Long-Range Aperiodic Order, ed. R. V. Moody, Kluwer, Dordrecht (1997), pp. 9-44
• Search Publication
Discrete point sets $\mathcal{S}$ such as lattices or quasiperiodic Delone sets may permit, beyond their symmetries, certain isometries $R$ such that $\mathcal{S}\cap R\mathcal{S}$ is a subset of $\mathcal{S}$ of finite density. These are the so-called coincidence isometrie. They are important in understanding and classifying grain boundaries and twins in crystals and quasicrystals. It is the purpose of this contribution to introduce the corresponding coincidence problem in a mathematical setting and to demonstrate how it can be solved algebraically in dimensions 2, 3 and 4. Various examples both from crystals and quasicrystals are treated explicitly, in particular (hyper-)cubic lattices and quasicrystals with non-crystallographic point groups of type $H_2$, $H_3$ and $H_4$. We derive parametrizations of all linear coincidence isometries, determine the corresponding coincidence index (the reciprocal of the density of coinciding points, also called $\varSigma$-factor), and finally encapsulate their statistics in suitable Dirichlet series generating functions.
Geometry of rank tests
We study partitions of the symmetric group which have desirable geometric properties. The statistical tests defined by such partitions involve counting all permutations in the equivalence classes. These permutations are the linear extensions of partially ordered sets specified by the data. Our methods refine rank tests of non-parametric statistics, such as the sign test and the runs test, and are useful for the exploratory analysis of ordinal data. Convex rank tests correspond to probabilistic conditional independence structures known as semi-graphoids. Submodular rank tests are classified by the faces of the cone of submodular functions, or by Minkowski summands of the permutohedron. We enumerate all small instances of such rank tests. Graphical tests correspond to both graphical models and to graph associahedra, and they have excellent statistical and algorithmic properties.
Few-cosine spherical codes and Barnes-Wall lattices
Published
• View Publication
• BIB
Using Barnes-Wall lattices and 1-cocycles on finite groups of monomial matrices, we give a procedure to construct tricosine spherical codes. This was inspired by a 14-dimensional code which Ballinger, Cohn, Giansiracusa and Morris discovered in studies of the universally optimal property. It has 64 vectors and cosines $-3/7, -1/7, 1/7$. We construct the {\it Optimism Code}, a 4-cosine spherical code with 256 unit vectors in 16-dimensions. The cosines are $0, 1/4, -1/4, -1$. Its automorphism group has shape $2^{1+8}{\cdot}GL(4,2)$. The Optimism Code contains a subcode related to the BCGM code. The Optimism Code implies existence of a nonlinear binary code with parameters $(16,256,6)$, a Nordstrom-Robinson code, and gives a context for determining its automorphism group, which has form $2^4{:}Alt_7$.
Generalized characters of the symmetric group
Published
• View Publication
• BIB
Normalized irreducible characters of the symmetric group S(n) can be understood as zonal spherical functions of the Gelfand pair $(S(n)\times S(n),\Diag S(n))$. They form an orthogonal basis in the space of the functions on the group S(n) invariant with respect to conjugations by S(n). In this paper we consider a different Gelfand pair connected with the symmetric group, that is an ``unbalanced'' Gelfand pair $(S(n)\times S(n-1),\Diag S(n-1))$. Zonal spherical functions of this Gelfand pair form an orthogonal basis in a larger space of functions on S(n), namely in the space of functions invariant with respect to conjugations by $S(n-1)$. We refer to these zonal spherical functions as normalized \textit{generalized} characters of S(n). The main discovery of the present paper is that these generalized characters can be computed on the same level as the irreducible characters of the symmetric group. The paper gives a Murnaghan-Nakayama type rule, a Frobenius type formula, and an analogue of the determinantal formula for the generalized characters of S(n).
Crystal bases and combinatorics of infinite rank quantum groups
Published
• View Publication
• BIB
The tensor powers of the vector representation associated to an infinite rank quantum group decompose into irreducible components with multiplicities independant of the infinite root system considered. Although the irreducible modules obtained in this way are not of highest weight, they admit a crystal basis and a canonical basis. This permits in particular to obtain for each familly of classical Lie algebras a Robinson-Schensted correspondence on biwords defined on infinite alphabets. We then depict a structure of bi-crystal on these bi-words. This RS-correspondence yields also a plactic algebra and plactic Schur functions distinct for each infinite root system. Surprisingly, the algebras spanned by these plactic Schur functions are all isomorphic to the algebra of symmetric functions.
Specht filtrations and tensor spaces for the Brauer algebra
Published
• View Publication
• BIB
Let $m, n\in{\mathbb N}$. In this paper we study the right permutation action of the symmetric group ${\mathfrak S}_{2n}$ on the set of all the Brauer $n$-diagrams. A new basis for the free ${\mathbb Z}$-module ${\mathfrak B}_n$ spanned by these Brauer $n$-diagrams is constructed, which yields Specht filtrations for ${\mathfrak B}_n$. For any $2m$-dimensional vector space $V$ over a field of arbitrary characteristic, we give an explicit and characteristic free description of the annihilator of the $n$-tensor space $V^{\otimes n}$ in the Brauer algebra ${\mathfrak B}_n(-2m)$. In particular, we show that it is a ${\mathfrak S}_{2n}$-submodule of ${\mathfrak B}_n(-2m)$.
Permutation representations on Schubert varieties
Published
• View Publication
• BIB
This paper defines and studies permutation representations on the equivariant cohomology of Schubert varieties, as representations both over C and over C[t_1, t_2,...,t_n]. We show these group actions are the same as an action of simple transpositions studied geometrically by M. Brion, and give topological meaning to the divided difference operators studied by Berstein-Gelfand-Gelfand, Demazure, Kostant-Kumar, and others. We analyze these representations using the combinatorial approach to equivariant cohomology introduced by Goresky-Kottwitz-MacPherson. We find that each permutation representation on equivariant cohomology produces a representation on ordinary cohomology that is trivial, though the equivariant representation is not.
Searching for line transitive, point imprimitive, linear spaces
A finite linear space is a finite set of points and lines, where any two points lie on a unique line. Well known examples include projective planes. This project focuses on linear spaces which admit certain types of symmetries. Symmetries of the space which preserve the line structure are called automorphisms. A group of these is called an automorphism group of the linear space. Two interesting properties of linear spaces are point imprimitivity and line transitivity. Point imprimitive spaces admit a second structure on the points aside from the lines, which is also preserved by an automorphism group. In line transitive spaces, given any two lines, an automorphism can be found that maps one line to the other.
Very few point imprimitive, line transitive linear spaces, apart from projective planes, are known. Such spaces that have been found have been surprising. One point of interest is whether such spaces are rare and the known ones are in some sense exceptional, or if there are many such spaces, but mathematicians have been looking in the wrong places.
Here we investigate methods to construct a line transitive, point imprimitive linear space over a given point set and automorphism group. We employ these methods on two given automorphism groups, both on a set of 451 points. This was an exceptional situation identified in theoretical work of Praeger and Tuan. Included in this is the development of an algorithm, written in GAP, an algebraic programming system, and C, to perform these constructions. This algorithm is extendible to a wider class of groups.
Linear spaces with significant characteristic prime
Published
• View Publication
• BIB
Let $G$ be a group with socle a simple group of Lie type defined over the finite field with $q$ elements where $q$ is a power of the prime $p$. Suppose that $G$ acts transitively upon the lines of a linear space $\mathcal{S}$. We show that if $p$ is {\it significant} then $G$ acts flag-transitively on $\mathcal{S}$ and all examples are known.
Long $n$-zero-free sequences in finite cyclic groups
A sequence in the additive group ${\mathbb Z}_n$ of integers modulo $n$ is called $n$-zero-free if it does not contain subsequences with length $n$ and sum zero. The article characterizes the $n$-zero-free sequences in ${\mathbb Z}_n$ of length greater than $3n/2-1$. The structure of these sequences is completely determined, which generalizes a number of previously known facts. The characterization cannot be extended in the same form to shorter sequence lengths. Consequences of the main result are best possible lower bounds for the maximum multiplicity of a term in an $n$-zero-free sequence of any given length greater than $3n/2-1$ in ${\mathbb Z}_n$, and also for the combined multiplicity of the two most repeated terms. Yet another application is finding the values in a certain range of a function related to the classic theorem of Erdős, Ginzburg and Ziv.
Pattern Avoidance and the Bruhat Order
Published
• View Publication
• BIB
The structure of order ideals in the Bruhat order for the symmetric group is elucidated via permutation patterns. A method for determining non-isomorphic principal order ideals is described and applied for small lengths. The permutations with boolean principal order ideals are characterized. These form an order ideal which is a simplicial poset, and its rank generating function is computed. Moreover, the permutations whose principal order ideals have a form related to boolean posets are also completely described. It is determined when the set of permutations avoiding a particular set of patterns is an order ideal, and the rank generating functions of these ideals are computed. Finally, the Bruhat order in types B and D is studied, and the elements with boolean principal order ideals are characterized and enumerated by length.
A Quasi Curtis-Tits-Phan theorem for the symplectic group
Published
• View Publication
• BIB
We obtain the symplectic group as an amalgam of low rank subgroups akin to Levi components. We do this by having the group act flag-transitively on a new type of geometry and applying Tits' lemma. This provides a new way of recognizing the symplectic groups from a small collection of small subgroups. The geometry consists of all subspaces of maximal rank in a vector space of maximal rank with respect to a symplectic form. The main result holds for fields of size at least 3. We analyze the geometry over the field of size 2 and describe its simply connected cover if different from the geometry.
Some $q$-analogues of the Certer-Payne theorem
Published
• View Publication
• BIB
We prove a $q$-analogue of the Carter-Payne theorem for the two special cases corresponding to moving an arbitrary number of nodes between adjacent rows, or moving one node between an arbitrary number of rows. As a consequence, we show that these homomorphism spaces are one dimensional when $q \neq -1$. We apply these results to complete the classification of the reducible Specht modules for the Hecke algebras of the symmetric groups when $q \neq-1$. Our methods can also be used to determine certain other pairs of Specht modules between which there is a homomorphism. In particular, we describe the homomorphism space from the trivial module to an arbitrary Specht module.
Gammes Bien Reparties et Transformee de Fourier discrete
Published
• View Publication
• BIB
This paper, in french, gives a new approach to the concept of Maximally Even Sets based on discrete Fourier transform, with several elementary but interesting and previously unpublished results. Maximally Even Sets have been invented by musicologists but have been found to bear deep relationships to other areas of science, such as the Ising model in Physics. They describe economically and characterise many famous 'scales' or subsets of the cyclic group as modelised here.
Density of sets of natural numbers and the Levy group
Published
• View Publication
• BIB
Let $\N$ denote the set of positive integers. The asymptotic density of the set $A \subseteq \N$ is $d(A) = \lim_{n\to\infty} |A\cap [1,n]|/n$, if this limit exists. Let $ \mathcal{AD}$ denote the set of all sets of positive integers that have asymptotic density, and let $S_{\N}$ denote the set of all permutations of the positive integers \N. The group $\mathcal{L}^{\sharp}$ consists of all permutations $f \in S_{\N}$ such that $A \in \mathcal{AD}$ if and only if $f(A) \in \mathcal{AD}$, and the group $\mathcal{L}^{\ast}$ consists of all permutations $f \in \mathcal{L}^{\sharp}$ such that $d(f(A)) = d(A)$ for all $A \in \mathcal{AD}$. Let $f:\N \to \N $ be a one-to-one function such that $d(f(\N))=1$ and, if $A \in \mathcal{AD}$, then $f(A) \in \mathcal{AD}$. It is proved that $f$ must also preserve density, that is, $d(f(A)) = d(A)$ for all $A \in \mathcal{AD}$. Thus, the groups $\mathcal{L}^{\sharp}$ and $\mathcal{L}^{\ast}$ coincide.
When the law of large numbers fails for increasing subsequences of random permutations
Published in Annals of Probability 2007, Vol. 35, No. 2, 758-772
• View Publication
• BIB
Let the random variable $Z_{n,k}$ denote the number of increasing subsequences of length $k$ in a random permutation from $S_n$, the symmetric group of permutations of $\{1,...,n\}$. In a recent paper [Random Structures Algorithms 29 (2006) 277--295] we showed that the weak law of large numbers holds for $Z_{n,k_n}$ if $k_n=o(n^{2/5})$; that is, \[\lim_{n\to\infty}\frac{Z_{n,k_n}}{EZ_{n,k_n}}=1\qquad in probability.\] The method of proof employed there used the second moment method and demonstrated that this method cannot work if the condition $k_n=o(n^{2/5})$ does not hold. It follows from results concerning the longest increasing subsequence of a random permutation that the law of large numbers cannot hold for $Z_{n,k_n}$ if $k_n\ge cn^{1/2}$, with $c>2$. Presumably there is a critical exponent $l_0$ such that the law of large numbers holds if $k_n=O(n^l)$, with $l<l_0$, and does not hold if $\limsup_{n\to\infty}\frac{k_n}{n^l}>0$, for some $l>l_0$. Several phase transitions concerning increasing subsequences occur at $l=1/2$, and these would suggest that $l_0={1/2}$. However, in this paper, we show that the law of large numbers fails for $Z_{n,k_n}$ if $\limsup_{n\to\infty}\frac{k_n}{n^{4/9}}=\infty$. Thus, the critical exponent, if it exists, must satisfy $l_0\in[{2/5},{4/9}]$.
Tamari lattices, forests and Thompson monoids
A connection relating Tamari lattices on symmetric groups regarded as lattices under the weak Bruhat order to the positive monoid P of Thompson group F is presented. Tamari congruence classes correspond to classes of equivalent elements in P. The two well known normal forms in P correspond to endpoints of intervals in the weak Bruhat order that determine the Tamari classes. In the monoid P these correspond to lexicographically largest and lexicographically smallest form, while on the level of permutations they correspond to 132-avoiding and 231-avoiding permutations.
Forests appear naturally in both contexts as they are used to model both permutations and elements of the Thompson monoid.
The connection is then extended to Tamari orders on partitions of ((k-1)n+2)-gons into (k+1)-gons and Thompson monoids P_k, k >1.