{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:3VVJPP2ILTOCZ62U7M2RK444GK","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":"0f2c75ca3eca8ae43c14b4373357b0066d877a2ca584ff227fcb0970037c1d91","cross_cats_sorted":["cs.NA","hep-th","nlin.CD"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NA","submitted_at":"2014-12-04T16:20:06Z","title_canon_sha256":"745fe3ce4a25bfb79b30044cd492b60832622e5b66f02e3790013b95012452af"},"schema_version":"1.0","source":{"id":"1412.1717","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1412.1717","created_at":"2026-05-18T02:32:06Z"},{"alias_kind":"arxiv_version","alias_value":"1412.1717v1","created_at":"2026-05-18T02:32:06Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1412.1717","created_at":"2026-05-18T02:32:06Z"},{"alias_kind":"pith_short_12","alias_value":"3VVJPP2ILTOC","created_at":"2026-05-18T12:28:11Z"},{"alias_kind":"pith_short_16","alias_value":"3VVJPP2ILTOCZ62U","created_at":"2026-05-18T12:28:11Z"},{"alias_kind":"pith_short_8","alias_value":"3VVJPP2I","created_at":"2026-05-18T12:28:11Z"}],"graph_snapshots":[{"event_id":"sha256:8db55503d756f838b781dfd96d58d79b87a6d3a4c12957c8798380efb52c9403","target":"graph","created_at":"2026-05-18T02:32:06Z","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":"A challenging problem in computational mathematics is to compute roots of a high-degree univariate random polynomial. We combine an efficient multiprecision implementation for solving high-degree random polynomials with two certification methods, namely Smale's $\\alpha$-theory and one based on Gerschgorin's theorem, for showing that a given numerical approximation is in the quadratic convergence region of Newton's method of some exact solution. With this combination, we can certifiably count the number of real roots of random polynomials. We quantify the difference between the two certificatio","authors_text":"Anthony Morse, Dhagash Mehta, Ian Haywood, Jeffrey Dzugan, Jonathan D. Hauenstein, Joseph Cleveland, Leonardo Robol, Taylor Schlenk","cross_cats":["cs.NA","hep-th","nlin.CD"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NA","submitted_at":"2014-12-04T16:20:06Z","title":"Certified counting of roots of random univariate polynomials"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1412.1717","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:2adf21172cd3697884b7bf321442b4942a448bef6661674c79fc0d2207aa664f","target":"record","created_at":"2026-05-18T02:32:06Z","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":"0f2c75ca3eca8ae43c14b4373357b0066d877a2ca584ff227fcb0970037c1d91","cross_cats_sorted":["cs.NA","hep-th","nlin.CD"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NA","submitted_at":"2014-12-04T16:20:06Z","title_canon_sha256":"745fe3ce4a25bfb79b30044cd492b60832622e5b66f02e3790013b95012452af"},"schema_version":"1.0","source":{"id":"1412.1717","kind":"arxiv","version":1}},"canonical_sha256":"dd6a97bf485cdc2cfb54fb3515739c32a34c82437afd3f7d8ec6c91946e341cf","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"dd6a97bf485cdc2cfb54fb3515739c32a34c82437afd3f7d8ec6c91946e341cf","first_computed_at":"2026-05-18T02:32:06.635381Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:32:06.635381Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"qzun5oJoZO85qUV64FxW47cVpwRFHT007NpX0Pl4z7uoKTGZOoLwRDceugChM290ZtIDf6pLoBDzqX+SVo/uCg==","signature_status":"signed_v1","signed_at":"2026-05-18T02:32:06.635817Z","signed_message":"canonical_sha256_bytes"},"source_id":"1412.1717","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:2adf21172cd3697884b7bf321442b4942a448bef6661674c79fc0d2207aa664f","sha256:8db55503d756f838b781dfd96d58d79b87a6d3a4c12957c8798380efb52c9403"],"state_sha256":"eb43c007b9c12967b732a121f3123ef8e621e8a227bb8b5a4ce9cf21903506db"}