group
10405 papers tagged with this keyword
Weak Hopf algebras and the distribution of involutions in symmetric groups
By computing Frobenius-Schur indicators of modules of certain weak Hopf algebras, we give a formula for the number of involutions in symmetric groups, which are contained in a given coset with respect to a given Young subgroup.
Weingarten Calculus and the IntHaar Package for Integrals over Compact Matrix Groups
Published
• View Publication
• BIB
In this paper, we present a uniform formula for the integration of polynomials over the unitary, orthogonal, and symplectic groups using Weingarten calculus. From this description, we further simplify the integration formulas and give several optimizations for various cases. We implemented the optimized Weingarten calculus in Maple in a package called IntHaar for all three compact groups. Here we will discuss its functions, provide instructions for the package, and produce some examples of computed integrals.
Ranks of ideals in inverse semigroups of difunctional binary relations
Published
• View Publication
• BIB
The set D_n of all difunctional relations on an n element set is an inverse semigroup under a variation of the usual composition operation. We solve an open problem of Kudryavtseva and Maltcev (2011), which asks: What is the rank (smallest size of a generating set) of D_n? Specifically, we show that the rank of D_n is B(n)+n, where B(n) is the nth Bell number. We also give the rank of an arbitrary ideal of D_n. Although D_n bears many similarities with families such as the full transformation semigroups and symmetric inverse semigroups (all contain the symmetric group and have a chain of J-classes), we note that the fast growth of rank(D_n) as a function of n is a property not shared with these other families.
Properness of nilprogressions and the persistence of polynomial growth of given degree
Published in Discrete Analysis 2018:17, 38 pp
• Search Publication
We show that an arbitrary nilprogression can be approximated by a proper coset nilprogression in upper-triangular form. This can be thought of as a nilpotent version of the Freiman-Bilu result that a generalised arithmetic progression can be efficiently contained in a proper generalised arithmetic progression, and indeed an important ingredient in the proof is a Lie-algebra version of the geometry-of-numbers argument at the centre of that result. We also present some applications. We verify a conjecture of Benjamini that if $S$ is a symmetric generating set for a group such that $1\in S$ and $|S^n|\le Mn^D$ at some sufficiently large scale $n$ then $S$ exhibits polynomial growth of the same degree $D$ at all subsequent scales, in the sense that $|S^r|\ll_{M,D}r^D$ for every $r\ge n$. Our methods also provide an important ingredient in a forthcoming companion paper in which we reprove and sharpen a result about scaling limits of vertex-transitive graphs of polynomial growth due to Benjamini, Finucane and the first author. We also note that our arguments imply that every approximate group has a large subset with a large quotient that is Freiman isomorphic to a subset of a torsion-free nilpotent group of bounded rank and step.
Cubical Geometry in the Polygonalisation Complex
Published in Math. Proc. Camb. Phil. Soc. 167 (2019) 1-22
• View Publication
• BIB
We introduce the polygonalisation complex of a surface, a cube complex whose vertices correspond to polygonalisations. This is a geometric model for the mapping class group and it is motivated by works of Harer, Mosher and Penner. Using properties of the flip graph, we show that the midcubes in the polygonalisation complex can be extended to a family of embedded and separating hyperplanes, parametrised by the arcs in the surface.
We study the crossing graph of these hyperplanes and prove that it is quasi-isometric to the arc complex. We use the crossing graph to prove that, generically, different surfaces have different polygonalisation complexes. The polygonalisation complex is not CAT(0), but we can characterise the vertices where Gromov's link condition fails. This gives a tool for proving that, generically, the automorphism group of the polygonalisation complex is the (extended) mapping class group of the surface.
A connection between matchings and removal in abelian groups
In a finite abelian group $G$, define an additive matching to be a collection of triples $(x_i, y_i, z_i)$ such that $x_i + y_j + z_k = 0$ if and only if $i = j = k$. In the case that $G = \mathbb{F}_2^n$, Kleinberg, building on work of Croot-Lev-Pach and Ellenberg-Gijswijt, proved a polynomial upper bound on the size of an additive matching. Fox and Lovász used this to deduce polynomial bounds on Green's arithmetic removal lemma in $\mathbb{F}_2^n$.
If $G$ is taken to be an arbitrary finite abelian group, the questions of bounding the size of an additive matching and giving bounds for Green's arithmetic removal lemma are much less well understood. In this note, we adapt the methods of Fox and Lovász to prove that, provided we can assume a sufficiently strong bound on the size of an additive matching in cyclic groups, a similar bound should hold in the case of removal.
Enumerating Cayley (di-)graphs on dihedral groups
Published
• View Publication
• BIB
Let $p$ be an odd prime, and $D_{2p}=\langle τ,σ\mid τ^p=σ^2=e,στσ=τ^{-1}\rangle$ the dihedral group of order $2p$. In this paper, we provide the number of (connected) Cayley (di-)graphs on $D_{2p}$ up to isomorphism by using the Pólya enumeration theorem. In the process, we also enumerate (connected) Cayley digraphs on $D_{2p}$ of out-degree $k$ up to isomorphism for each $k$.
Generating series of cyclically fully commutative elements is rational
In this paper, we study the generating function of cyclically fully commutative elements in Coxeter groups, which are elements such that any cyclic shift of theirs reduced decompositions remains a reduced expression of a fully commutative element. By designing a finite state automaton recognizing reduced expressions of cyclically fully commutative elements, we can show that the aforementioned generating series is always rational.
Extensions of character formulas by the Littlewood decomposition
In 2015, the author proved combinatorially character formulas expressing sums of the (formal) dimensions of irreducible representations of symplectic groups, refining some works of Nekrasov and Okounkov, Han, King, and Westbury. In this article, we obtain generalizations of these character formulas, by using a bijection on integer partitions, namely the Littlewood decomposition, for which we prove new properties. As applications, we derive signed generating functions for subsets of integer partitions, and new hook length formulas.
On H-Spaces and a Congruence of Catalan Numbers
Published in Homology, Homotopy & Applications, 2017, Vol. 19 Issue 2, pp. 21-30
• View Publication
• BIB
For $p$ an odd prime and $F$ the cyclic group of order $p$, we show that the number of conjugacy classes of embeddings of $F$ in $SU(p)$ such that no element of $F$ has 1 as an eigenvalue is $(1+C_{p-1})/p$, where $C_{p-1}$ is a Catalan number. We prove that the only coset space $SU(p)/F$ that admits a $p$-local $H$-structure is the classical Lie group $PSU(p)$. We also show that $SU(4)/\mathbb Z_3$, where $\mathbb Z_3$ is embedded off the center of $SU(4)$, is a novel example of an $H$-space, even globally. We apply our results to the study of homotopy classes of maps from $BF$ to $BSU(n)$.
On Jacobian group and complexity of the generalized Petersen graph GP(n,k) through Chebyshev polynomials
Published
• View Publication
• BIB
In the present paper we find a simple algorithm for counting Jacobian group of the generalized Petersen graph GP(n,k). Also, we obtain a closed formula for the number of spanning trees of this graph in terms of Chebyshev polynomials.
Special matchings in Coxeter groups
Published in European Journal of Combinatorics 61 (2017) 151-166
• View Publication
• BIB
Special matchings are purely combinatorial objects associated with a partially ordered set, which have applications in Coxeter group theory. We provide an explicit characterization and a complete classification of all special matchings of any lower Bruhat interval. The results hold in any arbitrary Coxeter group and have also applications in the study of the corresponding parabolic Kazhdan--Lusztig polynomials.
Three pearls of Bernoulli numbers
The Bernoulli numbers are fascinating and ubiquitous numbers, they occur in several domains of Mathematics like Number theory (FLT), Group theory, Calculus and even in Physics. Since Bernoulli's work, they are yet studied to understand their deep nature and particularly to find relationships between them. In this paper, we give, firstly, a short response to a problem stated, in 1971, by Carlitz and studied by many authors like Prodinger \cite{PRO}, the second pearl is an answer to a question raised, in 2008, by Tom Apostol .The third pearl is another proof of a relationship already given in 2011, by the authors.
A Plancherel measure associated to set partitions and its limit
Published
• View Publication
• BIB
In recent years increasing attention has been paid on the area of supercharacter theories, especially to those of the upper unitriangular group. A particular supercharacter theory, in which supercharacters are indexed by set partitions, has several interesting properties, which make it object of further study. We define a natural generalization of the Plancherel measure, called superplancherel measure, and prove a limit shape result for a random set partition according to this distribution. We also give a description of the asymptotical behavior of two set partition statistics related to the supercharacters. The study of these statistics when the set partitions are uniformly distributed has been done by Chern, Diaconis, Kane and Rhoades.
Positive speed self-avoiding walks on graphs with more than one end
Published in Journal of Combinatorial Theory, Series A Volume 175, October 2020, 105257
• View Publication
• BIB
A self-avoiding walk (SAW) is a path on a graph that visits each vertex at most once. The mean square displacement of an $n$-step SAW is the expected value of the square of the distance between the ending point and the starting point of an $n$-step SAW, where the expectation is taken with respect to the uniform measure on $n$-step SAWs starting from a fixed vertex. It is conjectured that the mean square displacement of an $n$-step SAW is asymptotically $n^{2ν}$, where $ν$ is a constant. Computing the exact values of the exponent $ν$ on various graphs has been a challenging problem in mathematical and scientific research for long.
In this paper we show that on any locally finite Cayley graph of an infinite, finitely-generated group with more than two ends, the number of SAWs whose end-to-end distances are linear in lengths has the same exponential growth rate as the number of all the SAWs. We also prove that for any infinite, finitely-generated group with more than one end, there exists a locally finite Cayley graph on which SAWs have positive speed - this implies that the mean square displacement exponent $ν=1$ on such graphs.
These results are obtained by proving more general theorems for SAWs on quasi-transitive graphs with more than one end, which make use of a variation of Kesten's pattern theorem in a surprising way, as well as the Stalling's splitting theorem. Applications include proving that SAWs have positive speed on the square grid in an infinite cylinder, and on the infinite free product graph of two connected, quasi-transitive graphs.
Transversals in completely reducible multiary quasigroups and in multiary quasigroups of order 4
Published
• View Publication
• BIB
An $n$-ary quasigroup $f$ of order $q$ is an $n$-ary operation over a set of cardinality $q$ such that the Cayley table of the operation is an $n$-dimensional latin hypercube of order $q$. A transversal in a quasigroup $f$ (or in the corresponding latin hypercube) is a collection of $q$ $(n+1)$-tuples from the Cayley table of $f$, each pair of tuples differing at each position. The problem of transversals in latin hypercubes was posed by Wanless in 2011.
An $n$-ary quasigroup $f$ is called reducible if it can be obtained as a composition of two quasigroups whose arity is at least 2, and it is completely reducible if it can be decomposed into binary quasigroups.
In this paper we investigate transversals in reducible quasigroups and in quasigroups of order 4. We find a lower bound on the number of transversals for a vast class of completely reducible quasigroups. Next we prove that, except for the iterated group $\mathbb{Z}_4$ of even arity, every $n$-ary quasigroup of order 4 has a transversal. Also we obtain a lower bound on the number of transversals in quasigroups of order 4 and odd arity and count transversals in the iterated group $\mathbb{Z}_4$ of odd arity and in the iterated group $\mathbb{Z}_2^2.$
All results of this paper can be regarded as those concerning latin hypercubes.
An infinite family of cubic nonnormal Cayley graphs on nonabelian simple groups
Published
• View Publication
• BIB
We construct a connected cubic nonnormal Cayley graph on $\mathrm{A}_{2^m-1}$ for each integer $m\geqslant4$ and determine its full automorphism group. This is the first infinite family of connected cubic nonnormal Cayley graphs on nonabelian simple groups.
Invariant derivations and differential forms for reflection groups
Published
• View Publication
• BIB
Classical invariant theory of a complex reflection group $W$ highlights three beautiful structures:
-- the $W$-invariant polynomials constitute a polynomial algebra, over which
-- the $W$-invariant differential forms with polynomial coefficients constitute an exterior algebra, and
-- the relative invariants of any $W$-representation constitute a free module.
When $W$ is a duality (or well-generated) group, we give an explicit description of the isotypic component within the differential forms of the irreducible reflection representation. This resolves a conjecture of Armstrong, Rhoades and the first author, and relates to Lie-theoretic conjectures and results of Bazlov, Broer, Joseph, Reeder, and Stembridge, and also Deconcini, Papi, and Procesi. We establish this result by examining the space of $W$-invariant differential derivations; these are derivations whose coefficients are not just polynomials, but differential forms with polynomial coefficients.
For every complex reflection group $W$, we show that the space of invariant differential derivations is finitely generated as a module over the invariant differential forms by the basic derivations together with their exterior derivatives. When $W$ is a duality group, we show that the space of invariant differential derivations is free as a module over the exterior subalgebra of $W$-invariant forms generated by all but the top-degree exterior generator. (The basic invariant of highest degree is omitted.)
Our arguments for duality groups are case-free, i.e., they do not rely on any reflection group classification.
Parabolic double cosets in Coxeter groups
Published
• View Publication
• BIB
Parabolic subgroups $W_I$ of Coxeter systems $(W,S)$, as well as their ordinary and double quotients $W / W_I$ and $W_I \backslash W / W_J$, appear in many contexts in combinatorics and Lie theory, including the geometry and topology of generalized flag varieties and the symmetry groups of regular polytopes. The set of ordinary cosets $w W_I$, for $I \subseteq S$, forms the Coxeter complex of $W$, and is well-studied. In this article we look at a less studied object: the set of all double cosets $W_I w W_J$ for $I, J \subseteq S$. Double coset are not uniquely presented by triples $(I,w,J)$. We describe what we call the lex-minimal presentation, and prove that there exists a unique such object for each double coset. Lex-minimal presentations are then used to enumerate double cosets via a finite automaton depending on the Coxeter graph for $(W,S)$. As an example, we present a formula for the number of parabolic double cosets with a fixed minimal element when $W$ is the symmetric group $S_n$ (in this case, parabolic subgroups are also known as Young subgroups). Our formula is almost always linear time computable in $n$, and we show how it can be generalized to any Coxeter group with little additional work. We spell out formulas for all finite and affine Weyl groups in the case that $w$ is the identity element.
A representation-theoretic interpretation of positroid classes
Published
• View Publication
• BIB
A positroid is the matroid of a real matrix with nonnegative maximal minors, a positroid variety is the closure of the locus of points in a complex Grassmannian whose matroid is a fixed positroid, and a positroid class is the cohomology class Poincaré dual to a positroid variety. We define a family of representations of general linear groups whose characters are symmetric polynomials representing positroid classes. These representations are certain diagram Schur modules in the sense of James and Peel. This gives a new algebraic interpretation of the Schubert structure constants for the product of a Schubert polynomial and Schur polynomial, and of the 3-point Gromov-Witten invariants for Grassmannians, proving a conjecture of Postnikov. As a byproduct, we obtain an effective algorithm for decomposing positroid classes into Schubert classes.