arXiv subjects

Hiromichi Ohno

Publications and source records attributed to Hiromichi Ohno.

At least 19 recordsLinked to original sources

arXiv2026

Beyond Robertson-Schrödinger: A General Uncertainty Relation Unveiling Hidden Noncommutative Trade-offs

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 \emph{exact equality} for \emph{any} state and \emph{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.

quant-ph↗

arXiv2025

Spectrum for a non-unitary one-dimensional two-state quantum walk with one defect

Existence of the eigenvalues of the discrete-time quantum walks is deeply related to localization. Also, for the study of open quantum systems, non-Hermitian systems have attracted much attention. As mathematical models for such systems, non-unitary quantum walks with the chiral symmetry are essential for the study of the topological insulator. In this paper, we give the whole picture of the eigenvalues of a non-unitary one-dimensional two-state quantum walks with one defect and the chiral symmetry.

math-ph↗

arXiv2024

A mathematical framework for maze solving using quantum walks

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 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.

quant-ph↗

arXiv2024

Uncertainty relations based on state-dependent norm of commutator

We introduce two uncertainty relations based on the state-dependent norm of commutators, utilizing generalizations of the Böttcher-Wenzel inequality. The first relation is mathematically proven, while the second, tighter relation is strongly supported by numerical evidence. Both relations surpass the conventional Robertson and Schrödinger bounds, particularly as the quantum state becomes increasingly mixed. This reveals a previously undetected complementarity of quantum uncertainty, stemming from the non-commutativity of observables. We also compare our results with the Luo-Park uncertainty relation, demonstrating that our bounds can outperform especially for mutually unbiased observables.

quant-ph↗

arXiv2024

Böttcher-Wenzel inequality for weighted Frobenius norms and its application to quantum physics

By employing a weighted Frobenius norm with a positive matrix $ω$, we introduce natural generalizations of the famous Böttcher-Wenzel (BW) inequality. Based on the combination of the weighted Frobenius norm $\|A\|_ω:= \sqrt{{\rm tr}(A^\ast A ω)}$ and the standard Frobenius norm $\|A\| := \sqrt{{\rm tr}(A^\ast A)}$, there are exactly five possible generalizations, labeled (i) through (v), for the bounds on the norms of the commutator $[A,B]:= AB - BA$. In this paper, we establish the tight bounds for cases (iii) and (v), and propose conjectures regarding the tight bounds for cases (i) and (ii). Additionally, the tight bound for case (iv) is derived as a corollary of case (i). All these bounds (i)-(v) serve as generalizations of the BW inequality. The conjectured bounds for cases (i) and (ii) (and thus also (iv)) are numerically supported for matrices up to size $n=15$. Proofs are provided for $n=2$ and certain special cases. Interestingly, we find applications of these bounds in quantum physics, particularly in the contexts of the uncertainty relation and open quantum dynamics.

math-ph↗

arXiv2022

One parameter generalization of BW inequality and its application to open quantum dynamics

In this paper, we introduce a one parameter generalization of the famous Böttcher-Wenzel (BW) inequality in terms of a $q$-deformed commutator. For $n \times n$ matrices $A$ and $B$, we consider the inequality \[ \Re\langle[B,A],[B,A]_q\rangle \le c(q) \|A\|^2 \|B\|^2, \] where $\langle A,B \rangle = {\rm tr}(A^*B)$ is the Hilbert-Schmidt inner product, $\|A\|$ is the Frobenius norm, $[A,B] =AB-BA$ is the commutator, and $[A,B]_q =AB-qBA$ is the $q$-deformed commutator. We prove that when $n=2$, or when $A$ is normal with any size $n$, the optimal bound is given by \[ c(q) = \frac{(1+q) +\sqrt{2(1+q^2)}}{2}. \] We conjecture that this is also true for any matrices, and this conjecture is perfectly supported for $n$ up to $15$ by numerical optimization. When $q=1$, this inequality is exactly BW inequality. When $q=0$, this inequality leads the sharp bound for the $r$-function which is recently derived for the application to universal constraints of relaxation rates in open quantum dynamics.

math.QA↗

arXiv2022

Bounding the Frobenius norm of a q-deformed commutator

For two $n \times n$ complex matrices $A$ and $B$, we define the $q$-deformed commutator as $[ A, B ]_q := A B - q BA$ for a real parameter $q$. In this paper, we investigate a generalization of the Böttcher-Wenzel inequality which gives the sharp upper bound of the (Frobenius) norm of the commutator. In our generalisation, we investigate sharp upper bounds on the $q$-deformed commutator. This generalization can be studied in two different scenarios: firstly bounds for general matrices, and secondly for traceless matrices. For both scenarios, partial answers and conjectures are given for positive and negative $q$. In particular, denoting the Frobenius norm by $||.||_F$, when either $A$ or $B$ is normal, we prove the following inequality to be true and sharp: $|| [ A , B ]_q||_F^2 \le \left(1+q^2 \right) ||A||_F^2 ||B||_F^2$ for positive $q$. Also, we conjecture that the same bound is true for positive $q$ when either $A$ or $B$ is traceless. For negative $q$, we conjecture other sharp upper bounds to be true for the generic scenarios and the scenario when either of $A$ or $B$ is traceless. All conjectures are supported with numerics and proved for $n=2$.

math.QA↗

arXiv2021

Constraints for the spectra of generators of quantum dynamical semigroups

Motivated by a spectral analysis of the generator of completely positive trace-preserving semigroup, we analyze a real functional $$ A,B \in M_n(\mathbb{C}) \to r(A,B) = \frac{1}{2}\Bigl(\langle [B,A],BA\rangle + \langle [B,A^\ast],BA^\ast \rangle \Bigr) \in \mathbb{R} $$ where $\langle A,B\rangle := {\rm tr} (A^\ast B)$ is the Hilbert-Schmidt inner product, and $[A,B]:= AB - BA$ is the commutator. In particular we discuss the upper and lower bounds of the form $c_- \|A\|^2 \|B\|^2 \le r(A,B) \le c_+ \|A\|^2 \|B\|^2$ where $\|A\|$ is the Frobenius norm. We prove that the optimal upper and lower bounds are given by $c_\pm = \frac{1 \pm \sqrt{2}}{2}$. If $A$ is restricted to be traceless, the bounds are further improved to be $c_\pm = \frac{1 \pm \sqrt{2(1-\frac{1}{n})}}{2}$. Interestingly, these upper bounds, especially the latter one, provide new constraints on relaxation rates for the quantum dynamical semigroup tighter than previously known constraints in the literature. A relation with Böttcher-Wenzel inequality is also discussed.

math-ph↗

arXiv2021

Unitary equivalence classes of split-step quantum walks

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.

quant-ph↗

arXiv2020

The adjacency matrices and the transition matrices related to random walks on graphs

A pointed graph $(Γ,v_0)$ induces a family of transition matrices in Wildberger's construction of a hermitian hypergroup via a random walk on $Γ$ starting from $v_0$. We will give a necessary condition for producing a hermitian hypergroup as we assume a weaker condition than the distance-regularity for $(Γ,v_0)$. The condition obtained in this paper connects the transition matrices and the adjacency matrices associated with $Γ$.

math.CO↗

arXiv2020

Parameterization of quantum walks on cycles

This study investigate the unitary equivalence classes of quantum walks on cycles. We show that unitary equivalence classes of quantum walks on a cycle with $N$ vertices are parameterized by $2N$ real parameters. Moreover, the ranges of two of the parameters are restricted, and the ranges depend on the parity of $N$.

math-ph↗

arXiv2017

Unitary equivalent classes of one-dimensional quantum walks II

This study investigated the unitary equivalent classes of one-dimensional quantum walks. We determined the unitary equivalent classes of one-dimensional quantum walks, two-phase quantum walks with one defect, complete two-phase quantum walks, one-dimensional quantum walks with one defect and translation-invariant one-dimensional quantum walks. The unitary equivalent classes of one-dimensional quantum walks with initial states were also considered.

math-ph↗

arXiv2016

Unitary equivalent classes of one-dimensional quantum walks

This study investigates unitary equivalent classes of one-dimensional quantum walks. We prove that one-dimensional quantum walks are unitary equivalent to quantum walks of Ambainis type and that translation-invariant one-dimensional quantum walks are Szegedy walks. We also present a necessary and sufficient condition for a one-dimensional quantum walk to be a Szegedy walk.

math-ph↗

arXiv2015

Non-commutative hypergroup of order five

We prove that all hypergroups of order four are commutative and that there exists a non-comutative hypergroup of order five. These facts imply that the minimum order of non-commutative hypergroups is five even though the minimum order of non-commutative groups is six.

math.GR↗

arXiv2010

Quantum Markov fields on graphs

We introduce generalized quantum Markov states and generalized d-Markov chains which extend the notion quantum Markov chains on spin systems to that on $C^*$-algebras defined by general graphs. As examples of generalized d-Markov chains, we construct the entangled Markov fields on tree graphs. The concrete examples of generalized d-Markov chains on Cayley trees are also investigated.

math.FA↗

arXiv2009

Maximal rank of extremal marginal tracial states

States on coupled quantum system whose restrictions to each subsystems are normalized traces are called marginal tracial states. We investigate extremal marginal tracial states and maximal rank of such states. Diagonal marginal tracial states are also considered.

math.OA↗

arXiv2009

Relation between the Dynamics of the Reduced Purity and Correlations

A general property of the relation between the dynamics of the reduced purity and correlations is investigated in quantum mechanical systems. We show that a non-zero time-derivative of the reduced purity of a system implies the existence of non-zero correlations with its environment under any unbounded Hamiltonians with finite variance. This shows the role of local dynamical information on the correlations, as well as the role of correlations in the mechanism of purity change.

quant-ph↗

arXiv2008

Generalizations of Pauli channels

The Pauli channel acting on 2 x 2 matrices is generalized to an n-level quantum system. When the full matrix algebra M is decomposed into pairwise complementary subalgebras, then trace-preserving linear mappings from M to M are constructed such that the restriction to the subalgebras are depolarizing channels. The result is the necessary and sufficient condition of complete positivity. The main examples appear on bipartite systems

math-ph↗