{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2010:GQGIRAW6Q5BWAZE66AZT75PFDP","short_pith_number":"pith:GQGIRAW6","canonical_record":{"source":{"id":"1006.1492","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2010-06-08T09:11:28Z","cross_cats_sorted":[],"title_canon_sha256":"9710bb647422bcb91233d9a47951479a157f58d2679823d28591ad825e858127","abstract_canon_sha256":"97f2f5c490de72d2ff468a54ad1dab2f53ae57c6d8470f7b5d090a495c3bbe4b"},"schema_version":"1.0"},"canonical_sha256":"340c8882de874360649ef0333ff5e51be76e3a8201fdb48a481b7e181888eb86","source":{"kind":"arxiv","id":"1006.1492","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1006.1492","created_at":"2026-05-18T02:06:56Z"},{"alias_kind":"arxiv_version","alias_value":"1006.1492v1","created_at":"2026-05-18T02:06:56Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1006.1492","created_at":"2026-05-18T02:06:56Z"},{"alias_kind":"pith_short_12","alias_value":"GQGIRAW6Q5BW","created_at":"2026-05-18T12:26:07Z"},{"alias_kind":"pith_short_16","alias_value":"GQGIRAW6Q5BWAZE6","created_at":"2026-05-18T12:26:07Z"},{"alias_kind":"pith_short_8","alias_value":"GQGIRAW6","created_at":"2026-05-18T12:26:07Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2010:GQGIRAW6Q5BWAZE66AZT75PFDP","target":"record","payload":{"canonical_record":{"source":{"id":"1006.1492","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2010-06-08T09:11:28Z","cross_cats_sorted":[],"title_canon_sha256":"9710bb647422bcb91233d9a47951479a157f58d2679823d28591ad825e858127","abstract_canon_sha256":"97f2f5c490de72d2ff468a54ad1dab2f53ae57c6d8470f7b5d090a495c3bbe4b"},"schema_version":"1.0"},"canonical_sha256":"340c8882de874360649ef0333ff5e51be76e3a8201fdb48a481b7e181888eb86","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:06:56.249690Z","signature_b64":"YuxUOJ/QZwTQFm/VRwfAYV96ZSN3Jx//cZGK+0ei5Ag1cVhFF6nxawWynONMwWUxQdAyJ+zZlGr5dpDECWa3AA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"340c8882de874360649ef0333ff5e51be76e3a8201fdb48a481b7e181888eb86","last_reissued_at":"2026-05-18T02:06:56.248934Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:06:56.248934Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1006.1492","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:06:56Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"VvyC1vXuTWyVZAj5kjyvUedviKlukP5CmeihtDPZEqRvrYJs0rHzHZ2a+dAOyxS+rP/RLFWDEE5Jc36IL/eYDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T06:35:35.538627Z"},"content_sha256":"3d2e8c8af5d12d0fd81da1b51ac9cd1cbd45bf61ab5850403d9f17f1e4d759e2","schema_version":"1.0","event_id":"sha256:3d2e8c8af5d12d0fd81da1b51ac9cd1cbd45bf61ab5850403d9f17f1e4d759e2"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2010:GQGIRAW6Q5BWAZE66AZT75PFDP","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Mean-payoff Automaton Expressions","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Herbert Edelsbrunner, Krishnendu Chatterjee, Laurent Doyen, Philippe Rannou, Thomas A. Henzinger","submitted_at":"2010-06-08T09:11:28Z","abstract_excerpt":"Quantitative languages are an extension of boolean languages that assign to each word a real number. Mean-payoff automata are finite automata with numerical weights on transitions that assign to each infinite path the long-run average of the transition weights. When the mode of branching of the automaton is deterministic, nondeterministic, or alternating, the corresponding class of quantitative languages is not robust as it is not closed under the pointwise operations of max, min, sum, and numerical complement. Nondeterministic and alternating mean-payoff automata are not decidable either, as "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1006.1492","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:06:56Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"csB16Z29A9uC74/j5qomfXZPK/aN2K4taf+ROac/9r1x/AczuCREy+I9DfFZFbYEbVg5iyNFIBWg2awiUflwDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T06:35:35.539262Z"},"content_sha256":"76bb8bd9655703a6a32a2c8d43fc7c971a3dd1ffdb6f87097bde3923cb6656c9","schema_version":"1.0","event_id":"sha256:76bb8bd9655703a6a32a2c8d43fc7c971a3dd1ffdb6f87097bde3923cb6656c9"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/GQGIRAW6Q5BWAZE66AZT75PFDP/bundle.json","state_url":"https://pith.science/pith/GQGIRAW6Q5BWAZE66AZT75PFDP/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/GQGIRAW6Q5BWAZE66AZT75PFDP/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-26T06:35:35Z","links":{"resolver":"https://pith.science/pith/GQGIRAW6Q5BWAZE66AZT75PFDP","bundle":"https://pith.science/pith/GQGIRAW6Q5BWAZE66AZT75PFDP/bundle.json","state":"https://pith.science/pith/GQGIRAW6Q5BWAZE66AZT75PFDP/state.json","well_known_bundle":"https://pith.science/.well-known/pith/GQGIRAW6Q5BWAZE66AZT75PFDP/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2010:GQGIRAW6Q5BWAZE66AZT75PFDP","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":"97f2f5c490de72d2ff468a54ad1dab2f53ae57c6d8470f7b5d090a495c3bbe4b","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2010-06-08T09:11:28Z","title_canon_sha256":"9710bb647422bcb91233d9a47951479a157f58d2679823d28591ad825e858127"},"schema_version":"1.0","source":{"id":"1006.1492","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1006.1492","created_at":"2026-05-18T02:06:56Z"},{"alias_kind":"arxiv_version","alias_value":"1006.1492v1","created_at":"2026-05-18T02:06:56Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1006.1492","created_at":"2026-05-18T02:06:56Z"},{"alias_kind":"pith_short_12","alias_value":"GQGIRAW6Q5BW","created_at":"2026-05-18T12:26:07Z"},{"alias_kind":"pith_short_16","alias_value":"GQGIRAW6Q5BWAZE6","created_at":"2026-05-18T12:26:07Z"},{"alias_kind":"pith_short_8","alias_value":"GQGIRAW6","created_at":"2026-05-18T12:26:07Z"}],"graph_snapshots":[{"event_id":"sha256:76bb8bd9655703a6a32a2c8d43fc7c971a3dd1ffdb6f87097bde3923cb6656c9","target":"graph","created_at":"2026-05-18T02:06:56Z","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":"Quantitative languages are an extension of boolean languages that assign to each word a real number. Mean-payoff automata are finite automata with numerical weights on transitions that assign to each infinite path the long-run average of the transition weights. When the mode of branching of the automaton is deterministic, nondeterministic, or alternating, the corresponding class of quantitative languages is not robust as it is not closed under the pointwise operations of max, min, sum, and numerical complement. Nondeterministic and alternating mean-payoff automata are not decidable either, as ","authors_text":"Herbert Edelsbrunner, Krishnendu Chatterjee, Laurent Doyen, Philippe Rannou, Thomas A. Henzinger","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2010-06-08T09:11:28Z","title":"Mean-payoff Automaton Expressions"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1006.1492","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:3d2e8c8af5d12d0fd81da1b51ac9cd1cbd45bf61ab5850403d9f17f1e4d759e2","target":"record","created_at":"2026-05-18T02:06:56Z","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":"97f2f5c490de72d2ff468a54ad1dab2f53ae57c6d8470f7b5d090a495c3bbe4b","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2010-06-08T09:11:28Z","title_canon_sha256":"9710bb647422bcb91233d9a47951479a157f58d2679823d28591ad825e858127"},"schema_version":"1.0","source":{"id":"1006.1492","kind":"arxiv","version":1}},"canonical_sha256":"340c8882de874360649ef0333ff5e51be76e3a8201fdb48a481b7e181888eb86","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"340c8882de874360649ef0333ff5e51be76e3a8201fdb48a481b7e181888eb86","first_computed_at":"2026-05-18T02:06:56.248934Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:06:56.248934Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"YuxUOJ/QZwTQFm/VRwfAYV96ZSN3Jx//cZGK+0ei5Ag1cVhFF6nxawWynONMwWUxQdAyJ+zZlGr5dpDECWa3AA==","signature_status":"signed_v1","signed_at":"2026-05-18T02:06:56.249690Z","signed_message":"canonical_sha256_bytes"},"source_id":"1006.1492","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:3d2e8c8af5d12d0fd81da1b51ac9cd1cbd45bf61ab5850403d9f17f1e4d759e2","sha256:76bb8bd9655703a6a32a2c8d43fc7c971a3dd1ffdb6f87097bde3923cb6656c9"],"state_sha256":"b736bc01c780a88c8fa4743de861a91c44597bc1e06bdf01a8eab75ed8cbdf28"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"AthqMBxD55PwlhXstTHo4gnX0Ot/htvE8T8z5lwl8W8U0+TyQrg1HPeB/xGVtbfTC9pS5lDON3FpkGTlovuFCg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-26T06:35:35.542798Z","bundle_sha256":"b414af06ac3a41490505226fc90afcae46b5c3ccbf2c22978486900447fb5649"}}