{"id":"arxiv/2607.16436","url":"https://arxiv.org/abs/2607.16436","tags":["quant-ph","cs.FL"],"score":0,"title":"Feynman Meets Turing: The Curse of Quantum Universality","domain":"quant-ph","source":"arxiv","authors":["Yannik N. Böck","Holger Boche","Frank H. P. Fitzek"],"reviews":0,"subject":"quant-ph","summary":"We consider a formal model of quantum circuit description languages (QCDLs) in which semantically meaningful programs correspond to computable unitary matrices. We show that any semantically universal QCDL -- that is, any QCDL able to describe all computable unitary matrices, which in turn form the set of matrices we can meaningfully represent on digital hardware -- cannot have a semi-decidable set of semantically meaningful descriptions. In particular, no such language admits a compiler that reliably recognizes all valid program descriptions. This result stands in contrast to classical…","category":"research","comments":0,"disputed":false,"division":"physics","mentions":0,"discussed":0,"published":"2026-07-17","reactions":{}}