arxiv: 2605.08096 · v1 · submitted 2026-04-14 · 🧮 math.RA · math.FA· math.OA

Recognition: 2 theorem links

· Lean Theorem

Additive preservers of mutual strong Birkhoff-James orthogonality on finite-dimensional C^ast-algebras

Bojan Kuzma, Srdjan Stefanovi\'c

Pith reviewed 2026-05-12 01:05 UTC · model grok-4.3

classification 🧮 math.RA math.FAmath.OA

keywords additive preserversBirkhoff-James orthogonalityC*-algebrasfinite-dimensionalsingularity preservationmatrix algebrasmutual orthogonality

0 comments

The pith

Additive surjections on finite-dimensional C*-algebras that preserve mutual strong Birkhoff-James orthogonality in one direction are classified.

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 classify additive surjective maps on finite-dimensional C*-algebras that preserve mutual strong Birkhoff-James orthogonality in one direction. It achieves this by first characterizing additive surjections on direct sums of matrix algebras that preserve singularity in one direction. A sympathetic reader would care because these preservers connect the norm geometry of the algebra, captured by orthogonality, to its algebraic invertibility structure. This link offers a route to understanding which maps maintain the geometric relations without needing full linearity or other stronger assumptions.

Core claim

We describe additive surjections on direct sum of matrix algebras that preserve singularity in one direction. As an application, we classify additive surjections on finite-dimensional C*-algebras that preserve mutual strong Birkhoff-James orthogonality in one direction.

What carries the argument

Singularity preservation in one direction on direct sums of matrix algebras, which reduces the problem of orthogonality preservation to a description of maps that send non-invertible elements to non-invertible elements.

If this is right

Preservation of the orthogonality relation in one direction forces the map to preserve singularity in one direction.
The classification applies uniformly to every finite-dimensional C*-algebra through its standard direct-sum decomposition into matrix blocks.
The resulting maps are completely determined once their action on singular elements is fixed under the additivity and surjectivity hypotheses.

Where Pith is reading between the lines

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

The same reduction technique could be tested on maps that preserve other geometric relations such as numerical-radius orthogonality.
Removing surjectivity might still allow a partial classification if one adds continuity or positivity assumptions.
The result suggests checking whether similar singularity-based arguments classify preservers of strong orthogonality on infinite-dimensional operator algebras.

Load-bearing premise

The maps are additive and surjective on finite-dimensional C*-algebras, which decompose as direct sums of matrix algebras.

What would settle it

An explicit additive surjective map on M_2(C) ⊕ M_2(C) that preserves mutual strong Birkhoff-James orthogonality in one direction but fails to preserve singularity in one direction would disprove the reduction.

read the original abstract

We describe additive surjections on direct sum of matrix algebras that preserve singularity in one direction. As an application, we classify additive surjections on finite-dimensional $C^\ast$-algebras that preserve mutual strong Birkhoff-James orthogonality in one direction.

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

The paper classifies additive surjections preserving mutual strong Birkhoff-James orthogonality on finite-dimensional C*-algebras by first handling singularity preservation on direct sums of matrix algebras.

read the letter

This paper classifies additive surjections on finite-dimensional C*-algebras that preserve mutual strong Birkhoff-James orthogonality in one direction. The main move is to first describe additive surjections on direct sums of matrix algebras that preserve singularity in one direction, then apply that description to the orthogonality problem. The finite-dimensional assumption lets them use the standard decomposition into matrix blocks, which keeps the argument direct. The reduction looks clean and builds on familiar techniques from preserver problems in operator algebras. The abstract presents the singularity result as the core step and the orthogonality classification as the application, which is a reasonable way to organize the work. Additivity and surjectivity are standard hypotheses here, and the one-sided preservation condition is a common choice that still produces explicit classifications. The approach shows clear engagement with the relevant literature on Birkhoff-James orthogonality and linear maps. The main soft spot is that the full proofs are not visible in the abstract, so it is hard to check how precisely the singularity condition translates to the orthogonality relation or whether any edge cases in the matrix sum case carry over without extra assumptions. Nothing in the outline points to a load-bearing flaw or circularity. This work is aimed at specialists in linear preserver problems and orthogonality relations on C*-algebras. A reader already working in that niche would find the explicit classification useful as another concrete result. It is grounded enough to deserve peer review, even if the proofs need tightening in places.

Referee Report

0 major / 1 minor

Summary. The paper first characterizes additive surjections on direct sums of matrix algebras that preserve singularity in one direction. It then applies this characterization to classify additive surjections on finite-dimensional C*-algebras that preserve mutual strong Birkhoff-James orthogonality in one direction.

Significance. If the derivations hold, the work adds to the literature on additive preservers in operator algebras by linking singularity preservation on matrix sums to a specific orthogonality notion on C*-algebras. The two-step reduction (singularity on sums to BJ-orthogonality on C*-algebras) is a standard technique in preserver problems and could be reusable.

minor comments (1)

The abstract refers to 'mutual strong Birkhoff-James orthogonality' without a self-contained definition or reference to the precise relation used; a short preliminary section recalling the definition would improve readability.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for reviewing our manuscript and for providing an accurate summary of its contents and approach. We are pleased that the potential reusability of the two-step reduction technique is noted.

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

