{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:GBFQDFOVS26XOPVBQP74RUNFCP","short_pith_number":"pith:GBFQDFOV","canonical_record":{"source":{"id":"1609.02865","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.GN","submitted_at":"2016-09-09T17:23:04Z","cross_cats_sorted":[],"title_canon_sha256":"9e0df377ea1f34d25793fb526f3427e9b9c263b6b3357aa7c2c39a116585551e","abstract_canon_sha256":"6d7e7c632658ab657adea16d4b31a07783e2bb57e7a03c83dbb0812659691d37"},"schema_version":"1.0"},"canonical_sha256":"304b0195d596bd773ea183ffc8d1a513ee671b22c85c01e979708dccf751ebf7","source":{"kind":"arxiv","id":"1609.02865","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1609.02865","created_at":"2026-05-18T00:57:37Z"},{"alias_kind":"arxiv_version","alias_value":"1609.02865v2","created_at":"2026-05-18T00:57:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1609.02865","created_at":"2026-05-18T00:57:37Z"},{"alias_kind":"pith_short_12","alias_value":"GBFQDFOVS26X","created_at":"2026-05-18T12:30:15Z"},{"alias_kind":"pith_short_16","alias_value":"GBFQDFOVS26XOPVB","created_at":"2026-05-18T12:30:15Z"},{"alias_kind":"pith_short_8","alias_value":"GBFQDFOV","created_at":"2026-05-18T12:30:15Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:GBFQDFOVS26XOPVBQP74RUNFCP","target":"record","payload":{"canonical_record":{"source":{"id":"1609.02865","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.GN","submitted_at":"2016-09-09T17:23:04Z","cross_cats_sorted":[],"title_canon_sha256":"9e0df377ea1f34d25793fb526f3427e9b9c263b6b3357aa7c2c39a116585551e","abstract_canon_sha256":"6d7e7c632658ab657adea16d4b31a07783e2bb57e7a03c83dbb0812659691d37"},"schema_version":"1.0"},"canonical_sha256":"304b0195d596bd773ea183ffc8d1a513ee671b22c85c01e979708dccf751ebf7","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:57:37.456059Z","signature_b64":"7nGmFXgcP0e+L8OAsRUPEQ9A7OH6MDKefEUW2OPcpZVRyOq2IGxcfRwf4P9r3KzXeSFurW5fX6TMgXgDtAZdAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"304b0195d596bd773ea183ffc8d1a513ee671b22c85c01e979708dccf751ebf7","last_reissued_at":"2026-05-18T00:57:37.455355Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:57:37.455355Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1609.02865","source_version":2,"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-18T00:57:37Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"C6etmAHF0VnuwlEryYAl9HZ50ZZaEH/UBqMGxkp5xS2yKhFxn+CiP7+fVR5iLJuzS/9pz8m2/8usJq3HdA5ACQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-01T16:34:21.718100Z"},"content_sha256":"0ac278ab4083954b6289d48662587515ec9f4d311aafe4366f3dfb0ac9e3a88a","schema_version":"1.0","event_id":"sha256:0ac278ab4083954b6289d48662587515ec9f4d311aafe4366f3dfb0ac9e3a88a"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:GBFQDFOVS26XOPVBQP74RUNFCP","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Classifying locally compact semitopological polycyclic monoids","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"math.GN","authors_text":"Serhii Bardyla","submitted_at":"2016-09-09T17:23:04Z","abstract_excerpt":"We present a complete classification of Hausdorff locally compact polycyclic monoids up to a topological isomorphism. A {\\em polycyclic monoid} is an inverse monoid with zero, generated by a subset $\\Lambda$ such that $xx^{-1}=1$ for any $x\\in\\Lambda$ and $xy^{-1}=0$ for any distinct $x,y\\in\\Lambda$. We prove that any non-discrete Hausdorff locally compact topology with continuous shifts on a polycyclic monoid $M$ coincides with the topology of one-point compactification of the discrete space $M\\setminus\\{0\\}$."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1609.02865","kind":"arxiv","version":2},"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-18T00:57:37Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"KOIExJifegPef7Ql+WgnU3vkFLMcXrPP8hFXns2mjCRf/typwD3mLFgZnxsc/WMwGHYOTE2SPXZtFfKVv3T4AA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-01T16:34:21.718499Z"},"content_sha256":"4305f435d596dd3e2ef60d828f83c593333b5cb7532422f37e5f3138b3764bd2","schema_version":"1.0","event_id":"sha256:4305f435d596dd3e2ef60d828f83c593333b5cb7532422f37e5f3138b3764bd2"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/GBFQDFOVS26XOPVBQP74RUNFCP/bundle.json","state_url":"https://pith.science/pith/GBFQDFOVS26XOPVBQP74RUNFCP/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/GBFQDFOVS26XOPVBQP74RUNFCP/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-07-01T16:34:21Z","links":{"resolver":"https://pith.science/pith/GBFQDFOVS26XOPVBQP74RUNFCP","bundle":"https://pith.science/pith/GBFQDFOVS26XOPVBQP74RUNFCP/bundle.json","state":"https://pith.science/pith/GBFQDFOVS26XOPVBQP74RUNFCP/state.json","well_known_bundle":"https://pith.science/.well-known/pith/GBFQDFOVS26XOPVBQP74RUNFCP/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:GBFQDFOVS26XOPVBQP74RUNFCP","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":"6d7e7c632658ab657adea16d4b31a07783e2bb57e7a03c83dbb0812659691d37","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.GN","submitted_at":"2016-09-09T17:23:04Z","title_canon_sha256":"9e0df377ea1f34d25793fb526f3427e9b9c263b6b3357aa7c2c39a116585551e"},"schema_version":"1.0","source":{"id":"1609.02865","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1609.02865","created_at":"2026-05-18T00:57:37Z"},{"alias_kind":"arxiv_version","alias_value":"1609.02865v2","created_at":"2026-05-18T00:57:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1609.02865","created_at":"2026-05-18T00:57:37Z"},{"alias_kind":"pith_short_12","alias_value":"GBFQDFOVS26X","created_at":"2026-05-18T12:30:15Z"},{"alias_kind":"pith_short_16","alias_value":"GBFQDFOVS26XOPVB","created_at":"2026-05-18T12:30:15Z"},{"alias_kind":"pith_short_8","alias_value":"GBFQDFOV","created_at":"2026-05-18T12:30:15Z"}],"graph_snapshots":[{"event_id":"sha256:4305f435d596dd3e2ef60d828f83c593333b5cb7532422f37e5f3138b3764bd2","target":"graph","created_at":"2026-05-18T00:57:37Z","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":"We present a complete classification of Hausdorff locally compact polycyclic monoids up to a topological isomorphism. A {\\em polycyclic monoid} is an inverse monoid with zero, generated by a subset $\\Lambda$ such that $xx^{-1}=1$ for any $x\\in\\Lambda$ and $xy^{-1}=0$ for any distinct $x,y\\in\\Lambda$. We prove that any non-discrete Hausdorff locally compact topology with continuous shifts on a polycyclic monoid $M$ coincides with the topology of one-point compactification of the discrete space $M\\setminus\\{0\\}$.","authors_text":"Serhii Bardyla","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.GN","submitted_at":"2016-09-09T17:23:04Z","title":"Classifying locally compact semitopological polycyclic monoids"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1609.02865","kind":"arxiv","version":2},"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:0ac278ab4083954b6289d48662587515ec9f4d311aafe4366f3dfb0ac9e3a88a","target":"record","created_at":"2026-05-18T00:57:37Z","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":"6d7e7c632658ab657adea16d4b31a07783e2bb57e7a03c83dbb0812659691d37","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.GN","submitted_at":"2016-09-09T17:23:04Z","title_canon_sha256":"9e0df377ea1f34d25793fb526f3427e9b9c263b6b3357aa7c2c39a116585551e"},"schema_version":"1.0","source":{"id":"1609.02865","kind":"arxiv","version":2}},"canonical_sha256":"304b0195d596bd773ea183ffc8d1a513ee671b22c85c01e979708dccf751ebf7","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"304b0195d596bd773ea183ffc8d1a513ee671b22c85c01e979708dccf751ebf7","first_computed_at":"2026-05-18T00:57:37.455355Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:57:37.455355Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"7nGmFXgcP0e+L8OAsRUPEQ9A7OH6MDKefEUW2OPcpZVRyOq2IGxcfRwf4P9r3KzXeSFurW5fX6TMgXgDtAZdAg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:57:37.456059Z","signed_message":"canonical_sha256_bytes"},"source_id":"1609.02865","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:0ac278ab4083954b6289d48662587515ec9f4d311aafe4366f3dfb0ac9e3a88a","sha256:4305f435d596dd3e2ef60d828f83c593333b5cb7532422f37e5f3138b3764bd2"],"state_sha256":"7585c8dbbac5a8b8fcf0d32c1fe92dddb8f24beb7513786c595e5017f9f541ce"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"A5F/bRbcKGsLeWLvjBzUkprXNlV4PnvIwPK/g9kcvlDScYGSuHR2YL8Ofkr06Z8o+7ATbjOKMcNlBKkoYgzGBA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-01T16:34:21.720484Z","bundle_sha256":"2df53a9e72cbdde0ab778d540d2cf7e1f50577d26b35b5f9e84324a1ea104cea"}}