{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:JJAG6F3P7HMFC6TP5B3VG7SD2I","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":"0538d2298149fda270533fe86c609bebfd1b2ec714f8e00e155ffc5ee9945948","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2014-12-16T16:41:27Z","title_canon_sha256":"231cd3970e6b2c3d168065ac48bd9ef8f3f00fd578e32346d3b88f6914f469e8"},"schema_version":"1.0","source":{"id":"1412.5071","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1412.5071","created_at":"2026-05-18T01:46:13Z"},{"alias_kind":"arxiv_version","alias_value":"1412.5071v3","created_at":"2026-05-18T01:46:13Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1412.5071","created_at":"2026-05-18T01:46:13Z"},{"alias_kind":"pith_short_12","alias_value":"JJAG6F3P7HMF","created_at":"2026-05-18T12:28:33Z"},{"alias_kind":"pith_short_16","alias_value":"JJAG6F3P7HMFC6TP","created_at":"2026-05-18T12:28:33Z"},{"alias_kind":"pith_short_8","alias_value":"JJAG6F3P","created_at":"2026-05-18T12:28:33Z"}],"graph_snapshots":[{"event_id":"sha256:37b610a6b6b1b9ba9ba9ffaf033ad1cf9eb85012f7432f1b739d593d2f053cd9","target":"graph","created_at":"2026-05-18T01:46:13Z","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":"Blackbox algorithms for linear algebra problems start with projection of the sequence of powers of a matrix to a sequence of vectors (Lanczos), a sequence of scalars (Wiedemann) or a sequence of smaller matrices (block methods). Such algorithms usually depend on the minimal polynomial of the resulting sequence being that of the given matrix. Here exact formulas are given for the probability that this occurs. They are based on the generalized Jordan normal form (direct sum of companion matrices of the elementary divisors) of the matrix. Sharp bounds follow from this for matrices of unknown elem","authors_text":"B. David Saunders, Gavin Harrison, Jeremy Johnson","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2014-12-16T16:41:27Z","title":"Probabilistic analysis of Wiedemann's algorithm for minimal polynomial computation"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1412.5071","kind":"arxiv","version":3},"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:9b6082cd1f5ed859242b1e68d3c455fc40a0efb2a2fea6a975db1c3d6ba8737c","target":"record","created_at":"2026-05-18T01:46:13Z","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":"0538d2298149fda270533fe86c609bebfd1b2ec714f8e00e155ffc5ee9945948","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2014-12-16T16:41:27Z","title_canon_sha256":"231cd3970e6b2c3d168065ac48bd9ef8f3f00fd578e32346d3b88f6914f469e8"},"schema_version":"1.0","source":{"id":"1412.5071","kind":"arxiv","version":3}},"canonical_sha256":"4a406f176ff9d8517a6fe877537e43d223658869f09374a455dcc039b1f932e1","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"4a406f176ff9d8517a6fe877537e43d223658869f09374a455dcc039b1f932e1","first_computed_at":"2026-05-18T01:46:13.760935Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:46:13.760935Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"aeds7h1ZWagNot161/Sr5tdd6gyX5NA6ZlC4ePpO6MReXNqToX/lQhFJ9TSpG/8QGovdejtJBTkGbKVJcj8YDA==","signature_status":"signed_v1","signed_at":"2026-05-18T01:46:13.761667Z","signed_message":"canonical_sha256_bytes"},"source_id":"1412.5071","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:9b6082cd1f5ed859242b1e68d3c455fc40a0efb2a2fea6a975db1c3d6ba8737c","sha256:37b610a6b6b1b9ba9ba9ffaf033ad1cf9eb85012f7432f1b739d593d2f053cd9"],"state_sha256":"a8ff741a7f89d40714285d62093b9edb85d465d23778faa23dfea0c0bc8170dd"}