{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:HYVACOQDQWVW2ZGXCHX4VUHWDB","short_pith_number":"pith:HYVACOQD","canonical_record":{"source":{"id":"1802.01928","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2018-02-06T13:08:56Z","cross_cats_sorted":[],"title_canon_sha256":"08b2728b730800032e565626e788792a1a935a277940a080935fef97e7c7fd40","abstract_canon_sha256":"8659d563cea8bee98f7a4482374b66690d4bf5c7d89ca1419ee8d9f4218e5211"},"schema_version":"1.0"},"canonical_sha256":"3e2a013a0385ab6d64d711efcad0f61849b0ca4d4ac86a9b56aecd5a33eb2b79","source":{"kind":"arxiv","id":"1802.01928","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1802.01928","created_at":"2026-05-18T00:15:42Z"},{"alias_kind":"arxiv_version","alias_value":"1802.01928v2","created_at":"2026-05-18T00:15:42Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1802.01928","created_at":"2026-05-18T00:15:42Z"},{"alias_kind":"pith_short_12","alias_value":"HYVACOQDQWVW","created_at":"2026-05-18T12:32:28Z"},{"alias_kind":"pith_short_16","alias_value":"HYVACOQDQWVW2ZGX","created_at":"2026-05-18T12:32:28Z"},{"alias_kind":"pith_short_8","alias_value":"HYVACOQD","created_at":"2026-05-18T12:32:28Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:HYVACOQDQWVW2ZGXCHX4VUHWDB","target":"record","payload":{"canonical_record":{"source":{"id":"1802.01928","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2018-02-06T13:08:56Z","cross_cats_sorted":[],"title_canon_sha256":"08b2728b730800032e565626e788792a1a935a277940a080935fef97e7c7fd40","abstract_canon_sha256":"8659d563cea8bee98f7a4482374b66690d4bf5c7d89ca1419ee8d9f4218e5211"},"schema_version":"1.0"},"canonical_sha256":"3e2a013a0385ab6d64d711efcad0f61849b0ca4d4ac86a9b56aecd5a33eb2b79","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:15:42.847505Z","signature_b64":"U/J05dsd0d+Hz5926cKfD1elfHzQz/txSxGBsb7VncsQ5cDgzMRXSMmJ16c1PMOyH+XFLII/L47YiEu5WFf0BQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"3e2a013a0385ab6d64d711efcad0f61849b0ca4d4ac86a9b56aecd5a33eb2b79","last_reissued_at":"2026-05-18T00:15:42.847009Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:15:42.847009Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1802.01928","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:15:42Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"MVxnqfN1jgkX4uY5OnwWtYGi0BGUcPnDYEiVJMBaeZ5zt+FWhWdtEDBYOh1/uHy4Be6IdKuMXPiAfg0GGAXkCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T06:39:12.373671Z"},"content_sha256":"c729614a91102d680a3db36161e813d492c728e40426cd75e8171069a6dd74a3","schema_version":"1.0","event_id":"sha256:c729614a91102d680a3db36161e813d492c728e40426cd75e8171069a6dd74a3"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:HYVACOQDQWVW2ZGXCHX4VUHWDB","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Computing Popov and Hermite forms of rectangular polynomial matrices","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SC","authors_text":"Grigory Solomatov, Johan Rosenkilde, Vincent Neiger","submitted_at":"2018-02-06T13:08:56Z","abstract_excerpt":"We consider the computation of two normal forms for matrices over the univariate polynomials: the Popov form and the Hermite form. For matrices which are square and nonsingular, deterministic algorithms with satisfactory cost bounds are known. Here, we present deterministic, fast algorithms for rectangular input matrices. The obtained cost bound for the Popov form matches the previous best known randomized algorithm, while the cost bound for the Hermite form improves on the previous best known ones by a factor which is at least the largest dimension of the input matrix."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1802.01928","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:15:42Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"RzH39HwgfAU+5CreAlmWWHiWx+U4fai2NtewxAwrP6bFKZ4R48TQSagG42I3P6OnZJooFmWmjbI93Q8JCqLLCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T06:39:12.374024Z"},"content_sha256":"e17d920d200bb97849157cbde12ed3cc4e8841ecac5ffcd4ac6f27844aac0029","schema_version":"1.0","event_id":"sha256:e17d920d200bb97849157cbde12ed3cc4e8841ecac5ffcd4ac6f27844aac0029"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/HYVACOQDQWVW2ZGXCHX4VUHWDB/bundle.json","state_url":"https://pith.science/pith/HYVACOQDQWVW2ZGXCHX4VUHWDB/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/HYVACOQDQWVW2ZGXCHX4VUHWDB/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-03T06:39:12Z","links":{"resolver":"https://pith.science/pith/HYVACOQDQWVW2ZGXCHX4VUHWDB","bundle":"https://pith.science/pith/HYVACOQDQWVW2ZGXCHX4VUHWDB/bundle.json","state":"https://pith.science/pith/HYVACOQDQWVW2ZGXCHX4VUHWDB/state.json","well_known_bundle":"https://pith.science/.well-known/pith/HYVACOQDQWVW2ZGXCHX4VUHWDB/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:HYVACOQDQWVW2ZGXCHX4VUHWDB","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":"8659d563cea8bee98f7a4482374b66690d4bf5c7d89ca1419ee8d9f4218e5211","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2018-02-06T13:08:56Z","title_canon_sha256":"08b2728b730800032e565626e788792a1a935a277940a080935fef97e7c7fd40"},"schema_version":"1.0","source":{"id":"1802.01928","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1802.01928","created_at":"2026-05-18T00:15:42Z"},{"alias_kind":"arxiv_version","alias_value":"1802.01928v2","created_at":"2026-05-18T00:15:42Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1802.01928","created_at":"2026-05-18T00:15:42Z"},{"alias_kind":"pith_short_12","alias_value":"HYVACOQDQWVW","created_at":"2026-05-18T12:32:28Z"},{"alias_kind":"pith_short_16","alias_value":"HYVACOQDQWVW2ZGX","created_at":"2026-05-18T12:32:28Z"},{"alias_kind":"pith_short_8","alias_value":"HYVACOQD","created_at":"2026-05-18T12:32:28Z"}],"graph_snapshots":[{"event_id":"sha256:e17d920d200bb97849157cbde12ed3cc4e8841ecac5ffcd4ac6f27844aac0029","target":"graph","created_at":"2026-05-18T00:15:42Z","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 consider the computation of two normal forms for matrices over the univariate polynomials: the Popov form and the Hermite form. For matrices which are square and nonsingular, deterministic algorithms with satisfactory cost bounds are known. Here, we present deterministic, fast algorithms for rectangular input matrices. The obtained cost bound for the Popov form matches the previous best known randomized algorithm, while the cost bound for the Hermite form improves on the previous best known ones by a factor which is at least the largest dimension of the input matrix.","authors_text":"Grigory Solomatov, Johan Rosenkilde, Vincent Neiger","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2018-02-06T13:08:56Z","title":"Computing Popov and Hermite forms of rectangular polynomial matrices"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1802.01928","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:c729614a91102d680a3db36161e813d492c728e40426cd75e8171069a6dd74a3","target":"record","created_at":"2026-05-18T00:15:42Z","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":"8659d563cea8bee98f7a4482374b66690d4bf5c7d89ca1419ee8d9f4218e5211","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2018-02-06T13:08:56Z","title_canon_sha256":"08b2728b730800032e565626e788792a1a935a277940a080935fef97e7c7fd40"},"schema_version":"1.0","source":{"id":"1802.01928","kind":"arxiv","version":2}},"canonical_sha256":"3e2a013a0385ab6d64d711efcad0f61849b0ca4d4ac86a9b56aecd5a33eb2b79","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"3e2a013a0385ab6d64d711efcad0f61849b0ca4d4ac86a9b56aecd5a33eb2b79","first_computed_at":"2026-05-18T00:15:42.847009Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:15:42.847009Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"U/J05dsd0d+Hz5926cKfD1elfHzQz/txSxGBsb7VncsQ5cDgzMRXSMmJ16c1PMOyH+XFLII/L47YiEu5WFf0BQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:15:42.847505Z","signed_message":"canonical_sha256_bytes"},"source_id":"1802.01928","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:c729614a91102d680a3db36161e813d492c728e40426cd75e8171069a6dd74a3","sha256:e17d920d200bb97849157cbde12ed3cc4e8841ecac5ffcd4ac6f27844aac0029"],"state_sha256":"5d27e54b40b88f35dbfb6e5a3d88401e1e301cf911722dcf66c4bb6e433b2d99"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"C0YkuY/L4AjbQvOlLRhlgUzelJN4D9La8bTY6ofTcMu7aX1teoAd/I660k2Np63f/Icfv3nDWa7ujLonHub1BQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-03T06:39:12.375986Z","bundle_sha256":"444cf2f05a4cae58daafb4cafb7f8c5aedfa709e42fd3909ffab2c3b91ea5f70"}}