pith. sign in

arxiv: 2604.16041 · v1 · submitted 2026-04-17 · 🧮 math.FA · math.OA

Best approximants relative to a C^*-subalgebra, joint numerical range and subdifferentials

Tamara Bottazzi , Alejandro Varela This is my paper

Pith reviewed 2026-05-10 08:04 UTC · model grok-4.3

classification 🧮 math.FA math.OA
keywords C*-subalgebraHermitian matrixspectral normjoint numerical rangesubdifferentialmaximum eigenvalueB-minimalitymoment of subspace
0
0 comments X

The pith

A Hermitian matrix achieves minimal spectral norm relative to a C*-subalgebra precisely when the moment of its maximum-eigenvalue eigenspace lies inside the subdifferential of the maximum eigenvalue.

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

The paper generalizes the notion of the moment of a subspace to connect it with the joint numerical range and the subdifferentials of the largest eigenvalue. This generalization extends earlier characterizations of minimal approximants that were known only for the subalgebra of diagonal matrices to arbitrary C*-subalgebras inside M_n(C). A matrix A is minimal with respect to B when its spectral norm cannot be decreased by adding any element of B, and the authors show this property is equivalent to a condition on the generalized moment of the relevant eigenspace. The results supply an explicit description of the subdifferential of the maximum eigenvalue in terms of that moment and include concrete examples of the new characterization.

Core claim

We study the minimality of n by n Hermitian matrices A with respect to a C*-subalgebra B of M_n(C) in the spectral norm, that is the condition that the norm of A is less than or equal to the norm of A plus any element of B. We generalize the moment of a subspace and relate it to the joint numerical range and the subdifferentials of the maximum eigenvalue. We describe the subdifferential of the maximum eigenvalue in terms of the moment of the corresponding eigenspace, characterize B-minimality via moments and subdifferentials, and provide examples.

What carries the argument

The generalized moment of the eigenspace belonging to the maximum eigenvalue, which determines the subdifferential of the maximum eigenvalue and thereby decides B-minimality.

If this is right

  • The characterization recovers all previously known results when B is the algebra of diagonal matrices.
  • B-minimality holds if and only if the moment vector of the eigenspace belongs to the subdifferential of the maximum eigenvalue at A.
  • The joint numerical range supplies an explicit computational link between the moment and the subdifferential.
  • Examples in the paper illustrate how the moment condition detects or rules out minimality in low-dimensional cases.

Where Pith is reading between the lines

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

  • The link to the joint numerical range may permit verification of minimality by sampling directions rather than checking every element of B.
  • The same moment-subdifferential relation could be tested for other unitarily invariant norms or for operators on infinite-dimensional spaces.

Load-bearing premise

The generalized moment of the eigenspace fully determines the subdifferential of the maximum eigenvalue and thereby characterizes minimality for arbitrary C*-subalgebras without further restrictions on dimension or algebra structure.

What would settle it

A concrete Hermitian matrix A together with a C*-subalgebra B in which the moment of the maximum-eigenvalue eigenspace satisfies the stated inclusion in the subdifferential yet there still exists some B in the subalgebra making the spectral norm of A+B strictly smaller than the norm of A.

Figures

Figures reproduced from arXiv: 2604.16041 by Alejandro Varela, Tamara Bottazzi.

Figure 1
Figure 1. Figure 1: Moments in different basis of real diagonals of 3 [PITH_FULL_IMAGE:figures/full_fig_p021_1.png] view at source ↗
read the original abstract

We study the minimality of $n\times n$ Hermitian matrices $A$ respect to a $C^*$-subalgebra $\mathcal{B}$ of $M_n(\mathbb{C})$ in the spectral norm, that is \[\|A\|\leq \|A+B\|,\ \text{ for every } B\in \mathcal{B}.\] We generalize the notion of the moment of a subspace and relate it to the joint numerical range and the subdifferentials of the maximum eigenvalue. We extend results previously known for the subalgebra of diagonal operators and describe the subdifferential of the maximum eigenvalue in terms of the moment of the corresponding eigenspace. We also characterize $\mathcal{B}$-minimality via moments and subdifferentials, and provide examples.

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

