arxiv: 2605.12454 · v1 · submitted 2026-05-12 · 🧮 math.FA

Recognition: no theorem link

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

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

Pith reviewed 2026-05-13 02:45 UTC · model grok-4.3

classification 🧮 math.FA

keywords strongly integrable operator functionsgenerated vector measurescountably additive operator measurescompactness of integralsspectral radius inequalityBanach space operatorsSchauder decompositions

0 comments

The pith

Every strongly integrable operator-valued function generates a countably additive B(X,Y)-valued measure in the operator norm when X* contains no copy of c0.

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

The paper proves that any function in the space L_s^1 of strongly integrable operator families generates a vector measure that is countably additive with respect to the operator norm, provided the dual space X* does not contain an isomorphic copy of c0. This key fact is applied to show that the integral of a family of compact operators remains compact whenever X itself contains no copy of l1. The same condition supports an inequality bounding the spectral radius of an integrated commuting family by the integral of the individual spectral radii, extending prior results that required the stronger Bochner integrability. Approximation theorems are also obtained when X admits a finite-dimensional Schauder decomposition. A reader would care because the weaker strong-integrability notion now yields the same structural conclusions previously available only for Bochner-integrable families.

Core claim

We prove that every function in L_s^1(Ω,μ,B(X,Y)) generates a countably additive, in operator norm, B(X,Y)-valued measure whenever X* does not contain an isomorphic copy of c0. This theorem is the foundation for showing that integrals of compact-operator families in L_s^1 are compact when X contains no copy of ℓ¹, for the spectral-radius inequality r(∫A dμ) ≤ ∫ r(A_t) dμ(t) on mutually commuting families, and for approximation results in L_s^1 when X has a finite-dimensional Schauder decomposition.

What carries the argument

The countably additive B(X,Y)-valued measure generated by a function in L_s^1(Ω,μ,B(X,Y)), whose countable additivity holds in the operator norm precisely when X* contains no isomorphic copy of c0.

If this is right

The Gel'fand integral of a family of compact operators remains compact when X has no isomorphic copy of ℓ¹.
For mutually commuting families in L_s^1(Ω,μ,B(X)), the spectral radius satisfies r(∫A dμ) ≤ ∫ r(A_t) dμ(t).
Approximation by suitable finite-rank operators holds in L_s^1(Ω,μ,B(X)) whenever X admits a finite-dimensional Schauder decomposition.
Earlier compactness and spectral results that assumed Bochner integrability extend to the larger class of strongly integrable families.

Where Pith is reading between the lines

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

The c0-free condition on X* may be sharp, since the paper notes that countable additivity can fail without it.
The compactness and spectral-radius conclusions could be tested on concrete Banach spaces that satisfy or violate the stated geometric assumptions.
The generated vector measures may admit further properties such as weak compactness or Radon-Nikodym derivatives under the same hypotheses.

Load-bearing premise

The assumption that X* does not contain an isomorphic copy of c0 is required for the generated measure to be countably additive in the operator norm.

What would settle it

A concrete counterexample consisting of a Banach space X whose dual contains a copy of c0 together with a strongly integrable function whose associated set function fails to be countably additive in the operator norm would refute the central theorem.

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.

Desk Editor's Note private letter to a colleague

The paper's key theorem linking strong integrability to norm-countably additive measures under X* no c0 is the real advance, but the compactness claim for X no l1 looks like it overreaches given the supporting result.

read the letter

Hi colleague, The one or two things to know: this paper's central new result is a theorem that strongly integrable B(X,Y)-valued functions generate countably additive measures in the operator norm precisely when X* contains no c0. They leverage this for compactness of integrals of compact operators when X has no l1, a spectral radius bound for commuting families that extends a recent Bochner result, and some approximation theorems. The paper does well in providing this key theorem as a foundation and in generalizing the spectral inequality to the weaker L_s^1 setting. That generalization is a natural step and seems useful for specialists. The dependence on the key theorem is clearly stated, which helps. The soft spot is the mismatch in assumptions for the compactness result. The abstract claims it holds whenever X has no isomorphic copy of l1, but notes that all results rest on the key theorem requiring X* no c0. These conditions are not the same; no c0 in X* is stronger and implies no l1 in X, but there are spaces where X has no l1 yet X* has c0. If the compactness proof doesn't have an independent way to get down to just no l1, then the stated theorem overclaims. This is worth checking in the full text. Overall, this is for functional analysts working on integration in Banach spaces and operator theory. It offers concrete new tools in that niche, so a reader in the area would benefit from seeing the details. The work shows clear thinking and builds on literature without obvious circularity. I think it deserves serious peer review, with the referee focusing on verifying the proofs and tightening the hypotheses if needed.

Referee Report

1 major / 0 minor

Summary. The paper introduces the space L_s^1(Ω, μ, B(X,Y)) of strongly integrable operator-valued functions and proves a key theorem that every such function generates a countably additive B(X,Y)-valued measure in the operator norm whenever X* contains no isomorphic copy of c_0. It applies this to show that the Gel'fand integral of a family of compact operators is itself compact when X contains no isomorphic copy of ℓ^1, establishes the spectral radius inequality r(∫ A dμ) ≤ ∫ r(A_t) dμ(t) for mutually commuting families in L_s^1(Ω, μ, B(X)), and gives approximation results in L_s^1 when X admits a finite-dimensional Schauder decomposition. The first sentence notes that the Gel'fand integral of compact operators on a Hilbert space need not be compact even under positivity and commutativity.

Significance. If the derivations hold, the work extends vector measure theory to the strongly integrable setting and supplies concrete conditions under which integrals of compact operators remain compact while also generalizing a spectral-radius inequality from the Bochner to the strong-integrability case. The key theorem on norm-countably-additive generation is a central technical contribution that could support further applications in operator theory.

