Products of two orthogonal projections

Jaydeep Bhattacharjee,Jaydeb Sarkar

2024-11-04

Abstract:We study operators that are products of two orthogonal projections. Our results complement the classical results of Crimmins and von Neumann. Particular emphasis has been given to projections associated with inner functions defined on the polydisc.

Functional Analysis,Complex Variables,Operator Algebras

What problem does this paper attempt to address?

Pairs of inner projections and two applications

Ramlal Debnath,Deepak K. Pradhan,Jaydeb Sarkar

2023-10-22

Abstract:Orthogonal projections onto closed subspaces of $H^2(\mathbb{D}^n)$ of the form $\varphi H^2(\mathbb{D}^n)$ for inner functions $\varphi$ on $\mathbb{D}^n$ are referred to as inner projections, where $H^2(\mathbb{D}^n)$ denotes the Hardy space over the open unit polydisc $\mathbb{D}^n$. In this paper, we classify pairs of commuting inner projections. We also present two seemingly independent applications: the first is an answer to a question posed by R. G. Douglas, and the second is a complete classification of partially isometric truncated Toeplitz operators with inner symbols on the polydisc.

Functional Analysis,Complex Variables,Operator Algebras
Inequalities for linear combinations of orthogonal projections and applications

Najla Altwaijry,Cristian Conde,Silvestru Sever Dragomir,Kais Feki

DOI: https://doi.org/10.1007/s11868-024-00640-z

2024-08-29

Journal of Pseudo-Differential Operators and Applications

Abstract:In this paper, we present various inequalities regarding the linear combinations of orthogonal projections. These results aim to generalize and refine well-known inequalities, such as those due to Buzano and Ostrowski. Additionally, we investigate a specific case of these linear combinations and introduce new refinements of the Cauchy–Schwarz inequality. Furthermore, we establish some findings related to the covariance and variance of bounded linear operators. Moreover, as applications of some of our results, we establish several inequalities involving the product of three operators, one of which is a linear combination of an orthogonal projection and the identity operator. Finally, we introduce a new positive operator construction in terms of an orthogonal projection and the identity operator, and we derive some norms and numerical radius inequalities involving it.

mathematics, applied
Orthogonal projection, dual Furstenberg problem, and discretized sum-product

Longhui Li,Bochen Liu

2024-03-23

Abstract:In this paper we come up with a dual version of the Furstenberg problem and obtain partial results via $L^p$ estimates of orthogonal projections. Examples are also discussed. Moreover, compared with general sets, we find that special structure like Cartesian product has better $L^p$-behavior. This leads to improvement on some discretized sum-product estimates.

Classical Analysis and ODEs
Projections in Toeplitz algebra

Hui Dan,Xuanhao Ding,Kunyu Guo,Yuanqi Sang

2020-01-01

