{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:5BMGS2QTJ6D2Z6LQAD6AXSZCFF","short_pith_number":"pith:5BMGS2QT","canonical_record":{"source":{"id":"1511.02082","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NT","submitted_at":"2015-11-06T14:05:03Z","cross_cats_sorted":[],"title_canon_sha256":"2b967be441a2e58513a651079fae7719867654e92a1e8390713adbf78eab0110","abstract_canon_sha256":"5208f4ff8698b9d2a4aa0fd504b649692c8b6ca5d390aa78eb8b1d4e6b602349"},"schema_version":"1.0"},"canonical_sha256":"e858696a134f87acf97000fc0bcb22297d4d3fd680cc40ec28fa2f16b1234e22","source":{"kind":"arxiv","id":"1511.02082","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1511.02082","created_at":"2026-05-18T01:11:18Z"},{"alias_kind":"arxiv_version","alias_value":"1511.02082v2","created_at":"2026-05-18T01:11:18Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1511.02082","created_at":"2026-05-18T01:11:18Z"},{"alias_kind":"pith_short_12","alias_value":"5BMGS2QTJ6D2","created_at":"2026-05-18T12:29:05Z"},{"alias_kind":"pith_short_16","alias_value":"5BMGS2QTJ6D2Z6LQ","created_at":"2026-05-18T12:29:05Z"},{"alias_kind":"pith_short_8","alias_value":"5BMGS2QT","created_at":"2026-05-18T12:29:05Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:5BMGS2QTJ6D2Z6LQAD6AXSZCFF","target":"record","payload":{"canonical_record":{"source":{"id":"1511.02082","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NT","submitted_at":"2015-11-06T14:05:03Z","cross_cats_sorted":[],"title_canon_sha256":"2b967be441a2e58513a651079fae7719867654e92a1e8390713adbf78eab0110","abstract_canon_sha256":"5208f4ff8698b9d2a4aa0fd504b649692c8b6ca5d390aa78eb8b1d4e6b602349"},"schema_version":"1.0"},"canonical_sha256":"e858696a134f87acf97000fc0bcb22297d4d3fd680cc40ec28fa2f16b1234e22","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:11:18.010943Z","signature_b64":"Lezc4DZKbWFn5SP2/NKkLXl2RhTLpPrJAyBSvw/Mu/wwLGvRrkxhrIKZW15nebUKAu3pskYtthWeUK5mpqw2Bw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"e858696a134f87acf97000fc0bcb22297d4d3fd680cc40ec28fa2f16b1234e22","last_reissued_at":"2026-05-18T01:11:18.010428Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:11:18.010428Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1511.02082","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-18T01:11:18Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Hw8W9oDjgrhCmJfmmgQ9ARLQE855j4inx9nU9qZqi/NaqvKqQghUVleuN2eheTEp47TGH0xEE2yLBJWzzNwZCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-22T22:17:01.014239Z"},"content_sha256":"c3c9a89a036ec8562895e0b9a2a5051d85db0517acb881fe191f8752ffc24e8e","schema_version":"1.0","event_id":"sha256:c3c9a89a036ec8562895e0b9a2a5051d85db0517acb881fe191f8752ffc24e8e"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:5BMGS2QTJ6D2Z6LQAD6AXSZCFF","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"On sign changes of cusp forms and the halting of an algorithm to construct a supersingular elliptic curve with a given endomorphism ring","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.NT","authors_text":"Ben Kane, King Cheong Fung","submitted_at":"2015-11-06T14:05:03Z","abstract_excerpt":"Chevyrev and Galbraith recently devised an algorithm which inputs a maximal order of the quaternion algebra ramified at one prime and infinity and constructs a supersingular elliptic curve whose endomorphism ring is precisely this maximal order. They proved that their algorithm is correct whenever it halts, but did not show that it always terminates. They did however prove that the algorithm halts under a reasonable assumption which they conjectured to be true. It is the purpose of this paper to verify their conjecture and in turn prove that their algorithm always halts.\n  More precisely, Chev"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1511.02082","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-18T01:11:18Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"oafJ3RIjIYDBs1WWRlPtsPfXJwmx8S2VeJjKDRx80GPY6hno2HDZl36HE/VUDBfRIxL0xnVvX8pbZgzjkEEfAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-22T22:17:01.014984Z"},"content_sha256":"58b825300a6151cb8d455731b72c5ee8560bc257af86b737cc92690a63bf473d","schema_version":"1.0","event_id":"sha256:58b825300a6151cb8d455731b72c5ee8560bc257af86b737cc92690a63bf473d"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/5BMGS2QTJ6D2Z6LQAD6AXSZCFF/bundle.json","state_url":"https://pith.science/pith/5BMGS2QTJ6D2Z6LQAD6AXSZCFF/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/5BMGS2QTJ6D2Z6LQAD6AXSZCFF/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-05-22T22:17:01Z","links":{"resolver":"https://pith.science/pith/5BMGS2QTJ6D2Z6LQAD6AXSZCFF","bundle":"https://pith.science/pith/5BMGS2QTJ6D2Z6LQAD6AXSZCFF/bundle.json","state":"https://pith.science/pith/5BMGS2QTJ6D2Z6LQAD6AXSZCFF/state.json","well_known_bundle":"https://pith.science/.well-known/pith/5BMGS2QTJ6D2Z6LQAD6AXSZCFF/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:5BMGS2QTJ6D2Z6LQAD6AXSZCFF","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":"5208f4ff8698b9d2a4aa0fd504b649692c8b6ca5d390aa78eb8b1d4e6b602349","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NT","submitted_at":"2015-11-06T14:05:03Z","title_canon_sha256":"2b967be441a2e58513a651079fae7719867654e92a1e8390713adbf78eab0110"},"schema_version":"1.0","source":{"id":"1511.02082","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1511.02082","created_at":"2026-05-18T01:11:18Z"},{"alias_kind":"arxiv_version","alias_value":"1511.02082v2","created_at":"2026-05-18T01:11:18Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1511.02082","created_at":"2026-05-18T01:11:18Z"},{"alias_kind":"pith_short_12","alias_value":"5BMGS2QTJ6D2","created_at":"2026-05-18T12:29:05Z"},{"alias_kind":"pith_short_16","alias_value":"5BMGS2QTJ6D2Z6LQ","created_at":"2026-05-18T12:29:05Z"},{"alias_kind":"pith_short_8","alias_value":"5BMGS2QT","created_at":"2026-05-18T12:29:05Z"}],"graph_snapshots":[{"event_id":"sha256:58b825300a6151cb8d455731b72c5ee8560bc257af86b737cc92690a63bf473d","target":"graph","created_at":"2026-05-18T01:11:18Z","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":"Chevyrev and Galbraith recently devised an algorithm which inputs a maximal order of the quaternion algebra ramified at one prime and infinity and constructs a supersingular elliptic curve whose endomorphism ring is precisely this maximal order. They proved that their algorithm is correct whenever it halts, but did not show that it always terminates. They did however prove that the algorithm halts under a reasonable assumption which they conjectured to be true. It is the purpose of this paper to verify their conjecture and in turn prove that their algorithm always halts.\n  More precisely, Chev","authors_text":"Ben Kane, King Cheong Fung","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NT","submitted_at":"2015-11-06T14:05:03Z","title":"On sign changes of cusp forms and the halting of an algorithm to construct a supersingular elliptic curve with a given endomorphism ring"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1511.02082","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:c3c9a89a036ec8562895e0b9a2a5051d85db0517acb881fe191f8752ffc24e8e","target":"record","created_at":"2026-05-18T01:11:18Z","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":"5208f4ff8698b9d2a4aa0fd504b649692c8b6ca5d390aa78eb8b1d4e6b602349","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NT","submitted_at":"2015-11-06T14:05:03Z","title_canon_sha256":"2b967be441a2e58513a651079fae7719867654e92a1e8390713adbf78eab0110"},"schema_version":"1.0","source":{"id":"1511.02082","kind":"arxiv","version":2}},"canonical_sha256":"e858696a134f87acf97000fc0bcb22297d4d3fd680cc40ec28fa2f16b1234e22","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"e858696a134f87acf97000fc0bcb22297d4d3fd680cc40ec28fa2f16b1234e22","first_computed_at":"2026-05-18T01:11:18.010428Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:11:18.010428Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Lezc4DZKbWFn5SP2/NKkLXl2RhTLpPrJAyBSvw/Mu/wwLGvRrkxhrIKZW15nebUKAu3pskYtthWeUK5mpqw2Bw==","signature_status":"signed_v1","signed_at":"2026-05-18T01:11:18.010943Z","signed_message":"canonical_sha256_bytes"},"source_id":"1511.02082","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:c3c9a89a036ec8562895e0b9a2a5051d85db0517acb881fe191f8752ffc24e8e","sha256:58b825300a6151cb8d455731b72c5ee8560bc257af86b737cc92690a63bf473d"],"state_sha256":"1d168b7803c13079503527c42ebf95c6bb0db9e621058ace4b9f1c93e1d83070"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"56ETx1aojCTDICfV13HSP2p/LzD8ePixyGcEnXGujycHCMptVfthV9OYbXXJaLqNUhnf/crDoO94U4V82sBUDw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-22T22:17:01.019181Z","bundle_sha256":"a8b175ee4777682b6f736a7ee1859b392ab64f51add7e90ae3fbcc6f00f02d41"}}