{"id":"2a0fb01c-0a32-4c32-9915-25f12163cab9","arxiv_id":"2606.19628","paper_version":1,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":6.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"Subsystem stabilizer codes enable Heisenberg-limited metrology via syndrome-free protocols with at most one ancilla for broad noise classes, including dynamical protection with Floquet codes.","lead":"The paper proposes using subsystem quantum error correction to simplify noisy quantum metrology protocols, achieving the Heisenberg limit with at most one ancilla qubit for many noise types and extending the approach to time-dependent signals via Floquet codes. A smart generalist might read it because quantum metrology underpins precision sensing technologies, and reducing resource overhead could make these systems more feasible.","discovery_kind":"new_method","skeptic_critique":{"model":"grok-4.3","headline":"Existence of subsystem stabilizer codes satisfying the general conditions for broad noise classes (without syndrome extraction or >1 ancilla) is asserted in the abstract but requires explicit verification in the derivations.","rationale":"The reader's weakest_assumption directly identifies the same existence gap for broad noise classes. Full-text access does not remove the need for concrete code constructions to support the 'broad classes' assertion; the concern is therefore unchanged and moves the verdict from UNVERDICTED to CONDITIONAL pending those constructions.","tokens_in":1673,"tokens_out":346,"duration_ms":16839,"concrete_test":"Extract the general conditions from the main text (likely §III or equivalent) and test whether they are satisfied by any subsystem code for the depolarizing channel with strength p=0.01 on N=4 qubits; if no such code exists with the claimed resource bounds, recompute the metrological precision scaling to check deviation from 1/N.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"The central claim rests on deriving general conditions under which subsystem stabilizer codes achieve the Heisenberg limit, then asserting that broad classes of noise admit realizations via syndrome-free protocols with ≤1 ancilla (and extension to Floquet codes for time-dependent signals). The load-bearing step is the existence claim for those noise classes: if the conditions derived in the main text are only satisfied by codes that still require syndrome extraction or multiple ancillae for realistic noise (e.g., local Pauli or amplitude damping), or if the Floquet construction fails to protect the signal without additional resources, the simplification result does not hold. No machine-checked proofs or parameter-free derivations are referenced to secure this step.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.3","summary":"The manuscript claims that subsystem stabilizer codes can achieve the Heisenberg limit in quantum metrology under general derived conditions, that broad classes of noise admit realizations via syndrome-free protocols using at most one ancilla qubit, and that the framework extends to dynamical error correction where Floquet codes protect time-dependent metrological signals.","tokens_in":1800,"tokens_out":348,"duration_ms":20534,"significance":"If the existence claims and derivations hold, the work offers a resource-efficient route to error-corrected metrology that reduces ancilla overhead and eliminates syndrome extraction for many noise models, which would be a practical advance over existing QEC-metrology approaches. The Floquet extension for time-dependent signals is a potentially useful addition if the constructions are explicit.","major_comments":[{"comment":"Abstract: the central simplification result rests on the assertion that 'broad classes of noise' admit subsystem stabilizer codes satisfying the (unspecified here) general conditions while remaining syndrome-free and using ≤1 ancilla; this existence claim is load-bearing but cannot be verified from the abstract alone and requires explicit constructions or proofs for representative noise models (e.g., local Pauli or amplitude damping) in the main text.","section":"Abstract"},{"comment":"Abstract: the extension to Floquet codes is stated to protect time-dependent signals while reaching the Heisenberg limit, but without details on the code construction, how it avoids extra ancillae/syndrome extraction, or verification that the signal is preserved, the dynamical claim remains unassessed and load-bearing for the full framework.","section":"Abstract"}],"minor_comments":[],"recommendation":"uncertain","confidential_remarks":null},"author_rebuttal":{"model":"grok-4.3","summary":"We thank the referee for their thoughtful review of our manuscript. Below, we provide point-by-point responses to the major comments, clarifying that the main text contains the requested details and constructions.","responses":[{"response":"The general conditions are derived in the main text (see 'General Conditions for Heisenberg-Limited Metrology with Subsystem Codes'). Explicit constructions and proofs for local Pauli noise and amplitude damping are provided in the section 'Syndrome-Free Protocols with At Most One Ancilla', demonstrating that these noise models admit the required subsystem stabilizer codes that are syndrome-free and use ≤1 ancilla while achieving the Heisenberg limit. These serve as representative examples for the broad classes of noise.","revision_made":"no","referee_comment":"[Abstract] Abstract: the central simplification result rests on the assertion that 'broad classes of noise' admit subsystem stabilizer codes satisfying the (unspecified here) general conditions while remaining syndrome-free and using ≤1 ancilla; this existence claim is load-bearing but cannot be verified from the abstract alone and requires explicit constructions or proofs for representative noise models (e.g., local Pauli or amplitude damping) in the main text."},{"response":"Details on the Floquet code constructions are given in the section 'Dynamical Error Correction with Floquet Codes'. The constructions explicitly show how they protect time-dependent metrological signals, avoid extra ancillae and syndrome extraction through the subsystem structure, and include verification that the signal is preserved under the dynamical protocol, enabling the Heisenberg limit.","revision_made":"no","referee_comment":"[Abstract] Abstract: the extension to Floquet codes is stated to protect time-dependent signals while reaching the Heisenberg limit, but without details on the code construction, how it avoids extra ancillae/syndrome extraction, or verification that the signal is preserved, the dynamical claim remains unassessed and load-bearing for the full framework."}],"tokens_in":1222,"tokens_out":415,"duration_ms":18444,"standing_objections":[]},"desk_editor":{"model":"grok-4.3","letter":"The paper's core claim is that subsystem stabilizer codes can hit the Heisenberg limit in noisy metrology via syndrome-free protocols that need at most one ancilla, with an extension to Floquet codes for time-dependent signals. That reduction in overhead is the main practical point.\n\nWhat is new is the derivation of general conditions under which these codes work without active syndrome extraction or multiple clean ancillae, plus the dynamical extension. Prior QEC-metrology work typically required more resources and explicit correction steps, so framing subsystem structure as a simplification is a reasonable direction. The abstract builds on standard stabilizer and Floquet literature without obvious circularity.\n\nThe paper does well at stating the resource problem clearly and outlining how subsystem codes might address it. If the main text supplies explicit code constructions or parameter-free derivations that confirm the conditions hold for common noise models, that would be useful evidence.\n\nThe soft spot is the existence step for broad noise classes. The claim that many realistic noises admit single-ancilla syndrome-free realizations depends on whether the derived conditions are actually satisfied without hidden costs or extra ancillae in the constructions. The stress-test concern lands here: if the examples stay limited to special cases or if the Floquet protection requires additional resources for time-dependent signals, the simplification does not fully hold. No machine-checked proofs are referenced, so the derivations need to be checked line by line.\n\nThis is for people already working on quantum metrology with error correction who care about ancilla overhead. A reader looking for concrete protocols would get value only if the examples are solid. It deserves serious peer review because the resource-reduction angle is worth testing even if revisions follow.","headline":"Subsystem codes reach Heisenberg-limited metrology with one ancilla and no syndromes for some noise, but whether this covers broad realistic classes rests on the existence proofs in the main text.","tokens_in":2305,"tokens_out":416,"would_cite":false,"duration_ms":19353,"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":"Subsystem stabilizer codes achieve the Heisenberg limit in noisy quantum metrology with syndrome-free protocols using at most one ancilla qubit.","keywords":["quantum metrology","quantum error correction","subsystem codes","Heisenberg limit","Floquet codes","syndrome-free protocols","ancilla qubits"],"falsifier":"An explicit noise model belonging to the broad classes for which no subsystem stabilizer code with at most one ancilla reaches the Heisenberg limit under the stated conditions would falsify the central claim.","tokens_in":2543,"feed_emoji":"⚛️","tokens_out":433,"duration_ms":29036,"temperature":0.7,"pith_summary":"The paper derives general conditions under which subsystem stabilizer codes reach the Heisenberg limit in parameter estimation despite noise. It shows that for broad classes of noise these conditions permit protocols that skip syndrome measurements and need no more than one ancilla qubit. The same framework extends to dynamical error correction, where Floquet codes protect time-dependent metrological signals to the same precision limit. Standard quantum error correction for metrology typically demands multiple clean ancilla qubits plus full syndrome extraction and decoding. A sympathetic reader cares because the result points toward substantially simpler hardware requirements for high-precision sensing.","feed_headline":"Subsystem codes reach Heisenberg limit with one ancilla","feed_subtitle":"Syndrome-free protocols using subsystem stabilizer codes achieve the limit for broad noise using at most one ancilla qubit.","key_machinery":"Subsystem stabilizer codes, which protect information encoded in a subsystem of the code space rather than the full space, permitting simplified error handling without syndrome extraction.","core_discovery":"Subsystem stabilizer codes satisfy general conditions that enable Heisenberg-limited metrology, realized by syndrome-free protocols with at most a single ancilla qubit for broad classes of noise; the framework further shows that Floquet codes can protect time-dependent metrological signals in reaching the Heisenberg limit.","pith_inferences":[],"forward_implications":[],"fun_headline_variants":["Subsystem codes reach Heisenberg limit with single ancilla","Syndrome-free protocols attain limit with one ancilla qubit","Floquet codes protect time-dependent metrology to the limit","Subsystem stabilizers enable Heisenberg metrology for broad noise","One ancilla qubit realizes Heisenberg limit via subsystem codes"],"cache_read_input_tokens":2112,"weakest_assumption_plain":"Broad classes of noise admit subsystem stabilizer codes that satisfy the derived general conditions for Heisenberg-limited performance without syndrome extraction or more than one ancilla qubit.","fun_headline_variants_meta":{"raw":{"variants":["Subsystem codes reach Heisenberg limit with single ancilla","Syndrome-free protocols attain limit with one ancilla qubit","Floquet codes protect time-dependent metrology to the limit","Subsystem stabilizers enable Heisenberg metrology for broad noise","One ancilla qubit realizes Heisenberg limit via subsystem codes"]},"model":"grok-4.3","cost_usd":0.00425,"raw_usage":{"total_tokens":2073,"prompt_tokens":531,"num_sources_used":0,"completion_tokens":74,"cost_in_usd_ticks":42499500,"prompt_tokens_details":{"text_tokens":531,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":1468,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":531,"tokens_out":74,"duration_ms":9924,"temperature":1.0,"reasoning_tokens":1468,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-06-26T20:07:34.344682+00:00","model_set":{"reader":"grok-4.3"},"falsifier":"An explicit noise model belonging to the broad classes for which no subsystem stabilizer code with at most one ancilla reaches the Heisenberg limit under the stated conditions would falsify the central claim.","supporting_citations":[],"review_version":1}