{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2009:S7R3L4HNBBBIAIBHJUS6OTHULQ","short_pith_number":"pith:S7R3L4HN","canonical_record":{"source":{"id":"0912.0920","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NA","submitted_at":"2009-12-04T19:35:56Z","cross_cats_sorted":["math.AG"],"title_canon_sha256":"76280031bdb0911c5755c831fd176d76cb6f558b36cf10c08cac59e02e3a789d","abstract_canon_sha256":"94bee6282f18e87eb79e979779fc55c3965dd581b69d476e74352affa04599de"},"schema_version":"1.0"},"canonical_sha256":"97e3b5f0ed08428020274d25e74cf45c1386558b17bb079f07fd560aa266cc2b","source":{"kind":"arxiv","id":"0912.0920","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"0912.0920","created_at":"2026-05-18T04:33:04Z"},{"alias_kind":"arxiv_version","alias_value":"0912.0920v2","created_at":"2026-05-18T04:33:04Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.0912.0920","created_at":"2026-05-18T04:33:04Z"},{"alias_kind":"pith_short_12","alias_value":"S7R3L4HNBBBI","created_at":"2026-05-18T12:26:01Z"},{"alias_kind":"pith_short_16","alias_value":"S7R3L4HNBBBIAIBH","created_at":"2026-05-18T12:26:01Z"},{"alias_kind":"pith_short_8","alias_value":"S7R3L4HN","created_at":"2026-05-18T12:26:01Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2009:S7R3L4HNBBBIAIBHJUS6OTHULQ","target":"record","payload":{"canonical_record":{"source":{"id":"0912.0920","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NA","submitted_at":"2009-12-04T19:35:56Z","cross_cats_sorted":["math.AG"],"title_canon_sha256":"76280031bdb0911c5755c831fd176d76cb6f558b36cf10c08cac59e02e3a789d","abstract_canon_sha256":"94bee6282f18e87eb79e979779fc55c3965dd581b69d476e74352affa04599de"},"schema_version":"1.0"},"canonical_sha256":"97e3b5f0ed08428020274d25e74cf45c1386558b17bb079f07fd560aa266cc2b","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:33:04.320362Z","signature_b64":"jlobvK1sXEcznmxWfxBUs/2wBLRpgiV1oBd8k7cRRMsi1fHbD3zH/sTloeiqi2v2AhaFaHZbB7gdU7dfDv8XCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"97e3b5f0ed08428020274d25e74cf45c1386558b17bb079f07fd560aa266cc2b","last_reissued_at":"2026-05-18T04:33:04.319570Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:33:04.319570Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"0912.0920","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:33:04Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"4Qo05vnUvH0WNZCdh9MprdWHLc7Xl0syBJ4EmBh0Rir0zQxMDapGCMK129jR613nstr117Ce4d/Z6OGHm6RpAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T23:00:19.400625Z"},"content_sha256":"dc44d62a44e7c111ad89f81d33090991d9eecfb888b718853b5eb2791b334f1e","schema_version":"1.0","event_id":"sha256:dc44d62a44e7c111ad89f81d33090991d9eecfb888b718853b5eb2791b334f1e"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2009:S7R3L4HNBBBIAIBHJUS6OTHULQ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Certified numerical homotopy tracking","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.AG"],"primary_cat":"math.NA","authors_text":"Anton Leykin, Carlos Beltr\\'an","submitted_at":"2009-12-04T19:35:56Z","abstract_excerpt":"Given a homotopy connecting two polynomial systems we provide a rigorous algorithm for tracking a regular homotopy path connecting an approximate zero of the start system to an approximate zero of the target system. Our method uses recent results on the complexity of homotopy continuation rooted in the alpha theory of Smale. Experimental results obtained with the implementation in the numerical algebraic geometry package of Macaulay2 demonstrate the practicality of the algorithm. In particular, we confirm the theoretical results for random linear homotopies and illustrate the plausibility of a"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"0912.0920","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:33:04Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"YE4UB9AfsQAYOxmMHFAkZ3RfyAUSKwfha7Z53DlhYR7Iv/YHdtYnhGNFlDnDEZw/NZmmiQIN3M82cHVl7bdiAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T23:00:19.400975Z"},"content_sha256":"201b53b7a711b1b0a44992d6d3f073aacef183190607b8c2c5f7c762ee870488","schema_version":"1.0","event_id":"sha256:201b53b7a711b1b0a44992d6d3f073aacef183190607b8c2c5f7c762ee870488"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/S7R3L4HNBBBIAIBHJUS6OTHULQ/bundle.json","state_url":"https://pith.science/pith/S7R3L4HNBBBIAIBHJUS6OTHULQ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/S7R3L4HNBBBIAIBHJUS6OTHULQ/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-02T23:00:19Z","links":{"resolver":"https://pith.science/pith/S7R3L4HNBBBIAIBHJUS6OTHULQ","bundle":"https://pith.science/pith/S7R3L4HNBBBIAIBHJUS6OTHULQ/bundle.json","state":"https://pith.science/pith/S7R3L4HNBBBIAIBHJUS6OTHULQ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/S7R3L4HNBBBIAIBHJUS6OTHULQ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2009:S7R3L4HNBBBIAIBHJUS6OTHULQ","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":"94bee6282f18e87eb79e979779fc55c3965dd581b69d476e74352affa04599de","cross_cats_sorted":["math.AG"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NA","submitted_at":"2009-12-04T19:35:56Z","title_canon_sha256":"76280031bdb0911c5755c831fd176d76cb6f558b36cf10c08cac59e02e3a789d"},"schema_version":"1.0","source":{"id":"0912.0920","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"0912.0920","created_at":"2026-05-18T04:33:04Z"},{"alias_kind":"arxiv_version","alias_value":"0912.0920v2","created_at":"2026-05-18T04:33:04Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.0912.0920","created_at":"2026-05-18T04:33:04Z"},{"alias_kind":"pith_short_12","alias_value":"S7R3L4HNBBBI","created_at":"2026-05-18T12:26:01Z"},{"alias_kind":"pith_short_16","alias_value":"S7R3L4HNBBBIAIBH","created_at":"2026-05-18T12:26:01Z"},{"alias_kind":"pith_short_8","alias_value":"S7R3L4HN","created_at":"2026-05-18T12:26:01Z"}],"graph_snapshots":[{"event_id":"sha256:201b53b7a711b1b0a44992d6d3f073aacef183190607b8c2c5f7c762ee870488","target":"graph","created_at":"2026-05-18T04:33:04Z","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":"Given a homotopy connecting two polynomial systems we provide a rigorous algorithm for tracking a regular homotopy path connecting an approximate zero of the start system to an approximate zero of the target system. Our method uses recent results on the complexity of homotopy continuation rooted in the alpha theory of Smale. Experimental results obtained with the implementation in the numerical algebraic geometry package of Macaulay2 demonstrate the practicality of the algorithm. In particular, we confirm the theoretical results for random linear homotopies and illustrate the plausibility of a","authors_text":"Anton Leykin, Carlos Beltr\\'an","cross_cats":["math.AG"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NA","submitted_at":"2009-12-04T19:35:56Z","title":"Certified numerical homotopy tracking"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"0912.0920","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:dc44d62a44e7c111ad89f81d33090991d9eecfb888b718853b5eb2791b334f1e","target":"record","created_at":"2026-05-18T04:33:04Z","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":"94bee6282f18e87eb79e979779fc55c3965dd581b69d476e74352affa04599de","cross_cats_sorted":["math.AG"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NA","submitted_at":"2009-12-04T19:35:56Z","title_canon_sha256":"76280031bdb0911c5755c831fd176d76cb6f558b36cf10c08cac59e02e3a789d"},"schema_version":"1.0","source":{"id":"0912.0920","kind":"arxiv","version":2}},"canonical_sha256":"97e3b5f0ed08428020274d25e74cf45c1386558b17bb079f07fd560aa266cc2b","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"97e3b5f0ed08428020274d25e74cf45c1386558b17bb079f07fd560aa266cc2b","first_computed_at":"2026-05-18T04:33:04.319570Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:33:04.319570Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"jlobvK1sXEcznmxWfxBUs/2wBLRpgiV1oBd8k7cRRMsi1fHbD3zH/sTloeiqi2v2AhaFaHZbB7gdU7dfDv8XCg==","signature_status":"signed_v1","signed_at":"2026-05-18T04:33:04.320362Z","signed_message":"canonical_sha256_bytes"},"source_id":"0912.0920","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:dc44d62a44e7c111ad89f81d33090991d9eecfb888b718853b5eb2791b334f1e","sha256:201b53b7a711b1b0a44992d6d3f073aacef183190607b8c2c5f7c762ee870488"],"state_sha256":"3a3ef1ced6614ec1cef65d8adca5ce994e0b5cd815d83cb5d64fb2f0f28533e7"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"+YNX9UrXWyI0gnmTFC57b3SFQTSB7RuchhM2CoKLpOE7S0vKpGuB2mf7D9NufxYR36FxFShBWgPDzkHqqQfRBw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-02T23:00:19.402949Z","bundle_sha256":"c02105f69149b8b047fb3330d68b9e1fad2940002ed792cf5e68a7f506df63ba"}}