Source author record

Takayuki Miyadera

Takayuki Miyadera 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

21works
4topics
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

21 published item(s)

preprint2020arXiv

Preparation Uncertainty Implies Measurement Uncertainty in a Class of Generalized Probabilistic Theories

In quantum theory, it is known for a pair of noncommutative observables that there is no state on which they take simultaneously definite values, and that there is no joint measurement of them. They are called preparation uncertainty and measurement uncertainty respectively, and research has unveiled that they are not independent from but related with each other in a quantitative way. This study aims to reveal whether similar relations to quantum ones hold also in generalized probabilistic theories (GPTs). In particular, a certain class of GPTs is considered which can be characterized by transitivity and self-duality and regarded as extensions of quantum theory. It is proved that there are close connections expressed quantitatively between two types of uncertainty on a pair observables also in those theories: if preparation uncertainty exists, then measurement uncertainty also exists, and they are described by similar inequalities. Our results manifest that their correspondences are not specific to quantum theory but more universal ones.

preprint2019arXiv

Witnessing incompatibility of quantum channels

We introduce the notion of incompatibility witness for quantum channels, defined as an affine functional that is non-negative on all pairs of compatible channels and strictly negative on some incompatible pair. This notion extends the recent definition of incompatibility witnesses for quantum measurements. We utilize the general framework of channels acting on arbitrary finite dimensional von Neumann algebras, thus allowing us to investigate incompatibility witnesses on measurement-measurement, measurement-channel and channel-channel pairs. We prove that any incompatibility witness can be implemented as a state discrimination task in which some intermediate classical information is obtained before completing the task. This implies that any incompatible pair of channels gives an advantage over compatible pairs in some such state discrimination task.

preprint2016arXiv

Approximating relational observables by absolute quantities: A quantum accuracy-size trade-off

The notion that any physical quantity is defined and measured relative to a reference frame is traditionally not explicitly reflected in the theoretical description of physical experiments where, instead, the relevant observables are typically represented as "absolute" quantities. However, the emergence of the resource theory of quantum reference frames as a new branch of quantum information science in recent years has highlighted the need to identify the physical conditions under which a quantum system can serve as a good reference. Here we investigate the conditions under which, in quantum theory, an account in terms of absolute quantities can provide a good approximation of relative quantities. We find that this requires the reference system to be large in a suitable sense.

preprint2016arXiv

Energy-Time Uncertainty Relations in Quantum Measurements

Quantum measurement is a physical process. A system and an apparatus interact for a certain time period (measurement time), and during this interaction, information about an observable is transferred from the system to the apparatus. In this study, we quantify the energy fluctuation of the quantum apparatus required for this physical process to occur autonomously. We first examine the so-called standard model of measurement, which is free from any non-trivial energy-time uncertainty relation, to find that it needs an external system that switches on the interaction between the system and the apparatus. In such a sense this model is not closed. Therefore to treat a measurement process in a fully quantum manner we need to consider a "larger" quantum apparatus which works also as a timing device switching on the interaction. In this setting we prove that a trade-off relation (energy-time uncertainty relation), $τ\cdot ΔH_A \geq \frac{π\hbar}{4}$, holds between the energy fluctuation $ΔH_A$ of the quantum apparatus and the measurement time $τ$. We use this trade-off relation to discuss the spacetime uncertainty relation concerning the operational meaning of the microscopic structure of spacetime. In addition, we derive another trade-off inequality between the measurement time and the strength of interaction between the system and the apparatus.

preprint2015arXiv

An Invitation to Quantum Incompatibility

In the context of a physical theory, two devices, A and B, described by the theory are called incompatible if the theory does not allow the existence of a third device C that would have both A and B as its components. Incompatibility is a fascinating aspect of physical theories, especially in the case of quantum theory. The concept of incompatibility gives a common ground for several famous impossibility statements within quantum theory, such as ``no-cloning'' and ``no information without disturbance''; these can be all seen as statements about incompatibility of certain devices. The purpose of this paper is to give a concise overview of some of the central aspects of incompatibility.

preprint2015arXiv

