{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2025:NLHYNUFJGOZTOG2TO5UJMBKHHT","short_pith_number":"pith:NLHYNUFJ","schema_version":"1.0","canonical_sha256":"6acf86d0a933b3371b5377689605473ce496a1bc968b5f343136206f7dce2db4","source":{"kind":"arxiv","id":"2512.12865","version":4},"attestation_state":"computed","paper":{"title":"Semitopological Barycentric Algebras","license":"http://creativecommons.org/licenses/by/4.0/","headline":"Free semitopological cones exist over barycentric algebras, along with a general theorem for barycenters of continuous valuations.","cross_cats":["cs.LO"],"primary_cat":"math.FA","authors_text":"Jean Goubault-Larrecq","submitted_at":"2025-12-14T22:46:43Z","abstract_excerpt":"Barycentric algebras are an abstraction of the notion of convex sets, defined by a set of equations. We study semitopological and topological barycentric algebras, in the spirit of a previous study by Klaus Keimel on semitopological and topological cones (2008), which are special cases of semitopological and topological barycentric algebras. For example, the space of all continuous valuations (a very close cousin of measures) over a topological space is a topological cone, while probability valuations form a topological barycentric algebra, and subprobability valuations form a pointed topologi"},"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":true},"canonical_record":{"source":{"id":"2512.12865","kind":"arxiv","version":4},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.FA","submitted_at":"2025-12-14T22:46:43Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"0c3c8fefa8b7331058c6f656956104b8dde67ec5583a5c52922719ef73ee8e06","abstract_canon_sha256":"fc984fa662613e8476fdfc10ba3a8aeb5ad1cceeadb3997d9b45781242abc53c"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-22T01:03:52.269219Z","signature_b64":"9x9b68thZ7gCyzplKub3OVJ75K8YgQzXL0aZhernJKPTwKlIS+QCFjjEnycnKw7CTzj/0wtT6ocit5XhxRg1Ag==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"6acf86d0a933b3371b5377689605473ce496a1bc968b5f343136206f7dce2db4","last_reissued_at":"2026-05-22T01:03:52.268161Z","signature_status":"signed_v1","first_computed_at":"2026-05-22T01:03:52.268161Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Semitopological Barycentric Algebras","license":"http://creativecommons.org/licenses/by/4.0/","headline":"Free semitopological cones exist over barycentric algebras, along with a general theorem for barycenters of continuous valuations.","cross_cats":["cs.LO"],"primary_cat":"math.FA","authors_text":"Jean Goubault-Larrecq","submitted_at":"2025-12-14T22:46:43Z","abstract_excerpt":"Barycentric algebras are an abstraction of the notion of convex sets, defined by a set of equations. We study semitopological and topological barycentric algebras, in the spirit of a previous study by Klaus Keimel on semitopological and topological cones (2008), which are special cases of semitopological and topological barycentric algebras. For example, the space of all continuous valuations (a very close cousin of measures) over a topological space is a topological cone, while probability valuations form a topological barycentric algebra, and subprobability valuations form a pointed topologi"},"claims":{"count":4,"items":[{"kind":"strongest_claim","text":"We show the existence of free semitopological cones over semitopological barycentric algebras and over pointed semitopological algebras, we investigate which semitopological barycentric algebras embed into semitopological cones and which pointed semitopological barycentric algebras embed strictly into semitopological cones. [...] We conclude with a general barycenter existence theorem, whose proof relies on the study of the Smyth poweralgebra.","source":"verdict.strongest_claim","status":"machine_extracted","claim_id":"C1","attestation":"unclaimed"},{"kind":"weakest_assumption","text":"The structures satisfy the defining equations of barycentric algebras and carry topologies compatible with the algebraic operations, as assumed throughout the development of semitopological and topological variants.","source":"verdict.weakest_assumption","status":"machine_extracted","claim_id":"C2","attestation":"unclaimed"},{"kind":"one_line_summary","text":"Semitopological barycentric algebras admit free semitopological cone constructions and support a general barycenter existence theorem for continuous valuations via the Smyth poweralgebra.","source":"verdict.one_line_summary","status":"machine_extracted","claim_id":"C3","attestation":"unclaimed"},{"kind":"headline","text":"Free semitopological cones exist over barycentric algebras, along with a general theorem for barycenters of continuous valuations.","source":"verdict.pith_extraction.headline","status":"machine_extracted","claim_id":"C4","attestation":"unclaimed"}],"snapshot_sha256":"c5ad9fe5d7f9b46332ade93d8764e68cee9115bc7b70771a9293003e56608b39"},"source":{"id":"2512.12865","kind":"arxiv","version":4},"verdict":{"id":"9b01f541-a3ab-4804-98ce-03bd5b7be08d","model_set":{"reader":"grok-4.3"},"created_at":"2026-05-16T22:14:29.987972Z","strongest_claim":"We show the existence of free semitopological cones over semitopological barycentric algebras and over pointed semitopological algebras, we investigate which semitopological barycentric algebras embed into semitopological cones and which pointed semitopological barycentric algebras embed strictly into semitopological cones. [...] We conclude with a general barycenter existence theorem, whose proof relies on the study of the Smyth poweralgebra.","one_line_summary":"Semitopological barycentric algebras admit free semitopological cone constructions and support a general barycenter existence theorem for continuous valuations via the Smyth poweralgebra.","pipeline_version":"pith-pipeline@v0.9.0","weakest_assumption":"The structures satisfy the defining equations of barycentric algebras and carry topologies compatible with the algebraic operations, as assumed throughout the development of semitopological and topological variants.","pith_extraction_headline":"Free semitopological cones exist over barycentric algebras, along with a general theorem for barycenters of continuous valuations."},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2512.12865/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":3,"snapshot_sha256":"32beaf0f64f8635b1034298c56d1fdb282d195fa14e4a8daceff9bf5430a70a2"},"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":"2512.12865","created_at":"2026-05-22T01:03:52.268309+00:00"},{"alias_kind":"arxiv_version","alias_value":"2512.12865v4","created_at":"2026-05-22T01:03:52.268309+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2512.12865","created_at":"2026-05-22T01:03:52.268309+00:00"},{"alias_kind":"pith_short_12","alias_value":"NLHYNUFJGOZT","created_at":"2026-05-22T01:03:52.268309+00:00"},{"alias_kind":"pith_short_16","alias_value":"NLHYNUFJGOZTOG2T","created_at":"2026-05-22T01:03:52.268309+00:00"},{"alias_kind":"pith_short_8","alias_value":"NLHYNUFJ","created_at":"2026-05-22T01:03:52.268309+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":3,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/NLHYNUFJGOZTOG2TO5UJMBKHHT","json":"https://pith.science/pith/NLHYNUFJGOZTOG2TO5UJMBKHHT.json","graph_json":"https://pith.science/api/pith-number/NLHYNUFJGOZTOG2TO5UJMBKHHT/graph.json","events_json":"https://pith.science/api/pith-number/NLHYNUFJGOZTOG2TO5UJMBKHHT/events.json","paper":"https://pith.science/paper/NLHYNUFJ"},"agent_actions":{"view_html":"https://pith.science/pith/NLHYNUFJGOZTOG2TO5UJMBKHHT","download_json":"https://pith.science/pith/NLHYNUFJGOZTOG2TO5UJMBKHHT.json","view_paper":"https://pith.science/paper/NLHYNUFJ","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2512.12865&json=true","fetch_graph":"https://pith.science/api/pith-number/NLHYNUFJGOZTOG2TO5UJMBKHHT/graph.json","fetch_events":"https://pith.science/api/pith-number/NLHYNUFJGOZTOG2TO5UJMBKHHT/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/NLHYNUFJGOZTOG2TO5UJMBKHHT/action/timestamp_anchor","attest_storage":"https://pith.science/pith/NLHYNUFJGOZTOG2TO5UJMBKHHT/action/storage_attestation","attest_author":"https://pith.science/pith/NLHYNUFJGOZTOG2TO5UJMBKHHT/action/author_attestation","sign_citation":"https://pith.science/pith/NLHYNUFJGOZTOG2TO5UJMBKHHT/action/citation_signature","submit_replication":"https://pith.science/pith/NLHYNUFJGOZTOG2TO5UJMBKHHT/action/replication_record"}},"created_at":"2026-05-22T01:03:52.268309+00:00","updated_at":"2026-05-22T01:03:52.268309+00:00"}