slug: xu-imai-guhne-2022-classicalization-simultaneous-unboundedness
bibkey: xuimaiguhne2023classicalization
doi: 10.1103/PhysRevA.107.L040401
url: https://arxiv.org/abs/2206.12834v2
triage: theorem
motivation_gids:
  - D5/S3/Quantum/Classicalization/XuImaiGuhneSimultaneousUnboundedness.result

Two unbounded classicalization gaps with a qubit

Problem

Zhen-Peng Xu, Satoya Imai and Otfried Gühne, Fate of multiparticle entanglement when one particle becomes classical, arXiv:2206.12834v2, Phys. Rev. A 107, L040401, Section V.B, page 5:

Inspired by those two examples, an interesting question arises whether there exist entanglement measures E and states ρ_ABC such that both Δ_E(ρ_ABC) and Δ̃_E(ρ_ABC) − Δ_E(ρ_ABC) can be arbitrarily large in the sense that they are not limited by the size of C, even if C is only a qubit. We leave this question for further research.

The answer is Proved for the fixed tripartite negativity of Equation (4), with no dimension-dependent rescaling. The source and conventions are in the Library note; #19638 is the preregistration.

Statement echo

The density and POVM conditions appear literally in the public proposition and the infimum. The proofs use the frozen IsDensity and IsPOVM predicates with those same defining conditions. The source prints a sum of negative eigenvalues without an absolute value; its examples use the standard positive negativity adopted here.

Motivation

A single qubit can control two distinct losses: the unavoidable loss when its quantum information is replaced by any measurement-and-prepare register, and the further loss caused by discarding that register. The source’s flower-state example has zero unavoidable loss and unbounded further loss; Observation 6 gives unbounded unavoidable loss. The settlement supplies one family with both losses unbounded simultaneously.

Gap

The literature screen in #19638 covers arXiv v1 and v2, Imai’s dissertation Section 12.5.2, and the related works arXiv:2501.04526, 2407.13348 and 2402.06677. The recorded screen finds no settlement in those works. Christandl–Winter, quant-ph/0501090, is not read in full. The bounded search result is not-found-in-searched-scope; exhaustive priority is ASSUMED-UNVERIFIED.

Route

Let $|{\Phi }_d⟩=d^{-1/2}{\sum }_{r=0}^{d-1}|rr⟩$ and $|W⟩=(|001⟩+|010⟩+|100⟩)/\sqrt{3}$. Regroup ${\rho }_d=|{\Phi }_d⟩⟨{\Phi }_d|\otimes |W⟩⟨W|$ onto $A=A^{\prime }{A}_0$, $B=B^{\prime }{B}_0$ and C. Thus A and B have dimension $2d$ and C has dimension two.

Rank-one refinement of a qubit POVM writes each refined vector as $v_i={\alpha }_i|0⟩+{\beta }_i|1⟩$, with ${\sum }_i|{\alpha }_i{|}^2={\sum }_i|{\beta }_i{|}^2=1$. Its normalized W branch has coefficient matrix $K_i=\left(\begin{array}{cc}\overline{{\beta }_i}& \overline{{\alpha }_i}\\ \overline{{\alpha }_i}& 0\end{array}\right)/\sqrt{3}$, giving partial-transpose trace norm $(4|{\alpha }_i{|}^2+|{\beta }_i{|}^2)/3$. Summing yields $5/3$. Tensor multiplicativity and the trace-norm triangle inequality bound the two A and B output cuts by $5d/3$ each. The output-register cut is positive under partial transpose and has unit trace, hence contributes zero negativity. Computational-basis measurement with orthogonal qubit flags attains the bound.

The compiled private declarations Family.family_initial, Family.family_all_channel_bound, Family.family_attains and Family.family_discarded_value establish respectively

$$E({\rho }_d)=d-1+\frac{(2d+1)\sqrt{2}}{3},\underset{{\Phi }_C}{\max }E({\Phi }_C({\rho }_d))=\frac{5d}{3}-1,E({\rho }_{AB}\otimes |0⟩⟨0|)=\frac{d(2+\sqrt{5})}{3}-1.$$

The private Family.finite_family_data identifies the infimum with the attained optimum and proves both gap identities:

$${\Delta }_E({\rho }_d)=\frac{2d(\sqrt{2}-1)+\sqrt{2}}{3},{\tilde{\Delta }}_E({\rho }_d)-{\Delta }_E({\rho }_d)=\frac{d(3-\sqrt{5})}{3}.$$

Both slopes are positive. unbounded_linear_gaps chooses d for every real threshold, and result proves the public claim.

Falsifier

A restriction to a chosen POVM, a fixed outcome count or a bounded register dimension would not settle the stated infimum. The upper bound quantifies all finite outcome types and register dimensions. A dimension-dependent rescaling of E, growth of C, or different states for the two gaps would not answer the question; E is fixed, C is exactly a qubit, and both inequalities use the same state. The public theorem has no hypotheses.

Evidence

The canonical mathematical source is XuImaiGuhneSimultaneousUnboundedness.lean. Its sole public theorem is result : claim. Its public definitions have complete formulas in the corresponding Blueprint. The admission basis is open-problem-resolution (#19638; Proved); there is no atom.

The four-slot escape audit for D5.S3.Quantum.Classicalization.XuImaiGuhneSimultaneousUnboundedness.result is unfinished under #19716. The dependent threshold-indexed family needs compiled source-reconstruction, equivalence, variation, sensitivity and observational-dependence evidence. No declared_validated registration is claimed.

Numerical experiment

The experiment is the pinned experiment directory. Command: OPENBLAS_NUM_THREADS=1 VECLIB_MAXIMUM_THREADS=1 python3 /Users/auric/trureturing-experiments/docs/reports/xu-imai-guhne-2022-classicalization-simultaneous-unboundedness/check.py; exit 0, RESULT PASS. Script SHA-256: 977d6aef0d5b5991e2237a1cdd3030f0888d5eecbb758fe1a2119e41c324ea7e.

The tested scope is $d=2,3,4$, tolerance $10^{-9}$, 400 random channels per d with 2–4 effects and register dimension 1–3. These are numerical checks, not a proof of the all-channel bound.

Triage

Tier 1 published question; settlement Proved. The scope is finite-dimensional tripartite negativity.

What the settlement shows

The decisive mechanism is the POVM-independent branch-norm sum followed by entanglement amplification in A and B. It supplies the simultaneous example left open by Section V.B; it does not alter the source’s flower-state or Bell-pair results. No extension to infinite-dimensional registers or to other entanglement measures is claimed.

ASSUMED-UNVERIFIED

Literature completeness and worldwide priority are ASSUMED-UNVERIFIED. The numerical experiment is approximate and finite. The four-slot escape audit remains unfinished under #19716; it is separate from the kernel proof of the settlement.