Comparing Classical and Quantum Algorithms in Analyzing NASA Kepler Mission Data

Abstract. The aim of this paper is to describe existing approaches to automation in enterprise management systems of invoice factoring operations. The relevance of this problem is estimated by the volume and dynamics of growth of the invoice factoring market in the Russian Federation. The existing performance problems inherent in software built on the basis of classical algorithms are considered, and their optimization by using quantum algorithms is proposed. Attention is focused on the problem of parallel computing as the main feature, which allows to achieve a significant increase in computing power. Possible way of solution, based on the joint use of quantum and classical approach within one software complex is given. Application of quantum Monte Carlo method for the purpose of improvement of the automated information system of the enterprise is described. The received result allows to draw a conclusion about perspective of use of the given technique for construction of the combined quantum and classical algorithms in systems of management of factoring operations.

The computation of the diameter is one of the most central problems in distributed computation. In the standard CONGEST model, in which two adjacent nodes can exchange $O(\log n)$ bits per round (here $n$ denotes the number of nodes of the network), it is known that exact computation of the diameter requires $\tilde \Omega(n)$ rounds, even in networks with constant diameter. In this paper we investigate quantum distributed algorithms for this problem in the quantum CONGEST model, where two adjacent nodes can exchange $O(\log n)$ quantum bits per round. Our main result is a $\tilde O(\sqrt{nD})$-round quantum distributed algorithm for exact diameter computation, where $D$ denotes the diameter. This shows a separation between the computational power of quantum and classical algorithms in the CONGEST model. We also show an unconditional lower bound $\tilde \Omega(\sqrt{n})$ on the round complexity of any quantum algorithm computing the diameter, and furthermore show a tight lower bound $\tilde \Omega(\sqrt{nD})$ for any distributed quantum algorithm in which each node can use only $\textrm{poly}(\log n)$ quantum bits of memory.

Only a few classes of quantum algorithms are known which provide a speed-up over classical algorithms. However, these and any new quantum algorithms provide important motivation for the development of quantum computers. In this article new quantum algorithms are given which are based on quantum state tomography. These include an algorithm for the calculation of several quantum mechanical expectation values and an algorithm for the determination of polynomial factors. These quantum algorithms are important in their own right. However, it is remarkable that these quantum algorithms are immune to a large class of errors. We describe these algorithms and provide conditions for immunity.

Variational quantum algorithms (VQAs) are promising hybrid quantum-classical methods designed to leverage the computational advantages of quantum computing while mitigating the limitations of current noisy intermediate-scale quantum (NISQ) hardware. Although VQAs have been demonstrated as proofs of concept, their practical utility in solving real-world problems—and whether quantum-inspired classical algorithms can match their performance—remains an open question. We present a novel application of the variational quantum linear solver (VQLS) and its classical neural quantum states-based counterpart, the variational neural linear solver (VNLS), as key components within a minimum map Newton solver for a complementarity-based rigid-body contact model. We demonstrate using the VNLS that our solver accurately simulates the dynamics of rigid spherical bodies during collision events. These results suggest that quantum and quantum-inspired linear algebra algorithms can serve as viable alternatives to standard linear algebra solvers for modelling certain physical systems.This article is part of the theme issue ‘Numerical analysis, spectral graph theory, orthogonal polynomials and quantum algorithms’.

We present classical and quantum algorithms for approximating partition functions of classical Hamiltonians at a given temperature. Our work has two main contributions: first, we modify the classical algorithm of Stefankovic, Vempala and Vigoda (J. ACM, 56(3), 2009) to improve its sample complexity; second, we quantize this new algorithm, improving upon the previously fastest quantum algorithm for this problem, due to Harrow and Wei (SODA 2020). The conventional approach to estimating partition functions requires approximating the means of Gibbs distributions at a set of inverse temperatures that form the so-called cooling schedule. The length of the cooling schedule directly affects the complexity of the algorithm. Combining our improved version of the algorithm of Stefankovic, Vempala and Vigoda with the paired-product estimator of Huber (Ann. Appl. Probab., 25(2), 2015), our new quantum algorithm uses a shorter cooling schedule than previously known. This length matches the optimal length conjectured by Stefankovic, Vempala and Vigoda. The quantum algorithm also achieves a quadratic advantage in the number of required quantum samples compared to the number of random samples drawn by the best classical algorithm, and its computational complexity has quadratically better dependence on the spectral gap of the Markov chains used to produce the quantum samples.

