{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2008:3Y7F4TDF3LMA77SYDDA47YLG2V","short_pith_number":"pith:3Y7F4TDF","canonical_record":{"source":{"id":"0809.1128","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AC","submitted_at":"2008-09-06T03:44:40Z","cross_cats_sorted":["math.RA"],"title_canon_sha256":"8c6d2a1c98ff825817e80f3c703828adefd4d28b41b7d40a162573cccfe5ef33","abstract_canon_sha256":"625f21f19b75f832f5bc4f7aa033fb29fbb5ae1b95495a74ab91e79d34d6f93a"},"schema_version":"1.0"},"canonical_sha256":"de3e5e4c65dad80ffe5818c1cfe166d5534eabbbd51ea9abff6dd6d42732eba6","source":{"kind":"arxiv","id":"0809.1128","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"0809.1128","created_at":"2026-05-18T03:32:06Z"},{"alias_kind":"arxiv_version","alias_value":"0809.1128v1","created_at":"2026-05-18T03:32:06Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.0809.1128","created_at":"2026-05-18T03:32:06Z"},{"alias_kind":"pith_short_12","alias_value":"3Y7F4TDF3LMA","created_at":"2026-05-18T12:25:56Z"},{"alias_kind":"pith_short_16","alias_value":"3Y7F4TDF3LMA77SY","created_at":"2026-05-18T12:25:56Z"},{"alias_kind":"pith_short_8","alias_value":"3Y7F4TDF","created_at":"2026-05-18T12:25:56Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2008:3Y7F4TDF3LMA77SYDDA47YLG2V","target":"record","payload":{"canonical_record":{"source":{"id":"0809.1128","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AC","submitted_at":"2008-09-06T03:44:40Z","cross_cats_sorted":["math.RA"],"title_canon_sha256":"8c6d2a1c98ff825817e80f3c703828adefd4d28b41b7d40a162573cccfe5ef33","abstract_canon_sha256":"625f21f19b75f832f5bc4f7aa033fb29fbb5ae1b95495a74ab91e79d34d6f93a"},"schema_version":"1.0"},"canonical_sha256":"de3e5e4c65dad80ffe5818c1cfe166d5534eabbbd51ea9abff6dd6d42732eba6","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:32:06.305517Z","signature_b64":"sfQmwozoVsH1hbHFAIN9x8+vYc7fdZdEvbL7107dIi7v1MPxPTe1dccQPAnRaaAuKgLUwF2bxJ7aLNwoZxBpCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"de3e5e4c65dad80ffe5818c1cfe166d5534eabbbd51ea9abff6dd6d42732eba6","last_reissued_at":"2026-05-18T03:32:06.304010Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:32:06.304010Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"0809.1128","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-18T03:32:06Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"94XZLSqy4KNRALgmJZD7pNs4KtBRphpEPJkwVtkq4y38J/sEOJ1IF0W1WYgveM44W16RHsQP2f1/Yb3ak69lCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T22:13:18.767361Z"},"content_sha256":"a392cfbedb85456770c4b9a5205ab8e09f9a6f65d314a1e2d50f6eec516e553d","schema_version":"1.0","event_id":"sha256:a392cfbedb85456770c4b9a5205ab8e09f9a6f65d314a1e2d50f6eec516e553d"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2008:3Y7F4TDF3LMA77SYDDA47YLG2V","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"On the generalised Ritt problem as a computational problem","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.RA"],"primary_cat":"math.AC","authors_text":"Alexey Ovchinnikov, Marina Kondratieva, Oleg Golubitsky","submitted_at":"2008-09-06T03:44:40Z","abstract_excerpt":"The Ritt problem asks if there is an algorithm that tells whether one prime differential ideal is contained in another one if both are given by their characteristic sets. We give several equivalent formulations of this problem. In particular, we show that it is equivalent to testing if a differential polynomial is a zero divisor modulo a radical differential ideal. The technique used in the proof of equivalence yields algorithms for computing a canonical decomposition of a radical differential ideal into prime components and a canonical generating set of a radical differential ideal. Both prop"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"0809.1128","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-18T03:32:06Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"xZtWpefbuwJt57v3qZGSCK5YKHFvzaE9f6MgRDB+g2Jp+pBRUUUb35RJdtDTdBO0RzuLLR5ifa8o/zJQJ9MeDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T22:13:18.768167Z"},"content_sha256":"004bf7028216e9391ab39dc348b16b7e64b92197f4a483f685460c20ebcdc367","schema_version":"1.0","event_id":"sha256:004bf7028216e9391ab39dc348b16b7e64b92197f4a483f685460c20ebcdc367"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/3Y7F4TDF3LMA77SYDDA47YLG2V/bundle.json","state_url":"https://pith.science/pith/3Y7F4TDF3LMA77SYDDA47YLG2V/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/3Y7F4TDF3LMA77SYDDA47YLG2V/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-31T22:13:18Z","links":{"resolver":"https://pith.science/pith/3Y7F4TDF3LMA77SYDDA47YLG2V","bundle":"https://pith.science/pith/3Y7F4TDF3LMA77SYDDA47YLG2V/bundle.json","state":"https://pith.science/pith/3Y7F4TDF3LMA77SYDDA47YLG2V/state.json","well_known_bundle":"https://pith.science/.well-known/pith/3Y7F4TDF3LMA77SYDDA47YLG2V/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2008:3Y7F4TDF3LMA77SYDDA47YLG2V","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":"625f21f19b75f832f5bc4f7aa033fb29fbb5ae1b95495a74ab91e79d34d6f93a","cross_cats_sorted":["math.RA"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AC","submitted_at":"2008-09-06T03:44:40Z","title_canon_sha256":"8c6d2a1c98ff825817e80f3c703828adefd4d28b41b7d40a162573cccfe5ef33"},"schema_version":"1.0","source":{"id":"0809.1128","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"0809.1128","created_at":"2026-05-18T03:32:06Z"},{"alias_kind":"arxiv_version","alias_value":"0809.1128v1","created_at":"2026-05-18T03:32:06Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.0809.1128","created_at":"2026-05-18T03:32:06Z"},{"alias_kind":"pith_short_12","alias_value":"3Y7F4TDF3LMA","created_at":"2026-05-18T12:25:56Z"},{"alias_kind":"pith_short_16","alias_value":"3Y7F4TDF3LMA77SY","created_at":"2026-05-18T12:25:56Z"},{"alias_kind":"pith_short_8","alias_value":"3Y7F4TDF","created_at":"2026-05-18T12:25:56Z"}],"graph_snapshots":[{"event_id":"sha256:004bf7028216e9391ab39dc348b16b7e64b92197f4a483f685460c20ebcdc367","target":"graph","created_at":"2026-05-18T03: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":"The Ritt problem asks if there is an algorithm that tells whether one prime differential ideal is contained in another one if both are given by their characteristic sets. We give several equivalent formulations of this problem. In particular, we show that it is equivalent to testing if a differential polynomial is a zero divisor modulo a radical differential ideal. The technique used in the proof of equivalence yields algorithms for computing a canonical decomposition of a radical differential ideal into prime components and a canonical generating set of a radical differential ideal. Both prop","authors_text":"Alexey Ovchinnikov, Marina Kondratieva, Oleg Golubitsky","cross_cats":["math.RA"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AC","submitted_at":"2008-09-06T03:44:40Z","title":"On the generalised Ritt problem as a computational problem"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"0809.1128","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:a392cfbedb85456770c4b9a5205ab8e09f9a6f65d314a1e2d50f6eec516e553d","target":"record","created_at":"2026-05-18T03: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":"625f21f19b75f832f5bc4f7aa033fb29fbb5ae1b95495a74ab91e79d34d6f93a","cross_cats_sorted":["math.RA"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AC","submitted_at":"2008-09-06T03:44:40Z","title_canon_sha256":"8c6d2a1c98ff825817e80f3c703828adefd4d28b41b7d40a162573cccfe5ef33"},"schema_version":"1.0","source":{"id":"0809.1128","kind":"arxiv","version":1}},"canonical_sha256":"de3e5e4c65dad80ffe5818c1cfe166d5534eabbbd51ea9abff6dd6d42732eba6","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"de3e5e4c65dad80ffe5818c1cfe166d5534eabbbd51ea9abff6dd6d42732eba6","first_computed_at":"2026-05-18T03:32:06.304010Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:32:06.304010Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"sfQmwozoVsH1hbHFAIN9x8+vYc7fdZdEvbL7107dIi7v1MPxPTe1dccQPAnRaaAuKgLUwF2bxJ7aLNwoZxBpCA==","signature_status":"signed_v1","signed_at":"2026-05-18T03:32:06.305517Z","signed_message":"canonical_sha256_bytes"},"source_id":"0809.1128","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:a392cfbedb85456770c4b9a5205ab8e09f9a6f65d314a1e2d50f6eec516e553d","sha256:004bf7028216e9391ab39dc348b16b7e64b92197f4a483f685460c20ebcdc367"],"state_sha256":"d76868c14ab65cb3c2d8d047478b0aef1153e1047b1f604524bad968da4dbe1d"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"qDMeG50z3+4Dq3+zewJ+4pLeZu/tHmviyPurf6PCkVew8jacY7uZkkeiFSq4lUDViZ1XnkfjbGoJJQwnbXKVBQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-31T22:13:18.772860Z","bundle_sha256":"f3211ffcb35bb69020205f5e1f134729a0f3782d2b0e4be1bda76a51888fabb6"}}