{"id":"6fc587d3-6d37-4f4d-9072-231f23f86fcf","arxiv_id":"2506.03733","paper_version":3,"verdict":"CONDITIONAL","confidence":"HIGH","novelty_score":5.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"For one-parameter families of bipartite states through the maximally mixed state, the paper proves that supporting hyperplanes to Schmidt-number witness sets are exactly dual to the Schmidt-number intervals, and gives the explicit values for pure-state (Werner/isotropic) families.","lead":"This math paper shows that finding the boundary of quantum states with a given Schmidt number along a straight line through the maximally mixed state is equivalent to finding planes that just touch the set of entanglement witnesses perpendicular to that line. It then computes these numbers explicitly for pure-state-based families, including Werner and isotropic states, and gives a new product-state decomposition of separable Werner states.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The proof that σ+1 = μ depends on an unproven claim that μ is the largest λ for which X_λ is PPT; this missing eigenvalue computation is the only load-bearing gap.","rationale":"I checked the parts of the proof that could hide a more serious error. The averaging identity used to decompose X_μ is correct: over α ∈ {±1, ±i}^n, the phase factor for |ij⟩⟨ji| is α_i^2 \\bar α_j^2, whose average is zero, while the surviving diagonal and |ii⟩⟨kk| terms match Eq. (5), and the remaining diagonal correction is nonnegative because p0 p1 ≥ p_i p_j. The duality framework of Theorem 2.4 is internally consistent. The genuinely load-bearing gap is the unproven assertion that μ is the PPT threshold. Without it, the proof cannot rule out separable states above μ; the stated interval and supporting hyperplane value would not follow. This is exactly the reader's weakest_assumption. Because the missing computation is straightforward and the rest of the argument appears correct, the appropriate verdict remains CONDITIONAL; my read does not change the reader's verdict.","tokens_in":12548,"tokens_out":28012,"duration_ms":305119,"concrete_test":"Derive the spectrum of X_λ^Γ from the explicit form (5): for each pair i < j it contains the 2×2 block [[(1−λ)/n^2, λ p_i p_j], [λ p_i p_j, (1−λ)/n^2]] in the basis {|ij⟩, |ji⟩}, with the remaining diagonal entries (1−λ)/n^2 + λ p_i^2. For λ > 0, positivity of every block is equivalent to λ ≤ min_{i<j} 1/(1 + n^2 p_i p_j) = 1/(1 + n^2 p0 p1). Adding this one eigenvalue computation settles that μ is exactly the PPT threshold and completes the upper bound σ+1 ≤ μ; if the computation failed, the theorem's interval would need adjustment.","verdict_should_be":"UNCHANGED","load_bearing_attack":"In Theorem 3.1, after defining μ = 1/(1 + n^2 p0 p1), the paper states without proof: 'We note that μ is the maximum of λ's such that X_λ is of PPT.' This assertion is load-bearing: it is the only step that excludes separability for λ > μ (a non-PPT state is necessarily non-separable), and it is what fixes σ+1 = μ and, through Theorem 2.4, the supporting hyperplane value \\tildeβ−1. If the PPT threshold were not exactly μ, the Schmidt-number interval and the supporting hyperplane would shift. The missing computation is simple — X_λ^Γ decomposes into 2×2 blocks with eigenvalues (1−λ)/n^2 ± λ p_i p_j — but it is not supplied. The explicit separable decomposition of X_μ itself appears algebraically sound: after averaging over α ∈ {±1, ±i}^n, the unwanted off-diagonal terms |ij⟩⟨ji| vanish because the phase factor α_i^2 \\bar α_j^2 averages to zero, and the remaining diagonal mismatch is nonnegative. Thus the concern is specifically the unproved PPT threshold, not the decomposition.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies the compact convex sets S_k of states with Schmidt number at most k and BP_k of trace-one k-blockpositive matrices, which are dual to each other. For a one-parameter family X_λ = (1−λ)ρ_* + λρ through the maximally mixed state, the authors prove a general duality theorem (Theorem 2.4) stating that determining the interval on which X_λ lies in S_k is equivalent to locating the supporting hyperplanes to BP_k perpendicular to the family. They then specialize to the case where ρ is a pure state with Schmidt coefficients p_0 ≥ p_1 ≥ ... and supply explicit formulas for σ_1^±, β_1^±, and the tilted supporting hyperplane numbers \\tildeβ_1^± and \\tildeσ_1^±. The proofs use convex duality, explicit product-state decompositions of the state X_μ at the separability threshold, and the positive partial transpose criterion.","tokens_in":12708,"tokens_out":22919,"duration_ms":224113,"significance":"The paper gives a clean general principle that reduces the search for supporting hyperplanes perpendicular to a fixed line to the computation of Schmidt-number intervals on that line. The main application to pure-state families yields closed-form values that interpolate between the isotropic and product-state extremes, and the product-state decompositions are explicit and hand-checkable. The central derivation is algebraic and does not rely on numerical fits; if the identified missing justification is supplied, the results are a useful addition to the literature on Schmidt-number witnesses.","major_comments":[{"comment":"The statement \"We note that µ is the maximum of λ’s such that X_λ is of PPT\" is load-bearing: it is the only step that excludes separability for λ > µ, and it fixes σ_1^+ = µ and, through Theorem 2.4, the value \\tildeβ_1^−. The eigenvalue computation for X_λ^Γ is not shown. Please supply it explicitly: after the partial transpose, each off-diagonal pair {|ij⟩,|ji⟩} with i≠j gives eigenvalues (1−λ)/n² ± λ p_i p_j, and each diagonal entry is (1−λ)/n² + λ p_i²; positivity of all eigenvalues is exactly equivalent to −1/(n²p_0²−1) ≤ λ ≤ 1/(1+n²p_0p_1). Without this computation, the equality σ_1^+ = µ is not established in the text.","section":"Section 3, proof of Theorem 3.1"}],"minor_comments":[{"comment":"The decomposition (n²p_0²−1)X_{β_1^−} = Σ_{i>j} ρ_ij^Γ + D with D a diagonal matrix with nonnegative entries is not correct for general Schmidt coefficients. Explicitly D_ii = p_0² − p_i Σ_j p_j, which can be negative, for example when (p_0,p_1,p_2) = (0.9,0.3,0.3) after normalization. Since this claim is used only as motivation for the candidate witnesses and does not affect the final values, please correct it or replace it with a statement that does not assert nonnegativity.","section":"Section 3, proof of Theorem 3.1"},{"comment":"The step \"it is easy to see the relation (4)\" is compressed. Please expand the argument: for Y ∈ (\\tilde C)^°, the positivity of Tr(Y) = mn⟨Y|ρ_*⟩ from [12, Proposition 2.3.1] gives Y = Tr(Y) · (Y/Tr(Y)) with Y/Tr(Y) ∈ C^°, which yields the identification (\\tilde C)^° = \\widetilde{C^°}.","section":"Proposition 2.2(iii)"},{"comment":"The bullet list asserting that X_λ^Γ is a state exactly for −1/(n²p_0²−1) ≤ λ ≤ 1/(n²p_0p_1+1) and is separable exactly on −1/(n²−1) ≤ λ ≤ 1/(n²p_0p_1+1) is stated without proof. The first bullet is the missing PPT threshold from the major comment; the second should be justified by citing the positive partial transpose criterion together with the earlier separability arguments.","section":"End of Section 3"},{"comment":"In the proof of Theorem 2.4 the notation \"H^0_ν \\ H^−_ν\" is used where the set-theoretic difference is meant; writing H^0_ν ∪ H^+_ν would avoid any ambiguity, since for µ > 0 the condition ⟨W−X_ν|X_µ⟩ ≥ 0 places W in H^0_ν ∪ H^+_ν.","section":"Theorem 2.4 proof"},{"comment":"The text contains several OCR-type artifacts (e.g., \"á\", \"q\", \"suppress\" in the reference list) that should be cleaned in the final version.","section":"Throughout"}],"recommendation":"major_revision","confidential_remarks":"The central claim is defensible and the algebraic decompositions appear sound, but the unproved PPT threshold in the proof of Theorem 3.1 is load-bearing and must be supplied; this is a short computation and should be easy to add. The incorrect nonnegativity claim about the diagonal matrix D in the same proof is not load-bearing but should be fixed to keep the manuscript correct. The reliance on the authors' own preprint [5] for β_1^− is acceptable if that preprint is available; a precise statement of the needed formulas would improve self-containedness."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The paper is a short, well-written note. The main result, Theorem 2.4, is a clean equivalence: for a compact convex set C with the maximally mixed state as an interior point, the supporting hyperplane to the dual set C° perpendicular to a one-parameter family sits at the point orthogonal to an endpoint of the interval for C. Applied to Schmidt number sets and their witness sets, this turns the problem of finding σ±1 and the supporting hyperplane values into the same interval computation. That is a genuine conceptual simplification, though not a deep surprise; it is essentially bipolar duality in the specific affine geometry of this family.\n\nThe paper does the concrete work well. For a pure state with Schmidt coefficients p0 ≥ p1 ≥ …, it derives closed forms for σ+1 = 1/(1+n²p0p1), the supporting hyperplane position β̃−1 = −(n²p0p1+1)/(n²−1), and also the lower interval endpoint σ−1 = −1/(n²−1). The product-state decomposition of X_μ (the separable state at the upper endpoint) is explicit and verifiable—I checked the averaging phase factors and the diagonal remainder is nonnegative. The decomposition of the separable Werner state at the lower endpoint is also explicit. These are the paper's real contributions.\n\nThe soft spots are real but minor. The biggest is the assertion, without proof, that μ = 1/(1+n²p0p1) is the largest λ for which X_λ is PPT. This is load-bearing: it is what excludes separability for λ > μ and fixes σ+1 = μ and, via Theorem 2.4, β̃−1. The computation is indeed simple—the partial transpose decomposes into 2×2 blocks with eigenvalues (1−λ)/n² ± λ p_i p_j—so the gap is closing a line of algebra, not a conceptual hole. Still, the authors should put the computation in the paper.\n\nThere are two smaller dings: the proof of Proposition 2.2(iii) has an \"it is easy to see\" step before invoking a book citation, and the value β−1 = −1/(n²p0²−1) is taken from the authors' companion preprint [5] rather than proved here. Neither undermines the argument; they are the kind of thing a referee would ask the authors to make self-contained.\n\nThe paper is worth a serious referee. The intended reader is a specialist in quantum entanglement who works with convex sets and positive maps; it is not a general-audience paper. I would recommend sending it to review with a request that the authors add the PPT eigenvalue computation and make the dependency on [5] explicit.","headline":"A clean convex-duality result with explicit witness positions for pure-state families; the main gap is one missing eigenvalue computation for the PPT threshold, which is easy to fill.","tokens_in":13329,"tokens_out":3240,"would_cite":true,"duration_ms":32297,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["15A30","81P15","46L05","46L07"],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper proves a duality that pins down the exact Schmidt-number-1 boundary along pure-state one-parameter families and locates the corresponding supporting hyperplanes to the witness set.","keywords":["supporting hyperplanes","Schmidt number","k-blockpositive matrices","Schmidt number witnesses","Werner states","isotropic states","separable decomposition","positive partial transpose"],"falsifier":"For any concrete n and Schmidt coefficients, compute the smallest eigenvalue of X_λ^Γ as a function of λ. The claim predicts that this eigenvalue has its last zero precisely at λ = 1/(1 + $n^{2}$ p0 p1); finding a λ greater than this value with X_λ^Γ positive semidefinite, or finding the eigenvalue still negative exactly at this value, would refute Theorem 3.1.","tokens_in":12278,"feed_emoji":"⚛️","tokens_out":4960,"duration_ms":55191,"temperature":0.7,"pith_summary":"This paper establishes that, for one-parameter families of bipartite states running through the maximally mixed state, finding supporting hyperplanes to the convex set of Schmidt-number witnesses is exactly the same problem as determining the boundary of the set of states of Schmidt number at most k. For the family generated by a pure state with Schmidt coefficients p0 ≥ p1 ≥ ⋯, it finds the exact boundary: Schmidt number 1 prevails up to λ = 1/(1+$n^{2}$ p0 p1), and the supporting hyperplane to the witness set sits at the negative value −($n^{2}$ p0 p1 + 1)/($n^{2}$ − 1). It also supplies an explicit decomposition of the separable Werner state as a sum of product states. A reader interested in entanglement quantification or in the convex geometry of state spaces would care because these are exact, not heuristic, boundaries.","feed_headline":"Exact Schmidt-number boundary found on pure-state lines","feed_subtitle":"A duality theorem matches the witness-set hyperplane with the entanglement boundary; the Werner-state decomposition follows.","key_machinery":"The one-parameter family X_λ = (1−λ)I/(mn) + λρ, together with the affine function f_λ(X) = ⟨X|X_λ⟩ whose level sets are precisely the hyperplanes perpendicular to the family. Theorem 2.4 is the load-bearing mechanism: it says the boundary interval [γ−[C], γ+[C]] of a compact convex set C and the supporting-hyperplane positions β̃±[C^∘] of its dual are tied by the zero-pair condition ⟨X_ν|X_μ⟩ = 0. In the pure-state computation, the key constructive tool is averaging product states |η_α⟩ = (Σ √p_i α_i |i⟩) ⊗ (its conjugate) over α_i ∈ {±1, ±i}, which yields the separable decomposition for the endpoint state X_μ.","core_discovery":"The central discovery is Theorem 2.4, a duality principle: for a compact convex set C in the affine space of trace-one Hermitian matrices with the maximally mixed state as an interior point, a hyperplane perpendicular to the one-parameter family {X_λ} supports the dual set C^∘ exactly when its partner hyperplane, through the orthogonal point X_μ with ⟨X_ν|X_μ⟩ = 0, passes through the boundary point of C. Applying this with C = S_1, the set of states of Schmidt number at most 1, and C^∘ = BP_1, the trace-one 1-blockpositive witnesses, and with ρ = |ξ⟩⟨ξ| a pure state, the paper proves Theorem 3.1: the supporting hyperplane to BP_1 lies at β̃^-_1 = −($n^{2}$ p0 p1 + 1)/($n^{2}$ − 1), while the Schmidt-number-1 interval ends at σ^+_1 = 1/(1 + $n^{2}$ p0 p1). The state at that endpoint is separable, and the touching witness is the Choi matrix of an explicit completely copositive map. In the isotropic and Werner special cases this recovers the known boundaries and gives a new product-state decomposition of the separable Werner state.","pith_inferences":["The same zero-pair duality should extend to other one-parameter families, including those generated by non-pure states, as long as the boundary interval for block-positivity can be computed.","The method of averaging over phase choices could serve as a template for constructing separable decompositions of boundary states for other symmetric families, not only the isotropic and Werner lines.","The unproved PPT threshold used in the paper suggests a testable operational criterion: along this family, the largest λ with PPT is conjecturally the exact Schmidt-number boundary, which could be checked numerically in higher dimensions."],"forward_implications":["For every pure state in C^n ⊗ C^n with ordered Schmidt coefficients, the Schmidt-number-1 interval along the line through the maximally mixed state ends exactly at 1/(1 + n^2 p0 p1), and the supporting hyperplane to the witness set is at −(n^2 p0 p1 + 1)/(n^2 − 1).","The same duality applies to every k: once the boundary interval for k-blockpositivity is known, the Schmidt-number-k boundary and the supporting hyperplane position are determined by a single orthogonality relation.","Along this one-parameter family, the PPT condition and separability coincide for λ ≥ 0: the state is separable exactly when its partial transpose is positive semidefinite.","The averaging construction with α ∈ {±1, ±i} gives a direct, explicit product-state decomposition of the separable Werner state, complementing earlier existence arguments."],"supporting_citations":[{"why":"Supplies the interval endpoints for k-blockpositivity, in particular β^-_1 = −1/(n^2 p0^2 − 1), on which the pure-state calculation builds.","marker":"[5]"},{"why":"Defines the Schmidt number, the quantity whose boundaries the paper computes.","marker":"[19]"},{"why":"Introduces the k-blockpositive matrices and the Choi-matrix correspondence that form the witness set BP_k.","marker":"[6]"},{"why":"Establishes that k-blockpositive matrices serve as Schmidt-number witnesses, giving the dual pairing used throughout.","marker":"[17]"},{"why":"Proves the largest separable ball centered at the maximally mixed state, providing the interior-point property needed in the duality theorem.","marker":"[3]"},{"why":"Defines the Werner states, one of the two families used to illustrate the results and the source of the separable-decomposition example.","marker":"[21]"}],"fun_headline_variants":["Duality theorem pinpoints Schmidt-number boundaries","Supporting hyperplanes fix Schmidt number witnesses","Pure-state lines reveal Schmidt number edge","Hyperplane duality splits entanglement boundary","Schmidt number boundary from witness duality"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The proof that σ^+_1 equals 1/(1 + $n^{2}$ p0 p1) relies on the unproved assertion that this value is exactly the largest λ for which the partial transpose X_λ^Γ is positive semidefinite, so if that PPT threshold were smaller or larger, the equality and the derived supporting-hyperplane value would need adjustment.","fun_headline_variants_meta":{"raw":{"variants":["Duality theorem pinpoints Schmidt-number boundaries","Supporting hyperplanes fix Schmidt number witnesses","Pure-state lines reveal Schmidt number edge","Hyperplane duality splits entanglement boundary","Schmidt number boundary from witness duality"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000617,"raw_usage":{"total_tokens":2850,"prompt_tokens":913,"completion_tokens":1937,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":529,"completion_tokens_details":{"reasoning_tokens":1875}},"tokens_in":529,"tokens_out":1937,"duration_ms":18239,"temperature":1.0,"reasoning_tokens":1875,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-07T10:58:03.662822+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"For any concrete n and Schmidt coefficients, compute the smallest eigenvalue of X_λ^Γ as a function of λ. The claim predicts that this eigenvalue has its last zero precisely at λ = 1/(1 + $n^{2}$ p0 p1); finding a λ greater than this value with X_λ^Γ positive semidefinite, or finding the eigenvalue still negative exactly at this value, would refute Theorem 3.1.","supporting_citations":[{"cited_title":"Global locations of Schmidt number witnesses","cited_arxiv_id":"2505.10288","evidence_quote":"Supplies the interval endpoints for k-blockpositivity, in particular β^-_1 = −1/(n^2 p0^2 − 1), on which the pure-state calculation builds."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Defines the Schmidt number, the quantity whose boundaries the paper computes."},{"cited_title":"Jamio/suppress lkowski,Linear transformations which preserve trace and positive s emidefinite operators, Rep","cited_arxiv_id":null,"evidence_quote":"Introduces the k-blockpositive matrices and the Choi-matrix correspondence that form the witness set BP_k."},{"cited_title":"Sanpera, D","cited_arxiv_id":null,"evidence_quote":"Establishes that k-blockpositive matrices serve as Schmidt-number witnesses, giving the dual pairing used throughout."},{"cited_title":"Gurvits and H","cited_arxiv_id":null,"evidence_quote":"Proves the largest separable ball centered at the maximally mixed state, providing the interior-point property needed in the duality theorem."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Defines the Werner states, one of the two families used to illustrate the results and the source of the separable-decomposition example."}],"review_version":1}