{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:2DLJBGZIOHJWJ6MVHUJB6TUTML","short_pith_number":"pith:2DLJBGZI","canonical_record":{"source":{"id":"1612.08215","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DS","submitted_at":"2016-12-24T18:49:14Z","cross_cats_sorted":["math.NT"],"title_canon_sha256":"93340bf213102345155622f94da8733c4e41dc2ccd01e495b4ceb1fe4a5fe508","abstract_canon_sha256":"6045c7c5b373de4aa0687742746193c0f03c6539d16c58dbe240acb54c6f70ba"},"schema_version":"1.0"},"canonical_sha256":"d0d6909b2871d364f9953d121f4e9362d98aac25dbff9d18ab7fa6778f5a6429","source":{"kind":"arxiv","id":"1612.08215","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1612.08215","created_at":"2026-05-18T00:53:57Z"},{"alias_kind":"arxiv_version","alias_value":"1612.08215v1","created_at":"2026-05-18T00:53:57Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1612.08215","created_at":"2026-05-18T00:53:57Z"},{"alias_kind":"pith_short_12","alias_value":"2DLJBGZIOHJW","created_at":"2026-05-18T12:29:55Z"},{"alias_kind":"pith_short_16","alias_value":"2DLJBGZIOHJWJ6MV","created_at":"2026-05-18T12:29:55Z"},{"alias_kind":"pith_short_8","alias_value":"2DLJBGZI","created_at":"2026-05-18T12:29:55Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:2DLJBGZIOHJWJ6MVHUJB6TUTML","target":"record","payload":{"canonical_record":{"source":{"id":"1612.08215","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DS","submitted_at":"2016-12-24T18:49:14Z","cross_cats_sorted":["math.NT"],"title_canon_sha256":"93340bf213102345155622f94da8733c4e41dc2ccd01e495b4ceb1fe4a5fe508","abstract_canon_sha256":"6045c7c5b373de4aa0687742746193c0f03c6539d16c58dbe240acb54c6f70ba"},"schema_version":"1.0"},"canonical_sha256":"d0d6909b2871d364f9953d121f4e9362d98aac25dbff9d18ab7fa6778f5a6429","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:53:57.249149Z","signature_b64":"1Ylcqr/wLv5d9TuoXG9fIM/pnNHp61Q34U5+mE98QY+7PcRtAVvQuAU2TPHkp6eNP3WPii3FeQuliTQ9okHwCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"d0d6909b2871d364f9953d121f4e9362d98aac25dbff9d18ab7fa6778f5a6429","last_reissued_at":"2026-05-18T00:53:57.248670Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:53:57.248670Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1612.08215","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-18T00:53:57Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"4xcKs2z4dbHlVckAPwZ1pgnJAnNONmM0WM9LDABuyGM7URc7dZSOwccaC1jEkZoFXTf7LZfRelHoWiUp/Ys9CA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-23T14:52:44.513054Z"},"content_sha256":"af0c4fc8cfb03bc26274109d8e98c75a1a7f823f0a8473edbabe33a8e2ba2270","schema_version":"1.0","event_id":"sha256:af0c4fc8cfb03bc26274109d8e98c75a1a7f823f0a8473edbabe33a8e2ba2270"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:2DLJBGZIOHJWJ6MVHUJB6TUTML","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Horospherical coordinates of lattice points in hyperbolic space: effective counting and equidistribution","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.NT"],"primary_cat":"math.DS","authors_text":"Amos Nevo, Tal Horesh","submitted_at":"2016-12-24T18:49:14Z","abstract_excerpt":"We establish effective counting and equidistribution results for lattice points in families of domains in hyperbolic spaces, of any dimension and over any field. The domains we focus on are defined as product sets with respect to the Iwasawa decomposition. Several classical Diophantine problems can be reduced to counting lattice points in such domains, including distribution of shortest solution to the gcd equation, and angular distribution of primitive vectors in the plane. We give an explicit and effective solution to these problems, and extend them to imaginary quadratic number fields. Furt"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1612.08215","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-18T00:53:57Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"kUiggfoNTO8K77xyNUTf7HiXZKFO5LfsuDArMXnekPB/ztEP+WkMtgHaqujX+ASxnpqEsPgNY4+C5KiuRh/nCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-23T14:52:44.513440Z"},"content_sha256":"fa8ccd7caa87d47ab363d1ca6f6cd87c92837389a364a4ef395fe72dbd9eaa93","schema_version":"1.0","event_id":"sha256:fa8ccd7caa87d47ab363d1ca6f6cd87c92837389a364a4ef395fe72dbd9eaa93"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/2DLJBGZIOHJWJ6MVHUJB6TUTML/bundle.json","state_url":"https://pith.science/pith/2DLJBGZIOHJWJ6MVHUJB6TUTML/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/2DLJBGZIOHJWJ6MVHUJB6TUTML/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-23T14:52:44Z","links":{"resolver":"https://pith.science/pith/2DLJBGZIOHJWJ6MVHUJB6TUTML","bundle":"https://pith.science/pith/2DLJBGZIOHJWJ6MVHUJB6TUTML/bundle.json","state":"https://pith.science/pith/2DLJBGZIOHJWJ6MVHUJB6TUTML/state.json","well_known_bundle":"https://pith.science/.well-known/pith/2DLJBGZIOHJWJ6MVHUJB6TUTML/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:2DLJBGZIOHJWJ6MVHUJB6TUTML","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":"6045c7c5b373de4aa0687742746193c0f03c6539d16c58dbe240acb54c6f70ba","cross_cats_sorted":["math.NT"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DS","submitted_at":"2016-12-24T18:49:14Z","title_canon_sha256":"93340bf213102345155622f94da8733c4e41dc2ccd01e495b4ceb1fe4a5fe508"},"schema_version":"1.0","source":{"id":"1612.08215","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1612.08215","created_at":"2026-05-18T00:53:57Z"},{"alias_kind":"arxiv_version","alias_value":"1612.08215v1","created_at":"2026-05-18T00:53:57Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1612.08215","created_at":"2026-05-18T00:53:57Z"},{"alias_kind":"pith_short_12","alias_value":"2DLJBGZIOHJW","created_at":"2026-05-18T12:29:55Z"},{"alias_kind":"pith_short_16","alias_value":"2DLJBGZIOHJWJ6MV","created_at":"2026-05-18T12:29:55Z"},{"alias_kind":"pith_short_8","alias_value":"2DLJBGZI","created_at":"2026-05-18T12:29:55Z"}],"graph_snapshots":[{"event_id":"sha256:fa8ccd7caa87d47ab363d1ca6f6cd87c92837389a364a4ef395fe72dbd9eaa93","target":"graph","created_at":"2026-05-18T00:53:57Z","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 establish effective counting and equidistribution results for lattice points in families of domains in hyperbolic spaces, of any dimension and over any field. The domains we focus on are defined as product sets with respect to the Iwasawa decomposition. Several classical Diophantine problems can be reduced to counting lattice points in such domains, including distribution of shortest solution to the gcd equation, and angular distribution of primitive vectors in the plane. We give an explicit and effective solution to these problems, and extend them to imaginary quadratic number fields. Furt","authors_text":"Amos Nevo, Tal Horesh","cross_cats":["math.NT"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DS","submitted_at":"2016-12-24T18:49:14Z","title":"Horospherical coordinates of lattice points in hyperbolic space: effective counting and equidistribution"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1612.08215","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:af0c4fc8cfb03bc26274109d8e98c75a1a7f823f0a8473edbabe33a8e2ba2270","target":"record","created_at":"2026-05-18T00:53:57Z","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":"6045c7c5b373de4aa0687742746193c0f03c6539d16c58dbe240acb54c6f70ba","cross_cats_sorted":["math.NT"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DS","submitted_at":"2016-12-24T18:49:14Z","title_canon_sha256":"93340bf213102345155622f94da8733c4e41dc2ccd01e495b4ceb1fe4a5fe508"},"schema_version":"1.0","source":{"id":"1612.08215","kind":"arxiv","version":1}},"canonical_sha256":"d0d6909b2871d364f9953d121f4e9362d98aac25dbff9d18ab7fa6778f5a6429","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"d0d6909b2871d364f9953d121f4e9362d98aac25dbff9d18ab7fa6778f5a6429","first_computed_at":"2026-05-18T00:53:57.248670Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:53:57.248670Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"1Ylcqr/wLv5d9TuoXG9fIM/pnNHp61Q34U5+mE98QY+7PcRtAVvQuAU2TPHkp6eNP3WPii3FeQuliTQ9okHwCw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:53:57.249149Z","signed_message":"canonical_sha256_bytes"},"source_id":"1612.08215","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:af0c4fc8cfb03bc26274109d8e98c75a1a7f823f0a8473edbabe33a8e2ba2270","sha256:fa8ccd7caa87d47ab363d1ca6f6cd87c92837389a364a4ef395fe72dbd9eaa93"],"state_sha256":"2002984323d2f1a3bfb81260ca009af079ed245db1eecc5ec1e54e57b28c8fce"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"2xzOSIE4RP1+BgDs70FsJpyamQjF5raYE54gVDoVrkk71fY3/Lj8USMM9A4JcfMA4h+8K3jy2nOYWi5dFbg5Dw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-23T14:52:44.515640Z","bundle_sha256":"c1ebcf853e8d38705cc5cc52ac8da583caa434829a411d0e85e6a4e5a9fb10db"}}