group
10226 papers tagged with this keyword
On an $n$-ary generalization of the Lie representation and tree Specht modules
We continue our study, initiated in our prior work with Richard Stanley, of the representation of the symmetric group on the multilinear component of an $n$-ary generalization of the free Lie algebra known as the free Filippov $n$-algebra with $k$ brackets. Our ultimate aim is to determine the multiplicities of the irreducible representations in this representation. This had been done for the ordinary Lie representation ($n=2$ case) by Kraskiewicz and Weyman. The $k=2$ case was handled in our prior work, where the representation was shown to be isomorphic to $S^{2^{n-1}1}$. In this paper, for general $n$ and $k$, we obtain decomposition results that enable us to determine the multiplicities in the $k=3$ and $k=4$ cases. In particular we prove that in the $k=3$ case, the representation is isomorphic to $S^{3^{n-1}1} \oplus S^{3^{n-2}21^2}$. Our main result shows that the multiplicities stabilize in a certain sense when $n$ exceeds $k$. As an important tool in proving this, we present two types of generalizations of the notion of Specht module that involve trees.
The coarse flag Hilbert-Poincaré series of the braid arrangement
The paper concerns the coarse flag Hilbert-Poincaré series of Maglione-Voll in the case of the braid arrangement associated to the symmetric group. We explicitly construct a companion statistic $\operatorname{ino} : \mathfrak{S}_{n+1} \times \operatorname{Sym}(n) \rightarrow \mathbb{N}$ for the descent statistic on $\operatorname{Sym}(n)$ using reverse $(P,ω)$-partitions and quasisymmetric functions.
Group Action Approaches in Erdos Quotient Set Problem
Let $\mathbb{F}_q$ denote the finite field of $q$ elements. For $E \subset \mathbb{F}_q^d$, denote the distance set $Δ(E)= \{\|x-y\|^2:=(x_1-y_1)^2+ \cdots + (x_d-y_d)^2 : (x,y)\in E^2 \}$.
The Erdos quotient set problem was introduced in \cite{Iosevich_2019} where it was shown that for even $d\geq2$ that if $|E| \subset \mathbb{F}_q^2$ such that $|E| >> q^{d/2}$, then $\frac{Δ(E)}{Δ(E)}:= \{\frac{s}{t}:s,t \in Δ(E), t\not=0\} =\mathbb{F}_q^d$. The proof of the latter result is quite sophisticated and in \cite{pham2023group}, a simple proof using a group-action approach was obtained for the case of $q \equiv 3 \mod 4$ when $d=2$. In the $q \equiv 3 \mod 4$ setting, for each $r \in (\mathbb{F}_q)^2$, \cite{pham2023group} showed if $E \subset \mathbb{F}_q$, then $V(r):= \# \left\{ (a,b,c,d) \in E^2: \frac{\|a-b\|^2}{\|c-d\|^2} = r \right\} >> \frac{|E|^4}{q}$. In this work we use group action techniques in the $q \equiv 3 \mod 4$ setting, for $d=2$ and improve the results of \cite{pham2023group} by removing the assumption on $r \in (\mathbb{F}_q)^2$. Specifically we show if $d=2$ and $q \equiv 3 \mod 4$, then for each $r \in \mathbb{F}_q^*$,$V(r)\geq \frac{|E|^4}{2q}$if $|E|\geq \sqrt{2}q$ for all $r \in \mathbb{F}_q$. Finally, we improve the main result of \cite{bhowmik2023near} using our proof techniques from our quotient set results.
A Szemerédi type theorem for sets of positive density in approximate lattices
Published in Ergod. Th. Dynam. Sys. 45 (2025) 2023-2053
• View Publication
• BIB
An extension of Szemerédi's Theorem is proved for sets of positive density in approximate lattices in general locally compact and second countable abelian groups. As a consequence, we establish a recent conjecture of Klick, Strungaru and Tcaciuc. Via a novel version of Furstenberg's Correspondence principle, which should be of independent interest, we show that our Szemerédi Theorems can be deduced from a general \emph{transverse} multiple recurrence theorem, which we establish using recent works of Austin.
On finite totally k-closed groups
Let $G$ be a finite group acting faithfully on a finite set $Ω$. For a positive integer $k$, $G$ acts naturally on the Catesian product $Ω^k := Ω\times ...\times Ω$. In this paper, we prove that finite nilpotent group $G$ with $2\nmid |G|$ is a totally $k$-closed group if and only if $G$ is abelian with $n(G)\leq k-1$ or cyclic, where $n(G)$ is the number of invariant factors in the invariant factor decomposition of $G$.
Polymatroids are to finite groups as matroids are to finite fields
Given a subgroup $\mathcal{H}$ of a product of finite groups $\mathcal{G} = \displaystyle\prod^n_{i=1} Γ_i$ and $b>1,$ we define a polymatroid $P(\mathcal{H},b).$ If all of the $Γ_i$ are isomorphic to $\mathbb{Z}/p\mathbb{Z},$ $p$ a prime, and $b=p,$ then $P(\mathcal{H},b)$ is the usual matroid associated to any $\mathbb{Z}/p\mathbb{Z}$-matrix whose row space equals $\mathcal{H}.$ In general, there are many ways in which the relationship between $P(\mathcal{H},b)$ and $\mathcal{H}$ mirrors that of the relationship between a matroid and a subspace of a finite vector space. These include representability by excluded minors, the Crapo-Rota critical theorem, the existence of a concrete algebraic object representing the polymatroid dual of $P(\mathcal{H},b),$ analogs of Greene's theorem and the MacWilliams identities when $\mathcal{H}$ is a group code over a nonabelian group, and a connection to the combinatorial Laplacian of a quotient space determined by $\mathcal{G}$ and $\mathcal{H}.$ We use the group Crapo-Rota critical theorem to demonstrate an extension to hypergraphs of the classical duality between proper colorings and nowhere-zero flows on graphs.
On the maximum intersecting sets of the general semilinear group of degree $2$
Let $p$ be a prime and $q = p^k$. A subset $\mathcal{F} \subset \operatorname{ΓL}_{2}(q)$ is intersecting if any two semilinear transformations in $\mathcal{F}$ agree on some non-zero vector in $\mathbb{F}_q^2$. We show that any intersecting set of $\operatorname{ΓL}_{2}(q)$ is of size at most that of a stabilizer of a non-zero vector, and we characterize the intersecting sets of this size. Our proof relies on finding a subgraph which is a lexicographic product in the derangement graph of $\operatorname{ΓL}_{2}(q)$ in its action on non-zero vectors of $\mathbb{F}_q^2$. This method is also applied to give a new proof that the only maximal intersecting sets of $\operatorname{GL}_{2}(q)$ are the maximum intersecting sets.
Variations on the Thompson theorem
Thompson's theorem stated that a finite group $G$ is solvable if and only if every $2$-generated subgroup of $G$ is solvable. In this paper, we prove some new criteria for both solvability and nilpotency of a finite group using certain condition on $2$-generated subgroups. We show that a finite group $G$ is solvable if and only if for every pair of two elements $x$ and $y$ in $G$ of coprime prime power order, if $\langle x,y\rangle$ is solvable, then $\langle x,y^g\rangle$ is solvable for all $g\in G$. Similarly, a finite group $G$ is nilpotent if and only if for every pair of elements $x$ and $y$ in $G$ of coprime prime power order, if $\langle x,y\rangle$ is solvable, then $x$ and $y^g$ commute for some $g\in G.$ Some applications to graphs defined on groups are given.
Lusztig varieties and Macdonald polynomials
This paper uses Lusztig varieties to give central elements of the Iwahori-Hecke algebra corresponding to unipotent conjugacy classes in the finite Chevalley group $GL_n(\mathbb{F}_q)$. We explain how these central elements are related to Macdonald polynomials and how this provides a framework for generalizing integral form and modified Macdonald polynomials to Lie types other than $GL_n$. The key steps are to recognize (a) that counting points in Lusztig varieties is equivalent to computing traces on the Hecke algebras, (b) that traces on the Hecke algebra determine elements of the center of the Hecke algebra, (c) that the Geck-Rouquier basis elements of the center of the Hecke algebra produce an `expansion matrix', (d) that the parabolic subalgebras of the Hecke algebra produce a `contraction matrix' and (e) that the combination `expansion-contraction' is the plethystic transformation that relates integral form Macdonald polynomials and modified Macdonald polynomials.
Problems on Group-labeled Matroid Bases
Consider a matroid equipped with a labeling of its ground set to an abelian group. We define the label of a subset of the ground set as the sum of the labels of its elements. We study a collection of problems on finding bases and common bases of matroids with restrictions on their labels. For zero bases and zero common bases, the results are mostly negative. While finding a non-zero basis of a matroid is not difficult, it turns out that the complexity of finding a non-zero common basis depends on the group. Namely, we show that the problem is hard for a fixed group if it contains an element of order two, otherwise it is polynomially solvable.
As a generalization of both zero and non-zero constraints, we further study $F$-avoiding constraints where we seek a basis or common basis whose label is not in a given set $F$ of forbidden labels. Using algebraic techniques, we give a randomized algorithm for finding an $F$-avoiding common basis of two matroids represented over the same field for finite groups given as operation tables. The study of $F$-avoiding bases with groups given as oracles leads to a conjecture stating that whenever an $F$-avoiding basis exists, an $F$-avoiding basis can be obtained from an arbitrary basis by exchanging at most $|F|$ elements. We prove the conjecture for the special cases when $|F|\le 2$ or the group is ordered. By relying on structural observations on matroids representable over fixed, finite fields, we verify a relaxed version of the conjecture for these matroids. As a consequence, we obtain a polynomial-time algorithm in these special cases for finding an $F$-avoiding basis when $|F|$ is fixed.
Symmetric functions and the explicit moment problem for abelian groups
Recently, Sawin and Wood (arXiv:math/2210.06279) proved a formula for the distribution of a random abelian group $G$ in terms of its $H$-moments $\mathbb{E} [\#\operatorname{Sur}(G,H)]$. We show that properties of Macdonald polynomials yield an alternate proof.
Chiral maps of given hyperbolic type on $A_k$
This paper proves the existence of a chiral map with alternating automorphism group for every hyperbolic type. We present a set of constructions using permutations for when at least one parameter is even, and call on previously known results for when both the valency and the face-length are odd.
List Coloring of some Cayley graphs using Kernel perfections
In this paper, we try to determine exact or bounds on the choosability, or list chromatic numbers of some Cayley graphs, typically some Unitary Cayley graphs and Cayley graphs on Dihedral groups.
Stable Graded Multiplicities for Harmonics on a Cyclic Quiver
We consider Vinberg $θ$-groups associated to a cyclic quiver on $k$ nodes. Let $K$ be the product of the general linear groups associated to each node. Then $K$ acts naturally on $\oplus \text{Hom}(V_i, V_{i+1})$ and by Vinberg's theory the polynomials are free over the invariants. We therefore consider the harmonics as a representation of $K$, and give a combinatorial formula for the stable graded multiplicity of each $K$-type. A key lemma provides a combinatorial separation of variables that allows us to cancel the invariants and obtain generalized exponents for the harmonics.
Ehrhart polynomials, Hecke series, and affine buildings
Given a lattice polytope $P$ and a prime $p$, we define a function from the set of primitive symplectic $p$-adic lattices to the rationals that extracts the $\ell$th coefficient of the Ehrhart polynomial of $P$ relative to the given lattice. Inspired by work of Gunnells and Rodriguez-Villegas in type $\mathsf{A}$, we show that these functions are eigenfunctions of a suitably defined action of the spherical symplectic Hecke algebra. Although they depend significantly on the polytope $P$, their eigenvalues are independent of $P$ and expressed as polynomials in $p$. We define local zeta functions that enumerate the values of these Hecke eigenfunctions on the vertices of the affine Bruhat--Tits buildings associated with $p$-adic symplectic groups. We compute these zeta functions by enumerating $p$-adic lattices by their elementary divisors and, simultaneously, one Hermite parameter. We report on a general functional equation satisfied by these local zeta functions, confirming a conjecture of Vankov.
Sandpile groups for cones over trees
Sandpile groups are a subtle graph isomorphism invariant, in the form of a finite abelian group, whose cardinality is the number of spanning trees in the graph. We study their group structure for graphs obtained by attaching a cone vertex to a tree. For example, it is shown that the number of generators of the sandpile group is at most one less than the number of leaves in the tree. For trees on a fixed number of vertices, the paths and stars are shown to provide extreme behavior, not only for the number of generators, but also for the number of spanning trees, and for Tutte polynomial evaluations that count the recurrent sandpile configurations by their numbers of chips.
Groups having minimal covering number 2 of diagonal type
Garonzi and Lucchini~\cite{GL} explored finite groups $G$ possessing a normal $2$-covering, where no proper quotient of $G$ exhibits such a covering. Their investigation offered a comprehensive overview of these groups, delineating that such groups fall into distinct categories: almost simple, affine, product action, or diagonal.
In this paper, we focus on the family falling under the diagonal type. Specifically, we present a thorough classification of finite diagonal groups possessing a normal $2$-covering, with the attribute that no proper quotient of $G$ has such a covering.
New scattered linearized quadrinomials
Let $1<t<n$ be integers, where $t$ is a divisor of $n$. An R-$q^t$-partially scattered polynomial is a $\mathbb F_q$-linearized polynomial $f$ in $\mathbb F_{q^n}[X]$ that satisfies the condition that for all $x,y\in\mathbb F_{q^n}^*$ such that $x/y\in\mathbb F_{q^t}$, if $f(x)/x=f(y)/y$, then $x/y\in\mathbb F_q$; $f$ is called scattered if this implication holds for all $x,y\in\mathbb F_{q^n}^*$. Two polynomials in $\mathbb F_{q^n}[X]$ are said to be equivalent if their graphs are in the same orbit under the action of the group $ΓL(2,q^n)$. For $n>8$ only three families of scattered polynomials in $\mathbb F_{q^n}[X]$ are known: $(i)$~monomials of pseudoregulus type, $(ii)$~binomials of Lunardon-Polverino type, and $(iii)$~a family of quadrinomials defined in [1,10] and extended in [8,13]. In this paper we prove that the polynomial $\varphi_{m,q^J}=X^{q^{J(t-1)}}+X^{q^{J(2t-1)}}+m(X^{q^J}-X^{q^{J(t+1)}})\in\mathbb F_{q^{2t}}[X]$, $q$ odd, $t\ge3$ is R-$q^t$-partially scattered for every value of $m\in\mathbb F_{q^t}^*$ and $J$ coprime with $2t$. Moreover, for every $t>4$ and $q>5$ there exist values of $m$ for which $\varphi_{m,q}$ is scattered and new with respect to the polynomials mentioned in $(i)$, $(ii)$ and $(iii)$ above. The related linear sets are of $ΓL$-class at least two.
Multiple-Error-Correcting Codes for Analog Computing on Resistive Crossbars
Error-correcting codes over the real field are studied which can locate outlying computational errors when performing approximate computing of real vector--matrix multiplication on resistive crossbars. Prior work has concentrated on locating a single outlying error and, in this work, several classes of codes are presented which can handle multiple errors. It is first shown that one of the known constructions, which is based on spherical codes, can in fact handle multiple outlying errors. A second family of codes is then presented with $\zeroone$~parity-check matrices which are sparse and disjunct; such matrices have been used in other applications as well, especially in combinatorial group testing. In addition, a certain class of the codes that are obtained through this construction is shown to be efficiently decodable. As part of the study of sparse disjunct matrices, this work also contains improved lower and upper bounds on the maximum Hamming weight of the rows in such matrices.
Self-Avoiding Walks on Cayley Graphs Through the Lens of Symbolic Dynamics
We study dynamical and computational properties of the set of bi-infinite self-avoiding walks on Cayley graphs, as well as ways to compute, approximate and bound their connective constant. To do this, we introduce the skeleton $X_{G,S}$ of a finitely generated group $G$ relative to a generating set $S$, which is a one-dimensional subshift made of configurations on $S$ that avoid all words that reduce to the identity. We provide a characterization of groups which have SFT skeletons and sofic skeletons: first, there exists a finite generating set $S$ such that $X_{G,S}$ is a subshift of finite type if and only if $G$ is a plain group; second, there exists $S$ such that $X_{G,S}$ is sofic if and only if $G$ is a plain group, $\mathbb{Z}\times\mathbb{Z}/2\mathbb{Z}$ or $\mathcal{D}_{\infty}\times\mathbb{Z}/2\mathbb{Z}$. We also characterize finitely generated torsion groups as groups whose skeletons are aperiodic.
For connective constants, using graph height functions and bridges, we show that Cayley graphs of finitely generated torsion groups do not admit graph height functions, and that for groups that admit transitive graph height functions, the connective constant is equal to the growth rate of periodic points of the skeleton. Finally, we take a brief look at the set of bi-infinite geodesics and introduce an analog of the connective constant for the geodesic growth.