Abstract: Motivated by Barr{\'\i}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. This provides a class of nontrivial projections in Toeplitz algebra.
Geometric Characterization of the Numerical Range of Parallel Sum of Two Orthogonal Projections

Weiyan Yu,Ran Wang,Chen Zhang

DOI: https://doi.org/10.1155/2024/1448498

2024-01-25

Journal of Mathematics

Abstract:Let H be a complex separable Hilbert space and BH be the algebra of all bounded linear operators from H to H . Our goal in this article is to describe the closure of numerical range of parallel sum operator P:PQ for two orthogonal projections P and Q in BH as a closed convex hull of some explicit ellipses parameterized by points in the spectrum.

mathematics
The projection onto the cross

Heinz H. Bauschke,Manish Krishan Lal,Xianfu Wang

DOI: https://doi.org/10.48550/arXiv.2108.04382

2022-02-03

Abstract:We consider the set of pairs of orthogonal vectors in Hilbert space, which is also called the cross because it is the union of the horizontal and vertical axes in the Euclidean plane when the underlying space is the real line. Crosses, which are nonconvex sets, play a significant role in various branches of nonsmooth analysis such as feasibility problems and optimization problems. In this work, we study crosses and show that in infinite-dimensional settings, they are never weakly (sequentially) closed. Nonetheless, crosses do turn out to be proximinal (i.e., they always admit projections) and we provide explicit formulas for the projection onto the cross in all cases.

Optimization and Control,Functional Analysis,Numerical Analysis
Refinements of the Norm of Two Orthogonal Projections

Xiaohui Li,Meiqi Liu,Chunyuan Deng

DOI: https://doi.org/10.1007/s10473-024-0403-9

2024-03-21

Acta Mathematica Scientia

Abstract:In this paper, some refinements of norm equalities and inequalities of combination of two orthogonal projections are established. We use certain norm inequalities for positive contraction operator to establish norm inequalities for combination of orthogonal projections on a Hilbert space. Furthermore, we give necessary and sufficient conditions under which the norm of the above combination of orthogonal pro jections attains its optimal value.

mathematics
Jordan Plane and Numerical Range of Operators Involving Two Projections

Jaedeok Kim,Youngmi Kim

DOI: https://doi.org/10.48550/arXiv.1811.10518

2018-11-27

Abstract: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.

Functional Analysis
Operators with Equal Projections Related to Their Generalized Inverses.

DS Djordjevic,YM Wei

DOI: https://doi.org/10.1016/s0096-3003(03)00807-5

IF: 4.397

2003-01-01

Applied Mathematics and Computation

Abstract:In this article we characterize operators on Banach spaces which have the same projections related to their outer or inner generalized inverses. As corollaries, we obtain well-known results for the Drazin inverse of bounded operators.
Orthogonal Projection of Convex Sets with a Differentiable Boundary

Gustave Bainier,Benoit Marx,Jean-Christophe Ponsart

2024-07-17

Abstract:Given an Euclidean space, this paper elucidates the topological link between the partial derivatives of the Minkowski functional associated to a set (assumed to be compact, convex, with a differentiable boundary and a non-empty interior) and the boundary of its orthogonal projection onto the linear subspaces of the Euclidean space. A system of equations for these orthogonal projections is derived from this topological link. This result is illustrated by the projection of the unit ball of norm $4$ in $\mathbb{R}^3$ on a plane.

Differential Geometry,General Topology
On local preservation of orthogonality and its application to isometries

Debmalya Sain,Jayanta Manna,Kallol Paul

DOI: https://doi.org/10.1016/j.laa.2024.03.004

IF: 1.307

2024-03-16

Linear Algebra and its Applications

Abstract:We investigate the local preservation of Birkhoff-James orthogonality at a point by a linear operator on a finite-dimensional Banach space and illustrate its importance in understanding the action of the operator in terms of the geometry of the concerned spaces. In particular, it is shown that such a study is related to the preservation of k-smoothness and the extremal properties of the unit ball of a Banach space. As an application of the results obtained in this direction, we obtain a refinement of the well-known Blanco-Koldobsky-Turnsek characterization of isometries on some polyhedral Banach spaces, including l∞n,l1n .

mathematics, applied
Orthogonality of bilinear forms and application to matrices

Saikat Roy,Tanusri Senapati,Debmalya Sain

DOI: https://doi.org/10.1016/j.laa.2020.12.032

2024-07-19

Abstract:We characterize Birkhoff-James orthogonality of continuous vector-valued functions on a compact topological space. As an application of our investigation, Birkhoff-James orthogonality of real bilinear forms are studied. This allows us to present an elementary proof of the well-known Bhatia-Šemrl Theorem in the real case.

Functional Analysis
Orthogonal projections in the plane over prime order fields

Ben Lund,Thang Pham,Le Anh Vinh

2023-11-09

Abstract:We give an upper bound on the number of exceptional orthogonal projections of a small set of points in a plane over a prime order field, which makes progress toward a conjecture of Chen (2018). This theorem relies on a new upper bound on the number of incidences between an arbitrary set of lines and a set of points contained in a reasonably small pencil of lines. We also prove a new upper bound on the number of incidences between points and lines when both are Cartesian products in an appropriate sense.

Combinatorics
Orthogonal Projection of an Infinite Round Cone in Real Hilbert Space

Mate Kosor

DOI: https://doi.org/10.48550/arXiv.1402.2952

2014-02-07

Functional Analysis

Abstract:We fully characterize orthogonal projections of infinite right circular (round) cones in real Hilbert spaces. Another interpretation is that, given two vectors in a real Hilbert space, we establish the optimal estimate on the angle between the orthogonal projections of the two vectors. The estimate depends on the angle between the two vectors and the position of only one of the two vectors. Our results also make a contributions to Cauchy-Bunyakovsky-Schwarz type inequalities.
Convergence of Random Products of Countably Infinitely Many Projections

Rasoul Eskandari,Mohammad Sal Moslehian

2024-05-08

Abstract:Let $r \in \mathbb{N}\cup\{\infty\}$ be a fixed number and let $P_j\,\, (1 \leq j\leq r )$ be the projection onto the closed subspace $\mathcal{M}_j$ of $\mathscr{H}$. We are interested in studying the sequence $P_{i_1}, P_{i_2}, \ldots \in\{P_1, \ldots, P_r\}$. A significant problem is to demonstrate conditions under which the sequence $\{P_{i_n}\cdots P_{i_2}P_{i_1}x\}_{n=1}^\infty$ converges strongly or weakly to $Px$ for any $x\in\mathscr{H}$, where $P$ is the projection onto the intersection $\mathcal{M}=\mathcal{M}_1\cap \ldots \cap \mathcal{M}_r$. Several mathematicians have presented their insights on this matter since von Neumann established his result in the case of $r=2$. In this paper, we give an affirmative answer to a question posed by M. Sakai. We present a result concerning random products of countably infinitely many projections (the case $r=\infty$) incorporating the notion of pseudo-periodic function.

Functional Analysis,Operator Algebras
Joint reducing subspaces and orthogonal decompositions of operators in an annulus

Sourav Pal,Nitin Tomar

2024-04-06

Abstract:A commuting tuple of Hilbert space operators $(T_1, \dotsc, T_n)$ is said to be an \textit{$\mathbb{A}_r^n$-contraction} if the closure of the polyannulus \[ \mathbb A_r^n=\left\{(z_1, \dotsc, z_n) \ : \ r<|z_i|<1, \ 1 \leq i \leq n \right\} \subseteq \mathbb{C}^n \qquad \quad (0<r<1) \] is a spectral set for $(T_1, \dotsc, T_n)$. We find characterizations for the $\mathbb A_r^n$-unitaries and $\mathbb A_r^n$-isometries and decipher their structures. We find Wold type decompositions for any number of commuting and doubly commuting $\mathbb A_r$-isometries. Then we generalize these results to any family of commuting and doubly commuting $\mathbb A_r$-contractions.

Functional Analysis,Complex Variables,Operator Algebras
Projections in operator ranges

Gustavo Corach,Alejandra Maestripieri,Demetrio Stojanoff

DOI: https://doi.org/10.48550/arXiv.math/0509330

2005-09-15

Abstract: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.

Functional Analysis
Products of multidimensional matrices, stochastic matrices, and permanents

Anna A. Taranenko

DOI: https://doi.org/10.48550/arXiv.2303.17278

2023-03-30

Abstract:In this paper we consider four basic multidimensional matrix operations (outer product, Kronecker product, contraction, and projection) and two derivative operations (dot and circle products). We start with the interrelations between these operations and deduce some of their algebraic properties. Next, we study their action on $k$-stochastic matrices. At last, we prove several relations on the permanents of products of multidimensional matrices. In particular, we obtain that the permanent of the dot product of nonnegative multidimensional matrices is not less than the product of their permanents and show that inequalities on the Kronecker product of nonnegative 2-dimensional matrices cannot be extended to the multidimensional case.

Combinatorics
On the Nearest Kronecker Product Problem Under Orthonormal Constraints

Matthew M. Lin,Bing‐Ze Lu

DOI: https://doi.org/10.1002/nla.2592

2024-10-12

Numerical Linear Algebra with Applications

Abstract:The Kronecker product enlightens a sophisticated and esthetically pleasing algebraic structure that is a fundamental framework for diverse applications, such as signal processing, image analysis, and quantum computing. This study, proposing an iterative methodology grounded in Wirtinger calculus and polar decomposition, delves into the nearest Kronecker product problem under orthonormal constraints. The iterative approach ensures global convergence toward a local solution from any initial value. Numerical experiments are given to show the efficiency and effectiveness of our approach. Mainly, when the target matrix in the objective function is decomposable, the recovery of the original structure is achievable.

mathematics, applied

Products of two orthogonal projections

Pairs of inner projections and two applications

Inequalities for linear combinations of orthogonal projections and applications

Orthogonal projection, dual Furstenberg problem, and discretized sum-product

Projections in Toeplitz algebra

Geometric Characterization of the Numerical Range of Parallel Sum of Two Orthogonal Projections

The projection onto the cross

Refinements of the Norm of Two Orthogonal Projections

Jordan Plane and Numerical Range of Operators Involving Two Projections

Operators with Equal Projections Related to Their Generalized Inverses.

Orthogonal Projection of Convex Sets with a Differentiable Boundary

On local preservation of orthogonality and its application to isometries

Orthogonality of bilinear forms and application to matrices

Orthogonal projections in the plane over prime order fields

Orthogonal Projection of an Infinite Round Cone in Real Hilbert Space

Convergence of Random Products of Countably Infinitely Many Projections

Joint reducing subspaces and orthogonal decompositions of operators in an annulus

Projections in operator ranges

Products of multidimensional matrices, stochastic matrices, and permanents

On the Nearest Kronecker Product Problem Under Orthonormal Constraints