Singular value functions for C\(^*\)-algebras

Naoto Fujitsu

arxiv: 2605.17235 · v1 · pith:EHDTHSAAnew · submitted 2026-05-17 · 🧮 math.FA · math.OA

Singular value functions for C\(^*\)-algebras

Naoto Fujitsu This is my paper

Pith reviewed 2026-05-19 23:09 UTC · model grok-4.3

classification 🧮 math.FA math.OA

keywords singular value functionsC*-algebrascompact operatorsgeneralized singular valuesoperator theoryfunctional analysisapproximation properties

0 comments

The pith

Singular value functions can be defined for arbitrary C*-algebras and retain the main analytic features of classical singular values for compact operators.

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

The paper sets out to define singular value functions on C*-algebras so that they extend the familiar singular values of compact operators on Hilbert space. If the definition works, analysts gain a single tool that applies both to concrete operators and to abstract algebraic structures. The work verifies that basic properties survive the extension and supplies examples on particular families of algebras. Readers in operator theory care because the move opens a route to study approximation, norms, and spectral behavior uniformly across a much larger setting.

Core claim

We introduce singular value functions for C*-algebras, generalizing the singular values of compact operators on Hilbert spaces. We also establish several fundamental properties of these singular value functions and present examples of singular value functions for certain classes of C*-algebras.

What carries the argument

Singular value functions, which map each element of the C*-algebra to a sequence or function that plays the role of singular values while satisfying the same ordering and approximation relations that hold for compact operators.

If this is right

The functions obey the same monotonicity and submultiplicativity relations that singular values satisfy for compact operators.
On commutative C*-algebras the new functions reduce exactly to the sequence of absolute values of the Gelfand transform.
Finite-dimensional matrix algebras recover the usual ordered list of singular values of the matrix.
The construction supplies a uniform way to define Schatten-type ideals inside general C*-algebras.

Where Pith is reading between the lines

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

The decay rate of these functions could serve as a new numerical invariant for comparing C*-algebras.
Results about compact-operator approximation might transfer directly to questions of finite-rank approximation in noncommutative geometry.
The same functions may give a concrete way to measure how far an element is from being invertible inside the algebra.

Load-bearing premise

A single definition of singular value functions exists that works uniformly for every C*-algebra and keeps the essential ordering, positivity, and approximation properties known for compact operators on Hilbert space.

What would settle it

A concrete C*-algebra together with an element for which no function can be assigned that simultaneously satisfies the min-max characterization, the relation to the spectrum, and the approximation-number inequalities that hold in the classical case.

read the original abstract

We introduce \textit{singular value functions} for C\(^*\)-algebras, generalizing the singular values of compact operators on Hilbert spaces. We also establish several fundamental properties of these singular value functions and present examples of singular value functions for certain classes of C\(^*\)-algebras.

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.

Desk Editor's Note private letter to a colleague

Fujitsu defines singular value functions intrinsically on C*-algebras, shows they recover the classical case on K(H), and verifies monotonicity plus continuity without extra assumptions.

read the letter

Hi, the main takeaway is that this paper defines singular value functions directly on C*-algebras in a way that generalizes the singular values of compact operators, and it checks that they satisfy the expected properties like monotonicity and continuity. The new part is the definition itself, which is given intrinsically from the C*-algebra operations in section 2. It does well by proving that this reduces to the standard singular values on K(H) without needing extra conditions such as nuclearity. The theorems on submultiplicativity and other properties follow from that setup, and the examples on commutative algebras and matrices illustrate how it works in concrete cases. The arguments appear consistent. There is no sign of internal contradictions or reliance on unstated assumptions. The proofs seem to be direct verifications rather than deep new techniques, which is appropriate for an introductory paper on a new object. A minor soft spot is that the paper focuses on establishing the basic properties and examples but does not yet explore broader applications or comparisons to other generalizations in the literature. That might limit immediate impact, but it is not a flaw in the current claims. This work is for researchers in functional analysis and operator algebras who are looking at ways to extend Hilbert space concepts to abstract C*-algebras. A reader who wants to see a careful definition and verification of properties will find it useful. It shows clear thinking by sticking to verifiable statements. I would recommend sending it for peer review. The idea is original enough and the execution is grounded to warrant referee input.

