group
10226 papers tagged with this keyword
The non-$\ell$-part of the number of spanning trees in abelian $\ell$-towers of multigraphs
Published
• View Publication
• BIB
Let $\ell$ and $p$ be two distinct primes. We study the $p$-adic valuation of the number of spanning trees in an abelian $\ell$-tower of connected multigraphs. This is analogous to the classical theorem of Washington--Sinnott on the growth of the $p$-part of the class group in a cyclotomic $\mathbb{Z}_\ell$-extension of abelian extensions of $\mathbb{Q}$. Furthermore, we show that under certain hypotheses, the number of primes dividing the number of spanning trees is unbounded in such a tower.
Orientably-Regular $p$-Maps and Regular $p$-Maps
Published
• View Publication
• BIB
A map is called a {\it $p$-map} if it has a prime $p$-power vertices.
An orientably-regular (resp. A regular ) $p$-map is called {\it solvable} if the group $G^+$ of all orientation-preserving automorphisms (resp. the group $G$ of automorphisms) is solvable; and called {\it normal} if $G^+$ (resp. $G$) contains the normal Sylow $p$-subgroup.
In this paper, it will be proved that both orientably-regular $p$-maps and regular $p$-maps are solvable and except for few cases that $p\in \{2, 3\}$, they are normal.
Moreover, nonnormal $p$-maps will be characterized and some properties and constructions of normal $p$-maps will be given.
Cubic Graphical Regular Representations of $\mathrm{PSU}_3(q)$
Published
• View Publication
• BIB
A graphical regular representation (GRR) of a group $G$ is a Cayley graph of $G$ whose full automorphism group is equal to the right regular permutation representation of $G$. Towards a proof of the conjecture that only finitely many finite simple groups have no cubic GRR, this paper shows that $\mathrm{PSU}_3(q)$ has a cubic GRR if and only if $q\geq4$. Moreover, a cubic GRR of $\mathrm{PSU}_3(q)$ is constructed for each of these $q$.
Negative Latin Square Type Partial Difference Sets in Nonabelian Groups of Order 64
Published
• View Publication
• BIB
There exist few examples of negative Latin square type partial difference sets (NLST PDSs) in nonabelian groups. We present a list of 176 inequivalent NLST PDSs in 48 nonisomorphic, nonabelian groups of order 64. These NLST PDSs form 8 nonisomorphic strongly regular graphs. These PDSs were constructed using a combination of theoretical techniques and computer search, both of which are described. The search was run exhaustively on 212/267 nonisomorphic groups of order 64.
Khintchine-type recurrence for 3-point configurations
Published in Forum of Mathematics, Sigma , Volume 10 , 2022
• View Publication
• BIB
The goal of this paper is to generalize, refine, and improve results on large intersections. We show that if $G$ is a countable abelian group and $\varphi, ψ: G \to G$ are homomorphisms such that at least two of the three subgroups $\varphi(G)$, $ψ(G)$, and $(ψ-\varphi)(G)$ have finite index in $G$, then $\{\varphi, ψ\}$ has the \emph{large intersections property}. That is, for any ergodic measure preserving system $X=(X,\mathcal{X},μ,(T_g)_{g\in G})$, any $A\in\mathcal{X}$, and any $\varepsilon>0$, the set $$\{g\in G : μ(A\cap T_{\varphi(g)}^{-1} A\cap T_{ψ(g)}^{-1}A)>μ(A)^3-\varepsilon\}$$ is syndetic. Moreover, in the special case where $\varphi(g)=ag$ and $ψ(g)=bg$ for $a,b\in\mathbb{Z}$, we show that we only need one of the groups $aG$, $bG$, or $(b-a)G$ to be of finite index in $G$, and we show that the property fails in general if all three groups are of infinite index. One particularly interesting case is where $G=(\mathbb{Q}_{>0},\cdot)$ and $\varphi(g)=g$, $ψ(g)=g^2$, which leads to a multiplicative version for the large intersection result of Bergelson-Host-Kra. We also completely characterize the pairs of homomorphisms $\varphi,ψ$ that have the large intersections property when $G=\mathbb{Z}^2$. The proofs of our main results rely on analysis of the structure of the \emph{universal characteristic factor} for the multiple ergodic averages $$\frac{1}{|Φ_N|} \sum_{g\in Φ_N}T_{\varphi(g)}f_1\cdot T_{ψ(g)} f_2.$$ In the case where $G$ is finitely-generated, the characteristic factor for such averages is the \emph{Kronecker factor}. In this paper, we study actions of groups that are not necessarily finitely-generated, showing in particular that by passing to an extension of $X$, one can describe the characteristic factor in terms of the \emph{Conze--Lesigne factor} and the $σ$-algebras of $\varphi(G)$ and $ψ(G)$ invariant functions.
{T}he Gröbner Basis of a Catalan Path Ideal
Published
• View Publication
• BIB
For the ideal $I = \langle y_1 + \dots + y_n, y^2_1, \dots , y^2_n \rangle$ in $R = {\mathbb F}[y_1, \dots , y_n]$ with char($\mathbb F$) = 0, we show that the reduced Gröbner basis with lex-order consists of polynomials $g_α$ that are represented in terms of paths, moving northeast in the Cartesian plane, that stay above the diagonal and cross the diagonal at the last step. This implies that a linear basis for the quotient ring $R/I$ is given by a set of Catalan paths. We show that the dimension is the number of standard Young tableaux of size $n$ and height at most two. The graded Frobenius characteristic of $R/I$ as a symmetric group module is given by
$\sum_{k=0}^{\lfloor \frac{n}{2} \rfloor } s_{n-k,k}q^k$.
From Cauchy's determinant formula to bosonic and fermionic immanant identities
Published in European Journal of Combinatorics 110 (2023), art. # 103683, 16 pp
• View Publication
• BIB
Cauchy's determinant formula (1841) involving $\det ((1-u_i v_j)^{-1})$ is a fundamental result in symmetric function theory. It has been extended in several directions, including a determinantal extension by Frobenius [J. reine angew. Math. 1882] involving a sum of two geometric series in $u_i v_j$. This theme also resurfaced in a matrix analysis setting in a paper by Horn [Trans. Amer. Math. Soc. 1969] - where the computations are attributed to Loewner - and in recent works by Belton-Guillot-Khare-Putinar [Adv. Math. 2016] and Khare-Tao [Amer. J. Math. 2021]. These formulas were recently unified and extended in [Trans. Amer. Math. Soc. 2022] to arbitrary power series, with commuting/bosonic variables $u_i, v_j$.
In this note we formulate analogous permanent identities, and in fact, explain how all of these results are a special case of a more general identity, for any character - in fact, any complex class function - of any finite group that acts on the bosonic variables $u_i$ and on the $v_j$ via signed permutations. (We explain why larger linear groups do not work, via a - perhaps novel - "symmetric function" characterization of signed permutation matrices that holds over any integral domain.) We then provide fermionic analogues of these formulas, as well as of the closely related Cauchy product identities.
CI-property of $C_p^2 \times C_n$ and $C_p^2 \times C_q^2$ for digraphs
We prove that the direct product of two coprime order elementary abelian groups of rank two, as well as the direct product of a cyclic group of prime order and a cyclic group of square free order are DCI-groups. The latter is a generalization of Muzychuk's result on cyclic groups (J. Combin. Theory Ser. A, 1995).
On the intersection ideal graph of semigroups
Published
• View Publication
• BIB
The intersection ideal graph $Γ(S)$ of a semigroup $S$ is a simple undirected graph whose vertices are all nontrivial left ideals of $S$ and two distinct left ideals $I, J$ are adjacent if and only if their intersection is nontrivial. In this paper, we investigate the connectedness of $Γ(S)$. We show that if $Γ(S)$ is connected then $diam(Γ(S)) \leq 2$. Further we classify the semigroups such that the diameter of their intersection graph is two. Other graph invariants, namely perfectness, planarity, girth, dominance number, clique number, independence number etc. are also discussed. Finally, if $S$ is union of $n$ minimal left ideals then we obtain the automorphism group of $Γ(S)$.
A Note on the Rank 5 Polytopes of M24
Published
• View Publication
• BIB
The maximal rank of an abstract regular polytope for M24, the Mathieu group of degree 24, is 5. There are four such polytopes of rank 5 and in this note we describe them using Curtis's MOG. This description is then used to give an upper bound for the diameter of the chamber graphs of these polytopes.
Graphs with convex balls
Published in Geometriae Dedicata 217, 67 (2023)
• View Publication
• BIB
In this paper, we investigate the graphs in which all balls are convex and the groups acting on them geometrically (which we call CB-graphs and CB-groups). These graphs have been introduced and characterized by Soltan and Chepoi (1983) and Farber and Jamison (1987). CB-graphs and CB-groups generalize systolic (alias bridged) and weakly systolic graphs and groups, which play an important role in geometric group theory.
We present metric and local-to-global characterizations of CB-graphs. Namely, we characterize CB-graphs $G$ as graphs whose triangle-pentagonal complexes $X(G)$ are simply connected and balls of radius at most $3$ are convex. Similarly to systolic and weakly systolic graphs, we prove a dismantlability result for CB-graphs $G$: we show that their squares $G^2$ are dismantlable. This implies that the Rips complexes of CB-graphs are contractible. Finally, we adapt and extend the approach of Januszkiewicz and Swiatkowski (2006) for systolic groups and of Chalopin et al. (2020) for Helly groups, to show that the CB-groups are biautomatic.
Block-transitive two-designs based on grids
Published
• View Publication
• BIB
We study point-block incidence structures $(\mathcal{P},\mathcal{B})$ for which the point set $\mathcal{P}$ is an $m\times n$ grid. Cameron and the fourth author showed that each block $B$ may be viewed as a subgraph of a complete bipartite graph $\mathbf{K}_{m,n}$ with bipartite parts (biparts) of sizes $m, n$. In the case where $\mathcal{B}$ consists of all the subgraphs isomorphic to $B$, under automorphisms of $\mathbf{K}_{m,n}$ fixing the two biparts, they obtained necessary and sufficient conditions for $(\mathcal{P},\mathcal{B})$ to be a $2$-design, and to be a $3$-design. We first re-interpret these conditions more graph theoretically, and then focus on square grids, and designs admitting the full automorphism group of $\mathbf{K}_{m,m}$. We find necessary and sufficient conditions, again in terms of graph theoretic parameters, for these incidence structures to be $t$-designs, for $t=2, 3$, and give infinite families of examples illustrating that block-transitive, point-primitive $2$-designs based on grids exist for all values of $m$, and flag-transitive, point-primitive examples occur for all even $m$. This approach also allows us to construct a small number of block-transitive $3$-designs based on grids.
Liftable automorphisms of right-angled Artin groups
Published
• View Publication
• BIB
Given a regular covering map $\varphi:Λ\to Γ$ of graphs, we investigate the subgroup $\operatorname{LAut}(\varphi)$ of the automorphism group $\operatorname{Aut}(A_Γ)$ of the right-angled Artin group $A_Γ$. This subgroup comprises all automorphisms that can be lifted to automorphisms of $A_Λ$. We first show that $\operatorname{LAut}(\varphi)$ is generated by a finite subset of Laurence's elementary automorphisms.
For the subgroup $\operatorname{FAut}(\varphi)$ of $\operatorname{Aut}(A_Λ)$, which consists of lifts of automorphisms in $\operatorname{LAut}(\varphi)$, there exists a natural homomorphism $\operatorname{FAut}(\varphi)\to\operatorname{LAut}(\varphi)$ induced by $\varphi$. We then show that the kernel of this homomorphism is virtually a subgroup of the Torelli subgroup $\operatorname{IA}(A_Λ)$ and deduce a short exact sequence reminiscent of results from the Birman--Hilden theory for surfaces.
String $C$-groups with real Schur index $2$
Published
• View Publication
• BIB
We give examples of finite string $C$-groups (the automorphism groups of abstract regular polytopes) that have irreducible characters of real Schur index $2$. This answers a problem of Monson concerning these groups.
From the lattice of torsion classes to the posets of wide subcategories and ICE-closed subcategories
Published
• View Publication
• BIB
In this paper, we compute the posets of wide subcategories and ICE-closed subcategories from the lattice of torsion classes in an abelian length category in a purely lattice-theoretical way, by using the kappa map in a completely semidistributive lattice. As for the poset of wide subcategories, we give two more simple constructions via a bijection between wide subcategories and torsion classes with canonical join representations. More precisely, for a completely semidistributive lattice, we give two poset structures on the set of elements with canonical join representations: the kappa order (defined using the extended kappa map of Barnard--Todorov--Zhu), and the core label order (generalizing the shard intersection order for congruence-uniform lattices). Then we show that these posets for the lattice of torsion classes coincide and are isomorphic to the poset of wide subcategories. As a byproduct, we give a simple description of the shard intersection order on a finite Coxeter group using the extended kappa map.
On the symmetric group action on rigid disks on a strip
Published
• View Publication
• BIB
In this paper we decompose the rational homology of the ordered configuration space of $p$ open unit-diameter disks on the infinite strip of width $2$ as a direct sum of induced $S_{n}$-representations. Alpert proved that the $k^{\text{th}}$-integral homology of the ordered configuration space of $n$ open unit-diameter disks on the infinite strip of width $2$ is an FI$_{k+1}$-module by studying certain operations on homology called "high-insertion maps." The integral homology groups $H_{k}(\text{cell}(n,2))$ are free abelian, and Alpert computed a basis for $H_{k}(\text{cell}(n,2))$ as an abelian group. In this paper, we study the rational homology groups as $S_{n}$-representations. We find a new basis for $H_{k}(\text{cell}(n,2);\mathbb{Q}),$ and use this, along with results of Ramos, to give an explicit description of $H_{k}(\text{cell}(n,2);\mathbb{Q})$ as a direct sum of induced $S_{n}$-representations arising from free FI$_{*}$-modules. We use this decomposition to calculate the dimension of the rational homology of the unordered configuration space of $p$ open unit-diameter disks on the infinite strip of width $2$.
Perfect models for finite Coxeter groups
Published in J. Pure Appl. Algebra 227 (2023), 107303
• View Publication
• BIB
A model for a finite group is a set of linear characters of subgroups that can be induced to obtain every irreducible character exactly once. A perfect model for a finite Coxeter group is a model in which the relevant subgroups are the quasiparabolic centralizers of perfect involutions. In prior work, we showed that perfect models give rise to interesting examples of $W$-graphs. Here, we classify which finite Coxeter groups have perfect models. Specifically, we prove that the irreducible finite Coxeter groups with perfect models are those of types $\mathsf{A}_{n}$, $\mathsf{B}_n$, $\mathsf{D}_{2n+1}$, $\mathsf{H}_3$, or $\mathsf{I}_2(n)$. We also show that up to a natural form of equivalence, outside types $\mathsf{A}_3$, $\mathsf{B}_n$, and $\mathsf{H}_3$, each irreducible finite Coxeter group has at most one perfect model. Along the way, we also prove a technical result about representations of finite Coxeter groups, namely, that induction from standard parabolic subgroups of corank at least two is never multiplicity-free.
Constructions of Sarvate-Beam Group Divisible Designs
Published
• View Publication
• BIB
A balanced incomplete block design is a set system in which all pairs of distinct elements occur with a constant frequency. By contrast, a Sarvate-Beam design induces an interval of distinct frequencies on pairs. In this paper, we settle the existence of a Sarvate-Beam variant of group divisible designs of uniform type with block size three.
HS-integral and Eisenstein integral mixed Cayley graphs over abelian groups
Published
• View Publication
• BIB
A mixed graph is called \emph{second kind hermitian integral}(or \emph{HS-integral}) if the eigenvalues of its Hermitian-adjacency matrix of second kind are integers. A mixed graph is called \emph{Eisenstein integral} if the eigenvalues of its (0, 1)-adjacency matrix are Eisenstein integers. Let $Γ$ be an abelian group. We characterize the set $S$ for which a mixed Cayley graph $\text{Cay}(Γ, S)$ is HS-integral. We also show that a mixed Cayley graph is Eisenstein integral if and only if it is HS-integral.
Invariant metrics on finite groups
We study invariant and bi-invariant metrics on groups focusing on finite groups $G$. We show that non-equivalent (bi) invariant metrics on $G$ are in 1-1 correspondence with unitary symmetric (conjugate) partitions on $G$. To every metric group $(G,d)$ we associate to it the symmetry group and the weighted graph of distances. Using these objects we can classify all equivalence classes of invariant and bi-invariant metrics for small groups. We then study the number of non-equivalent invariant and bi-invariant metrics on $G$. We give an expression for the number of such metrics in terms of Bell numbers, with closed expressions for certain groups such as abelian, dihedral, quasidihedral and dicyclic groups. We then characterize all the groups (finite or not) in which every invariant metric is also bi-invariant. We give the number of non-equivalent invariant and bi-invariant metrics for all the groups of order up to 32.