arxiv: 2605.07564 · v1 · submitted 2026-05-08 · 🧮 math.FA · math.OA

Recognition: 2 theorem links

· Lean Theorem

Schur bounded patterns and submajorisation

Dmitriy Zanin, Edward McDonald, Fedor Sukochev

Pith reviewed 2026-05-11 03:18 UTC · model grok-4.3

classification 🧮 math.FA math.OA

keywords Schur bounded patternssubmajorisationcompact operatorsSchatten idealsoperator idealsfunctional analysisideal closure

0 comments

The pith

Schur bounded patterns identify which ideals of compact operators fail to close under submajorisation, including all Schatten ideals C_p for 0 < p < 1.

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

The paper establishes a direct correspondence between the Schur bounded patterns of an ideal of compact operators and whether that ideal is closed under submajorisation. It shows this correspondence explicitly for the Schatten ideals C_p when p is between 0 and 1, which turn out not to be closed. A sympathetic reader cares because the patterns provide a concrete way to detect or rule out closure without checking every pair of operators directly. The converse direction shows that the patterns alone can classify an ideal as non-closed. The argument rests on existing definitions of patterns and submajorisation and applies them to produce the two-way characterisation.

Core claim

We characterise the Schur bounded patterns of ideals of compact operators that are not closed under submajorisation, in particular the Schatten ideals C_p with 0<p<1. Conversely we characterise the ideals that are not closed under submajorisation by their Schur bounded patterns.

What carries the argument

Schur bounded patterns of an ideal, which encode the ideal's behaviour with respect to submajorisation and thereby detect closure failure.

If this is right

Schatten ideals C_p for 0 < p < 1 possess Schur bounded patterns that mark them as not closed under submajorisation.
Any ideal whose Schur bounded pattern coincides with those of the non-closed Schatten classes is likewise not closed.
The patterns supply a complete invariant for deciding submajorisation closure across all ideals of compact operators.
Conversely, knowing that an ideal fails closure immediately determines the form of its Schur bounded pattern.

Where Pith is reading between the lines

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

The characterisation may allow quick checks of closure for other concrete ideals by computing only their patterns rather than testing operator pairs.
It raises the question of whether similar pattern-based tests exist for related structures such as non-commutative L_p spaces or symmetric operator spaces.
Matrix approximations to the Schatten cases could be used to verify the pattern criterion computationally for small dimensions.

Load-bearing premise

The standard definitions and properties of Schur bounded patterns, submajorisation, and ideals of compact operators hold without additional restrictions.

What would settle it

A concrete ideal of compact operators whose Schur bounded pattern matches that of the non-closed Schatten C_p (p<1) yet is itself closed under submajorisation, or an ideal whose pattern differs from the non-closed case yet fails closure.

read the original abstract

We characterise the Schur bounded patterns of ideals of compact operators that are not closed under submajorisation, in particular the Schatten ideals $\mathcal{C}_p$ with $0<p<1.$ Conversely we characterise the ideals that are not closed under submajorisation by their Schur bounded patterns.

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

This paper sets out a clean bidirectional characterization tying Schur bounded patterns to ideals of compact operators that fail to close under submajorisation.

read the letter

The main thing to know is that McDonald, Sukochev and Zanin have written down equivalences that identify the Schur bounded patterns belonging to ideals not closed under submajorisation, with the Schatten classes C_p for 0 < p < 1 as the concrete case, and they also recover the ideals from their patterns in the other direction. The statement is precise and stays inside the usual definitions of the area. That makes the link between the two notions explicit rather than implicit. The paper does a straightforward job of organising the distinction without adding new technical machinery or extra hypotheses. Readers who already track symmetric ideals and majorisation will see the two sides of the characterisation line up neatly. The limitation is the narrow scope. The work classifies behaviour inside an established subfield but does not supply new methods or reach questions outside the immediate setting of compact operator ideals. The proofs appear to rest on standard facts about submajorisation and Schur multipliers, so the advance is mainly in the exact formulation of the equivalences. This note is for people already working on operator ideals and noncommutative majorisation. A reader who needs to check or compare specific ideals will get immediate use from the stated characterisations. It is worth sending to referees because the claim is concrete, the area is active, and a tidy result of this kind should be checked and recorded in the literature. I would recommend peer review.

Referee Report

0 major / 3 minor

Summary. The manuscript characterises the Schur bounded patterns of ideals of compact operators that fail to be closed under submajorisation, with explicit attention to the Schatten ideals C_p for 0 < p < 1; it also supplies the converse characterisation of such ideals in terms of their Schur bounded patterns.

Significance. The two-way characterisation links Schur boundedness directly to the failure of submajorisation closure for symmetric operator ideals. This supplies a concrete classification tool for the non-closed case (exemplified by C_p, p<1) that is not available from the existing literature on symmetric norms and majorisation, and it does so while remaining within the standard axiomatic framework of compact-operator ideals.

minor comments (3)

[§1] §1: the opening paragraph introduces Schur bounded patterns without recalling the precise definition used in the paper; a one-sentence reminder would help readers who are not specialists in the area.
[Theorem 3.2] Theorem 3.2 (or the main characterisation theorem): the statement that the pattern determines the ideal up to submajorisation closure is clear, but the proof sketch does not explicitly record where the assumption 0<p<1 is used; adding a short remark would make the dependence transparent.
[Preliminaries] Notation: the symbol C_p is used both for the ideal and for its norm; a brief clarification in the preliminaries would avoid any momentary ambiguity.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of our manuscript and the recommendation for minor revision. We are pleased that the two-way characterisation is viewed as supplying a useful classification tool within the standard framework of symmetric operator ideals.

Circularity Check

0 steps flagged

