arXiv subjects

Masahito Hayashi

Publications and source records attributed to Masahito Hayashi.

At least 19 recordsLinked to original sources

arXiv2026

A Conditional Quantum Kac-Bernstein Theorem

We establish a conditional quantum Kac-Bernstein theorem for mixing of two independent, finite-mode bosonic inputs with quantum memories. We characterize exactly when the outputs are conditionally independent given both memories. Each input then decomposes into orthogonal memory sectors sharing a common Gaussian state on the physical system and a bosonic memory factor, up to sector-dependent physical displacements. In particular, triviality of the common bosonic factor implies separability of the inputs, as occurs whenever either memory has finite-dimensional support.

quant-ph↗

arXiv2026

Multiparameter quantum metrology for general and adaptive strategies

We develop a conic-programming framework for multiparameter estimation of quantum processes under different classes of sensing strategies. Estimation precision depends on the choice of input probe state and measurement and, when a channel is used multiple times, on the arrangement of channel uses and intermediate controls. We specify different strategy classes through linear normalization constraints on generalized measurements, and formulate the local estimation problem using linear constraints and a linear objective function. We show that the separable-cone program gives the exact precision limit under the local estimation conditions considered here, while cone relaxations yield Cramér-Rao-type lower bounds. For $N$ uses of an identical quantum channel, we prove an exact $1/N$ scaling law for an RLD-based positive-cone lower bound, even for general process-matrix testers that allow indefinite causal order. Under the stated conditions on the channel and its parameter dependence, the minimum weighted mean-square error also scales as $1/N$. This extends an RLD-based restriction on Heisenberg scaling from adaptive strategies to this broader class. For fixed-order adaptive strategies, we show that each process-side conic bound equals the corresponding state-estimation bound optimized over sensor combs. We establish this equality by constructing a sensor comb from the process-side normalization operator. A noisy three-parameter field-sensing model illustrates the framework.

quant-ph↗

arXiv2026

Schur--Weyl Reduction of Finite-Copy Precision Bounds for Multiparameter Quantum Estimation

In multiparameter quantum estimation, incompatible measurements can impose trade-offs among estimation errors. Understanding the precision attainable with a finite number of jointly measured copies is therefore important, but direct optimization becomes costly as the tensor product space grows exponentially. For independent and identically distributed (i.i.d.) copies, the quantum statistical model is invariant under permutations of the copies. We exploit this symmetry through Schur--Weyl duality to remove permutation multiplicity spaces while using their dimensions as weights. This gives a reduced statistical model equivalent to the original under arbitrary collective measurements. On this reduced model, we derive an exact conic formulation of the tight Cramér--Rao bound and a semidefinite program for its Nagaoka--Hayashi (NH) relaxation. For fixed single-copy dimension, the reduced operator representation grows polynomially rather than exponentially with the number of copies. To approximate the tight bound, we use an exact quadratic identity to correct finite-ray dual solutions and obtain rigorous upper and lower bounds. For fixed copy number and parameter dimension, sufficiently fine meshes admit feasible primal points, and dual solutions with bounded objective gaps have uniformly bounded compact-search radii. These results yield quadratic convergence in the projective covering radius. Numerical examples illustrate the quadratic scaling of the mesh correction term and the computational reach of the reduced NH formulation.

quant-ph↗

arXiv2026

Partial Stabilizer Learning under Fixed Commuting Constraints and the Absence of a Copy-Rate Discount

We consider an unknown pure stabilizer state of $n$ qudits with a fixed prime local dimension $p$, together with prescribed commuting Pauli observables. Rather than learning the whole state, the learner must recover only complementary stabilizers that commute with the prescribed observables, together with their eigenvalues. Once the prescribed measurement is performed, this information and the observed outcome determine the corresponding conditional stabilizer state. We compare the number $k$ of copies available to the learner with the number $n$ of qudits and refer to their ratio $k/n$ as the copy rate. Suppose that the dimension $m$ of the requested complementary stabilizer subspace satisfies $m=βn+o(n)$ for a fixed $0<β\leq1$. If the copy rate converges to a value below one, the optimal exact recovery probabilities and verification scores converge to zero, both in the worst case and under the uniform prior. Conversely, if the number $k$ of copies minus the number $n$ of qudits tends to positive infinity, the entire stabilizer state can be identified with probability tending to one, and the requested complementary information can then be extracted. Thus, restricting the learning target to the stabilizer information needed after the prescribed measurement yields no copy-rate discount.

quant-ph↗

arXiv2026

Generalized mKdV Equation and Genus Two Jacobi Type Hyperelliptic Differential Equation

