{"id":"1059faa1-4b88-4ab5-948d-dd57816685d2","arxiv_id":"2504.14499","paper_version":3,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"low","formal_verification":"none","parameter_count":1,"one_line_summary":"For single-shot discrimination of unitary channels, product and maximally entangled probes are equivalent for two channels, but in every dimension at least 3 there are unitary families where non-maximally entangled probes outperform maximally entangled ones.","lead":"This paper studies whether using a maximally entangled quantum state as a probe helps distinguish unknown unitary operations better than simpler states. It proves that for two unitaries such states give no advantage, and it constructs families in higher dimensions where non-maximally entangled probes succeed while maximally entangled ones fail.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 7's proof implicitly assumes the probe basis equals the basis defining W_k; otherwise the evolved states and the orthogonality calculation do not follow.","rationale":"The reader flagged the ambiguous algebraic structure in Theorem 6 and the reliance on the imported two-unitary result [27] as the weakest assumptions. Those are legitimate, but the sharper point where a central construction can be checked to fail as written is Theorem 7's basis mismatch. The orthogonality cases (15)–(17) all assume W_k simply shifts the index of the A-particle basis vector |ϕ_i⟩ appearing in the probe, whereas W_k is defined to shift the computational basis |i⟩. Unless the two bases coincide, the state after applying W_k involves a superposition of shifted |ϕ⟩ vectors weighted by ⟨j|ϕ_i⟩, and the neat cancellation in (17) is not reproduced. The explicit example (18) does use |ϕ_i⟩ = |i⟩, which indicates that a small notational correction would likely repair the proof; the result is plausibly true but the central claim is conditional on that correction. The proposed test isolates exactly this point. The verdict therefore remains conditional, matching the reader's assessment; no change in the overall recommendation is needed.","tokens_in":12252,"tokens_out":21411,"duration_ms":189857,"concrete_test":"Recompute the evolved states for Theorem 7 with a non-standard ONB, e.g. d = 3 with |ϕ_1⟩ = (|1⟩+|2⟩)/√2, |ϕ_2⟩ = (|1⟩−|2⟩)/√2, |ϕ_3⟩ = |3⟩. Using the proof's probe |ψ_nm⟩ = Σ_i ε_i |ϕ_i⟩|i⟩ and the stated W_k, symbolically evaluate the inner products in (15)–(17) and check whether the claimed cancellation still holds. Equivalently, verify directly whether W_k|ϕ_i⟩ = |ϕ_{i+k−1}⟩; if this identity fails for the stated definition, the displayed evolved states are not the actual ones and the orthogonality proof is invalid.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Load-bearing concern: in the proof of Theorem 7, the evolved states are computed in a way that is not justified by the definition of the unitaries. The theorem defines W_k = Σ_i |ϕ_{i+k−1}⟩⟨i| and W_{d+k} = −|ϕ_k⟩⟨1| + Σ_{i=2} |ϕ_{i+k−1}⟩⟨i|, so W_k acts on the computational basis by |i⟩ ↦ |ϕ_{i+k−1}⟩. The probe is written |ψ_nm⟩ = Σ_i ε_i |ϕ_i⟩|i⟩. The proof then asserts that applying W_k⊗I gives Σ_i ε_i |ϕ_{i+k−1}⟩|i⟩. This is true only if W_k|ϕ_i⟩ = |ϕ_{i+k−1}⟩, which is not implied by the definition unless {|ϕ_i⟩} = {|i⟩}. For a general orthonormal basis, W_k|ϕ_i⟩ = Σ_j ⟨j|ϕ_i⟩ |ϕ_{j+k−1}⟩, so the orthogonality displayed in (15)–(17) does not follow. The statement only says |ϕ_{d+x}⟩ = |ϕ_x⟩; it never identifies |ϕ_i⟩ with |i⟩. The worked example (18) silently uses |ϕ_i⟩ = |i⟩, so the construction is likely repairable by writing the probe as Σ_i ε_i |i⟩|i⟩, but the general proof as written is incomplete. Since Theorems 6 and 7 are the paper's central evidence for the claimed limitation of maximally entangled probes, this gap is the most load-bearing point.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies single-shot discrimination of finite sets of unitary channels using product, maximally entangled, and non-maximally entangled probes. The main claims are: (i) for two unitaries, product and entangled probes have the same optimal success probability, with a criterion (Theorem 3) for when non-maximally entangled probes outperform maximally entangled ones; (ii) for every dimension d ≥ 3, there is a family of d unitaries that are perfectly distinguishable with a product or a non-maximally entangled probe but not with any maximally entangled probe (Theorem 6); (iii) there is a second family of 2d unitaries that are perfectly distinguishable only with a non-maximally entangled probe, while both product and maximally entangled probes fail (Theorem 7). The proofs combine analytic overlap calculations, trace arguments, and SDP-based numerical tables for small dimensions.","tokens_in":12606,"tokens_out":29313,"duration_ms":238402,"significance":"If the constructions are correct, the paper gives a crisp demonstration that maximal entanglement is not always the optimal resource for channel discrimination, contrary to the intuition that more entanglement is better. The explicit families (14) and (18) are simple and testable, and the numerical tables quantify the gap. The pairwise trace argument for the failure of maximally entangled probes is valid in both theorems. However, the proof of Theorem 7 as written contains a genuine gap that is load-bearing for the paper's central second construction, and the statement of Theorem 6 is ambiguous. The results are of interest to the quantum-information community and are likely repairable, but the current manuscript requires substantive revision.","major_comments":[{"comment":"The evolved states are computed incorrectly. The unitary W_k is defined by W_k|i> = |φ_{i+k-1}>, so W_k acts nontrivially on the computational basis |i>, not on the φ-basis. For the probe |ψ_nm> = Σ_i ε_i |φ_i>|i>, one obtains (W_k⊗I)|ψ_nm> = Σ_i ε_i (W_k|φ_i>)|i>, which equals Σ_i ε_i |φ_{i+k-1}>|i> only if |φ_i>=|i> for all i. The orthogonality relations displayed in (15)–(17) therefore do not follow from the definitions for a general orthonormal basis {|φ_i>}. This is the central gap in the proof of Theorem 7. The construction is repairable: take the probe to be Σ_i ε_i |i>|i> instead, with the same coefficient condition, and then the displayed evolved states and the orthogonality calculations are correct for the general φ-basis.","section":"Section III, Theorem 7, proof, Eqs. (15)–(17)"},{"comment":"The conditions defining the family {V_l} are not stated precisely enough to support the proof. The printed condition involving |ψ_j^{(l)}> is garbled, and the l-th column |ψ_l^{(l)}> is left unspecified. The proof's assertions \"One can check Tr(V_1†V_2)=d−2\" and the overlap formula (13) presuppose that the family has the structure V_l = V_1 P_{1l}, where P_{1l} is the transposition of |1> and |l> (or, in the example, V_1=I). Please state this construction explicitly and show that the stated conditions imply it. In addition, the existence of normalized coefficients a_t,b_t satisfying Σ_t [2Re(a_t^*b_t)+(d−2)|b_t|^2]=0 with a non-product state is asserted but not demonstrated; an explicit construction or a short argument is needed.","section":"Section III, Theorem 6, statement and proof"},{"comment":"The sufficiency direction of the claimed necessary-and-sufficient criterion is incomplete. From condition (ii) and Theorem 2 one obtains an entangled probe with coefficients β_j = α_j, but the proof does not show that this probe is non-maximally entangled rather than maximally entangled. If all |β_j| were equal, then |Σ_j |β_j|^2 e^{iθ_j}| = |Tr(U_1†U_2)|/d, which is nonzero by condition (i), so the constructed probe cannot be maximally entangled. This argument should be included; it is needed for the claim that the conditions are necessary and sufficient for the superiority of a non-maximally entangled probe over a maximally entangled one.","section":"Section III, Theorem 3, proof"},{"comment":"The proof of Theorem 4 is not rigorous. The sentence \"we always find at most one orthogonal state with respect to a qubit-qubit non-maximally entangled state and same goes for qubit product state also\" does not establish the claim for sets containing more than two unitaries. The theorem asserts that any collection of distinguishable qubit-unitary sets shares a common maximally entangled probe; a proper proof (or a more careful statement, if the claim is meant to be limited) is required. This result is secondary to the main constructions but is still stated as a theorem.","section":"Section III, Theorem 4, proof"}],"minor_comments":[{"comment":"The formula \"Tr(W†_1 W_2)=d−2\" is a typo; it should refer to W_1 and W_{d+1}, since W_2 and W_{d+2} are the second pair and the proof considers W_1 and W_{d+1}.","section":"Section III, Theorem 7, proof"},{"comment":"The probing state written as |χ>max = |1>|χ> is a product state, not a maximally entangled state; the notation is misleading and should be changed (e.g., |χ>probe).","section":"Section III, Theorem 6, proof"},{"comment":"The abstract and introduction state that the paper \"provide[s] a proof that for single-shot discrimination of two unitary channels, entangled and product states are operationally equivalent,\" but the converse direction (entangled probes cannot outperform product probes for two unitaries) is imported from Ref. [27] rather than proved here. Please qualify the wording and clearly attribute that part.","section":"Abstract and Introduction"},{"comment":"There are several typographical errors, including \"Scmidt\" (Theorem 6 proof), \"Hellstrom\" without proper diacritics, and \"desribed\" in the caption of Table I. These should be corrected.","section":"Throughout"},{"comment":"The numerical tables report SDP results but do not specify the parametrization of the probe states or the measurement optimization used. Adding a sentence describing the SDP setup would improve reproducibility.","section":"Tables I and II"}],"recommendation":"major_revision","confidential_remarks":"The main gap in Theorem 7 appears to be a one-line repairable mistake in the choice of probe basis, and the underlying construction is likely correct. If the authors fix this, clarify the family in Theorem 6, and fill the small gap in Theorem 3, the paper could become acceptable. I recommend major revision rather than rejection because the central examples and the trace arguments are concrete and testable."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague,\n\nRead the Manna–Das Bhowmik–Saha paper on maximally entangled probes for unitary discrimination. Short version: the examples are good and the phenomenon is real, but two of the main theorems are stated in a way that doesn't hold as written. I'd send it to a referee, but the authors need to fix the statements before I'd trust them.\n\nWhat's actually new: For d≥3, they construct families of unitaries where maximally entangled probes fail for perfect single-shot discrimination while product or non-maximally entangled probes succeed. Theorem 6 gives d unitaries distinguishable with product and non-max probes but not max; Theorem 7 gives 2d unitaries where only a non-max probe works. These are explicit, and the intuition—that max entanglement isn't a universal resource for unitary discrimination—is worth having. Theorem 3's criterion for two unitaries is neat and essentially correct, though it leans on the known result [27] that entangled probes don't beat product probes for two unitaries.\n\nWhere it falls apart: Theorem 6's hypotheses are inconsistent. With |ψ_j^{(1)}⟩=|ψ_1^{(j)}⟩ and the condition |ψ_j^{(l)}⟩=|ψ_j^{(l')}⟩ for j≠l,l′, plugging in l=2,l′=3,j=1 gives |ψ_1^{(2)}⟩=|ψ_1^{(3)}⟩, while the first condition forces those to be |ψ_2^{(1)}⟩ and |ψ_3^{(1)}⟩, which are orthogonal in the basis {|ψ_j^{(1)}⟩}. So no family satisfies the theorem as stated—not even the paper's own example. The fix is to require equality only for j∉{1,l,l′}, but as written it's a contradiction. Second, Theorem 7's proof assumes W_k maps |ϕ_i⟩ to |ϕ_{i+k-1}⟩, but W_k is defined by W_k|i⟩=|ϕ_{i+k-1}⟩. The probe is written as Σ ε_i|ϕ_i⟩|i⟩, so the evolved states are not what the proof says. If the probe is changed to Σ ε_i|i⟩|i⟩, the orthogonality calculation goes through—the example already uses |ϕ_i⟩=|i⟩—but the general proof is missing that step. Also, equation (13) is asserted without derivation, Lemma 1's dimension argument is hand-wavy, and the SDP numbers in Tables I–II come with no code or parameters, so they're not reproducible.\n\nBottom line: the central phenomenon is plausible and the examples look right once the typos are fixed, but this needs a careful revision before I'd cite it. Send it to a serious referee; I'd accept the challenge.","headline":"The examples are right in spirit, but Theorem 6 is internally inconsistent and Theorem 7's proof has a basis mismatch; fixable, worth a referee.","tokens_in":13123,"tokens_out":10868,"would_cite":false,"duration_ms":87632,"reading_group":"maybe","serious_thinker":"no","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["81P15","81P45","81P68"],"pacs":["03.67.-a"],"model":"deepseek-v4-flash","headline":"For single-shot discrimination of unitary channels, the paper proves that maximally entangled probe states can be strictly weaker than non-maximally entangled and even product states, with explicit unitary families in every dimension d ≥ 3.","keywords":["unitary channel discrimination","single-shot distinguishability","maximally entangled probe","non-maximally entangled state","product probe","quantum channel discrimination","entanglement resource","Helstrom bound"],"falsifier":"For the explicit $d=4$ family (14), run a semidefinite program over all maximally entangled probes: Theorem 6 predicts the optimal success probability is $\\frac{1}{2}\\left(1+\\sqrt{1-(d-2)^2/d^2}\\right)\\approx 0.898$, so any maximally entangled probe achieving 1 would refute it. For the six qutrit unitaries in (18), Theorem 7 predicts that every product probe gives success probability at most $1/2$; finding a product state whose optimal measurement succeeds with probability greater than $1/2$ would refute the theorem.","tokens_in":12017,"feed_emoji":"🔗","tokens_out":11384,"duration_ms":92697,"temperature":0.7,"pith_summary":"This paper studies single-shot discrimination of a known set of unitary channels, asking how the choice of probe state - product, non-maximally entangled, or maximally entangled - affects the success probability. It proves that for two unitaries, entangled and product probes achieve the same optimal success probability, so entanglement does not improve pairwise discrimination beyond what a product state can do. The main results concern three or more unitaries: in every dimension $d\\ge 3$ there exists a set of $d$ unitaries that are perfectly distinguishable with a product state and with a non-maximally entangled state but not with any maximally entangled state, and a set of $2d$ unitaries that are perfectly distinguishable only with a non-maximally entangled state. If these constructions are correct, the common expectation that more entanglement in the probe is never harmful fails already in the single-shot setting.","feed_headline":"Max entanglement fails where partial entanglement succeeds","feed_subtitle":"In every dimension ≥3, explicit unitary families are told apart perfectly only by non-maximally entangled probes.","key_machinery":"The load-bearing object is the pairwise overlap formula. For any probe $|\\psi\\rangle$, the optimal single-shot success probability for $U_1$ versus $U_2$ is $\\frac{1}{2}\\left(1+\\sqrt{1-|\\langle\\psi|(U_1^\\dagger U_2\\otimes I)|\\psi\\rangle|^2}\\right)$. A maximally entangled probe collapses the overlap to $|\\operatorname{Tr}(U_1^\\dagger U_2)|/d$, so a nonzero trace blocks perfect discrimination; a product probe makes the overlap a convex combination of the eigenvalues of $U_1^\\dagger U_2$, so perfect discrimination is possible exactly when the eigenvalue polygon contains the origin. The constructed families are chosen so that these two indicators point in opposite directions, and the non-maximally entangled probes are tuned so that the general overlap vanishes for every pair simultaneously.","core_discovery":"The central discovery is a strict hierarchy among probe states for single-shot unitary discrimination. Theorem 6 constructs, for every dimension $d\\ge 3$, $d$ unitaries $V_l=\\sum_{j=1}^d |\\psi_j^{(l)}\\rangle\\langle j|$ (in the explicit representative family, $V_l$ swaps $|1\\rangle$ with $|l\\rangle$ and fixes the other basis vectors) such that the product probe $|1\\rangle$ and a shared Schmidt-rank-2 non-maximally entangled probe both make all output states mutually orthogonal, while every maximally entangled probe fails because $\\operatorname{Tr}(V_l^\\dagger V_{l'})=d-2\\neq 0$ for $l\\neq l'$. Theorem 7 adds a set of $2d$ unitaries for which product probes and maximally entangled probes both fail, while the non-maximally entangled probe $|\\psi_{\\rm nm}\\rangle=\\sum_i \\epsilon_i|\\phi_i\\rangle|i\\rangle$ with $-|\\epsilon_1|^2+\\sum_{i=2}^d|\\epsilon_i|^2=0$ produces $2d$ mutually orthogonal evolved states. Together the two theorems establish that maximally entangled probes can be strictly weaker than partially entangled probes, and even than product probes, when more than two unitary channels are on the table.","pith_inferences":["Editorial inference: the same trace-pinning mechanism implies that any finite set of unitaries whose pairwise traces $\\operatorname{Tr}(U_i^\\dagger U_j)$ are all equal to one nonzero constant is perfectly indistinguishable with maximally entangled probes, regardless of the rest of their spectra; Theorem 6 is a special case of this more general obstruction.","Editorial inference: the successful probes in Theorems 6 and 7 are not chosen by maximizing entanglement but by matching the probe's Schmidt coefficients to the unitary differences, which suggests a design principle for channel-discrimination experiments: tailor the probe's coefficient pattern to the channel family rather than using the maximally entangled resource.","Editorial inference: one could test the robustness of these no-go results by adding small perturbations to the unitaries in (14) and (18) and asking whether the maximally entangled probe's failure persists; the nonzero trace gap suggests it should persist for sufficiently small perturbations, while the perfect distinguishability by the tailored probe may degrade continuously."],"forward_implications":["In every dimension $d\\ge 3$, there are $d$ unitaries whose single-shot discrimination is perfect with a product probe and with a non-maximally entangled probe, but impossible with any maximally entangled probe (Theorem 6).","In every dimension $d\\ge 3$, there are $2d$ unitaries that are perfectly distinguishable with a non-maximally entangled probe while both product and maximally entangled probes fail (Theorem 7).","For two unitaries, the optimal success probability over product probes equals that over entangled probes, and all maximally entangled probes are equivalent to each other (Theorems 1 and 2 together with [27]).","Any collection of pairwise distinguishable qubit unitaries can be perfectly discriminated with one common maximally entangled probe (Theorem 4), so the demonstrated limitation of maximally entangled probes only appears in dimension $d\\ge 3$."],"supporting_citations":[{"why":"Supplies the result that entangled probes cannot outperform product probes for discriminating two unitary channels, which the paper invokes to close the equivalence argument.","marker":"[27]"},{"why":"Supplies the Helstrom formula for minimum-error state discrimination that underlies all the success-probability expressions.","marker":"[31]"},{"why":"Used for the convexity of the trace norm that justifies restricting the product probe to pure states.","marker":"[45]"},{"why":"Provides the contrast baseline from continuous unitary estimation where maximally entangled probes are at least as good as others, against which the paper places its finite-set hierarchy.","marker":"[29]"}],"fun_headline_variants":["Max entanglement falls short in unitary tests","Partial entanglement beats maximal for channel ID","Nonmaximal probes win where maximal fail","For unitaries less entanglement can be better"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that the unitary families have the algebraic structure used in the proofs—in particular, that the bases in Theorem 6 make the pairwise overlap formula (13) independent of the pair $(l,l')$ so that one fixed non-maximally entangled probe zeroes them all—and that the imported two-unitary result [27] (entangled probes never beat product probes) is correct; if either fails, the constructions or the equivalence claim collapse.","fun_headline_variants_meta":{"raw":{"variants":["Max entanglement falls short in unitary tests","Partial entanglement beats maximal for channel ID","Nonmaximal probes win where maximal fail","For unitaries less entanglement can be better"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000436,"raw_usage":{"total_tokens":2234,"prompt_tokens":975,"completion_tokens":1259,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":591,"completion_tokens_details":{"reasoning_tokens":1206}},"tokens_in":591,"tokens_out":1259,"duration_ms":9390,"temperature":1.0,"reasoning_tokens":1206,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-16T11:49:07.069011+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"For the explicit $d=4$ family (14), run a semidefinite program over all maximally entangled probes: Theorem 6 predicts the optimal success probability is $\\frac{1}{2}\\left(1+\\sqrt{1-(d-2)^2/d^2}\\right)\\approx 0.898$, so any maximally entangled probe achieving 1 would refute it. For the six qutrit unitaries in (18), Theorem 7 predicts that every product probe gives success probability at most $1/2$; finding a product state whose optimal measurement succeeds with probability greater than $1/2$ would refute the theorem.","supporting_citations":[{"cited_title":"Per- fect distinguishability of quantum operations,","cited_arxiv_id":null,"evidence_quote":"Supplies the result that entangled probes cannot outperform product probes for discriminating two unitary channels, which the paper invokes to close the equivalence argument."},{"cited_title":"Improved discrimination of unitary transfor- mations by entangled probes,","cited_arxiv_id":null,"evidence_quote":"Supplies the Helstrom formula for minimum-error state discrimination that underlies all the success-probability expressions."}],"review_version":1}