On the Minimum Gap and the Angle Between Two Subspaces

Chun-Yuan Deng

DOI: https://doi.org/10.1016/j.cam.2006.08.010

IF: 2.872

2007-01-01

Journal of Computational and Applied Mathematics

Abstract:In this note, we give the expressions of the minimum gap and the angle between two closed subspaces of a Hilbert space in terms of the properties of the projections on these subspaces.

What problem does this paper attempt to address?

A New Characterization of Gaps Between Two Subspaces

Hong-Ke Du,Chun-Yuan Deng

DOI: https://doi.org/10.1090/s0002-9939-05-07849-4

IF: 0.9709

2005-01-01

Proceedings of the American Mathematical Society

Abstract:In this note, a new characterization of gaps between two subspaces of a Hilbert space is established.
A New Gap for Complete Hypersurfaces with Constant Mean Curvature in Space Forms

Juan-Ru Gu,Li Lei,Hong-Wei Xu

DOI: https://doi.org/10.2140/pjm.2022.318.51

2022-01-01

Pacific Journal of Mathematics

Abstract:Let M be an n-dimensional closed hypersurface with constant mean curvature and constant scalar curvature in a unit sphere. Denote by H and S the mean curvature and the squared length of the second fundamental form. We prove that if a(n, H) <= S <= alpha( n, H)+ CnH2, where n >= 4 and H not equal 0, then S = alpha( n, H) and M is a Clifford torus Sn-1(r(1)) x S-1(r(2)). Here alpha(n, H) = n + n(3)/2(n -1) H-2 - n(n - 2)/2(n - 1) root n(2)H(4) + 4(n - 1) H-2, and C-n is a positive constant explicitly depending on n. The emphasis is that our gap theorem imposes no restriction on the range of mean curvature. Moreover, we obtain gap theorems for complete hypersurfaces with constant mean curvature and constant scalar curvature in space forms.
A Gap Theorem for Complete Submanifolds with Parallel Mean Curvature in the Hyperbolic Space

Zhiyuan Xu,Hongwei Xu

DOI: https://doi.org/10.1016/j.jmaa.2020.124549

IF: 1.417

2021-01-01

Journal of Mathematical Analysis and Applications

Abstract:Let M be an n (>= 7)-dimensional complete submanifold with parallel mean curvature in the hyperbolic space Hn+p, whose mean curvature satisfies H-2-1 <= 0. Denote by angstrom and B-R(q) the trace free second fundamental form of M and the geodesic ball of radius R centered at q is an element of M, respectively. We prove that if lim(R ->infinity) sup integral(vertical bar angstrom vertical bar 2dM)(BR(q))/R-2 and if (integral(M)vertical bar angstrom vertical bar(n) dM)(2/n) + 2n(n-2)/3 root n(n-1) H(integral(M)vertical bar angstrom vertical bar(n/2)dM)(2/n) <= C(n), then M is congruent to an n-dimensional hyperbolic space or the Euclidean space R-n. Here C(n) is an explicit positive constant depending only on n. We also obtain a similar gap theorem in the case where n = 5, 6. (C) 2020 Elsevier Inc. All rights reserved.
Bernstein Type Theorems for Minimal Surfaces in $(\Alpha,\beta)$-Space

Ningwei Cui,Yi-Bing Shen

DOI: https://doi.org/10.5486/pmd.2009.4443

2009-01-01

Publicationes Mathematicae Debrecen

Abstract:Let Vn+1 be an (n + 1)-dimensional real vector space and (F) over tilde = (alpha) over tilde phi(s) s = (beta) over tilde/(alpha) over tilde, be all (alpha, beta)-metric, where (alpha) over tilde is an Euclidean metric and (beta) over tilde is a one form. Minimal surfaces with respect to the Busemann-Hausdorff measure and the Holmes-Thompson measure are called BH-minimal and HT-minimal surfaces, respectively. We give a Bernstein type theorem for minimal graphs in (Vn+1, (F) over tilde) with n <= 7. Let (F) over tilde (b) = (alpha) over tilde phi(s), s = (beta) over tilde/(alpha) over tilde, be a Minkowski metric with b := parallel to(beta) over tilde parallel to(alpha) over tilde. We use a PDE to characterize the BH-minimal and HT-minimal graph over any hyperplane containing the origin in (Vn+1, (F) over tilde (b)). Then we prove that this PDE is an elliptic equation of mean curvature type when b is an element of [0, is an element of) for sonic constant is an element of > 0 and give a Bernstein type theorem for BH-minimal surface in (V-3, (F) over tilde (b)). BH-minimal cones with an isolated singularity at the origin are also given.
Geometry Characterizations Between Two Subspaces

