pith. sign in

arxiv: 2404.03433 · v3 · submitted 2024-04-04 · 🧮 math.FA

Some applications of the matched projections of idempotents

Xiaofeng Zhang , Xiaoyi Tian , Qingxiang Xu This is my paper

Pith reviewed 2026-05-24 02:04 UTC · model grok-4.3

classification 🧮 math.FA
keywords matched projectionsidempotentsdistances from projectionsC*-algebras generated by idempotentsnumerical rangeselliptical range theoremblock matrix representationsHilbert space operators
0
0 comments X

The pith

The matched projection m(Q) of any idempotent Q fully characterizes distances from projections to Q, supplies explicit 4x4 block representations for the C*-algebra generated by Q, and yields an operator version of the elliptical range thm.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper applies the matched projection m(Q) of an idempotent Q on a Hilbert space to three problems. It produces a complete description of every possible distance from a projection to Q, including the smallest, largest, and all values in between. It also derives a new 4 by 4 block matrix form for Q that lets every element of the algebra C*{Q} be written explicitly in the same block form. Finally it constructs a non-quadratic operator from Q and m(Q) whose numerical range obeys an operator elliptical range theorem, while exhibiting another operator whose numerical range is neither closed nor open and whose closure is not an elliptical disk. A reader would care because these results turn the abstract geometry of idempotents into concrete matrix calculations that control distances, algebra membership, and numerical ranges.

Core claim

For every idempotent Q the matched projection m(Q) induces a 4×4 block matrix representation of Q that yields explicit formulas for all elements of the C*-algebra generated by Q and a complete characterization of distances from projections to Q; the same pair produces a non-quadratic operator whose numerical range satisfies an operator version of the elliptical range theorem while another constructed operator has a numerical range that is neither closed nor open and whose closure is not an elliptical disk. For each r>1 a family of universal r-idempotents is introduced together with necessary and sufficient conditions for the universal property.

What carries the argument

The matched projection m(Q) of the idempotent Q, which supplies the block decompositions used for distance formulas and algebra representations.

If this is right

  • All distances from projections on H to a given idempotent Q are completely characterized using m(Q), covering minimum, maximum, and intermediate values.
  • Every element of the C*-algebra C*{Q} admits an explicit 4×4 block matrix representation induced by m(Q).
  • A family of universal r-idempotents for each r>1 satisfies necessary and sufficient conditions that differ from those known for projection pairs.
  • The numerical range of a non-quadratic operator built from a general non-projection idempotent Q and its matched projection m(Q) obeys an operator version of the elliptical range theorem.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The 4×4 block technique may allow similar explicit descriptions for algebras generated by multiple idempotents rather than one.
  • The example of a numerical range that is neither closed nor an elliptical disk could be used to test the sharpness of other range theorems that assume quadratic operators.
  • The conditions for universal r-idempotents might provide a route to classify idempotents up to unitary equivalence or similarity in finite dimensions.

Load-bearing premise

The matched projection m(Q) exists for every idempotent Q on the Hilbert space H and admits the block matrix decompositions and distance formulas needed for the characterizations to hold without additional restrictions on Q or H.

What would settle it

An explicit non-projection idempotent Q on a Hilbert space for which either the distances from projections fail to match the min-max-intermediate formulas derived from m(Q) or the numerical range of the associated non-quadratic operator deviates from the elliptical form given by the operator elliptical range theorem.

read the original abstract

For every idempotent $Q$ on a Hilbert space $H$, the matched projection $m(Q)$ is a well-established concept. This paper explores several applications of the matched projections. The first application addresses the distances from projections on $H$ to a given idempotent $Q$. Using $m(Q)$, a complete characterization of these distances is established, covering the minimum, maximum, and intermediate values. The second application focuses on the $C^*$-algebra $C^*\{Q\}$ generated by a single non-projection idempotent $Q$. A new $4\times 4$ block matrix representation of $Q$, induced by $m(Q)$, yields novel formulas for $Q$, leading to a full characterization of all elements in $C^*\{Q\}$ via explicit $4\times 4$ block matrices. Furthermore, for each $r>1$, a family of universal $r$-idempotents is introduced. These idempotents possess a universal property distinct from known properties of projection pairs. Some necessary and sufficient conditions are provided for such universal $r$-idempotents. The third application presents new characterizations of the numerical ranges. An operator version of the elliptical range theorem is established. Using a general non-projection idempotent $Q$ and its matched projection $m(Q)$, a non-quadratic operator is constructed, and its numerical range is described in detail. Additionally, another operator is introduced whose numerical range closure is not an elliptical disk, and the numerical range itself is neither closed nor open.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

