Showing 1–45 of 45 results for author: Miyake, A

Macrostates vs. Microstates in the Classical Simulation of Critical Phenomena in Quench Dynamics of 1D Ising Models

Authors: Anupam Mitra, Tameem Albash, Philip Daniel Blocher, Jun Takahashi, Akimasa Miyake, Grant W. Biedermann, Ivan H. Deutsch

Abstract: We study the tractability of classically simulating critical phenomena in the quench dynamics of one-dimensional transverse field Ising models (TFIMs) using highly truncated matrix product states (MPS). We focus on two paradigmatic examples: a dynamical quantum phase transition (DQPT) that occurs in nonintegrable long-range TFIMs, and the infinite-time correlation length of the integrable nearest-… ▽ More We study the tractability of classically simulating critical phenomena in the quench dynamics of one-dimensional transverse field Ising models (TFIMs) using highly truncated matrix product states (MPS). We focus on two paradigmatic examples: a dynamical quantum phase transition (DQPT) that occurs in nonintegrable long-range TFIMs, and the infinite-time correlation length of the integrable nearest-neighbor TFIM when quenched to the critical point. For the DQPT, we show that the order parameters can be efficiently simulated with surprisingly heavy truncation of the MPS bond dimension. This can be used to reliably extract critical properties of the phase transition, including critical exponents, even when the full many-body state is not simulated with high fidelity. The long-time correlation length near the critical point is more sensitive to the full many-body state fidelity, and generally requires a large bond dimension MPS. Nonetheless, we find that this can still be efficiently simulated with strongly truncated MPS because it can be extracted from the short-time behavior of the dynamics where entanglement is low. Our results demonstrate that while accurate calculation of the full many-body state (microstate) is typically intractable due to the volume-law growth of entanglement, a precise specification of an exact microstate may not be required when simulating phases of matter of many-body systems (macrostates). We also study the tractability of simulation using truncated MPS based on quantum chaos and equilibration in the models. We find a counterintuitive inverse relationship, whereby local expectation values are most easily approximated for chaotic systems whose exact many-body state is most intractable. △ Less

Submitted 23 October, 2023; v1 submitted 12 October, 2023; originally announced October 2023.

Comments: 6 sections, 4 appendices, 19 figures

Group-theoretic error mitigation enabled by classical shadows and symmetries

Authors: Andrew Zhao, Akimasa Miyake

Abstract: Estimating expectation values is a key subroutine in quantum algorithms. Near-term implementations face two major challenges: a limited number of samples required to learn a large collection of observables, and the accumulation of errors in devices without quantum error correction. To address these challenges simultaneously, we develop a quantum error-mitigation strategy called ``symmetry-adjusted… ▽ More Estimating expectation values is a key subroutine in quantum algorithms. Near-term implementations face two major challenges: a limited number of samples required to learn a large collection of observables, and the accumulation of errors in devices without quantum error correction. To address these challenges simultaneously, we develop a quantum error-mitigation strategy called ``symmetry-adjusted classical shadows,'' by adjusting classical-shadow tomography according to how symmetries are corrupted by device errors. As a concrete example, we highlight global $\mathrm{U(1)}$ symmetry, which manifests in fermions as particle number and in spins as total magnetization, and illustrate their group-theoretic unification with respective classical-shadow protocols. We establish rigorous sampling bounds under readout errors obeying minimal assumptions, and perform numerical experiments with a more comprehensive model of gate-level errors derived from existing quantum processors. Our results reveal symmetry-adjusted classical shadows as a low-cost strategy to mitigate errors from noisy quantum experiments in the ubiquitous presence of symmetry. △ Less

Submitted 14 June, 2024; v1 submitted 4 October, 2023; originally announced October 2023.

Comments: 24+28 pages, 9+3 figures. Reflects final version published in npj Quantum Information. Open-source code available at https://github.com/zhao-andrew/symmetry-adjusted-classical-shadows

Journal ref: npj Quantum Inf. 10, 57 (2024)

Hardness results for decoding the surface code with Pauli noise

Authors: Alex Fischer, Akimasa Miyake

Abstract: Real quantum computers will be subject to complicated, qubit-dependent noise, instead of simple noise such as depolarizing noise with the same strength for all qubits. We can do quantum error correction more effectively if our decoding algorithms take into account this prior information about the specific noise present. This motivates us to consider the complexity of surface code decoding where th… ▽ More Real quantum computers will be subject to complicated, qubit-dependent noise, instead of simple noise such as depolarizing noise with the same strength for all qubits. We can do quantum error correction more effectively if our decoding algorithms take into account this prior information about the specific noise present. This motivates us to consider the complexity of surface code decoding where the input to the decoding problem is not only the syndrome-measurement results, but also a noise model in the form of probabilities of single-qubit Pauli errors for every qubit. In this setting, we show that quantum maximum likelihood decoding (QMLD) and degenerate quantum maximum likelihood decoding (DQMLD) for the surface code are NP-hard and #P-hard, respectively. We reduce directly from SAT for QMLD, and from #SAT for DQMLD, by showing how to transform a boolean formula into a qubit-dependent Pauli noise model and set of syndromes that encode the satisfiability properties of the formula. We also give hardness of approximation results for QMLD and DQMLD. These are worst-case hardness results that do not contradict the empirical fact that many efficient surface code decoders are correct in the average case (i.e., for most sets of syndromes and for most reasonable noise models). These hardness results are nicely analogous with the known hardness results for QMLD and DQMLD for arbitrary stabilizer codes with independent $X$ and $Z$ noise. △ Less

Submitted 5 March, 2024; v1 submitted 19 September, 2023; originally announced September 2023.

Comments: 44 pages, 21 figures. 29 pages, 13 figures in main text. This version includes minor improvements to explanations, more standardized terminology, and minor extensions of the results in Appendices C and D

Optimizing one-axis twists for variational Bayesian quantum metrology

Authors: Tyler G. Thurtell, Akimasa Miyake

Abstract: Quantum metrology and sensing seek advantage in estimating an unknown parameter of some quantum state or channel, using entanglement such as spin squeezing produced by one-axis twists or other quantum resources. In particular, qubit phase estimation, or rotation sensing, appears as a ubiquitous problem with applications to electric field sensing, magnetometry, atomic clocks, and gyroscopes. By ado… ▽ More Quantum metrology and sensing seek advantage in estimating an unknown parameter of some quantum state or channel, using entanglement such as spin squeezing produced by one-axis twists or other quantum resources. In particular, qubit phase estimation, or rotation sensing, appears as a ubiquitous problem with applications to electric field sensing, magnetometry, atomic clocks, and gyroscopes. By adopting the Bayesian formalism to the phase estimation problem to account for limited initial knowledge about the value of the phase, we formulate variational metrology and treat the state preparation (or encoding) and measurement (or decoding) procedures as parameterized quantum circuits. It is important to understand how effective various parametrized protocols are as well as how robust they are to the effects of complex noise such as spatially correlated noise. First, we propose a new family of parametrized encoding and decoding protocols called arbitrary-axis twist ansatzes, and show that it can lead to a substantial reduction in the number of one-axis twists needed to achieve a target estimation error. Furthermore, we demonstrate that the estimation error associated with these strategies decreases with system size in a faster manner than classical (or no-twists) protocols, even in the less-explored regimes where the prior information is limited. Last, using a polynomial-size tensor network algorithm, we numerically analyze practical variational metrology beyond the symmetric subspace of a collective spin, and find that quantum advantage persists for the arbitrary-axis twist ansatzes with a few one-axis twists and smaller total twisting angles for practically relevant noise levels. △ Less

Submitted 28 May, 2024; v1 submitted 23 December, 2022; originally announced December 2022.

Comments: 20 pages, 11 figures

Journal ref: Phys. Rev. Research 6, 023179 (2024)

Quantum algorithms for classical Boolean functions via adaptive measurements: Exponential reductions in space-time resources

Authors: Austin K. Daniel, Akimasa Miyake

