group
10405 papers tagged with this keyword
The average size of the kernel of a matrix and orbits of linear groups
Published
• View Publication
• BIB
Let $\mathfrak{O}$ be a compact discrete valuation ring of characteristic zero. Given a module $M$ of matrices over $\mathfrak{O}$, we study the generating function encoding the average sizes of the kernels of the elements of $M$ over finite quotients of $\mathfrak{O}$. We prove rationality and establish fundamental properties of these generating functions and determine them explicitly for various natural families of modules $M$. Using $p$-adic Lie theory, we then show that special cases of these generating functions enumerate orbits and conjugacy classes of suitable linear pro-$p$ groups.
More on additive triples of bijections
We study additive properties of the set $S$ of bijections (or permutations) $\{1,\dots,n\}\to G$, thought of as a subset of $G^n$, where $G$ is an arbitrary abelian group of order $n$. Our main result is an asymptotic for the number of solutions to $π_1 + π_2 + π_3 = f$ with $π_1,π_2,π_3\in S$, where $f:\{1,\dots,n\}\to G$ is an arbitary function satisfying $\sum_{i=1}^n f(i) = \sum G$. This extends recent work of Manners, Mrazović, and the author. Using the same method we also prove a less interesting asymptotic for solutions to $π_1 + π_2 + π_3 + π_4 = f$, and we also show that the distribution $π_1+π_2$ is close to flat in $L^2$.
As in the previous paper, our method is based on Fourier analysis, and we prove our results by carefully carving up $\widehat{G}^n$ and bounding various character sums. This is most complicated when $G$ has even order, say when $G = \mathbf{F}_2^d$.
At the end of the paper we explain two applications, one coming from the Latin squares literature (counting transversals in Latin hypercubes) and one from cryptography (PRP-to-PRF conversion).
Difference bases in finite Abelian groups
Published in Acta Sci. Math. (Szeged) 85 (2019), 119-137
• View Publication
• BIB
A subset $B$ of a group $G$ is called a difference basis of $G$ if each element $g\in G$ can be written as the difference $g=ab^{-1}$ of some elements $a,b\in B$. The smallest cardinality $|B|$ of a difference basis $B\subset G$ is called the difference size of $G$ and is denoted by $Δ[G]$. The fraction $ð[G]:=\frac{Δ[G]}{\sqrt{|G|}}$ is called the difference characteristic of $G$. Using properies of the Galois rings, we prove recursive upper bounds for the difference sizes and characteristics of finite Abelian groups. In particular, we prove that for a prime number $p\ge 11$, any finite Abelian $p$-group $G$ has difference characteristic $ð[G]<\frac{\sqrt{p}-1}{\sqrt{p}-3}\cdot\sup_{k\in\mathbb N}ð[C_{p^k}]<\sqrt{2}\cdot\frac{\sqrt{p}-1}{\sqrt{p}-3}$. Also we calculate the difference sizes of all Abelian groups of cardinality $<96$.
Difference bases in dihedral groups
Published in Intern. J. of Group Theory, 8:1 (2019) 43--50
• View Publication
• BIB
A subset $B$ of a group $G$ is called a difference basis of $G$ if each element $g\in G$ can be written as the difference $g=ab^{-1}$ of some elements $a,b\in B$. The smallest cardinality $|B|$ of a difference basis $B\subset G$ is called the difference size of $G$ and is denoted by $Δ[G]$. The fraction $ð[G]:=Δ[G]/{\sqrt{|G|}}$ is called the difference characteristic of $G$. We prove that for every $n\in\mathbb N$ the dihedral group $D_{2n}$ of order $2n$ has the difference characteristic $\sqrt{2}\leð[D_{2n}]\leq\frac{48}{\sqrt{586}}\approx1.983$. Moreover, if $n\ge 2\cdot 10^{15}$, then $ð[D_{2n}]<\frac{4}{\sqrt{6}}\approx1.633$. Also we calculate the difference sizes and characteristics of all dihedral groups of cardinality $\le80$.
On the wildness of cambrian lattices
Published
• View Publication
• BIB
In this note, we investigate the representation type of the cambrian lattices and some other related lattices. The result is expressed as a very simple trichotomy. When the rank of the underlined Coxeter group is at most 2, the lattices are of finite representation type. When the Coxeter group is a reducible group of type A 3 1 , the lattices are of tame representation type. In all the other cases they are of wild representation type.
Some Schubert shenanigans
We give a conjectured evaluation of the determinant of a certain matrix $\tilde{D}(n,k)$. The entries of $\tilde{D}(n,k)$ are either 0 or specializations $\mathfrak{S}_w(1,\dots,1)$ of Schubert polynomials. The conjecture implies that the weak order of the symmetric group $S_n$ has the strong Sperner property. A number of peripheral results and problems are also discussed.
Crystal analysis of type $C$ Stanley symmetric functions
Published in Electronic Journal of Combinatorics 24(3) (2017) #P3.51
• View Publication
• BIB
Combining results of T.K. Lam and J. Stembridge, the type $C$ Stanley symmetric function $F_w^C(\mathbf{x})$, indexed by an element $w$ in the type $C$ Coxeter group, has a nonnegative integer expansion in terms of Schur functions. We provide a crystal theoretic explanation of this fact and give an explicit combinatorial description of the coefficients in the Schur expansion in terms of highest weight crystal elements.
Testing isomorphism of central Cayley graphs over almost simple groups in polynomial time
Published in J Math Sci., Vol. 234, no. 2 (2018) 219-236
• View Publication
• BIB
A Cayley graph over a group G is said to be central if its connection set is a normal subset of G. It is proved that for any two central Cayley graphs over explicitly given almost simple groups of order n, the set of all isomorphisms from the first graph onto the second can be found in time poly(n).
Critical classes, Kronecker products of spin characters, and the Saxl conjecture
Published
• View Publication
• BIB
Highlighting the use of critical classes, we consider constituents in Kronecker products, in particular of spin characters of the double covers of the symmetric and alternating groups. We apply results from the spin case to find constituents in Kronecker products of characters of the symmetric groups. Via this tool, we make progress on the Saxl conjecture; this claims that for a triangular number $n$, the square of the irreducible character of the symmetric group $S_n$ labelled by the staircase contains all irreducible characters of $S_n$ as constituents. We find a large number of constituents in this square which were not detected by other methods. Moreover, the investigation of Kronecker products of spin characters inspires a spin variant of Saxl's conjecture.
Ore's theorem on subfactor planar algebras
Published in Quantum Topol. 11 (2020), no. 3, 525-543
• View Publication
• BIB
This article proves that an irreducible subfactor planar algebra with a distributive biprojection lattice admits a minimal 2-box projection generating the identity biprojection. It is a generalization (conjectured in 2013) of a theorem of Oystein Ore on distributive intervals of finite groups (1938), and a corollary of a natural subfactor extension of a conjecture of Kenneth S. Brown in algebraic combinatorics (2000). We deduce a link between combinatorics and representations in finite group theory.
The spin-Brauer diagram algebra
Published
• View Publication
• BIB
We investigate the spin-Brauer diagram algebra, denoted ${\bf SB}_n(δ)$, that arises from studying an analogous form of Schur-Weyl duality for the action of the pin group on ${\bf V}^{\otimes n} \otimes Δ$. Here ${\bf V}$ is the standard $N$-dimensional complex representation of ${\bf Pin}(N)$ and $Δ$ is the spin representation. When $δ= N$ is a positive integer, we define a surjective map ${\bf SB}_n(N) \twoheadrightarrow {\rm End}_{{\bf Pin}(N)}({\bf V}^{\otimes n} \otimes Δ)$ and show it is an isomorphism for $N \geq 2n$. We show ${\bf SB}_n(δ)$ is a cellular algebra and use cellularity to characterize its irreducible representations.
Weight multiplicities and Young tableaux through affine crystals
Published
• View Publication
• BIB
The weight multiplicities of finite dimensional simple Lie algebras can be computed individually using various methods. Still, it is hard to derive explicit closed formulas. Similarly, explicit closed formulas for the multiplicities of maximal weights of affine Kac--Moody algebras are not known in most cases. In this paper, we study weight multiplicities for both finite and affine cases of classical types for certain infinite families of highest weights modules. We introduce new classes of Young tableaux, called the {\em $($spin$)$ rigid tableaux}, and prove that they are equinumerous to the weight multiplicities of the highest weight modules under our consideration. These new classes of Young tableaux arise from crystal basis elements for dominant maximal weights of the integrable highest weight modules over affine Kac--Moody algebras. By applying combinatorics of tableaux such as the Robinson--Schensted algorithm and new insertion schemes, and using integrals over orthogonal groups, we reveal hidden structures in the sets of weight multiplicities and obtain explicit closed formulas for the weight multiplicities. In particular we show that some special families of weight multiplicities form the Pascal, Catalan, Motzkin, Riordan and Bessel triangles.
Braid relations for involution words in affine Coxeter groups
We describe an algorithm to identify a minimal set of "braid relations" which span and preserve all sets of involution words for twisted Coxeter systems of finite or affine type. We classify the cases in which adding the smallest possible set of "half-braid" relations to the ordinary braid relations produces a spanning set: in the untwisted case, this occurs for the Coxeter systems which are finite with rank two or type $A_n$, or affine with rank three or type $\tilde A_n$. These results generalize recent work of Hu and Zhang on the finite classical cases.
On the Falk invariant of signed graphic arrangements
Published
• View Publication
• BIB
The fundamental group of the complement of a hyperplane arrangement in a complex vector space is an important topological invariant. The third rank of successive quotients in the lower central series of the fundamental group was called Falk invariant of the arrangement since Falk gave the first formula and asked to give a combinatorial interpretation. In this article, we give a combinatorial formula for the Falk invariant of a signed graphic arrangement that do not have a $B_2$ as sub-arrangement.
Freeness of multi-reflection arrangements via primitive vector fields
Published
• View Publication
• BIB
In 2002, Terao showed that every reflection multi-arrangement of a real reflection group with constant multiplicity is free by providing a basis of the module of derivations. We first generalize Terao's result to multi-arrangements stemming from well-generated unitary reflection groups, where the multiplicity of a hyperplane depends on the order of its stabilizer. Here the exponents depend on the exponents of the dual reflection representation. We then extend our results further to all imprimitive irreducible unitary reflection groups. In this case the exponents turn out to depend on the exponents of a certain Galois twist of the dual reflection representation that comes from a Beynon-Lusztig type semi-palindromicity of the fake degrees.
Percolation on an infinitely generated group
Published in Combinator. Probab. Comp. 29 (2020) 587-615
• View Publication
• BIB
We give an example of a long range Bernoulli percolation process on a group non-quasi-isometric with $\mathbb{Z}$, in which clusters are almost surely finite for all values of the parameter. This random graph admits diverse equivalent definitions, and we study their ramifications. We also study its expected size and point out certain phase transitions.
Most Rigid Representations and Cayley index
Published
• View Publication
• BIB
For any finite group $G$, a natural question to ask is the order of the smallest possible automorphism group for a Cayley graph on $G$. A particular Cayley graph whose automorphism group has this order is referred to as an MRR (Most Rigid Representation), and its Cayley index is a numerical indicator of this value. Study of GRRs showed that with the exception of two infinite families and seven individual groups, every group admits a Cayley graph whose MRR is a GRR, so that the Cayley index is 1. The full answer to the question of finding the smallest possible Cayley index for a Cayley graph on a fixed group was almost completed in previous work, but the precise answers for some finite groups and one infinite family of groups were left open. We fill in the remaining gaps to completely answer this question.
On connectedness of power graphs of finite groups
Published
• View Publication
• BIB
The power graph of a group $G$ is the graph whose vertex set is $G$ and two distinct vertices are adjacent if one is a power of the other. This paper investigates the minimal separating sets of power graphs of finite groups. For power graphs of finite cyclic groups, certain minimal separating sets are obtained. Consequently, a sharp upper bound for their connectivity is supplied. Further, the components of proper power graphs of $p$-groups are studied. In particular, the number of components of that of abelian $p$-groups are determined.
An explicit determination of the $K$-theoretic structure constants of the affine Grassmannian associated to $SL_2$
Let $G:=\widehat{SL_2}$ denote the affine Kac-Moody group associated to $SL_2$ and $\bar{\mathcal{X}}$ the associated affine Grassmannian. We determine an inductive formula for the Schubert basis structure constants in the torus-equivariant Grothendieck group of $\bar{\mathcal{X}}$. In the case of ordinary (non-equivariant) $K$-theory we find an explicit closed form for the structure constants. We also determine an inductive formula for the structure constants in the torus-equivariant cohomology ring, and use this formula to find closed forms for some of the structure constants.
Arc-transitive cyclic and dihedral covers of pentavalent symmetric graphs of order twice a prime
Published
• View Publication
• BIB
A regular cover of a connected graph is called {\em cyclic} or {\em dihedral} if its transformation group is cyclic or dihedral respectively, and {\em arc-transitive} (or {\em symmetric}) if the fibre-preserving automorphism subgroup acts arc-transitively on the regular cover. In this paper, we give a classification of arc-transitive cyclic and dihedral covers of a connected pentavalent symmetric graph of order twice a prime. All those covers are explicitly constructed as Cayley graphs on some groups, and their full automorphism groups are determined.