Grover-based Ashenhurst-Curtis decomposition using quantum language quipper

2019 ◽  
Vol 19 (1&2) ◽  
pp. 35-66
Author(s):  
Yiwei Li ◽  
Edison Tsai ◽  
Marek Perkowski ◽  
Xiaoyu Song

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.

Grover’s quantum search algorithm allows quadratic speedup in unsorted search problem by utilizing amplitude amplification trick in quantum computing. In this paper, an approach to implement Grover’s quantum search algorithm is proposed. The implementation is done using Rigetti Forest and Python. The testing and evaluation processes are carried on in two computers with different hardware specifications to derive more information from the result. The results are measured in user time and compared with implementation from Quantum Computing Playground. The user time of this implementation for 10 qubits and 1024 data is slower compared to Quantum Computing Playground’s implementation. The proposed implementation can be improved by calculating the probability of Grover’s quantum search algorithm in finding the appropriate search result.


COSMOS ◽  
2006 ◽  
Vol 02 (01) ◽  
pp. 71-80
Author(s):  
K. W. CHOO

This article reviews quantum computing and quantum algorithms. Some insights into its potential in speeding up computations are covered, with emphasis on the use of Grover's Search. In the last section, we discuss applications of quantum algorithm to bioinformatics. In particular, the extension of quantum counting algorithm to protein mass spectra counting is proposed.


2020 ◽  
pp. 000370282097751
Author(s):  
Xin Wang ◽  
Xia Chen

Many spectra have a polynomial-like baseline. Iterative polynomial fitting (IPF) is one of the most popular methods for baseline correction of these spectra. However, the baseline estimated by IPF may have substantially error when the spectrum contains significantly strong peaks or have strong peaks located at the endpoints. First, IPF uses temporary baseline estimated from the current spectrum to identify peak data points. If the current spectrum contains strong peaks, then the temporary baseline substantially deviates from the true baseline. Some good baseline data points of the spectrum might be mistakenly identified as peak data points and are artificially re-assigned with a low value. Second, if a strong peak is located at the endpoint of the spectrum, then the endpoint region of the estimated baseline might have significant error due to overfitting. This study proposes a search algorithm-based baseline correction method (SA) that aims to compress sample the raw spectrum to a dataset with small number of data points and then convert the peak removal process into solving a search problem in artificial intelligence (AI) to minimize an objective function by deleting peak data points. First, the raw spectrum is smoothened out by the moving average method to reduce noise and then divided into dozens of unequally spaced sections on the basis of Chebyshev nodes. Finally, the minimal points of each section are collected to form a dataset for peak removal through search algorithm. SA selects the mean absolute error (MAE) as the objective function because of its sensitivity to overfitting and rapid calculation. The baseline correction performance of SA is compared with those of three baseline correction methods: Lieber and Mahadevan–Jansen method, adaptive iteratively reweighted penalized least squares method, and improved asymmetric least squares method. Simulated and real FTIR and Raman spectra with polynomial-like baselines are employed in the experiments. Results show that for these spectra, the baseline estimated by SA has fewer error than those by the three other methods.


2014 ◽  
Vol 118 (1203) ◽  
pp. 523-539 ◽  
Author(s):  
R. Zardashti ◽  
A. A. Nikkhah ◽  
M. J. Yazdanpanah

AbstractThis paper focuses on the trajectory planning for a UAV on a low altitude terrain following/threat avoidance (TF/TA) mission. Using a grid-based approximated discretisation scheme, the continuous constrained optimisation problem into a search problem is transformed over a finite network. A variant of the Minimum Cost Network Flow (MCNF) to this problem is then applied. Based on using the Digital Terrain Elevation Data (DTED) and discrete dynamic equations of motion, the four-dimensional (4D) trajectory (three spatial and one time dimensions) from a starting point to an end point is obtained by minimising a cost function subject to dynamic and mission constraints of the UAV. For each arc in the grid, a cost function is considered as the combination of the arc length, fuel consumption and flight time. The proposed algorithm which considers dynamic and altitude constraints of the UAV explicitly is then used to obtain the feasible trajectory. The resultant trajectory can increase the survivability of the UAV using the threat region avoidance and the terrain masking effect. After obtaining the feasible trajectory, an improved algorithm is proposed to smooth the trajectory. The numeric results are presented to verify the capability of the proposed approach to generate admissible trajectory in minimum possible time in comparison to the previous works.


2021 ◽  
Vol 11 (6) ◽  
pp. 2696
Author(s):  
Aritra Sarkar ◽  
Zaid Al-Ars ◽  
Koen Bertels

