pith. sign in

arxiv: 2505.06925 · v4 · pith:4A3QWVNInew · submitted 2025-05-11 · 🧮 math.FA

Subdifferential of the mathcal{B(H,K)} norm, and approximate orthogonality

Priyanka Grover , Krishna Kumar Gupta , Susmita Seal This is my paper

Pith reviewed 2026-05-25 08:00 UTC · model grok-4.3

classification 🧮 math.FA
keywords subdifferentialoperator normBirkhoff orthogonalityapproximate orthogonalityHilbert space operatorsGâteaux derivativecompact operators
0
0 comments X

The pith

The right-hand derivative of the B(H,K) norm is given by an expression that generalizes the equal-space case, yielding the subdifferential and characterizations of approximate orthogonality.

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

The paper derives an explicit formula for the right-hand derivative of the operator norm on bounded linear maps between two Hilbert spaces H and K. This formula extends an earlier result that assumed H equals K. The derivative expression is then used to describe the subdifferential of the norm. The work also gives a condition for zero to be the closest point in a subspace generated by operator tuples and introduces a notion of approximate Birkhoff orthogonality characterized by the subdifferential. Special consequences are derived when the operator is compact.

Core claim

An expression for the right hand derivative of the B(H,K) norm is presented that generalizes the result for K=H, from which the subdifferential of the B(H,K) norm is obtained. For tuples of operators, 0 is characterized as a best approximation to the subspace C^d X. The concept of ε-Birkhoff orthogonality to a subspace is defined in a general normed space and characterized using the subdifferential, leading to results for compact operators in B(H,K).

What carries the argument

The right-hand derivative of the B(H,K) norm, which serves as the basis for computing the subdifferential set.

If this is right

  • The subdifferential of the B(H,K) norm can be explicitly described for any Hilbert spaces H and K.
  • A distance formula or best approximation condition holds for tuples of operators A and X.
  • ε-Birkhoff orthogonality to subspaces in B(H,K) admits a subdifferential characterization.
  • Compact operators satisfy specific ε-orthogonality conditions to subspaces.

Where Pith is reading between the lines

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

  • These results may simplify numerical checks for orthogonality in infinite-dimensional operator spaces.
  • The generalization suggests similar extensions are possible for other norms on operator algebras.
  • Applications could include stability analysis in perturbation theory for non-square operators.

Load-bearing premise

The identities and techniques developed for the case when the two Hilbert spaces are the same carry over directly when the spaces are different.

What would settle it

A specific pair of distinct Hilbert spaces H and K together with an operator A where the computed right-hand derivative does not match the actual directional derivative of the norm.

read the original abstract

We present an expression for the right hand derivative of the $\mathcal{B(H,K)}$ norm generalizing the result for $\mathcal{K}=\mathcal{H}$ in [D. J. Ke$\check{\mathrm{c}}$ki$\grave{\mathrm{c}}$, Gateaux derivative of $B(H)$ norm, Proc. Amer. Math. Soc. 133 (2005): 2061--2067]. Using this, we obtain the subdifferential of the $\mathcal{B(H, K)}$ norm. For tuples of operators $\mathbf{A},\mathbf{X}\in$ $\mathcal{B(H, H}^d)$, we give a characterization for $\boldsymbol 0$ to be a best approximation to the subspace $\mathbb C^d \mathbf{X}$, generalizing a similar result for $\mathbb C^d \mathbf{I}$ in [P. Grover, S. Singla, A distance formula for tuples of operators, Linear Algebra Appl. 650 (2022): 267--285]. We define the concept of $\epsilon$-Birkhoff orthogonality to a subspace in a general normed space and derive a characterization in terms of the subdifferential set. Using this, we deduce interesting results for $A\in \mathcal{B(H,K)}$ to be $\epsilon$-Birkhoff orthogonal to a subspace of $\mathcal{B(H,K)}$, when $A$ is compact.

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 / 2 minor

