Source author record

Rupam Barman

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

17works
2topics
4close collaborators

Published work

17 publications

preprint2023arXiv

Cliques of orders three and four in the Paley-type graphs

Let n=2sp1α1⋯pkαkn=2^s p_{1}^{α_{1}}\cdots p_{k}^{α_{k}}, where s=0s=0 or 11, αi≥1α_i\geq 1, and the distinct primes pip_i satisfy pi≡1(mod4)p_i\equiv 1\pmod{4} for all i=1,…,ki=1, \ldots, k. Let Zn∗\mathbb{Z}_n^\ast denote the group of units in the commutative ring Zn\mathbb{Z}_n. Recently, we defined a Paley-type graph GnG_n of order nn as the graph whose vertex set is Zn\mathbb{Z}_n and xyxy is an edge if x−y≡a2(modn)x-y\equiv a^2\pmod n for some a∈Zn∗a\in\mathbb{Z}_n^\ast. The Paley-type graph GnG_n resembles the classical Paley graph in a number of ways, and adds to the list of generalizations of the Paley graph. Computing the number of cliques of a particular order in a Paley graph or its generalizations has been of considerable interest. For primes p≡1(mod4)p\equiv 1\pmod 4 and α≥1α\geq 1, by evaluating certain character sums, we found the number of cliques of order 33 in GpαG_{p^α} and expressed the number of cliques of order 44 in GpαG_{p^α} in terms of Jacobi sums. In this article we give combinatorial proofs and find the number of cliques of orders 33 and 44 in GnG_n for all nn for which the graph is defined.

preprint2022arXiv

pp-Adic quotient sets: diagonal forms

For a set of integers AA, we consider R(A)={a/b:a,b∈A,b≠0}R(A)=\{a/b: a, b\in A, b\neq 0\}. It is an open problem to study the denseness of R(A)R(A) in the pp-adic numbers when AA is the set of nonzero values attained by an integral form. This problem has been answered for quadratic forms. Very recently, Antony and Barman have studied this problem for the diagonal binary cubic forms ax3+by3ax^3+by^3, where aa and bb are integers. In this article, we study this problem for diagonal forms. We extend the results of Antony and Barman to the diagonal binary forms axn+bynax^n+by^n for all n≥3n\geq 3. We also study pp-adic denseness of quotients of nonzero values attained by diagonal forms of degree n≥3n\geq 3, where gcd⁡(n,p(p−1))=1\gcd(n,p(p-1))=1.

preprint2022arXiv

Certain transformations and values of p-adic hypergeometric functions

We prove two transformations for the pp-adic hypergeometric functions which can be described as pp-adic analogues of a Euler's transformation and a transformation of Clausen. We first evaluate certain character sums, and then relate them to the pp-adic hypergeometric functions to deduce the transformations. We use a character sum identity proved by Ahlgren, Ono, and Penniston to deduce the pp-adic Clausen's transformation. We also deduce special values of certain pp-adic hypergeometric functions.

preprint2022arXiv

Number of complete subgraphs of Peisert graphs and finite field hypergeometric functions

For a prime p≡3(mod4)p\equiv 3\pmod{4} and a positive integer tt, let q=p2tq=p^{2t}. Let gg be a primitive element of the finite field Fq\mathbb{F}_q. The Peisert graph P∗(q)P^\ast(q) is defined as the graph with vertex set Fq\mathbb{F}_q where abab is an edge if and only if a−b∈⟨g4⟩∪g⟨g4⟩a-b\in\langle g^4\rangle \cup g\langle g^4\rangle. We provide a formula, in terms of finite field hypergeometric functions, for the number of complete subgraphs of order four contained in P∗(q)P^\ast(q). We also give a new proof for the number of complete subgraphs of order three contained in P∗(q)P^\ast(q) by evaluating certain character sums. The computations for the number of complete subgraphs of order four are quite tedious, so we further give an asymptotic result for the number of complete subgraphs of any order mm in Peisert graphs.

preprint2022arXiv

On denseness of certain direction and generalized direction sets

Direction sets, recently introduced by Leonetti and Sanna, are generalization of ratio sets of subsets of positive integers. In this article, we generalize the notion of direction sets and define {\it kk-generalized direction sets} and {\it distinct kk-generalized direction sets} for subsets of positive integers. We prove a necessary condition for a subset of Sk−1:={x‾∈[0,1]k:∣∣x‾∣∣=1}\mathcal{S}^{k - 1} := \{\underline{x} \in [0,1]^{k} : ||\underline{x}|| = 1\} to be realized as the set of accumulation points of a distinct kk-generalized direction set. We provide sufficient conditions for some particular subsets of positive integers so that the corresponding kk-generalized direction sets are dense in Sk−1\mathcal{S}^{k - 1}. We also consider the denseness properties of certain direction sets and give a partial answer to a question posed by Leonetti and Sanna. Finally we consider a similar question in the framework of an algebraic number field.

