arXiv subjects
Publications and source records attributed to Jinghao Huang.
We construct a separable complex Banach space whose underlying real space has the alternative Daugavet property, although the complex space fails the Daugavet property, thereby answering an open question posed by Kadets, Martin, and Paya in 2006.
Let $2<p<\infty$. We prove that every infinite-dimensional closed subspace $F$ of a noncommutative $L_p$-space contains a subspace completely isomorphic to $\ell_p$, $C_p$, $R_p$, or $C_p\cap R_p$ and completely complemented in $F$. This answers the question of Junge and Xu on the existence of completely symmetric basic sequences.
We characterize extreme points of the (positive) unit balls of Marcinkiewicz spaces with respect to their natural quasi-norms. Having these results at hand, we show that every positive surjective isometry on a noncommutative Marcinkiewicz space is of elementary form. In particular, a linear mapping on a noncommutative Marcinkiewicz space over an atomic von Neumann algebra with all atoms having the same trace is a positive surjective isometry if and only if it is the restriction of a Jordan $*$-isomorphism which preserves the singular value functions. We also study (not necessarily positive) surjective isometries on weak $L_p$-spaces affiliated a $σ$-finite non-atomic von Neumann algebra for $1 0$, as well as one-parameter groups of isometries on the latter two.
For every von Neumann algebra \(\M\), we prove that each bounded sequence in the Haagerup space \(L_1(\M)=\M_*\) admits either a norm-convergent subsequence or a \(2\)-co-lacunary subsequence. This answers an open problem of Parcet and Randrianantoanina \cite[Remark~3.11]{ParcetRandrianantoanina2006} and removes both hyperfiniteness and semifiniteness.
Let $M$ be a nonzero type III von Neumann algebra with separable predual, and let $N$ be a semifinite von Neumann algebra. We prove that $M_*$ is not isomorphic to a subspace of $N_*$. For $1<p<\infty$, $p\ne2$, we prove that $L_p(M)$ is not isomorphic to a complemented subspace of $L_p(N)$. In particular, the Banach isomorphism class of $L_p(M)$ distinguishes type III algebras from semifinite algebras for $1\le p<\infty$, $p\ne2$.
We construct a quasi-Banach function lattice $X$ on $\mathbb R$ whose quasi-norm is order continuous and invariant under every translation. Nevertheless, $X$ contains a bounded sequence with common compact support which is equicontinuous in $X$ and has no norm-convergent subsequence. This provides a counterexample to Conjectures 2.5 and 2.11 proposed by Brudnyi in \cite{Brudnyi2015}.
Let $E$ and $F$ be separable symmetric Banach sequence spaces, and let $C_E$ and $C_F$ be the corresponding ideals of compact operators on a separable Hilbert space. We prove that if $C_F$ is isomorphic to a complemented subspace of $S_E$, then $F=\ell_2$. As a consequence, if $C_E$ is isomorphic to $C_F$, then $E=F$ with equivalent norms. This answers Pełczyński's 1979 question concerning the uniqueness of symmetric structure. We also strengthen Arazy's result by showing that if $E$ has finite cotype and $C_F$ embeds isomorphically into $S_E$, then $F=\ell_2$. For reflexive $F\ne\ell_2$ with non-trivial Boyd indices, the embedding theorems of Lindenstrauss and Szankowski yield a separable reflexive symmetric sequence space $E$ with trivial cotype such that $C_F$ embeds isomorphically into $S_E$. This gives negative answers to several questions raised by Arazy in 1981.
We prove that if $E$ is a UMD symmetric Banach function space on $(0,\infty)$, then $E(\mathcal{M},τ)$ is UMD for every semifinite von Neumann algebra $\mathcal{M}$ equipped with a faithful normal semifinite trace $τ$. This resolves in the affirmative an open problem that has circulated in the non-commutative world for more than four decades.
Let $\mathcal{S}^ r$ denote the Schatten--von Neumann class and let $S_{Ψ_{f,λ}}$ be the Schur--Hadamard multiplier whose symbol is the divided-difference matrix of $f$ along $λ$. Let $0<α,r<\infty$, let $f\in C^1([-1,1])$ satisfy $f(0)=0$, $|f'(t)|\lesssim |t|^α$, and let $λ\in\ell^r$ be real with $\|λ\|_{\ell^\infty}\leq1$. We determine the pairs $0<p,q\leq\infty$ for which $S_{Ψ_{f,λ}}:\mathcal{S}^ q\to\mathcal{S}^ p$ is bounded for every such $f$ and $λ$. Our principal new positive estimates treat $q=\infty,1$ and $0<p<1$. Precisely, we show that the boundedness holds exactly when \[ \frac1p\leq\fracα{r} +\min\!\left\{1,\frac1q\right\}. \] In particular, this resolves the untreated cases in [Arazy, PAMS, 1982] and [Potapov, Sukochev, Tomskova, Adv. Math., 2015]. Our method also delivers a new proof of the main results in just cited papers.
In the present paper, we study the existence of isomorphic embeddings from Lorentz function spaces $L_{p_1,q_1}$ into Lorentz ideals $\mathcal{C}_{p_2,q_2}$ in $B(H).$ In particular, we show that, for $p,q\in (0,\infty),$ the quasi-Banach function space $L_{p,q}(0,1)$ isomorphically embeds into the ideal $\mathcal{C}_{p,q}$ if and only if $(p,q)=(2,2).$ This extends several existing results in the literature and answers a question due to Astashkin et. al.
Let $\mathcal M$ be a semifinite von Neumann algebra equipped with a semifinite faithful normal trace $τ$. We establish Jensen's trace inequality in full generality and characterize its equality case, which answers two questions raised in [Kosaki2013] and [HaradaKosaki2008]. As an application, we derive noncommutative Lamperti-type inequalities and their equality conditions. Employing this result, we characterize linear isometries (not necessarily surjective) on a class of $F$-normed noncommutative Orlicz spaces, which provides a noncommutative Lamperti's theorem for linear isometries.
We solve Tingley's problem for Haagerup noncommutative $L_p$-spaces, where $1<p\ne 2<\infty$, which gives an affirmative answer to Mori's problem \cite[Problem~6.3]{Mori}.
Under mild assumptions, the main results of this paper characterize a (real or complex) symmetric operator space affiliated with a semi-finite atomless von Neumann algebra $(\mathcal M, τ)$ possessing the Daugavet property as $L_1(\mathcal M,τ)$ or $\mathcal M$ (up to equivalent norms, or even proportional norms). Our results are new even for complex symmetric function spaces, which extend results of \cite{AKM12, KMMW13, AKM15} concerning the Daugavet property for real symmetric function spaces.
We establish a version of the classical results concerning descriptions of isometries on $C^*$-algebras and noncommutative $L_p$-spaces due to Kadison (1951) and Yeadon (1981) in the setting of Haagerup--Schultz algebras. Precisely, we show that (not necessarily surjective) isometries on such algebras are necessarily implemented by partial isometries and trace-preserving Jordan $^*$-monomorphisms.
Let $LS(\mathcal{M})$ be the algebra of locally measurable operators affiliated with a von Neumann algebra $\mathcal{M}$, equipped with an $F$-norm defined via a dimension function and a probability measure. We prove that every bijective linear isometry between $LS(\mathcal{M})$ admits a canonical representation of the form $Φ(x)=wJ(x)$, where $w$ is a unitary element and $J$ is a Jordan $^*$-isomorphism, which extends classical results such as the Banach--Stone theorem and Kadison's theorem. Under several structural assumptions on the underlying von Neumann algebras (including all type $\mathrm{II}_\infty$ and type $\mathrm{III}$ algebras, and all factors, and algebras with atomless centers), we prove the one-to-one correspondence between the $F$-norm and the pair $(μ, D)$ of a probability measure and a dimension function, which fails for algebras with atomic centers.
We establish a noncommutative version of a familiar Johnson--Maurey--Schechtman--Tzafriri Theorem, by showing that for any $0 <p<2$ and a (not necessarily semifinite) von Neumann algebra $\mathcal{M}$ on a separable Hilbert space, if a symmetric quasi-Banach function space $E(0,1) $ containing the function $t\mapsto t^{-1/p}$, $0<t\le 1, $ then there exists a noncommutative probability space $(\mathcal{N},σ)$ such that $L_p(\mathcal{M})$ is isometric to a subspace of $E(\mathcal{N},σ)$. In particular, this answers two questions raised by Randrianantoanina in 2006.
Let $(Ω,μ)$ and $(Λ,λ)$ be complete atomless localizable semifinite measure spaces. Suppose that $E(Ω,μ)$ and $F(Λ,λ)$ are real rearrangement-invariant Banach function spaces with order-continuous norms, in the Banach-lattice sense, and that neither norm is proportional to the $L_2$-norm. Every surjective real-linear isometry $U:E(Ω,μ)\longrightarrow F(Λ,λ)$ has the form $Uf=wΦ(f)$, where $w$ has full support and $Φ$ is induced by a complete measure-class Boolean isomorphism. Both factors are uniquely determined by $U$. Let $(\mathcal{M},τ)$ and $(\mathcal{N},ν)$ be atomless semifinite von Neumann algebras, and let $E(\mathcal{M},τ)$ and $F(\mathcal{N},ν)$ be symmetric operator spaces satisfying the same assumptions on their norms. Every surjective real-linear isometry $V:E(\mathcal{M},τ)_{\mathrm{sa}}\longrightarrow F(\mathcal{N},ν)_{\mathrm{sa}}$ has the form $V(x)=hJ(x)$, where $J:\mathcal{M}\longrightarrow\mathcal{N}$ is a normal surjective Jordan $*$-isomorphism and $h\in LS(\mathcal{Z}(\mathcal{N}))_{\mathrm{sa}}$ is central with full support; again, the two factors are unique. We also identify the bounded skew-Hermitian operators on the real self-adjoint part and derive commutative and noncommutative isometric forms of Mityagin's question.
Let $\mathcal{M}$ be a factor equipped with a semi-finite faithful normal trace $τ$. Let $E(0,\infty)$ be a symmetrically normed function space and $E(\mathcal{M},τ)$ be the corresponding symmetrically normed operator space. Suppose that $a, b$ are $τ$-measurable operators affiliated with $\mathcal{M}$. It is shown that the range of the multiplication operator $S_{a,b}: x\mapsto axb$ on $\mathcal{M}$ is contained in $E(\mathcal{M}, τ)$ if and only if $μ(a)μ(b)$ belongs to $E(0, \infty)$, where $μ(x)$ stands for the generalized singular value function of a $τ$-measurable operators $x$ affiliated with $\mathcal{M}$. Moreover, we have $$ \|S_{a,b}\|_{\mathcal{M}\to E(\mathcal{M},τ)}= \| μ(a )μ( b) \|_{E (0,\infty) }, $$ which answers a question by Fialkow and Loebl (1984). We also consider the quasi-normed case, and show that the natural quasi-norm of weak $L_p$-space, $0<p<\infty$, is not monotone with respect to the logarithmic submajorisation.