pith. sign in

arxiv: 2605.12454 · v2 · pith:NQH5WL46new · submitted 2026-05-12 · 🧮 math.FA

Strongly Integrable Operator-Valued Functions, Generated Vector Measures and Compactness of Integrals

Milo\v{s} Arsenovi\'c , Mihailo Krsti\'c , Matija Milovi\'c , Stefan Milo\v{s}evi\'c This is my paper

Pith reviewed 2026-05-20 21:19 UTC · model grok-4.3

classification 🧮 math.FA
keywords strongly integrable functionsoperator-valued measurescompact operatorsGel'fand integralspectral radiusBanach spacesSchauder decomposition
0
0 comments X

The pith

Integrals of strongly integrable families of compact operators are compact when the domain Banach space contains no isomorphic copy of ℓ¹.

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

The paper establishes that in the space of strongly integrable operator-valued functions, the integral of a family of compact operators remains compact provided the underlying space X has no isomorphic copy of ℓ¹. It further shows that any such function generates a countably additive vector measure taking values in the space of bounded operators, with additivity holding in the operator norm topology when X* contains no copy of c0. These facts yield a spectral radius inequality for commuting families that extends earlier Bochner-integral versions, along with approximation theorems when the space admits a finite-dimensional Schauder decomposition. A reader would care because the results supply concrete conditions under which classical integration properties survive in the operator setting, where ordinary Bochner integrability often fails to capture compactness or countable additivity.

Core claim

Every function in L_s¹(Ω, μ, B(X, Y)) generates a countably additive, in the operator norm, B(X, Y)-valued measure whenever X* does not contain an isomorphic copy of c0. This generation property implies that the Gel'fand integral of any family of compact operators from X to Y is itself compact when X contains no isomorphic copy of ℓ¹. For mutually commuting families the spectral radius of the integral is bounded above by the integral of the individual spectral radii, and approximation by finite-rank or simpler functions holds in L_s¹ whenever X possesses a finite-dimensional Schauder decomposition.

What carries the argument

The generation of a countably additive B(X, Y)-valued measure in the operator norm from a strongly integrable function, which serves as the bridge to compactness and spectral-radius control.

If this is right

  • The Gel'fand integral of compact operators in L_s¹ remains compact under the stated condition on X.
  • The spectral radius inequality r(∫ A dμ) ≤ ∫ r(A_t) dμ holds for mutually commuting families without requiring Bochner integrability.
  • Finite-dimensional Schauder decompositions of X yield approximation results inside the space L_s¹ of strongly integrable operator families.
  • Countable additivity in operator norm follows directly from the measure-generation theorem when X* avoids c0.

Where Pith is reading between the lines

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

  • The same measure-generation argument could be checked for other operator ideals such as weakly compact operators.
  • The results suggest examining whether strong integrability alone suffices for Pettis-type measurability without the c0-free hypothesis.
  • One could test the sharpness of the no-ℓ¹ condition by constructing explicit counterexamples on spaces that do contain ℓ¹ copies.

Load-bearing premise

The assumption that the Banach space X contains no isomorphic copy of ℓ¹ for compactness and that X* contains no isomorphic copy of c0 for countable additivity of the generated operator-valued measure.

What would settle it

Exhibit a Banach space X containing an isomorphic copy of ℓ¹ together with a strongly integrable family of compact operators whose Gel'fand integral fails to be compact.

read the original abstract

Gel'fand integral of a family of compact operators on a Hilbert space is not always compact, even with additional property of positivity and commutativity. We prove that integrals of a family, consisting of compact operators, in the space $L_{s}^1(\Omega,\mu,\mathcal{B}(X, Y))$ of strongly integrable families are compact whenever $X$ does not contain an isomorphic copy of $\ell^1$. In addition, we prove an integral inequality for spectral radius $$r\left(\int_\Omega\mathscr{A} \,d\mu\right)\leqslant\int_\Omega r(\mathscr{A}_t)\,d\mu(t)$$ for a mutually commuting family $\mathscr{A}$ in $L_s^1(\Omega,\mu,\mathcal{B}(X))$, which generalizes a recent result obtained under a stronger assumption of Bochner integrability. We prove also approximation results in $L_s^1(\Omega,\mu,\mathcal{B}(X))$ in the case $X$ has finite dimensional Schauder decomposition. All these results are based on a key theorem of this paper which states that every function in $L_{s}^1(\Omega,\mu, \mathcal{B}(X, Y))$ generates a countably additive, in operator norm, $\mathcal{B}(X, Y)$-valued measure whenever $X^*$ does not contain an isomorphic copy of $c_0$.

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

2 major / 3 minor