Subset-Sum is an NP-complete problem where one must decide if a multiset of $n$ integers contains a subset whose elements sum to a target value $m$. The best-known classical and quantum algorithms run in time $\tilde{O}(2^{n/2})$ and $\tilde{O}(2^{n/3})$, respectively, based on the well-known meet-in-the-middle technique. Here we introduce a novel classical dynamic-programming-based data structure with applications to Subset-Sum and a number of variants, including Equal-Sums (where one seeks two disjoint subsets with the same sum), 2-Subset-Sum (a relaxed version of Subset-Sum where each item in the input set can be used twice in the summation), and Shifted-Sums, a generalization of both of these variants, where one seeks two disjoint subsets whose sums differ by some specified value. Given any modulus $p$, our data structure can be constructed in time $O(n^2p)$, after which queries can be made in time $O(n^2)$ to the lists of subsets summing to any value modulo $p$. We use this data structure in combination with variable-time amplitude amplification and a new quantum pair finding algorithm, extending the quantum claw finding algorithm to the multiple solutions case, to give an $O(2^{0.504n})$ quantum algorithm for Shifted-Sums, an improvement on the best-known $O(2^{0.773n})$ classical running time. Incidentally, we obtain new $\tilde{O}(2^{n/2})$ and $\tilde{O}(2^{n/3})$ classical and quantum algorithms for Subset-Sum, not based on the seminal meet-in-the-middle method. We also study Pigeonhole Equal-Sums and Pigeonhole Modular Equal-Sums, where the existence of a solution is guaranteed by the pigeonhole principle. For the former problem, we give faster classical and quantum algorithms with running time $\tilde{O}(2^{n/2})$ and $\tilde{O}(2^{2n/5})$, respectively. For the more general modular problem, we give a classical algorithm that also runs in time $\tilde{O}(2^{n/2})$.

A probabilistic version of the Bernstein-Vazirani problem (which is a generalization of the original Bernstein-Vazirani problem) and a quantum algorithm to solve it are proposed. The problem involves finding one or more secret keys from a set of multiple secret keys (encoded in binary form) using a quantum oracle. From a set of multiple unknown keys, the proposed quantum algorithm is capable of (a) obtaining any key (with certainty) using a single query to the probabilistic oracle and (b) finding all keys with a high probability (approaching 1 in the limiting case). In contrast, a classical algorithm will be unable to find even a single bit of a secret key with certainty (in the general case). Owing to the probabilistic nature of the oracle, a classical algorithm can only be useful in obtaining limiting probability distributions of $ 0 $ and $ 1 $ for each bit-position of secret keys (based on multiple oracle calls) and this information can further be used to infer some estimates on the distribution of secret keys based on combinatorial considerations. For comparison, it is worth noting that a classical algorithm can be used to exactly solve the original Bernstein-Vazirani problem (involving a deterministic oracle and a single hidden key containing $n$ bits) with a query complexity of $\mathcal{O}(n)$. An interesting class of problems similar to the probabilistic version of the Bernstein-Vazirani problem can be construed, where quantum algorithms can provide efficient solutions with certainty or with a high degree of confidence and classical algorithms would fail to do so.

A dominating set of a graph G = (V, E) is a subset U of its vertices V, such that any vertex of G is either in U, or has a neighbor in U. The dominating-set problem is to find a minimum dominating set in G. Dominating sets are of critical importance for various types of networks/graphs, and find therefore potential applications in many fields. Particularly, in the area of communication, dominating sets are prominently used in the efficient organization of large-scale wireless ad hoc and sensor networks. However, the dominating set problem is also a hard optimization problem and thus currently is not efficiently solvable on classical computers. Here, we propose a biomolecular and a quantum algorithm for this problem, where the quantum algorithm provides a quadratic speedup over any classical algorithm. We show that the dominating set problem can be solved in O(2^{n/2}) queries by our proposed quantum algorithm, where n is the number of vertices in G. We also demonstrate that our quantum algorithm is the best known procedure to date for this problem. We confirm the correctness of our algorithm by executing it on IBM Quantum’s qasm simulator and the Brooklyn superconducting quantum device. And lastly, we show that molecular solutions obtained from solving the dominating set problem are represented in terms of a unit vector in a finite-dimensional Hilbert space.

We investigate the generalisation of quantum search of unstructured and totally ordered sets to search of partially ordered sets (posets). Two models for poset search are considered. In both models, we show that quantum algorithms can achieve at most a quadratic improvement in query complexity over classical algorithms, up to logarithmic factors; we also give quantum algorithms that almost achieve this optimal reduction in complexity. In one model, we give an improved quantum algorithm for searching forest-like posets; in the other, we give an optimal $O(\sqrt{m})$-query quantum algorithm for searching posets derived from $m \times m$ arrays sorted by rows and columns. This leads to a quantum algorithm that finds the intersection of two sorted lists of $n$ integers in $O(\sqrt{n})$ time, which is optimal.

