pith. sign in

arxiv: 1907.08274 · v1 · pith:RAIQBYE2new · submitted 2019-07-18 · 🧮 math.FA

Unitary operators with decomposable corners

Esteban Andruchow This is my paper

Pith reviewed 2026-05-24 19:14 UTC · model grok-4.3

classification 🧮 math.FA
keywords unitary operatorsingular value decompositionclosed subspacecorner operatorprojection geometrypairs of projectionsdecomposable cornersHilbert space
0
0 comments X

The pith

Unitary operators have decomposable corners onto a subspace exactly when the projections satisfy specific geometric relations.

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

The paper gives abstract characterizations of when the corner operator P_L0 U restricted to L0 admits a singular value decomposition, for a unitary U on a Hilbert space and closed subspace L0. It connects this property to the geometry of the projection onto L0 and to pairs of projections. A reader would care because the SVD condition is not automatic in infinite dimensions and controls how the unitary acts when restricted and projected back onto the subspace. Concrete examples illustrate the conditions and their consequences for operator behavior.

Core claim

The condition that P_L0 U |_{L0} has a singular value decomposition is characterized in abstract terms and shown to be equivalent to certain relations involving the geometry of the projection P_L0 and the pair of projections formed with its unitary conjugate.

What carries the argument

The corner operator P_L0 U restricted to L0, whose singular value decomposition defines when the corner is decomposable.

If this is right

  • The geometry of the projections P_L0 and U P_L0 U* fully determines whether the corner decomposes.
  • The subspace L0 and its image under U are linked through the singular values of the corner.
  • Concrete examples of unitaries and subspaces can be checked directly against the characterization.
  • Relations between pairs of projections translate into conditions on the existence of the SVD for the corner.

Where Pith is reading between the lines

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

  • The characterizations may allow explicit construction of invariant subspaces for unitaries that preserve certain spectral properties.
  • Similar conditions could be tested for non-unitary isometries or contractions to see if decomposability extends.
  • In applications the projection geometry test might replace direct SVD computation for large operators.

Load-bearing premise

The singular value decomposition of the corner operator is assumed to exist and be definable in infinite-dimensional spaces without extra compactness or finite-rank conditions.

What would settle it

An explicit pair (U, L0) in an infinite-dimensional Hilbert space where the corner operator fails to have an SVD despite the projection geometry conditions holding, or conversely where SVD exists but the geometric relations fail.

read the original abstract

We study pairs $(U,L_0)$, where $U$ is a unitary operator in $H$ and $L_0\subset H$ is a closed subspace, such that $$ P_{L_0}U|_{L_0}:L_0\to L_0 $$ has a singular value decomposition. Abstract characterizations of this condition are given, as well as relations to the geometry of projections and pairs of projections. Several concrete examples are examined.

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

0 major / 0 minor

Summary. The paper studies pairs (U, L_0) consisting of a unitary operator U on a Hilbert space H and a closed subspace L_0 such that the corner operator P_{L_0} U|_{L_0} : L_0 → L_0 admits a singular value decomposition. It supplies abstract characterizations of this condition, relates them to the geometry of projections and pairs of projections, and examines several concrete examples.

Significance. If the characterizations are valid, the work would contribute to operator theory by clarifying when corners of unitaries admit SVDs in general (possibly infinite-dimensional) Hilbert spaces and by connecting this property to projection geometry. The inclusion of concrete examples would help demonstrate the scope of the results.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their summary of the manuscript. The description accurately reflects the paper's focus on abstract characterizations of pairs (U, L_0) where the corner admits an SVD, together with connections to projection geometry and examples. No specific major comments were raised in the report.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper supplies abstract characterizations of the condition that P_{L0} U|_{L0} admits a singular value decomposition, framed as equivalent conditions together with geometric relations to projections. These are presented as logical equivalences in a general Hilbert-space setting, not as predictions derived from fitted parameters or self-referential definitions. No load-bearing self-citations, uniqueness theorems imported from prior author work, or ansatzes smuggled via citation appear in the provided abstract or description. The study includes concrete examples and remains self-contained against external benchmarks, with the central claims consisting of independent mathematical equivalences rather than reductions to the paper's own inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

No free parameters, axioms, or invented entities are identifiable from the abstract alone. The work appears to rest on standard Hilbert-space operator theory.

pith-pipeline@v0.9.0 · 5582 in / 990 out tokens · 19865 ms · 2026-05-24T19:14:58.430634+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

