{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2015:TOJFJVEFP4V7WAT7NLJ5MDH4FQ","short_pith_number":"pith:TOJFJVEF","schema_version":"1.0","canonical_sha256":"9b9254d4857f2bfb027f6ad3d60cfc2c0cbcc56a7c72fb19dd5788dba6f493b9","source":{"kind":"arxiv","id":"1506.06447","version":1},"attestation_state":"computed","paper":{"title":"Quantum Merlin-Arthur with Clifford Arthur","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"quant-ph","authors_text":"Harumichi Nishimura, Keisuke Fujii, Masahito Hayashi, Tomoyuki Morimae","submitted_at":"2015-06-22T02:33:58Z","abstract_excerpt":"We show that the class QMA does not change even if we restrict Arthur's computing ability to only Clifford gate operations (plus classical XOR gate). The idea is to use the fact that the preparation of certain single-qubit states, so called magic states, plus any Clifford gate operations are universal for quantum computing. If Merlin is honest, he sends the witness plus magic states to Arthur. If Merlin is malicious, he might send other states to Arthur, but Arthur can verify the correctness of magic states by himself. We also generalize the result to QIP[3]: we show that the class QIP[3] does"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1506.06447","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2015-06-22T02:33:58Z","cross_cats_sorted":[],"title_canon_sha256":"0d2cb17d385c8b84bc4743bc7db5b573104c35f4c5a1fe41d919d2601a2e0660","abstract_canon_sha256":"eea2796a378fd8e50c9549f2dc6d65fd7b8301492e182d1a44ede870c019ebff"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:32:10.159143Z","signature_b64":"b5k92r3PpnWZ0D/HgD76TiFL5l7wUvm8OJgvKSdE6l1MEh7LoPYnPmY8TtpEYDfwuRWMPcMYJcwfStiERJ1yBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"9b9254d4857f2bfb027f6ad3d60cfc2c0cbcc56a7c72fb19dd5788dba6f493b9","last_reissued_at":"2026-05-18T01:32:10.158511Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:32:10.158511Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Quantum Merlin-Arthur with Clifford Arthur","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"quant-ph","authors_text":"Harumichi Nishimura, Keisuke Fujii, Masahito Hayashi, Tomoyuki Morimae","submitted_at":"2015-06-22T02:33:58Z","abstract_excerpt":"We show that the class QMA does not change even if we restrict Arthur's computing ability to only Clifford gate operations (plus classical XOR gate). The idea is to use the fact that the preparation of certain single-qubit states, so called magic states, plus any Clifford gate operations are universal for quantum computing. If Merlin is honest, he sends the witness plus magic states to Arthur. If Merlin is malicious, he might send other states to Arthur, but Arthur can verify the correctness of magic states by himself. We also generalize the result to QIP[3]: we show that the class QIP[3] does"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1506.06447","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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1506.06447","created_at":"2026-05-18T01:32:10.158603+00:00"},{"alias_kind":"arxiv_version","alias_value":"1506.06447v1","created_at":"2026-05-18T01:32:10.158603+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1506.06447","created_at":"2026-05-18T01:32:10.158603+00:00"},{"alias_kind":"pith_short_12","alias_value":"TOJFJVEFP4V7","created_at":"2026-05-18T12:29:42.218222+00:00"},{"alias_kind":"pith_short_16","alias_value":"TOJFJVEFP4V7WAT7","created_at":"2026-05-18T12:29:42.218222+00:00"},{"alias_kind":"pith_short_8","alias_value":"TOJFJVEF","created_at":"2026-05-18T12:29:42.218222+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/TOJFJVEFP4V7WAT7NLJ5MDH4FQ","json":"https://pith.science/pith/TOJFJVEFP4V7WAT7NLJ5MDH4FQ.json","graph_json":"https://pith.science/api/pith-number/TOJFJVEFP4V7WAT7NLJ5MDH4FQ/graph.json","events_json":"https://pith.science/api/pith-number/TOJFJVEFP4V7WAT7NLJ5MDH4FQ/events.json","paper":"https://pith.science/paper/TOJFJVEF"},"agent_actions":{"view_html":"https://pith.science/pith/TOJFJVEFP4V7WAT7NLJ5MDH4FQ","download_json":"https://pith.science/pith/TOJFJVEFP4V7WAT7NLJ5MDH4FQ.json","view_paper":"https://pith.science/paper/TOJFJVEF","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1506.06447&json=true","fetch_graph":"https://pith.science/api/pith-number/TOJFJVEFP4V7WAT7NLJ5MDH4FQ/graph.json","fetch_events":"https://pith.science/api/pith-number/TOJFJVEFP4V7WAT7NLJ5MDH4FQ/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/TOJFJVEFP4V7WAT7NLJ5MDH4FQ/action/timestamp_anchor","attest_storage":"https://pith.science/pith/TOJFJVEFP4V7WAT7NLJ5MDH4FQ/action/storage_attestation","attest_author":"https://pith.science/pith/TOJFJVEFP4V7WAT7NLJ5MDH4FQ/action/author_attestation","sign_citation":"https://pith.science/pith/TOJFJVEFP4V7WAT7NLJ5MDH4FQ/action/citation_signature","submit_replication":"https://pith.science/pith/TOJFJVEFP4V7WAT7NLJ5MDH4FQ/action/replication_record"}},"created_at":"2026-05-18T01:32:10.158603+00:00","updated_at":"2026-05-18T01:32:10.158603+00:00"}