{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:7W4KXWDPTM4XNEIBY2XW4SFTCF","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":"e0275cf6f78782c416f533b218c0b519a3bbf5c9f74a3762bb93aa0fa665af54","cross_cats_sorted":["math.DG","math.NT"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GT","submitted_at":"2015-04-20T23:33:12Z","title_canon_sha256":"d54436af1c5142432f4c8fa95eb89e7cfe96b6c7e9cb21b0e275891a72001f7d"},"schema_version":"1.0","source":{"id":"1504.05257","kind":"arxiv","version":4}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1504.05257","created_at":"2026-05-18T00:01:01Z"},{"alias_kind":"arxiv_version","alias_value":"1504.05257v4","created_at":"2026-05-18T00:01:01Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1504.05257","created_at":"2026-05-18T00:01:01Z"},{"alias_kind":"pith_short_12","alias_value":"7W4KXWDPTM4X","created_at":"2026-05-18T12:29:10Z"},{"alias_kind":"pith_short_16","alias_value":"7W4KXWDPTM4XNEIB","created_at":"2026-05-18T12:29:10Z"},{"alias_kind":"pith_short_8","alias_value":"7W4KXWDP","created_at":"2026-05-18T12:29:10Z"}],"graph_snapshots":[{"event_id":"sha256:0373115565aad83683a38af2d5582bfa39862573f36c0bdaff6a098c12c90264","target":"graph","created_at":"2026-05-18T00:01:01Z","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":"Our main result is that for all sufficiently large $x_0>0$, the set of commensurability classes of arithmetic hyperbolic 2- or 3-orbifolds with fixed invariant trace field $k$ and systole bounded below by $x_0$ has density one within the set of all commensurability classes of arithmetic hyperbolic 2- or 3-orbifolds with invariant trace field $k$. The proof relies upon bounds for the absolute logarithmic Weil height of algebraic integers due to Silverman, Brindza and Hajdu, as well as precise estimates for the number of rational quaternion algebras not admitting embeddings of any quadratic fiel","authors_text":"Benjamin Linowitz, D. B. McReynolds, Lola Thompson, Paul Pollack","cross_cats":["math.DG","math.NT"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GT","submitted_at":"2015-04-20T23:33:12Z","title":"Systoles of Arithmetic Hyperbolic Surfaces and 3-manifolds"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1504.05257","kind":"arxiv","version":4},"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:889f7dd0150e46767c7bc2ca80aea3e60ca4efb9e6f8cb216d47a585c6ab9e2f","target":"record","created_at":"2026-05-18T00:01:01Z","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":"e0275cf6f78782c416f533b218c0b519a3bbf5c9f74a3762bb93aa0fa665af54","cross_cats_sorted":["math.DG","math.NT"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GT","submitted_at":"2015-04-20T23:33:12Z","title_canon_sha256":"d54436af1c5142432f4c8fa95eb89e7cfe96b6c7e9cb21b0e275891a72001f7d"},"schema_version":"1.0","source":{"id":"1504.05257","kind":"arxiv","version":4}},"canonical_sha256":"fdb8abd86f9b39769101c6af6e48b3114e6bdd94f7c0b4741c513020267e1fe5","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"fdb8abd86f9b39769101c6af6e48b3114e6bdd94f7c0b4741c513020267e1fe5","first_computed_at":"2026-05-18T00:01:01.043640Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:01:01.043640Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"JAuky0t7WwqdY1Ed5eiqTU7djN3L0DbBhgh6E+KKHzcPFr2Y5GVzKdMS1gvptBFfkzl92+hJR7Khjra1zr0eCQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:01:01.044213Z","signed_message":"canonical_sha256_bytes"},"source_id":"1504.05257","source_kind":"arxiv","source_version":4}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:889f7dd0150e46767c7bc2ca80aea3e60ca4efb9e6f8cb216d47a585c6ab9e2f","sha256:0373115565aad83683a38af2d5582bfa39862573f36c0bdaff6a098c12c90264"],"state_sha256":"5bb4230776acb2c5c1c768d729800756177ecc133b131a9980a1c04fc0fd8188"}