Takayuki Miyadera

Learn More
We prove that there is no algorithm to tell whether an arbitrarily constructed Quantum Turing Machine has same time steps for different branches of computation. We, hence, can not avoid the notion of halting to be probabilistic in Quantum Turing Machine. Our result suggests that halting scheme of Quantum Turing Machine and quantum complexity theory based(More)
The relationship between correlations and entanglement has played amajor role in understanding quantum theory since thework of Einstein et al (1935Phys. Rev. 47 777–80). Tsirelson proved that Bell states, shared among twoparties, whenmeasured suitably, achieve themaximumnon-local correlations allowed by quantummechanics (Cirel’son 1980 Lett.Math. Phys. 4(More)
We study the stability of quantum states of macroscopic systems of finite volume V. By using both the locality and huge degrees of freedom, we show the following: (i) If square fluctuation of every additive operator is O(V) or less for a pure state, then it is not fragile for any weak classical noises or weak perturbations from environments. (ii) If square(More)
The production of quantum entanglement between weakly coupled mapping systems, whose classical counterparts are both strongly chaotic, is investigated. In the weak-coupling regime, it is shown that time-correlation functions of the unperturbed systems determine the entanglement production. In particular, we elucidate that the increment of the nonlinear(More)
It is anticipated that quantum key distribution enable us to share a secret key while guaranteeing unconditionally security. In this paper, we discuss the quantum key distribution using the Mean King Problem which was proposed by J. Bub in 2001. While this two-way quantum protocol is essentially different from the other one-way protocols like the BB84, it(More)
We investigate how the dynamical production of quantum entanglement for weakly coupled, composite quantum systems is influenced by the chaotic dynamics of the corresponding classical system, using coupled kicked tops. The linear entropy for the subsystem (a kicked top) is employed as a measure of entanglement. A perturbative formula for the entanglement(More)