Searcharxiv⌕ Search

arXiv subjects

Guixiang Hong

Publications and source records attributed to Guixiang Hong.

At least 37 records · Page 2Linked to original sources
arXiv2023

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↗
arXiv2023

John-Nirenberg inequalities for noncommutative column BMO and Lipschitz martingales

In this paper, we continue the study of John-Nirenberg theorems for BMO/Lipschitz spaces in the noncommutative martingale setting. As conjectured from the classical case, a desired noncommutative ``stopping time" argument was discovered to obtain the distribution function inequality form of John-Nirenberg theorem. This not only provides another approach without using duality and interpolation to the results for spaces $\mathsf{bmo}^c(\mathcal M)$ and ${Λ^{c}_β}(\mathcal{M})$, but also allows us to find the desired version of John-Nirenberg inequalities for spaces $\mathcal{BMO}^c(\mathcal M)$ and ${\mathcal L^{c}_β}(\mathcal{M})$. And thus we solve two open questions after \cite{ref5, ref3}. As an application, we show that Lipschitz space is also the dual space of noncommutative Hardy space defined via symmetric atoms. Finally, our results for ${\mathcal L^{c}_β}(\mathcal{M})$ as well as the approach seem new even going back to the classical setting.

math.OA↗
arXiv2023

Quantitative mean ergodic inequalities: power bounded operators acting on one single noncommutative $L_p$ space

In this paper, we establish the quantitative mean ergodic theorems for two subclasses of power bounded operators on a fixed noncommutative $L_p$-space with $1<p<\infty$, which mainly concerns power bounded invertible operators and Lamperti contractions. Our approach to the quantitative ergodic theorems is the noncommutative square function inequalities. The establishment of the latter involves several new ingredients such as the almost orthogonality and Calderón-Zygmund arguments for non-smooth kernels from semi-commutative harmonic analysis, the extension properties of the operators under consideration from operator theory, and a noncommutative version of the classical transference method due to Coifman and Weiss.

math.FA↗
arXiv2023

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↗
arXiv2023

Sharp endpoint $L_p$ estimates of quantum Schrödinger groups

In this article, we establish sharp endpoint $L_p$ estimates of Schrödinger groups on general measure spaces which may not be equipped with good metrics but admit submarkovian semigroups satisfying purely algebraic assumptions. One of the key ingredients of our proof is to introduce and investigate a new noncommutative high-cancellation BMO space by constructing an abstract form of P-metric codifying some sort of underlying metric and position. This provides the first form of Schrödinger group theory on arbitrary von Neumann algebras and can be applied to many models, including Schrödinger groups associated with non-negative self-adjoint operators satisfying purely Gaussian upper bounds on doubling metric spaces, standard Schrödinger groups on quantum Euclidean spaces, matrix algebras and group von Neumann algebras with finite dimensional cocycles.

math.AP↗
arXiv2023

Pointwise convergence of noncommutative Fourier series

This paper is devoted to the study of pointwise convergence of Fourier series for group von Neumann algebras and quantum groups. It is well-known that a number of approximation properties of groups can be interpreted as summation methods and mean convergence of the associated noncommutative Fourier series. Based on this framework, this paper studies the refined counterpart of pointwise convergence of these Fourier series. As a key ingredient, we develop a noncommutative bootstrap method and establish a general criterion of maximal inequalities for approximate identities of noncommutative Fourier multipliers. Based on this criterion, we prove that for any countable discrete amenable group, there exists a sequence of finitely supported positive definite functions tending to $1$ pointwise, so that the associated Fourier multipliers on noncommutative $L_p$-spaces satisfy the pointwise convergence for all $p>1$. In a similar fashion, we also obtain results for a large subclass of groups (as well as quantum groups) with the Haagerup property and the weak amenability. We also consider the analogues of Fejér and Bochner-Riesz means in the noncommutative setting. Our approach heavily relies on the noncommutative ergodic theory in conjunction with abstract constructions of Markov semigroups, inspired by quantum probability and geometric group theory. Finally, we also obtain as a byproduct the dimension free bounds of the noncommutative Hardy-Littlewood maximal inequalities associated with convex bodies.

math.OA↗
arXiv2021

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↗
arXiv2021

Quantitative ergodic theorems for actions of groups of polynomial growth

