Searcharxiv⌕ Search

arXiv subjects

Eshita Mazumdar

Publications and source records attributed to Eshita Mazumdar.

11 recordsLinked to original sources

Combinatorial invariants for certain classes of non-abelian groups

This article focuses on the study of zero-sum invariants of finite non-abelian groups. We address two main problems: the first centers on the ordered Davenport constant and the second on Gao's constant. We establish a connection between the ordered Davenport constant and the small Davenport constant for a finite non-abelian group of even order, which in turn gives a relation with the Noether number. Additionally, we confirm a conjecture of Gao and Li for a non-abelian group of order $2p^α$, where $p$ is a prime. Furthermore, we prove a conjecture that connects the ordered Davenport constant to the Loewy length for certain classes of finite $2$-groups.

math.CO↗

An algebraic approach towards a conjecture on the Davenport constant

For a finite group $G,$ $\mathsf{D}(G)$ is defined as the least positive integer $k$ such that for every sequence $S=g_1\bdot g_2\bdot \dotsc \bdot g_k$ of length $k$ over $G$, there exist $1 \le i_1 < i_2 <\cdots < i_m \le k $ such that $g_{i_1}g_{i_2}\cdots g_{i_m}=1,$ where $1$ is the identity element of $G.$ The small Davenport constant $\mathsf{d}(G)$ is the maximal positive integer $k$ such that there is a sequence of length $k$ over $G$ which has no non-trivial product-one subsequence. In 2004, Dimitrov proved that $\mathsf{D}(G)\leq \mathsf{L}(G)$ for a finite $p$-group $G$, where $p$ is a prime and $\mathsf{L}(G)$ is the Loewy length of $\mathbb{F}_p[G].$ He conjectured that the equality holds for all finite $p$-groups. In this article, we compute $\mathsf{D}(G)$ for certain classes of finite non-abelian $p$-groups, including metacyclic groups, and show that the conjecture is true by determining the precise value of $\mathsf{L}(G)$. As a consequence, we refine an upper bound on $\mathsf{d}(G)$ recently given by Qu, Li and Teeuwsen, and prove that for specific classes of groups $\mathsf{D}(G)=\mathsf{d}(G)+1$. We also evaluate $\mathsf{D}(G)$ for finite dicyclic, semi-dihedral and other groups.

math.CO↗

Davenport constant for finite abelian groups with higher rank

For a finite abelian group $G,$ the Davenport Constant, denoted by $D(G)$, is defined to be the least positive integer $k$ such that every sequence of length at least $k$ has a non-trivial zero-sum subsequence. A long-standing conjecture is that the Davenport constant of a finite abelian group $G =C_{n_1}\times\cdots\times C_{n_d}$ of rank $d \in \mathbb{N}$ is $1+\displaystyle\sum_{i=1}^d (n_i-1) $. This conjecture is false in general, but it remains to know for which groups it is true. In this paper, we consider groups of the form $G = (C_p)^{d-1} \times C_{pq},$ where $p$ is a prime and $q\in \mathbb{N}$ and provide sufficient condition when the conjecture holds true.

math.NT↗

Optimal Bounds on the Growth of Iterated Sumsets in Abelian Semigroups

We provide optimal upper bounds on the growth of iterated sumsets $hA=A+\dots+A$ for finite subsets $A$ of abelian semigroups. More precisely, we show that the new upper bounds recently derived from Macaulay's theorem in commutative algebra are best possible, i.e., are actually reached by suitable subsets of suitable abelian semigroups. Our constructions, in a multiplicative setting, are based on certain specific monomial ideals in polynomial algebras and on their deformation into appropriate binomial ideals via Gröbner bases.

math.AC↗

Zero sums in restricted sequences

A sequence $\bfx=(x_1,\ldots,x_m)$ of elements of $\Z_n$ is called an \textit{$A$-weighted Davenport Z-sequence} if there exists $\bfa:=(a_1,\ldots,a_m)\in (A\cup\{0\})^m\setminus\bfzero_m$ such that $\sum_i a_ix_i=0$. Here $\bfzero_m=(0,\ldots,0)\in\Z_n^m$. Similarly, the sequence $\bfx$ is called an \textit{$A$-weighted Erdős Z-sequence} if there exists $\bfa:=(a_1,\ldots,a_m)\in (A\cup\{0\})^m\setminus\{\bfzero_m\}$ with $|Supp(\bfa)|=n$, such that $\sum_i a_ix_i=0$, where $Supp(\bfa):=\{i: a_i\ne 0\}$. A $\Z_n$-sequence $\bfx$ is called $k$-restricted if no element of $\Z_n$ appears more than $k$ times in $\bfx$. In this paper, we study the problem of determining the least value of $m$ for which a $k$-restricted $\Z_n$-sequence of length $m$ is an $A$-weighted Davenport Z-sequence (resp. an$A$-weighted Erdős Z-sequence). We also consider the same problem for random $\Z_n$ sequences, for certain very natural choices for the set $A$.

math.NT↗

Group-annihilator graphs realised by finite abelian groups and its properties