We generalized the mKdV equation in order that the static equations include ${\rm sn}$ differential equation. As a result, a good correspondence was obtained between the KdV equation and the mKdV equation.For general genus two hyperelliptic curves, we obtained differential equations for Weierstrass type and Jacobi type hyperelliptic functions. Considering the special case of $λ_6=0, λ_0=0$, Weierstrass type and Jacobi type hyperelliptic functions are different solutions to the same hyperelliptic differential equations. Then these solutions are connected by the special ${\rm Sp(4, {\bf R})}$ Lie group transformation.

math.CA↗

arXiv2026

Relative-Entropy Geometry and Convergence in Nonconvex Wiretap Optimization

We develop and analyze an entropic descent method for a nonconvex optimization problem on probability simplices arising in classical and quantum secure communication. The optimization variables describe a randomized encoder, allowing its input distribution and stochastic preprocessing to be optimized jointly. An exact relative-entropy identity yields a channel-independent majorization bound and an explicit mirror-descent iteration with a fixed unit step size. We establish quantitative descent, convergence of objective values, and stationarity of accumulation points on their support faces for arbitrary finite classical channels, without assuming degradedness or less noisiness. For strictly positive transition matrices, a square-root parametrization and a Kurdyka--Łojasiewicz argument establish finite length of the transformed trajectory and convergence of the entire sequence, including limits on the simplex boundary. For less-noisy channels, a restricted convex formulation admits global convergence with an explicit $O(1/t)$ objective-error bound. We extend the relative-entropy construction to noncommuting quantum outputs and derive monotone alternating updates for covariant encoders, including correlated preprocessing over a fixed block. Numerical experiments compare the method with analytic benchmarks and constrained optimization, reveal multiple attracting values, and demonstrate strict improvements from stochastic preprocessing.

quant-ph↗

arXiv2026

Quantum Information Ordering and Differential Privacy

We study quantum differential privacy (QDP) by defining a notion of the order of informativeness between two pairs of quantum states. In particular, we show that if the hypothesis testing divergence of the one pair dominates over that of the other pair, then this dominance holds for every $f$-divergence. This approach completely characterizes $(\varepsilon,δ)$-QDP mechanisms by identifying the most informative $(\varepsilon,δ)$-DP quantum state pairs. We apply this to study precise limits for privatized hypothesis testing and privatized quantum parameter estimation, including tight upper-bounds on the quantum Fisher information under QDP. Finally, we establish near-optimal contraction bounds for differentially private quantum channels with respect to the Hockey-Stick divergence.

quant-ph↗

arXiv2026

Characterization-free classification and identification of the environment between two quantum players

Identifying the causal structure of quantum channels is essential for verifying quantum networks and certifying quantum resources. We introduce a characterization-free protocol enabling two isolated players, Alice and Bob, to identify the definite-order strategy adopted by an unknown environment mediating their channels. Without assuming knowledge of their devices or the environment, the players infer the causal order solely from input-output statistics by testing Markovian conditions that we prove are necessary and sufficient for each strategy class. Remarkably, we prove that, under an explicit generic-sampling condition, a randomly selected binary measure-and-prepare setting retains exact-distribution identifiability with probability one. In the optical experiment, we use a reduced-randomness construction in which several preparation states are kept fixed. Nevertheless, the Markov-condition-based procedure yields the expected causal-order and memory-presence classification for every tested process realization and setting. This observation suggests that the randomization assumptions of the general theorem may be relaxed. Our results provide an operational framework for causal inference in quantum networks.

quant-ph↗

arXiv2026

From Symmetry to Secrecy: Covariant Classical--Quantum Wiretap Channels

For classical--quantum wiretap channels with a transitive covariant input action, both output ensembles admit a description as unitary group orbits of fixed seed states. We use this structure to construct finite-block preprocessing schemes whose private information is an entropy difference evaluated at two distributions related by group convolution. Applying the construction to product groups allows correlations across any fixed number of channel uses. We give a sufficient condition for the associated uniform-input bound to equal the single-use private information. Constant-composition channel codes and universal$_2$ hashing achieve the resulting rates, with trace-distance leakage controlled by sandwiched Rényi information. For uniform outer randomization, the representation structure reduces the comparison-state optimization to Eve's invariant states. For the hybrid binary channel considered by Tikku, Berta and Renes, numerical optimization at three and four uses gives rates above our numerical estimate of the optimized noisy-repetition benchmark wherever that estimate is positive on the tested grid. The improvement comes from noise distributions beyond the family of independent physical flips and a symmetric logical flip. We also prove nonadditivity at an explicit channel parameter using a two-use encoder, an analytic single-use converse, and certified entropy bounds. Finally, we relate the hybrid model to binary phase-shift keying with a fixed receiver measurement.

quant-ph↗

arXiv2026

