arXiv subjects

Koichi Yamagata

Publications and source records attributed to Koichi Yamagata.

16 recordsLinked to original sources

arXiv2026

Quantum Sufficiency for Self-Adjoint Statistical Models via Likelihood-Type Operators on Real $*$-Subalgebras and Real Jordan Algebras

We develop a theory of quantum sufficiency on real *-subalgebras and real Jordan algebras for models consisting of general self-adjoint operators, including derivatives of states. Square-root likelihood ratios and symmetric logarithmic derivatives serve as self-adjoint likelihood-type objects, allowing ordinary quantum statistical models and local models to be treated within a unified framework that admits degenerate reference states. We introduce sufficient real unital positive maps and show that their Hermitian fixed points form a real Jordan algebra admitting a sufficient Jordan conditional expectation. The real and complex *-subalgebras generated by this algebra admit sufficient real and complex completely positive conditional expectations, respectively. We characterize the minimal sufficient real *-subalgebra by the likelihood-ratio set and $ρ$-modular invariance. The minimal sufficient real Jordan algebra is generated by the likelihood-ratio set together with the operator obtained by normalizing every irreducible diagonal block of the reference state, relative to the minimal sufficient real *-subalgebra, to trace one. We also obtain Koashi-Imoto type decompositions for real *-subalgebras and real Jordan algebras admitting sufficient conditional expectations, explicitly accounting for inequivalent irreducible Jordan representations. These results separate the likelihood-ratio aspect of sufficiency from its noncommutative modular aspect and identify real Jordan structure as a natural framework for quantum statistical sufficiency.

quant-ph↗

arXiv2026

An attainable Gill-Massar-type bound for spin-factor models

We determine the exact local precision limits for single-copy estimation of smooth multiparameter quantum statistical models contained in spin factors, a class of matrix Jordan algebras whose state spaces generalize the qubit Bloch ball. At any parameter point where the symmetric logarithmic derivative (SLD) Fisher information is positive definite, we characterize the entire attainable classical Fisher-information region over all finite-outcome positive-operator-valued measurements. After SLD normalization, this region consists exactly of the real symmetric positive semidefinite matrices with trace at most one, independently of the ambient Hilbert-space dimension. This yields a sharp weighted covariance bound for every positive definite weight, attained by an explicit locally unbiased estimator based on randomized spectral measurements of SLD directions. The proof combines a statistics-preserving positive projection onto the spin factor with the two-eigenvalue structure of its effects, revealing the Jordan-algebraic origin of the tradeoff. The result extends the qubit information tradeoff to models with more than three parameters. Since the optimal measurement depends on the unknown parameter, we simulate an adaptive scheme for a five-parameter model on a four-dimensional Hilbert space and observe performance close to the optimal local benchmark.

quant-ph↗

arXiv2026

Sufficient support size of measurements for quantum estimation

In quantum estimation for a $d$-parameter family of density operators on a finite-dimensional Hilbert space $\mathcal{H}$, an estimator is specified by a pair $\left(M,\hatθ\right)$, where $M$ is a POVM with a finite outcome set $Ω$ and $\hatθ:Ω\to\mathbb{R}^{d}$ is a classical estimator map. Since the number of outcomes $\left|Ω\right|$ is a priori unbounded, the space of admissible POVMs is vast, which makes the search for optimal estimators difficult. In this paper, for the minimization of the weighted trace of the mean squared error among locally unbiased estimators, we prove that it suffices to consider POVMs with at most $\left(\dim\mathcal{H}\right)^{2}+d(d+1)/2-1$ outcomes, and that the optimization can be restricted to rank-one measurements. For Bayesian estimation with a general loss function, we show that rank-one POVMs with at most $(\dim\mathcal{H})^{2}$ outcomes are sufficient for the infimum value of the Bayes risk. Furthermore, when the model admits a real sufficient subalgebra, we show that the $\left(\dim\mathcal{H}\right)^{2}$ term in the above support-size bounds can be reduced in both the locally unbiased and Bayesian settings. These bounds substantially reduce the search space for optimal measurements and justify restricting numerical optimization to rank-one POVMs with finitely many outcomes.

quant-ph↗

arXiv2026

Bayesian Gill-Massar Bound: An Attainable Lower Bound for Qubit Parameter Estimation

We study lower bounds for Bayesian quantum parameter estimation, with a particular focus on qubit models. While several lower bounds on the Bayes risk have been proposed, including the Bayesian symmetric logarithmic derivative (B-SLD) type bound and the Bayesian Nagaoka-Hayashi (B-NH) bound, there is no definite proof available to show they are attainable except for special cases. Thus, identifying attainable bounds together with their corresponding optimal measurement strategies remains a central open problem in Bayesian quantum estimation. In this work, we introduce a new Bayesian lower bound, referred to as the Bayesian Gill-Massar (B-GM) bound, inspired by the logic of Gill-Massar bound in point estimation. We derive an analytical closed-form expression of the bound and show that it is attainable for any qubit model. In particular, we prove that the optimal Bayesian strategy can be realized by a projection-valued measure associated with a single effective direction determined by the weight matrix and the B-SLD-type Fisher information matrix. We provide numerical comparisons between the B-GM, B-NH, and B-SLD-type bounds in higher-dimensional models. Our results show that the B-GM bound has a limitation in high-dimensional models with few parameters, since it can be negative.

