arXiv subjects

Masahito Hayashi

Publications and source records attributed to Masahito Hayashi.

At least 55 records · Page 3Linked to original sources

arXiv2025

General detectability measure

Distinguishing resource states from resource-free states is a fundamental task in quantum information. We have approached the state detection problem through a hypothesis testing framework, with the alternative hypothesis set comprising resource-free states in a general context. Consequently, we derived the optimal exponential decay rate of the failure probability for detecting a given $n$-tensor product state when the resource-free states are separable states, positive partial transpose (PPT) states, or the convex hull of the set of stabilizer states. This optimal exponential decay rate is determined by the minimum of the reverse relative entropy, indicating that this minimum value serves as the general detectability measure. The key technique of this paper is a quantum version of empirical distribution.

quant-ph↗

arXiv2025

Generalized Quantum Stein's Lemma for Classical-Quantum Dynamical Resources

Channel conversion constitutes a pivotal paradigm in information theory and its applications to quantum physics, providing a unified problem setting that encompasses celebrated results such as Shannon's noisy-channel coding theorem. Quantum resource theories (QRTs) offer a general framework to study such problems under a prescribed class of operations, such as those for encoding and decoding. In QRTs, quantum states serve as static resources, while quantum channels give rise to dynamical resources. A recent major advance in QRTs is the generalized quantum Stein's lemma, which characterizes the optimal error exponent in hypothesis testing to discriminate resource states from free states, enabling a reversible QRT framework for static resources where asymptotic conversion rates are fully determined by the regularized relative entropy of resource. However, applications of QRTs to channel conversion require a framework for dynamical resources. The earlier extension of the reversible framework to a fundamental class of dynamical resources, represented by classical-quantum (CQ) channels, relied on state-based techniques and imposed an asymptotic continuity assumption on operations, which prevented its applicability to conventional channel coding scenarios. To overcome this problem, we formulate and prove a generalized quantum Stein's lemma directly for CQ channels, by developing CQ-channel counterparts of the core proof techniques used in the state setting. Building on this result, we construct a reversible QRT framework for CQ channel conversion that does not require the asymptotic continuity assumption, and show that this framework applies to the analysis of channel coding scenarios. These results establish a fully general toolkit for CQ channel discrimination and conversion, enabling their broad application to core conversion problems for this fundamental class of channels.

quant-ph↗

arXiv2025

String commitment from unstructured noise

Noisy channels are a foundational resource for constructing cryptographic primitives such as string commitment and oblivious transfer. The noisy channel model has been extended to unfair noisy channels, where adversaries can influence the parameters of a memoryless channel. In this work, we introduce the unstructured noisy channel model as a generalization of the unfair noisy channel model to allow the adversary to manipulate the channel arbitrarily subject to certain entropic constraints. We present a string commitment protocol with established security and derive its achievable commitment rate, demonstrating the feasibility of commitment against this stronger class of adversaries. Furthermore, we show that the entropic constraints in the unstructured noisy channel model can be derived from physical assumptions such as noisy quantum storage. Our work thus connects two distinct approaches to commitment, i.e., the noisy channel and physical limitations.

cs.IT↗

arXiv2025

The Cramér-Rao approach and global quantum estimation of bosonic states

Quantum state estimation is a fundamental task in quantum information theory, where one estimates real parameters continuously embedded in a family of quantum states. In the theory of quantum state estimation, the widely used Cramér Rao approach which considers local estimation gives the ultimate precision bound of quantum state estimation in terms of the quantum Fisher information. However practical scenarios need not offer much prior information about the parameters to be estimated, and the local estimation setting need not apply. In general, it is unclear whether the Cramér-Rao approach is applicable for global estimation instead of local estimation. In this paper, we find situations where the Cramér-Rao approach does and does not work for quantum state estimation problems involving a family of bosonic states in a non-IID setting, where we only use one copy of the bosonic quantum state in the large number of bosons setting. Our result highlights the importance of caution when using the results of the Cramér-Rao approach to extrapolate to the global estimation setting.

quant-ph↗

arXiv2025

Generalization Bounds for Quantum Learning via Rényi Divergences

This work advances the theoretical understanding of quantum learning by establishing a new family of upper bounds on the expected generalization error of quantum learning algorithms, leveraging the framework introduced by Caro et al. (2024) and a new definition for the expected true loss. Our primary contribution is the derivation of these bounds in terms of quantum and classical Rényi divergences, utilizing a variational approach for evaluating quantum Rényi divergences, specifically the Petz and a newly introduced modified sandwich quantum Rényi divergence. Analytically and numerically, we demonstrate the superior performance of the bounds derived using the modified sandwich quantum Rényi divergence compared to those based on the Petz divergence. Furthermore, we provide probabilistic generalization error bounds using two distinct techniques: one based on the modified sandwich quantum Rényi divergence and classical Rényi divergence, and another employing smooth max Rényi divergence.

quant-ph↗

arXiv2025

Hypothesis testing and Stein's lemma in general probability theories with Euclidean Jordan algebra and its quantum realization