Abstract: The limited computational power of constant-depth quantum circuits can be boosted by adapting future gates according to the outcomes of mid-circuit measurements. We formulate computation of a variety of Boolean functions in the framework of adaptive measurement-based quantum computation using a cluster state resource and a classical side-processor that can add bits modulo 2, so-called $l2$-MBQC. O… ▽ More The limited computational power of constant-depth quantum circuits can be boosted by adapting future gates according to the outcomes of mid-circuit measurements. We formulate computation of a variety of Boolean functions in the framework of adaptive measurement-based quantum computation using a cluster state resource and a classical side-processor that can add bits modulo 2, so-called $l2$-MBQC. Our adaptive approach overcomes a known challenge that computing these functions in the nonadaptive setting requires a resource state that is exponentially large in the size of the computational input. In particular, we construct adaptive $l2$-MBQC algorithms based on the quantum signal processing technique that compute the mod-$p$ functions with the best known scaling in the space-time resources (i.e., qubit count, quantum circuit depth, classical memory size, and number of calls to the side-processor). As the subject is diverse and has a long history, the paper includes reviews of several previously constructed algorithms and recasts them as adaptive $l2$-MBQCs using cluster state resources. Our results constitute an alternative proof of an old theorem regarding an oracular separation between the power of constant-depth quantum circuits and constant-depth classical circuits with unbounded fan-in NAND and mod-$p$ gates for any prime $p$. △ Less

Submitted 2 November, 2022; originally announced November 2022.

Comments: 15 + 14 pages, 4 figures

Quantum computational advantage attested by nonlocal games with the cyclic cluster state

Authors: Austin K. Daniel, Yinyue Zhu, C. Huerta Alderete, Vikas Buchemmavari, Alaina M. Green, Nhung H. Nguyen, Tyler G. Thurtell, Andrew Zhao, Norbert M. Linke, Akimasa Miyake

Abstract: We propose a set of Bell-type nonlocal games that can be used to prove an unconditional quantum advantage in an objective and hardware-agnostic manner. In these games, the circuit depth needed to prepare a cyclic cluster state and measure a subset of its Pauli stabilizers on a quantum computer is compared to that of classical Boolean circuits with the same, nearest-neighboring gate connectivity. U… ▽ More We propose a set of Bell-type nonlocal games that can be used to prove an unconditional quantum advantage in an objective and hardware-agnostic manner. In these games, the circuit depth needed to prepare a cyclic cluster state and measure a subset of its Pauli stabilizers on a quantum computer is compared to that of classical Boolean circuits with the same, nearest-neighboring gate connectivity. Using a circuit-based trapped-ion quantum computer, we prepare and measure a six-qubit cyclic cluster state with an overall fidelity of 60.6% and 66.4%, before and after correcting for measurement-readout errors, respectively. Our experimental results indicate that while this fidelity readily passes conventional (or depth-0) Bell bounds for local hidden-variable models, it is on the cusp of demonstrating a higher probability of success than what is possible by depth-1 classical circuits. Our games offer a practical and scalable set of quantitative benchmarks for quantum computers in the pre-fault-tolerant regime as the number of qubits available increases. △ Less

Submitted 26 July, 2022; v1 submitted 8 October, 2021; originally announced October 2021.

Comments: Published in Physical Review Research, 12 + 9 pages, 4 figures, 3 tables

Journal ref: Phys. Rev. Research 4, 033068 (2022)

Fermionic partial tomography via classical shadows

Authors: Andrew Zhao, Nicholas C. Rubin, Akimasa Miyake

Abstract: We propose a tomographic protocol for estimating any $ k $-body reduced density matrix ($ k $-RDM) of an $ n $-mode fermionic state, a ubiquitous step in near-term quantum algorithms for simulating many-body physics, chemistry, and materials. Our approach extends the framework of classical shadows, a randomized approach to learning a collection of quantum-state properties, to the fermionic setting… ▽ More We propose a tomographic protocol for estimating any $ k $-body reduced density matrix ($ k $-RDM) of an $ n $-mode fermionic state, a ubiquitous step in near-term quantum algorithms for simulating many-body physics, chemistry, and materials. Our approach extends the framework of classical shadows, a randomized approach to learning a collection of quantum-state properties, to the fermionic setting. Our sampling protocol uses randomized measurement settings generated by a discrete group of fermionic Gaussian unitaries, implementable with linear-depth circuits. We prove that estimating all $ k $-RDM elements to additive precision $ \varepsilon $ requires on the order of $ \binom{n}{k} k^{3/2} \log(n) / \varepsilon^2 $ repeated state preparations, which is optimal up to the logarithmic factor. Furthermore, numerical calculations show that our protocol offers a substantial improvement in constant overheads for $ k \geq 2 $, as compared to prior deterministic strategies. We also adapt our method to particle-number symmetry, wherein the additional circuit depth may be halved at the cost of roughly 2-5 times more repetitions. △ Less

Submitted 3 October, 2022; v1 submitted 30 October, 2020; originally announced October 2020.

Comments: 5+26 pages, 5 figures, 1 table. The SM has been revised to replace an incorrect variance expression for arbitrary observables with an upper bound instead. The results presented in the main text are unaffected by this revision

Journal ref: Phys. Rev. Lett. 127, 110504 (2021)

Geometrical Hall effect and momentum-space Berry curvature from spin-reversed band pairs

Authors: Max Hirschberger, Yusuke Nomura, Hiroyuki Mitamura, Atsushi Miyake, Takashi Koretsune, Yoshio Kaneko, Leonie Spitz, Yasujiro Taguchi, Akira Matsuo, Koichi Kindo, Ryotaro Arita, Masashi Tokunaga, Yoshinori Tokura

Abstract: When nanometric, noncoplanar spin textures with scalar spin chirality (SSC) are coupled to itinerant electrons, they endow the quasiparticle wavefunctions with a gauge field, termed Berry curvature, in a way that bears analogy to relativistic spin-orbit coupling (SOC). The resulting deflection of moving charge carriers is termed geometrical (or topological) Hall effect. Previous experimental studi… ▽ More When nanometric, noncoplanar spin textures with scalar spin chirality (SSC) are coupled to itinerant electrons, they endow the quasiparticle wavefunctions with a gauge field, termed Berry curvature, in a way that bears analogy to relativistic spin-orbit coupling (SOC). The resulting deflection of moving charge carriers is termed geometrical (or topological) Hall effect. Previous experimental studies modeled this signal as a real-space motion of wavepackets under the influence of a quantum-mechanical phase. In contrast, we here compare the modification of Bloch waves themselves, and of their energy dispersion, due to SOC and SSC. Using the canted pyrochlore ferromagnet Nd$_2$Mo$_2$O$_7$ as a model compound, our transport experiments and first-principle calculations show that SOC impartially mixes electronic bands with equal or opposite spin, while SSC is much more effective for opposite spin band pairs. △ Less

Submitted 27 January, 2021; v1 submitted 19 October, 2020; originally announced October 2020.

Comments: 14 pages, 4 figures

Journal ref: Phys. Rev. B 103, 041111 (2021)

Quantum computational advantage with string order parameters of 1D symmetry-protected topological order

Authors: Austin K. Daniel, Akimasa Miyake

Abstract: Nonlocal games with advantageous quantum strategies give arguably the most fundamental demonstration of the power of quantum resources over their classical counterparts. Recently, certain multiplayer generalizations of nonlocal games have been used to prove unconditional separations between small computational complexity classes of shallow-depth circuits. Here, we show advantageous strategies for… ▽ More Nonlocal games with advantageous quantum strategies give arguably the most fundamental demonstration of the power of quantum resources over their classical counterparts. Recently, certain multiplayer generalizations of nonlocal games have been used to prove unconditional separations between small computational complexity classes of shallow-depth circuits. Here, we show advantageous strategies for these nonlocal games for generic ground states of one-dimensional symmetry-protected topological orders (SPTOs), when a discrete invariant of a SPTO known as a twist phase is nontrivial and -1. Our construction demonstrates that sufficiently large string order parameters of such SPTOs are indicative of globally constrained correlations useful for the unconditional computational separation. △ Less

Submitted 29 July, 2021; v1 submitted 31 July, 2020; originally announced July 2020.

Comments: Accepted to PRL; 5 pages + 13 pages supplemental material, 1 + 1 figures

Journal ref: Phys. Rev. Lett. 126, 090505 (2021)

Measurement reduction in variational quantum algorithms

Authors: Andrew Zhao, Andrew Tranter, William M. Kirby, Shu Fay Ung, Akimasa Miyake, Peter Love