Referee Report

2 major / 2 minor

Summary. The paper introduces singular value functions for C*-algebras, generalizing the singular values of compact operators on Hilbert spaces. It defines these functions intrinsically via the C*-algebra structure in Section 2, proves recovery of the classical singular values on K(H) in Proposition 3.2, establishes monotonicity, submultiplicativity, and continuity properties in Theorems 3.4–3.7 without extra assumptions such as nuclearity, and supplies examples for commutative algebras and matrix algebras in Section 4.

Significance. If the central claims hold, this provides a new intrinsic tool extending classical operator theory to abstract C*-algebras. The recovery of the standard singular values on K(H) and the verification of key analytic properties without nuclearity or other restrictions are notable strengths, as is the intrinsic definition that avoids additional structure. This could support further work in noncommutative analysis.

major comments (2)

[§2] §2, Definition 2.1: The intrinsic definition of the singular value function is stated in terms of the C*-algebra operations, but the manuscript should explicitly verify that the function is uniquely determined by the axioms used (e.g., the spectral radius or positive elements) to ensure it is canonical rather than one of several possible extensions.
[Theorem 3.7] Theorem 3.7: The continuity property is established with respect to the norm topology on the algebra; however, the argument appears to use sequential compactness in a way that may require separate treatment for non-separable C*-algebras, which could affect the generality of the result.

minor comments (2)

[Section 4] Section 4: The examples for matrix algebras would be strengthened by including an explicit computation of the singular value function for a non-diagonal matrix to illustrate the definition in action.
[Introduction] Introduction: A short paragraph comparing the new singular value functions to existing notions such as the Cuntz semigroup or other spectral invariants in C*-algebra theory would better situate the contribution.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and positive assessment of our manuscript. The comments help clarify the presentation of the intrinsic definition and the scope of the continuity result. We respond to each major comment below and will incorporate the indicated revisions.

read point-by-point responses

Referee: [§2] §2, Definition 2.1: The intrinsic definition of the singular value function is stated in terms of the C*-algebra operations, but the manuscript should explicitly verify that the function is uniquely determined by the axioms used (e.g., the spectral radius or positive elements) to ensure it is canonical rather than one of several possible extensions.

Authors: We agree that an explicit uniqueness statement would reinforce the canonicity of the definition. In the revised manuscript we will insert a short remark immediately after Definition 2.1 showing that any function satisfying the stated axioms must coincide with the singular value function we introduce, using the uniqueness of the spectral radius on positive elements and the C*-algebra operations. revision: yes
Referee: [Theorem 3.7] Theorem 3.7: The continuity property is established with respect to the norm topology on the algebra; however, the argument appears to use sequential compactness in a way that may require separate treatment for non-separable C*-algebras, which could affect the generality of the result.

Authors: The proof of Theorem 3.7 proceeds from the definition via the continuity of the spectral radius and the monotonicity property already established in Theorem 3.4; it does not invoke sequential compactness. Nevertheless, to eliminate any ambiguity for non-separable algebras we will replace any sequential arguments with nets in the revised proof and add a clarifying sentence stating that the result holds for arbitrary C*-algebras. revision: partial

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper introduces singular value functions as a new intrinsic definition for C*-algebras in Section 2. It then proves recovery of the classical singular values on K(H) via Proposition 3.2 and verifies analytic properties (monotonicity, submultiplicativity, continuity) in Theorems 3.4–3.7 using standard C*-algebra arguments without fitted parameters, self-citations for load-bearing steps, or reductions to prior ansatzes. Examples in Section 4 further illustrate the definition. The derivation chain consists of definition followed by independent verification and is self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 1 invented entities

The contribution rests on the standard definition of C*-algebras and the classical theory of singular values for compact operators. No free parameters or new physical entities are introduced; the singular value function is a mathematical definition rather than a postulated object.

axioms (2)

domain assumption C*-algebras are norm-closed *-algebras satisfying the C*-identity.
The paper works inside the established category of C*-algebras.
standard math Singular values of compact operators on Hilbert space are already well-defined.
The generalization starts from this classical object.

invented entities (1)

