Researcher profile

Tatsuhiko Koike

Tatsuhiko Koike contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
7works
0followers
5topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

Published work

7 published item(s)

preprint2020arXiv

A general formulation of time-optimal quantum control and optimality of singular protocols

We present a general theoretical framework for finding the time-optimal unitary evolution of the quantum systems when the Hamiltonian is subject to arbitrary constraints. Quantum brachistochrone (QB) is such a framework based on the variational principle, whose drawback is that it deals with equality constraints only. While inequality constraints can be reduced to equality ones in some situations, there are situations where they cannot, especially when a drift field is present in the Hamiltonian. The drift which we cannot control appears in a wide range of systems. We first develop a framework based on Pontryagin's maximum principle (MP) in order to deal with inequality constraints as well. The new framework contains QB as a special case, and their detailed correspondence is given. Second, using this framework, we discuss general relations among the drift, the singular controls, and the inequality constraints. The singular controls are those that satisfy MP trivially so as to cause a trouble in determining the optimal protocol. Third, to overcome this issue, we derive an additional necessary condition for a singular protocol to be optimal by applying the generalized Legendre-Clebsch condition. This condition in particular reveals the physical meaning of singular controls. Finally, we demonstrate how our framework and results work in some examples.

preprint2010arXiv

Big bounce as scattering of wave function at big crunch

A gauge-invariant quantum theory of the Friedmann-Robertson-Walker (FRW) universe with dust is studied in terms of the Ashtekar variables. We use the reduced phase space quantization which has following advantages: (i) fundamental variables are all gauge invariant, (ii) there exists a physical time evolution of gauge-invariant quantities, so that the problem of time is absent and (iii) the reduced phase space can be quantized in the same manner as in ordinary quantum mechanics. In the FRW model, the dynamical components of the Ashtekar variables are given by a single quantity $p$ and its conjugate momentum, where $p$ is related to the scale factor $a$ as $a\propto \sqrt{|p|}$ and its sign gives the orientation of triads. We solve a scattering problem in terms of ingoing and outgoing energy eigenstates. We show that the incident wave is reflected in rate $1/4$ and transmitted in rate $3/4$ at the classical singularity $p=0$. Analyzing the dynamics of a wave packet, we show that the classical initial singularity is replaced by a big bounce in quantum theory. A possible interpretation of the result is that the wave function of the universe has been in a superposition of states representing right-handed and left-handed systems before the big bounce.

preprint2010arXiv

Constants of Motion for Constrained Hamiltonian Systems: A Particle around a Charged Rotating Black Hole

We discuss constants of motion of a particle under an external field in a curved spacetime, taking into account the Hamiltonian constraint which arises from reparametrization invariance of the particle orbit. As the necessary and sufficient condition for the existence of a constant of motion, we obtain a set of equations with a hierarchical structure, which is understood as a generalization of the Killing tensor equation. It is also a generalization of the conventional argument in that it includes the case when the conservation condition holds only on the constraint surface in the phase space. In that case, it is shown that the constant of motion is associated with a conformal Killing tensor. We apply the hierarchical equations and find constants of motion in the case of a charged particle in an electro-magnetic field in black hole spacetimes. We also demonstrate that gravitational and electro-magnetic fields exist in which a charged particle has a constant of motion associated with a conformal Killing tensor.

preprint2010arXiv

Exactly solvable strings in Minkowski spacetime

We study the integrability of the equations of motion for the Nambu-Goto strings with a cohomogeneity-one symmetry in Minkowski spacetime. A cohomogeneity-one string has a world surface which is tangent to a Killing vector field. By virtue of the Killing vector, the equations of motion can be reduced to the geodesic equation in the orbit space. Cohomogeneity-one strings are classified into seven classes (Types I to VII). We investigate the integrability of the geodesic equations for all the classes and find that the geodesic equations are integrable. For Types I to VI, the integrability comes from the existence of Killing vectors on the orbit space which are the projections of Killing vectors on Minkowski spacetime. For Type VII, the integrability is related to a projected Killing vector and a nontrivial Killing tensor on the orbit space. We also find that the geodesic equations of all types are exactly solvable, and show the solutions.

preprint2010arXiv

Time complexity and gate complexity

We formulate and investigate the simplest version of time-optimal quantum computation theory (t-QCT), where the computation time is defined by the physical one and the Hamiltonian contains only one- and two-qubit interactions. This version of t-QCT is also considered as optimality by sub-Riemannian geodesic length. The work has two aims: one is to develop a t-QCT itself based on physically natural concept of time, and the other is to pursue the possibility of using t-QCT as a tool to estimate the complexity in conventional gate-optimal quantum computation theory (g-QCT). In particular, we investigate to what extent is true the statement: time complexity is polynomial in the number of qubits if and only if so is gate complexity. In the analysis, we relate t-QCT and optimal control theory (OCT) through fidelity-optimal computation theory (f-QCT); f-QCT is equivalent to t-QCT in the limit of unit optimal fidelity, while it is formally similar to OCT. We then develop an efficient numerical scheme for f-QCT by modifying Krotov's method in OCT, which has monotonic convergence property. We implemented the scheme and obtained solutions of f-QCT and of t-QCT for the quantum Fourier transform and a unitary operator that does not have an apparent symmetry. The former has a polynomial gate complexity and the latter is expected to have exponential one because a series of generic unitary operators has a exponential gate complexity. The time complexity for the former is found to be linear in the number of qubits, which is understood naturally by the existence of an upper bound. The time complexity for the latter is exponential. Thus the both targets are examples satisfyng the statement above. The typical characteristics of the optimal Hamiltonians are symmetry under time-reversal and constancy of one-qubit operation, which are mathematically shown to hold in fairly general situations.

preprint2004arXiv

Topological classification of black Hole: Generic Maxwell set and crease set of horizon

The crease set of an event horizon or a Cauchy horizon is an important object which determines qualitative properties of the horizon. In particular, it determines the possible topologies of the spatial sections of the horizon. By Fermat's principle in geometric optics, we relate the crease set and the Maxwell set of a smooth function in the context of singularity theory. We thereby give a classification of generic topological structure of the Maxwell sets and the generic topologies of the spatial section of the horizon.