{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:OEJFGVXXBOLFP74XAUC6FCQADN","short_pith_number":"pith:OEJFGVXX","canonical_record":{"source":{"id":"1501.07773","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2015-01-30T13:50:31Z","cross_cats_sorted":["cs.SC","math.NT"],"title_canon_sha256":"5dc065b74694b70b932fab79a1853f4a214f36f9fdc3b9baabc1fbd1fd1981af","abstract_canon_sha256":"7952599a04c4fc5488db71b56ab32c225b3f29856f96b335e4ec99af7b86bec2"},"schema_version":"1.0"},"canonical_sha256":"71125356f70b9657ff970505e28a001b63580cfd9789551c7e77c18883ab98b6","source":{"kind":"arxiv","id":"1501.07773","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1501.07773","created_at":"2026-05-18T02:28:14Z"},{"alias_kind":"arxiv_version","alias_value":"1501.07773v1","created_at":"2026-05-18T02:28:14Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1501.07773","created_at":"2026-05-18T02:28:14Z"},{"alias_kind":"pith_short_12","alias_value":"OEJFGVXXBOLF","created_at":"2026-05-18T12:29:34Z"},{"alias_kind":"pith_short_16","alias_value":"OEJFGVXXBOLFP74X","created_at":"2026-05-18T12:29:34Z"},{"alias_kind":"pith_short_8","alias_value":"OEJFGVXX","created_at":"2026-05-18T12:29:34Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:OEJFGVXXBOLFP74XAUC6FCQADN","target":"record","payload":{"canonical_record":{"source":{"id":"1501.07773","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2015-01-30T13:50:31Z","cross_cats_sorted":["cs.SC","math.NT"],"title_canon_sha256":"5dc065b74694b70b932fab79a1853f4a214f36f9fdc3b9baabc1fbd1fd1981af","abstract_canon_sha256":"7952599a04c4fc5488db71b56ab32c225b3f29856f96b335e4ec99af7b86bec2"},"schema_version":"1.0"},"canonical_sha256":"71125356f70b9657ff970505e28a001b63580cfd9789551c7e77c18883ab98b6","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:28:14.175544Z","signature_b64":"QN4xm+SNHXXdzzjxtT9RyEEgQsLcSqqeMHTNfyMXkjzg2c0N3wlwPbFGw4O12JMVnBJ78bbV30mwn7uLDSeFBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"71125356f70b9657ff970505e28a001b63580cfd9789551c7e77c18883ab98b6","last_reissued_at":"2026-05-18T02:28:14.174859Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:28:14.174859Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1501.07773","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:28:14Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ThxfTTNHMAunylr8Uj55RkhnFR6Py3/WwXo7OAZcHhAd9HKzzaWxbKqKlN25VGX4OsLkMZ2nP+iE0ZKa2S3vDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T17:38:38.250488Z"},"content_sha256":"9e4adb193fa22d08b0fd939267ab11b6abc54395ef7075a47f5d2504ad24facc","schema_version":"1.0","event_id":"sha256:9e4adb193fa22d08b0fd939267ab11b6abc54395ef7075a47f5d2504ad24facc"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:OEJFGVXXBOLFP74XAUC6FCQADN","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Polyhedral Omega: A New Algorithm for Solving Linear Diophantine Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SC","math.NT"],"primary_cat":"math.CO","authors_text":"Felix Breuer, Zafeirakis Zafeirakopoulos","submitted_at":"2015-01-30T13:50:31Z","abstract_excerpt":"Polyhedral Omega is a new algorithm for solving linear Diophantine systems (LDS), i.e., for computing a multivariate rational function representation of the set of all non-negative integer solutions to a system of linear equations and inequalities. Polyhedral Omega combines methods from partition analysis with methods from polyhedral geometry. In particular, we combine MacMahon's iterative approach based on the Omega operator and explicit formulas for its evaluation with geometric tools such as Brion decompositions and Barvinok's short rational function representations. In this way, we connect"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1501.07773","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:28:14Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"i5e6IEiemInjXICRfh4oc/Z2ZffvDPYGjn7z8fEfsleHXYlXTkMf1AuH6MtYQ7NqRWZMFkQEZLJ0y1AEGlOcBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T17:38:38.250862Z"},"content_sha256":"07a15291d790d5b24918e118f90587b80bfc777239c2c32875f85504acabc6a5","schema_version":"1.0","event_id":"sha256:07a15291d790d5b24918e118f90587b80bfc777239c2c32875f85504acabc6a5"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/OEJFGVXXBOLFP74XAUC6FCQADN/bundle.json","state_url":"https://pith.science/pith/OEJFGVXXBOLFP74XAUC6FCQADN/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/OEJFGVXXBOLFP74XAUC6FCQADN/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-03T17:38:38Z","links":{"resolver":"https://pith.science/pith/OEJFGVXXBOLFP74XAUC6FCQADN","bundle":"https://pith.science/pith/OEJFGVXXBOLFP74XAUC6FCQADN/bundle.json","state":"https://pith.science/pith/OEJFGVXXBOLFP74XAUC6FCQADN/state.json","well_known_bundle":"https://pith.science/.well-known/pith/OEJFGVXXBOLFP74XAUC6FCQADN/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:OEJFGVXXBOLFP74XAUC6FCQADN","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":"7952599a04c4fc5488db71b56ab32c225b3f29856f96b335e4ec99af7b86bec2","cross_cats_sorted":["cs.SC","math.NT"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2015-01-30T13:50:31Z","title_canon_sha256":"5dc065b74694b70b932fab79a1853f4a214f36f9fdc3b9baabc1fbd1fd1981af"},"schema_version":"1.0","source":{"id":"1501.07773","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1501.07773","created_at":"2026-05-18T02:28:14Z"},{"alias_kind":"arxiv_version","alias_value":"1501.07773v1","created_at":"2026-05-18T02:28:14Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1501.07773","created_at":"2026-05-18T02:28:14Z"},{"alias_kind":"pith_short_12","alias_value":"OEJFGVXXBOLF","created_at":"2026-05-18T12:29:34Z"},{"alias_kind":"pith_short_16","alias_value":"OEJFGVXXBOLFP74X","created_at":"2026-05-18T12:29:34Z"},{"alias_kind":"pith_short_8","alias_value":"OEJFGVXX","created_at":"2026-05-18T12:29:34Z"}],"graph_snapshots":[{"event_id":"sha256:07a15291d790d5b24918e118f90587b80bfc777239c2c32875f85504acabc6a5","target":"graph","created_at":"2026-05-18T02:28:14Z","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":"Polyhedral Omega is a new algorithm for solving linear Diophantine systems (LDS), i.e., for computing a multivariate rational function representation of the set of all non-negative integer solutions to a system of linear equations and inequalities. Polyhedral Omega combines methods from partition analysis with methods from polyhedral geometry. In particular, we combine MacMahon's iterative approach based on the Omega operator and explicit formulas for its evaluation with geometric tools such as Brion decompositions and Barvinok's short rational function representations. In this way, we connect","authors_text":"Felix Breuer, Zafeirakis Zafeirakopoulos","cross_cats":["cs.SC","math.NT"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2015-01-30T13:50:31Z","title":"Polyhedral Omega: A New Algorithm for Solving Linear Diophantine Systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1501.07773","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:9e4adb193fa22d08b0fd939267ab11b6abc54395ef7075a47f5d2504ad24facc","target":"record","created_at":"2026-05-18T02:28:14Z","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":"7952599a04c4fc5488db71b56ab32c225b3f29856f96b335e4ec99af7b86bec2","cross_cats_sorted":["cs.SC","math.NT"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2015-01-30T13:50:31Z","title_canon_sha256":"5dc065b74694b70b932fab79a1853f4a214f36f9fdc3b9baabc1fbd1fd1981af"},"schema_version":"1.0","source":{"id":"1501.07773","kind":"arxiv","version":1}},"canonical_sha256":"71125356f70b9657ff970505e28a001b63580cfd9789551c7e77c18883ab98b6","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"71125356f70b9657ff970505e28a001b63580cfd9789551c7e77c18883ab98b6","first_computed_at":"2026-05-18T02:28:14.174859Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:28:14.174859Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"QN4xm+SNHXXdzzjxtT9RyEEgQsLcSqqeMHTNfyMXkjzg2c0N3wlwPbFGw4O12JMVnBJ78bbV30mwn7uLDSeFBw==","signature_status":"signed_v1","signed_at":"2026-05-18T02:28:14.175544Z","signed_message":"canonical_sha256_bytes"},"source_id":"1501.07773","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:9e4adb193fa22d08b0fd939267ab11b6abc54395ef7075a47f5d2504ad24facc","sha256:07a15291d790d5b24918e118f90587b80bfc777239c2c32875f85504acabc6a5"],"state_sha256":"6616741c20cabe1f8c87437e54111919ec0de609fcb2688adc2d4edcbf1f52a6"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"VYYOKdnB6Ey9o+xrahtSAfqKLhkRxIXfBQy65aOFdlWUnDIyaieFGC3wgPxHizaCAJKlrMQ3mDx0Hiaip111DA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-03T17:38:38.252942Z","bundle_sha256":"01ad57f64dca06cdb0f4efcd141055befe0b0040ab083d21c883bce88c13aa5b"}}