Abstract: Variational quantum algorithms are promising applications of noisy intermediate-scale quantum (NISQ) computers. These algorithms consist of a number of separate prepare-and-measure experiments that estimate terms in a Hamiltonian. The number of terms can become overwhelmingly large for problems at the scale of NISQ hardware that may soon be available. We approach this problem from the perspective… ▽ More Variational quantum algorithms are promising applications of noisy intermediate-scale quantum (NISQ) computers. These algorithms consist of a number of separate prepare-and-measure experiments that estimate terms in a Hamiltonian. The number of terms can become overwhelmingly large for problems at the scale of NISQ hardware that may soon be available. We approach this problem from the perspective of contextuality, and use unitary partitioning (developed independently by Izmaylov et al. [J. Chem. Theory Comput. 16, 190 (2020)]) to define variational quantum eigensolver procedures in which additional unitary operations are appended to the ansatz preparation to reduce the number of terms. This approach may be scaled to use all coherent resources available after ansatz preparation. We also study the use of asymmetric qubitization to implement the additional coherent operations with lower circuit depth. We investigate this technique for lattice Hamiltonians, random Pauli Hamiltonians, and electronic structure Hamiltonians. Using this technique, we find a constant factor speedup for lattice and random Pauli Hamiltonians. For electronic structure Hamiltonians, we prove that linear term reduction with respect to the number of orbitals, which has been previously observed in numerical studies, is always achievable. For systems represented on 10--30 qubits, we find that there is a reduction in the number of terms by approximately an order of magnitude. Applied to the plane-wave dual basis representation of fermionic Hamiltonians, however, unitary partitioning offers only a constant factor reduction. Finally, we show that noncontextual Hamiltonians may be reduced to effective commuting Hamiltonians using unitary partitioning. △ Less

Submitted 23 June, 2020; v1 submitted 21 August, 2019; originally announced August 2019.

Comments: 21 pages, 4 figures; revised to reflect final version appearing in PRA

Journal ref: Phys. Rev. A 101, 062322 (2020)

Computational universality of symmetry-protected topologically ordered cluster phases on 2D Archimedean lattices

Authors: Austin K. Daniel, Rafael N. Alexander, Akimasa Miyake

Abstract: What kinds of symmetry-protected topologically ordered (SPTO) ground states can be used for universal measurement-based quantum computation in a similar fashion to the 2D cluster state? 2D SPTO states are classified not only by global on-site symmetries but also by subsystem symmetries, which are fine-grained symmetries dependent on the lattice geometry. Recently, all states within so-called SPTO… ▽ More What kinds of symmetry-protected topologically ordered (SPTO) ground states can be used for universal measurement-based quantum computation in a similar fashion to the 2D cluster state? 2D SPTO states are classified not only by global on-site symmetries but also by subsystem symmetries, which are fine-grained symmetries dependent on the lattice geometry. Recently, all states within so-called SPTO cluster phases on the square and hexagonal lattices have been shown to be universal, based on the presence of subsystem symmetries and associated structures of quantum cellular automata. Motivated by this observation, we analyze the computational capability of SPTO cluster phases on all vertex-translative 2D Archimedean lattices. There are four subsystem symmetries here called ribbon, cone, fractal, and 1-form symmetries, and the former three are fundamentally in one-to-one correspondence with three classes of Clifford quantum cellular automata. We conclude that nine out of the eleven Archimedean lattices support universal cluster phases protected by one of the former three symmetries, while the remaining lattices possess 1-form symmetries and have a different capability related to error correction. △ Less

Submitted 28 January, 2020; v1 submitted 30 July, 2019; originally announced July 2019.

Comments: v2: 39 pages, 32 figures; Accepted for publication in Quantum

Journal ref: Quantum 4, 228 (2020)

Many-body-localization transition in a universal quantum circuit model

Authors: Adrian Chapman, Akimasa Miyake

Abstract: The dynamical generation of complex correlations in quantum many-body systems is of renewed interest in the context of quantum chaos, where the out-of-time-ordered (OTO) correlation function appears as a convenient measure of scrambling. To detect the the transition from scrambling to many-body localization, the latter of which has limited dynamical complexity and is often classically simulatable,… ▽ More The dynamical generation of complex correlations in quantum many-body systems is of renewed interest in the context of quantum chaos, where the out-of-time-ordered (OTO) correlation function appears as a convenient measure of scrambling. To detect the the transition from scrambling to many-body localization, the latter of which has limited dynamical complexity and is often classically simulatable, we develop both exact and approximate methods to compute OTO correlators for arbitrary universal quantum circuits. We take advantage of the map** of quantum circuits to the dynamics of interacting fermions in one dimension, as Gaussian time evolution supplemented by quartic interaction gates. In this framework, the OTO correlator can be calculated exactly as a superposition of exponentially many Gaussian-fermionic trajectories in the number of interaction gates. We develop a variationally-optimized, Gaussian approximation to the spatial propagation of an initially-local operator by restriction to the fastest-traveling fermionic modes, in a similar spirit as light-front computational methods in quantum field theory. We demonstrate that our method can detect the many-body localization transitions of generally time-dependent dynamics without the need for perturbatively weak interactions. △ Less

Submitted 24 July, 2018; originally announced July 2018.

Comments: 21 pages, 11 figures, 4 appendices

Changing the circuit-depth complexity of measurement-based quantum computation with hypergraph states

Authors: Mariami Gachechiladze, Otfried Gühne, Akimasa Miyake

Abstract: While the circuit model of quantum computation defines its logical depth or "computational time" in terms of temporal gate sequences, the measurement-based model could allow totally different temporal ordering and parallelization of logical gates. By develo** techniques to analyze Pauli measurements on multi-qubit hypergraph states generated by the Controlled-Controlled-Z (CCZ) gates, we introdu… ▽ More While the circuit model of quantum computation defines its logical depth or "computational time" in terms of temporal gate sequences, the measurement-based model could allow totally different temporal ordering and parallelization of logical gates. By develo** techniques to analyze Pauli measurements on multi-qubit hypergraph states generated by the Controlled-Controlled-Z (CCZ) gates, we introduce a deterministic scheme of universal measurement-based computation. In contrast to the cluster-state scheme, where the Clifford gates are parallelizable, our scheme enjoys massive parallelization of CCZ and SWAP gates, so that the computational depth grows with the number of global applications of Hadamard gates, or, in other words, with the number of changing computational bases. A logarithmic-depth implementation of an N-times Controlled-Z gate illustrates a novel trade-off between space and time complexity. △ Less

Submitted 11 May, 2019; v1 submitted 30 May, 2018; originally announced May 2018.

Comments: 16 pages, 12 figures,

Journal ref: Phys. Rev. A 99, 052304 (2019)

Quantum computational supremacy in the sampling of bosonic random walkers on a one-dimensional lattice

Authors: Gopikrishnan Muraleedharan, Akimasa Miyake, Ivan H. Deutsch

Abstract: We study the sampling complexity of a probability distribution associated with an ensemble ofidentical noninteracting bosons undergoing a quantum random walk on a one-dimensional lattice.With uniform nearest-neighbor hop** we show that one can efficiently sample the distribution fortimes logarithmic in the size of the system, while for longer times there is no known efficient samplingalgorithm.… ▽ More We study the sampling complexity of a probability distribution associated with an ensemble ofidentical noninteracting bosons undergoing a quantum random walk on a one-dimensional lattice.With uniform nearest-neighbor hop** we show that one can efficiently sample the distribution fortimes logarithmic in the size of the system, while for longer times there is no known efficient samplingalgorithm. With time-dependent hop** and optimal control, we design the time evolution toapproximate an arbitrary Haar-random unitary map analogous to that designed for photons in alinear optical network. This approach highlights a route to generating quantum complexity byoptimal control only of a single-body unitary matrix. We study this in the context of two potentialexperimental realizations: a spinor optical lattice of ultracold atoms and a quantum gas microscope. △ Less

Submitted 14 May, 2019; v1 submitted 4 May, 2018; originally announced May 2018.

Comments: 10+3 pages, 6 figures: Published version

Journal ref: New J. Phys. 21 055003 (2019)

Classical simulation of quantum circuits by dynamical localization: analytic results for Pauli-observable scrambling in time-dependent disorder

Authors: Adrian Chapman, Akimasa Miyake

Abstract: We extend the concept of Anderson localization, the confinement of quantum information in a spatially irregular potential, to quantum circuits. Considering matchgate circuits, generated by time-dependent spin-1/2 XY Hamiltonians, we give an analytic formula for the out-of-time-ordered correlator of a local observable, and show that it can be efficiently evaluated by a classical computer even when… ▽ More We extend the concept of Anderson localization, the confinement of quantum information in a spatially irregular potential, to quantum circuits. Considering matchgate circuits, generated by time-dependent spin-1/2 XY Hamiltonians, we give an analytic formula for the out-of-time-ordered correlator of a local observable, and show that it can be efficiently evaluated by a classical computer even when the explicit Heisenberg time evolution cannot. Because this quantity bounds the average error incurred by truncating the evolution to a spatially limited region, we demonstrate dynamical localization as a means for classically simulating quantum computation and give examples of localized phases under certain spatio-temporal disordered Hamiltonians. △ Less