The paper establishes a classification of additive surjections preserving singularity in one direction on direct sums of matrix algebras, then applies this classification to obtain the result for additive surjections preserving mutual strong Birkhoff-James orthogonality in one direction on finite-dimensional C*-algebras. The derivation chain is presented as an internal two-step argument within the manuscript, relying on the standard decomposition of finite-dimensional C*-algebras into matrix algebras and the given assumptions of additivity and surjectivity. No step reduces by construction to a self-definition, a fitted input renamed as prediction, or a load-bearing self-citation whose justification is absent; the singularity classification is developed as part of the present work rather than presupposed without independent content.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The claim rests on the standard structure theorem for finite-dimensional C*-algebras and the assumption that the maps are additive and surjective.

axioms (2)

standard math Finite-dimensional C*-algebras are direct sums of full matrix algebras over the complex numbers.
This is the Artin-Wedderburn structure theorem for finite-dimensional C*-algebras, invoked implicitly by the abstract's application step.
domain assumption The maps considered are additive and surjective.
The abstract explicitly restricts to additive surjections.

pith-pipeline@v0.9.0 · 5339 in / 1311 out tokens · 74884 ms · 2026-05-12T01:05:04.690456+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

24 extracted references · 24 canonical work pages

[1]

Bhatia and P

R. Bhatia and P. Šemrl. Orthogonality of matrices and some distance problems.Linear Al- gebra Appl., 287:77–85, 1999

work page 1999
[2]

Birkhoff

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

work page 1935
[3]

Blanco and A

A. Blanco and A. Turnšek. On maps that preserve orthogonality in normed spaces.Proc. R. Soc. Edinb. A, 136(4):709–716, 2006

work page 2006
[4]

Fošner and P

A. Fošner and P. Šemrl. Additive maps on matrix algebras preserving invertibility or singu- larity.Acta Math Sinica, 21:681–684, 2005

work page 2005
[5]

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

work page 1945
[6]

R. C. James. Inner products in normed linear spaces.Bull. Amer. Math. Soc., 53:559–566, 1947

work page 1947
[7]

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

work page 1947
[8]

D. J. Kečkić and S. Stefanović. Isolated vertices and diameter of theBJ-orthograph inC∗- algebras.J. Math. Anal. Appl., 528(1):127476, 2023

work page 2023
[9]

B. Kuzma. Additive mappings decreasing rank one.Linear Algebra Appl., 348:175–187, 2002

work page 2002
[10]

Kuzma, S

B. Kuzma, S. Stefanović, and Tanaka. On preservers of strong Birkhoff-James orthogonality betweenC ∗-algebras. arXiv:2510.24308v1

work page arXiv
[11]

L.Li, S.Liu, andA.M.Peralta.Additiveorthogonalitypreservingmappingsbetweencomplex inner product spaces.Linear Algebra Appl., 710:448–457, 2025

work page 2025
[12]

L. Li, S. Liu, and A. M. Peralta. An algebraic characterization of linearity for additive maps preserving orthogonality.Ann. Funct. Anal., 16(62), 2025

work page 2025
[13]

M.-H. Lim. A note on additive mappings decreasing rank one.Linear Algebra Appl., 414:428– 434, 2006

work page 2006
[14]

M.-H. Lim. Additive preservers of non-zero decomposable tensors.Linear Algebra Appl., 428(1):239–253, 2008

work page 2008
[15]

Arambašić, A

Lj. Arambašić, A. Guterman, B. Kuzma, R. Rajić, and S. Zhilina. Orthograph related to mu- tual strong Birkhoff-James orthogonality inC∗-algebras.Banach J. Math. Anal., 14(4):1751– 1772, 2020

work page 2020
[16]

Arambašić, A

Lj. Arambašić, A. Guterman, B. Kuzma, R. Rajić, and S. Zhilina. Operators preserving mutual strong Birkhoff–James orthogonality onB(H).Linear Algebra Appl., 624:27–43, 2021

work page 2021
[17]

Arambašić and R

Lj. Arambašić and R. Rajić. A strong version of the Birkhoff-James orthogonality in Hilbert C∗-modules.Ann. Funct. Anal., 5(1):109–120, 2014

work page 2014
[18]

Arambašić and R

Lj. Arambašić and R. Rajić. Operators preserving the strong Birkhoff-James orthogonality onB(H).Linear Algebra Appl., 471:394–404, 2015

work page 2015
[19]

B. Magajna. On the distance to finite-dimensional subspaces in operator algebras.J. Lond. Math. Soc., s2-47(3):516–532, 1993

work page 1993
[20]

Oman.Characterizations of inner product spaces

J. Oman.Characterizations of inner product spaces. PhD thesis, Michigan State University, Michigan, MI, 1969

work page 1969
[21]

M.OmladičandP.Šemrl.Additivemappingspreservingoperatorsofrankone.Linear Algebra Appl., 182:239–256, 1993

work page 1993
[22]

J. G. Stampfli. The norm of a derivation.Pacific J. Math., 33(3):737–747, 1970

work page 1970
[23]

Stefanović

S. Stefanović. Diameter of theBJ-orthograph in finite-dimensionalC∗-algebras.Linear and Multilinear Algebra, 73(4):718–728, 2025

work page 2025
[24]

P. Wójcik. Mappings preservingB-orthogonality.Indag. Math., 30(1):197–200, 2018. 14 BOJAN KUZMA AND SRDJAN STEF ANOVIĆ University of Primorska, Glagoljaška 8, SI-6000 Koper, Slovenia, and Institute of Mathematics, Physics, and Mechanics, Jadranska 19, SI-1000 Ljubljana, Slovenia Email address:bojan.kuzma@upr.si University of Belgrade, F aculty of Mathemat...

work page 2018