{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:VZJPO66WLGIK36STMQYIGIPN7O","short_pith_number":"pith:VZJPO66W","canonical_record":{"source":{"id":"1604.08944","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2016-04-29T19:42:38Z","cross_cats_sorted":["cs.CC"],"title_canon_sha256":"d052e68182c95aa994620e9ea185d6c5ba1efcd1a7552685dada0c49264c3d62","abstract_canon_sha256":"48e065ba781dc328508e599edb63edbccb3b61891493aaaaa9d1aba6a9981064"},"schema_version":"1.0"},"canonical_sha256":"ae52f77bd65990adfa5364308321edfba8f2c55254616251459a4798618aafeb","source":{"kind":"arxiv","id":"1604.08944","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1604.08944","created_at":"2026-05-18T01:16:01Z"},{"alias_kind":"arxiv_version","alias_value":"1604.08944v1","created_at":"2026-05-18T01:16:01Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1604.08944","created_at":"2026-05-18T01:16:01Z"},{"alias_kind":"pith_short_12","alias_value":"VZJPO66WLGIK","created_at":"2026-05-18T12:30:48Z"},{"alias_kind":"pith_short_16","alias_value":"VZJPO66WLGIK36ST","created_at":"2026-05-18T12:30:48Z"},{"alias_kind":"pith_short_8","alias_value":"VZJPO66W","created_at":"2026-05-18T12:30:48Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:VZJPO66WLGIK36STMQYIGIPN7O","target":"record","payload":{"canonical_record":{"source":{"id":"1604.08944","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2016-04-29T19:42:38Z","cross_cats_sorted":["cs.CC"],"title_canon_sha256":"d052e68182c95aa994620e9ea185d6c5ba1efcd1a7552685dada0c49264c3d62","abstract_canon_sha256":"48e065ba781dc328508e599edb63edbccb3b61891493aaaaa9d1aba6a9981064"},"schema_version":"1.0"},"canonical_sha256":"ae52f77bd65990adfa5364308321edfba8f2c55254616251459a4798618aafeb","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:16:01.359662Z","signature_b64":"QnBPJwjqgtbow+bwVDqiS3IF7kGC/YZiCRD0nWJfofJ+Useeqf9rpOehdyWYmMMVtpUfFrDRhsuQzG/OteBnAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ae52f77bd65990adfa5364308321edfba8f2c55254616251459a4798618aafeb","last_reissued_at":"2026-05-18T01:16:01.359022Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:16:01.359022Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1604.08944","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-18T01:16:01Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"3nhNh6GdMea1YE42D2jikxO2Un3MXY6tPq8iQLzbyTM7bBLj7FEmb2tjGmefYT/pEUr1Q0qVoUvviROcnuNVBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-22T14:00:32.357591Z"},"content_sha256":"5034ae64f9a47ec7011f4ef499dcabbf3c80909ef5b012c6c3d061e0036ba850","schema_version":"1.0","event_id":"sha256:5034ae64f9a47ec7011f4ef499dcabbf3c80909ef5b012c6c3d061e0036ba850"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:VZJPO66WLGIK36STMQYIGIPN7O","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"On the Complexity of Solving Zero-Dimensional Polynomial Systems via Projection","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.CC"],"primary_cat":"cs.SC","authors_text":"Cornelius Brand, Michael Sagraloff","submitted_at":"2016-04-29T19:42:38Z","abstract_excerpt":"Given a zero-dimensional polynomial system consisting of n integer polynomials in n variables, we propose a certified and complete method to compute all complex solutions of the system as well as a corresponding separating linear form l with coefficients of small bit size. For computing l, we need to project the solutions into one dimension along O(n) distinct directions but no further algebraic manipulations. The solutions are then directly reconstructed from the considered projections. The first step is deterministic, whereas the second step uses randomization, thus being Las-Vegas.\n  The th"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1604.08944","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-18T01:16:01Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"1fQmfbabnfSyVAQnxf6fnY/qhwLQw5yvJpIfYdi/UkBiEfM2ze6fznC1vdHcPviE6Rjdri3pLFRhyGdiKAbiAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-22T14:00:32.358187Z"},"content_sha256":"ab08841c7ac440cac96e685649f821d58a038acc6dcfc0b8c0880c86a7e4485f","schema_version":"1.0","event_id":"sha256:ab08841c7ac440cac96e685649f821d58a038acc6dcfc0b8c0880c86a7e4485f"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/VZJPO66WLGIK36STMQYIGIPN7O/bundle.json","state_url":"https://pith.science/pith/VZJPO66WLGIK36STMQYIGIPN7O/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/VZJPO66WLGIK36STMQYIGIPN7O/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-05-22T14:00:32Z","links":{"resolver":"https://pith.science/pith/VZJPO66WLGIK36STMQYIGIPN7O","bundle":"https://pith.science/pith/VZJPO66WLGIK36STMQYIGIPN7O/bundle.json","state":"https://pith.science/pith/VZJPO66WLGIK36STMQYIGIPN7O/state.json","well_known_bundle":"https://pith.science/.well-known/pith/VZJPO66WLGIK36STMQYIGIPN7O/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:VZJPO66WLGIK36STMQYIGIPN7O","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":"48e065ba781dc328508e599edb63edbccb3b61891493aaaaa9d1aba6a9981064","cross_cats_sorted":["cs.CC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2016-04-29T19:42:38Z","title_canon_sha256":"d052e68182c95aa994620e9ea185d6c5ba1efcd1a7552685dada0c49264c3d62"},"schema_version":"1.0","source":{"id":"1604.08944","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1604.08944","created_at":"2026-05-18T01:16:01Z"},{"alias_kind":"arxiv_version","alias_value":"1604.08944v1","created_at":"2026-05-18T01:16:01Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1604.08944","created_at":"2026-05-18T01:16:01Z"},{"alias_kind":"pith_short_12","alias_value":"VZJPO66WLGIK","created_at":"2026-05-18T12:30:48Z"},{"alias_kind":"pith_short_16","alias_value":"VZJPO66WLGIK36ST","created_at":"2026-05-18T12:30:48Z"},{"alias_kind":"pith_short_8","alias_value":"VZJPO66W","created_at":"2026-05-18T12:30:48Z"}],"graph_snapshots":[{"event_id":"sha256:ab08841c7ac440cac96e685649f821d58a038acc6dcfc0b8c0880c86a7e4485f","target":"graph","created_at":"2026-05-18T01:16:01Z","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 zero-dimensional polynomial system consisting of n integer polynomials in n variables, we propose a certified and complete method to compute all complex solutions of the system as well as a corresponding separating linear form l with coefficients of small bit size. For computing l, we need to project the solutions into one dimension along O(n) distinct directions but no further algebraic manipulations. The solutions are then directly reconstructed from the considered projections. The first step is deterministic, whereas the second step uses randomization, thus being Las-Vegas.\n  The th","authors_text":"Cornelius Brand, Michael Sagraloff","cross_cats":["cs.CC"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2016-04-29T19:42:38Z","title":"On the Complexity of Solving Zero-Dimensional Polynomial Systems via Projection"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1604.08944","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:5034ae64f9a47ec7011f4ef499dcabbf3c80909ef5b012c6c3d061e0036ba850","target":"record","created_at":"2026-05-18T01:16:01Z","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":"48e065ba781dc328508e599edb63edbccb3b61891493aaaaa9d1aba6a9981064","cross_cats_sorted":["cs.CC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2016-04-29T19:42:38Z","title_canon_sha256":"d052e68182c95aa994620e9ea185d6c5ba1efcd1a7552685dada0c49264c3d62"},"schema_version":"1.0","source":{"id":"1604.08944","kind":"arxiv","version":1}},"canonical_sha256":"ae52f77bd65990adfa5364308321edfba8f2c55254616251459a4798618aafeb","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ae52f77bd65990adfa5364308321edfba8f2c55254616251459a4798618aafeb","first_computed_at":"2026-05-18T01:16:01.359022Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:16:01.359022Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"QnBPJwjqgtbow+bwVDqiS3IF7kGC/YZiCRD0nWJfofJ+Useeqf9rpOehdyWYmMMVtpUfFrDRhsuQzG/OteBnAw==","signature_status":"signed_v1","signed_at":"2026-05-18T01:16:01.359662Z","signed_message":"canonical_sha256_bytes"},"source_id":"1604.08944","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:5034ae64f9a47ec7011f4ef499dcabbf3c80909ef5b012c6c3d061e0036ba850","sha256:ab08841c7ac440cac96e685649f821d58a038acc6dcfc0b8c0880c86a7e4485f"],"state_sha256":"0347a8661d6ab2ef55f0c395a760f8ff2d0e600455890c0a5bf419619250a756"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"kzWau1ystlnAFNDUwejhE0AYJlbxnYbDp08Oo7ijcafhFi8Jsuka97DW9EHcG4r5z3qVA+g3enJwXYzRnp+BAg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-22T14:00:32.361915Z","bundle_sha256":"8a4a4fed47b96364d14d67f30e70bf7d0b4f93a7b47ec892f9e3c1f01111829e"}}