group
10226 papers tagged with this keyword
Cayley graphs on symmetric groups generated by $n$-cycles are hyperenergetic
Let $Γ$ be a simple graph with $n$ vertices. The energy of $Γ$, denoted by $\mathcal{E}(Γ)$, is defined as the sum of the absolute values of the eigenvalues of $Γ$. The graph $Γ$ is said to be hyperenergetic if $\mathcal{E}(Γ)>2n-2$. For the graph $Γ$, the multiplicity of the eigenvalue $0$, denoted by $η(Γ)$, is called the nullity of $Γ$. In this paper, we show that for every positive integer $n\geq 4$, the Cayley graph $Γ_n$ on the symmetric group $\mathrm{Sym}(n)$ generated by $n$-cycles is an integral hyperenergetic graph with $\mathcal{E}(Γ_n)=2^{n-1}(n-1)!$ and $η(Γ_n)=n!-\binom{2n-2}{n-1}$.
Oriented matroid structures on rank 3 root systems
We show that, given a rank 3 affine root system $Φ$ with Weyl group $W$, there is a unique oriented matroid structure on $Φ$ which is $W$-equivariant and restricts to the usual matroid structure on rank 2 subsystems. Such oriented matroids were called oriented matroid root systems in Dyer-Wang (2021), and are known to be non-unique in higher rank. We also show uniqueness for any finite root system or "clean" rank 3 root system (which conjecturally includes all rank 3 root systems).
Computing eulerian magnitude homology
In this paper tackle the problem of computing the ranks of certain eulerian magnitude homology groups of a graph G. First, we analyze the computational cost of our problem and prove that it is #W[1]-complete. Then we develop the first diagonal algorithm, a breadth-first-search-based algorithm parameterized by the diameter of the graph to calculate the ranks of the homology groups of interest. To do this, we leverage the close relationship between the combinatorics of the homology boundary map and the substructures appearing in the graph. We then discuss the feasibility of the presented algorithm and consider future perspectives.
Finding an Isomorphism between the Riordan Group and a Subgroup of the Double Riordan Group
The Riordan group is a set of infinite lower-triangular matrices defined by two generating functions, $g$ and $f$. The elements of the group are called Riordan arrays, denoted by $(g,f)$, and the $k$th column of a Riordan array is given by the function $gf^k$. The Double Riordan group is defined similarly using three generating functions $g$, $f_1$, and $f_2$, where $g$ is an even function and $f_1$ and $f_2$ are odd functions. This group generalizes the Checkerboard subgroup of the Riordan group, where $g$ is even and $f$ is odd. An open question posed by Davenport, Shapiro, and Woodson was if there exists an isomorphism between the Riordan group and a subgroup of the Double Riordan group. This question is answered in this article.
Abelian groups with 3-chromatic Cayley graphs
Let $G$ be an abelian group. The main theorem of this paper asserts that there exists a Cayley graph on $G$ with chromatic number 3 if and only if $G$ is not of exponent 1, 2, or 4. Although motivated by ideas from algebraic topology, our proof may be expressed purely combinatorially. As a by-product, we derive a topological result which is of independent interest. Suppose $X$ is a connected non-bipartite graph, and let $\mathcal N(X)$ denote its neighborhood complex. We show that if the fundamental group $π_1(\mathcal N(X))$ or first homology group $H_1(\mathcal N(X))$ is torsion, then the chromatic number of $X$ is at least 4. This strengthens a classical result of Lovász, which derives the same conclusion if $π_1(\mathcal N(X))$ is trivial.
Some open problems on Coxeter groups and unimodality
Published in in "Open Problems in Algebraic Combinatorics", (C. Berkesch, B. Brubaker, G. Musiker, P. Pylyavskyy, and V. Reiner, editors) Proceedings of Symposia in Pure Math., American Mathematical Society, Vol. 110 (2024), 23-37
• Search Publication
In this paper I present some open problems on Coxeter groups and unimodality, together with the main partial results, and computational evidence, that are known about them.
The quadric flat torus theorem
We prove a flat torus theorem for quadric complexes. In particular, we show that if a non-cyclic free abelian group $G$ acts metrically properly on a quadric complex $X$, then $G \cong \mathbb{Z}^2$ and $X$ contains a $G$-invariant isometric copy of the regular square tiling of the plane. Along the way, we also give a complete proof of the fact that any closed surface subgroup in the fundamental group of a combinatorial 2-complex is represented by a combinatorial map from a cellulation of the surface that is locally injective away from vertices.
An extension formula for right Bol loops arising from Bol reflections
Published
• View Publication
• BIB
We study a new extension formula for right Bol loops. We prove the necessary or sufficient conditions for the extension to be right Bol. We describe the most important invariants: right multiplication group, nuclei, and center. We show that the core is an involutory quandle which is the disjoint union of two isomorphic involutory quandles. We also derive further results on the structure group of the core of the extension.
Noncommutative Polygonal Cluster Algebras
We define a new family of noncommutative generalizations of cluster algebras called polygonal cluster algebras. These algebras generalize the noncommutative surfaces of Berenstein-Retakh, and are inspired by the emerging theory of $Θ$-positivity for the groups $\mathrm{Spin}(p,q)$. They are generated by mutations of quivers which we call ST-compatible, and which encode the order of the products that appear in the exchange relations. We show that these ST-compatible quivers can be represented by tilings of surfaces by polygons, a generalization of the description of surface type cluster algebras. As examples, we construct tilings which produce ST-compatible versions of the Del Pezzo quivers and the quivers first described by Le for Fock-Goncharov coordinates for Lie groups of type $B$. We show that polygonal cluster algebras have natural evaluations in Clifford algebras, which we use to produce noncommutative generalizations of the Somos sequences and to parameterize the $Θ$-positive semigroup of $\mathrm{Spin}(2,n)$. We indicate how this will be done for the semigroup in $\mathrm{Spin}(p,q)$ and how one will give coordinates for general $Θ$-positive representations into $\mathrm{Spin}(p,q)$.
Generic infinitesimal rigidity for rotational groups in the plane
In this paper we establish combinatorial characterisations of symmetry-generic infinitesimally rigid frameworks in the Euclidean plane for rotational groups of order 4 and 6, and of odd order between 5 and 1000, where a joint may lie at the centre of rotation. This extends the corresponding results for these groups in the free action case obtained by R. Ikeshita and S. Tanigawa in 2015, and our recent results for the reflection group and the rotational groups of order 2 and 3 in the non-free action case. The characterisations are given in terms of sparsity counts on the corresponding group-labelled quotient graphs, and are obtained via symmetry-adapted versions of recursive Henneberg-type graph constructions. For rotational groups of even order at least 8, we show that the sparsity counts alone are not sufficient for symmetry-generic infinitesimal rigidity.
Classification of weak Bruhat interval modules of $0$-Hecke algebras
Weak Bruhat interval modules of the $0$-Hecke algebra in type $A$ provide a uniform approach to studying modules associated with noteworthy families of quasisymmetric functions. Recently this kind of modules were generalized from type $A$ to all Coxeter types. In this paper, we give an equivalent description, in a type-independent manner, when two left weak Bruhat intervals in a Coxeter group are descent-preserving isomorphic. As an application, we classify all left weak Bruhat interval modules of $0$-Hecke algebras up to isomorphism, and thereby answer an open question and resolve in the affirmative a conjecture of Jung, Kim, Lee, and Oh. Additionally, for finite Coxeter groups we show that the set of minimum (or maximum) elements of all left weak Bruhat intervals in each descent-preserving isomorphism class forms an interval under the right weak Bruhat order.
Hall-Littlewood polynomials, affine Schubert series, and lattice enumeration
We introduce multivariate rational generating series called Hall-Littlewood-Schubert ($\mathsf{HLS}_n$) series. They are defined in terms of polynomials related to Hall-Littlewood polynomials and semistandard Young tableaux. We show that $\mathsf{HLS}_n$ series provide solutions to a range of enumeration problems upon judicious substitutions of their variables. These include the problem to enumerate sublattices of a $p$-adic lattice according to the elementary divisor types of their intersections with the members of a complete flag of reference in the ambient lattice. This is an affine analog of the stratification of Grassmannians by Schubert varieties. Other substitutions of $\mathsf{HLS}_n$ series yield new formulae for Hecke series and $p$-adic integrals associated with symplectic $p$-adic groups, and combinatorially defined quiver representation zeta functions. $\mathsf{HLS}_n$ series are $q$-analogs of Hilbert series of Stanley-Reisner rings associated with posets arising from parabolic quotients of Coxeter groups of type $\mathsf{B}$ with the Bruhat order. Special values of coarsened $\mathsf{HLS}_n$ series yield analogs of the classical Littlewood identity for the generating functions of Schur polynomials.
Tropical subrepresentations of the boolean regular representation in low dimension
We study two dimensional and three dimensional tropical subrepresentations of the regular representation $\mathbb{B}[G]$ of a finite group over the tropical booleans, utilizing the theory of group representations over a fixed idempotent semifield as developed by Giansiracusa--Manaker. In dimension two we completely classify all two dimensional tropical subrepresentations of $\mathbb{B}[G]$, provide an explicit characterization for the set of bases of the corresponding matroids, and show an equivalence with the subgroups of $G$. In dimension three we show such an equivalence no longer holds. Towards a classification in dimension three we give a collection of tropical subrepresentations corresponding to subgroups of index 2, and we show that in the special case of finite cyclic groups, one can find three dimensional tropical subrepresentations that do not correspond to subgroups in a similar way.
On Subgroup Separability and Membership Problems in Twisted Right-Angled Artin Groups
We characterize twisted right-angled Artin groups (T-RAAGs) that are subgroup separable using only their defining mixed graphs: such a group is subgroup separable if and only if the underlying simplicial graph contains neither induced paths nor squares on four vertices. This generalizes the results of Metaftsis-Raptis on classical right-angled Artin groups. Additionally, we show that the subgroup membership problem is decidable when the group is coherent, which occurs precisely when the defining mixed graph is chordal. We also address the rational and submonoid membership problems by exhibiting a cone-family of graphs for which the corresponding T-RAAGs have decidable rational and submonoid membership problems.
Equivariant geometry of symmetric quiver orbit closures
We unify problems about the equivariant geometry of symmetric quiver representation varieties, in the finite type setting, with the corresponding problems for symmetric varieties $GL(n)/K$ where $K$ is an orthogonal or symplectic group. In particular, we translate results about singularities of orbit closures; combinatorics of orbit closure containment; and torus equivariant cohomology and K-theory between these classes of varieties. We obtain these results by constructing explicit embeddings with nice properties of homogeneous fiber bundles over type $A$ symmetric quiver representation varieties into symmetric varieties.
On the action of the symmetric group on the free LAnKe: a question of Friedmann, Hanlon, Stanley and Wachs
A LAnKe (also known as a Lie algebra of the $n$th kind, or a Filippov algebra) is a vector space equipped with a skew-symmetric $n$-linear form that satisfies the generalized Jacobi identity. The symmetric group $\mathfrak{S}_m$ acts on the multilinear part of the free LAnKe on $m=(n-1)k+1$ generators, where $k$ is the number of brackets, by permutation of the generators. The corresponding representation was studied by Friedmann, Hanlon, Stanley and Wachs, who asked whether for $n \ge k$, its irreducible decomposition contains no summand whose Young diagram has at most $k-1$ columns. The answer is affirmative if $k \le 3$. In this paper, we show that the answer is affirmative for all $k$. A proof has been given recently by Friedmann, Hanlon and Wachs. The two proofs are completely different.
Normal covering numbers for $S_n$ and $A_n$ and additive combinatorics
Published
• View Publication
• BIB
The normal covering number $γ(G)$ of a finite group $G$ is the minimum number of proper subgroups whose conjugates cover the group. We give various estimates for $γ(S_n)$ and $γ(A_n)$ depending on the arithmetic structure of $n$. In particular we determine the limsups over $γ(S_n) / n$ and $γ(A_n) / n$ over the sequences of even and odd integers, as well as the liminf of $γ(S_n) / n$ over even integers. In general we explain how the values of $γ(S_n) / n$ and $γ(A_n) / n$ are related to problems in additive combinatorics. These results answer most of the questions posed by Bubboloni, Praeger, and Spiga as Problem 20.17 of the Kourovka Notebook.
Polynomial and combinatorial analogues of Gauss congruence
The cyclic sieving phenomenon provides a link between a polynomial analogue of Gauss congruence known as $q$-Gauss congruence, and a combinatorial analogue of Gauss congruence based on sequences of cyclic group actions. We strengthen this link in two major ways: by characterising $q$-Gauss congruence via explicit formulae, and by developing a universal model for the combinatorics based on necklaces which allow beads to vary in both colour and length. This gives many novel examples of cyclic sieving involving necklaces, path walks, tubings and more. We extend the definition of Gauss congruence to sequences indexed by an arbitrary ranked semigroup, and synthesise known results into this theory.
Omega-categorical limits of betweenness relations and $D$-sets
We explore two constructions of oligomorphic Jordan permutation groups preserving a `limit of betweenness relations' and a `limit of $D$-relations', from \cite{bhattmacph2006jordan} and \cite{almazaydeh2021jordan} respectively. Several issues left open in \cite{almazaydeh2021jordan} are resolved. In particular it is shown that the `limit of $D$-relations' is not homogeneous in the given language, but is `homogenizable', that is, there is a homogeneous structure over a finite relational language with the same universe and the same automorphism group. The structure is NIP, but not monadically NIP, its age is not well-quasi-ordered under embeddability, and the growth rate of the sequence enumerating orbits on $k$-sets grows faster than exponentially. The automorphism group is maximal-closed in the symmetric group. Similar results are shown for the construction in \cite{bhattmacph2006jordan}.
Auslander-Reiten combinatorics and $q$-characters of representations of affine quantum groups
For each simple Lie algebra $\mathfrak{g}$ of simply-laced type, Hernandez and Leclerc introduced a certain category $\mathcal{C}_{\mathbb{Z}}$ of finite-dimensional representations of the quantum affine algebra of $\mathfrak{g}$, as well as certain subcategories $\mathcal{C}_{\mathbb{Z}}^{\leq ξ}$ depending on a choice of height function adapted to an orientation of the Dynkin graph of $\mathfrak{g}$. In our previous work we constructed an algebra homomorphism $\widetilde{D}_ξ$ whose domain contains the image of the Grothendieck ring of $\mathcal{C}_{\mathbb{Z}}^{\leq ξ}$ under the truncated $q$-character morphism $\widetildeχ_q$ corresponding to $ξ$. We exhibited a close relationship between the composition of $\widetilde{D}_ξ$ with $\widetildeχ_q$ and the morphism $\overline{D}$ recently introduced by Baumann, Kamnitzer and Knutson in their study of the equivariant homology of Mirković-Vilonen cycles. In this paper, we extend $\widetilde{D}_ξ$ in order to investigate its composition with Frenkel-Reshetikhin's original $q$-character morphism. Our main result consists in proving that the $q$-characters of all standard modules in $\mathcal{C}_{\mathbb{Z}}$ lie in the kernel of $\widetilde{D}_ξ$. This provides a large family of new non-trivial rational identities suggesting possible geometric interpretations.