{"id":"0592fc15-351b-4094-82cf-a7fea9300aad","arxiv_id":"2605.29197","paper_version":1,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":7.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"Some absolutely separable states can generate entanglement probabilistically via purity-non-generating operations, but completely absolutely separable states cannot; a new sufficient separability condition based only on largest and smallest eigenvalues and local dimension is derived.","lead":"The paper shows that some absolutely separable quantum states can still generate entanglement using probabilistic protocols that preserve purity, while fully characterizing the subclass that cannot generate entanglement at all under any such protocol. A smart generalist might read it to understand hard limits on creating quantum resources from noisy states without experimental purification.","discovery_kind":"new_method","skeptic_critique":{"model":"grok-4.3","headline":"No significant objection identified","rationale":"The reader's weakest_assumption correctly isolates the unital restriction as the scope of the result; the paper does not claim the separation survives when purity-increasing maps are allowed. Because the abstract already flags the probabilistic unital setting and asserts a full characterization inside it, no additional internal inconsistency or unsupported leap is visible.","tokens_in":1711,"tokens_out":255,"duration_ms":15131,"concrete_test":"Take the smallest local dimension d=2, enumerate all two-qubit states whose eigenvalues satisfy the new sufficient condition, and check whether they are indeed separable by the PPT criterion; if any counter-example appears, the claimed independence or sufficiency fails.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim is a characterization of completely absolutely separable states (those that remain separable under all probabilistic unital protocols) together with a spectral separability criterion depending only on λ_max, λ_min and the smaller local dimension. The abstract states that this criterion is independent of prior spectral tests and that the characterization is complete within the unital setting; nothing in the stated results contradicts that framing or relies on an unstated extension beyond unital maps.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.3","summary":"The manuscript claims that some absolutely separable states remain separable under all deterministic unital channels but can generate entanglement via probabilistic unital protocols that preserve purity. It defines the subclass of completely absolutely separable states (those that cannot generate entanglement with nonzero probability under any such protocol), provides a full characterization of this class, and derives a novel sufficient condition for separability depending only on the largest and smallest eigenvalues together with the smallest local dimension; this criterion is stated to be independent of all previously known spectral separability criteria.","tokens_in":1799,"tokens_out":367,"duration_ms":20793,"significance":"If the characterization and independence claim hold, the work supplies a complete delineation, within the unital probabilistic setting, of states from which entanglement cannot be extracted without purity increase. This sharpens the resource-theoretic understanding of purity as a prerequisite for entanglement generation and supplies a simple, low-parameter separability test that may be useful in both theoretical analysis and experimental design. The explicit separation between deterministic and probabilistic unital protocols is a useful conceptual clarification.","major_comments":[],"minor_comments":[{"comment":"The abstract and introduction should explicitly state the precise definition of the probabilistic protocols considered (e.g., whether they are required to be trace-preserving on average or only on the support of the input) to avoid ambiguity for readers unfamiliar with the unital setting.","section":"Abstract / Introduction"},{"comment":"The independence of the new spectral criterion from prior tests (e.g., those based on the PPT criterion or other eigenvalue bounds) is asserted but would benefit from a short explicit comparison table or paragraph listing the functional forms of the earlier criteria.","section":"Section introducing the new criterion"}],"recommendation":"minor_revision","confidential_remarks":null},"author_rebuttal":{"model":"grok-4.3","summary":"We thank the referee for the positive assessment, the clear summary of our results, and the recommendation of minor revision. No specific major comments or concerns were raised in the report.","responses":[],"tokens_in":1170,"tokens_out":54,"duration_ms":10484,"standing_objections":[]},"desk_editor":{"model":"grok-4.3","letter":"The core result is a full characterization of states that stay separable under every probabilistic unital protocol, plus a sufficient separability test using only the largest and smallest eigenvalues, the smaller local dimension, and nothing else. The authors first note that some absolutely separable states can still produce entanglement probabilistically without raising purity, which motivates the stricter class.\n\nThey do a clean job separating the deterministic and probabilistic cases while staying inside unital maps, and the motivation around purity costs in experiments is straightforward. The new criterion is presented as independent of earlier spectral conditions, which would be useful if it holds.\n\nThe main soft spot is that the abstract alone does not let one verify the proofs or confirm the claimed independence; the full derivations would need checking to see whether the condition genuinely adds something new or overlaps with known tests in edge cases. Everything is explicitly restricted to unital operations, so the separation between the two classes is conditional on that choice.\n\nThis is for quantum information theorists working on resource theories or spectral separability criteria. A reader who needs bounds on entanglement extraction under purity constraints would find the characterization and the simple test worth looking at.\n\nIt deserves peer review because the claims are mathematically stated and the setting is well-defined, even if the proofs require scrutiny.","headline":"The paper characterizes completely absolutely separable states under unital maps and gives a new eigenvalue-only separability condition claimed to be independent of prior spectral tests.","tokens_in":2306,"tokens_out":330,"would_cite":false,"duration_ms":12875,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"grok-4.3","headline":"Some absolutely separable states can generate entanglement via probabilistic unital protocols, but completely absolutely separable states cannot.","keywords":["absolutely separable states","completely absolutely separable","unital operations","probabilistic protocols","entanglement generation","spectral separability criteria","purity preservation"],"falsifier":"A concrete counterexample would be any state that the derived characterization labels as completely absolutely separable yet produces entanglement with positive probability under some probabilistic unital protocol.","tokens_in":2622,"feed_emoji":"⚛","tokens_out":471,"duration_ms":23863,"temperature":0.7,"pith_summary":"The paper shows that absolutely separable states, which remain separable under all deterministic unital operations, can still generate entanglement with positive probability using probabilistic unital protocols that preserve purity. This leads to the definition of completely absolutely separable states that cannot produce entanglement under any such probabilistic protocol, and the authors supply a complete characterization of this class. They also derive a new sufficient condition for separability that uses only the largest and smallest eigenvalues along with the smallest local dimension. A sympathetic reader cares because it sharpens the boundary on what entanglement can be extracted from low-purity states without experimentally costly purity increases.","feed_headline":"Some absolutely separable states generate entanglement probabilistically","feed_subtitle":"A subclass called completely absolutely separable cannot, via a new separability test using only largest and smallest eigenvalues.","key_machinery":"The novel sufficient condition for separability depending only on the largest and smallest eigenvalues and the smallest local dimension, which enables the full characterization of completely absolutely separable states.","core_discovery":"Absolutely separable states remain separable under all deterministic unital channels and thus cannot deterministically generate entanglement. However, some of them can generate entanglement via probabilistic protocols that preserve the unital property. This motivates the class of completely absolutely separable states, which fail to generate entanglement with any non-zero probability under any such protocol. The paper provides a full characterization of this class and a novel sufficient condition for separability that depends only on the largest and smallest eigenvalues, the smallest local dimension, and is independent of all previously known spectral separability criteria.","pith_inferences":[],"forward_implications":[],"fun_headline_variants":["Separable states generate entanglement probabilistically","Completely separable states prevent all entanglement","Eigenvalue test for separability independent of priors","Limits on extracting entanglement from low purity states"],"cache_read_input_tokens":2112,"weakest_assumption_plain":"The allowed operations are restricted to unital channels that do not increase purity.","fun_headline_variants_meta":{"raw":{"variants":["Separable states generate entanglement probabilistically","Completely separable states prevent all entanglement","Eigenvalue test for separability independent of priors","Limits on extracting entanglement from low purity states"]},"model":"grok-4.3","cost_usd":0.00602,"raw_usage":{"total_tokens":2821,"prompt_tokens":611,"num_sources_used":0,"completion_tokens":52,"cost_in_usd_ticks":60199500,"prompt_tokens_details":{"text_tokens":611,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":2158,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":611,"tokens_out":52,"duration_ms":17347,"temperature":1.0,"reasoning_tokens":2158,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-06-29T07:28:23.026894+00:00","model_set":{"reader":"grok-4.3"},"falsifier":"A concrete counterexample would be any state that the derived characterization labels as completely absolutely separable yet produces entanglement with positive probability under some probabilistic unital protocol.","supporting_citations":[],"review_version":1}