{"id":"85dce7e4-bbfb-4396-88cd-af0d26dbf9af","arxiv_id":"1908.04914","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The paper derives the necessary and sufficient condition for deterministic mixed-to-pure coherence conversion under strictly incoherent operations, and gives the maximum number of maximally coherent qubit states that can be distilled from any finite set of coherent states.","lead":"Quantum information researchers found a complete rule for when a noisy quantum state can be converted with certainty into a pure coherent state using only free operations. It settles an open question in the resource theory of coherence and connects it to the algebra of majorization lattices.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 1's only-if proof omits the orthogonality/merging step for the projectors, so the necessity of the stated condition is not established.","rationale":"After reading the preprint, the central claim is the iff in Theorem 1 and the formula in Theorem 2. The Reader's weakest_assumption is that S_m is not proved globally optimal. I agree that is a real omission, but I find a more foundational gap: the only-if proof of Theorem 1 never constructs an orthogonal complete set. It derives projectors P_{n,mu} from the support of each Kraus operator, and these supports can overlap. SIO channels often require several Kraus operators with overlapping supports (e.g., the three-Kraus implementation of |phi_3> to |+>). The proof needs a lemma that two overlapping pure principal submatrices force the union to be pure, so the transitive closure gives an orthogonal partition. This lemma is plausible (a 3x3 PSD determinant argument forces the cross term to saturate Cauchy-Schwarz), and I do not believe the theorem is false. But as written the necessity proof is incomplete. The Reader's 'if-direction gap' is not real: the direct-sum construction in the if part is valid because the P_alpha are orthogonal and each embedded Kraus operator satisfies both SIO conditions. Thus I disagree with part of the Reader's rationale. Since the missing lemma is likely repairable, the verdict remains CONDITIONAL rather than ACCEPT. The global-optimality concern in Theorem 2 is secondary; it also needs the monotonicity argument that enlarging a pure block to a maximal all-ones submatrix only decreases the largest dephased probability.","tokens_in":8978,"tokens_out":44814,"duration_ms":471578,"concrete_test":"Check the merging lemma analytically: for any positive semidefinite M and subsets S,T with S intersect T nonempty and positive diagonal entries, if both principal submatrices M|_S and M|_T are rank-one, prove or disprove that M|_{S union T} is rank-one. A numerical search over random 4x4 PSD matrices with two overlapping rank-one principal submatrices would settle the lemma; if a counterexample appears, Theorem 1's necessity is false.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Theorem 1's only-if direction does not prove the stated condition. After Eq. (6), the proof obtains, for each Kraus operator K_n and each irreducible block rho_mu, a projector P_{n,mu} and a pure state psi_{n,mu}=P_{n,mu} rho_mu P_{n,mu}/Tr(P_{n,mu} rho_mu P_{n,mu}). But the theorem requires an orthogonal and complete set {P_alpha}; the collection {P_{n,mu}} need not be orthogonal, since different strictly incoherent Kraus operators can have overlapping column supports (for example, pure-state conversions use several Kraus operators with common support indices). The proof then asserts the conclusion without showing that overlapping pure principal submatrices can be merged into a single projector, nor that the resulting partition is complete. There is also a minor normalization slip: Eq. (9) states equality of P_n psi_{mu,i} P_n and P_n psi_{mu,j} P_n, whereas Eq. (8) only gives proportionality; this is fixable but is another unstated step. Without the missing merging lemma, the necessity direction of the central iff is incomplete.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The manuscript studies deterministic coherence distillation under strictly incoherent operations (SIO) for a finite number of coherent states. It states Theorem 1, a necessary and sufficient condition for converting a mixed state rho into a pure coherent state phi via SIO: there must exist an orthogonal and complete set of incoherent projectors {P_alpha} such that each normalized projected state psi_alpha is pure coherent and Delta psi_alpha is majorized by Delta phi, equivalently the majorization join satisfies \\vee S \\prec Delta phi. It then proposes a three-step distillation scheme: block-diagonalize rho, construct projectors from maximally dimensional all-ones principal submatrices of A = (Delta rho)^{-1/2} |rho| (Delta rho)^{-1/2}, compute the least upper bound Delta psi of the dephased projected states, and distill floor(log_2 ||psi||_infty^{-1}) maximally coherent qubits. The paper also gives a corollary about conversion to some pure coherent state, compares with bound coherence, and notes that the pure-state case recovers the known result of Regula et al.","tokens_in":9176,"tokens_out":8046,"duration_ms":84706,"significance":"If the main theorem and the optimality claim are correct, the paper would complete the one-shot deterministic distillation problem under SIO and provide a simple, computable formula for the maximum number of distillable maximally coherent qubits. The connection to the majorization lattice is a useful structural insight, and the scheme is explicit and in principle implementable. The derivation of Eq. (14) from the majorization condition has no fitted parameters. However, the proof gaps described below affect the central iff statement and the claimed maximum, so the results are not yet established at the level of rigor required for publication.","major_comments":[{"comment":"The proof produces, for each Kraus operator K_n and each irreducible block rho_mu, a projector P_{n,mu} and a pure state psi_{n,mu}, and then asserts that the condition in Eq. (1) follows. This is the point where a merging or orthogonalization step is missing. The supports of the projectors P_{n,mu} for different n need not be mutually orthogonal, because sum_n K_n^dagger K_n = I does not force the column supports of different K_n to be disjoint; pure-state SIO conversions can require several Kraus operators with overlapping column supports. No argument is given that the overlapping principal submatrices can be merged into a complete family of orthogonal projectors while preserving the purity of the normalized projections and the relation Delta psi_alpha \\prec Delta phi. Until this step is supplied, the necessity direction of the central iff is incomplete. Separately, Eq. (9) states an equality of unnormalized projections, but Eq. (8) only gives proportionality after the filter K_n^D; the normalization should be included, e.g., P psi_i P / Tr(P psi_i P) = P psi_j P / Tr(P psi_j P).","section":"Theorem 1, only-if direction, Eqs. (6)-(9)"},{"comment":"The formula N_max = floor(log_2 ||psi||_infty^{-1}) is computed from the specific set S_m obtained from the maximally dimensional all-ones principal submatrices of A_mu. The paper itself notes that the set {P_alpha} in Theorem 1 is not unique, but it does not prove that S_m is globally optimal among all admissible sets of projectors. Since Theorem 2 and the title claim the maximum distillable number, an upper-bound argument is required showing that no other orthogonal complete family admitted by Theorem 1 yields a strictly larger N. Without such an argument, Eq. (14) is only a lower bound on the distillable number, not the claimed maximum.","section":"Theorem 2 and distillation algorithm, Eqs. (10)-(14)"},{"comment":"The proof of the 'if' part of the Corollary is incomplete. The displayed definition of |psi'_alpha> is not generally a two-level state despite the surrounding text, the assertion that S' is an ordered set is not justified, and the statement that the join \\vee S' equals one of the Delta psi'_alpha and corresponds to a two-level state does not follow from the preceding inequalities. Since this corollary is used in the discussion relating the result to bound coherence, it should be proved carefully or its statement should be weakened/removed.","section":"Corollary (if direction)"}],"minor_comments":[{"comment":"There are several typos, including 'Cond ensed' and 'Central of Excellence' in the author affiliation, 'The the dephasing map' in the resource-theory section, and the phrase 'the maximum number of 2-dimensional maximally coherent state that can distill' in the paragraph before Theorem 2.","section":"General"},{"comment":"The caption contains 'phiP', which appears to be a typo for 'phi'.","section":"Fig. 1 caption"},{"comment":"The use of the join \\vee S should be clarified: the majorization lattice is defined up to permutation, so Eq. (2) should explicitly state that the relevant ordering is understood up to the equivalence used in the lattice definition.","section":"Eq. (2)"},{"comment":"The decomposition K_n = P_pi K_n^D P_n in Eq. (6) uses the symbol n both for the Kraus index and for the dimension of the diagonal matrix; this overloading is confusing and should be fixed.","section":"Proof of Theorem 1, decomposition of K_n"}],"recommendation":"major_revision","confidential_remarks":null},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The paper claims to settle the deterministic coherence distillation problem for mixed states under strictly incoherent operations (SIO), giving an iff condition for mixed-to-pure conversion and a formula for the maximum number of maximally coherent qubits distillable. The problem is real and open, and the majorization-lattice framing is elegant. Worth taking seriously, but there are two soft spots you should know about before relying on it.\n\nWhat is new: the pure-state case was known (Regula et al.), but the extension to mixed inputs is the open question. The proposed characterization — existence of an orthogonal complete set of incoherent projectors such that each projected block is a pure state whose dephased distribution is majorized by the target's — is the first believable candidate I've seen for this problem. The 'if' direction is essentially sound: if such a set exists, each block can be converted to the target pure state by SIO, and the direct sum of those operations works. The reader's concern about the direct-sum construction is misplaced; each branch maps its block to the same target state, and the mixture of identical pure states is that pure state. So the construction does not get stuck.\n\nThe soft spots are in the 'only if' direction and in the optimality claim. The necessity proof is incomplete. From an assumed SIO conversion, the proof derives, for each Kraus operator and each irreducible block, a projector and a pure projected state. But the theorem requires a single orthogonal, complete set of projectors, and the collection obtained need not be orthogonal — different Kraus operators can have overlapping column supports. The proof just asserts the conclusion without showing how to merge overlapping projectors while preserving purity, and without showing completeness. There is also a small normalization slip: Eq. (9) states equality of P_n ψ_{μ,i} P_n and P_n ψ_{μ,j} P_n, but Eq. (8) only gives proportionality. These are likely fixable, but as written the necessity direction does not actually prove the claimed condition.\n\nTheorem 2 also overreaches. The formula Nmax = floor(log2 ||ψ||_∞^-1) is derived for a specific set of projectors, those coming from maximally dimensional principal submatrices of the matrices A_μ. The paper does not argue that this choice is optimal among all projectors admitted by Theorem 1. Without that, the formula is at best a lower bound, not the maximum.\n\nWho this is for: people working on resource theories of coherence, one-shot transformations, and majorization methods. The paper deserves a serious referee — the characterization is important and the gaps are concrete and addressable. I would send it to peer review, asking for a full proof of the necessity direction and a proper optimality argument for Theorem 2. I would not yet cite it as an established theorem.","headline":"Plausible and important claim about deterministic coherence distillation under SIO, but the necessity proof has a genuine gap and the distillation-rate formula lacks an optimality proof.","tokens_in":9683,"tokens_out":5791,"would_cite":false,"duration_ms":59129,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper proves a necessary and sufficient condition for deterministically converting mixed coherent states into pure coherent states under strictly incoherent operations, and derives the exact maximum number of maximally coherent qubits…","keywords":["deterministic coherence distillation","strictly incoherent operations","majorization lattice","quantum coherence resource theory","maximally coherent state","pure state conversion","bound coherence"],"falsifier":"For a concrete small mixed state, enumerate every orthogonal and complete set of incoherent projectors that satisfies Theorem 1, and for each set compute the pure state whose dephased form is the least upper bound of the conditional dephased distributions; if any admissible set produces a pure state with a smaller max norm than the state obtained from the maximally dimensional all-ones principal submatrices of $A$, then the claimed formula is not the true maximum.","tokens_in":8770,"feed_emoji":"⚛️","tokens_out":11268,"duration_ms":98895,"temperature":0.7,"pith_summary":"The paper's goal is to complete deterministic coherence distillation: converting a finite supply of mixed coherent states into pure, ideally maximally coherent, states with certainty rather than probabilistically. It proves that a mixed state $\\rho$ can be transformed into a pure coherent state $\\varphi$ by strictly incoherent operations if and only if there is an orthogonal, complete set of incoherent projectors $\\{P_\\alpha\\}$ such that each conditionalized state $P_\\alpha\\rho P_\\alpha/\\mathrm{Tr}(P_\\alpha\\rho P_\\alpha)$ is pure and its dephased distribution is majorized by $\\Delta\\varphi$. This converts a quantum conversion problem into a classical majorization-lattice calculation. Using that condition, the paper builds an explicit distillation scheme and obtains $N_{\\max}=\\lfloor \\log_2 \\|\\psi\\|_\\infty^{-1}\\rfloor$ for the maximum number of two-dimensional maximally coherent states distilled from a finite collection of input states. If the result holds, it closes the deterministic distillation question for a fixed finite supply of mixed states under strictly incoherent operations and recovers the previously known pure-state formula as a special case.","feed_headline":"One formula sets the exact limit for distillable coherent qubits","feed_subtitle":"A majorization condition on incoherent projections yields the precise number of maximally coherent qubits you can get with certainty.","key_machinery":"The load-bearing object is the dephased-majorization criterion for pure-state transformations under strictly incoherent operations: a pure state $\\psi$ can be converted to pure $\\varphi$ if and only if $\\Delta\\psi\\prec \\Delta\\varphi$. Theorem 1 lifts this to mixed states by demanding a complete family of incoherent projections whose conditionalized states are pure and whose dephased distributions have a least upper bound $\\bigvee S$ that is majorized by $\\Delta\\varphi$. To construct the projectors, the paper uses the nonnegative matrix $A=(\\Delta\\rho)^{-1/2}|\\rho|(\\Delta\\rho)^{-1/2}$, whose all-ones irreducible principal submatrices of maximal dimension pick out the relevant subspaces; a cited averaging lemma from majorization-lattice theory computes the least upper bound. The max norm $\\|\\psi\\|_\\infty$ of the resulting pure state then converts the majorization check into the count $N_{\\max}$.","core_discovery":"The central claim, Theorem 1, is that $\\rho$ can be forced to a pure coherent state $\\varphi$ by a strictly incoherent operation exactly when some orthogonal and complete family of incoherent projectors $\\{P_\\alpha\\}$ has the property that every nonzero projected and renormalized state $P_\\alpha\\rho P_\\alpha/\\mathrm{Tr}(P_\\alpha\\rho P_\\alpha)$ is a pure coherent state $\\psi_\\alpha$ whose dephased distribution satisfies $\\Delta\\psi_\\alpha \\prec \\Delta\\varphi$; equivalently, the least upper bound of the dephased states in the majorization lattice is majorized by $\\Delta\\varphi$. Theorem 2 then states that the largest number of two-dimensional maximally coherent states deterministically distillable from a finite collection $\\rho_1\\otimes\\cdots\\otimes\\rho_n$ is $N_{\\max}=\\lfloor \\log_2 \\|\\psi\\|_\\infty^{-1}\\rfloor$, where $\\psi$ is the pure state whose dephased form is the least upper bound of the dephased distributions attached to the maximally dimensional all-ones principal submatrices of $A=(\\Delta\\rho)^{-1/2}|\\rho|(\\Delta\\rho)^{-1/2}$. The paper argues this completes the deterministic distillation framework under strictly incoherent operations and that the states convertible to a pure coherent state form a strictly smaller class than the distillable ones, so convertible states are never bound coherent states, with the converse failing.","pith_inferences":["The paper's $N_{\\max}$ formula is proven for the particular set $S_m$ of dephased distributions obtained from maximally dimensional all-ones principal submatrices; if some other admissible projector family from Theorem 1 produced a strictly larger join, the claimed maximum would be an upper bound only. Exhaustive enumeration over small mixed states could test this.","The majorization-lattice method should extend to deterministic distillation into $d$-dimensional maximally coherent states by replacing the target $\\mathrm{diag}(2^{-N},\\ldots,2^{-N},0,\\ldots)$ with a $d$-level uniform distribution and optimizing over $d$; the same join computation would set the boundary.","The resemblance to the majorization condition familiar in entanglement distillation suggests that analogous deterministic conversion criteria could be formulated for other free-operation sets in coherence theory, where the projector structure and the majorization condition would have to be modified.","If the bound is tight, it gives a single-parameter operational measure of deterministic distillable coherence, complementing the asymptotic distillable coherence and offering a finite-resource counterpart."],"forward_implications":["Any mixed state satisfying Theorem 1 can be converted into the target pure coherent state with certainty via a strictly incoherent operation, not merely with some probability.","For a finite collection of coherent states, the distillable number of maximally coherent qubits is a single computable integer, $\\lfloor \\log_2 \\|\\psi\\|_\\infty^{-1}\\rfloor$, fixed entirely by the dephased data of the input.","The pure-state deterministic distillation result emerges as the special case where all inputs are pure, so the mixed-state criterion contains and extends the earlier result.","States that can be transformed into a pure coherent state under strictly incoherent operations cannot be bound coherent states, i.e., states from which no coherence can be extracted at all, and the convertible class is strictly smaller than the class of states from which some coherence can be distilled asymptotically.","The theorem also gives an operational meaning to the majorization lattice join in coherence theory: the join of dephased conditional states is exactly the state whose distillability determines the yield."],"supporting_citations":[{"why":"Defines strictly incoherent operations and supplies the asymptotic distillation setting in which bound coherence is later contrasted.","marker":"[11]"},{"why":"Supplies the pure-state transformation criterion for strictly incoherent operations invoked in the proof of Theorem 1.","marker":"[13]"},{"why":"Gives the all-ones characterization of the matrix A, used to select the incoherent projectors in the distillation scheme.","marker":"[24]"},{"why":"Introduces the notion of bound coherence under strictly incoherent operations, which the corollary contrasts with convertible states.","marker":"[27]"},{"why":"Gives the bound-state condition used to argue the convertible class is strictly smaller than the distillable class.","marker":"[28]"},{"why":"The earlier deterministic distillation result for pure states that Theorem 2 generalizes and reduces to.","marker":"[30]"},{"why":"One of the pure-state conversion criteria invoked in the proof of Theorem 1.","marker":"[33]"},{"why":"Another pure-state conversion criterion invoked in the proof of Theorem 1.","marker":"[34]"},{"why":"Proves the lemma used to compute the least upper bound in the majorization lattice.","marker":"[36]"}],"fun_headline_variants":["Exact maximum for deterministic coherence distillation","Majorization lattice fixes coherence distillability limit","Formula gives exact count of maximally coherent qubits","Deterministic distillation: precise bound from majorization","Coherence distillation: exact number of pure states"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The proof of the maximum number assumes that the particular set of projected pieces singled out by the construction is the one that yields the largest possible yield; the paper uses that set without proving that no other admissible projector family gives more.","fun_headline_variants_meta":{"raw":{"variants":["Exact maximum for deterministic coherence distillation","Majorization lattice fixes coherence distillability limit","Formula gives exact count of maximally coherent qubits","Deterministic distillation: precise bound from majorization","Coherence distillation: exact number of pure states"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000225,"raw_usage":{"total_tokens":1457,"prompt_tokens":931,"completion_tokens":526,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":547,"completion_tokens_details":{"reasoning_tokens":456}},"tokens_in":547,"tokens_out":526,"duration_ms":9956,"temperature":1.0,"reasoning_tokens":456,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T13:30:44.932506+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"For a concrete small mixed state, enumerate every orthogonal and complete set of incoherent projectors that satisfies Theorem 1, and for each set compute the pure state whose dephased form is the least upper bound of the conditional dephased distributions; if any admissible set produces a pure state with a smaller max norm than the state obtained from the maximally dimensional all-ones principal submatrices of $A$, then the claimed formula is not the true maximum.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Defines strictly incoherent operations and supplies the asymptotic distillation setting in which bound coherence is later contrasted."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Gives the all-ones characterization of the matrix A, used to select the incoherent projectors in the distillation scheme."},{"cited_title":"Chitambar, Phys","cited_arxiv_id":null,"evidence_quote":"Introduces the notion of bound coherence under strictly incoherent operations, which the corollary contrasts with convertible states."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Gives the bound-state condition used to argue the convertible class is strictly smaller than the distillable class."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"The earlier deterministic distillation result for pure states that Theorem 2 generalizes and reduces to."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"One of the pure-state conversion criteria invoked in the proof of Theorem 1."},{"cited_title":"Bhatia, Matrix Analysis, Springer-V erlag, New Y ork, 1997","cited_arxiv_id":null,"evidence_quote":"Another pure-state conversion criterion invoked in the proof of Theorem 1."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Proves the lemma used to compute the least upper bound in the majorization lattice."}],"review_version":1}