Quantum Machine Learning (QML) is emerging as a transformative technology in cybersecurity, particularly in anomaly detection for cyber security audits. Traditional machine learning models are effective but face scalability and efficiency limitations as cyber threats grow more sophisticated. QML, leveraging quantum computing’s ability to process and analyze large datasets in parallel, offers potential breakthroughs in identifying anomalous patterns that could signify cyber threats such as data breaches, insider threats, or unauthorized access. Content Analysis Research Methodology used in this research work. This paper explores the integration of QML into anomaly detection systems for cyber security audits, where detecting deviations from normal behavior is crucial. Quantum algorithms, particularly those based on Quantum Support Vector Machines (QSVM), Quantum Neural Networks (QNN), and Quantum Principal Component Analysis (QPCA) can enhance the detection of subtle anomalies that classical algorithms may overlook due to noise or the complex, high-dimensional nature of cyber data. The inherent properties of quantum computing, such as superposition and entanglement, allow for more efficient feature selection and optimization, potentially leading to faster and more accurate anomaly detection. The impact of implementing QML in cyber security audits is profound. First, it enhances detection capabilities by identifying anomalies with greater precision, reducing false positives, and improving response times to cyber incidents. Second, quantum algorithms’ ability to manage exponentially large datasets makes them ideal for environments with extensive data logs, such as enterprise networks and cloud infrastructures. Third, as cyber threats become increasingly adaptive and stealthy, QML offers a dynamic solution that evolves alongside these threats by continuously learning from new patterns of attack. However, practical challenges remain, including the need for quantum hardware advancements, the development of hybrid quantum-classical models, and ensuring the interpretability of quantum models in audit scenarios. Despite these challenges, early research and experimental implementations demonstrate the potential of QML to revolutionize anomaly detection in cybersecurity audits. This paper concludes that while QML is still in its early stages, its application to anomaly detection holds promise for significantly enhancing the effectiveness of cyber security audits. The impact of this technology, when fully realized, could redefine how organizations protect their networks and data from ever-evolving cyber threats, making QML a critical area for future research and development in cybersecurity.

Shor’s quantum algorithm is very important for cryptography, because it can factor large numbers much faster than classical algorithms. In this study, we implement a simulator for Shor’s quantum algorithm on graphic processor units (GPU) and compare our results with Liquid, which is a Microsoft quantum simulation platform, and two classical CPU implementations. We evaluate 10 benchmarks for comparing our GPU implementation with Liquid and single-core implementation. The analysis shows that GPU vector operations are more suitable for Shor’s quantum algorithm. Our GPU kernel function is compute-bound, due to all threads in a block reaching the same element of the state vector. Our implementation has 52.5× speedup over single-core algorithm and 20.5× speedup over Liquid.

Abstract: This chapter explores the transformative potential of quantum algorithms in solving complex optimization problems across industries such as logistics, finance, and material science. Quantum algorithms, including Quantum Annealing, Quantum Approximate Optimization Algorithm (QAOA), and Variational Quantum Eigensolver (VQE), offer unprecedented computational capabilities for addressing challenges that are impractical for classical algorithms. In logistics, quantum algorithms optimize supply chains, vehicle routing, and warehouse operations, significantly reducing costs and improving efficiency. In finance, quantum optimization enables better portfolio management, risk assessment, and high-frequency trading strategies, providing faster, more accurate solutions. In material science, quantum algorithms accelerate the discovery and design of new materials, such as superconductors and catalysts, by simulating molecular interactions more efficiently. The chapter discusses real-world implementations, current technical challenges, and the future potential of quantum algorithms to revolutionize industries through faster and more scalable optimization solutions. Keywords: Quantum algorithms, Quantum Annealing, QAOA, VQE, optimization, logistics, finance, material science, portfolio optimization, risk management, supply chain, molecular simulation, quantum computing, quantum optimization, quantum chemistry, high-frequency trading.

Query complexity of generalized Simon's problem

Quantum computing's power comes from new algorithms that exploit quantum mechanical phenomena for computation. Quantum algorithms are different from their classical counterparts in that quantum algorithms rely on algorithmic structures that are simply not present in classical computing. Just as classical program transformations and architectures have been designed for common classical algorithm structures, quantum program transformations and quantum architectures should be designed with quantum algorithms in mind. Because quantum algorithms come with these new algorithmic structures, resultant quantum program transformations and architectures may look very different from their classical counterparts.This paper focuses on uncomputation, a critical and prevalent structure in quantum algorithms, and considers how program transformations, and architecture support should be designed to accommodate uncomputation. In this paper,we show a simple quantum program transformation that exposes independence between uncomputation and later computation. We then propose a multicore architecture tailored to this exposed parallelism and propose a scheduling policy that efficiently maps such parallelism to the multicore architecture. Our policy achieves parallelism between uncomputation and later computation while reducing cumulative communication distance. Our scheduling and architecture allows significant speedup of quantum programs (between 1.8x and 2.8x speedup in Shor's factoring algorithm), while reducing cumulative communication distance 26%.

Sorting is a fundamental computational process, which facilitates subsequent searching of a database. It can be thought of as factorisation of the search process. The location of a desired item in a sorted database can be found by classical queries that inspect one letter of the label at a time. For an unsorted database, no such classical quick search algorithm is available. If the database permits quantum queries, however, then mere digitisation is sufficient for efficient search. Sorting becomes redundant with the quantum superposition of states. A quantum algorithm is written down which locates the desired item in an unsorted database a factor of two faster than the best classical algorithm can in a sorted database. This algorithm has close resemblance to the assembly process in DNA replication.