arXiv subjects

Gen Kimura

Publications and source records attributed to Gen Kimura.

At least 19 recordsLinked to original sources

arXiv2026

Another Legacy of Andrzej Kossakowski: A Self-Contained Derivation of the GKLS Equation

This note is written for the special issue of OSID dedicated to the 50th anniversary of the Gorini--Kossakowski--Lindblad--Sudarshan equation. Its purpose is not to give a comprehensive historical review, but rather to reconstruct, in a self-contained way, one logical route leading to the GKLS generator. The emphasis is placed on Kossakowski's structural insight: the combination of Markovianity, complete positivity, trace preservation, and the infinitesimal structure of quantum dynamical semigroups naturally leads to the celebrated form of the generator. I also include a few personal recollections of Andrzej Kossakowski, under whose guidance I spent one year as a postdoctoral researcher in 2003--2004.

quant-ph↗

arXiv2026

Uncertainty Relation for a Single Observable

Uncertainty relations are usually formulated as trade-off relations between two or more observables. Here we show that the uncertainty of a single observable already has a nontrivial lower bound originating from the noncommutativity between the observable and the quantum state. We prove sharp lower bounds on the variance of a single observable and then sharpen them further by introducing the classical uncertainty of the observable under a fixed state. The optimal coefficient is determined solely by the smallest and largest eigenvalues of the state. Our results include an optimal state-dependent improvement of Luo's Wigner--Yanase-type relation and a direct bound showing that coherence or asymmetry of the state with respect to the observable gives an unavoidable contribution to its uncertainty. For qubits, the sharpened bounds become exact identities, giving a complete decomposition of the variance into classical and noncommutative parts. These single-observable relations also yield improved product-form uncertainty relations for pairs of observables.

quant-ph↗

arXiv2025

Universal bound on the Lyapunov spectrum of quantum master equations

The spectral properties of positive maps are pivotal for understanding the dynamics of quantum systems interacting with their environment. Furthermore, central problems in quantum information such as the characterization of entanglement can be reformulated in terms of spectral properties of positive maps. The present work aims to contribute to a better understanding of the spectrum of positive maps. Specifically, our main result is a new proof of a universal bound on the $d^{2}-1$ generically non vanishing decay rates $\Gamma_{i}$ of time-autonomous quantum master equations on a $d$-dimensional Hilbert space: $$\Gamma_{\mathrm{max}}\,\leq\,\varkappa_{d}\,\sum_{i=1}^{d^{2}-1}\Gamma_{i}$$ The prefactor $\varkappa_{d}$ %, which we explicitly determine, depends only on the dimension $d$ and varies depending on the sub-class of positive maps to which the semigroup solution of the master equation belongs. We provide a brief but self-consistent survey of these concepts. We obtain our main result by resorting to the theory of Lyapunov exponents, a central concept in the study of dynamical systems, control theory, and out-of-equilibrium statistical mechanics. We thus show that progress in understanding positive maps in quantum mechanics may require ideas at the crossroads between different disciplines. For this reason, we adopt a notation and presentation style aimed at reaching readers with diverse backgrounds.

quant-ph↗

arXiv2025

Universal Bound on the Eigenvalues of 2-Positive Trace-Preserving Maps

We prove an upper bound on the trace of any 2-positive, trace-preserving map in terms of its smallest eigenvalue. We show that this spectral bound is tight, and that 2-positivity is necessary for this inequality to hold in general. Moreover, we use this to infer a similar bound for generators of one-parameter semigroups of 2-positive trace-preserving maps. With this approach we generalize known results for completely positive trace-preserving dynamics while providing a significantly simpler proof that is entirely algebraic.

math.RA↗

arXiv2025

A universal constraint for relaxation rates for quantum Markov generators: complete positivity and beyond

Relaxation rates are key characteristics of quantum processes, as they determine how quickly a quantum system thermalizes, equilibrates, decoheres, and dissipates. While they play a crucial role in theoretical analyses, relaxation rates are also often directly accessible through experimental measurements. Recently, it was shown that for quantum processes governed by Markovian semigroups, the relaxation rates satisfy a universal constraint: the maximal rate is upper-bounded by the sum of all rates divided by the dimension of the Hilbert space. This bound, initially conjectured a few years ago, was only recently proven using classical Lyapunov theory. In this work, we present a new, purely algebraic proof of this constraint. Remarkably, our approach is not only more direct but also allows for a natural generalization beyond completely positive semigroups. We show that complete positivity can be relaxed to 2-positivity without affecting the validity of the constraint. This reveals that the bound is more subtle than previously understood: 2-positivity is necessary, but even when further relaxed to Schwarz maps, a slightly weaker -- yet still non-trivial -- universal constraint still holds. Finally, we explore the connection between these bounds and the number of steady states in quantum processes, uncovering a deeper structure underlying their behavior.

quant-ph↗

arXiv2025

Tight Generalization of Robertson-Type Uncertainty Relations

We establish the tightest possible Robertson-type preparation uncertainty relation, which explicitly depends on the eigenvalues of the quantum state. The conventional constant $ \tfrac{1}{4} $ is replaced by a state-dependent coefficient $\frac{(\lambda_{\max} + \lambda_{\min})^2}{4(\lambda_{\max} - \lambda_{\min})^2}$, where $ \lambda_{\max} $ and $ \lambda_{\min}$ denote the largest and smallest eigenvalues of the density operator $\rho$, respectively. This coefficient is optimal among all Robertson-type generalizations and does not admit further improvement.Our relation becomes more pronounced as the quantum state becomes more mixed, capturing a trade-off in quantum uncertainty that the conventional Robertson's relation fails to detect. In addition, our result also provides a strict generalization of the Schr\"oedinger's uncertainty relation, showing that the uncertainty trade-off is governed by the sum of the covariance term and a state-dependent improvement over the Robertson bound. As applications, we also refine error-disturbance trade-offs by incorporating spectral information of both the system and the measuring apparatus,thereby generalizing the Arthurs--Goodman and Ozawa inequalities.