Solution to the mean king's problem using quantum error-correcting codes

We discuss the so-called mean king's problem, a retrodiction problem among non-commutative observables, in the context of error detection. Describing the king's measurement effectively by a single error operation, we give a solution of the mean king's problem using quantum error-correcting codes. The existence of a quantum error-correcting code from a solution is also presented.

preprint2014arXiv

Qualitative Noise-Disturbance Relation for Quantum Measurements

The inherent connection between noise and disturbance is one of the most fundamental features of quantum measurements. In the two well-known extreme cases a measurement either makes no disturbance but then has to be totally noisy or is as accurate as possible but then has to disturb so much that all subsequent measurements become redundant.Most of the measurements are, however, something between these two extremes.We derive a structural relation between observables and channels that properly explains the trade-off between noise and disturbance.

preprint2014arXiv

Universality of Sequential Quantum Measurements

Unavoidable disturbance caused by a quantum measurement implies that the realizable subsequent measurements are getting limited after one performs some measurement. The obvious general limitation that one cannot circumvent by sequential or any other method is that the actually implemented measurements must be jointly measurable. In this work we show that any jointly measurable pair of observables can be obtained in a sequential measurement scheme, even if the second observable would be decided after the first measurement. This universality feature holds only for measurement schemes with a specific structure. As a supplementing result, we provide a characterization of all possible joint measurements obtained from a sequential measurement lacking universality.

preprint2013arXiv

Strongly Incompatible Quantum Devices

The fact that there are quantum observables without a simultaneous measurement is one of the fundamental characteristics of quantum mechanics. In this work we expand the concept of joint measurability to all kinds of possible measurement devices, and we call this relation compatibility. Two devices are incompatible if they cannot be implemented as parts of a single measurement setup. We introduce also a more stringent notion of incompatibility, strong incompatibility. Both incompatibility and strong incompatibility are rigorously characterized and their difference is demonstrated by examples.

preprint2011arXiv

Quantum Kolmogorov Complexity and Bounded Quantum Memory

In this study, the effect of bounded quantum memory in a primitive information protocol has been examined using the quantum Kolmogorov complexity as a measure of information. We employed a toy two-party protocol in which Bob by using a bounded quantum memory and an unbounded classical memory estimates a message that was encoded in qubits by Alice in one of the bases X or Z. Our theorem gave a nontrivial effect of the memory boundedness. In addition, a generalization of the uncertainty principle in the presence of quantum memory has been obtained.

preprint2011arXiv

Quantum Kolmogorov Complexity and Information-Disturbance Theorem

In this paper, a representation of the information-disturbance theorem based on the quantum Kolmogorov complexity that was defined by P. Vitanyi has been examined. In the quantum information theory, the information-disturbance relationship, which treats the trade-off relationship between information gain and its caused disturbance, is a fundamental result that is related to Heisenberg's uncertainty principle. The problem was formulated in a cryptographic setting and quantitative relationships between complexities have been derived.

preprint2011arXiv

Relation between information and disturbance in quantum key distribution protocol with classical Alice

The "semiquantum" key distribution protocol introduced by Zou et al. [Phys. Rev. A Vol.79, 052312 (2009)] is examined. The protocol while using two-way quantum communication requires only Bob to be fully quantum. We derive a trade-off inequality between information gained by Eve and the disturbance observed by legitimate users. It guarantees that Eve cannot obtain large information if the disturbance is sufficiently small.

preprint2011arXiv

Relation between strength of interaction and accuracy of measurement for a quantum measurement

The process of measuring a two-level quantum system was examined by applying Hamiltonian formalism. For the measurement of an observable that does not commute with the system Hamiltonian, a non-trivial relationship among the strength of interaction, the time interval of the process, and the accuracy of the measurement was obtained. Particularly, to achieve an error-free measurement of such an observable, a condition stating that the interaction Hamiltonian does not commute with the system Hamiltonian needs to be satisfied.

preprint2011arXiv

Uncertainty Relations for Joint Localizability and Joint Measurability in Finite-Dimensional Systems

