{"id":"https://openalex.org/W7204151625","doi":"https://doi.org/10.24108/preprints-3116226","title":"Quantum Anti-Hallucination Firewall: Multi-World Verification for RAG Systems.","display_name":"Quantum Anti-Hallucination Firewall: Multi-World Verification for RAG Systems.","publication_year":2026,"publication_date":"2026-08-23","ids":{"openalex":"https://openalex.org/W7204151625","doi":"https://doi.org/10.24108/preprints-3116226"},"language":"en","primary_location":{"id":"doi:10.24108/preprints-3116226","doi":"https://doi.org/10.24108/preprints-3116226","is_oa":true,"landing_page_url":"https://doi.org/10.24108/preprints-3116226","pdf_url":"https://preprints.ru/files/5533","source":null,"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":"posted-content"},"volume":null,"type":"preprint","is_traditional":true,"indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://preprints.ru/files/5533","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5136038870","display_name":"Vladislav Tishkov","orcid":"https://orcid.org/0009-0004-0507-6925","observed_orcids":["https://orcid.org/0009-0004-0507-6925"]},"institutions":[{"id":"https://openalex.org/I4210137366","display_name":"Donetsk National University of Economics and Trade named after Mykhailo Tugan-Baranovsky","ror":"https://ror.org/04hhhj520","country_code":"UA","type":"education","lineage":["https://openalex.org/I4210137366"]}],"countries":["UA"],"is_corresponding":true,"raw_author_name":"\u0412\u043b\u0430\u0434\u0438\u0441\u043b\u0430\u0432 \u0422\u0438\u0448\u043a\u043e\u0432","raw_affiliation_strings":["\u0414\u043e\u043d\u0435\u0446\u043a\u0438\u0439 \u041d\u0430\u0446\u0438\u043e\u043d\u0430\u043b\u044c\u043d\u044b\u0439 \u0423\u043d\u0438\u0432\u0435\u0440\u0441\u0438\u0442\u0435\u0442 \u042d\u043a\u043e\u043d\u043e\u043c\u0438\u043a\u0438 \u0438 \u0422\u043e\u0440\u0433\u043e\u0432\u043b\u0438 \u0438\u043c.\u0422\u0443\u0433\u0430\u043d \u0411\u0430\u0440\u0430\u043d\u043e\u0432\u0441\u043a\u043e\u0433\u043e"],"raw_orcid":"https://orcid.org/0009-0004-0507-6925","affiliations":[{"raw_affiliation_string":"\u0414\u043e\u043d\u0435\u0446\u043a\u0438\u0439 \u041d\u0430\u0446\u0438\u043e\u043d\u0430\u043b\u044c\u043d\u044b\u0439 \u0423\u043d\u0438\u0432\u0435\u0440\u0441\u0438\u0442\u0435\u0442 \u042d\u043a\u043e\u043d\u043e\u043c\u0438\u043a\u0438 \u0438 \u0422\u043e\u0440\u0433\u043e\u0432\u043b\u0438 \u0438\u043c.\u0422\u0443\u0433\u0430\u043d \u0411\u0430\u0440\u0430\u043d\u043e\u0432\u0441\u043a\u043e\u0433\u043e","institution_ids":["https://openalex.org/I4210137366"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5136038870"],"corresponding_institution_ids":["https://openalex.org/I4210137366"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":null,"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/T10028","display_name":"Topic Modeling","score":0.6685000061988831,"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/T10028","display_name":"Topic Modeling","score":0.6685000061988831,"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/T10181","display_name":"Natural Language Processing Techniques","score":0.1160999983549118,"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/T11147","display_name":"Misinformation and Its Impacts","score":0.0649000033736229,"subfield":{"id":"https://openalex.org/subfields/3312","display_name":"Sociology and Political Science"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/hallucination-detection","display_name":"hallucination detection","score":0.9049999713897705},{"id":"https://openalex.org/keywords/retrieval-augmented-generation","display_name":"retrieval-augmented generation","score":0.9980000257492065},{"id":"https://openalex.org/keywords/godel-s-incompleteness-theorems","display_name":"G\u00f6del's incompleteness theorems","score":0.9779999852180481},{"id":"https://openalex.org/keywords/undecidability","display_name":"undecidability","score":0.8669999837875366},{"id":"https://openalex.org/keywords/contradiction-detection","display_name":"contradiction detection","score":0.628000020980835},{"id":"https://openalex.org/keywords/fact-checking","display_name":"fact-checking","score":0.7260000109672546}],"concepts":[{"id":"https://openalex.org/C192034797","wikidata":"https://www.wikidata.org/wiki/Q3502995","display_name":"Undecidable problem","level":3,"score":0.621399998664856},{"id":"https://openalex.org/C17231256","wikidata":"https://www.wikidata.org/wiki/Q5156540","display_name":"Completeness (order theory)","level":2,"score":0.5726000070571899},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.570900022983551},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.5450000166893005},{"id":"https://openalex.org/C46274116","wikidata":"https://www.wikidata.org/wiki/Q185521","display_name":"Truth value","level":2,"score":0.5329999923706055},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4896000027656555},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.4875999987125397},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.43939998745918274},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.37549999356269836},{"id":"https://openalex.org/C34130140","wikidata":"https://www.wikidata.org/wiki/Q1645406","display_name":"Midpoint","level":2,"score":0.36800000071525574},{"id":"https://openalex.org/C183778304","wikidata":"https://www.wikidata.org/wiki/Q165474","display_name":"Commutative property","level":2,"score":0.3573000133037567},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.35519999265670776},{"id":"https://openalex.org/C33054407","wikidata":"https://www.wikidata.org/wiki/Q6504747","display_name":"Software verification","level":5,"score":0.3479999899864197},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.3224000036716461},{"id":"https://openalex.org/C85847156","wikidata":"https://www.wikidata.org/wiki/Q59015987","display_name":"Verifiable secret sharing","level":3,"score":0.31290000677108765},{"id":"https://openalex.org/C77714075","wikidata":"https://www.wikidata.org/wiki/Q5452017","display_name":"Firewall (physics)","level":5,"score":0.30250000953674316},{"id":"https://openalex.org/C84114770","wikidata":"https://www.wikidata.org/wiki/Q46344","display_name":"Quantum","level":2,"score":0.30250000953674316},{"id":"https://openalex.org/C39920170","wikidata":"https://www.wikidata.org/wiki/Q693083","display_name":"Soundness","level":2,"score":0.30230000615119934},{"id":"https://openalex.org/C2779696439","wikidata":"https://www.wikidata.org/wiki/Q7512811","display_name":"Signature (topology)","level":2,"score":0.29899999499320984},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.2962999939918518},{"id":"https://openalex.org/C187455244","wikidata":"https://www.wikidata.org/wiki/Q942353","display_name":"Boolean function","level":2,"score":0.29339998960494995},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.28859999775886536},{"id":"https://openalex.org/C2777303404","wikidata":"https://www.wikidata.org/wiki/Q759757","display_name":"Convergence (economics)","level":2,"score":0.2856000065803528},{"id":"https://openalex.org/C137635306","wikidata":"https://www.wikidata.org/wiki/Q182667","display_name":"Pareto principle","level":2,"score":0.2736000120639801},{"id":"https://openalex.org/C202973057","wikidata":"https://www.wikidata.org/wiki/Q7380130","display_name":"Runtime verification","level":3,"score":0.26840001344680786},{"id":"https://openalex.org/C152124472","wikidata":"https://www.wikidata.org/wiki/Q1204361","display_name":"Redundancy (engineering)","level":2,"score":0.26750001311302185},{"id":"https://openalex.org/C2777026412","wikidata":"https://www.wikidata.org/wiki/Q2684591","display_name":"Statement (logic)","level":2,"score":0.2660999894142151},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.25459998846054077},{"id":"https://openalex.org/C31388003","wikidata":"https://www.wikidata.org/wiki/Q7624548","display_name":"Strong consistency","level":3,"score":0.2533000111579895},{"id":"https://openalex.org/C33884865","wikidata":"https://www.wikidata.org/wiki/Q1254335","display_name":"Cryptographic protocol","level":3,"score":0.2529999911785126}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.24108/preprints-3116226","doi":"https://doi.org/10.24108/preprints-3116226","is_oa":true,"landing_page_url":"https://doi.org/10.24108/preprints-3116226","pdf_url":"https://preprints.ru/files/5533","source":null,"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":"posted-content"}],"best_oa_location":{"id":"doi:10.24108/preprints-3116226","doi":"https://doi.org/10.24108/preprints-3116226","is_oa":true,"landing_page_url":"https://doi.org/10.24108/preprints-3116226","pdf_url":"https://preprints.ru/files/5533","source":null,"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":"posted-content"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7204151625.pdf","grobid_xml":"https://content.openalex.org/works/W7204151625.grobid-xml"},"referenced_works_count":19,"referenced_works":["https://openalex.org/W2011021254","https://openalex.org/W2086166831","https://openalex.org/W2789566302","https://openalex.org/W2965373594","https://openalex.org/W2970641574","https://openalex.org/W2981456979","https://openalex.org/W3021338988","https://openalex.org/W3155807546","https://openalex.org/W3196268181","https://openalex.org/W3213990450","https://openalex.org/W4256369010","https://openalex.org/W4378509427","https://openalex.org/W4385572448","https://openalex.org/W4389518784","https://openalex.org/W4389520333","https://openalex.org/W4389520749","https://openalex.org/W7160190993","https://openalex.org/W7172291617","https://openalex.org/W7172345457"],"related_works":["https://openalex.org/W7204073056","https://openalex.org/W7212227471","https://openalex.org/W7202149869","https://openalex.org/W7162013766","https://openalex.org/W7149582396","https://openalex.org/W7116114344","https://openalex.org/W7118744173","https://openalex.org/W4416066396","https://openalex.org/W7163540414","https://openalex.org/W7220305559"],"abstract_inverted_index":{"We":[0,123],"present":[1],"the":[2,62,77,120,127,134],"Quantum":[3],"Anti-Hallucination":[4],"Firewall":[5],"(QAF),":[6],"a":[7,22,70,101,137],"novel":[8],"verification":[9,32,50,93,117,131],"framework":[10,20,148],"for":[11,105,114],"detecting":[12],"hallucinations":[13],"in":[14,53],"Retrieval-Augmented":[15],"Generation":[16],"(RAG)":[17],"systems.":[18],"The":[19,88,147],"addresses":[21],"fundamental":[23],"limitation":[24],"identified":[25],"by":[26],"G\u00f6del's":[27],"incompleteness":[28],"theorems:":[29],"any":[30],"single":[31],"system":[33],"contains":[34],"statements":[35],"whose":[36],"truth":[37],"value":[38],"cannot":[39],"be":[40],"determined":[41],"within":[42],"that":[43,125],"system.":[44],"Our":[45],"approach":[46],"deploys":[47],"multiple":[48],"independent":[49,130],"agents":[51,67,94],"operating":[52],"parallel":[54],"'quantum":[55],"worlds'\u2014different":[56],"semantic":[57],"and":[58,109,152],"syntactic":[59],"representations":[60],"of":[61,80,85,129,136],"same":[63],"claim.":[64],"When":[65],"these":[66],"converge":[68],"on":[69,119],"verdict":[71],"with":[72],"high":[73],"confidence,":[74],"we":[75],"identify":[76],"genomic":[78],"code":[79],"truth\u2014a":[81],"unique,":[82],"reproducible":[83],"signature":[84],"verified":[86],"information.":[87],"implementation":[89],"comprises":[90],"three":[91],"specialized":[92],"(fact":[95],"checker,":[96],"contradiction":[97],"detector,":[98],"completeness":[99],"evaluator),":[100],"differential":[102],"convergence":[103],"equation":[104],"modeling":[106],"confidence":[107],"evolution,":[108],"an":[110],"apogee":[111],"detection":[112],"algorithm":[113],"finding":[115],"optimal":[116],"points":[118],"Pareto":[121],"frontier.":[122],"prove":[124],"as":[126,154],"number":[128],"systems":[132,143],"increases,":[133],"probability":[135],"statement":[138],"being":[139],"undecidable":[140],"across":[141],"all":[142],"asymptotically":[144],"approaches":[145],"zero.":[146],"is":[149],"modular,":[150],"extensible,":[151],"available":[153],"open-source":[155],"software.":[156]},"counts_by_year":[],"updated_date":"2026-11-10T11:39:43.021295","created_date":"2026-08-25T00:00:00"}