Submitted 9 May, 2018; v1 submitted 14 April, 2017; originally announced April 2017.

Comments: Major revision, including improvement of presentation and simplification of Theorem 1; results unchanged. Main text: 5 pages (including references), 2 figures, 1 table. Supplementary material: 12 pages, 1 figure

Journal ref: Phys. Rev. A 98, 012309 (2018)

Quantum supremacy in constant-time measurement-based computation: A unified architecture for sampling and verification

Authors: Jacob Miller, Stephen Sanders, Akimasa Miyake

Abstract: While quantum speed-up in solving certain decision problems by a fault-tolerant universal quantum computer has been promised, a timely research interest includes how far one can reduce the resource requirement to demonstrate a provable advantage in quantum devices without demanding quantum error correction, which is crucial for prolonging the coherence time of qubits. We propose a model device mad… ▽ More While quantum speed-up in solving certain decision problems by a fault-tolerant universal quantum computer has been promised, a timely research interest includes how far one can reduce the resource requirement to demonstrate a provable advantage in quantum devices without demanding quantum error correction, which is crucial for prolonging the coherence time of qubits. We propose a model device made of locally-interacting multiple qubits, designed such that simultaneous single-qubit measurements on it can output probability distributions whose average-case sampling is classically intractable, under similar assumptions as the sampling of non-interacting bosons and instantaneous quantum circuits. Notably, in contrast to these previous unitary-based realizations, our measurement-based implementation has two distinctive features. (i) Our implementation involves no adaptation of measurement bases, leading output probability distributions to be generated in constant time, independent of the system size. Thus, it could be implemented in principle without quantum error correction. (ii) Verifying the classical intractability of our sampling is done by changing the Pauli measurement bases only at certain output qubits. Our usage of random commuting quantum circuits in place of computationally universal circuits allows a unique unification of sampling and verification, so that they require the same physical resource requirements in contrast to the more demanding verification protocols seen elsewhere in the literature. △ Less

Submitted 28 December, 2017; v1 submitted 31 March, 2017; originally announced March 2017.

Comments: 15 pages, 2 figures. v2: published version

Journal ref: Phys. Rev. A 96, 062320 (2017)

Latent Computational Complexity of Symmetry-Protected Topological Order with Fractional Symmetry

Authors: Jacob Miller, Akimasa Miyake

Abstract: An emerging insight is that ground states of symmetry-protected topological orders (SPTO's) possess latent computational complexity in terms of their many-body entanglement. By introducing a fractional symmetry of SPTO, which requires the invariance under 3-colorable symmetries of a lattice, we prove that every renormalization fixed-point state of 2D $(\mathbb{Z}_2)^m$ SPTO with fractional symmetr… ▽ More An emerging insight is that ground states of symmetry-protected topological orders (SPTO's) possess latent computational complexity in terms of their many-body entanglement. By introducing a fractional symmetry of SPTO, which requires the invariance under 3-colorable symmetries of a lattice, we prove that every renormalization fixed-point state of 2D $(\mathbb{Z}_2)^m$ SPTO with fractional symmetry can be utilized for universal quantum computation using only Pauli measurements, as long as it belongs to a nontrivial 2D SPTO phase. Our infinite family of fixed-point states may serve as a base model to demonstrate the idea of a "quantum computational phase" of matter, whose states share universal computational complexity ubiquitously. △ Less

Submitted 1 May, 2018; v1 submitted 23 December, 2016; originally announced December 2016.

Comments: 17 pages, 4 figures. v2: published version, contains a new appendix dealing with renormalization methods

Journal ref: Phys. Rev. Lett. 120, 170503 (2018)

Robust symmetry-protected metrology with the Haldane phase

Authors: Stephen D. Bartlett, Gavin K. Brennen, Akimasa Miyake

Abstract: We propose a metrology scheme that is made robust to a wide range of noise processes by using the passive, error-preventing properties of symmetry-protected topological phases. The so-called fractionalized edge mode of an antiferromagnetic Heisenberg spin-1 chain in a rotationally-symmetric Haldane phase can be used to measure the direction of an unknown electric field, by exploiting the way in wh… ▽ More We propose a metrology scheme that is made robust to a wide range of noise processes by using the passive, error-preventing properties of symmetry-protected topological phases. The so-called fractionalized edge mode of an antiferromagnetic Heisenberg spin-1 chain in a rotationally-symmetric Haldane phase can be used to measure the direction of an unknown electric field, by exploiting the way in which the field direction reduces the symmetry of the chain. Specifically, the direction of the field is registered in the holonomy under an adiabatic sensing protocol, and the degenerate fractionalized edge mode is protected through this process by the remaining reduced symmetry. We illustrate the scheme with respect to a potential realization by Rydberg dressed atoms. △ Less

Submitted 22 November, 2017; v1 submitted 29 August, 2016; originally announced August 2016.

Comments: 6 pages, 2 figures; v3 published version

Journal ref: Quantum Sci. Technol. 3, 014010 (2018)

Hierarchy of universal entanglement in 2D measurement-based quantum computation

Authors: Jacob Miller, Akimasa Miyake

Abstract: Measurement-based quantum computation (MQC) is a paradigm for studying quantum computation using many-body entanglement and single-qubit measurements. While MQC has inspired wide-ranging discoveries throughout quantum information, our understanding of the general principles underlying MQC seems to be biased by its historical reliance upon the archetypal 2D cluster state. Here, we utilize recent ad… ▽ More Measurement-based quantum computation (MQC) is a paradigm for studying quantum computation using many-body entanglement and single-qubit measurements. While MQC has inspired wide-ranging discoveries throughout quantum information, our understanding of the general principles underlying MQC seems to be biased by its historical reliance upon the archetypal 2D cluster state. Here, we utilize recent advances in the subject of symmetry-protected topological order (SPTO) to introduce a novel MQC resource state, whose physical and computational behavior differs fundamentally from the cluster state. We show that, in sharp contrast to the cluster state, our state enables universal quantum computation using only measurements of single-qubit Pauli X, Y, and Z operators. This novel computational feature is related to the "genuine" 2D SPTO possessed by our state, and which is absent in the cluster state. Our concrete connection between the latent computational complexity of many-body systems and macroscopic quantum orders may find applications in quantum many-body simulation for benchmarking classically intractable complexity. △ Less

Submitted 23 November, 2016; v1 submitted 11 August, 2015; originally announced August 2015.

Comments: 15 pages, 11 figures. v2: new title and improved presentation of results; v3: major revision, with a strengthened main theorem 2 demonstrating the Pauli universality of our resource state; v4: published version

Journal ref: npj Quantum Information 2, 16036 (2016)

How an autonomous quantum Maxwell demon can harness correlated information

Authors: Adrian Chapman, Akimasa Miyake

Abstract: We study an autonomous quantum system which exhibits refrigeration under an information-work trade-off like a Maxwell demon. The system becomes correlated as a single "demon" qubit interacts sequentially with memory qubits while in contact with two heat reservoirs of different temperatures. Using strong subadditivity of the von Neumann entropy, we derive a global Clausius inequality to show thermo… ▽ More We study an autonomous quantum system which exhibits refrigeration under an information-work trade-off like a Maxwell demon. The system becomes correlated as a single "demon" qubit interacts sequentially with memory qubits while in contact with two heat reservoirs of different temperatures. Using strong subadditivity of the von Neumann entropy, we derive a global Clausius inequality to show thermodynamic advantages from access to correlated information. It is demonstrated, in a matrix product density operator formalism, that our demon can simultaneously realize refrigeration against a thermal gradient and erasure of information from its memory, which is impossible without correlations. The phenomenon can be even enhanced by the presence of quantum coherence. △ Less

Submitted 6 January, 2016; v1 submitted 30 June, 2015; originally announced June 2015.

Comments: 14 pages, 5 figures. New title, improved figures, additional explanation, updated references, and other minor changes; close to published version

Journal ref: Phys. Rev. E 92, 062125 (2015)

Resource quality of a symmetry-protected topologically ordered phase for quantum computation

Authors: Jacob Miller, Akimasa Miyake