2 major / 2 minor

Summary. The paper studies B-minimality of n×n Hermitian matrices A in the spectral norm relative to a C*-subalgebra B of M_n(C), i.e., ||A|| ≤ ||A+B|| for all B in B. It generalizes the moment of a subspace, relates this notion to the joint numerical range and subdifferentials of the maximum eigenvalue function λ_max, extends prior results known for the diagonal subalgebra, describes the subdifferential of λ_max in terms of the moment of the corresponding eigenspace, characterizes B-minimality via moments and subdifferentials, and supplies examples.

Significance. If the claimed characterizations hold for general (possibly non-commutative) C*-subalgebras, the work would usefully extend approximation theory and convex analysis in operator algebras by linking generalized moments, joint numerical ranges, and subdifferentials of λ_max. The explicit examples strengthen verifiability, and the extension beyond the diagonal case could inform related questions in numerical range theory and best-approximant problems.

major comments (2)
  1. [Main theorem on subdifferential description (section following the generalization of the moment)] The central extension asserts that the generalized moment of the eigenspace, together with the joint numerical range, fully determines the subdifferential of λ_max and thereby characterizes B-minimality for arbitrary C*-subalgebras B. This claim is load-bearing; however, when B is non-commutative the joint numerical range of the relevant projections may contain convex combinations not recoverable from the moment map alone, which would falsify the asserted equality between the subdifferential and the moment-derived set. The manuscript must supply an explicit verification (or counter-example discussion) that the moment extracts all supporting functionals without hidden dependence on commutativity or representation theory.
  2. [Section on B-minimality characterization] The characterization of B-minimality via moments and subdifferentials (stated in the abstract) is presented as a direct consequence of the subdifferential description. If the subdifferential equality fails for non-commutative B, this minimality characterization is also undermined. The proof should isolate the precise step where the moment is shown to capture the entire subdifferential set, with an explicit check against the definition of the joint numerical range.
minor comments (2)
  1. [Abstract] The abstract summarizes the claims but does not indicate the dimension restrictions or structural assumptions (if any) under which the extension from the diagonal case holds; adding one sentence on this point would improve clarity.
  2. [Introduction / preliminaries] Notation for the generalized moment and its relation to the joint numerical range should be introduced with a short display equation or diagram in the introductory section to aid readers unfamiliar with the diagonal case.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the thorough review and for raising these substantive points about the extension to non-commutative C*-subalgebras. We address each major comment below. We believe the stated characterizations hold in full generality, but we will add explicit verifications and clarifications to the proofs as requested.

