arXiv subjects
Publications and source records attributed to Guixiang Hong.
In this paper, the authors study the matrix-valued harmonic functions and characterize them by the Poisson integral of functions in non-commutative BMO (bounded mean oscillation) spaces. This provides a very satisfactory non-commutative analogue of the beautiful result due to Fabes, Johnson and Neri [Indiana Univ. Math. J. {\bf25} (1976) 159-170; MR0394172].
In this paper, we establish a noncommutative maximal inequality for ergodic averages with respect to the set $\{k^t|k=1,2,3,...\}$ acting on noncommutative $L_p$ spaces for $p>\frac{\sqrt{5}+1}{2}$.
In this paper, we provide a counterexample to show that in sharp contrast to the classical case, the almost uniform convergence may not happen for truly noncommutative $L_p$-martingales when $1\leq p<2$. The same happens to ergodic averages. The proof consists of some sharp estimates of the distributional function of a sequence of matrices and some non standard transference techniques, which might admit further applications.
In this paper, we explore Fourier analysis for noncommutative $L_p$ space-valued functions on $G$, where $G$ is a totally disconnected non-abelian compact group. By additionally assuming that the value of these functions remains invariant within each conjugacy class, we establish a noncommutative maximal inequality for Fejér means utilizing the associated character system of $G$. This is an operator-valued version of the classical result due to Gát. We follow essentially the classical sketch, but due to the noncommutativity, many classical arguments have to be revised. Notably, compared to the classical results. the bounds of our estimates are explicity calculated.
Let $L$ be a sectorial operator of type $α$ ($0 \leq α< π/2$) on $L^2(\mathbb{R}^d)$ with the kernels of $\{e^{-tL}\}_{t>0}$ satisfying certain size and regularity conditions. Define $$ S_{q,L}(f)(x) = \left(\int_0^{\infty}\int_{|y-x| < t} \|tL{e^{-tL}} (f)(y) \|_X^q \,\frac{{\rm d} y{\rm d} t}{t^{d+1}} \right)^{\frac{1}{q}},$$ $$G_{q,{L}}(f)=\left( \int_0^{\infty} \left\|t{L}{e^{-t{L}}} (f)(y) \right\|_X^q \,\frac{{\rm d} t}{t}\right)^{\frac{1}{q}}.$$ We show that for $\underline{\mathrm{any}}$ Banach space $X$, $1 \leq p < \infty$ and $1 < q < \infty$ and $f\in C_c(\mathbb R^d)\otimes X$, there hold \begin{align*} p^{-\frac{1}{q}}\| S_{q,{\sqrtΔ}}(f) \|_p \lesssim_{d, γ, β} \| S_{q,L}(f) \|_p \lesssim_{d, γ, β} p^{\frac{1}{q}}\| S_{q,{\sqrtΔ}}(f) \|_p, \end{align*} \begin{align*} p^{-\frac{1}{q}}\| S_{q,L}(f) \|_p \lesssim_{d, γ, β} \| G_{q,L}(f) \|_p \lesssim_{d, γ, β} p^{\frac{1}{q}}\| S_{q,L}(f) \|_p, \end{align*} where $Δ$ is the standard Laplacian; moreover all the orders appeared above are {\it optimal} as $p\rightarrow1$. This, combined with the existing results in [29, 33], allows us to resolve partially Problem 1.8, Problem A.1 and Conjecture A.4 regarding the optimal Lusin type constant and the characterization of martingale type in a recent remarkable work due to Xu [48]. Several difficulties originate from the arbitrariness of $X$, which excludes the use of vector-valued Calderón-Zygmund theory. To surmount the obstacles, we introduce the novel vector-valued Hardy and BMO spaces associated with sectorial operators; in addition to Mei's duality techniques and Wilson's intrinsic square functions developed in this setting, the key new input is the vector-valued tent space theory and its unexpected amalgamation with these `old' techniques.
Let $\mathcal{M}$ be a von Neumann algebra equipped with a normal semifinite faithful trace, $(\mathbb{X},\,d,\,μ)$ be a space of homogeneous type in the sense of Coifman and Weiss, and $\mathcal{N}=L_\infty(\mathbb{X})\overline{\otimes}\mathcal{M}$. In this paper, we introduce and then conduct a systematic study on the operator-valued Hardy space $\mathcal{H}_p(\mathbb{X},\,\mathcal{M})$ for all $1\leq p<\infty$ and operator-valued BMO space $\mathcal{BMO}(\mathbb{X},\,\mathcal{M})$. The main results of this paper include $H_1$--$BMO$ duality theorem, atomic decomposition of $\mathcal{H}_1(\mathbb{X},\,\mathcal{M})$, interpolation between these Hardy spaces and BMO spaces, and equivalence between mixture Hardy spaces and $L_p$-spaces. %Compared with the communcative results, the novelty of this article is that $μ$ is not assumed to satisfy the reverse double condition. %The approaches we develop bypass the use of harmonicity of infinitesimal generator, which allows us to extend Mei's seminal work \cite{m07} to a broader setting. %Our results extend Mei's seminal work \cite{m07} to a broader setting. In particular, without the use of non-commutative martingale theory as in Mei's seminal work \cite{m07}, we provide a direct proof for the interpolation theory. Moreover, under our assumption on Calderón representation formula, these results are even new when going back to the commutative setting for spaces of homogeneous type which fails to satisfy reverse doubling condition. As an application, we obtain the $L_p(\mathcal{N})$-boundedness of operator-valued Calderón-Zygmund operators.
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.
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.
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.
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.
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.
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.
In this paper, we obtain the desired noncommutative maximal inequalities of the truncated Calderón-Zygmund operators of non-convolution type acting on operator-valued $L_p$-functions for all $1<p<\infty$, answering a question left open in the previous work \cite{HLX}.
In this paper, we initiate the study of the Fourier restriction phenomena on quantum Euclidean spaces, and establish the analogues of the Tomas-Stein restriction theorem and the two-dimensional full restriction theorem.
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.
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.
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.
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.