Abstract: We investigate entanglement naturally present in the 1D topologically ordered phase protected with the on-site symmetry group of an octahedron as a potential resource for teleportation-based quantum computation. We show that, as long as certain characteristic lengths are finite, all its ground states have the capability to implement any unit-fidelity one-qubit gate operation asymptotically as a ke… ▽ More We investigate entanglement naturally present in the 1D topologically ordered phase protected with the on-site symmetry group of an octahedron as a potential resource for teleportation-based quantum computation. We show that, as long as certain characteristic lengths are finite, all its ground states have the capability to implement any unit-fidelity one-qubit gate operation asymptotically as a key computational building block. This feature is intrinsic to the entire phase, in that perfect gate fidelity coincides with perfect string order parameters under a state-insensitive renormalization procedure. Our approach may pave the way toward a novel program to classify quantum many-body systems based on their operational use for quantum information processing. △ Less

Submitted 27 March, 2015; v1 submitted 22 September, 2014; originally announced September 2014.

Comments: 10 pages, 3 figures. v2: published version

Journal ref: Phys. Rev. Lett. 114, 120506 (2015)

Jordan-Wigner formalism for arbitrary 2-input 2-output matchgates and their classical simulation

Authors: Richard Jozsa, Akimasa Miyake, Sergii Strelchuk

Abstract: In Valiant's matchgate theory, 2-input 2-output matchgates are 4x4 matrices that satisfy ten so-called matchgate identities. We prove that the set of all such matchgates (including non-unitary and non-invertible ones) coincides with the topological closure of the set of all matrices obtained as exponentials of linear combinations of the 2-qubit Jordan-Wigner (JW) operators and their quadratic prod… ▽ More In Valiant's matchgate theory, 2-input 2-output matchgates are 4x4 matrices that satisfy ten so-called matchgate identities. We prove that the set of all such matchgates (including non-unitary and non-invertible ones) coincides with the topological closure of the set of all matrices obtained as exponentials of linear combinations of the 2-qubit Jordan-Wigner (JW) operators and their quadratic products, extending a previous result of Knill. In Valiant's theory, outputs of matchgate circuits can be classically computed in poly-time. Via the JW formalism, Terhal & DiVincenzo and Knill established a relation of a unitary class of these circuits to the efficient simulation of non-interacting fermions. We describe how the JW formalism may be used to give an efficient simulation for all cases in Valiant's simulation theorem, which in particular includes the case of non-interacting fermions generalised to allow arbitrary 1-qubit gates on the first line at any stage in the circuit. Finally we give an exposition of how these simulation results can be alternatively understood from some basic Lie algebra theory, in terms of a formalism introduced by Somma et al. △ Less

Submitted 16 August, 2015; v1 submitted 13 November, 2013; originally announced November 2013.

Comments: 6 pages; v2: 16 pages. New author added. New title and abstract. Content much expanded with new results

Journal ref: Quant. Inform. Comp. vol 15, p0541-0556 (2015)

Entropic time endowed in quantum correlations

Authors: Akimasa Miyake

Abstract: A possible mechanism of time is formulated by develo** an idea of time replaced by quantum correlations, with the aid of modern quantum information theory. We invent a microscopic model, where correlations of a closed system are steadily read out as internal, quantum clocks that define time via their relative phases. The model could realize emergent time evolutions which exhibit unitarity of qua… ▽ More A possible mechanism of time is formulated by develo** an idea of time replaced by quantum correlations, with the aid of modern quantum information theory. We invent a microscopic model, where correlations of a closed system are steadily read out as internal, quantum clocks that define time via their relative phases. The model could realize emergent time evolutions which exhibit unitarity of quantum theory, while its underlying process is driven entropically. The key quantity turns out to be the amount of accessible information about the clocks recording past events. By postulating the so-called data-processing inequality (or strong subadditivity of entropy) as a fundamental, physical limitation about how information decays, we propose that conditional entropy about this past information should be constrained to be a positive constant. The proposal implies a holographic property of this conditional entropy in an analogous manner with the area law of entanglement entropy. △ Less

Submitted 11 November, 2011; originally announced November 2011.

Comments: 8 pages, 2 figures, 1 bit of missing information

Holonomic quantum computing in symmetry-protected ground states of spin chains

Authors: Joseph M. Renes, Akimasa Miyake, Gavin K. Brennen, Stephen D. Bartlett

Abstract: While solid-state devices offer naturally reliable hardware for modern classical computers, thus far quantum information processors resemble vacuum tube computers in being neither reliable nor scalable. Strongly correlated many body states stabilized in topologically ordered matter offer the possibility of naturally fault tolerant computing, but are both challenging to engineer and coherently cont… ▽ More While solid-state devices offer naturally reliable hardware for modern classical computers, thus far quantum information processors resemble vacuum tube computers in being neither reliable nor scalable. Strongly correlated many body states stabilized in topologically ordered matter offer the possibility of naturally fault tolerant computing, but are both challenging to engineer and coherently control and cannot be easily adapted to different physical platforms. We propose an architecture which achieves some of the robustness properties of topological models but with a drastically simpler construction. Quantum information is stored in the symmetry-protected degenerate ground states of spin-1 chains, while quantum gates are performed by adiabatic non-Abelian holonomies using only single-site fields and nearest-neighbor couplings. Gate operations respect the symmetry, and so inherit some protection from noise and disorder from the symmetry-protected ground states. △ Less

Submitted 24 February, 2013; v1 submitted 25 March, 2011; originally announced March 2011.

Comments: 19 pages, 4 figures. v2: published version

Journal ref: New J. Phys. 15, 025020 (2013)

Quantum computational capability of a 2D valence bond solid phase

Authors: Akimasa Miyake

Abstract: Quantum phases of naturally-occurring systems exhibit distinctive collective phenomena as manifestation of their many-body correlations, in contrast to our persistent technological challenge to engineer at will such strong correlations artificially. Here we show theoretically that quantum correlations exhibited in the two-dimensional valence bond solid phase of a quantum antiferromagnet, modeled b… ▽ More Quantum phases of naturally-occurring systems exhibit distinctive collective phenomena as manifestation of their many-body correlations, in contrast to our persistent technological challenge to engineer at will such strong correlations artificially. Here we show theoretically that quantum correlations exhibited in the two-dimensional valence bond solid phase of a quantum antiferromagnet, modeled by Affleck, Kennedy, Lieb, and Tasaki as a precursor of spin liquids and topological orders, are sufficiently complex yet structured enough to simulate universal quantum computation when every single spin can be measured individually. This unveils that an intrinsic complexity of naturally-occurring 2D quantum systems -- which has been a long-standing challenge for traditional computers -- could be tamed as a computationally valuable resource, even if we are limited not to create newly entanglement during computation. Our constructive protocol leverages a novel way to herald the correlations suitable for deterministic quantum computation through a random sampling, and may be extensible to other ground states of various 2D valence bond phases beyond the AKLT state. △ Less

Submitted 30 May, 2011; v1 submitted 17 September, 2010; originally announced September 2010.

Comments: 19 pages, 3 figures; final published version, submitted to the journal on 23 Sep 2010. The article does not assume familiarity with quantum computation

Journal ref: Ann. Phys. 326, 1656-1671 (2011)

Quantum computational renormalization in the Haldane phase

Authors: Stephen D. Bartlett, Gavin K. Brennen, Akimasa Miyake, Joseph M. Renes

Abstract: Single-spin measurements on the ground state of an interacting spin lattice can be used to perform a quantum computation. We show how such measurements can mimic renormalization group transformations and remove the short-ranged variations of the state that can reduce the fidelity of a computation. This suggests that the quantum computational ability of a spin lattice could be a robust property of… ▽ More Single-spin measurements on the ground state of an interacting spin lattice can be used to perform a quantum computation. We show how such measurements can mimic renormalization group transformations and remove the short-ranged variations of the state that can reduce the fidelity of a computation. This suggests that the quantum computational ability of a spin lattice could be a robust property of a quantum phase. We illustrate our idea with the ground state of a spin-1 chain, which can serve as a quantum computational wire not only at the Affleck-Kennedy-Lieb-Tasaki point, but within the rotationally-invariant Haldane phase. △ Less

Submitted 10 September, 2010; v1 submitted 27 April, 2010; originally announced April 2010.

Comments: v2: 4 pages, 3 figures; improved description of buffering scheme and connection to string operators. v3: final published version

Journal ref: Phys.Rev.Lett.105:110502,2010

Universal quantum computer from a quantum magnet

