group
10226 papers tagged with this keyword
$K$-type multiplicities in degenerate principal series via Howe duality
Let $K$ be one of the complex classical groups ${\rm O}_k$, ${\rm GL}_k$, or ${\rm Sp}_{2k}$. Let $M \subseteq K$ be the block diagonal embedding ${\rm O}_{k_1} \times \cdots \times {\rm O}_{k_r}$ or ${\rm GL}_{k_1} \times \cdots \times {\rm GL}_{k_r}$ or ${\rm Sp}_{2k_1} \times \cdots \times {\rm Sp}_{2k_r}$, respectively. By using Howe duality and seesaw reciprocity as a unified conceptual framework, we prove a formula for the branching multiplicities from $K$ to $M$ which is expressed as a sum of generalized Littlewood-Richardson coefficients, valid within a certain stable range. By viewing $K$ as the complexification of the maximal compact subgroup $K_{\mathbb{R}}$ of the real group $G_{\mathbb{R}} = {\rm GL}(k,\mathbb{R})$, ${\rm GL}(k, \mathbb{C})$, or ${\rm GL}(k,\mathbb{H})$, respectively, one can interpret our branching multiplicities as $K_{\mathbb{R}}$-type multiplicities in degenerate principal series representations of $G_{\mathbb{R}}$. Upon specializing to the minimal $M$, where $k_1 = \cdots = k_r = 1$, we establish a fully general tableau-theoretic interpretation of the branching multiplicities, corresponding to the $K_{\mathbb{R}}$-type multiplicities in the principal series.
Connectivity for square percolation and coarse cubical rigidity in random right-angled Coxeter groups
We consider random right-angled Coxeter groups, $W_Γ$, whose presentation graph $Γ$ is taken to be an Erdős--Rényi random graph, i.e., $Γ\sim \mathcal{G}_{n,p}$. We use techniques from probabilistic combinatorics to establish several new results about the geometry of these random groups.
We resolve a conjecture of Susse and determine the connectivity threshold for square percolation on the random graph $Γ\sim \mathcal{G}_{n,p}$. We use this result to determine a large range of $p$ for which the random right-angled Coxeter group $W_Γ$ has a unique cubical coarse median structure. Until recent work of Fioravanti, Levcovitz and Sageev, there were no non-hyperbolic examples of groups with cubical coarse rigidity; our present results show the property is in fact typically satisfied by a random RACG for a wide range of the parameter $p$, including $p=1/2$.
CayleyPy RL: Pathfinding and Reinforcement Learning on Cayley Graphs
This paper is the second in a series of studies on developing efficient artificial intelligence-based approaches to pathfinding on extremely large graphs (e.g. $10^{70}$ nodes) with a focus on Cayley graphs and mathematical applications. The open-source CayleyPy project is a central component of our research. The present paper proposes a novel combination of a reinforcement learning approach with a more direct diffusion distance approach from the first paper. Our analysis includes benchmarking various choices for the key building blocks of the approach: architectures of the neural network, generators for the random walks and beam search pathfinding. We compared these methods against the classical computer algebra system GAP, demonstrating that they "overcome the GAP" for the considered examples. As a particular mathematical application we examine the Cayley graph of the symmetric group with cyclic shift and transposition generators. We provide strong support for the OEIS-A186783 conjecture that the diameter is equal to n(n-1)/2 by machine learning and mathematical methods. We identify the conjectured longest element and generate its decomposition of the desired length. We prove a diameter lower bound of n(n-1)/2-n/2 and an upper bound of n(n-1)/2+ 3n by presenting the algorithm with given complexity. We also present several conjectures motivated by numerical experiments, including observations on the central limit phenomenon (with growth approximated by a Gumbel distribution), the uniform distribution for the spectrum of the graph, and a numerical study of sorting networks. To stimulate crowdsourcing activity, we create challenges on the Kaggle platform and invite contributions to improve and benchmark approaches on Cayley graph pathfinding and other tasks.
Coarse cops and robber in graphs and groups
(abstract shortened to meet arxiv's length requirements) We investigate two variants of the classical Cops and robber game in graphs, recently introduced by Lee, Martínez-Pedroza, and Rodríguez-Quinche. The two versions are played in infinite graphs and the goal of the cops is to prevent the robber to visit some ball of finite radius (chosen by the robber) infinitely many times. Moreover the cops and the robber move at a different speed, and the cops can choose a radius of capture before the game starts. Depending on the order in which the parameters are chosen, this naturally defines two games, a weak version and a strong version (in which the cops are more powerful), and thus two variants of the cop number of a graph $G$: the weak cop number and the strong cop number. It turns out that these two parameters are invariant under quasi-isometry and thus we can investigate these parameters in finitely generated groups by considering any of their Cayley graphs; the parameters do not depend on the chosen set of generators.
We answer a number of questions raised by Lee, Martínez-Pedroza, and Rodríguez-Quinche, and more recently by Cornect and Martínez-Pedroza. This includes a proof that the weak and strong cop numbers are monotone under quasi-isometric embedding, characterizations of graphs of weak cop number 1 and graphs of strong cop number 1, and a proof that the grid has infinite strong cop number. Moreover we tie the weak cop number of a graph $G$ to the existence of asymptotic minors of large tree-width in $G$, and use the result to prove that any finitely presented group has weak cop number 1 or $\infty$.
We have learned very recently that some of our results have been obtained independently by Appenzeller and Klinge, using fairly different arguments.
Bivariate local permutation polynomials, their companions, and related enumeration results
We construct a new family of permutation group polynomials over finite fields of arbitrary characteristic, which are special types of bivariate local permutation polynomials. For this family, we explicitly construct their companion. We also determine the total number of permutation group polynomials of this form. Moreover, we resolve the problem of enumerating $e$-Klenian polynomials over finite fields for $e\geq 1$, a problem previously noted as nontrivial by Gutierrez and Urroz (2023). In addition, we provide the exact number of permutation group polynomials equivalent to our proposed permutation group polynomials, as well as the exact number of those permutation group polynomials equivalent to $e$-Klenian polynomials.
Sharp estimates for large N Weingarten functions
Weingarten functions provide a tool for computing Haar measure matrix integrals of polynomials in the matrix entries. An important property of Weingarten functions, is their particularly simple large $N$ limits. In 2017 Benoit Collins and Sho Matsumoto studied when this limit holds for Weingarten functions associated to integrals of products of $2n$ matrix entries, as $n \to \infty$, together with the matrix size $N$. They showed that the large $N$ limit is uniformly achieved as long as $n=o(N^{4/7})$, a result which already has applications to strong asymptotic freeness. However, their result is not optimal. They conjectured that their result should actually hold up to $n=o(N^{2/3})$ which is optimal. We prove this conjecture for the matrix groups $G \in \{\mathrm{U}(N)$, $\mathrm{O}(N)$, $\mathrm{Sp}(N)\}$. The proof proceeds by introducing a Markov process on permutations (pairings) which we call the unitary (orthogonal) $\textit{Weingarten process}$. We believe this process may have further applications to the theory of Weingarten functions. We also prove two new bounds regarding the large $N$ limit of the Weingarten function in the regimes when $n=o(N^{4/5})$, and $n=o(N)$.
Divisibility relation between the number of certain surjective group and ring homomorphisms
In this article, we identify the existence of a divisibility relationship between the number of ring homomorphisms and surjective group homomorphisms. We demonstrate that for finite cyclic structures, the number of ring homomorphisms from $\mathbb{Z}_m$ to $\mathbb{Z}_n$ is a divisor of the number of surjective group homomorphisms from $\mathbb{Z}_m$ to $\mathbb{Z}_n$, where $n$ is not of the form $2 \cdot α$, where each prime factor $p$ of $α$ satisfies $p \equiv 3 \pmod{4}$. We further extend this result for finite abelian structures.
Fractional revival on quasi-abelian Cayley graphs
Fractional revival, a quantum transport phenomenon critical to entanglement generation in quantum spin networks, generalizes the notion of perfect state transfer on graphs. A Cayley graph $\mathrm{Cay}(G,S)$ is called quasi-abelian if its connection set $S$ is a union of conjugacy classes of the group $G$. In this paper, we establish a necessary and sufficient condition for quasi-abelian Cayley graphs to have fractional revival. This extends a result of Cao and Luo (2022) on the existence of fractional revival in Cayley graphs over abelian groups.
Orientation-Reversing Crystallographic Rigidity
This paper provides a combinatorial characterisation for generic forced symmetric rigidity of bar-joint frameworks in the Euclidean plane that are symmetric with respect to the orientation-reversing wallpaper group $\mathbb{Z}^2\rtimes\mathcal{C}_s$, also known as $pm$ in crystallography, under a fixed lattice representation. Corresponding results for the wallpaper groups $cm$ and $pg$ follow directly from this. The method used also provides an inductive construction for the corresponding gain graphs, in terms of Henneberg-type graph operations.
Polycyclic Geometric Realizations of the Gray Configuration
The Gray configuration is a (27_3) configuration which typically is realized as the points and lines of the 3 x 3 x 3 integer lattice. It occurs as a member of an infinite family of configurations defined by Bouwer in 1972. Since their discovery, both the Gray configuration and its Levi graph (i.e., its point-line incidence graph) have been the subject of intensive study. Its automorphism group contains cyclic subgroups isomorphic to Z_3 and Z_9, so it is natural to ask whether the Gray configuration can be realized in the plane with any of the corresponding rotational symmetry. In this paper, we show that there are two distinct polycyclic realizations with Z_3 symmetry. In contrast, the only geometric polycyclic realization with straight lines and Z_9 symmetry is only a "weak" realization, with extra unwanted incidences (in particular, the realization is actually a (27_4) configuration).
A new measure of robustness of Erdős--Ko--Rado Theorems on permutation groups
In this paper we introduce a new way of measuring the robustness of Erdős--Ko--Rado (EKR) Theorems on permutation groups. EKR-type results can be viewed as results about the independence numbers of certain corresponding graphs, namely the derangement graphs, and random subgraphs of these graphs have been used to measure the robustness of these extremal results. In the context of permutation groups, the derangement graphs are Cayley graphs on the permutation group in question. We propose studying extremal properties of subgraphs of derangement graphs, that are themselves Cayley graphs of the group, to measure robustness.
We present a variety of results about the robustness of the EKR property of various permutation groups using this new measure.
Coxeter codes: Extending the Reed-Muller family
Binary Reed-Muller (RM) codes are defined via evaluations of Boolean-valued functions on $\mathbb{Z}_2^m$. We introduce a class of binary linear codes that generalizes the RM family by replacing the domain $\mathbb{Z}_2^m$ with an arbitrary finite Coxeter group. Like RM codes, this class is closed under duality, forms a nested code sequence, satisfies a multiplication property, and has asymptotic rate determined by a Gaussian distribution. Coxeter codes also give rise to a family of quantum codes for which transversal diagonal $Z$ rotations can perform non-trivial logic.
On Bass' conjecture of the small Davenport constant
Let $G$ be a finite group. The small Davenport constant $\mathsf d(G)$ of $G$ is the maximal integer $\ell$ such that there is a sequence of length $\ell$ over $G$ which has no nonempty product-one subsequence. In 2007, Bass conjectured that $\mathsf d(G_{m,n})=m+n-2$, where $G_{m,n}=\langle x, y| x^m=y^n=1, x^{-1}yx=y^s\rangle$, and $s$ has order $m$ modulo $n$. In this paper, we confirm the conjecture for any group $G_{m,n}$ with additional conditions that $s$ has order $m$ modulo $q$, for every prime divisor $q$ of $n$. Moreover, we solve the associated inverse problem characterizing the structure of any product-one free sequence with extremal length $\mathsf d(G_{m,n})$. Our results generalize some obtained theorems on this problem.
Rubik's Abstract Polytopes
We generalize the Rubik's cube, together with its group of configurations, to any abstract regular polytope. After discussing general aspects, we study the Rubik's simplex of arbitrary dimension and provide a complete description of the associated group. We sketch an analogous argument for the Rubik's hypercube as well.
Pseudo-involutions in the Riordan group and Chebyshev polynomials
Generalizing the results in our previous paper, we consider pseudo-involutions in the Riordan group where the generating function $g$ for the first column of a Riordan array satisfies a functional equation of certain types involving a polynomial. For those types of equations, we find the pseudo-involutory companion of $g$. We also develop a general method for finding B-functions of Riordan pseudo-involutions in the cases we consider, and show that these B-functions involve Chebyshev polynomials. We apply our method for several families of Riordan arrays, obtaining new results and deriving known results more efficiently.
Ribbon blocks for centraliser algebras of symmetric groups
Suppose $l,m$ are natural numbers with $l\le m$, and $\mathbb{F}$ a field of characteristic $p$, and let $\mathcal{C}_{l,m}^{\mathbb{F}}$ denote the centraliser of the group algebra $\mathbb{F}S_l$ inside $\mathbb{F}S_m$. Ellers and Murray give a conjectured classification of the blocks of $\mathcal{C}_{l,m}^{\mathbb{F}}$, in terms of the $p$-blocks of $S_l$ and $S_m$. We prove this conjecture for a family of blocks that we call ribbon blocks and belt blocks. These are the blocks containing Specht modules labelled by skew partitions having no repeated entries in their $p$-content.
Learning the symmetric group: large from small
Machine learning explorations can make significant inroads into solving difficult problems in pure mathematics. One advantage of this approach is that mathematical datasets do not suffer from noise, but a challenge is the amount of data required to train these models and that this data can be computationally expensive to generate. Key challenges further comprise difficulty in a posteriori interpretation of statistical models and the implementation of deep and abstract mathematical problems.
We propose a method for scalable tasks, by which models trained on simpler versions of a task can then generalize to the full task. Specifically, we demonstrate that a transformer neural-network trained on predicting permutations from words formed by general transpositions in the symmetric group $S_{10}$ can generalize to the symmetric group $S_{25}$ with near 100\% accuracy. We also show that $S_{10}$ generalizes to $S_{16}$ with similar performance if we only use adjacent transpositions. We employ identity augmentation as a key tool to manage variable word lengths, and partitioned windows for training on adjacent transpositions. Finally we compare variations of the method used and discuss potential challenges with extending the method to other tasks.
Determining the vertex stabilizers of 4-valent half-arc-transitive graphs
We say that a group is a $4$-HAT-stabilizer if it is the vertex stabilizer of some connected $4$-valent half-arc-transitive graph. In 2001, Marušič and Nedela proved that every $4$-HAT-stabilizer must be a concentric group. However, over the past two decades, only a very small proportion of concentric groups have been shown to be $4$-HAT-stabilizers. This paper develops a theory that provides a general framework for determining whether a concentric group is a $4$-HAT-stabilizer. With this approach, we significantly extend the known list of $4$-HAT-stabilizers. As a corollary, we confirm that $\mathcal{H}_7\times C_2^{m-7}$ are $4$-HAT-stabilizers for $m\geq 7$, achieving the goal of a conjecture posed by Spiga and Xia.
Generalized De Bruijn Words, Invertible Necklaces, and the Burrows-Wheeler Transform
We define generalized de Bruijn words as those words having a Burrows-Wheeler transform that is a concatenation of permutations of the alphabet. We show that generalized de Bruijn words are in 1-to-1 correspondence with Hamiltonian cycles in the generalized de Bruijn graphs introduced in the early '80s in the context of network design. When the size of the alphabet is a prime $p$, we define invertible necklaces as those whose BWT-matrix is non-singular. We show that invertible necklaces of length $n$ correspond to normal bases of the finite field $F_{p^n}$, and that they form an Abelian group isomorphic to the Reutenauer group $RG_p^n$. Using known results in abstract algebra, we can make a bridge between generalized de Bruijn words and invertible necklaces. In particular, we highlight a correspondence between binary de Bruijn words of order $d+1$, binary necklaces of length $2^{d}$ having an odd number of $1$'s, invertible BWT matrices of size $2^{d}\times 2^{d}$, and normal bases of the finite field $F_{2^{2^{d}}}$.
3-Designs from PSL(2,q) with cyclic starter blocks
Published
• View Publication
• BIB
We consider when the projective special linear group over a finite field defines a $3$-design with a cyclic starter block. We will show that the equivalences of the existence of such $3$-$(q+1,5,3)$ and $3$-$(q+1,10,18)$ designs for a prime power $q\equiv 1\pmod{20}$, and $3$-$(q+1,13,33)$ and $3$-$(q+1,26,150)$ designs for a prime power $q\equiv 1\pmod{52}$, respectively.