group
10226 papers tagged with this keyword
The ring of stable characters over $\text{GL}_\bullet(q)$
For a fixed prime power $q$, let $\text{GL}_\bullet(q)$ denote the family of groups $\text{GL}_N(q)$ for $N \in \mathbb{Z}_{\geq 0}$. In this paper we study the $\mathbb{C}$-algebra of "stable" class functions of $\text{GL}_\bullet(q)$, and show it admits four different linear bases, each arising naturally in different settings. One such basis is that of stable irreducible characters, namely, the class functions spanned by the characters corresponding to finitely generated simple $\mathrm{VI}$-modules in the sense of [arXiv:1408.3694,arXiv:1602.00654]. A second one comes from characters of parabolic representations. The final two, one originally defined in [arXiv:1803.04155] and the other in [arXiv:2110.11099], are more combinatorial in nature. As corollaries, we clarify many properties of these four bases and prove a conjecture from [arXiv:2106.11587].
Concentration of information on discrete groups
Motivated by the Asymptotic Equipartition Property and its recently discovered role in the cutoff phenomenon, we initiate the systematic study of varentropy on discrete groups. Our main result is an approximate tensorization inequality which asserts that the varentropy of any conjugacy-invariant random walk is, up to a universal multiplicative constant, at most that of the free Abelian random walk with the same jump rates. In particular, it is always bounded by the number d of generators, uniformly in time and in the size of the group. This universal estimate is sharp and can be seen as a discrete analogue of a celebrated result of Bobkov and Madiman concerning random d-dimensional vectors with a log-concave density (AOP 2011). A key ingredient in our proof is the fact that conjugacy-invariant random walks have non-negative Bakry-Émery curvature, a result which seems new and of independent interest.
Symmetrizations of quadratic and hermitian forms
The paper develops elementary linear algebra methods to compute the determinants of the tensor symmetrizations of quadratic and hermitian forms over fields of good characteristic. Explicit results are given for the partitions $(n)$, $(1^n)$, $(2,1^{n-2})$ and $(3,1^{n-3})$ as well as for all partitions of $n\leq 7$. For orthogonal groups these symmetrizations are not irreducible and we continue to find the determinants of their irreducible constituents, the refined symmetrizations, over fields of characteristic 0.
Sums of dilates over groups of prime order
For $p$ prime, $A \subseteq \mathbb{Z}/p\mathbb{Z}$ and $λ\in \mathbb{Z}$, the sum of dilates $A + λ\cdot A$ is defined by \[A + λ\cdot A = \{a + λa' : a, a' \in A\}.\] The basic problem on such sums of dilates asks for the minimum size of $|A + λ\cdot A|$ for given $λ$, $A$ of given density $α$, and $p$ tending to infinity. We investigate this problem for $α$ fixed and $λ$ tending to infinity, proving near-optimal bounds in this case.
Weighted Padovan graphs
Weighted Padovan graphs $Φ^{n}_{k}$, $n \geq 1$, $\lfloor \frac{n}{2} \rfloor \leq k \leq \lfloor \frac{2n-2}{3} \rfloor$, are introduced as the graphs whose vertices are all Padovan words of length $n$ with $k$ $1$s, two vertices being adjacent if one can be obtained from the other by replacing exactly one $01$ with a $10$. By definition, $\sum_k |V(Φ^{n}_{k})|=P_{n+2}$, where $P_n$ is the $n$th Padovan number. Two families of graphs isomorphic to weighted Padovan graphs are presented. The order, the size, the degree, the diameter, the cube polynomial, and the automorphism group of weighted Padovan graphs are determined. It is also proved that they are median graphs.
The submonoid and rational subset membership problems for Artin groups
We demonstrate that the submonoid membership problem and the rational subset membership problem are equivalent in Artin groups. Both these problem are undecidable in a given Artin group if and only if the group embeds the right-angled Artin groups of rank 4 over a path or a square; and this can be characterized using only the defining graph of the Artin group. These results generalize the ones by Lohrey - Steinberg for right-angled Artin groups. Moreover, both these decision problems are decidable for a given Artin group if and only if the group is subgroup separable. This equivalence for right-angled Artin groups is provided by Lohrey - Steinberg and Metaftsis - Raptis. The equivalence for general Artin groups comes from some observations here and the characterization of separable Artin groups by Almeida - Lima.
Aperiodic monotiles: from geometry to groups
Published
• View Publication
• BIB
In 2023, two striking, nearly simultaneous, mathematical discoveries have excited their respective communities, one by Greenfeld and Tao, the other (the Hat tile) by Smith, Myers, Kaplan and Goodman-Strauss, which can both be summed up as the following: there exists a single tile that tiles, but not periodically (sometimes dubbed the einstein problem). The two settings and the tools are quite different (as emphasized by their almost disjoint bibliographies): one in euclidean geometry, the other in group theory. Both are highly nontrivial: in the first case, one allows complex shapes; in the second one, also the space to tile may be complex. We propose here a framework that embeds both of these problems. From any tile system in this general framework, with some natural additional conditions, we exhibit a construction to simulate it by a group-theoretical tiling. We illustrate our setting by transforming the Hat tile into a new aperiodic group monotile, and we describe the symmetries of both the geometrical Hat tilings and the group tilings we obtain.
A character theoretic formula for base size
A base for a permutation group $G$ acting on a set $Ω$ is a sequence $\mathcal{B}$ of points of $Ω$ such that the pointwise stabiliser $G_{\mathcal{B}}$ is trivial. The base size of $G$ is the size of a smallest base for $G$. We derive a character theoretic formula for the base size of a class of groups admitting a certain kind of irreducible character. Moreover, we prove a formula for enumerating the non-equivalent bases for $G$ of size $l\in\mathbb{N}$. As a consequence of our results, we present a very short, entirely algebraic proof of the formula of Mecenero and Spiga~\cite{MeSp} for the base size of the symmetric group $\mathrm{S}_n$ acting on the $k$-element subsets of $\{1,2,3,\dots,n\}$. Our methods also provide a formula for the base size of many product-type permutation groups.
Centraliser algebras of monomial representations and applications in combinatorics
Centraliser algebras of monomial representations of finite groups may be constructed and studied using methods similar to those employed in the study of permutation groups. Guided by results of D. G. Higman and others, we give an explicit construction for a basis of the centraliser algebra of a monomial representation. The character table of this algebra is then constructed via character sums over double cosets. We locate the theory of group-developed and cocyclic-developed Hadamard matrices within this framework. We apply Gröbner bases to produce a new classification of highly symmetric complex Hadamard matrices.
Discrete (P)-closed Groups Acting On Trees
Reid-Smith recently parametrised groups acting on trees with Tits' independence property (P) using graph-based combinatorial structures known as local action diagrams. Properties of the acting (topological) group, such as being locally compact, compactly generated or simple, are reflected in its local action diagram. In this article we provide necessary and sufficient conditions on the local action diagram for the associated group to be discrete.
A virtually nilpotent group with non D-finite Green series
We provide an example of a virtually $2$-step nilpotent group, and a specific generating set, for which the Green series (sometimes called cogrowth series) is not D-finite. The proof relies on an arithmetical miracle, and the study of the subword complexity of a multiplicative sequence coming out of it.
Cyclic Subgroup Graph of a Group
A cyclic subgroup graph of a group $G$ is a graph whose vertices are cyclic subgroups of $G$ and two distinct vertices $H_1$ and $H_2$ are adjacent if $H_1\leq H_2$, and there is no subgroup $K$ such that $H_1<K<H_2$. M.Tărnăuceanu gave the formula to count the number of edges of these graphs. In this paper, we explore various properties of these graphs.
Hikita conjecture for classical Lie algebras
Let $G$ be $Sp_{2n}$, $SO_{2n}$ or $SO_{2n+1}$ and let $G^\vee$ be its Langlands dual group. Barbasch and Vogan based on earlier work of Lusztig and Spaltenstein, define a duality map $D$ that sends nilpotent orbits $\mathbb{O}_{e^\vee} \subset \mathfrak{g}^\vee$ to special nilpotent orbits $\mathbb{O}_e\subset \mathfrak{g}$. In a work by Losev, Mason-Brown and Matvieievskyi, an upgraded version $\tilde{D}$ of this duality is considered, called the refined BVLS duality. $\tilde{D}(\mathbb{O}_{e^\vee})$ is a $G$-equivariant cover $\tilde{\mathbb{O}}_e$ of $\mathbb{O}_e$. Let $S_{e^\vee}$ be the nilpotent Slodowy slice of the orbit $\mathbb{O}_{e^\vee}$. The two varieties $X^\vee= S_{e^\vee}$ and $X=$ Spec$(\mathbb{C}[\tilde{\mathbb{O}}_e])$ are expected to be symplectic dual to each other. In this context, a version of the Hikita conjecture predicts an isomorphism between the cohomology ring of the Springer fiber $\mathcal{B}_{e^\vee}$ and the ring of regular functions on the scheme-theoretic fixed point $X^T$ for some torus $T$. This paper verifies the isomorphism for certain pairs $e$ and $e^\vee$. These cases are expected to cover almost all instances in which the Hikita conjecture holds when $e^\vee$ regular in a Levi $\mathfrak{l}^\vee\subset \mathfrak{g}^\vee$. Our results in these cases follow from the relations of three different types of objects: generalized coinvariant algebras, equivariant cohomology rings, and functions on scheme-theoretic intersections. We also give evidence for the Hikita conjecture when $e^\vee$ is distinguished.
Polynomials Counting Group Colorings in Graphs
Jaeger et al. in 1992 introduced group coloring as the dual concept to group connectivity in graphs. Let $A$ be an additive Abelian group, $ f: E(G)\to A$ and $D$ an orientation of a graph $G$. A vertex coloring $c:V(G)\to A$ is an $(A, f)$-coloring if $c(v)-c(u)\ne f(e)$ for each oriented edge $e=uv$ from $u$ to $v$ under $D$. Kochol recently introduced the assigning polynomial to count nowhere-zero chains in graphs--nonhomogeneous analogues of nowhere-zero flows in \cite{Kochol2022}, and later extended the approach to regular matroids in \cite{Kochol2024}. Motivated by Kochol's work, we define the $α$-compatible graph and the cycle-assigning polynomial $P(G, α; k)$ at $k$ in terms of $α$-compatible spanning subgraphs, where $α$ is an assigning of $G$ from its cycles to $\{0,1\}$. We prove that $P(G,α;k)$ evaluates the number of $(A,f)$-colorings of $G$ for any Abelian group $A$ of order $k$ and $f:E(G)\to A$ such that the assigning $α_{D,f}$ given by $f$ equals $α$. Such an assigning is admissible. Based on Kochol's work, we derive that $k^{-c(G)}P(G,α;k)$ is a polynomial enumerating $(A,f)$-tensions and counting specific nowhere-zero chains.
Furthermore, by extending Whitney's broken cycle concept to broken compatible cycles, we show that the absolute value of the coefficient of $k^{|V(G)|-i}$ in $P(G,α;k)$ associated with admissible assignings $α$ equals the number of $α$-compatible spanning subgraphs that have $i$ edges and contain no broken $α$-compatible cycles. According to the combinatorial explanation, we establish a unified order-preserving relation from admissible assignings to cycle-assigning polynomials, and further show that for any admissible assigning $α$ of $G$ with $α(e)=1$ for every loop $e$, the coefficients of $P(G,α;k)$ are nonzero and alternate in sign.
Isomorphisms of bi-Cayley graphs on generalized quaternion groups
Let $G$ be a finite group and $S$ be a subset of $G$. The bi-Cayley graph $\mathrm{BCay}(G,S)$ is the graph with vertex set $G\times \{0,1\}$ and edge set $\{\{(x,0),(sx,1)\}\mid x\in G,s\in S\}$. A bi-Cayley graph $\mathrm{BCay}(G,S)$ is called a BCI-graph if for every $T\subseteq G$, the isomorphism $\mathrm{BCay}(G,S)\cong \mathrm{BCay}(G,T)$ implies that $T=gS^α$ for some $g\in G$ and $α\in \mathrm{Aut}(G)$. We say a group $G$ an $m$-BCI-group if every bi-Cayley graphs of $G$ with valency at most $m$ is a BCI-graph. In this paper, we show that for $m\in\{2,3\}$, the generalized quaternion group of order $4n$ with $n\geq 2$ is an $m$-BCI-group if and only if it is an $m$-DCI-group if and only if it is an $m$-CI-group if and only if $n$ is odd or $n=2$.
Condorcet cycle elections with influential voting blocs
A Condorcet cycle election is an election (often called a Social Welfare Function, or SWF) between three candidates, where each voter ranks the three candidates according to a fixed cyclic order. Maskin showed that if such a SWF obeys the MIIA condition, and respects the complete anonymity of each voter, then it must be a Borda election, where each voter assigns two points to their preferred candidate, one to their second preference and none to their least preferred candidate.
We introduce a relaxed anonymity condition called ``transitive anonymity'', whereby a group $G$ acting transitively on the set of voters $V$ maintains the outcome of the SWF. Elections across multiple constituencies of equal size are common examples of elections with transitive anonymity but without full anonymity. First, we demonstrate that under this relaxed anonymity condition, non-Borda elections do exist. On the other hand, by modifying Kalai's proof of Arrow's Impossibility Theorem, which employs methods from the analysis of Boolean functions, we show that this can only occur when the number of voters is not a multiple of three, and we demonstrate that even these non-Borda elections are very close to being Borda.
A Galois structure on the orbit of large steps walks in the quadrant
Published in Séminaire Lotharingien de Combinatoire, issue 91B, 2024, article 65
• Search Publication
The enumeration of weighted walks in the quarter plane reduces to studying a functional equation with two catalytic variables. When the steps of the walk are small, Bousquet-Mélou and Mishna defined a group called the group of the walk which turned out to be crucial in the classification of the small steps models. In particular, its action on the catalytic variables provides a convenient set of changes of variables in the functional equation. This particular set called the orbit has been generalized to models with arbitrary large steps by Bostan, Bousquet-Mélou and Melczer (BBMM). However, the orbit had till now no underlying group.
In this article, we endow the orbit with the action of a Galois group, which extends the notion of the group of the walk to models with large steps. As an application, we look into a general strategy to prove the algebraicity of models with small backwards steps, which uses the fundamental objects that are invariants and decoupling. The group action on the orbit allows us to develop a Galoisian approach to these two notions. Up to the knowledge of the finiteness of the orbit, this gives systematic procedures to test their existence and construct them. Our constructions lead to the first proofs of algebraicity of weighted models with large steps, proving in particular a conjecture of BBMM, and allowing to find new algebraic models with large steps.
Recognizing bicoset digraphs which are $X$-joins and automorphism groups of bicoset digraphs
We examine bicoset digraphs and their natural properties from the point of view of symmetry. We then consider connected bicoset digraphs that are $X$-joins with collections of empty graphs, and show that their automorphism groups can be obtained from their natural irreducible quotients. We then show that such digraphs can be recognized from their connection sets.
Writing finite simple groups of Lie type as products of subset conjugates
The Liebeck-Nikolov-Shalev conjecture [LNS12] asserts that, for any finite simple non-abelian group $G$ and any set $A\subseteq G$ with $|A|\geq 2$, $G$ is the product of at most $N\frac{\log|G|}{\log|A|}$ conjugates of $A$, for some absolute constant $N$.
For $G$ of Lie type, we prove that for any $\varepsilon>0$ there is some $N_{\varepsilon}$ for which $G$ is the product of at most $N_{\varepsilon}\left(\frac{\log|G|}{\log|A|}\right)^{1+\varepsilon}$ conjugates of either $A$ or $A^{-1}$. For symmetric sets, this improves on results of Liebeck, Nikolov, and Shalev [LNS12] and Gill, Pyber, Short, and Szabó [GPSS13].
During the preparation of this paper, the proof of the Liebeck-Nikolov-Shalev conjecture was completed by Lifshitz [Lif24]. Both papers use [GLPS24] as a starting point. Lifshitz's argument uses heavy machinery from representation theory to complete the conjecture, whereas this paper achieves a more modest result by rather elementary combinatorial arguments.
Ideals, representations and a symmetrised Bernoulli triangle
We study some representations of symmetric groups arising from a certain ideal in the coordinate ring of affine n-space. Our results give graded and representation-theoretic enhancements of sequence 337 of the Online Encyclopaedia of Integer Sequences, involving a symmetric version of the Bernoulli triangle.