{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:RVO42TNRJOGSC2NRAV3FHY55NI","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":"67b1fcbebf241536b1434f8de2970c8f73d1d5ab254a3129fded94cdf3a89ec3","cross_cats_sorted":["cs.LO","math.GR"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.FA","submitted_at":"2015-04-01T08:06:02Z","title_canon_sha256":"70ee6574561d3cde65cf66bd0547b41877d1797e46277baf5cc7e87dde4fa5b9"},"schema_version":"1.0","source":{"id":"1504.00134","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1504.00134","created_at":"2026-05-18T02:19:44Z"},{"alias_kind":"arxiv_version","alias_value":"1504.00134v1","created_at":"2026-05-18T02:19:44Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1504.00134","created_at":"2026-05-18T02:19:44Z"},{"alias_kind":"pith_short_12","alias_value":"RVO42TNRJOGS","created_at":"2026-05-18T12:29:39Z"},{"alias_kind":"pith_short_16","alias_value":"RVO42TNRJOGSC2NR","created_at":"2026-05-18T12:29:39Z"},{"alias_kind":"pith_short_8","alias_value":"RVO42TNR","created_at":"2026-05-18T12:29:39Z"}],"graph_snapshots":[{"event_id":"sha256:6ffcfa4bd6dd55782928069f73ec213e925e53f82a51e7835ffd7dfac74dc49d","target":"graph","created_at":"2026-05-18T02:19:44Z","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"},"paper":{"abstract_excerpt":"If ${\\mathcal C}\\simeq 2^{\\mathbb N}$ denotes the Cantor set realized as the infinite product of two-point groups, then a folklore result says the Cantor map from ${\\mathcal C}$ into $[0,1]$ sends Haar measure to Lebesgue measure on the interval. In fact, ${\\mathcal C}$ admits many distinct topological group structures. In this note, we show that the Haar measures induced by these distinct group structures are share this property. We prove this by showing that Haar measure for any group structure is the same as Haar measure induced by a related abelian group structure. Moreover, each abelian g","authors_text":"Michael Mislove, Will Brian","cross_cats":["cs.LO","math.GR"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.FA","submitted_at":"2015-04-01T08:06:02Z","title":"From Haar to Lebesgue via Domain Theory, Revised version"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1504.00134","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:f0b5e4fc2bbb6c649573aa82f0caa6e9e77a08e2bc7051ba94f8296d855bbf16","target":"record","created_at":"2026-05-18T02:19:44Z","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":"67b1fcbebf241536b1434f8de2970c8f73d1d5ab254a3129fded94cdf3a89ec3","cross_cats_sorted":["cs.LO","math.GR"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.FA","submitted_at":"2015-04-01T08:06:02Z","title_canon_sha256":"70ee6574561d3cde65cf66bd0547b41877d1797e46277baf5cc7e87dde4fa5b9"},"schema_version":"1.0","source":{"id":"1504.00134","kind":"arxiv","version":1}},"canonical_sha256":"8d5dcd4db14b8d2169b1057653e3bd6a30308ff3f69cf4fffc701e65ca6a0c48","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"8d5dcd4db14b8d2169b1057653e3bd6a30308ff3f69cf4fffc701e65ca6a0c48","first_computed_at":"2026-05-18T02:19:44.491537Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:19:44.491537Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"v5vJkWw5/zWepb+FUz5YhiLShbvGIHoAF4VuNmPDhmqARSoHaEjlsG9K1QHegkPHeBB+4jy8FACWqVw6YZoUCQ==","signature_status":"signed_v1","signed_at":"2026-05-18T02:19:44.491939Z","signed_message":"canonical_sha256_bytes"},"source_id":"1504.00134","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:f0b5e4fc2bbb6c649573aa82f0caa6e9e77a08e2bc7051ba94f8296d855bbf16","sha256:6ffcfa4bd6dd55782928069f73ec213e925e53f82a51e7835ffd7dfac74dc49d"],"state_sha256":"defac4108add4308a9a75a92dfcc00bafd4593afcacf66400b00d3ab71f50d60"}