Du Hongke,Gao Guibao,Wang Yueqing

DOI: https://doi.org/10.3969/j.issn.1003-3998.2012.05.006

2012-01-01

Acta Mathematica Scientia

Abstract:By using the technique of block-operator matrices of bounded linear operators on a Hilbert space,in this paper,the geometry structure between two subspaces are investigated. New characterizations of the distance and the angle between two subspaces are established. The representation of Kovarik formula of two subspaces are obtained.The alternative proofs of two theorems concerning combination approximations(M.Hegland,J.Garcke,V.Challis, The combination technique and some generalizations,Linear Algebra and its Applications,to appear) are given.
Some Distances on Subspaces

yifeng xue

2018-01-01

Abstract:Let $H$ be an infinite separable complex Hilbert space. Let $V$ be a closed subspace of $H$ with $\dim V=n$ and let $MO_n(V)$ be the set of $n$--tuples $(e_1,\cdots,e_n)$ such that $e_1,\cdots,e_n$ are mutually orthonormal in $V$. In this short note, we first show that for an $n$--tuple of linearly independent unit vectors $(\alpha_1,\cdots,\alpha_n)$ in $H$, there is an $n$--tuple of mutually orthonormal vectors $(\gamma_1,\cdots,\gamma_n)= (\alpha_1,\cdots,\alpha_n)A^{-1/2}$ such that $$ \sum\limits^n_{j=1}\|\alpha_j-\gamma_j\|^2=\inf\big\{\sum\limits^n_{j=1}\|\alpha_j-e_j\|^2\vert\,(e_1,\cdots,e_n)\in MO_n(H)\big\}, $$ where $A$ is the Gram matrix of $(\alpha_1,\cdots,\alpha_n)$; then we define a new distance $d_1(M,N)$ for two subspaces $M$ and $N$ with $\dim M=\dim N<+\infty$ and give a formula to compute $d_2(M,N)$.
A New Characterization of the Closedness of the Sum of Two Subspaces

Deng Chunyuan,Du Hongke

DOI: https://doi.org/10.1016/s0252-9602(08)60003-x

2008-01-01

Abstract:In this article, a new characterization of the closedness of the sum of two closed subspaces of a Hilbert space is established.
Angles Between Infinite Dimensional Subspaces with Applications to the Rayleigh-Ritz and Alternating Projectors Methods

Andrew Knyazev,Abram Jujunashvili,Merico Argentati

DOI: https://doi.org/10.1016/j.jfa.2010.05.018

2010-06-02

Abstract:We define angles from-to and between infinite dimensional subspaces of a Hilbert space, inspired by the work of E. J. Hannan, 1961/1962 for general canonical correlations of stochastic processes. The spectral theory of selfadjoint operators is used to investigate the properties of the angles, e.g., to establish connections between the angles corresponding to orthogonal complements. The classical gaps and angles of Dixmier and Friedrichs are characterized in terms of the angles. We introduce principal invariant subspaces and prove that they are connected by an isometry that appears in the polar decomposition of the product of corresponding orthogonal projectors. Point angles are defined by analogy with the point operator spectrum. We bound the Hausdorff distance between the sets of the squared cosines of the angles corresponding to the original subspaces and their perturbations. We show that the squared cosines of the angles from one subspace to another can be interpreted as Ritz values in the Rayleigh-Ritz method, where the former subspace serves as a trial subspace and the orthogonal projector of the latter subspace serves as an operator in the Rayleigh-Ritz method. The Hausdorff distance between the Ritz values, corresponding to different trial subspaces, is shown to be bounded by a constant times the gap between the trial subspaces. We prove a similar eigenvalue perturbation bound that involves the gap squared. Finally, we consider the classical alternating projectors method and propose its ultimate acceleration, using the conjugate gradient approach. The corresponding convergence rate estimate is obtained in terms of the angles. We illustrate a possible acceleration for the domain decomposition method with a small overlap for the 1D diffusion equation.

