Quantum Calculi—From Theory to Language Design

In the last 20 years, several approaches to quantum programming have been introduced. In this survey, we focus on the QRAM (Quantum Random Access Machine) architectural model. We explore the twofold perspective (theoretical and concrete) of the approach and we list the main problems one has to face in quantum language design. Moreover, we propose an overview of some interesting languages and open-source platforms for quantum programming currently available. We also provide the higher-order encoding in the functional languages qPCF and IQu of the well known Deutsch-Jozsa and Simon’s algorithms.

Grover-based Ashenhurst-Curtis decomposition using quantum language quipper

Functional decomposition plays a key role in several areas such as system design, digital circuits, database systems, and Machine Learning. This paper presents a novel quantum computing approach based on Grover’s search algorithm for a generalized Ashenhurst-Curtis decomposition. The method models the decomposition problem as a search problem and constructs the oracle circuit based on the set-theoretic partition algebra. A hybrid quantum-based algorithm takes advantage of the quadratic speedup achieved by Grover’s search algorithm with quantum oracles for finding the minimum-cost decomposition. The method is implemented and simulated in the quantum programming language Quipper. This work constitutes the first attempt to apply quantum computing to functional decomposition.

Физика интерференции квантовых частиц

The bra+ket quantum language introduced earlier by the authors for the explanation of quantum correlation at macroscopic distances permit to understand the physical mechanism of the interference of separate quantum particles without the concepts of the transformation of a wave into a particle or vice versa as well as to avoid the assertions of retrocausality, nonlocality, instantaneous interaction or other similar phenomena allegedly inherent to quantum mechanics. Using the bra+ket approach we consider the experiments with two and three slits, the delayed choice experiments and some more complicated interference experiments with changing parameters the results of which caused the vivid many year discussion with adverse conclusions on particle trajectories in the interferometers.