{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:MN3YSLTUQC32XTYAO32OZ77K6T","short_pith_number":"pith:MN3YSLTU","canonical_record":{"source":{"id":"1501.02755","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AG","submitted_at":"2015-01-12T19:14:47Z","cross_cats_sorted":["cs.SC"],"title_canon_sha256":"fb43088a27d43a542bd0a997151cee88d0ea1e1d2b97df6b31a1b3709dbd39b7","abstract_canon_sha256":"b83c9e98f45b3b1df706c93a077e1430cbf4a9426e8d118bc6efc5f17b614997"},"schema_version":"1.0"},"canonical_sha256":"6377892e7480b7abcf0076f4ecffeaf4e1864d1b2d0de31f91fd751f641794a0","source":{"kind":"arxiv","id":"1501.02755","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1501.02755","created_at":"2026-05-18T02:29:37Z"},{"alias_kind":"arxiv_version","alias_value":"1501.02755v1","created_at":"2026-05-18T02:29:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1501.02755","created_at":"2026-05-18T02:29:37Z"},{"alias_kind":"pith_short_12","alias_value":"MN3YSLTUQC32","created_at":"2026-05-18T12:29:32Z"},{"alias_kind":"pith_short_16","alias_value":"MN3YSLTUQC32XTYA","created_at":"2026-05-18T12:29:32Z"},{"alias_kind":"pith_short_8","alias_value":"MN3YSLTU","created_at":"2026-05-18T12:29:32Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:MN3YSLTUQC32XTYAO32OZ77K6T","target":"record","payload":{"canonical_record":{"source":{"id":"1501.02755","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AG","submitted_at":"2015-01-12T19:14:47Z","cross_cats_sorted":["cs.SC"],"title_canon_sha256":"fb43088a27d43a542bd0a997151cee88d0ea1e1d2b97df6b31a1b3709dbd39b7","abstract_canon_sha256":"b83c9e98f45b3b1df706c93a077e1430cbf4a9426e8d118bc6efc5f17b614997"},"schema_version":"1.0"},"canonical_sha256":"6377892e7480b7abcf0076f4ecffeaf4e1864d1b2d0de31f91fd751f641794a0","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:29:37.330811Z","signature_b64":"zCIs8hrCV2H4s0hp59XNpzbttYAZloUYwmPi3MsRUrybkxIFvuNHtMAeN/EtW/ZLdSQezI/Ns/Bzf25alyG4AA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"6377892e7480b7abcf0076f4ecffeaf4e1864d1b2d0de31f91fd751f641794a0","last_reissued_at":"2026-05-18T02:29:37.330395Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:29:37.330395Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1501.02755","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-18T02:29:37Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"CiVe3swXCfhZoJ38LF27ZMC+DQVV62Vge4hdqZTbAG5uoruHJCggtuTnr5zPHYwPCs+dnlnEGmqW3ok7uzP7Ag==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-04T19:02:37.971152Z"},"content_sha256":"d86e8a6dfdb4be3223657a2f216cd07769ac88aae707813aee6bf07de93ded32","schema_version":"1.0","event_id":"sha256:d86e8a6dfdb4be3223657a2f216cd07769ac88aae707813aee6bf07de93ded32"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:MN3YSLTUQC32XTYAO32OZ77K6T","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Computation of Differential Chow Forms for Prime Differential Ideals","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SC"],"primary_cat":"math.AG","authors_text":"Wei Li, Yinghong Li","submitted_at":"2015-01-12T19:14:47Z","abstract_excerpt":"In this paper, we propose algorithms to compute differential Chow forms for prime differential ideals which are given by their characteristic sets. The main algorithm is based on an optimal bound for the order of a prime differential ideal in terms of its characteristic set under an arbitrary ranking, which shows the Jacobi bound conjecture holds in this case. Apart from the order bound, we also give a degree bound for the differential Chow form. In addition, for prime differential ideals given by their characteristic sets under an orderly ranking, a much more simpler algorithm is given to com"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1501.02755","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-18T02:29:37Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"4BQi8WMHapMCl1xPoLQQ2PnGZab/KsCvBEN/hSciEl4M8V4oBcgRRrEcc/jvA/HuoSKwlx0nLWYVc/3O1zDlAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-04T19:02:37.971516Z"},"content_sha256":"73a22b5d72d95e76d55e259142360072af9c17532ad07f2a30e1c4a39b0b8888","schema_version":"1.0","event_id":"sha256:73a22b5d72d95e76d55e259142360072af9c17532ad07f2a30e1c4a39b0b8888"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/MN3YSLTUQC32XTYAO32OZ77K6T/bundle.json","state_url":"https://pith.science/pith/MN3YSLTUQC32XTYAO32OZ77K6T/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/MN3YSLTUQC32XTYAO32OZ77K6T/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-04T19:02:37Z","links":{"resolver":"https://pith.science/pith/MN3YSLTUQC32XTYAO32OZ77K6T","bundle":"https://pith.science/pith/MN3YSLTUQC32XTYAO32OZ77K6T/bundle.json","state":"https://pith.science/pith/MN3YSLTUQC32XTYAO32OZ77K6T/state.json","well_known_bundle":"https://pith.science/.well-known/pith/MN3YSLTUQC32XTYAO32OZ77K6T/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:MN3YSLTUQC32XTYAO32OZ77K6T","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":"b83c9e98f45b3b1df706c93a077e1430cbf4a9426e8d118bc6efc5f17b614997","cross_cats_sorted":["cs.SC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AG","submitted_at":"2015-01-12T19:14:47Z","title_canon_sha256":"fb43088a27d43a542bd0a997151cee88d0ea1e1d2b97df6b31a1b3709dbd39b7"},"schema_version":"1.0","source":{"id":"1501.02755","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1501.02755","created_at":"2026-05-18T02:29:37Z"},{"alias_kind":"arxiv_version","alias_value":"1501.02755v1","created_at":"2026-05-18T02:29:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1501.02755","created_at":"2026-05-18T02:29:37Z"},{"alias_kind":"pith_short_12","alias_value":"MN3YSLTUQC32","created_at":"2026-05-18T12:29:32Z"},{"alias_kind":"pith_short_16","alias_value":"MN3YSLTUQC32XTYA","created_at":"2026-05-18T12:29:32Z"},{"alias_kind":"pith_short_8","alias_value":"MN3YSLTU","created_at":"2026-05-18T12:29:32Z"}],"graph_snapshots":[{"event_id":"sha256:73a22b5d72d95e76d55e259142360072af9c17532ad07f2a30e1c4a39b0b8888","target":"graph","created_at":"2026-05-18T02:29:37Z","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 propose algorithms to compute differential Chow forms for prime differential ideals which are given by their characteristic sets. The main algorithm is based on an optimal bound for the order of a prime differential ideal in terms of its characteristic set under an arbitrary ranking, which shows the Jacobi bound conjecture holds in this case. Apart from the order bound, we also give a degree bound for the differential Chow form. In addition, for prime differential ideals given by their characteristic sets under an orderly ranking, a much more simpler algorithm is given to com","authors_text":"Wei Li, Yinghong Li","cross_cats":["cs.SC"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AG","submitted_at":"2015-01-12T19:14:47Z","title":"Computation of Differential Chow Forms for Prime Differential Ideals"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1501.02755","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:d86e8a6dfdb4be3223657a2f216cd07769ac88aae707813aee6bf07de93ded32","target":"record","created_at":"2026-05-18T02:29:37Z","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":"b83c9e98f45b3b1df706c93a077e1430cbf4a9426e8d118bc6efc5f17b614997","cross_cats_sorted":["cs.SC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AG","submitted_at":"2015-01-12T19:14:47Z","title_canon_sha256":"fb43088a27d43a542bd0a997151cee88d0ea1e1d2b97df6b31a1b3709dbd39b7"},"schema_version":"1.0","source":{"id":"1501.02755","kind":"arxiv","version":1}},"canonical_sha256":"6377892e7480b7abcf0076f4ecffeaf4e1864d1b2d0de31f91fd751f641794a0","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"6377892e7480b7abcf0076f4ecffeaf4e1864d1b2d0de31f91fd751f641794a0","first_computed_at":"2026-05-18T02:29:37.330395Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:29:37.330395Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"zCIs8hrCV2H4s0hp59XNpzbttYAZloUYwmPi3MsRUrybkxIFvuNHtMAeN/EtW/ZLdSQezI/Ns/Bzf25alyG4AA==","signature_status":"signed_v1","signed_at":"2026-05-18T02:29:37.330811Z","signed_message":"canonical_sha256_bytes"},"source_id":"1501.02755","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:d86e8a6dfdb4be3223657a2f216cd07769ac88aae707813aee6bf07de93ded32","sha256:73a22b5d72d95e76d55e259142360072af9c17532ad07f2a30e1c4a39b0b8888"],"state_sha256":"66aa5cc0e2dc528ae3c4ab7878a6f94fd3db16a9c45cd680bae1b38ef33020ed"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ZvUYkML2E9s4s6c+LVin+JAHklmEsANZXKTtmsArF+Euyjd6X2dd+zFKMqSYuxt0Nqc4ruloQNGaCv3GnLpdBg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-04T19:02:37.973481Z","bundle_sha256":"dbf0f199f241b30f929a313a2eac4bbb5b8735901495380b43ea90a8900e3102"}}