arXiv Science⌕ Search

arXiv subjects

Samya Kumar Ray

Publications and source records attributed to Samya Kumar Ray.

18 recordsLinked to original sources
arXiv2026

Extreme points, positive Grothendieck constants and tensor product norms

We study several interrelated problems arising from the interplay between extreme point theory, Grothendieck-type inequalities, and tensor product norms. We develop a general framework for characterizing the extreme points of the set of positive contractions $\mathcal{A}_{X\to Y}$ between finite-dimensional Banach spaces, with explicit results for $X=\ell_1^n$, $Y=\ell_\infty^n$ and vice versa. These characterizations are applied to evaluate several constants exactly. We show that the positive Grothendieck constant $K_G^{+,\mathbb{R}}(3)$ equals $9/8$ and that the smallest constant $\rho^{+}(X)$ for which $\|A\|_\pi \leqslant \rho^{+}(X)\|A\|_\epsilon$ holds for all $A \geqslant 0$ equals $5/4$ when $X=\ell^3_\infty(\mathbb{R})$. We also prove that $\rho^+(X)=1$ when $X=\ell_\infty^n(\mathbb{C})$ and $n\leqslant 3$. Finally, we prove that $\rho^+(X) = 1$ for every 2-dimensional subspace $X$ of $\ell^3_\infty(\mathbb{C})$; since this is stronger than the 2-summing property, it recovers Proposition~4.4 of \cite{AFJS95}.

math.FA↗
arXiv2026

Maximal Ergodic Theorems for Operators with Finite Peripheral Spectrum

Let $\mathcal M$ be a semifinite von Neumann algebra and $T : \mathcal{M} \to \mathcal{M}$ be a positive $L_\infty-L_1$ contraction in the sense of Junge-Xu, of which the numerical range, as an operator on $L_2(\mathcal M),$ is contained in a closed polygon with vertices on the unit circle. Let $1<p<\infty.$ In this article, we prove that there exists a positive constant $C_p(T)$ such that \begin{equation}\label{abstract1stin} \Big\|\sup_{n \ge 0}\!^{+} T^n x \Big\|_p \le C_p(T)\, \|x\|_p \end{equation} for all $x \in L_p(\mathcal{M})$, extending some noncommutative maximal ergodic inequalities proved by Junge-Xu \cite{junge-Xu} and later generalized by Bekjan \cite{Bekjan2008}. In the commutative setting, the similar inequalities as above hold for arbitrary $L_\infty-L_1$ contractions with the same condition on the numerical range, yielding a vast generalisation of a classical maximal ergodic theorem of Stein \cite{Stein-ergodic-theorem} proved in 1960s. We further prove a variational inequality for contractively regular operators $T:L_p(\Omega)\to L_p(\Omega)$ whose peripheral spectrum is finite and satisfies a suitable resolvent estimate, extending earlier work of Le Merdy and Xu \cite{le-Merdy-Xu-q-variational-inequality}. Finally, we establish a noncommutative weak-type maximal inequality for convolution powers which was proved by Calder\'on and Below \cite{Bellow-Calderon} in the classical setting, complementing our strong type noncommutative $(p,p)$-maximal ergodic inequalities. Our method relies on several new polynomial identities, suitable square function estimates tailored to fit our setting and generalisation of Stein's method of embedding maximal function into analytic family of operators.

math.OA↗
arXiv2026

Lamperti Operators, Dilation Theory, and Applications in Noncommutative Ergodic Theory

