{"id":"c2ec3f1c-c6d7-4e9f-be67-75875ce3accf","arxiv_id":"2606.27105","paper_version":1,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":6.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"Witness expansion unifies construction of nonlinear resource witnesses for mixed states tied to free unitary groups, recovering known measures and yielding new criteria for magic and fermionic non-Gaussianity.","lead":"This paper introduces witness expansion, a framework to build nonlinear polynomial-based criteria for detecting quantum resources like entanglement and magic in mixed states. Smart generalists might read it for better ways to benchmark quantum devices and understand resource structure in realistic noisy systems.","discovery_kind":"new_method","skeptic_critique":{"model":"grok-4.3","headline":"No significant objection identified","rationale":"Reader correctly flagged that only the abstract was available, which prevents checking derivations. The central claim's load-bearing step (existence of a nontrivial polynomial witness for arbitrary qubit number) cannot be stress-tested without the explicit construction; hence no adjustment to the UNVERDICTED verdict is warranted on present evidence.","tokens_in":1743,"tokens_out":286,"duration_ms":19300,"concrete_test":"Extract the explicit fermionic witness polynomial from the full manuscript (presumably in the section deriving the antiflatness or non-Gaussianity criterion) and evaluate it on the two-qubit mixed state obtained by mixing a pure non-Gaussian state with a Gaussian state at 50 % weight; confirm the witness is strictly positive while vanishing on the convex hull.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The abstract presents the witness-expansion construction as recovering known polynomial witnesses (l2 coherence, PT moments, stabilizer entropy, antiflatness) while extending to new qubit/qudit magic witnesses and a claimed first nontrivial analytical mixed-state fermionic-non-Gaussianity witness relative to the convex hull of pure fermionic Gaussians. The enabling assumption (resources tied to a well-defined free-unitary group) is stated explicitly and is consistent with the polynomial form described. No internal contradiction or unsupported step is visible from the given material.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.3","summary":"The manuscript proposes a 'witness expansion' framework for constructing polynomial (nonlinear) criteria to detect quantum resources associated with a well-defined group of free unitaries. The criteria apply to both pure and mixed states, are claimed to be analytically evaluable in some models and experimentally measurable via multiple copies, recover several known witnesses (l2 coherence, partial-transpose moments, stabilizer entropy, fermionic antiflatness), and introduce new witnesses for qubit/qudit magic as well as what is presented as the first nontrivial analytical mixed-state fermionic non-Gaussianity witness relative to the convex hull of pure fermionic Gaussian states.","tokens_in":1839,"tokens_out":316,"duration_ms":27759,"significance":"If the derivations and explicit constructions hold, the framework would offer a conceptually unifying and experimentally practical approach to resource detection across multiple resource theories. The recovery of known polynomial witnesses provides a consistency check, while the claimed first nontrivial fermionic mixed-state witness would fill a documented gap; the explicit tie to free-unitary groups is a clear enabling assumption that supports both analyticity and measurability.","major_comments":[{"comment":"Abstract: the central claims (recovery of known witnesses without tautology and the first nontrivial mixed-state fermionic non-Gaussianity criterion) are stated without any derivations, explicit constructions, or error analysis, so it is impossible to verify independence of recovered quantities or nontriviality of the new witness from the provided text.","section":null}],"minor_comments":[],"recommendation":"uncertain","confidential_remarks":null},"author_rebuttal":{"model":"grok-4.3","summary":"We thank the referee for their review. We address the single major comment below.","responses":[{"response":"The abstract is a concise summary by design and therefore contains no derivations or constructions; these appear in full in the body of the manuscript (Sections 3–5). The referee’s own summary already recognizes that the framework recovers the listed known witnesses and yields new criteria, confirming that the main text supplies the explicit constructions. Independence follows because each recovered quantity is obtained by specializing the same witness-expansion procedure to a different free-unitary group, without circular appeal to the target quantity itself. Nontriviality of the mixed-state fermionic witness is established by direct evaluation on states outside the convex hull of Gaussian states, with the resulting polynomial remaining nonzero for arbitrary mode number. We do not believe the abstract requires alteration to include technical derivations.","revision_made":"no","referee_comment":"Abstract: the central claims (recovery of known witnesses without tautology and the first nontrivial mixed-state fermionic non-Gaussianity criterion) are stated without any derivations, explicit constructions, or error analysis, so it is impossible to verify independence of recovered quantities or nontriviality of the new witness from the provided text."}],"tokens_in":1371,"tokens_out":268,"duration_ms":31805,"standing_objections":[]},"desk_editor":{"model":"grok-4.3","letter":"The paper's main contribution is a group-based construction that generates polynomial witnesses for mixed-state resources. It recovers the l2 coherence norm, partial-transpose moments, stabilizer entropy, and fermionic antiflatness as special cases while producing new witnesses for qubit and qudit magic plus what it claims is the first nontrivial analytical criterion for mixed-state fermionic non-Gaussianity relative to the convex hull of pure fermionic Gaussians.\n\nThe unification works cleanly because the free-unitary group structure directly yields the polynomial form, which is measurable with multiple copies and analytically tractable in some models. The new magic criteria and the fermionic result address specific gaps, and the enabling assumption about well-defined free unitaries is stated explicitly and matches the construction.\n\nThe soft spots are limited. The abstract supplies no derivations or explicit examples, so independence of the new witnesses from prior work cannot be checked here. Practical performance for large systems or error analysis under noise also remains to be seen in the full text. These are standard for a framework paper rather than load-bearing problems.\n\nThe work targets quantum information researchers who need systematic detection tools for mixed-state resources in magic or fermionic settings. Readers working on device characterization or resource theories would extract usable criteria if the constructions hold. It deserves a serious referee because the claims are concrete, the unification is reproducible in principle, and the new results are falsifiable.\n\nRecommendation: send it to peer review.","headline":"The witness expansion framework unifies several known polynomial resource witnesses via free unitary groups and adds new criteria for magic and mixed fermionic non-Gaussianity.","tokens_in":2324,"tokens_out":366,"would_cite":false,"duration_ms":21367,"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":"Witness expansion constructs unified nonlinear polynomial criteria that detect quantum resources in mixed states, including the first analytical test for fermionic non-Gaussianity valid at any qubit number.","keywords":["witness expansion","quantum resources","mixed states","fermionic non-Gaussianity","magic states","entanglement detection","polynomial witnesses","resource detection"],"falsifier":"A mixed state that other measures identify as fermionic non-Gaussian yet satisfies every witness-expansion criterion, or a demonstration that the new fermionic criterion becomes trivial for sufficiently large qubit numbers.","tokens_in":2668,"feed_emoji":"","tokens_out":669,"duration_ms":33099,"temperature":0.7,"pith_summary":"The paper introduces witness expansion as a framework to build nonlinear criteria for quantum resources linked to groups of free unitaries. These criteria use polynomial functions of the state that apply to mixed states as well as pure ones and can be evaluated analytically in models or measured with multiple copies. The framework recovers known quantities such as the l2 coherence norm, partial-transpose moments for entanglement, stabilizer entropy, and fermionic antiflatness while adding new detection methods for magic states. It supplies, to the authors' knowledge, the first analytical criterion for mixed-state fermionic non-Gaussianity with respect to the convex hull of pure Gaussian states that stays nontrivial for arbitrary qubit numbers.","feed_headline":"Framework yields polynomial witnesses for mixed quantum resources","feed_subtitle":"The method recovers standard tests and supplies the first analytical criterion for fermionic non-Gaussianity valid at any qubit number.","key_machinery":"Witness expansion, the construction of polynomial functions of the state derived from the defining group of free unitaries to detect deviations from the resource-free set.","core_discovery":"Witness expansion generates a family of polynomial functions from the group of free unitaries that serve as witnesses for quantum resources, yielding analytical and measurable criteria that apply to mixed states and remain effective for arbitrary system sizes in the case of fermionic non-Gaussianity.","pith_inferences":["The polynomial structure may support efficient numerical checks for resources in systems too large for full tomography.","The framework could be applied to resource detection during open-system dynamics or in the presence of noise.","Alignment of free unitary groups with symmetries in many-body models might allow these polynomials to serve as order parameters for quantum phases."],"forward_implications":["Recovers the l2 norm of coherence, partial-transpose moments for entanglement, stabilizer entropy for nonstabilizerness, and fermionic antiflatness.","Yields new criteria for detecting qubit and qudit magic states that enhance witness-based detection.","Supplies the first analytical criterion for mixed-state fermionic non-Gaussianity relative to the convex hull of pure fermionic Gaussian states, nontrivial for any number of qubits.","Produces criteria that can be estimated experimentally using multiple copies of the target state."],"fun_headline_variants":["Witness expansion for detecting mixed quantum resources","Polynomial criteria witness mixed-state quantum resources","Unified witnesses apply to mixed coherence and magic states","Analytical detection of mixed fermionic non-Gaussianity"],"cache_read_input_tokens":64,"weakest_assumption_plain":"The quantum resources under study are associated with a well-defined group of free unitaries, which allows the polynomial witness construction to be both nontrivial and experimentally accessible.","fun_headline_variants_meta":{"raw":{"variants":["Witness expansion for detecting mixed quantum resources","Polynomial criteria witness mixed-state quantum resources","Unified witnesses apply to mixed coherence and magic states","Analytical detection of mixed fermionic non-Gaussianity"]},"model":"grok-4.3","cost_usd":0.004444,"raw_usage":{"total_tokens":2229,"prompt_tokens":688,"num_sources_used":0,"completion_tokens":54,"cost_in_usd_ticks":44437000,"prompt_tokens_details":{"text_tokens":688,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":1487,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":688,"tokens_out":54,"duration_ms":12387,"temperature":1.0,"reasoning_tokens":1487,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-06-26T04:45:10.469887+00:00","model_set":{"reader":"grok-4.3"},"falsifier":"A mixed state that other measures identify as fermionic non-Gaussian yet satisfies every witness-expansion criterion, or a demonstration that the new fermionic criterion becomes trivial for sufficiently large qubit numbers.","supporting_citations":[],"review_version":1}