Even though quantum information theory gives advantage over classical information theory, these two information theories have a structural similarity that many exponet rates of information tasks asymptotically equal to entropic quantities. A typical example is Stein's Lemma, which many researchers still keep interested in. In this paper, in order to analyze the mathemtaical roots of the structural similarity, we investigate mathematically minimum structure where Stein's Lemma holds. We focus on the structure of Euclidean Jordan Algebras (EJAs), which is a generalization of the algebraic structure in quantum theory, and we investigate the properties of general models of General Probabilistic Theories (GPTs) generated by EJAs. As a result, we prove Stein's Lemma in any model of GPTs generated by EJAs by establishing a generalization of information theoretical tools from the mathematical properties of EJAs.

quant-ph↗

arXiv2025

Measuring quantum relative entropy with finite-size effect

We study the estimation of relative entropy $D(ρ\|σ)$ when $σ$ is known. We show that the Cramér-Rao type bound equals the relative varentropy. Our estimator attains the Cramér-Rao type bound when the dimension $d$ is fixed. It also achieves the sample complexity $O(d^2)$ when the dimension $d$ increases. This sample complexity is optimal when $σ$ is the completely mixed state. Also, it has time complexity $O(d^6 \polylog d)$. Our proposed estimator unifiedly works under both settings.

quant-ph↗

arXiv2025

Generalized Quantum Stein's Lemma and Second Law of Quantum Resource Theories

The second law of thermodynamics is the cornerstone of physics, characterizing the convertibility between thermodynamic states through a single function, entropy. Given the universal applicability of thermodynamics, a fundamental question in quantum information theory is whether an analogous second law can be formulated to characterize the convertibility of resources for quantum information processing by a single function. In 2008, a promising formulation was proposed, linking resource convertibility to the optimal performance of a variant of the quantum version of hypothesis testing. Central to this formulation was the generalized quantum Stein's lemma, which aimed to characterize this optimal performance by a measure of quantum resources, the regularized relative entropy of resource. If proven valid, the generalized quantum Stein's lemma would lead to the second law for quantum resources, with the regularized relative entropy of resource taking the role of entropy in thermodynamics. However, in 2023, a logical gap was found in the original proof of this lemma, casting doubt on the possibility of such a formulation of the second law. In this work, we address this problem by developing alternative techniques to successfully prove the generalized quantum Stein's lemma under a smaller set of assumptions than the original analysis. Based on our proof, we reestablish and extend the second law of quantum resource theories, applicable to both static resources of quantum states and a fundamental class of dynamical resources represented by classical-quantum (CQ) channels. These results resolve the fundamental problem of bridging the analogy between thermodynamics and quantum information theory.

quant-ph↗

arXiv2025

Bregman-divergence-based Arimoto-Blahut algorithm

We generalize the generalized Arimoto-Blahut algorithm to a general function defined over Bregman-divergence system. In existing methods, when linear constraints are imposed, each iteration needs to solve a convex minimization. Exploiting our obtained algorithm, we propose a minimization-free-iteration algorithm. This algorithm can be applied to classical and quantum rate-distortion theory. We numerically apply our method to the derivation of the optimal conditional distribution in the rate-distortion theory.

math.OC↗

arXiv2025

Quantum digital signature based on single-qubit without a trusted third-party

Digital signatures are a powerful cryptographic tool widely employed across various industries for securely authenticating the identity of a signer during communication between signers and verifiers. While quantum digital signatures have been extensively studied, the security still depends on a trusted third-party. To address this limitation and enhance the applicability in real-world scenarios, here we propose a novel quantum digital signature protocol without a trusted third-party to further improve the security. We note that a quantum one-way function can work appropriately in digital signature due to the intrinsic non-cloning property for quantum states. Secret keys in the protocol are constituted by classical private keys and quantum public keys because we assume that no user is trusted in the protocol. We prove that the protocol has information-theoretical unforgeability. Moreover, it satisfies other important secure properties, including asymmetry, undeniability, and expandability.

quant-ph↗

arXiv2025

Heisenberg scaling based on population coding

We study Heisenberg scaling of quantum metrology in the viewpoint of population coding. Although Fisher information has been used for a figure of merit to characterize Heisenberg scaling in quantum metrology, several studies pointed out it does not work as a figure of merit because it does not reflect the global structure. As an alternative figure of merit, we propose the mutual information, which connects the number of distinguishable elements of the parameter space in the viewpoint of population coding. We show that several unitary models achieve Heisenberg scaling in this context.

quant-ph↗

arXiv2025

Application of $α$-order Information Metrics for Secure Communication in Quantum Physical Layer Design

Quantum physical layer security protocols offer significant advantages, particularly in space communications, but their achievable secrecy rates are often limited to the asymptotic regime. Realistic communication systems, however, demand non-asymptotic solutions. Recently, the $α$-order information-theoretic metrics based on Rényi entropy has been proposed. We study their practical applicability to engineering secure quantum communication systems. By deriving a composable security bound using sandwiched Rényi entropy, we apply our framework to a practical scenario involving BPSK modulation over a lossy bosonic channel, consistent with DVB-S2X standards. We highlight a critical trade-off between reliability and security, by showing that current coding rates may fall short of supporting positive secure coding rates under physical layer security considerations. This emphasizes the need for higher coding rates or additional frame lengths to balance reliability-security trade-offs effectively. Through this application, we demonstrate the utility of $α$-order measures for advancing secure communication in quantum physical layer designs.

