{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:6N63NSRP4HBCIJCAPW7P4YHRDQ","short_pith_number":"pith:6N63NSRP","canonical_record":{"source":{"id":"1702.08664","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2017-02-28T06:33:50Z","cross_cats_sorted":[],"title_canon_sha256":"d312f27a4e09897ffae4c389d4f63baa34ab00dc220d6e0971f89e9b2b3ec664","abstract_canon_sha256":"ed596574477aa76b1508898f1df5cceb4a99b26635262aa03707d5cbf74a8ef1"},"schema_version":"1.0"},"canonical_sha256":"f37db6ca2fe1c22424407dbefe60f11c086e9e1dddcc9583c8bc3f65252145e8","source":{"kind":"arxiv","id":"1702.08664","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1702.08664","created_at":"2026-05-18T00:49:48Z"},{"alias_kind":"arxiv_version","alias_value":"1702.08664v1","created_at":"2026-05-18T00:49:48Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1702.08664","created_at":"2026-05-18T00:49:48Z"},{"alias_kind":"pith_short_12","alias_value":"6N63NSRP4HBC","created_at":"2026-05-18T12:31:03Z"},{"alias_kind":"pith_short_16","alias_value":"6N63NSRP4HBCIJCA","created_at":"2026-05-18T12:31:03Z"},{"alias_kind":"pith_short_8","alias_value":"6N63NSRP","created_at":"2026-05-18T12:31:03Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:6N63NSRP4HBCIJCAPW7P4YHRDQ","target":"record","payload":{"canonical_record":{"source":{"id":"1702.08664","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2017-02-28T06:33:50Z","cross_cats_sorted":[],"title_canon_sha256":"d312f27a4e09897ffae4c389d4f63baa34ab00dc220d6e0971f89e9b2b3ec664","abstract_canon_sha256":"ed596574477aa76b1508898f1df5cceb4a99b26635262aa03707d5cbf74a8ef1"},"schema_version":"1.0"},"canonical_sha256":"f37db6ca2fe1c22424407dbefe60f11c086e9e1dddcc9583c8bc3f65252145e8","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:49:48.146384Z","signature_b64":"/lS63smlmcpeh5rmTQyh7iwXTCcfs6x2y9OI0YZu3pUMaG/uDhTvN37zCf1F+fLkU/xCtRFkAQiJ4uSrm4RpBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"f37db6ca2fe1c22424407dbefe60f11c086e9e1dddcc9583c8bc3f65252145e8","last_reissued_at":"2026-05-18T00:49:48.145873Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:49:48.145873Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1702.08664","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-18T00:49:48Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"N60uz18mSRO192Hp5oEviN/frYu5CJLPq7ZhZ3OtI9XopD9q2G2JIuyna6OSrM7qhw8TdvLadUEAS3Jmd2xnCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T18:51:49.180334Z"},"content_sha256":"4bf6da1cb5941e9a18ae39259d923a45c3f02c270eb7aded050581c057540ed9","schema_version":"1.0","event_id":"sha256:4bf6da1cb5941e9a18ae39259d923a45c3f02c270eb7aded050581c057540ed9"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:6N63NSRP4HBCIJCAPW7P4YHRDQ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Decomposition of polynomial sets into characteristic pairs","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SC","authors_text":"Chenqi Mou, Dongming Wang, Rina Dong","submitted_at":"2017-02-28T06:33:50Z","abstract_excerpt":"A characteristic pair is a pair (G,C) of polynomial sets in which G is a reduced lexicographic Groebner basis, C is the minimal triangular set contained in G, and C is normal. In this paper, we show that any finite polynomial set P can be decomposed algorithmically into finitely many characteristic pairs with associated zero relations, which provide representations for the zero set of P in terms of those of Groebner bases and those of triangular sets. The algorithm we propose for the decomposition makes use of the inherent connection between Ritt characteristic sets and lexicographic Groebner "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1702.08664","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-18T00:49:48Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"k14JVYmQaS/Z5/393GDLwxgOqUydyIf4LMEYMGejPkH56FSbcCQPZF6MhLgO0q4c89mOE3adwOl6UTNx8V4/Cw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T18:51:49.180757Z"},"content_sha256":"e9a587ea4ce30e6902e6aa875458f3669a8fb85fc067f8e4b7c6e1b0428c8d72","schema_version":"1.0","event_id":"sha256:e9a587ea4ce30e6902e6aa875458f3669a8fb85fc067f8e4b7c6e1b0428c8d72"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/6N63NSRP4HBCIJCAPW7P4YHRDQ/bundle.json","state_url":"https://pith.science/pith/6N63NSRP4HBCIJCAPW7P4YHRDQ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/6N63NSRP4HBCIJCAPW7P4YHRDQ/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-30T18:51:49Z","links":{"resolver":"https://pith.science/pith/6N63NSRP4HBCIJCAPW7P4YHRDQ","bundle":"https://pith.science/pith/6N63NSRP4HBCIJCAPW7P4YHRDQ/bundle.json","state":"https://pith.science/pith/6N63NSRP4HBCIJCAPW7P4YHRDQ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/6N63NSRP4HBCIJCAPW7P4YHRDQ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:6N63NSRP4HBCIJCAPW7P4YHRDQ","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":"ed596574477aa76b1508898f1df5cceb4a99b26635262aa03707d5cbf74a8ef1","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2017-02-28T06:33:50Z","title_canon_sha256":"d312f27a4e09897ffae4c389d4f63baa34ab00dc220d6e0971f89e9b2b3ec664"},"schema_version":"1.0","source":{"id":"1702.08664","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1702.08664","created_at":"2026-05-18T00:49:48Z"},{"alias_kind":"arxiv_version","alias_value":"1702.08664v1","created_at":"2026-05-18T00:49:48Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1702.08664","created_at":"2026-05-18T00:49:48Z"},{"alias_kind":"pith_short_12","alias_value":"6N63NSRP4HBC","created_at":"2026-05-18T12:31:03Z"},{"alias_kind":"pith_short_16","alias_value":"6N63NSRP4HBCIJCA","created_at":"2026-05-18T12:31:03Z"},{"alias_kind":"pith_short_8","alias_value":"6N63NSRP","created_at":"2026-05-18T12:31:03Z"}],"graph_snapshots":[{"event_id":"sha256:e9a587ea4ce30e6902e6aa875458f3669a8fb85fc067f8e4b7c6e1b0428c8d72","target":"graph","created_at":"2026-05-18T00:49:48Z","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 characteristic pair is a pair (G,C) of polynomial sets in which G is a reduced lexicographic Groebner basis, C is the minimal triangular set contained in G, and C is normal. In this paper, we show that any finite polynomial set P can be decomposed algorithmically into finitely many characteristic pairs with associated zero relations, which provide representations for the zero set of P in terms of those of Groebner bases and those of triangular sets. The algorithm we propose for the decomposition makes use of the inherent connection between Ritt characteristic sets and lexicographic Groebner ","authors_text":"Chenqi Mou, Dongming Wang, Rina Dong","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2017-02-28T06:33:50Z","title":"Decomposition of polynomial sets into characteristic pairs"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1702.08664","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:4bf6da1cb5941e9a18ae39259d923a45c3f02c270eb7aded050581c057540ed9","target":"record","created_at":"2026-05-18T00:49:48Z","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":"ed596574477aa76b1508898f1df5cceb4a99b26635262aa03707d5cbf74a8ef1","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2017-02-28T06:33:50Z","title_canon_sha256":"d312f27a4e09897ffae4c389d4f63baa34ab00dc220d6e0971f89e9b2b3ec664"},"schema_version":"1.0","source":{"id":"1702.08664","kind":"arxiv","version":1}},"canonical_sha256":"f37db6ca2fe1c22424407dbefe60f11c086e9e1dddcc9583c8bc3f65252145e8","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"f37db6ca2fe1c22424407dbefe60f11c086e9e1dddcc9583c8bc3f65252145e8","first_computed_at":"2026-05-18T00:49:48.145873Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:49:48.145873Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"/lS63smlmcpeh5rmTQyh7iwXTCcfs6x2y9OI0YZu3pUMaG/uDhTvN37zCf1F+fLkU/xCtRFkAQiJ4uSrm4RpBQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:49:48.146384Z","signed_message":"canonical_sha256_bytes"},"source_id":"1702.08664","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:4bf6da1cb5941e9a18ae39259d923a45c3f02c270eb7aded050581c057540ed9","sha256:e9a587ea4ce30e6902e6aa875458f3669a8fb85fc067f8e4b7c6e1b0428c8d72"],"state_sha256":"c435c910db1c19174a105c83b321cb112c5b2d78870831f40c9654d7d0763539"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"TiGH+tVKucoEACsaWh1wqVJPTosPzx1PoPl3j02H3bYdu7jabpbhx/MakF2ko3GHEIhd8Oaz5tnuWhqs0+LvCQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-30T18:51:49.184406Z","bundle_sha256":"50e327959feb05d577e6cd6fe158cabe204ed0f7c4238ee5292d0a9518480e7d"}}