Searcharxiv⌕ Search

arXiv subjects

Lvzhou Li

Publications and source records attributed to Lvzhou Li.

At least 73 records · Page 4Linked to original sources

Quantum Algorithm for Online Convex Optimization

We explore whether quantum advantages can be found for the zeroth-order online convex optimization problem, which is also known as bandit convex optimization with multi-point feedback. In this setting, given access to zeroth-order oracles (that is, the loss function is accessed as a black box that returns the function value for any queried input), a player attempts to minimize a sequence of adversarially generated convex loss functions. This procedure can be described as a $T$ round iterative game between the player and the adversary. In this paper, we present quantum algorithms for the problem and show for the first time that potential quantum advantages are possible for problems of online convex optimization. Specifically, our contributions are as follows. (i) When the player is allowed to query zeroth-order oracles $O(1)$ times in each round as feedback, we give a quantum algorithm that achieves $O(\sqrt{T})$ regret without additional dependence of the dimension $n$, which outperforms the already known optimal classical algorithm only achieving $O(\sqrt{nT})$ regret. Note that the regret of our quantum algorithm has achieved the lower bound of classical first-order methods. (ii) We show that for strongly convex loss functions, the quantum algorithm can achieve $O(\log T)$ regret with $O(1)$ queries as well, which means that the quantum algorithm can achieve the same regret bound as the classical algorithms in the full information setting.

quant-ph↗

Quantum Speedup and Limitations on Matroid Property Problems

This paper initiates the study of quantum algorithms for matroid property problems. It is shown that quadratic quantum speedup is possible for the calculation problem of finding the girth or the number of circuits (bases, flats, hyperplanes) of a matroid, and for the decision problem of deciding whether a matroid is uniform or Eulerian, by giving a uniform lower bound $Ω(\sqrt{\binom{n}{\lfloor n/2\rfloor}})$ on the query complexity for all these problems. On the other hand, for the uniform matroid decision problem, an asymptotically optimal quantum algorithm is proposed which achieves the lower bound, and for the girth problem, an almost optimal quantum algorithm is given with query complexity $O(\log n\sqrt{\binom{n}{\lfloor n/2\rfloor}})$. In addition, for the paving matroid decision problem, a lower bound $Ω(\sqrt{\binom{n}{\lfloor n/2\rfloor}/n})$ on the query complexity is obtained, and an $O(\sqrt{\binom{n}{\lfloor n/2\rfloor}})$ quantum algorithm is presented.

quant-ph↗

Quantum Architecture Search with Meta-learning

Variational quantum algorithms (VQAs) have been successfully applied to quantum approximate optimization algorithms, variational quantum compiling and quantum machine learning models. The performances of VQAs largely depend on the architecture of parameterized quantum circuits (PQCs). Quantum architecture search (QAS) aims to automate the design of PQCs in different VQAs with classical optimization algorithms. However, current QAS algorithms do not use prior experiences and search the quantum architecture from scratch for each new task, which is inefficient and time consuming. In this paper, we propose a meta quantum architecture search (MetaQAS) algorithm, which learns good initialization heuristics of the architecture (i.e., meta-architecture), along with the meta-parameters of quantum gates from a number of training tasks such that they can adapt to new tasks with a small number of gradient updates, which leads to fast learning on new tasks. The proposed MetaQAS can be used with arbitrary gradient-based QAS algorithms. Simulation results of variational quantum compiling on three- and four-qubit circuits show that the architectures optimized by MetaQAS converge much faster than a state-of-the-art gradient-based QAS algorithm, namely DQAS. MetaQAS also achieves a better solution than DQAS after fine-tuning of gate parameters.

quant-ph↗

Query complexity of generalized Simon's problem

Simon's problem plays an important role in the history of quantum algorithms, as it inspired Shor to discover the celebrated quantum algorithm solving integer factorization in polynomial time. Besides, the quantum algorithm for Simon's problem has been recently applied to break symmetric cryptosystems. Generalized Simon's problem, denoted by $\mathsf{GSP}(p,n,k)$, is a natural extension of Simon's problem. In this paper we consider the query complexity of $\mathsf{GSP}(p,n,k)$. First, it is not difficult to design a quantum algorithm solving the above problem with query complexity of $O(n-k)$. However, so far it is not clear what is the classical query complexity of the problem, and revealing this complexity is necessary for clarifying the computational power gap between quantum and classical computing on the problem. To tackle this problem, we prove that any classical (deterministic or randomized) algorithm for $\mathsf{GSP}(p,n,k)$ has to query at least $Ω\left(\max\{k, \sqrt{p^{n-k}}\}\right)$ values and any classical nonadaptive deterministic algorithm for $\mathsf{GSP}(p,n,k)$ has to query at least $Ω\left(\max\{k, \sqrt{k \cdot p^{n-k}}\}\right)$ values. Hence, we clearly show the classical computing model is less powerful than the quantum counterpart, in terms of query complexity for the generalized Simon's problem. Moreover, we obtain an upper bound $O\left(\max\{k, \sqrt{k \cdot p^{n-k}}\}\right)$ on the classical deterministic query complexity of $\mathsf{GSP}(p,n,k)$, by devising a subtle classical algorithm based on group theory and the divide-and-conquer approach. Therefore, we have an almost full characterization of the classical deterministic query complexity of the generalized Simon's problem.