No significant circularity; pure characterisation on external definitions

full rationale

The paper is a two-way characterisation result linking Schur bounded patterns to symmetric ideals of compact operators that fail closure under submajorisation (with C_p for 0<p<1 as example). It relies on standard definitions and properties of Schur bounded patterns, submajorisation, and operator ideals from the existing literature, without any fitted parameters, self-definitional loops, or load-bearing self-citations that reduce the central claims to the paper's own inputs. No derivation step equates a prediction or uniqueness claim to a prior fit or ansatz by construction. This is the expected outcome for a characterisation theorem in functional analysis.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Only the abstract is available, so the ledger reflects typical background assumptions in the area rather than paper-specific details.

axioms (1)

domain assumption Standard definitions and closure properties of ideals of compact operators and the notion of submajorisation on singular value sequences hold as in the prior literature.
The characterisation is stated in terms of these established concepts.

pith-pipeline@v0.9.0 · 5330 in / 1225 out tokens · 39656 ms · 2026-05-11T03:18:57.910344+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

20 extracted references · 20 canonical work pages

[1]

M. S. Braverman and A. A. Mekler,The Hardy-Littlewood property for symmetric spaces, Sibirsk. Mat. ˇZ.18 (1977), no. 3, 522–540, 717

work page 1977
[2]

Cadilhac, F

L. Cadilhac, F. Sukochev, D. Zanin,Lorentz-Shimogaki and Arazy-Cwikel theorems revisited,Pacific J. Math. 328(2024), no. 2, 227–254

work page 2024
[3]

Calder` on,Spaces betweenL 1 andL ∞ and the theorem of Marcinkiewicz, Studia Math.26(1966), 273–299

A.-P. Calder` on,Spaces betweenL 1 andL ∞ and the theorem of Marcinkiewicz, Studia Math.26(1966), 273–299

work page 1966
[4]

K. R. Davidson and A. P. Donsig,Norms of Schur multipliers, Illinois J. Math.51(2007), no. 3, 743–766

work page 2007
[5]

Dodds, T.K

P.G. Dodds, T.K. Dodds, B. de Pagter, BenFully symmetric operator spaces,Integral Equations Operator Theory15(1992), no. 6, 942–972

work page 1992
[6]

P. G. Dodds, B. de Pagter, F. A. Sukochev,Noncommutative integration and operator theory. Progress in Mathematics,349. Birkh¨ auser, Cham, 2023

work page 2023
[7]

Gohberg, M

I. Gohberg, M. Krein,Introduction to the theory of linear nonselfadjoint operators.Translations of Mathemat- ical Monographs, Vol. 18 American Mathematical Society, Providence, R.I. 1969

work page 1969
[8]

Gohberg, M

I. Gohberg, M. Krein,Theory and applications of Volterra operators in Hilbert space.Translations of Mathe- matical Monographs, Vol. 24 American Mathematical Society, Providence, R.I. 1970

work page 1970
[9]

N. J. Kalton, N. T. Peck and J. W. Roberts,AnF-space sampler, London Mathematical Society Lecture Note Series, 89, Cambridge Univ. Press, Cambridge, 1984

work page 1984
[10]

N. J. Kalton, F. SukochevSymmetric norms and spaces of operators.J. Reine Angew. Math.621(2008), 81–121

work page 2008
[11]

V. G. Kaftal and G. Weiss,An infinite dimensional Schur-Horn theorem and majorization theory, J. Funct. Anal.259(2010), no. 12, 3115–3162

work page 2010
[12]

S. Lord, F. A. Sukochev and D. Zanin,Singular traces. Vol. 1. Theory, 2nd edition, De Gruyter Studies in Mathematics, 46/1, De Gruyter, Berlin, 2021

work page 2021
[13]

B. S. Mityagin,An interpolation theorem for modular spacesMat. Sb. (N.S.)66(108):4 (1965), 473–482

work page 1965
[14]

L. N. Nikolskaya and Y. B. Farforovskaya,Toeplitz and Hankel matrices as Hadamard-Schur multipliers, Algebra i Analiz15(2003), 141–160

work page 2003
[15]

G. I. Russu,Intermediate symmetrically normed ideals, Funkcional. Anal. i Priloˇ zen.3(1969), no. 2, 94–95

work page 1969
[16]

G. I. Russu,The Hardy-Littlewood property in symmetrically normed ideals, and its connection with the majorization property, Mat. Issled. No. 45 (1977), 144–162, 183. 6 SCHUR BOUNDED PATTERNS AND SUBMAJORISATION

work page 1977
[17]

Schatten.Norm ideals of completely continuous operators,Ergebn

R. Schatten.Norm ideals of completely continuous operators,Ergebn. Math. Grenzgeb. N. F.27, Springer- Verlag, Berlin 1960

work page 1960
[18]

Sedaev, E

A. Sedaev, E. Semenov, F. Sukochev,Fully symmetric function spaces without an equivalent Fatou norm. Positivity19(2015), no. 3, 419–437

work page 2015
[19]

SimonTrace ideals and their applications.Second edition

B. SimonTrace ideals and their applications.Second edition. Mathematical Surveys and Monographs, 120. American Mathematical Society, Providence, RI, 2005

work page 2005
[20]

Zhang,Matrix theory, second edition, Universitext, Springer, New York, 2011

F. Zhang,Matrix theory, second edition, Universitext, Springer, New York, 2011. Edward McDonald, Mathematisches Institut, Universit ¨at Bonn, Germany Email address:eamcd92@gmail.com Fedor Sukochev, School of Mathematics and Statistics, University of New South W ales, Australia Email address:f.sukochev@unsw.edu.au Dmitriy Zanin, School of Mathematics and S...

work page 2011