group
10226 papers tagged with this keyword
Counting compatible indexing systems for $C_{p^n}$
Published
• View Publication
• BIB
We count the number of compatible pairs of indexing systems for the cyclic group $C_{p^n}$. Building on work of Balchin--Barnes--Roitzheim, we show that this sequence of natural numbers is another family of Fuss--Catalan numbers. We count this two different ways: showing how the conditions of compatibility give natural recursive formulas for the number of admissible sets and using an enumeration of ways to extend indexing systems by conceptually simpler pieces.
A nonlinear bound for the number of subsequence sums
Published
• View Publication
• BIB
We show that a finite zero-sum-free sequence $α$ over an abelian group has at least $c|α|^{4/3}$ distinct subsequence sums, unless $α$ is "controlled" by a small number of its terms; here $|α|$ denotes the number of terms of $α$, and $c>0$ is an absolute constant.
Signed Difference Sets
Published
• View Publication
• BIB
A $(v,k,λ)$ difference set in a group $G$ of order $v$ is a subset $\{d_1, d_2, \ldots,d_k\}$ of $G$ such that $D=\sum d_i$ in the group ring $\mathbb{Z}[G]$ satisfies $$D D^{-1} = n + λG,$$ where $n=k-λ$. If $D=\sum s_i d_i$, where the $s_i \in \{ \pm 1\}$, satisfies the same equation, we will call it a signed difference set.
This generalizes both difference sets (all $s_i=1$) and circulant weighing matrices ($G$ cyclic and $λ=0$). We will show that there are other cases of interest, and give some results on their existence.
Linear extensions and shelling orders
Published
• View Publication
• BIB
We prove that linear extensions of the Bruhat order of a matroid are shelling orders and that the barycentric subdivision of a matroid is a Coxeter matroid, viewing barycentric subdivisions as subsets of a parabolic quotient of a symmetric group. A similar result holds for order ideals in minuscule quotients of symmetric groups and in their barycentric subdivisions. Moreover, we apply promotion and evacuation for labeled graphs of Malvenuto and Reutenauer to dual graphs of simplicial complexes, providing promotion and evacuation of shelling orders.
Flag-transitive symmetric $2$-designs]{The symmetric $2$-$(v,k,λ)$ designs, with $k>λ\left(λ-3 \right)/2$, admitting a flag-transitive, point imprimitive automorphism group are known
Published
• View Publication
• BIB
The symmetric $2$-$(v,k,λ)$ designs, with $k>λ\left(λ-3 \right)/2$, admitting a flag-transitive, point-imprimitive automorphism group are completely classified: they are the known $2$-designs with parameters $(16,6,2),(45,12,3),(15,8,4)$ or $(96,20,4)$.
An Adjacency Matrix Perspective of Talented Monoids and Leavitt Path Algebras
Published
• View Publication
• BIB
In this article we establish relationships between Leavitt path algebras, talented monoids and the adjacency matrices of the underlying graphs. We show that indeed the adjacency matrix generates in some sense the group action on the generators of the talented monoid. With the help of this we deduce a form of the aperiodicity index of a graph via the talented monoid. We classify hereditary and saturated subsets via the adjacency matrix. Moreover we give a formula to compute all paths of a given length in a Leavitt path algebra based on the adjacency matrix. In addition we discuss the number of cycles in a graph. In particular we give an equivalent characterization of acylic graphs via the adjacency matrix, the talented monoid and the Leavitt path algebra.
The Birkhoff polytope of the groups $\mathsf{F}_4$ and $\mathsf{H}_4$
We compute the set of facets of the polytope which is the convex hull of the Coxeter groups $\mathsf{F}_4$ or $\mathsf{H}_4$: For the group $\mathsf{F}_4$ we found $2$ orbits of facets which contradicts previous results published in \cite{birkhoff}. For the group $\mathsf{H}_4$ we found $1063$ orbits of facets which provides a counterexample to the conjecture of \cite{birkhoff}.
A class of highly symmetric Archdeacon embeddings
Archdeacon, in his seminal paper $[1]$, defined the concept of Heffter array to provide explicit constructions of biembeddings of the complete graph $K_v$ into orientable surfaces, the so-called Archdeacon embeddings, and proved that these embeddings are $\mathbb{Z}_{v}$-regular.
In this paper, we show that an Archdeacon embedding may admit an automorphism group that is strictly larger than $\mathbb{Z}_{v}$. Indeed, as an application of the interesting class of arrays recently introduced by Buratti in $[2]$, we exhibit, for infinitely many values of $v$, an embedding of this type having full automorphism group of size ${v \choose 2}$ that is the largest possible one.
Brauer's Group Equivariant Neural Networks
We provide a full characterisation of all of the possible group equivariant neural networks whose layers are some tensor power of $\mathbb{R}^{n}$ for three symmetry groups that are missing from the machine learning literature: $O(n)$, the orthogonal group; $SO(n)$, the special orthogonal group; and $Sp(n)$, the symplectic group. In particular, we find a spanning set of matrices for the learnable, linear, equivariant layer functions between such tensor power spaces in the standard basis of $\mathbb{R}^{n}$ when the group is $O(n)$ or $SO(n)$, and in the symplectic basis of $\mathbb{R}^{n}$ when the group is $Sp(n)$.
Connecting Permutation Equivariant Neural Networks and Partition Diagrams
Published
• View Publication
• BIB
Permutation equivariant neural networks are often constructed using tensor powers of $\mathbb{R}^{n}$ as their layer spaces. We show that all of the weight matrices that appear in these neural networks can be obtained from Schur-Weyl duality between the symmetric group and the partition algebra. In particular, we adapt Schur-Weyl duality to derive a simple, diagrammatic method for calculating the weight matrices themselves.
On tetravalent half-arc-transitive graphs of girth 5
A subgroup of the automorphism group of a graph $\G$ is said to be {\em half-arc-transitive} on $\G$ if its action on $\G$ is transitive on the vertex set of $\G$ and on the edge set of $\G$ but not on the arc set of $\G$. Tetravalent graphs of girths $3$ and $4$ admitting a half-arc-transitive group of automorphisms have previously been characterized. In this paper we study the examples of girth $5$. We show that, with two exceptions, all such graphs only have directed $5$-cycles with respect to the corresponding induced orientation of the edges. Moreover, we analyze the examples with directed $5$-cycles, study some of their graph theoretic properties and prove that the $5$-cycles of such graphs are always consistent cycles for the given half-arc-transitive group. We also provide infinite families of examples, classify the tetravalent graphs of girth $5$ admitting a half-arc-transitive group of automorphisms relative to which they are tightly-attached and classify the tetravalent half-arc-transitive weak metacirculants of girth $5$.
On the Difference Graph of power graphs of finite groups
Published
• View Publication
• BIB
The power graph of a finite group $G$ is a simple undirected graph with vertex set $G$ and two vertices are adjacent if one is a power of the other. The enhanced power graph of a finite group $G$ is a simple undirected graph whose vertex set is the group $G$ and two vertices $a$ and $b$ are adjacent if there exists $c \in G$ such that both $a$ and $b$ are powers of $c$. In this paper, we investigate the difference graph $\mathcal{D}(G)$ of a finite group $G$, which is the difference of the enhanced power graph and the power graph of $G$ with all isolated vertices removed. We study the difference graphs of finite groups with forbidden subgraphs among other results. We first characterize an arbitrary finite group $G$ such that $\mathcal{D}(G)$ is a chordal graph, star graph, dominatable, threshold graph, and split graph. From this, we conclude that the latter four graph classes are equivalent for $\mathcal{D}(G)$. By applying these results, we classify the nilpotent groups $G$ such that $\mathcal{D}(G)$ belong to the aforementioned five graph classes. This shows that all these graph classes are equivalent for $\mathcal{D}(G)$ when $G$ is nilpotent. Then, we characterize the nilpotent groups whose difference graphs are cograph, bipartite, Eulerian, planar, and outerplanar. Finally, we consider the difference graph of non-nilpotent groups and determine the values of $n$ such that the difference graphs of the symmetric group $S_n$ and alternating group $A_n$ are cograph, chordal, split, and threshold.
Positive curvature, torus symmetry, and matroids
Published in J. Eur. Math. Soc. (JEMS), 2025
• View Publication
• BIB
We identify a link between regular matroids and torus representations all of whose isotropy groups have an odd number of components. Applying Seymour's 1980 classification of the former objects, we obtain a classification of the latter. In addition, we prove optimal upper bounds for the cogirth of regular matroids up to rank nine, and we apply this to prove the existence of fixed-point sets of circles with large dimension in a torus representation with this property up to rank nine. Finally, we apply these results to prove new obstructions to the existence of Riemannian metrics with positive sectional curvature and torus symmetry.
Polyharmonic Functions in the Quarter Plane
Published
• View Publication
• BIB
While discrete harmonic functions have been objects of interest for quite some time, this is not the case for discrete polyharmonic functions, as appear for instance in the asymptotics of path counting problems. In this article, a novel method to compute all discrete polyharmonic functions in the quarter plane for non-singular models with small steps and zero drift is proposed. In case of a finite group, an alternative method using decoupling functions is given, which often leads to a basis consisting of rational functions. In a similar manner one can obtain polyharmonic functions in the continuous setting, and convergence between the discrete and continuous cases is proven. Lastly, using a concrete example it is shown why the decoupling approach seems not to work in the infinite group case.
Universal characters twisted by roots of unity
Published in Algebr. Comb. 6 (2023), no. 6, 1653-1676
• View Publication
• BIB
A classical result of Littlewood gives a factorisation for the Schur function at a set of variables "twisted" by a primitive $t$-th root of unity, characterised by the core and quotient of the indexing partition. While somewhat neglected, it has proved to be an important tool in the character theory of the symmetric group, the cyclic sieving phenomenon, plethysms of symmetric functions and more. Recently, similar factorisations for the characters of the groups $\mathrm{O}(2n,\mathbb{C})$, $\mathrm{Sp}(2n,\mathbb{C})$ and $\mathrm{SO}(2n+1,\mathbb{C})$ were obtained by Ayyer and Kumari. We lift these results to the level of universal characters, which has the benefit of making the proofs simpler and the structure of the factorisations more transparent. Our approach also allows for universal character extensions of some factorisations of a different nature originally discovered by Ciucu and Krattenthaler, and generalised by Ayyer and Behrend.
Rotation groups, mediangle graphs, and periagroups: a unified point of view on Coxeter groups and graph products of groups
In this article, we introduce rotation groups as a common generalisation of Coxeter groups and graph products of groups (including right-angled Artin groups). We characterise algebraically these groups by presentations (periagroups) and we propose a combinatorial geometry (mediangle graphs) to study them. As an application, we give natural and unified proofs for several results that hold for both Coxeter groups and graph products of groups.
Positivity of Sylow branching coefficients of symmetric groups
Published
• View Publication
• BIB
In this article we investigate the positivity of Sylow branching coefficients for symmetric groups when $p = 3$. In particular, we complete the discussion begun by Giannelli and the author in arXiv:1712.02642 (J. Algebra) and developed in arXiv:1909.09446 (J. London Math. Soc.) concerning the case of odd primes.
A graphical description of the BNS-invariants of Bestvina-Brady groups and the RAAG recognition problem
Published
• View Publication
• BIB
A finitely presented Bestvina-Brady group (BBG) admits a presentation involving only commutators. We show that if a graph admits a certain type of spanning trees, then the associated BBG is a right-angled Artin group (RAAG). As an application, we obtain that the class of BBGs contains the class of RAAGs. On the other hand, we provide a criterion to certify that certain finitely presented BBGs are not isomorphic to RAAGs (or more general Artin groups). This is based on a description of the Bieri-Neumann-Strebel invariants of finitely presented BBGs in terms of separating subgraphs, analogous to the case of RAAGs. As an application, we characterize when the BBG associated to a 2-dimensional flag complex is a RAAG in terms of certain subgraphs.
Sym-Noetherianity for powers of GL-varieties
Published
• View Publication
• BIB
Much recent literature concerns finiteness properties of infinite-dimensional algebraic varieties equipped with an action of the infinite symmetric group, or of the infinite general linear group. In this paper, we study a common generalisation in which the product of both groups acts on infinite-dimensional spaces, and we show that these spaces are topologically Noetherian with respect to this action.
A closure operator on the subgroup lattice of $\mathrm{GL}(n,q)$ and $\mathrm{PGL}(n,q)$ in relation to the zeros of the Möbius function
Published
• View Publication
• BIB
Let $\mathbb{F}_q$ be the finite field with $q$ elements and consider the $n$-dimensional $\mathbb{F}_q$-vector space $V=\mathbb{F}_q^n\,$. In this paper we define a closure operator on the subgroup lattice of the group $G = \mathrm{PGL}(V)$. Let $μ$ denote the Möbius function of this lattice. The aim is to use this closure operator to characterize subgroups $H$ of $G$ for which $μ(H,G)\neq 0$. Moreover, we establish a polynomial bound on the number $c(m)$ of closed subgroups $H$ of index $m$ in $G$ for which the lattice of $H$-invariant subspaces of $V$ is isomorphic to a product of chains. This bound depends only on $m$ and not on the choice of $n$ and $q$. It is achieved by considering a similar closure operator for the subgroup lattice of $\mathrm{GL}(V)$ and the same results proven for this group.