{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:YWZRC4N3CTFTVLNWSWYO3FJ7UY","short_pith_number":"pith:YWZRC4N3","canonical_record":{"source":{"id":"2507.23503","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2025-07-31T12:41:45Z","cross_cats_sorted":[],"title_canon_sha256":"451d4ecd20e0093dd342ccf989dc70e7baa87d8a9d32bfaa508d7f7be599320b","abstract_canon_sha256":"ea76edc6e78ce025f4f7a7acee18dbace469ccf627c4e32358dad3d81b33e718"},"schema_version":"1.0"},"canonical_sha256":"c5b31171bb14cb3aadb695b0ed953fa62f736ee929b382e6a379085e43dd4a6b","source":{"kind":"arxiv","id":"2507.23503","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2507.23503","created_at":"2026-07-05T11:46:25Z"},{"alias_kind":"arxiv_version","alias_value":"2507.23503v1","created_at":"2026-07-05T11:46:25Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2507.23503","created_at":"2026-07-05T11:46:25Z"},{"alias_kind":"pith_short_12","alias_value":"YWZRC4N3CTFT","created_at":"2026-07-05T11:46:25Z"},{"alias_kind":"pith_short_16","alias_value":"YWZRC4N3CTFTVLNW","created_at":"2026-07-05T11:46:25Z"},{"alias_kind":"pith_short_8","alias_value":"YWZRC4N3","created_at":"2026-07-05T11:46:25Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:YWZRC4N3CTFTVLNWSWYO3FJ7UY","target":"record","payload":{"canonical_record":{"source":{"id":"2507.23503","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2025-07-31T12:41:45Z","cross_cats_sorted":[],"title_canon_sha256":"451d4ecd20e0093dd342ccf989dc70e7baa87d8a9d32bfaa508d7f7be599320b","abstract_canon_sha256":"ea76edc6e78ce025f4f7a7acee18dbace469ccf627c4e32358dad3d81b33e718"},"schema_version":"1.0"},"canonical_sha256":"c5b31171bb14cb3aadb695b0ed953fa62f736ee929b382e6a379085e43dd4a6b","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:46:25.427304Z","signature_b64":"4wd/K7G/Q+YfFzME5Me0HtgGCuTNy1vjy4nOmL0Yh6q42PiSa4JulnkYAuQJDeKsNygW2zl/LIv2g9I66CccDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c5b31171bb14cb3aadb695b0ed953fa62f736ee929b382e6a379085e43dd4a6b","last_reissued_at":"2026-07-05T11:46:25.426810Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:46:25.426810Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2507.23503","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T11:46:25Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"glfMdrVuUXBseO84eYk3jfcRo6WAPMIZxl16kCXjIXMAF5WNtWCOLd0ahR8sMxJOoCcBXZ6JaJ8GEGQokme+BQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-08T17:41:33.457554Z"},"content_sha256":"dd8909fe44ad5345a48ca46d8f4cc29110430ac8c3ce2aaf459b9e955756509a","schema_version":"1.0","event_id":"sha256:dd8909fe44ad5345a48ca46d8f4cc29110430ac8c3ce2aaf459b9e955756509a"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:YWZRC4N3CTFTVLNWSWYO3FJ7UY","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Convolution semigroups for automorphism dynamics","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.LO","authors_text":"Daniel Max Hoffmann, Krzysztof Krupi\\'nski, Kyle Gannon","submitted_at":"2025-07-31T12:41:45Z","abstract_excerpt":"Initially motivated by Hrushovski's paper on definability patterns, we obtain homeomorphisms between Ellis semigroups related to natural actions of the automorphism groups of first order structures and certain collections of types and Keisler measures. Thus, we can transfer the semigroup operation from these Ellis semigroups to the corresponding collections of types and Keisler measures. By generalizing this transferred product, we obtain a new convolution operation for invariant types and measures in arbitrary first-order theories. We develop its general theory and prove several correspondenc"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2507.23503","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2507.23503/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":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T11:46:25Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"n18/iQbJ3ZFc5WQ8RM8IT/7gjXEWq723hZjNQWECMbfP7x60vXPYEY5M0Sd98D5z0cCDEn6uHjP4W6MVcEXvCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-08T17:41:33.458127Z"},"content_sha256":"798145b9b893fd179926512c0a81e3e6404fc83f89a260383aa34c33f123d8a1","schema_version":"1.0","event_id":"sha256:798145b9b893fd179926512c0a81e3e6404fc83f89a260383aa34c33f123d8a1"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/YWZRC4N3CTFTVLNWSWYO3FJ7UY/bundle.json","state_url":"https://pith.science/pith/YWZRC4N3CTFTVLNWSWYO3FJ7UY/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/YWZRC4N3CTFTVLNWSWYO3FJ7UY/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-08-08T17:41:33Z","links":{"resolver":"https://pith.science/pith/YWZRC4N3CTFTVLNWSWYO3FJ7UY","bundle":"https://pith.science/pith/YWZRC4N3CTFTVLNWSWYO3FJ7UY/bundle.json","state":"https://pith.science/pith/YWZRC4N3CTFTVLNWSWYO3FJ7UY/state.json","well_known_bundle":"https://pith.science/.well-known/pith/YWZRC4N3CTFTVLNWSWYO3FJ7UY/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:YWZRC4N3CTFTVLNWSWYO3FJ7UY","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"ea76edc6e78ce025f4f7a7acee18dbace469ccf627c4e32358dad3d81b33e718","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2025-07-31T12:41:45Z","title_canon_sha256":"451d4ecd20e0093dd342ccf989dc70e7baa87d8a9d32bfaa508d7f7be599320b"},"schema_version":"1.0","source":{"id":"2507.23503","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2507.23503","created_at":"2026-07-05T11:46:25Z"},{"alias_kind":"arxiv_version","alias_value":"2507.23503v1","created_at":"2026-07-05T11:46:25Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2507.23503","created_at":"2026-07-05T11:46:25Z"},{"alias_kind":"pith_short_12","alias_value":"YWZRC4N3CTFT","created_at":"2026-07-05T11:46:25Z"},{"alias_kind":"pith_short_16","alias_value":"YWZRC4N3CTFTVLNW","created_at":"2026-07-05T11:46:25Z"},{"alias_kind":"pith_short_8","alias_value":"YWZRC4N3","created_at":"2026-07-05T11:46:25Z"}],"graph_snapshots":[{"event_id":"sha256:798145b9b893fd179926512c0a81e3e6404fc83f89a260383aa34c33f123d8a1","target":"graph","created_at":"2026-07-05T11:46:25Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2507.23503/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Initially motivated by Hrushovski's paper on definability patterns, we obtain homeomorphisms between Ellis semigroups related to natural actions of the automorphism groups of first order structures and certain collections of types and Keisler measures. Thus, we can transfer the semigroup operation from these Ellis semigroups to the corresponding collections of types and Keisler measures. By generalizing this transferred product, we obtain a new convolution operation for invariant types and measures in arbitrary first-order theories. We develop its general theory and prove several correspondenc","authors_text":"Daniel Max Hoffmann, Krzysztof Krupi\\'nski, Kyle Gannon","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2025-07-31T12:41:45Z","title":"Convolution semigroups for automorphism dynamics"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2507.23503","kind":"arxiv","version":1},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:dd8909fe44ad5345a48ca46d8f4cc29110430ac8c3ce2aaf459b9e955756509a","target":"record","created_at":"2026-07-05T11:46:25Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"ea76edc6e78ce025f4f7a7acee18dbace469ccf627c4e32358dad3d81b33e718","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2025-07-31T12:41:45Z","title_canon_sha256":"451d4ecd20e0093dd342ccf989dc70e7baa87d8a9d32bfaa508d7f7be599320b"},"schema_version":"1.0","source":{"id":"2507.23503","kind":"arxiv","version":1}},"canonical_sha256":"c5b31171bb14cb3aadb695b0ed953fa62f736ee929b382e6a379085e43dd4a6b","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"c5b31171bb14cb3aadb695b0ed953fa62f736ee929b382e6a379085e43dd4a6b","first_computed_at":"2026-07-05T11:46:25.426810Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:46:25.426810Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"4wd/K7G/Q+YfFzME5Me0HtgGCuTNy1vjy4nOmL0Yh6q42PiSa4JulnkYAuQJDeKsNygW2zl/LIv2g9I66CccDA==","signature_status":"signed_v1","signed_at":"2026-07-05T11:46:25.427304Z","signed_message":"canonical_sha256_bytes"},"source_id":"2507.23503","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:dd8909fe44ad5345a48ca46d8f4cc29110430ac8c3ce2aaf459b9e955756509a","sha256:798145b9b893fd179926512c0a81e3e6404fc83f89a260383aa34c33f123d8a1"],"state_sha256":"cade17307420396099e7312c4591e11dff310fea3533033cedd771d71495fc2b"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"62C5sbDlBmgFpaApYLKOtyNI2HJjnkF2QjOssL0EPsFqptdBnNh0jWr2CZLIhiVtPUR2ByMa0Np2X08RZXKPDg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-08T17:41:33.462821Z","bundle_sha256":"e56571c5bad10a1448be0389b7a9407f756b8744efbc758a90d088652a2b06b1"}}