group
10405 papers tagged with this keyword
Exploring Projective Norm Graphs
The projective norm graphs $\text{NG}(q,t)$ provide tight constructions for the Turán number of complete bipartite graphs $K_{t,s}$ with $s>(t-1)!$. In this paper we determine their automorphism group and explore their small subgraphs. To this end we give quite precise estimates on the number of solutions of certain equation systems involving norms over finite fields. The determination of the largest integer $s_t$, such that the projective norm graph $\text{NG}(q,t)$ contains $K_{t,s_t}$ for all large enough prime powers $q$ is an important open question with far-reaching general consequences. The best known bounds, $t-1\leq s_t \leq (t-1)!$, are far apart for $t\geq 4$. Here we prove that $\text{NG}(q,4)$ does contain (many) $K_{4,6}$ for any prime power $q$ not divisble by $2$ or $3$. This greatly extends recent work of Grosu, using a completely different approach. Along the way we also count the copies of any fixed $3$-degenerate subgraph, and find that projective norm graphs are quasirandom with respect to this parameter. Some of these results also extend the work of Alon and Shikhelman on generalized Turán numbers. Finally we also give a new, more elementary proof for the $K_{4,7}$-freeness of $\text{NG}(q,4)$.
Invariants of polynomials mod Frobenius powers
Published
• View Publication
• BIB
Lewis, Reiner, and Stanton conjectured a Hilbert seriesfor a space of invariants under an action of finite general linear groups using $(q,t)$-binomial coefficients. This work gives an analog in positive characteristic of theorems relating various Catalan numbers to the representation theory of rational Cherednik algebras. They consider a finite general linear group as a reflection group acting on the quotient of a polynomial ring by iterated powers of the irrelevant ideal under the Frobenius map. We prove a variant of their conjecture in the local case, when the group acting fixes a reflecting hyperplane.
Existence of non-Cayley Haar graphs
Published
• View Publication
• BIB
A Cayley graph of a group $H$ is a finite simple graph $Γ$ such that its automorphism group ${\rm Aut}(Γ)$ contains a subgroup isomorphic to $H$ acting regularly on $V(Γ)$, while a Haar graph of $H$ is a finite simple bipartite graph $Σ$ such that ${\rm Aut}(Σ)$ contains a subgroup isomorphic to $H$ acting semiregularly on $V(Σ)$ and the $H$-orbits are equal to the partite sets of $Σ$. It is well-known that every Haar graph of finite abelian groups is a Cayley graph. In this paper, we prove that every finite non-abelian group admits a non-Cayley Haar graph except the dihedral groups $D_6$, $D_8$, $D_{10}$, the quaternion group $Q_8$ and the group $Q_8\times\mathbb{Z}_2$. This answers an open problem proposed by Estélyi and Pisanski in 2016.
The automorphism group of the zero-divisor digraph of matrices over an antiring
We determine the automorphism group of the zero-divisor digraph of the semiring of matrices over an antinegative commutative semiring with a finite number of zero-divisors.
Bisector energy and pinned distances in positive characteristic
We prove a new lower bound for the number of pinned distances over finite fields: if $A$ is a sufficiently small subset of $\mathbb{F}_q^2$, then there is an element in $A$ that determines $\gg |A|^{2/3}$ distinct distances to other elements of $A$. Combined with results for large subsets $A\subseteq\mathbb{F}_q^2$, this improves all previously known lower bounds on distinct distances over finite fields.
In fact, we obtain an upper bound for the number of isosceles triangles determined by $A$. For that we use the concept of bisector energy. It turns out that the latter can be expressed as a point-plane incidence bound, so one can use a theorem of the third author.
The conversion to this incidence problem relies on the Blaschke-Grünwald kinematic mapping -- an embedding of the group of rigid motions of $\mathbb{F}_q^2$ into an open subset of the projective three space. This has long been known in kinematics and geometric algebra; we provide a proof for arbitrary fields using Clifford algebras.
Two-row $W$-graphs in affine type $A$
Published
• View Publication
• BIB
For affine symmetric groups we construct finite $W$-graphs corresponding to two-row shapes, and prove their uniqueness. This gives the first non-trivial family of examples of finite $W$-graphs in an affine type. We compare our construction with quotients of periodic $W$-graphs defined by Lusztig. Under certain positivity assumption on the latter the two are shown to be isomorphic.
Superpermutation matrices
Superpermutations are words over a finite alphabet containing every permutation as a factor. Finding the minimal length of a superpermutation is still an open problem. In this article, we introduce superpermutations matrices. We establish a link between the minimal size of such a matrix and the minimal length of a universal word for the quotient of the symmetric group $S_n$ by an equivalence relation. We will then give non-trivial bounds on the minimal length of such a word and prove that the limit of their ratio when $n$ approaches infinity is 2.
Parabolic subgroups and Automorphism groups of Schubert varieties
Published in Comptes Rendus Mathematique, Volume 356, Issue 5, May 2018, Pages 542-549
• View Publication
• BIB
Let $G$ be a simple algebraic group of adjoint type over the field $\mathbb{C}$ of complex numbers, $B$ be a Borel subgroup of $G$ containing a maximal torus $T$ of $G.$ Let $w$ be an element of the Weyl group $W$ and $X(w)$ be the Schubert variety in $G/B$ corresponding to $w$. In this article we show that given any parabolic subgroup $P$ of $G$ containing $B$ properly, there is an element $w\in W$ such that $P$ is the connected component, containing the identity element of the group of all algebraic automorphisms of $X(w).$
Rigidity of Bott-Samelson-Demazure-Hansen variety for $PSO(2n+1, \mathbb{C})$
Published in Journal of Lie Theory 29 (2019) 107-142
• View Publication
• BIB
Let $G=PSO(2n+1, \mathbb{C}) (n \ge 3)$ and $B$ be the Borel subgroup of $G$ containing maximal torus $T$ of $G.$ Let $w$ be an element of Weyl group $W$ and $X(w)$ be the Schubert variety in the flag variety $G/B$ corresponding to $w.$ Let $Z(w, \underline{i})$ be the Bott-Samelson-Demazure-Hansen variety (the desingularization of $X(w)$) corresponding to a reduced expression $\underline{i}$ of $w.$ In this article, we study the cohomology modules of the tangent bundle on $Z(w_{0}, \underline{i}),$ where $w_{0}$ is the longest element of the Weyl group $W.$ We describe all the reduced expressions of $w_{0}$ in terms of a Coxeter element such that all the higher cohomology modules of the tangent bundle on $Z(w_{0}, \underline{i})$ vanish (see Theorem \ref{theorem 8.1}).
Rigidity of Bott-Samelson-Demazure-Hansen variety for $F_4$ and $G_2$
Published in Proceedings - Mathematical Sciences volume 130, Article number: 19 (2020)
• View Publication
• BIB
Let $G$ be a simple algebraic group of adjoint type over $\mathbb{C},$ whose root system is of type $F_{4}.$ Let $T$ be a maximal torus of $G$ and $B$ be a Borel subgroup of $G$ containing $T.$ Let $w$ be an element of Weyl group $W$ and $X(w)$ be the Schubert variety in the flag variety $G/B$ corresponding to $w.$ Let $Z(w, \underline{i})$ be the Bott-Samelson-Demazure-Hansen variety (the desingularization of $X(w)$) corresponding to a reduced expression $\underline{i}$ of $w.$ In this article, we study the cohomology modules of the tangent bundle on $Z(w_{0}, \underline{i}),$ where $w_{0}$ is the longest element of the Weyl group $W.$ We describe all the reduced expressions of $w_{0}$ in terms of a Coxeter element such that $Z(w_{0}, \underline{i})$ is rigid (see Theorem 8.1). Further, if $G$ is of type $G_{2},$ there is no reduced expression $\underline{i}$ of $w_{0}$ for which $Z(w_{0}, \underline{i})$ is rigid (see Theorem 8.2).
Chip-Firing Games and Critical Groups
Published in A Project-Based Guide to Undergraduate Research in Mathematics, 107-152, Found. Undergrad. Res. Math., Birkhäuser, Cham, 2020
• View Publication
• BIB
In this expository article intended to be accessible to undergraduate students we introduce a finite abelian group that can be associated to any finite connected graph. This group can be defined in an elementary combinatorial way in terms of chip-firing operations, and has been an object of interest in combinatorics, algebraic geometry, statistical physics, and several other areas of mathematics. We will begin with basic definitions and examples and develop a number of properties that can be derived by looking at this group from different angles. Throughout, we will give exercises, some of which are straightforward and some of which are open questions. We will also attempt to highlight some of the many contributions to this area made by undergraduate students
Counting pattern-avoiding integer partitions
Published
• View Publication
• BIB
A partition $α$ is said to contain another partition (or pattern) $μ$ if the Ferrers board for $μ$ is attainable from $α$ under removal of rows and columns. We say $α$ avoids $μ$ if it does not contain $μ$. In this paper we count the number of partitions of $n$ avoiding a fixed pattern $μ$, in terms of generating functions and their asymptotic growth rates.
We find that the generating function for this count is rational whenever $μ$ is (rook equivalent to) a partition in which any two part sizes differ by at least two. In doing so, we find a surprising connection to metacyclic $p$-groups. We further obtain asymptotics for the number of partitions of $n$ avoiding a pattern $μ$. Using these asymptotics we conclude that the generating function for $μ$ is not algebraic whenever $μ$ is rook equivalent to a partition with distinct parts whose first two parts are positive and differ by 1.
Congruences in character tables of symmetric groups
If $λ$ and $μ$ are two non-empty Young diagrams with the same number of squares, and $\boldsymbolλ$ and $\boldsymbolμ$ are obtained by dividing each square into $d^2$ congruent squares, then the corresponding character value $χ_{\boldsymbolλ}(\boldsymbolμ)$ is divisible by $d!$.
Strong external difference families in abelian and non-abelian groups
Published
• View Publication
• BIB
Strong external difference families (SEDFs) have applications to cryptography and are rich combinatorial structures in their own right; until now, all SEDFs have been in abelian groups. In this paper, we consider SEDFs in both abelian and non-abelian groups. We characterize the order of groups possessing admissible parameters for non-trivial SEDFs, develop non-existence and existence results, several of which extend known results, and present the first family of non-abelian SEDFs. We introduce the concept of equivalence for EDFs and SEDFs, and begin the task of enumerating SEDFs. Complete results are presented for all groups up to order $24$, underpinned by a computational approach.
Invariant theory for coincidental complex reflection groups
Published
• View Publication
• BIB
V.F. Molchanov considered the Hilbert series for the space of invariant skew-symmetric tensors and dual tensors with polynomial coefficients under the action of a real reflection group, and speculated that it had a certain product formula involving the exponents of the group. We show that Molchanov's speculation is false in general but holds for all coincidental complex reflection groups when appropriately modified using exponents and co-exponents. These are the irreducible well-generated (i.e., duality) reflection groups with exponents forming an arithmetic progression and include many real reflection groups and all non-real Shephard groups, e.g., the Shephard-Todd infinite family $G(d,1,n)$. We highlight consequences for the $q$-Narayana and $q$-Kirkman polynomials, giving simple product formulas for both, and give a $q$-analogue of the identity transforming the $h$-vector to the $f$-vector for the coincidental finite type cluster/Cambrian complexes of Fomin--Zelevinsky and Reading.
Automorphism groups and new constructions of maximum additive rank metric codes with restrictions
Published
• View Publication
• BIB
Let $d, n \in \mathbb{Z}^+$ such that $1\leq d \leq n$. A $d$-code $\mathcal{C} \subset \mathbb{F}_q^{n \times n}$ is a subset of order $n$ square matrices with the property that for all pairs of distinct elements in $\mathcal{C}$, the rank of their difference is greater than or equal to $d$. A $d$-code with as many as possible elements is called a maximum $d$-code. The integer $d$ is also called the minimum distance of the code. When $d<n$, a classical example of such an object is the so-called generalized Gabidulin code. There exist several classes of maximum $d$-codes made up respectively of symmetric, alternating and hermitian matrices. In this article we focus on such examples. Precisely, we determine their automorphism groups and solve the equivalence issue for them. Finally, we exhibit a maximum symmetric $2$-code which is not equivalent to the one with same parameters known so far.
Affine flag graphs and classification of a family of symmetric graphs with complete quotients
Published in Discrete Math. 342 (2019) 1792-1798
• View Publication
• BIB
A graph $Γ$ is $G$-symmetric if $G$ is a group of automorphisms of $Γ$ which is transitive on the set of ordered pairs of adjacent vertices of $Γ$. If $V(Γ)$ admits a nontrivial $G$-invariant partition ${\cal B}$ such that for blocks $B, C \in {\cal B}$ adjacent in the quotient graph $Γ_{\cal B}$ of $Γ$ relative to ${\cal B}$, exactly one vertex of $B$ has no neighbour in $C$, then $Γ$ is called an almost multicover of $Γ_{\cal B}$. In this case an incidence structure with point set ${\cal B}$ arises naturally, and it is a $(G, 2)$-point-transitive and $G$-block-transitive 2-design if in addition $Γ_{\cal B}$ is a complete graph. In this paper we classify all $G$-symmetric graphs $Γ$ such that (i) ${\cal B}$ has block size $|B| \ge 3$; (ii) $Γ_{\cal B}$ is complete and almost multi-covered by $Γ$; (iii) the incidence structure involved is a linear space; and (iv) $G$ contains a regular normal subgroup which is elementary abelian. This classification together with earlier results in [A. Gardiner and C. E. Praeger, Australas. J. Combin. 71 (2018) 403--426], [M.~Giulietti et al., J. Algebraic Combin. 38 (2013) 745--765] and [T. Fang et al., Electronic J. Combin. 23 (2) (2016) P2.27] completes the classification of symmetric graphs satisfying (i) and (ii).
Bounding the maximal size of independent generating sets of finite groups
Published
• View Publication
• BIB
Denote by $m(G)$ the largest size of a minimal generating set of a finite group $G$. We estimate $m(G)$ in terms of $\sum_{p\in π(G)}d_p(G),$ where we are denoting by $d_p(G)$ the minimal number of generators of a Sylow $p$-subgroup of $G$ and by $π(G)$ the set of prime numbers dividing the order of $G$.
Flag-transitive $4$-designs and $PSL(2,q)$ groups
Published
• View Publication
• BIB
This paper considers flag-transitive $4$-$(q+1,k,λ)$ designs with $λ\geq5$ and $q+1>k>4$. Let the automorphism group of a design $\cal D$ be a simple group $G=PSL(2,q)$. Depend on the fact that the setwise stabilizer $G_B$ must be one of twelve kinds of subgroups, up to isomorphism we get the following two results. (i) If $10\geq λ\geq 5$, then except $(G,G_x,G_B,k,λ)=(PSL(2,761),{E_{761}}\rtimes {C_{380}},S_4,24,7)$ or $(PSL(2,512),{E_{512}}\rtimes {C_{511}},{D_{18}},18,8)$ undecided, $\cal D$ is a $4$-$(24,8,5)$, $4$-$(9,8,5)$, $4$-$(8,6,6)$, $4$-$(10,9,6)$, $4$-$(9,6,10)$, $4$-$(9,7,10)$, $4$-$(12,11,8)$ or $4$-$(14,13,10)$ design with
$G_B=D_8$, ${E_8}\rtimes {C_7}$, $D_6$, ${E_9}\rtimes {C_4}$, $PSL(2,2)$, $D_{14}$, ${E_{11}}\rtimes {C_{5}}$ or ${E_{13}}\rtimes {C_6}$ respectively.
(ii) If $λ>10$, ${G_B}=A_4$, $S_4$, $A_5$, $PGL(2,q_0)$($g>1$ even) or $PSL(2,q_0)$, where ${q_0}^g=q$, then there is no such design.
New nonexistence results on $(m,n)$-generalized bent functions
Published
• View Publication
• BIB
In this paper, we present some new nonexistence results on $(m,n)$-generalized bent functions, which improved recent results. More precisely, we derive new nonexistence results for general $n$ and $m$ odd or $m \equiv 2 \pmod{4}$, and further explicitly prove nonexistence of $(m,3)$-generalized bent functions for all integers $m$ odd or $m \equiv 2 \pmod{4}$. The main tools we utilized are certain exponents of minimal vanishing sums from applying characters to group ring equations that characterize $(m,n)$-generalized bent functions.