group
10263 papers tagged with this keyword
Group actions on metric spaces: fixed points and free subgroups
Published
• View Publication
• BIB
We look at group actions on metric spaces, particularly at group actions on geodesic hyperbolic spaces. We classify the types of automorphisms on these spaces and prove several results about the density of the hyperbolic limit set of the group in the whole limit set of the group. In the case of graphs, our theorems hold also when the graphs are not hyperbolic.
Normal forms of convex lattice polytopes
We describe an algorithm for determining whether two convex polytopes P and Q, embedded in a lattice, are isomorphic with respect to a lattice automorphism. We extend this to a method for determining if P and Q are equivalent, i.e. whether there exists an affine lattice automorphism that sends P to Q. Methods for calculating the automorphism group and affine automorphism group of P are also described.
An alternative strategy is to determine a normal form such that P and Q are isomorphic if and only if their normal forms are equal. This is the approach adopted by Kreuzer and Skarke in their PALP software. We describe the Kreuzer-Skarke method in detail, and give an improved algorithm when P has many symmetries. Numerous examples, plus two appendices containing detailed pseudo-code, should help with any future reimplementations of these techniques. We conclude by explaining how to define and calculate the normal form of a Laurent polynomial.
The Cayley isomorphism property for groups of order 8p
Published
• View Publication
• BIB
For every prime $p>3$ we prove that $Q \times \mathbb{Z}_p$ and $\mathbb{Z}_2^3 \times \mathbb{Z}_p$ are DCI- groups. This result completes the description of CI-groups of order $8p$.
Full automorphism groups of association schemes based on isotropic subspaces
The set of all subspaces of a given dimension in a finite classical polar space has a structure of a symmetric association scheme. If the dimension is zero, this is the scheme of the collinearity graph of the space; If the dimension is maximum, it is the dual polar scheme. In this note, we determine the full automorphism group of this scheme.
The semigroups of order 9 and their automorphism groups
Published in Semigroup Forum 88 (2014), no. 1, 93-112
• View Publication
• BIB
We report the number of semigroups with 9 elements up to isomorphism or anti-isomorphism to be 52,989,400,714,478 and up to isomorphism to be 105,978,177,936,292. We obtained these results by combining computer search with recently published formulae for the number of nilpotent semigroups of degree 3. We further provide a complete account of the automorphism groups of the semigroups with at most 9 elements. We use this information to deduce that there are 148,195,347,518,186 distinct associative binary operations on an 8-element set and 38,447,365,355,811,944,462 on a 9-element set.
Eigenvalues of the Adin-Roichman Matrices
Published
• View Publication
• BIB
We find the spectrum of the Walsh-Hadamard type matrices defined by R.Adin and Y.Roichman in their recent work on character formulas and descent sets for the symmetric group.
Distinguishing partitions of complete multipartite graphs
Published
• View Publication
• BIB
A \textit{distinguishing partition} of a group $X$ with automorphism group ${aut}(X)$ is a partition of $X$ that is fixed by no nontrivial element of ${aut}(X)$. In the event that $X$ is a complete multipartite graph with its automorphism group, the existence of a distinguishing partition is equivalent to the existence of an asymmetric hypergraph with prescribed edge sizes. An asymptotic result is proven on the existence of a distinguishing partition when $X$ is a complete multipartite graph with $m_1$ parts of size $n_1$ and $m_2$ parts of size $n_2$ for small $n_1$, $m_2$ and large $m_1$, $n_2$. A key tool in making the estimate is counting the number of trees of particular classes.
Coloring Planar Graphs via Colored Paths in the Associahedra
Published
• View Publication
• BIB
Hassler Whitney's theorem of 1931 reduces the task of finding proper, vertex 4-colorings of triangulations of the 2-sphere to finding such colorings for the class \(\mathfrak H\) of triangulations of the 2-sphere that have a Hamiltonian circuit. This has been used by Whitney and others from 1936 to the present to find equivalent reformulations of the 4 Color Theorem (4CT). Recently there has been activity to try to use some of these reformuations to find a shorter proof of the 4CT. Every triangulation in \(\mathfrak H\) has a dual graph that is a union of two binary trees with the same number of leaves. Elements of a group known as Thompson's group \(F\) are equivalence classes of pairs of binary trees with the same number of leaves. This paper explores this resemblance and finds that some recent reformulations of the 4CT are essentially attempting to color elements of \(\mathfrak H\) using expressions of elements of \(F\) as words in a certain generating set for \(F\). From this, we derive information about not just the colorability of certain elements of \(\mathfrak H\), but also about all possible ways to color these elements. Because of this we raise (and answer some) questions about enumeration. We also bring in an extension \(E\) of the group \(F\) and ask whether certain elements ``parametrize'' the set of all colorings of the elements of \(\mathfrak H\) that use all four colors.
Tres lecciones en combinatoria algebraica. I. Matrices totalmente no negativas y funciones simétricas
En esta serie de tres articulos, damos una exposicion de varios resultados y problemas abiertos en tres areas de la combinatoria algebraica y geometrica: las matrices totalmente no negativas, las representaciones del grupo simetrico, y los arreglos de hiperplanos. Esta primera parte presenta una introduccion a las matrices totalmente no negativas, y su relacion con las funciones simetricas.
In this series of three articles, we give an exposition of various results and open problems in three areas of algebraic and geometric combinatorics: totally non-negative matrices, representations of the symmetric group, and hyperplane arrangements. This first part presents an introduction to totally non-negative matrices and their relationship with symmetric functions.
Tres lecciones en combinatoria algebraica. II. Las funciones simétricas y la teoría de representaciones
En esta serie de tres articulos, damos una exposicion de varios resultados y problemas abiertos en tres areas de la combinatoria algebraica y geometrica: las matrices totalmente no negativas, las representaciones del grupo simetrico, y los arreglos de hiperplanos. Esta segunda parte trata la coneccion entre las funciones simetricas y la teoria de representaciones.
In this series of three articles, we give an exposition of various results and open problems in three areas of algebraic and geometric combinatorics: totally non-negative matrices, representations of the symmetric group, and hyperplane arrangements. This second part treats the connection between symmetric functions and representation theory.
Tres lecciones en combinatoria algebraica. III. Arreglos de hiperplanos
In this series of three articles, we give an exposition of various results and open problems in three areas of algebraic and geometric combinatorics: totally non-negative matrices, representations of the symmetric group, and hyperplane arrangements. This first part is an introduction to hyperplane arrangements from a combinatorial point of view.
-----
En esta serie de tres articulos, damos una exposicion de varios resultados y problemas abiertos en tres areas de la combinatoria algebraica y geometrica: las matrices totalmente no negativas, las representaciones del grupo simetrico, y los arreglos de hiperplanos. Esta tercera parte presenta una introduccion a los arreglos de hiperplanos desde un punto de vista combinatorio.
On the regularization process for Ariki-Koike algebras
The aim of this note is to study a generalization of theorems by James and Fayers on the modular representations of the symmetric group and its Hecke algebra to the case of the complex reflection groups of type $G(l,1,n)$ and the associated Ariki-Koike algebra.
Structure of the Group of Balanced Labelings on Graphs, its Subgroups and Quotient Groups
Published
• View Publication
• BIB
We discuss functions from edges and vertices of an undirected graph to an Abelian group. Such functions, when the sum of their values along any cycle is zero, are called balanced labelings. The set of balanced labelings forms an Abelian group. We study the structure of this group and the structure of two closely related to it groups: the subgroup of balanced labelings which consists of functions vanishing on vertices and the corresponding factor-group. This work is completely self-contained, except the algorithm for obtaining the 3-edge-connected components of an undirected graph, for which we make appropriate references to the literature.
Some new orders of Hadamard and skew-Hadamard matrices
Published in Journal of Combinatorial Designs vol. 22 (2014), 270-277
• View Publication
• BIB
We construct Hadamard matrices of orders 4x251 = 1004 and 4x631 = 2524, and skew-Hadamard matrices of orders 4x213 = 852 and 4x631 = 2524. As far as we know, such matrices have not been constructed previously. The constructions use the Goethals-Seidel array, suitable supplementary difference sets on a cyclic group and a new efficient matching algorithm based on hashing techniques.
The geometry of a deformation of the standard addition on the integral lattice
Published
• View Publication
• BIB
Let $\mathfrak A_n$ be the subset of the standard integer lattice $\mathbb Z^n$, $\mathfrak A_n\subset\mathbb Z^n$ which is defined by the condition $\mathfrak A_n=((a_1,...,a_n)\in\mathbb Z^n | a_i\not\equiv a_j\mod n, \forall i,j\in {1,... n})$. It is clear that the standard addition on the lattice $\mathbb Z^n$ does not induce the group structure on the set $\mathfrak A_n$ since the componentwise sum of some two vectors may contain components which are equal modulo $n$. Our aim is to find a new associative multiplication on the lattice $\mathbb Z^n$ such that the induced multiplication on the set $\mathfrak A_n$ gives it the group structure. In this paper the group structure on the subset $\mathfrak A_n$ of the integer lattice $\mathbb Z^n$ is studied by means of the constructions of a deformation of a group multiplication. The geometric realization of this group in the enveloping space and its generators and relations between them are found. We begin with the main constructions and the results we need for them.
Maximal harmonic group actions on finite graphs
Published in Discrete Mathematics, 338, No. 5 (2015) 784-792
• View Publication
• BIB
This paper studies groups of maximal size acting harmonically on a finite graph. Our main result states that these maximal graph groups are exactly the finite quotients of the modular group $Γ=\left<x,y \ | \ x^2=y^3=1\right>$ of size at least 6. This characterization may be viewed as a discrete analogue of the description of Hurwitz groups as finite quotients of the $(2,3,7)$-triangle group in the context of holomorphic group actions on Riemann surfaces. In fact, as an immediate consequence of our result, every Hurwitz group is a maximal graph group, and the final section of the paper establishes a direct connection between maximal graphs and Hurwitz surfaces via the theory of combinatorial maps.
Critical groups of covering, voltage, and signed graphs
Published
• View Publication
• BIB
Graph coverings are known to induce surjections of their critical groups. Here we describe the kernels of these morphisms in terms of data parametrizing the covering. Regular coverings are parametrized by voltage graphs, and the above kernel can be identified with a naturally defined voltage graph critical group. For double covers, the voltage graph is a signed graph, and the theory takes a particularly pleasant form, leading also to a theory of double covers of signed graphs.
Eisenstein Series on Covers of Odd Orthogonal Groups
Published
• View Publication
• BIB
We study the Whittaker coefficients of the minimal parabolic Eisenstein series on the $n$-fold cover of the split odd orthogonal group $SO_{2r+1}$. If the degree of the cover is odd, then Beineke, Brubaker and Frechette have conjectured that the $p$-power contributions to the Whittaker coefficients may be computed using the theory of crystal graphs of type C, by attaching to each path component a Gauss sum or a degenerate Gauss sum depending on the fine structure of the path. We establish their conjecture using a combination of automorphic and combinatorial-representation-theoretic methods. Surprisingly, we must make use of the type A theory, and the two different crystal graph descriptions of Brubaker, Bump and Friedberg available for type A based on different factorizations of the long word into simple reflections. We also establish a formula for the Whittaker coefficients in the even degree cover case, again based on crystal graphs of type C. As a further consequence, we establish a Lie-theoretic description of the coefficients for $n$ sufficiently large, thereby confirming a conjecture of Brubaker, Bump and Friedberg.
Combinatorics of Labelled Parallelogram polyominoes
Published
• View Publication
• BIB
We obtain explicit formulas for the enumeration of labelled parallelogram polyominoes. These are the polyominoes that are bounded, above and below, by north-east lattice paths going from the origin to a point (k,n). The numbers from 1 and n (the labels) are bijectively attached to the $n$ north steps of the above-bounding path, with the condition that they appear in increasing values along consecutive north steps. We calculate the Frobenius characteristic of the action of the symmetric group S_n on these labels. All these enumeration results are refined to take into account the area of these polyominoes. We make a connection between our enumeration results and the theory of operators for which the intergral Macdonald polynomials are joint eigenfunctions. We also explain how these same polyominoes can be used to explicitly construct a linear basis of a ring of SL_2-invariants.
Strict inequalities for connective constants of transitive graphs
Published
• View Publication
• BIB
The connective constant of a graph is the exponential growth rate of the number of self-avoiding walks starting at a given vertex. Strict inequalities are proved for connective constants of vertex-transitive graphs. Firstly, the connective constant decreases strictly when the graph is replaced by a non-trivial quotient graph. Secondly, the connective constant increases strictly when a quasi-transitive family of new edges is added. These results have the following implications for Cayley graphs. The connective constant of a Cayley graph decreases strictly when a new relator is added to the group, and increases strictly when a non-trivial group element is declared to be a generator.