Authors: Jianming Cai, Akimasa Miyake, Wolfgang Dür, Hans J. Briegel

Abstract: We show that a local Hamiltonian of spin-3/2 particles with only two-body nearest-neighbor Affleck-Kennedy-Lieb-Tasaki and exchange-type interactions has an unique ground state, which can be used to implement universal quantum computation merely with single-spin measurements. We prove that the Hamiltonian is gapped, independent of the system size. Our result provides a further step towards utilizi… ▽ More We show that a local Hamiltonian of spin-3/2 particles with only two-body nearest-neighbor Affleck-Kennedy-Lieb-Tasaki and exchange-type interactions has an unique ground state, which can be used to implement universal quantum computation merely with single-spin measurements. We prove that the Hamiltonian is gapped, independent of the system size. Our result provides a further step towards utilizing systems with condensed matter-type interactions for measurement-based quantum computation. △ Less

Submitted 16 November, 2010; v1 submitted 12 April, 2010; originally announced April 2010.

Comments: 5 pages, 3 figures

Journal ref: Phys. Rev. A 82, 052309 (2010)

Quantum computation on the edge of a symmetry-protected topological order

Authors: Akimasa Miyake

Abstract: We elaborate the idea of quantum computation through measuring the correlation of a gapped ground state, while the bulk Hamiltonian is utilized to stabilize the resource. A simple computational primitive, by pulling out a single spin adiabatically from the bulk followed by its measurement, is shown to make any ground state of the one-dimensional isotropic Haldane phase useful ubiquitously as a qua… ▽ More We elaborate the idea of quantum computation through measuring the correlation of a gapped ground state, while the bulk Hamiltonian is utilized to stabilize the resource. A simple computational primitive, by pulling out a single spin adiabatically from the bulk followed by its measurement, is shown to make any ground state of the one-dimensional isotropic Haldane phase useful ubiquitously as a quantum logical wire. The primitive is compatible with certain discrete symmetries that protect this topological order, and the antiferromagnetic Heisenberg spin-1 finite chain is practically available. Our approach manifests a holographic principle in that the logical information of a universal quantum computer can be written and processed perfectly on the edge state (i.e., boundary) of the system, supported by the persistent entanglement from the bulk even when the ground state and its evolution cannot be exactly analyzed. △ Less

Submitted 28 July, 2010; v1 submitted 24 March, 2010; originally announced March 2010.

Comments: 5 pages, 1 figure; the final version

Journal ref: Phys. Rev. Lett. 105, 040501 (2010)

Matchgate and space-bounded quantum computations are equivalent

Authors: Richard Jozsa, Barbara Kraus, Akimasa Miyake, John Watrous

Abstract: Matchgates are an especially multiflorous class of two-qubit nearest neighbour quantum gates, defined by a set of algebraic constraints. They occur for example in the theory of perfect matchings of graphs, non-interacting fermions, and one-dimensional spin chains. We show that the computational power of circuits of matchgates is equivalent to that of space-bounded quantum computation with unitar… ▽ More Matchgates are an especially multiflorous class of two-qubit nearest neighbour quantum gates, defined by a set of algebraic constraints. They occur for example in the theory of perfect matchings of graphs, non-interacting fermions, and one-dimensional spin chains. We show that the computational power of circuits of matchgates is equivalent to that of space-bounded quantum computation with unitary gates, with space restricted to being logarithmic in the width of the matchgate circuit. In particular, for the conventional setting of polynomial-sized (logarithmic-space generated) families of matchgate circuits, known to be classically simulatable, we characterise their power as coinciding with polynomial-time and logarithmic-space bounded universal unitary quantum computation. △ Less

Submitted 29 January, 2010; v1 submitted 11 August, 2009; originally announced August 2009.

Comments: 22 pages

Journal ref: Proc. R. Soc. A 466, 809-830 (2010)

Universal resources for approximate and stochastic measurement-based quantum computation

Authors: C. E. Mora, M. Piani, A. Miyake, M. Van den Nest, W. Dür, H. J. Briegel

Abstract: We investigate which quantum states can serve as universal resources for approximate and stochastic measurement-based quantum computation, in the sense that any quantum state can be generated from a given resource by means of single-qubit (local) operations assisted by classical communication. More precisely, we consider the approximate and stochastic generation of states, resulting e.g. from a re… ▽ More We investigate which quantum states can serve as universal resources for approximate and stochastic measurement-based quantum computation, in the sense that any quantum state can be generated from a given resource by means of single-qubit (local) operations assisted by classical communication. More precisely, we consider the approximate and stochastic generation of states, resulting e.g. from a restriction to finite measurement settings or from possible imperfections in the resources or local operations. We show that entanglement-based criteria for universality obtained for the exact, deterministic case can be lifted to the much more general approximate, stochastic case, moving from the idealized situation considered in previous works, to the practically relevant context of non-perfect state preparation. We find that any entanglement measure fulfilling some basic requirements needs to reach its maximum value on some element of an approximate, stochastic universal family of resource states, as the resource size grows. This allows us to rule out various families of states as being approximate, stochastic universal. We provide examples of resources that are efficient approximate universal, but not exact deterministic universal. We also study the robustness of universal resources for measurement-based quantum computation under realistic assumptions about the (imperfect) generation and manipulation of entangled states, giving an explicit expression for the impact that errors made in the preparation of the resource have on the possibility to use it for universal approximate and stochastic state preparation. Finally, we discuss the relation between our entanglement-based criteria and recent results regarding the uselessness of states with a high degree of geometric entanglement as universal resources. △ Less

Submitted 10 May, 2010; v1 submitted 23 April, 2009; originally announced April 2009.

Comments: 17 pages; abstract shortened with respect to the published version to respect the arXiv limit of 1,920 characters

Journal ref: Phys. Rev. A 81, 042315 (2010)

Quantum computation in correlation space and extremal entanglement

Authors: J. -M. Cai, W. Dür, M. Van den Nest, A. Miyake, H. J. Briegel

Abstract: Recently, a framework was established to systematically construct novel universal resource states for measurement-based quantum computation using techniques involving finitely correlated states. With these methods, universal states were found which are in certain ways much less entangled than the original cluster state model, and it was hence believed that with this approach many of the extremal… ▽ More Recently, a framework was established to systematically construct novel universal resource states for measurement-based quantum computation using techniques involving finitely correlated states. With these methods, universal states were found which are in certain ways much less entangled than the original cluster state model, and it was hence believed that with this approach many of the extremal entanglement features of the cluster states could be relaxed. The new resources were constructed as "computationally universal" states--i.e. they allow one to efficiently reproduce the classical output of each quantum computation--whereas the cluster states are universal in a stronger sense since they are "universal state preparators". Here we show that the new resources are universal state preparators after all, and must therefore exhibit a whole class of extremal entanglement features, similar to the cluster states. △ Less

Submitted 4 August, 2009; v1 submitted 6 February, 2009; originally announced February 2009.

Comments: 5 pages, 2 figures. Extended version with a few more details

Journal ref: Phys. Rev. Lett. 103, 050503 (2009)

Matchgates and classical simulation of quantum circuits

Authors: Richard Jozsa, Akimasa Miyake

Abstract: Let G(A,B) denote the 2-qubit gate which acts as the 1-qubit SU(2) gates A and B in the even and odd parity subspaces respectively, of two qubits. Using a Clifford algebra formalism we show that arbitrary uniform families of circuits of these gates, restricted to act only on nearest neighbour (n.n.) qubit lines, can be classically efficiently simulated. This reproduces a result originally proved… ▽ More Let G(A,B) denote the 2-qubit gate which acts as the 1-qubit SU(2) gates A and B in the even and odd parity subspaces respectively, of two qubits. Using a Clifford algebra formalism we show that arbitrary uniform families of circuits of these gates, restricted to act only on nearest neighbour (n.n.) qubit lines, can be classically efficiently simulated. This reproduces a result originally proved by Valiant using his matchgate formalism, and subsequently related by others to free fermionic physics. We further show that if the n.n. condition is slightly relaxed, to allowing the same gates to act only on n.n. and next-n.n. qubit lines, then the resulting circuits can efficiently perform universal quantum computation. From this point of view, the gap between efficient classical and quantum computational power is bridged by a very modest use of a seemingly innocuous resource (qubit swap**). We also extend the simulation result above in various ways. In particular, by exploiting properties of Clifford operations in conjunction with the Jordan-Wigner representation of a Clifford algebra, we show how one may generalise the simulation result above to provide further classes of classically efficiently simulatable quantum circuits, which we call Gaussian quantum circuits. △ Less