In this paper, we develop a novel framework for quantitative mean ergodic theorems in the noncommutative setting, with a focus on actions of amenable groups and semigroups. We prove square function inequalities for ergodic averages arising from actions of groups of polynomial volume growth on a fixed noncommutative $L_p$-space for $1<p<\8$. To achieve this, we establish two endpoint estimates for a noncommutative square function on non-homogeneous space. Our approach relies on semi-commutative non-homogeneous harmonic analysis, including the non-doubling Calder\'on-Zygmund arguments for non-smooth kernels and $\mathrm{BMO}$ space theory, operator-valued inequalities related to balls and cubes in groups equipped with non-doubling measures, and a noncommutative generalization of the classical transference method for amenable group actions. As an application, we establish a quantitative ergodic theorem for the ergodic averages associated with the positive power of modulus representation arising from a Lamperti representation on noncommutative $L_p$-spaces, extending some results in \cite{Templeman2015}. To obtain quantitative ergodic theorem for semigroups of operators, in this paper, we address the open question of extending dilation theorem of Fackler-Gl\"uck from single operators to commuting tuples on Banach spaces including noncommutative $L_p$-spaces. Indeed our approach provides genuine joint $N$-dilations for commuting families, unifying and extending the classical dilation theorems of Sz.-Nagy--Foia\c{s} and Ak\c{c}oglu--Sucheston for a natural class of commuting tuple of contractions extending the abstract dilation theorem of of Fackler-Gl\"uck for commuting tuple of contractions. This enables us to obtain a quantitative ergodic theorem for a large class of semigroups of operators on $\mathbb{R}^d_{+}$.

math.OA↗
arXiv2025

Noncommutative ergodic theorems for action of semisimple Lie groups

Let $G$ be a connected simple Lie group of real rank one and finite center, and let $K$ be a maximal compact subgroup. We study the families of spherical, ball, and uniform averages $(\sigma_t)_{t>0}$, $(\beta_t)_{t>0}$, and $(\mu_t)_{t>0}$ on $G$ induced by the canonical $G$-invariant metric on $G/K$, in the setting where $G$ acts by trace-preserving $*$-automorphisms on a finite von Neumann algebra $(\mathcal M,\tau)$. For the associated noncommutative $L_p$-spaces $L_p(\mathcal M)$, we consider both local and global noncommutative maximal inequalities for these averages, and corresponding pointwise ergodic theorems in the sense of bilateral almost uniform convergence. Our approach combines a noncommutative Calder\'on transfer principle, spectral analysis for the Gelfand pair $(G,K)$ via Harish--Chandra's spherical functions, fractional integration methods, and Littlewood--Paley $g$-function estimates. This work is complemented by our results for higher-rank semisimple Lie groups, where the presence of Property~(T) and associated spectral gaps serve as the key tools in establishing Wiener-type noncommutative pointwise ergodic theorems and noncommutative $L_p$-maximal inequalities for ball and spherical averages on $G/K$ for certain class of semisimple Lie groups.

math.OA↗
arXiv2025

$H^\infty$ Functional Calculus for a Commuting Pair of $\text{Ritt}_{\text{E}}$ Operators

In this article, we develop a framework for the joint functional calculus of commuting pair of $\text{Ritt}_{\text{E}}$ operators on Banach spaces. We establish a transfer principle that relates the bounded holomorphic functional calculus for pair of $\text{Ritt}_{\text{E}}$ operators to that of their associated sectorial counterparts. In addition, we prove a joint dilation theorem for commuting tuples of $\text{Ritt}_{\text{E}}$ operators on a broad class of Banach spaces. As a key application, we obtain an equivalent set of criteria on $L^p$-spaces for $1<p< \infty$ that determine when a commuting pair of $\text{Ritt}_{\text{E}}$ operators admits a joint bounded functional calculus.

math.FA↗
arXiv2024

Weighted weak $(1,1)$ estimate for non-commutative square function

In this article, we consider weighted weak type $(1,1)$ inequality for certain square function associated to differences of ball averages and martingale in the non-commutative setting. This establishes a weighted version of main result of \cite{hong2021noncommutative}.

math.FA↗
arXiv2023

On a variant of the Grothendieck inequality and estimates on tensor product norms

