quantum algorithms for scientific computing require modules implementing fundamental functions, such as the square root, the logarithm, and others. We require algorithms that have a well-controlled numerical error, th...
详细信息
quantum algorithms for scientific computing require modules implementing fundamental functions, such as the square root, the logarithm, and others. We require algorithms that have a well-controlled numerical error, that are uniformly scalable and reversible (unitary), and that can be implemented efficiently. We present quantum algorithms and circuits for computing the square root, the natural logarithm, and arbitrary fractional powers. We provide performance guarantees in terms of their worst-case accuracy and cost. We further illustrate their performance by providing tests comparing them to the respective floating point implementations found in widely used numerical software.
We discuss applications of quantum computation to geometric data processing. Especially, we give efficient algorithms for intersection problems and proximity problems. Our algorithms are based on Brassard et al.'s...
详细信息
We discuss applications of quantum computation to geometric data processing. Especially, we give efficient algorithms for intersection problems and proximity problems. Our algorithms are based on Brassard et al.'s amplitude amplification method, and analogous to Buhrman et al.'s algorithm for element distinctness. Revealing these applications is useful for classifying geometric problems, and also emphasizing potential usefulness of quantum computation in geometric data processing. Thus, the results will promote research and development of quantum computers and algorithms.
In typical well-known cryptosystem, the hardness of classical problems plays a fundamental role in ensuring its security. While, with the booming of quantum computation, some classical hard problems tend to be vulnera...
详细信息
In typical well-known cryptosystem, the hardness of classical problems plays a fundamental role in ensuring its security. While, with the booming of quantum computation, some classical hard problems tend to be vulnerable when confronted with the already-known quantum attacks, as a result, it is necessary to develop the post-quantum cryptosystem to resist the quantum attacks. With the purpose to bridge the two disciplines, it is significant to summarize known quantum algorithms and their threats toward these cryptographic intractable problems from a perspective of cryptanalysis. In this paper, we discussed the designing methodology, algorithm framework and latest progress of the mathematic hard problems on which the typical cryptosystems depend, including integer factorization problem, discrete logarithmic problem and its variants, lattice problem, dihedral hidden subgroup problems and extrapolated dihedral coset problem. It illustrated the reason why some cryptosystems such as RSA and ECC are not resistant to quantum attacks, yet some of them like lattice cryptosystems remain intact facing quantum attacks.
Walsh spectrum or Walsh transform is an alternative description of Boolean functions. In this paper, we explore quantum algorithms to approximate the absolute value of Walsh transform W-f at a single point z(0) (i.e.,...
详细信息
Walsh spectrum or Walsh transform is an alternative description of Boolean functions. In this paper, we explore quantum algorithms to approximate the absolute value of Walsh transform W-f at a single point z(0) (i.e., |W-f (z(0))|) for n-variable Boolean functions with probability at least 8/pi(2) using the number of O(1/vertical bar W-f (z(0))vertical bar epsilon) queries, promised that the accuracy is epsilon, while the best known classical algorithm requires O(2(n)) queries. The Hamming distance between Boolean functions is used to study the linearity testing and other important problems. We take advantage of Walsh transform to calculate the Hamming distance between two n-variable Boolean functions f and g using O(1) queries in some cases. Then, we exploit another quantum algorithm which converts computing Hamming distance between two Boolean functions to quantum amplitude estimation (i.e., approximate counting). If Ham(f, g) = t not equal 0, we can approximately compute Ham(f,g) with probability at least 2/3 by combining our algorithm and Approx - Count (f, epsilon) algorithm using the expected number of Theta(root N/([epsilon t] + 1) + root t(N-t)/[epsilon t] + 1) queries, promised that the accuracy is epsilon. Moreover, our algorithm is optimal, while the exact query complexity for the above problem epsilon is Theta(N) and the query complexity with the accuracy epsilon is O(1/epsilon(2) N/(t + 1)) in classical algorithm, where N = 2(n). Finally, we present three exact quantum query algorithms for two promise problems on Hamming distance using O(1) queries, while any classical deterministic algorithm solving the problem uses O(2(n)) queries.
We present quantum algorithms for solving two problems regarding stochastic processes. The first algorithm prepares the thermal Gibbs state of a quantum system and runs in time almost linear in,root N beta/Z and polyn...
详细信息
We present quantum algorithms for solving two problems regarding stochastic processes. The first algorithm prepares the thermal Gibbs state of a quantum system and runs in time almost linear in,root N beta/Z and polynomial in log(l/c), where N is the Hilbert space dimension, beta is the inverse temperature, Z is the partition function, and c is the desired precision of the output state. Our quantum algorithm exponentially improves the complexity dependence on 1/c and polynomially improves the dependence on beta of known quantum algorithms for this problem. The second algorithm estimates the hitting time of a Markov chain. For a sparse stochastic matrix P, it runs in time almost linear in 1/(c Delta(3/2)), where c is the absolute precision in the estimation and Delta is a parameter determined by P, and whose inverse is an upper bound of the hitting time. Our quantum algorithm quadratically improves the complexity dependence on 1/c and 1/Delta of the analog classical algorithm for hitting-time estimation. Both algorithms use tools recently developed in the context of Hamiltonian simulation, spectral gap amplification, and solving linear systems of equations.
We present quantum algorithms for the following matching problems in unweighted and weighted graphs with n vertices and m edges: Finding a maximal matching in general graphs in time O(root nm log(2)n). Finding a maxim...
详细信息
We present quantum algorithms for the following matching problems in unweighted and weighted graphs with n vertices and m edges: Finding a maximal matching in general graphs in time O(root nm log(2)n). Finding a maximum matching in general graphs in time O(n root m log(2)n). Finding a maximum weight matching in bipartite graphs in time O(n root m N log(2)n), where N is the largest edge weight. Our quantum algorithms are faster than the best known classical deterministic algorithms for the corresponding problems. In particular, the second result solves an open question stated in a paper by Ambainis and Spalek (Proceedings of STACS'06, pp. 172-183, 2006).
We introduce two quantum algorithms for solving structured prediction problems. We first show that a stochastic gradient descent that uses the quantum minimum finding algorithm and takes its probabilistic failure into...
详细信息
We introduce two quantum algorithms for solving structured prediction problems. We first show that a stochastic gradient descent that uses the quantum minimum finding algorithm and takes its probabilistic failure into account solves the structured prediction problem with a runtime that scales with the square root of the size of the label space, and in similar to O (1/..) with respect to the precision,.., of the solution. Motivated by robust inference techniques in machine learning, we then introduce another quantum algorithm that solves a smooth approximation of the structured prediction problem with a similar quantum speedup in the size of the label space and a similar scaling in the precision parameter. In doing so, we analyze a variant of stochastic gradient descent for convex optimization in the presence of an additive error in the calculation of the gradients, and show that its convergence rate does not deteriorate if the additive errors are of the order O(v root epsilon). This algorithm uses quantum Gibbs sampling at temperature O(epsilon) as a subroutine. Based on these theoretical observations, we propose a method for using quantum Gibbs samplers to combine feedforward neural networks with probabilistic graphical models for quantum machine learning. Our numerical results using Monte Carlo simulations on an image tagging task demonstrate the benefit of the approach.
Modelling of electromagnetic wave propagation in telecommunications has evolved from empirical models to highly deterministic ray tracing and numerical methods. The extraordinary computational effort of these methods ...
详细信息
Modelling of electromagnetic wave propagation in telecommunications has evolved from empirical models to highly deterministic ray tracing and numerical methods. The extraordinary computational effort of these methods and their wave nature seem ideally suited to be approached by quantum algorithms. We first examine current progress by reviewing recent proposals in the field. We scrutinize potentially advantageous quantum architectures, ranging from mainstream gate-level computers and near-term, mid-scale noisy architectures with limited capabilities, to adiabatic and annealing approaches that are already in commercial use. We analyze the weaknesses and strengths of recent proposals. Beyond the core algorithm, mechanisms to bridge the quantum and classical worlds are of particular interest. Extremely diverse algorithm specifications, from those based on Hamiltonian simulations and emulation of variational optimization to the unconstrained binary formulation, are compared with the use of pure gate-level circuits and known quantum subroutines. We show that the graph Laplacian, given its ability to integrate boundary conditions, is uniquely suited for quantum propagation modelling algorithms rooted in differential numerical methods. quantum computers could overcome the temporal and spatial limitations of classical methods for larger computational domains and, to some extent, address the problems of dispersion and stability in finite-difference approximations. The ability to express the solution of a problem as an eigenvalue problem turns out to be an advantage in the quantum world, where eigenvalues and eigenvectors are inextricably intertwined with quantum mechanics. In this paper, we identify the most promising techniques and scenarios that hold the greatest potential.
We develop a general framework to construct quantum algorithms that detect if a 3-uniform hypergraph given as input contains a sub-hypergraph isomorphic to a pre-specified constant-sized hypergraph. This framework is ...
详细信息
We develop a general framework to construct quantum algorithms that detect if a 3-uniform hypergraph given as input contains a sub-hypergraph isomorphic to a pre-specified constant-sized hypergraph. This framework is based on the concept of nested quantum walks recently proposed by Jeffery, Kothari and Magniez (2013) [12], and extends the methodology designed by Lee, Magniez and Santha (2013) [18] for similar problems over graphs. As applications, we obtain a quantum algorithm for finding a 4-clique in a 3-uniform hypergraph on n vertices with query complexity O(n(1.883)), and a quantum algorithm for determining if a ternary operator over a set of size n is associative with query complexity O(n(2.113)). (C) 2015 Elsevier B.V. All rights reserved.
Earth imaging satellites are a crucial part of our everyday lives that enable global tracking of industrial activities. Use cases span many applications, from weather forecasting to digital maps, carbon footprint trac...
详细信息
Earth imaging satellites are a crucial part of our everyday lives that enable global tracking of industrial activities. Use cases span many applications, from weather forecasting to digital maps, carbon footprint tracking, and vegetation monitoring. However, there are limitations;satellites are difficult to manufacture, expensive to maintain, and tricky to launch into orbit. Therefore, satellites must be employed efficiently. This poses a challenge known as the satellite mission planning problem, which could be computationally prohibitive to solve on large scales. However, close-to-optimal algorithms, such as greedy reinforcement learning and optimization algorithms can often provide satisfactory resolutions. This article introduces a set of quantum algorithms to solve the mission planning problem and demonstrate an advantage over the classical algorithms implemented thus far. The problem is formulated as maximizing the number of high-priority tasks completed on real datasets containing thousands of tasks and multiple satellites. This work demonstrates that through solution-chaining and clustering, optimization and machine learning algorithms offer the greatest potential for optimal solutions. This article notably illustrates that a hybridized quantum-enhanced reinforcement learning agent can achieve a completion percentage of 98.5% over high-priority tasks, significantly improving over the baseline greedy methods with a completion rate of 75.8%. The results presented in this work pave the way to quantum-enabled solutions in the space industry and, more generally, future mission planning problems across industries.
暂无评论