Source author record

Soumya Das

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
8topics
4close collaborators

Published work

17 publications

preprint2022arXiv

Bounds for the Bergman kernel and the sup-norm of holomorphic Siegel cusp forms

We prove `polynomial in kk' bounds on the size of the Bergman kernel for the space of holomorphic Siegel cusp forms of degree nn and weight kk. When n=1,2n=1,2 our bounds agree with the conjectural bounds on the aforementioned size, while the lower bounds match for all n≥1n \ge 1. For an L2L^2-normalised Siegel cusp form FF of degree 22, our bound for its sup-norm is Oε(k9/4+ε)O_ε(k^{9/4+ε}). Further, we show that in any compact set ΩΩ (which does not depend on kk) contained in the Siegel fundamental domain of Sp(2,Z)\mathrm{Sp}(2, \mathbb Z) on the Siegel upper half space, the sup-norm of FF is OΩ(k3/2−η)O_Ω(k^{3/2 - η}) for some η>0η>0, going beyond the `generic' bound in this setting.

preprint2021arXiv

A new error-modeling of Hardy's paradox for superconducting qubits and its experimental verification

Hardy's paradox (equivalently, Hardy's non-locality or Hardy's test) [\href{https://link.aps.org/doi/10.1103/PhysRevLett.68.2981}{L. Hardy, Phys. Rev. Lett. \textbf{68}, 2981 (1992)}] is used to show non-locality without inequalities and it has been tested several times using optical circuits. We, for the first time, experimentally test Hardy's paradox of non-locality in superconducting qubits. For practical verification of Hardy's paradox, we argue that the error-modeling used in optical circuits is not useful for superconducting qubits. So, we propose a new error-modeling for Hardy's paradox and a new method to estimate the lower bound on Hardy's probability (i.e., the probability of a specific event in Hardy's test) for superconducting qubits. Our results confirmed the theory that any non-maximally entangled state of two qubits violates Hardy's equations; whereas, any maximally entangled state and product state of two qubits do not exhibit Hardy's non-locality. Further, we point out the difficulties associated with the practical implementation of quantum protocols based on Hardy's paradox and propose possible remedies. We also propose two performance measures for any two qubits of any quantum computer based on superconducting qubits.

preprint2021arXiv

Hyper-hybrid entanglement, indistinguishability, and two-particle entanglement swapping

