pith. sign in

arxiv: 2604.22488 · v1 · submitted 2026-04-24 · 🧮 math.FA

Remarks on infimum and maximal lower bounds of a set of bounded self-adjoint operators

Matthias G\"unther , Lutz Klotz This is my paper

Pith reviewed 2026-05-08 09:20 UTC · model grok-4.3

classification 🧮 math.FA
keywords infimummaximal lower boundsself-adjoint operatorsKadison's theoremweak operator topologycommuting operatorspositive matricesHermitian matrices
0
0 comments X

The pith

Kadison's theorem on infima of self-adjoint operator sets extends to countable weak-operator compact collections.

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

The paper generalizes the study of infima and maximal lower bounds from pairs of bounded self-adjoint operators to arbitrary nonempty sets bounded from below. It proves that the infimum exists for any such set that is additionally countable and compact in the weak operator topology. Related results establish the existence of a greatest commuting lower bound when the operators commute and extend the existence of a greatest positive lower bound from pairs to arbitrary finite collections of positive matrices.

Core claim

Kadison's theorem on the existence of the infimum of a two-element set is proved for a countable and weak-operator compact set M. The set of all lower bounds of M commuting with all elements of M possesses the greatest element if M is a set of pairwise commuting operators. The theorem of Moreland and Gudder on the existence of the greatest positive lower bound of a set of two positive matrices is extended to an arbitrary finite set of positive matrices. Stott's results on the structure of the set of maximal lower bounds of a finite set of Hermitian matrices are partially generalized.

What carries the argument

The infimum of a set of bounded self-adjoint operators, whose existence is guaranteed by countability and weak-operator compactness for sets bounded from below.

If this is right

  • Kadison's infimum exists for any countable weak-operator compact set of bounded self-adjoint operators that is bounded from below.
  • A set of pairwise commuting operators has a greatest lower bound among those that commute with every member of the set.
  • Any finite collection of positive matrices possesses a greatest positive lower bound.
  • The structure of maximal lower bounds for finite sets of Hermitian matrices admits partial generalizations beyond the original finite-dimensional setting.

Where Pith is reading between the lines

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

  • The compactness assumption suggests that infima of larger sets might be recovered as limits of infima over countable dense subsets in applications.
  • The commuting lower bound result may simplify calculations in von Neumann algebras generated by the set.
  • Extensions to nets rather than countable sets would require replacing weak-operator compactness with a different compactness notion such as ultraweak compactness.

Load-bearing premise

The set of operators must be countable and compact in the weak operator topology, in addition to being nonempty and bounded from below.

What would settle it

A countable weak-operator compact set of bounded self-adjoint operators that is bounded from below but possesses no infimum would disprove the claimed extension of Kadison's theorem.

read the original abstract

The notions of infimum and maximal lower bounds of a set $\mathfrak M$ of bounded self-adjoint operators were mainly studied for a set $\mathfrak M$ of two elements. The present paper deals with more general sets $\mathfrak M$, where it is required that $\mathfrak M$ is nonempty and bounded from below. Kadison's theorem on the existence of the infimum of a two-element set is proved for a countable and weak-operator compact set $\mathfrak M$. Stott's recent results on the structure of the set of maximal lower bounds of a finite set of Hermitian matrices are discussed and partially generalized. We are also concerned with the greatest lower bound and maximal lower bounds under certain restrictions. It is shown that the set of all lower bounds of $\mathfrak M$ commuting with all elements of $\mathfrak M$ possesses the greatest element if $\mathfrak M$ is a set of pairwise commuting operators. The theorem of Moreland and Gudder on the existence of the greatest positive lower bound of a set of two positive matrices is extended to an arbitrary finite set of positive matrices.

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 / 3 minor

Summary. The manuscript extends classical results on infima and maximal lower bounds of sets of bounded self-adjoint operators beyond the two-element case. It proves Kadison's theorem on the existence of the infimum for nonempty sets that are bounded from below, countable, and weak-operator compact. It partially generalizes Stott's results on the structure of maximal lower bounds for finite sets of Hermitian matrices, shows that the commuting lower bounds possess a greatest element when the original operators pairwise commute, and extends the Moreland-Gudder theorem on the greatest positive lower bound from two positive matrices to arbitrary finite sets of positive matrices.

Significance. If the stated proofs hold, the work supplies useful, explicitly conditioned extensions of known theorems in operator theory. The countability and WOT-compactness hypotheses are stated transparently, avoiding over-claim. Providing proofs together with partial generalizations of recent results (Stott, Moreland-Gudder) is a concrete strength that increases the paper's utility for researchers working with infinite families of operators under compactness assumptions.

