pith. sign in

arxiv: 2602.01463 · v3 · submitted 2026-02-01 · 🧮 math.FA

An operator triangle inequality for the quadratic symmetric modulus

Teng Zhang This is my paper

Pith reviewed 2026-05-16 08:17 UTC · model grok-4.3

classification 🧮 math.FA
keywords triangle inequalityquadratic symmetric modulusoperator modulusC*-algebrasThompson inequalityequality casesClarkson-McCarthy inequalities
0
0 comments X

The pith

The quadratic symmetric modulus satisfies a triangle inequality for operators.

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

The paper proves that the quadratic symmetric modulus of operators obeys a triangle inequality, extending a result Thompson obtained fifty years earlier for the right modulus. A sympathetic reader would care because this supplies a new relation for controlling sums of operators through their moduli, with direct consequences for norm estimates and inequalities in operator algebras. The work also identifies equality cases, treats the infinite-dimensional setting, derives Clarkson-McCarthy type inequalities for the same modulus, and resolves several open questions left by Bourin and Lee. All of this is carried out within the standard framework of bounded operators on Hilbert space or elements of C*-algebras.

Core claim

We establish a triangle inequality for the quadratic symmetric modulus. We also discuss the corresponding equality cases as well as the infinite-dimensional setting. In addition, we obtain Clarkson-McCarthy type inequalities for the quadratic symmetric modulus. Moreover, we answer several questions raised by Bourin and Lee.

What carries the argument

The quadratic symmetric modulus of an operator, the positive quantity that symmetrizes the left and right moduli in a quadratic fashion.

If this is right

  • Equality cases hold under commutativity or alignment conditions between the operators.
  • The inequality remains valid for operators on infinite-dimensional Hilbert spaces.
  • Clarkson-McCarthy inequalities hold when the quadratic symmetric modulus replaces the usual modulus.
  • Open questions posed by Bourin and Lee receive affirmative answers within the same setting.

Where Pith is reading between the lines

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

  • The result suggests parallel triangle inequalities may exist for other quadratic or symmetric functions of operators.
  • It supplies a concrete tool for deriving new bounds on operator sums that appear in perturbation or stability problems.
  • Equality-case descriptions could be used to characterize when two operators achieve extremal behavior under this modulus.

Load-bearing premise

The operators belong to a setting such as bounded operators on Hilbert space or a C*-algebra where the quadratic symmetric modulus is defined and the triangle inequality is meaningful.

What would settle it

Any pair of operators A and B for which the quadratic symmetric modulus of A plus B strictly exceeds the sum of the individual moduli would disprove the claimed inequality.

read the original abstract

50 years after Thompson's famous triangle inequality for the operator right modulus, we establish a triangle inequality for the quadratic symmetric modulus. We also discuss the corresponding equality cases as well as the infinite-dimensional setting. In addition, we obtain Clarkson--McCarthy type inequalities for the quadratic symmetric modulus. Moreover, we answer several questions raised by Bourin and Lee in [\emph{Bull. Lond. Math. Soc.} \textbf{44} (2012), no.~6, 1085--1102] and [\emph{Internat. J. Math.} \textbf{31} (2026), no.~6, 2650018].

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 paper establishes a triangle inequality for the quadratic symmetric modulus of operators in C*-algebras and B(H), extending Thompson's 50-year-old inequality for the right modulus. It reduces the new inequality to Thompson's via an identity relating the quadratic form to the right modulus, characterizes equality cases using simultaneous diagonalizability (including strong-operator topology limits in infinite dimensions), derives Clarkson-McCarthy type inequalities, and resolves several questions from Bourin and Lee (2012, 2026).

Significance. If the derivation holds, the result supplies a natural companion inequality to Thompson's, with direct applications to operator norms and moduli. The explicit reduction to a known inequality, the equality-case analysis valid in both finite and infinite dimensions, and the resolution of prior open questions constitute clear strengths; the work is a targeted, falsifiable advance in operator inequalities.