Two quantities quantifying uncertainty relations are examined. In J.Math.Phys. 48, 082103 (2007), Busch and Pearson investigated the limitation on joint localizability and joint measurement of position and momentum by introducing overall width and error bar width. In this paper, we show a simple relationship between these quantities for finite-dimensional systems. Our result indicates that if there is a bound on joint localizability, it is possible to obtain a similar bound on joint measurability. For finite-dimensional systems, uncertainty relations for a pair of general projection-valued measures are obtained as by-products.

preprint2009arXiv

Optimal Observables for Minimum-Error State Discrimination in General Probabilistic Theories

General Probabilistic Theories provide the most general mathematical framework for the theory of probability in an operationally natural manner, and generalize classical and quantum theories. In this article, we study state-discrimination problems in general probabilistic theories using a Bayesian strategy. After re-formulation of the theories with mathematical rigor, we first prove that an optimal observable to discriminate any (finite) number of states always exists in the most general setting. Next, we revisit our recently proposed geometric approach for the problem and show that, for two-state discrimination, this approach is indeed effective in arbitrary dimensional cases. Moreover, our method reveals an operational meaning of Gudder's ``intrinsic metric'' by means of the optimal success probability, which turns out to be a generalization of the trace distance for quantum systems. As its by-product, an information-disturbance theorem in general probabilistic theories is derived, generalizing its well known quantum version.

preprint2009arXiv

Optimal State Discrimination in General Probabilistic Theories

We investigate a state discrimination problem in operationally the most general framework to use a probability, including both classical, quantum theories, and more. In this wide framework, introducing closely related family of ensembles (which we call a {\it Helstrom family of ensembles}) with the problem, we provide a geometrical method to find an optimal measurement for state discrimination by means of Bayesian strategy. We illustrate our method in 2-level quantum systems and in a probabilistic model with square-state space to reproduce e.g., the optimal success probabilities for binary state discrimination and $N$ numbers of symmetric quantum states. The existences of families of ensembles in binary cases are shown both in classical and quantum theories in any generic cases.

preprint2003arXiv

Dynamical aspects of quantum entanglement for coupled mapping systems

We investigate how the dynamical production of quantum entanglement for weakly coupled mapping systems is influenced by the chaotic dynamics of the corresponding classical system. We derive a general perturbative formula for the entanglement production rate which is defined by using the linear entropy of the subsystem. This formula predicts that {\it the increment of the strength of chaos does not enhance the production rate of entanglement} when the coupling is weak enough and the subsystems are strongly chaotic. The prediction is confirmed by numerical experiments for coupled kicked tops and rotors. We also discuss the entanglement production using the Husimi representation of the reduced density matrix.

preprint2003arXiv

Nonequilibrium steady states on 1-d lattice systems and Goldstone theorem

On one-dimensional two-way infinite lattice system, a property of stationary (space-) translationally invariant states with nonvanishing current expectations are investigated. We consider GNS representation with respect to such a state, on which we have a group of space-time translation unitary operators. We show, by applying Goldstone-theorem-like argument,that spectrum of the unitary operators, energy-momentum spectrum with respect to the state, has a singularity at the origin.

preprint2001arXiv

Cluster Property and Robustness of Ground States of Interacting Many Bosons

We study spatial correlation functions of local operators of interacting many bosons confined in a box of a large, but volume V, for various `ground states' whose energy densities are almost degenerate. The ground states include the coherent state of interacting bosons (CSIB), the number state of interacting bosons (NSIB), and the number-phase squeezed state of interacting bosons, which interpolates between the CSIB and NSIB. It was shown previously that only the CSIB is robust (i.e., does not decohere for a macroscopically long time) against the leakage of bosons into an environment. We show that for the CSIB the spatial correlation of any local operators A(r) and B(r') (which are localized around r and r', respectively) vanishes as |r - r' | \sim V^{1/3} \to \infty, i.e., the CSIB has the `cluster property.' In contrast, the other ground states do not possess the cluster property. Therefore, we have successfully shown that the robust state has the cluster property. This ensures the consistency of the field theory of bosons with macroscopic theories.