group
10226 papers tagged with this keyword
On a conjecture of Zhuang and Gao
Published
• View Publication
• BIB
Let $G$ be a multiplicatively written finite group. We denote by $\mathsf E(G)$ the smallest integer $t$ such that every sequence of $t$ elements in $G$ contains a product-one subsequence of length $|G|$. In 1961, Erdős, Ginzburg and Ziv proved that $\mathsf E(G)\leq 2|G|-1$ for every finite ablian group $G$ and this result is known as the Erdős-Ginzburg-Ziv Theorem. In 2005, Zhuang and Gao conjectured that $\mathsf E(G)=\mathsf d(G)+|G|$, where $\mathsf d(G)$ is the small Davenport constant. In this paper, we confirm the conjecture for the case when $G=\langle x, y| x^p=y^m=1, x^{-1}yx=y^r\rangle$, where $p$ is the smallest prime divisor of $|G|$ and $\mbox{gcd}(p(r-1), m)=1$.
Additive bases of $C_3\oplus C_{3q}$
Published
• View Publication
• BIB
Let $G$ be a finite abelian group and $p$ be the smallest prime dividing $|G|$. Let $S$ be a sequence over $G$. We say that $S$ is regular if for every proper subgroup $H \subsetneq G$, $S$ contains at most $|H|-1$ terms from $H$. Let $\mathsf c_0(G)$ be the smallest integer $t$ such that every regular sequence $S$ over $G$ of length $|S|\geq t$ forms an additive basis of $G$, i.e., $\sum(S)=G$. The invariant $\mathsf c_0(G)$ was first studied by Olson and Peng in 1980's, and since then it has been determined for all finite abelian groups except for the groups with rank 2 and a few groups of rank 3 or 4 with order less than $10^8$. In this paper, we focus on the remaining case concerning groups of rank 2. It was conjectured by the first author and Han (Int. J. Number Theory 13 (2017) 2453-2459) that $\mathsf c_0(G)=pn+2p-3$ where $G=C_p\oplus C_{pn}$ with $n\geq 3$. We confirm the conjecture for the case when $p=3$ and $n=q \,(\geq 5)$ is a prime number.
Regular character-graphs whose eigenvalues are greater than or equal to -2
Published
• View Publication
• BIB
Let $G$ be a finite group and $\mathrm{Irr}(G)$ be the set of all complex irreducible characters of $G$. The character-graph $Δ(G)$ associated to $G$, is a graph whose vertex set is the set of primes which divide the degrees of some characters in $\mathrm{Irr}(G)$ and two distinct primes $p$ and $q$ are adjacent in $Δ(G)$ if the product $pq$ divides $χ(1)$, for some $χ\in\mathrm{Irr}(G)$. Tong-viet posed the conjecture that if $Δ(G)$ is $k$-regular for some integer $k\geqslant 2$, then $Δ(G)$ is either a complete graph or a cocktail party graph. In this paper, we show that his conjecture is true for all regular character-graphs whose eigenvalues are in the interval $[-2, \infty )$.
On the invariant E(G) for groups of odd order
Published
• View Publication
• BIB
Let $G$ be a multiplicatively written finite group. We denote by $\mathsf E(G)$ the smallest integer $t$ such that every sequence of $t$ elements in $G$ contains a product-one subsequence of length $|G|$. In 1961, Erdős, Ginzburg and Ziv proved that $\mathsf E(G)\leq 2|G|-1$ for every finite solvable group $G$ and this result is well known as the Erdős-Ginzburg-Ziv Theorem. In 2010, Gao and Li improved this result to $\mathsf E(G)\leq\frac{7|G|}{4}-1$ and they conjectured that $\mathsf E(G)\leq \frac{3|G|}{2}$ holds for any finite non-cyclic group. In this paper, we confirm the conjecture for all finite non-cyclic groups of odd order.
Lattice associated to a Shi variety
Published
• View Publication
• BIB
Let $W$ be a irreducible Weyl group and $W_a$ its affine Weyl group. In a previous article the author defined an affine variety $\widehat{X}_{W_a}$, called the Shi variety of $W_a$, whose integral points are in bijection with $W_a$. The set of irreducible components of $\widehat{X}_{W_a}$, denoted $H^0(\widehat{X}_{W_a})$, is of some interest and we show in this article that $H^0(\widehat{X}_{W_a})$ has a structure of semidistributive lattice.
Abelian sections of the symmetric groups with respect to their index
Published in Arch. Math. (2022)
• View Publication
• BIB
We show the existence of an absolute constant $α>0$ such that, for every $k \geq 3$, $G:=\mathop{\mathrm{Sym}}(k)$, and for every $H \leqslant G$ of index at least $3$, one has $|H/[H,H]| \leq |G:H|^{α/ \log \log |G:H|}$. This inequality is the best possible for the symmetric groups, and we conjecture that it is the best possible for every family of arbitrarily large finite groups.
Intersection Problems in Extremal Combinatorics: Theorems, Techniques and Questions Old and New
The study of intersection problems in Extremal Combinatorics dates back perhaps to 1938, when Paul Erdős, Chao Ko and Richard Rado proved the (first) `Erdős-Ko-Rado theorem' on the maximum possible size of an intersecting family of $k$-element subsets of a finite set. Since then, a plethora of results of a similar flavour have been proved, for a range of different mathematical structures, using a wide variety of different methods. Structures studied in this context have included families of vector subspaces, families of graphs, subsets of finite groups with given group actions, and of course uniform hypergraphs with stronger or weaker intersection conditions imposed. The methods used have included purely combinatorial ones such as shifting/compressions, algebraic methods (including linear-algebraic, Fourier analytic and representation-theoretic), and more recently, analytic, probabilistic and regularity-type methods. As well as being natural problems in their own right, intersection problems have connections with many other parts of Combinatorics and with Theoretical Computer Science (and indeed with many other parts of Mathematics), both through the results themselves, and the methods used. In this survey paper, we discuss both old and new results (and both old and new methods), in the field of intersection problems. Many interesting open problems remain; we will discuss several. For expositional and pedagogical purposes, we also take this opportunity to give slightly streamlined versions of proofs (due to others) of several classical results in the area. This survey is intended to be useful to PhD students, as well as to more established researchers. It is a personal perspective on the field, and is not intended to be exhaustive; we apologise for any omissions. It is an expanded version of a paper that will appear in the Proceedings of the 29th British Combinatorial Conference.
Enumerating Magic Distinct Labellings of the Cube
Published
• View Publication
• BIB
We find by applying MacMahon's partition analysis that all magic labellings of the cube are of eight types, each generated by six basis elements. A combinatorial proof of this fact is given. The number of magic labellings of the cube is thus reobtained as a polynomial in the magic sum of degree $5$. Then we enumerate magic distinct labellings, the number of which turns out to be a quasi-polynomial of period 720720. We also find the group of symmetry can be used to significantly simplify the computation.
Elekes-Szabó for groups, and approximate subgroups in weak general position
We show that with a suitable weak notion of general position, the Elekes-Szabó condition on the group operation of a connected complex algebraic group characterises nilpotence of the group. Along the way, we prove a Mordell-Lang result for generic finitely generated subgroups of commutative complex algebraic groups.
Enumerating conjugacy classes of graphical groups over finite fields
Published
• View Publication
• BIB
Each graph and choice of a commutative ring gives rise to an associated graphical group. In this article, we introduce and investigate graph polynomials that enumerate conjugacy classes of graphical groups over finite fields according to their sizes.
The apparent structure of dense Sidon sets
Published
• View Publication
• BIB
The correspondence between perfect difference sets and transitive projective planes is well-known. We observe that all known dense (i.e., close to square-root size) Sidon subsets of abelian groups come from projective planes through a similar construction. We classify the Sidon sets arising in this manner from desarguesian planes and find essentially no new examples, but there are many further examples arising from nondesarguesian planes. We conjecture that all dense Sidon sets arise in this manner. We also give a brief bestiary of somewhat smaller Sidon sets with a variety of algebraic origins, and for some of them provide an overarching pattern.
The algebra of conjugacy classes of the wreath product of a finite group with the symmetric group
Published in Rocky Mountain Journal of Mathematics 53(2) (2023) 561-577
• View Publication
• BIB
For a finite group $G,$ we define the concept of $G$-partial permutation and use it to show that the structure coefficients of the center of the wreath product $G\wr \mathcal{S}_n$ algebra are polynomials in $n$ with non-negative integer coefficients. Our main tool is a combinatorial algebra which projects onto the center of the group $G\wr \mathcal{S}_n$ algebra for every $n.$ This generalizes the Ivanov and Kerov method to prove the polynomiality property for the structure coefficients of the center of the symmetric group algebra.
New symmetric 2-(176,50,14) designs
In this paper we construct two new symmetric designs with parameters 2-(176,50,14) as designs invariant under certain subgroups of the full automorphism group of the Higman design. One is self-dual and has the full automorphism group of size 11520 and other is not self-dual and has the full automorphism group of size 2520.
Finite simple automorphism groups of edge-transitive maps
Published
• View Publication
• BIB
Building on earlier results for regular maps and for orientably regular chiral maps, we classify the non-abelian finite simple groups arising as automorphism groups of maps in each of the 14 Graver-Watkins classes of edge-transitive maps.
On balanced $(Z_{4u}\times Z_{8v},\{4,5\},1)$ difference packings
Let $K$ be a set of positive integers and let $G$ be an additive group. A $(G, K, 1)$ difference packing is a set of subsets of $G$ with sizes from $K$ whose list of differences covers every element of $G$ at most once. It is balanced if the number of blocks of size $k\in K$ does not depend on $k$. In this paper, we determine a balanced $(Z_{4u}\times Z_{8v},{4,5},1)$ difference packing of the largest possible size whenever $uv$ is odd. The corresponding optimal balanced $(4u, 8v,\{4,5\},1)$ optical orthogonal signature pattern codes are also obtained.
Brauer and Jones tied monoids
Published
• View Publication
• BIB
We introduce a ramified monoid, attached to each Brauer--type monoid, that is, to the symmetric group, to the Jones and Brauer monoids among others. Ramified monoids correspond to a class of tied monoids which arise from knot theory and are interesting in itself. The ramified monoid attached to the symmetric group is the Coxeter-like version of the so--called tied braid monoid. We give a presentation of the ramified monoid attached to the Brauer monoid. Also, we introduce and studied two tied-like monoids that cannot be described as ramified monoids. However, these monoids can also be regarded as tied versions of the Jones and Brauer monoids.
A further generalisation of bar-core partitions
Published
• View Publication
• BIB
When $p$ and $q$ are coprime odd integers no less than 3, Olsson proved that the $q$-bar-core of a $p$-bar-core is again a $p$-bar-core. We establish a generalisation of this theorem: that the $p$-bar-weight of the $q$-bar-core of a bar partition $λ$ is at most the $p$-bar-weight of $λ$. We go on to study the set of bar partitions for which equality holds and show that it is a union of orbits for an action of a Coxeter group of type $\tilde C_{\tfrac{(p-1)}{2}}\times\tilde C_{\tfrac{(q-1)}{2}}$. We also provide an algorithm for constucting a bar partition in this set with a given $p$-bar-core and $q$-bar-core.
Unrefinable partitions into distinct parts in a normalizer chain
Published in Discrete Mathematics Letters, 2022, 8, pp. 72-77
• View Publication
• BIB
In a recent paper on a study of the Sylow 2-subgroups of the symmetric group with 2^n elements it has been show that the growth of the first (n-2) consecutive indices of a certain normalizer chain is linked to the sequence of partitions of integers into distinct parts. Unrefinable partitions into distinct parts are those in which no part x can be replaced with integers whose sum is x obtaining a new partition into distinct parts. We prove here that the (n-1)-th index of the previously mentioned chain is related to the number of unrefinable partitions into distinct parts satisfying a condition on the minimal excludant.
The Alon-Jaeger-Tarsi conjecture via group ring identities
Published
• View Publication
• BIB
In this paper we resolve the Alon-Jaeger-Tarsi conjecture for sufficiently large primes. Namely, we show that for any finite field $\mathbb{F}$ of size $61<|\mathbb F|\ne 79$ and any nonsingular matrix $M$ over $\mathbb{F}$ there exists a vector $x$ such that neither $x$ nor $Ax$ has a 0 component.
On folded cluster patterns of affine type
Published in Pacific J. Math. 318 (2022) 401-431
• View Publication
• BIB
A cluster algebra is a commutative algebra whose structure is decided by a skew-symmetrizable matrix or a quiver. When a skew-symmetrizable matrix is invariant under an action of a finite group and this action is admissible, the folded cluster algebra is obtained from the original one. Any cluster algebra of non-simply-laced affine type can be obtained by folding a cluster algebra of simply-laced affine type with a specific $G$-action. In this paper, we study the combinatorial properties of quivers in the cluster algebra of affine type. We prove that for any quiver of simply-laced affine type, $G$-invariance and $G$-admissibility are equivalent. This leads us to prove that the set of $G$-invariant seeds forms the folded cluster pattern.