{"id":"814949e1-8c9a-46ce-a17b-e41061be2587","arxiv_id":"2608.03828","paper_version":1,"verdict":"ACCEPT","confidence":"HIGH","novelty_score":8.0,"correctness_risk":"low","formal_verification":"none","parameter_count":1,"one_line_summary":"A rank-two separable state violates the complementary-quantum correlation conjecture for every local dimension d at least 3.","lead":"A simple two-state quantum mixture is shown to break a conjecture that measurements in two complementary bases cannot reveal more correlation than the state genuinely contains. The result matters because it overturns a tool used as a certified experimental lower bound on quantum mutual information.","discovery_kind":"first_principles","skeptic_critique":{"model":"deepseek-v4-flash","headline":"No significant objection identified: the counterexample is internally consistent and the standard theorems invoked are valid.","rationale":"The reader's verdict is ACCEPT, and my independent check agrees. The reader's weakest_assumption focused on the normalization in Eq. (6) and the branch assignment in Eq. (7); I verified these are correct. The other flagged point, the appeal to local-measurement monotonicity, is a standard theorem and is not a correctness risk. I found no internal inconsistency or hidden assumption that would threaten the central claim. The construction is explicit, the arithmetic checks out, and the proof is elementary. The only minor issues are the lack of a proof for a cited standard result and the unverifiable ancillary directory, neither of which affects the mathematical validity. Thus the verdict remains unchanged.","tokens_in":3345,"tokens_out":12594,"duration_ms":129119,"concrete_test":"Recompute the d=3 matrices in Eq. (12) directly from Eq. (9), then evaluate I(X_A:X_B) and I(Z_A:Z_B) from their entropies; confirm the sum is 1 + (1/3) log2(3456/3125) > 1.","verdict_should_be":"UNCHANGED","load_bearing_attack":"I attempted to find a load-bearing flaw and found none. The Fourier coefficients in Eq. (6) are correct: |<x_k|v>|^2 = (2/d) sin^2(pi k/d). Eq. (7) follows by mixing the two equal branches, and the coarse-grained zero/nonzero labels are perfectly anticorrelated, so data processing gives I(X_A:X_B) >= 1. The standard monotonicity of quantum mutual information under local operations (cited as [5]) gives the matching upper bound, so Eq. (8) holds. Eq. (9) is not a product distribution (P_Z(2,2)=0 but r_2^2>0), hence I(Z_A:Z_B)>0, and the sum in Eq. (10) exceeds I(A:B)=1. The closed form Eq. (11) matches an independent entropy derivation, and the qutrit numbers in Eq. (13) are correct. The continuity argument for full-rank states is valid. The only caveats are an unproved standard theorem and an unverifiable ancillary directory; neither affects correctness.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper claims to disprove the complementary-quantum correlation (CQC) conjecture, Eq. (1), for every local dimension d >= 3, using an explicit rank-two separable state rho_AB given in Eq. (4). The state is a mixture of two product states with orthogonal local components. The authors compute: I(A:B)=1 from the spectrum; for the Fourier-conjugate measurement X, the joint outcome distribution Eq. (7) yields perfectly anticorrelated zero/nonzero branch labels, so data processing gives I(X_A:X_B) >= 1, while monotonicity of quantum mutual information under local measurements gives the reverse inequality, hence Eq. (8) with equality; for the computational measurement Z, the distribution Eq. (9) is non-product, so I(Z_A:Z_B)>0. Therefore the sum of two classical mutual informations strictly exceeds the quantum mutual information, disproving Eq. (1). A closed-form violation is given in Eq. (11), a qutrit excess in Eq. (13), and a continuity argument in Eq. (14) extends the violation to full-rank separable states near the boundary. The paper concludes that the two-basis CQC sum is not an unconditional lower bound on quantum mutual information.","tokens_in":3599,"tokens_out":7653,"duration_ms":91097,"significance":"If correct, this is a substantial negative result: it settles a conjecture that has been open since 2014 and that entered a security argument, using an elementary and fully explicit construction. The proof is self-contained, checkable, and the qutrit excess is given to high precision. The construction is also physically informative, showing that the violation arises from a classical latent variable read out in two mutually unbiased bases, requiring neither entanglement nor discord. The authors appropriately scope their claim to the original two-sided, two-basis CQC and explicitly state that their example does not settle one-sided or multibasis extensions. The continuity extension to full-rank states is standard but correct. These strengths make the paper a valuable contribution if the central claim stands, and I find no error in the central derivation.","major_comments":[],"minor_comments":[{"comment":"The phrase 'Direct evaluation of Eq. (9)' is not accompanied by a derivation. Since Eq. (11) is used for the exact qutrit number, adding a short derivation or an appendix with the entropy computation would improve verifiability, even though I have checked the formula numerically for d=3.","section":"Eq. (11)"},{"comment":"The monotonicity of quantum mutual information under local measurements is a standard but load-bearing ingredient. Please give a precise pointer (e.g., Nielsen and Chuang, Chapter 11, quantum data-processing inequality) or include a one-line proof via relative entropy monotonicity.","section":"Eq. (8) and Ref. [5]"},{"comment":"The ancillary directory 'anc/' cannot be inspected from the arXiv source as provided. In the final version, a permanent repository URL or inline verification of the four checks would be more useful, though this does not affect the mathematical content.","section":"Data availability"},{"comment":"There is a minor formatting typo in 'I( A : B)' with an extra space. Please correct.","section":"Introduction"}],"recommendation":"accept","confidential_remarks":"The manuscript is squarely within scope for a quantum-information journal. The counterexample is simple enough that the community will quickly verify it; the explicit closed-form and the careful scoping of what is and is not refuted are additional strengths. No concerns about novelty or citation practice. The claim of being the first explicit counterexample in the publicly searchable literature appears reasonable given the references cited."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague,\n\nThis paper gives the first explicit counterexample to the CQC conjecture for every local dimension d≥3, and the construction is as simple as it gets: a rank-two separable state, Eq. (4), where one complementary measurement saturates the quantum mutual information and the other still has positive classical correlation. The violation is real. I went through Eq. (6) for the Fourier probabilities, the coarse-graining argument for Eq. (8), and the non-product check for Eq. (9); all of them are clean. The qutrit numbers in Eq. (13) are right, and the closed form in Eq. (11) matches the entropy calculation.\n\nWhat the paper does well is that it doesn't overclaim. It correctly notes that the effect is classical in origin — no entanglement, no discord — and that the two measurements are reading the same latent branch label in complementary ways. The context is accurate: the prior literature leaves the unrestricted conjecture open, and the known sufficient conditions don't cover this state. The note about the repair needed (restricting state class or accounting for redundant readouts) is fair.\n\nSoft spots are minor. The proof uses the standard fact that local measurements cannot increase quantum mutual information, cited to Nielsen and Chuang rather than proved. That's acceptable in a short paper, but a referee might ask for a one-line proof. The ancillary directory is mentioned but not linked; I couldn't verify the four independent checks independently. The continuity argument for full-rank violation is standard and correct, though the numeric qutrit threshold near epsilon=0.017 is not needed. The paper also doesn't discuss whether the violation survives for more than two mutually unbiased bases, but it explicitly says the multi-basis extension is not addressed, which is honest.\n\nI don't think there's a load-bearing flaw. The counterexample is simple enough that someone could miss it, but the math is sound. The result is significant within quantum information because it removes an unconditional experimental lower bound that people had relied on. A serious referee should spend the time; it deserves peer review.\n\nI'd bring it to our reading group. It's short, elegant, and a good example of how a low-rank separable state can behave differently than random searches suggest.\n\n— [Your name]","headline":"Short, self-contained counterexample that appears to settle the unrestricted CQC conjecture; the derivation checks out and the caveats are minor.","tokens_in":4083,"tokens_out":2486,"would_cite":true,"duration_ms":27283,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["81P45","81P40"],"pacs":["03.67.-a"],"model":"deepseek-v4-flash","headline":"The paper presents an explicit rank-two separable state in every local dimension d>=3 for which two complementary measurement mutual informations sum to more than the quantum mutual information, disproving the complementary-quantum correlat","keywords":["complementary-quantum correlation conjecture","quantum mutual information","mutually unbiased bases","separable states","rank-two counterexample","qutrit","data processing inequality","quantum discord"],"falsifier":"Directly compute the Shannon mutual informations for the qutrit joint distributions in Eq. (12); if I(XA:XB)=1 and I(ZA:ZB) equals (1/3) log2(3456/3125), the violation is real, while any independent re-evaluation that yields a sum of one bit or less would refute the claim.","tokens_in":3213,"feed_emoji":"⚛️","tokens_out":6139,"duration_ms":69642,"temperature":0.7,"pith_summary":"The paper aims to settle the complementary-quantum correlation (CQC) conjecture, which says that for any bipartite state the sum of classical mutual informations obtained from two mutually unbiased local measurements never exceeds the pre-measurement quantum mutual information. It builds an explicit rank-two separable state in every local dimension d>=3 for which one measurement (the Fourier basis) captures the full one-bit quantum mutual information, while the other (the computational basis) still carries a small positive amount of classical correlation. The sum therefore exceeds the quantum mutual information, so the conjecture fails unconditionally. The result matters because it removes a proposed experimental certification: measuring two complementary bases does not guarantee a lower bound on total correlations, and no entanglement or discord is needed for the failure.","feed_headline":"Two complementary measurements overcount quantum correlations","feed_subtitle":"An explicit qutrit state shows the two-basis sum can exceed the true mutual information by 0.048 bits, with no entanglement.","key_machinery":"The mechanism is a pair of mutually unbiased bases—the computational basis Z and its Fourier conjugate X—acting on a low-rank separable mixture whose two product vectors have perfectly anticorrelated one-bit 'branch' labels. The X measurement is aligned so that one branch deterministically returns outcome zero and the other branch spreads over the remaining outcomes, making the zero/nonzero coarse graining a sharp classical read of the latent label; the orthogonal Z measurement still retains residual correlation. Data processing gives a lower bound on I(XA:XB), and the standard monotonicity of mutual information under local measurements pins it to exactly 1 bit.","core_discovery":"The central claim is Eq. (10): for the separable rank-two state rho_AB in Eq. (4), the Z-basis and X-basis Shannon mutual informations satisfy I(ZA:ZB)+I(XA:XB)>I(A:B). The authors choose |u> as the zero Fourier vector and |v> as a two-component superposition; the mixture rho_AB=(1/2)|u><u|_A⊗|v><v|_B+(1/2)|v><v|_A⊗|u><u|_B has quantum mutual information exactly 1 bit. The Fourier measurement on |v> has outcomes s_k=(2/d)sin^2(pi k/d), and the joint law (7) is a mixture of a deterministic zero outcome on A with the s_k law on B and its transpose; coarse-graining to zero/nonzero recovers the branch label, so data processing plus the no-increase-by-local-measurement principle forces I(XA:XB)=1","pith_inferences":["(Editorial extension) The construction suggests a general recipe for beating such bounds: take a state whose classical latent variable is exactly recoverable by one complementary measurement and partially recoverable by an orthogonal one; other low-rank product-vector mixtures may yield larger or multibasis violations.","(Editorial extension) The same double-counting mechanism could apply to one-sided measurement scenarios or to chains of more than two bases, possibly re-opening multibasis inequalities even if the two-sided original is settled.","(Editorial extension) A direct experimental test for qutrits is conceivable: prepare the state (4) in a photonic or atomic qutrit pair, measure in the computational and Fourier bases, and compare the two classical mutual informations to the independently reconstructed quantum mutual information."],"forward_implications":["If the conjecture's inequality were used as an experimental certificate, it is now known to be fallible: a two-basis sum can exceed the true quantum mutual information.","The counterexample is separable and has zero discord on both subsystems, so the failure of the bound is not an entanglement or discord effect.","Noise robustness: the violation survives under sufficiently small admixture of white noise, giving full-rank separable states that still violate the inequality.","The effect is dimension-dependent: it vanishes at d=2, is tiny for qutrits, and approaches a full extra bit as d→∞, which explains why generic numerical searches over two-qubit states found nothing."],"supporting_citations":[{"why":"States the complementary-quantum correlation conjecture, the inequality that the paper disproves.","marker":"[1]"},{"why":"Provides the standard result that local measurements cannot increase quantum mutual information, used with data processing to fix I(XA:XB)=1.","marker":"[5]"},{"why":"Supplies the definition/characterization of quantum discord used to observe that the counterexample state has zero discord.","marker":"[6]"}],"fun_headline_variants":["Separable states break quantum correlation bound","Complementary measurements overcount correlations","Quantum correlation conjecture fails for separable states","Two-basis sum exceeds mutual info without entanglement"],"cache_read_input_tokens":2688,"weakest_assumption_plain":"The identification of the Fourier basis as the complementary measurement, and the exact outcome probabilities s_k=(2/d)sin^2(pi k/d) for the state |v>, are the load-bearing calculations; if either is wrong the claimed identity I(XA:XB)=1 fails.","fun_headline_variants_meta":{"raw":{"variants":["Separable states break quantum correlation bound","Complementary measurements overcount correlations","Quantum correlation conjecture fails for separable states","Two-basis sum exceeds mutual info without entanglement"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000236,"raw_usage":{"total_tokens":1335,"prompt_tokens":733,"completion_tokens":602,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":477,"completion_tokens_details":{"reasoning_tokens":550}},"tokens_in":477,"tokens_out":602,"duration_ms":7345,"temperature":1.0,"reasoning_tokens":550,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-05T11:32:50.072194+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Directly compute the Shannon mutual informations for the qutrit joint distributions in Eq. (12); if I(XA:XB)=1 and I(ZA:ZB) equals (1/3) log2(3456/3125), the violation is real, while any independent re-evaluation that yields a sum of one bit or less would refute the claim.","supporting_citations":[{"cited_title":"Schneeloch, C","cited_arxiv_id":null,"evidence_quote":"States the complementary-quantum correlation conjecture, the inequality that the paper disproves."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the definition/characterization of quantum discord used to observe that the counterexample state has zero discord."}],"review_version":2}