Summary. The paper studies strongly integrable operator-valued functions in the space L_s^1(Ω, μ, B(X,Y)). It proves that the integral of a family of compact operators from this space is compact whenever X contains no isomorphic copy of ℓ¹. It also establishes the spectral radius inequality r(∫_Ω A dμ) ≤ ∫_Ω r(A_t) dμ(t) for mutually commuting families in L_s^1(Ω, μ, B(X)), generalizing a prior Bochner-integrable result, and derives approximation results when X admits a finite-dimensional Schauder decomposition. All claims rest on a key theorem asserting that every element of L_s^1 generates a countably additive B(X,Y)-valued measure (in operator norm) provided X* contains no isomorphic copy of c0.

Significance. If the key measure-generation theorem is valid, the work meaningfully extends vector-measure and integral theory from the Bochner to the strongly integrable setting. The compactness result for integrals of compact operators and the spectral-radius inequality supply concrete tools for operator-valued integration under explicit Banach-space hypotheses that avoid ℓ¹ and c0. The finite-dimensional Schauder-decomposition approximations further enhance applicability. These contributions are proportionate to the stated scope and rest on standard functional-analytic techniques.

major comments (2)
  1. [§3] §3 (Key Theorem): The statement that strong integrability implies norm-countable additivity of the generated B(X,Y)-valued measure when X* has no c0 copy is central; the manuscript should explicitly verify that the proof does not inadvertently use Bochner integrability or Pettis measurability at any step, since the distinction is load-bearing for the subsequent compactness and spectral-radius claims.
  2. [§4] Theorem on compactness (likely §4): The reduction from the generated measure being countably additive in operator norm to compactness of the integral when X has no ℓ¹ copy should be spelled out with a precise citation to the relevant vector-measure compactness criterion (e.g., Diestel–Uhl or equivalent); without this link the implication is not fully transparent.
minor comments (3)
  1. [Introduction] Notation: The symbol L_s^1 is introduced without an immediate comparison table to the classical Bochner space L^1; adding a short remark on the inclusion relations would improve readability.
  2. [Abstract] The abstract refers to the 'Gel'fand integral' while the body uses the generated vector measure; a single clarifying sentence on their equivalence under the paper's hypotheses would remove potential confusion.
  3. [Approximation section] The finite-dimensional Schauder-decomposition approximation result would benefit from an explicit statement of the rate or the norm in which the approximation holds.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading of our manuscript and the constructive comments. We are pleased that the referee finds the contributions proportionate to the scope and recommends minor revision. We address each major comment below.

read point-by-point responses

  1. Referee: [§3] §3 (Key Theorem): The statement that strong integrability implies norm-countable additivity of the generated B(X,Y)-valued measure when X* has no c0 copy is central; the manuscript should explicitly verify that the proof does not inadvertently use Bochner integrability or Pettis measurability at any step, since the distinction is load-bearing for the subsequent compactness and spectral-radius claims.

    Authors: We appreciate the referee's request for added clarity on this central point. The proof of the key theorem relies only on the definition of strong integrability (as given in the paper), the operator-norm topology, and the assumption that X* contains no isomorphic copy of c0; no appeal is made to Bochner integrability or Pettis measurability. To make this distinction explicit, we will insert a short clarifying paragraph at the beginning of the proof in §3 stating that every step proceeds directly from the strong-integrability hypothesis. revision: yes

  2. Referee: [§4] Theorem on compactness (likely §4): The reduction from the generated measure being countably additive in operator norm to compactness of the integral when X has no ℓ¹ copy should be spelled out with a precise citation to the relevant vector-measure compactness criterion (e.g., Diestel–Uhl or equivalent); without this link the implication is not fully transparent.

    Authors: We agree that an explicit reference will improve transparency. In the proof of the compactness theorem we will add a sentence that directly invokes the relevant compactness criterion for the range of a countably additive vector measure (specifically, the result that the integral is compact when the underlying Banach space contains no copy of ℓ¹, as stated in Diestel–Uhl, Vector Measures, Theorem I.2.4 or the equivalent formulation in the literature on operator-valued measures). This will explicitly connect the norm-countable additivity established by the key theorem to the compactness conclusion. revision: yes

Circularity Check

0 steps flagged

No significant circularity; results follow from stated hypotheses and key theorem

full rationale