quant-ph↗

arXiv2025

Beyond Robertson-Schr\"odinger: A General Uncertainty Relation Unveiling Hidden Noncommutative Trade-offs

We report a universal improvement to the standard Robertson--Schr\"odinger uncertainty relation. Our result shows that the Robertson--Schr\"odinger 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\"odinger 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

Trade-off relations between measurement dependence and hidden information for factorizable hidden variable models

The Bell theorem is explored in terms of a trade-off relation between underlying assumptions within the hidden variable model framework. In this paper, recognizing the incorporation of hidden variables as one of the fundamental assumptions, we propose a measure termed `hidden information' taking account of their distribution. This measure quantifies the number of hidden variables that essentially contribute to the empirical statistics. For factorizable models, hidden variable models that satisfy `locality' without adhering to the measurement independence criterion, we derive novel relaxed Bell-Clauser-Horne-Shimony-Holt (Bell-CHSH) inequalities. These inequalities elucidate trade-off relations between measurement dependence and hidden information in the CHSH scenario. It is also revealed that the relation gives a necessary and sufficient condition for the measures to be realized by a factorizable model.

quant-ph↗

arXiv2024

Universal bound on the relaxation rates for quantum Markovian dynamics

Relaxation rates provide important characteristics both for classical and quantum processes. Essentially they control how fast the system thermalizes, equilibrates, {decoheres, and/or dissipates}. Moreover, very often they are directly accessible to be measured in the laboratory and hence they define key physical properties of the system. Experimentally measured relaxation rates can be used to test validity of a particular theoretical model. Here we analyze a fundamental question: {\em does quantum mechanics provide any nontrivial constraint for relaxation rates?} We prove the conjecture formulated a few years ago that any quantum channel implies that a maximal rate is bounded from above by the sum of all the relaxation rates divided by the dimension of the Hilbert space. It should be stressed that this constraint is universal (it is valid for all quantum systems with finite number of energy levels) and it is tight (cannot be improved). In addition, the constraint plays an analogous role to the seminal Bell inequalities and the well known Leggett-Garg inequalities (sometimes called temporal Bell inequalities). Violations of Bell inequalities rule out local hidden variable models, and violations of Leggett-Garg inequalities rule out macrorealism. Similarly, violations of the bound rule out completely positive-divisible evolution.

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↗

arXiv2024

Universal constraint for relaxation rates of semigroups of qubit Schwarz maps

Unital qubit Schwarz maps interpolate between positive and completely positive maps. It is shown that relaxation rates of qubit semigroups of unital maps enjoying Schwarz property satisfy the universal constraint which provides a modification of the corresponding constraint known for completely positive semigroups. As an illustration we consider two paradigmatic qubit semigroups: Pauli dynamical maps and phase covariant dynamics. This result has two interesting implications: it provides a universal constraint for the spectra of qubit Schwarz maps and gives rise to a necessary condition for a Schwarz qubit map to be Markovian.

quant-ph↗

arXiv2023

Relaxed Bell inequalities as a trade-off relation between measurement dependence and hiddenness

Quantum correlations that violate the Bell inequality cannot be explained by any (measurement independent) local hidden variable theory. However, the violation only implies incompatibility of the underlying assumptions of reality, locality, and measurement independence, and does not address the extent to which each assumption is violated quantitatively. In contrast, Hall (2010,2011) gave a quantification of each assumption and generalized the Bell-CHSH inequality that gives a trade-off relationship between the underlying assumptions. In this paper, we introduce a quantification of hidden variables (hiddenness) and derive a new trade-off relation between the hiddenness and the measurement dependency that holds for any local hidden variable theory.

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

Construction of general symmetric-informationally-complete-positive-operator-valued measures by using a complete orthogonal basis

A general symmetric-informationally-complete (GSIC)-positive-operator-valued measure (POVM) is known to provide an optimal quantum state tomography among minimal IC POVMs with a fixed average purity. In this paper we provide a general construction of a GSIC POVM by means of a complete orthogonal basis (COB), also interpreted as a normal quasiprobability representation. A spectral property of a COB is shown to play a key role in the construction of SIC POVMs and also for the bound of the mean-square error of the state tomography. In particular, a necessary and sufficient condition to construct a SIC POVM for any d is constructively given by the power of traces of a COB. We give three simple constructions of COBs from which one can systematically obtain GSIC POVMs.

quant-ph↗

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↗

arXiv2022

Information storing yields a point-asymmetry of state space in general probabilistic theories

It is known that the high-dimensional quantum state space is notoriously complicated in contrast with the beautiful Bloch ball of the qubit. We examined the mechanism behind this fact in the frame work of general probabilistic theory (GPT), and found rather general quantitative relations between the geometry of the state space and its information storing capability. The main result is the information-asymmetry identity, which (up to the constant term) equates the {\it Minkowski measure of asymmetry} with the {\it information storability} which, in addition to its own operational meaning, serves as an upper bound to common information measures such as semi-classical capacity. As a consequence, the asymmetry measure is lower-bounded by information storing capability of the state space, so the increase in the latter enhances the former. Coming back to the quantum systems, the $d$-level state space cannot be symmetric "because" it can store more than a single bit of information. Also, the Holevo capacity of any quantum channel with point-symmetric image is at most a single bit. In the course of the research, we applied Shannon theory to GPT, producing a couple of new results. Also presented is a new geometrical proof of known upper bounds to information measures.

quant-ph↗

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↗