{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:EYI4BSJ2UQQ5P6FKZLRJCBV2NH","short_pith_number":"pith:EYI4BSJ2","canonical_record":{"source":{"id":"1812.11534","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2018-12-30T13:46:28Z","cross_cats_sorted":[],"title_canon_sha256":"3736044ffc3cf2647aa0a9b978d9bfe45a050a093df8f631e085eb3c1a2ea056","abstract_canon_sha256":"eb5cf45074bb53a7a40bb59646098f7127d00603fc128afb13c020335979ae08"},"schema_version":"1.0"},"canonical_sha256":"2611c0c93aa421d7f8aacae29106ba69e7b28027b22cae9a287d55c1f24dcb99","source":{"kind":"arxiv","id":"1812.11534","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1812.11534","created_at":"2026-05-17T23:57:11Z"},{"alias_kind":"arxiv_version","alias_value":"1812.11534v1","created_at":"2026-05-17T23:57:11Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1812.11534","created_at":"2026-05-17T23:57:11Z"},{"alias_kind":"pith_short_12","alias_value":"EYI4BSJ2UQQ5","created_at":"2026-05-18T12:32:22Z"},{"alias_kind":"pith_short_16","alias_value":"EYI4BSJ2UQQ5P6FK","created_at":"2026-05-18T12:32:22Z"},{"alias_kind":"pith_short_8","alias_value":"EYI4BSJ2","created_at":"2026-05-18T12:32:22Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:EYI4BSJ2UQQ5P6FKZLRJCBV2NH","target":"record","payload":{"canonical_record":{"source":{"id":"1812.11534","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2018-12-30T13:46:28Z","cross_cats_sorted":[],"title_canon_sha256":"3736044ffc3cf2647aa0a9b978d9bfe45a050a093df8f631e085eb3c1a2ea056","abstract_canon_sha256":"eb5cf45074bb53a7a40bb59646098f7127d00603fc128afb13c020335979ae08"},"schema_version":"1.0"},"canonical_sha256":"2611c0c93aa421d7f8aacae29106ba69e7b28027b22cae9a287d55c1f24dcb99","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:57:11.701176Z","signature_b64":"bCb4F0rjjTdiYwlHwtCjCnQgfJPq506SB9Q0QsxEYibxTssEnrfTIXHJ4/rcACyUO20QnGr+IYBhFEtIUy8CDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"2611c0c93aa421d7f8aacae29106ba69e7b28027b22cae9a287d55c1f24dcb99","last_reissued_at":"2026-05-17T23:57:11.700772Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:57:11.700772Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1812.11534","source_version":1,"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-17T23:57:11Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"GkEnwXeIDWXN+IKcanR9ydrhexNS6rqk0mWH7cJl2E2pAGMsIkQHoN3pNGToD4dshXFCZJ86wmROFSMoEZmEBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-10T01:28:25.599093Z"},"content_sha256":"26464181e393f56ee3254bfd990a0f53984a55e4832ddd8c248bda0d1a050ad8","schema_version":"1.0","event_id":"sha256:26464181e393f56ee3254bfd990a0f53984a55e4832ddd8c248bda0d1a050ad8"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:EYI4BSJ2UQQ5P6FKZLRJCBV2NH","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A New Deflation Method For Verifying the Isolated Singular Zeros of Polynomial Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SC","authors_text":"Jin-San Cheng, Junyi Wen, Xiaojie Dou","submitted_at":"2018-12-30T13:46:28Z","abstract_excerpt":"In this paper, we develop a new deflation technique for refining or verifying the isolated singular zeros of polynomial systems. Starting from a polynomial system with an isolated singular zero, by computing the derivatives of the input polynomials directly or the linear combinations of the related polynomials, we construct a new system, which can be used to refine or verify the isolated singular zero of the input system. In order to preserve the accuracy in numerical computation as much as possible, new variables are introduced to represent the coefficients of the linear combinations of the r"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1812.11534","kind":"arxiv","version":1},"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-17T23:57:11Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"+LDUXUHhNIlAQu2uapDnukFseVpw+sGy78GEH5aQkZO60v72e4isWwO/KY8Qt/IReHbBzhHFvRdeZgXyFQe8Dw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-10T01:28:25.599819Z"},"content_sha256":"e7945f7c7d97d80427af6f7f72a4499807df527278002587c63f1f3043dbc341","schema_version":"1.0","event_id":"sha256:e7945f7c7d97d80427af6f7f72a4499807df527278002587c63f1f3043dbc341"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/EYI4BSJ2UQQ5P6FKZLRJCBV2NH/bundle.json","state_url":"https://pith.science/pith/EYI4BSJ2UQQ5P6FKZLRJCBV2NH/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/EYI4BSJ2UQQ5P6FKZLRJCBV2NH/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-10T01:28:25Z","links":{"resolver":"https://pith.science/pith/EYI4BSJ2UQQ5P6FKZLRJCBV2NH","bundle":"https://pith.science/pith/EYI4BSJ2UQQ5P6FKZLRJCBV2NH/bundle.json","state":"https://pith.science/pith/EYI4BSJ2UQQ5P6FKZLRJCBV2NH/state.json","well_known_bundle":"https://pith.science/.well-known/pith/EYI4BSJ2UQQ5P6FKZLRJCBV2NH/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:EYI4BSJ2UQQ5P6FKZLRJCBV2NH","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":"eb5cf45074bb53a7a40bb59646098f7127d00603fc128afb13c020335979ae08","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2018-12-30T13:46:28Z","title_canon_sha256":"3736044ffc3cf2647aa0a9b978d9bfe45a050a093df8f631e085eb3c1a2ea056"},"schema_version":"1.0","source":{"id":"1812.11534","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1812.11534","created_at":"2026-05-17T23:57:11Z"},{"alias_kind":"arxiv_version","alias_value":"1812.11534v1","created_at":"2026-05-17T23:57:11Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1812.11534","created_at":"2026-05-17T23:57:11Z"},{"alias_kind":"pith_short_12","alias_value":"EYI4BSJ2UQQ5","created_at":"2026-05-18T12:32:22Z"},{"alias_kind":"pith_short_16","alias_value":"EYI4BSJ2UQQ5P6FK","created_at":"2026-05-18T12:32:22Z"},{"alias_kind":"pith_short_8","alias_value":"EYI4BSJ2","created_at":"2026-05-18T12:32:22Z"}],"graph_snapshots":[{"event_id":"sha256:e7945f7c7d97d80427af6f7f72a4499807df527278002587c63f1f3043dbc341","target":"graph","created_at":"2026-05-17T23:57:11Z","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":"In this paper, we develop a new deflation technique for refining or verifying the isolated singular zeros of polynomial systems. Starting from a polynomial system with an isolated singular zero, by computing the derivatives of the input polynomials directly or the linear combinations of the related polynomials, we construct a new system, which can be used to refine or verify the isolated singular zero of the input system. In order to preserve the accuracy in numerical computation as much as possible, new variables are introduced to represent the coefficients of the linear combinations of the r","authors_text":"Jin-San Cheng, Junyi Wen, Xiaojie Dou","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2018-12-30T13:46:28Z","title":"A New Deflation Method For Verifying the Isolated Singular Zeros of Polynomial Systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1812.11534","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:26464181e393f56ee3254bfd990a0f53984a55e4832ddd8c248bda0d1a050ad8","target":"record","created_at":"2026-05-17T23:57:11Z","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":"eb5cf45074bb53a7a40bb59646098f7127d00603fc128afb13c020335979ae08","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2018-12-30T13:46:28Z","title_canon_sha256":"3736044ffc3cf2647aa0a9b978d9bfe45a050a093df8f631e085eb3c1a2ea056"},"schema_version":"1.0","source":{"id":"1812.11534","kind":"arxiv","version":1}},"canonical_sha256":"2611c0c93aa421d7f8aacae29106ba69e7b28027b22cae9a287d55c1f24dcb99","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"2611c0c93aa421d7f8aacae29106ba69e7b28027b22cae9a287d55c1f24dcb99","first_computed_at":"2026-05-17T23:57:11.700772Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:57:11.700772Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"bCb4F0rjjTdiYwlHwtCjCnQgfJPq506SB9Q0QsxEYibxTssEnrfTIXHJ4/rcACyUO20QnGr+IYBhFEtIUy8CDg==","signature_status":"signed_v1","signed_at":"2026-05-17T23:57:11.701176Z","signed_message":"canonical_sha256_bytes"},"source_id":"1812.11534","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:26464181e393f56ee3254bfd990a0f53984a55e4832ddd8c248bda0d1a050ad8","sha256:e7945f7c7d97d80427af6f7f72a4499807df527278002587c63f1f3043dbc341"],"state_sha256":"c702e83eb681f2aebd618a5d464646dead973fa0a80a42b632f65da0ef44c8ec"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"dpKQwzeBAP+fh6fKYfxSn0yO5NYMbZcdnycTVf8NERnLgZ5uGXZyB2mshn0m+cr73x9iDOrwqPo3Sp1Qzd96Aw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-10T01:28:25.604196Z","bundle_sha256":"578086e6332bf0badb5b4296a849ab14b020cfd5612729ee64f60f6a5b7c9611"}}