minor comments (3)
  1. [Abstract] Abstract: the phrase 'partially generalize' Stott's results is used without indicating which structural features are retained and which are dropped; a single clarifying sentence would improve readability.
  2. The definition of weak-operator compactness for the set M is invoked in the main theorem but not recalled or referenced in the introduction; adding a brief reminder or citation to the relevant topology would aid readers.
  3. Notation: the symbol for the set of all lower bounds commuting with M is introduced late; defining it at the first appearance would reduce backtracking.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the careful reading, positive assessment of the significance, and recommendation for minor revision. No specific major comments were listed in the report.

Circularity Check

0 steps flagged

No significant circularity; explicit extensions of prior independent theorems

full rationale

The paper extends Kadison's two-element infimum theorem to countable WOT-compact sets bounded from below, discusses and partially generalizes Stott's results on maximal lower bounds for finite Hermitian matrices, and extends Moreland-Gudder on greatest positive lower bounds to finite positive matrices. All steps cite external prior results (Kadison, Stott, Moreland-Gudder) with added transparent hypotheses; no equations or definitions reduce claimed results to the paper's own fitted quantities or self-referential inputs. No self-citation chains, ansatzes smuggled via citation, or renamings of known results as new derivations appear. The derivation chain remains self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claims rest entirely on standard axioms of Hilbert-space operator theory and the order structure of self-adjoint operators; no free parameters, ad-hoc constants, or new postulated entities are introduced.

axioms (2)
  • standard math Bounded self-adjoint operators on a Hilbert space form a partially ordered set under the usual operator order.
    Invoked throughout when defining infima and lower bounds.
  • standard math The weak operator topology is a standard topology on the space of bounded operators.
    Used to state the compactness hypothesis for the countable-set extension.

pith-pipeline@v0.9.0 · 5491 in / 1197 out tokens · 67632 ms · 2026-05-08T09:20:44.608684+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

