If $\H$ is a Hilbert space, $A$ is a positive bounded linear operator on $\cH$ and $\cS$ is a closed subspace of $\cH$, the relative position between $\cS$ and $A^{-1}(\cS \orto)$ establishes a notion of compatibility. We show that the compatibility of $(A,\cS)$ is equivalent to the existence of a convenient orthogonal projection in the operator range $R(A^{1/2})$ with its canonical Hilbertian structure.
Boundedness for a class of projection operators, which includes the coordinate projections, on matrix weighted $L^p$-spaces is completely characterised in terms of simple scalar conditions. Using the projection result, sufficient conditions, which are straightforward to verify, are obtained that ensure that a given matrix weight is contained in the Muckenhoupt matrix $A_p$ class. Applications to singular integral operators with product kernels are considered.
Projections onto several special subsets in the Dedekind complete vector lattice of orthogonally additive, order bounded (called abstract Uryson) operators between two vector lattices $E$ and $F$ are considered and some new formulas are provided.
Motivated by Barr{\'ı}a-Halmos's \cite[Question 19]{barria1982asymptotic} and Halmos's \cite[Problem 237]{Halmos1978A}, we explore projections in Toeplitz algebra on the Hardy space. We show that the product of two Toeplitz (Hankel) operators is a projection if and only if it is the projection onto one of the invariant subspaces of the shift (backward shift) operator. As a consequence one obtains new proofs of criterion for Toeplitz operators and Hankel operators to be partial isometries. Furthermore, we completely characterize when the self-commutator of a Toeplitz operator is a projection. T…
We prove that for any two projection operators $f,g$ on Hilbert space, their anticommutator norm is given by the formula \[\|fg + gf\| = \|fg\| + \|fg\|^2.\] The result demonstrates an interesting contrast between the commutator and anticommutator of two projection operators on Hilbert space. Specifically, the norm of the anticommutator $\|fg + gf\|$ is a simple quadratic function of the norm $\|fg\|$ while the commutator norm $\|fg - gf\|$ is not a function of $\|fg\|$. Nevertheless, the result gives the following bounds that are functions of $\|fg\|$ on the commutator norm: $\|fg\| - \|fg\|^…
Let $λ\in \mathbb{R},$ $μ\in \mathbb{R}$ and $B$ be a linear bounded operator from a Hilbert space $\mathcal{K}$ into another Hilbert space $\mathcal{H}.$ In this paper, we consider the formulas of the absolute value $|Q_{λ,μ}|,$ where $Q_{λ,μ}$ with respect to the decomposition $\mathcal{H}\oplus\mathcal{K}$ have the operator matrix form $Q_{λ,μ}:=\left(\begin{array}{cc}λI&B\\B^*&μI\end{array}\right).$ Then the positive part and the support projection of $Q_{λ,0}$ are obtained. Also, we characterize the symmetry $J$ such that a projection $E$ is the $J$-projection. In particular, the minimal …
We use principal angles between two subspaces to define Jordan planes. Jordan planes provide an optimal way to decompose $\mathbb{C}^n$ in relation to given two subspaces. We apply Jordan planes to show that two pairs of of subspaces $(M,N)$ and $(M^{\perp},N^{\perp})$ are unitarily equivalent if $M$ and $N$ are subspaces of $\mathbb{C}^n$ in generic position. We compute numerical ranges of sum and product of two orthogonal projections by using Jordan planes.
We describe absolutely ordered $p$-normed spaces, for $1 \le p \le \infty$ which presents a model for "non-commutative" vector lattices and includes order theoretic orthogonality. To demonstrate its relevance, we introduce the notion of {\it absolute compatibility} among positive elements in absolute order unit spaces and relate it to symmetrized product in the case of a C$^{\ast}$-algebra. In the latter case, whenever one of the elements is a projection, the elements are absolutely compatible if and only if they commute. We develop an order theoretic prototype of the results. For this purpose…
We will show that a theorem of Rudin \cite{wr1}, \cite{wr}, permits us to determine minimal projections not only with respect to the operator norm but with respect to quasi-norms in operators ideals and numerical radius in many concrete cases.
We generalize some aspects of the theory of compact projections relative to a C*-algebra, to the setting of more general algebras. Our main result is that compact projections are the decreasing limits of `peak projections', and in the separable case compact projections are just the peak projections. We also establish new forms of the noncommutative Urysohn lemma relative to an operator algebra, and we show that a projection is compact iff the associated face in the state space of the algebra is weak* closed.
Several algebraic and topological properties of subgradient projection operators are investigated and various examples are provided. Connections with Moreau's proximity operator are also made and acceleration schemes for subgradient projection algorihms are discussed. Finally continuity, nonexpansiveness, monotonicity, differentiability, and epi-convergence properties are investigated.
Our main theorem is in the generality of the axioms of Hilbert space, and the theory of unbounded operators. Consider two Hilbert spaces such that their intersection contains a fixed vector space D. It is of interest to make a precise linking between such two Hilbert spaces when it is assumed that D is dense in one of the two; but generally not in the other. No relative boundedness is assumed. Nonetheless, under natural assumptions (motivated by potential theory), we prove a theorem where a comparison between the two Hilbert spaces is made via a specific selfadjoint semibounded operator. Appli…
Halmos' two projections theorem for Hilbert space operators is one of the fundamental results in operator theory. In this paper, we introduce the term of two harmonious projections in the context of adjointable operators on Hilbert $C^*$-modules, extend Halmos' two projections theorem to the case of two harmonious projections. We also give some new characterizations of the closed submodules and their associated projections. As an application, a norm equation associated to a characterization of the Friedrichs angle is proved to be true in the framework of Hilbert $C^*$-modules.
We prove the boundedness on $L^p$, $1<p<\infty$, of operators on manifolds which arise by taking conditional expectation of transformations of stochastic integrals. These operators include various classical operators such as second order Riesz transforms and operators of Laplace transform-type.
We prove that if a convex body has absolutely continuous surface area measure, whose density is sufficiently close to the constant, then the sequence $\{Π^mK\}$ of convex bodies converges to the ball with respect to the Banach-Mazur distance, as $m\rightarrow\infty$. Here, $Π$ denotes the projection body operator. Our result allows us to show that the ellipsoid is a local solution to the conjectured inequality of Petty and to improve a related inequality of Lutwak.
In this paper, based on the block operator technique and operator spectral theory, the general explicit expressions for intertwining operators and direct rotations of two orthogonal projections have been established. As a consequence, it is an improvement of Kato's result (Perturbation Theory of Linear operators, Springer-Verlag, Berlin/Heidelberg, 1996); J. Avron, R. Seiler and B. Simon's Theorem 2.3 (The index of a pair of projections, J. Funct. Anal. 120(1994) 220-237) and C. Davis, W.M. Kahan, (The rotation of eigenvectors by a perturbation, III. SIAM J. Numer. Anal. 7(1970) 1-46).
We construct a regular random projection of a metric space onto a closed doubling subset and use it to linearly extend Lipschitz and $C^1$ functions. This way we prove more directly a result by Lee and Naor and we generalize the $C^1$ extension theorem by Whitney to Banach spaces.
Projection operators are fundamental algorithmic operators in Analysis and Optimization. It is well known that these operators are firmly nonexpansive; however, their composition is generally only averaged and no longer firmly nonexpansive. In this note, we introduce the modulus of averagedness and provide an exact result for the composition of two linear projection operators. As a consequence, we deduce that the Ogura-Yamada bound for the modulus of the composition is sharp.
We consider families of non-self-adjoint perturbations of self-adjoint harmonic and anharmonic oscillators. The norms of spectral projections of these operators are found to grow at intermediate rates from arbitrarily slowly to exponentially rapidly.
This paper proves the $L^p$ boundedness of generalized first order Riesz transforms obtained as conditional expectations of martingale transforms à la Gundy-Varopoulos for quite general diffusions on manifolds and vector bundles. Several specific examples and applications are presented: Lie groups of compact type, the Heisenberg group, SU(2), and Riesz transforms on forms and spinors.
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…
Let D be a bounded pseudoconvex domain in $C^n, n\geq 2, 0\leq p\leq n,$ and $1\leq q\leq n-1.$ We show that compactness of the dbar-Neumann operator, $N_{p,q+1},$ on square integrable (p,q+1)-forms is equivalent to compactness of the commutators $[P_{p,q}, \bar{z}_j]$ on square integrable dbar-closed (p,q)-forms for $1\leq j\leq n$ where $P_{p,q}$ is the Bergman projection on (p,q)-forms. We also show that compactness of the commutator of the Bergman projection with functions continuous on the closure percolates up in the dbar-complex on dbar-closed forms and square integrable holomorphic for…
In this paper we study $A$-projections, i.e. operators of a Hilbert space $\HH$ which act as projections when a seminorm is considered in $\HH$. $A$-projections were introduced by Mitra and Rao \cite{[MitRao74]} for finite dimensional spaces. We relate this concept to the theory of compatibility between positive operators and closed subspaces of $\HH$. We also study the relationship between weighted least squares problems and compatibility.
We begin a program of generalizing basic elements of the theory of comparison, equivalence, and subequivalence, of elements in C*-algebras, to the setting of more general algebras. In particular, we follow the recent lead of Lin, Ortega, Rordam, and Thiel of studying these equivalences, etc., in terms of open projections or module isomorphisms. We also define and characterize a new class of inner ideals in operator algebras, and develop a matching theory of open partial isometries in operator ideals which simultaneously generalize the open projections in operator algebras (in the sense of the …
We prove that the set of orthogonal projections on a Hilbert space equipped with the length metric is $\frac\pi2$-geodesic. As an application, we consider the problem of variation of spectral subspaces for bounded linear self-adjoint operators and obtain a new estimate on the norm of the difference of two spectral projections associated with isolated parts of the spectrum of the perturbed and unpertubed operators, respectively. In particular, recent results by Kostrykin, Makarov and Motovilov from [Trans. Amer. Math. Soc., V. 359, No. 1, 77 -- 89] and [Proc. Amer. Math. Soc., 131, 3469 -- 3476…
The rigidity problem for uniform Roe algebras was recently positively solved. Before its solution was found, there were positive solutions under the assumption of certain technical geometric conditions. In this paper, we introduce weaker versions of the operator norm localization property (ONL) which turn out to characterize those technical geometric conditions. We use this to obtain new rigidity results for nonmetrizable coarse spaces. As an application, we provide a novel partial answer to a question of White and Willett about Cartan subalgebras of uniform Roe algebras. We also study embeddi…
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.
Building on MacDonald's formula for the distance from a rank-one projection to the set of nilpotents in $\mathbb{M}_n(\mathbb{C})$, we prove that the distance from a rank $n-1$ projection to the set of nilpotents in $\mathbb{M}_n(\mathbb{C})$ is $\frac{1}{2}\sec\left(\fracπ{\frac{n}{n-1}+2}\right)$. For each $n\geq 2$, we construct examples of pairs $(Q,T)$ where $Q$ is a projection of rank $n-1$ and $T\in\mathbb{M}_n(\mathbb{C})$ is a nilpotent of minimal distance to $Q$. Furthermore, we prove that any two such pairs are unitarily equivalent. We end by discussing possible extensions of these …
Let $H$ be a complex Hilbert space whose dimension is not less than $3$ and let ${\mathcal F}_{s}(H)$ be the real vector space formed by all self-adjoint operators of finite rank on $H$. For every non-zero natural $k<\dim H$ we denote by ${\mathcal P}_{k}(H)$ the set of all rank $k$ projections. Let $H'$ be other complex Hilbert space of dimension not less than $3$ and let $L:{\mathcal F}_{s}(H)\to {\mathcal F}_{s}(H')$ be a linear operator such that $L({\mathcal P}_{k}(H))\subset {\mathcal P}_{m}(H')$ for some natural $k,m$ and the restriction of $L$ to ${\mathcal P}_{k}(H)$ is injective. If …
Over a closed manifold, we consider the sectorial projection of an elliptic pseudo-differential operator A of positive order with two rays of minimal growth. We show that it depends continuously on A when the space of pseudo-differential operators is equipped with a certain topology which we explicitly describe. Our main application deals with a continuous curve of arbitrary first order linear elliptic differential operators over a compact manifold with boundary. Under the additional assumption of the weak inner unique continuation property, we derive the continuity of a related curve of Calde…
