{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2011:XZCAVZ4JKRSMJ2ID7ENSOKK7T5","short_pith_number":"pith:XZCAVZ4J","canonical_record":{"source":{"id":"1101.3431","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.MG","submitted_at":"2011-01-18T12:03:01Z","cross_cats_sorted":["math.RA"],"title_canon_sha256":"257a3e46daee7e68cfbaee71a556b84a53f1344a50bece37cf748247b25133bf","abstract_canon_sha256":"a9fad4fa00a7f85c2d7a48429bd022a59dacb21872952399c885df491c34cb2e"},"schema_version":"1.0"},"canonical_sha256":"be440ae7895464c4e903f91b27295f9f7fcd0be8f702ac83dc1b81de701f4a36","source":{"kind":"arxiv","id":"1101.3431","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1101.3431","created_at":"2026-05-18T02:22:51Z"},{"alias_kind":"arxiv_version","alias_value":"1101.3431v2","created_at":"2026-05-18T02:22:51Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1101.3431","created_at":"2026-05-18T02:22:51Z"},{"alias_kind":"pith_short_12","alias_value":"XZCAVZ4JKRSM","created_at":"2026-05-18T12:26:47Z"},{"alias_kind":"pith_short_16","alias_value":"XZCAVZ4JKRSMJ2ID","created_at":"2026-05-18T12:26:47Z"},{"alias_kind":"pith_short_8","alias_value":"XZCAVZ4J","created_at":"2026-05-18T12:26:47Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2011:XZCAVZ4JKRSMJ2ID7ENSOKK7T5","target":"record","payload":{"canonical_record":{"source":{"id":"1101.3431","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.MG","submitted_at":"2011-01-18T12:03:01Z","cross_cats_sorted":["math.RA"],"title_canon_sha256":"257a3e46daee7e68cfbaee71a556b84a53f1344a50bece37cf748247b25133bf","abstract_canon_sha256":"a9fad4fa00a7f85c2d7a48429bd022a59dacb21872952399c885df491c34cb2e"},"schema_version":"1.0"},"canonical_sha256":"be440ae7895464c4e903f91b27295f9f7fcd0be8f702ac83dc1b81de701f4a36","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:22:51.728096Z","signature_b64":"KNZH7QXLBm9J/lvazbIrd7HKWTSxpCSNYazq+G0mFryohAvmeAlbSbHvHdiCFQDVwNRJ+cRMGTqLU7aWDja+Bg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"be440ae7895464c4e903f91b27295f9f7fcd0be8f702ac83dc1b81de701f4a36","last_reissued_at":"2026-05-18T02:22:51.727406Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:22:51.727406Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1101.3431","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-18T02:22:51Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"cfmoitpj885TEPLaf58jklx/HuttZaPqeKW+lcTxhT+sMvmf5oMDjQ3SP+zkoQ3WZJoTklsxuNmPI2sgm6UOAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T15:44:56.351101Z"},"content_sha256":"0574377fa8ee5ea1c551c48e9e2a08c79ca025cfe8073dbc0d56df5d67959a4d","schema_version":"1.0","event_id":"sha256:0574377fa8ee5ea1c551c48e9e2a08c79ca025cfe8073dbc0d56df5d67959a4d"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2011:XZCAVZ4JKRSMJ2ID7ENSOKK7T5","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Tropical linear-fractional programming and parametric mean payoff games","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.RA"],"primary_cat":"math.MG","authors_text":"Ricardo D. Katz, Sergei Sergeev, Stephane Gaubert","submitted_at":"2011-01-18T12:03:01Z","abstract_excerpt":"Tropical polyhedra have been recently used to represent disjunctive invariants in static analysis. To handle larger instances, tropical analogues of classical linear programming results need to be developed. This motivation leads us to study the tropical analogue of the classical linear-fractional programming problem. We construct an associated parametric mean payoff game problem, and show that the optimality of a given point, or the unboundedness of the problem, can be certified by exhibiting a strategy for one of the players having certain infinitesimal properties (involving the value of the"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1101.3431","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-18T02:22:51Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"4SXLqM5jB+hcy/lmA1CM9j83vI7piqeDUqPy+MXa8cki19sL3u6uCR96aOmbcZFKeqKnoImy1XZ/sAkiOfgNBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T15:44:56.351461Z"},"content_sha256":"258e623dd1e32eb85c8cb35822aec93b3c3f01ad5655dcdca2b2d6831c9e95e9","schema_version":"1.0","event_id":"sha256:258e623dd1e32eb85c8cb35822aec93b3c3f01ad5655dcdca2b2d6831c9e95e9"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/XZCAVZ4JKRSMJ2ID7ENSOKK7T5/bundle.json","state_url":"https://pith.science/pith/XZCAVZ4JKRSMJ2ID7ENSOKK7T5/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/XZCAVZ4JKRSMJ2ID7ENSOKK7T5/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-30T15:44:56Z","links":{"resolver":"https://pith.science/pith/XZCAVZ4JKRSMJ2ID7ENSOKK7T5","bundle":"https://pith.science/pith/XZCAVZ4JKRSMJ2ID7ENSOKK7T5/bundle.json","state":"https://pith.science/pith/XZCAVZ4JKRSMJ2ID7ENSOKK7T5/state.json","well_known_bundle":"https://pith.science/.well-known/pith/XZCAVZ4JKRSMJ2ID7ENSOKK7T5/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2011:XZCAVZ4JKRSMJ2ID7ENSOKK7T5","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":"a9fad4fa00a7f85c2d7a48429bd022a59dacb21872952399c885df491c34cb2e","cross_cats_sorted":["math.RA"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.MG","submitted_at":"2011-01-18T12:03:01Z","title_canon_sha256":"257a3e46daee7e68cfbaee71a556b84a53f1344a50bece37cf748247b25133bf"},"schema_version":"1.0","source":{"id":"1101.3431","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1101.3431","created_at":"2026-05-18T02:22:51Z"},{"alias_kind":"arxiv_version","alias_value":"1101.3431v2","created_at":"2026-05-18T02:22:51Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1101.3431","created_at":"2026-05-18T02:22:51Z"},{"alias_kind":"pith_short_12","alias_value":"XZCAVZ4JKRSM","created_at":"2026-05-18T12:26:47Z"},{"alias_kind":"pith_short_16","alias_value":"XZCAVZ4JKRSMJ2ID","created_at":"2026-05-18T12:26:47Z"},{"alias_kind":"pith_short_8","alias_value":"XZCAVZ4J","created_at":"2026-05-18T12:26:47Z"}],"graph_snapshots":[{"event_id":"sha256:258e623dd1e32eb85c8cb35822aec93b3c3f01ad5655dcdca2b2d6831c9e95e9","target":"graph","created_at":"2026-05-18T02:22:51Z","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":"Tropical polyhedra have been recently used to represent disjunctive invariants in static analysis. To handle larger instances, tropical analogues of classical linear programming results need to be developed. This motivation leads us to study the tropical analogue of the classical linear-fractional programming problem. We construct an associated parametric mean payoff game problem, and show that the optimality of a given point, or the unboundedness of the problem, can be certified by exhibiting a strategy for one of the players having certain infinitesimal properties (involving the value of the","authors_text":"Ricardo D. Katz, Sergei Sergeev, Stephane Gaubert","cross_cats":["math.RA"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.MG","submitted_at":"2011-01-18T12:03:01Z","title":"Tropical linear-fractional programming and parametric mean payoff games"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1101.3431","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:0574377fa8ee5ea1c551c48e9e2a08c79ca025cfe8073dbc0d56df5d67959a4d","target":"record","created_at":"2026-05-18T02:22:51Z","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":"a9fad4fa00a7f85c2d7a48429bd022a59dacb21872952399c885df491c34cb2e","cross_cats_sorted":["math.RA"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.MG","submitted_at":"2011-01-18T12:03:01Z","title_canon_sha256":"257a3e46daee7e68cfbaee71a556b84a53f1344a50bece37cf748247b25133bf"},"schema_version":"1.0","source":{"id":"1101.3431","kind":"arxiv","version":2}},"canonical_sha256":"be440ae7895464c4e903f91b27295f9f7fcd0be8f702ac83dc1b81de701f4a36","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"be440ae7895464c4e903f91b27295f9f7fcd0be8f702ac83dc1b81de701f4a36","first_computed_at":"2026-05-18T02:22:51.727406Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:22:51.727406Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"KNZH7QXLBm9J/lvazbIrd7HKWTSxpCSNYazq+G0mFryohAvmeAlbSbHvHdiCFQDVwNRJ+cRMGTqLU7aWDja+Bg==","signature_status":"signed_v1","signed_at":"2026-05-18T02:22:51.728096Z","signed_message":"canonical_sha256_bytes"},"source_id":"1101.3431","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:0574377fa8ee5ea1c551c48e9e2a08c79ca025cfe8073dbc0d56df5d67959a4d","sha256:258e623dd1e32eb85c8cb35822aec93b3c3f01ad5655dcdca2b2d6831c9e95e9"],"state_sha256":"d74ca5a16a11c2dce6baefbabc07c8e7c9986afe82530ed3d54c577d9f755591"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"+0CUyn+wbfEvHkbp1/iPNLS2HJgYMahkHTQjIOoisFU6Xl/KiUzTprmWUjGbLwCNSSRZZRakScZrrS9IxsiaDA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-30T15:44:56.353383Z","bundle_sha256":"751f4c05dca157ee332fe57bd3c5454b525a4a0d950a51a1d0814bb9375ea92d"}}