group
10226 papers tagged with this keyword
Some results on the higher-rank graphs associated to crystals of semisimple Lie algebras
In this paper we continue the study of the higher-rank graphs associated to finite-dimensional complex semisimple Lie algebras, introduced by the author and R. Yuncken, whose construction relies on Kashiwara's theory of crystals. First we prove that the Bruhat graphs of the corresponding Weyl groups, both weak and strong, can be embedded into the higher-rank graphs as colored graphs. Next, specializing to Lie algebras of type $A$, we connect some aspects of the construction of the higher-rank graphs with some well-known notions in combinatorics, most notably the keys of Lascoux and Schützenberger.
ninfty: A software package for homotopical combinatorics
We introduce ninfty, a header-only C++ library distributed under an MIT Open Source License designed for the study of enumeration problems arising in homotopical combinatorics. The ninfty repository moreover contains a folder with data files for many common finite groups. This is in addition to Sage code which can be used to generate input data for further finite groups, and Sage code for generating input data for abstract lattices which may not arise at the subgroup lattice of a group.
On the Number of Disconnected Character Degree Graphs Satisfying Pálfy's Inequality
Let $G$ be a finite solvable group with disconnected character degree graph $Δ(G)$. Under these conditions, it follows from a result of Pálfy that $Δ(G)$ consists of two connected components. Another result of Pálfy's gives an inequality relating the sizes of these two connected components. In this paper, we calculate the number of possible component size pairs that satisfy Pálfy's inequality. Additionally, for a fixed positive integer $n$, the number of distinct graph orders for which exactly $n$ component size pairs satisfy Pálfy's inequality is shown.
The Face Group of a Simplicial Complex
The edge group of a simplicial complex is a well-known, combinatorial version of the fundamental group. It is a group associated to a simplicial complex that consists of equivalence classes of edge loops and that is isomorphic to the ordinary (topological) fundamental group of the spatial realization. We define a counterpart to the edge group that likewise gives a combinatorial version of the second (higher) homotopy group. Working entirely combinatorially, we show our group is an abelian group and also respects products. We show that our combinatorially defined group is isomorphic to the ordinary (topological) second homotopy group of the spatial realization.
$q$-deformed rationals and irrationals
The concept of $q$-deformation, or ``$q$-analogue'' arises in many areas of mathematics. In algebra and representation theory, it is the origin of quantum groups; $q$-deformations are important for knot invariants, combinatorial enumeration, discrete geometry, analysis, and many other parts of mathematics. In mathematical physics, $q$-deformations are often understood as ``quantizations''.
The recently introduced notion of a $q$-deformed real number is based on the geometric idea of invariance by a modular group action. The goal of this lecture is to explain what is a $q$-rational and a $q$-irrational, demonstrate beautiful properties of these objects, and describe their relations to many different areas. We also tried to describe some applications of $q$-numbers.
On Cameron's Greedy Conjecture
A base for a permutation group $G$ acting on a set $Ω$ is a subset $\mathcal{B}$ of $Ω$ whose pointwise stabiliser $G_{(\mathcal{B})}$ is trivial. There is a natural greedy algorithm for constructing a base of relatively small size. We write $\mathcal{G}(G)$ the maximum size of a base it produces, and $b(G)$ for the size of the smallest base for $G$. In 1999, Peter Cameron conjectured that there exists an absolute constant $c$ such that every finite primitive group $G$ satisfies $\mathcal{G}(G)\leq cb(G)$. We show that if $G$ is $\mathrm{S}_n$ or $\mathrm{A}_n$ acting primitively then either Cameron's Greedy Conjecture holds for $G$, or $G$ falls into one class of possible exceptions.
Permutohedron's volume via Dyck paths
In a recent project, Castillo, Libedinsky, Plaza, and the author established a deep connection between the size of lower Bruhat intervals in affine Weyl groups and the volume of the permutohedron, showing that the former can be expressed as a linear combination of the latter. In this paper, we provide a formula for the volume of this polytope in terms of Dyck paths. Thus, we present a shorter, alternative, and enlightening proof of a previous formula given by Postnikov.
Fundamental groups of moduli spaces of real weighted stable curves
The ordinary and $S_n$-equivariant fundamental groups of the moduli space $\overline{M_{0,n+1}}(\mathbb{R})$ of real $(n+1)$-marked stable curves of genus $0$ are known as \emph{cactus groups} $J_n$ and have applications both in geometry and the representation theory of Lie algebras. In this paper, we compute the ordinary and $S_n$-equivariant fundamental groups of the Hassett space of weighted real stable curves $\overline{M_{0,\mathcal{A}}}(\mathbb{R})$ with $S_n$-symmetric weight vector $\mathcal{A} = (1/a, \ldots, 1/a, 1)$, which we call \emph{weighted cactus groups} $J_n^a$. We show that $J_n^a$ is obtained from the usual cactus presentation by introducing braid relations, which successively simplify the group from $J_n$ to $S_n \rtimes \mathbb{Z}/2\mathbb{Z}$ as $a$ increases. Our proof is by decomposing $\overline{M_{0,\mathcal{A}}}(\mathbb{R})$ as a polytopal complex, generalizing a similar known decomposition for $\overline{M_{0,n+1}}(\mathbb{R})$. In the unweighted case, these cells are known to be cubes and are `dual' to the usual decomposition into associahedra (by the combinatorial type of the stable curve). For $\overline{M_{0,\mathcal{A}}}(\mathbb{R})$, our decomposition instead consists of products of permutahedra. The cells of the decomposition are indexed by weighted stable trees, but `dually' to the usual indexing.
On the inverse problem of the $k$-th Davenport constants for groups of rank $2$
For a finite abelian group $G$ and a positive integer $k$, let $\mathsf{D}_k(G)$ denote the smallest integer $\ell$ such that each sequence over $G$ of length at least $\ell$ has $k$ disjoint nontrivial zero-sum subsequences. It is known that $\mathsf D_k(G)=n_1+kn_2-1$ if $G\cong C_{n_1}\oplus C_{n_2}$ is a rank $2$ group, where $1<n_1\t n_2$. We investigate the associated inverse problem for rank $2$ groups, that is, characterizing the structure of zero-sum sequences of length $\mathsf D_k(G)$ that can not be partitioned into $k+1$ nontrivial zero-sum subsequences.
Twisted moments of characteristic polynomials of random matrices in the unitary group
Recently, Keating and the second author of this paper devised a heuristic for predicting asymptotic formulas for moments of the Riemann zeta-function $ζ(s)$. Their approach indicates how lower twisted moments of $ζ(s)$ may be used to evaluate higher moments. In this paper, we present a rigorous random matrix theory analogue of their heuristic. To do this, we develop a notion of "twisted moment" of characteristic polynomials of matrices in the unitary group $U(N)$, and we prove several identities involving Schur polynomials. Our results may be viewed as a proof of concept of the heuristic for $ζ(s)$.
Topological Structures of Sets and their Subsets
For real application and theoretical investigation of ordinary hypergraphs and non-ordinary hypergraphs, researchers need to establish standard rules and feasible operating methods. We propose a visualization tool for investigating hypergraphs by means of the natural topological structure of finite sets and their subsets, so we are able to construct various non-ordinary hypergraphs, and to reveal topological properties (such as hamiltonian cycles, maximal planar graphs), colorings, connectivity, hypergraph group, isomorphism and homomorphism of hypergraphs.
Invariant theory for wreath products acting on superpolynomials
This paper considers a finite group $G$ acting linearly on the variables $V$ of a polynomial algebra, or an exterior algebra, or superpolynomial algebra with both commuting and anticommuting variables. In this setting, the Hilbert series for the $G$-invariant subalgebra turns out to determine the analogous Hilbert series for the wreath product $P[G]$ acting on $V^n$ for any permutation group $P$ inside the symmetric group $S_n$ on $n$ letters.
This leads to a structural result: one can collate the direct sum for all $n$ of the $S_n[G]$-invariant subalgebras to form a graded ring via an external shuffle product, whose structure turns out to be a superpolynomial algebra generated by the $G$-invariants. A parallel statement holds for the direct sum of all $S_n[G]$-antiinvariants, which forms a graded ring via an external signed shuffle product, isomorphic to the superexterior algebra generated by the $G$-invariants.
Spanning trees and their relations in Galois covers
This paper studies the relation among the number of spanning trees of intermediate graphs in a Galois cover, building on results for $(\mathbb{Z}/2\mathbb{Z})^m$-covers previously established by Hammer, Mattman, Sands, and Vallières. We generalize their results to arbitrary finite Galois covers. Using the Ihara zeta function and the Artin--Ihara $L$-function, we prove two formulas which are graph-theoretic analogues of Kuroda's formula and the Brauer--Kuroda relations in algebraic number theory. Furthermore, we prove that a spanning tree formula does not exist if the Galois group is cyclic.
Zigzags, contingency tables, and quotient rings
Let $\mathbf{x}_{k \times p}$ be a $k \times p$ matrix of variables and let $\mathbb{F}[\mathbf{x}_{k \times p}]$ be the polynomial ring in these variables. Given two weak compositions $α,β\models_0 n$ of lengths $\ell(α) = k$ and $\ell(β) = p$, we study the ideal $I_{α,β} \subseteq \mathbb{F}[\mathbf{x}_{k \times \ell}]$ generated by row sums, column sums, monomials in row $i$ of degree $> α_i$, and monomials in column $j$ of degree $> β_j$. We prove results connecting algebraic properties of the quotient ring $R_{α,β} := \mathbb{F}[\mathbf{x}_{k \times \ell}]/I_{α,β}$ with the set $C_{α,β}$ of $α,β$-contingency tables. The standard monomial basis of $R_{α,β}$ with respect to a diagonal term order is encoded by the matrix-ball avatar of the RSK correspondence. We describe the Hilbert series of $R_{α,β}$ in terms of a zigzag statistic on contingency tables. The ring $R_{α,β}$ carries a graded action of the product $\mathrm{Stab}(α) \times \mathrm{Stab}(β)$ of symmetry groups of the sequences $α= (α_1,\dots,α_k)$ and $β= (β_1,\dots,β_p)$; we describe how to calculate the isomorphism type of this graded action. Our analysis regards the set $C_{α,β}$ as a locus in the affine space $\mathrm{Mat}_{k \times p}(\mathbb{F})$ and applies orbit harmonics to this locus.
Fibonacci-like partitions and their associated piecewise-defined permutations
In this paper we introduce a family of partitions of the set of natural numbers, Fibonacci-like partitions. In particular, we introduce a Fibonacci-like partition in a number of parts corresponding to the Fibonacci numbers, the standard Fibonacci-like partitions of the first kind. That partition refines the well-known partition in two parts associated to the Wythoff sequences. In a similar way, we introduce another family of Fibonacci-like partitions of the natural numbers, with an initial segment removed, in a number of parts which also follows the Fibonacci sequence, the standard Fibonacci-like partitions of the second kind.
We study some piecewise-defined permutations over Fibonacci-like partitions, which give both torsion-free and torsion elements in the symmetric group over the set of natural numbers. We give an application of Fibonacci-like partitions to the study of a sequence analyzed by A. Shapovalov and by B.J. Venkatachala. We give also a generalization of the mentioned sequence, involving techniques that are not related to Fibbonaci numbers nor Beatty sequences, obtaining an infinite family of sequences that we conjecture that produce an infinite orthogonal array in which the number of symbols, trials and factors is countable infinite, and having an automorphism group isomorphic to Z acting regularly on the symbol set.
Weingarten calculus for centered random permutation matrices
We introduce and study the Weingarten calculus for centered random permutation matrices in the symmetric group S_N. After presenting a formulation of the Weingarten calculus on the symmetric group, we derive a formula in the centered case, as well as a sign-respecting formula. Our investigations uncover the fact that a building block of this Weingarten calculus is Kummer's confluent hypergeometric function. It allows us to derive multiple algebraic properties of the Weingarten function and uniform estimate. These results shed a conceptual light on phenomena that take place regarding the algebraic and asymptotic behavior of moments of random permutations in the resolution of Bordenave and Bordenave-Collins of strong convergence. We obtain multiple new non-trivial estimates for moments of coefficients in centered moments.
Identifying and Characterising Higher Order Interactions in Mobility Networks Using Hypergraphs
Understanding human mobility is essential for applications ranging from urban planning to public health. Traditional mobility models such as flow networks and colocation matrices capture only pairwise interactions between discrete locations, overlooking higher-order relationships among locations (i.e., mobility flow among two or more locations). To address this, we propose co-visitation hypergraphs, a model that leverages temporal observation windows to extract group interactions between locations from individual mobility trajectory data. Using frequent pattern mining, our approach constructs hypergraphs that capture dynamic mobility behaviors across different spatial and temporal scales. We validate our method on a publicly available mobility dataset and demonstrate its effectiveness in analyzing city-scale mobility patterns, detecting shifts during external disruptions such as extreme weather events, and examining how a location's connectivity (degree) relates to the number of points of interest (POIs) within it. Our results demonstrate that our hypergraph-based mobility analysis framework is a valuable tool with potential applications in diverse fields such as public health, disaster resilience, and urban planning.
The intersection density of cubic arc-transitive graphs with $2$-arc-regular full automorphism group equal to $\operatorname{PGL}_2(q)$
The \emph{intersection density} of a transitive permutation group $G\leq \operatorname{Sym}(Ω)$ is the ratio between the largest size of a subset of $G$ in which any two agree on at least one element of $Ω$, and the order of a point-stabilizer of $G$. In this paper, we determine the intersection densities of the automorphism group of the arc-transitive graphs admitting a $2$-arc-regular full automorphism group $G^* = \operatorname{PGL}_2(q)$ and an arc-regular subgroup of automorphism $G = \operatorname{PSL}_2(q)$.
The graph zeta functions with respect to the group matrix of a finite group
In this paper, we present formulas for the edge zeta function and the second weighted zeta function with respect to the group matrix of a finite abelian group $Γ$. Furthermore, we give another proof of Dedekind Theorem for the group determinant of $Γ$ by the decomposition formula for a matrix of a group covering of a digraph. Finally, we treat the weighted complexity of the complete graph with entries of the group matrix of $Γ$ as arc weights.
Partial permutations and character evaluations
Let $I = (i_1, \dots, i_k)$ and $J = (j_1, \dots, j_k)$ be two length $k$ sequences drawn from $\{1, \dots, n \}$. We have the group algebra element $[I,J] := \sum_{w(I) = J} w \in \mathbb{C}[\mathfrak{S}_n]$ where the sum is over permutations $w \in \mathfrak{S}_n$ which satisfy $w(i_p) = j_p$ for $p = 1, \dots, k$. We give an algorithm for evaluating irreducible characters $χ^λ: \mathbb{C}[\mathfrak{S}_n] \to \mathbb{C}$ of the symmetric group on the elements $[I,J]$. This algorithm is a hybrid of the classical Murnaghan--Nakayama rule and a new path Murnaghan--Nakayama rule which reflects the decomposition of a partial permutation into paths and cycles.
These results first appeared in arXiv:2206.06567, which is no longer intended for publication. We originally used the character theoretic results in this paper to prove asymptotic results on moments of certain permutation statistics restricted to conjugacy classes. A referee generously shared a combinatorial argument which is strong enough to prove these results without recourse to character theory. These results now appear in our companion paper~\cite{HRMoment}. However, the approach in this paper is more explicit, as we demonstrate with several examples.