{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:MV2A3PXJGNDNWQW4TCX5CO7FPL","short_pith_number":"pith:MV2A3PXJ","canonical_record":{"source":{"id":"1501.04668","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2015-01-19T23:00:12Z","cross_cats_sorted":["math.RA"],"title_canon_sha256":"0123f00d95aec7ce22611a9fd0b97cc3f46f62b5d048eb79156aa76d627e8e0c","abstract_canon_sha256":"3ccd92bcfc6a32dcebe230d2c176d037b4f7242ce478cf763530351128055efd"},"schema_version":"1.0"},"canonical_sha256":"65740dbee93346db42dc98afd13be57aff26087ad173a7cfa612eaa55ab8c333","source":{"kind":"arxiv","id":"1501.04668","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1501.04668","created_at":"2026-05-18T01:55:32Z"},{"alias_kind":"arxiv_version","alias_value":"1501.04668v2","created_at":"2026-05-18T01:55:32Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1501.04668","created_at":"2026-05-18T01:55:32Z"},{"alias_kind":"pith_short_12","alias_value":"MV2A3PXJGNDN","created_at":"2026-05-18T12:29:32Z"},{"alias_kind":"pith_short_16","alias_value":"MV2A3PXJGNDNWQW4","created_at":"2026-05-18T12:29:32Z"},{"alias_kind":"pith_short_8","alias_value":"MV2A3PXJ","created_at":"2026-05-18T12:29:32Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:MV2A3PXJGNDNWQW4TCX5CO7FPL","target":"record","payload":{"canonical_record":{"source":{"id":"1501.04668","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2015-01-19T23:00:12Z","cross_cats_sorted":["math.RA"],"title_canon_sha256":"0123f00d95aec7ce22611a9fd0b97cc3f46f62b5d048eb79156aa76d627e8e0c","abstract_canon_sha256":"3ccd92bcfc6a32dcebe230d2c176d037b4f7242ce478cf763530351128055efd"},"schema_version":"1.0"},"canonical_sha256":"65740dbee93346db42dc98afd13be57aff26087ad173a7cfa612eaa55ab8c333","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:55:32.973384Z","signature_b64":"kJJHuswdfw7A3BtjFfrCdoufzsuJHsret+HCemoZfW6z5n9YiJNLT3UPzDQpwP/b4nAr+XqLGLPrGmaCQaTfBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"65740dbee93346db42dc98afd13be57aff26087ad173a7cfa612eaa55ab8c333","last_reissued_at":"2026-05-18T01:55:32.972878Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:55:32.972878Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1501.04668","source_version":2,"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:55:32Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"7aXHcnfHhr5lOez2B/eP41XH1uBXc+2S+qagAWdBA2dQW61dpEkzqGBmJhnJsecOI+SKR6me17Idjl9+4x7HAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T21:14:19.453861Z"},"content_sha256":"827e3b78c436c4079bd00ec3d52bc459161c2b8cf7ad8391f33f431998845705","schema_version":"1.0","event_id":"sha256:827e3b78c436c4079bd00ec3d52bc459161c2b8cf7ad8391f33f431998845705"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:MV2A3PXJGNDNWQW4TCX5CO7FPL","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A Modified Abramov-Petkovsek Reduction and Creative Telescoping for Hypergeometric Terms","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.RA"],"primary_cat":"cs.SC","authors_text":"Hui Huang, Manuel Kauers, Shaoshi Chen, Ziming Li","submitted_at":"2015-01-19T23:00:12Z","abstract_excerpt":"The Abramov-Petkovsek reduction computes an additive decomposition of a hypergeometric term, which extends the functionality of the Gosper algorithm for indefinite hypergeometric summation. We modify the Abramov-Petkovsek reduction so as to decompose a hypergeometric term as the sum of a summable term and a non-summable one. The outputs of the Abramov-Petkovsek reduction and our modified version share the same required properties. The modified reduction does not solve any auxiliary linear difference equation explicitly. It is also more efficient than the original reduction according to computa"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1501.04668","kind":"arxiv","version":2},"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:55:32Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"FZGZahtiQqc+QkClzyfSEnP8/EDEEwbLpdhUP7alxhjwy8OZn3QqerpJiOMB28F1k+QnvPp9wcEYbbLnIMu0CA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T21:14:19.454439Z"},"content_sha256":"bfa1b3846d37238b4610af63fb7b74bc655b5b20ca171c687ff7a01158743896","schema_version":"1.0","event_id":"sha256:bfa1b3846d37238b4610af63fb7b74bc655b5b20ca171c687ff7a01158743896"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/MV2A3PXJGNDNWQW4TCX5CO7FPL/bundle.json","state_url":"https://pith.science/pith/MV2A3PXJGNDNWQW4TCX5CO7FPL/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/MV2A3PXJGNDNWQW4TCX5CO7FPL/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-02T21:14:19Z","links":{"resolver":"https://pith.science/pith/MV2A3PXJGNDNWQW4TCX5CO7FPL","bundle":"https://pith.science/pith/MV2A3PXJGNDNWQW4TCX5CO7FPL/bundle.json","state":"https://pith.science/pith/MV2A3PXJGNDNWQW4TCX5CO7FPL/state.json","well_known_bundle":"https://pith.science/.well-known/pith/MV2A3PXJGNDNWQW4TCX5CO7FPL/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:MV2A3PXJGNDNWQW4TCX5CO7FPL","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":"3ccd92bcfc6a32dcebe230d2c176d037b4f7242ce478cf763530351128055efd","cross_cats_sorted":["math.RA"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2015-01-19T23:00:12Z","title_canon_sha256":"0123f00d95aec7ce22611a9fd0b97cc3f46f62b5d048eb79156aa76d627e8e0c"},"schema_version":"1.0","source":{"id":"1501.04668","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1501.04668","created_at":"2026-05-18T01:55:32Z"},{"alias_kind":"arxiv_version","alias_value":"1501.04668v2","created_at":"2026-05-18T01:55:32Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1501.04668","created_at":"2026-05-18T01:55:32Z"},{"alias_kind":"pith_short_12","alias_value":"MV2A3PXJGNDN","created_at":"2026-05-18T12:29:32Z"},{"alias_kind":"pith_short_16","alias_value":"MV2A3PXJGNDNWQW4","created_at":"2026-05-18T12:29:32Z"},{"alias_kind":"pith_short_8","alias_value":"MV2A3PXJ","created_at":"2026-05-18T12:29:32Z"}],"graph_snapshots":[{"event_id":"sha256:bfa1b3846d37238b4610af63fb7b74bc655b5b20ca171c687ff7a01158743896","target":"graph","created_at":"2026-05-18T01:55:32Z","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 Abramov-Petkovsek reduction computes an additive decomposition of a hypergeometric term, which extends the functionality of the Gosper algorithm for indefinite hypergeometric summation. We modify the Abramov-Petkovsek reduction so as to decompose a hypergeometric term as the sum of a summable term and a non-summable one. The outputs of the Abramov-Petkovsek reduction and our modified version share the same required properties. The modified reduction does not solve any auxiliary linear difference equation explicitly. It is also more efficient than the original reduction according to computa","authors_text":"Hui Huang, Manuel Kauers, Shaoshi Chen, Ziming Li","cross_cats":["math.RA"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2015-01-19T23:00:12Z","title":"A Modified Abramov-Petkovsek Reduction and Creative Telescoping for Hypergeometric Terms"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1501.04668","kind":"arxiv","version":2},"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:827e3b78c436c4079bd00ec3d52bc459161c2b8cf7ad8391f33f431998845705","target":"record","created_at":"2026-05-18T01:55:32Z","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":"3ccd92bcfc6a32dcebe230d2c176d037b4f7242ce478cf763530351128055efd","cross_cats_sorted":["math.RA"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2015-01-19T23:00:12Z","title_canon_sha256":"0123f00d95aec7ce22611a9fd0b97cc3f46f62b5d048eb79156aa76d627e8e0c"},"schema_version":"1.0","source":{"id":"1501.04668","kind":"arxiv","version":2}},"canonical_sha256":"65740dbee93346db42dc98afd13be57aff26087ad173a7cfa612eaa55ab8c333","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"65740dbee93346db42dc98afd13be57aff26087ad173a7cfa612eaa55ab8c333","first_computed_at":"2026-05-18T01:55:32.972878Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:55:32.972878Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"kJJHuswdfw7A3BtjFfrCdoufzsuJHsret+HCemoZfW6z5n9YiJNLT3UPzDQpwP/b4nAr+XqLGLPrGmaCQaTfBQ==","signature_status":"signed_v1","signed_at":"2026-05-18T01:55:32.973384Z","signed_message":"canonical_sha256_bytes"},"source_id":"1501.04668","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:827e3b78c436c4079bd00ec3d52bc459161c2b8cf7ad8391f33f431998845705","sha256:bfa1b3846d37238b4610af63fb7b74bc655b5b20ca171c687ff7a01158743896"],"state_sha256":"7bc6167149dd10f5f977a107633c10ca179e4ff83d03c11697a97d5b62070084"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"DE2raFW1NNYkdAt0cgT2tTBQ+MfiNBbL/x0z4EY3GC/vij9dhIxVa4HNxemk6S7OrwK1GbNNteVnhyqRahjqBg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-02T21:14:19.457125Z","bundle_sha256":"a53952830c6f73da4f1103596a7deef76afe6bbb4653a7ea929088823cd52a81"}}