{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2026:NQH5WL46VM3JJYMG7PNPETLPXM","short_pith_number":"pith:NQH5WL46","schema_version":"1.0","canonical_sha256":"6c0fdb2f9eab3694e186fbdaf24d6fbb0bb50a50ecb42f3b3f7630418f95dee5","source":{"kind":"arxiv","id":"2605.12454","version":2},"attestation_state":"computed","paper":{"title":"Strongly Integrable Operator-Valued Functions, Generated Vector Measures and Compactness of Integrals","license":"http://creativecommons.org/licenses/by/4.0/","headline":"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.","cross_cats":[],"primary_cat":"math.FA","authors_text":"Matija Milovi\\'c, Mihailo Krsti\\'c, Milo\\v{s} Arsenovi\\'c, Stefan Milo\\v{s}evi\\'c","submitted_at":"2026-05-12T17:43:58Z","abstract_excerpt":"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.\n  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$.\n  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_"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2605.12454","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.FA","submitted_at":"2026-05-12T17:43:58Z","cross_cats_sorted":[],"title_canon_sha256":"23c12eab3ffe1281841e4e14064080532d6e18707f4e644a90d0071051da0aed","abstract_canon_sha256":"bec1ae7ab24dfd32bdf5d09d87e68401d6c7e8ef383881e2c521765b13b3b632"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-20T00:04:36.516919Z","signature_b64":"KZEqNCKPExrt2PKB1wm6/02fl2OLl8cfzoK0ZdIOkz8j71wgJSlouEG1fqMMzwO0wb5KJfQokRtyHjSe3o/vCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"6c0fdb2f9eab3694e186fbdaf24d6fbb0bb50a50ecb42f3b3f7630418f95dee5","last_reissued_at":"2026-05-20T00:04:36.516062Z","signature_status":"signed_v1","first_computed_at":"2026-05-20T00:04:36.516062Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Strongly Integrable Operator-Valued Functions, Generated Vector Measures and Compactness of Integrals","license":"http://creativecommons.org/licenses/by/4.0/","headline":"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.","cross_cats":[],"primary_cat":"math.FA","authors_text":"Matija Milovi\\'c, Mihailo Krsti\\'c, Milo\\v{s} Arsenovi\\'c, Stefan Milo\\v{s}evi\\'c","submitted_at":"2026-05-12T17:43:58Z","abstract_excerpt":"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.\n  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$.\n  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_"},"claims":{"count":4,"items":[{"kind":"strongest_claim","text":"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","source":"verdict.strongest_claim","status":"machine_extracted","claim_id":"C1","attestation":"unclaimed"},{"kind":"weakest_assumption","text":"The assumption that X* does not contain an isomorphic copy of c0 is load-bearing for the key theorem on generating countably additive measures; without it the measure may fail to be countably additive in norm, and the downstream compactness and spectral results would not follow.","source":"verdict.weakest_assumption","status":"machine_extracted","claim_id":"C2","attestation":"unclaimed"},{"kind":"one_line_summary","text":"Strongly integrable operator-valued functions generate norm-countably additive measures when X* avoids c0, so their integrals of compact operators are compact when X avoids ℓ1, plus a spectral radius inequality for commuting families.","source":"verdict.one_line_summary","status":"machine_extracted","claim_id":"C3","attestation":"unclaimed"},{"kind":"headline","text":"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.","source":"verdict.pith_extraction.headline","status":"machine_extracted","claim_id":"C4","attestation":"unclaimed"}],"snapshot_sha256":"c859e4bd1a176f6fd3b2014f243af69e03eb377ea5fe321d3afe2dcd44214a0d"},"source":{"id":"2605.12454","kind":"arxiv","version":2},"verdict":{"id":"505586fb-69e1-4531-8c22-73398514f11c","model_set":{"reader":"grok-4.3"},"created_at":"2026-05-13T02:45:26.810756Z","strongest_claim":"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","one_line_summary":"Strongly integrable operator-valued functions generate norm-countably additive measures when X* avoids c0, so their integrals of compact operators are compact when X avoids ℓ1, plus a spectral radius inequality for commuting families.","pipeline_version":"pith-pipeline@v0.9.0","weakest_assumption":"The assumption that X* does not contain an isomorphic copy of c0 is load-bearing for the key theorem on generating countably additive measures; without it the measure may fail to be countably additive in norm, and the downstream compactness and spectral results would not follow.","pith_extraction_headline":"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."},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2605.12454/integrity.json","findings":[],"available":true,"detectors_run":[{"name":"claim_evidence","ran_at":"2026-05-19T22:21:57.828081Z","status":"completed","version":"1.0.0","findings_count":0},{"name":"ai_meta_artifact","ran_at":"2026-05-19T10:35:01.902204Z","status":"completed","version":"1.0.0","findings_count":0},{"name":"doi_title_agreement","ran_at":"2026-05-19T08:01:18.200128Z","status":"completed","version":"1.0.0","findings_count":0},{"name":"doi_compliance","ran_at":"2026-05-19T07:27:18.428604Z","status":"completed","version":"1.0.0","findings_count":0}],"snapshot_sha256":"14456adb94606739b1acfd9e409f20027d498abc0c46b5805682bc32457eddc3"},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"aliases":[{"alias_kind":"arxiv","alias_value":"2605.12454","created_at":"2026-05-20T00:04:36.516170+00:00"},{"alias_kind":"arxiv_version","alias_value":"2605.12454v2","created_at":"2026-05-20T00:04:36.516170+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.12454","created_at":"2026-05-20T00:04:36.516170+00:00"},{"alias_kind":"pith_short_12","alias_value":"NQH5WL46VM3J","created_at":"2026-05-20T00:04:36.516170+00:00"},{"alias_kind":"pith_short_16","alias_value":"NQH5WL46VM3JJYMG","created_at":"2026-05-20T00:04:36.516170+00:00"},{"alias_kind":"pith_short_8","alias_value":"NQH5WL46","created_at":"2026-05-20T00:04:36.516170+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/NQH5WL46VM3JJYMG7PNPETLPXM","json":"https://pith.science/pith/NQH5WL46VM3JJYMG7PNPETLPXM.json","graph_json":"https://pith.science/api/pith-number/NQH5WL46VM3JJYMG7PNPETLPXM/graph.json","events_json":"https://pith.science/api/pith-number/NQH5WL46VM3JJYMG7PNPETLPXM/events.json","paper":"https://pith.science/paper/NQH5WL46"},"agent_actions":{"view_html":"https://pith.science/pith/NQH5WL46VM3JJYMG7PNPETLPXM","download_json":"https://pith.science/pith/NQH5WL46VM3JJYMG7PNPETLPXM.json","view_paper":"https://pith.science/paper/NQH5WL46","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2605.12454&json=true","fetch_graph":"https://pith.science/api/pith-number/NQH5WL46VM3JJYMG7PNPETLPXM/graph.json","fetch_events":"https://pith.science/api/pith-number/NQH5WL46VM3JJYMG7PNPETLPXM/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/NQH5WL46VM3JJYMG7PNPETLPXM/action/timestamp_anchor","attest_storage":"https://pith.science/pith/NQH5WL46VM3JJYMG7PNPETLPXM/action/storage_attestation","attest_author":"https://pith.science/pith/NQH5WL46VM3JJYMG7PNPETLPXM/action/author_attestation","sign_citation":"https://pith.science/pith/NQH5WL46VM3JJYMG7PNPETLPXM/action/citation_signature","submit_replication":"https://pith.science/pith/NQH5WL46VM3JJYMG7PNPETLPXM/action/replication_record"}},"created_at":"2026-05-20T00:04:36.516170+00:00","updated_at":"2026-05-20T00:04:36.516170+00:00"}