We strengthen the maximal ergodic theorem for actions of groups of polynomial growth to a form involving jump quantity, which is the sharpest result among the family of variational or maximal ergodic theorems. As a consequence, we deduce in this setting the quantitative ergodic theorem, in particular, the upcrossing inequalities with exponential decay. The ideas or techniques involve probability theory, non-doubling Calderón-Zygmund theory, almost orthogonality argument and some delicate geometric argument involving the balls and the cubes on the group equipped with a not necessarily doubling measure.

math.DS↗
arXiv2020

Noncommutative maximal ergodic inequalities associated with doubling conditions

This paper is devoted to the study of noncommutative maximal inequalities and ergodic theorems for group actions on von Neumann algebras. Consider a locally compact group $G$ of polynomial growth with a symmetric compact subset $V$. Let $α$ be a continuous action of $G$ on a von Neumann algebra $\mathcal{M}$ by trace-preserving automorphisms. We then show that the operators defined by \begin{equation*} A_{n}x= \frac{1}{m(V^{n})} \int _{V^{n}}α_{g}x\,dm(g),\quad x\in L_{p}( \mathcal{M}),n\in \mathbb{N},1\leq p\leq \infty , \end{equation*} are of weak type $(1,1)$ and of strong type $(p,p)$ for $1 < p<\infty $. Consequently, the sequence $(A_{n}x)_{n\geq 1}$ converges almost uniformly for $x\in L_{p}(\mathcal{M})$ for $1\leq p<\infty $. Also, we establish the noncommutative maximal and individual ergodic theorems associated with more general doubling conditions, and we prove the corresponding results for general actions on one fixed noncommutative $L_{p}$-space which are beyond the class of Dunford-Schwartz operators considered previously by Junge and Xu. As key ingredients, we also obtain the Hardy-Littlewood maximal inequality on metric spaces with doubling measures in the operator-valued setting. After the groundbreaking work of Junge and Xu on the noncommutative Dunford-Schwartz maximal ergodic inequalities, this is the first time that more general maximal inequalities are proved beyond Junge and Xu's setting. Our approach is based on quantum probabilistic methods as well as random walk theory.

math.OA↗
arXiv2020

Maximal singular integral operators acting on noncommutative $L_p$-spaces

In this paper, we study the boundedness theory for maximal Calderón-Zygmund operators acting on noncommutative $L_p$-spaces. Our first result is a criterion for the weak type $(1,1)$ estimate of noncommutative maximal Calderón-Zygmund operators; as an application, we obtain the weak type $(1,1)$ estimates of operator-valued maximal singular integrals of convolution type under proper {regularity} conditions. These are the {\it first} noncommutative maximal inequalities for families of linear operators that can not be reduced to positive ones. For homogeneous singular integrals, the strong type $(p,p)$ ($1<p<\infty$) maximal estimates are shown to be true even for {rough} kernels. As a byproduct of the criterion, we obtain the noncommutative weak type $(1,1)$ estimate for Calderón-Zygmund operators with integral regularity condition that is slightly stronger than the Hörmander condition; this evidences somewhat an affirmative answer to an open question in the noncommutative Calderón-Zygmund theory.

math.CA↗
arXiv2020

Quantitative weighted bounds for the $q$-variation of singular integrals with rough kernels

In this paper, we study the quantitative weighted bounds for the $q$-variational singular integral operators with rough kernels. The main result is for the sharp truncated singular integrals itself $$ \|V_q\{T_{Ω,\varepsilon}\}_{\varepsilon>0}\|_{L^p(w)\rightarrow L^p(w)}\leq c_{p,q,n} \|Ω\|_{ L^\infty}(w)_{A_p}^{1+1/q}\{w\}_{A_p},$$ where the quantity $(w)_{A_p}$, $\{w\}_{A_p}$ will be recalled in the introduction; we do not know whether this is sharp, but it is the best known quantitative result for this class of operators, since when $q=\infty$, it coincides with the best known quantitative bounds by Di Pilino--Hytönen--Li or Lerner. In the course of establishing the above estimate, we obtain several quantitative weighted bounds which are of independent interest. We hereby highlight two of them. The first one is $$ \|V_q\{ϕ_k\ast T_Ω\}_{k\in\mathbb Z}\|_{L^p(w)\rightarrow L^p(w)}\leq c_{p,q,n} \|Ω\|_{ L^\infty}(w)_{A_p}^{1+1/q}\{w\}_{A_p},$$ where $ϕ_k(x)=\frac1{2^{kn}}ϕ(\frac x{2^k})$ with $ϕ\in C^\infty_c(\mathbb R^n)$ being any non-negative radial function, and the sharpness for $q=\infty$ is due to Lerner; the second one is $$ \|\mathcal{S}_q\{T_{Ω,\varepsilon}\}_{\varepsilon>0}\|_{L^p(w)\rightarrow L^p(w)}\leq c_{p,q,n} \|Ω\|_{ L^\infty}(w)_{A_p}^{1/q}\{w\}_{A_p},$$ and the sharpness for $q=\infty$ follows from the Hardy--Littlewood maximal function.