31 extracted references · 1 canonical work pages

  1. [1]

    Albert,Conditions for positive and nonnegative definiteness in terms of pseudoinverses, SIAM J

    A. Albert,Conditions for positive and nonnegative definiteness in terms of pseudoinverses, SIAM J. Appl. Math.17(1969), 434–440

    1969

  2. [2]

    W . N. Anderson, Jr.,Shorted operators, SIAM J. Appl. Math.20(1971), 520–525

    1971

  3. [3]

    W . N. Anderson, Jr. and G. E. Trapp,Shorted operators. II, SIAM J. Appl. Math.28(1975), 60–71

    1975

  4. [4]

    Ando,Problem of infimum in the positive cone, Analytic and geometric inequalities and ap- plications, Math

    T. Ando,Problem of infimum in the positive cone, Analytic and geometric inequalities and ap- plications, Math. Appl., vol. 478, Kluwer Acad. Publ., Dordrecht, 1999, pp. 1–12

    1999

  5. [5]

    Zhang, ed.), Springer US, Boston, MA, 2005, pp

    ,Schur complements and matrix inequalities: Operator-theoretic approach, The Schur Complement and Its Applications (F. Zhang, ed.), Springer US, Boston, MA, 2005, pp. 137–162

    2005

  6. [6]

    Aslanov,Existence of the minimum and maximum of two self-adjoint operators, Math

    A. Aslanov,Existence of the minimum and maximum of two self-adjoint operators, Math. Balkanica (N.S.)19(2005), no. 3-4, 255–265

    2005

  7. [7]

    T. Y. Azizov and I. S. Iokhvidov,Linear operators in spaces with an indefinite metric, Pure and Applied Mathematics (New York), John Wiley & Sons, Ltd., Chichester, 1989, Translated from the Russian by E. R. Dawson, A Wiley-Interscience Publication

    1989

  8. [8]

    Bhatia,Matrix analysis, Graduate Texts in Mathematics, vol

    R. Bhatia,Matrix analysis, Graduate Texts in Mathematics, vol. 169, Springer-Verlag, New York, 1997

    1997

  9. [9]

    Bognár,Indefinite inner product spaces, Ergebnisse der Mathematik und ihrer Grenzgebi- ete [Results in Mathematics and Related Areas], vol

    J. Bognár,Indefinite inner product spaces, Ergebnisse der Mathematik und ihrer Grenzgebi- ete [Results in Mathematics and Related Areas], vol. Band 78, Springer-Verlag, New York- Heidelberg, 1974

    1974

  10. [10]

    Dixmier,Von Neumann algebras, french ed., North-Holland Mathematical Library, vol

    J. Dixmier,Von Neumann algebras, french ed., North-Holland Mathematical Library, vol. 27, North-Holland Publishing Co., Amsterdam-New York, 1981, With a preface by E. C. Lance

    1981

  11. [11]

    R. G. Douglas,On majorization, factorization, and range inclusion of operators on Hilbert space, Proc. Amer. Math. Soc.17(1966), 413–415

    1966

  12. [12]

    P. A. Fillmore and J. P. Williams,On operator ranges, Advances in Math.7(1971), 254–281

    1971

  13. [13]

    Gaubert and N

    S. Gaubert and N. Stott,Tropical Kraus maps for optimal control of switched systems, 2017 IEEE 56th Annual Conference on Decision and Control (CDC) (2017), 1330–1337

    2017

  14. [14]

    A note on the infimum problem of Hilbert space effects

    A. Gheondea,Comment on: “A note on the infimum problem of Hilbert space effects” [J. Math. Phys.47(2006), no. 10, 102103, 9 pp.; mr2268849] by L. Yuan and H. K. Du, J. Math. Phys.48 (2007), no. 11, 112109, 2

    2006

  15. [15]

    Gheondea, S

    A. Gheondea, S. Gudder, and P. Jonas,On the infimum of quantum effects, J. Math. Phys.46 (2005), no. 6, 062102, 11

    2005

  16. [16]

    R. A. Horn and C. R. Johnson,Matrix analysis, second ed., Cambridge University Press, Cam- bridge, 2013

    2013

  17. [17]

    R. V . Kadison,Order properties of bounded self-adjoint operators, Proc. Amer. Math. Soc.2 (1951), 505–510

    1951

  18. [18]

    R. V . Kadison and J. R. Ringrose,Fundamentals of the theory of operator algebras. Vol. I, Pure and Applied Mathematics, vol. 100, Academic Press, Inc. [Harcourt Brace Jovanovich, Pub- lishers], New York, 1983, Elementary theory

    1983

  19. [19]

    Klotz,The maximalJ-regular part of a𝑞-variate weakly stationary process, Probab

    L. Klotz,The maximalJ-regular part of a𝑞-variate weakly stationary process, Probab. Math. Statist.22(2002), no. 1, 155–165

    2002

  20. [20]

    Kosaki,Remarks on Lebesgue-type decomposition of positive operators, J

    H. Kosaki,Remarks on Lebesgue-type decomposition of positive operators, J. Operator Theory11 (1984), no. 1, 137–143

    1984

  21. [21]

    Moreland and S

    T. Moreland and S. Gudder,Infima of Hilbert space effects, Linear Algebra Appl.286(1999), no. 1-3, 1–17

    1999

  22. [22]

    E. L. Pekarev,Convolution on an operator domain, Funktsional. Anal. i Prilozhen.12(1978), no. 3, 84–85

    1978

  23. [23]

    E. L. Pekarev and J. L. Šmul ′j an,Parallel addition and parallel subtraction of operators, Izv. Akad. Nauk SSSR Ser. Mat.40(1976), no. 2, 366–387, 470

    1976

  24. [24]

    Riesz and B

    F. Riesz and B. Sz.-Nagy,Vorlesungen über Funktionalanalysis, Hochschulbücher für Math- ematik [University Books for Mathematics], vol. Band 27, VEB Deutscher Verlag der Wis- senschaften, Berlin, 1973, Dritte Auflage, Übersetzung aus dem Französischen nach der 2. und

    1973

  25. [25]

    Auflage: Siegfried Brehmer und Brigitte Mai. 26 M. GÜNTHER and L. KLOTZ

  26. [26]

    J. L. Šmul ′jan,An operator Hellinger integral, Mat. Sb. (N.S.)49(91)(1959), 381–430

    1959

  27. [27]

    Stott,Maximal lower bounds in the Löwner order, 2016,arXiv:1612.05664 [math.RA]

    N. Stott,Maximal lower bounds in the Löwner order, 2016,arXiv:1612.05664 [math.RA]

    work page arXiv 2016

  28. [28]

    Stott,Minimal upper bounds in the Löwner order and application to invariant computation for switched systems, Theses, Université Paris Saclay (COmUE), November 2017

    N. Stott,Minimal upper bounds in the Löwner order and application to invariant computation for switched systems, Theses, Université Paris Saclay (COmUE), November 2017

    2017

  29. [29]

    Tarcsay and A

    Z. Tarcsay and A. Göde,Operators on anti-dual pairs: supremum and infimum of positive oper- ators, J. Math. Anal. Appl.531(2024), no. 2, Paper No. 127893, 11

    2024

  30. [30]

    Yuan and H

    L. Yuan and H. K. Du,A note on the infimum problem of Hilbert space effects, J. Math. Phys.47 (2006), no. 10, 102103, 9

    2006

  31. [31]

    Zhang (ed.),The Schur complement and its applications, Numerical Methods and Al- gorithms, vol

    F. Zhang (ed.),The Schur complement and its applications, Numerical Methods and Al- gorithms, vol. 4, Springer-Verlag, New York, 2005. 1 Mathematisches Institut, Universität Leipzig, PF 10 09 20, 04109 Leipzig, Germany. Email address:guenther@math.uni-leipzig.de 2 Wiesenstr. 2, 08309 Eibenstock, OT Sosa, Germany. Email address:lutzklotz@t-online.de

    2005