Let $G$ be a finite abelian group viewed a $\mathbb{Z}$-module and let $\mathcal{G} = (V, E)$ be a simple graph. In this paper, we consider a graph $Γ(G)$ called as a \textit{group-annihilator} graph. The vertices of $Γ(G)$ are all elements of $G$ and two distinct vertices $x$ and $y$ are adjacent in $Γ(G)$ if and only if $[x : G][y : G]G = \{0\}$, where $x, y\in G$ and $[x : G] = \{r\in\mathbb{Z} : rG \subseteq \mathbb{Z}x\}$ is an ideal of a ring $\mathbb{Z}$. We discuss in detail the graph structure realised by the group $G$. Moreover, we study the creation sequence, hyperenergeticity and hypoenergeticity of group-annihilator graphs. Finally, we conclude the paper with a discussion on Laplacian eigen values of the group-annhilator graph. We show that the Laplacian eigen values are representatives of orbits of the group action: $Aut(Γ(G)) \times G \rightarrow G$.

math.CO↗

Iterated sumsets and Hilbert functions

Let A be a finite subset of an abelian group (G, +). Let h $\ge$ 2 be an integer. If |A| $\ge$ 2 and the cardinality |hA| of the h-fold iterated sumset hA = A + $\times$ $\times$ $\times$ + A is known, what can one say about |(h -- 1)A| and |(h + 1)A|? It is known that |(h -- 1)A| $\ge$ |hA| (h--1)/h , a consequence of Pl{ü}nnecke's inequality. Here we improve this bound with a new approach. Namely, we model the sequence |hA| h$\ge$0 with the Hilbert function of a standard graded algebra. We then apply Macaulay's 1927 theorem on the growth of Hilbert functions, and more specifically a recent condensed version of it. Our bound implies |(h -- 1)A| $\ge$ $θ$(x, h) |hA| (h--1)/h for some factor $θ$(x, h) > 1, where x is a real number closely linked to |hA|. Moreover, we show that $θ$(x, h) asymptotically tends to e $\approx$ 2.718 as |A| grows and h lies in a suitable range varying with |A|.

math.AC↗

The Weighted Davenport constant of a group and a related extremal problem II

For a finite abelian group $G$ with $\exp(G)=n$ and an integer $k\ge 2$, Balachandran and Mazumdar \cite{BM} introduced the extremal function $\fD_G(k)$ which is defined to be $\min\{|A|: \emptyset \neq A\subseteq[1,n-1]\textrm{\ with\ }D_A(G)\le k\}$ (and $\infty$ if there is no such $A$), where $D_A(G)$ denotes the $A$-weighted Davenport constant of the group $G$. Denoting $\fD_G(k)$ by $\fD(p,k)$ when $G=\bF_p$ (for $p$ prime), it is known (\cite{BM}) that $p^{1/k}-1\le \fD(p,k)\le O_k(p\log p)^{1/k}$ holds for each $k\ge 2$ and $p$ sufficiently large, and that for $k=2,4$, we have the sharper bound $\fD(p,k)\le O(p^{1/k})$. It was furthermore conjectured that $\fD(p,k)=Θ(p^{1/k})$. In this short paper we prove that $\fD(p,k)\le 4^{k^2}p^{1/k}$ for sufficiently large primes $p$.

math.CO↗

The Harborth Constant of Dihedral Groups

The Harborth constant of a finite group $G$, denoted $\gs(G)$, is the smallest integer $k$ such that the following holds: For $A\subseteq G$ with $|A|=k$, there exists $B\subseteq A$ with $|B|=\exp(G)$ such that the elements of $B$ can be rearranged into a sequence whose product equals $1_G$, the identity element of $G$. The Harborth constant is a well studied combinatorial invariant in the case of abelian groups. In this paper, we consider a generalization $\gs(G)$ of this combinatorial invariant for nonabelian groups and prove that if $G$ is a dihedral group of order $2n$ with $n\ge 3$, then $\gs(G) = n + 2$ if $n$ is even and $\gs(G) = 2n + 1$ otherwise.

math.CO↗

The Weighted Davenport Constant of a group and a related extremal problem

For a finite abelian group $G$ written additively, and a non-empty subset $A\subset [1,\exp(G)-1]$ the weighted Davenport Constant of $G$ with respect to the set $A$, denoted $D_A(G)$, is the least positive integer $k$ for which the following holds: Given an arbitrary $G$-sequence $(x_1,\ldots,x_k)$, there exists a non-empty subsequence $(x_{i_1},\ldots,x_{i_t})$ along with $a_{j}\in A$ such that $\sum_{j=1}^t a_jx_{i_j}=0$. In this paper, we pose and study a natural new extremal problem that arises from the study of $D_A(G)$: For an integer $k\ge 2$, determine $\fD_G(k):=\min\{|A|: D_A(G)\le k\}$ (if the problem posed makes sense). It turns out that for $k$ `not-too-small', this is a well-posed problem and one of the most interesting cases occurs for $G=\Z_p$, the cyclic group of prime order, for which we obtain near optimal bounds for all $k$ (for sufficiently large primes $p$), and asymptotically tight (up to constants) bounds for $k=2,4$.

math.CO↗

Prime powers in sums of terms of binary recurrence sequences

Let $\{u_{n}\}_{n \geq 0}$ be a non-degenerate binary recurrence sequence with positive, square-free discriminant and $p$ be a fixed prime number. In this paper, we have shown the finiteness result for the solutions of the Diophantine equation $u_{n_{1}} + u_{n_{2}} + \cdots + u_{n_{t}} = p^{z}$ with some conditions on $n_i $ for all $1\leq i \leq t$. Moreover, we explicitly find all the powers of three which are sums of three balancing numbers using the lower bounds for linear forms in logarithms. Further, we use a variant of Baker-Davenport reduction method in Diophantine approximation due to Dujella and Pethő.

math.NT↗