group
10399 papers tagged with this keyword
Groups acting simply transitively on hyperbolic buildings
Published in LMS J. Comput. Math. 15 (2012) 101-112
• View Publication
• BIB
We construct and classify all groups, given by triangular presentations associated to the smallest thick generalized quadrangle, that act simply transitively on the vertices of hyperbolic triangular buildings of the smallest non-trivial thickness. Our classification shows 23 non-isomorphic torsion free groups (obtained in an earlier work) and 168 non-isomorphic torsion groups acting on one of two possible buildings with the smallest thick generalized quadrangle as the link of each vertex. In analogy with the Euclidean case, we find both torsion and torsion free groups acting on the same building.
A multivariate "inv" hook formula for forests
Published
• View Publication
• BIB
Bjoerner and Wachs provided two q-generalizations of Knuth's hook formula counting linear extensions of forests: one involving the major index statistic, and one involving the inversion number statistic. We prove a multivariate generalization of their inversion number result, motivated by specializations related to the modular invariant theory of finite general linear groups.
Classification of nonorientable regular embeddings of Hamming graphs
Published
• View Publication
• BIB
By a regular embedding of a graph K in a surface we mean a 2-cell embedding of K in a compact connected surface such that the automorphism group acts regularly on flags. In this paper, we classify the nonorientable regular embeddings of the Hamming graph H(d,n). We show that there exists such an embedding if and only if n=2 and d=2, or n=3 or 4 and d>0, or n=6 and d=1 or 2. We also give constructions and descriptions of these embeddings.
The set of autotopisms of partial Latin squares
Published in Discrete Mathematics 313, No. 11 (2013), 1150-1161
• View Publication
• BIB
Symmetries of a partial Latin square are determined by its autotopism group. Analogously to the case of Latin squares, given an isotopism $Θ$, the cardinality of the set $\mathcal{PLS}_Θ$ of partial Latin squares which are invariant under $Θ$ only depends on the conjugacy class of the latter, or, equivalently, on its cycle structure. In the current paper, the cycle structures of the set of autotopisms of partial Latin squares are characterized and several related properties studied. It is also seen that the cycle structure of $Θ$ determines the possible sizes of the elements of $\mathcal{PLS}_Θ$ and the number of those partial Latin squares of this set with a given size. Finally, it is generalized the traditional notion of partial Latin square completable to a Latin square.
An Erdős-Ko-Rado theorem in general linear groups
Let $S_n$ be the symmetric group on $n$ points. Deza and Frankl [M. Deza and P. Frankl, On the maximum number of permutations with given maximal or minimal distance, J. Combin. Theory Ser. A 22 (1977) 352--360] proved that if ${\cal F}$ is an intersecting set in $S_n$ then $|{\cal F}|\leq(n-1)!$. In this paper we consider the $q$-analogue version of this result. Let $\mathbb{F}_q^n$ be the $n$-dimensional row vector space over a finite field $\mathbb{F}_q$ and $GL_n(\mathbb{F}_q)$ the general linear group of degree $n$. A set ${\cal F}_q\subseteq GL_n(\mathbb{F}_q)$ is {\it intersecting} if for any $T,S\in{\cal F}_q$ there exists a non-zero vector $α\in \mathbb{F}_q^n$ such that $αT=αS$. Let ${\cal F}_q$ be an intersecting set in $GL_n(\mathbb{F}_q)$. We show that $|{\cal F}_q|\leq q^{(n-1)n/2}\prod_{i=1}^{n-1}(q^i-1)$.
On the functions counting walks with small steps in the quarter plane
Published in Publications mathématiques de l'IHÉS: Volume 116, Issue 1 (2012), Pages 69-114
• View Publication
• BIB
Models of spatially homogeneous walks in the quarter plane ${\bf Z}_+^{2}$ with steps taken from a subset $\mathcal{S}$ of the set of jumps to the eight nearest neighbors are considered. The generating function $(x,y,z)\mapsto Q(x,y;z)$ of the numbers $q(i,j;n)$ of such walks starting at the origin and ending at $(i,j) \in {\bf Z}_+^{2}$ after $n$ steps is studied. For all non-singular models of walks, the functions $x \mapsto Q(x,0;z)$ and $y\mapsto Q(0,y;z)$ are continued as multi-valued functions on ${\bf C}$ having infinitely many meromorphic branches, of which the set of poles is identified. The nature of these functions is derived from this result: namely, for all the 51 walks which admit a certain infinite group of birational transformations of ${\bf C}^2$, the interval $]0,1/|\mathcal{S}|[$ of variation of $z$ splits into two dense subsets such that the functions $x \mapsto Q(x,0;z)$ and $y\mapsto Q(0,y;z)$ are shown to be holonomic for any $z$ from the one of them and non-holonomic for any $z$ from the other. This entails the non-holonomy of $(x,y,z)\mapsto Q(x,y;z)$, and therefore proves a conjecture of Bousquet-Mélou and Mishna.
A method for determining the mod-$2^k$ behaviour of recursive sequences, with applications to subgroup counting
Published in Electron. J. Combin. 18(2) (2012), Article P37
• View Publication
• BIB
We present a method to obtain congruences modulo powers of 2 for sequences given by recurrences of finite depth with polynomial coefficients. We apply this method to Catalan numbers, Fuß-Catalan numbers, and to subgroup counting functions associated with Hecke groups and their lifts. This leads to numerous new results, including many extensions of known results to higher powers of 2.
Entropy of Schur-Weyl Measures
Published
• View Publication
• BIB
Relative dimensions of isotypic components of N-th order tensor representations of the symmetric group on n letters give a Plancherel-type measure on the space of Young diagrams with n cells and at most N rows. It was conjectured by G. Olshanski that dimensions of isotypic components of tensor representations of finite symmetric groups, after appropriate normalization, converge to a constant with respect to this family of Plancherel-type measures in the limit when N/sqrt{n} converges to a constant. The main result of the paper is the proof of this conjecture.
Series expansions from the corner transfer matrix renormalization group method: the hard squares model
Published
• View Publication
• BIB
The corner transfer matrix renormalization group method is an efficient method for evaluating physical quantities in statistical mechanical models. It originates from Baxter's corner transfer matrix equations and method, and was developed by Nishino and Okunishi in 1996. In this paper, we review and adapt this method, previously used for numerical calculations, to derive series expansions. We use this to calculate 92 terms of the partition function of the hard squares model. We also examine the claim that the method is subexponential in the number of generated terms and briefly analyse the resulting series.
Some Quotients of the Boolean Lattice are Symmetric Chain Orders
Published
• View Publication
• BIB
R. Canfield has conjectured that for all subgroups G of the automorphism group of the Boolean lattice B(n) (which can be regarded as the symmetric group S(n)) the quotient order B(n)/G is a symmetric chain order. We provide a straightforward proof of a generalization of a result of K. K. Jordan: namely, B(n)/G is an SCO whenever G is generated by powers of disjoint cycles. The symmetric chain decompositions of Greene and Kleitman provide the basis for partitions of these quotients.
Co-quasi-invariant spaces for finite complex reflection groups
Published
• View Publication
• BIB
We study, in a global uniform manner, the quotient of the ring of polynomials in l sets of n variables, by the ideal generated by diagonal quasi-invariant polynomials for general permutation groups W=G(r,n). We show that, for each such group W, there is an explicit universal symmetric function that gives the N^l-graded Hilbert series for these spaces. This function is universal in that its dependance on l only involves the number of variables it is calculated with. We also discuss the combinatorial implications of the observed fact that it affords an expansion as a positive coefficient polynomial in the complete homogeneous symmetric functions.
On Measures on Partitions Arising in Harmonic Analysis for Linear and Projective Characters of the Infinite Symmetric Group
The z-measures on partitions originated from the problem of harmonic analysis of linear representations of the infinite symmetric group in the works of Kerov, Olshanski and Vershik (1993, 2004). A similar family corresponding to projective representations was introduced by Borodin (1997). The latter measures live on strict partitions (i.e., partitions with distinct parts), and the z-measures are supported by all partitions. In this note we describe some combinatorial relations between these two families of measures using the well-known doubling of shifted Young diagrams.
Factor frequencies in languages invariant under more symmetries
Published in Integers - Electronic Journal of Combinatorial Number Theory 12 (2012), A36
• Search Publication
The number of frequencies of factors of length $n+1$ in a recurrent aperiodic infinite word does not exceed $3Δ\C(n)$, where $Δ\C (n)$ is the first difference of factor complexity, as shown by Boshernitzan. Pelantová together with the author derived a better upper bound for infinite words whose language is closed under reversal. In this paper, we further diminish the upper bound for uniformly recurrent infinite words whose language is invariant under all elements of a finite group of symmetries and we prove the optimality of the obtained upper bound.
Fissioned triangular schemes via sharply 3-transitive groups
Published
• View Publication
• BIB
n [D. de Caen, E.R. van Dam. Fissioned triangular schemes via the cross-ratio, {Europ. J. Combin.}, 22 (2001) 297-301], de Caen and van Dam constructed a fission scheme $\FT(q+1)$ of the triangular scheme on $\PG(1,q)$. This fission scheme comes from the naturally induced action of $\PGL(2,q)$ on the 2-element subsets of $\PG(1,q)$. The group $\PGL(2,q)$ is one of two infinite families of finite sharply 3-transitive groups. The other such family $\Mq(q)$ is a "twisted" version of $\PGL(2,q)$, where $q$ is an even power of an odd prime. The group $\PSL(2,q)$ is the intersection of $\PGL(2,q)$ and $\Mq(q)$. In this paper, we investigate the association schemes coming from the actions of $\PSL(2,q)$, $\Mq(q)$ and $\PML(2,q)$, respectively. Through the conic model introduced in [H.D.L. Hollmann, Q. Xiang. Association schemes from the actions of $\PGL(2, q) $ fixing a nonsingular conic, {J. Algebraic Combin.}, 24 (2006) 157-193], we introduce an embedding of $\PML(2,q)$ into $\PML(3,q)$. For each of the three groups mentioned above, this embedding produces two more isomorphic association schemes: one on hyperbolic lines and the other on hyperbolic points (via a null parity) in a 3-dimensional orthogonal geometry. This embedding enables us to treat these three isomorphic association schemes simultaneously.
The rank of edge connection matrices and the dimension of algebras of invariant tensors
Published in European Journal of Combinatorics, 33, 1167-1173, 2012
• View Publication
• BIB
We characterize the rank of edge connection matrices of partition functions of real vertex models, as the dimension of the homogeneous components of the algebra of $G$-invariant tensors. Here $G$ is the sub- group of the real orthogonal group that stabilizes the vertex model. This answers a question of Balázs Szegedy from 2007.
Algorithms for Solving Rubik's Cubes
Published
• View Publication
• BIB
The Rubik's Cube is perhaps the world's most famous and iconic puzzle, well-known to have a rich underlying mathematical structure (group theory). In this paper, we show that the Rubik's Cube also has a rich underlying algorithmic structure. Specifically, we show that the n x n x n Rubik's Cube, as well as the n x n x 1 variant, has a "God's Number" (diameter of the configuration space) of Theta(n^2/log n). The upper bound comes from effectively parallelizing standard Theta(n^2) solution algorithms, while the lower bound follows from a counting argument. The upper bound gives an asymptotically optimal algorithm for solving a general Rubik's Cube in the worst case. Given a specific starting state, we show how to find the shortest solution in an n x O(1) x O(1) Rubik's Cube. Finally, we show that finding this optimal solution becomes NP-hard in an n x n x 1 Rubik's Cube when the positions and colors of some of the cubies are ignored (not used in determining whether the cube is solved).
Derivative polynomials and permutations by numbers of interior peaks and left peaks
Published
• View Publication
• BIB
Derivative polynomials in two variables are defined by repeated differentiation of the tangent and secant functions. We establish the connections between the coefficients of these derivative polynomials and the numbers of interior and left peaks over the symmetric group. Properties of the generating functions for the numbers of interior and left peaks over the symmetric group, including recurrence relations, generating functions and real-rootedness, are studied.
A Penrose polynomial for embedded graphs
Published in European J. Combin. 34 (2013) 424-445
• View Publication
• BIB
We extend the Penrose polynomial, originally defined only for plane graphs, to graphs embedded in arbitrary surfaces. Considering this Penrose polynomial of embedded graphs leads to new identities and relations for the Penrose polynomial which can not be realized within the class of plane graphs. In particular, by exploiting connections with the transition polynomial and the ribbon group action, we find a deletion-contraction-type relation for the Penrose polynomial. We relate the Penrose polynomial of an orientable checkerboard colourable graph to the circuit partition polynomial of its medial graph and use this to find new combinatorial interpretations of the Penrose polynomial. We also show that the Penrose polynomial of a plane graph G can be expressed as a sum of chromatic polynomials of twisted duals of G. This allows us to obtain a new reformulation of the Four Colour Theorem.
Unitary representations of cyclotomic rational Cherednik algebras
Published
• View Publication
• BIB
We classify the irreducible unitary modules in category O for the rational Cherednik algebras of type G(r,1,n) and give explicit combinatorial formulas for their graded characters. More precisely, we produce a combinatorial algorithm determining, for each r-partition of n, the closed semi-linear set of parameters for which the contravariant form on the irreducible representation with the given r-partition as lowest weight is positive definite. We use this algorithm to give a closed form answer for the Cherednik algebra of the symmetric group (recovering a result of Etingof-Stoica and the author) and the Weyl groups of classical type.
Walks on Free Groups and other Stories -- twelve years later
Published in Illinois Journal of Mathematics vol 54 (Spring 2010), pp 327-370
• View Publication
• BIB
We start by studying the distribution of (cyclically reduced) elements of the free groups Fn with respect to their abelianization (or equivalently, their integer homology class. We derive an explicit generating function, and a limiting distribution, by means of certain results (of independent interest) on Chebyshev polynomials; we also prove that the reductions modulo an arbitrary prime of these classes are asymptotically equidistributed, and we study the deviation from equidistribution. We extend our techniques to a more general setting and use them to study the statistical properties of long cycles (and paths) on regular (directed and undirected) graphs. We return to the free group to study some growth functions of the number of conjugacy classes as a function of their cyclically reduced length.