cs.CC↗

Sample complexity of hidden subgroup problem

The hidden subgroup problem ($\mathsf{HSP}$) has been attracting much attention in quantum computing, since several well-known quantum algorithms including Shor algorithm can be described in a uniform framework as quantum methods to address different instances of it. One of the central issues about $\mathsf{HSP}$ is to characterize its quantum/classical complexity. For example, from the viewpoint of learning theory, sample complexity is a crucial concept. However, while the quantum sample complexity of the problem has been studied, a full characterization of the classical sample complexity of $\mathsf{HSP}$ seems to be absent, which will thus be the topic in this paper. $\mathsf{HSP}$ over a finite group is defined as follows: For a finite group $G$ and a finite set $V$, given a function $f:G \to V$ and the promise that for any $x, y \in G, f(x) = f(xy)$ iff $y \in H$ for a subgroup $H \in \mathcal{H}$, where $\mathcal{H}$ is a set of candidate subgroups of $G$, the goal is to identify $H$. Our contributions are as follows: For $\mathsf{HSP}$, we give the upper and lower bounds on the sample complexity of $\mathsf{HSP}$. Furthermore, we have applied the result to obtain the sample complexity of some concrete instances of hidden subgroup problem. Particularly, we discuss generalized Simon's problem ($\mathsf{GSP}$), a special case of $\mathsf{HSP}$, and show that the sample complexity of $\mathsf{GSP}$ is $Θ\left(\max\left\{k,\sqrt{k\cdot p^{n-k}}\right\}\right)$. Thus we obtain a complete characterization of the sample complexity of $\mathsf{GSP}$.

cs.CC↗

Variational quantum compiling with double Q-learning

Quantum compiling aims to construct a quantum circuit V by quantum gates drawn from a native gate alphabet, which is functionally equivalent to the target unitary U. It is a crucial stage for the running of quantum algorithms on noisy intermediate-scale quantum (NISQ) devices. However, the space for structure exploration of quantum circuit is enormous, resulting in the requirement of human expertise, hundreds of experimentations or modifications from existing quantum circuits. In this paper, we propose a variational quantum compiling (VQC) algorithm based on reinforcement learning (RL), in order to automatically design the structure of quantum circuit for VQC with no human intervention. An agent is trained to sequentially select quantum gates from the native gate alphabet and the qubits they act on by double Q-learning with ε-greedy exploration strategy and experience replay. At first, the agent randomly explores a number of quantum circuits with different structures, and then iteratively discovers structures with higher performance on the learning task. Simulation results show that the proposed method can make exact compilations with less quantum gates compared to previous VQC algorithms. It can reduce the errors of quantum algorithms due to decoherence process and gate noise in NISQ devices, and enable quantum algorithms especially for complex algorithms to be executed within coherence time.

quant-ph↗

High-performance parallel classical scheme for simulating shallow quantum circuits

Recently, constant-depth quantum circuits are proved more powerful than their classical counterparts at solving certain problems, e.g., the two-dimensional (2D) hidden linear function (HLF) problem regarding a symmetric binary matrix. To further investigate the boundary between classical and quantum computing models, in this work we propose a high-performance two-stage classical scheme to solve a full-sampling variant of the 2D HLF problem, which combines traditional classical parallel algorithms and a gate-based classical circuit model together for exactly simulating the target shallow quantum circuits. Under reasonable parameter assumptions, a theoretical analysis reveals our classical simulator consumes less runtime than that of near-term quantum processors for most problem instances. Furthermore, we demonstrate the typical all-connected 2D grid instances by moderate FPGA circuits, and show our designed parallel scheme is a practically scalable, high-efficient and operationally convenient tool for simulating and verifying graph-state circuits performed by current quantum hardware.

quant-ph↗

Characterization of exact one-query quantum algorithms (ii): for partial functions

