group
10226 papers tagged with this keyword
Bakry-Émery and Ollivier Ricci Curvature of Cayley Graphs
In this article we study two discrete curvature notions, Bakry-Émery curvature and Ollivier Ricci curvature, on Cayley graphs. We introduce Right Angled Artin-Coxeter Hybrids (RAACHs) generalizing Right Angled Artin and Coxeter groups (RAAGs and RACGs) and derive the curvatures of Cayley graphs of certain RAACHs. Moreover, we show for general finitely presented groups $Γ= \langle S \, \mid\, R \rangle$ that addition of relators does not lead to a decrease the weighted curvatures of their Cayley graphs with adapted weighting schemes.
Accessibility, planar graphs, and quasi-isometries
We prove that a connected, locally finite, quasi-transitive graph which is quasi-isometric to a planar graph is necessarily accessible. This leads to a complete classification of the finitely generated groups which are quasi-isometric to planar graphs. In particular, such a group is virtually a free product of free and surface groups, and thus virtually admits a planar Cayley graph.
Transfer systems for rank two elementary Abelian groups: characteristic functions and matchstick games
Published in Tunisian J. Math. 7 (2025) 167-191
• View Publication
• BIB
We prove that Hill's characteristic function $χ$ for transfer systems on a lattice $P$ surjects onto interior operators for $P$. Moreover, the fibers of $χ$ have unique maxima which are exactly the saturated transfer systems. In order to apply this theorem in examples relevant to equivariant homotopy theory, we develop the theory of saturated transfer systems on modular lattices, ultimately producing a ``matchstick game'' that puts saturated transfer systems in bijection with certain structured subsets of covering relations. After an interlude developing a recursion for transfer systems on certain combinations of bounded posets, we apply these results to determine the full lattice of transfer systems for rank two elementary Abelian groups.
Higher Level Completeness for Permutation Polynomials
Generalising the concept of a complete permutation polynomial over a finite field, we define completness to level $k$ for $k\ge1$ in fields of odd characteristic. We construct two families of polynomials that satisfy the condition of high level completeness for all finite fields, and two more families complete to the maximum level a possible for large collection of finite fields.
Under the binary operation of composition of functions one family of polynomials is an abelian group isomorphic to the additive group, while the other is isomorphic to the multiplicative group.
Characterizations of $p$-groups whose power graphs satisfy certain connectivity conditions
Let $Γ$ be an undirected and simple graph. A set $ S $ of vertices in $Γ$ is called a {cyclic vertex cutset} of $Γ$ if $Γ- S$ is disconnected and has at least two components containing cycles. If $Γ$ has a cyclic vertex cutset, then it is said to be {cyclically separable}. The {cyclic vertex connectivity} of $Γ$ is the minimum of cardinalities of the cyclic vertex cutsets of $Γ$. The {power graph} $\mathcal{P}(G)$ of a group $G$ is the undirected and simple graph whose vertices are the elements $G$ and two vertices are adjacent if one of them is the power of other in $G$. In this paper, we first characterize the finite $ p $-groups ($p$ is a prime number) whose power graphs are cyclically separable in terms of their maximal cyclic subgroups. Then we characterize the finite $ p $-groups whose power graphs have equal vertex connectivity and cyclic vertex connectivity.
Coincidences between intervals in two partial orders on complex reflection groups
Published in J. Alg. 668 (2025), 278--307
• View Publication
• BIB
In a finite real reflection group, the reflection length of each element is equal to the codimension of its fixed space, and the two coincident functions determine a partial order structure called the absolute order. In complex reflection groups, the reflection length is no longer always equal to the codimension of fixed space, and the two functions give rise to two different partial orders on the group. We characterize the elements $w$ in the combinatorial family $G(m, p, n)$ of complex reflection groups for which the intervals below $w$ in these two posets coincide. We also explore the relationship between this property and other natural properties of elements in complex reflection groups; some general theory of posets arising from subadditive functions on groups; and the particular case of subadditive functions on the symmetric group.
Rational Catalan Numbers for Complex Reflection Groups
Assuming standard conjectures, we show that the canonical symmetrizing trace evaluated at powers of a Coxeter element produces rational Catalan numbers for irreducible spetsial complex reflection groups. This extends a technique used by Galashin, Lam, Trinh, and Williams to uniformly prove the enumeration of their noncrossing Catalan objects for finite Coxeter groups.
Torus quotients of Richardson varieties in $G_{r,qr+1}$
Let $r$ and $q$ be positive integers and $n=qr+1.$ Let $G = SL(n, \mathbb{C})$ and $T$ be a maximal torus of $G.$ Let $P^{α_r}$ be the maximal parabolic subgroup of $G$ corresponding to the simple root $α_r.$ Let $ω_r$ be the fundamental weight corresponding to $α_r.$ Let $W$ be the Weyl group of $G$ and $W_{P^{α_r}}$ be the Weyl group of $P^{α_r}.$ Let $W^{P^{α_r}}$ be the set of all minimal coset representatives of $W/W_{P^{α_r}}$ in $W.$ Let $w_{r,n}$ (respectively, $v_{r,n}$) be the minimal (respectively, maximal) element in $W^{P^{α_{r}}}$ such that $w_{r,n}(nω_r) \leq 0$ (respectively, $v_{r,n}(nω_r) \geq 0$). Let $v \leq v_{r,n}$ and $X^v_{w_{r,n}}$ be the Richardson variety in $G_{r,n}$ corresponding to $v$ and $w_{r,n}.$ In this article, we give a sufficient condition on $v$ such that the GIT quotient of $X^{v}_{w_{r,n}}$ for the action of $T$ is the product of projective spaces with respect to the descent of the line bundle $\mathcal{L}(nω_r).$
Transitive generalized toggle groups containing a cycle
In \cite{striker2018rowmotion} Striker generalized Cameron and Fon-Der-Flaass's notion of a toggle group. In this paper we begin the study of transitive generalized toggle groups that contain a cycle. We first show that if such a group has degree $n$ and contains a transposition or a 3-cycle then the group contains $A_n$. Using the result about transpositions, we then prove that a transitive generalized toggle group that contains a short cycle must be primitive. Employing a result of Jones \cite{jones2014primitive}, which relies on the classification of the finite simple groups, we conclude that any transitive generalized toggle group of degree $n$ that contains a cycle with at least 3 fixed points must also contain $A_n$. Finally, we look at imprimitive generalized toggle groups containing a long cycle and show that they decompose into a direct product of primitive generalized toggle groups each containing a long cycle.
On Faces and Hilbert Bases of Kostka Cones
Kostka coefficients appear in the representation theory of the general linear group and enumerate semistandard Young tableaux of fixed shape and content. The $r$-Kostka cone is the real polyhedral cone generated by pairs of partitions with at most $r$ parts, written as non-increasing $r$-tuples, such that the corresponding Kostka coefficient is nonzero. We provide several results showing that its faces have interesting structural and enumerative properties. We show that the $d$-faces of the $r$-Kostka cone can be determined from those of the $(3d+3)$-Kostka cone, allowing us to characterize its $2$-faces and enumerate its $d$-faces for $d \leq 4$. We provide tight asymptotics for the number of $d$-faces for arbitrary $d$ and determine the maximum number of extremal rays contained in a $d$-face for $d < r$. We then make progress towards a generalization of the Gao-Kiers-Orelowitz-Yong Width Bound on initial entries of partitions $(λ,μ)$ appearing in the Hilbert basis of the $λ_1$-Kostka cone. We show that at least $93.7\%$ of integer pairs $λ_1 \geq μ_1 > 0$ appear as the initial entries of partitions $(λ,μ)$ comprising a Hilbert basis element of the $r$-Kostka cone for every $r > λ_1$. We conclude with a conjecture about a curious $h$-vector phenomenon.
Detecting Graphical and Digraphical Regular Representations in groups of squarefree order
A necessary condition for a Cayley digraph Cay$(R,S)$ to be a regular representation is that there are no non-trivial group automorphisms of $R$ that fix $S$ setwise. A group is DRR-detecting or GRR-detecting if this condition is also sufficient for all Cayley digraphs or graphs on the group, respectively. In this paper, we determine precisely which groups of squarefree order are DRR-detecting, and which are GRR-detecting.
Cohen-Macaulayness of Total Simplicial Complexes
We first construct the total simplicial complex (TSC) of a finite simple graph $G$ in order to generalize the total graph $T(G)$. We show that $Δ_T(G)$ is not Cohen-Macaulay (CM) in general. For a connected graph $G$, we prove that the TSC is Buchsbaum. We demonstrate that the vanishing of first homology group of TSC associated to a connected graph $G$ is both a necessary and sufficient condition for it to be CM. We find the primary decomposition of the TSC associated to a family of friendship graphs $F_{5n+1}$ and prove it to be CM.
On subgroups of finite classical groups with exactly two orbits on singular or isotropic points
In this paper, we classify the groups of semisimilarities of finite classical polar spaces with exactly two orbits on the singular or isotropic points. As a byproduct, we obtain many highly symmetric regular sets in the point graphs of finite classical polar spaces.
Local recognition of the point graphs of some Lie incidence geometries
Given a finite Lie incidence geometry which is either a polar space of rank at least $3$ or a strong parapolar space of symplectic rank at least $4$ and diameter at most $4$, or the parapolar space arising from the line Grassmannian of a projective space of dimension at least $4$, we show that its point graph is determined by its local structure. This follows from a more general result which classifies graphs whose local structure can vary over all local structures of the point graphs of the aforementioned geometries. In particular, this characterises the strongly regular graphs arising from the line Grassmannian of a finite projective space, from the half spin geometry related to the quadric $Q^+(10,q)$ and from the exceptional group of type $\mathsf{E_6}(q)$ by their local structure.
A Note on Eigenvalues of Cayley Graphs
Published
• View Publication
• BIB
A graph is called integral if all its eigenvalues are integers. A Cayley graph is called normal if its connection set is a union of conjugacy classes. We show that a non-empty integral normal Cayley graph for a group of odd order has an odd eigenvalue.
A 1.431-Competitive Algorithm for Combinatorial Group Testing
In the context of fault-detection problems, the objective is to identify all defective items among a set of $n$ binary-state items using the minimum number of tests. The {group testing} paradigm, which allows testing a subset of items in a single test, serves as a fundamental technique for efficiently classifying large populations. We study a central problem in the combinatorial group testing model where the number $d$ of defective items is unknown in advance. Let $M_α(d|n)$ denote the maximum number of tests required by an algorithm $α$ for this problem, and $M(d,n)$ denote the minimum number of tests required in the worst case when $d$ is known in advance. An algorithm $α$ is called a $c$-\emph{competitive algorithm} if there exist constants $c$ and $a$ such that, for $0\le d < n$, $M_α(d|n)\le cM(d,n)+a$. We design a new adaptive algorithm with a competitive constant $c \le 1.431$, thus pushing the competitive ratio below the best-known one of $1.452$. To achieve this, we propose a novel solution framework based on an unexplored up-zig-zag strategy and a studied strongly competitive algorithm.
Integer diagonal forms for subset intersection relations
For integers $0 \leq \ell \leq k_{r} \leq k_{c} \leq n$, we give a description for the Smith group of the incidence matrix with rows (columns) indexed by the size $k_r$ ($k_c$, respectively) subsets of an $n$-element set, where incidence means intersection in a set of size $\ell$. This generalizes work of Wilson and Bier from the 1990s which dealt only with the case where incidence meant inclusion. Our approach also describes the Smith group of any matrix in the $\mathbb{Z}$-linear span of these matrices so includes all integer matrices in the Bose-Mesner algebra of the Johnson association scheme: for example, the association matrices themselves as well as the Laplacian, signless Laplacian, Seidel adjacency matrix, etc. of the associated graphs. In particular, we describe the critical (also known as sandpile) groups of these graphs. The complexity of our formula grows with the parameters $k_{r}$ and $k_{c}$, but is independent of $n$ and $\ell$, which often leads to an efficient algorithm for computing these groups. We illustrate our techniques to give diagonal forms of matrices attached to the Kneser and Johnson graphs for subsets of size $3$, whose invariants have never before been described, and recover results from a variety of papers in the literature in a unified way.
Geometry of unimodular systems
A collection of vectors in a real vector space is called a unimodular system if any of its maximal linearly independent subsets generates the same free abelian group. This notion is closely connected with totally unimodular matrices: rows or columns of a totally unimodular matrix form a unimodular system and the matrix of coefficients of expansions of all vectors of a unimodular system with respect to its maximal linearly independent subset is totally unimodular.
In this paper we show that a unimodular system defines the following geometric data: a Euclidean space, an integral lattice in it, and a reflexive lattice zonotope. The discriminant of the lattice is equal to the number of maximal linearly independent subsystems, and we call this number the complexity of the unimodular system. For a unimodular system $Ω$ we also define the Gale dual unimodular system $Ω^{\bot}$ which has the same complexity. These notions may be illustrated by the well-known graphic and cographic unimodular systems of a graph. Both graphic and cographic unimodular systems have the same complexity which is equal to the complexity of the graph. For graphs without loops and bridges the graphic and the cographic unimodular systems are Gale dual to each other.
We describe this geometric data for certain examples: for the graphic and the cographic unimodular systems of a generalized theta-graph, consisting of two vertices connected by $N$ edges, for the cographic system of the complete graph $K_N$, and for the famous Bixby-Seymour unimodular system, which is neither graphic nor cographic.
Full runner removal theorem for Ariki-Koike algebras
We consider the representation theory of the Ariki-Koike algebra, a $q$-deformation of the group algebra of the complex reflection group $C_r \wr S_n$. We define the addition of a runner full of beads for the abacus display of a multipartition and investigate some combinatorial properties of this operation. We focus our attention on the $q$-decomposition numbers, i.e. the polynomials arising from the Fock space representation of the quantum group $U_q(\widehat{\mathfrak{sl}}_e)$. Using Fayers' LLT-type algorithm for Ariki-Koike algebras, we relate $q$-decomposition numbers for different values of $e$ for the class of $e$-multiregular multipartitions, by adding a full runner of beads to each component of the abacus displays for the labelling multipartitions.
Heights of one- and two-sided congruence lattices of semigroups
Published in Pacific J. Math. 333 (2024) 17-57
• View Publication
• BIB
The height of a poset $P$ is the supremum of the cardinalities of chains in $P$. The exact formula for the height of the subgroup lattice of the symmetric group $\mathcal{S}_n$ is known, as is an accurate asymptotic formula for the height of the subsemigroup lattice of the full transformation monoid $\mathcal{T}_n$. Motivated by the related question of determining the heights of the lattices of left- and right congruences of $\mathcal{T}_n$, we develop a general method for computing the heights of lattices of both one- and two-sided congruences for semigroups. We apply this theory to obtain exact height formulae for several monoids of transformations, matrices and partitions, including: the full transformation monoid $\mathcal{T}_n$, the partial transformation monoid $\mathcal{PT}_n$, the symmetric inverse monoid $\mathcal{I}_n$, the monoid of order-preserving transformations $\mathcal{O}_n$, the full matrix monoid $\mathcal{M}(n,q)$, the partition monoid $\mathcal{P}_n$, the Brauer monoid $\mathcal{B}_n$ and the Temperley-Lieb monoid $\mathcal{TL}_n$.