arXiv subjects

Daniel E. Browne

Publications and source records attributed to Daniel E. Browne.

13 recordsLinked to original sources

arXiv2015

Exact and Efficient Simulation of Concordant Computation

Concordant computation is a circuit-based model of quantum computation for mixed states, that assumes that all correlations within the register are discord-free (i.e. the correlations are essentially classical) at every step of the computation. The question of whether concordant computation always admits efficient simulation by a classical computer was first considered by B. Eastin in quant-ph/1006.4402v1, where an answer in the affirmative was given for circuits consisting only of one- and two-qubit gates. Building on this work, we develop the theory of classical simulation of concordant computation. We present a new framework for understanding such computations, argue that a larger class of concordant computations admit efficient simulation, and provide alternative proofs for the main results of quant-ph/1006.4402v1 with an emphasis on the exactness of simulation which is crucial for this model. We include detailed analysis of the arithmetic complexity for solving equations in the simulation, as well as extensions to larger gates and qudits. We explore the limitations of our approach, and discuss the challenges faced in developing efficient classical simulation algorithms for all concordant computations.

quant-ph↗

arXiv2011

Thermal States as Universal Resources for Quantum Computation with Always-on Interactions

Measurement-based quantum computation utilizes an initial entangled resource state and proceeds with subsequent single-qubit measurements. It is implicitly assumed that the interactions between qubits can be switched off so that the dynamics of the measured qubits do not affect the computation. By proposing a model spin Hamiltonian, we demonstrate that measurement-based quantum computation can be achieved on a thermal state with always-on interactions. Moreover, computational errors induced by thermal fluctuations can be corrected and thus the computation can be executed fault-tolerantly if the temperature is below a threshold value.

quant-ph↗

arXiv2010

Bipartite Entanglement in Continuous-Variable Cluster States

We present a study of the entanglement properties of Gaussian cluster states, proposed as a universal resource for continuous-variable quantum computing. A central aim is to compare mathematically-idealized cluster states defined using quadrature eigenstates, which have infinite squeezing and cannot exist in nature, with Gaussian approximations which are experimentally accessible. Adopting widely-used definitions, we first review the key concepts, by analysing a process of teleportation along a continuous-variable quantum wire in the language of matrix product states. Next we consider the bipartite entanglement properties of the wire, providing analytic results. We proceed to grid cluster states, which are universal for the qubit case. To extend our analysis of the bipartite entanglement, we adopt the entropic-entanglement width, a specialized entanglement measure introduced recently by Van den Nest M et al., Phys. Rev. Lett. 97 150504 (2006), adapting their definition to the continuous-variable context. Finally we add the effects of photonic loss, extending our arguments to mixed states. Cumulatively our results point to key differences in the properties of idealized and Gaussian cluster states. Even modest loss rates are found to strongly limit the amount of entanglement. We discuss the implications for the potential of continuous-variable analogues of measurement-based quantum computation.

quant-ph↗

arXiv2010

Secure Multi-Party Computation with a Dishonest Majority via Quantum Means

We introduce a scheme for secure multi-party computation utilising the quantum correlations of entangled states. First we present a scheme for two-party computation, exploiting the correlations of a Greenberger-Horne-Zeilinger state to provide, with the help of a third party, a near-private computation scheme. We then present a variation of this scheme which is passively secure with threshold t=2, in other words, remaining secure when pairs of players conspire together provided they faithfully follow the protocol. We show that this can be generalised to computations of n-party polynomials of degree 2 with a threshold of n-1. The threshold achieved is significantly higher than the best known classical threshold, which satisfies the bound t<n/2.

quant-ph↗

arXiv2009

Twisted graph states for ancilla-driven quantum computation

We introduce a new paradigm for quantum computing called Ancilla-Driven Quantum Computation (ADQC) combines aspects of the quantum circuit and the one-way model to overcome challenging issues in building large-scale quantum computers. Instead of directly manipulating each qubit to perform universal quantum logic gates or measurements, ADQC uses a fixed two-qubit interaction to couple the memory register of a quantum computer to an ancilla qubit. By measuring the ancilla, the measurement-induced back-action on the system performs the desired logical operations. By demanding that the ancilla-system qubit interaction should lead to unitary and stepwise deterministic evolution, and that it should be possible to standardise the computation, that is, applying all global operations at the beginning, we are able to place conditions on the interactions that can be used for ADQC. We prove there are only two such classes of interactions characterised in terms of the non-local part of the interaction operator. This leads to the definition of a new entanglement resource called twisted graph states generated from non-commuting operators. The ADQC model is formalised in an algebraic framework similar to the Measurement Calculus. Furthermore, we present the notion of causal flow for twisted graph states, based on the stabiliser formalism, to characterise the determinism. Finally we demonstrate compositional embedding between ADQC and both the one-way and circuit models which will allow us to transfer recently developed theory and toolkits of measurement-based quantum computing directly into ADQC.

quant-ph↗

