We propose a hybrid quantumcomputing scheme where qubit degrees of freedom for computation are combined with quantum continuous variables for communication. In particular, universal two-qubit gates can be implemented...
详细信息
We propose a hybrid quantumcomputing scheme where qubit degrees of freedom for computation are combined with quantum continuous variables for communication. In particular, universal two-qubit gates can be implemented deterministically through qubit-qubit communication, mediated by a continuous-variable bus mode (“qubus”), without direct interaction between the qubits and without any measurement of the qubus. The key ingredients are controlled rotations of the qubus and unconditional qubus displacements. The controlled rotations are realizable through typical atom-light interactions in quantum optics. For such interactions, our scheme is universal and works in any regime, including the limits of weak and strong nonlinearities.
For any AND-OR formula of size N, there exists a bounded-error N 1/2+o(1)-time quantum algorithm, based on a discrete-time quantum walk, that evaluates this formula on a black-box input. Balanced, or "approximate...
详细信息
For any AND-OR formula of size N, there exists a bounded-error N 1/2+o(1) -time quantum algorithm, based on a discrete-time quantum walk, that evaluates this formula on a black-box input. Balanced, or "approximat...
详细信息
For any AND-OR formula of size N, there exists a bounded-error N 1/2+o(1) -time quantum algorithm, based on a discrete-time quantum walk, that evaluates this formula on a black-box input. Balanced, or "approximately balanced," formulas can be evaluated in O(radicN) queries, which is optimal. It follows that the (2-o(1))th power of the quantum query complexity is a lower bound on the formula size, almost solving in the positive an open problem posed by Laplante, Lee and Szegedy.
Attempts to find new quantum algorithms that outperform classical computation have focused primarily on the nonAbelian hidden subgroup problem, which generalizes the central problem solved by Shor's factoring algo...
详细信息
Attempts to find new quantum algorithms that outperform classical computation have focused primarily on the nonAbelian hidden subgroup problem, which generalizes the central problem solved by Shor's factoring algorithm. We suggest an alternative generalization, namely to problems of finding hidden nonlinear structures over finite fields. We give examples of two such problems that can be solved efficiently by a quantumcomputer, but not by a classical computer. We also give some positive results on the quantum query complexity of finding hidden nonlinear structures.
We examine the communication required for generating random variables remotely. One party Alice is given a distribution D , and she has to send a message to Bob , who is then required to generate a value with dist...
详细信息
We examine the communication required for generating random variables remotely. One party Alice is given a distribution D , and she has to send a message to Bob , who is then required to generate a value with distribution exactly D . Alice and Bob are allowed to share random bits generated without the knowledge of D . There are two settings based on how the distribution D provided to Alice is chosen. If D is itself chosen randomly from some set (the set and distribution are known in advance) and we wish to minimize the expected communication in order for Alice to generate a value y, with distribution D , then we characterize the communication required in terms of the mutual information between the input to Alice and the output Bob is required to generate. If D is chosen from a set of distributions D , and we wish to devise a protocol so that the expected communication (the randomness comes from the shared random string and Alice coin tosses) is small for each D ϵ D , then we characterize the communication required in this case in terms of the channel capacity associated with the set D . Our proofs are based on an improved rejection sampling procedure that relates the relative entropy between two distributions to the communication complexity of generating one distribution from the other. As an application of these results, we derive a direct sum theorem in communication complexity that substantially improves the previous such result shown by Jain et al. [JRSb].
We investigate two-way and one-way single-photon quantum key distribution (QKD) protocols in the presence of loss introduced by the quantum channel. Our analysis is based on a simple precondition for secure QKD in eac...
详细信息
We investigate two-way and one-way single-photon quantum key distribution (QKD) protocols in the presence of loss introduced by the quantum channel. Our analysis is based on a simple precondition for secure QKD in each case. In particular, the legitimate users need to prove that there exists no separable state (in the case of two-way QKD), or that there exists no quantum state having a symmetric extension (one-way QKD), that is compatible with the available measurements results. We show that both criteria can be formulated as a convex optimization problem known as a semidefinite program, which can be efficiently solved. Moreover, we prove that the solution to the dual optimization corresponds to the evaluation of an optimal witness operator that belongs to the minimal verification set of them for the given two-way (or one-way) QKD protocol. A positive expectation value of this optimal witness operator states that no secret key can be distilled from the available measurements results. We apply such analysis to several well-known single-photon QKD protocols under losses.
We address the problem of estimating the phase ϕ given N copies of the phase-rotation gate uϕ. We consider, for the first time, the optimization of the general case where the circuit consists of an arbitrary input sta...
详细信息
We address the problem of estimating the phase ϕ given N copies of the phase-rotation gate uϕ. We consider, for the first time, the optimization of the general case where the circuit consists of an arbitrary input state, followed by any arrangement of the N phase rotations interspersed with arbitrary quantum operations, and ending with a general measurement. Using the polynomial method, we show that, in all cases where the measure of quality of the estimate ϕ˜ for ϕ depends only on the difference ϕ˜−ϕ, the optimal scheme has a very simple fixed form. This implies that an optimal general phase estimation procedure can be found by just optimizing the amplitudes of the initial state.
Robust quantum computation with d-level quantum systems (qudits) poses two requirements: fast, parallel quantum gates and high-fidelity two-qudit gates. We first describe how to implement parallel single-qudit operati...
详细信息
Robust quantum computation with d-level quantum systems (qudits) poses two requirements: fast, parallel quantum gates and high-fidelity two-qudit gates. We first describe how to implement parallel single-qudit operations. It is by now well known that any single-qudit unitary can be decomposed into a sequence of Givens rotations on two-dimensional subspaces of the qudit state space. Using a coupling graph to represent physically allowed couplings between pairs of qudit states, we then show that the logical depth (time) of the parallel gate sequence is equal to the height of an associated tree. The implementation of a given unitary can then optimize the tradeoff between gate time and resources used. These ideas are illustrated for qudits encoded in the ground hyperfine states of the alkali-metal atoms Rb87 and Cs133. Second, we provide a protocol for implementing parallelized nonlocal two-qudit gates using the assistance of entangled qubit pairs. Using known protocols for qubit entanglement purification, this offers the possibility of high-fidelity two-qudit gates.
We investigate the implementation of binary projective measurements with linear optics. This problem can be viewed as a single-shot discrimination of two orthogonal pure quantum states. We show that any two orthogonal...
详细信息
We investigate the implementation of binary projective measurements with linear optics. This problem can be viewed as a single-shot discrimination of two orthogonal pure quantum states. We show that any two orthogonal states can be perfectly discriminated using only linear optics, photon counting, coherent ancillary states, and feedforward. The statement holds in the asymptotic limit of a large number of these physical resources.
暂无评论