Searcharxiv⌕ Search

arXiv subjects

Tatsuhiko Koike

Publications and source records attributed to Tatsuhiko Koike.

At least 19 recordsLinked to original sources
arXiv2026

Timescale for macroscopic equilibration in isolated quantum systems: a rigorous derivation for free fermions

For a class of translation-invariant free-fermion systems (including those with uniform nearest neighbor hopping) on a $d$-dimensional $L \times \cdots \times L$ hypercubic lattice, we prove that, starting from an arbitrary pure initial state, the system equilibrates with respect to the coarse-grained density within a timescale of order $L$. This scaling is optimal, since there exist initial states whose equilibration requires time of order $L$. Our result establishes $O(L)$ as the equilibration timescale, as is expected in normal macroscopic systems with a conserved quantity, such as total number of particles.

math-ph↗
arXiv2026

Geometric deformations of symmetric spacetimes with a string cloud

We establish a deformation framework for highly symmetric solutions to the Einstein equations. In this framework, four-dimensional metrics are constructed from three-dimensional η-Einstein metrics admitting a deformation determined by a single function. Under this deformation, the resulting spacetime solves the Einstein equations with a string-cloud source. Within this framework , a wide range of symmetric spacetimes can be treated in a unified manner. These include FLRW, Kantowski-Sachs, and LRS Bianchi cosmological models (including Taub-NUT-(A)dS solutions), as well as Reissner-Nordström-(A)dS black holes admitting spherical, planar, or hyperbolic symmetry. In the cosmological setting, the deformation leaves the evolution equations for the scale factors unchanged, and hence the expansion history coincides with that of the corresponding undeformed models. For the deformed Reissner-Nordström-(A)dS black holes, the structure of Killing horizons is insensitive to the deformation.

gr-qc↗
arXiv2024

Spacetime constructed from a contact manifold with a degenerate metric

We construct a four-dimensional spacetime using a three-dimensional contact manifold equipped with a degenerate metric. The degenerate metric is set to be compatible with the contact structure. The compatibility condition is defined in this paper. Our construction yields a Ricci tensor of a particularly simple form, which leads to a solution of the Einstein equation with a null dust and cosmic strings. The solution includes two arbitrary functions: the energy density of the null dust and the number density of the cosmic strings. When there exist the cosmic strings, the spacetime is of Petrov type D. Otherwise, the spacetime is conformally flat. For some simple matter densities, we examine the Einstein equation in detail.

gr-qc↗
arXiv2024

Strings in five-dimensional anti-de Sitter space with a symmetry

The equation of motion of an extended object in spacetime reduces to an ordinary differential equation in the presence of symmetry. By properly defining of the symmetry with notion of cohomogeneity, we discuss the method for classifying all these extended objects. We carry out the classification for the strings in the five-dimensional anti-de Sitter space by the effective use of the local isomorphism between $\SO(4,2)$ and $\SU(2,2)$. We present a general method for solving the trajectory of the Nambu-Goto string and apply to a case obtained by the classification, thereby find a new solution which has properties unique to odd-dimensional anti-de Sitter spaces. The geometry of the solution is analized and found to be a timelike helicoid-like surface.

gr-qc↗
arXiv2023

Nambu-Goto Strings with a null symmetry and contact structure

We study the classical dynamics of the Nambu-Goto strings with a null symmetry in curved spacetimes admitting a null Killing vector field. The Nambu-Goto equation is reduced to first order ordinary differential equations and is always integrable in contrast to the case of non-null symmetries where integrability requires additional spacetime symmetries. It is found that in the case of null symmetry, an almost contact structure associated with the metric dual 1-form $η$ of the null Killing vector field emerges naturally. This structure determines the allowed class of string worldsheets in such a way that the tangent vector fields of the worldsheet lie in $\ker \mathrm{d}η$. In the special case that the almost contact structure becomes a contact structure, its Reeb vector field completely characterizes the worldsheet. We apply our formulation to the strings in the pp-waves, the Einstein static universe and the Gödel universe. We also study their worldsheet geometry in detail.

gr-qc↗
arXiv2020

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.

quant-ph↗
arXiv2018

Disturbance by optimal discrimination

We discuss the disturbance by measurements which unambiguously discriminate between given candidate states. We prove that such an optimal measurement necessarily changes distinguishable states indistinguishable when the inconclusive outcome is obtained. The result was previously shown by Chefles~[Phys. Lett. A 239, 339 (1998)] under restrictions on the class of quantum measurements and on the definition of optimality. Our theorems remove these restrictions and are also applicable to infinitely many candidate states. Combining with our previous results, one can obtain concrete mathematical conditions for the resulting states. The method may have a wide variety of applications in contexts other than state discrimination.

quant-ph↗
arXiv2017

Cohomogeneity-one-string integrability of spacetimes