arXiv2008

Phase transition of computational power in the resource states for one-way quantum computation

We study how heralded qubit losses during the preparation of a two-dimensional cluster state, a universal resource state for one-way quantum computation, affect its computational power. Above the percolation threshold we present a polynomial-time algorithm that concentrates a universal cluster state, using resources that scale optimally in the size of the original lattice. On the other hand, below the percolation threshold, we show that single qubit measurements on the faulty lattice can be efficiently simulated classically. We observe a phase transition at the threshold when the amount of entanglement in the faulty lattice directly relevant to the computational power changes exponentially.

quant-ph↗

arXiv2007

Demonstration of Shor's quantum factoring algorithm using photonic qubits

We report an experimental demonstration of a complied version of Shor's algorithm using four photonic qubits. We choose the simplest instance of this algorithm, that is, factorization of N=15 in the case that the period $r=2$ and exploit a simplified linear optical network to coherently implement the quantum circuits of the modular exponential execution and semi-classical quantum Fourier transformation. During this computation, genuine multiparticle entanglement is observed which well supports its quantum nature. This experiment represents a step toward full realization of Shor's algorithm and scalable linear optics quantum computation.

quant-ph↗

arXiv2007

Loss tolerance in one-way quantum computation via counterfactual error correction

We introduce a scheme for fault tolerantly dealing with losses (or other "leakage" errors) in cluster state computation that can tolerate up to 50% qubit loss. This is achieved passively using an adaptive strategy of measurement - no coherent measurements or coherent correction is required. Since the scheme relies on inferring information about what would have been the outcome of a measurement had one been able to carry it out, we call this "counterfactual" error correction.

quant-ph↗

arXiv2006

Efficient classical simulation of the semi-classical Quantum Fourier Transform

A number of elegant approaches have been developed for the identification of quantum circuits which can be efficiently simulated on a classical computer. Recently, these methods have been employed to demonstrate the classical simulability of the quantum Fourier transform (QFT). In this note, we show that one can demonstrate a number of simulability results for QFT circuits in a straightforward manner using Griffiths and Niu's semi-classical QFT construction [Phys. Rev. Lett. 76, 3228 (1996)]. We then discuss the consequences of these results in the context of Shor's factorisation algorithm.

quant-ph↗

arXiv2005

Generation and Manipulation of Entanglement in Quantum Optical Systems

In this thesis, several new procedures for the generation and manipulation of entangled states in quantum optical systems are introduced. Each is evaluated in terms of realistic models of the imperfect apparatus of any real laboratory implementation. The first half of the thesis considers entanglement generation in Cavity QED, introducing several proposals for the creation of maximally entangled two-qubit states. The second half of the thesis focuses on the manipulation of entangled states of light pulses. In particular, an entanglement distillation procedure for Gaussian states is introduced. This combines a Procrustean protocol for the generation of highly entangled non-Gaussian states, with a "Gaussification" procedure, which allows more highly entangled approximately Gaussian states to be distilled from a non-Gaussian supply.

quant-ph↗

arXiv2005

Resource-efficient linear optical quantum computation

We introduce a scheme for linear optics quantum computation, that makes no use of teleported gates, and requires stable interferometry over only the coherence length of the photons. We achieve a much greater degree of efficiency and a simpler implementation than previous proposals. We follow the "cluster state" measurement based quantum computational approach, and show how cluster states may be efficiently generated from pairs of maximally polarization entangled photons using linear optical elements. We demonstrate the universality and usefulness of generic parity measurements, as well as introducing the use of redundant encoding of qubits to enable utilization of destructive measurements - both features of use in a more general context.

quant-ph↗

arXiv2002

Symmetric qubits from cavity states

Two-mode cavities can be prepared in quantum states which represent symmetric multi-qubit states. However, the qubits are impossible to address individually and as such cannot be independently measured or otherwise manipulated. We propose two related schemes to coherently transfer the qubits which the cavity state represents onto individual atoms, so that the qubits can then be processed individually. In particular, our scheme can be combined with the quantum cloning scheme of Simon and coworkers [C. Simon et al, PRL 84, 2993 (2000)] to allow the optimal clones which their scheme produces to be spatially separated and individually utilized.

quant-ph↗

arXiv2001

The one-way quantum computer -- a non-network model of quantum computation

A one-way quantum computer works by only performing a sequence of one-qubit measurements on a particular entangled multi-qubit state, the cluster state. No non-local operations are required in the process of computation. Any quantum logic network can be simulated on the one-way quantum computer. On the other hand, the network model of quantum computation cannot explain all ways of processing quantum information possible with the one-way quantum computer. In this paper, two examples of the non-network character of the one-way quantum computer are given. First, circuits in the Clifford group can be performed in a single time step. Second, the realisation of a particular circuit -- the bit-reversal gate -- on the one-way quantum computer has no network interpretation. (Submitted to J. Mod. Opt, Gdansk ESF QIT conference issue.)

quant-ph↗