The paper's central claims are derived from an explicitly stated key theorem establishing that strong integrability implies norm-countable additivity of the generated B(X,Y)-valued measure under the hypothesis that X* contains no isomorphic copy of c0. Compactness of integrals then follows when X contains no copy of ℓ¹, the spectral radius inequality is obtained for commuting families, and approximation results are shown for spaces with finite-dimensional Schauder decompositions. All steps are presented as consequences of the key theorem combined with standard Banach space properties and the given structural assumptions on X. No self-definitional reductions, fitted inputs renamed as predictions, or load-bearing self-citations appear in the derivation chain. The argument structure is self-contained against the external benchmarks of operator theory and vector measure theory.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The paper relies on standard background results from Banach-space theory and vector-measure theory; no new free parameters, invented entities, or ad-hoc axioms are introduced beyond the explicit space conditions on X and X*.

axioms (1)
  • standard math Standard properties of Banach spaces, operator norms, and vector measures (e.g., countable additivity definitions, spectral radius properties for commuting operators).
    Invoked throughout the statements of the key theorem and the integral inequality.

pith-pipeline@v0.9.0 · 5810 in / 1449 out tokens · 65032 ms · 2026-05-20T21:19:05.502537+00:00 · methodology

Review history (2 revisions) →

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

25 extracted references · 25 canonical work pages · 1 internal anchor

  1. [1]

    C. D. Aliprantis, K. C. Border.Infinite Dimensional Analysis, Springer, Third edition, (2007)

    work page 2007

  2. [2]

    Krstić, M.Spaces of Measure-Valued Mappings Connected with Disintegrations, Sib Math J 66, 248–261 (2025)

    Arsenović, M., Bogachev, V.I. Krstić, M.Spaces of Measure-Valued Mappings Connected with Disintegrations, Sib Math J 66, 248–261 (2025). https://doi.org/10.1134/S0037446625020028

    work page doi:10.1134/s0037446625020028 2025

  3. [3]

    Bogachev, Mihailo Krstić,Integration of functions with values in spaces of measures, Proc

    Miloš Arsenović, V.I. Bogachev, Mihailo Krstić,Integration of functions with values in spaces of measures, Proc. Steklov Inst. Math., 2025, Volume 331, pages 1–27, (2025). https://doi.org/10.1134/S0081543825601534

    work page doi:10.1134/s0081543825601534 2025

  4. [4]

    Arsenović, M., Krstić, M.A Normed Space of Weakly Integrable Operator-Valued Functions and Convergence Theorems, Bull. Iran. Math. Soc. 51, 30 (2025). https://doi.org/10.1007/s41980-024-00965-x

    work page doi:10.1007/s41980-024-00965-x 2025

  5. [5]

    Bessaga, C.andPelczynski, A.,On bases and unconditional convergence of series in Banach spaces, Studia Math., 17, (1958) 151-164

    work page 1958

  6. [6]

    Vector measures, integration and related topics

    Blasco Oscar, and Jan van Neerven.Spaces of operator-valued functions measurable with respect to the strong operator topology. Vector measures, integration and related topics. Basel: Birkhäuser Basel, 2010. 65-78. https://doi.org/10.1007/978-3-0346-0211-2_6

    work page doi:10.1007/978-3-0346-0211-2_6 2010

  7. [7]

    Mediterranean Journal of Mathematics, Volume 13, pages 5147–5162, (2016)

    Blasco Oscar, and Ismael Garcia Bayona.Remarks on Measurability of Operator-Valued Functions. Mediterranean Journal of Mathematics, Volume 13, pages 5147–5162, (2016). https://doi.org/10.1007/s00009-016-0798-1

    work page doi:10.1007/s00009-016-0798-1 2016

  8. [8]

    Bochner,Integration von Funktionen, deren Werte die Elemente eines Vektorraumes sind, Fundamenta Mathematicae, vol

    S. Bochner,Integration von Funktionen, deren Werte die Elemente eines Vektorraumes sind, Fundamenta Mathematicae, vol. 20, pp. 262–276, 1933. https://eudml.org/doc/212635 Strongly Integrable Operator-Valued Functions... 37

    work page 1933

  9. [9]

    Calabuig, J

    J.M. Calabuig, J. Rodríguez, P. Rueda, E.A. Sánchez-Pérez,Onp-Dunford integrable functions with values in Banach spaces, JMAA, Volume 464, Issue 1, (2018). https://www.sciencedirect.com/science/article/pii/S0022247X18303287

    work page 2018

  10. [10]

    Defant, K

    A. Defant, K. Floret,Tensor Norms and Operator Ideals, North-Holland Mathematical Studies 176, 1993

    work page 1993

  11. [11]

    Joseph Diestel,Sequences and Series in Banach Spaces, Springer GTM 92, 1984

    work page 1984

  12. [12]

    Diestel, J

    J. Diestel, J. J. Uhl.Vector Measures, Amer. Math. Soc., Mat. Surveys and Monographs, Vol.15, (1977)

    work page 1977

  13. [13]

    Diestel J, Jarchow H, Tonge A., Absolutely Summing Operators, Cambridge University Press, Cambridge Studies in Advanced Mathematics, 1995

    work page 1995

  14. [14]

    (2016).Analysis in Banach spaces, Vol

    Hytönen, T., Van Neerven, J., Veraar, M., Weis, L. (2016).Analysis in Banach spaces, Vol. 12, Berlin: Springer

    work page 2016

  15. [15]

    Jocić, Cauchy-Schwarz norm inequalities for weak-integrals of operator valued functions, J

    DankoR. Jocić, Cauchy-Schwarz norm inequalities for weak-integrals of operator valued functions, J. Funct. Anal.218, (2005), 318-346. https://doi.org/10.1016/j.jfa.2004.06.003

    work page doi:10.1016/j.jfa.2004.06.003 2005

  16. [16]

    Jocić, Djordje Krtinić, Milan Lazarević,Cauchy-Schwarz inequalities for inner product type transformers inQ∗ norm ideals of compact operators, Positivity, 24 (2020), 933-956

    Danko R. Jocić, Djordje Krtinić, Milan Lazarević,Cauchy-Schwarz inequalities for inner product type transformers inQ∗ norm ideals of compact operators, Positivity, 24 (2020), 933-956. https://doi.org/10.1007/s11117-019-00710-3

    work page doi:10.1007/s11117-019-00710-3 2020

  17. [17]

    Filomat 38(30), 10567–10585 (2024) https://doi.org/10.2298/FIL2430567K

    Mihailo Krstić,Weak∗ integration of functions with values in the set of Hilbert space oper- ators. Filomat 38(30), 10567–10585 (2024) https://doi.org/10.2298/FIL2430567K

    work page doi:10.2298/fil2430567k 2024

  18. [18]

    Positivity 27, 4 (2023)

    Krstić, M., Milović, M., Milošević, S.Belonging of Gel’fand integral of positive operator valued functions to separable ideals of compact operators on Hilbert space. Positivity 27, 4 (2023). https://doi.org/10.1007/s11117-022-00958-2

    work page doi:10.1007/s11117-022-00958-2 2023

  19. [19]

    Lindenstrauss, L

    J. Lindenstrauss, L. Tzafriri,Classical Banach Spaces I: Sequence Spaces, Springer-Verlag Berlin Heidelberg, First Edition, (1996)

    work page 1996

  20. [20]

    https://doi.org/10.1007/s11117-024-01047-2

    Milović M.,Weak integrability of operator valued functions with values in ideals of compact operators on Hilbert space, Positivity 28, 30 (2024). https://doi.org/10.1007/s11117-024-01047-2

    work page doi:10.1007/s11117-024-01047-2 2024

  21. [21]

    Milović M., Milošević S.,Gel’fand Integration ofB(E, F∗)-Valued Functions With Empha- sis on(q, p)-Summing Operators, Bulletin of the Iranian Mathematical Society, Volume 52, article number 13, (2026) https://doi.org/10.1007/s41980-025-01030-x

    work page doi:10.1007/s41980-025-01030-x 2026

  22. [22]

    B. J. Pettis,On integration in vector spaces,Transactions of the American Mathematical Society, vol. 44, pp. 277–304, 1938. https://scispace.com/pdf/on-integration-in-vector-spaces-2cya4r4sms.pdf

    work page 1938

  23. [23]

    Some new characterizations of Banach spaces containing $\ell^1$

    Haskell P. Rosenthal,Some new characterizations of Banach spaces containingℓ1, Arxiv, 2007. https://arxiv.org/abs/0710.5944

    work page internal anchor Pith review Pith/arXiv arXiv 2007

  24. [24]

    https://doi.org/10.1016/j.jmaa.2025.130181

    Stanković, H., Krstić, M.Numerical and spectral radius of weakly∗measurable families of Hilbert space operators, JMAA, Volume 555, Issue 2, 2026. https://doi.org/10.1016/j.jmaa.2025.130181

    work page doi:10.1016/j.jmaa.2025.130181 2026

  25. [25]

    Stanković, H., Krstić, M.Spectral radius subadditivity for integrals of operator-valued func- tions, Anal Math 51, 997–1009 (2025). https://doi.org/10.1007/s10476-025-00111-7 38 Miloš Arsenović, Mihailo Krstić, Matija Milović, and Stefan Milošević F aculty of Mathematics, University of Belgrade, Studentski trg 16, Bel- grade, Serbia Email address:milos.ar...

    work page doi:10.1007/s10476-025-00111-7 2025