Numerical Analysis,Functional Analysis
The Bregman Distance, Approximate Compactness and Convexity of Chebyshev Sets in Banach Spaces

Chong Li,Wen Song,Jen-Chih Yao

DOI: https://doi.org/10.1016/j.jat.2009.12.006

IF: 0.993

2009-01-01

Journal of Approximation Theory

Abstract:We present some sufficient conditions ensuring the upper semicontinuity and the continuity of the Bregman projection operator ΠCg and the relative projection operator PCg in terms of the D-approximate (weak) compactness for a nonempty closed set C in a Banach space X. We next present certain sufficient conditions as well as equivalent conditions for the convexity of a Chebyshev subset of a Banach space X. Our results extend the corresponding results of [H.H. Bauschke, X.F. Wang, J. Ye and X. M. Yuan, Bregman distances and Chebyshev sets, J. Approx. Theory 159 (2009) 3–25] to infinite dimensional spaces.
A Note on $g$-Angle between Two Subspaces in a Normed Space

Muhammad Nur,Hendra Gunawan

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

2018-09-06

Functional Analysis

Abstract:We introduce a new $2$-norm on a normed space using a semi-inner product $g$ on the space. Using the $2$-norm, we propose a formula for the $g$-angle between $2$-dimensional subspaces in the space. Our formula serves as a revision of the one proposed by Nur {\it et al.} \cite{Nur1}.
On Best Approximation by Nonconvex Sets and Perturbation of Nonconvex Inequality Systems in Hilbert Spaces.

C Li,KF Ng

DOI: https://doi.org/10.1137/s1052623402401373

IF: 2.763

2002-01-01

SIAM Journal on Optimization

Abstract:By virtue of convexification techniques, we study best approximations to a closed set C in a Hilbert space as well as perturbation conditions relative to C and a nonlinear inequality system. Some results on equivalence of the best approximation and the basic constraint qualification are established.
Numerical methods for computing angles between linear subspaces

Ȧke Björck, Gene H Golub

1973-01-01

Abstract:Assume that two subspaces F and G of a unitary space are defined as the ranges (or null spaces) of given rectangular matrices A and B. Accurate numerical methods are developed for computing the principal angles and orthogonal sets of principal vectors and . An important application in statistics is computing the canonical correlations between two sets of variates. A perturbation analysis shows that the condition number for essentially is , where denotes the condition number of a matrix. The algorithms are based on a preliminary QR-factorization of A and B (or and ), for which either the method of Householder transformations (HT) or the modified Gram-Schmidt method (MGS) is used. Then and are computed as the singular values of certain related matrices. Experimental results are given, which indicates that MGS gives …
On the closedness of the sum of n subspaces of a Hilbert space

Ivan Feshchenko

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

2012-01-15

Abstract:We give necessary and sufficient conditions for the sum of n subspaces of a Hilbert space to be closed. We also present various properties of n-tuples of subspaces with closed sum.

Functional Analysis
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
Gaps and relative dimensions

Chenfeng Liao,Chaofeng Zhu

2024-08-25

Abstract:In this paper, the notion of Fredholm tetrad of closed linear subspaces in a Banach space is introduced. Then the stability of the Fredholm tetrad is proved. After that, the notion of semi-compact perturbation of a closed linear subspace is introduced. Then for a of pair of closed linear subspace of a Banach space such that one is a semi-compact perturbation of the other, it is proved that the relative dimension between them is well-defined. If the perturbation is compact, the relative dimension is stable. Finally the perturbed argumented Morse index is studied.

Functional Analysis
Relative residual bounds for eigenvalues in gaps of the essential spectrum

Albrecht Seelmann

2023-09-13

Abstract:The relative distance between eigenvalues of the compression of a not necessarily semibounded self-adjoint operator to a closed subspace and some of the eigenvalues of the original operator in a gap of the essential spectrum is considered. It is shown that this distance depends on the maximal angles between pairs of associated subspaces. This generalises results by Drmač in [Linear Algebra Appl. 244 (1996), 155--163] from matrices to not necessarily (semi)bounded operators.

Spectral Theory,Functional Analysis
On Disjoint Range Operators in a Hilbert Space