We present a framework for reducing all possible cohomogeneity-one strings, i.e., strings with geometrical symmetry, in a given spacetime to mechanical systems, and for analyzing integrability of the systems. As applications, it is clarified whether the systems of cohomogeneity-one strings in $AdS_5$, $AdS_5 \times S^5$, and $AdS_5 \times T^{p,q}$ are integrable or not. This method may reveal a different type of hidden symmetry of spacetimes.

hep-th↗
arXiv2017

State protection by quantum control before and after noise

We discuss the possibility of protecting the state of a quantum system that goes through noise by measurements and operations before and after the noise process. We extend our previous result on nonexistence of "truly quantum" protocols that protect an unknown qubit state against the depolarizing noise better than "classical" ones [Phys. Rev. A, 95, 022321 (2017)] in two directions. First, we show that the statement is also true in any finite-dimensional Hilbert spaces, which was previously conjectured, the optimal protocol is either the do nothing protocol or the discriminate and reprepare protocol, depending on the strength of the noise. Second, in the case of a qubit, we show that essentially the same conclusion holds for any unital noise. These results describe the fundamental limitations in quantum mechanics from the viewpoint of control theory.

quant-ph↗
arXiv2017

Noise suppression by quantum control before and after the noise

We discuss the possibility of protecting the state of a quantum system that goes through noise, by measurements/operations before and after the noise process. The aim is to seek for the optimal protocol that makes the input and output states as close as possible and clarify the role of the measurements therein. We consider two cases, one can perform quantum measurements/operations (i) only after the noise process and (ii) both before and after that. We prove in the two-dimensional Hilbert space that, in the case (i), the noise suppression is essentially impossible for all types of noise and, in the case (ii), the optimal protocol for the depolarizing noise is either the "do nothing" protocol or the "discriminate & reprepare" protocol. These protocols are not "truly quantum" and can be considered as classical. They involve no measurement or only use the measurement outcomes. These results describe the fundamental limitations in quantum mechanics from the viewpoint of control theory. Finally, we conjecture that a statement similar to the case (ii) holds for higher-dimensional Hilbert spaces and present some numerical evidence.

quant-ph↗
arXiv2016

Distinguishability of countable quantum states and von Neumann lattice

Condition for distinguishability of countably infinite number of pure states by a single measurement is given. Distinguishability is to be understood as possibility of an unambiguous measurement. For finite number of states, it is known that the necessary and sufficient condition of distinguishability is that the states are linearly independent. For infinite number of states, several natural classes of distinguishability can be defined. We give a necessary and sufficient condition for a system of pure states to be distinguishable. It turns out that each level of distinguishability naturally corresponds to one of the generalizations of linear independence to families of infinite vectors. As an important example, we apply the general theory to von Neumann's lattice, a subsystem of coherent states which corresponds to a lattice in the classical phase space. We prove that the condition for distinguishability is that the area of the fundamental region of the lattice is greater than the Planck constant, and also find subtle behavior on the threshold. These facts reveal the measurement theoretical meaning of the Planck constant and give a justification for the interpretation that it is the smallest unit of area in the phase space. The cases of uncountably many states and of mixed states are also discussed.

quant-ph↗
arXiv2014

Membranes with a symmetry of cohomogeneity one

We study the dynamics of the Nambu-Goto membranes with cohomogeneity one symmetry, i.e., the membranes whose trajectories are foliated by homogeneous surfaces. It is shown that the equation of motion reduces to a geodesic equation on a certain manifold, which is constructed from the original spacetime and Killing vector fields thereon. A general method is presented for classifying the symmetry of cohomogeneity one membranes in a given spacetime. The classification is completely carried out in Minkowski spacetime. We analyze one of the obtained classes in depth and derive an exact solution.

gr-qc↗
arXiv2011

On Amplification by Weak Measurement

We analyze the amplification by the Aharonov-Albert-Vaidman weak quantum measurement on a Sagnac interferometer [P. B. Dixon et al., Phys. Rev. Lett. 102, 173601 (2009)] up to all orders of the coupling strength between the measured system and the measuring device. The amplifier transforms a small tilt of a mirror into a large transverse displacement of the laser beam. The conventional analysis has shown that the measured value is proportional to the weak value, so that the amplification can be made arbitrarily large in the cost of decreasing output laser intensity. It is shown that the measured displacement and the amplification factor are in fact not proportional to the weak value and rather vanish in the limit of infinitesimal output intensity. We derive the optimal overlap of the pre- and post-selected states with which the amplification become maximum. We also show that the nonlinear effects begin to arise in the performed experiments so that any improvements in the experiment, typically with an amplification greater than 100, should require the nonlinear theory in translating the observed value to the original displacement.

quant-ph↗
arXiv2010

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.

quant-ph↗
arXiv2010

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.

gr-qc↗
arXiv2010

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.

gr-qc↗
arXiv2010

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.

gr-qc↗