{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:QUL2G5ZTASZAQETKO236CL5BC3","short_pith_number":"pith:QUL2G5ZT","canonical_record":{"source":{"id":"1502.01462","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2015-02-05T08:53:07Z","cross_cats_sorted":["cs.FL"],"title_canon_sha256":"7b91dc8ecee74c53a43c68a372fc945f35b162c8a9aa2d9af9e0e8395627120e","abstract_canon_sha256":"f47a44c3f99cd0b3b3f521aa219a5738d5f5f4318ac6e071a5d4bcaa6d8d5129"},"schema_version":"1.0"},"canonical_sha256":"8517a3773304b208126a76b7e12fa116d739d7a33139ea19e012f3a21ff7bc0a","source":{"kind":"arxiv","id":"1502.01462","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1502.01462","created_at":"2026-05-18T02:25:04Z"},{"alias_kind":"arxiv_version","alias_value":"1502.01462v2","created_at":"2026-05-18T02:25:04Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1502.01462","created_at":"2026-05-18T02:25:04Z"},{"alias_kind":"pith_short_12","alias_value":"QUL2G5ZTASZA","created_at":"2026-05-18T12:29:39Z"},{"alias_kind":"pith_short_16","alias_value":"QUL2G5ZTASZAQETK","created_at":"2026-05-18T12:29:39Z"},{"alias_kind":"pith_short_8","alias_value":"QUL2G5ZT","created_at":"2026-05-18T12:29:39Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:QUL2G5ZTASZAQETKO236CL5BC3","target":"record","payload":{"canonical_record":{"source":{"id":"1502.01462","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2015-02-05T08:53:07Z","cross_cats_sorted":["cs.FL"],"title_canon_sha256":"7b91dc8ecee74c53a43c68a372fc945f35b162c8a9aa2d9af9e0e8395627120e","abstract_canon_sha256":"f47a44c3f99cd0b3b3f521aa219a5738d5f5f4318ac6e071a5d4bcaa6d8d5129"},"schema_version":"1.0"},"canonical_sha256":"8517a3773304b208126a76b7e12fa116d739d7a33139ea19e012f3a21ff7bc0a","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:25:04.434501Z","signature_b64":"ivsT73CQcXp+QtNZpwAchgcUAbEepvOCQFM9ifieVU9E2mG2Jc9gtMScpbG9gM+x3nDOD/+2eEn8qqA30cjQDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"8517a3773304b208126a76b7e12fa116d739d7a33139ea19e012f3a21ff7bc0a","last_reissued_at":"2026-05-18T02:25:04.434146Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:25:04.434146Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1502.01462","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:25:04Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"CTNXmW5fOTcue7/TmRkdSV4MrdIQaEU23vcL2YzhizlkI4h+gMZ6KxuIkY8Oc/UrTBKFUQrw/DqJvpGcbO1LBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T14:15:02.617680Z"},"content_sha256":"8051dedf70bc575056f24e975aee4e6a81c178ffb14b4f5499edab6088d265a8","schema_version":"1.0","event_id":"sha256:8051dedf70bc575056f24e975aee4e6a81c178ffb14b4f5499edab6088d265a8"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:QUL2G5ZTASZAQETKO236CL5BC3","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Unary probabilistic and quantum automata on promise problems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.FL"],"primary_cat":"cs.CC","authors_text":"Abuzer Yakaryilmaz, Aida Gainutdinova","submitted_at":"2015-02-05T08:53:07Z","abstract_excerpt":"We continue the systematic investigation of probabilistic and quantum finite automata (PFAs and QFAs) on promise problems by focusing on unary languages. We show that bounded-error QFAs are more powerful than PFAs. But, in contrary to the binary problems, the computational powers of Las-Vegas QFAs and bounded-error PFAs are equivalent to deterministic finite automata (DFAs). Lastly, we present a new family of unary promise problems with two parameters such that when fixing one parameter QFAs can be exponentially more succinct than PFAs and when fixing the other parameter PFAs can be exponentia"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1502.01462","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:25:04Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"7Ed+2EaYILE01cwxf3dzKL6enftxBOkXKUzC3jq589Z/pDpGl4VYhapC+sufpsoSCsmY5tR3i7SYudNkbT4XAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T14:15:02.618360Z"},"content_sha256":"ae89002f8f754e56aeff3deecc99446f871819a76f58a18b1b855e67a5385302","schema_version":"1.0","event_id":"sha256:ae89002f8f754e56aeff3deecc99446f871819a76f58a18b1b855e67a5385302"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/QUL2G5ZTASZAQETKO236CL5BC3/bundle.json","state_url":"https://pith.science/pith/QUL2G5ZTASZAQETKO236CL5BC3/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/QUL2G5ZTASZAQETKO236CL5BC3/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-27T14:15:02Z","links":{"resolver":"https://pith.science/pith/QUL2G5ZTASZAQETKO236CL5BC3","bundle":"https://pith.science/pith/QUL2G5ZTASZAQETKO236CL5BC3/bundle.json","state":"https://pith.science/pith/QUL2G5ZTASZAQETKO236CL5BC3/state.json","well_known_bundle":"https://pith.science/.well-known/pith/QUL2G5ZTASZAQETKO236CL5BC3/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:QUL2G5ZTASZAQETKO236CL5BC3","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":"f47a44c3f99cd0b3b3f521aa219a5738d5f5f4318ac6e071a5d4bcaa6d8d5129","cross_cats_sorted":["cs.FL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2015-02-05T08:53:07Z","title_canon_sha256":"7b91dc8ecee74c53a43c68a372fc945f35b162c8a9aa2d9af9e0e8395627120e"},"schema_version":"1.0","source":{"id":"1502.01462","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1502.01462","created_at":"2026-05-18T02:25:04Z"},{"alias_kind":"arxiv_version","alias_value":"1502.01462v2","created_at":"2026-05-18T02:25:04Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1502.01462","created_at":"2026-05-18T02:25:04Z"},{"alias_kind":"pith_short_12","alias_value":"QUL2G5ZTASZA","created_at":"2026-05-18T12:29:39Z"},{"alias_kind":"pith_short_16","alias_value":"QUL2G5ZTASZAQETK","created_at":"2026-05-18T12:29:39Z"},{"alias_kind":"pith_short_8","alias_value":"QUL2G5ZT","created_at":"2026-05-18T12:29:39Z"}],"graph_snapshots":[{"event_id":"sha256:ae89002f8f754e56aeff3deecc99446f871819a76f58a18b1b855e67a5385302","target":"graph","created_at":"2026-05-18T02:25:04Z","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 continue the systematic investigation of probabilistic and quantum finite automata (PFAs and QFAs) on promise problems by focusing on unary languages. We show that bounded-error QFAs are more powerful than PFAs. But, in contrary to the binary problems, the computational powers of Las-Vegas QFAs and bounded-error PFAs are equivalent to deterministic finite automata (DFAs). Lastly, we present a new family of unary promise problems with two parameters such that when fixing one parameter QFAs can be exponentially more succinct than PFAs and when fixing the other parameter PFAs can be exponentia","authors_text":"Abuzer Yakaryilmaz, Aida Gainutdinova","cross_cats":["cs.FL"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2015-02-05T08:53:07Z","title":"Unary probabilistic and quantum automata on promise problems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1502.01462","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:8051dedf70bc575056f24e975aee4e6a81c178ffb14b4f5499edab6088d265a8","target":"record","created_at":"2026-05-18T02:25:04Z","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":"f47a44c3f99cd0b3b3f521aa219a5738d5f5f4318ac6e071a5d4bcaa6d8d5129","cross_cats_sorted":["cs.FL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2015-02-05T08:53:07Z","title_canon_sha256":"7b91dc8ecee74c53a43c68a372fc945f35b162c8a9aa2d9af9e0e8395627120e"},"schema_version":"1.0","source":{"id":"1502.01462","kind":"arxiv","version":2}},"canonical_sha256":"8517a3773304b208126a76b7e12fa116d739d7a33139ea19e012f3a21ff7bc0a","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"8517a3773304b208126a76b7e12fa116d739d7a33139ea19e012f3a21ff7bc0a","first_computed_at":"2026-05-18T02:25:04.434146Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:25:04.434146Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"ivsT73CQcXp+QtNZpwAchgcUAbEepvOCQFM9ifieVU9E2mG2Jc9gtMScpbG9gM+x3nDOD/+2eEn8qqA30cjQDw==","signature_status":"signed_v1","signed_at":"2026-05-18T02:25:04.434501Z","signed_message":"canonical_sha256_bytes"},"source_id":"1502.01462","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:8051dedf70bc575056f24e975aee4e6a81c178ffb14b4f5499edab6088d265a8","sha256:ae89002f8f754e56aeff3deecc99446f871819a76f58a18b1b855e67a5385302"],"state_sha256":"07c8e891c0993eafdda3e923730439bf212a45a65a8dee88c4935e9e380c6db8"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"kKl8Gbfm2BGa2s/AzkT43gOQL9ETRIcPsrA3AIz5NelEHrskW9Qf8bxx5/B4YsNN7e/T81IprcOEwpnoTdooDA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-27T14:15:02.620994Z","bundle_sha256":"73a6376a08cf57bb634a995d634aa7d7a849cd243282c17c755218c9f9f671d5"}}