{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:COTV7NLDQAOEL4XSQQTDIZNUQY","short_pith_number":"pith:COTV7NLD","canonical_record":{"source":{"id":"1510.01613","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GN","submitted_at":"2015-10-06T15:07:59Z","cross_cats_sorted":["math.FA"],"title_canon_sha256":"e96318e5d4f87125347845e85204e6ace7e53d5bc290b4c80bf4ca0000115e04","abstract_canon_sha256":"f9f3952b56e7a091ab4dea6e4e737d3689a9b0803a49c377ab841f1192063ba9"},"schema_version":"1.0"},"canonical_sha256":"13a75fb563801c45f2f284263465b4860431f2fbd38a336a4d38ceaec3af8095","source":{"kind":"arxiv","id":"1510.01613","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1510.01613","created_at":"2026-05-18T01:30:56Z"},{"alias_kind":"arxiv_version","alias_value":"1510.01613v1","created_at":"2026-05-18T01:30:56Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1510.01613","created_at":"2026-05-18T01:30:56Z"},{"alias_kind":"pith_short_12","alias_value":"COTV7NLDQAOE","created_at":"2026-05-18T12:29:17Z"},{"alias_kind":"pith_short_16","alias_value":"COTV7NLDQAOEL4XS","created_at":"2026-05-18T12:29:17Z"},{"alias_kind":"pith_short_8","alias_value":"COTV7NLD","created_at":"2026-05-18T12:29:17Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:COTV7NLDQAOEL4XSQQTDIZNUQY","target":"record","payload":{"canonical_record":{"source":{"id":"1510.01613","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GN","submitted_at":"2015-10-06T15:07:59Z","cross_cats_sorted":["math.FA"],"title_canon_sha256":"e96318e5d4f87125347845e85204e6ace7e53d5bc290b4c80bf4ca0000115e04","abstract_canon_sha256":"f9f3952b56e7a091ab4dea6e4e737d3689a9b0803a49c377ab841f1192063ba9"},"schema_version":"1.0"},"canonical_sha256":"13a75fb563801c45f2f284263465b4860431f2fbd38a336a4d38ceaec3af8095","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:30:56.466967Z","signature_b64":"97/quDck/seBHiE5amWQo3EWkxt2bVmgotr+Se4PjtV1JRIe7V2yhhJOnx/Yk7XgkdxRCJFQbMvcs4pPA2EOBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"13a75fb563801c45f2f284263465b4860431f2fbd38a336a4d38ceaec3af8095","last_reissued_at":"2026-05-18T01:30:56.466455Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:30:56.466455Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1510.01613","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-05-18T01:30:56Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"89M1gfOwbd4KEqBOkLWJaAwXyK5G6Wb87aopdRJJ7nCgJ3neu/ixQiDxKf9+HxlKLN/S4wB2f8VyJ4eq4IXkCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-24T08:59:35.454369Z"},"content_sha256":"c7b1269e8667986d7076bdbba23882682181153ebb164743a9ec5d3cf9e14f7f","schema_version":"1.0","event_id":"sha256:c7b1269e8667986d7076bdbba23882682181153ebb164743a9ec5d3cf9e14f7f"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:COTV7NLDQAOEL4XSQQTDIZNUQY","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Haar meager sets revisited","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.FA"],"primary_cat":"math.GN","authors_text":"Benjamin Vejnar, Martin Dole\\v{z}al, Martin Rmoutil, V\\'aclav Vlas\\'ak","submitted_at":"2015-10-06T15:07:59Z","abstract_excerpt":"In the present article we investigate Darji's notion of Haar meager sets from several directions. We consider alternative definitions and show that some of them are equivalent to the original one, while others fail to produce interesting notions. We define Haar meager sets in nonabelian Polish groups and show that many results, including the facts that Haar meager sets are meager and form a $\\sigma$-ideal, are valid in the more general setting as well. The article provides various examples distinguishing Haar meager sets from Haar null sets, including decomposition theorems for some subclasses"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1510.01613","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":""},"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-05-18T01:30:56Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"qNQsoK4hlcMC1/Mg65LqCSPSwkD+ZqOuOEeM4P7qLKCCYvnkZ2Lx8WDSnw67sul8zdN5ElscaOe7wn3bXzimDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-24T08:59:35.454727Z"},"content_sha256":"da637d4b838cb4b33cdbffe9155473df37dbd05486fd8bf2fe8997ef08f965ed","schema_version":"1.0","event_id":"sha256:da637d4b838cb4b33cdbffe9155473df37dbd05486fd8bf2fe8997ef08f965ed"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/COTV7NLDQAOEL4XSQQTDIZNUQY/bundle.json","state_url":"https://pith.science/pith/COTV7NLDQAOEL4XSQQTDIZNUQY/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/COTV7NLDQAOEL4XSQQTDIZNUQY/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-06-24T08:59:35Z","links":{"resolver":"https://pith.science/pith/COTV7NLDQAOEL4XSQQTDIZNUQY","bundle":"https://pith.science/pith/COTV7NLDQAOEL4XSQQTDIZNUQY/bundle.json","state":"https://pith.science/pith/COTV7NLDQAOEL4XSQQTDIZNUQY/state.json","well_known_bundle":"https://pith.science/.well-known/pith/COTV7NLDQAOEL4XSQQTDIZNUQY/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:COTV7NLDQAOEL4XSQQTDIZNUQY","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":"f9f3952b56e7a091ab4dea6e4e737d3689a9b0803a49c377ab841f1192063ba9","cross_cats_sorted":["math.FA"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GN","submitted_at":"2015-10-06T15:07:59Z","title_canon_sha256":"e96318e5d4f87125347845e85204e6ace7e53d5bc290b4c80bf4ca0000115e04"},"schema_version":"1.0","source":{"id":"1510.01613","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1510.01613","created_at":"2026-05-18T01:30:56Z"},{"alias_kind":"arxiv_version","alias_value":"1510.01613v1","created_at":"2026-05-18T01:30:56Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1510.01613","created_at":"2026-05-18T01:30:56Z"},{"alias_kind":"pith_short_12","alias_value":"COTV7NLDQAOE","created_at":"2026-05-18T12:29:17Z"},{"alias_kind":"pith_short_16","alias_value":"COTV7NLDQAOEL4XS","created_at":"2026-05-18T12:29:17Z"},{"alias_kind":"pith_short_8","alias_value":"COTV7NLD","created_at":"2026-05-18T12:29:17Z"}],"graph_snapshots":[{"event_id":"sha256:da637d4b838cb4b33cdbffe9155473df37dbd05486fd8bf2fe8997ef08f965ed","target":"graph","created_at":"2026-05-18T01:30:56Z","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":"In the present article we investigate Darji's notion of Haar meager sets from several directions. We consider alternative definitions and show that some of them are equivalent to the original one, while others fail to produce interesting notions. We define Haar meager sets in nonabelian Polish groups and show that many results, including the facts that Haar meager sets are meager and form a $\\sigma$-ideal, are valid in the more general setting as well. The article provides various examples distinguishing Haar meager sets from Haar null sets, including decomposition theorems for some subclasses","authors_text":"Benjamin Vejnar, Martin Dole\\v{z}al, Martin Rmoutil, V\\'aclav Vlas\\'ak","cross_cats":["math.FA"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GN","submitted_at":"2015-10-06T15:07:59Z","title":"Haar meager sets revisited"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1510.01613","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:c7b1269e8667986d7076bdbba23882682181153ebb164743a9ec5d3cf9e14f7f","target":"record","created_at":"2026-05-18T01:30:56Z","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":"f9f3952b56e7a091ab4dea6e4e737d3689a9b0803a49c377ab841f1192063ba9","cross_cats_sorted":["math.FA"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GN","submitted_at":"2015-10-06T15:07:59Z","title_canon_sha256":"e96318e5d4f87125347845e85204e6ace7e53d5bc290b4c80bf4ca0000115e04"},"schema_version":"1.0","source":{"id":"1510.01613","kind":"arxiv","version":1}},"canonical_sha256":"13a75fb563801c45f2f284263465b4860431f2fbd38a336a4d38ceaec3af8095","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"13a75fb563801c45f2f284263465b4860431f2fbd38a336a4d38ceaec3af8095","first_computed_at":"2026-05-18T01:30:56.466455Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:30:56.466455Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"97/quDck/seBHiE5amWQo3EWkxt2bVmgotr+Se4PjtV1JRIe7V2yhhJOnx/Yk7XgkdxRCJFQbMvcs4pPA2EOBg==","signature_status":"signed_v1","signed_at":"2026-05-18T01:30:56.466967Z","signed_message":"canonical_sha256_bytes"},"source_id":"1510.01613","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:c7b1269e8667986d7076bdbba23882682181153ebb164743a9ec5d3cf9e14f7f","sha256:da637d4b838cb4b33cdbffe9155473df37dbd05486fd8bf2fe8997ef08f965ed"],"state_sha256":"57d661bf5f1c92d11f4e85e6e8e5cc9ff3df54fb8714f601ee5e5a620a141859"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"dnpFWFXpDFkIIGCVjePioQs/ikcjomn/BzOfS0ZBhSLIF1UXALF4lv8h9QWMYkjVOuY9PpmSyCe7dwicW+60Ag==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-24T08:59:35.456769Z","bundle_sha256":"2a598c0626aba0244c0af3b64fd0362d742563a75d32d59d3ec54bdc37cc24b7"}}