Chunyuan Deng,Yimin Wei,Qingxiang Xu,Chuanning Song

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

IF: 1.307

2012-01-01

Linear Algebra and its Applications

Abstract:For a bounded linear operator M in a Hilbert space H, various relations among the ranges R(M),R(M∗), R(M+M∗) and the null spaces N(M),N(M∗) are considered from the point of view of their relations to the known classes of operators, such as EP, co-EP, weak-EP, GP, DR, or SR. Particular attention is paid to the range projectors of the operators M, M∗ and some further characteristics of these projectors are derived as well.
The Drazin inverses of products and differences of orthogonal projections

Chun Yuan Deng

DOI: https://doi.org/10.1016/j.jmaa.2007.01.056

IF: 1.417

2007-01-01

Journal of Mathematical Analysis and Applications

Abstract:In this note, the Drazin inverses of products and differences of orthogonal projections on a Hilbert space are established.
On eigenvalue gaps of integer matrices

Aaron Abrams,Zeph Landau,Jamie Pommersheim,Nikhil Srivastava

DOI: https://doi.org/10.1090/mcom/3905

IF: 2.118

2024-09-13

Mathematics of Computation

Abstract:Given an n × n n imes n matrix with integer entries in the range [ − h , h ] [-h,h] , how close can two of its distinct eigenvalues be? The best previously known examples (Lu [Minimum eigenvalue separation, ProQuest LLC, Ann Arbor, MI, 1992. Thesis (Ph.D.)–University of California, Berkeley; Wilkinson [The algebraic eigenvalue problem, Monographs on Numerical Analysis, The Clarendon Press, Oxford University Press, New York, 1988]) have a minimum gap of h − O ( n ) h^{-O(n)} . Here we give an explicit construction of matrices with entries in [ 0 , h ] [0,h] with two eigenvalues separated by at most h − n 2 / 16 + o ( n 2 ) h^{-n^2/16+o(n^2)} . Up to a constant in the exponent, this agrees with the known lower bound of Ω ( ( 2 n ) − n 2 h − n 2 ) \Omega ((2\sqrt {n})^{-n^2}h^{-n^2}) (Mahler [Michigan Math. J. 11 (1964), pp. 257–262]). Bounds on the minimum gap are relevant to the worst case analysis of algorithms for diagonalization and computing canonical forms of integer matrices (e.g. Dey et al. [Bit complexity of Jordan normal form and polynomial spectral factorization, Schloss Dagstuhl. Leibniz-Zent. Inform., Wadern, 2023, pp. Art. No. 42]). In addition to our explicit construction, we show there are many matrices with a slightly larger gap of roughly h − n 2 / 32 h^{-n^2/32} . We also construct 0-1 matrices which have two eigenvalues separated by at most 2 − n 2 / 64 + o ( n 2 ) 2^{-n^2/64+o(n^2)} .

mathematics, applied

On the Minimum Gap and the Angle Between Two Subspaces

A New Characterization of Gaps Between Two Subspaces

A New Gap for Complete Hypersurfaces with Constant Mean Curvature in Space Forms

A Gap Theorem for Complete Submanifolds with Parallel Mean Curvature in the Hyperbolic Space

Bernstein Type Theorems for Minimal Surfaces in $(\Alpha,\beta)$-Space

Geometry Characterizations Between Two Subspaces

Some Distances on Subspaces

A New Characterization of the Closedness of the Sum of Two Subspaces

Angles Between Infinite Dimensional Subspaces with Applications to the Rayleigh-Ritz and Alternating Projectors Methods

The Bregman Distance, Approximate Compactness and Convexity of Chebyshev Sets in Banach Spaces

A Note on $g$-Angle between Two Subspaces in a Normed Space

On Best Approximation by Nonconvex Sets and Perturbation of Nonconvex Inequality Systems in Hilbert Spaces.

Numerical methods for computing angles between linear subspaces

On the closedness of the sum of n subspaces of a Hilbert space

Projections in operator ranges

Gaps and relative dimensions

Relative residual bounds for eigenvalues in gaps of the essential spectrum

On Disjoint Range Operators in a Hilbert Space

The Drazin inverses of products and differences of orthogonal projections

On eigenvalue gaps of integer matrices