Hiromichi Ohno

We report a universal improvement to the standard Robertson–Schrödinger uncertainty relation. Our result shows that the Robertson–Schrödinger lower bound can be supplemented by a new noncommutativity-induced term. This term represents a previously overlooked quantum contribution and becomes more pronounced as the state becomes more mixed. Moreover, it is expressed as the expectation value of a positive observable, namely the squared modulus of the commutator, and therefore preserves the direct, experimentally accessible character of the Robertson–Schrödinger relation. For two-level quantum systems, our relation becomes an exact equality for any state and any pair of observables, thereby ensuring the tightness of the bound in the strongest possible sense. The relation also yields, as a corollary, a complete proof of a general uncertainty bound that had previously been supported only by numerical evidence.

We provide a mathematical framework for identifying the shortest path in a maze using a Grover walk, which becomes non-unitary by introducing absorbing holes. In this study, we define the maze as a network with vertices connected by unweighted edges. Our analysis of the stationary state of the truncated Grover walk on finite graphs, where we strategically place absorbing holes and self-loops on specific vertices, demonstrates that this approach can effectively solve mazes. By setting arbitrary start and goal vertices in the underlying graph, we obtain the following long-time results: (i) in tree structures, the probability amplitude is concentrated exclusively along the shortest path between start and goal; (ii) in ladder-like structures with additional paths, the probability amplitude is maximized near the shortest path.

This survey paper introduces several topics in quantum information theory, especially positive operator valued measures (POVMs) and entangled states. POVMs are needed to mathematically express measurements in the quantum world, and there are two special POVMs, named symmetric informationally complete POVMs and mutually unbiased bases. These two POVMs have very beautiful symmetry. We give the definitions and examples of these POVMs and discuss the existence or non-existence problem of these POVMs. Entanglement is some kind of relationship between two or more quanta. When several quanta have entanglement, the state of the quanta is called an entangled state. In this paper, quantum teleportation is introduced as an application using entangled states. Moreover, we investigate the problem of determining whether a given quantum state is an entangled state.

This study investigates the unitary equivalence of split-step quantum walks (SSQW). We consider a new class of quantum walks which includes all SSQWs. We show the explicit form of quantum walks in this class, and clarify their unitary equivalence classes. Unitary equivalence classes of Suzuki's SSQW are also given.