The query model (or black-box model) has attracted much attention from the communities of both classical and quantum computing. Usually, quantum advantages are revealed by presenting a quantum algorithm that has a better query complexity than its classical counterpart. For example, the well-known quantum algorithms including Deutsch-Jozsa algorithm, Simon algorithm and Grover algorithm all show a considerable advantage of quantum computing from the viewpoint of query complexity. Recently we have considered in (Phys. Rev. A. {\bf 101}, 02232 (2020)) the problem: what functions can be computed by an exact one-query quantum algorithm? This problem has been addressed for total Boolean functions but still open for partial Boolean functions. Thus, in this paper we continue to characterize the computational power of exact one-query quantum algorithms for partial Boolean functions by giving several necessary and sufficient conditions. By these conditions, we construct some new functions that can be computed exactly by one-query quantum algorithms but have essential difference from the already known ones. Note that before our work, the known functions that can be computed by exact one-query quantum algorithms are all symmetric functions, whereas the ones constructed in this papers are generally asymmetric.

quant-ph↗

A Query-based Quantum Eigensolver

Solving eigenvalue problems is crucially important for both classical and quantum applications. Many well-known numerical eigensolvers have been developed, including the QR and the power methods for classical computers, as well as the quantum phase estimation(QPE) method and the variational quantum eigensolver for quantum computers. In this work, we present an alternative type of quantum method that uses fixed-point quantum search to solve Type II eigenvalue problems. It serves as an important complement to the QPE method, which is a Type I eigensolver. We find that the effectiveness of our method depends crucially on the appropriate choice of the initial state to guarantee a sufficiently large overlap with the unknown target eigenstate. We also show that the quantum oracle of our query-based method can be efficiently constructed for efficiently-simulated Hamiltonians, which is crucial for analyzing the total gate complexity. In addition, compared with the QPE method, our query-based method achieves a quadratic speedup in solving Type II problems.

quant-ph↗

Quantum generative adversarial network for generating discrete distribution

Quantum machine learning has recently attracted much attention from the community of quantum computing. In this paper, we explore the ability of generative adversarial networks (GANs) based on quantum computing. More specifically, we propose a quantum GAN for generating classical discrete distribution, which has a classical-quantum hybrid architecture and is composed of a parameterized quantum circuit as the generator and a classical neural network as the discriminator. The parameterized quantum circuit only consists of simple one-qubit rotation gates and two-qubit controlled-phase gates that are available in current quantum devices. Our scheme has the following characteristics and potential advantages: (i) It is intrinsically capable of generating discrete data (e.g., text data), while classical GANs are clumsy for this task due to the vanishing gradient problem. (ii) Our scheme avoids the input/output bottlenecks embarrassing most of the existing quantum learning algorithms that either require to encode the classical input data into quantum states, or output a quantum state corresponding to the solution instead of giving the solution itself, which inevitably compromises the speedup of the quantum algorithm. (iii) The probability distribution implicitly given by data samples can be loaded into a quantum state, which may be useful for some further applications.

quant-ph↗

Security Improvements of Several Basic Quantum Private Query Protocols with O(log N) Communication Complexity

New quantum private database (with N elements) query protocols are presented and analyzed. Protocols preserve O(logN) communication complexity of known protocols for the same task, but achieve several significant improvements in security, especially concerning user privacy. For example, the randomized form of our protocol has a cheat-sensitive property - it allows the user to detect a dishonest database with a nonzero probability, while the phase-encoded private query protocols for the same task do not have such a property. Moreover, when the database performs the computational basis measurement, a particular projective measurement which can cause a significant loss of user privacy in the previous private query protocols with O(logN) communication complexity, at most half of the user privacy could leak to such a database in our protocol, while in the QPQ protocol, the entire user privacy could leak out. In addition, it is proved here that for large N, the user could detect a cheating via the computational basis measurement, with a probability close to 1/2 using O(\sqrt{N}) special queries. Finally, it is shown here, for both forms of our protocol, basic and randomized, how a dishonest database has to act in case it could not learn user's queries.

cs.CR↗

Quantum speedup for twin support vector machines

We devise new quantum algorithms that exponentially speeds up the training and prediction procedures of twin support vector machines (TSVM). To train TSVMs using quantum methods, we demonstrate how to prepare the desired input states according to classical data, and these states are used in the quantum algorithm for the system of linear equations. In the prediction process, we employ a quantum circuit to estimate the distances from a new sample to the hyperplanes and then make a decision. The proposed quantum algorithms can learn two non-parallel hyperplanes and classify a new sample by comparing the distances from the sample to the two hyperplanes in $O(\log mn)$ time, where $m$ is the sample size and $n$ is the dimension of each data point. In contrast, the corresponding classical algorithm requires polynomial time for both the training and prediction procedures.

quant-ph↗

Characterization of exact one-query quantum algorithms