minor comments (2)
  1. [§3] §3, after Eq. (3.2): the reduction step invoking Thompson's inequality would benefit from an explicit one-line reminder of the precise form of Thompson's result being used, to aid readers unfamiliar with the 1970s literature.
  2. [§5] §5, Theorem 5.3: the statement of the Clarkson-McCarthy inequality for the quadratic symmetric modulus is clear, but the proof sketch omits the constant factor; inserting the explicit constant (even if 1) would remove any ambiguity.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive evaluation of our manuscript and for recommending minor revision. The referee's summary correctly identifies the core contribution—an extension of Thompson's triangle inequality to the quadratic symmetric modulus, together with equality cases valid in both finite and infinite dimensions and the resolution of several questions posed by Bourin and Lee. No specific major comments were raised in the report.

Circularity Check

0 steps flagged

No significant circularity; derivation reduces to prior Thompson inequality via explicit identity

full rationale

The manuscript defines the quadratic symmetric modulus explicitly in the C*-algebra/B(H) setting and derives the triangle inequality by algebraic reduction to Thompson's established inequality for the right modulus, using a direct identity relating the quadratic form. Equality cases follow from simultaneous diagonalizability, valid in finite and infinite dimensions via strong-operator topology. No self-definitional loops, fitted inputs renamed as predictions, or load-bearing self-citations appear; the central claim rests on independent prior results and explicit algebraic steps rather than circular reduction to its own inputs. The work is self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Based on abstract only; no free parameters, axioms, or invented entities are specified. The result relies on standard background from operator theory.

pith-pipeline@v0.9.0 · 5390 in / 874 out tokens · 28155 ms · 2026-05-16T08:17:15.841228+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

