{"id":"2312df32-0868-4a03-a6df-f8775356c3f0","arxiv_id":"2607.27206","paper_version":1,"verdict":"CONDITIONAL","confidence":"HIGH","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":6,"one_line_summary":"Low-order combinatorial-Laplacian moments, measurable on near-term quantum hardware, correlate with high-dimensional Betti numbers and can serve as TDA features for time-series tasks.","lead":"The paper reframes quantum topological data analysis as extracting low-order Laplacian moments (especially the relative trace) as proxies for high-dimensional Betti numbers, and shows those proxies correlate with topology on random graphs and small fMRI complexes. It pairs that with classical evidence that H2–H4 features help fMRI disease classification and financial crash signals, plus IonQ-scale hardware runs on up to 16-node graphs.","discovery_kind":"new_method","skeptic_critique":{"model":"grok-4.5","headline":"The load-bearing gap is that the trace–Betti proxy is only shown after N_k binning at hand-picked densities, while applications and crossovers need an unconditioned, fixed-precision feature.","rationale":"The reader correctly isolates the regime-specific, post-binning correlation as the weakest assumption underwriting both algorithmic utility and the crossover story. The paper is explicit that binning is required to reveal the correlation and that density is chosen where the signal is strong; it does not show that a practitioner can read β (or a useful monotone of it) from a single fixed-ε trace on the unstructured complexes that actually appear in the fMRI/finance pipelines or in the large-N TTS plots. Application gains from true higher homology and the small hardware distinction are real but do not substitute for an unconditioned proxy test. No stronger internal inconsistency is apparent; the concern is empirical generalization of the load-bearing correlation. Verdict remains CONDITIONAL, with the same remediation path the reader already flagged (release instances, same-subset baselines, proxy tests without hand-picked bins).","tokens_in":30621,"tokens_out":752,"duration_ms":16731,"concrete_test":"On the same OASIS-derived point clouds used for Fig. 19, compute Spearman/Pearson(tr[Δ_k], β_{k-1}) and the R² of a linear map tr→β across the full set of filtration graphs with no N_k binning and no density pre-selection (or only a single application-typical ζ_2 band). Separately, replace the H2–H4 blocks in the §3.1.2 NN/SVM by the corresponding relative-trace (or low-moment) features at matched filtration values and re-run the 200-split balanced-accuracy protocol. If unconditional |Corr| drops below ~0.3 or the accuracy lift vs H0–H1 disappears, the proxy claim does not support the applications or crossovers.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"The central claim (Abstract; §4.2) is that low-order moments, especially the normalized relative trace tr[Δ_k^Γ], remain strongly correlated with β_{k-1} even when β_{k-1}/N_k is small, so fixed-precision moment circuits suffice as topological features. The supporting evidence is conditional: ER ensembles (Figs. 17–18) and fMRI clouds (Fig. 19) are first restricted to selected edge densities where correlation peaks (e.g. p≈0.6, high-ζ_2), then binned by clique count N_k; only inside those bins is Corr(tr,β) large, and the sign can flip with ∂β/∂tr (Simpson’s paradox noted by the authors). Downstream uses do not enjoy that conditioning: the fMRI NN/SVM (§3.1.2) and financial L2-persistence curves (§3.2.2) consume full filtrations / stacked homologies, and the TTS crossovers (§4.3, Figs. 20–21) treat a single fixed-ε moment as a drop-in proxy for classical Betti. If the unconditional correlation (or the correlation under the natural filtration measure of the applications) is weak, both the “proxy without high-precision kernel estimation” claim and the quantum-classical narrative lose their empirical anchor. Hardware Fig. 24 only distinguishes two hand-chosen graphs at the edges of a same-(N,ζ_2,ζ_k) slice, so it does not close the gap.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.5","summary":"The manuscript reframes quantum topological data analysis as near-term feature extraction: instead of high-precision Betti-number estimation, it proposes measuring low-order spectral moments of the combinatorial Laplacian (especially the normalized relative trace tr[Δ_k^Γ]) as proxies for high-dimensional topology. Classically, it argues that H2–H4 features improve (i) Alzheimer’s vs healthy classification on a reduced OASIS fMRI subset and (ii) early-warning signals in multi-index financial time series. Algorithmically, it gives NISQ circuit constructions (Dicke preparation, complement-edge projection, Trotterized boundary operator), resource and shot-count estimates, quantum–classical TTS crossovers under a 10 μs two-qubit-gate assumption, and trapped-ion experiments on N=8 (β1) and N=16 (β3) graphs that resolve relative-trace differences consistent with exact Betti labels within fixed-(N,ζ2,ζk) slices.","tokens_in":31037,"tokens_out":1686,"duration_ms":40021,"significance":"If the proxy claim holds in the regimes that matter for applications, the paper meaningfully widens the practical scope of quantum TDA beyond the narrow large-relative-Betti setting emphasized in prior complexity analyses. Strengths include: concrete classical baselines for giotto-ph TTS/memory scaling (§2.2); an explicit moment-based circuit and resource formula (§4.1); honest discussion of Simpson’s paradox and sign flips in the trace–Betti correlation (Figs. 17–18); and a hardware demonstration that quantitatively compares a measured Laplacian observable to exact Betti information (§4.5, Fig. 24)—to the authors’ knowledge a first. The dual application–algorithm framing is a useful contribution to the quantum-applications literature even if some claims need tightening.","major_comments":[{"comment":"§4.2 and Figs. 17–19: The central algorithmic claim—that fixed-precision relative trace remains strongly correlated with β_{k−1} even when β_{k−1}/N_k is small—is supported only after restricting to selected edge densities (where Corr peaks) and then binning by clique count N_k. Outside those bins the unconditional correlation is weaker and the sign can flip (authors note Simpson’s paradox). Downstream claims and crossovers treat a single fixed-ε moment as a usable topological feature without that conditioning. Please quantify unconditional Corr(tr,β) and Corr under the natural filtration/edge-density measure of the fMRI and finance pipelines, or state clearly that the proxy is only validated inside same-(ζ2,N_k) slices and revise Abstract/§4.3 language accordingly.","section":"§4.2, Figs. 17–19"},{"comment":"§3 vs §4 disconnect: Application results use classical persistent-homology summaries (ROI PD distance matrices; L2 norms of birth–death diagrams over full filtrations, H1–H4). The quantum algorithm estimates low-order moments of Δ_k^Γ at fixed filtration/edge density. No experiment shows that replacing PH features by relative-trace (or low-order moment) features preserves the reported classification gains or crash-indicator lead. Either add a classical ablation that trains the same NN/SVM and finance indicators on moment/trace features alone, or narrow the claim from “quantum TDA establishes practical feature extraction for these tasks” to “higher-order PH is useful, and moments correlate with Betti in restricted ensembles.”","section":"§3.1.2, §3.2.2, §4"},{"comment":"§4.3, Figs. 20–21: Quantum–classical TTS crossovers compare classical exact (persistent) Betti computation to quantum estimation of a correlated first-moment proxy under optimistic 10 μs serialized two-qubit gates. The manuscript acknowledges the comparison is imperfect, but the plots and shaded “advantage” regions still read as drop-in replacements. Please either (i) benchmark classical cost of estimating the same relative-trace/moments (e.g. stochastic Lanczos/Hutchinson on sparse Δ) against the quantum circuit, or (ii) reframe crossovers as order-of-magnitude guidance and remove language that equates moment estimation with Betti TTS.","section":"§4.3, Figs. 20–21"},{"comment":"§4.5, Fig. 24: Hardware runs distinguish two hand-chosen graphs at the extremes of the tr-vs-β cloud within a fixed (N,ζ2,ζk) slice. That supports resolvability of A=tr[Δ] under noise for those instances, but does not yet show reliable ranking or classification across a random draw from the slice, nor transfer to application graphs. A modest expansion—more graphs per slice, reported error bars vs shot budget, and at least one filtration-derived graph from §3—would better anchor the “practical pathway” claim.","section":"§4.5, Fig. 24"}],"minor_comments":[{"comment":"Table 1 and surrounding text correctly caveat non-comparability of accuracies across studies, but the main text still leans on ∼74% vs literature ∼81–86%. Soften residual comparative phrasing; the within-pipeline H0→H4 lift is the relevant result.","section":"§3.1, Table 1"},{"comment":"Duplicate “Overall, these results provide preliminary evidence…” paragraphs appear back-to-back near the end of §3.1.2; remove the repeated block.","section":"§3.1.2"},{"comment":"Eq. (16) writes L2 = ∑_i |λ_i(d_i)−d_i|^2; notation for birth/death is nonstandard (λ_i usually eigenvalues). Clarify persistence-pair notation.","section":"§3.2.2, Eq. (16)"},{"comment":"Fig. 13 caption says “17 stocks” while text says “17 different indexes”; keep terminology consistent.","section":"§3.2, Fig. 13"},{"comment":"Typos: “neuroedegenerative” (Intro), “simplical” (multiple), “T opological F eature” (section title spacing), “‹In Fig. 23” (stray character in §4.5).","section":"passim"},{"comment":"Resource formula (19) and CNOT count (24): define ζ_k scaling exponents a,b in the main text when first used, and state Trotter error target tied to the fixed ε≈0.1 used for correlation.","section":"§4.1"},{"comment":"arXiv ID/date in the header (2607.27206, Jul 2026) looks placeholder-like relative to citation years; verify metadata before journal submission.","section":"front matter"}],"recommendation":"major_revision","confidential_remarks":"The work is a serious industry–application attempt and is closer to a constructive near-term program than many QTDA papers. I do not see fraud or fatal internal contradiction; the main risk is overclaiming that a bin-conditioned correlation plus PH application results jointly “establish” practical quantum TDA. Major revision requiring unconditional/proxy ablations and a fairer classical baseline for the same observable is the right bar—not reject. Fit is appropriate for a quant-ph or quantum-applications venue; less so for a pure TDA journal without the quantum sections being secondary."},"author_rebuttal":null,"desk_editor":{"model":"grok-4.5","letter":"Punchline: this is a coherent industry paper that reframes QTDA as Laplacian-moment feature extraction rather than exact Betti estimation, backs it with ER/fMRI correlations, resource math, and a real Ba-ion demo up to 16 nodes. That packaging is the real contribution; the applications and the unconditioned proxy claim are weaker.\n\nWhat is new and done well. Lloyd, Berry et al., Schmidhuber–Lloyd, and Akhalwaya-style NISQ clique circuits are prior art and cited. The incremental move is explicit: treat tr[Δ_k^Γ] (and low moments) as a fixed-precision proxy even when β/N_k is small, show binned correlations on ER graphs and sample fMRI clouds, ship width/depth/shot formulas, and run mid-circuit-measurement circuits that distinguish hand-picked graphs against exact classical Betti. Classical giotto-ph TTS/memory scaling is clean. The hardware section is honest about noise and post-selection. Citation pattern looks normal for this subfield.\n\nSoft spots, in proportion. The stress-test is mostly right: Corr(tr, β) is shown after selecting edge densities and binning on N_k; sign can flip and they note Simpson’s paradox. Downstream fMRI/finance pipelines and the TTS crossovers do not get that conditioning for free, so the leap from “proxy works in selected slices” to “practical high-d features on classically hard complexes” is still empirical hope. fMRI set is small and imbalanced (32 AD / 79 healthy), stacked H0–H4 gains are modest, and there is no non-TDA baseline on the same reduced OASIS split—they say so. Finance peaks are visual plus delayed Pearson; useful directionally, not a trading paper. Crossovers compare a correlated first moment under ~10 μs 2Q gates to exact classical persistent homology; they flag the mismatch. No code/data release hurts reproducibility.\n\nWho it is for: quantum-algorithms people who care about NISQ linear algebra and TDA practitioners watching quantum. Worth a serious referee. I would engage, push for unconditional correlation tests, same-subset baselines, and released instances—not desk-reject.","headline":"Solid packaging of moment-based QTDA plus real hardware, but the trace–Betti story is regime-conditioned and the apps are still thin.","tokens_in":31747,"tokens_out":554,"would_cite":true,"duration_ms":17834,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"grok-4.5","headline":"Low-order spectral moments of the combinatorial Laplacian can stand in for high-dimensional Betti numbers, letting near-term quantum circuits extract topological features that improve real time-series tasks.","keywords":["quantum topological data analysis","combinatorial Laplacian","Betti numbers","relative trace","persistent homology","fMRI time series","financial time series","trapped-ion hardware"],"falsifier":"On application-scale complexes (for example denser fMRI ROI graphs or larger financial embeddings), measure relative trace and exact β_{k-1} in matched N_k bins: if the correlation collapses, or if replacing higher-homology features with noise no longer hurts classifier or crash-indicator performance, the central claim fails.","tokens_in":31439,"feed_emoji":"⚛️","tokens_out":913,"duration_ms":23380,"temperature":0.7,"pith_summary":"This paper reframes quantum topological data analysis as a practical feature-extraction tool rather than a race to compute exact Betti numbers. It shows that higher-order topological features improve disease classification from fMRI time series and strengthen early signals of market instability in financial data. Algorithmically, it argues that low-order moments of the combinatorial Laplacian—especially the relative trace—are strongly correlated with high-dimensional Betti information even when the relative Betti number is small, so fixed-precision moment estimation can replace high-precision kernel counting. The authors give circuit constructions, resource and crossover estimates, and hardware runs on a trapped-ion system that distinguish graphs by these Laplacian observables. The claim is that this moment-based route makes quantum TDA useful on classically hard complexes before full fault tolerance.","feed_headline":"Laplacian moments stand in for hard Betti numbers","feed_subtitle":"Quantum circuits extract topology that lifts fMRI diagnosis and market-crash signals without exact homology.","key_machinery":"The relative (normalized) trace of the combinatorial Laplacian, tr[Δ_k^Γ] = (1/N_k) Tr[Δ_k^Γ], estimated by averaging ⟨ℓ|Δ_k^Γ|ℓ⟩ over random-phase Dicke states after projecting into the simplicial complex; this first-moment observable is the proxy that carries the topological signal.","core_discovery":"Low-order spectral moments of the combinatorial Laplacian, above all the normalized relative trace, remain strongly correlated with high-dimensional Betti numbers even when the relative Betti number is small. That correlation lets a moment-based quantum algorithm extract topological features useful for downstream analysis without exact or high-precision Betti estimation, and the authors show those higher-order features improve two time-series applications while demonstrating the circuits on trapped-ion hardware.","pith_inferences":["If the correlation is stable under mild graph noise, the same moment circuits could serve as regularizers or fingerprints inside larger hybrid quantum-classical models without ever reporting Betti numbers.","The edge-density dependence of the correlation suggests a practical filter: only complexes near the high-correlation ζ_2 bands need quantum evaluation, shrinking the workload further.","Extending the same proxy to time-varying filtrations could turn crash or disease signals into streaming topological scores rather than batch persistence diagrams."],"forward_implications":["Near-term quantum devices can target Laplacian moments instead of full persistent homology and still feed useful features into classical ML pipelines.","Higher-order homologies (H2–H4 and beyond) become practical inputs for fMRI disease classification and financial early-warning indicators.","Quantum-classical crossover for these features is projected at tens to hundreds of nodes at high edge density, with TTS from hours to days under stated gate-speed assumptions.","Hardware with mid-circuit measurement can already resolve relative-trace differences that track distinct Betti numbers on graphs up to 16 nodes."],"fun_headline_variants":["Laplacian moments proxy high-D Betti numbers","Low-order Laplacian moments track Betti info","Quantum moments extract usable topology features","Relative trace correlates with hard Betti numbers","Moment-based quantum TDA aids fMRI and markets"],"cache_read_input_tokens":16512,"weakest_assumption_plain":"The observed correlation between relative trace and Betti number, after binning on clique density and often at selected edge densities, must still hold on the large structured complexes where classical methods become prohibitive, and a fixed-precision proxy must be enough for the downstream predictors.","fun_headline_variants_meta":{"raw":{"variants":["Laplacian moments proxy high-D Betti numbers","Low-order Laplacian moments track Betti info","Quantum moments extract usable topology features","Relative trace correlates with hard Betti numbers","Moment-based quantum TDA aids fMRI and markets"]},"model":"grok-4.5","effort":"low","cost_usd":0.003376,"raw_usage":{"total_tokens":1145,"prompt_tokens":819,"num_sources_used":0,"completion_tokens":52,"cost_in_usd_ticks":33764000,"prompt_tokens_details":{"text_tokens":819,"audio_tokens":0,"image_tokens":0,"cached_tokens":128},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":274,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":819,"tokens_out":52,"duration_ms":4667,"temperature":1.0,"reasoning_tokens":274,"cache_read_input_tokens":128,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-07-30T10:54:27.958861+00:00","model_set":{"reader":"grok-4.5"},"falsifier":"On application-scale complexes (for example denser fMRI ROI graphs or larger financial embeddings), measure relative trace and exact β_{k-1} in matched N_k bins: if the correlation collapses, or if replacing higher-homology features with noise no longer hurts classifier or crash-indicator performance, the central claim fails.","supporting_citations":[],"review_version":2}