arXiv subjects

Masahito Hayashi

Publications and source records attributed to Masahito Hayashi.

3 recordsLinked to original sources

arXiv2026

Error exponents of quantum state discrimination with composite correlated hypotheses

We study the error exponents in quantum hypothesis testing between two sets of quantum states, extending the analysis beyond the independent and identically distributed case to encompass composite correlated hypotheses. In particular, we introduce and compare two natural extensions of the quantum Hoeffding divergence and anti-divergence to sets of quantum states, establishing their equivalence or quantitative relations. In the error exponent regime, we generalize the quantum Hoeffding bound to stable sequences of convex, compact sets of quantum states, demonstrating that the optimal Type-I error exponent, under an exponential constraint on the Type-II error, is precisely characterized by the regularized quantum Hoeffding divergence between the sets. In the strong converse exponent regime, we establish a general lower bound on the exponent in terms of the regularized quantum Hoeffding anti-divergence, and we prove a matching upper bound when the null hypothesis is a singleton, under additional assumptions. The generality of these results enables applications in various contexts, including (i) refining the generalized quantum Stein's lemma by [Fang, Fawzi & Fawzi, 2024]; (ii) exhibiting counterexamples to the continuity of the regularized Petz Renyi divergence and Hoeffding divergence; (iii) obtaining error exponents for adversarial channel discrimination and resource detection problems.

quant-ph↗

arXiv2026

Trajectory-Wise Certification for Vector-Field Mirror Descent with Deterministic Finite Differences

We study mirror descent in which the objective gradient is replaced by a general vector field. Since such a field does not automatically relate the mirror update to the objective gap, we introduce a trajectory-wise generalized relative-smoothness condition and a generalized star-convexity interface. Together they yield a finite-horizon, a posteriori last-iterate certificate with an accumulated-stepsize term and an exceptional-region-dependent error term. We also give a pointwise sufficient condition for positive admissible stepsizes, displaying the effects of objective smoothness, mirror-map conditioning, and vector-field mismatch. We then construct a deterministic zeroth-order instance from coordinate central differences. The function values place the unknown gradient in an explicit uncertainty box, and verification of the interface reduces to robust conic dominance. We derive an explicit scaling of the central-difference vector that guarantees the required dominance over the gradient uncertainty set. Under uniform Hessian bounds, the resulting vector field satisfies the interface outside an explicit resolution-dependent neighborhood. The final guarantee combines a rate term governed by accumulated accepted stepsizes with a finite-resolution error floor.

math.OC↗

arXiv2026

Mutually orthogonal anti-Latin squares

Anti-Latin squares were introduced in connection with non-linear secure network coding, and the extremal problem for large mutually orthogonal families is motivated by that setting. We study the maximum size $N_A(d)$ of a family of mutually orthogonal anti-Latin squares of order $d$. We prove that $N_L(d)+1\le N_A(d)\le N_L(d)+2$ for every $d\ge 3$, where $N_L(d)$ denotes the classical maximum size of a family of mutually orthogonal Latin squares of order $d$, and we show that in fact $N_A(3)=N_L(3)+1$ whereas $N_A(d)=N_L(d)+2$ for every $d\ge 4$. The upper bound is obtained by passing through balanced matrices, while the lower bound is given by a deterministic permutation argument. For all $d\ge 8$, and also for the exceptional order $d=6$, the upper bound is shown to be attainable by a general probabilistic construction. On the structural side, we show that a saturated family of size $d+1$ induces an affine plane of order $d$, and that the saturated case is characterized by the existence of an anti-coordinate grid decomposition; after transporting this condition to the fixed cell set $[d]^2$, it becomes a direction-completeness condition on the corresponding row-blocks and column-blocks. The remaining small orders are treated separately: $d=3$ is handled by direct analysis and classification of orthogonal triples, $d=4$ by an explicit saturated construction and an analysis of its finite-geometric structure, and $d=5$ and $d=7$ by explicit saturated examples arising from the random-grid framework. Thus $N_A(d)$ is determined in terms of $N_L(d)$ for every $d\ge3$, and its numerical value is obtained explicitly for every $3\le d\le9$.

math.CO↗