preprint2022arXiv

Proofs of some conjectures of Keith and Zanello on tt-regular partition

For a positive integer tt, let bt(n)b_{t}(n) denote the number of tt-regular partitions of a nonnegative integer nn. In a recent paper, Keith and Zanello established infinite families of congruences and self-similarity results modulo 22 for bt(n)b_{t}(n) for certain values of tt. Further, they proposed some conjectures on self-similarities of bt(n)b_t(n) modulo 22 for certain values of tt. In this paper, we prove their conjectures on b3(n)b_3(n) and b25(n)b_{25}(n). We also prove a self-similarity result for b21(n)b_{21}(n) modulo 22.

preprint2020arXiv

Certain product formulas and values of Gaussian hypergeometric series

In this article we find finite field analogues of certain product formulas satisfied by the classical hypergeometric series. We express product of two 2F1{_2}F_1-Gaussian hypergeometric series as 4F3{_4}F_3- and 3F2{_3}F_2-Gaussian hypergeometric series. We use properties of Gauss and Jacobi sums and our earlier works on finite field Appell series to deduce these product formulas satisfied by the Gaussian hypergeometric series. We then use these transformations to evaluate explicitly some special values of 4F3{_4}F_3- and 3F2{_3}F_2-Gaussian hypergeometric series. By counting points on CM elliptic curves over finite fields, Ono found certain special values of 2F1{_2}F_1- and 3F2{_3}F_2-Gaussian hypergeometric series containing trivial and quadratic characters as parameters. Later, Evans and Greene found special values of certain 3F2{_3}F_2-Gaussian hypergeometric series containing arbitrary characters as parameters from where some of the values obtained by Ono follow as special cases. We show that some of the results of Evans and Greene follow from our product formulas including a finite field analogue of the classical Clausen's identity.

preprint2020arXiv

On Andrews' integer partitions with even parts below odd parts

Recently, Andrews defined a partition function EO(n)\mathcal{EO}(n) which counts the number of partitions of nn in which every even part is less than each odd part. He also defined a partition function EO‾(n)\overline{\mathcal{EO}}(n) which counts the number of partitions of nn enumerated by EO(n)\mathcal{EO}(n) in which only the largest even part appears an odd number of times. Andrews proposed to undertake a more extensive investigation of the properties of EO‾(n)\overline{\mathcal{EO}}(n). In this article, we prove infinite families of congruences for EO‾(n)\overline{\mathcal{EO}}(n). We next study parity properties of EO‾(n)\overline{\mathcal{EO}}(n). We prove that there are infinitely many integers NN in every arithmetic progression for which EO‾(N)\overline{\mathcal{EO}}(N) is even; and that there are infinitely many integers MM in every arithmetic progression for which EO‾(M)\overline{\mathcal{EO}}(M) is odd so long as there is at least one. Very recently, Uncu has treated a different subset of the partitions enumerated by EO(n)\mathcal{EO}(n). We prove that Uncu's partition function is divisible by 2k2^k for almost all kk. We use arithmetic properties of modular forms and Hecke eigenforms to prove our results.

preprint2016arXiv

Proof of a Limited Version of Mao's Partition Rank Inequality using a Theta Function Identity

Ramanujan's congruence p(5k+4)≡0(mod5)p(5k+4) \equiv 0 \pmod 5 led Dyson \cite{dyson} to conjecture the existence of a measure "rank" such that p(5k+4)p(5k+4) partitions of 5k+45k+4 could be divided into sub-classes with equal cardinality to give a direct proof of Ramanujan's congruence. The notion of rank was extended to rank differences by Atkin and Swinnerton-Dyer \cite{atkin}, who proved Dyson's conjecture. More recently, Mao proved several equalities and inequalities, leaving some as conjectures, for rank differences for partitions modulo 10 \cite{mao10} and for M2M_2 rank differences for partitions with no repeated odd parts modulo 66 and 1010 \cite{maom2}. Alwaise et. al. proved four of Mao's conjectured inequalities \cite{swisher}, while leaving three open. Here, we prove a limited version of one of the inequalities conjectured by Mao.

preprint2016arXiv

Summation identities and transformations for hypergeometric series

