Showing 1–50 of 61 results for author: Jana, S

On the spectral aspect density hypothesis and application

Authors: Edgar Assing, Subhajit Jana

Abstract: We prove that the density of non-tempered (at any $p$-adic place) cuspidal representations for $\mathrm{GL}_n(\mathbb{Z})$, varying over a family of representations ordered by their infinitesimal characters, is small -- confirming Sarnak's density hypothesis in this set-up. Among other ingredients, the proof uses tools from microlocal analysis for Lie group representations as developed by Nelson a… ▽ More We prove that the density of non-tempered (at any $p$-adic place) cuspidal representations for $\mathrm{GL}_n(\mathbb{Z})$, varying over a family of representations ordered by their infinitesimal characters, is small -- confirming Sarnak's density hypothesis in this set-up. Among other ingredients, the proof uses tools from microlocal analysis for Lie group representations as developed by Nelson and Venkatesh. As an application, we prove that the Diophantine exponent of the $\mathrm{SL}_n(\mathbb{Z}[1/p])$-action on $\mathrm{SL}_n(\mathbb{R})/\mathrm{SO}_n(\mathbb{R})$ is \emph{optimal} -- resolving a conjecture of Ghosh, Gorodnik, and Nevo. △ Less

Submitted 16 April, 2025; originally announced April 2025.

MSC Class: 11F72; 11L05

Towards Transitive-free Digraphs

Authors: Ankit Abhinav, Satyabrata Jana, Abhishek Sahu

Abstract: In a digraph $D$, an arc $e=(x,y) $ in $D$ is considered transitive if there is a path from $x$ to $y$ in $D- e$. A digraph is transitive-free if it does not contain any transitive arc. In the Transitive-free Vertex Deletion (TVD) problem, the goal is to find at most $k$ vertices $S$ such that $D-S$ has no transitive arcs. In our work, we study a more general version of the TVD problem, denoted by… ▽ More In a digraph $D$, an arc $e=(x,y) $ in $D$ is considered transitive if there is a path from $x$ to $y$ in $D- e$. A digraph is transitive-free if it does not contain any transitive arc. In the Transitive-free Vertex Deletion (TVD) problem, the goal is to find at most $k$ vertices $S$ such that $D-S$ has no transitive arcs. In our work, we study a more general version of the TVD problem, denoted by $\ell$-Relaxed Transitive-free Vertex Deletion ($\ell$-RTVD), where we look for at most $k$ vertices $S$ such that $D-S$ has no more than $\ell$ transitive arcs. We explore $\ell$-RTVD on various well-known graph classes of digraphs such as directed acyclic graphs (DAGs), planar DAGs, $α$-bounded digraphs, tournaments, and their multiple generalizations such as in-tournaments, out-tournaments, local tournaments, acyclic local tournaments, and obtain the following results. Although the problem admits polynomial-time algorithms in tournaments, $α$-bounded digraphs, and acyclic local tournaments for fixed values of $\ell$, it remains NP-hard even in planar DAGs with maximum degree 6. In the parameterized realm, for $\ell$-RTVD on in-tournaments and out-tournaments, we obtain polynomial kernels parameterized by $k+\ell$ for bounded independence number. But the problem remains fixed-parameter intractable on DAGs when parameterized by $k$. △ Less

Submitted 13 March, 2025; originally announced March 2025.

A Quadratic Vertex Kernel and a Subexponential Algorithm for Subset-FAST

Authors: Satyabrata Jana, Lawqueen Kanesh, Madhumita Kundu, Daniel Lokshtanov, Saket Saurabh