singular value function no independent evidence
purpose: To extend the notion of singular values from compact operators to general C*-algebras.
It is introduced by definition in the paper.

pith-pipeline@v0.9.0 · 5553 in / 1204 out tokens · 32548 ms · 2026-05-19T23:09:58.431127+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

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

IndisputableMonolith/Cost/FunctionalEquation washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Definition 3.1: sg(a) := inf{∥a−ap∥ | p∈P(A),[p]0≤g} for g∈K0(A)+

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

18 extracted references · 18 canonical work pages

[1]

Extending states on preordered semigroups and the existence of quasitraces on

Blackadar, Bruce and R. Extending states on preordered semigroups and the existence of quasitraces on. J. Algebra , FJOURNAL =. 1992 , NUMBER =. doi:10.1016/0021-8693(92)90098-7 , URL =

work page doi:10.1016/0021-8693(92)90098-7 1992
[2]

Cuntz, Joachim , TITLE =. Math. Ann. , FJOURNAL =. 1978 , NUMBER =. doi:10.1007/BF01421922 , URL =

work page doi:10.1007/bf01421922 1978
[3]

and de Pagter, Ben and Sukochev, Fedor A

Dodds, Peter G. and de Pagter, Ben and Sukochev, Fedor A. , TITLE =. [2023] 2023 , PAGES =. doi:10.1007/978-3-031-49654-7 , URL =

work page doi:10.1007/978-3-031-49654-7 2023
[4]

and Handelman, David E

Effros, Edward G. and Handelman, David E. and Chao Liang Shen , TITLE =. Amer. J. Math. , FJOURNAL =. 1980 , NUMBER =. doi:10.2307/2374244 , URL =

work page doi:10.2307/2374244 1980
[5]

, TITLE =

Effros, Edward G. , TITLE =. 1981 , PAGES =

work page 1981
[6]

, TITLE =

Elliott, George A. , TITLE =. J. Algebra , FJOURNAL =. 1976 , NUMBER =. doi:10.1016/0021-8693(76)90242-8 , URL =

work page doi:10.1016/0021-8693(76)90242-8 1976
[7]

Fack, Thierry , TITLE =. J. Operator Theory , FJOURNAL =. 1982 , NUMBER =

work page 1982
[8]

Pacific J

Fack, Thierry and Kosaki, Hideki , TITLE =. Pacific J. Math. , FJOURNAL =. 1986 , NUMBER =

work page 1986
[9]

Fan, Ky , TITLE =. Proc. Nat. Acad. Sci. U.S.A. , FJOURNAL =. 1951 , PAGES =. doi:10.1073/pnas.37.11.760 , URL =

work page doi:10.1073/pnas.37.11.760 1951
[10]

Goodearl, K. R. and Handelman, D. , TITLE =. J. Pure Appl. Algebra , FJOURNAL =. 1976 , NUMBER =. doi:10.1016/0022-4049(76)90032-3 , URL =

work page doi:10.1016/0022-4049(76)90032-3 1976
[11]

Haagerup, Uffe , TITLE =. C. R. Math. Acad. Sci. Soc. R. Can. , FJOURNAL =. 2014 , NUMBER =

work page 2014
[12]

Non-simple purely infinite

Kirchberg, Eberhard and R. Non-simple purely infinite. Amer. J. Math. , FJOURNAL =. 2000 , NUMBER =

work page 2000
[13]

Murray, F. J. and Von Neumann, J. , TITLE =. Ann. of Math. (2) , FJOURNAL =. 1936 , NUMBER =. doi:10.2307/1968693 , URL =

work page doi:10.2307/1968693 1936
[14]

Ov. The. Funkcional. Anal. i Prilo zen. , FJOURNAL =. 1970 , NUMBER =

work page 1970
[15]

R. Stable. Operator algebras and applications , SERIES =. 2004 , ISBN =. doi:10.2969/aspm/03810177 , URL =

work page doi:10.2969/aspm/03810177 2004
[16]

An introduction to

R. An introduction to. 2000 , PAGES =

work page 2000
[17]

Sonis, M. G. , TITLE =. Mat. Sb. (N.S.) , FJOURNAL =. 1971 , PAGES =

work page 1971
[18]

, TITLE =

