We characterize norm one complemented subspaces of Orlicz sequence spaces $\ell_M$ equipped with either Luxemburg or Orlicz norm, provided that the Orlicz function $M$ is sufficiently smooth and sufficiently different from the square function. This paper concentrates on the more difficult real case, the complex case follows from previously known results.
In this paper, we firstly character the structures of symmetries $J$ such that a projection $P$ is $J$-contractive. Then the minimal and maximal elements of the symmetries $J$ with $P^{\ast}JP\leqslant J$(or $JP\geqslant0)$ are given. Moreover, some formulas between $P_{(2I-P-P^{\ast})^{+}}$ $(P_{(2I-P-P^{\ast})^{-}})$ and $P_{(P+P^{\ast})^-}$ $(P_{(P+P^{\ast})^+})$ are established.
We characterize 1-complemented subspaces of finite codimension in strictly monotone one-$p$-convex, $2<p<\infty,$ sequence spaces. Next we describe, up to isometric isomorphism, all possible types of 1-unconditional structures in sequence spaces with few surjective isometries. We also give a new example of a class of real sequence spaces with few surjective isometries.
Given a JBW*-triple Z and a normal contractive projection P on Z, we show that the (Murray-von Neumann) type of each summand of P(Z) is dominated by the type of Z.
The author established the affine Orlicz Polya-Szego principle for log-concave functions and conjectured that the principle can be extended to the general Orlicz Sobolev functions. In this paper, we confirm this conjecture completely. An affine Orlicz Polya-Szego principle, which includes all the previous affine Polya-Szego principles as special cases, is formulated and proved. As a consequence, an Orlicz-Petty projection inequality for star bodies is established.
We constructed a unitary semigroup $(e^{tA})_{t \geq 0}$ on a Hilbert space and an orthogonal projection $P$ such that the limit $\lim_{n \to \infty} [ e^{\frac{t}{n}A}P ]^n$ does not exist strongly. A similar example with a positive contractive semigroup and positive contractive projection on $L_p$ is also constructed.
Let $S_1$ and $S_2$ be disjoint finite unions of parallelepipeds. We describe necessary and sufficient conditions on the sets $S_1,S_2$ and exponents $p$ such that the canonical projection $P$ from $PW_{S_1\cup S_2}^p$ to $PW_{S_1}^p$ is a contraction.
We prove a conjecture of Wojtaszczyk that for $1\leq p<\infty$, $p\neq 2$, $H_p(\mathbbT)$ does not admit any norm one projections with dimension of the range finite and bigger than 1. This implies in particular that for $1\leq p<\infty$, $p\ne 2$, $H_p$ does not admit a Schauder basis with constant one.
We consider 1-complemented subspaces (ranges of contractive projections) of vector-valued spaces $\ell_p(X)$, where $X$ is a Banach space with a 1-unconditional basis and $p \in (1,2)\cup (2,\infty)$. If the norm of $X$ is twice continuously differentiable and satisfies certain conditions connecting the norm and the notion of disjointness with respect to the basis, then we prove that every 1-complemented subspace of $\ell_p(X)$ admits a basis of mutually disjoint elements. Moreover, we show that every contractive projection is then an averaging operator. We apply our results to the space $\ell…
We study contractive projections, isometries, and real positive maps on algebras of operators on a Hilbert space. For example we find generalizations and variants of certain classical results on contractive projections on C*-algebras and JB-algebras due to Choi, Effros, Størmer, Friedman and Russo, and others. In fact most of our arguments generalize to contractive `real positive' projections on Jordan operator algebras, that is on a norm-closed space A of operators on a Hilbert space which are closedunder the Jordan product. We also prove many new general results on real positive maps which a…
Parallel to the study of finite dimensional Banach spaces, there is a growing interest in the corresponding local theory of operator spaces. We define a family of Hilbertian operator spaces H_n^k,0< k < n+1, generalizing the row and column Hilbert spaces R_n,C_n and show that an atomic subspace X of B(H) which is the range of a contractive projection on B(H) is isometrically completely contractive to a direct sum of the H_n^k and Cartan factors of types 1 to 4. In particular, for finite dimensional X, this answers a question posed by Oikhberg and Rosenthal. Explicit in the proof is a classific…
Let X be an L_1-predual space and let K be a countable linearly independent subset of the extreme points of its closed dual ball. It is shown that if the norm-closed linear span Y of K is w^*-closed in X^*, then Y is the range of a w^*-continuous contractive projection in X^*. This result is applied in order to provide new and simpler proofs of the results of Lazar, Lindenstrauss and Zippin on the embedding of C(K) spaces into X.
In 1965, Ron Douglas proved that if $X$ is a closed subspace of an $L^1$-space and $X$ is isometric to another $L^1$-space, then $X$ is the range of a contractive projection on the containing $L^1$-space. In 1977 Arazy-Friedman showed that if a subspace $X$ of $C_1$ is isometric to another $C_1$-space (possibly finite dimensional), then there is a contractive projection of $C_1$ onto $X$. In 1993 Kirchberg proved that if a subspace $X$ of the predual of a von Neumann algebra $M$ is isometric to the predual of another von Neumann algebra, then there is a contractive projection of the predual of…
The main goal of this paper is to find operator algebra variants of certain deep results of Stormer, Friedman and Russo, Choi and Effros, Effros and Stormer, Robertson and Youngson, Youngson, and others, concerning projections on C*-algebras and their ranges. (See papers of these authors referenced in the bibliography.) In particular we investigate the `bicontractive projection problem' and related questions in the category of operator algebras. To do this, we will add the ingredient of `real positivity' from recent papers of the first author with Read.
Let $d\in\mathbb N$ and $f$ be a function in the Orlicz class $L(\log^+L)^{d-1}$ defined on the unit cube $[0,1]^d$ in $\mathbb{R}^d$. Given partitions $Δ_1,\ldots,$ $Δ_d$ of $[0,1]$, we first prove that the orthogonal projection $P_{(Δ_1,\dots,Δ_d)}(f)$ onto the space of tensor product splines with arbitrary orders $(k_1,\dots, k_d)$ and knots $Δ_1,\ldots,Δ_d$ converges to $f$ almost everywhere as the mesh diameters $|Δ_1|,\ldots, |Δ_{d}|$ tend to zero. This extends the one-dimensional result in [Passenbrunner and Shadrin, Journal of Approximation Theory, 2014] to arbitrary dimensions. In a s…
We state and discuss several interrelated results, conjectures, and questions regarding contractive inequalities for classical $H^p$ spaces of the unit disc. We study both coefficient estimates in terms of weighted $\ell^2$ sums and the Riesz projection viewed as a map from $L^q$ to $H^p$ with $q\ge p$. Some numerical evidence is given that supports our conjectures.
We construct some separable infinite dimensional homogeneous Hilbertian operator spaces which generalize the row and column spaces R and C. We show that separable infinite-dimensional Hilbertian JC*-triples are completely isometric to an element of the set of (infinite) intersections of these spaces. This set includes the operator spaces R, C, their intersection, and the space spanned by creation operators on the full anti-symmetric Fock space. In fact, we show that these new spaces are completely isometric to the space of creation (resp. annihilation) operators on the anti-symmetric tensors o…
We prove that if $X$ is a complex strictly monotone sequence space with $1$-unconditional basis, $Y \subseteq X$ has no bands isometric to $\ell_2^2$ and $Y$ is the range of norm-one projection from $X$, then $Y$ is a closed linear span a family of mutually disjoint vectors in $X$. We completely characterize $1$-complemented subspaces and norm-one projections in complex spaces $\ell_p(\ell_q)$ for $1 \leq p, q < \infty$. Finally we give a full description of the subspaces that are spanned by a family of disjointly supported vectors and which are $1$-complemented in (real or complex) Orlicz or …
A basic result in semigroup theory states that every $C_0$-semigroup is quasi-contractive with respect to some appropriately chosen equivalent norm. This paper contains a counterpart of this well-known fact. Namely, by examining the convergence of the Trotter-type formula $(e^{\frac{t}{n}A}P)^n$ (where $P$ denotes a bounded projection), we prove that whenever the generator $A$ is unbounded it is possible to introduce an equivalent norm on the space with respect to which the semigroup is {\it{not}} quasi-contractive.
In [A dozen de {F}inetti-style results in search of a theory, Ann. Inst. H. Poincaré Probab. Statist. 23(2)(1987), 397--423], Diaconis and Freedman studied low-dimensional projections of random vectors from the Euclidean unit sphere and the simplex in high dimensions, noting that the individual coordinates of these random vectors look like Gaussian and exponential random variables respectively. In subsequent works, Rachev and Rüschendorf and Naor and Romik unified these results by establishing a connection between $\ell_p^N$ balls and a $p$-generalized Gaussian distribution. In this paper, we …
Some results on fixed points related to the contractive compositions of bounded operators in complete metric spaces are discussed through the manuscript. The class of composite operators under study can include, in particular, sequences of projection operators under, in general, oblique projective operators.
We introduce a noncommutative analogue of the absolute value of a regular operator acting on a noncommutative $\mathrm{L}^p$-space. We equally prove that two classical operator norms, the regular norm and the decomposable norm are identical. We also describe precisely the regular norm of several classes of regular multipliers. This includes Schur multipliers and Fourier multipliers on some unimodular locally compact groups which can be approximated by discrete groups in various senses. A main ingredient is to show the existence of a bounded projection from the space of completely bounded $\mat…
Consider the projection of an $n$-dimensional random vector onto a random $k_n$-dimensional basis, $k_n \leq n$, drawn uniformly from the Haar measure on the Stiefel manifold of orthonormal $k_n$-frames in $\mathbb{R}^n$, in three different asymptotic regimes as $n \rightarrow \infty$: "constant" ($k_n=k$), "sublinear" ($k_n \rightarrow \infty$ but $k_n/n \rightarrow 0$) and "linear" $k_n/n \rightarrow λ$ with $0 < λ\le 1$). When the sequence of random vectors satisfies a certain "asymptotic thin shell condition", we establish annealed large deviation principles (LDPs) for the corresponding se…
Let $Ω_+$ be either the open unit disc or the open upper half plane or the open right half plane. In this paper, we compute the norm of the basic operator $A_α=Π_ΘT_{b_α}|_{\mathcal{H}(Θ)}$ in the vector valued model space $\mathcal{H}(Θ)=H^m_2 \ominus ΘH^m_2$ associated with an $m\times m$ matrix valued inner function $Θ$ in $Ω_+$ and show that the norm is attained. Here $Π_Θ$ denotes the orthogonal projection from the Lebesgue space $L^m_2$ onto $\mathcal{H}(Θ)$ and $T_{b_α}$ is the operator of multiplication by the elementary Blaschke factor $b_α$ of degree one with a zero at a point $α\in …