We investigate a Grothendieck-type inequality for pairs of Banach spaces $E,F$ assuming $E$ is finite-dimensional and study the associated Grothendieck-type constant. We prove that if there is a $C >0$ such that $\|A\otimes \operatorname{id}_{F}\|_{E_m\check{\otimes}F\to E_n^*\hat{\otimes}F}\leqslant C \|A\|_{E_m\to E_n^*}$ for all $m,n\in\mathbb{N},$ where $\dim E_n=n$, then both $F$ and $F^*$ must have finite cotype. Moreover, assuming that $F$ has the bounded approximation property and that the conjecture in \cite{PisierDuality} has an affirmative answer, we show that $(E_n^*)_{n\geqslant 1}$ satisfies G.T. uniformly. We show that the Grothendieck-type constant defined for a pair of Banach spaces $(E,F)$ is closely related to another interesting quantity introduced recently in \cite{XOR games and GT} comparing the projective and injective norms on the tensor product of two finite-dimensional Banach spaces $E$ and $F$. We also study analogously the constants appearing in these extremal problems by restricting only to non-negative tensors. For contractive \emph{little} Parrott homomorphisms $\varrho_V : H^\infty(\Omega) \to M_{n}$, where $\Omega$ is the dual unit ball of a finite dimensional Banach space $(E,\|\cdot\|)$, we prove the sharp estimate $ \|\varrho_V\|_{\mathrm{cb}}\leq\sqrt{\gamma(E)}, $ $\gamma(E)$ being the positive Grothendieck constant associated with the pair $(E, \ell^n_2)$. %\st{with extremal cases achieving equality.} This yields a new proof of \cite[Theorem 2.1]{Davidchoi} using the lower bound $K_G^+(\ell_\infty^4,\ell_2^2) \geq 1.1658$ obtained in this paper.

math.FA↗
arXiv2022

A note on the column-row property

In this article, we study the following question asked by Michael Hartz in a recent paper \cite{Hartz}: \textit{which operator spaces satisfy the column-row property?} We provide a complete classification of the column-row property for non-commutative $L_{p}$-spaces over semifinite von Neumann algebras. We study other relevant properties of operator spaces that are related to the column-row property and discuss their existence and non-existence for various natural examples of operator spaces.

math.FA↗
arXiv2022

On Isometric Embeddability of $S_q^m$ into $S_p^n$ as non-commutative Quasi-Banach space

The existence of isometric embedding of $S_q^m$ into $S_p^n$, where $1\leq p\neq q\leq \infty$ and $m,n\geq 2$ has been recently studied in \cite{JFA22}. In this article, we extend the study of isometric embeddability beyond the above mentioned range of $p$ and $q$. More precisely, we show that there is no isometric embedding of the commutative quasi-Banach space $\ell_q^m(\R)$ into $\ell_p^n(\R)$, where $(q,p)\in (0,\infty)\times (0,1)$ and $p\neq q$. As non-commutative quasi-Banach spaces, we show that there is no isometric embedding of $S_q^m$ into $S_p^n$, where $(q,p)\in (0,2)\setminus \{1\}\times (0,1)$ $\cup\, \{1\}\times (0,1)\setminus \{\frac{1}{n}:n\in\mathbb{N}\}$ $\cup\, \{\infty\}\times (0,1)\setminus \{\frac{1}{n}:n\in\mathbb{N}\}$ and $p\neq q$. Moreover, in some restrictive cases, we also show that there is no isometric embedding of $S_q^m$ into $S_p^n$, where $(q,p)\in [2, \infty)\times (0,1)$. A new tool in our paper is the non-commutative Clarkson's inequality for Schatten class operators. Other tools involved are the Kato-Rellich theorem and multiple operator integrals in perturbation theory, followed by intricate computations involving power-series analysis.

math.FA↗
arXiv2020

Isometric Embeddability of $S_q^m$ into $S_p^n$

In this paper, we study existence of isometric embedding of $S_q^m$ into $S_p^n,$ where $1\leq p\neq q\leq \infty$ and $n\geq m\geq 2.$ We show that for all $n\geq m\geq 2$ if there exists a linear isometry from $S_q^m$ into $S_p^n$, where $(q,p)\in(1,\infty]\times(1,\infty) \cup(1,\infty)\setminus\{3\}\times\{1,\infty\}$ and $p\neq q,$ then we must have $q=2.$ This mostly generalizes a classical result of Lyubich and Vaserstein. We also show that whenever $S_q$ embeds isometrically into $S_p$ for $(q,p)\in \left(1,\infty\right)\times\left[2,\infty \right)\cup[4,\infty)\times\{1\} \cup\{\infty\}\times\left( 1,\infty\right)\cup[2,\infty)\times\{\infty\}$ with $p\neq q,$ we must have $q=2.$ Thus, our work complements work of Junge, Parcet, Xu and others on isometric and almost isometric embedding theory on non-commutative $L_p$-spaces. Our methods rely on several new ingredients related to perturbation theory of linear operators, namely Kato-Rellich theorem, theory of multiple operator integrals and Birkhoff-James orthogonality, followed by thorough and careful case by case analysis. The question whether for $m\geq 2$ and $1<q<2,$ $S_q^m$ embeds isometrically into $S_\infty^n$, was left open in \textit{Bull. London Math. Soc.} 52 (2020) 437-447.