3 major / 2 minor

Summary. The paper explores applications of matched projections m(Q) for idempotents Q on a Hilbert space H. It claims a complete characterization of distances from projections on H to Q (covering minimum, maximum, and intermediate values) via m(Q); a new 4×4 block matrix representation of Q induced by m(Q) that yields explicit formulas and a full characterization of all elements in the C*-algebra C*{Q}; a family of universal r-idempotents (r>1) with necessary and sufficient conditions; and an operator version of the elliptical range theorem, including construction of a non-quadratic operator whose numerical range is described in detail plus an example operator whose numerical range closure is not an elliptical disk and whose numerical range is neither closed nor open.

Significance. If the central claims hold without hidden restrictions, the explicit 4×4 block-matrix formulas for C*{Q} and the distance characterizations would provide concrete, computable tools in operator theory that extend classical results on projections. The operator elliptical-range example and the non-elliptical numerical-range counterexample are also potentially useful for sharpening understanding of numerical-range geometry beyond quadratic operators. No machine-checked proofs or parameter-free derivations are present, but the claimed universal properties for r-idempotents would be a clear strength if verified.

major comments (3)
  1. [§ on distances from projections] § on distances from projections (first application): the complete characterization of min/max/intermediate distances rests on m(Q) inducing a 4×4 block decomposition of H that works for arbitrary idempotents Q; the manuscript must explicitly verify that the ranges and kernels always split into four independent subspaces (especially when dim(H)=∞ or when Q is not diagonalizable in the m(Q)-basis), or state the additional hypotheses required.
  2. [§ on C*{Q} characterization] § on C*{Q} characterization (second application): the novel 4×4 block-matrix formulas for Q and the claim of a full characterization of every element of C*{Q} via explicit 4×4 blocks are load-bearing and inherit the same decomposition assumption; if the four blocks are not always well-defined and independent, the characterization cannot be exhaustive for general Q.
  3. [§ on numerical ranges] § on numerical ranges (third application): the operator version of the elliptical range theorem and the construction of the non-quadratic operator whose numerical range is described rely on the same m(Q)-induced blocks; the paper should confirm that these constructions and the non-elliptical example hold for every non-projection idempotent without further restrictions on Q or H.
minor comments (2)
  1. [Abstract] The abstract refers to m(Q) as 'well-established' without recalling its definition; a short self-contained paragraph in the introduction would improve readability.
  2. [§ on universal r-idempotents] Notation for the universal r-idempotents and the block-matrix entries should be checked for consistency across sections.

Simulated Author's Rebuttal

3 responses · 0 unresolved

We thank the referee for the thorough review and for highlighting the need for explicit verification of the 4×4 block decomposition. The results are claimed for arbitrary idempotents Q on any Hilbert space H, and the decomposition follows from the definition of the matched projection m(Q) together with the fact that every idempotent is diagonalizable (minimal polynomial divides x(x-1)). We will add explicit verifications and a clarifying remark to address the concerns about infinite dimensions and subspace independence.

read point-by-point responses

  1. Referee: § on distances from projections (first application): the complete characterization of min/max/intermediate distances rests on m(Q) inducing a 4×4 block decomposition of H that works for arbitrary idempotents Q; the manuscript must explicitly verify that the ranges and kernels always split into four independent subspaces (especially when dim(H)=∞ or when Q is not diagonalizable in the m(Q)-basis), or state the additional hypotheses required.

    Authors: The four subspaces are ran(Q) ∩ ran(m(Q)), ran(Q) ∩ ker(m(Q)), ker(Q) ∩ ran(m(Q)), and ker(Q) ∩ ker(m(Q)). All are closed because ran(Q), ker(Q), ran(m(Q)), and ker(m(Q)) are closed (the first two as kernels of bounded operators I-Q and Q, the latter two because m(Q) is a projection). The sum is direct and equals H by the matching property of m(Q), which ensures the intersections are complementary within ran(m(Q)) and ker(m(Q)). This algebraic and topological decomposition holds verbatim in infinite dimensions, as it relies only on boundedness. Every idempotent Q is diagonalizable with eigenspaces ran(Q) and ker(Q); the m(Q)-adapted decomposition simply refines this splitting, and Q is block diagonal with respect to the four subspaces. We will insert a dedicated paragraph in the distances section explicitly confirming these facts for general Q and H. revision: yes

  2. Referee: § on C*{Q} characterization (second application): the novel 4×4 block-matrix formulas for Q and the claim of a full characterization of every element of C*{Q} via explicit 4×4 blocks are load-bearing and inherit the same decomposition assumption; if the four blocks are not always well-defined and independent, the characterization cannot be exhaustive for general Q.

    Authors: The C*-algebra characterization rests on the same 4×4 block representation of Q induced by m(Q). Because the four subspaces form a direct-sum decomposition of H (as verified above), every operator commuting with m(Q) or generated by Q admits a well-defined 4×4 block matrix with respect to this splitting, and the explicit formulas remain valid. We will add a cross-reference to the new verification paragraph and a short sentence confirming that the block representation is exhaustive for arbitrary Q. revision: yes

  3. Referee: § on numerical ranges (third application): the operator version of the elliptical range theorem and the construction of the non-quadratic operator whose numerical range is described rely on the same m(Q)-induced blocks; the paper should confirm that these constructions and the non-elliptical example hold for every non-projection idempotent without further restrictions on Q or H.

    Authors: The numerical-range results are obtained by applying the same 4×4 block form to construct the relevant operators from a general non-projection idempotent Q. The constructions therefore inherit the general validity of the decomposition. The non-elliptical counterexample is likewise built from an arbitrary Q and its m(Q). We will add a brief statement in the numerical-ranges section confirming that no extra hypotheses on Q or H are required, again referencing the added verification of the four-subspace splitting. revision: yes

