group
10399 papers tagged with this keyword
Random sampling of contingency tables and partitions: Two practical examples of the Burnside process
Published in Stat Comput 35, 181 (2025)
• View Publication
• BIB
This paper gives new, efficient algorithms for approximate uniform sampling of contingency tables and integer partitions. The algorithms use the Burnside process, a general algorithm for sampling a uniform orbit of a finite group acting on a finite set. We show that a technique called `lumping' can be used to derive efficient implementations of the Burnside process. For both contingency tables and partitions, the lumped processes have far lower per step complexity than the original Markov chains. We also define a second Markov chain for partitions called the reflected Burnside process. The reflected Burnside process maintains the computational advantages of the lumped process but empirically converges to the uniform distribution much more rapidly. By using the reflected Burnside process we can easily sample uniform partitions of size $10^{10}$.
On Terwilliger $\mathbb{F}$-algebras of direct products of group divisible association schemes
Published
• View Publication
• BIB
The Terwilliger algebras of association schemes over an arbitrary field $\mathbb{F}$ were briefly called the Terwilliger $\mathbb{F}$-algebras of association schemes in [9]. In this paper, the Terwilliger $\mathbb{F}$-algebras of direct products of group divisible association schemes are studied. The centers, the semisimplicity, the Jacobson radicals and their nilpotent indices, the Wedderburn-Artin decompositions of the Terwilliger $\mathbb{F}$-algebras of direct products of group divisible association schemes are obtained.
Descents and flag major index on conjugacy classes of colored permutation groups without short cycles
Published
• View Publication
• BIB
We consider the descent and flag major index statistics on the colored permutation groups, which are wreath products of the form $\mathfrak{S}_{n,r}=\mathbb{Z}_r\wr \mathfrak{S}_n$. We show that the $k$-th moments of these statistics on $\mathfrak{S}_{n,r}$ will coincide with the corresponding moments on all conjugacy classes without cycles of lengths $1,2,\ldots,2k$. Using this, we establish the asymptotic normality of the descent and flag major index statistics on conjugacy classes of $\mathfrak{S}_{n,r}$ with sufficiently long cycles. Our results generalize prior work of Fulman involving the descent and major index statistics on the symmetric group $\mathfrak{S}_n$. Our methods involve an intricate extension of Fulman's work on $\mathfrak{S}_n$ combined with the theory of the degree for a colored permutation statistic, as introduced by Campion Loth, Levet, Liu, Sundaram, and Yin.
Group distance magic cubic graphs
Published in Discussiones Mathematicae - Graph Theory 2025
• View Publication
• BIB
A $Γ$\emph{-distance magic labeling} of a graph $G = (V, E)$ with $|V| = n$ is a bijection $\ell$ from $V$ to an Abelian group $Γ$ of order $n$, for which there exists $μ\in Γ$, such that the weight $w(x) =\sum_{y\in N(x)}\ell(y)$ of every vertex $x \in V$ is equal to $μ$. In this case, the element $μ$ is called the \emph{magic constant of} $G$. A graph $G$ is called a \emph{group distance magic} if there exists a $Γ$-distance magic labeling of $G$ for every Abelian group $Γ$ of order $n$.
In this paper, we focused on cubic $Γ$-distance magic graphs as well as some properties of such graphs.
Towards Graham's rearrangement conjecture via rainbow paths
We study an old question in combinatorial group theory which can be traced back to a conjecture of Graham from 1971. Given a group $Γ$, and some subset $S\subseteq Γ$, is it possible to permute $S$ as $s_1, s_2, \ldots, s_d$ so that the partial products $\prod_{1 \leq i \leq t} s_i$, $t\in [d]$ are all distinct? Most of the progress towards this problem has been in the case when $Γ$ is a cyclic group. We show that for any group $Γ$ and any $S \subseteq Γ$, there is a permutation of $S$ where all but a vanishing proportion of the partial products are distinct, thereby establishing the first asymptotic version of Graham's conjecture under no restrictions on $Γ$ or $S$.
To do so, we explore a natural connection between Graham's problem and the following very natural question attributed to Schrijver. Given a $d$-regular graph $G$ properly edge-coloured with $d$ colours, is it always possible to find a rainbow path with $d-1$ edges? We settle this question asymptotically by showing one can find a rainbow path of length $d - o(d)$. While this has immediate applications to Graham's question for example when $Γ= \mathbb{F}_2^k$, our general result above requires a more involved result we obtain for the natural directed analogue of Schrijver's question.
Endomorphism and Automorphism Graphs
Let $G$ be a group. The directed endomorphism graph, \dend of $G$ is a directed graph with vertex set $G$ and there is a directed edge from the vertex `$a$' to the vertex `$\, b$' $(a \neq b) $ if and only if there exists an endomorphism on $G$ mapping $a$ to $b$. The endomorphism graph, \uend $\,$ of $G$ is the corresponding undirected simple graph. The automorphism graph, ${Auto}(G)$ of $G$ is an undirected graph with vertex set $G$ and there is an edge from the vertex `$a$' to the vertex `$\,b$' $(a \neq b) $ if and only if there exists an automorphism on $G$ mapping $a$ to $b$. We have explored graph theoretic properties like size, planarity, girth etc. and tried finding out for which types of groups these graphs are complete, diconnected, trees, bipartite and so on.
On CI-property of normal Cayley digraphs over abelian groups
Published
• View Publication
• BIB
A Cayley digraph $Γ$ over a finite group $G$ is said to be CI if for every Cayley digraph $Γ^\prime$ over $G$ isomorphic to $Γ$, there is an isomorphism from $Γ$ to $Γ^\prime$ which is at the same time an automorphism of $G$. In the present paper, we study a CI-property of normal Cayley digraphs over abelian groups, i.e. such Cayley digraphs $Γ$ that the group $G_r$ of all right translations of $G$ is normal in $Aut(Γ)$. At first, we reduce the case of an arbitrary abelian group to the case of an abelian $p$-group. Further, we obtain several results on CI-property of normal Cayley digraphs over abelian $p$-groups. In particular, we prove that every normal Cayley digraph over an abelian $p$-group of order at most $p^5$, where $p$ is an odd prime, is CI.
Arithmetical Structures On Fan Graphs
In this paper, we study the arithmetical structures on Fan Graphs Fn. Let G be a finite and connected graph. An arithmetical structure on G is a pair (d, r) of positive integer vectors such that r is primitive (the greatest common divisor of its coefficients is 1) and (diag(d)-A)r = 0, where A represents the adjacency matrix of G. This work explores the combinatorial properties of the arithmetical structures associated with Fn. Further, we discuss the arrow-star graph, a structure derived from the fan graph, along with its properties. Additionally, we investigate the critical group linked to each such structure on Fn.
Automorphisms and quotients of 2-colored quasi best match graphs
Published
• View Publication
• BIB
2-colored quasi best match graphs (2-qBMGs) are directed graphs that arose in phylogenetics. Investigations of 2-qBMGs have mostly focused on computational issues. However, 2-qBMGs also have relevant properties for structural graph theory; in particular, their undirected underlying graph is free from induced paths and cycles of size at least 6. In this paper, results on the structure of the automorphism groups of 2-qBMGs are obtained, which shows how to construct 2-qBMGs with large automorphism groups.
$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
Published
• View Publication
• BIB
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
Published
• View Publication
• BIB
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
Published
• View Publication
• BIB
(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
Published
• View Publication
• BIB
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
Published
• View Publication
• BIB
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.