Summary. The manuscript derives an expression for the right-hand derivative of the operator norm on B(H,K) between (possibly distinct) Hilbert spaces H and K, generalizing the K=H case from Kečkić (2005). It obtains the subdifferential from this expression. For tuples of operators it characterizes when the zero tuple is a best approximation to the subspace generated by C^d X, generalizing Grover-Singla (2022). It introduces ε-Birkhoff orthogonality in a general normed space, gives a subdifferential characterization, and deduces consequences when the operator is compact.

Significance. If the derivations are correct, the work supplies a direct, usable extension of Gâteaux derivative and subdifferential formulas to the B(H,K) setting, which is a natural next step after the equal-space case. The applications to best-approximation problems for operator tuples and the new ε-Birkhoff orthogonality notion with its subdifferential link provide concrete tools that can be applied in approximation theory and operator-space geometry. Explicit generalization of two cited results and the focus on compact operators are positive features.

minor comments (2)
  1. [Abstract] The notation B(H, H^d) for tuples should be defined explicitly at first use (including the role of d) to avoid any ambiguity for readers unfamiliar with the Grover-Singla reference.
  2. [Section 2] A brief remark after the main derivative formula would help the reader see precisely which steps from Kečkić (2005) carry over unchanged when the codomain is K ≠ H.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive evaluation of the manuscript, the recognition of its contributions as a natural extension of prior work, and the recommendation to accept.

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

The paper's central results consist of a generalization of the right-hand derivative formula and subdifferential from the external reference Kečkić 2005 (for K=H) to the case of distinct Hilbert spaces H and K, followed by applications to ε-Birkhoff orthogonality and best approximation that follow from standard subdifferential properties. These steps rely on carrying over supporting identities involving adjoints and supporting functionals, which are not defined in terms of the target quantities inside the paper. The secondary generalization from Grover & Singla 2022 is likewise an external citation. No equation reduces by construction to a fitted input, self-definition, or self-citation chain; the derivations remain independent mathematical extensions supported by the cited external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The paper operates entirely within the standard axiomatic framework of Hilbert spaces and bounded operators; no new entities or fitted parameters are introduced.

axioms (1)
  • standard math H and K are complex Hilbert spaces and B(H,K) denotes the Banach space of bounded linear operators from H to K equipped with the operator norm.
    This is the ambient setting stated in the abstract and is presupposed by all cited prior results.

pith-pipeline@v0.9.0 · 5783 in / 1264 out tokens · 38021 ms · 2026-05-25T08:00:05.073838+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