Submitted 19 November, 2008; v1 submitted 25 April, 2008; originally announced April 2008.

Comments: 18 pages, 2 figures

Journal ref: Proc. R. Soc. A 464, 3089-3106 (2008)

Measurement-based quantum computer in the gapped ground state of a two-body Hamiltonian

Authors: Gavin K. Brennen, Akimasa Miyake

Abstract: We propose a scheme for a ground-code measurement-based quantum computer, which enjoys two major advantages. First, every logical qubit is encoded in the gapped degenerate ground subspace of a spin-1 chain with nearest-neighbor two-body interactions, so that it equips built-in robustness against noise. Second, computation is processed by single-spin measurements along multiple chains dynamically… ▽ More We propose a scheme for a ground-code measurement-based quantum computer, which enjoys two major advantages. First, every logical qubit is encoded in the gapped degenerate ground subspace of a spin-1 chain with nearest-neighbor two-body interactions, so that it equips built-in robustness against noise. Second, computation is processed by single-spin measurements along multiple chains dynamically coupled on demand, so as to keep teleporting only logical information into a gap-protected ground state of the residual chains after the interactions with spins to be measured are turned off. We describe implementations using trapped atoms or polar molecules in an optical lattice, where the gap is expected to be as large as 0.2 kHz or 4.8 kHz respectively. △ Less

Submitted 10 July, 2008; v1 submitted 10 March, 2008; originally announced March 2008.

Comments: 5 pages, 1 figure; v3 the extended final version

Journal ref: Phys. Rev. Lett. 101, 010502 (2008)

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

Authors: Daniel E. Browne, Matthew B. Elliott, Steven T. Flammia, Seth T. Merkel, Akimasa Miyake, Anthony J. Short

Abstract: 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, bel… ▽ More 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. △ Less

Submitted 4 February, 2008; v1 submitted 11 September, 2007; originally announced September 2007.

Comments: 12 pages, 10 figures, and a Michelangelo quote. published version: some improvements in presentation following referee comments

Journal ref: New J. Phys. 10, 023010 (2008)

Fundamentals of universality in one-way quantum computation

Authors: M. Van den Nest, W. Dür, A. Miyake, H. J. Briegel

Abstract: We build a framework allowing for a systematic investigation of the issue: "Which quantum states are universal resources for one-way quantum computation?" We start by re-examining what is exactly meant by "universality" in quantum computation, and what the implications are for universal one-way quantum computation. Given the framework of a measurement-based quantum computer, where quantum inform… ▽ More We build a framework allowing for a systematic investigation of the issue: "Which quantum states are universal resources for one-way quantum computation?" We start by re-examining what is exactly meant by "universality" in quantum computation, and what the implications are for universal one-way quantum computation. Given the framework of a measurement-based quantum computer, where quantum information is processed by local operations only, the most general universal one-way quantum computer is one which is capable of accepting arbitrary classical inputs and producing arbitrary quantum outputs--we refer to this property as CQ-universality. We then show that a systematic study of CQ-universality in one-way quantum computation is possible by identifying entanglement features that must be present in every universal resource. These insights are used to identify several states as being not universal, such as 1D cluster states, W states, and ground states of non-critical 1D spin systems. Our criteria are strengthened by considering the efficiency of a quantum computation, and we find that entanglement measures must obey a certain scaling law with the system size for all efficient universal resources. This again leads to examples of non-universal resources, such as, e.g., ground states of critical 1D spin systems. We also provide several examples of efficient universal resources, namely graph states corresponding to hexagonal, triangular and Kagome lattices. Finally, we consider the more general notion of encoded CQ-universality, where quantum outputs are allowed to be produced in an encoded form. Again we provide entanglement-based criteria for encoded universality. Moreover, we present a general procedure to construct encoded universal resources. △ Less

Submitted 31 July, 2007; v1 submitted 12 February, 2007; originally announced February 2007.

Comments: 50 pages

Journal ref: New J. Phys. 9 204 (2007)

Entanglement and local information access for graph states

Authors: Damian Markham, Akimasa Miyake, Shashank Virmani

Abstract: We exactly evaluate a number of multipartite entanglement measures for a class of graph states, including d-dimensional cluster states (d = 1,2,3), the Greenberger-Horne-Zeilinger states, and some related mixed states. The entanglement measures that we consider are continuous, `distance from separable states' measures, including the relative entropy, the so-called geometric measure, and robustne… ▽ More We exactly evaluate a number of multipartite entanglement measures for a class of graph states, including d-dimensional cluster states (d = 1,2,3), the Greenberger-Horne-Zeilinger states, and some related mixed states. The entanglement measures that we consider are continuous, `distance from separable states' measures, including the relative entropy, the so-called geometric measure, and robustness of entanglement. We also show that for our class of graph states these entanglement values give an operational interpretation as the maximal number of graph states distinguishable by local operations and classical communication (LOCC), as well as supplying a tight bound on the fixed letter classical capacity under LOCC decoding. △ Less

Submitted 4 July, 2007; v1 submitted 13 September, 2006; originally announced September 2006.

Comments: 8 pages, 4 figures, to appear in the special issue of New J. Phys. on measurement-based quantum information processing

Journal ref: New J. Phys. 9, 194 (2007)

Survival of entanglement in thermal states

Authors: Damian Markham, Janet Anders, Vlatko Vedral, Mio Murao, Akimasa Miyake

Abstract: We present a general sufficiency condition for the presence of multipartite entanglement in thermal states stemming from the ground state entanglement. The condition is written in terms of the ground state entanglement and the partition function and it gives transition temperatures below which entanglement is guaranteed to survive. It is flexible and can be easily adapted to consider entanglemen… ▽ More We present a general sufficiency condition for the presence of multipartite entanglement in thermal states stemming from the ground state entanglement. The condition is written in terms of the ground state entanglement and the partition function and it gives transition temperatures below which entanglement is guaranteed to survive. It is flexible and can be easily adapted to consider entanglement for different splittings, as well as be weakened to allow easier calculations by approximations. Examples where the condition is calculated are given. These examples allow us to characterize a minimum gap** behavior for the survival of entanglement in the thermodynamic limit. Further, the same technique can be used to find noise thresholds in the generation of useful resource states for one-way quantum computing. △ Less

Submitted 12 February, 2008; v1 submitted 12 June, 2006; originally announced June 2006.

Comments: 6 pages, 2 figures. Changes made in line with publication recommendations. Motivation and concequences of result clarified, with the addition of one more example, which applies the result to give noise thresholds for measurement based quantum computing. New author added with new results

Journal ref: Euro. Phys. Lett. 81, 40006 (2008)

Entanglement purification protocols for all graph states

Authors: Caroline Kruszynska, Akimasa Miyake, Hans J. Briegel, Wolfgang Dür

Abstract: We present multiparty entanglement purification protocols that are capable of purifying arbitrary graph states directly. We develop recurrence and breeding protocols and compare our methods with strategies based on bipartite entanglement purification in static and communication scenarios. We find that direct multiparty purification is of advantage with respect to achievable yields and minimal re… ▽ More We present multiparty entanglement purification protocols that are capable of purifying arbitrary graph states directly. We develop recurrence and breeding protocols and compare our methods with strategies based on bipartite entanglement purification in static and communication scenarios. We find that direct multiparty purification is of advantage with respect to achievable yields and minimal required fidelity in static scenarios, and with respect to obtainable fidelity in the case of noisy operations in both scenarios. △ Less

Submitted 17 November, 2006; v1 submitted 9 June, 2006; originally announced June 2006.

Comments: revtex 10 pages, 6 figures

Journal ref: Phys. Rev. A 74, 052316 (2006)

Universal resources for measurement-based quantum computation

Authors: Maarten Van den Nest, Akimasa Miyake, Wolfgang Dür, Hans J. Briegel

Abstract: We investigate which entanglement resources allow universal measurement-based quantum computation via single-qubit operations. We find that any entanglement feature exhibited by the 2D cluster state must also be present in any other universal resource. We obtain a powerful criterion to assess universality of graph states, by introducing an entanglement measure which necessarily grows unboundedly… ▽ More We investigate which entanglement resources allow universal measurement-based quantum computation via single-qubit operations. We find that any entanglement feature exhibited by the 2D cluster state must also be present in any other universal resource. We obtain a powerful criterion to assess universality of graph states, by introducing an entanglement measure which necessarily grows unboundedly with the system size for all universal resource states. Furthermore, we prove that graph states associated with 2D lattices such as the hexagonal and triangular lattice are universal, and obtain the first example of a universal non-graph state. △ Less