math.FA↗
arXiv2019

On Isometric Embedding $\ell_p^m\to S_\infty^n$ and Unique operator space structure

We study existence of linear isometric embedding of $\ell_p^m$ into $S_\infty,$ for $1\leq p< \infty$ and unique operator space structure on two dimensional Banach spaces. For $p\in(2,\infty)\cup\{1\},$ we show that indeed $\ell_p^2$ does not embed isometrically into $S_\infty$. This verifies a guess of Pisier and broadly generalizes the main result of \cite{GUR18}. We also show that $S_1^m$ does not embed isometrically into $S_p^n$ for all $1<p<\infty$ and $m\geq 2$. As a consequence, we establish noncommutative analogue of some of the results in \cite{LYS04}. We also show that $(\mathbb{C}^2,\|.\|_{B_{p,q}})$ does not embed isometrically into $S_\infty$ for $2<p,q<\infty.$ The main ingredients in our proofs are notions of Birkhoff-James orthogonality and norm parallelism for operators on Hilbert spaces. These enable us to deploy `infinite descent' type of arguments to obtain contradictions. Our approach is new even in the commutative case. We prove that $(\mathbb{C}^2,\|.\|_{B_{p,q}})$ does not have unique operator space structure whenever $(p,q)\in(1,\infty)\times[1,\infty)\cup[1,\infty)\times(1,\infty)$ by showing that they do not have Property P or two summing property. In view of \cite{MIPV19}, this produces genuinely new examples of two dimensional Banach spaces without unique operator space structure, providing a partial answer to a question of Paulsen. In this case, we derive our result by transferring the problem to real case and applying known results of \cite{ARFJS95}.

math.FA↗
arXiv2019

Maximal ergodic inequalities for some positive operators on noncommutative $L_p$-spaces

In this paper, we establish the one-sided maximal ergodic inequalities for a large subclass of positive operators on noncommutative $L_p$-spaces for a fixed $1<p<\infty$, which particularly applies to positive isometries and general positive Lamperti contractions or power bounded doubly Lamperti operators; moreover, it is known that this subclass recovers all positive contractions on the classical Lebesgue spaces $L_p([0,1])$. Our study falls into neither the category of positive contractions considered by Junge-Xu nor the class of power bounded positive invertible operators considered by Hong-Liao-Wang. Our strategy essentially relies on various structural characterizations and dilation properties associated with Lamperti operators, which are of independent interest. More precisely, we give a structural description of Lamperti operators in the noncommutative setting, and obtain a simultaneous dilation theorem for Lamperti contractions. As a consequence we establish the maximal ergodic theorem for the strong closure of the convex hull of corresponding family of positive contractions. Moreover, in conjunction with a newly-built structural theorem, we also obtain the maximal ergodic inequalities for positive power bounded doubly Lamperti operators. We also observe that the concrete examples of positive contractions without Akcoglu's dilation, which were constructed by Junge-Le Merdy, still satisfy the maximal ergodic inequalities. We also discuss some other examples, showing sharp contrast to the classical situation.

math.OA↗
arXiv2017

On Joint Functional Calculus For Ritt Operators

In this paper, we study joint functional calculus for commuting $n$-tuple of Ritt operators. We provide an equivalent characterisation of boundedness for joint functional calculus for Ritt operators on $L^p$-spaces, $1< p<\infty$. We also investigate joint similarity problem and joint bounded functional calculus on non-commutative $L^p$-spaces for $n$-tuple of Ritt operators. We get our results by proving a suitable multivariable transfer principle between sectorial and Ritt operators as well as an appropriate joint dilation result in a general setting.

math.CA↗
arXiv2017

On Functional Calculus For $n$-Ritt operators

In this paper, we present a new class of operators, which we name to be $n$-Ritt operators. This produces a discrete analogue of $n$-sectorial operators and generalizes the notion of Ritt operators. We develop a $H^\infty$-functional calculus for $n$-Ritt operators and prove an useful transference result. We also generalize the notions of quadratic functional calculus and $n$-$R$-Ritt operator and discuss some examples.

math.FA↗
arXiv2017

On Multivariate Matsaev's Conjecture

In this article, we study multivariate generalizations of the Matsaev's conjecture in commutative and non-commutative $L^p$-spaces.We prove that the multivariate analogue of Matsaev's conjecture is eventually false for all $1<p<\infty.$ We exhibit various joint dilation results on non-commutative $L^p$-spaces.

math.FA↗
arXiv2017

Contractivity vs. Complete Contractivity via property P

In this paper, we consider the question of contractivity vs. complete contractivity for domains in $\mathbb{C}^2$, which are unit balls with respect to some norm. We show that for a large class of Reinhardt domains, the corresponding Banach spaces do not have Property P, which implies that there exists contractive homomorphisms on these domains which are not completely contractive. At the end, we present a simple proof of the fact that the complex Banach spaces $(\mathbb{C}^2,\|\cdot\|_{\infty})$ and $(\mathbb{C}^3,\|\cdot\|_{\infty})$ have Property P.

math.FA↗
arXiv2016

On a Question of N. Th. Varopoulos and the constant $C_2(n)$

Let $\mathbb C_k[Z_1,\ldots, Z_n]$ denote the set of all polynomials of degree at most $k$ in $n$ complex variables and $\mathscr{C}_n$ denote the set of all $n$ - tuple $\boldsymbol T=(T_1,\ldots,T_n)$ of commuting contractions on some Hilbert space $\mathbb{H}.$ The interesting inequality $$K_{G}^{\mathbb C}\leq \lim_{n\to \infty}C_2(n)\leq 2 K^\mathbb C_G,$$ where \[C_k(n)=\sup\big\{\|p(\boldsymbol T)\|:\|p\|_{\mathbb D^n,\infty}\leq 1, p\in \mathbb C_k[Z_1,\ldots,Z_n],\boldsymbol T\in\mathscr{C}_n \big\}\] and $K_{G}^{\mathbb C}$ is the complex Grothendieck constant, is due to Varopoulos. We answer a long--standing question by showing that the limit $\lim_{n\to\infty} \frac{C_2(n)}{K^\mathbb C_G}$ is strictly bigger than $1.$ Let $\mathbb C_2^s[Z_1,\ldots , Z_n]$ denote the set of all complex valued homogeneous polynomials $p(z_1,\ldots,z_n)$ $=\sum_{j,k=1}^{n}a_{jk}z_jz_k$ of degree two in $n$ - variables, where $(\!(a_{jk})\!)$ is a $n\times n$ complex symmetric matrix. For each $n\in\mathbb{N},$ define the linear map $\mathscr{A}_n:\big (\mathbb C_2^s[Z_1,\ldots , Z_n],\|\cdot\|_{\mathbb D^n, \infty}\big ) \to \big (M_n, \|\cdot \|_{\infty \to 1}\big )$ to be $\mathscr{A}_n\big (p) = (\!(a_{jk})\!).$ We show that the supremum (over $n$) of the norm of the operators $\mathscr{A}_n;\,n\in\mathbb{N},$ is bounded below by the constant $\pi^2/8.$ Using a class of operators, first introduced by Varopoulos, we also construct a large class of explicit polynomials for which the von Neumann inequality fails. We prove that the original Varopoulos--Kaijser polynomial is extremal among a, suitably chosen, large class of homogeneous polynomials of degree two. We also study the behaviour of the constant $C_k(n)$ as $n \to \infty.$

math.FA↗