quant-ph↗

arXiv2026

Bayesian Monotone Metrics for Multiparameter Quantum Estimation

Bayesian quantum estimation offers a finite-data framework for quantum sensing and metrology, yet a unified geometric formulation for multiparameter Bayes risk has been lacking. We introduce Bayesian monotone metrics by evaluating Petz monotone metrics on the prior-averaged state, providing a Bayesian extension of the full class of statistically meaningful (CPTP) quantum metrics. This framework yields Bayesian quantities, including quantum posterior-mean operators and a quantum Bayesian dual Fisher-information matrix, and it leads to a systematic family of computable lower bounds on the Bayes risk. The resulting bounds naturally incorporate multiparameter measurement incompatibility and, for every monotone metric in the family, we prove a universal dominance over the corresponding quantum van Trees (Bayesian Cramér--Rao) bound. Moreover, we show that optimizing over all operator monotone functions collapses to a one-parameter subfamily, turning the tightest bound into a tractable optimization with a clear geometric interpretation. In representative examples, the optimized bounds are strictly tighter than the Bayesian SLD and RLD bounds. Our results establish Bayesian monotone metrics as a unifying information-geometric perspective on Bayesian quantum estimation, enabling systematic and computable performance limits in multiparameter settings.

quant-ph↗

arXiv2026

A game-theoretic probability approach to loopholes in CHSH experiments

We study the CHSH inequality from an informational, timing-sensitive viewpoint using game-theoretic probability, which avoids assuming an underlying probability space. The locality loophole and the measurement-dependence (``freedom-of-choice'') loophole are reformulated as structural constraints in a sequential hidden-variable game between Scientists and Nature. We construct a loopholes-closed game with capital processes that test (i) convergence of empirical conditional frequencies to the CHSH correlations and (ii) the absence of systematic correlations between measurement settings and Nature's hidden-variable assignments, and prove that Nature cannot satisfy both simultaneously: at least one capital process must diverge. This yields an operational winning strategy for Scientists and a game-theoretic probabilistic interpretation of experimentally observed CHSH violations.

quant-ph↗

arXiv2024

Gill and Massar type bound for estimation of $SU(2)$ channel

In the estimation for a parametric family of quantum state on a Hilbert space $\mathcal{H}$, the Gill and Massar bound is known as a lower bound of weighted traces of covariances of unbiased estimators. The Gill and Massar bound is derived by considering the convexity of the set of classical Fisher information matrices, and the bound is locally achievable by using randomized strategies when $\mathcal{H}=\mathbb{C}^{2}$. In this paper, we show that estimation for a parametric $SU(2)$ unitary channel model has a similar convex structure as qubit state model, and a Gill and Massar type lower bound of weighted traces of covariances of unbiased estimators can be derived for any weight matrix. We show that the Gill and Massar type lower bound is achievable by using randomized strategies when certain conditions are satisfied. To derive a convex structure of the set of classical Fisher information matrices, we introduce a Fisher information matrix $J^{(U)}$ for a $SU(2)$ unitary channel model, and we show a upper bound of inverse $J^{(U)}$ weighted trace of classical Fisher information matrix. The optimal randomized strategy we construct in this paper does not require ancilla systems in many cases.

quant-ph↗

arXiv2024

Efficiency of estimators for locally asymptotically normal quantum statistical models

We herein establish an asymptotic representation theorem for locally asymptotically normal quantum statistical models. This theorem enables us to study the asymptotic efficiency of quantum estimators such as quantum regular estimators and quantum minimax estimators, leading to a universal tight lower bound beyond the i.i.d. assumption. This formulation complements the theory of quantum contiguity developed in the previous paper [Fujiwara and Yamagata, Bernoulli 26 (2020) 2105-2141], providing a solid foundation of the theory of weak quantum local asymptotic normality.

quant-ph↗

arXiv2021

Maximum logarithmic derivative bound on quantum state estimation as a dual of the Holevo bound

