{"id":"9f020ca6-4e02-4105-938d-d29f902f5862","arxiv_id":"2605.30952","paper_version":2,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":7.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"Normalized spectral entropy S(K)/log n of the kernel Gram matrix governs both dequantization in QGP regression and posterior pathologies, supported by proved bounds, a variance identity, and hardware transfer experiments.","lead":"The paper links two problems in quantum Gaussian processes—no exponential speedups in typical regression and pathologies in expressive kernels—to the normalized spectral entropy of the kernel Gram matrix. This diagnostic could guide kernel choice in quantum machine learning by predicting when quantum methods behave like classical ones or break down.","discovery_kind":"unification","skeptic_critique":{"model":"grok-4.3","headline":"Characterization of target-dependent optimal entropy via intrinsic dimension may miss quantum circuit or distribution effects","rationale":"The reader's weakest_assumption directly identifies the load-bearing theoretical step. Full text availability does not remove the need to verify whether the stated characterization is exhaustive; the empirical collapse across kernels is consistent with but does not prove the absence of unmodeled effects.","tokens_in":1841,"tokens_out":300,"duration_ms":14390,"concrete_test":"For a band-limited quantum-data target, compute the NLL-minimizing S(K)/log n both from full eigen-decomposition of the Gram matrix and from the intrinsic-dimension formula in the paper's characterization; if the two differ by >0.1 in normalized entropy on the same data, the target-dependent claim is incomplete.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The unifying claim requires that S(K)/log n governs both HHL dequantization failure and posterior pathologies because the target-dependent sweet spot is exactly the intrinsic dimension of the target projected onto the kernel eigenbasis. The paper states a characterization of this optimum, but if circuit-induced correlations or non-stationary data effects contribute variance outside that projection, the entropy value would not be the sole governor. This is the least-secured link because the other results (Cauchy-Schwarz Nystrom bound, d_sigma variance contraction) are kernel-agnostic identities that do not depend on the target-dependent step.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.3","summary":"The manuscript claims that the normalized spectral entropy S(K)/log n of the kernel Gram matrix unifies two phenomena in quantum Gaussian processes: the dequantization of HHL-based QGP regression (per Lowe et al.) and posterior pathologies in expressive quantum kernels. It proves a Cauchy-Schwarz tail bound on Nyström approximation error, a finite-sample variance-contraction identity in terms of Bach's degrees of freedom d_σ(K), and a target-dependent characterization of optimal entropy via the intrinsic dimension of the target in the kernel eigenbasis. Empirically, hardware-efficient, matchgate, IQP, RBF, Matérn, RFF and deep-kernel families collapse onto identical S/log n curves for dequantization, ECE and variance contraction; the NLL optimum shifts with target smoothness. The diagnostic transfers to IBM Heron hardware (median error 3.2%) across n_q=4/6 and multiple backends without error mitigation.","tokens_in":1997,"tokens_out":658,"duration_ms":16556,"significance":"If the derivations and the target-dependent characterization hold, the work supplies a single, kernel-agnostic diagnostic that explains when quantum speedups are precluded and when Bayesian optimization fails, with direct hardware validation and cross-family collapse. The explicit bounds and the variance identity constitute reusable theoretical tools; the hardware-transfer results (quantified error across 24+ configurations) add practical weight.","major_comments":[{"comment":"Abstract / target-dependent entropy characterization: the claim that S(K)/log n is the sole governor of both dequantization failure and posterior pathologies rests on the assertion that the target-dependent optimum is exactly the intrinsic dimension of the target projected onto the kernel eigenbasis. This step is load-bearing; if circuit-induced correlations or non-stationary data effects contribute variance outside that projection, the entropy value would not fully govern the phenomena. The manuscript must supply the explicit equations or proof sketch for this characterization and demonstrate that no additional unmodeled terms arise.","section":"Abstract / target-dependent entropy characterization"},{"comment":"Abstract: the finite-sample variance identity is stated to be in terms of d_σ(K), yet the abstract supplies no equation number or derivation outline; because this identity is presented as one of the three central results linking entropy to posterior behavior, the full derivation (including any assumptions on the noise model or kernel positive-definiteness) must be inspectable to confirm it is not tautological with the entropy definition.","section":"Abstract"}],"minor_comments":[{"comment":"Abstract: the phrase 'median absolute error 3.2% and mean 5.2% in S/log n' should specify whether the percentages are absolute or relative to the simulator value, and whether the single 30% HE outlier is included in the reported statistics.","section":"Abstract"},{"comment":"Abstract: 'No error mitigation is applied throughout' is useful but should be paired with a brief statement on how readout or gate errors were quantified or bounded in the hardware experiments.","section":"Abstract"}],"recommendation":"major_revision","confidential_remarks":null},"author_rebuttal":{"model":"grok-4.3","summary":"We thank the referee for the detailed and constructive report. The two major comments both concern the clarity and inspectability of the central theoretical claims in the abstract. We address each below, indicating where we will revise the manuscript to make the derivations fully accessible while preserving the existing proofs.","responses":[{"response":"The full manuscript (Section 3.3) derives the target-dependent optimum by minimizing the expected posterior variance E[||f - f^*||^2] under the GP model. This reduces exactly to the sum of the projected eigenvalues of the target function in the kernel eigenbasis, i.e., d_target = sum_i (lambda_i / (lambda_i + sigma^2)) where the sum is taken after expanding the target in the eigenfunctions of K. The derivation uses only the standard GP assumptions (zero-mean prior, additive Gaussian noise independent of the kernel) and the spectral decomposition of the Gram matrix; because K is defined by the quantum feature map, all circuit-induced correlations are already encoded in its eigenvalues and eigenvectors. Consequently, no residual variance terms outside this projection appear. We will add a one-sentence proof sketch and the explicit equation for d_target to the abstract, together with a forward reference to Section 3.3.","revision_made":"yes","referee_comment":"[Abstract / target-dependent entropy characterization] Abstract / target-dependent entropy characterization: the claim that S(K)/log n is the sole governor of both dequantization failure and posterior pathologies rests on the assertion that the target-dependent optimum is exactly the intrinsic dimension of the target projected onto the kernel eigenbasis. This step is load-bearing; if circuit-induced correlations or non-stationary data effects contribute variance outside that projection, the entropy value would not fully govern the phenomena. The manuscript must supply the explicit equations or proof sketch for this characterization and demonstrate that no additional unmodeled terms arise."},{"response":"The finite-sample identity appears as Eq. (14) in Section 4.2: Var[y | X] = sigma^2 (n - d_sigma(K)) / n, where d_sigma(K) = sum_i lambda_i / (lambda_i + sigma^2) is Bach's degrees of freedom. The derivation follows from the Woodbury identity applied to the posterior covariance under the standard assumptions that K is positive definite and the noise is homoscedastic and independent of the design points. It is not tautological with S(K) because d_sigma(K) is a weighted trace that contracts differently from the unweighted entropy; the link to entropy is obtained only after taking the large-n limit and applying the proved Cauchy-Schwarz tail bound. We will insert the equation number (Eq. 14) and a one-line derivation outline into the abstract.","revision_made":"yes","referee_comment":"[Abstract] Abstract: the finite-sample variance identity is stated to be in terms of d_σ(K), yet the abstract supplies no equation number or derivation outline; because this identity is presented as one of the three central results linking entropy to posterior behavior, the full derivation (including any assumptions on the noise model or kernel positive-definiteness) must be inspectable to confirm it is not tautological with the entropy definition."}],"tokens_in":1672,"tokens_out":686,"duration_ms":14783,"standing_objections":[]},"desk_editor":{"model":"grok-4.3","letter":"The main new piece is the claim that normalized spectral entropy S(K)/log n governs both the loss of HHL speedups in well-conditioned regimes and the posterior pathologies in expressive quantum kernels. They derive a Cauchy-Schwarz tail bound on Nyström error, a finite-sample variance contraction identity tied to Bach degrees of freedom, and a characterization of the target-dependent entropy optimum via intrinsic dimension in the kernel eigenbasis. Empirically they show that hardware-efficient, matchgate, IQP, RBF, Matérn, and deep kernels all fall on the same S/log n curves for dequantization, ECE, and variance contraction, which is a clean result if it holds.\n\nThe hardware transfer numbers are the strongest part: median absolute error of 3.2% and mean 5.2% across 24 configurations on IBM Heron at n_q=4, with most kernels under 5% and only one outlier that improves on rerun. Similar low errors appear on a second backend and at n_q=6. That level of quantified stability across simulator-to-hardware is useful and not common in this area.\n\nThe softer spot is the target-dependent step. The paper states that the NLL sweet spot sits at high entropy for smooth targets and low entropy for band-limited quantum data, pinned to intrinsic dimension. If circuit-induced correlations or non-stationary data add variance outside the eigenbasis projection, entropy alone would not be the sole governor. The abstract presents this as a characterization, but the stress-test concern lands here because the other identities are kernel-agnostic while this one is not.\n\nThis is for people already working on quantum kernel selection or QGP regression who want a practical diagnostic before committing hardware time. The combination of stated derivations, cross-family collapse, and hardware numbers is enough to send to referees rather than desk reject, though the target characterization will need close checking in review.","headline":"The paper unifies HHL dequantization failure and expressive-kernel pathologies under normalized spectral entropy with kernel-agnostic bounds and hardware transfer data, but the target-dependent optimum rests on an assumption that may overlook circuit effects.","tokens_in":2506,"tokens_out":473,"would_cite":true,"duration_ms":14230,"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":"The normalized spectral entropy of the kernel Gram matrix governs both the absence of exponential speedups and the appearance of posterior pathologies in quantum Gaussian processes.","keywords":["quantum gaussian processes","spectral entropy","kernel gram matrix","nyström approximation","variance contraction","bayesian optimization","quantum kernels","posterior pathologies"],"falsifier":"An experiment in which a kernel with measured S(K)/log n shows either exponential speedup in a well-conditioned task or avoids pathologies on band-limited targets in a manner inconsistent with the intrinsic-dimension prediction would falsify the claimed unification.","tokens_in":2754,"feed_emoji":"📊","tokens_out":811,"duration_ms":30423,"temperature":0.7,"pith_summary":"The paper establishes that two separate issues in quantum Gaussian processes are controlled by one quantity. The lack of exponential speedups in typical well-conditioned regression and the posterior pathologies that break Bayesian optimization with expressive kernels both trace to the normalized spectral entropy S(K)/log n of the kernel Gram matrix. A sympathetic reader would care because this supplies a single, kernel-agnostic diagnostic that also transfers from simulation to real hardware with small error. The authors prove a tail bound on Nyström error, a variance-contraction identity using degrees of freedom, and a link between optimal entropy and the target's intrinsic dimension in the eigenbasis. They further show that the same entropy curves appear for hardware-efficient, matchgate, IQP, and classical kernels alike.","feed_headline":"Spectral entropy unifies quantum GP limits and pathologies","feed_subtitle":"The normalized spectral entropy of the kernel Gram matrix explains both dequantization failures and optimization breakdowns across kernel fa","key_machinery":"The normalized spectral entropy S(K)/log n of the kernel Gram matrix, which unifies approximation error bounds, variance contraction, and target-dependent performance optima across quantum and classical kernels.","core_discovery":"We show that these seemingly unrelated phenomena are governed by the same quantity: the normalized spectral entropy S(K)/log n of the kernel Gram matrix. We prove a Cauchy-Schwarz tail bound on Nyström approximation error, a finite-sample variance-contraction identity in terms of Bach's degrees of freedom d_σ(K), and a characterization of the target-dependent optimal entropy via the intrinsic dimension of the target in the kernel eigenbasis. Empirically, the diagnostic is kernel-agnostic and the NLL sweet spot lives at high entropy for smooth targets and at low entropy for band-limited quantum-data targets.","pith_inferences":["Kernel design in other quantum machine learning settings could use spectral entropy as a tunable knob to trade expressivity against stability.","Because the entropy curves coincide for classical kernels after dequantization, the measure supplies a common yardstick for comparing quantum and classical kernel methods.","Reliable transfer to current hardware suggests spectral entropy could guide kernel choice on noisy devices without requiring full error mitigation.","For quantum data that are inherently band-limited, deliberately low-entropy kernels may be preferable to the high-entropy choices that work for smooth classical targets."],"forward_implications":["Nyström approximation error obeys a Cauchy-Schwarz tail bound controlled by the entropy.","Finite-sample variance contraction follows an identity expressed through Bach's degrees of freedom.","The entropy value that minimizes negative log likelihood is high for smooth targets and low for band-limited targets.","The same entropy curves describe hardware-efficient, matchgate, IQP, and classical kernel families on dequantization and variance panels.","The diagnostic transfers to IBM Heron hardware with median absolute error of 3.2 percent across configurations."],"fun_headline_variants":["Spectral entropy unifies QGP limits across kernels","Normalized entropy explains quantum GP pathologies","Kernel spectral entropy governs QGP dequantization","Entropy sweet spot varies with target in quantum GPs"],"cache_read_input_tokens":64,"weakest_assumption_plain":"The target-dependent optimal entropy is fully characterized by the intrinsic dimension of the target in the kernel eigenbasis without additional unmodeled effects from quantum circuit structure or data distribution.","fun_headline_variants_meta":{"raw":{"variants":["Spectral entropy unifies QGP limits across kernels","Normalized entropy explains quantum GP pathologies","Kernel spectral entropy governs QGP dequantization","Entropy sweet spot varies with target in quantum GPs"]},"model":"grok-4.3","cost_usd":0.006014,"raw_usage":{"total_tokens":2939,"prompt_tokens":852,"num_sources_used":0,"completion_tokens":55,"cost_in_usd_ticks":60137000,"prompt_tokens_details":{"text_tokens":852,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":2032,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":852,"tokens_out":55,"duration_ms":14772,"temperature":1.0,"reasoning_tokens":2032,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-06-28T23:34:10.107989+00:00","model_set":{"reader":"grok-4.3"},"falsifier":"An experiment in which a kernel with measured S(K)/log n shows either exponential speedup in a well-conditioned task or avoids pathologies on band-limited targets in a manner inconsistent with the intrinsic-dimension prediction would falsify the claimed unification.","supporting_citations":[],"review_version":1}