Thomsen, K. , TITLE =. Amer. J. Math. , FJOURNAL =. 1994 , NUMBER =. doi:10.2307/2374993 , URL =

work page doi:10.2307/2374993 1994

[1] [1]

Extending states on preordered semigroups and the existence of quasitraces on

Blackadar, Bruce and R. Extending states on preordered semigroups and the existence of quasitraces on. J. Algebra , FJOURNAL =. 1992 , NUMBER =. doi:10.1016/0021-8693(92)90098-7 , URL =

work page doi:10.1016/0021-8693(92)90098-7 1992

[2] [2]

Cuntz, Joachim , TITLE =. Math. Ann. , FJOURNAL =. 1978 , NUMBER =. doi:10.1007/BF01421922 , URL =

work page doi:10.1007/bf01421922 1978

[3] [3]

and de Pagter, Ben and Sukochev, Fedor A

Dodds, Peter G. and de Pagter, Ben and Sukochev, Fedor A. , TITLE =. [2023] 2023 , PAGES =. doi:10.1007/978-3-031-49654-7 , URL =

work page doi:10.1007/978-3-031-49654-7 2023

[4] [4]

and Handelman, David E

Effros, Edward G. and Handelman, David E. and Chao Liang Shen , TITLE =. Amer. J. Math. , FJOURNAL =. 1980 , NUMBER =. doi:10.2307/2374244 , URL =

work page doi:10.2307/2374244 1980

[5] [5]

, TITLE =

Effros, Edward G. , TITLE =. 1981 , PAGES =

work page 1981

[6] [6]

, TITLE =

Elliott, George A. , TITLE =. J. Algebra , FJOURNAL =. 1976 , NUMBER =. doi:10.1016/0021-8693(76)90242-8 , URL =

work page doi:10.1016/0021-8693(76)90242-8 1976

[7] [7]

Fack, Thierry , TITLE =. J. Operator Theory , FJOURNAL =. 1982 , NUMBER =

work page 1982

[8] [8]

Pacific J

Fack, Thierry and Kosaki, Hideki , TITLE =. Pacific J. Math. , FJOURNAL =. 1986 , NUMBER =

work page 1986

[9] [9]

Fan, Ky , TITLE =. Proc. Nat. Acad. Sci. U.S.A. , FJOURNAL =. 1951 , PAGES =. doi:10.1073/pnas.37.11.760 , URL =

work page doi:10.1073/pnas.37.11.760 1951

[10] [10]

Goodearl, K. R. and Handelman, D. , TITLE =. J. Pure Appl. Algebra , FJOURNAL =. 1976 , NUMBER =. doi:10.1016/0022-4049(76)90032-3 , URL =

work page doi:10.1016/0022-4049(76)90032-3 1976

[11] [11]

Haagerup, Uffe , TITLE =. C. R. Math. Acad. Sci. Soc. R. Can. , FJOURNAL =. 2014 , NUMBER =

work page 2014

[12] [12]

Non-simple purely infinite

Kirchberg, Eberhard and R. Non-simple purely infinite. Amer. J. Math. , FJOURNAL =. 2000 , NUMBER =

work page 2000

[13] [13]

Murray, F. J. and Von Neumann, J. , TITLE =. Ann. of Math. (2) , FJOURNAL =. 1936 , NUMBER =. doi:10.2307/1968693 , URL =

work page doi:10.2307/1968693 1936

[14] [14]

Ov. The. Funkcional. Anal. i Prilo zen. , FJOURNAL =. 1970 , NUMBER =

work page 1970

[15] [15]

R. Stable. Operator algebras and applications , SERIES =. 2004 , ISBN =. doi:10.2969/aspm/03810177 , URL =

work page doi:10.2969/aspm/03810177 2004

[16] [16]

An introduction to

R. An introduction to. 2000 , PAGES =

work page 2000

[17] [17]

Sonis, M. G. , TITLE =. Mat. Sb. (N.S.) , FJOURNAL =. 1971 , PAGES =

work page 1971

[18] [18]

, TITLE =

Thomsen, K. , TITLE =. Amer. J. Math. , FJOURNAL =. 1994 , NUMBER =. doi:10.2307/2374993 , URL =

work page doi:10.2307/2374993 1994