Inferring algorithmic structure in data is essential for discovering causal generative models. In this research, we present a quantum computing framework using the circuit model, for estimating algorithmic information metrics. The canonical computation model of the Turing machine is restricted in time and space resources, to make the target metrics computable under realistic assumptions. The universal prior distribution for the automata is obtained as a quantum superposition, which is further conditioned to estimate the metrics. Specific cases are explored where the quantum implementation offers polynomial advantage, in contrast to the exhaustive enumeration needed in the corresponding classical case. The unstructured output data and the computational irreducibility of Turing machines make this algorithm impossible to approximate using heuristics. Thus, exploring the space of program-output relations is one of the most promising problems for demonstrating quantum supremacy using Grover search that cannot be dequantized. Experimental use cases for quantum acceleration are developed for self-replicating programs and algorithmic complexity of short strings. With quantum computing hardware rapidly attaining technological maturity, we discuss how this framework will have significant advantage for various genomics applications in meta-biology, phylogenetic tree analysis, protein-protein interaction mapping and synthetic biology. This is the first time experimental algorithmic information theory is implemented using quantum computation. Our implementation on the Qiskit quantum programming platform is copy-left and is publicly available on GitHub.


2021 ◽  
Vol 11 (1) ◽  
Author(s):  
Valentin Gebhart ◽  
Luca Pezzè ◽  
Augusto Smerzi

AbstractDespite intensive research, the physical origin of the speed-up offered by quantum algorithms remains mysterious. No general physical quantity, like, for instance, entanglement, can be singled out as the essential useful resource. Here we report a close connection between the trace speed and the quantum speed-up in Grover’s search algorithm implemented with pure and pseudo-pure states. For a noiseless algorithm, we find a one-to-one correspondence between the quantum speed-up and the polarization of the pseudo-pure state, which can be connected to a wide class of quantum statistical speeds. For time-dependent partial depolarization and for interrupted Grover searches, the speed-up is specifically bounded by the maximal trace speed that occurs during the algorithm operations. Our results quantify the quantum speed-up with a physical resource that is experimentally measurable and related to multipartite entanglement and quantum coherence.


2019 ◽  
Vol 2 (2) ◽  
pp. 114
Author(s):  
Insidini Fawwaz ◽  
Agus Winarta

<p class="8AbstrakBahasaIndonesia"><em>Games have the basic meaning of games, games in this case refer to the notion of intellectual agility. In its application, a Game certainly requires an AI (Artificial Intelligence), and the AI used in the construction of this police and thief game is the dynamic programming algorithm. This algorithm is a search algorithm to find the shortest route with the minimum cost, algorithm dynamic programming searches for the shortest route by adding the actual distance to the approximate distance so that it makes it optimum and complete. Police and thief is a game about a character who will try to run from </em><em>police.</em><em> The genre of this game is arcade, built with microsoft visual studio 2008, the AI used is the </em><em>Dynamic Programming</em> <em>algorithm which is used to search the path to attack players. The results of this test are police in this game managed to find the closest path determined by the </em><em>Dynamic Programming</em> <em>algorithm to attack players</em></p>


2021 ◽  
Vol 2021 ◽  
pp. 1-22
Author(s):  
Yuqi Fan ◽  
Junpeng Shao ◽  
Guitao Sun ◽  
Xuan Shao

To increase the robustness and control precision of a hydraulic quadruped robot and simultaneously enhance the dynamic and steady characteristic of the hydraulic system, an active disturbance rejection controller (ADRC) tuned using the Lévy-flight beetle antennae search algorithm (LBAS) was proposed. Moreover, the designed controller was used in the hydraulic quadruped robot to enhance the control performance and restrain the disturbances. The use of the Lévy-flight trajectory in the advanced algorithm can help increase the search speed and iteration accuracy. In the LBAS-ADRC, the parameter tuning method is adopted to develop the active disturbance rejection controller enhanced using the beetle antennae search algorithm. When implemented in the hydraulic quadruped robot, the LBAS-ADRC can ensure satisfactory dynamic characteristics and stability in the presence of external interference. In particular, in the proposed method, the ADRC parameter search problem is transformed to a sixteen-dimensional search problem, the solution of which is identified using the Lévy-flight beetle antennae search algorithm. Moreover, three different algorithms are implemented in the active disturbance rejection controller tuning problem to demonstrate the control performance of the proposed controller. The analysis results show that the proposed controller can achieve a small amplitude overshoot under complex and changeable environments.


Sign in / Sign up

Export Citation Format

Share Document