English
Related papers

Related papers: On the Complexity of Quantum Languages

200 papers

Quantum computations operate in the quantum world. For their results to be useful in any way, there is an intrinsic necessity of cooperation and communication controlled by the classical world. As a consequence, full formal descriptions of…

Quantum Physics · Physics 2007-05-23 Philippe Jorrand , Marie Lalire

We show a representation of Quantum Computers defines Quantum Turing Machines with associated Quantum Grammars. We then create examples of Quantum Grammars. Lastly we develop an algebraic approach to high level Quantum Languages using…

Quantum Physics · Physics 2007-05-23 Stephen Blaha

We present an imperative quantum programming language LanQ which was designed to support combination of quantum and classical programming and basic process operations - process creation and interprocess communication. The language can thus…

Quantum Physics · Physics 2016-09-08 Hynek Mlnarik

Some of the most interesting and important results concerning quantum finite automata are those showing that they can recognize certain languages with (much) less resources than corresponding classical finite automata…

Formal Languages and Automata Theory · Computer Science 2019-02-20 Shenggen Zheng , Jozef Gruska , Daowen Qiu

We show the Standard Model and SuperString Theories can be naturally based on a Quantum Computer foundation. The Standard Model of elementary particles can be viewed as defining a Quantum Computer Grammar and language. A Quantum Computer in…

High Energy Physics - Theory · Physics 2007-05-23 Stephen Blaha

Quantum computing exploits quantum phenomena such as superposition and entanglement to realize a form of parallelism that is not available to traditional computing. It offers the potential of significant computational speed-ups in quantum…

Creating quantum algorithms is a difficult task, especially for computer scientist not used to quantum computing. But quantum algorithms often use similar elements. Thus, these elements provide proven solutions to recurring problems, i.e. a…

Quantum Physics · Physics 2019-06-10 Frank Leymann

An implementation method of a gate in a quantum computer is studied in terms of a finite number of steps evolving in time according to a finite number of basic Hamiltonians, which are controlled by on-off switches. As a working example, the…

Quantum Physics · Physics 2007-05-23 K. Ch. Chatzisavvas , C. Daskaloyannis , C. P. Panos

We present the quantum programming language cQPL which is an extended version of QPL [P. Selinger, Math. Struct. in Comp. Sci. 14(4):527-586, 2004]. It is capable of quantum communication and it can be used to formulate all possible quantum…

Quantum Physics · Physics 2007-05-23 Wolfgang Mauerer

Instead of producing quantum languages that are fit for current quantum computers, we build a language from standard classical assembler and augment it with quantum capabilities so that quantum algorithms become a subset of it. This paves…

Quantum Physics · Physics 2022-06-29 Thomas Gabor , Marian Lingsch Rosenfeld , Claudia Linnhoff-Popien

We give a basic overview of computational complexity, query complexity, and communication complexity, with quantum information incorporated into each of these scenarios. The aim is to provide simple but clear definitions, and to highlight…

Quantum Physics · Physics 2016-11-23 Richard Cleve

We study the complexity of computational problems from quantum physics. Typically, they are studied using the complexity class QMA (quantum counterpart of NP) but some natural computational problems appear to be slightly harder than QMA. We…

Quantum Physics · Physics 2014-04-11 Andris Ambainis

Machine Learning classification models learn the relation between input as features and output as a class in order to predict the class for the new given input. Quantum Mechanics (QM) has already shown its effectiveness in many fields and…

Machine learning algorithms learn a desired input-output relation from examples in order to interpret new inputs. This is important for tasks such as image and speech recognition or strategy optimisation, with growing applications in the IT…

Quantum Physics · Physics 2015-05-27 M. Schuld , I. Sinayskiy , F. Petruccione

We present a representation for linguistic structure that we call a Fock-space representation, which allows us to embed problems in language processing into small quantum devices. We further develop a formalism for understanding both…

Quantum Physics · Physics 2019-02-15 Nathan Wiebe , Alex Bocharov , Paul Smolensky , Matthias Troyer , Krysta M Svore

Recent years have seen significant activity on the problem of using data for the purpose of learning properties of quantum systems or of processing classical or quantum data via quantum computing. As in classical learning, quantum learning…

Quantum Physics · Physics 2024-04-17 Leonardo Banchi , Jason Luke Pereira , Sharu Theresa Jose , Osvaldo Simeone

Quantum programs today are written at a low level of abstraction - quantum circuits akin to assembly languages - and the unitary parts of even advanced quantum programming languages essentially function as circuit description languages.…

Programming Languages · Computer Science 2025-12-02 Chris Heunen , Louis Lemonnier , Christopher McNally , Alex Rice

Any particular classical system and its quantum version are normally viewed as separate formulations that are strictly distinct. Our goal is to overcome the two separate languages and create a smooth and common procedure that provides a…

Quantum Physics · Physics 2020-10-13 John R. Klauder

In this paper we give a definition for the Kolmogorov complexity of a pure quantum state. In classical information theory the algorithmic complexity of a string is a measure of the information needed by a universal machine to reproduce the…

Quantum Physics · Physics 2007-05-23 C. Mora , H. J. Briegel

Quantum computers have leaped from the theoretical realm into a race to large-scale implementations. This is due to the promise of revolutionary speedups, where achieving such speedup requires designing an algorithm that harnesses the…