read point-by-point responses

  1. Referee: [Main theorem on subdifferential description (section following the generalization of the moment)] The central extension asserts that the generalized moment of the eigenspace, together with the joint numerical range, fully determines the subdifferential of λ_max and thereby characterizes B-minimality for arbitrary C*-subalgebras B. This claim is load-bearing; however, when B is non-commutative the joint numerical range of the relevant projections may contain convex combinations not recoverable from the moment map alone, which would falsify the asserted equality between the subdifferential and the moment-derived set. The manuscript must supply an explicit verification (or counter-example discussion) that the moment extracts all supporting functionals without hidden dependence on commutativity or representation theory.

    Authors: We appreciate the referee's careful scrutiny of the load-bearing claim. In the proof of the subdifferential description, the generalized moment of the eigenspace is defined via the linear functionals induced by the trace on the projections, and the joint numerical range is the set of all such vector-state expectations. Convexity of the joint numerical range holds by the generalized Toeplitz-Hausdorff theorem for any finite set of Hermitian operators, without requiring commutativity. Any convex combination arising in the joint numerical range is recovered in the moment set by linearity of the trace; the argument invokes only the C*-algebra operations and the supporting-functional characterization of the subdifferential of λ_max. No representation-theoretic or commutativity assumptions beyond the given C*-subalgebra structure are used. We will revise the manuscript to insert an explicit paragraph isolating this verification and confirming that the equality between the subdifferential and the moment-derived set holds for non-commutative B. revision: partial

  2. Referee: [Section on B-minimality characterization] The characterization of B-minimality via moments and subdifferentials (stated in the abstract) is presented as a direct consequence of the subdifferential description. If the subdifferential equality fails for non-commutative B, this minimality characterization is also undermined. The proof should isolate the precise step where the moment is shown to capture the entire subdifferential set, with an explicit check against the definition of the joint numerical range.

    Authors: We agree that greater explicitness will strengthen the presentation. The B-minimality characterization follows because A is B-minimal if and only if the zero functional lies in the subdifferential of λ_max at A after quotienting by the annihilator of B; this equivalence is obtained once the subdifferential is identified with the moment set. In the proof, after applying the supporting-hyperplane theorem to equate the subdifferential with the convex hull of the moment, we invoke the definition of the joint numerical range to conclude that every supporting functional is realized by a vector state whose expectation lies in the moment. We will revise the relevant section to isolate this precise step, add a direct cross-reference to the joint numerical range definition, and include a short check confirming that the identification does not rely on commutativity of B. revision: partial

Circularity Check

0 steps flagged

No circularity: generalization of moment concept remains independent of inputs

full rationale

The provided abstract and description outline a generalization of the moment of a subspace, its relation to the joint numerical range, and a description of the subdifferential of the maximum eigenvalue function, followed by a characterization of B-minimality. These steps extend prior results for the diagonal subalgebra case using standard tools from operator theory and convex analysis. No equations, definitions, or self-citations are exhibited that reduce the central claims (e.g., the equality between the subdifferential and the moment-derived set) to the inputs by construction, fitted parameters renamed as predictions, or load-bearing self-referential uniqueness theorems. The derivation chain is therefore self-contained against external benchmarks in C*-algebra theory.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claims rest on standard properties of C*-algebras, the spectral norm, and the definition of a new generalized moment; no free parameters or invented entities are introduced in the abstract.

axioms (2)
  • standard math Standard properties of C*-subalgebras of M_n(C) and the spectral norm
    Invoked throughout the minimality definition and characterizations.
  • standard math Existence and basic properties of the joint numerical range and subdifferential of the maximum eigenvalue
    Used to relate the generalized moment to subdifferentials.

pith-pipeline@v0.9.0 · 5426 in / 1255 out tokens · 26667 ms · 2026-05-10T08:04:45.679367+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