math.CA↗
arXiv2020

Noncommutative weak $(1,1)$ type estimate for a square function from ergodic theory

In this paper, we investigate the boundedness of a square function from ergodic theory on noncommutative $L_{p}$-spaces. The main result is a weak $(1,1)$ type estimate of this square function. We also show the $(L_{\infty},\mathrm{BMO})$ estimate, and thus strong $(L_{p},L_{p})$ estimate by interpolation. The main novel difficulty lies in the fact that the kernel of this square function does not enjoy any regularity, which is crucial in showing such endpoint estimates for standard noncommutative Calderón-Zygmund singular integral operators.

math.OA↗
arXiv2019

Variational Inequalities for Bilinear Averaging Operators over Convex Bodies

We study $q$-variation inequality for bilinear averaging operators over convex bodies $(G_t)_{t>0}$ defined by \begin{align*} \mathbf{A}_t^G(f_1,f_2)(x) & =\frac{1}{|G_t|}\int_{G_t} f_1(x+y_1)f_2(x+y_2)\, dy_1\, dy_2, \quad x\in \Bbb R^d. \end{align*} where $G_t$ are the dilates of a convex body $G$ in $\Bbb R^{2d}$. We prove that $$\|V_q(\mathbf{A}_t^G(f_1,f_2): t>0) \|_{L^p} \lesssim \|f_1\|_{L^{p_1}} \|f_2\|_{L^{p_2}},$$ for $2<q<\infty$, $1<p_1,p_2\le \infty$, $1/2<p<\infty$ with $1/p=1/p_1+1/p_2$. The target space $L^p$ should be replaced by $L^{p,\infty}$ for $p_1=1$ and/or $p_2=1$, and by dyadic BMO when $p_1=p_2=\infty$. As applications, we obtain variational inequalities for bilinear discrete averaging operators, bilinear averaging operators of Demeter-Tao-Thiele, and ergodic bilinear averaging operators. As a byproduct, we also obtain the same mapping properties for a new class of bilinear square functions involving conditional expectation, which are of independent interest.

math.CA↗
arXiv2019

Vector-valued $q$-variational inequalities for averaging operators and Hilbert transform

Recently, in \cite{GXHTM}, the authors established $L^p$-boundedness of vector-valued $q$-variational inequalities for averaging operators which take values in the Banach space satisfying martingale cotype $q$ property. In this paper, we prove that martingale cotype $q$ property is also necessary for the vector-valued $q$-variational inequalities, which is a question left open. Moreover, we characterize UMD property and martingale cotype $q$ property in terms of vector valued $q$-variational inequalities for Hilbert transform.

math.CA↗
arXiv2019

An operator-valued $T1$ theory for symmetric CZOs

We provide a natural BMO-criterion for the $L_2$-boundedness of Calderón-Zygmund operators with operator-valued kernels satisfying a symmetric property. Our arguments involve both classical and quantum probability theory. In the appendix, we give a proof of the $L_2$-boundedness of the commutators $[R_j,b]$ whenever $b$ belongs to the Bourgain's vector-valued BMO space, where $R_j$ is the $j$-th Riesz transform. A common ingredient is the operator-valued Haar multiplier studied by Blasco and Pott.

math.CA↗
arXiv2017

Weighted jump and variational inequalities for rough operators

In this paper, we systematically study weighted jump and variational inequalities for rough operators. More precisely, we show some weighted jump and variational inequalities for the families $\mathcal T:=\{T_\varepsilon\}_{\varepsilon>0}$ of truncated singular integrals and $\mathcal M_Ω:=\{M_{Ω,t}\}_{t>0}$ of averaging operators with rough kernels, which are defined respectively by $$ T_\varepsilon f(x)=\int_{|y|>\varepsilon}\frac{Ω(y')}{|y|^n}f(x-y)dy$$ and $$M_{Ω,t} f(x)=\frac1{t^n}\int_{|y| 1$.

math.CA↗