Hyper-hybrid entanglement for two indistinguishable bosons has been recently proposed by Li \textit{et al.} [Y. Li, M. Gessner, W. Li, and A. Smerzi, \href{https://doi.org/10.1103/PhysRevLett.120.050404}{Phys. Rev. Lett. 120, 050404 (2018)}]. In the current paper, we show that this entanglement exists for two indistinguishable fermions also. Next, we establish two {\em no-go} results: no hyper-hybrid entanglement for two {\em distinguishable} particles, and no unit fidelity quantum teleportation using {\em indistinguishable} particles. If either of these is possible, then the {\em no-signaling principle} would be violated. While several earlier works have attempted extending many results on distinguishable particles to indistinguishable ones, and vice versa, the above two no-go results establish a nontrivial separation between the two domains. Finally, we propose an efficient entanglement swapping using only two indistinguishable particles, whereas a minimum number of either three distinguishable or four indistinguishable particles is necessary for existing protocols.

preprint2021arXiv

On fundamental Fourier coefficients of Siegel modular forms

We prove that if FF is a non-zero (possibly non-cuspidal) vector-valued Siegel modular form of any degree, then it has infinitely many non-zero Fourier coefficients which are indexed by half-integral matrices having odd, square-free (and thus fundamental) discriminant. The proof uses an induction argument in the setting of vector-valued modular forms. In an Appendix, as an application of a variant of our result and building upon the work of A. Pollack, we show how to obtain an unconditional proof of the functional equation of the spinor LL-function of a holomorphic cuspidal Siegel eigenform of degree 33.

preprint2020arXiv

Distinguishing Hermitian cusp forms of degree 2 by a certain subset of all Fourier coefficients

We prove that Hermitian cusp forms of weight kk for the Hermitian modular group of degree 22 are determined by their Fourier coefficients indexed by matrices whose determinants are essentially square-free. Moreover, we give a quantitative version of the above result. This is a consequence of the corresponding results for integral weight elliptic cusp forms, which are also treated in this paper.

preprint2020arXiv

Hecke-Siegel type threshold for square-free Fourier coefficients: an improvement

We prove that if ff is a non zero cusp form of weight kk on Γ0(N)Γ_0(N) with character χχ such that N/(conductor χ)N/(\text{conductor }χ) square-free, then there exists a square-free n≪εk3+εN7/2+εn\ll_ε k^{3+ε}N^{7/2+ε} such that a(f,n)≠0a(f,n)\neq 0. This significantly improves the already known existential and quantitative result from previous works.

preprint2020arXiv

L^\infty norms of holomorphic modular forms in the case of compact quotient

We prove a sub-convex estimate for the sup-norm of L2L^2-normalized holomorphic modular forms of weight kk on the upper half plane, with respect to the unit group of a quaternion division algebra over $\mf Q$. More precisely we show that when the L2L^2 norm of an eigenfunction ff is one, | f |_\infty \ll k^{1/2 - 12/131 + \varepsilon}, for any ε>0\varepsilon>0 and for all kk sufficiently large.

preprint2020arXiv

On Construction of Higher Order Kernels Using Fourier Transforms and Covariance Functions

In this paper, we show that a suitably chosen covariance function of a continuous time, second order stationary stochastic process can be viewed as a symmetric higher order kernel. This leads to the construction of a higher order kernel by choosing an appropriate covariance function. An optimal choice of the constructed higher order kernel that partially minimizes the mean integrated square error of the kernel density estimator is also discussed.

preprint2020arXiv

On Fourier coefficients of elliptic modular forms  mod  ℓ\bmod \, \ell with applications to Siegel modular forms

We study several aspects of nonvanishing Fourier coefficients of elliptic modular forms  mod ℓ\bmod \ell, partially answering a question of Bellaïche-Soundararajan concerning the asymptotic formula for the count of the number of Fourier coefficients upto xx which do not vanish  mod ℓ\bmod \ell. We also propose a precise conjecture as a possible answer to this question. Further, we prove several results related to the nonvanishing of arithmetically interesting (e.g., primitive or fundamental) Fourier coefficients  mod ℓ\bmod \ell of a Siegel modular form with integral algebraic Fourier coefficients provided ℓ\ell is large enough. We also make some efforts to make this "largeness" of ℓ\ell effective.

preprint2020arXiv

The first negative eigenvalue of Yoshida lifts

We prove that for any given ε>0ε>0, the first negative eigenvalue of the Yoshida lift FF of a pair of elliptic cusp forms f,gf,g having square-free levels (where gg has weight 22 and satisfies (log⁡Qg)2≪log⁡Qf(\log Q_{g})^2 \ll \log Q_f), occurs before cε⋅QF1/2−2θ+εc_ε \cdot Q_F^{1/2-2 θ+ ε} ; where QF,Qf,QgQ_F,Q_f,Q_g are the analytic conductors of F,f,gF,f,g respectively, θ<1/4θ< 1/4, and cεc_ε is a constant depending only on εε.

preprint2019arXiv

Efficient Multi-Year Security Constrained AC Transmission Network Expansion Planning

Solution of multi-year, dynamic AC Transmission network expansion planning (TNEP) problem is gradually taking center stage of planning research owing to its potential accuracy. However, computational burden for a security constrained AC TNEP is huge compared to that with DC TNEP. For a dynamic, security constrained AC TNEP problem, the computational burden becomes so very excessive that solution for even moderately sized systems becomes almost impossible. Hence, this paper presents an efficient, four-stage solution methodology for multi-year, network N-1 contingency and voltage stability constrained, dynamic ACTNEP problems. Several intelligent logical strategies are developed and applied to reduce the computational burden of optimization algorithms. The proposed methodology is applied to Garver 6, IEEE 24 and 118 bus systems to demonstrate its efficiency and ability to solve TNEP for varying system sizes.

preprint2014arXiv

Simultaneous nonvanishing of Dirichlet LL-functions and twists of Hecke-Maass L-functions

We prove that given a Hecke-Maass form ff for SL(2,Z)\text{SL}(2, \mathbb{Z}) and a sufficiently large prime qq, there exists a primitive Dirichlet character χχ of conductor qq such that the LL-values L(12,f⊗χ)L(\tfrac{1}{2}, f \otimes χ) and L(12,χ)L(\tfrac{1}{2}, χ) do not vanish. We expect the same method to work for any large integer qq.

preprint2013arXiv

On a convolution series attached to a Siegel Hecke cusp form of degree 2

We prove that the "naive" convolution Dirichlet series D_2(s) attached to a degree 2 Siegel Hecke cusp form F, has a pole at s=1. As an application, we write down the asymptotic formula for the partial sums of the squares of the eigenvalues of FF with an explicit error term. Further, as a corollary, we are able to show that the abscissa of absolute convergence of the (normalized) spinor zeta function attached to F is s = 1.

preprint2010arXiv

Non-vanishing of Jacobi Poincaré series

We prove that under suitable conditions, the Jacobi Poincaré series of exponential type of integer weight and matrix index does not vanish identically. For classical Jacobi forms, we construct a basis consisting of the "first" few Poincaré series and also give conditions both dependent and independent of the weight, which ensures non-vanishing of classical Jacobi Poincaré series. Equality of certain Kloosterman-type sums is proved. Also, a result on the non-vanishing of Jacobi Poincaré series is obtained when an odd prime divides the index.

preprint2010arXiv

Note on Hermitian Jacobi Forms

We compare the spaces of Hermitian Jacobi forms (HJF) of weight kk and indices 1,21,2 with classical Jacobi forms (JF) of weight kk and indices 1,2,41,2,4. Using the embedding into JF, upper bounds for the order of vanishing of HJF at the origin is obtained. We compute the rank of HJF as a module over elliptic modular forms and prove the algebraic independence of the generators in case of index 1. Some related questions are discussed.

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.