{"id":"1d2bbcf7-dab2-4818-a24c-4e8b4acefbbb","arxiv_id":"2412.19626","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"No tensorial spectral Einstein functional exists for nonzero antisymmetric torsion, so spectral geometry forces torsion to vanish.","lead":"This paper proves a mathematical obstruction: the Einstein tensor, defined via the spectrum of a Dirac operator, cannot be extended to spacetimes with antisymmetric torsion. The result suggests that torsion should be absent in gravity models built from spectral geometry.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Eq. (8) is asserted without proof and omits one-D spectral terms such as Wres(u D |D|^{1-n} w), so the no-go conditions may not cover all possible modifications.","rationale":"The reader's conditional verdict is well placed. The computations of F1(k) and F2(k) appear internally consistent, and the obstruction for the unmodified Einstein functional is convincing: the explicit w-derivative term proportional to the torsion trace in Eq. (7)/(17) cannot be eliminated for antisymmetric torsion. However, the paper's stronger claim that no modification exists rests on the completeness of Eq. (8). The Letter labels this a power-counting argument, but neither the Letter nor the Supplemental Material proves that every tensorial spectral functional is a finite linear combination of F1(k) and F2(k). In fact, polynomial words in D and |D| with a single D on one side of w, such as u D |D|^{1-n} w, are not manifestly of that form and are not discussed. This is a genuine missing step: the cancellation conditions in the Letter constrain only the coefficients alpha_k, beta_k of the two chosen families, so a functional outside this family could in principle evade the no-go. The proposed test directly checks whether the omitted one-D terms change the conclusion. Because no counterexample has been exhibited and the classification may still be provable, the appropriate verdict remains CONDITIONAL rather than ACCEPT or REJECT; this stress-test does not change the reader's recommendation.","tokens_in":16041,"tokens_out":18582,"duration_ms":169223,"concrete_test":"Compute the Wodzicki-residue densities of H1(k)=Wres(u D |D|^k w |D|^{1-n-k}) and H2(k)=Wres(u |D|^{1-n-k} w D |D|^k) in the same normal-coordinate expansion used in SM Sections III.A-B, retaining all terms with derivatives of w. If H1 or H2 has a w-derivative term linearly independent of the F1/F2 derivative terms, Eq. (8) is incomplete and the cancellation argument can be evaded; if every such term reduces to a combination of F1/F2 by cyclicity or vanishes, the no-go survives. The minimal version is the k=0 case, repeated for general integer k to confirm no hidden k-dependence.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The no-go for modified functionals depends entirely on Eq. (8), which states that every spectral modification is a finite linear combination of F1(k) and F2(k). This is introduced as a 'power-counting argument' but no completeness theorem is supplied: the Supplemental Material only says that the authors 'verify that no form of functional, which depends polynomially on D, |D|, |D|^{-1}' works, and then analyzes exactly the two families in Eq. (8). That restriction is not exhaustive even inside the polynomial class. Since D and |D| commute and D^2=|D|^2, a word such as u D |D|^{1-n} w is an allowed polynomial spectral functional of the same total order as F1(k); a single D sits next to w, so cyclicity of the Wodzicki residue does not reduce it to u |D|^k w |D|^l or u D |D|^k w D |D|^l. Its subprincipal symbol can contribute to Wres and would introduce w-derivative coefficients that are not governed by the factors k(n+k) and k(n+k-2) used in the cancellation argument. Unless one-D terms are shown to vanish or to be linear combinations of F1,F2, the conclusion that the torsion-dependent trace must vanish (or that sum beta_k = 0, which kills the Einstein tensor) does not follow. The SM's 'polynomially' qualifier is itself narrower than the Letter's unconditional conclusion, so this is an omitted proof, not just a presentational issue.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The Letter argues that the spectral Einstein functional, defined through the Wodzicki residue as Wres(u{D,w}D|D|^{-n}), cannot be extended to Dirac operators with torsion. An explicit computation shows that, for a torsionful Dirac operator D = D0 + B, the density acquires terms depending on derivatives of the test form w; these terms vanish only if the torsion vanishes. The authors then consider modified spectral Einstein functionals taken to be finite linear combinations of two families F1(k) and F2(k), and show that the derivative obstructions cannot be removed without also killing the standard Einstein tensor. The Supplemental Material provides detailed symbol computations for F1(k) and F2(k). The central conclusion is that spectral geometry imposes a strong obstruction to torsion: for the spectral Einstein functional to be well defined, the torsion must vanish.","tokens_in":16313,"tokens_out":30429,"duration_ms":291235,"significance":"If the classification of admissible modifications in Eq. (8) of the Letter were established, the result would be a substantial and surprising structural obstruction: spectral geometry would single out torsionless connections in a way that is independent of dynamical considerations. The symbolic computations in the Supplemental Material are detailed and appear internally consistent, and the explicit derivation of the derivative obstruction in the unmodified Einstein functional is a concrete and falsifiable statement. The main weakness is that the no-go conclusion depends on an unproved completeness assertion for the family of modified functionals; the paper is therefore not yet sufficient to support the strong unconditional claim made in the abstract and conclusions.","major_comments":[{"comment":"The assertion that any potential modification of the spectral Einstein functional is a finite linear combination of F1(k) and F2(k) is load-bearing but is not proved. The Supplemental Material states that the authors verify that no functional depending polynomially on D, |D|, and |D|^{-1} works, but the actual computations treat only the two families F1(k) and F2(k). No lemma shows that every polynomial word in u, w, D, |D|, and |D|^{-1} of total order 2-n reduces to these families using cyclicity of the Wodzicki residue and D^2 = |D|^2. For instance, the word u D |D|^{1-n} w has the same total order as the terms in Eq. (8), is not manifestly a combination of F1(k) and F2(k), and its subprincipal symbol can contribute to the Wodzicki residue with coefficients not controlled by the factors k(n+k) and k(n+k-2) used in the cancellation argument. Unless such one-D terms are shown to vanish or to be linear combinations of F1 and F2, the conclusion that the torsion-dependent trace must vanish does not follow.","section":"Modified Einstein functionals (Eq. (8))"},{"comment":"The unconditional conclusion that 'for the spectral Einstein functional to be well defined, the torsion T must vanish' is stronger than what the manuscript actually verifies. The Supplemental Material restricts attention to functionals depending polynomially on D, |D|, and |D|^{-1}, and within that class it computes only the F1/F2 subfamily. Non-polynomial spectral functionals, such as those involving non-integer powers |D|^alpha with alpha + beta = 2 - n, are not addressed, and no argument is given that a well-defined tensorial spectral functional must be polynomial. The claim should be restricted to the F1/F2 family, or a completeness proof for the classification in Eq. (8) should be supplied.","section":"Conclusions / Supplemental Material Section III"}],"minor_comments":[{"comment":"The term 'uawaGab' has an index clash; it should be written, for example, as u^a w^b G_{ab}. The same correction applies to Eq. (63) of the Supplemental Material.","section":"Eq. (10)"},{"comment":"The proof introduces the operator O = \\hat v D \\hat w D, but the symbol \\hat v is not defined; from the context it should clearly be \\hat u.","section":"Supplemental Material, Proposition II.1"},{"comment":"The argument that the condition sum_k beta_k = 0 is unacceptable assumes that the modified functional must reduce to the standard Einstein tensor in the torsionless case, which presumably requires a normalization such as sum_k alpha_k = sum_k beta_k = 1. This normalization should be stated explicitly before it is used.","section":"Eq. (8) and following paragraph"},{"comment":"The expansion of w, namely w = (w_a + w_ab x^b + w_abc x^b x^c) gamma^a, is introduced after Eq. (7), although Eq. (7) already uses the coefficients w_ab and w_abc. Moving this definition before the displayed formula would improve readability.","section":"Eq. (7)"},{"comment":"The footnote states that the coefficients of a structurally similar result in reference [17] are inconsistent with the present result, but no comparison or detail is provided; either the comparison should be given or the remark should be softened.","section":"Footnote [14]/[17]"}],"recommendation":"major_revision","confidential_remarks":"The paper is suitable in scope for a Letters journal if the classification gap in Eq. (8) can be closed or the claims are correspondingly weakened. As it stands, the unconditional no-go statement is not supported by the supplied proofs; I would ask the authors either to provide a rigorous completeness argument for the F1/F2 family or to restrict the abstract and conclusions to the verified statement."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Dear colleague,\n\nThe genuinely new thing here is a concrete computation: the spectral Einstein functional of Dabrowski–Sitarz–Zalecki, evaluated for a Dirac operator with antisymmetric torsion, contains explicit dependence on derivatives of the test form w, and that derivative term vanishes only when the torsion is zero. That part is well executed and checks out. The supplemental material is detailed, the symbolic manipulations are reproducible, and the result is a real step beyond the torsion-free case.\n\nThe paper then tries to turn this into a no-go theorem: no modification of the functional can be tensorial. That is where I part company. The argument depends entirely on Eq. (8), which claims that any spectral modification must be a finite linear combination of the two families F1(k) and F2(k). This is asserted by \"power-counting\" but never proved. The supplemental material narrows the claim to functionals depending \"polynomially\" on D, |D|, |D|^{-1}, and even within that class only the two chosen families are analyzed. I don't see a completeness argument that rules out words like u D |D|^{1-n} w or other arrangements of D and |D| with the same total order. Wodzicki cyclicity may reduce some of these to the F1/F2 forms, but that has to be shown, not assumed. Without that proof, the conclusion that the torsion term must vanish, or that the Einstein tensor itself is killed, doesn't follow for the full space of modifications.\n\nThere are also smaller presentation issues: the abstract says torsion \"shall be excluded,\" while the conclusions and footnote [16] properly limit the statement to the antisymmetric part, with vectorial torsion trivial and Cartan torsion possibly allowed. That gap between abstract and fine print should be closed.\n\nWho is this for? People working on noncommutative-geometric derivations of gravity, and specifically on spectral functionals with torsion. For them the computation of the unmodified functional is worth having regardless of the no-go. The general relativity reader can skip it.\n\nWould I referee it? Yes, if the authors either prove the classification in Eq. (8) or explicitly restrict the no-go to the computed families. As it stands, the central negative claim is stronger than the evidence.","headline":"Solid computation of the torsion Einstein functional, but the no-go for all modifications rests on an unproved classification; the strongest conclusion should be weakened.","tokens_in":16840,"tokens_out":2956,"would_cite":true,"duration_ms":26430,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["58J40","53C27","83D05"],"pacs":[],"model":"deepseek-v4-flash","headline":"Spectral geometry imposes a strong obstruction on torsion in gravity: the spectral Einstein functional is well defined only when the torsion tensor vanishes.","keywords":["spectral geometry","Wodzicki residue","torsion","Einstein functional","Dirac operator","pseudodifferential operators","modified gravity","no-go theorem"],"falsifier":"A single explicit spectral functional belonging to neither of the two families $F_1(k),F_2(k)$, built from $D$, $|D|$ and their inverses with polynomial powers, whose density has no derivatives of $w$ and whose torsion-free limit is the Einstein tensor, would overturn the no-go. Concretely, on a flat manifold with constant antisymmetric torsion, one could list all residue densities of monomials in $D$ and $|D|$ sandwiched between forms and check whether any cancellation of the $w_{bc}$ terms occurs outside the classified families.","tokens_in":15812,"feed_emoji":"🌀","tokens_out":7258,"duration_ms":70162,"temperature":0.7,"pith_summary":"This paper claims that spectral geometry, the study of what can be learned about a space from operators defined on it, places a strict condition on gravity: if the Einstein tensor is to be reconstructed from spectral data, torsion cannot be present. The authors compute the spectral Einstein functional, built from the Dirac operator and the Wodzicki residue, in the presence of antisymmetric torsion as a perturbation of the torsion-free Dirac operator. They find that the functional's density contains terms depending on derivatives of the test forms unless a certain trace expression vanishes, and they show that expression vanishes only when the torsion is zero. They further argue that no modification of the functional, within a power-counting classification of polynomial expressions in the Dirac operator and its absolute value, eliminates the obstruction. The conclusion is that the long-debated torsion extension of general relativity is not compatible with a spectral notion of the Einstein tensor.","feed_headline":"Spectral geometry forbids torsion in gravity models","feed_subtitle":"The spectral Einstein tensor is a tensor functional only when torsion vanishes, the paper shows.","key_machinery":"The machinery is the Wodzicki residue, the unique trace on classical pseudodifferential operators, used to turn operator data into geometric densities; the spectral Einstein functional is the bilinear form $G(u,w)=\\mathrm{Wres}(u\\{D,w\\}D|D|^{-n})$ whose torsion-free value reproduces the Einstein tensor. Against this, the paper perturbs the Dirac operator by a zero-order Clifford endomorphism $B$ representing antisymmetric torsion, expands symbols in normal coordinates, and computes the residue densities by pseudodifferential calculus. The classification of modified functionals into the families $F_1(k)$ and $F_2(k)$ by power counting is what lets the authors exclude coherent alternatives.","core_discovery":"On the paper's own terms, the central discovery is that the spectral Einstein functional $G(u,w)=\\mathrm{Wres}(u\\{D,w\\}D|D|^{-n})$ is not a tensor-type functional when the Dirac operator is twisted by torsion. Writing $D=D_0+B$ with $B=-\\frac{i}{8}T_{abc}\\gamma^a\\gamma^b\\gamma^c$ for antisymmetric torsion $T$, the residue density acquires a correction $\\delta G$ whose first term is proportional to $u_a w_{bc}\\,\\mathrm{Tr}([\\gamma^a,\\gamma^b]\\{\\gamma^c,B_0\\})$ plus further derivative terms. For a three-form perturbation this trace cannot vanish unless $T=0$, so the naive functional fails to be tensorial. The authors then classify potential modifications by power counting as finite linear combinations of $F_1(k)=\\mathrm{Wres}(u|D|^k w|D|^{-n-k+2})$ and $F_2(k)=\\mathrm{Wres}(uD|D|^k wD|D|^{-n-k})$, and show that eliminating the derivative terms in these families forces either an unacceptable vanishing of the Einstein tensor in the torsion-free limit or the same impossible trace condition. The conclusion stated is that for the spectral Einstein functional to be well defined, the torsion $T$ must vanish.","pith_inferences":["If carried further, the same derivative obstruction should reappear for any spectral density built from the same power-counting families, since the problematic term comes from $B_0$ rather than from the Einstein-tensor structure; this predicts a similar no-go for spectral Ricci-type functionals.","A direct extension would compute the analogue for one-form gauge perturbations, which the paper notes satisfy the vanishing trace condition; those perturbations may yield a genuinely tensorial spectral functional and mark the boundary of admissible torsion-like terms.","The reported mismatch with the parallel computation in [17] invites an independent recalculation of $\\delta G$; whichever coefficient set survives, the paper's classification argument would remain a separate, testable step."],"forward_implications":["If the argument is right, gravity models that include antisymmetric torsion cannot be obtained from a spectral Einstein functional; the usual Levi-Civita connection is singled out by spectral geometry.","The spectral Einstein tensor is geometrically meaningful only in the torsion-free setting, so spectral action programs should not expect to generate torsional corrections of this form.","Any future attempt to include torsion in a spectral gravity model must either step outside the $F_1,F_2$ classification or change the spectral construction itself.","The no-go applies to the antisymmetric (3-form) part of torsion; vectorial torsion is already excluded by self-adjointness of the Dirac operator, while Cartan torsion is left transparent by this argument."],"supporting_citations":[{"why":"Defines the Wodzicki residue trace that turns operator data into the geometric densities used throughout.","marker":"[7]"},{"why":"Supplies the pseudodifferential symbol calculus and normal-coordinate techniques used in the residue computations.","marker":"[8]"},{"why":"Establishes the torsion-free spectral Einstein functional and its reproduction of the Einstein tensor, the baseline that torsion must extend.","marker":"[11]"},{"why":"Gives the earlier spectral method for detecting torsion in the Dirac operator, which this Letter's obstruction complements.","marker":"[12]"},{"why":"Contains the detailed computations of residue densities for Laplace-type operators and for the $F_1$ and $F_2$ families on which the argument relies.","marker":"[13]"},{"why":"An independent computation of the spectral Einstein functional with torsion; the authors compare coefficients and find them inconsistent with their result.","marker":"[17]"}],"fun_headline_variants":["Spectral geometry impedes torsion","Spectral Einstein tensor bans torsion","Torsion fails spectral geometry test","Spectral geometry: torsion must vanish","Spectral test rules out torsion"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The argument depends on the classification claim that any tensorial spectral functional must be a finite linear combination of the two families $F_1(k)$ and $F_2(k)$; if a functional outside that classification cancels the unwanted derivative terms, the obstruction to torsion could disappear.","fun_headline_variants_meta":{"raw":{"variants":["Spectral geometry impedes torsion","Spectral Einstein tensor bans torsion","Torsion fails spectral geometry test","Spectral geometry: torsion must vanish","Spectral test rules out torsion"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000547,"raw_usage":{"total_tokens":2579,"prompt_tokens":876,"completion_tokens":1703,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":492,"completion_tokens_details":{"reasoning_tokens":1645}},"tokens_in":492,"tokens_out":1703,"duration_ms":14215,"temperature":1.0,"reasoning_tokens":1645,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-11T00:08:12.911124+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"A single explicit spectral functional belonging to neither of the two families $F_1(k),F_2(k)$, built from $D$, $|D|$ and their inverses with polynomial powers, whose density has no derivatives of $w$ and whose torsion-free limit is the Einstein tensor, would overturn the no-go. Concretely, on a flat manifold with constant antisymmetric torsion, one could list all residue densities of monomials in $D$ and $|D|$ sandwiched between forms and check whether any cancellation of the $w_{bc}$ terms occurs outside the classified families.","supporting_citations":[{"cited_title":"Wodzicki, Noncommutative residue Chapter i","cited_arxiv_id":null,"evidence_quote":"Defines the Wodzicki residue trace that turns operator data into the geometric densities used throughout."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the pseudodifferential symbol calculus and normal-coordinate techniques used in the residue computations."},{"cited_title":"Dąbrowski, A","cited_arxiv_id":null,"evidence_quote":"Gives the earlier spectral method for detecting torsion in the Dirac operator, which this Letter's obstruction complements."}],"review_version":1}