35 extracted references · 35 canonical work pages

  1. [1]

    Altwaijry, J

    N. Altwaijry, J. Chmieli ´ nski, C. Conde, K. Feki,Approximate orthogonality and its applications to specific classes of linear operators, Bull. Sci. Math.202(2025): Paper No. 103645, 29 pp

    work page 2025

  2. [2]

    Bhattacharyya, P

    T. Bhattacharyya, P . Grover,Characterization of Birkhoff–James orthogonality, J. Math. Anal. Appl.407 (2013): 350–358

    work page 2013

  3. [3]

    Birkhoff,Orthogonality in linear metric spaces, Duke Math

    G. Birkhoff,Orthogonality in linear metric spaces, Duke Math. J.1(1935): 169–172. 12 P . GROVER, K. K. GUPTA, S. SEAL

    work page 1935

  4. [4]

    Bottazzi, A

    T. Bottazzi, A. Varela,Minimal compact operators, subdifferential of the maximum eigenvalue and semi- definite programming, Linear Algebra Appl.716(2025): 1–31

    work page 2025

  5. [5]

    Chmieli ´ nski,On anϵ-Birkhoff Orthogonality, J

    J. Chmieli ´ nski,On anϵ-Birkhoff Orthogonality, J. Inequal. Pure Appl. Math.6(2005): Article 79, 7 pp

    work page 2005

  6. [7]

    Ding,Variational Analysis of the Ky Fan k-normSet-Valued Var

    C. Ding,Variational Analysis of the Ky Fan k-normSet-Valued Var. Anal25(2017): 265–296

    work page 2017

  7. [8]

    S. S. Dragomir,On approximation of continuous linear functionals in normed linear spaces, An. Univ. Tim- i¸ soara Ser. ¸ Stiin¸ t. Mat.29(1991): 51–58

    work page 1991

  8. [9]

    S. M. Enderami, M. Abtahi, A. Zamani, P . Wójcik,An orthogonality relation in complex normed spaces based on norm derivatives, Linear Multilinear Algebra72(2024): 687–705

    work page 2024

  9. [10]

    Grover,Some problems in differential and subdifferential calculus of matrices, Ph

    P . Grover,Some problems in differential and subdifferential calculus of matrices, Ph. D Thesis, Indian Sta- tistical Institute (2014)

    work page 2014

  10. [11]

    Grover,Orthogonality to matrix subspaces, and a distance formula, Linear Algebra Appl.445(2014): 280–288

    P . Grover,Orthogonality to matrix subspaces, and a distance formula, Linear Algebra Appl.445(2014): 280–288

    work page 2014

  11. [12]

    Grover,Orthogonality of matrices in the Ky Fan k-norms, Linear Multilinear Algebra65(2017): 496– 509

    P . Grover,Orthogonality of matrices in the Ky Fan k-norms, Linear Multilinear Algebra65(2017): 496– 509

    work page 2017

  12. [13]

    Grover, S

    P . Grover, S. Singla,A distance formula for tuples of operators, Linear Algebra Appl.650(2022): 267–285

    work page 2022

  13. [14]

    Grover, S

    P . Grover, S. Singla,Subdifferential set of the joint numerical radius of a tuple of matrices, Linear Multilinear Algebra71(2023): 2709–2718

    work page 2023

  14. [15]

    Grover, S

    P . Grover, S. Singla,Birkhoff–James orthogonality and applications: a survey, Oper. Theory Adv. Appl., Birkhäuser Basel,282, (2020): 293–315

    work page 2020

  15. [16]

    J. B. Hiriart-Urruty, C. Lemaréchal,Fundamentals of convex analysis, Springer-Verlag, Berlin Heidelberg (2001)

    work page 2001

  16. [17]

    R. C. James,Orthogonality and linear functionals in normed linear spaces, Trans. Amer. Math. Soc.61 (1947): 265–292

    work page 1947

  17. [18]

    D. J. Ke ˇcki`c,Gateaux derivative of B(H)norm, Proc. Amer. Math. Soc.133(2005): 2061–2067

    work page 2005

  18. [19]

    Khurana, D

    D. Khurana, D. Sain,Norm derivatives and geometry of bilinear operators, Ann. Funct. Anal.12(2021): Paper No. 49, 19 pp

    work page 2021

  19. [20]

    A. Mal, K. Paul,Birkhoff-James orthogonality to a subspace of operators defined between Banach spaces, J. Operator Theory85(2021): 463–474

    work page 2021

  20. [21]

    Mishra,First order sensitivity analysis of symplectic eigenvalues, Linear Algebra Appl.604(2020): 324–345

    H.K. Mishra,First order sensitivity analysis of symplectic eigenvalues, Linear Algebra Appl.604(2020): 324–345

    work page 2020

  21. [22]

    K. Paul, D. Sain, A. Mal,Approximate Birkhoff–James orthogonality in the space of bounded linear operators, Linear Algebra Appl.537(2018): 348–357

    work page 2018

  22. [23]

    T. S. S. R. K. Rao,Subdifferential set of an operator, Monatsh. Math.199(2022): 891–898

    work page 2022

  23. [24]

    Sain,Orthogonality and smoothness induced by the norm derivatives, Rev

    D. Sain,Orthogonality and smoothness induced by the norm derivatives, Rev. R. Acad. Cienc. Exactas Fís. Nat., Ser. A Mat.115(2021): Paper No. 120, 10 pp

    work page 2021

  24. [25]

    Sain,On norm derivatives and the ball-covering property of Banach spaces, J

    D. Sain,On norm derivatives and the ball-covering property of Banach spaces, J. Math. Anal. Appl.541 (2025): Paper No. 128738, 9 pp

    work page 2025

  25. [26]

    Singer,Best Approximation in Normed Linear Spaces by Elements of Linear Subspaces, Springer-Verlag, Berlin (1970)

    I. Singer,Best Approximation in Normed Linear Spaces by Elements of Linear Subspaces, Springer-Verlag, Berlin (1970)

    work page 1970

  26. [27]

    Singla,Gateaux derivative of C ∗-norm, Linear Algebra Appl.629(2021): 208–218

    S. Singla,Gateaux derivative of C ∗-norm, Linear Algebra Appl.629(2021): 208–218

    work page 2021

  27. [28]

    G. A. Watson,Characterization of the subdifferential of some matrix norms, Linear Algebra Appl.170 (1992): 33–45

    work page 1992

  28. [29]

    G. A. Watson,On matrix approximation problems with Ky Fan k norms, Numer. Algorithms5(1993): 263–272

    work page 1993

  29. [30]

    Wójcik,Gateaux derivative of the norm in K(X;Y), Ann

    P . Wójcik,Gateaux derivative of the norm in K(X;Y), Ann. Funct. Anal.7(2016): 678–685

    work page 2016

  30. [31]

    Chmieli ´ nski, T

    J. Chmieli ´ nski, T. Stypuła, P . Wójcik,Approximate orthogonality in normed spaces and its applications, Linear Algebra Appl.531(2017): 305–317

    work page 2017

  31. [32]

    Wójcik,Approximate orthogonality in normed spaces and its applications II, Linear Algebra Appl.632 (2022): 258–267

    P . Wójcik,Approximate orthogonality in normed spaces and its applications II, Linear Algebra Appl.632 (2022): 258–267

    work page 2022

  32. [33]

    Zi˛ etak,On the characterization of the extremal points of the unit sphere of matrices, Linear Algebra Appl

    K. Zi˛ etak,On the characterization of the extremal points of the unit sphere of matrices, Linear Algebra Appl. 106(1988): 57–75

    work page 1988

  33. [34]

    Zi˛ etak,Properties of linear approximations of matrices in the spectral norm, Linear Algebra Appl.183 (1993): 41–60

    K. Zi˛ etak,Properties of linear approximations of matrices in the spectral norm, Linear Algebra Appl.183 (1993): 41–60

    work page 1993

  34. [35]

    Zi˛ etak,Subdifferentials, faces, and dual matrices, Linear Algebra Appl.185(1993): 125–141

    K. Zi˛ etak,Subdifferentials, faces, and dual matrices, Linear Algebra Appl.185(1993): 125–141. SUBDIFFERENTIAL OFB(H,K)NORM, AND APPROXIMATE ORTHOGONALITY 13

    work page 1993

  35. [36]

    Zi˛ etak,From the strict Chebyshev approximant of a vector to the strict spectral approximant of a matrix, Warsaw : Banach Center Publ., 112 Polish Acad

    K. Zi˛ etak,From the strict Chebyshev approximant of a vector to the strict spectral approximant of a matrix, Warsaw : Banach Center Publ., 112 Polish Acad. Sci. Inst. Math. (2017). 1 PRIYANKAGROVER, DEPARTMENT OFMATHEMATICS, SHIVNADARINSTITUTION OFEMINENCEDELHI NCR, NH-91, TEHSILDADRI, UTTARPRADESH201314, INDIA Email address:priyanka.grover@snu.edu.in 2 ...

    work page 2017