{"id":"6bb35939-f980-43e3-a77f-ff1c0b7c1007","arxiv_id":"2606.00527","paper_version":1,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Derives dimension-independent finite-sample operator-norm bounds for selected covariance estimation in classical shadows via matrix Bernstein and perturbation theory.","lead":"The paper derives operator-norm error bounds on finite-sample selected covariance matrices from classical shadow outputs for arbitrary shadow protocols. These bounds can be independent of system dimension for local protocols with bounded support and reconstruction coefficients.","discovery_kind":"new_method","skeptic_critique":{"model":"grok-4.3","headline":"No significant objection identified","rationale":"Reader correctly isolated the independence-of-n condition as the hinge, but the manuscript supplies the required verification for the local case that makes the claim hold; the UNVERDICTED/low-confidence verdict was driven by abstract-only access and is not altered by the explicit conditional structure and local verification now visible.","tokens_in":1729,"tokens_out":301,"duration_ms":18668,"concrete_test":"Extract the closed-form operator-norm bound for biased local Pauli shadows (from the section deriving the exact covariance formula) and confirm that every term is independent of total qubit number n when weight, selected-set size, and local probabilities are held fixed; if any factor grows with n the dimension-free claim fails for that protocol.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim is explicitly conditional on protocol-dependent constants (from the matrix Bernstein bound on the selected centered covariance) remaining independent of ambient dimension. The manuscript states and verifies this condition for local product protocols: bounds depend only on observable weight, support size, local reconstruction coefficients, and selected-set cardinality, with no n-dependence for fixed local dimension. The proof ingredients (matrix Bernstein on the rank-one-centered terms, Weyl/Davis-Kahan) are standard and the centering identity is presented as exact, so the implication for sample complexity follows directly once the constants are controlled. No hidden dimensional dependence or internal inconsistency is apparent in the argument structure.","agreement_with_reader":"partial"},"referee_report":{"model":"grok-4.3","summary":"The manuscript develops finite-sample operator-norm error bounds for selected, sample-centered empirical covariance matrices of classical-shadow outputs. The central theorem applies to arbitrary shadow protocols and combines matrix Bernstein concentration with an exact rank-one centering identity and Weyl/Davis-Kahan perturbation bounds. When protocol-dependent constants in the bound are independent of ambient system size, the required sample size is likewise dimension-independent. The authors verify the bounded-output condition for local product protocols (fixed local dimension), derive a closed-form covariance expression for biased local Pauli shadows governed by Pauli compatibility and inverse-probability factors, and contrast the resulting dimension-independent behavior with global Clifford shadows.","tokens_in":1861,"tokens_out":430,"duration_ms":19619,"significance":"If the main theorem holds, the work supplies a rigorous, conditional criterion for achieving dimension-independent sample complexity in selected covariance estimation via classical shadows. This is significant for scalable quantum state learning, as it isolates the precise protocol features (support size, local reconstruction coefficients, selected-set cardinality) that control the constants. The explicit derivation of the covariance formula directly from measurement probabilities, rather than fitting, and the verification that local protocols can satisfy the dimension-independent condition are concrete strengths. The conditional framing of the claim and reliance on standard concentration tools are appropriately cautious.","major_comments":[],"minor_comments":[{"comment":"The abstract and introduction would benefit from an early, explicit definition of the selected compression operator and the centering identity before the main theorem is stated.","section":"Abstract / Introduction"},{"comment":"In the section deriving the exact covariance formula for biased local Pauli shadows, a small worked numerical example (e.g., two-qubit selected set) would help illustrate how bias affects off-diagonal statistical couplings.","section":"Pauli shadows covariance derivation"},{"comment":"The comparison paragraph with global Clifford shadows would be strengthened by a brief remark on whether any global protocol can ever satisfy the bounded-constant condition.","section":"Comparison with global Clifford shadows"}],"recommendation":"minor_revision","confidential_remarks":null},"author_rebuttal":{"model":"grok-4.3","summary":"We thank the referee for the thorough summary and positive assessment of our work, including the recognition of its significance for scalable quantum state learning and the appropriateness of our conditional framing. The recommendation of minor revision is noted. No major comments were provided in the report.","responses":[],"tokens_in":1290,"tokens_out":70,"duration_ms":5783,"standing_objections":[]},"desk_editor":{"model":"grok-4.3","letter":"The core result here is a finite-sample operator-norm bound on the selected sample-centered empirical covariance for arbitrary shadow protocols, plus the observation that local product protocols can keep the required sample size independent of total dimension when certain protocol constants stay bounded.\n\nThe work applies matrix Bernstein to the rank-one centered terms, then uses Weyl and Davis-Kahan to control the perturbation from the true covariance. That combination is standard, but the paper works out the exact centering identity for shadow outputs and derives a closed-form covariance expression for biased local Pauli shadows that tracks Pauli compatibility and inverse-probability factors. It also checks the dimension-independence condition explicitly for local protocols: the bounds depend on observable weight, support size, local reconstruction coefficients, and selected-set size, with no n-dependence once local dimension is fixed. The comparison to global Clifford shadows is useful because it shows the local behavior is not automatic.\n\nThe soft spots are limited. The main theorem is conditional on the protocol constants remaining dimension-independent, and while the paper verifies this for the local case, the resulting bounds are still expressed in terms of those constants rather than fully simplified numerical values. No numerical experiments appear in the provided material, so practical tightness is not checked. The proof ingredients are off-the-shelf, so the contribution sits in the application and the explicit formulas rather than new concentration machinery.\n\nThis is for people working on shadow estimation and quantum tomography who need finite-sample covariance guarantees. A reader already using classical shadows for covariance-related tasks would find the local-protocol conditions and the Pauli closed form directly usable.\n\nIt deserves a serious referee. The argument structure is consistent and the derivations rest on verifiable external inequalities without circularity.","headline":"This paper gives explicit operator-norm bounds on selected centered covariances for classical shadows, with dimension-independent sample size for local protocols and closed-form expressions for biased Pauli cases.","tokens_in":2359,"tokens_out":416,"would_cite":false,"duration_ms":13111,"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":"Operator-norm bounds show selected covariance estimation in classical shadows can require samples independent of system dimension for local protocols.","keywords":["classical shadows","covariance matrix","finite sample bounds","operator norm","local Pauli measurements","dimension independence","quantum state estimation"],"falsifier":"A calculation showing that the operator-norm error for selected covariances in a local Pauli shadow protocol grows with the number of qubits, even under fixed local parameters, would disprove the dimension-independent sample complexity.","tokens_in":2624,"feed_emoji":"📊","tokens_out":616,"duration_ms":15376,"temperature":0.7,"pith_summary":"The paper proves an operator-norm error bound for the selected sample-centered empirical covariance of classical-shadow outputs that holds for any shadow protocol. When protocol constants in this bound do not depend on system size, the sample complexity becomes independent of dimension. This is verified for local product protocols where bounds depend on support sizes and local coefficients instead of total dimension. For biased local Pauli shadows, closed-form expressions confirm the dimension-independent behavior under uniform bounds on relevant parameters.","feed_headline":"Local shadow protocols enable dimension-independent covariance estimation","feed_subtitle":"Error bounds on selected empirical covariances depend only on local factors when protocol constants stay bounded.","key_machinery":"The operator-norm error bound on the selected sample-centered empirical covariance matrix, obtained via matrix Bernstein concentration together with rank-one centering and perturbation bounds.","core_discovery":"Our main theorem applies to arbitrary shadow protocols and gives an operator-norm error bound for the selected sample-centered empirical covariance. When the protocol-dependent constants appearing in this bound remain independent of the ambient system size, the required sample size is also independent of the ambient dimension. The proof combines matrix Bernstein concentration, an exact rank-one centering identity, and Weyl and Davis--Kahan perturbation bounds. We verify this bounded-output condition for local measurement settings, leading to dimension-independent selected covariance estimation for general local product shadow protocols with fixed local dimension.","pith_inferences":["This framework could support efficient covariance analysis in high-dimensional quantum systems using only local measurements.","Similar techniques might apply to other statistical estimators in quantum information processing.","Checking the size-independence of constants for new protocols would determine their suitability for large-scale applications."],"forward_implications":["Finite-weight product observables in local protocols lead to bounds controlled by support sizes and local reconstruction coefficients.","Uniform bounds on set size, weight, and coefficients imply dimension-independent estimation.","For biased local Pauli shadows, bounds evaluate in closed form from Pauli supports and probabilities.","Exact covariance formula governed by Pauli compatibility shows bias effects on variances and couplings.","Global Clifford shadows do not automatically exhibit this dimension-independent local behavior."],"fun_headline_variants":["Local shadow protocols bound selected covariances independently of dimension","Selected covariance estimation independent of ambient system size","Finite-sample bounds on selected covariances are dimension-independent","Local product shadows bound covariance errors independently of dimension"],"cache_read_input_tokens":2112,"weakest_assumption_plain":"The protocol-dependent constants in the operator-norm error bound remain independent of the ambient system size.","fun_headline_variants_meta":{"raw":{"variants":["Local shadow protocols bound selected covariances independently of dimension","Selected covariance estimation independent of ambient system size","Finite-sample bounds on selected covariances are dimension-independent","Local product shadows bound covariance errors independently of dimension"]},"model":"grok-4.3","cost_usd":0.007429,"raw_usage":{"total_tokens":3429,"prompt_tokens":700,"num_sources_used":0,"completion_tokens":51,"cost_in_usd_ticks":74287000,"prompt_tokens_details":{"text_tokens":700,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":2678,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":700,"tokens_out":51,"duration_ms":19046,"temperature":1.0,"reasoning_tokens":2678,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-06-28T18:55:31.327408+00:00","model_set":{"reader":"grok-4.3"},"falsifier":"A calculation showing that the operator-norm error for selected covariances in a local Pauli shadow protocol grows with the number of qubits, even under fixed local parameters, would disprove the dimension-independent sample complexity.","supporting_citations":[],"review_version":1}