-
Treespilation: Architecture- and State-Optimised Fermion-to-Qubit Map**s
Authors:
Aaron Miller,
Adam Glos,
Zoltán Zimborás
Abstract:
Quantum computers hold great promise for efficiently simulating Fermionic systems, benefiting fields like quantum chemistry and materials science. To achieve this, algorithms typically begin by choosing a Fermion-to-qubit map** to encode the Fermioinc problem in the qubits of a quantum computer. In this work, we introduce "treespilation," a technique for efficiently map** Fermionic systems usi…
▽ More
Quantum computers hold great promise for efficiently simulating Fermionic systems, benefiting fields like quantum chemistry and materials science. To achieve this, algorithms typically begin by choosing a Fermion-to-qubit map** to encode the Fermioinc problem in the qubits of a quantum computer. In this work, we introduce "treespilation," a technique for efficiently map** Fermionic systems using a large family of favourable tree-based map**s previously introduced by some of the authors. We use this technique to minimise the number of CNOT gates required to simulate chemical groundstates found numerically using the ADAPT-VQE algorithm. We observe significant reductions, up to $74\%$, in CNOT counts on full connectivity and for limited qubit connectivity-type devices such as IBM Eagle and Google Sycamore, we observe similar reductions in CNOT counts. In many instances, the reductions achieved on these limited connectivity devices even surpass the initial full connectivity CNOT count. Additionally, we find our method improves the CNOT and parameter efficiency of QEB- and qubit-ADAPT-VQE, which are, to our knowledge, the most CNOT-efficient VQE protocols for molecular state preparation.
△ Less
Submitted 8 March, 2024; v1 submitted 6 March, 2024;
originally announced March 2024.
-
Classification and transformations of quantum circuit decompositions for permutation operations
Authors:
Ankit Khandelwal,
Handy Kurniawan,
Shraddha Aangiras,
Özlem Salehi,
Adam Glos
Abstract:
Efficient decomposition of permutation unitaries is vital as they frequently appear in quantum computing. In this paper, we identify the key properties that impact the decomposition process of permutation unitaries. Then, we classify these decompositions based on the identified properties, establishing a comprehensive framework for analysis. We demonstrate the applicability of the presented framew…
▽ More
Efficient decomposition of permutation unitaries is vital as they frequently appear in quantum computing. In this paper, we identify the key properties that impact the decomposition process of permutation unitaries. Then, we classify these decompositions based on the identified properties, establishing a comprehensive framework for analysis. We demonstrate the applicability of the presented framework through the widely used multi-controlled Toffoli gate, revealing that the existing decompositions in the literature belong to only three out of ten of the identified classes. Motivated by this finding, we propose transformations that can adapt a given decomposition into a member of another class, enabling resource reduction.
△ Less
Submitted 18 December, 2023;
originally announced December 2023.
-
Integer Factorization through Func-QAOA
Authors:
Mostafa Atallah,
Haemanth Velmurugan,
Rohan Sharma,
Siddhant Midha,
Shamim Al Mamun,
Ludmila Botelho,
Adam Glos,
Özlem Salehi
Abstract:
Integer factorization is a significant problem, with implications for the security of widely-used cryptographic schemes. No efficient classical algorithm for polynomial-time integer factorization has been found despite extensive research. Although Peter Shor's breakthrough quantum algorithm offers a viable solution, current limitations of noisy intermediate-scale quantum (NISQ) computers hinder it…
▽ More
Integer factorization is a significant problem, with implications for the security of widely-used cryptographic schemes. No efficient classical algorithm for polynomial-time integer factorization has been found despite extensive research. Although Peter Shor's breakthrough quantum algorithm offers a viable solution, current limitations of noisy intermediate-scale quantum (NISQ) computers hinder its practical implementation. To address this, researchers have explored alternative methods for factorization suitable for NISQ devices. One such method is the Quantum Approximate Optimization Algorithm, which treats factoring as an optimization problem defined over binary bits, resulting in various problematic aspects. In this paper, we explore the Func-QAOA approach for factorization, which premises overcoming some of the limitations of previous approaches and allows the incorporation of more advanced factorization techniques. After reviewing the most promising quantum implementations for integer arithmetics, we present a few illustrative examples to demonstrate the efficacy of the Func-QAOA approach and discuss methods to reduce the search space to speed up the optimization process.
△ Less
Submitted 26 September, 2023;
originally announced September 2023.
-
Hamiltonian-Oriented Homotopy QAOA
Authors:
Akash Kundu,
Ludmila Botelho,
Adam Glos
Abstract:
The classical homotopy optimization approach has the potential to deal with highly nonlinear landscape, such as the energy landscape of QAOA problems. Following this motivation, we introduce Hamiltonian-Oriented Homotopy QAOA (HOHo-QAOA), that is a heuristic method for combinatorial optimization using QAOA, based on classical homotopy optimization. The method consists of a homotopy map that produc…
▽ More
The classical homotopy optimization approach has the potential to deal with highly nonlinear landscape, such as the energy landscape of QAOA problems. Following this motivation, we introduce Hamiltonian-Oriented Homotopy QAOA (HOHo-QAOA), that is a heuristic method for combinatorial optimization using QAOA, based on classical homotopy optimization. The method consists of a homotopy map that produces an optimization problem for each value of interpolating parameter. Therefore, HOHo-QAOA decomposes the optimization of QAOA into several loops, each using a mixture of the mixer and the objective Hamiltonian for cost function evaluation. Furthermore, we conclude that the HOHo-QAOA improves the search for low energy states in the nonlinear energy landscape and outperforms other variants of QAOA.
△ Less
Submitted 30 January, 2023;
originally announced January 2023.
-
Prog-QAOA: Framework for resource-efficient quantum optimization through classical programs
Authors:
Bence Bakó,
Adam Glos,
Özlem Salehi,
Zoltán Zimborás
Abstract:
Current state-of-the-art quantum optimization algorithms require representing the original problem as a binary optimization problem, which is then converted into an equivalent Ising model suitable for the quantum device. Implementing each term of the Ising model separately often results in high redundancy, significantly increasing the resources required. Instead, we propose to design classical pro…
▽ More
Current state-of-the-art quantum optimization algorithms require representing the original problem as a binary optimization problem, which is then converted into an equivalent Ising model suitable for the quantum device. Implementing each term of the Ising model separately often results in high redundancy, significantly increasing the resources required. Instead, we propose to design classical programs for computing the objective function and certifying the constraints, and later compile them to quantum circuits, eliminating the reliance on the binary optimization problem representation. This results in a new variant of the Quantum Approximate Optimization Algorithm (QAOA), which we name the Prog-QAOA. We exploit this idea for optimization tasks like the Travelling Salesman Problem and Max-$K$-Cut and obtain circuits that are near-optimal with respect to all relevant cost measures, e.g., number of qubits, gates, and circuit depth. While we demonstrate the power of Prog-QAOA only for a particular set of paradigmatic problems, our approach is conveniently applicable to generic optimization problems.
△ Less
Submitted 29 April, 2024; v1 submitted 7 September, 2022;
originally announced September 2022.
-
Adaptive POVM implementations and measurement error mitigation strategies for near-term quantum devices
Authors:
Adam Glos,
Anton Nykänen,
Elsi-Mari Borrelli,
Sabrina Maniscalco,
Matteo A. C. Rossi,
Zoltán Zimborás,
Guillermo García-Pérez
Abstract:
We present adaptive measurement techniques tailored for variational quantum algorithms on near-term small and noisy devices. In particular, we generalise earlier "learning to measure" strategies in two ways. First, by considering a class of adaptive positive operator valued measures (POVMs) that can be simulated with simple projective measurements without ancillary qubits, we decrease the amount o…
▽ More
We present adaptive measurement techniques tailored for variational quantum algorithms on near-term small and noisy devices. In particular, we generalise earlier "learning to measure" strategies in two ways. First, by considering a class of adaptive positive operator valued measures (POVMs) that can be simulated with simple projective measurements without ancillary qubits, we decrease the amount of required qubits and two-qubit gates. Second, by introducing a method based on Quantum Detector Tomography to mitigate the effect of noise, we are able to optimise the POVMs as well as to infer expectation values reliably in the currently available noisy quantum devices. Our numerical simulations clearly indicate that the presented strategies can significantly reduce the number of needed shots to achieve chemical accuracy in variational quantum eigensolvers, thus hel** to solve one of the bottlenecks of near-term quantum computing.
△ Less
Submitted 16 August, 2022;
originally announced August 2022.
-
Quantum network medicine: rethinking medicine with network science and quantum algorithms
Authors:
Sabrina Maniscalco,
Elsi-Mari Borrelli,
Daniel Cavalcanti,
Caterina Foti,
Adam Glos,
Mark Goldsmith,
Stefan Knecht,
Keijo Korhonen,
Joonas Malmi,
Anton Nykänen,
Matteo A. C. Rossi,
Harto Saarinen,
Boris Sokolov,
N. Walter Talarico,
Jussi Westergren,
Zoltán Zimborás,
Guillermo García-Pérez
Abstract:
Scientific and technological advances in medicine and systems biology have unequivocally shown that health and disease must be viewed in the context of the interplay among multiple molecular and environmental factors. Understanding the effects of cellular interconnection on disease progression may lead to the identification of novel disease genes and pathways, and hence influence precision diagnos…
▽ More
Scientific and technological advances in medicine and systems biology have unequivocally shown that health and disease must be viewed in the context of the interplay among multiple molecular and environmental factors. Understanding the effects of cellular interconnection on disease progression may lead to the identification of novel disease genes and pathways, and hence influence precision diagnostics and therapeutics. To accomplish this goal, the emerging field of network medicine applies network science approaches to investigate disease pathogenesis, integrating information from relevant Omics databases, including protein-protein interaction, correlation-based, gene regulatory, and Bayesian networks. However, this requires analysing and computing large amounts of data. Moreover, if we are to efficiently search for new drugs and new drug combinations, there is a pressing need for computational methods that could allow us to access the immense chemical compound space until now largely unexplored. Finally, at the microscopic level, drug-target chemistry simulation is ultimately a quantum problem, and hence it requires a quantum solution. As we will discuss, quantum computing may be a key ingredient in enabling the full potential of network medicine. We propose to combine network medicine and quantum algorithms in a novel research field, quantum network medicine, to lay the foundations of a new era of disease prevention and drug design.
△ Less
Submitted 22 June, 2022;
originally announced June 2022.
-
Optimizing the Production of Test Vehicles using Hybrid Constrained Quantum Annealing
Authors:
Adam Glos,
Akash Kundu,
Özlem Salehi
Abstract:
Optimization of pre-production vehicle configurations is one of the challenges in the automotive industry. Given a list of tests requiring cars with certain features, it is desirable to find the minimum number of cars that cover the tests and obey the configuration rules. In this paper, we model the problem in the framework of satisfiability and solve it by utilizing the newly introduced hybrid co…
▽ More
Optimization of pre-production vehicle configurations is one of the challenges in the automotive industry. Given a list of tests requiring cars with certain features, it is desirable to find the minimum number of cars that cover the tests and obey the configuration rules. In this paper, we model the problem in the framework of satisfiability and solve it by utilizing the newly introduced hybrid constrained quadratic model (CQM) solver provided by D-Wave. The problem definition is based on the "Optimizing the Production of Test Vehicles" use case given in the BMW Quantum Computing Challenge. We formulate a constrained quadratic model for the problem and use a greedy algorithm to configure the cars. We benchmark the results obtained from the CQM solver with the results from the classical solvers like CBC (Coin-or branch and cut) and Gurobi. We conclude that the performance of the CQM solver is comparable to classical solvers in optimizing the number of test vehicles. As an extension to the problem, we describe how the scheduling of the tests can be incorporated into the model.
△ Less
Submitted 29 March, 2022;
originally announced March 2022.
-
Application of graph theory in quantum computer science
Authors:
Adam Glos
Abstract:
In this dissertation we demonstrate that the continuous-time quantum walk models remain powerful for nontrivial graph structures. We consider two aspects of this problem. First, it is known that the standard Continuous-Time Quantum Walk (CTQW), proposed by Childs and Goldstone, can propagate quickly on the infinite path graph. However, the Schrödinger equation requires the Hamiltonian to be symmet…
▽ More
In this dissertation we demonstrate that the continuous-time quantum walk models remain powerful for nontrivial graph structures. We consider two aspects of this problem. First, it is known that the standard Continuous-Time Quantum Walk (CTQW), proposed by Childs and Goldstone, can propagate quickly on the infinite path graph. However, the Schrödinger equation requires the Hamiltonian to be symmetric, and thus only undirected graphs can be implemented. In this thesis, we address the question, whether it is possible to construct a continuous-time quantum walk on general directed graphs, preserving its propagation properties. Secondly, the quantum spatial search defined through CTQW has been proven to work well on various undirected graphs. However, most of these graphs have very simple structures. The most advanced results concerned the Erdős-Rényi model of random graphs, which is the most popular but not realistic random graph model, and Barabási-Albert random graphs, for which full quadratic speed-up was not confirmed. In the scope of this aspect we analyze, whether quantum speed-up is observed for complicated graph structures as well.
△ Less
Submitted 27 September, 2021;
originally announced September 2021.
-
Error mitigation for variational quantum algorithms through mid-circuit measurements
Authors:
Ludmila Botelho,
Adam Glos,
Akash Kundu,
Jarosław Adam Miszczak,
Özlem Salehi,
Zoltán Zimborás
Abstract:
Noisy Intermediate-Scale Quantum (NISQ) algorithms require novel paradigms of error mitigation. To obtain noise-robust quantum computers, each logical qubit is equipped with hundreds or thousands of physical qubits. However, it is not possible to use memory-consuming techniques for current quantum devices having at most hundreds or at best thousands of physical qubits on their own. For specific pr…
▽ More
Noisy Intermediate-Scale Quantum (NISQ) algorithms require novel paradigms of error mitigation. To obtain noise-robust quantum computers, each logical qubit is equipped with hundreds or thousands of physical qubits. However, it is not possible to use memory-consuming techniques for current quantum devices having at most hundreds or at best thousands of physical qubits on their own. For specific problems, valid quantum states have a unique structure as in the case of Fock states and W-states where the Hamming weight is fixed, and the evolution takes place in a smaller subspace of the full Hilbert space. With this pre-knowledge, some errors can be detected in the course of the evolution of the circuit, by filtering the states not obeying the pattern through post-selection. In this paper, we present mid-circuit post-selection schemes for frequently used encodings such as one-hot, binary, gray, and domain-wall encoding. For the particular subspace of one-hot states, we propose a method that works by compressing the full Hilbert space to a smaller subspace, allowing projecting to the desired subspace without using any ancilla qubits. We demonstrate the effectiveness of the approach for the Quantum Alternating Operator Ansatz algorithm. Our method is particularly suitable for the currently available hardware, where measuring and resetting is possible, but classical control conditional operators are not.
△ Less
Submitted 7 September, 2021; v1 submitted 24 August, 2021;
originally announced August 2021.
-
Unconstrained Binary Models of the Travelling Salesman Problem Variants for Quantum Optimization
Authors:
Özlem Salehi,
Adam Glos,
Jarosław Adam Miszczak
Abstract:
Quantum computing is offering a novel perspective for solving combinatorial optimization problems. To fully explore the possibilities offered by quantum computers, the problems need to be formulated as unconstrained binary models, taking into account limitation and advantages of quantum devices. In this work, we provide a detailed analysis of the Travelling Salesman Problem with Time Windows (TSPT…
▽ More
Quantum computing is offering a novel perspective for solving combinatorial optimization problems. To fully explore the possibilities offered by quantum computers, the problems need to be formulated as unconstrained binary models, taking into account limitation and advantages of quantum devices. In this work, we provide a detailed analysis of the Travelling Salesman Problem with Time Windows (TSPTW) in the context of solving it on a quantum computer. We introduce quadratic unconstrained binary optimization and higher order binary optimization formulations of this problem. We demonstrate the advantages of edge-based and node-based formulations of the TSPTW problem. Additionally, we investigate the experimental realization of the presented methods on a quantum annealing device. The provided results pave the path for utilizing quantum computer for a variety of real-world task which can be cast in the form of Travelling Salesman Problem with Time Windows problem.
△ Less
Submitted 28 December, 2021; v1 submitted 16 June, 2021;
originally announced June 2021.
-
Quantum speedups for dynamic programming on $n$-dimensional lattice graphs
Authors:
Adam Glos,
Martins Kokainis,
Ryuhei Mori,
Jevgēnijs Vihrovs
Abstract:
Motivated by the quantum speedup for dynamic programming on the Boolean hypercube by Ambainis et al. (2019), we investigate which graphs admit a similar quantum advantage. In this paper, we examine a generalization of the Boolean hypercube graph, the $n$-dimensional lattice graph $Q(D,n)$ with vertices in $\{0,1,\ldots,D\}^n$. We study the complexity of the following problem: given a subgraph $G$…
▽ More
Motivated by the quantum speedup for dynamic programming on the Boolean hypercube by Ambainis et al. (2019), we investigate which graphs admit a similar quantum advantage. In this paper, we examine a generalization of the Boolean hypercube graph, the $n$-dimensional lattice graph $Q(D,n)$ with vertices in $\{0,1,\ldots,D\}^n$. We study the complexity of the following problem: given a subgraph $G$ of $Q(D,n)$ via query access to the edges, determine whether there is a path from $0^n$ to $D^n$. While the classical query complexity is $\widetildeΘ((D+1)^n)$, we show a quantum algorithm with complexity $\widetilde O(T_D^n)$, where $T_D < D+1$. The first few values of $T_D$ are $T_1 \approx 1.817$, $T_2 \approx 2.660$, $T_3 \approx 3.529$, $T_4 \approx 4.421$, $T_5 \approx 5.332$. We also prove that $T_D \geq \frac{D+1}{\mathrm e}$, thus for general $D$, this algorithm does not provide, for example, a speedup, polynomial in the size of the lattice.
While the presented quantum algorithm is a natural generalization of the known quantum algorithm for $D=1$ by Ambainis et al., the analysis of complexity is rather complicated. For the precise analysis, we use the saddle-point method, which is a common tool in analytic combinatorics, but has not been widely used in this field.
We then show an implementation of this algorithm with time complexity $\text{poly}(n)^{\log n} T_D^n$, and apply it to the Set Multicover problem. In this problem, $m$ subsets of $[n]$ are given, and the task is to find the smallest number of these subsets that cover each element of $[n]$ at least $D$ times. While the time complexity of the best known classical algorithm is $O(m(D+1)^n)$, the time complexity of our quantum algorithm is $\text{poly}(m,n)^{\log n} T_D^n$.
△ Less
Submitted 7 May, 2021; v1 submitted 29 April, 2021;
originally announced April 2021.
-
Quantum speedup for track reconstruction in particle accelerators
Authors:
Duarte Magano,
Akshat Kumar,
Mārtiņš Kālis,
Andris Locāns,
Adam Glos,
Sagar Pratapsi,
Gonçalo Quinta,
Maksims Dimitrijevs,
Aleksander Rivošs,
Pedrame Bargassa,
João Seixas,
Andris Ambainis,
Yasser Omar
Abstract:
To investigate the fundamental nature of matter and its interactions, particles are accelerated to very high energies and collided inside detectors, producing a multitude of other particles that are scattered in all directions. As charged particles traverse the detector, they leave signals of their passage. The problem of track reconstruction is to recover the original trajectories from these sign…
▽ More
To investigate the fundamental nature of matter and its interactions, particles are accelerated to very high energies and collided inside detectors, producing a multitude of other particles that are scattered in all directions. As charged particles traverse the detector, they leave signals of their passage. The problem of track reconstruction is to recover the original trajectories from these signals. This challenging data analysis task will become even more demanding as the luminosity of future accelerators increases, leading to collision events with a more complex structure. We identify four fundamental routines present in every local tracking method and analyse how they scale in the context of a standard tracking algorithm. We show that for some of these routines we can reach a lower computational complexity with quantum search algorithms. Although the found quantum speedups are mild, this constitutes, to the best of our knowledge, the first rigorous evidence of a quantum advantage for a high-energy physics data processing task.
△ Less
Submitted 20 April, 2022; v1 submitted 23 April, 2021;
originally announced April 2021.
-
LP WAN Gateway Location Selection Using Modified K-Dominating Set Algorithm
Authors:
Artur Frankiewicz,
Adam Glos,
Krzysztof Grochla,
Zbigniew Łaskarzewski,
Jarosław Miszczak,
Konrad Połys,
Przemysław Sadowski,
Anna Strzoda
Abstract:
The LP WAN networks use gateways or base stations to communicate with devices distributed on large distances, up to tens of kilometres. The selection of optimal gateway locations in wireless networks should allow providing the complete coverage for a given set of nodes, taking into account the limitations, such as the number of nodes served per access point or required redundancy. In this paper, w…
▽ More
The LP WAN networks use gateways or base stations to communicate with devices distributed on large distances, up to tens of kilometres. The selection of optimal gateway locations in wireless networks should allow providing the complete coverage for a given set of nodes, taking into account the limitations, such as the number of nodes served per access point or required redundancy. In this paper, we describe the problem of selecting the base stations in a network using the concept of $k$-dominating set. In our model, we include information about the required redundancy and spectral efficiency. We consider the additional requirements on the resulting connections and provide the greedy algorithm for solving the problem. The algorithm is evaluated in randomly generated network topologies and using the coordinates of sample real smart metering networks.
△ Less
Submitted 9 October, 2020;
originally announced October 2020.
-
Comment to Spatial Search by Quantum Walk is Optimal for Almost all Graphs
Authors:
Ryszard Kukulski,
Adam Glos
Abstract:
This comment is to correct the proof of optimality of quantum spatial search for Erdős-Rényi graphs presented in `Spatial Search by Quantum Walk is Optimal for Almost all Graphs' (https://doi.org/10.1103/PhysRevLett.116.100501). The authors claim that if $p\geq \frac{\log^{3/2}(n)}{n}$, then the CTQW-based search is optimal for almost all graphs. Below we point the issues found in the main paper,…
▽ More
This comment is to correct the proof of optimality of quantum spatial search for Erdős-Rényi graphs presented in `Spatial Search by Quantum Walk is Optimal for Almost all Graphs' (https://doi.org/10.1103/PhysRevLett.116.100501). The authors claim that if $p\geq \frac{\log^{3/2}(n)}{n}$, then the CTQW-based search is optimal for almost all graphs. Below we point the issues found in the main paper, and propose corrections, which in fact improve the result to $p=ω(\log(n)/n)$ in case of transition rate $γ= 1/λ_1$. In the case of the proof for simplified transition rate $1/(np)$ we pointed a possible issue with applying perturbation theory.
△ Less
Submitted 28 September, 2020;
originally announced September 2020.
-
Quantum Optimization for the Graph Coloring Problem with Space-Efficient Embedding
Authors:
Zsolt Tabi,
Kareem H. El-Safty,
Zsófia Kallus,
Péter Hága,
Tamás Kozsik,
Adam Glos,
Zoltán Zimborás
Abstract:
Current quantum computing devices have different strengths and weaknesses depending on their architectures. This means that flexible approaches to circuit design are necessary. We address this task by introducing a novel space-efficient quantum optimization algorithm for the graph coloring problem. Our circuits are deeper than the ones of the standard approach. However, the number of required qubi…
▽ More
Current quantum computing devices have different strengths and weaknesses depending on their architectures. This means that flexible approaches to circuit design are necessary. We address this task by introducing a novel space-efficient quantum optimization algorithm for the graph coloring problem. Our circuits are deeper than the ones of the standard approach. However, the number of required qubits is exponentially reduced in the number of colors. We present extensive numerical simulations demonstrating the performance of our approach. Furthermore, to explore currently available alternatives, we perform a study of random graph coloring on a quantum annealer to test the limiting factors of that approach, too.
△ Less
Submitted 15 September, 2020;
originally announced September 2020.
-
Space-efficient binary optimization for variational computing
Authors:
Adam Glos,
Aleksandra Krawiec,
Zoltán Zimborás
Abstract:
In the era of Noisy Intermediate-Scale Quantum (NISQ) computers it is crucial to design quantum algorithms which do not require many qubits or deep circuits. Unfortunately, the most well-known quantum algorithms are too demanding to be run on currently available quantum devices. Moreover, even the state-of-the-art algorithms developed for the NISQ era often suffer from high space complexity requir…
▽ More
In the era of Noisy Intermediate-Scale Quantum (NISQ) computers it is crucial to design quantum algorithms which do not require many qubits or deep circuits. Unfortunately, the most well-known quantum algorithms are too demanding to be run on currently available quantum devices. Moreover, even the state-of-the-art algorithms developed for the NISQ era often suffer from high space complexity requirements for particular problem classes. In this paper, we show that it is possible to greatly reduce the number of qubits needed for the Traveling Salesman Problem (TSP), a paradigmatic optimization task, at the cost of having deeper variational circuits. While the focus is on this particular problem, we claim that the approach can be generalized for other problems where the standard bit-encoding is highly inefficient. Finally, we also propose encoding schemes which smoothly interpolate between the qubit-efficient and the circuit depth-efficient models. All the proposed encodings remain efficient to implement within the Quantum Approximate Optimization Algorithm framework.
△ Less
Submitted 15 September, 2020;
originally announced September 2020.
-
Asymptotic entropy of the Gibbs state of complex networks
Authors:
Adam Glos,
Aleksandra Krawiec,
Łukasz Pawela
Abstract:
In this work we study the entropy of the Gibbs state corresponding to a graph. The Gibbs state is obtained from the Laplacian, normalized Laplacian or adjacency matrices associated with a graph. We calculated the entropy of the Gibbs state for a few classes of graphs and studied their behavior with changing graph order and temperature. We illustrate our analytical results with numerical simulation…
▽ More
In this work we study the entropy of the Gibbs state corresponding to a graph. The Gibbs state is obtained from the Laplacian, normalized Laplacian or adjacency matrices associated with a graph. We calculated the entropy of the Gibbs state for a few classes of graphs and studied their behavior with changing graph order and temperature. We illustrate our analytical results with numerical simulations for Erdős-Rényi, Watts-Strogatz, Barabási-Albert and Chung-Lu graph models and a few real-world graphs. Our results show that the behavior of Gibbs entropy as a function of the temperature differs for a choice of real networks when compared to the random Erdős-Rényi graphs.
△ Less
Submitted 11 January, 2021; v1 submitted 18 March, 2020;
originally announced March 2020.
-
Comment on Nahimovs et al. `On the probability of finding marked connected components using quantum walks'
Authors:
Adam Glos,
Nikolay Nahimovs
Abstract:
In this comment paper we present two misconceptions found in paper of Nahimovs et al. \emph{On the probability of finding marked connected components using quantum walks}. First, we show that the Theorem 2 (sufficient and necessary condition for a state to be stationary) is incomplete -- it works only if unmarked vertices form a single connected component. Second, we correct derivation of \emph{a}…
▽ More
In this comment paper we present two misconceptions found in paper of Nahimovs et al. \emph{On the probability of finding marked connected components using quantum walks}. First, we show that the Theorem 2 (sufficient and necessary condition for a state to be stationary) is incomplete -- it works only if unmarked vertices form a single connected component. Second, we correct derivation of \emph{a} coefficient in the Theorem 3 (lower bound on the probability) and show how to upper bound value of \emph{a}.
△ Less
Submitted 1 August, 2019; v1 submitted 29 July, 2019;
originally announced July 2019.
-
Upperbounds on the probability of finding marked connected components using quantum walks
Authors:
Adam Glos,
Nikolajs Nahimovs,
Konstantin Balakirev,
Kamil Khadiev
Abstract:
Quantum walk search may exhibit phenomena beyond the intuition from a conventional random walk theory. One of such examples is exceptional configuration phenomenon -- it appears that it may be much harder to find any of two or more marked vertices, that if only one of them is marked. In this paper, we analyze the probability of finding any of marked vertices in such scenarios and prove upper bound…
▽ More
Quantum walk search may exhibit phenomena beyond the intuition from a conventional random walk theory. One of such examples is exceptional configuration phenomenon -- it appears that it may be much harder to find any of two or more marked vertices, that if only one of them is marked. In this paper, we analyze the probability of finding any of marked vertices in such scenarios and prove upper bounds for various sets of marked vertices. We apply the upper bounds to large collection of graphs and show that the quantum search may be slow even when taking real-world networks.
△ Less
Submitted 24 September, 2020; v1 submitted 4 March, 2019;
originally announced March 2019.
-
Optimal Quantum Walk Search on Kronecker Graphs with Dominant or Fixed Regular Initiators
Authors:
Adam Glos,
Thomas G. Wong
Abstract:
In network science, graphs obtained by taking the Kronecker or tensor power of the adjacency matrix of an initiator graph are used to construct complex networks. In this paper, we analytically prove sufficient conditions under which such Kronecker graphs can be searched by a continuous-time quantum walk in optimal $Θ(\sqrt{N})$ time. First, if the initiator is regular and its adjacency matrix has…
▽ More
In network science, graphs obtained by taking the Kronecker or tensor power of the adjacency matrix of an initiator graph are used to construct complex networks. In this paper, we analytically prove sufficient conditions under which such Kronecker graphs can be searched by a continuous-time quantum walk in optimal $Θ(\sqrt{N})$ time. First, if the initiator is regular and its adjacency matrix has a dominant principal eigenvalue, meaning its unique largest eigenvalue asymptotically dominates the other eigenvalues in magnitude, then the Kronecker graphs generated by this initiator can be quantum searched with probability 1 in $π\sqrt{N}/2$ time, asymptotically, and we give the critical jum** rate of the walk that enables this. Second, for any fixed initiator that is regular, non-bipartite, and connected, the Kronecker graphs generated by it are quantum searched in $Θ(\sqrt{N})$ time. This greatly extends the number of Kronecker graphs on which quantum walks are known to optimally search. If the fixed, regular, connected initiator is bipartite, however, then search on its Kronecker powers is not optimal, but is still better than classical computer's $O(N)$ runtime if the initiator has more than two vertices.
△ Less
Submitted 6 December, 2018; v1 submitted 4 September, 2018;
originally announced September 2018.
-
Impact of global and local interaction on quantum spatial search on chimera graph
Authors:
Adam Glos,
Tomasz Januszek
Abstract:
In the paper, we investigated the influence of local and global interaction on the efficiency of continuous-time quantum spatial search. To do so, we analyzed numerically chimera graph, which is defined as 2D grid with each node replaced by complete bipartite graph. Our investigation provides a numerical evidence that with a large number of local interactions the quantum spatial search is optimal,…
▽ More
In the paper, we investigated the influence of local and global interaction on the efficiency of continuous-time quantum spatial search. To do so, we analyzed numerically chimera graph, which is defined as 2D grid with each node replaced by complete bipartite graph. Our investigation provides a numerical evidence that with a large number of local interactions the quantum spatial search is optimal, contrary to the case with limited number of such interactions. The result suggests that relatively large number of local interactions with the marked vertex is necessary for optimal search, which in turn would imply that poorly connected vertices are hard to be found.
△ Less
Submitted 30 August, 2019; v1 submitted 24 July, 2018;
originally announced July 2018.
-
Spectral similarity for Barabási-Albert and Chung-Lu models
Authors:
Adam Glos
Abstract:
In the paper we have analyzed spectral similarity between Barabási-Albert and Chung-lu models. We have shown the similarity of spectral distribution for sufficiently large Barabási-Albert parameter value. Contrary, extreme eigenvalues and principal eigenvector are not similar for those model. We provide applications of obtained results related to the spectral graph theory and efficiency of quantum…
▽ More
In the paper we have analyzed spectral similarity between Barabási-Albert and Chung-lu models. We have shown the similarity of spectral distribution for sufficiently large Barabási-Albert parameter value. Contrary, extreme eigenvalues and principal eigenvector are not similar for those model. We provide applications of obtained results related to the spectral graph theory and efficiency of quantum spatial search
△ Less
Submitted 9 November, 2018; v1 submitted 5 June, 2018;
originally announced June 2018.
-
Introducing higher order correlations to marginals' subset of multivariate data by means of Archimedean copulas
Authors:
Krzysztof Domino,
Adam Glos
Abstract:
In this paper, we present the algorithm that alters the subset of marginals of multivariate standard distributed data into such modelled by an Archimedean copula. Proposed algorithm leaves a correlation matrix almost unchanged, but introduces a higher order correlation into a subset of marginals. Our data transformation algorithm can be used to analyse whether particular machine learning algorithm…
▽ More
In this paper, we present the algorithm that alters the subset of marginals of multivariate standard distributed data into such modelled by an Archimedean copula. Proposed algorithm leaves a correlation matrix almost unchanged, but introduces a higher order correlation into a subset of marginals. Our data transformation algorithm can be used to analyse whether particular machine learning algorithm, especially a dimensionality reduction one, utilises higher order correlations or not. We present an exemplary application on two features selection algorithms, mention that features selection is one of the approaches to dimensionality reduction. To measure higher order correlation, we use multivariate higher order cumulants, hence to utilises higher order correlations be to use the Joint Skewness Band Selection (JSBS) algorithm that uses third-order multivariate cumulant. We show the robust performance of the JSBS in contrary to the poor performance of the Maximum Ellipsoid Volume (MEV) algorithm that does not utilise such higher order correlations. With this result, we confirm the potential application of our data generation algorithm to analyse a performance of various dimensionality reduction algorithms.
△ Less
Submitted 30 August, 2018; v1 submitted 21 March, 2018;
originally announced March 2018.
-
Impact of the malicious input data modification on the efficiency of quantum spatial search
Authors:
Adam Glos,
Jarosław Adam Miszczak
Abstract:
In this paper we demonstrate that the efficiency of quantum algorithms can be significantly altered by malicious manipulation of the input data. We exemplify the possibility of attacks on quantum spatial search based on Szegedy walk. We achieve this by proposing a framework suitable for analysing efficiency of attacks on quantum search algorithms. We provide the analysis of proposed attacks for di…
▽ More
In this paper we demonstrate that the efficiency of quantum algorithms can be significantly altered by malicious manipulation of the input data. We exemplify the possibility of attacks on quantum spatial search based on Szegedy walk. We achieve this by proposing a framework suitable for analysing efficiency of attacks on quantum search algorithms. We provide the analysis of proposed attacks for different models of random graphs.
△ Less
Submitted 18 September, 2019; v1 submitted 27 February, 2018;
originally announced February 2018.
-
QSWalk.jl: Julia package for quantum stochastic walks analysis
Authors:
Adam Glos,
Jarosław Adam Miszczak,
Mateusz Ostaszewski
Abstract:
The presented paper describes QSWalk.jl package for Julia programming language, developed for the purpose of simulating the evolution of open quantum systems. The package enables the study of quantum procedures developed using stochastic quantum walks on arbitrary directed graphs. We provide a detailed description of the implemented functions, along with a number of usage examples. The package is…
▽ More
The presented paper describes QSWalk.jl package for Julia programming language, developed for the purpose of simulating the evolution of open quantum systems. The package enables the study of quantum procedures developed using stochastic quantum walks on arbitrary directed graphs. We provide a detailed description of the implemented functions, along with a number of usage examples. The package is compared with the existing software offering a similar functionality.
△ Less
Submitted 19 November, 2018; v1 submitted 4 January, 2018;
originally announced January 2018.
-
Vertices cannot be hidden from quantum spatial search for almost all random graphs
Authors:
Adam Glos,
Aleksandra Krawiec,
Ryszard Kukulski,
Zbigniew Puchała
Abstract:
In this paper we show that all nodes can be found optimally for almost all random Erdős-Rényi ${\mathcal G}(n,p)$ graphs using continuous-time quantum spatial search procedure. This works for both adjacency and Laplacian matrices, though under different conditions. The first one requires $p=ω(\log^8(n)/n)$, while the seconds requires $p\geq(1+\varepsilon)\log (n)/n$, where $\varepsilon>0$. The pro…
▽ More
In this paper we show that all nodes can be found optimally for almost all random Erdős-Rényi ${\mathcal G}(n,p)$ graphs using continuous-time quantum spatial search procedure. This works for both adjacency and Laplacian matrices, though under different conditions. The first one requires $p=ω(\log^8(n)/n)$, while the seconds requires $p\geq(1+\varepsilon)\log (n)/n$, where $\varepsilon>0$. The proof was made by analyzing the convergence of eigenvectors corresponding to outlying eigenvalues in the $\|\cdot\|_\infty $ norm. At the same time for $p<(1-\varepsilon)\log(n)/n$, the property does not hold for any matrix, due to the connectivity issues. Hence, our derivation concerning Laplacian matrix is tight.
△ Less
Submitted 2 March, 2018; v1 submitted 20 September, 2017;
originally announced September 2017.
-
Limit properties of global interaction stochastic quantum walks on directed graphs
Authors:
Adam Glos,
Jarosław Adam Miszczak,
Mateusz Ostaszewski
Abstract:
The main results of our work is determining the differences between limiting properties in various models of quantum stochastic walks. In particular, we prove that in the case of strongly connected and a class of weakly connected directed graphs, local environment interaction evolution is relaxing, and in the case of undirected graphs, global environment interaction evolution is convergent. For ot…
▽ More
The main results of our work is determining the differences between limiting properties in various models of quantum stochastic walks. In particular, we prove that in the case of strongly connected and a class of weakly connected directed graphs, local environment interaction evolution is relaxing, and in the case of undirected graphs, global environment interaction evolution is convergent. For other classes of directed graphs we show, that the character of connectivity large influence on the limiting properties. We also study the limiting properties for the non-moralizing global interaction case. We demonstrate that the digraph observance is recovered in this case.
△ Less
Submitted 19 December, 2017; v1 submitted 6 March, 2017;
originally announced March 2017.
-
The role of quantum correlations in Cop and Robber game
Authors:
Adam Glos,
Jarosław Adam Miszczak
Abstract:
We introduce and study quantized versions of Cop and Robber game. We achieve this by using graph-preserving quantum operations, which are the quantum analogues of stochastic operations preserving the graph. We provide the tight bound for the number of operations required to reach the given state. By extending them to the controlled operations, we define a quantum-controlled Cop and Robber game, wh…
▽ More
We introduce and study quantized versions of Cop and Robber game. We achieve this by using graph-preserving quantum operations, which are the quantum analogues of stochastic operations preserving the graph. We provide the tight bound for the number of operations required to reach the given state. By extending them to the controlled operations, we define a quantum-controlled Cop and Robber game, which expands the classical Cop and Robber game, as well as the classically controlled quantum Cop and Robber game. In contrast to the typical scheme for introducing quantum games, we assume that both parties can utilise full information about the opponent's strategy. We show that the utilisation of the full knowledge about the opponent's state does not provide the advantage. Moreover, the chances of catching the Robber decrease for classical cop-win graphs. This result does not depend on the chosen model of evolution. On the other hand, the possibility to execute controlled quantum operations allows catching the Robber on almost all classical cop-win graphs. By this, we demonstrate that it is necessary to enrich the structure of correlations between the players' systems to provide a non-trivial quantized Cop and Robber game. Thus the quantum controlled operations offer a significant advantage over the classically controlled quantum operations.
△ Less
Submitted 28 November, 2017; v1 submitted 25 February, 2017;
originally announced February 2017.
-
Superdiffusive quantum stochastic walk definable of arbitrary directed graph
Authors:
Krzysztof Domino,
Adam Glos,
Mateusz Ostaszewski
Abstract:
In this paper we define a quantum stochastic walk on arbitrary directed graph with super-diffusive propagation on a line graph. Our model is based on global environment interaction QSW, which is known to have ballistic propagation. However we discovered, that in this case additional amplitude transitions occur, hence graph topology is changed into moral graph. Because of that we call the effect a…
▽ More
In this paper we define a quantum stochastic walk on arbitrary directed graph with super-diffusive propagation on a line graph. Our model is based on global environment interaction QSW, which is known to have ballistic propagation. However we discovered, that in this case additional amplitude transitions occur, hence graph topology is changed into moral graph. Because of that we call the effect a spontaneous moralization. We propose a general correction scheme, which is proved to remove unnecessary transition and thus to preserve the graph topology. In the end we numerically show, that super-diffusive propagation is preserved. Because of that our new model may be applied as effective evolution on arbitrary directed graph.
△ Less
Submitted 26 July, 2017; v1 submitted 17 January, 2017;
originally announced January 2017.
-
Properties of quantum stochastic walks from the asymptotic scaling exponent
Authors:
Krzysztof Domino,
Adam Glos,
Mateusz Ostaszewski,
Łukasz Pawela,
Przemysław Sadowski
Abstract:
This work focuses on the study of quantum stochastic walks, which are a generalization of coherent, i. e. unitary quantum walks. Our main goal is to present a measure of a coherence of the walk. To this end, we utilize the asymptotic scaling exponent of the second moment of the walk i. e. of the mean squared distance covered by a walk. As the quantum stochastic walk model encompasses both classica…
▽ More
This work focuses on the study of quantum stochastic walks, which are a generalization of coherent, i. e. unitary quantum walks. Our main goal is to present a measure of a coherence of the walk. To this end, we utilize the asymptotic scaling exponent of the second moment of the walk i. e. of the mean squared distance covered by a walk. As the quantum stochastic walk model encompasses both classical random walks and quantum walks, we are interested how the continuous change from one regime to the other influences the asymptotic scaling exponent. Moreover this model allows for behavior which is not found in any of the previously mentioned model -- the model with global dissipation. We derive the probability distribution for the walker, and determine the asymptotic scaling exponent analytically, showing that ballistic regime of the walk is maintained even at large dissipation strength.
△ Less
Submitted 28 April, 2017; v1 submitted 4 November, 2016;
originally announced November 2016.
-
Constructive quantum scaling of unitary matrices
Authors:
Adam Glos,
Przemysław Sadowski
Abstract:
In this work we present a method of decomposition of arbitrary unitary matrix $U\in\mathbf U(2^k)$ into a product of single-qubit negator and controlled-$\sqrt{\mbox{NOT}}$ gates. Since the product results with negator matrix, which can be treated as complex analogue if bistochastic matrix, our method can be seen as complex analogue of Sinkhorn-Knopp algorithm, where diagonal matrices are replaced…
▽ More
In this work we present a method of decomposition of arbitrary unitary matrix $U\in\mathbf U(2^k)$ into a product of single-qubit negator and controlled-$\sqrt{\mbox{NOT}}$ gates. Since the product results with negator matrix, which can be treated as complex analogue if bistochastic matrix, our method can be seen as complex analogue of Sinkhorn-Knopp algorithm, where diagonal matrices are replaced by adding and removing an one-qubit ancilla. The decomposition can be found constructively and resulting circuit consists of $O(4^k)$ entangling gates, which is proved to be optimal. An example of such transformation is presented.
△ Less
Submitted 26 October, 2016; v1 submitted 2 October, 2015;
originally announced October 2015.
-
Quantum inferring acausal structures and the Monty Hall problem
Authors:
Dariusz Kurzyk,
Adam Glos
Abstract:
This paper presents a quantum version of the Monty Hall problem based upon the quantum inferring acausal structures, which can be identified with generalization of Bayesian networks. Considered structures are expressed in formalism of quantum information theory, where density operators are identified with quantum generalization of probability distributions. Conditional relations between quantum co…
▽ More
This paper presents a quantum version of the Monty Hall problem based upon the quantum inferring acausal structures, which can be identified with generalization of Bayesian networks. Considered structures are expressed in formalism of quantum information theory, where density operators are identified with quantum generalization of probability distributions. Conditional relations between quantum counterpart of random variables are described by quantum conditional operators. Presented quantum inferring structures are used to construct a model inspired by scenario of well-known Monty Hall game, where we show the differences between classical and quantum Bayesian reasoning.
△ Less
Submitted 7 September, 2016; v1 submitted 8 April, 2015;
originally announced April 2015.