Universality Sacrifices Reliability in Classical-Quantum Channel Coding

Universal channel coding enables communication without a complete description of the channel. For classical channels, universal codes can attain both capacity and the optimal high-rate reliability. We show that this compatibility fails for classical-quantum channels in general; that is, the optimal reliability in the channel-aware scenario is not always achievable with universal coding due to the ignorance of the unitary rotation of the output system. We exhibit a family of classical-quantum channels for which one cannot achieve the channel-aware optimal reliability by a fixed coding scheme. We further derive a converse bound on the reliability for unitary-invariant decoders, a natural assumption for the universal coding scheme, that can be strictly smaller than the optimal channel-aware error exponent. Conversely, we construct a channel-independent encoder-decoder pair and establish a universally achievable bound on the reliability that matches this converse bound in the high-rate regime, thereby characterizing the optimal universal reliability. Specifically, the channel-aware and universal exponents are governed by the Petz and sandwiched Rényi divergences, respectively. These divergences coincide for commuting outputs but differ for noncommuting ones, explaining why universality preserves optimal reliability classically but can reduce it quantumly. Our results showcase the fundamental reliability cost of performing the classical-quantum channel coding task universally.

quant-ph↗

arXiv2026

Causal-Order Identification of Memoryless Sequential Quantum Processes from Restricted Projective Data

Identifying causal order from restricted projective data is generally nontrivial. When two quantum players interact only through an unobserved environment, the available local measurement statistics are typically not tomographically complete, so the underlying process cannot in general be reconstructed exactly from the observed distribution. As a result, causal direction can be statistically identifiable in some cases but fundamentally indistinguishable in others. In this work, we determine necessary and sufficient conditions for deciding when an observed distribution is compatible with a memoryless sequential quantum process in a fixed direction. We show that directional conditional-independence structure and the positivity criterion based on the pseudo-density matrix, as developed in recent work by We show that directional conditional-independence structure and PDM-based positivity criteria are not sufficient by themselves. We then specialize to the two-qubit Pauli setting, where the problem remains non-tomographic but becomes explicitly tractable. In this regime, we characterize when the two sequential directions are statistically indistinguishable, and we show by example that positivity alone does not exclude more general memoryful strategies, whereas the additional algebraic consistency requirement does.

quant-ph↗

arXiv2026

Universal distillation of quantum entanglement

Distillable entanglement---the maximum rate of Bell states extractable from the given noisy entangled states via local operations and classical communication (LOCC)---has been a central quantity to characterize the operational value of entangled states. However, this operational meaning had been known to be valid only under a crucial assumption: both parties know the description of the input state and can choose the protocol tailored to it, which does not necessarily reflect the natural operational setting. Here, we show that the distillable entanglement is the fundamental operational quantity even without this assumption. We present a universal LOCC protocol---whose description does not depend on the input state and thus works universally for any input---that achieves the distillable entanglement of an arbitrary unknown input state. Our result therefore lifts the distillable entanglement to a robust notion of an operationally meaningful quantity and clarifies that input-state knowledge is not necessary to achieve the optimal rate of entanglement distillation. Our protocol is based on state merging for compound states, together with the uniform convergence property of the finite-block quantity toward distillable entanglement.

quant-ph↗

arXiv2026

Exact Critical Curve for Uniform Stabilizer-State Identification

The sample complexity of identifying an unknown pure stabilizer state has been a longstanding problem in quantum information. In this paper, we resolve the entire exact critical crossover for the uniform ensemble of pure $n$-qubit stabilizer states under arbitrary collective measurements and without side information. For $k=n+c$, with fixed integer $c$, the optimal success probability converges to an explicit positive series $P_{\infty}(c)$. In particular, $P_{\infty}(0)=0.1760837896\ldots$, while its two tails obey a quadratic-exponential law below threshold and $1-P_{\infty}(c)\sim2^{-c}$ above threshold. The pretty-good measurement is exactly optimal for every finite $n$ and $k$. The proof diagonalizes the stabilizer Gram operator through Clifford tensor-power duality and a defect filtration, including the exceptional binary sectors. The resulting integer-scale law quantifies the $n+O(1)$ copy threshold.

quant-ph↗

arXiv2026

Finite-Sample Selected Covariance Spectra in Classical Shadows

