group
10399 papers tagged with this keyword
Klein Group And Four Color Theorem
In this work methods of construction of cubic graphs are analyzed and a theorem of existence of a colored disc traversing each pair of linked edges belonging to an elementary cycle of a planar cubic graph is proved.
Genus Bounds for Harmonic Group Actions on Finite Graphs
Published in Int. Math. Res. Notices, 2011, No. 19 (2011): 4515-4533
• View Publication
• BIB
This paper develops graph analogues of the genus bounds for the maximal size of an automorphism group of a compact Riemann surface of genus $g\ge 2$. Inspired by the work of M. Baker and S. Norine on harmonic morphisms between finite graphs, we motivate and define the notion of a harmonic group action. Denoting by M(g) the maximal size of such a harmonic group action on a graph of genus $g\ge 2$, we prove that $4(g-1)\le M(g)\le 6(g-1)$, and these bounds are sharp in the sense that both are attained for infinitely many values of g. Moreover, we show that the values $4(g-1)$ and $6(g-1)$ are the only values taken by the function $M(g)$.
Paths of homomorphisms from stable Kneser graphs
Published
• View Publication
• BIB
We denote by SG_{n,k} the stable Kneser graph (Schrijver graph) of stable n-subsets of a set of cardinality 2n+k. For k congruent 3 (mod 4) and n\ge2 we show that there is a component of the χ-colouring graph of SG_{n,k} which is invariant under the action of the automorphism group of SG_{n,k}. We derive that there is a graph G with χ(G)=χ(SG_{n,k}) such that the complex Hom(SG_{n,k}, G) is non-empty and connected. In particular, for k congruent 3 (mod 4) and n\ge2 the graph SG_{n,k} is not a test graph.
Characterisations and Galois conjugacy of generalised Paley maps
Published
• View Publication
• BIB
A generalised Paley map is a Cayley map for the additive group of a finite field F, with a subgroup S=-S of the multiplicative group as generating set, cyclically ordered by powers of a generator of S. We characterise these as the orientably regular maps with orientation-preserving automorphism group acting primitively and faithfully on the vertices; allowing a non-faithful primitive action yields certain cyclic coverings of these maps. We determine the fields of definition and the orbits of the absolute Galois group on these maps, and we show that if (q-1)/(p-1) divides |S|, where |F|=q=p^e with p prime, then these maps are the only orientably regular embeddings of their underlying graphs; in particular this applies to the Paley graphs, where |S|=(q-1)/2 is even.
Classification and Galois conjugacy of Hamming maps
Published
• View Publication
• BIB
We show that for each d>0 the d-dimensional Hamming graph H(d,q) has an orientably regular surface embedding if and only if q is a prime power p^e. If q>2 there are up to isomorphism φ(q-1)/e such maps, all constructed as Cayley maps for a d-dimensional vector space over the field of order q. We show that for each such pair d, q the corresponding Belyi pairs are conjugate under the action of the absolute Galois group, and we determine their minimal field of definition. We also classify the orientably regular embedding of merged Hamming graphs for q>3.
Valuations from representation theory and tropical geometry
We recall the space of seminorms discussed by Payne in \cite{P} and define a slight modification, the space of graded valuations. After explaining how these spaces relate to tropical geometry, we describe examples of graded valuations which come from the representation theory of reductive groups.
Matroid automorphisms of the H_4 root system
We study the rank 4 linear matroid $M(H_4)$ associated with the 4-dimensional root system $H_4$. This root system coincides with the vertices of the 600-cell, a 4-dimensional regular solid. We determine the automorphism group of this matroid, showing half of the 14,400 automorphisms are geometric and half are not. We prove this group is transitive on the flats of the matroid, and also prove this group action is primitive. We use the incidence properties of the flats and the {\it orthoframes} of the matroid as a tool to understand these automorphisms, and interpret the flats geometrically.
Degenerations and orbits in finite abelian groups
Published in Journal of Combinatorial Theory, Series A, Volume 118, Issue 6, August 2011, Pages 1685-1694
• View Publication
• BIB
A notion of degeneration of elements in groups is introduced. It is used to parametrize the orbits in a finite abelian group under its full automorphism group by a finite distributive lattice. A pictorial description of this lattice leads to an intuitive self-contained exposition of some of the basic facts concerning these orbits, including their enumeration. Given a partition $λ$, the lattice parametrizing orbits in a finite abelian p-group of type $λ$ is found to be independent of p. The order of the orbit corresponding to each parameter, which turns out to be a polynomial in p, is calculated. The description of orbits is extended to subquotients by certain characteristic subgroups. Each such characteristic subquotient is shown to have a unique maximal orbit.
Cluster X-varieties for dual Poisson-Lie groups I
Published
• View Publication
• BIB
We associate a family of cluster X-varieties to the dual Poisson-Lie group G* of a complex semi-simple Lie group G of adjoint type given with the standard Poisson structure. This family is described by the W-permutohedron associated to the Lie algebra g of G: vertices being labeled by cluster X-varieties and edges by new Poisson birational isomorphisms, on appropriate seed X-tori, called saltation. The underlying combinatorics is based on a factorization of the Fomin-Zelevinsky twist maps into mutations and other new Poisson birational isomorphisms on seed X-tori called tropicalmutations, associated to an enrichment of the combinatorics on double words of the Weyl group W of G.
How close can we come to a parity function when there isn't one?
Consider a group G such that there is no homomorphism f:G to {+1,-1}. In that case, how close can we come to such a homomorphism? We show that if f has zero expectation, then the probability that f(xy) = f(x) f(y), where x, y are chosen uniformly and independently from G, is at most 1/2(1+1/sqrt{d}), where d is the dimension of G's smallest nontrivial irreducible representation. For the alternating group A_n, for instance, d=n-1. On the other hand, A_n contains a subgroup isomorphic to S_{n-2}, whose parity function we can extend to obtain an f for which this probability is 1/2(1+1/{n \choose 2}). Thus the extent to which f can be "more homomorphic" than a random function from A_n to {+1,-1} lies between O(n^{-1/2}) and Omega(n^{-2}).
Regular Polyhedra of Index Two, I
Published
• View Publication
• BIB
A polyhedron in Euclidean 3-space is called a regular polyhedron of index 2 if it is combinatorially regular but "fails geometric regularity by a factor of 2"; its combinatorial automorphism group is flag-transitive but its geometric symmetry group has two flag orbits. The present paper, and its successor by the first author, describe a complete classification of regular polyhedra of index 2 in 3-space. In particular, the present paper enumerates the regular polyhedra of index 2 with vertices on two orbits under the symmetry group. The subsequent paper will enumerate the regular polyhedra of index 2 with vertices on one orbit under the symmetry group.
Superclasses and supercharacters of normal pattern subgroups of the unipotent upper triangular matrix group
Published in J. Algebr. Comb. 35 (2012), 61--92
• View Publication
• BIB
Let $U_n$ denote the group of $n\times n$ unipotent upper-triangular matrices over a fixed finite field $\FF_q$, and let $U_\cP$ denote the pattern subgroup of $U_n$ corresponding to the poset $\cP$. This work examines the superclasses and supercharacters, as defined by Diaconis and Isaacs, of the family of normal pattern subgroups of $U_n$. After classifying all such subgroups, we describe an indexing set for their superclasses and supercharacters given by set partitions with some auxiliary data. We go on to establish a canonical bijection between the supercharacters of $U_\cP$ and certain $\FF_q$-labeled subposets of $\cP$. This bijection generalizes the correspondence identified by André and Yan between the supercharacters of $U_n$ and the $\FF_q$-labeled set partitions of $\{1,2,...,n\}$. At present, few explicit descriptions appear in the literature of the superclasses and supercharacters of infinite families of algebra groups other than $\{U_n : n \in \NN\}$. This work signficantly expands the known set of examples in this regard.
On connection between division sequences and presentations of a free group
This paper describes a simple method for estimating lower bounds on the number of classes of equivalence for a special kind of integer sequences, called division sequences. The method is based on adding group structure to classes of equivalence and studying properties of resulting groups as presentations of free group.
Dynamical properties of profinite actions
We study profinite actions of residually finite groups in terms of weak containment. We show that two strongly ergodic profinite actions of a group are weakly equivalent if and only if they are isomorphic. This allows us to construct continuum many pairwise weakly inequivalent free actions of a large class of groups, including free groups and linear groups with property (T). We also prove that for chains of subgroups of finite index, Lubotzky's property ($τ$) is inherited when taking the intersection with a fixed subgroup of finite index. That this is not true for families of subgroups in general leads to answering the question of Lubotzky and Zuk, whether for families of subgroups, property ($τ$) is inherited to the lattice of subgroups generated by the family. On the other hand, we show that for families of normal subgroups of finite index, the above intersection property does hold. In fact, one can give explicite estimates on how the spectral gap changes when passing to the intersection. Our results also have an interesting graph theoretical consequence that does not use the language of groups. Namely, we show that an expander covering tower of finite regular graphs is either bipartite or stays bounded away from being bipartite in the normalized edge distance.
Enumeration of bigrassmannian permutations below a permutation in Bruhat order
Published in Order (Published online on May 13, 2010)
• View Publication
• BIB
In theory of Coxeter groups, bigrassmannian elements are well known as elements which have precisely one left descent and precisely one right descent. In this article, we prove formulas on enumeration of bigrassmannian permutations weakly below a permutation in Bruhat order in the symmetric groups. For the proof, we use equivalent characterizations of bigrassmannian permutations by Lascoux-Schutzenberger and Reading.
Cyclic sieving, promotion, and representation theory
Published in J. Combin. Theory Ser. A, vol. 117, no. 1, (2010) 38-76
• View Publication
• BIB
We prove a collection of conjectures of D. White \cite{WComm}, as well as some related conjectures of Abuzzahab-Korson-Li-Meyer \cite{AKLM} and of Reiner and White \cite{ReinerComm}, \cite{WComm}, regarding the cyclic sieving phenomenon of Reiner, Stanton, and White \cite{RSWCSP} as it applies to jeu-de-taquin promotion on rectangular tableaux. To do this, we use Kazhdan-Lusztig theory and a characterization of the dual canonical basis of $\mathbb{C}[x_{11}, ..., x_{nn}]$ due to Skandera \cite{SkanNNDCB}. Afterwards, we extend our results to analyzing the fixed points of a dihedral action on rectangular tableaux generated by promotion and evacuation, suggesting a possible sieving phenomenon for dihedral groups. Finally, we give applications of this theory to cyclic sieving phenomena involving reduced words for the long elements of hyperoctohedral groups and noncrossing partitions.
Point regular groups of automorphisms of generalised quadrangles
Published
• View Publication
• BIB
We study the point regular groups of automorphisms of some of the known generalised quadrangles. In particular we determine all point regular groups of automorphisms of the thick classical generalised quadrangles. We also construct point regular groups of automorphisms of the generalised quadrangle of order $(q-1,q+1)$ obtained by Payne derivation from the classical symplectic quadrangle $\mathsf{W}(3,q)$. For $q=p^f$ with $f\geq 2$ we obtain at least two nonisomorphic groups when $p\geq 5$ and at least three nonisomorphic groups when $p=2$ or $3$. Our groups include nonabelian 2-groups, groups of exponent 9 and nonspecial $p$-groups. We also enumerate all point regular groups of automorphisms of some small generalised quadrangles.
Topology of configuration space of two particles on a graph, II
Published in Algebr. Geom. Topol. 10 (2010) 2203-2227
• View Publication
• BIB
This paper continues the investigation of the configuration space of two distinct points on a graph. We analyze the process of adding an additional edge to the graph and the resulting changes in the topology of the configuration space. We introduce a linking bilinear form on the homology group of the graph with values in the cokernel of the intersection form (introduced in Part I of this work). For a large class of graphs, which we call mature graphs, we give explicit expressions for the homology groups of the configuration space. We show that under a simple condition, adding an edge to a mature graph yields another mature graph.
A Basis for the Symplectic Group Branching Algebra
Published in J. Algebraic Combin. 35 (2012) no. 2. 269-290
• View Publication
• BIB
The symplectic group branching algebra, B, is a graded algebra whose components encode the multiplicities of irreducible representations of Sp(2n-2,C) in each irreducible representation of Sp(2n,C). By describing on B an ASL structure, we construct an explicit standard monomial basis of B consisting of Sp(2n-2,C) highest weight vectors. Moreover, B is known to carry a canonical action of the n-fold product SL(2) \times ... \times SL(2), and we show that the standard monomial basis is the unique (up to scalar) weight basis associated to this representation. Finally, using the theory of Hibi algebras we describe a deformation of Spec(B) into an explicit toric variety.
Class expansion of some symmetric functions in Jucys-Murphy elements
Published in Journal of Algebra, 394 (2013), 397-443
• View Publication
• BIB
We present a method to compute the class expansion of a symmetric function in the Jucys-Murphy elements of the symmetric group. We apply this method to one-row Hall-Littlewood symmetric functions, which interpolate between power sums and complete symmetric functions.