20 extracted references · 20 canonical work pages

  1. [1]

    Ando, Unbounded or bounded idempotent operators in Hi lbert space, Linear Algebra Appl

    T. Ando, Unbounded or bounded idempotent operators in Hi lbert space, Linear Algebra Appl. 438 (2013), 3769–3775

    work page 2013

  2. [2]

    Andruchow, Operators which are the difference of two pro jections, J

    E. Andruchow, Operators which are the difference of two pro jections, J. Math. Anal. Appl. 420 (2014), 1634–1653

    work page 2014

  3. [3]

    Andruchow, The Grassmann manifold of a Hilbert space, J

    E. Andruchow, The Grassmann manifold of a Hilbert space, J. Proceedings of the XIIth ”Dr. Antonio A. R. Monteiro” Congress , Univ. Nac. del Sur, Baha Blanca, 41–55, 2014

    work page 2014

  4. [4]

    Andruchow, E

    E. Andruchow, E. Chiumiento, and G. Larotonda, Geometri c significance of Toeplitz ker- nels, J. Funct. Anal. , 275 (2018), 329–355

    work page 2018

  5. [5]

    Andruchow and G

    E. Andruchow and G. Corach, Schmidt decomposable produc ts of projections, Integral Equations Operator Theory , 89 (2017), 557–580

    work page 2017

  6. [6]

    Andruchow and G

    E. Andruchow and G. Corach, Essentially orthogonal subs paces, J. Operator Theory , 79 (2018), 79–100

    work page 2018

  7. [7]

    Avron, R

    J. Avron, R. Seiler and B. Simon, The index of a pair of proj ections, J. Funct. Anal. 120 (1994), 220–237

    work page 1994

  8. [8]

    Buckholtz, Hilbert space idempotents and involution s, Proc

    D. Buckholtz, Hilbert space idempotents and involution s, Proc. Amer. Math. Soc. 128 (2000), 1415–1418

    work page 2000

  9. [9]

    Corach, H

    G. Corach, H. Porta, and L. Recht, The geometry of spaces o f projections in C ∗-algebras, Adv. Math., 101 (1993), 59–77

    work page 1993

  10. [10]

    Davis, Separation of two linear subspaces, Acta Sci

    C. Davis, Separation of two linear subspaces, Acta Sci. Math. Szeged , 19 (1958), 172–187

    work page 1958

  11. [11]

    G. B. Folland and A. Sitaram, The uncertainty principle : a mathematical survey, J. Fourier Anal. Appl. , 3 (1997), 207–238

    work page 1997

  12. [12]

    S. R. Garcia and W. T. Ross, Model spaces: a survey, In Invariant subspaces of the shift operator, volume 638 of Contemp. Math. , pages 197–245. Amer. Math. Soc., Providence, RI, 2015

    work page 2015

  13. [13]

    P. R. Halmos, Normal dilations and extensions of operat ors, Summa Brasil. Math., 2 (1950). 125–134

    work page 1950

  14. [14]

    P. R. Halmos, Two subspaces, Trans. Amer. Math. Soc. , 144 (1969), 381–389

    work page 1969

  15. [15]

    Hartman, On completely continuous Hankel matrices, Proc

    P. Hartman, On completely continuous Hankel matrices, Proc. Amer. Math. Soc., 9 (1958), 862–866

    work page 1958

  16. [16]

    Landau, Necessary density conditions for samplin g and interpolation of certain entire functions, Acta Math

    H.J. Landau, Necessary density conditions for samplin g and interpolation of certain entire functions, Acta Math. 117 (1967), 37–52

    work page 1967

  17. [17]

    Sz.-Nagy, C

    B. Sz.-Nagy, C. Foias, H. Bercovici and L. K´ erchy, Harmonic analysis of operators on Hilbert space. Second edition. Revised and enlarged edition. Universite xt. Springer, New York, 2010. 22

    work page 2010

  18. [18]

    Porta and L

    H. Porta and L. Recht, Minimality of geodesics in Grassm ann manifolds, Proc. Amer. Math. Soc. , 100 (1987), 464–466

    work page 1987

  19. [19]

    Schmidt, Zur Theorie der linearen und nichtlinearen Integralgleichungen, Math

    E. Schmidt, Zur Theorie der linearen und nichtlinearen Integralgleichungen, Math. Ann. , 63 (1907), 433–476

    work page 1907

  20. [20]

    Segal, G

    G. Segal, G. Wilson, Loop groups and equations of KdV typ e, Inst. Hautes ´Etudes Sci. Publ. Math. 61 (1985), 565. Esteban Andruchow Instituto de Ciencias, Universidad Nacional de Gral. Sarmi ento, J.M. Gutierrez 1150, (1613) Los Polvorines, Argentina and Instituto Argentino de Matem´ atica, ‘Alberto P. Calder´ on’, CONICET, Saavedra 15 3er. piso, (1083) ...

    work page 1985