22 extracted references · 22 canonical work pages

  1. [1]

    C. A. Akemann, J. Anderson, and G. K. Pedersen, Triangle inequalities in operator algebras,Linear and Multilinear Algebra11(1982), no. 2, 167–178. doi:10.1080/03081088208817440

    work page doi:10.1080/03081088208817440 1982

  2. [2]

    Ando and T

    T. Ando and T. Hayashi, A characterization of the operator-valued triangle equality,J. Operator Theory 58(2007), no. 2, 463–468.https://www.jstor.org/stable/24715802

    work page arXiv 2007

  3. [3]

    J. S. Aujla and J.-C. Bourin, Eigenvalue inequalities for convex and log-convex functions,Linear Algebra Appl.424(2007), 25–35. doi:10.1016/j.laa.2006.02.027

    work page doi:10.1016/j.laa.2006.02.027 2007

  4. [4]

    Bhatia and J

    R. Bhatia and J. A. R. Holbrook, On the Clarkson–McCarthy inequalities,Math. Ann.281(1988), 7–12. doi:10.1007/BF01449211 TRIANGLE INEQUALITY FOR THE QUADRATIC SYMMETRIC MODULUS 37

    work page doi:10.1007/bf01449211 1988

  5. [5]

    Bhatia and F

    R. Bhatia and F. Kittaneh, Clarkson inequalities with several operators,Bull. Lond. Math. Soc.36(2004), 820–832. doi:10.1112/S0024609304003467

    work page doi:10.1112/s0024609304003467 2004

  6. [6]

    Bourin, T

    J.-C. Bourin, T. Harada, and E.-Y. Lee, Subadditivity inequalities for compact operators,Canad. Math. Bull.57(2014), no. 1, 25–36. doi:10.4153/CMB-2012-009-9

    work page doi:10.4153/cmb-2012-009-9 2014

  7. [7]

    Bourin and E.-Y

    J.-C. Bourin and E.-Y. Lee, Unitary orbits of Hermitian operators with convex or concave functions,Bull. Lond. Math. Soc.44(2012), no. 6, 1085–1102. doi:10.1112/blms/bds080

    work page doi:10.1112/blms/bds080 2012

  8. [8]

    Bourin and E.-Y

    J.-C. Bourin and E.-Y. Lee, Clarkson–McCarthy inequalities with unitary and isometry orbits,Linear Algebra Appl.601(2020), 170–179. doi:10.1016/j.laa.2020.04.019

    work page doi:10.1016/j.laa.2020.04.019 2020

  9. [9]

    Bourin and E.-Y

    J.-C. Bourin and E.-Y. Lee, A Pythagorean theorem for partitioned matrices,Proc. Amer. Math. Soc.152 (2024), no. 10, 4075–4086. doi:10.1090/proc/15677

    work page doi:10.1090/proc/15677 2024

  10. [10]

    Bourin and E.-Y

    J.-C. Bourin and E.-Y. Lee, Matrix parallelogram laws and symmetric moduli,Internat. J. Math.31 (2026), no. 6, 2650018. doi:10.1142/S0129167X26500187

    work page doi:10.1142/s0129167x26500187 2026

  11. [11]

    Bourin and E.-Y

    J.-C. Bourin and E.-Y. Lee, Triangle inequalities for the operator symmetric modulus, preprint, arXiv:2602.19607

    work page arXiv

  12. [12]

    Bourin and M

    J.-C. Bourin and M. Uchiyama, A matrix subadditivity inequality forf(A+B)andf(A) +f(B),Linear Algebra Appl.423(2007), no. 2–3, 512–518. doi:10.1016/j.laa.2007.02.019

    work page doi:10.1016/j.laa.2007.02.019 2007

  13. [13]

    Hirzallah and F

    O. Hirzallah and F. Kittaneh, Non-commutative Clarkson inequalities forn-tuples of operators,Integral Equations Operator Theory60(2008), 369–379. doi:10.1007/s00020-008-1565-x

    work page doi:10.1007/s00020-008-1565-x 2008

  14. [14]

    Lee, How to compare the absolute values of operator sums and the sums of absolute values?,Oper

    E.-Y. Lee, How to compare the absolute values of operator sums and the sums of absolute values?,Oper. Matrices6(2012), no. 3, 613–619. doi:10.7153/oam-06-42

    work page doi:10.7153/oam-06-42 2012

  15. [15]

    C. A. McCarthy,cp,Israel J. Math.5(1967), 249–271. doi:10.1007/BF02771613

    work page doi:10.1007/bf02771613 1967

  16. [16]

    R. C. Thompson, Convex and concave functions of singular values of matrix sums,Pacific J. Math.66 (1976), no. 1, 285–290. doi:10.2140/pjm.1976.66.285

    work page doi:10.2140/pjm.1976.66.285 1976

  17. [17]

    R. C. Thompson, Matrix type metric inequalities,Linear and Multilinear Algebra5(1977/78), 303–319. doi:10.1080/03081087808817211

    work page doi:10.1080/03081087808817211 1977

  18. [18]

    R. C. Thompson, The case of equality in the matrix-valued triangle inequality,Pacific J. Math.82(1979), no. 1, 279–280. doi:10.2140/pjm.1979.82.279

    work page doi:10.2140/pjm.1979.82.279 1979

  19. [19]

    Zhang, Clarkson–McCarthy type inequalities, part I:ℓp–ℓp andℓ q–ℓp Schattenp-estimates, preprint, arXiv:2410.21961v4

    T. Zhang, Clarkson–McCarthy type inequalities, part I:ℓp–ℓp andℓ q–ℓp Schattenp-estimates, preprint, arXiv:2410.21961v4

    work page arXiv

  20. [20]

    Zhang, Proof of Audenaert–Kittaneh’s conjecture,Israel J

    T. Zhang, Proof of Audenaert–Kittaneh’s conjecture,Israel J. Math.(2025), published online 11 December

    work page 2025

  21. [21]

    doi:10.1007/s11856-025-2890-3

    work page doi:10.1007/s11856-025-2890-3

  22. [22]

    Zhang, Operator symmetric moduli and sharp triangle inequalities, preprint, arXiv:2603.01046

    T. Zhang, Operator symmetric moduli and sharp triangle inequalities, preprint, arXiv:2603.01046. School of Mathematics and Statistics, Xi’an Jiaotong University, Xi’an 710049, P. R. China Email address:teng.zhang@stu.xjtu.edu.cn

    work page arXiv