Submitted 16 October, 2006; v1 submitted 3 April, 2006; originally announced April 2006.

Comments: 4 pages, 1 figure; final version

Journal ref: Phys. Rev. Lett. 97, 150504 (2006)

Distillation of multipartite entanglement by complementary stabilizer measurements

Authors: Akimasa Miyake, Hans J. Briegel

Abstract: We propose a scheme of multipartite entanglement distillation driven by a complementary pair of stabilizer measurements, to distill directly a wider range of states beyond the stabilizer code states (such as the Greenberger-Horne-Zeilinger states). We make our idea explicit by constructing a recurrence protocol for the 3-qubit W state. Noisy W states resulting from typical decoherence can be dir… ▽ More We propose a scheme of multipartite entanglement distillation driven by a complementary pair of stabilizer measurements, to distill directly a wider range of states beyond the stabilizer code states (such as the Greenberger-Horne-Zeilinger states). We make our idea explicit by constructing a recurrence protocol for the 3-qubit W state. Noisy W states resulting from typical decoherence can be directly purified in a few steps, if their initial fidelity is larger than a threshold. For general input mixed states, we observe distillations to hierarchical fixed points, i.e., not only to the W state but also to the 2-qubit Bell pair, depending on their initial entanglement. △ Less

Submitted 16 November, 2005; v1 submitted 11 June, 2005; originally announced June 2005.

Comments: 5 pages, 6 eps figures; final version

Journal ref: Phys. Rev. Lett. 95, 220501 (2005)

Multipartite Entanglement under Stochastic Local Operations and Classical Communication

Authors: Akimasa Miyake

Abstract: Stochastic local operations and classical communication (SLOCC), also called local filtering operations, are a convenient, useful set of quantum operations in gras** essential properties of entanglement. We give a quick overview about the characteristics of multipartite entanglement in terms of SLOCC, illustrating the 2-qubit and the rest (2 x 2 x n) quantum system. This not only includes cele… ▽ More Stochastic local operations and classical communication (SLOCC), also called local filtering operations, are a convenient, useful set of quantum operations in gras** essential properties of entanglement. We give a quick overview about the characteristics of multipartite entanglement in terms of SLOCC, illustrating the 2-qubit and the rest (2 x 2 x n) quantum system. This not only includes celebrated results of 3-qubit pure states, but also has implications to 2-qubit mixed states. △ Less

Submitted 24 March, 2004; v1 submitted 6 January, 2004; originally announced January 2004.

Comments: 13 pages, 3 eps figures, to appear in the special issue of Int. J. Quant. Info. for the EQIS'03 conference

Journal ref: Int. J. Quant. Info. 2, 65-77 (2004)

Multipartite entanglement in 2 x 2 x n quantum systems

Authors: Akimasa Miyake, Frank Verstraete

Abstract: We classify multipartite entangled states in the 2 x 2 x n (n >= 4) quantum system, for example the 4-qubit system distributed over 3 parties, under local filtering operations. We show that there exist nine essentially different classes of states, and they give rise to a five-graded partially ordered structure, including the celebrated Greenberger-Horne-Zeilinger (GHZ) and W classes of 3 qubits.… ▽ More We classify multipartite entangled states in the 2 x 2 x n (n >= 4) quantum system, for example the 4-qubit system distributed over 3 parties, under local filtering operations. We show that there exist nine essentially different classes of states, and they give rise to a five-graded partially ordered structure, including the celebrated Greenberger-Horne-Zeilinger (GHZ) and W classes of 3 qubits. In particular, all 2 x 2 x n-states can be deterministically prepared from one maximally entangled state, and some applications like entanglement swap** are discussed. △ Less

Submitted 7 January, 2004; v1 submitted 9 July, 2003; originally announced July 2003.

Comments: 9 pages, 3 eps figures

Journal ref: Phys. Rev. A 69, 012101 (2004)

Multipartite Entanglement and Hyperdeterminants

Authors: Akimasa Miyake, Miki Wadati

Abstract: We classify multipartite entanglement in a unified manner, focusing on a duality between the set of separable states and that of entangled states. Hyperdeterminants, derived from the duality, are natural generalizations of entanglement measures, the concurrence, 3-tangle for 2, 3 qubits respectively. Our approach reveals how inequivalent multipartite entangled classes of pure states constitute a… ▽ More We classify multipartite entanglement in a unified manner, focusing on a duality between the set of separable states and that of entangled states. Hyperdeterminants, derived from the duality, are natural generalizations of entanglement measures, the concurrence, 3-tangle for 2, 3 qubits respectively. Our approach reveals how inequivalent multipartite entangled classes of pure states constitute a partially ordered structure under local actions, significantly different from a totally ordered one in the bipartite case. Moreover, the generic entangled class of the maximal dimension, given by the nonzero hyperdeterminant, does not include the maximally entangled states in Bell's inequalities in general (e.g., in the 4 or more qubits), contrary to the widely known bipartite or 3-qubit cases. It suggests that not only are they never locally interconvertible with the majority of multipartite entangled states, but they would have no grounds for the canonical n-partite entangled states. Our classification is also useful for that of mixed states. △ Less

Submitted 27 December, 2002; originally announced December 2002.

Comments: 12 pages, 5 eps figures. Contribution to the ERATO workshop on Quantum Information Science 2002 (September, 2002, Tokyo, Japan). Our idea is sketched in Section 1 for convenience

Journal ref: Quant. Info. Comp. 2 (Special), 540-555 (2002)

Classification of multipartite entangled states by multidimensional determinants

Authors: Akimasa Miyake

Abstract: We find that multidimensional determinants "hyperdeterminants", related to entanglement measures (the so-called concurrence or 3-tangle for the 2 or 3 qubits, respectively), are derived from a duality between entangled states and separable states. By means of the hyperdeterminant and its singularities, the single copy of multipartite pure entangled states is classified into an onion structure of… ▽ More We find that multidimensional determinants "hyperdeterminants", related to entanglement measures (the so-called concurrence or 3-tangle for the 2 or 3 qubits, respectively), are derived from a duality between entangled states and separable states. By means of the hyperdeterminant and its singularities, the single copy of multipartite pure entangled states is classified into an onion structure of every closed subset, similar to that by the local rank in the bipartite case. This reveals how inequivalent multipartite entangled classes are partially ordered under local actions. In particular, the generic entangled class of the maximal dimension, distinguished as the nonzero hyperdeterminant, does not include the maximally entangled states in Bell's inequalities in general (e.g., in the $n \geq 4$ qubits), contrary to the widely known bipartite or 3-qubit cases. It suggests that not only are they never locally interconvertible with the majority of multipartite entangled states, but they would have no grounds for the canonical n-partite entangled states. Our classification is also useful for the mixed states. △ Less

Submitted 21 January, 2003; v1 submitted 18 June, 2002; originally announced June 2002.

Comments: revtex4, 10 pages, 4 eps figures with psfrag; v2 title changed, 1 appendix added, to appear in Phys. Rev. A

Journal ref: Phys. Rev. A 67, 012108 (2003)

Geometric Strategy for the Optimal Quantum Search

Authors: Akimasa Miyake, Miki Wadati

Abstract: We explore quantum search from the geometric viewpoint of a complex projective space $CP$, a space of rays. First, we show that the optimal quantum search can be geometrically identified with the shortest path along the geodesic joining a target state, an element of the computational basis, and such an initial state as overlaps equally, up to phases, with all the elements of the computational ba… ▽ More We explore quantum search from the geometric viewpoint of a complex projective space $CP$, a space of rays. First, we show that the optimal quantum search can be geometrically identified with the shortest path along the geodesic joining a target state, an element of the computational basis, and such an initial state as overlaps equally, up to phases, with all the elements of the computational basis. Second, we calculate the entanglement through the algorithm for any number of qubits $n$ as the minimum Fubini-Study distance to the submanifold formed by separable states in Segre embedding, and find that entanglement is used almost maximally for large $n$. The computational time seems to be optimized by the dynamics as the geodesic, running across entangled states away from the submanifold of separable states, rather than the amount of entanglement itself. △ Less

Submitted 21 September, 2001; originally announced September 2001.

Comments: revtex, 10 pages, 7 eps figures, uses psfrag package

Journal ref: Phys. Rev. A 64, 042317 (2001)