major comments (1)

[Abstract] Abstract (key theorem and compactness statement): the compactness result for integrals of compact operators is asserted whenever X contains no isomorphic copy of ℓ¹. However, the key theorem (on which the abstract states all results rest) establishes norm-countable additivity of the generated measure only under the strictly stronger hypothesis that X* contains no isomorphic copy of c_0. Because the presence of ℓ¹ in X forces c_0 in X* (via ℓ∞), the key theorem yields the compactness conclusion only when X* has no c_0; the converse implication fails in general. No independent argument is indicated that would weaken the hypothesis to the stated X-no-ℓ¹ condition, so the central compactness claim exceeds the support provided by the key theorem.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and for identifying the inconsistency between the hypotheses stated in the abstract and those established by the key theorem. We agree that the compactness claim as written exceeds what the key theorem directly supports, and we will revise the manuscript to correct this.

read point-by-point responses

Referee: [Abstract] Abstract (key theorem and compactness statement): the compactness result for integrals of compact operators is asserted whenever X contains no isomorphic copy of ℓ¹. However, the key theorem (on which the abstract states all results rest) establishes norm-countable additivity of the generated measure only under the strictly stronger hypothesis that X* contains no isomorphic copy of c_0. Because the presence of ℓ¹ in X forces c_0 in X* (via ℓ∞), the key theorem yields the compactness conclusion only when X* has no c_0; the converse implication fails in general. No independent argument is indicated that would weaken the hypothesis to the stated X-no-ℓ¹ condition, so the central compactness claim exceeds the support provided by the key theorem.

Authors: We agree with the referee's analysis. The key theorem establishes that every strongly integrable operator-valued function generates a norm-countably additive B(X,Y)-valued measure precisely when X* contains no isomorphic copy of c_0. The subsequent compactness result for the Gel'fand integral of compact operators relies on this norm-countable additivity (combined with the fact that the measure takes values in the compact operators). The abstract erroneously states the weaker condition that X contains no copy of ℓ¹. No separate argument is provided in the manuscript that would allow the compactness conclusion under only the no-ℓ¹ assumption on X. We will revise the abstract (and any corresponding statements in the introduction or main text) to assert the compactness result under the hypothesis that X* contains no isomorphic copy of c_0, thereby aligning it with the key theorem and the other results in the paper. revision: yes

Circularity Check

0 steps flagged

No circularity; all claims rest on explicitly stated key theorem with independent hypotheses.

full rationale

The paper anchors its results in a key theorem asserting that functions in L_s^1 generate norm-countably-additive B(X,Y)-valued measures precisely when X* contains no isomorphic copy of c0. Compactness, spectral-radius inequalities, and approximation results are derived from this theorem under the stated conditions. No step reduces a claimed prediction or result to its own inputs by definition, no fitted parameters are relabeled as predictions, and no load-bearing premise collapses to a self-citation chain or ansatz smuggled via prior work. The noted difference between the compactness hypothesis (X contains no ℓ¹) and the key theorem's hypothesis (X* contains no c0) is a potential gap in hypothesis strength, not a circular reduction; the paper does not assert the key theorem holds under the weaker condition. The derivation is therefore self-contained.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

No free parameters or invented entities. Results rest on standard definitions of strong integrability, operator norms, and spectral radius together with domain assumptions on the absence of ℓ1 and c0 copies in the Banach spaces.

axioms (2)

standard math Standard definitions and properties of strong integrability, Gel'fand integral, and countably additive vector measures in Banach spaces
The paper invokes these as background from functional analysis.
domain assumption X* does not contain an isomorphic copy of c0 (for the key measure theorem) and X does not contain an isomorphic copy of ℓ1 (for compactness)
These geometric conditions on the spaces are explicitly required for the stated conclusions.

pith-pipeline@v0.9.0 · 5579 in / 1431 out tokens · 104348 ms · 2026-05-13T02:45:26.810756+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

19 extracted references · 19 canonical work pages

[1]

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

work page 2007
[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 ABK2

work page doi:10.1134/s0037446625020028 2025
[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 MAMK

work page doi:10.1134/s0081543825601534 2025
[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 ?BP?[5] Bessaga, C.andPelczynski, A.,On bases and unconditional convergence of series in Banach spaces, Studia Math., 17, (1958) 151-164. BJN

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

https://doi.org/10.1007/978-3-0346-0211-2_6 OBIGB

65-78. https://doi.org/10.1007/978-3-0346-0211-2_6 OBIGB

work page doi:10.1007/978-3-0346-0211-2_6
[6]

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 Bochner1933

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

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 DF

work page 2018
[8]

Diestel, J

J. Diestel, J. J. Uhl.Vector Measures, Amer. Math. Soc., Mat. Surveys and Monographs, Vol.15, (1977). 36 Miloš Arsenović, Mihailo Krstić, Matija Milović, and Stefan Milošević DJT

work page 1977
[9]

(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. J05

work page 2016
[10]

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 JKL20

work page doi:10.1016/j.jfa.2004.06.003 2005
[11]

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 MK

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

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

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 MMS

work page doi:10.2298/fil2430567k 2024
[13]

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 LTz

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

Lindenstrauss, L

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

work page 1996
[15]

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

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 MS

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

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 Pettis1938

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

https://arxiv.org/abs/0710.5944 HMnumrad

work page arXiv
[18]

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

work page doi:10.1016/j.jmaa.2025.130181 2025
[19]

https://doi.org/10.1007/s10476-025-00111-7 Strongly Integrable Operator-Valued Functions

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 Strongly Integrable Operator-Valued Functions... 37 F aculty of Mathematics, University of Belgrade, Studentski trg 16, Bel- grade, Serbia Email address:milos.arsenovic.bg.ac.rs F ac...

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