Source author record

Mikio Nakahara

Mikio Nakahara appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

34works
12topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

34 published item(s)

preprint2020arXiv

Concatenated Composite Pulses Applied to Liquid-State Nuclear Magnetic Resonance Spectroscopy

The error-robust and short composite operations named ConCatenated Composite Pulses (CCCPs), developed as high-precision unitary operations in quantum information processing (QIP), are derived from composite pulses widely employed in nuclear magnetic resonance (NMR). CCCPs simultaneously compensate for two types of systematic errors, which was not possible with the known composite pulses in NMR. Our experiments demonstrate that CCCPs are powerful and versatile tools not only in QIP but also in NMR.

preprint2019arXiv

On the explicit constructions of certain unitary $t$-designs

Unitary $t$-designs are `good' finite subsets of the unitary group $U(d)$ that approximate the whole unitary group $U(d)$ well. Unitary $t$-designs have been applied in randomized benchmarking, tomography, quantum cryptography and many other areas of quantum information science. If a unitary $t$-design itself is a group then it is called a unitary $t$-group. Although it is known that unitary $t$-designs in $U(d)$ exist for any $t$ and $d$, the unitary $t$-groups do not exist for $t\geq 4$ if $d\geq 3$, as it is shown by Guralnick-Tiep (2005) and Bannai-Navarro-Rizo-Tiep (BNRT, 2018). Explicit constructions of exact unitary $t$-designs in $U(d)$ are not easy in general. In particular, explicit constructions of unitary $4$-designs in $U(4)$ have been an open problem in quantum information theory. We prove that some exact unitary $(t+1)$-designs in the unitary group $U(d)$ are constructed from unitary $t$-groups in $U(d)$ that satisfy certain specific conditions. Based on this result, we specifically construct exact unitary $3$-designs in $U(3)$ from the unitary $2$-group $SL(3,2)$ in $U(3),$ and also unitary $4$-designs in $U(4)$ from the unitary $3$-group $Sp(4,3)$ in $U(4)$ numerically. We also discuss some related problems.

preprint2015arXiv

Fast control of topological vortex formation in BEC by counter-diabatic driving

Topological vortex formation has been known as the simplest method for vortex formation in BEC of alkali atoms. This scheme requires inversion of the bias magnetic field along the axis of the condensate, which leads to atom loss when the bias field crosses zero. In this Letter, we propose a scheme with which the atom loss is greatly suppressed by adding counter-diabatic magnetic field. A naive counter-diabatic field violates the Maxwell equations and we need to introduce an approximation to make it physically feasible. The resulting field requires an extra currents, which is experimentally challenging. Finally we solve this problem by applying a gauge transformation so that the counter-diabatic field is generated by controlling the original trap field with the additional control of the bias field.

preprint2015arXiv

Maximal noiseless code rates for collective rotation channels on qudits

We study noiseless subsystems on collective rotation channels of qudits, i.e., quantum channels with operators in the set ${\mathcal E}(d,n) = \{ U^{\otimes n}: U \in {\mathrm{SU}}(d)\}.$ This is done by analyzing the decomposition of the algebra ${\mathcal A}(d,n)$ generated by ${\mathcal E}(d,n)$. We summarize the results for the channels on qubits ($d=2$), and obtain the maximum dimension of the noiseless subsystem that can be used as the quantum error correction code for the channel. Then we extend our results to general $d$. In particular, it is shown that the code rate, i.e., the number of protected qudits over the number of physical qudits, always approaches 1 for a suitable noiseless subsystem. Moreover, one can determine the maximum dimension of the noiseless subsystem by solving a non-trivial discrete optimization problem. The maximum dimension of the noiseless subsystem for $d = 3$ (qutrits) is explicitly determined by a combination of mathematical analysis and the symbolic software Mathematica.

preprint2014arXiv

Construction of Arbitrary Robust One-Qubit Operations Using Planar Geometry

We show how to construct an arbitrary robust one-qubit unitary operation with a control Hamiltonian of $A_x(t) σ_x + A_y(t) σ_y$, where $σ_i$ is a Pauli matrix and $A_i(t)$ is piecewise constant. Our method, based on planar geometry, admits a simple and intuitive interpretation. Furthermore, the total execution time and the number of elementary gates of the obtained sequence are comparable to those of the shortest known concatenated composite pulses.

preprint2014arXiv

Non-Adiabatic Universal Holonomic Quantum Gates Based on Abelian Holonomies

We implement a non-adiabatic universal set of holonomic quantum gates based on abelian holonomies using dynamical invariants, by Lie-algebraic methods. Unlike previous implementations, presented scheme does not rely on secondary methods such as double-loop or spin-echo and avoids associated experimental difficulties. It turns out that such gates exist purely in the non-adiabatic regime for these systems.

preprint2014arXiv

Nonadiabatic holonomic one-qubit gates

Adiabatic quantum gate implementation generally takes longer time, which is disadvantageous in view of decoherence. In this report we implement several essential one-qubit quantum gates nonadiabatically by making use of a dynamical invariant associated with a Hamiltonian. Moreover we require that these gates be holonomic, that is, the dynamical phases associated with the gates vanish. Our implementation is based on our recent work [J. Phys. Soc. Jpn. 83, 034001 (2014)] and the gate parameters required for the implementations are found by numerical optimization.

preprint2014arXiv

Recursive encoding and decoding of the noiseless subsystem for qudits

We give a full explanation of the noiseless subsystem that protects a single-qubit against collective errors and the corresponding recursive scheme described by C.-K. Li et. al. [Phys. Rev. A 84, 044301 (2011)] from a representation theory point of view. Furthermore, we extend the construction to qudits under the influence of collective SU($d$) errors. We find that under this recursive scheme, the asymptotic encoding rate is $1/d$.

preprint2014arXiv

Two-Qubit Gate Operation on Selected Nearest-Neighbor Neutral Atom Qubits

We have previously discussed the design of a neutral atom quantum computer with an on-demand interaction [E. Hosseini Lapasar, et al., J. Phys. Soc. Jpn. 80, 114003 (2011)]. In this contribution, we propose an experimental method to demonstrate a selective two-qubit gate operation that is less demanding than our original proposal, although the gate operation is limited to act between two neighboring atoms. We evaluate numerically the process of a two-qubit gate operation that is applied to a selected pair of nearest-neighbor, trapped atoms and we estimate the upper bound of the gate operation time and corresponding gate fidelity. The proposed scheme is scalable and, though challenging, is feasible with current experimental capabilities.

preprint2013arXiv

A quantum genetic algorithm with quantum crossover and mutation operations

In the context of evolutionary quantum computing in the literal meaning, a quantum crossover operation has not been introduced so far. Here, we introduce a novel quantum genetic algorithm which has a quantum crossover procedure performing crossovers among all chromosomes in parallel for each generation. A complexity analysis shows that a quadratic speedup is achieved over its classical counterpart in the dominant factor of the run time to handle each generation.

preprint2013arXiv

Dynamical invariants for quantum control of four-level systems

We present a Lie-algebraic classification and detailed construction of the dynamical invariants, also known as Lewis-Riesenfeld invariants, of the four-level systems including two-qubit systems which are most relevant and sufficiently general for quantum control and computation. These invariants not only solve the time-dependent Schrödinger equation of four-level systems exactly but also enable the control, and hence quantum computation based on which, of four-level systems fast and beyond adiabatic regimes.

preprint2013arXiv

Minimal and Robust Composite Two-Qubit Gates with Ising-Type Interaction

We construct a minimal robust controlled-NOT gate with an Ising-type interaction by which elementary two-qubit gates are implemented. It is robust against inaccuracy of the coupling strength and the obtained quantum circuits are constructed with the minimal number (N=3) of elementary two-qubit gates and several one-qubit gates. It is noteworthy that all the robust circuits can be mapped to one-qubit circuits robust against a pulse length error. We also prove that a minimal robust SWAP gate cannot be constructed with N=3, but requires N=6 elementary two-qubit gates.

preprint2013arXiv

Multiple Half-Quantum Vortices in Rotating Superfluid $^3$He

Half-quantum votices and ordinary vortices in a rotating thin film superfluid $^3$He under a strong magnetic field are considered. It is shown that $2n+1$ half-quantum vortices interpolates between $n$ singular vortices and $n+1$ singular vortices as the angular velocity is changed. The phase diagram of the vortex configurations in the angular velocity-magnetic field space is obtained for a paramagnon parameter $δ=0.05$.

preprint2012arXiv

Concatenated composite pulses compensating simultaneous systematic errors

In NMR experiments and quantum computation, many pulse (quantum gate) sequences called the composite pulses, were developed to suppress one of two dominant errors; a pulse length error and an off-resonance error. We describe, in this paper, a general prescription to design a single-qubit concatenated composite pulse (CCCP) that is robust against two types of errors simultaneously. To this end, we introduce a new property, which is satisfied by some composite pulses and is sufficient to obtain a CCCP. Then we introduce a general method to design CCCPs with shorter execution time and less number of pulses.

preprint2012arXiv

Geometric Aspects of Composite Pulses

Unitary operations acting on a quantum system must be robust against systematic errors in control parameters for reliable quantum computing. Composite pulse technique in nuclear magnetic resonance (NMR) realises such a robust operation by employing a sequence of possibly poor quality pulses. In this article, we demonstrate that two kinds of composite pulses, one compensates for a pulse length error in a one-qubit system and the other compensates for a J-coupling error in a twoqubit system, have vanishing dynamical phase and thereby can be seen as geometric quantum gates, which implement unitary gates by the holonomy associated with dynamics of cyclic vectors defined in the text.

preprint2012arXiv

Half-Quantum Vortices in Thin Film of Superfluid $^3$He

Stability of a half-quantum vortex (HQV) in superfluid $^3$He has been discussed recently by Kawakami, Tsutsumi and Machida in Phys. Rev. B {\bf 79}, 092506 (2009). We further extend this work here and consider the A$_2$ phase of superfluid $^3$He confined in thin slab geometry and analyze the HQV realized in this setting. Solutions of HQV and singly quantized singular vortex are evaluated numerically by solving the Ginzburg-Landau (GL) equation and respective first critical angular velocities are obtained by employing these solutions. We show that the HQV in the A$_2$ phase is stable near the boundary between the A$_2$ and A$_1$ phases. It is found that temperature and magnetic field must be fixed first in the stable region and subsequently the angular velocity of the system should be increased from zero to a sufficiently large value to create a HQV with sufficiently large probability. A HQV does not form if the system starts with a fixed angular velocity and subsequently the temperature is lowered down to the A$_2$ phase. It is estimated that the external magnetic field with strength on the order of 1 T is required to have a sufficiently large domain in the temperature-magnetic field phase diagram to have a stable HQV.

preprint2012arXiv

Limitation for linear maps in a class for detection and quantification of bipartite nonclassical correlation

Eigenvalue-preserving-but-not-completely-eigenvalue-preserving (EnCE) maps were previously introduced for the purpose of detection and quantification of nonclassical correlation, employing the paradigm where nonvanishing quantum discord implies the existence of nonclassical correlation. It is known that only the matrix transposition is nontrivial among Hermiticity-preserving (HP) linear EnCE maps when we use the changes in the eigenvalues of a density matrix due to a partial map for the purpose. In this paper, we prove that this is true even among not-necessarily HP (nnHP) linear EnCE maps. The proof utilizes a conventional theorem on linear preservers. This result imposes a strong limitation on the linear maps and promotes the importance of nonlinear maps.

preprint2012arXiv

Quantum Error Correction with Uniformly Mixed State Ancillae

It is often assumed that the ancilla qubits required for encoding a qubit in quantum error correction (QEC) have to be in pure states, $|00...0>$ for example. In this letter, we seek an encoding scheme, in which the ancillae may be in a uniformly mixed state. We demonstrate our scheme experimentally by making use of a three-qubit NMR quantum computer. Moreover, the encoded state has an interesting nature in terms of Quantum Discord, or purely quantum correlations between the data-qubit and ancillae.

preprint2011arXiv

Designing Robust Unitary Gates: Application to Concatenated Composite Pulse

We propose a simple formalism to design unitary gates robust against given systematic errors. This formalism generalizes our previous observation [Y. Kondo and M. Bando, J. Phys. Soc. Jpn. 80, 054002 (2011)] that vanishing dynamical phase in some composite gates is essential to suppress amplitude errors. By employing our formalism, we naturally derive a new composite unitary gate which can be seen as a concatenation of two known composite unitary operations. The obtained unitary gate has high fidelity over a wider range of the error strengths compared to existing composite gates.

preprint2011arXiv

Efficient Quantum Error Correction for Fully Correlated Noise

We investigate an efficient quantum error correction of a fully correlated noise. Suppose the noise is characterized by a quantum channel whose error operators take fully correlated forms given by $σ_x^{\otimes n}$, $σ_y^{\otimes n}$ and $σ_z^{\otimes n}$, where $n>2$ is the number of qubits encoding the codeword. It is proved that (i) $n$ qubits codeword encodes $(n-1)$ data qubits when $n$ is odd and (ii) $n$ qubits codeword implements a noiseless subsystem encoding $(n-2)$ data qubits when $n$ is even. Quantum circuits implementing these schemes are constructed.

preprint2011arXiv

Estimation of Coupling Constants of a Three-Spin Chain: Case Study of Hamiltonian Tomography with NMR

It has been shown that inter-spin interaction strengths in a spins-1/2 chain can be evaluated by accessing one of the edge spins only. We demonstrate this experimentally for the simplest case, a three-spin chain, with nuclear magnetic resonance (NMR) technique. The three spins in the chain interact through nearest-neighbor Ising interactions under site-dependent transverse fields. The employed molecule is an alanine containing three $^{13}$C nuclei, each of which has spin-1/2.

preprint2011arXiv

Non-adiabatic Fast Control of Mixed States based on Lewis-Riesenfeld Invariant

We apply the inversely-engineered control method based on Lewis-Riesenfeld invariants to control mixed states of a two-level quantum system. We show that the inversely-engineered control passages of mixed states - and pure states as special cases - can be made significantly faster than the conventional adiabatic control passages, which renders the method applicable to quantum computation. We devise a new type of inversely-engineered control passages, to be coined the antedated control passages, which further speed up the control significantly. We also demonstrate that by carefully tuning the control parameters, the inversely-engineered control passages can be optimized in terms of speed and energy cost.

preprint2011arXiv

Quantum Oracles in Terms of Universal Gate Set

We present a systematic construction of quantum circuits implementing Grover's database search algorithm for arbitrary number of targets. We introduce a new operator which flips the sign of the targets and evaluate its circuit complexity. We find the condition under which the circuit complexity of the database search algorithm based on this operator is less than that of the conventional one.

preprint2011arXiv

Recovery in quantum error correction for general noise without measurement

It is known that one can do quantum error correction without syndrome measurement, which is often done in operator quantum error correction (OQEC). However, the physical realization could be challenging, especially when the recovery process involves high-rank projection operators and a superoperator. We use operator theory to improve OQEC so that the implementation can always be done by unitary gates followed by a partial trace operation. Examples are given to show that our error correction scheme outperforms the existing ones in various scenarios.

preprint2011arXiv

Recursive Encoding and Decoding of Noiseless Subsystem and Decoherence Free Subspace

When the environmental disturbace to a quantum system has a wavelength much larger than the system size, all qubits localized within a small area are under action of the same error operators. Noiseless subsystem and decoherence free subspace are known to correct such collective errors. We construct simple quantum circuits, which implement these collective error correction codes, for a small number $n$ of physical qubits. A single logical qubit is encoded with $n=3$ and $n=4$, while two logical qubits are encoded with $n=5$. The recursive relations among the subspaces employed in noiseless subsystem and decoherence free subspace play essential rôles in our implementation. The recursive relations also show that the number of gates required to encode $m$ logical qubits increases linearly in $m$.

preprint2011arXiv

Scalable Neutral Atom Quantum Computer with Interaction on Demand: Proposal for Selective Application of Two-Qubit Gate

We propose a scalable neutral atom quantum computer with an on-demand interaction through a selective two-qubit gate operation. Atoms are trapped by a lattice of near field Fresnel diffraction lights so that each trap captures a single atom. One-qubit gate operation is implemented by a gate control laser beam which is applied to an individual atom. Two-qubit gate operation between an arbitrary pair of atoms is implemented by sending these atoms to a state-dependent optical lattice and making them collide so that a particular two-qubit state acquires a dynamical phase. We give numerical evaluations corresponding to these processes, from which we estimate the upper bound of a two-qubit gate operation time and corresponding gate fidelity. Our proposal is feasible within currently available technology developed in cold atom gas, MEMS, nanolithography, and various areas in optics.

preprint2011arXiv

Unitary Quantum Error Correction without Error Detection

We propose a quantum error correction without error detection. A quantum state $ρ_0$ combined with an ancilla state $σ$ is encoded unitarily and an error operator is applied on the encoded state. The recovery operation then produces a tensor product state $ρ_0 \otimes σ'$. The decoding operation is combined with the recovery operation and the state $ρ_0$ is directly reproduced without referring to the code word. A higher rank projection operator required for a conventional operator quantum error correction is not necessary to implement. Encoding and the recovery operations are implemented with unitary operators only, which makes quantum error correction much easier than any other proposals.

preprint2010arXiv

Entanglement Control of Azobenzene by Photoisomerization in NMR Quantum Computer

Entanglement control of qubits in a photoisomerizing molecule is studied in the context of an NMR quantum computer by taking azobenzene as an example. Azobenzene has two different isomers, {\it{}trans}-azobenzene (TAB) and {\it{}cis}-azobenzene (CAB), which can be interconverted by photoisomerization. Changing molecular structure leads to change in the spin-spin coupling constant, and hence leads to change in entangling operation time. We first obtain stable structures of TAB and CAB by {\it ab initio} calculation. Then, we calculate the NMR spectra of these isomers and verify that they reproduce the chemical shift obtained experimentally with a good precision. Our result indicates that the coupling strength between a $^{15}$N and a $^{13}$C nuclei in the molecule changes by a large amount under photoisomerization.

preprint2010arXiv

Hamiltonian Determination with Restricted Access in Transverse Field Ising Chain

We propose a method to evaluate parameters in the Hamiltonian of the Ising chain under site-dependent transverse fields, with a proviso that we can control and measure one of the edge spins only. We evaluate the eigenvalues of the Hamiltonian and the time-evoultion operator exactly for a 3-spin chain, from which we obtain the expectation values of $σ_x$ of the first spin. The parameters are found from the peak positions of the Fourier transform of the expectation value. There are four assumptions in our method, which are mild enough to be satisfied in many physical systems.

preprint2010arXiv

Mathematical framework for detection and quantification of nonclassical correlation

Existing measures of bipartite nonclassical correlation that is typically characterized by nonvanishing nonlocalizable information under the zero-way CLOCC protocol are expensive in computational cost. We define and evaluate economical measures on the basis of a new class of maps, eigenvalue-preserving-but-not-completely-eigenvalue-preserving (EnCE) maps. The class is in analogy to the class of positive-but-not-completely-positive (PnCP) maps that have been commonly used in the entanglement theories. Linear and nonlinear EnCE maps are investigated. We also prove subadditivity of the measures in a form of logarithmic fidelity.

preprint2010arXiv

Scalable Neutral Atom Quantum Computer with Interaction on Demand

We propose a scalable neutral atom quantum computer with an on-demand interaction. Artificial lattice of near field optical traps is employed to trap atom qubits. Interactions between atoms can be turned off if the atoms are separated by a high enough potential barrier so that the size of the atomic wave function is much less than the interatomic distance. One-qubit gate operation is implemented by a gate control laser beam which is attached to an individual atom. Two-qubit gate operation between a particular pair of atoms is introduced by leaving these atoms in an optical lattice and making them collide so that a particular two-qubit state acquires a dynamical phase. Our proposal is feasible within existing technology developed in cold atom gas, MEMS, nanolithography, and various areas in optics.

preprint2010arXiv

Topological Quantum Computing with p-Wave Superfluid Vortices

It is shown that Majorana fermions trapped in three vortices in a p-wave superfluid form a qubit in a topological quantum computing (TQC). Several similar ideas have already been proposed: Ivanov [Phys. Rev. Lett. {\bf 86}, 268 (2001)] and Zhang {\it et al.} [Phys. Rev. Lett. {\bf 99}, 220502 (2007)] have proposed schemes in which a qubit is implemented with two and four Majorana fermions, respectively, where a qubit operation is performed by exchanging the positions of Majorana fermions. The set of gates thus obtained is a discrete subset of the relevant unitary group. We propose, in this paper, a new scheme, where three Majorana fermions form a qubit. We show that continuous 1-qubit gate operations are possible by exchanging the positions of Majorana fermions complemented with dynamical phase change. 2-qubit gates are realized through the use of the coupling between Majorana fermions of different qubits.

preprint2010arXiv

Tractable measure of nonclassical correlation using density matrix truncations

In the context of the Oppenheim-Horodecki paradigm of nonclassical correlation, a bipartite quantum state is (properly) classically correlated if and only if it is represented by a density matrix having a product eigenbasis. On the basis of this paradigm, we propose a measure of nonclassical correlation by using truncations of a density matrix down to individual eigenspaces. It is computable within polynomial time in the dimension of the Hilbert space albeit imperfect in the detection range. This is in contrast to the measures conventionally used for the paradigm. The computational complexity and mathematical properties of the proposed measure are investigated in detail and the physical picture of its definition is discussed.

preprint2007arXiv

Single-experiment-detectable multipartite entanglement witness for ensemble quantum computing

In this paper we provide an operational method to detect multipartite entanglement in ensemble-based quantum computing. This method is based on the concept of entanglement witness. We decompose the entanglement witness for each class of multipartite entanglement into nonlocal operations in addition to local measurements. Individual single qubit measurements are performed simultaneously, hence complete detection of entanglement is performed in a single run experiment. This approach is particularly important for experiments where it is operationally difficult to prepare several copies of an unknown quantum state and in this sense the introduced scheme in this work is superior to the generally used entanglement witnesses that require a number of experiments and preparation of copies of quantum state.