19 extracted references · 19 canonical work pages

  1. [1]

    A characterization of minimal Hermitian matrices

    Andruchow, E., Larotonda, G., Recht, L., Varela, A. A characterization of minimal Hermitian matrices. Linear Algebra Appl., 436 (2012) 2366– 2374

    work page 2012

  2. [2]

    Minimal matrices and the corresponding mini- mal curves on flag manifolds in low dimension

    Andruchow, Esteban; Mata-Lorenzo, Luis E.; Mendoza, Alberto; Recht, L´ azaro; Varela, Alejandro. Minimal matrices and the corresponding mini- mal curves on flag manifolds in low dimension. Linear Algebra Appl. 430 (2009), no. 8-9, 1906–1928

    work page 2009

  3. [3]

    Bhattacharyya, Tirthankar; Grover, Priyanka.Characterization of Birkhoff-James orthogonality. J. Math. Anal. Appl. 407 (2013), no. 2, 350– 358. 23

    work page 2013

  4. [4]

    Birkhoff,Orthogonality in linear metric spaces, Duke Math

    G. Birkhoff,Orthogonality in linear metric spaces, Duke Math. J.1 (1935), 169–172

    work page 1935

  5. [5]

    Linear Algebra Appl

    Bottazzi, Tamara; Varela, Alejandro.Best approximation by diagonal compact operators. Linear Algebra Appl. 439 (2013), no. 10, 3044–3056

    work page 2013

  6. [6]

    620 (2021), 1–26

    Bottazzi, Tamara.Best approximation by diagonal operators in Schatten ideals.Linear Algebra Appl. 620 (2021), 1–26

    work page 2021

  7. [7]

    Bottazzi, Tamara; Varela, Alejandro.Minimal self-adjoint compact op- erators, moment of a subspace and joint numerical range.J. Math. Anal. Appl. 528 (2023), no. 2, Paper No. 127552, 22 pp

    work page 2023

  8. [8]

    Minimal compact operators, sub- differential of the maximum eigenvalue and semi-definite programming

    Bottazzi, Tamara; Varela, Alejandro. Minimal compact operators, sub- differential of the maximum eigenvalue and semi-definite programming. Linear Algebra Appl. 716 (2025), 1–31

    work page 2025

  9. [9]

    Mata-Lorenzo, and L´ azaro Recht

    Dur´ an, Carlos E., Luis E. Mata-Lorenzo, and L´ azaro Recht. Metric ge- ometry in homogeneous spaces of the unitary group of a C ˚-algebra: Part I-minimal curves. Advances in Mathematics 184.2 (2004): 342-366

    work page 2004

  10. [10]

    Linear Algebra Appl

    Grover, Priyanka.Orthogonality to matrix subspaces, and a distance for- mula. Linear Algebra Appl. 445 (2014), 280–288

    work page 2014

  11. [11]

    R. C. James,Orthogonality in normed linear spaces, Duke Math. J.12 (1945), 291–301

    work page 1945

  12. [12]

    H., Varela, A.Concrete minimal3ˆ3Hermitian matrices and some general cases

    Klobouk, A. H., Varela, A.Concrete minimal3ˆ3Hermitian matrices and some general cases. Demonstratio Mathematica 50.1 (2017): 330–350

    work page 2017

  13. [13]

    Moment of a subspace and joint numerical range

    Klobouk, Abel H., and Alejandro Varela. Moment of a subspace and joint numerical range. Linear and Multilinear Algebra 71.9 (2023): 1470- 1503

    work page 2023

  14. [14]

    Supports for minimal Hermitian matrices

    Mendoza, Alberto, L´ azaro Recht, and Alejandro Varela. Supports for minimal Hermitian matrices. Linear Algebra and its Applications 584 (2020): 458-482

    work page 2020

  15. [15]

    H.Optimization and nonsmooth analysis

    Clarke, F. H.Optimization and nonsmooth analysis. Second edition. Classics in Applied Mathematics, 5. Society for Industrial and Applied Mathematics (SIAM), Philadelphia, PA, 1990. xii, 308 pp

    work page 1990

  16. [16]

    Overton, Michael L.Large-scale optimization of eigenvalues. SIAM J. Optim. 2 (1992), no. 1, 88–120. 24

    work page 1992

  17. [17]

    A.Characterization of the subdifferential of some matrix norms

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

    work page 1992

  18. [18]

    Constructions of minimal Hermitian matrices related to a C*-subalgebra ofM npCq

    Zhang, Ying; Jiang, Lining; Han, Yongheng. Constructions of minimal Hermitian matrices related to a C*-subalgebra ofM npCq. Proceedings of the American Mathematical Society, 2023, vol. 151, no 01, p. 73-84

    work page 2023

  19. [19]

    Minimal Hermitian compact operators re- lated to a C*-subalgebra ofKpHq

    Zhang, Ying; Jiang, Lining. Minimal Hermitian compact operators re- lated to a C*-subalgebra ofKpHq. Journal of Mathematical Analysis and Applications, 2022, vol. 506, no 2, p. 125649. 25

    work page 2022