{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2010:L4Y6FMTMVOXZTSMAAHZ6I56CZZ","short_pith_number":"pith:L4Y6FMTM","canonical_record":{"source":{"id":"1009.4826","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NT","submitted_at":"2010-09-24T12:53:53Z","cross_cats_sorted":[],"title_canon_sha256":"b3e5334a973e474a259dc9c6ae72bd7546ddcddd79577c803ae02c29566a29ae","abstract_canon_sha256":"831d65886cbd1049007f6fa6dfbce5dcdfbf90a2c39c32d196708d0cc106cf3a"},"schema_version":"1.0"},"canonical_sha256":"5f31e2b26cabaf99c98001f3e477c2ce73ed9f962ec40f7b6a75bd694f777f0f","source":{"kind":"arxiv","id":"1009.4826","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1009.4826","created_at":"2026-05-18T04:16:20Z"},{"alias_kind":"arxiv_version","alias_value":"1009.4826v2","created_at":"2026-05-18T04:16:20Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1009.4826","created_at":"2026-05-18T04:16:20Z"},{"alias_kind":"pith_short_12","alias_value":"L4Y6FMTMVOXZ","created_at":"2026-05-18T12:26:10Z"},{"alias_kind":"pith_short_16","alias_value":"L4Y6FMTMVOXZTSMA","created_at":"2026-05-18T12:26:10Z"},{"alias_kind":"pith_short_8","alias_value":"L4Y6FMTM","created_at":"2026-05-18T12:26:10Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2010:L4Y6FMTMVOXZTSMAAHZ6I56CZZ","target":"record","payload":{"canonical_record":{"source":{"id":"1009.4826","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NT","submitted_at":"2010-09-24T12:53:53Z","cross_cats_sorted":[],"title_canon_sha256":"b3e5334a973e474a259dc9c6ae72bd7546ddcddd79577c803ae02c29566a29ae","abstract_canon_sha256":"831d65886cbd1049007f6fa6dfbce5dcdfbf90a2c39c32d196708d0cc106cf3a"},"schema_version":"1.0"},"canonical_sha256":"5f31e2b26cabaf99c98001f3e477c2ce73ed9f962ec40f7b6a75bd694f777f0f","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:16:20.592812Z","signature_b64":"FKzHKddP6OzXp9W6P0cPY0MgPg6NluTtmepx2Jj+MUd2NKumvfmYyS9Q2LruXcyfoqgvGy0yXsbCQmmXNj/kDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"5f31e2b26cabaf99c98001f3e477c2ce73ed9f962ec40f7b6a75bd694f777f0f","last_reissued_at":"2026-05-18T04:16:20.592203Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:16:20.592203Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1009.4826","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-18T04:16:20Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"9SBNyDNbTAt7sY8RD1lSOlg0fPOO/XkiduQl8+JW5UDCBrg0iQMF5iHWRrAtDtUbtjZs737mnGgYR/84ziTSBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-26T05:14:51.210827Z"},"content_sha256":"e0c44b0c72f5bddfca02e86e34fbd7bc6fb2141d636a984024ec11b3647e7ecc","schema_version":"1.0","event_id":"sha256:e0c44b0c72f5bddfca02e86e34fbd7bc6fb2141d636a984024ec11b3647e7ecc"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2010:L4Y6FMTMVOXZTSMAAHZ6I56CZZ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Natural Density Distribution of Hermite Normal Forms of Integer Matrices","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.NT","authors_text":"Gerard Maze","submitted_at":"2010-09-24T12:53:53Z","abstract_excerpt":"The Hermite Normal Form (HNF) is a canonical representation of matrices over any principal ideal domain. Over the integers, the distribution of the HNFs of randomly looking matrices is far from uniform. The aim of this article is to present an explicit computation of this distribution together with some applications. More precisely, for integer matrices whose entries are upper bounded in absolute value by a large bound, we compute the asymptotic number of such matrices whose HNF has a prescribed diagonal structure. We apply these results to the analysis of some procedures and algorithms whose "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1009.4826","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-18T04:16:20Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"dfYZBEAlt1IQ97AGYaY6GT9KOGs3C2U4EDzHZobAHC8WHXsQ+iEkwNPAsmG14ZGMVOBNXIPw/VGkOrb04JlXAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-26T05:14:51.211453Z"},"content_sha256":"1e1005b41f5d59d268ef8fc84fbcb7c086c80bde5bc60c8e670c6a3a7a7f8633","schema_version":"1.0","event_id":"sha256:1e1005b41f5d59d268ef8fc84fbcb7c086c80bde5bc60c8e670c6a3a7a7f8633"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/L4Y6FMTMVOXZTSMAAHZ6I56CZZ/bundle.json","state_url":"https://pith.science/pith/L4Y6FMTMVOXZTSMAAHZ6I56CZZ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/L4Y6FMTMVOXZTSMAAHZ6I56CZZ/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-26T05:14:51Z","links":{"resolver":"https://pith.science/pith/L4Y6FMTMVOXZTSMAAHZ6I56CZZ","bundle":"https://pith.science/pith/L4Y6FMTMVOXZTSMAAHZ6I56CZZ/bundle.json","state":"https://pith.science/pith/L4Y6FMTMVOXZTSMAAHZ6I56CZZ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/L4Y6FMTMVOXZTSMAAHZ6I56CZZ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2010:L4Y6FMTMVOXZTSMAAHZ6I56CZZ","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":"831d65886cbd1049007f6fa6dfbce5dcdfbf90a2c39c32d196708d0cc106cf3a","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NT","submitted_at":"2010-09-24T12:53:53Z","title_canon_sha256":"b3e5334a973e474a259dc9c6ae72bd7546ddcddd79577c803ae02c29566a29ae"},"schema_version":"1.0","source":{"id":"1009.4826","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1009.4826","created_at":"2026-05-18T04:16:20Z"},{"alias_kind":"arxiv_version","alias_value":"1009.4826v2","created_at":"2026-05-18T04:16:20Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1009.4826","created_at":"2026-05-18T04:16:20Z"},{"alias_kind":"pith_short_12","alias_value":"L4Y6FMTMVOXZ","created_at":"2026-05-18T12:26:10Z"},{"alias_kind":"pith_short_16","alias_value":"L4Y6FMTMVOXZTSMA","created_at":"2026-05-18T12:26:10Z"},{"alias_kind":"pith_short_8","alias_value":"L4Y6FMTM","created_at":"2026-05-18T12:26:10Z"}],"graph_snapshots":[{"event_id":"sha256:1e1005b41f5d59d268ef8fc84fbcb7c086c80bde5bc60c8e670c6a3a7a7f8633","target":"graph","created_at":"2026-05-18T04:16:20Z","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":"The Hermite Normal Form (HNF) is a canonical representation of matrices over any principal ideal domain. Over the integers, the distribution of the HNFs of randomly looking matrices is far from uniform. The aim of this article is to present an explicit computation of this distribution together with some applications. More precisely, for integer matrices whose entries are upper bounded in absolute value by a large bound, we compute the asymptotic number of such matrices whose HNF has a prescribed diagonal structure. We apply these results to the analysis of some procedures and algorithms whose ","authors_text":"Gerard Maze","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NT","submitted_at":"2010-09-24T12:53:53Z","title":"Natural Density Distribution of Hermite Normal Forms of Integer Matrices"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1009.4826","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:e0c44b0c72f5bddfca02e86e34fbd7bc6fb2141d636a984024ec11b3647e7ecc","target":"record","created_at":"2026-05-18T04:16:20Z","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":"831d65886cbd1049007f6fa6dfbce5dcdfbf90a2c39c32d196708d0cc106cf3a","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NT","submitted_at":"2010-09-24T12:53:53Z","title_canon_sha256":"b3e5334a973e474a259dc9c6ae72bd7546ddcddd79577c803ae02c29566a29ae"},"schema_version":"1.0","source":{"id":"1009.4826","kind":"arxiv","version":2}},"canonical_sha256":"5f31e2b26cabaf99c98001f3e477c2ce73ed9f962ec40f7b6a75bd694f777f0f","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"5f31e2b26cabaf99c98001f3e477c2ce73ed9f962ec40f7b6a75bd694f777f0f","first_computed_at":"2026-05-18T04:16:20.592203Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:16:20.592203Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"FKzHKddP6OzXp9W6P0cPY0MgPg6NluTtmepx2Jj+MUd2NKumvfmYyS9Q2LruXcyfoqgvGy0yXsbCQmmXNj/kDQ==","signature_status":"signed_v1","signed_at":"2026-05-18T04:16:20.592812Z","signed_message":"canonical_sha256_bytes"},"source_id":"1009.4826","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:e0c44b0c72f5bddfca02e86e34fbd7bc6fb2141d636a984024ec11b3647e7ecc","sha256:1e1005b41f5d59d268ef8fc84fbcb7c086c80bde5bc60c8e670c6a3a7a7f8633"],"state_sha256":"1056067ffb869bd048efcbe9c259ae370ed780554d66b45ea6bade73c3a57c73"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"T/RgXwwwMvvmSD900Qon3cRYFVX6sb0rlSiiGR3CRCOaB58yta57vHbqzmsx3tQmS/yqw8cuj6g6ZQg6M3RHBw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-26T05:14:51.214123Z","bundle_sha256":"6d6c3e05c3fe37ace124481c7450b31b2c61a9f0151f97525adbdbb40a3da349"}}