{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2012:7RMMPDM6UALY5XELVJFBJ3KEAO","short_pith_number":"pith:7RMMPDM6","canonical_record":{"source":{"id":"1210.3141","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.GT","submitted_at":"2012-10-11T06:47:23Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"e21fe98166f125643d5e0b2da4b21493f624ef3078cd6cceb59b620c9d5ebd70","abstract_canon_sha256":"b5c31f9a8bb935e965aec4c7063ae0176288a1c677e12c00a35e01edef39deac"},"schema_version":"1.0"},"canonical_sha256":"fc58c78d9ea0178edc8baa4a14ed44039db0132414684d8c01d127c606b57035","source":{"kind":"arxiv","id":"1210.3141","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1210.3141","created_at":"2026-05-18T03:16:29Z"},{"alias_kind":"arxiv_version","alias_value":"1210.3141v2","created_at":"2026-05-18T03:16:29Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1210.3141","created_at":"2026-05-18T03:16:29Z"},{"alias_kind":"pith_short_12","alias_value":"7RMMPDM6UALY","created_at":"2026-05-18T12:26:58Z"},{"alias_kind":"pith_short_16","alias_value":"7RMMPDM6UALY5XEL","created_at":"2026-05-18T12:26:58Z"},{"alias_kind":"pith_short_8","alias_value":"7RMMPDM6","created_at":"2026-05-18T12:26:58Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2012:7RMMPDM6UALY5XELVJFBJ3KEAO","target":"record","payload":{"canonical_record":{"source":{"id":"1210.3141","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.GT","submitted_at":"2012-10-11T06:47:23Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"e21fe98166f125643d5e0b2da4b21493f624ef3078cd6cceb59b620c9d5ebd70","abstract_canon_sha256":"b5c31f9a8bb935e965aec4c7063ae0176288a1c677e12c00a35e01edef39deac"},"schema_version":"1.0"},"canonical_sha256":"fc58c78d9ea0178edc8baa4a14ed44039db0132414684d8c01d127c606b57035","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:16:29.071660Z","signature_b64":"fQkp0unoMcS9ARyTwU6IJUKNwUy9H6e98KHw/TE73+c53Dk5BTY1jE1VSQWu/rhwG9qBNM6bBN/E4gWs0SuBDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"fc58c78d9ea0178edc8baa4a14ed44039db0132414684d8c01d127c606b57035","last_reissued_at":"2026-05-18T03:16:29.070937Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:16:29.070937Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1210.3141","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-18T03:16:29Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"9FhBERhkQZEQ9+c0uA4gVB1evbU4/jVipXJKrOswaQ7SZK9WMPf+S+UpEW8AvacJhucZCy8kK46/rRJHZCiqBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T22:24:42.387974Z"},"content_sha256":"1de8267773032dbe9d11295e37a8c366ab21e81724d3eca2e9f0c98e47fa60e5","schema_version":"1.0","event_id":"sha256:1de8267773032dbe9d11295e37a8c366ab21e81724d3eca2e9f0c98e47fa60e5"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2012:7RMMPDM6UALY5XELVJFBJ3KEAO","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Hyperplane Separation Technique for Multidimensional Mean-Payoff Games","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.GT","authors_text":"Krishnendu Chatterjee, Yaron Velner","submitted_at":"2012-10-11T06:47:23Z","abstract_excerpt":"We consider both finite-state game graphs and recursive game graphs (or pushdown game graphs), that can model the control flow of sequential programs with recursion, with multi-dimensional mean-payoff objectives. In pushdown games two types of strategies are relevant: global strategies, that depend on the entire global history; and modular strategies, that have only local memory and thus do not depend on the context of invocation. We present solutions to several fundamental algorithmic questions and our main contributions are as follows: (1) We show that finite-state multi-dimensional mean-pay"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1210.3141","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-18T03:16:29Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"MjXzeyJmqwet5fSo7sKBUZCb4VXwgwtYN0sao3oc7YJS6PJuYekSm8NstRxMmfuHEqliIqMqZjIAk72BqNOWAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T22:24:42.388636Z"},"content_sha256":"d687b753edbc53e98df6187ce929b5c95b13e816659a84bea70bf926fb43b823","schema_version":"1.0","event_id":"sha256:d687b753edbc53e98df6187ce929b5c95b13e816659a84bea70bf926fb43b823"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/7RMMPDM6UALY5XELVJFBJ3KEAO/bundle.json","state_url":"https://pith.science/pith/7RMMPDM6UALY5XELVJFBJ3KEAO/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/7RMMPDM6UALY5XELVJFBJ3KEAO/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-25T22:24:42Z","links":{"resolver":"https://pith.science/pith/7RMMPDM6UALY5XELVJFBJ3KEAO","bundle":"https://pith.science/pith/7RMMPDM6UALY5XELVJFBJ3KEAO/bundle.json","state":"https://pith.science/pith/7RMMPDM6UALY5XELVJFBJ3KEAO/state.json","well_known_bundle":"https://pith.science/.well-known/pith/7RMMPDM6UALY5XELVJFBJ3KEAO/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:7RMMPDM6UALY5XELVJFBJ3KEAO","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":"b5c31f9a8bb935e965aec4c7063ae0176288a1c677e12c00a35e01edef39deac","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.GT","submitted_at":"2012-10-11T06:47:23Z","title_canon_sha256":"e21fe98166f125643d5e0b2da4b21493f624ef3078cd6cceb59b620c9d5ebd70"},"schema_version":"1.0","source":{"id":"1210.3141","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1210.3141","created_at":"2026-05-18T03:16:29Z"},{"alias_kind":"arxiv_version","alias_value":"1210.3141v2","created_at":"2026-05-18T03:16:29Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1210.3141","created_at":"2026-05-18T03:16:29Z"},{"alias_kind":"pith_short_12","alias_value":"7RMMPDM6UALY","created_at":"2026-05-18T12:26:58Z"},{"alias_kind":"pith_short_16","alias_value":"7RMMPDM6UALY5XEL","created_at":"2026-05-18T12:26:58Z"},{"alias_kind":"pith_short_8","alias_value":"7RMMPDM6","created_at":"2026-05-18T12:26:58Z"}],"graph_snapshots":[{"event_id":"sha256:d687b753edbc53e98df6187ce929b5c95b13e816659a84bea70bf926fb43b823","target":"graph","created_at":"2026-05-18T03:16:29Z","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":"We consider both finite-state game graphs and recursive game graphs (or pushdown game graphs), that can model the control flow of sequential programs with recursion, with multi-dimensional mean-payoff objectives. In pushdown games two types of strategies are relevant: global strategies, that depend on the entire global history; and modular strategies, that have only local memory and thus do not depend on the context of invocation. We present solutions to several fundamental algorithmic questions and our main contributions are as follows: (1) We show that finite-state multi-dimensional mean-pay","authors_text":"Krishnendu Chatterjee, Yaron Velner","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.GT","submitted_at":"2012-10-11T06:47:23Z","title":"Hyperplane Separation Technique for Multidimensional Mean-Payoff Games"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1210.3141","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:1de8267773032dbe9d11295e37a8c366ab21e81724d3eca2e9f0c98e47fa60e5","target":"record","created_at":"2026-05-18T03:16:29Z","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":"b5c31f9a8bb935e965aec4c7063ae0176288a1c677e12c00a35e01edef39deac","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.GT","submitted_at":"2012-10-11T06:47:23Z","title_canon_sha256":"e21fe98166f125643d5e0b2da4b21493f624ef3078cd6cceb59b620c9d5ebd70"},"schema_version":"1.0","source":{"id":"1210.3141","kind":"arxiv","version":2}},"canonical_sha256":"fc58c78d9ea0178edc8baa4a14ed44039db0132414684d8c01d127c606b57035","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"fc58c78d9ea0178edc8baa4a14ed44039db0132414684d8c01d127c606b57035","first_computed_at":"2026-05-18T03:16:29.070937Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:16:29.070937Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"fQkp0unoMcS9ARyTwU6IJUKNwUy9H6e98KHw/TE73+c53Dk5BTY1jE1VSQWu/rhwG9qBNM6bBN/E4gWs0SuBDQ==","signature_status":"signed_v1","signed_at":"2026-05-18T03:16:29.071660Z","signed_message":"canonical_sha256_bytes"},"source_id":"1210.3141","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:1de8267773032dbe9d11295e37a8c366ab21e81724d3eca2e9f0c98e47fa60e5","sha256:d687b753edbc53e98df6187ce929b5c95b13e816659a84bea70bf926fb43b823"],"state_sha256":"d4a79cf601a9262f9da9b8d38af6163c40bc684e582dd4fa5d9768a6c687b353"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"7EpU/d75+1MtHMAy4WcEI70EsXZMFt9cBto18MIYEb4ZGmew2KT+Lmq3N4RTDJh3SGcBX9uEjBqaDVm5vZnQDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-25T22:24:42.392054Z","bundle_sha256":"446091726e2cb4abba402621ba5cae4ee61184ad3e240dcf44d2488440595a25"}}