{"id":"https://openalex.org/W7128629911","doi":"https://doi.org/10.48550/arxiv.2602.09282","title":"How to Classically Verify a Quantum Cat without Killing It","display_name":"How to Classically Verify a Quantum Cat without Killing It","publication_year":2026,"publication_date":"2026-02-09","ids":{"openalex":"https://openalex.org/W7128629911","doi":"https://doi.org/10.48550/arxiv.2602.09282"},"language":null,"primary_location":{"id":"pmh:doi:10.48550/arxiv.2602.09282","is_oa":true,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4406922384","display_name":"Open MIND","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Article"},"type":"article","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":null,"any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Kalai, Yael Tauman","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Kalai, Yael Tauman","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5073283740","display_name":"Dakshita Khurana","orcid":"https://orcid.org/0000-0001-5315-4503"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Khurana, Dakshita","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5125629232","display_name":"Justin Raizes","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Raizes, Justin","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.16442065,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10682","display_name":"Quantum Computing Algorithms and Architecture","score":0.6624000072479248,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10682","display_name":"Quantum Computing Algorithms and Architecture","score":0.6624000072479248,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10237","display_name":"Cryptography and Data Security","score":0.08299999684095383,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10720","display_name":"Complexity and Algorithms in Graphs","score":0.05979999899864197,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/soundness","display_name":"Soundness","score":0.9782000184059143},{"id":"https://openalex.org/keywords/witness","display_name":"Witness","score":0.7813000082969666},{"id":"https://openalex.org/keywords/completeness","display_name":"Completeness (order theory)","score":0.7466999888420105},{"id":"https://openalex.org/keywords/construct","display_name":"Construct (python library)","score":0.5453000068664551},{"id":"https://openalex.org/keywords/argument","display_name":"Argument (complex analysis)","score":0.4607999920845032},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.4002000093460083},{"id":"https://openalex.org/keywords/gas-meter-prover","display_name":"Gas meter prover","score":0.3846000134944916}],"concepts":[{"id":"https://openalex.org/C39920170","wikidata":"https://www.wikidata.org/wiki/Q693083","display_name":"Soundness","level":2,"score":0.9782000184059143},{"id":"https://openalex.org/C2776900844","wikidata":"https://www.wikidata.org/wiki/Q8028383","display_name":"Witness","level":2,"score":0.7813000082969666},{"id":"https://openalex.org/C17231256","wikidata":"https://www.wikidata.org/wiki/Q5156540","display_name":"Completeness (order theory)","level":2,"score":0.7466999888420105},{"id":"https://openalex.org/C2780801425","wikidata":"https://www.wikidata.org/wiki/Q5164392","display_name":"Construct (python library)","level":2,"score":0.5453000068664551},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5015000104904175},{"id":"https://openalex.org/C98184364","wikidata":"https://www.wikidata.org/wiki/Q1780131","display_name":"Argument (complex analysis)","level":2,"score":0.4607999920845032},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.41499999165534973},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.4002000093460083},{"id":"https://openalex.org/C159718280","wikidata":"https://www.wikidata.org/wiki/Q5526353","display_name":"Gas meter prover","level":3,"score":0.3846000134944916},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.375},{"id":"https://openalex.org/C84114770","wikidata":"https://www.wikidata.org/wiki/Q46344","display_name":"Quantum","level":2,"score":0.37229999899864197},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.33410000801086426},{"id":"https://openalex.org/C162838799","wikidata":"https://www.wikidata.org/wiki/Q596077","display_name":"Counterexample","level":2,"score":0.32739999890327454},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.3124000132083893},{"id":"https://openalex.org/C75553542","wikidata":"https://www.wikidata.org/wiki/Q178161","display_name":"A priori and a posteriori","level":2,"score":0.299699991941452},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.27230000495910645},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.2635999917984009},{"id":"https://openalex.org/C2776141515","wikidata":"https://www.wikidata.org/wiki/Q1274479","display_name":"Repetition (rhetorical device)","level":2,"score":0.2533000111579895}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:doi:10.48550/arxiv.2602.09282","is_oa":true,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4406922384","display_name":"Open MIND","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Article"},{"id":"doi:10.48550/arxiv.2602.09282","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2602.09282","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"pmh:doi:10.48550/arxiv.2602.09282","is_oa":true,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4406922384","display_name":"Open MIND","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Article"},"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16","score":0.8312565684318542}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Existing":[0],"protocols":[1],"for":[2,19,127,147],"classical":[3,132,145],"verification":[4],"of":[5,44,58,81,99,131,138],"quantum":[6],"computation":[7],"(CVQC)":[8],"consume":[9],"the":[10,30,45,59,82,105,123],"prover's":[11],"witness":[12,17,32,60],"state,":[13],"requiring":[14],"a":[15,74,78],"new":[16],"state":[18],"each":[20],"invocation.":[21],"Because":[22],"QMA":[23,83],"witnesses":[24],"are":[25,137],"not":[26],"generally":[27],"clonable,":[28],"destroying":[29],"input":[31],"means":[33],"that":[34,53,76],"amplifying":[35],"soundness":[36,51,89,98],"and":[37,88,91,118],"completeness":[38,87],"via":[39],"repetition":[40],"requires":[41],"many":[42],"copies":[43],"witness.":[46,96],"Building":[47],"CVQC":[48,75,101],"with":[49,153],"low":[50],"error":[52],"uses":[54,77],"only":[55],"*one*":[56],"copy":[57,80],"has":[61,85],"remained":[62],"an":[63],"open":[64],"problem":[65,71],"so":[66],"far.":[67],"We":[68],"resolve":[69],"this":[70,114],"by":[72],"constructing":[73],"single":[79],"witness,":[84],"negligible":[86],"errors,":[90],"does":[92],"*not*":[93],"destroy":[94],"its":[95],"The":[97],"our":[100],"is":[102],"based":[103],"on":[104],"post-quantum":[106,124],"Learning":[107],"With":[108],"Errors":[109],"(LWE)":[110],"assumption.":[111],"To":[112],"obtain":[113],"result,":[115],"we":[116,135],"define":[117],"construct":[119],"two":[120],"primitives":[121],"(under":[122],"LWE":[125],"assumption)":[126],"non-destructively":[128],"handling":[129],"superpositions":[130],"data,":[133],"which":[134],"believe":[136],"independent":[139],"interest:":[140],"-":[141,149],"A":[142],"*state":[143,154],"preserving*":[144],"argument":[146],"NP.":[148],"Dual-mode":[150],"trapdoor":[151],"functions":[152],"recovery*.":[155]},"counts_by_year":[],"updated_date":"2026-07-28T07:46:37.118299","created_date":"2026-02-12T00:00:00"}