quant-ph↗

arXiv2025

Quantum Implementation of Non-Positive-Operator-Valued Measurements in General Probabilistic Theories by Post-Selected POVMs

It is important problem to clarify the class of implementable quantum measurements from both fundamental and applicable viewpoints. Positive-Operator-Valued Measure (POVM) measurements are implementable by the indirect measurement methods, and the class is the largest class determined by the mathematical structure of Hilbert space. However, if we assume probabilistic consistency in our operations instead of the structure of Hilbert space, we can deal with Non-Positive-Operator-Valued Measure (N-POVM) measurements in the framework of General Probabilistic Theories (GPTs). N-POVM measurements are not considered as implementable, but this paper gives a constructive way to implement N-POVM measurements by POVM measurements and post-selection in quantum theory when we restrict the domain of target states. Besides, we show that a post-selected POVM measurement is regarded as an N-POVM measurement in a restricted domain. These results provide a new relationship between N-POVM measurements in GPTs and post-selection.

quant-ph↗

arXiv2025

Predicting symmetries of quantum dynamics with optimal samples

Identifying symmetries in quantum dynamics, such as identity or time-reversal invariance, is a crucial challenge with profound implications for quantum technologies. We introduce a unified framework combining group representation theory and subgroup hypothesis testing to predict these symmetries with optimal efficiency. By exploiting the inherent symmetry of compact groups and their irreducible representations, we derive an exact characterization of the optimal type-II error (failure probability to detect a symmetry), offering an operational interpretation for the quantum max-relative entropy. In particular, we prove that parallel strategies achieve the same performance as adaptive or indefinite-causal-order protocols, resolving debates about the necessity of complex control sequences. Applications to the singleton group, maximal commutative group, and orthogonal group yield explicit results: for predicting the identity property, Z-symmetry, and T-symmetry of unknown qubit unitaries, with zero type-I error and type-II error bounded by $δ$, we establish the explicit optimal sample complexity which scales as $\mathcal{O}(δ^{-1/3})$ for identity testing and $\mathcal{O}(δ^{-1/2})$ for T/Z-symmetry testing. These findings offer theoretical insights and practical guidelines for efficient unitary property testing and symmetry-driven protocols in quantum information processing.

quant-ph↗

arXiv2025

Entanglement measures for detectability

We propose new entanglement measures as the detection performance based on the hypothesis testing setting. We clarify how our measures work for detecting an entangled state by extending the quantum Sanov theorem. Our analysis covers the finite-length setting. Exploiting this entanglement measure, we present how to derive an entanglement witness to detect the given entangled state by using the geometrical structure of this measure. We derive their calculation formulas for maximally correlated states, and propose their algorithms that work for general entangled states. In addition, we investigate how our algorithm works for solving the membership problem for separability. Further, employing this algorithm, we propose a method to find entanglement witness for a given entangled state.

quant-ph↗

arXiv2024

Gauss Metric on the Kummer Surface

On the Kummer surface, we have obtained two different Gauss metrices by parametrizing it in two ways. We have found that these Gauss metrices are not Ricci flat. The double sphere, which is the special case of the Kummer surface, has the Kähler metric and the first Chern class of it does not vanish. Its metric is the Einstein metric which is not Ricci flat.

math.CA↗

arXiv2024

Asymmetry activation and its relation to coherence under permutation operation

A Dicke state and its decohered state are invariant for permutation. However, when another qubits state to each of them is attached, the whole state is not invariant for permutation, and has a certain asymmetry for permutation. The amount of asymmetry can be measured by the number of distinguishable states under the group action or the mutual information. Generally, the amount of asymmetry of the whole state is larger than the amount of asymmetry of the added state. That is, the asymmetry activation happens in this case. This paper investigates the amount of the asymmetry activation under Dicke states. To address the asymmetry activation asymptotically, we introduce a new type of central limit theorem by using several formulas on hypergeometric functions. We reveal that the amounts of the asymmetry and the asymmetry activation with a Dicke state have a strictly larger order than those with the decohered state in a specific type of the limit.

quant-ph↗

arXiv2024

Resolvability of classical-quantum channels

Channel resolvability concerns the minimum resolution for approximating the channel output. We study the resolvability of classical-quantum channels in two settings, for the channel output generated from the worst input, and form the fixed independent and identically distributed (i.i.d.) input. The direct part of the worst-input setting is derived from sequential hypothesis testing as it involves of non-i.i.d.~inputs. The strong converse of the worst-input setting is obtained via the connection to identification codes. For the fixed-input setting, while the direct part follows from the known quantum soft covering result, we exploit the recent alternative quantum Sanov theorem to solve the strong converse.

quant-ph↗