In quantum estimation theory, the Holevo bound is known as a lower bound of weighed traces of covariances of unbiased estimators. The Holevo bound is defined by a solution of a minimization problem, and in general, explicit solution is not known. When the dimension of Hilbert space is two and the number of parameters is two, a explicit form of the Holevo bound was given by Suzuki. In this paper, we focus on a logarithmic derivative lies between the symmetric logarithmic derivative (SLD) and the right logarithmic derivative (RLD) parameterized by $β\in[0,1]$ to obtain lower bounds of weighted trace of covariance of unbiased estimator. We introduce the maximum logarithmic derivative bound as the maximum of bounds with respect to $β$. We show that all monotone metrics induce lower bounds, and the maximum logarithmic derivative bound is the largest bound among them. We show that the maximum logarithmic derivative bound has explicit solution when the $d$ dimensional model has $d+1$ dimensional $\mathcal{D}$ invariant extension of the SLD tangent space. Furthermore, when $d=2$, we show that the maximization problem to define the maximum logarithmic derivative bound is the Lagrangian duality of the minimization problem to define Holevo bound, and is the same as the Holevo bound. This explicit solution is a generalization of the solution for a two dimensional Hilbert space given by Suzuki. We give also examples of families of quantum states to which our theory can be applied not only for two dimensional Hilbert spaces.

quant-ph↗

arXiv2020

Quantum monotone metrics induced from trace non-increasing maps and additive noise

Quantum monotone metric was introduced by Petz,and it was proved that quantum monotone metrics on the set of quantum states with trace one were characterized by operator monotone functions. Later, these were extended to monotone metrics on the set of positive operators whose traces are not always one based on completely positive, trace preserving (CPTP) maps. It was shown that these extended monotone metrics were characterized by operator monotone functions continuously parameterized by traces of positive operators,and did not have some ideal properties such as monotonicity and convexity with respect to the positive operators. In this paper, we introduce another extension of quantum monotone metrics which have monotonicity under completely positive, trace non-increasing (CPTNI) maps and additive noise. We prove that our extended monotone metrics can be characterized only by static operator monotone functions from few assumptions without assuming continuities of metrics. We show that our monotone metrics have some natural properties such as additivity of direct sum, convexity and monotonicity with respect to positive operators.

math-ph↗

arXiv2019

Noncommutative Lebesgue decomposition and contiguity with applications in quantum statistics

We herein develop a theory of contiguity in the quantum domain based upon a novel quantum analogue of the Lebesgue decomposition. The theory thus formulated is pertinent to the weak quantum local asymptotic normality introduced in the previous paper [Yamagata, Fujiwara, and Gill, \textit{Ann. Statist.}, \textbf{41} (2013) 2197-2217.], yielding substantial enlargement of the scope of quantum statistics.

math.OA↗

arXiv2017

Noncommutative Lebesgue decomposition with application to quantum local asymptotic normality

We develop a theory of local asymptotic normality in the quantum domain based on a noncommutative extension of the Lebesgue decomposition. This formulation gives a substantial generalization of the previous paper [Yamagata, Fujiwara, and Gill (2013). Ann. Statist., 41, 2197-2217.], extending the scope of the quantum local asymptotic normality to a wider class of quantum statistical models that comprise density operators of mixed ranks.

quant-ph↗

arXiv2016

Data processing for qubit state tomography: An information geometric approach

A statistically feasible data post-processing method for the conventional qubit state tomography is studied from an information geometrical point of view. It is shown that the space $(-1,1)^3$ of the Stokes parameters $(ξ_1, ξ_2,ξ_3)$ that specify qubit states should be regarded as a Riemannian manifold endowed with a metric $g_{ij}:=δ_{ij}/(1-(ξ_i)^2)$, and that the data processing based on the maximum likelihood method is realized by the orthogonal projection from the empirical distribution onto the Bloch sphere with respect to the metric $g_{ij}$. An efficient algorithm for computing the maximum likelihood estimate is also proposed.

quant-ph↗

arXiv2013

Quantum local asymptotic normality based on a new quantum likelihood ratio

We develop a theory of local asymptotic normality in the quantum domain based on a novel quantum analogue of the log-likelihood ratio. This formulation is applicable to any quantum statistical model satisfying a mild smoothness condition. As an application, we prove the asymptotic achievability of the Holevo bound for the local shift parameter.

quant-ph↗

arXiv2012

Experimental Demonstration of Adaptive Quantum State Estimation

The first experimental demonstration of an adaptive quantum state estimation (AQSE) is reported. The strong consistency and asymptotic efficiency of AQSE have been mathematically proven [ A. Fujiwara J. Phys. A 39 12489 (2006)]. In this Letter, the angle of linear polarization of single photons, the phase parameter between the right and the left circularly polarization, is estimated using AQSE, and the strong consistency and asymptotic efficiency are experimentally verified. AQSE will provide a general useful method in both quantum information processing and metrology.

quant-ph↗

arXiv2011

Efficiency of quantum state tomography for qubits

The efficiency of quantum state tomography is discussed from the point of view of quantum parameter estimation theory, in which the trace of the weighted covariance is to be minimized. It is shown that tomography is optimal only when a special weight is adopted.

quant-ph↗