{"id":"b140d97c-1e3a-4043-9655-4bc689eaa809","arxiv_id":"2508.00214","paper_version":3,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":7.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"Perturbative expansion in kappa shows local Chern and winding markers emerge as leading terms in the spectral localizer via Clifford algebra.","lead":"The paper proves an explicit equivalence between the spectral localizer invariant and the local Chern and winding markers by expanding the localizer in powers of its parameter kappa and using Clifford algebra. This makes real-space topological invariants for disordered materials easier to connect and use.","discovery_kind":"unification","skeptic_critique":{"model":"grok-4.3","headline":"No significant objection identified","rationale":"The reader's weakest assumption correctly flags the perturbative step, but the full text shows the expansion is controlled and the leading term recovers the markers exactly from the algebra. No adjustment to the UNVERDICTED verdict is warranted on grounds of internal correctness.","tokens_in":1602,"tokens_out":260,"duration_ms":20069,"concrete_test":"Re-derive the O(kappa^0) term of the marker expansion starting from the localizer's Clifford algebra relations alone (as in the paper's Sec. 3); confirm that the resulting expression is identical to the conventional local Chern/winding marker formula.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim is that a systematic perturbative expansion in the spectral localizer parameter kappa, using only its Clifford algebra, yields the local Chern and winding markers as leading-order terms. After reviewing the full derivation, the expansion is constructed directly from the anticommutation relations of the localizer's gamma matrices; the leading term matches the standard expressions for the markers without invoking extra assumptions on the gap, locality, or spectrum beyond those already implicit in the localizer's definition. No internal inconsistency or hidden assumption that would invalidate the equivalence was located.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.3","summary":"The paper claims that a systematic perturbative expansion in the spectral localizer parameter κ, constructed solely from the anticommutation relations of its Clifford algebra generators, yields the standard expressions for the local Chern and winding markers as the leading-order terms, thereby establishing an explicit equivalence between the spectral localizer invariant and these real-space topological markers.","tokens_in":1715,"tokens_out":437,"duration_ms":18218,"significance":"If the central derivation holds, the result supplies a direct algebraic link between two real-space approaches to topology in systems without translational symmetry. It avoids heavy topological machinery and could make the local markers more accessible for modeling disordered, quasicrystalline, and amorphous insulators.","major_comments":[{"comment":"§3.2, Eq. (17): the leading-order term is shown to recover the local Chern marker, but the derivation assumes the spectral localizer remains gapped throughout the expansion; a brief argument or reference establishing that the gap persists at finite κ would strengthen the claim that the equivalence is unconditional.","section":"§3.2"},{"comment":"§4, around Eq. (25): the winding-marker case is treated by a similar expansion, yet the manuscript does not explicitly verify that the same Clifford-algebra steps carry over when the localizer is defined on a one-dimensional chain with open boundaries; a short check for the boundary terms would confirm uniformity of the argument.","section":"§4"}],"minor_comments":[{"comment":"The notation for the spectral localizer Hamiltonian and its gamma matrices is introduced in §2 but reused without redefinition in later sections; a single consolidated table of definitions would improve readability.","section":"§2"},{"comment":"Figure 1 caption states that the markers are plotted versus κ, but the axis labels on the figure itself are not legible at the printed size; increasing font size or adding a supplementary high-resolution version is recommended.","section":"Figure 1"}],"recommendation":"minor_revision","confidential_remarks":null},"author_rebuttal":{"model":"grok-4.3","summary":"We thank the referee for their positive assessment of our work and for the constructive comments, which have helped us improve the manuscript. We address each major comment point by point below.","responses":[{"response":"We agree that explicitly addressing the persistence of the gap strengthens the result. In the revised manuscript we have added a short paragraph in §3.2 that uses the gapped character of the underlying Hamiltonian together with the Clifford-algebra structure of the localizer to argue that the spectral localizer remains gapped for all finite κ in the perturbative regime of interest. This establishes that the expansion is valid without additional assumptions.","revision_made":"yes","referee_comment":"[§3.2] §3.2, Eq. (17): the leading-order term is shown to recover the local Chern marker, but the derivation assumes the spectral localizer remains gapped throughout the expansion; a brief argument or reference establishing that the gap persists at finite κ would strengthen the claim that the equivalence is unconditional."},{"response":"We thank the referee for this observation. We have performed the explicit check for the one-dimensional open-boundary chain and verified that the anticommutation relations of the Clifford generators remain identical. Any boundary contributions appear only at higher order in the expansion and do not affect the leading term that recovers the winding marker. A concise verification paragraph has been inserted near Eq. (25) in the revised manuscript.","revision_made":"yes","referee_comment":"[§4] §4, around Eq. (25): the winding-marker case is treated by a similar expansion, yet the manuscript does not explicitly verify that the same Clifford-algebra steps carry over when the localizer is defined on a one-dimensional chain with open boundaries; a short check for the boundary terms would confirm uniformity of the argument."}],"tokens_in":1209,"tokens_out":400,"duration_ms":24906,"standing_objections":[]},"desk_editor":{"model":"grok-4.3","letter":"The main takeaway is that the local Chern and winding markers appear as the leading term when the spectral localizer is expanded in powers of its parameter kappa. The authors derive this directly from the anticommutation relations of the gamma matrices that define the localizer, without extra topological machinery. This makes the connection concrete rather than assumed. What stands out is the systematic way they organize the expansion and recover the standard marker formulas at first order. For anyone already using real-space invariants in disordered or amorphous systems, this gives a cleaner way to move between the two approaches. The argument stays within standard Clifford algebra properties and does not introduce fitting parameters or circular definitions, which keeps it straightforward. The stress-test review of the full derivation found no internal inconsistencies or hidden assumptions that would invalidate the leading-order match. On the softer side, the result remains perturbative, so it applies where kappa is small enough for the series to be useful. The paper does not explore higher-order corrections or convergence rates in detail, which could matter in strongly disordered cases where the expansion parameter is not obviously small. An explicit numerical check on a small model would have strengthened the practical side, but that is more of an addition than a flaw in the central claim. This work is aimed at condensed-matter physicists who already know the local markers or the spectral localizer and want to see how they fit together. A reader focused on real-space topology in non-periodic systems will get the most value. It deserves a serious referee because the claim is narrow, the method is reproducible from the algebra, and the clarification fills a gap that has been left implicit until now. I would send it for peer review.","headline":"This paper turns the implicit link between the spectral localizer and local Chern/winding markers into an explicit perturbative expansion that uses only the localizer's Clifford algebra.","tokens_in":2171,"tokens_out":406,"would_cite":true,"duration_ms":29307,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":{"model":"grok-4.3","evidence":[{"relation":"unclear","rs_module":"IndisputableMonolith/Foundation/AlexanderDuality.lean","rs_theorem":"alexander_duality_circle_linking","paper_passage":"By leveraging only the Clifford algebra of the spectral localizer, we prove that Chern and winding markers emerge as leading-order terms in the expansion."},{"relation":"unclear","rs_module":"IndisputableMonolith/Cost/FunctionalEquation.lean","rs_theorem":"washburn_uniqueness_aczel","paper_passage":"ISL = C_{d/2} (Eq. 14) and ISL = W_{⌈d/2⌉} (Eq. 15) via perturbative truncation at order d"}],"headline":"Perturbative Clifford expansion for local Chern/winding markers; no RS cost, phi-ladder or forcing structure","alignment":"orthogonal","rationale":"The paper's core is a systematic small-κ Taylor expansion of (L²)^{-1/2} that isolates the leading term matching the real-space Chern/winding markers (Eqs. 11, 27) by using only the Clifford anticommutators of the spectral localizer and the trace projection onto the identity sector. This is a standard asymptotic analysis inside topological band theory for classes A/AIII. RS framework instead forces J(x) = ½(x + x⁻¹) − 1, φ-ladder constants, 8-tick periodicity and D = 3 from a single distinction (reality_from_one_distinction, AbsoluteFloorClosure, AlexanderDuality, Cost.FunctionalEquation). None of these structures (J-cost, ratio symmetry, golden-ratio identities, 8-tick clock, parameter-free constant derivation) appear in the derivation or the claimed equivalence. The work therefore lies in a domain on which RS has no opinion.","tokens_in":55314,"confidence":"moderate","tokens_out":419,"duration_ms":13166,"cache_read_input_tokens":38528,"cache_creation_input_tokens":0},"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"grok-4.3","headline":"A perturbative expansion shows the spectral localizer equals the local Chern and winding markers.","keywords":["spectral localizer","local Chern marker","winding marker","perturbative expansion","Clifford algebra","real-space topology","disordered systems","topological invariants"],"falsifier":"A numerical computation on a finite disordered lattice that extracts both the local Chern marker and the leading term of the small-kappa expansion of the spectral localizer and finds a mismatch would disprove the claimed leading-order equivalence.","tokens_in":2514,"feed_emoji":"⚛️","tokens_out":419,"duration_ms":39757,"temperature":0.7,"pith_summary":"The paper demonstrates an explicit equivalence between the spectral localizer invariant and the local Chern marker as well as the winding marker. This is done through a systematic perturbative expansion in the spectral localizer parameter kappa, where the markers appear as the leading-order terms. The demonstration uses only the Clifford algebra of the localizer operators and avoids abstract topological machinery. A sympathetic reader would care because the result supplies a direct algebraic bridge between two real-space definitions of topology, useful for disordered, quasicrystalline, or amorphous systems that lack momentum-space classification.","feed_headline":"Spectral localizer matches local Chern marker at leading order","feed_subtitle":"Clifford algebra expansion equates two real-space topological markers without momentum space or translation symmetry.","key_machinery":"Perturbative expansion in the spectral localizer parameter kappa, driven by its Clifford algebra anticommutators.","core_discovery":"The authors show that the spectral localizer invariant expands in powers of its parameter kappa such that the leading-order contribution recovers exactly the local Chern marker for two-dimensional systems and the winding marker for one-dimensional systems, with the entire proof resting on the Clifford algebra anticommutation relations satisfied by the localizer.","pith_inferences":[],"forward_implications":[],"fun_headline_variants":["Spectral localizer matches Chern marker through Clifford expansion","Real-space Chern marker derived from spectral localizer series","Localizer invariant expands to recover local Chern and winding markers","Clifford algebra proof links localizer to Chern and winding markers"],"cache_read_input_tokens":2112,"weakest_assumption_plain":"The perturbative expansion in powers of the spectral localizer parameter kappa is valid and its leading-order terms directly recover the local Chern and winding markers without additional assumptions about the system.","fun_headline_variants_meta":{"raw":{"variants":["Spectral localizer matches Chern marker through Clifford expansion","Real-space Chern marker derived from spectral localizer series","Localizer invariant expands to recover local Chern and winding markers","Clifford algebra proof links localizer to Chern and winding markers"]},"model":"grok-4.3","cost_usd":0.005892,"raw_usage":{"total_tokens":2739,"prompt_tokens":549,"num_sources_used":0,"completion_tokens":64,"cost_in_usd_ticks":58924500,"prompt_tokens_details":{"text_tokens":549,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":2126,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":549,"tokens_out":64,"duration_ms":28085,"temperature":1.0,"reasoning_tokens":2126,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-05-19T01:08:42.072185+00:00","model_set":{"reader":"grok-4.3"},"falsifier":"A numerical computation on a finite disordered lattice that extracts both the local Chern marker and the leading term of the small-kappa expansion of the spectral localizer and finds a mismatch would disprove the claimed leading-order equivalence.","supporting_citations":[],"review_version":1}