Classical shadows use a single measurement snapshot to estimate many observables. These estimates are jointly distributed, and their covariance is not determined by their expectation values or individual variances. It also differs from physical correlations between observables because it depends on the measurement and reconstruction protocol. We study the covariance matrix for a fixed set of shadow estimates and its spectrum. For general shadow protocols, we give a finite-sample operator-norm bound for the empirical covariance computed using the sample mean. This bound also controls the eigenvalues and isolated spectral subspaces of the covariance matrix. For local product shadow protocols with fixed local dimension, observables supported on a bounded number of sites lead to bounds that do not depend on the total system size, provided that the number of selected observables and the relevant local reconstruction factors remain bounded. For biased local Pauli shadows, we obtain explicit finite-sample bounds and an exact covariance formula determined by Pauli compatibility and local basis probabilities. A comparison with global Clifford shadows shows that dimension-independent covariance estimation depends on the measurement protocol and does not follow from the general theory alone.

quant-ph↗

arXiv2026

Stabilizer-Public-Key Authentication: Long Stabilizer Public Keys Resist Finite-Copy Forgery Attacks

We propose an information-theoretic authentication protocol based on a finite supply of long quadratic-stabilizer public-key states over an odd-prime field, where the effective key length after one signature exposure is the residual dimension $r=n-\ell$. A computationally unbounded adversary observes one valid classical signature and may jointly process $N$ public-key copies, while verification uses one additional independent copy. We show that, conditioned on the exposed signature, the security problem reduces to a partial-prediction game for a uniform stabilizer ensemble on these $r$ residual qudits, with a partial query along $d=\operatorname{rank}(Y-Y')$ directions, where $Y$ and $Y'$ denote the honestly signed and target-forged messages, respectively. Surprisingly, although the target requires only partial information, there is no first-order reduction in the required copy rate when $d/r\toβ\in(0,1]$. The optimal average forgery probability for the specified target tends to zero for $N/r\toα<1$ and to one for $α>1$, revealing a sharp threshold at $α=1$. Thus, long stabilizer public keys resist finite-copy forgery attacks under a single-signature-exposure model whenever the adversarial copy rate remains below one.

quant-ph↗

arXiv2026

Verifier-initiated quantum message-authentication via quantum zero-knowledge proofs

On-demand authentication is critical for scalable quantum systems, yet many existing quantum signature and message-authentication schemes are signer-initiated, requiring advance distribution of authentication material even when no verification occurs. We introduce verifier-initiated quantum digital signatures (VIQDS), in which the verifier requests authentication only when needed and the signer responds once; after issuance, verification proceeds without further interaction. Practically, shifting authentication to a verifier-driven, on-demand workflow reduces avoidable communication and storage overhead and aligns with deployments where verification is sporadic, such as distributed services and audit-oriented infrastructures. Our approach leverages quantum zero-knowledge techniques so that verification reveals nothing about the signer's secret key beyond the fact that the signature is valid. We present a general conversion principle from suitable quantum proof protocols to VIQDS, together with a concrete realization based on elementary qubit platforms. Here, we show information-theoretic security against forgery and privacy against curious verifiers without computational hardness assumptions.

quant-ph↗

arXiv2026

Generalised quantum Stein's lemma more robust than ever

The generalised quantum Stein's lemma is a key result in quantum hypothesis testing, and connects this fundamental primitive of quantum information processing with quantum resource manipulation, a task that is central for technological applications. Prior works have proved this statement in the idealised setting of independent and identically distributed (i.i.d.) sequences of quantum states, and recent extensions consider also sources that are 'close' to i.i.d., according to the strict notion put forth by Mazzola, Sutter, and Renner. For several applications, however, one would need to consider yet more general sources. We establish a version of the generalised quantum Stein's lemma that is conceptually much simpler and general, as it applies to any source that is asymptotically close to an i.i.d. state with respect to the normalised quantum Wasserstein distance of order 1. As an immediate consequence, we solve the Stein exponent of a scenario where the null hypothesis is arbitrarily varying, expressing it in terms of i.i.d. Stein exponents corresponding to arbitrary states in the convex hull of the null hypothesis base set.

quant-ph↗

arXiv2026

Adaptive Coding for Two-Way Wiretap Channels with One-Sided Strong Secrecy

We study a discrete memoryless two-way wiretap channel under strong one-sided secrecy, where User 1's message is confidential and User 2's message is not required to be secret. We develop non-adaptive and key-assisted adaptive inner bounds from a common resolvability estimate for selected index components. For the adaptive construction, we prove a multiround leakage theorem that accounts both for information revealed about a key before its later use and for the possibility that an encoder uses an incorrectly decoded key. The proof includes an ideal-to-implemented coupling, deterministic codebook selection, and a growing-round argument that removes the initialization-rate loss. We eliminate the internal component rates exactly and characterize the adaptive gain at each fixed auxiliary distribution. For an open two-parameter family of binary channels, we also prove a converse for arbitrary non-adaptive stochastic codes and obtain an operational adaptive-versus-non-adaptive separation. For one representative channel, the complete non-adaptive strong one-sided secrecy capacity region is identified exactly.

cs.IT↗