group
10405 papers tagged with this keyword
Equivariant Kazhdan-Lusztig polynomials of thagomizer matroids
The equivariant Kazhdan-Lusztig polynomial of a matroid was introduced by Gedeon, Proudfoot, and Young. Gedeon conjectured an explicit formula for the equivariant Kazhdan-Lusztig polynomials of thagomizer matroids with an action of symmetric groups. In this paper, we discover a new formula for these polynomials which is related to the equivariant Kazhdan-Lusztig polynomials of uniform matroids. Based on our new formula, we confirm Gedeon's conjecture by the Pieri rule.
Minimal additive complements in finitely generated abelian groups
Published in Ramanujan J. 57 (2022), 215-238
• View Publication
• BIB
Given two non-empty subsets $W,W'\subseteq G$ in an arbitrary abelian group $G$, $W'$ is said to be an additive complement to $W$ if $W + W'=G$ and it is minimal if no proper subset of $W'$ is a complement to $W$. The notion was introduced by Nathanson and previous work by him, Chen--Yang, Kiss--Sàndor--Yang etc. focussed on $G =\mathbb{Z}$. In the higher rank case, recent work by the authors treated a class of subsets, namely the eventually periodic sets. However, for infinite subsets, not of the above type, the question of existence or inexistence of minimal complements is open. In this article, we study subsets which are not eventually periodic. We introduce the notion of "spiked subsets" and give necessary and sufficient conditions for the existence of minimal complements for them. This provides a partial answer to a problem of Nathanson.
Central limit theorem for peaks of a random permutation in a fixed conjugacy class of $S_n$
Published
• View Publication
• BIB
The number of peaks of a random permutation is known to be asymptotically normal. We give a new proof of this and prove a central limit theorem for the distribution of peaks in a fixed conjugacy class of the symmetric group. Our technique is to apply ``analytic combinatorics'' to study a complicated but exact generating function for peaks in a given conjugacy class.
Linear degenerations of flag varieties: partial flags, defining equations, and group actions
We continue, generalize and expand our study of linear degenerations of flag varieties from [G. Cerulli Irelli, X. Fang, E. Feigin, G. Fourier, M. Reineke, Math. Z. 287 (2017), no. 1-2, 615-654]. We realize partial flag varieties as quiver Grassmannians for equi-oriented type A quivers and construct linear degenerations by varying the corresponding quiver representation. We prove that there exists the deepest flat degeneration and the deepest flat irreducible degeneration: the former is the partial analogue of the mf-degenerate flag variety and the latter coincides with the partial PBW-degenerate flag variety. We compute the generating function of the number of orbits in the flat irreducible locus and study the natural family of line bundles on the degenerations from the flat irreducible locus. We also describe explicitly the reduced scheme structure on these degenerations and conjecture that similar results hold for the whole flat locus. Finally, we prove an analogue of the Borel-Weil theorem for the flat irreducible locus.
New necessary conditions for Payley type PDS in Abelian groups
In this paper we prove that if there is a regular Paley type partial difference set in an Abelian group $G$ of order $v$, where $v=p_1^{2k_1}p_2^{2k_2}\cdots p_n^{2k_n}$, $n\ge 2$, $p_1$, $p_2$, $\cdots$, $p_n$ are distinct odd prime numbers, then for any $1 \le i \le n$, $p_i$ is congruent to 3 modulo 4 whenever $k_i$ is odd. These new necessary conditions further limit the specific order of an Abelian group $G$ in which there can exist a Paley type partial difference set. Our result is similar to a result on Abelian Hadamard (Menon) difference sets proved by Ray-Chaudhuri and Xiang in 1997.
The Herzog-Schönheim conjecture for solvable groups
Herzog and Schönheim conjectured that any nontrivial partition of a group into cosets must contain two cosets with the same index.
2- and 3-Covariant Equiangular Tight Frames
Equiangular tight frames (ETFs) are configurations of vectors which are optimally geometrically spread apart and provide resolutions of the identity. Many known constructions of ETFs are group covariant, meaning they result from the action of a group on a vector, like all known constructions of symmetric, informationally complete, positive operator-valued measures. In this short article, some results characterizing the transitivity of the symmetry groups of ETFs will be presented as well as a proof that an infinite class of so-called Gabor-Steiner ETFs are roux lines, where roux lines are a generalization of doubly transitive lines.
The Brown-Erdős-Sós Conjecture in finite abelian groups
The Brown-Erdős-Sós conjecture, one of the central conjectures in extremal combinatorics, states that for any integer $m\geq 6,$ if a 3-uniform hypergraph on $n$ vertices contains no $m$ vertices spanning at least $m-3$ edges, then the number of edges is $o(n^2).$ We prove the conjecture for triple systems coming from finite abelian groups.
About an extension of the Davenport-Rado result to the Herzog-Schonheim conjecture for free groups
Published in Advances in Group theory and applications 2021
• Search Publication
Let $G$ be a group and $H_1$,...,$H_s$ be subgroups of $G$ of indices $d_1$,...,$d_s$ respectively. In 1974, M. Herzog and J. Schönheim conjectured that if $\{H_iα_i\}_{i=1}^{i=s}$, $α_i\in G$, is a coset partition of $G$, then $d_1$,..,$d_s$ cannot be distinct. We consider the Herzog-Schönheim conjecture for free groups of finite rank and propose a new approach, based on an extension of the Davenport-Rado result for $G=\mathbb{Z}$.
Cutoff on Ramanujan complexes and classical groups
Published in Commentarii Mathematici Helvetici, 97(3):431-456, 2022
• View Publication
• BIB
The total-variation cutoff phenomenon has been conjectured to hold for simple random walk on all transitive expanders. However, very little is actually known regarding this conjecture, and cutoff on sparse graphs in general. In this paper we establish total-variation cutoff for simple random walk on Ramanujan complexes of type $\widetilde{A}_{d}$ $(d\geq1)$. As a result, we obtain explicit generators for the finite classical groups $\mathrm{PGL}_{n}(\mathbb{F}_{q})$ for which the associated Cayley graphs exhibit total-variation cutoff.
Steiner systems $S(2, 4, \frac{3^m-1}{2})$ and $2$-designs from ternary linear codes of length $\frac{3^m-1}{2}$
Coding theory and $t$-designs have close connections and interesting interplay. In this paper, we first introduce a class of ternary linear codes and study their parameters. We then focus on their three-weight subcodes with a special weight distribution. We determine the weight distributions of some shortened codes and punctured codes of these three-weight subcodes. These shortened and punctured codes contain some codes that have the same parameters as the best ternary linear codes known in the database maintained by Markus Grassl at http://www.codetables.de/. These three-weight subcodes with a special weight distribution do not satisfy the conditions of the Assmus-Mattson theorem and do not admit $2$-transitive or $2$-homogeneous automorphism groups in general. By employing the theory of projective geometries and projective generalized Reed-Muller codes, we prove that they still hold $2$-designs. We also determine the parameters of these $2$-designs. This paper mainly confirms some recent conjectures of Ding and Li regarding Steiner systems and $2$-designs from a special type of ternary projective codes.
New Lower Bounds for Permutation Codes using Linear Block Codes
In this paper we prove new lower bounds for the maximal size of permutation codes by connecting the theory of permutation codes with the theory of linear block codes. More specifically, using the columns of a parity check matrix of an $[n,k,d]_q$ linear block code, we are able to prove the existence of a permutation code in the symmetric group of degree $n$, having minimum distance at least $d$ and large cardinality. With our technique, we obtain new lower bounds for permutation codes that enhance the ones in the literature and provide asymptotic improvements in certain regimes of length and distance of the permutation code.
Realization of digraphs in Abelian groups and its consequences
Published in Journal of Graph Theory (2021) 1-15
• View Publication
• BIB
Let $\overrightarrow{G}$ be a directed graph with no component of orderless than~$3$, and let $Γ$ be a finite Abelian group such that
$|Γ|\geq 4|V(\overrightarrow{G})|$ or if $|V(\overrightarrow{G})|$ is large enough with respect to an arbitrarily fixed $\varepsilon>0$ then
$|Γ|\geq (1+\varepsilon)|V(\overrightarrow{G})|$. We show that there exists an injective mapping $\varphi$ from $V(\overrightarrow{G})$ to the group $Γ$ such that $\sum_{x\in V(C)}\varphi(x) = 0$ for every connected component $C$ of $\overrightarrow{G}$, where $0$ is the identity element of $Γ$. Moreover we show some applications of this result to group distance magic labelings.
Extensions of Schreiber's theorem on discrete approximate subgroups in $\mathbb{R}^d$
In this paper we give an alternative proof of Schreiber's theorem which says that an infinite discrete approximate subgroup in $\mathbb{R}^d$ is relatively dense around a subspace. We also deduce from Schreiber's theorem two new results. The first one says that any infinite discrete approximate subgroup in $\mathbb{R}^d$ is a restriction of a Meyer set to a thickening of a linear subspace in $\mathbb{R}^d$, and the second one provides an extension of Schreiber's theorem to the case of the Heisenberg group.
Existence of regular $3$-hypertopes with $2^n$ chambers
For any positive integers $n, s, t, l$ such that $n \geq 10$, $s, t \geq 2$, $l \geq 1$ and $n \geq s+t+l$, a new infinite family of regular 3-hypertopes with type $(2^s, 2^t, 2^l)$ and automorphism group of order $2^n$ is constructed.
Some identities involving second kind Stirling numbers of types $B$ and $D$
Published in Electro. J. Combin. 26(3) (2019), P3.9
• View Publication
• BIB
Using Reiner's definition of Stirling numbers of the second kind in types $B$ and $D$, we generalize two well-known identities concerning the classical Stirling numbers of the second kind. The first identity relates them with Eulerian numbers and the second identity interprets them as entries in a transition matrix between the elements of two standard bases of the polynomial ring $R[x]$. Finally, we generalize these identities to the group of colored permutations $G_{m,n}$.
A classification of the m-graphical regular representation of finite groups
In this paper we extend the classical notion of digraphical and graphical regular representation of a group and we classify, by means of an explicit description, the finite groups satisfying this generalization. A graph or digraph is called regular if each vertex has the same valency, or, the same out-valency and the same in-valency, respectively. An m-(di)graphical regular representation (respectively, m-GRR and m-DRR, for short) of a group G is a regular (di)graph whose automorphism group is isomorphic to G and acts semiregularly on the vertex set with m orbits. When m=1, this definition agrees with the classical notion of GRR and DRR. Finite groups admitting a 1-DRR were classified by Babai in 1980, and the analogue classification of finite groups admitting a 1-GRR was completed by Godsil in 1981. Pivoting on these two results in this paper we classify finite groups admitting an m-GRR or an m-DRR, for arbitrary positive integers m. For instance, we prove that every non-identity finite group admits an m-GRR, for every m>4.
Regular maps of order $2$-powers
In this paper, we consider the possible types of regular maps of order $2^n$, where the order of a regular map is the order of automorphism group of the map. For $n \le 11$, M. Conder classified all regular maps of order $2^n$. It is easy to classify regular maps of order $2^n$ whose valency or covalency is $2$ or $2^{n-1}$. So we assume that $n \geq 12$ and $2\leq s,t\leq n-2$ with $s\leq t$ to consider regular maps of order $2^n$ with type $\{2^s, 2^t\}$. We show that for $s+t\leq n$ or for $s+t>n$ with $s=t$, there exists a regular map of order $2^n$ with type $\{2^s, 2^t\}$, and furthermore, we classify regular maps of order $2^n$ with types $\{2^{n-2},2^{n-2}\}$ and $\{2^{n-3},2^{n-3}\}$. We conjecture that, if $s+t>n$ with $s<t$, then there is no regular map of order $2^n$ with type $\{2^s, 2^t\}$, and we confirm the conjecture for $t=n-2$ and $n-3$.
On regular polytopes of order $2^n$
Published
• View Publication
• BIB
For each $d\geq 3$, $n \geq 10$, and $k_1, k_2, \ldots, k_{d-1}\geq 2$ with $k_1+k_2+\ldots+k_{d-1}\leq n-1$, we construct a regular $d$-polytope whose automorphism group is of order $2^n$ and whose Schläfli type is $\{2^{k_1},2^{k_2}, \ldots, 2^{k_{d-1}}\}$.
On the non-existence of certain transitive actions of solvable groups on symplectic spreads
We prove the following result. Let q be a power of an odd prime and let Sp(2m,q) denote the symplectic group of degree 2m over F_q. Then if q=1 mod 4, no solvable subgroup of Sp(2m,q) acts transitively on a complete symplectic spread defined on the underlying vector space of dimension 2m, unless m=1 and q=5. The solvable group Sp(2,3) of order 24 acts transitively on a complete symplectic spread defined on a two-dimensional vector space over F_5. By contrast, when q=3 mod 4, there is a metacyclic group of order 2m(q^m+1) that acts transitively on a complete symplectic spread.