The quantum query models is one of the most important models in quantum computing. Several well-known quantum algorithms are captured by this model, including the Deutsch-Jozsa algorithm, the Simon algorithm, the Grover algorithm and others. In this paper, we characterize the computational power of exact one-query quantum algorithms. It is proved that a total Boolean function $f:\{0,1\}^n \rightarrow \{0,1\}$ can be exactly computed by a one-query quantum algorithm if and only if $f(x)=x_{i_1}$ or ${x_{i_1} \oplus x_{i_2} }$ (up to isomorphism). Note that unlike most work in the literature based on the polynomial method, our proof does not resort to any knowledge about the polynomial degree of $f$.

quant-ph↗

Triangle Extension: Efficient Localizability Detection in Wireless Sensor Networks

Determining whether nodes can be localized, called localizability detection, is essential for wireless sensor networks (WSNs). This step is required for localizing nodes, achieving low-cost deployments, and identifying prerequisites in location-based applications. Centralized graph algorithms are inapplicable to a resource-limited WSN because of their high computation and communication costs, whereas distributed approaches may miss a large number of theoretically localizable nodes in a resource-limited WSN. In this paper, we propose an efficient and effective distributed approach in order to address this problem. Furthermore, we prove the correctness of our algorithm and analyze the reasons our algorithm can find more localizable nodes while requiring fewer known location nodes than existing algorithms, under the same network configurations. The time complexity of our algorithm is linear with respect to the number of nodes in a network. We conduct both simulations and real-world WSN experiments to evaluate our algorithm under various network settings. The results show that our algorithm significantly outperforms the existing algorithms in terms of both the latency and the accuracy of localizability detection.

eess.SP↗

A Note on "Quantum Algorithm for Linear Systems of Equations"

Recently, an efficient quantum algorithm for linear systems of equations introduced by Harrow, Hassidim, and Lloyd, has received great concern from the academic community. However, the error and complexity analysis for this algorithm seems so complicated that it may not be applicable to other filter functions for other tasks. In this note, a concise proof is proposed. We hope that it may inspire some novel HHL-based algorithms that can compute $F(A)|b\rangle$ for any computable $F$.

quant-ph↗

Capability of local operations and classical communication for distinguishing bipartite unitary operations

The problem behind this paper is, if the number of queries to unitary operations is fixed, say $k$, then when do local operations and classical communication (LOCC) suffice for optimally distinguishing bipartite unitary operations? We consider the above problem for two-qubit unitary operations in the case of $k=1$, showing that for two two-qubit entangling unitary operations without local parties, LOCC achieves the same distinguishability as the global operations. Specifically, we obtain: (i) if such two unitary operations are perfectly distinguishable by global operations, then they are perfectly distinguishable by LOCC too, and (ii) if they are not perfectly distinguishable by global operations, then LOCC can achieve the same optimal discrimination probability as the global operations.

quant-ph↗

Efficient quantum repeater in perspectives of both entanglement concentration rate and LOCC complexity

Quantum entanglement is an indispensable resource for many significant quantum information processing tasks. However, because of the noise in quantum channels, it is difficult to distribute quantum entanglement over a long distance in practice. A solution for this challenge is the quantum repeater which can extend the distance of entanglement distribution. In this scheme, the time consumption of classical communication and local operations takes an important place in perspective of time efficiency. Motivated by this observation, we exploit the basic quantum repeater scheme in perspectives of not only the optimal rate of entanglement concentration but also the complexity of local operations and classical communication. Firstly, we consider the case where two two-qubit pure states are prepared. We construct a protocol with the optimal entanglement concentration rate and less consumption of local operations and classical communication. We also find a criteria for the projective measurements to achieve the optimal probability. Secondly, we exploit the case where two general pure states are prepared and general measurements are considered. We get an upper bound on the probability for a successful measurement operation to produce a maximally entangled state without any further local operations.

quant-ph↗

Sequential scheme for locally discriminating bipartite unitary operations without inverses

Local distinguishability of bipartite unitary operations has recently received much attention. A nontrivial and interesting question concerning this subject is whether there is a sequential scheme for locally discriminating between two bipartite unitary operations, because a sequential scheme usually represents the most economic strategy for discrimination. An affirmative answer to this question was given in the literature, however with two limitations: (i) the unitary operations to be discriminated were limited to act on $d\otimes d$, i.e., a two-qudit system, and (ii) the inverses of the unitary operations were assumed to be accessible, although this assumption may be unrealizable in experiment. In this paper, we improve the result by removing the two limitations. Specifically, we show that any two bipartite unitary operations acting on $d_A\otimes d_B$ can be locally discriminated by a sequential scheme, without using the inverses of the unitary operations. Therefore, this paper enhances the applicability and feasibility of the sequential scheme for locally discriminating unitary operations.

quant-ph↗