Circularity Check

0 steps flagged

No circularity: derivations apply established m(Q) properties to new characterizations

full rationale

The paper treats the matched projection m(Q) as a well-established external concept and derives its applications (distance formulas, 4x4 block representations of C*{Q}, universal r-idempotents, and operator elliptical range theorem) from the induced block decompositions and properties of m(Q). No equations or claims reduce a 'prediction' or result to a fitted parameter, self-definition, or self-citation chain by construction. The new families and conditions are stated with independent necessary/sufficient criteria. This is the standard case of a self-contained application paper whose central claims rest on prior independent results rather than internal reduction.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The work relies on standard background from functional analysis rather than new postulates.

axioms (2)
  • standard math A Hilbert space is a complete complex inner product space on which bounded linear operators act.
    This is the ambient setting invoked throughout the abstract for idempotents and projections.
  • standard math An idempotent satisfies Q squared equals Q.
    Core definition used to introduce the matched projection m(Q).

pith-pipeline@v0.9.0 · 5808 in / 1386 out tokens · 28399 ms · 2026-05-24T02:04:32.529120+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

31 extracted references · 31 canonical work pages

  1. [1]

    438 (2013), no

    T.Ando, UnboundedorboundedidempotentoperatorsinHilbertspace, Linear Algebra Appl. 438 (2013), no. 10, 3769–3775

    work page 2013

  2. [2]

    A.BöttcherandB.Silbermann, IntroductiontolargetruncatedToeplitz matrices, Universitext, Springer-Verlag, New York, 1999

    work page 1999

  3. [3]

    Böttcher and I

    A. Böttcher and I. M. Spitkovsky, A gentle guide to the basics of two projections theory, Linear Algebra Appl. 432 (2010), no. 6, 1412–1459

    work page 2010

  4. [4]

    K. E. Gustafson and D. K. Rao, Numerical range, Universitext, Springer-Verlag, New York, 1997

    work page 1997

  5. [5]

    R. V. Kadison and J. R. Ringrose, Fundamentals of the theory of opera- tor algebras, Vol. I, Grad. Stud. Math., American Mathematical Society, Providence, RI, 1997

    work page 1997

  6. [6]

    Klaja, The numerical range and the spectrum of a product of two orthogonal projections, J

    H. Klaja, The numerical range and the spectrum of a product of two orthogonal projections, J. Math. Anal. Appl. 411 (2014), no. 1, 177–195

    work page 2014

  7. [7]

    J. J. Koliha, Range projections of idempotents inC∗-algebras, Demon- stratio Math. 34 (2001), no. 1, 91–103

    work page 2001

  8. [8]

    Krupnik, S

    N. Krupnik, S. Roch and B. Silbermann, OnC∗-algebras generated by idempotents, J. Funct. Anal. 137 (1996), no. 2, 303–319. 57

    work page 1996

  9. [9]

    Lenard, The numerical range of a pair of projections, J

    A. Lenard, The numerical range of a pair of projections, J. Funct. Anal. 10 (1972), 410–423

    work page 1972

  10. [10]

    Li, A simple proof of the elliptical range theorem, Proc

    C. Li, A simple proof of the elliptical range theorem, Proc. Amer. Math. Soc. 124 (1996), no. 7, 1985–1986

    work page 1996

  11. [11]

    C. Li, Y. Poon and N. Sze, Elliptical range theorems for generalized numerical ranges of quadratic operators, Rocky Mountain J. Math. 41 (2011), 813–832

    work page 2011

  12. [12]

    C. Li, Y. Poon and M. Tominaga, Spectra, norms and numerical ranges of generalized quadratic operators, Linear Multilinear Algebra 59 (2011), no. 10, 1077–1104

    work page 2011

  13. [13]

    G. J. Murphy,C∗-algebras and operator theory, Academic Press, Lon- don, 1990

    work page 1990

  14. [14]

    P. G. Ovchinnikov, Automorphisms of the poset of skew projections, J. Funct. Anal. 115 (1993), no. 1, 184–189

    work page 1993

  15. [15]

    G. K. Pedersen,C ∗-algebras and their automorphism groups (London Math. Soc. Monographs 14), Academic Press, New York, 1979

    work page 1979

  16. [16]

    Raeburn and A

    I. Raeburn and A. M. Sinclair, TheC∗-algebra generated by two pro- jections, Math. Scand. 65 (1989), no. 2, 278–290

    work page 1989

  17. [17]

    R. T. Rockafellar, Convex analysis (Princeton Math. Ser., No. 28), Princeton University Press, Princeton, NJ, 1970

    work page 1970

  18. [18]

    Schneider, Convex Bodies: the Brunn-Minkowski Theory, Cambridge University Press, Cambridge, 2nd expanded edition, 2014

    R. Schneider, Convex Bodies: the Brunn-Minkowski Theory, Cambridge University Press, Cambridge, 2nd expanded edition, 2014

    work page 2014

  19. [19]

    X. Tian, Q. Xu and C. Fu, The Frobenius distances from projections to an idempotent matrix, Linear Algebra Appl. 688 (2024), 21–43

    work page 2024

  20. [20]

    X. Tian, Q. Xu and C. Fu, The matched projections of idempotents on HilbertC ∗-modules, J. Operator Theory 94 (2025), 219–251

    work page 2025

  21. [21]

    X. Tian, Q. Xu and C. Fu, Characterizations of the semi-harmonious and harmonious quasi-projection pairs on HilbertC∗-modules, Quaest. Math., to appear. doi:10.2989/16073606.2025.2550026

    work page doi:10.2989/16073606.2025.2550026 2025

  22. [22]

    X. Tian, Q. Xu and C. Fu, The block matrix representations for the quasi-projection pairs on HilbertC ∗-modules, preprint. arXiv:2510.27068 58

    work page arXiv

  23. [23]

    Tso and P

    S. Tso and P. Wu, Matricial ranges of quadratic operators, Rocky Moun- tain J. Math. 29 (1999), 1139–1152

    work page 1999

  24. [24]

    Wu and Q

    K. Wu and Q. Xu, The numerical ranges of certain generalized quadratic operators, preprint

    work page

  25. [25]

    Wu and H

    P. Wu and H. Gau, Numerical ranges of Hilbert space operators, Ency- clopediaofMathematicsanditsApplications179, CambridgeUniversity Press, Cambridge, 2021

    work page 2021

  26. [26]

    Xu, A new formula for the weighted Moore-Penrose inverse and its applications, Banach J

    Q. Xu, A new formula for the weighted Moore-Penrose inverse and its applications, Banach J. Math. Anal. 19 (2025), no. 4, Paper No. 55

    work page 2025

  27. [27]

    Xu and L

    Q. Xu and L. Sheng, Positive semi-definite matrices of adjointable op- erators on HilbertC∗-modules, Linear Algebra Appl. 428 (2008), no. 4, 992–1000

    work page 2008

  28. [28]

    Q. Xu, Y. Wei and Y. Gu, Sharp norm estimations for Moore-Penrose inverses of stable perturbations of HilbertC∗-module operators, SIAM J. Numer. Anal. 47 (2010), 4735–4758

    work page 2010

  29. [29]

    Xu and G

    Q. Xu and G. Yan, Products of projections, polar decompositions and norms of differences of two projections, Bull. Iranian Math. Soc. 48 (2022), no. 1, 279–293

    work page 2022

  30. [30]

    Zhang, X

    X. Zhang, X. Tian and Q. Xu, The maximum operator distance from an idempotent to the set of projections, Linear Algebra Appl. 692 (2024), 62–70

    work page 2024

  31. [31]

    C. Zhao, Y. Fang and Y. Li, Some characterizations of the quasi- projection pairs and the matched projections, Banach J. Math. Anal. 19 (2025), no. 2, Paper No. 18. 59

    work page 2025