We find summation identities and transformations for the McCarthy's pp-adic hypergeometric series by evaluating certain Gauss sums which appear while counting points on the family Zλ:x1d+x2d=dλx1x2d−1Z_λ: x_1^d+x_2^d=dλx_1x_2^{d-1} over a finite field Fp\mathbb{F}_p. A. Salerno expresses the number of points over a finite field Fp\mathbb{F}_p on the family ZλZ_λ in terms of quotients of pp-adic gamma function under the condition that d∣p−1d|p-1. In this paper, we first express the number of points over a finite field Fp\mathbb{F}_p on the family ZλZ_λ in terms of McCarthy's pp-adic hypergeometric series for any odd prime pp not dividing d(d−1)d(d-1), and then deduce two summation identities for the pp-adic hypergeometric series. We also find certain transformations and special values of the pp-adic hypergeometric series. We finally find a summation identity for the Greene's finite field hypergeometric series.

preprint2014arXiv

Certain Transformations for Hypergeometric series in pp-adic setting

In \cite{mccarthy2}, McCarthy defined a function nGn[⋯ ]_{n}G_{n}[\cdots] using the Teichmüller character of finite fields and quotients of the pp-adic gamma function. This function extends hypergeometric functions over finite fields to the pp-adic setting. In this paper, we give certain transformation formulas for the function nGn[⋯ ]_{n}G_{n}[\cdots] which are not implied from the analogous hypergeometric functions over finite fields.

preprint2013arXiv

Hyperelliptic curves over Fq\mathbb{F}_q and Gaussian hypergeometric series

Let d≥2d\geq2 be an integer. Denote by EdE_d and Ed′E'_{d} the hyperelliptic curves over Fq\mathbb{F}_q given by Ed:y2=xd+ax+b   and   Ed′:y2=xd+axd−1+b,E_d: y^2=x^d+ax+b~~~ \text{and} ~~~E'_d: y^2=x^d+ax^{d-1}+b, respectively. We explicitly find the number of Fq\mathbb{F}_q-points on EdE_d and Ed′E'_d in terms of special values of dFd−1{_{d}}F_{d-1} and d−1Fd−2{_{d-1}}F_{d-2} Gaussian hypergeometric series with characters of orders d−1d-1, dd, 2(d−1)2(d-1), 2d2d, and 2d(d−1)2d(d-1) as parameters. This gives a solution to a problem posed by Ken Ono \cite[p. 204]{ono2} on special values of n+1Fn{_{n+1}}F_n Gaussian hypergeometric series for n>2n > 2. We also show that the results of Lennon \cite{lennon1} and the authors \cite{BK3} on trace of Frobenius of elliptic curves follow from the main results.

preprint2013arXiv

p-adic Gamma function and traces of Frobenius of elliptic curves

In \cite{mccarthy2}, McCarthy defined a function nGn[⋯ ]_{n}G_{n}[\cdots] using Teichmüller character of finite fields and quotients of pp-adic gamma function, and expressed the trace of Frobenius of elliptic curves in terms of special values of 2G2[⋯ ]_{2}G_{2}[\cdots]. We establish two different expressions for the traces of Frobenius of elliptic curves in terms of the function 2G2[⋯ ]_{2}G_{2}[\cdots]. As a result, we obtain two relations between special values of the function 2G2[⋯ ]_{2}G_{2}[\cdots] with different parameters.

preprint2012arXiv

Certain values of Gaussian hypergeometric series and a family of algebraic curves

Let λ∈Q∖{0,−1}λ\in \mathbb{Q}\setminus \{0, -1\} and l≥2l \geq 2. Denote by Cl,λC_{l,λ} the nonsingular projective algebraic curve over Q\mathbb{Q} with affine equation given by yl=(x−1)(x2+λ).y^l=(x-1)(x^2+λ). In this paper we give a relation between the number of points on Cl,λC_{l, λ} over a finite field and Gaussian hypergeometric series. We also give an alternate proof of a result of McCarthy (2010). We find some special values of 3F2{_{3}}F_2 and 2F1{_{2}}F_1 Gaussian hypergeometric series. Finally we evaluate the value of 3F2(4){_{3}}F_2(4) which extends a result of Ono (1998).

preprint2012arXiv

Hypergeometric functions and a family of algebraic curves

Let λ∈Q∖{0,1}λ\in \mathbb{Q}\setminus \{0, 1\} and l≥2l \geq 2, and denote by Cl,λC_{l,λ} the nonsingular projective algebraic curve over Q\mathbb{Q} with affine equation given by yl=x(x−1)(x−λ).y^l=x(x-1)(x-λ). In this paper we define Ω(Cl,λ)Ω(C_{l, λ}) analogous to the real periods of elliptic curves and find a relation with ordinary hypergeometric series. We also give a relation between the number of points on Cl,λC_{l, λ} over a finite field and Gaussian hypergeometric series. Finally we give an alternate proof of a result of \cite{rouse}.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.