Abstract: In the Subset Feedback Arc Set in Tournaments, Subset-FAST problem we are given as input a tournament $T$ with a vertex set $V(T)$ and an arc set $A(T)$, along with a terminal set $S \subseteq V(T)$, and an integer $ k$. The objective is to determine whether there exists a set $ F \subseteq A(T) $ with $|F| \leq k$ such that the resulting graph $T-F $ contains no cycle that includes any vertex of… ▽ More In the Subset Feedback Arc Set in Tournaments, Subset-FAST problem we are given as input a tournament $T$ with a vertex set $V(T)$ and an arc set $A(T)$, along with a terminal set $S \subseteq V(T)$, and an integer $ k$. The objective is to determine whether there exists a set $ F \subseteq A(T) $ with $|F| \leq k$ such that the resulting graph $T-F $ contains no cycle that includes any vertex of $S$. When $S=V(T)$ this is the classic Feedback Arc Set in Tournaments (FAST) problem. We obtain the first polynomial kernel for this problem parameterized by the solution size. More precisely, we obtain an algorithm that, given an input instance $(T, S, k)$, produces an equivalent instance $(T',S',k')$ with $k'\leq k$ and $V(T')=O(k^2)$. It was known that FAST admits a simple quadratic vertex kernel and a non-trivial linear vertex kernel. However, no such kernel was previously known for Subset-FAST. Our kernel employs variants of the most well-known reduction rules for FAST and introduces two new reduction rules to identify irrelevant vertices. As a result of our kernelization, we also obtain the first sub-exponential time FPT algorithm for Subset-FAST. △ Less

Submitted 10 March, 2025; originally announced March 2025.

Comments: 31 pages, 10 figures

A Note On Rainbow 4-Term Arithmetic Progression

Authors: Subhajit Jana, Pratulananda Das

Abstract: Let [n]=\{1,\,2,...,\,n\} be colored in k colors. A rainbow AP(k) in [n] is a k term arithmetic progression whose elements have diferent colors. Conlon, Jungic and Radoicic [10] had shown that there exists an equinumerous 4-coloring of [4n] which happens to be rainbow AP(4) free, when n is even and subsequently Haghighi and Nowbandegani [7] shown that such a coloring of [4n] also exists when n>1 i… ▽ More Let [n]=\{1,\,2,...,\,n\} be colored in k colors. A rainbow AP(k) in [n] is a k term arithmetic progression whose elements have diferent colors. Conlon, Jungic and Radoicic [10] had shown that there exists an equinumerous 4-coloring of [4n] which happens to be rainbow AP(4) free, when n is even and subsequently Haghighi and Nowbandegani [7] shown that such a coloring of [4n] also exists when n>1 is odd. Based on their construction, we shown that a balanced 4-coloring of [n] ( i.e. size of each color class is at least \left\lfloor n/4\right\rfloor ) actually exists for all natural number n. Further we established that for nonnegative integers k\geq3 and n>1, every balanced k-coloring of [kn+r] with 0\leq r<k-1, contains a rainbow AP(k) if and only if k=3. In this paper we also have discussed about rainbow free equinumerous 4-coloring of \mathbb{Z}_{n}. △ Less

Submitted 3 February, 2025; originally announced February 2025.

Comments: 8 pages

Multivariate Exploration of Metric Dilation

Authors: Aritra Banik, Fedor V. Fomin, Petr A. Golovach, Tanmay Inamdar, Satyabrata Jana, Saket Saurabh

Abstract: Let $G$ be a weighted graph embedded in a metric space $(M, d_M )$. The vertices of $G$ correspond to the points in $M$ , with the weight of each edge $uv$ being the distance $d_M (u, v)$ between their respective points in $M$ . The dilation (or stretch) of $G$ is defined as the minimum factor $t$ such that, for any pair of vertices $u, v$, the distance between $u$ and $v$-represented by the weigh… ▽ More Let $G$ be a weighted graph embedded in a metric space $(M, d_M )$. The vertices of $G$ correspond to the points in $M$ , with the weight of each edge $uv$ being the distance $d_M (u, v)$ between their respective points in $M$ . The dilation (or stretch) of $G$ is defined as the minimum factor $t$ such that, for any pair of vertices $u, v$, the distance between $u$ and $v$-represented by the weight of a shortest $u$, $v$-path is at most $ t \cdot d_M (u, v)$. We study Dilation t-Augmentation, where the objective is, given a metric $M $, a graph $G$, and numerical values $k$ and $t$, to determine whether $G$ can be transformed into a graph with dilation $t$ by adding at most $k$ edges. Our primary focus is on the scenario where the metric $M$ is the shortest path metric of an unweighted graph $Γ$. Even in this specific case, Dilation $t$-Augmentation remains computationally challenging. In particular, the problem is W[2]-hard parameterized by $k$ when $Γ$ is a complete graph, already for $t=2$. Our main contribution lies in providing new insights into the impact of combinations of various parameters on the computational complexity of the problem. We establish the following. -- The parameterized dichotomy of the problem with respect to dilation $t$, when the graph $G$ is sparse: Parameterized by $k$, the problem is FPT for graphs excluding a biclique $K_{d,d}$ as a subgraph for $t\leq 2$ and the problem is W[1]-hard for $t\geq 3$ even if $G$ is a forest consisting of disjoint stars. -- The problem is FPT parameterized by the combined parameter $k+t+Δ$, where $Δ$ is the maximum degree of the graph $G$ or $Γ$. △ Less

Submitted 8 January, 2025; originally announced January 2025.

Comments: To appear in STACS 2025

Dynamics and integrability of polynomial vector fields on the $n$-dimensional sphere

Authors: Supriyo Jana, Soumen Sarkar

Abstract: In this paper, we characterize arbitrary polynomial vector fields on $S^n$. We establish a necessary and sufficient condition for a degree one vector field on the odd-dimensional sphere $S^{2n-1}$ to be Hamiltonian. Additionally, we classify polynomial vector fields on $S^n$ up to degree two that possess an invariant great $(n-1)$-sphere. We present a class of completely integrable vector fields o… ▽ More In this paper, we characterize arbitrary polynomial vector fields on $S^n$. We establish a necessary and sufficient condition for a degree one vector field on the odd-dimensional sphere $S^{2n-1}$ to be Hamiltonian. Additionally, we classify polynomial vector fields on $S^n$ up to degree two that possess an invariant great $(n-1)$-sphere. We present a class of completely integrable vector fields on $S^n$. We found a sharp bound for the number of invariant meridian hyperplanes for a polynomial vector field on $S^2$. Furthermore, we compute the sharp bound for the number of invariant parallel hyperplanes for any polynomial vector field on $S^n$. Finally, we study homogeneous polynomial vector fields on $S^n$, providing a characterization of their invariant $(n-1)$-spheres. △ Less

Submitted 3 December, 2024; originally announced December 2024.

Comments: 21 pages

MSC Class: 34C08; 34A34; 34C14; 34C40; 34C45

Comparability of Metrics and Norms in terms of Basis of Exponential Vector Space

Authors: Dhruba Prakash Biswas, Priti Sharma, Sandip Jana, Jens Schwaiger

Abstract: In this paper, we shall compare two metrics in terms of orderly dependence, a notion developed in exponential vector space in the article 'Basis and Dimension of Exponential Vector Space' by Jayeeta Saha and Sandip Jana in Transactions of A. Razmadze Mathematical Institute Vol. 175 (2021), issue 1, 101-115. Exponential vector space, in short 'evs', is a partially ordered space associated with a co… ▽ More In this paper, we shall compare two metrics in terms of orderly dependence, a notion developed in exponential vector space in the article 'Basis and Dimension of Exponential Vector Space' by Jayeeta Saha and Sandip Jana in Transactions of A. Razmadze Mathematical Institute Vol. 175 (2021), issue 1, 101-115. Exponential vector space, in short 'evs', is a partially ordered space associated with a commutative semigroup structure and a compatible scalar multiplication. In the present paper we shall show that the collection $\mathcal{D(\mathbf X)}$ of all metrics on a non-empty set $\mathbf X$, together with the constant function zero $O$, forms a topological exponential vector space. We shall discuss the orderly dependence of two metrics through our findings of a basis of $\mathcal{D(\mathbf X)}\smallsetminus\{O\}$ in different scenario. We shall characterise orderly independence of two elements of a topological evs in terms of the comparing function, another mechanism developed in topological exponential vector space, which can measure the degree of comparability of two elements of an evs. Finally, we shall discuss existence of orderly independent norms on a linear space. For an infinite dimensional linear space we shall construct a large number of orderly independent norms depending on the dimension of the linear space. Orderly independent norms are precisely those which are totally non-equivalent, in the sense that they produce incomparable topologies. △ Less

Submitted 31 October, 2024; originally announced November 2024.

Comments: arXiv admin note: text overlap with arXiv:2305.12154

MSC Class: 46A99; 46B99; 06F99

Spectral set, complete spectral set and dilation for Banach space operators

Authors: Swapan Jana, Sourav Pal

Abstract: Famous results due to von Neumann, Sz.-Nagy and Arveson assert that the following four statements are equivalent; a Hilbert space operator $T$ is a contraction; the closed unit disk $\overline{\mathbb D}$ is a spectral set for $T$; $T$ can be dilated to a Hilbert space isometry; $\overline{\mathbb D}$ is a complete spectral set for $T$. In this article, we show by counter examples that no two of t… ▽ More Famous results due to von Neumann, Sz.-Nagy and Arveson assert that the following four statements are equivalent; a Hilbert space operator $T$ is a contraction; the closed unit disk $\overline{\mathbb D}$ is a spectral set for $T$; $T$ can be dilated to a Hilbert space isometry; $\overline{\mathbb D}$ is a complete spectral set for $T$. In this article, we show by counter examples that no two of them are equivalent for Banach space operators. If $\mathcal F_r$ is the family of all Banach space operators having norm less than or equal to $r$ and if $D_R$ denotes the open disk in the complex plane with centre at the origin and radius $R$, then we prove by an application of Bohr's theorem that $\overline{D}_R$ is the minimal spectral set for $\mathcal F_r$ if and only if $r=\frac{R}{3}$. Also, we prove the equivalence of the following two facts: the Bohr radius of $D_R$ is $\frac{R}{3}$ and $\sup \{ r>0\,:\, \overline{D}_R \text{ is a spectral set for } \mathcal F_r \}=\frac{R}{3}$. We found several new characterizations for a Hilbert space in terms of spectral set and complete spectral set for different operators. △ Less

Submitted 11 May, 2025; v1 submitted 3 November, 2024; originally announced November 2024.

Comments: Revised, 16 pages

Generalized Euclidean operator radius inequalities of a pair of bounded linear operators

Authors: Suvendu Jana

Abstract: Let $ \mathbb{B}(\mathscr{H})$ represent the $C^*$-algebra, which consists of all bounded linear operators on $\mathscr{H},$ and let $N ( .) $ be a norm on $ \mathbb{B}(\mathscr{H})$. We define a norm $w_{(N,e)} (. , . )$ on $ \mathbb{B}^2(\mathscr{H})$ by $$ w_{(N,e)}(B,C)=\underset{|λ_1|^2+λ_2|^2\leq1}\sup \underset{θ\in\mathbb{R}}\sup N\left(\Re \left(e^{iθ}(λ_1B+λ_2C)\right)\right),$$ for ever… ▽ More Let $ \mathbb{B}(\mathscr{H})$ represent the $C^*$-algebra, which consists of all bounded linear operators on $\mathscr{H},$ and let $N ( .) $ be a norm on $ \mathbb{B}(\mathscr{H})$. We define a norm $w_{(N,e)} (. , . )$ on $ \mathbb{B}^2(\mathscr{H})$ by $$ w_{(N,e)}(B,C)=\underset{|λ_1|^2+λ_2|^2\leq1}\sup \underset{θ\in\mathbb{R}}\sup N\left(\Re \left(e^{iθ}(λ_1B+λ_2C)\right)\right),$$ for every $B,C\in\mathbb{B}(\mathscr{H})$ and $λ_1,λ_2\in\mathbb{C}.$ We investigate basic properties of this norm and prove some bounds involving it. In particular, when $N( .)$ is the Hilbert-Schmidt norm, we prove some Hilbert-Schmidt Euclidean operator radius inequalities for a pair of bounded linear operators. △ Less

Submitted 3 September, 2024; originally announced September 2024.

Factor Adjusted Spectral Clustering for Mixture Models

Authors: Shange Tang, Soham Jana, Jianqing Fan

Abstract: This paper studies a factor modeling-based approach for clustering high-dimensional data generated from a mixture of strongly correlated variables. Statistical modeling with correlated structures pervades modern applications in economics, finance, genomics, wireless sensing, etc., with factor modeling being one of the popular techniques for explaining the common dependence. Standard techniques for… ▽ More This paper studies a factor modeling-based approach for clustering high-dimensional data generated from a mixture of strongly correlated variables. Statistical modeling with correlated structures pervades modern applications in economics, finance, genomics, wireless sensing, etc., with factor modeling being one of the popular techniques for explaining the common dependence. Standard techniques for clustering high-dimensional data, e.g., naive spectral clustering, often fail to yield insightful results as their performances heavily depend on the mixture components having a weakly correlated structure. To address the clustering problem in the presence of a latent factor model, we propose the Factor Adjusted Spectral Clustering (FASC) algorithm, which uses an additional data denoising step via eliminating the factor component to cope with the data dependency. We prove this method achieves an exponentially low mislabeling rate, with respect to the signal to noise ratio under a general set of assumptions. Our assumption bridges many classical factor models in the literature, such as the pervasive factor model, the weak factor model, and the sparse factor model. The FASC algorithm is also computationally efficient, requiring only near-linear sample complexity with respect to the data dimension. We also show the applicability of the FASC algorithm with real data experiments and numerical studies, and establish that FASC provides significant results in many cases where traditional spectral clustering fails. △ Less

Submitted 22 August, 2024; originally announced August 2024.

Comments: 37 pages, 8 figures, 1 table

MSC Class: 62H30; 62H25

Quotient of Topological Ternary Semigroup

Authors: S. Samanta, S. Jana, S. Kar

Abstract: In this paper we introduce a quotient structure on topological ternary semigroup by defining a congruence suitably. We have found conditions under which this quotient structure becomes a topological ternary semigroup. We have also obtained conditions that make this quotient a topological ternary group, whenever the base structure is a topological ternary group. In this paper we introduce a quotient structure on topological ternary semigroup by defining a congruence suitably. We have found conditions under which this quotient structure becomes a topological ternary semigroup. We have also obtained conditions that make this quotient a topological ternary group, whenever the base structure is a topological ternary group. △ Less

Submitted 19 August, 2024; originally announced August 2024.

MSC Class: 20M99; 22A99

A dilation theoretic approach to Banach spaces

Authors: Swapan Jana, Sourav Pal, Saikat Roy

Abstract: For a complex Banach space $\mathbb X$, we prove that $\mathbb X$ is a Hilbert space if and only if every strict contraction $T$ on $\mathbb X$ dilates to an isometry if and only if for every strict contraction $T$ on $\mathbb X$ the function $A_T: \mathbb X \rightarrow [0, \infty]$ defined by $A_T(x)=(\|x\|^2 -\|Tx\|^2)^{\frac{1}{2}}$ gives a norm on $\mathbb X$. We also find several other necess… ▽ More For a complex Banach space $\mathbb X$, we prove that $\mathbb X$ is a Hilbert space if and only if every strict contraction $T$ on $\mathbb X$ dilates to an isometry if and only if for every strict contraction $T$ on $\mathbb X$ the function $A_T: \mathbb X \rightarrow [0, \infty]$ defined by $A_T(x)=(\|x\|^2 -\|Tx\|^2)^{\frac{1}{2}}$ gives a norm on $\mathbb X$. We also find several other necessary and sufficient conditions in this thread such that a Banach sapce becomes a Hilbert space. We construct examples of strict contractions on non-Hilbert Banach spaces that do not dilate to isometries. Then we characterize all strict contractions on a non-Hilbert Banach space that dilate to isometries and find explicit isometric dilation for them. We prove several other results including characterizations of complemented subspaces in a Banach space, extension of a Wold isometry to a Banach space unitary and describing norm attainment sets of Banach space operators in terms of dilations. △ Less

Submitted 30 April, 2025; v1 submitted 21 July, 2024; originally announced July 2024.

Comments: Revised, A new section added, Submitted to journal

On Fourier asymptotics and effective equidistribution

Authors: Shreyasi Datta, Subhajit Jana

Abstract: We prove effective equidistribution of expanding horocycles in $\mathrm{SL}_2(\mathbb{Z})\backslash\mathrm{SL}_2(\mathbb{R})$ with respect to various classes of Borel probability measures on $\mathbb{R}$ having certain Fourier asymptotics. Our proof involves new techniques combining tools from automorphic forms and harmonic analysis. In particular, for any Borel probability measure $μ$, satisfyi… ▽ More We prove effective equidistribution of expanding horocycles in $\mathrm{SL}_2(\mathbb{Z})\backslash\mathrm{SL}_2(\mathbb{R})$ with respect to various classes of Borel probability measures on $\mathbb{R}$ having certain Fourier asymptotics. Our proof involves new techniques combining tools from automorphic forms and harmonic analysis. In particular, for any Borel probability measure $μ$, satisfying $\sum_{\mathbb{Z}\ni|m|\leq X}|\widehatμ(m)| = O\left(X^{1/2-θ}\right)$ with $θ>7/64,$ our result holds. This class of measures contains convolutions of $s$-Ahlfors regular measures for $s>39/64$, and as well as, a sub-class of self-similar measures. Moreover, our result is sharp upon the Ramanujan--Petersson Conjecture (upon which the above $θ$ can be chosen arbitrarily small): there are measures $μ$ with $\widehatμ(ξ) = O\left(|ξ|^{-1/2+ε}\right)$ for which equidistribution fails. △ Less

Submitted 13 December, 2024; v1 submitted 16 July, 2024; originally announced July 2024.

Comments: 28 pages, Improved exposition

MSC Class: 11J83; 28A80

Cuts in Graphs with Matroid Constraints

Authors: Aritra Banik, Fedor V. Fomin, Petr A. Golovach, Tanmay Inamdar, Satyabrata Jana, Saket Saurabh

Abstract: {\sc Vertex $(s, t)$-Cut} and {\sc Vertex Multiway Cut} are two fundamental graph separation problems in algorithmic graph theory. We study matroidal generalizations of these problems, where in addition to the usual input, we are given a representation $R \in \mathbb{F}^{r \times n}$ of a linear matroid $\mathcal{M} = (V(G), \mathcal{I})$ of rank $r$ in the input, and the goal is to determine whet… ▽ More {\sc Vertex $(s, t)$-Cut} and {\sc Vertex Multiway Cut} are two fundamental graph separation problems in algorithmic graph theory. We study matroidal generalizations of these problems, where in addition to the usual input, we are given a representation $R \in \mathbb{F}^{r \times n}$ of a linear matroid $\mathcal{M} = (V(G), \mathcal{I})$ of rank $r$ in the input, and the goal is to determine whether there exists a vertex subset $S \subseteq V(G)$ that has the required cut properties, as well as is independent in the matroid $\mathcal{M}$. We refer to these problems as {\sc Independent Vertex $(s, t)$-cut}, and {\sc Independent Multiway Cut}, respectively. We show that these problems are fixed-parameter tractable ({\sf FPT}) when parameterized by the solution size (which can be assumed to be equal to the rank of the matroid $\mathcal{M}$). These results are obtained by exploiting the recent technique of flow augmentation [Kim et al.~STOC '22], combined with a dynamic programming algorithm on flow-paths á la [Feige and Mahdian,~STOC '06] that maintains a representative family of solutions w.r.t.~the given matroid [Marx, TCS '06; Fomin et al., JACM]. As a corollary, we also obtain {\sf FPT} algorithms for the independent version of {\sc Odd Cycle Transversal}. Further, our results can be generalized to other variants of the problems, e.g., weighted versions, or edge-deletion versions. △ Less

Submitted 27 June, 2024; originally announced June 2024.

Local integral transforms and global spectral decomposition

Authors: Valentin Blomer, Subhajit Jana, Paul D. Nelson

Abstract: We establish an explicit global spectral decomposition of shifted convolution sums and the second moment of automorphic $L$-functions for Maass forms with explicit integral transforms as well as explicit inversion formulae over every local field. We establish an explicit global spectral decomposition of shifted convolution sums and the second moment of automorphic $L$-functions for Maass forms with explicit integral transforms as well as explicit inversion formulae over every local field. △ Less

Submitted 22 May, 2025; v1 submitted 16 April, 2024; originally announced April 2024.

Comments: Minor update, to appear in Geom. Funct. Anal. (GAFA)

Kernels of Perturbed Hankel Operators

Authors: Arup Chattopadhyay, Supratim Jana

Abstract: In the classical Hardy space $H^2(\mathbb{D})$, it is well-known that the kernel of the Hankel operator is invariant under the action of shift operator S and sometimes nearly invariant under the action of backward shift operator $S^{*}$. It appears in this paper that kernels of finite rank perturbations of Hankel operators are almost shift invariant as well as nearly $S^*$- invariant with finite d… ▽ More In the classical Hardy space $H^2(\mathbb{D})$, it is well-known that the kernel of the Hankel operator is invariant under the action of shift operator S and sometimes nearly invariant under the action of backward shift operator $S^{*}$. It appears in this paper that kernels of finite rank perturbations of Hankel operators are almost shift invariant as well as nearly $S^*$- invariant with finite defect. This allows us to obtain a structure of the kernel in several important cases by applying a recent theorem due to Chalendar, Gallardo, and Partington. △ Less

Submitted 2 December, 2024; v1 submitted 9 April, 2024; originally announced April 2024.

Comments: Revised, To appear in J. Math. Anal. Appl

MSC Class: 47B35; 47B38

Remarks on positive definite functions on a group

Authors: Swapan Jana, Sourav Pal, Nitin Tomar

Abstract: We study the operator-valued positive definite functions on a group using positive block matrices. We give an alternative proof to Brehmer positivity for doubly commuting contractions. We classify all commuting unitary representations over a finite group. We show by examples that the power of a positive-definite function may not be positive definite and also the power of a unitary representation m… ▽ More We study the operator-valued positive definite functions on a group using positive block matrices. We give an alternative proof to Brehmer positivity for doubly commuting contractions. We classify all commuting unitary representations over a finite group. We show by examples that the power of a positive-definite function may not be positive definite and also the power of a unitary representation may not be a unitary representation. We also characterize all unitary representations whose powers are also unitary representations. △ Less

Submitted 9 February, 2024; originally announced February 2024.

Comments: 27 pages

Characterization and dynamics of certain classes of polynomial vector fields on the torus

Authors: Supriyo Jana

Abstract: In this paper, we classify all polynomial vector fields in $\mathbb{R}^3$ of degree up to three such that their flow makes the torus $$\mathbb{T}^2=\{(x,y,z)\in \mathbb{R}^3:(x^2+y^2-a^2)^2+z^2-1=0\}~\mbox{with}~a\in (1,\infty)$$ invariant. We also classify cubic Kolmogorov vector fields on $\mathbb{T}^2$ and prove that they exhibit a rational first integral. We study `pseudo-type-$n$' vector fiel… ▽ More In this paper, we classify all polynomial vector fields in $\mathbb{R}^3$ of degree up to three such that their flow makes the torus $$\mathbb{T}^2=\{(x,y,z)\in \mathbb{R}^3:(x^2+y^2-a^2)^2+z^2-1=0\}~\mbox{with}~a\in (1,\infty)$$ invariant. We also classify cubic Kolmogorov vector fields on $\mathbb{T}^2$ and prove that they exhibit a rational first integral. We study `pseudo-type-$n$' vector fields on $\mathbb{T}^2$ and show that any such vector field is completely integrable. We prove that the Lie bracket of any two quadratic vector fields on $\mathbb{T}^2$ is completely integrable. We explicitly find all cubic vector fields on $\mathbb{T}^2$ which achieve the sharp bounds for the number of invariant meridians and parallels. We present necessary and sufficient conditions when invariant meridians and parallels of cubic vector fields on $\mathbb{T}^2$ are periodic orbits or limit cycles. We discuss invariant meridians and parallels of pseudo-type-$n$ vector fields as well. Moreover, we characterize the singular points of a class of polynomial vector fields on $\mathbb{T}^2$. △ Less

Submitted 10 September, 2024; v1 submitted 15 January, 2024; originally announced January 2024.

Comments: Major revisions have been undertaken, and the title has been changed. To appear in Journal of Mathematical Analysis and Applications

MSC Class: 34A34; 34C14; 34C40; 34C45

Journal ref: J. Math. Anal. Appl. 542, 128875 (2025)

A provable initialization and robust clustering method for general mixture models

Authors: Soham Jana, Jianqing Fan, Sanjeev Kulkarni

Abstract: Clustering is a fundamental tool in statistical machine learning in the presence of heterogeneous data. Most recent results focus primarily on optimal mislabeling guarantees when data are distributed around centroids with sub-Gaussian errors. Yet, the restrictive sub-Gaussian model is often invalid in practice since various real-world applications exhibit heavy tail distributions around the centro… ▽ More Clustering is a fundamental tool in statistical machine learning in the presence of heterogeneous data. Most recent results focus primarily on optimal mislabeling guarantees when data are distributed around centroids with sub-Gaussian errors. Yet, the restrictive sub-Gaussian model is often invalid in practice since various real-world applications exhibit heavy tail distributions around the centroids or suffer from possible adversarial attacks that call for robust clustering with a robust data-driven initialization. In this paper, we present initialization and subsequent clustering methods that provably guarantee near-optimal mislabeling for general mixture models when the number of clusters and data dimensions are finite. We first introduce a hybrid clustering technique with a novel multivariate trimmed mean type centroid estimate to produce mislabeling guarantees under a weak initialization condition for general error distributions around the centroids. A matching lower bound is derived, up to factors depending on the number of clusters. In addition, our approach also produces similar mislabeling guarantees even in the presence of adversarial outliers. Our results reduce to the sub-Gaussian case in finite dimensions when errors follow sub-Gaussian distributions. To solve the problem thoroughly, we also present novel data-driven robust initialization techniques and show that, with probabilities approaching one, these initial centroid estimates are sufficiently good for the subsequent clustering algorithm to achieve the optimal mislabeling rates. Furthermore, we demonstrate that the Lloyd algorithm is suboptimal for more than two clusters even when errors are Gaussian and for two clusters when error distributions have heavy tails. Both simulated data and real data examples further support our robust initialization procedure and clustering algorithm. △ Less

Submitted 22 October, 2024; v1 submitted 10 January, 2024; originally announced January 2024.

Comments: 51 pages, corrected typos, updated structures and results are improved

MSC Class: 62H30 (Primary); 62G35; 62G05 (Secondary)

A Polynomial Kernel for Proper Helly Circular-arc Vertex Deletion

Authors: Akanksha Agrawal, Satyabrata Jana, Abhishek Sahu

Abstract: A proper Helly circular-arc graph is an intersection graph of a set of arcs on a circle such that none of the arcs properly contains any other arc and every set of pairwise intersecting arcs has a common intersection. The Proper Helly Circular-arc Vertex Deletion problem takes as input a graph $G$ and an integer $k$, and the goal is to check if we can remove at most $k$ vertices from the graph to… ▽ More A proper Helly circular-arc graph is an intersection graph of a set of arcs on a circle such that none of the arcs properly contains any other arc and every set of pairwise intersecting arcs has a common intersection. The Proper Helly Circular-arc Vertex Deletion problem takes as input a graph $G$ and an integer $k$, and the goal is to check if we can remove at most $k$ vertices from the graph to obtain a proper Helly circular-arc graph; the parameter is $k$. Recently, Cao et al.~[MFCS 2023] obtained an FPT algorithm for this (and related) problem. In this work, we obtain a polynomial kernel for the problem. △ Less

Submitted 7 January, 2024; originally announced January 2024.

Comments: 25 pages, 3 figures, In LATIN 2024

The mod 2 cohomology rings of the alternating subgroups of the Coxeter groups of Type B

Authors: Lorenzo Guerra, Santanil Jana

Abstract: We show that the direct sum of the cohomology groups of the alternating subgroups of the family of Coxeter groups of Type B exhibits an almost-Hopf ring structure. We apply techniques developed by Giusti and Sinha to fully compute a presentation of this structure for mod 2 coefficient. We show that the direct sum of the cohomology groups of the alternating subgroups of the family of Coxeter groups of Type B exhibits an almost-Hopf ring structure. We apply techniques developed by Giusti and Sinha to fully compute a presentation of this structure for mod 2 coefficient. △ Less

Submitted 19 December, 2023; originally announced December 2023.

Comments: 34 pages, 1 figure

MSC Class: 20J06 (Primary) 13A50; 55N10 (Secondary)

Invariant circles and phase portraits of cubic vector fields on the sphere

Authors: Joji Benny, Supriyo Jana, Soumen Sarkar

Abstract: In this paper, we characterize and study dynamical properties of cubic vector fields on the sphere $\mathbb{S}^2 = \{(x, y, z) \in \mathbb{R}^3 ~|~ x^2+y^2+z^2 = 1\}$. We start by classifying all degree three polynomial vector fields on $\mathbb{S}^2$ and determine which of them form Kolmogorov systems. Then, we show that there exist completely integrable cubic vector fields on $\mathbb{S}^2$ and… ▽ More In this paper, we characterize and study dynamical properties of cubic vector fields on the sphere $\mathbb{S}^2 = \{(x, y, z) \in \mathbb{R}^3 ~|~ x^2+y^2+z^2 = 1\}$. We start by classifying all degree three polynomial vector fields on $\mathbb{S}^2$ and determine which of them form Kolmogorov systems. Then, we show that there exist completely integrable cubic vector fields on $\mathbb{S}^2$ and also study the maximum number of various types of invariant circles for homogeneous cubic vector fields on $\mathbb{S}^2$. We find a tight bound in each case. Further, we also discuss phase portraits of certain cubic Kolmogorov vector fields on $\mathbb{S}^2$. △ Less

Submitted 22 October, 2023; originally announced October 2023.

Comments: 17 pages. Comments are welcome

MSC Class: 34A34; 34C14; 34C40; 34C45; 58J90

Journal ref: Qual. Theory Dyn. Syst. 23, 121 (2024)

Moments of $L$-functions via the relative trace formula

Authors: Subhajit Jana, Ramon Nunes

Abstract: We prove an asymptotic formula for the second moment of the $\mathrm{GL}(n)\times\mathrm{GL}(n+1)$ Rankin--Selberg central $L$-values $L(1/2,Π\otimesπ)$, where $π$ is a fixed cuspidal representation of $\mathrm{GL}(n)$ that is tempered and unramified at every place, while $Π$ varies over a family of automorphic representations of $\mathrm{PGL}(n+1)$ ordered by (archimedean or non-archimedean) cond… ▽ More We prove an asymptotic formula for the second moment of the $\mathrm{GL}(n)\times\mathrm{GL}(n+1)$ Rankin--Selberg central $L$-values $L(1/2,Π\otimesπ)$, where $π$ is a fixed cuspidal representation of $\mathrm{GL}(n)$ that is tempered and unramified at every place, while $Π$ varies over a family of automorphic representations of $\mathrm{PGL}(n+1)$ ordered by (archimedean or non-archimedean) conductor. As another application of our method, we prove the existence of infinitely many cuspidal representations $Π$ of $\mathrm{PGL}(n+1)$ such that $L(1/2,Π\otimesπ_1)$ and $L(1/2,Π\otimesπ_2)$ do not vanish simultaneously where $π_1$ and $π_2$ are cuspidal representations of $\mathrm{GL}(n)$ that are unramified and tempered at every place and have trivial central characters. △ Less

Submitted 12 September, 2023; originally announced September 2023.

Comments: 105 pages

Cohomology of complete unordered flag manifolds

Authors: Lorenzo Guerra, Santanil Jana

Abstract: We consider quotients of complete flag manifolds in Cn and Rn by an action of the symmetric group on n objects. We compute their cohomology with field coefficients of any characteristic. Specifically, we show that these topological spaces exhibit homological stability and we provide a closed-form description of their stable cohomology rings. We also describe a simple algorithmic procedure to deter… ▽ More We consider quotients of complete flag manifolds in Cn and Rn by an action of the symmetric group on n objects. We compute their cohomology with field coefficients of any characteristic. Specifically, we show that these topological spaces exhibit homological stability and we provide a closed-form description of their stable cohomology rings. We also describe a simple algorithmic procedure to determine their unstable cohomology additively. △ Less

Submitted 19 December, 2023; v1 submitted 1 September, 2023; originally announced September 2023.

Comments: 37 pages, 2 figures In version 2 the link with representation stability was added and minimal rephrasing and typos correction are performed

MSC Class: 14M15 (Primary) 55N10; 55T10; 55N91; 55S12 (Secondary)

Refinements of generalized Euclidean operator radius inequalities of 2-tuple operators

Authors: Suvendu Jana, Pintu Bhunia, Kallol Paul

Abstract: We develop several upper and lower bounds for the $A$-Euclidean operator radius of $2$-tuple operators admitting $A$-adjoint, and show that they refine the earlier related bounds. As an application of the bounds developed here, we obtain sharper $A$-numerical radius bounds. We develop several upper and lower bounds for the $A$-Euclidean operator radius of $2$-tuple operators admitting $A$-adjoint, and show that they refine the earlier related bounds. As an application of the bounds developed here, we obtain sharper $A$-numerical radius bounds. △ Less

Submitted 17 August, 2023; originally announced August 2023.

MSC Class: 15A60; 47A30; 47A50; 47A12

Journal ref: Filomat 38 (2024), no.8, 2587-2599

Estimations of Euclidean operator radius

Authors: Pintu Bhunia, Suvendu Jana, Kallol Paul

Abstract: We develop several Euclidean operator radius bounds for the product of two $d$-tuple operators using positivity criteria of a $2\times 2$ block matrix whose entries are $d$-tuple operators. From these bounds, by using the polar decomposition of operators, we obtain Euclidean operator radius bounds for $d$-tuple operators. Among many other interesting bounds, it is shown that \begin{eqnarray*} w_e(… ▽ More We develop several Euclidean operator radius bounds for the product of two $d$-tuple operators using positivity criteria of a $2\times 2$ block matrix whose entries are $d$-tuple operators. From these bounds, by using the polar decomposition of operators, we obtain Euclidean operator radius bounds for $d$-tuple operators. Among many other interesting bounds, it is shown that \begin{eqnarray*} w_e(\mathbf{A}) &\leq&\frac1{\sqrt2} \mathbf{A}\|^{1/2}\sqrt{\left\|\sum_{k=1}^{d} (|A_k|+|A_k^*|)\right\|}, \end{eqnarray*} where $w_e(\mathbf{A})$ and $\|\mathbf{A}\|$ are the Euclidean operator radius and the Euclidean operator norm, respectively, of a $d$-tuple operator $\mathbf{A}=(A_1,A_2, \ldots,A_d).$ Further, we develop an upper bound for the Euclidean operator radius of $n\times n$ operator matrix whose entries are $d$-tuple operators. In particular, it is proved that if $\begin{bmatrix} \mathbf{A_{ij}} \end{bmatrix}_{n\times n}$ is an $n\times n$ operator matrix then $$ w_e\left( \begin{bmatrix} \mathbf{A_{ij}} \end{bmatrix}_{n\times n}\right)\leq w \left(\begin{bmatrix} a_{ij} \end{bmatrix}_{n\times n}\right),$$ where each $\mathbf{A_{ij}}$ is a $d$-tuple operator, $1\leq i,j\leq n$, $a_{ij}=w_e(\mathbf{A_{ij}})\, \textit{ if i=j}$, $a_{ij}= \sqrt{w_e\left(|\mathbf{A_{ji}|}+|\mathbf{A_{ij}^*}|\right)w_e\left(|\mathbf{A_{ij}|}+|\mathbf{A_{ji}^*}|\right)}\,\textit{ if $i<j$}$, and $a_{ij}= 0\,\textit{ if $i>j$}.$ Other related applications are also discussed. △ Less

Submitted 17 August, 2023; originally announced August 2023.

MSC Class: 47A12; 15A60; 47A30

Euclidean operator radius and numerical radius inequalities

Authors: Suvendu Jana, Pintu Bhunia, Kallol Paul

Abstract: Let $T$ be a bounded linear operator on a complex Hilbert space $\mathscr{H}.$ We obtain various lower and upper bounds for the numerical radius of $T$ by developing the Euclidean operator radius bounds of a pair of operators, which are stronger than the existing ones. In particular, we develop an inequality that improves on the inequality… ▽ More Let $T$ be a bounded linear operator on a complex Hilbert space $\mathscr{H}.$ We obtain various lower and upper bounds for the numerical radius of $T$ by developing the Euclidean operator radius bounds of a pair of operators, which are stronger than the existing ones. In particular, we develop an inequality that improves on the inequality $$ w(T) \geq \frac12 {\|T\|}+\frac14 {\left|\|Re(T)\|-\frac12 \|T\| \right|} + \frac14 { \left| \|Im(T)\|-\frac12 \|T\| \right|}.$$ Various equality conditions of the existing numerical radius inequalities are also provided. Further, we study the numerical radius inequalities of $2\times 2$ off-diagonal operator matrices. Applying the numerical radius bounds of operator matrices, we develop the upper bounds of $w(T)$ by using $t$-Aluthge transform. In particular, we improve the well known inequality $$ w(T) \leq \frac12 {\|T\|}+ \frac12{ w(\widetilde{T})}, $$ where $\widetilde{T}=|T|^{1/2}U|T|^{1/2}$ is the Aluthge transform of $T$ and $T=U|T|$ is the polar decomposition of $T$. △ Less

Submitted 17 August, 2023; originally announced August 2023.

MSC Class: 47A12; 15A60; 47A30; 47A50

Quadratic, Homogeneous and Kolmogorov vector fields on $S^1\times S^2$ and $S^2 \times S^1$

Authors: Supriyo Jana, Soumen Sarkar

Abstract: In this paper, we consider the following two algebraic hypersurfaces $$S^1\times S^2=\{(x_1,x_2,x_3,x_4)\in \mathbb{R}^4:(x_1^2+x_2^2-a^2)^2 + x_3^2 + x_4^2 -1=0;~ a>1\}$$ and $$S^2\times S^1=\{(x_1,x_2,x_3,x_4)\in \mathbb{R}^4:(x_1^2+x_2^2+x_3^2-b^2)^2+x_4^2-1=0;~ b>1\}$$ embedded in $\mathbb{R}^4$. We study polynomial vector fields in $\mathbb{R}^4$ separately, having $S^1\times S^2$ and… ▽ More In this paper, we consider the following two algebraic hypersurfaces $$S^1\times S^2=\{(x_1,x_2,x_3,x_4)\in \mathbb{R}^4:(x_1^2+x_2^2-a^2)^2 + x_3^2 + x_4^2 -1=0;~ a>1\}$$ and $$S^2\times S^1=\{(x_1,x_2,x_3,x_4)\in \mathbb{R}^4:(x_1^2+x_2^2+x_3^2-b^2)^2+x_4^2-1=0;~ b>1\}$$ embedded in $\mathbb{R}^4$. We study polynomial vector fields in $\mathbb{R}^4$ separately, having $S^1\times S^2$ and $S^2\times S^1$ invariant by their flows. We characterize all linear, quadratic, cubic Kolmogorov and homogeneous vector fields on $S^1\times S^2$ and $S^2\times S^1$. We construct some first integrals of these vector fields and find which of the vector fields are Hamiltonian. We give upper bounds for the number of the invariant meridian and parallel hyperplanes of these vector fields. In addition, we have shown that the upper bounds are sharp in many cases. △ Less

Submitted 18 July, 2023; originally announced July 2023.

Comments: 28 pages, any comments are welcome

MSC Class: 34A34; 34C14; 34C40; 37J35

Journal ref: J. Differential Equations, 424 (2025), 30-64

Empirical Bayes via ERM and Rademacher complexities: the Poisson model

Authors: Soham Jana, Yury Polyanskiy, Anzo Teh, Yihong Wu

Abstract: We consider the problem of empirical Bayes estimation for (multivariate) Poisson means. Existing solutions that have been shown theoretically optimal for minimizing the regret (excess risk over the Bayesian oracle that knows the prior) have several shortcomings. For example, the classical Robbins estimator does not retain the monotonicity property of the Bayes estimator and performs poorly under m… ▽ More We consider the problem of empirical Bayes estimation for (multivariate) Poisson means. Existing solutions that have been shown theoretically optimal for minimizing the regret (excess risk over the Bayesian oracle that knows the prior) have several shortcomings. For example, the classical Robbins estimator does not retain the monotonicity property of the Bayes estimator and performs poorly under moderate sample size. Estimators based on the minimum distance and non-parametric maximum likelihood (NPMLE) methods correct these issues, but are computationally expensive with complexity growing exponentially with dimension. Extending the approach of Barbehenn and Zhao (2022), in this work we construct monotone estimators based on empirical risk minimization (ERM) that retain similar theoretical guarantees and can be computed much more efficiently. Adapting the idea of offset Rademacher complexity Liang et al. (2015) to the non-standard loss and function class in empirical Bayes, we show that the shape-constrained ERM estimator attains the minimax regret within constant factors in one dimension and within logarithmic factors in multiple dimensions. △ Less

Submitted 5 July, 2023; originally announced July 2023.

Comments: 34 pages, 1 Figure, to appear in the 2023 Conference of Learning Theory (COLT)

Adversarially robust clustering with optimality guarantees

Authors: Soham Jana, Kun Yang, Sanjeev Kulkarni

Abstract: We consider the problem of clustering data points coming from sub-Gaussian mixtures. Existing methods that provably achieve the optimal mislabeling error, such as the Lloyd algorithm, are usually vulnerable to outliers. In contrast, clustering methods seemingly robust to adversarial perturbations are not known to satisfy the optimal statistical guarantees. We propose a simple robust algorithm base… ▽ More We consider the problem of clustering data points coming from sub-Gaussian mixtures. Existing methods that provably achieve the optimal mislabeling error, such as the Lloyd algorithm, are usually vulnerable to outliers. In contrast, clustering methods seemingly robust to adversarial perturbations are not known to satisfy the optimal statistical guarantees. We propose a simple robust algorithm based on the coordinatewise median that obtains the optimal mislabeling rate even when we allow adversarial outliers to be present. Our algorithm achieves the optimal error rate in constant iterations when a weak initialization condition is satisfied. In the absence of outliers, in fixed dimensions, our theoretical guarantees are similar to that of the Lloyd algorithm. Extensive experiments on various simulated and public datasets are conducted to support the theoretical guarantees of our method. △ Less

Submitted 14 August, 2024; v1 submitted 16 June, 2023; originally announced June 2023.

Comments: 38 pages, 9 figures. Updated with remarks, real data analysis, and typo corrections

MSC Class: 62G30; 62G35; 62H30

Characterisation of equivalent norms on a linear space using exponential vector space

Authors: Dhruba Prakash Biswas, Priti Sharma, Sandip Jana

Abstract: In this paper we have found a necessary and sufficient condition for equivalence of two norms on a linear space using the theory of exponential vector space. Exponential vector space is an ordered algebraic structure which can be considered as an algebraic ordered extension of vector space. This structure is axiomatised on the basis of the intrinsic properties of the hyperspace… ▽ More In this paper we have found a necessary and sufficient condition for equivalence of two norms on a linear space using the theory of exponential vector space. Exponential vector space is an ordered algebraic structure which can be considered as an algebraic ordered extension of vector space. This structure is axiomatised on the basis of the intrinsic properties of the hyperspace $\mathscr{C}(\mathcal X)$ comprising all nonempty compact subsets of a Hausdorff topological vector space $\mathcal X$. Exponential vector space is a conglomeration of a semigroup structure, a scalar multiplication and a compatible partial order. We have shown that the collection of all norms defined on a linear space, together with the constant function zero, forms a topological exponential vector space. Then using the concept of comparing function (a concept defined on a topological exponential vector space) we have proved the aforesaid necessary and sufficient condition; also we have proved using comparing function that in an infinite dimensional linear space there are uncountably many non-equivalent norms. △ Less

Submitted 20 May, 2023; originally announced May 2023.

Comments: arXiv admin note: text overlap with arXiv:2006.03544, arXiv:2006.06554

MSC Class: 46A99; 46B99; 06F99

The mod-2 cohomology groups of low-dimensional unordered flag manifolds and Auerbach bases

Authors: Lorenzo Guerra, Santanil Jana, Arun Maiti

Abstract: Unordered flag manifolds are the manifolds of unordered $n$-tuple of mutually orthogonal lines in $\mathbb{R}^n$. In this paper, we develop some basic tools to compute the mod-$2$ cohomology groups of these spaces, and apply them for explicit computation for small $n$. We show that this computation improves the known estimate of the number of Auerbach bases of normed linear spaces of small dimensi… ▽ More Unordered flag manifolds are the manifolds of unordered $n$-tuple of mutually orthogonal lines in $\mathbb{R}^n$. In this paper, we develop some basic tools to compute the mod-$2$ cohomology groups of these spaces, and apply them for explicit computation for small $n$. We show that this computation improves the known estimate of the number of Auerbach bases of normed linear spaces of small dimensions. △ Less

Submitted 25 June, 2024; v1 submitted 25 April, 2023; originally announced April 2023.

Comments: 30 pages

MSC Class: 55R20; 20J06; 46B20; 52A20; 55M30

Euclidean operator radius inequalities of $d$-tuple operators and operator matrices

Authors: Suvendu Jana, Pintu Bhunia, Kallol Paul

Abstract: In this paper, we develop several Euclidean operator radius inequalities of $d$-tuple operators, as well as the sum and the product of $d$-tuple operators. Also, we obtain a power inequality for the Euclidean operator radius. Further, we develop Euclidean operator radius inequalities of $2\times 2$ operator matrices whose entries are $d$-tuple operators. In this paper, we develop several Euclidean operator radius inequalities of $d$-tuple operators, as well as the sum and the product of $d$-tuple operators. Also, we obtain a power inequality for the Euclidean operator radius. Further, we develop Euclidean operator radius inequalities of $2\times 2$ operator matrices whose entries are $d$-tuple operators. △ Less

Submitted 17 April, 2023; originally announced April 2023.

Comments: 25 pages

MSC Class: Primary 47A12; Secondary 15A60; 47A30; 47A50

Numerical radius inequalities and estimation of zeros of polynomials

Authors: Suvendu Jana, Pintu Bhunia, Kallol Paul

Abstract: Let $A$ be a bounded linear operator defined on a complex Hilbert space and let $|A|=(A^*A)^{1/2}$ be the positive square root of $A$. Among other refinements of the well known numerical radius inequality $w^2(A)\leq \frac12 \|A^*A+AA^*\|$, we show that \begin{eqnarray*} w^2(A)&\leq&\frac{1}{4} w^2 \left(|A|+i|A^*|\right)+\frac{1}{8}\left\||A|^2+|A^*|^2\right \|+\frac{1}{4}w\left(|A||A^*|\… ▽ More Let $A$ be a bounded linear operator defined on a complex Hilbert space and let $|A|=(A^*A)^{1/2}$ be the positive square root of $A$. Among other refinements of the well known numerical radius inequality $w^2(A)\leq \frac12 \|A^*A+AA^*\|$, we show that \begin{eqnarray*} w^2(A)&\leq&\frac{1}{4} w^2 \left(|A|+i|A^*|\right)+\frac{1}{8}\left\||A|^2+|A^*|^2\right \|+\frac{1}{4}w\left(|A||A^*|\right) &\leq& \frac12 \|A^*A+AA^*\|. \end{eqnarray*} Also, we develop inequalities involving numerical radius and spectral radius for the sum of the product operators, from which we derive the following inequalities $$ w^p(A) \leq \frac{1}{\sqrt{2} } w(|A|^p+i|A^*|^p )\leq \|A\|^p$$ for all $p\geq 1.$ Further, we derive new bounds for the zeros of complex polynomials. △ Less

Submitted 8 January, 2023; originally announced January 2023.

Comments: 16 pages

MSC Class: Primary 47A12; 26C10 Secondary 47A30; 30C15

Journal ref: Georgian Math. J. 30 (2023), no.5, 671-682

Optimal Diophantine Exponents for $\mathrm{SL}(n)$

Authors: Subhajit Jana, Amitay Kamber

Abstract: The \emph{Diophantine exponent} of an action of a group on a homogeneous space, as defined by Ghosh, Gorodnik, and Nevo, quantifies the complexity of approximating the points of the homogeneous space by the points on an orbit of the group. We show that the Diophantine exponent of the $\mathrm{SL}_n(\mathbb{Z}[1/p])$-action on the generalized upper half-space… ▽ More The \emph{Diophantine exponent} of an action of a group on a homogeneous space, as defined by Ghosh, Gorodnik, and Nevo, quantifies the complexity of approximating the points of the homogeneous space by the points on an orbit of the group. We show that the Diophantine exponent of the $\mathrm{SL}_n(\mathbb{Z}[1/p])$-action on the generalized upper half-space $\mathrm{SL}_n(\mathbb{R})/\mathrm{SO}_n(\mathbb{R})$, lies in $[1,1+O(1/n)]$, substantially improving upon Ghosh--Gorodnik--Nevo's method which gives the above range to be $[1,n-1]$. We also show that the exponent is \emph{optimal}, i.e.\ equals one, under the assumption of \emph{Sarnak's density hypothesis}. The result, in particular, shows that the optimality of Diophantine exponents can be obtained even when the \emph{temperedness} of the underlying representations, the crucial assumption in Ghosh--Gorodnik--Nevo's work, is not satisfied. The proof uses the spectral decomposition of the homogeneous space and bounds on the local $L^2$-norms of the Eisenstein series. △ Less

Submitted 2 March, 2024; v1 submitted 9 November, 2022; originally announced November 2022.

Comments: 50 pages, to appear in Advances in Mathematics

Report number: MPIM-Bonn-2024 MSC Class: 11F70; 11J13

Journal ref: Adv. Math. 443 (2024), Paper No. 109613

On the local $L^2$-Bound of the Eisenstein Series

Authors: Subhajit Jana, Amitay Kamber

Abstract: We study the growth of the local $L^2$-norms of the unitary Eisenstein series for reductive groups over number fields, in terms of their parameters. We derive a \emph{poly-logarithmic} bound on an average, for a large class of reductive groups. The method is based on Arthur's development of the spectral side of the trace formula, and ideas of Finis, Lapid, and Müller. As applications of our method… ▽ More We study the growth of the local $L^2$-norms of the unitary Eisenstein series for reductive groups over number fields, in terms of their parameters. We derive a \emph{poly-logarithmic} bound on an average, for a large class of reductive groups. The method is based on Arthur's development of the spectral side of the trace formula, and ideas of Finis, Lapid, and Müller. As applications of our method, we prove the optimal lifting property for $\mathrm{SL}_n(\mathbb{Z}/q\mathbb{Z})$ for square-free $q$, as well as the Sarnak--Xue counting property for the principal congruence subgroup of $\mathrm{SL}_n(\mathbb{Z})$ of square-free level. This makes the recent results of Assing--Blomer unconditional. △ Less

Submitted 22 May, 2024; v1 submitted 28 October, 2022; originally announced October 2022.

Comments: 50 pages, to appear in Forum Math. Sigma

MSC Class: 11F70; 11F72; 22E55

Journal ref: Forum Math. Sigma, vol. 12, e76, (2024)

Absolute Continuity of Function on Topological Space using Measure

Authors: Dhruba Prakash Biswas, Sandip Jana

Abstract: The prime objective of this paper is to develop the notion of absolute continuity of functions on a more general setting outside $\R$. For this we have considered a topological space which is a measure space as well. We have built axioms for making the $σ$- algebra and measure compatible with the topology of the space. These spaces are termed as \textit{topological measure space} (in short \textit… ▽ More The prime objective of this paper is to develop the notion of absolute continuity of functions on a more general setting outside $\R$. For this we have considered a topological space which is a measure space as well. We have built axioms for making the $σ$- algebra and measure compatible with the topology of the space. These spaces are termed as \textit{topological measure space} (in short \textit{tms}). $\R^n$ with usual topology, Lebesgue $σ$-algebra and Lebesgue measure is a relevant example of tms. Further, we have presented a new tms structure on second countable metric spaces with the development of a new measure. This construction is motivated by \textbf{Carathéodory}'s Theorem. In this new tms framework, we have accomplished exploring ample collection of absolutely continuous functions not only on $\R^n(n\geq 2)$ but also on any seperable normed linear space. Also, we have described several analytical aspects carrying the intrinsic sense of absolute continuity on tms framing. Besides, the collection of all absolutely continuous functions on tms forms a vector space over $\K$, the field of real or complex numbers and with additional boundedness property, they form ring and algebra over $\K$. Thereafter, we have introduced the concept of \textit{locally Lipschitcz function} on tms involving the measurement of open connected sets. A relation between absolute continuity and locally Lipschitz has been developed. We have proved that absolute continuity and boundedness of linear functionals are same on separable normed linear spaces with the association of that new measure. Further, we have extended the co-domain of absolutely continuous functions upto normed linear spaces which helps us to characterise absolute continuity of linear maps in terms of boundedness when the domain is a seperable normed linear space incorporated with that new measure. △ Less

Submitted 14 September, 2022; v1 submitted 6 September, 2022; originally announced September 2022.

MSC Class: 26A46; 26B30; 28A12; 54B99; 46B99

Optimal empirical Bayes estimation for the Poisson model via minimum-distance methods

Authors: Soham Jana, Yury Polyanskiy, Yihong Wu

Abstract: The Robbins estimator is the most iconic and widely used procedure in the empirical Bayes literature for the Poisson model. On one hand, this method has been recently shown to be minimax optimal in terms of the regret (excess risk over the Bayesian oracle that knows the true prior) for various nonparametric classes of priors. On the other hand, it has been long recognized in practice that Robbins… ▽ More The Robbins estimator is the most iconic and widely used procedure in the empirical Bayes literature for the Poisson model. On one hand, this method has been recently shown to be minimax optimal in terms of the regret (excess risk over the Bayesian oracle that knows the true prior) for various nonparametric classes of priors. On the other hand, it has been long recognized in practice that Robbins estimator lacks the desired smoothness and monotonicity of Bayes estimators and can be easily derailed by those data points that were rarely observed before. Based on the minimum-distance distance method, we propose a suite of empirical Bayes estimators, including the classical nonparametric maximum likelihood, that outperform the Robbins method in a variety of synthetic and real data sets and retain its optimality in terms of minimax regret. △ Less

Submitted 7 May, 2024; v1 submitted 3 September, 2022; originally announced September 2022.

Comments: 28 pages, 7 figures, 3 tables. Added an extension to a multivariate setup and a comparison with the worst case prior

MSC Class: 62G05; 62G07

General Cutting Planes for Bound-Propagation-Based Neural Network Verification

Authors: Huan Zhang, Shiqi Wang, Kaidi Xu, Linyi Li, Bo Li, Suman Jana, Cho-Jui Hsieh, J. Zico Kolter

Abstract: Bound propagation methods, when combined with branch and bound, are among the most effective methods to formally verify properties of deep neural networks such as correctness, robustness, and safety. However, existing works cannot handle the general form of cutting plane constraints widely accepted in traditional solvers, which are crucial for strengthening verifiers with tightened convex relaxati… ▽ More Bound propagation methods, when combined with branch and bound, are among the most effective methods to formally verify properties of deep neural networks such as correctness, robustness, and safety. However, existing works cannot handle the general form of cutting plane constraints widely accepted in traditional solvers, which are crucial for strengthening verifiers with tightened convex relaxations. In this paper, we generalize the bound propagation procedure to allow the addition of arbitrary cutting plane constraints, including those involving relaxed integer variables that do not appear in existing bound propagation formulations. Our generalized bound propagation method, GCP-CROWN, opens up the opportunity to apply general cutting plane methods for neural network verification while benefiting from the efficiency and GPU acceleration of bound propagation methods. As a case study, we investigate the use of cutting planes generated by off-the-shelf mixed integer programming (MIP) solver. We find that MIP solvers can generate high-quality cutting planes for strengthening bound-propagation-based verifiers using our new formulation. Since the branching-focused bound propagation procedure and the cutting-plane-focused MIP solver can run in parallel utilizing different types of hardware (GPUs and CPUs), their combination can quickly explore a large number of branches with strong cutting planes, leading to strong verification performance. Experiments demonstrate that our method is the first verifier that can completely solve the oval20 benchmark and verify twice as many instances on the oval21 benchmark compared to the best tool in VNN-COMP 2021, and also noticeably outperforms state-of-the-art verifiers on a wide range of benchmarks. GCP-CROWN is part of the $α,\!β$-CROWN verifier, the VNN-COMP 2022 winner. Code is available at http://PaperCode.cc/GCP-CROWN △ Less

Submitted 4 December, 2022; v1 submitted 11 August, 2022; originally announced August 2022.

Comments: Accepted by NeurIPS 2022. GCP-CROWN is part of the alpha-beta-CROWN verifier, the VNN-COMP 2022 winner

Extended weakly symmetric manifolds

Authors: Kanak Kanti Baishya, Sanjib Kr Jana, Manoj Ray Bakshi, Malay Pain, Haradhan Kundu

Abstract: In this work, we have introduced and studied some basic geometric properties of extended weakly symmetric spaces. After classification of this structure we have also established the existence of such a space by presenting a non-trivial example. In this work, we have introduced and studied some basic geometric properties of extended weakly symmetric spaces. After classification of this structure we have also established the existence of such a space by presenting a non-trivial example. △ Less

Submitted 28 May, 2022; originally announced June 2022.

MSC Class: 53C15; 53C25

Euclidean operator radius inequalities of a pair of bounded linear operators and their applications

Authors: Suvendu Jana, Pintu Bhunia, Kallol Paul

Abstract: We obtain several sharp lower and upper bounds for the Euclidean operator radius of a pair of bounded linear operators defined on a complex Hilbert space. As applications of these bounds we deduce a chain of new bounds for the classical numerical radius of a bounded linear operator which improve on the existing ones. In particular, we prove that for a bounded linear operator $A,$ \[\frac{1}{4} \… ▽ More We obtain several sharp lower and upper bounds for the Euclidean operator radius of a pair of bounded linear operators defined on a complex Hilbert space. As applications of these bounds we deduce a chain of new bounds for the classical numerical radius of a bounded linear operator which improve on the existing ones. In particular, we prove that for a bounded linear operator $A,$ \[\frac{1}{4} \|A^*A+AA^*\|+\fracμ{2}\max \{\|\Re(A)\|,\|\Im(A)\|\} \leq w^2(A) \, \leq \, w^2( |\Re(A)| +i |\Im(A)|),\] where $μ= \big| \|\Re(A)+\Im(A)\|-\|\Re(A)-\Im(A)\|\big|.$ This improve the existing upper and lower bounds of the numerical radius, namely, \[ \frac14 \|A^*A+AA^*\|\leq w^2(A) \leq \frac12 \|A^*A+AA^*\|. \] △ Less

Submitted 11 April, 2022; originally announced April 2022.

Journal ref: Bull. Braz. Math. Soc. (N.S.) 54 (2023), no.1, Paper No. 1, 14 pp

Spectral reciprocity for $\mathrm{GL}(n)$ and simultaneous non-vanishing of central $L$-values

Authors: Subhajit Jana, Ramon Nunes

Abstract: Let $F$ be a totally real number field and $n\ge 3$. Let $Π$ and $π$ be cuspidal automorphic representations for $\mathrm{PGL}_{n+1}(F)$ and $\mathrm{PGL}_{n-1}(F)$, respectively, that are unramified and tempered at all finite places. We prove simultaneous non-vanishing of the Rankin--Selberg $L$-values $L(1/2,Π\otimes\widetildeσ)$ and $L(1/2,σ\otimes\widetildeπ)$ for certain sequences of $σ$ vary… ▽ More Let $F$ be a totally real number field and $n\ge 3$. Let $Π$ and $π$ be cuspidal automorphic representations for $\mathrm{PGL}_{n+1}(F)$ and $\mathrm{PGL}_{n-1}(F)$, respectively, that are unramified and tempered at all finite places. We prove simultaneous non-vanishing of the Rankin--Selberg $L$-values $L(1/2,Π\otimes\widetildeσ)$ and $L(1/2,σ\otimes\widetildeπ)$ for certain sequences of $σ$ varying over cuspidal automorphic representations for $\mathrm{PGL}_n(F)$ with conductor tending to infinity in the level aspect and bearing certain local conditions. Along the way, we also prove a reciprocity formula for the average of the product of Rankin--Selberg $L$-functions $L(1/2,Π\otimes\widetildeσ)L(1/2,σ\otimes\widetildeπ)$ over a conductor aspect family of $σ$. △ Less

Submitted 13 November, 2024; v1 submitted 3 November, 2021; originally announced November 2021.

Comments: 62 pages, to appear in American Journal of Math

Report number: MPIM-Bonn-2024 MSC Class: 11F55; 11F72

Support Recovery with Stochastic Gates: Theory and Application for Linear Models

Authors: Soham Jana, Henry Li, Yutaro Yamada, Ofir Lindenbaum

Abstract: Consider the problem of simultaneous estimation and support recovery of the coefficient vector in a linear data model with additive Gaussian noise. We study the problem of estimating the model coefficients based on a recently proposed non-convex regularizer, namely the stochastic gates (STG) [Yamada et al. 2020]. We suggest a new projection-based algorithm for solving the STG regularized minimizat… ▽ More Consider the problem of simultaneous estimation and support recovery of the coefficient vector in a linear data model with additive Gaussian noise. We study the problem of estimating the model coefficients based on a recently proposed non-convex regularizer, namely the stochastic gates (STG) [Yamada et al. 2020]. We suggest a new projection-based algorithm for solving the STG regularized minimization problem, and prove convergence and support recovery guarantees of the STG-estimator for a range of random and non-random design matrix setups. Our new algorithm has been shown to outperform the existing STG algorithm and other classical estimators for support recovery in various real and synthetic data analyses. △ Less

Submitted 12 November, 2022; v1 submitted 29 October, 2021; originally announced October 2021.

Comments: 15 pages, 7 figures, extended the theoretical studies and numerical analyses to other probabilistic models (subgaussian, moment constraints etc.)

Improved inequalities for the numerical radius via Cartesian decomposition

Authors: Pintu Bhunia, Suvendu Jana, Mohammad Sal Moslehian, Kallol Paul

Abstract: We develop various lower bounds for the numerical radius $w(A)$ of a bounded linear operator $A$ defined on a complex Hilbert space, which improve the existing inequality $w^2(A)\geq \frac{1}{4}\|A^*A+AA^*\|$. In particular, for $r\geq 1$, we show that \begin{eqnarray*}\frac{1}{4}\|A^*A+AA^*\| \leq\frac{1}{2} \left( \frac{1}{2}\|\Re(A)+\Im(A)\|^{2r}+\frac{1}{2}\|\Re(A)-\Im(A)\|^{2r}\right)^{\fra… ▽ More We develop various lower bounds for the numerical radius $w(A)$ of a bounded linear operator $A$ defined on a complex Hilbert space, which improve the existing inequality $w^2(A)\geq \frac{1}{4}\|A^*A+AA^*\|$. In particular, for $r\geq 1$, we show that \begin{eqnarray*}\frac{1}{4}\|A^*A+AA^*\| \leq\frac{1}{2} \left( \frac{1}{2}\|\Re(A)+\Im(A)\|^{2r}+\frac{1}{2}\|\Re(A)-\Im(A)\|^{2r}\right)^{\frac{1}{r}} \leq w^{2}(A),\end{eqnarray*} where $\Re(A)$ and $\Im(A)$ are the real and imaginary parts of $A$, respectively. Furthermore, we obtain upper bounds for $w^2(A)$ refining the well-known upper bound $w^2(A)\leq \frac{1}{2} \left(w(A^2)+\|A\|^2\right)$. Separate complete characterizations for $w(A)=\frac{\|A\|}{2}$ and $w(A)=\frac{1}{2}\sqrt{\|A^*A+AA^*\|}$ are also given. △ Less

Submitted 6 October, 2021; originally announced October 2021.

Comments: 14 pages

MSC Class: Primary 47A12; Secondary 15A60; 47A30; 47A50

Journal ref: Funct. Anal. Appl. 57 (2023), no.1, 18-28

Refined inequalities for the numerical radius of Hilbert space operators

Authors: Pintu Bhunia, Suvendu Jana, Kallol Paul

Abstract: We present some new upper and lower bounds for the numerical radius of bounded linear operators on a complex Hilbert space and show that these are stronger than the existing ones. In particular, we prove that if $A$ is a bounded linear operator on a complex Hilbert space $\mathcal{H}$ and if $\Re(A)$, $\Im(A)$ are the real part, the imaginary part of $A$, respectively, then… ▽ More We present some new upper and lower bounds for the numerical radius of bounded linear operators on a complex Hilbert space and show that these are stronger than the existing ones. In particular, we prove that if $A$ is a bounded linear operator on a complex Hilbert space $\mathcal{H}$ and if $\Re(A)$, $\Im(A)$ are the real part, the imaginary part of $A$, respectively, then $$ w(A)\geq\frac{\|A\|}{2} +\frac{1}{2\sqrt{2}} \Big | \|\Re(A)+\Im(A)\|-\|\Re(A)-\Im(A)\| \Big | $$ and $$ w^2(A)\geq\frac{1}{4}\|A^*A+AA^*\|+\frac{1}{4}\Big| \|\Re(A)+\Im(A)\|^2-\|\Re(A)-\Im(A)\|^2\Big|. $$ Here $w(.)$ and $\|.\|$ denote the numerical radius and the operator norm, respectively. Further, we obtain refinement of inequalities for the numerical radius of the product of two operators. Finally, as an application of the second inequality mentioned above, we obtain an improvement of upper bound for the numerical radius of the commutators of operators. △ Less

Submitted 26 June, 2021; originally announced June 2021.

MSC Class: Primary 47A12; Secondary 47A30

Journal ref: Rocky Mountain J. Math., (2023)

Optimal prediction of Markov chains with and without spectral gap

Authors: Yanjun Han, Soham Jana, Yihong Wu

Abstract: We study the following learning problem with dependent data: Observing a trajectory of length $n$ from a stationary Markov chain with $k$ states, the goal is to predict the next state. For $3 \leq k \leq O(\sqrt{n})$, using techniques from universal compression, the optimal prediction risk in Kullback-Leibler divergence is shown to be $Θ(\frac{k^2}{n}\log \frac{n}{k^2})$, in contrast to the optima… ▽ More We study the following learning problem with dependent data: Observing a trajectory of length $n$ from a stationary Markov chain with $k$ states, the goal is to predict the next state. For $3 \leq k \leq O(\sqrt{n})$, using techniques from universal compression, the optimal prediction risk in Kullback-Leibler divergence is shown to be $Θ(\frac{k^2}{n}\log \frac{n}{k^2})$, in contrast to the optimal rate of $Θ(\frac{\log \log n}{n})$ for $k=2$ previously shown in Falahatgar et al. (2016). These rates, slower than the parametric rate of $O(\frac{k^2}{n})$, can be attributed to the memory in the data, as the spectral gap of the Markov chain can be arbitrarily small. To quantify the memory effect, we study irreducible reversible chains with a prescribed spectral gap. In addition to characterizing the optimal prediction risk for two states, we show that, as long as the spectral gap is not excessively small, the prediction risk in the Markov model is $O(\frac{k^2}{n})$, which coincides with that of an iid model with the same number of parameters. Extensions to higher-order Markov chains are also obtained. △ Less

Submitted 3 May, 2022; v1 submitted 26 June, 2021; originally announced June 2021.

Comments: New results for higher-order Markov chains, 66 pages

On the Cohomology of the Total Space of Classifying Space for Commutativity in $U(3)$

Authors: Santanil Jana

Abstract: In this paper, we describe the total space $E_{com} U(3)$ of the principal $U(3)$-bundle associated with the classifying space for commutativity $B_{com} U(3)$ as a homotopy colimit of a diagram of spaces and offer a computation of the mod $2$ and mod $3$ cohomologies of $E_{com} U(3)$ by utilizing the spectral sequence associated with a homotopy colimit. We investigate the cohomology of different… ▽ More In this paper, we describe the total space $E_{com} U(3)$ of the principal $U(3)$-bundle associated with the classifying space for commutativity $B_{com} U(3)$ as a homotopy colimit of a diagram of spaces and offer a computation of the mod $2$ and mod $3$ cohomologies of $E_{com} U(3)$ by utilizing the spectral sequence associated with a homotopy colimit. We investigate the cohomology of different spaces in the homotopy colimit diagram. These spaces are intriguing in their own right and contribute to the overall fascination of the analysis. We also present the ring structure of the rational cohomology of $E_{com} U(3)$. △ Less

Submitted 24 May, 2023; v1 submitted 16 June, 2021; originally announced June 2021.

MSC Class: 55R40; 55R20

Joint equidistribution on the product of the circle and the unit tangent bundle of the modular surface

Authors: Subhajit Jana

Abstract: We use spectral method to prove a joint equidistribution of primitive rational points and the same along expanding horocycle orbits in the products of the circle and the unit cotangent bundle of the modular surface. This result explicates the error bound in a recent work of Einsiedler, Luethi, and Shah \cite[Theorem $1.1$]{ELS}. The error is sharp upon the best known progress towards the Ramanujan… ▽ More We use spectral method to prove a joint equidistribution of primitive rational points and the same along expanding horocycle orbits in the products of the circle and the unit cotangent bundle of the modular surface. This result explicates the error bound in a recent work of Einsiedler, Luethi, and Shah \cite[Theorem $1.1$]{ELS}. The error is sharp upon the best known progress towards the Ramanujan conjecture at the finite places for the modular surface. △ Less

Submitted 15 April, 2021; originally announced April 2021.

Comments: 11 pages. The paper dates from late 2018. To appear in Journal of Number Theory

MSC Class: 11F12; 37A44

Journal ref: J. Number Theory 226C (2021), 271-283

The Weyl bound for triple product L-functions

Authors: Valentin Blomer, Subhajit Jana, Paul D. Nelson

Abstract: Let $π_1, π_2, π_3$ be three cuspidal automorphic representations for the group ${\rm SL}(2, \Bbb{Z})$, where $π_1$ and $π_2$ are fixed and $π_3$ has large conductor. We prove a subconvex bound for $L(1/2, π_1 \otimes π_2 \otimes π_3)$ of Weyl-type quality. Allowing $π_3$ to be an Eisenstein series we also obtain a Weyl-type subconvex bound for $L(1/2 + it, π_1 \otimes π_2)$. Let $π_1, π_2, π_3$ be three cuspidal automorphic representations for the group ${\rm SL}(2, \Bbb{Z})$, where $π_1$ and $π_2$ are fixed and $π_3$ has large conductor. We prove a subconvex bound for $L(1/2, π_1 \otimes π_2 \otimes π_3)$ of Weyl-type quality. Allowing $π_3$ to be an Eisenstein series we also obtain a Weyl-type subconvex bound for $L(1/2 + it, π_1 \otimes π_2)$. △ Less

Submitted 2 May, 2022; v1 submitted 28 January, 2021; originally announced January 2021.

Comments: minor updates; to appear in Duke Math. J

Report number: MPIM-Bonn-2022

Journal ref: Duke Math J. 172 (6), 1173-1234, (2023)

The second moment of $\mathrm{GL}(n)\times\mathrm{GL}(n)$ Rankin--Selberg $L$-functions

Authors: Subhajit Jana

Abstract: We prove an asymptotic expansion of the second moment of the central values of the $\mathrm{GL}(n)\times\mathrm{GL}(n)$ Rankin--Selberg $L$-functions $L(1/2,π\otimesπ_0)$, for a fixed cuspidal automorphic representation $π_0$, over the family of $π$ with analytic conductors bounded by a quantity which is tending off to infinity. Our proof uses the integral representations of the $L$-functions, per… ▽ More We prove an asymptotic expansion of the second moment of the central values of the $\mathrm{GL}(n)\times\mathrm{GL}(n)$ Rankin--Selberg $L$-functions $L(1/2,π\otimesπ_0)$, for a fixed cuspidal automorphic representation $π_0$, over the family of $π$ with analytic conductors bounded by a quantity which is tending off to infinity. Our proof uses the integral representations of the $L$-functions, period with regularized Eisenstein series, and the invariance properties of the analytic newvectors. △ Less

Submitted 21 May, 2022; v1 submitted 14 December, 2020; originally announced December 2020.

Comments: 44 pages, to appear in Forum math, Sigma

Report number: MPIM-Bonn-2022 MSC Class: 11F55; 11F72

Journal ref: Forum Math. Sigma 10 (2022), Paper No. e47, 39 pp