-
Extended inverse results for restricted h-fold sumset in integers
Authors:
Debyani Manna,
Mohan,
Ram Krishna Pandey
Abstract:
Let $A$ be a finite set of $k$ integers. For $h \leq k$, the restricted $h$-fold sumset $h^{\wedge} A$ is the set of all sums of $h$ distinct elements of $A$. In additive combinatorics, much of the focus has traditionally been on finite integer sets whose sumsets are unusually small (cf.\ Freiman's theorem and its extensions). More recently, Nathanson posed the inverse problem for the restricted s…
▽ More
Let $A$ be a finite set of $k$ integers. For $h \leq k$, the restricted $h$-fold sumset $h^{\wedge} A$ is the set of all sums of $h$ distinct elements of $A$. In additive combinatorics, much of the focus has traditionally been on finite integer sets whose sumsets are unusually small (cf.\ Freiman's theorem and its extensions). More recently, Nathanson posed the inverse problem for the restricted sumset $h^{\wedge} A$ when $|h^{\wedge} A|$ is small. For $h \in \{2, 3, 4\}$, this question has already been studied by Mohan and Pandey. In this article, we study the inverse problems for $h^{\wedge} A$ with arbitrary $h \geq 3$ and characterize all possible sets $A$ for certain cardinalities of $h^{\wedge} A$.
△ Less
Submitted 12 May, 2025;
originally announced May 2025.
-
An Efficient Numerical Scheme for a Time-Fractional Burgers Equation with Caputo-Prabhakar Derivative
Authors:
Deeksha Singh,
Swati Yadav,
Rajesh K. Pandey
Abstract:
This paper presents a numerical method to solve a time-fractional Burgers equation, achieving order of convergence $(2-α)$ in time, here $α$ represents the order of the time derivative. The fractional derivative is modeled by Caputo-Prabhakar (CP) formulation, which incorporates a kernel defined by the three-parameter Mittag-Leffler function. Finite difference methods are employed for the discreti…
▽ More
This paper presents a numerical method to solve a time-fractional Burgers equation, achieving order of convergence $(2-α)$ in time, here $α$ represents the order of the time derivative. The fractional derivative is modeled by Caputo-Prabhakar (CP) formulation, which incorporates a kernel defined by the three-parameter Mittag-Leffler function. Finite difference methods are employed for the discretization of the derivatives. To handle the non-linear term, the Newton iteration method is used. The proposed numerical scheme is proven to be stable and convergent in the $L_{\infty}$ norm. The validity of the theory is supported by two numerical examples.
△ Less
Submitted 26 October, 2024;
originally announced October 2024.
-
Weyl modules for twisted toroidal Lie algebras
Authors:
Ritesh Kumar Pandey,
Sachin S. Sharma
Abstract:
In this paper, we extend the notion of Weyl modules for twisted toroidal Lie algebra $\mathcal{T}(μ)$. We prove that the level one global Weyl modules of $\mathcal{T}(μ)$ are isomorphic to the tensor product of the level one representation of twisted affine Lie algebras and certain lattice vertex algebras. As a byproduct, we calculate the graded character of the level one local Weyl modules of…
▽ More
In this paper, we extend the notion of Weyl modules for twisted toroidal Lie algebra $\mathcal{T}(μ)$. We prove that the level one global Weyl modules of $\mathcal{T}(μ)$ are isomorphic to the tensor product of the level one representation of twisted affine Lie algebras and certain lattice vertex algebras. As a byproduct, we calculate the graded character of the level one local Weyl modules of $\mathcal{T}(μ)$.
△ Less
Submitted 10 August, 2024;
originally announced August 2024.
-
Stability and Convergence Analysis of an Exact Finite Difference Scheme for Fredholm Integro-Differential Equations
Authors:
Mehebub Alam,
Rajni Kant Pandey
Abstract:
This report addresses the boundary value problem for a second-order linear singularly perturbed FIDE. Traditional methods for solving these equations often face stability issues when dealing with small perturbation parameters. We propose an exact finite difference method to solve these equations and provide a detailed stability and $\varepsilon$-uniform convergence analysis. Our approach is valida…
▽ More
This report addresses the boundary value problem for a second-order linear singularly perturbed FIDE. Traditional methods for solving these equations often face stability issues when dealing with small perturbation parameters. We propose an exact finite difference method to solve these equations and provide a detailed stability and $\varepsilon$-uniform convergence analysis. Our approach is validated with an example, demonstrating its uniform convergence and applicability, with a convergence order of 1. The results illustrate the method's robustness in handling perturbation effects efficiently.
△ Less
Submitted 29 June, 2024;
originally announced July 2024.
-
Some direct and inverse problems for the Restricted Signed sumset in set of integers
Authors:
Mohan,
Raj Kumar Mistri,
Ram Krishna Pandey
Abstract:
Given a positive integer $h$ and a nonempty finite set of integers $A=\{a_{1},a_{2},\ldots,a_{k}\}$, the restricted $h$-fold signed sumset of $A$, denoted by $h^{\wedge}_{\pm}A$, is defined as…
▽ More
Given a positive integer $h$ and a nonempty finite set of integers $A=\{a_{1},a_{2},\ldots,a_{k}\}$, the restricted $h$-fold signed sumset of $A$, denoted by $h^{\wedge}_{\pm}A$, is defined as $$h^{\wedge}_{\pm}A=\left\lbrace \sum_{i=1}^{k} λ_{i} a_{i}: λ_{i} \in \left\lbrace -1, 0, 1\right\rbrace \ \text{for} \ i= 1, 2, \ldots, k \ \text{and} \ \sum_{i=1}^{k} \left| λ_{i} \right| =h\right\rbrace.$$ The direct problem associated with this sumset is to find the optimal lower bound of $|h^{\wedge}_{\pm}A|$, and the inverse problem associated with this sumset is to determine the structure of the underlying set $A$, when $|h^{\wedge}_{\pm}A|$ attains the optimal lower bound. Bhanja, Komatsu and Pandey studied the direct and inverse problem for the restricted $h$-fold signed sumset for $h=2, 3$, and $k$ and conjectured some direct and inverse results for $h \geq 4$. In this paper, we prove these conjectures for $h=4$. We also prove the direct and inverse theorems for arbitrary $h$ under certain restrictions on the set $A$ which are particular cases of the conjectures. Moreover, we prove these conjectures for arithmetic progressions.
△ Less
Submitted 6 March, 2024;
originally announced March 2024.
-
On additive complement with special structures
Authors:
Mohan,
Bhuwanesh Rao Patil,
Ram Krishna Pandey
Abstract:
Let $A$ be a set of natural numbers. A set $B$, a set of natural numbers, is said to be an additive complement of the set $A$ if all sufficiently large natural numbers can be represented in the form $x+y$, where $x\in A$ and $y\in B$. This article describes various types of additive complements of the set $A$ such as those additive complement of $A$ that does not intersects $A$, additive complemen…
▽ More
Let $A$ be a set of natural numbers. A set $B$, a set of natural numbers, is said to be an additive complement of the set $A$ if all sufficiently large natural numbers can be represented in the form $x+y$, where $x\in A$ and $y\in B$. This article describes various types of additive complements of the set $A$ such as those additive complement of $A$ that does not intersects $A$, additive complements of the form of the union of disjoint infinite arithmetic progressions, additive complement having various density etc. As an application of this study, we also focus on the structure of sumset of arithmetic progression and geometric progression. Apart from this, for given positive real no. $α\leq 1$ and finite set $A$, we investigate a set $B$ such that it can be written as union of disjoint infinite arithmetic progression and density of $A+B$ is $α$.
△ Less
Submitted 5 February, 2024;
originally announced February 2024.
-
Exponentially Fitted Finite Difference Approximation for Singularly Perturbed Fredholm Integro-Differential Equation
Authors:
Mehebub Alam,
Rajni Kant Pandey
Abstract:
In this paper, we concentrate on solving second-order singularly perturbed Fredholm integro-differential equations (SPFIDEs). It is well known that solving these equations analytically is a challenging endeavor because of the presence of boundary and interior layers within the domain. To overcome these challenges, we develop a fitted second-order difference scheme that can capture the layer behavi…
▽ More
In this paper, we concentrate on solving second-order singularly perturbed Fredholm integro-differential equations (SPFIDEs). It is well known that solving these equations analytically is a challenging endeavor because of the presence of boundary and interior layers within the domain. To overcome these challenges, we develop a fitted second-order difference scheme that can capture the layer behavior of the solution accurately and efficiently, which is again, based on the integral identities with exponential basis functions, the composite trapezoidal rule, and an appropriate interpolating quadrature rules with the remainder terms in the integral form on a piecewise uniform mesh. Hence, our numerical method acts as a superior alternative to the existing methods in the literature. Further, using appropriate techniques in error analysis the scheme's convergence and stability have been studied in the discrete max norm. We have provided necessary experimental evidence that corroborates the theoretical results with a high degree of accuracy.
△ Less
Submitted 29 January, 2024;
originally announced January 2024.
-
Freiman's $(3k-4)$-like results for subset and subsequence sums
Authors:
Mohan,
Jagannath Bhanja,
Ram Krishna Pandey
Abstract:
For a nonempty finite set $A$ of integers, let $S(A) = \left\{ \sum_{b\in B} b: \emptyset \not= B\subseteq A\right\}$ be the set of all nonempty subset sums of $A$. In 1995, Nathanson determined the minimum cardinality of $S(A)$ in terms of $|A|$ and described the structure of $A$ for which $|S(A)|$ is the minimum. He asked to characterize the underlying set $A$ if $|S(A)|$ is a small increment to…
▽ More
For a nonempty finite set $A$ of integers, let $S(A) = \left\{ \sum_{b\in B} b: \emptyset \not= B\subseteq A\right\}$ be the set of all nonempty subset sums of $A$. In 1995, Nathanson determined the minimum cardinality of $S(A)$ in terms of $|A|$ and described the structure of $A$ for which $|S(A)|$ is the minimum. He asked to characterize the underlying set $A$ if $|S(A)|$ is a small increment to its minimum size. Problems of such nature are inspired by the well-known Freiman's $3k-4$ theorem. In this paper, some results in the direction of Freiman's $3k-4$ theorem for the set of subset sums $S(A)$ are proved. Such results are also extended to the set of subsequence sums $S(\mathbb{A}) = \left\{ \sum_{b\in \mathbb{B}} b: \emptyset \not= \mathbb{B} \subseteq \mathbb{A} \right\}$ of sequence $\mathbb{A}$, where the notation $\mathbb{B} \subseteq \mathbb{A} $, is used for $\mathbb{B}$ is a subsequence of $\mathbb{A}$. The results are further generalized to a generalization of subset and subsequence sums. The main idea of the proofs of the results is to write the set of subset sums $S(A)$ and the set of subsequence sums $S(\mathbb{A})$ in terms of the $h$-fold sumset $hA$ and the $h$-fold restricted sumset $h^\wedge A$. Such representation also gives other proof of some of the results of Nathanson and Mistri et al.
△ Less
Submitted 10 February, 2024; v1 submitted 16 January, 2024;
originally announced January 2024.
-
Generalized H-fold sumset and Subsequence sum
Authors:
Mohan,
Ram Krishna Pandey
Abstract:
Let $A$ and $H$ be nonempty finite sets of integers and positive integers, respectively. The generalized $H$-fold sumset, denoted by $H^{(r)}A$, is the union of the sumsets $h^{(r)}A$ for $h\in H$ where, the sumset $h^{(r)}A$ is the set of all integers that can be represented as a sum of $h$ elements from $A$ with no summand in the representation appearing more than $r$ times. In this paper, we fi…
▽ More
Let $A$ and $H$ be nonempty finite sets of integers and positive integers, respectively. The generalized $H$-fold sumset, denoted by $H^{(r)}A$, is the union of the sumsets $h^{(r)}A$ for $h\in H$ where, the sumset $h^{(r)}A$ is the set of all integers that can be represented as a sum of $h$ elements from $A$ with no summand in the representation appearing more than $r$ times. In this paper, we find the optimal lower bound for the cardinality of $H^{(r)}A$, i.e., for $|H^{(r)}A|$ and the structure of the underlying sets $A$ and $H$ when $|H^{(r)}A|$ is equal to the optimal lower bound in the cases $A$ contains only positive integers and $A$ contains only nonnegative integers. This generalizes recent results of Bhanja. Furthermore, with a particular set $H$, since $H^{(r)}A$ generalizes subsequence sum and hence subset sum, we get several results of subsequence sums and subset sums as special cases.
△ Less
Submitted 13 January, 2024;
originally announced January 2024.
-
Extended inverse theorems for $h$-fold sumsets in integers
Authors:
Mohan,
Ram Krishna Pandey
Abstract:
Let $h \geq 2$, $k \geq 5$ be integers and $A$ be a nonempty finite set of $k$ integers. Very recently, Tang and Xing studied extended inverse theorems for $hk-h+1 < \left|hA\right| \leq hk+2h-3$. In this paper, we extend the work of Tang and Xing and study all possible inverse theorems for $hk-h+1<\left|hA\right| \leq hk+3h-4$. Furthermore, we give a range of $|hA|$ for which inverse problems are…
▽ More
Let $h \geq 2$, $k \geq 5$ be integers and $A$ be a nonempty finite set of $k$ integers. Very recently, Tang and Xing studied extended inverse theorems for $hk-h+1 < \left|hA\right| \leq hk+2h-3$. In this paper, we extend the work of Tang and Xing and study all possible inverse theorems for $hk-h+1<\left|hA\right| \leq hk+3h-4$. Furthermore, we give a range of $|hA|$ for which inverse problems are not possible.
△ Less
Submitted 9 January, 2024;
originally announced January 2024.
-
Sharp Estimates on Coefficient functionals of Ozaki close-to-convex functions
Authors:
Sushil Kumar,
Rakesh Kumar pandey,
Pratima Rai
Abstract:
The goal of this manuscript to establish the best possible estimate on coefficient functionals like Hermitian-Toeplitz determinant of secoend order involving logarithmic coefficients, initial logarithmic inverse coefficients and initial order Schwarzian derivatives of the Ozaki close-to-convex functions.
The goal of this manuscript to establish the best possible estimate on coefficient functionals like Hermitian-Toeplitz determinant of secoend order involving logarithmic coefficients, initial logarithmic inverse coefficients and initial order Schwarzian derivatives of the Ozaki close-to-convex functions.
△ Less
Submitted 27 September, 2023;
originally announced September 2023.
-
Sharp bounds on Coefficient functionals of certain Sakaguchi functions
Authors:
Sushil Kumar,
Rakesh Kumar Pandey,
Pratima Rai
Abstract:
We determine sharp bounds on some Hankel determinants involving initial coefficients, inverse coefficients, and logarithmic inverse coefficients for two subclasses of Sakaguchi functions which are associated with the right half of the lemniscate of Bernoulli and the exponential function. Further, we compute sharp bounds on the second Hermitian-Toeplitz determinants involving logarithmic coefficien…
▽ More
We determine sharp bounds on some Hankel determinants involving initial coefficients, inverse coefficients, and logarithmic inverse coefficients for two subclasses of Sakaguchi functions which are associated with the right half of the lemniscate of Bernoulli and the exponential function. Further, we compute sharp bounds on the second Hermitian-Toeplitz determinants involving logarithmic coefficients and logarithmic inverse coefficients. We also discuss invariant property for the obtained estimates with respect to various coefficients.
△ Less
Submitted 22 August, 2023;
originally announced August 2023.
-
Representations of loop extended Witt algebras
Authors:
Sachin S. Sharma,
Priyanshu Chakraborty,
Ritesh Kumar Pandey,
S. Eswara Rao
Abstract:
In this paper, we classify irreducible modules for loop extended Witt algebras with finite dimensional weight spaces. They turn out to be either modules with uniformly bounded weight spaces or highest weight modules. We further prove that all these modules are single point evaluation modules ($n \geq 2$). So they are actually irreducible modules for extended Witt algebras.
In this paper, we classify irreducible modules for loop extended Witt algebras with finite dimensional weight spaces. They turn out to be either modules with uniformly bounded weight spaces or highest weight modules. We further prove that all these modules are single point evaluation modules ($n \geq 2$). So they are actually irreducible modules for extended Witt algebras.
△ Less
Submitted 9 December, 2022;
originally announced December 2022.
-
Comparative study of Three Numerical Schemes for Fractional Integro differential Equations
Authors:
Kamlesh Kumar,
Rajesh K. Pandey,
Shiva Sharma
Abstract:
This paper presents a comparative study three numerical schemes such as Linear, Quadratic and Quadratic-Linear scheme for the fractional integro-differential equations defined in terms of the Caputo fractional derivatives. The error estimates of the respective approximations are also established. Numerical tests of the discussed schemes show that all schemes work well, and when the number of terms…
▽ More
This paper presents a comparative study three numerical schemes such as Linear, Quadratic and Quadratic-Linear scheme for the fractional integro-differential equations defined in terms of the Caputo fractional derivatives. The error estimates of the respective approximations are also established. Numerical tests of the discussed schemes show that all schemes work well, and when the number of terms approximating the solution are increased, the desired solution is achieved. The accuracy of the numerical schemes with respect to the step size h is analyzed and illustrated through various tables. Finally, comparative performances of the schemes are discussed.
△ Less
Submitted 18 June, 2022;
originally announced June 2022.
-
High-order approximation to generalized Caputo derivatives and generalized fractional advection-diffusion equations
Authors:
Sarita Kumari,
Rajesh K. Pandey,
R. P. Agarwal
Abstract:
In this article, a high-order time-stepping scheme based on the cubic interpolation formula is considered to approximate the generalized Caputo fractional derivative (GCFD). Convergence order for this scheme is $(4-α)$, where $α~(0<α<1)$ is the order of the GCFD. The local truncation error is also provided. Then, we adopt the developed scheme to establish a difference scheme for the solution of ge…
▽ More
In this article, a high-order time-stepping scheme based on the cubic interpolation formula is considered to approximate the generalized Caputo fractional derivative (GCFD). Convergence order for this scheme is $(4-α)$, where $α~(0<α<1)$ is the order of the GCFD. The local truncation error is also provided. Then, we adopt the developed scheme to establish a difference scheme for the solution of generalized fractional advection-diffusion equation with Dirichlet boundary conditions. Furthermore, we discuss about the stability and convergence of the difference scheme. Numerical examples are presented to examine the theoretical claims. The convergence order of the difference scheme is analyzed numerically, which is $(4-α)$ in time and second-order in space.
△ Less
Submitted 11 October, 2022; v1 submitted 8 June, 2022;
originally announced June 2022.
-
High Order Numerical Scheme for Generalized Fractional Diffusion Equations
Authors:
Kamlesh Kumar,
Rajesh K. Pandey
Abstract:
In this paper, a higher order finite difference scheme is proposed for Generalized Fractional Diffusion Equations (GFDEs). The fractional diffusion equation is considered in terms of the generalized fractional derivatives (GFDs) which uses the scale and weight functions in the definition. The GFD reduces to the Riemann-Liouville, Caputo derivatives and other fractional derivatives in a particular…
▽ More
In this paper, a higher order finite difference scheme is proposed for Generalized Fractional Diffusion Equations (GFDEs). The fractional diffusion equation is considered in terms of the generalized fractional derivatives (GFDs) which uses the scale and weight functions in the definition. The GFD reduces to the Riemann-Liouville, Caputo derivatives and other fractional derivatives in a particular case. Due to importance of the scale and the weight functions in describing behaviour of real-life physical systems, we present the solutions of the GFDEs by considering various scale and weight functions. The convergence and stability analysis are also discussed for finite difference scheme (FDS) to validate the proposed method. We consider test examples for numerical simulation of FDS to justify the proposed numerical method.
△ Less
Submitted 7 June, 2022;
originally announced June 2022.
-
Maximal density and the kappa values for the families $\{a,a+1,2a+1,n\}$ and $\{a,a+1,2a+1,3a+1,n\}$
Authors:
Ram Krishna Pandey,
Neha Rai
Abstract:
Let $M$ be a set of positive integers. We study the maximal density $μ(M)$ of the sets of nonnegative integers $S$ whose elements do not differ by an element in $M$. In 1973, Cantor and Gordon established a formula for $μ(M)$ for $|M|\leq 2$. Since then, many researchers have worked upon the problem and found several partial results in the case $|M|\geq 3$, including some results in the case, $M$…
▽ More
Let $M$ be a set of positive integers. We study the maximal density $μ(M)$ of the sets of nonnegative integers $S$ whose elements do not differ by an element in $M$. In 1973, Cantor and Gordon established a formula for $μ(M)$ for $|M|\leq 2$. Since then, many researchers have worked upon the problem and found several partial results in the case $|M|\geq 3$, including some results in the case, $M$ is an infinite set. In this paper, we study the maximal density problem for the families $M=\{a,a+1,2a+1,n\}$ and $M=\{a,a+1,2a+1,3a+1,n\}$, where $a$ and $n$ are positive integers. In most of the cases, we find bounds for the parameter \textit{kappa}, denoted by $κ(M)$, which actually serves as a lower bound for $μ(M)$. The parameter $κ(M)$ has already got its importance due to its rich connection with the problems such as the "lonely runner conjecture" in Diophantine approximations and coloring parameters such as "circular coloring" and "fractional coloring" in graph theory.
△ Less
Submitted 10 April, 2022;
originally announced April 2022.
-
On the minimum size of subset and subsequence sums in integers
Authors:
Jagannath Bhanja,
Ram Krishna Pandey
Abstract:
Let $\mathcal{A}$ be a sequence of $rk$ terms which is made up of $k$ distinct integers each appearing exactly $r$ times in $\mathcal{A}$. The sum of all terms of a subsequence of $\mathcal{A}$ is called a subsequence sum of $\mathcal{A}$. For a nonnegative integer $α\leq rk$, let $Σ_α (\mathcal{A})$ be the set of all subsequence sums of $\mathcal{A}$ that correspond to the subsequences of length…
▽ More
Let $\mathcal{A}$ be a sequence of $rk$ terms which is made up of $k$ distinct integers each appearing exactly $r$ times in $\mathcal{A}$. The sum of all terms of a subsequence of $\mathcal{A}$ is called a subsequence sum of $\mathcal{A}$. For a nonnegative integer $α\leq rk$, let $Σ_α (\mathcal{A})$ be the set of all subsequence sums of $\mathcal{A}$ that correspond to the subsequences of length $α$ or more. When $r=1$, we call the subsequence sums as subset sums and we write $Σ_α (A)$ for $Σ_α (\mathcal{A})$. In this article, using some simple combinatorial arguments, we establish optimal lower bounds for the size of $Σ_α (A)$ and $Σ_α (\mathcal{A})$. As special cases, we also obtain some already known results in this study.
△ Less
Submitted 23 November, 2022; v1 submitted 16 August, 2021;
originally announced August 2021.
-
A note on derivative dependent singular boundary value problems arising in physiology
Authors:
R. K. Pandey,
A. K. Verma
Abstract:
In this note we establish existence of solutions of singular boundary value problem $-(p(x)y^{\prime }(x))^{\prime}=q(x)f(x,y,py')$ for $0< x\leq b$ and $y'(0)=0$, $α_{1}y(b)+β_{1}p(b)y^{\prime}(b)=γ_{1}$ with $p(0)=0$ and $q(x)$ is integrable. Regions of multiple solutions have also been determined.
In this note we establish existence of solutions of singular boundary value problem $-(p(x)y^{\prime }(x))^{\prime}=q(x)f(x,y,py')$ for $0< x\leq b$ and $y'(0)=0$, $α_{1}y(b)+β_{1}p(b)y^{\prime}(b)=γ_{1}$ with $p(0)=0$ and $q(x)$ is integrable. Regions of multiple solutions have also been determined.
△ Less
Submitted 17 November, 2019;
originally announced November 2019.
-
Inverse problems for certain subsequence sums in integers
Authors:
Jagannath Bhanja,
Ram Krishna Pandey
Abstract:
Let $A$ be a nonempty finite set of $k$ integers. Given a subset $B$ of $A$, the sum of all elements of $B$, denoted by $s(B)$, is called the subset sum of $B$. For a nonnegative integer $α$ ($\leq k$), let \[Σ_α (A):=\{s(B): B \subset A, |B|\geq α\}.\] Now, let…
▽ More
Let $A$ be a nonempty finite set of $k$ integers. Given a subset $B$ of $A$, the sum of all elements of $B$, denoted by $s(B)$, is called the subset sum of $B$. For a nonnegative integer $α$ ($\leq k$), let \[Σ_α (A):=\{s(B): B \subset A, |B|\geq α\}.\] Now, let $\mathcal{A}=(\underbrace{a_{1},\ldots,a_{1}}_{r_{1}~\text{copies}}, \underbrace{a_{2},\ldots,a_{2}}_{r_{2}~\text{copies}},\ldots, \underbrace{a_{k},\ldots,a_{k}}_{r_{k}~\text{copies}})$ be a finite sequence of integers with $k$ distinct terms, where $r_{i}\geq 1$ for $i=1,2,\ldots,k$. Given a subsequence $\mathcal{B}$ of $\mathcal{A}$, the sum of all terms of $\mathcal{B}$, denoted by $s(\mathcal{B})$, is called the subsequence sum of $\mathcal{B}$. For $0\leq α\leq \sum_{i=1}^{k} r_{i}$, let \[Σ_α (\bar{r},\mathcal{A}):=\left\{s(\mathcal{B}): \mathcal{B}~\text{is a subsequence of}~\mathcal{A}~\text{of length} \geq α\right\},\] where $\bar{r}=(r_{1},r_{2},\ldots,r_{k})$. Very recently, Balandraud obtained the minimum cardinality of $Σ_α (A)$ in finite fields. Motivated by Baladraud's work, we find the minimum cardinality of $Σ_α(A)$ in the group of integers. We also determine the structure of the finite set $A$ of integers for which $|Σ_α (A)|$ is minimal. Furthermore, we generalize these results of subset sums to the subsequence sums $Σ_α (\bar{r},\mathcal{A})$. As special cases of our results we obtain some already known results for the usual subset and subsequence sums.
△ Less
Submitted 31 August, 2019;
originally announced September 2019.
-
Direct and inverse results on restricted signed sumsets in integers
Authors:
Jagannath Bhanja,
Takao Komatsu,
Ram Krishna Pandey
Abstract:
Let $G$ be an additive abelian group. Let $A=\{a_{0}, a_{1},\ldots, a_{k-1}\}$ be a nonempty finite subset of $G$. For a positive integer $h$ satisfying $1\leq h\leq k$, we let \[h\hat{}_{\underline{+}}A:=\{Σ_{i=0}^{k-1}λ_{i} a_{i}: (λ_{0},λ_{1}, \ldots, λ_{k-1}) \in \{-1,0,1\}^{k},~Σ_{i=0}^{k-1}|λ_{i}|=h \},\] be the restricted signed sumset of $A$. The direct problem for the restricted signed su…
▽ More
Let $G$ be an additive abelian group. Let $A=\{a_{0}, a_{1},\ldots, a_{k-1}\}$ be a nonempty finite subset of $G$. For a positive integer $h$ satisfying $1\leq h\leq k$, we let \[h\hat{}_{\underline{+}}A:=\{Σ_{i=0}^{k-1}λ_{i} a_{i}: (λ_{0},λ_{1}, \ldots, λ_{k-1}) \in \{-1,0,1\}^{k},~Σ_{i=0}^{k-1}|λ_{i}|=h \},\] be the restricted signed sumset of $A$. The direct problem for the restricted signed sumset $h\hat{}_{\underline{+}}A$ is to find the minimum number of elements in $h\hat{}_{\underline{+}}A$ in terms of $|A|$. The inverse problem for $h\hat{}_{\underline{+}}A$ is to determine the structure of the finite set $A$ for which $|h\hat{}_{\underline{+}}A|$ is minimal. In this article, we solve some cases of both direct and inverse problems for $h\hat{}_{\underline{+}}A$, when $A$ is a finite set of integers. In this connection, we also pose some questions as conjectures in the remaining cases.
△ Less
Submitted 31 July, 2019;
originally announced August 2019.
-
Direct and Inverse Theorems on Signed Sumsets of Integers
Authors:
Jagannath Bhanja,
Ram Krishna Pandey
Abstract:
Let $G$ be an additive abelian group and $h$ be a positive integer. For a nonempty finite subset $A=\{a_0, a_1,\ldots, a_{k-1}\}$ of $G$, we let \[h_{\underline{+}}A:=\{Σ_{i=0}^{k-1}λ_{i} a_{i}: (λ_{0}, \ldots, λ_{k-1}) \in \mathbb{Z}^{k},~ Σ_{i=0}^{k-1}|λ_{i}|=h \},\] be the {\it signed sumset} of $A$.
The {\it direct problem} for the signed sumset $h_{\underline{+}}A$ is to find a nontrivial l…
▽ More
Let $G$ be an additive abelian group and $h$ be a positive integer. For a nonempty finite subset $A=\{a_0, a_1,\ldots, a_{k-1}\}$ of $G$, we let \[h_{\underline{+}}A:=\{Σ_{i=0}^{k-1}λ_{i} a_{i}: (λ_{0}, \ldots, λ_{k-1}) \in \mathbb{Z}^{k},~ Σ_{i=0}^{k-1}|λ_{i}|=h \},\] be the {\it signed sumset} of $A$.
The {\it direct problem} for the signed sumset $h_{\underline{+}}A$ is to find a nontrivial lower bound for $|h_{\underline{+}}A|$ in terms of $|A|$. The {\it inverse problem} for $h_{\underline{+}}A$ is to determine the structure of the finite set $A$ for which $|h_{\underline{+}}A|$ is minimal. In this article, we solve both the direct and inverse problems for $|h_{\underline{+}}A|$, when $A$ is a finite set of integers.
△ Less
Submitted 5 October, 2018;
originally announced October 2018.
-
Additive Complements for a given Asymptotic Density
Authors:
Alain Faisant,
Georges Grekos,
Ram Krishna Pandey,
Sai Teja Somu
Abstract:
{The first version of this text was written and submitted to a journal on April, 12, 2018. This second version was submitted on April, 9, 2019.} We investigate the existence of subsets $A$ and $B$ of $\mathbb{N}:=\{0,1,2,\dots\}$ such that the sumset $A+B:=\{a+b~;a\in A,b\in B\}$ has given asymptotic density. We solve the particular case in which $B$ is a given finite subset of $\mathbb{N}$ and al…
▽ More
{The first version of this text was written and submitted to a journal on April, 12, 2018. This second version was submitted on April, 9, 2019.} We investigate the existence of subsets $A$ and $B$ of $\mathbb{N}:=\{0,1,2,\dots\}$ such that the sumset $A+B:=\{a+b~;a\in A,b\in B\}$ has given asymptotic density. We solve the particular case in which $B$ is a given finite subset of $\mathbb{N}$ and also the case when $B=A$ ; in the later case, we generalize our result to $kA:=\{x_1+\cdots+x_k: x_i\in A, i=1,\dots,k\}$ for an integer $k\geq2.$
△ Less
Submitted 21 December, 2019; v1 submitted 20 September, 2018;
originally announced September 2018.
-
On unavoidable obstructions in Gaussian walks
Authors:
Sai Teja Somu,
Ram Krishna Pandey
Abstract:
In this paper we investigate a problem about certain walks in the ring of Gaussian integers. Let $n,d$ be two natural numbers. Does there exist a sequence of Gaussian integers $z_j$ such that $|z_{j+1}-z_j|=1$ and a pair of indices $r$ and $s$, such that $z_{r}-z_{s}=n$ and for all indices $t$ and $u$, $z_{t}-z_{u}\neq d$? If there exists such a sequence we call $n$ to be $d$ avoidable. Let $A_n$…
▽ More
In this paper we investigate a problem about certain walks in the ring of Gaussian integers. Let $n,d$ be two natural numbers. Does there exist a sequence of Gaussian integers $z_j$ such that $|z_{j+1}-z_j|=1$ and a pair of indices $r$ and $s$, such that $z_{r}-z_{s}=n$ and for all indices $t$ and $u$, $z_{t}-z_{u}\neq d$? If there exists such a sequence we call $n$ to be $d$ avoidable. Let $A_n$ be the set of all $d\in \mathbb{N}$ such that $n$ is not $d$ avoidable. Recently, Ledoan and Zaharescu proved that $\{d \in \mathbb{N} : d|n\}\subset A_n$. We extend this result by giving a necessary and sufficient condition for $d\in A_n$ which answers a question posed by Ledoan and Zaharescu. We also find a precise formula for the cardinality of $A_n$ and answer three other questions raised in the same paper.
△ Less
Submitted 10 November, 2015;
originally announced November 2015.