{"id":"6559fe0b-f58a-4719-88f7-14e5bce5f6d6","arxiv_id":"2506.02111","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The authors derive a simpler no-ghost condition based on a kinetic matrix and release a parity-violating upgrade of PSALTer, demonstrating it on Einstein-Cartan gravity with two scalar modes.","lead":"This paper presents a new algorithm for computing the particle spectrum of parity-violating gravitational theories without manipulating radicals, and upgrades the PSALTer software to handle such theories. It applies the method to an Einstein-Cartan gravity model with two massive scalars, confirming known ghost and tachyon conditions.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Equation (18)'s block diagonalization is not an identity unless the mixing blocks lie in the range of the massless block; this unproven condition is the load-bearing step for the claimed equivalence of K_J<0 with the residue criterion.","rationale":"The paper's central claim is that no-ghost conditions can be read off from K_J<0 (Eq. (20)) without computing propagator residues, and that this is necessarily equivalent to Eq. (16). The proof of this equivalence is the factorization in Eq. (18). The reader correctly identifies this step as the weakest assumption; my analysis confirms and sharpens it. Multiplying the three factors in Eq. (18) shows the factorization is an identity only under the range conditions B = B D^+ D and C = D D^+ C. For a massless block D with gauge null directions, these conditions must be proved or imposed; otherwise the Schur complement K_J is not the object controlling massive residues. A simple 3x3 example with D=diag(k^2,0) and a nonzero mixing component into the null direction has det O = -b^2 k^2: no massive pole, while K_J<0 would be meaningless. Thus the general claim 'necessarily equivalent' is not supported by the text as it stands. This is a genuine gap, but not a reason to reject the paper. The EC application is cross-checked analytically in Appendix G, and the PSALTer upgrade is a concrete shipped artifact. The gap is fixable by adding the range conditions to the statement of the algorithm and proving they hold for SPO-based wave operators (or by implementing the algorithm and testing). The reader's CONDITIONAL verdict remains appropriate; I would not change it.","tokens_in":40602,"tokens_out":15189,"duration_ms":145858,"concrete_test":"Verify Eq. (18) on the scalar-sector matrices of the EC example: compute o0γ+ via Moore-Penrose, then test whether o0mγ o0γ+ o0γ = o0mγ and o0γ o0γ+ o0γm = o0γm for the matrices in Eq. (31). If either equality fails, the factorization is not an identity in the paper's own main example and the derivation of K0 from the Schur complement is unjustified.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central equivalence K_J<0 (Eq. (20)) ⇔ residue condition (Eq. (16)) is made to rest on Eq. (18), the claim that the kinetic mixing between massive and massless blocks can be 'rotated away' using the Moore-Penrose pseudoinverse oJγ+. Direct block multiplication shows Eq. (18) holds only if oJmγ = oJmγ oJγ+ oJγ and oJγm = oJγ oJγ+ oJγm. These are range conditions: the rows of oJmγ must lie in the row space of oJγ and the columns of oJγm in its column space. When oJγ has gauge null directions (zero eigenvalues), these conditions are not automatic. Example: take oJm = k^2+m^2, oJγ = diag(k^2,0), oJmγ = (a,b) with b≠0. Then det oJ = -b^2 k^2, so no massive pole exists; the Schur complement K_J is not the effective massive kinetic matrix and K_J<0 does not correspond to any residue. The paper neither proves the range conditions nor states them as hypotheses; it asserts the factorization. Appendix G independently calibrates the EC example, so the application may survive, but the general claim that Eq. (20) is 'necessarily equivalent' to Eq. (16) is not established by the given argument.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper upgrades the PSALTer software package to handle parity-violating tensor field theories, introducing parity-violating spin-projection operators and a chequer-Hermitian matrix formalism. Its central technical novelty is a proposed shortcut for detecting massive ghosts: instead of computing propagator residues at massive poles (which is difficult when masses are irrational functions of the couplings), the authors claim that one can block-diagonalize the wave-operator coefficient matrix and impose negative-definiteness of the resulting kinetic matrix K_J (Eq. (20)), and that this is necessarily equivalent to the standard residue criterion (Eq. (16)). The method is illustrated on p-form toy models and on a parity-indefinite Einstein–Cartan/Poincaré gravity theory, where it reproduces the known conditions for two healthy massive scalars. Appendix G provides an independent analytic derivation for the Einstein–Cartan example, and Appendix H calibrates the software against the results of [24] and [26].","tokens_in":40858,"tokens_out":7303,"duration_ms":82411,"significance":"If the main equivalence were rigorously established, the proposed criterion would be a practically valuable tool: it would allow no-ghost conditions to be extracted without inverting the wave operator or evaluating residues, even when masses are irrational functions of the couplings. The paper also delivers a concrete software upgrade with reproducible, open-source code, and it provides independent analytic cross-checks in Appendix G as well as successful calibration against earlier results in [24,26]. No quantities are fitted and no target result is assumed as input; these are genuine strengths. However, the general claim underlying the new algorithm currently rests on an unproven factorization step, so the advertised scope exceeds what is demonstrated.","major_comments":[{"comment":"The factorization oJ = [[1, oJmγ oJγ+],[0,1]] [[oJm - oJmγ oJγ+ oJγm, 0],[0, oJγ]] [[1,0],[oJγ+ oJγm,1]] is asserted without proof, and direct multiplication shows it is not an identity for arbitrary blocks. The (1,2) block of the product is oJmγ oJγ+ oJγ, which equals oJmγ only if oJmγ lies in the row space of oJγ, and similarly the (2,1) block requires oJγm to lie in the column space of oJγ. These range conditions are neither stated nor verified. A concrete counterexample within the same block structure is oJm = k^2 + m^2, oJγ = diag(k^2,0), and oJmγ = (a,b) with b≠0; then det oJ = -b^2 k^2, so there is no massive pole, while the formal Schur complement is not of the form K_J k^2 + M_J and K_J < 0 carries no information about any residue. Thus the asserted equivalence of Eq. (20) and Eq. (16) is not established for the general class of theories claimed in the text.","section":"Section IIC, Eq. (18)"},{"comment":"The reduction to K_J < 0 also assumes that the massless block oJγ can be eliminated without hiding ghost content. When oJγ has gauge null directions or zero eigenvalues, the Moore–Penrose pseudoinverse does not automatically preserve the sign structure of the massive sector, and it is possible for the mixing to remove or create poles. The paper should state explicitly the hypotheses under which the Schur complement captures the full massive spectrum, and should prove or disprove them for the local Lagrangians covered by PSALTer. The Einstein–Cartan application may survive because it is independently calibrated in Appendix G, but the text presents Eq. (20) as valid for any parity-violating tensorial theory, which is stronger than what is shown.","section":"Section IIC, Eqs. (17)-(20)"},{"comment":"The sentence 'The condition in Eq. (20) is necessarily equivalent to that in Eq. (16)' is too strong given the unproven range conditions. At minimum this statement should be replaced by a theorem with explicit assumptions, and the counterexample above should be acknowledged or excluded. Without this, the advertised advantage of avoiding radicals is only conditional: K_J and M_J are rational/polynomial only when the Schur complement has the stated polynomial structure.","section":"Section IIC, paragraph after Eq. (20)"}],"minor_comments":[{"comment":"There are several typographical errors, including 'PSALTersoftware' in the abstract and 'the the' in the text; these should be corrected in a final pass.","section":"Introduction, after Eq. (1)"},{"comment":"Reference [47] lists 'A. Tu' while the author list of this paper has 'H. Tu'; please verify the correct spelling.","section":"References"},{"comment":"The entries 'Z≥' and 'Z>' are not defined; please clarify the notation for non-negative and positive integers.","section":"Table I"},{"comment":"The displayed dimensions of o0mγ and o0γm are ambiguous; adding explicit block dimensions would make the Schur-complement computation easier to follow.","section":"Section IIIB2, Eq. (31)"},{"comment":"The phrase 'Eq. Eq. (24)' appears at the start of the zero-by-three CSKR subsection; this should be a single 'Eq. (24)'.","section":"Appendix G"},{"comment":"Some code listings contain '(*omitted 3222 characters for brevity*)'; please ensure the complete inputs are available in the supplemental materials so the presented results are reproducible.","section":"Code listings"}],"recommendation":"major_revision","confidential_remarks":"The central theorem of the paper is currently overclaimed: the equivalence between K_J < 0 and the residue criterion depends on an unproven block-factorization step that is false in general. However, the Einstein–Cartan application is independently calibrated in Appendix G, and the gap may be fixable by adding explicit hypotheses or by narrowing the scope of the claim. I therefore recommend major revision rather than rejection. The software and analytic calibrations are valuable, but the paper should not be accepted while its main advertised result is stated as unconditional."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The thing to know: this is a genuinely useful methods paper with a real software upgrade, but the central claim — that the Schur complement no-ghost criterion K_J < 0 is equivalent to the residue condition — is not proven as stated. That equivalence is the load-bearing step, and it is missing a hypothesis.\n\nWhat's new and good: the chequer-Hermitian SPO formalism is developed carefully, the parity-violating extension of PSALTer is real and available on GitHub, and the Einstein–Cartan example reproduces the known constraints from [24,26]. Appendix G gives an independent analytic calibration that matches. That is real credit, and the authors are clearly competent.\n\nThe soft spot: Eq. (18) claims you can block-diagonalize the wave operator using the Moore–Penrose pseudoinverse of the massless block. Direct block multiplication shows that factorization holds only if the mixing blocks lie in the row/column space of the massless block — i.e., oJmγ = oJmγ oJγ+ oJγ and oJγm = oJγ oJγ+ oJγm. The paper neither proves nor states these range conditions. A simple counterexample where they fail is oJγ = diag(k^2,0), oJm = k^2+m^2, oJmγ = (a,b) with b≠0; then there is no massive pole, yet the Schur complement exists and K_J<0 does not correspond to any residue. So the phrase “necessarily equivalent” overreaches. The EC application may survive — it is independently calibrated — but the general algorithm needs either a proof that the range conditions hold for relevant physical cases or a revised theorem that states them explicitly.\n\nMinor note: the new algorithm itself is not yet implemented in PSALTer, although the authors are upfront about this. The definiteness notion for chequer-Hermitian kinetic matrices is also not rigorously pinned down, but that is minor because residues give a cross-check.\n\nWho this is for: anyone doing parity-violating gravitational spectroscopy, especially Poincaré gauge theory. It deserves a serious referee, and the referee should push on the factorization step. I would recommend sending it to review with a request to fix or carefully qualify the equivalence.","headline":"Useful methods paper with real PSALTer upgrade, but the claimed equivalence behind the new no-ghost criterion is not established — a missing range condition prevents the block diagonalization from being an identity.","tokens_in":41421,"tokens_out":6463,"would_cite":true,"duration_ms":60238,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"For any parity-violating tensorial field theory, absence of massive ghosts is equivalent to the kinetic matrix of each spin sector being negative-definite, so no propagator inversion or radical handling is needed.","keywords":["parity violation","particle spectrum","spin-projection operators","ghost freedom","Einstein-Cartan gravity","Poincaré gauge theory","Moore-Penrose pseudoinverse","PSALTer"],"falsifier":"Take the parity-indefinite Einstein-Cartan theory of Eq. (29), compute the full saturated propagator, and evaluate the residues at the two massive scalar poles; compare their positivity with the $K_0<0$ condition of Eq. (33) over a scan of coupling values. Any point where the two criteria disagree would disprove the claimed equivalence between $K_J<0$ and the residue condition.","tokens_in":40379,"feed_emoji":"","tokens_out":10716,"duration_ms":104138,"temperature":0.7,"pith_summary":"Parity-violating theories of gravity have been largely left out of model building because their particle spectra are hard to compute: when several massive modes share a spin sector, the squared masses are often irrational functions of the Lagrangian couplings, which makes the standard residue test for ghosts impractical. This paper claims that the no-ghost condition can be reduced to a simple matrix test: after the kinetic mixing between massive and massless modes is removed, the kinetic matrix of the massive modes must be negative-definite, $K_J<0$. This criterion is necessarily equivalent to the residue condition, but it requires neither inverting the wave operator nor manipulating radicals. The paper extends the PSALTer software to parity-violating spin-projection operators and applies the criterion to the most general parity-indefinite Einstein-Cartan/Poincaré gravity that propagates the massless graviton plus two scalar modes, showing it is ghost- and tachyon-free under explicit inequalities. If correct, the method opens a previously intractable class of parity-violating gravitational theories to systematic study.","feed_headline":"Ghost-freedom becomes a single matrix sign check","feed_subtitle":"Parity-violating gravity models with irrational masses can now be tested without inverting the propagator.","key_machinery":"The machinery is the spin-projection operator (SPO) decomposition of the wave operator into per-spin coefficient matrices $O_J$, extended to parity-violating theories by allowing off-diagonal SPOs that mix opposite parities and are skew-Hermitian, which gives $O_J$ a 'chequer-Hermitian' block structure. The key step is a block triangularization of the reordered matrix $o_J$ using the Moore-Penrose pseudoinverse of the massless block $o_{J\\gamma}$; the massive block becomes the Schur complement $K_J k^2 + M_J$. The no-ghost condition then reduces to negative-definiteness of $K_J$, which bypasses propagator inversion and residue computation entirely and avoids radicals when masses are irrational functions of the couplings.","core_discovery":"The central claim is that, for each spin sector $J$ of a free parity-violating tensor theory, the wave-operator coefficient matrix can be block-triangularized by a transformation built from the Moore-Penrose pseudoinverse of the massless block, and the massive part then takes the form $K_J k^2 + M_J$. The no-ghost criterion is simply $K_J<0$: the kinetic matrix must be negative-definite, and this is necessarily equivalent to positivity of the propagator residues at all massive poles. In the parity-preserving limit the criterion reduces to the known residue formula, while in parity-violating sectors it reproduces previously known conditions without any computation of radicals. On this basis the paper shows that the most general parity-indefinite Einstein-Cartan action that propagates only the graviton and two scalar modes is unitary provided $c_1<0$, $c_5>0$, $4c_3c_5-c_4^2>0$, and two further inequalities that exclude tachyons.","pith_inferences":["The paper notes that the $K_J<0$ criterion is not yet implemented in PSALTer; a natural next step would be to have the software emit no-ghost conditions directly as polynomial inequalities, which would automate the entire pipeline.","The same block-triangularization logic should apply to parity-violating metric-affine gravity, which the paper explicitly identifies as unexplored; this could yield a systematic survey of healthy parity-violating MAG models.","The equivalence of $K_J<0$ with residue positivity suggests that chequer-Hermitian structure is the right organizing principle for parity-violating propagator calculations generally, possibly extending beyond spectra to effective actions or unitarity bounds.","Testing the new parity-violating SPO construction for $J=2$ against an independent Hamiltonian analysis of a parity-violating higher-spin model would provide a direct check of the formalism beyond the EC examples calibrated here."],"forward_implications":["Massive-sector ghost checks become matrix inequalities that depend rationally on the Lagrangian couplings, so they remain practical even when the squared masses themselves are irrational.","The PSALTer software can now analyze parity-violating tensor theories, including the new parity-violating spin-projection operators for the $J=0,1,2$ sectors, and it automatically identifies gauge generators and source constraints.","For the most general parity-indefinite Einstein-Cartan theory with only a graviton and two scalars, the conditions $c_1<0$, $c_5>0$, $4c_3c_5-c_4^2>0$, together with the tachyon inequalities in Eq. (38), guarantee a unitary particle content.","The residue criterion in Eq. (16) reduces to the known parity-preserving criterion when parity is definite, so the new method extends rather than replaces the standard analysis.","The same algorithm applies to p-form and Cremmer-Scherk-Kalb-Ramond toy models as well as to gravity, confirming that it is a general tool for parity-violating tensor theories."],"supporting_citations":[{"why":"Supplies the PSALTer spin-projection-operator framework, the parity-preserving no-ghost residue criterion, and the Moore-Penrose pseudoinverse approach that this paper extends.","marker":"[31]"},{"why":"Establishes the parity-violating SPO convention (states need only share J) and the general Poincaré gauge theory spectrum and ghost conditions against which the new algorithm is calibrated.","marker":"[24]"},{"why":"Provides the Hamiltonian no-tachyon and no-ghost constraints for general Poincaré gauge theory that the Einstein-Cartan example's inequalities are checked against.","marker":"[26]"},{"why":"Defines the Moore-Penrose pseudoinverse used in the block triangularization that removes massive-massless kinetic mixing in Eq. (18).","marker":"[44]"},{"why":"Gives the same pseudoinverse definition used in Appendix D to compute inverses of chequer-Hermitian wave operator blocks.","marker":"[45]"},{"why":"Provides the standard residue-based no-ghost and massless spectrum analysis for parity-preserving torsion gravity whose criterion Eq. (F10) generalizes.","marker":"[46]"},{"why":"Shows that (scalar curvature)^2 alone propagates the Einstein graviton on de Sitter but becomes strongly coupled on Minkowski, motivating the inclusion of the Einstein-Hilbert term in the EC example.","marker":"[65, 66]"}],"fun_headline_variants":["Radical-free spectra: parity-violating no-ghost via matrix sign","PSALTer upgraded: no radicals in particle spectra for parity-violating gravity","Ghost check without radicals: a matrix negativity test","Parity-violating masses irrational? Matrix sign suffices","New algorithm: no radicals in parity-violating spectra, PSALTer updated"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The core assumption is that the kinetic mixing between massive and massless modes can always be removed algebraically without losing or disguising any unhealthy mode, so that checking the remaining massive kinetic matrix is enough to decide ghost-freedom.","fun_headline_variants_meta":{"raw":{"variants":["Radical-free spectra: parity-violating no-ghost via matrix sign","PSALTer upgraded: no radicals in particle spectra for parity-violating gravity","Ghost check without radicals: a matrix negativity test","Parity-violating masses irrational? Matrix sign suffices","New algorithm: no radicals in parity-violating spectra, PSALTer updated"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000657,"raw_usage":{"total_tokens":2982,"prompt_tokens":896,"completion_tokens":2086,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":512,"completion_tokens_details":{"reasoning_tokens":1995}},"tokens_in":512,"tokens_out":2086,"duration_ms":16219,"temperature":1.0,"reasoning_tokens":1995,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-07T11:30:40.137196+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take the parity-indefinite Einstein-Cartan theory of Eq. (29), compute the full saturated propagator, and evaluate the residues at the two massive scalar poles; compare their positivity with the $K_0<0$ condition of Eq. (33) over a scan of coupling values. Any point where the two criteria disagree would disprove the claimed equivalence between $K_J<0$ and the residue condition.","supporting_citations":[{"cited_title":"Sezgin and P","cited_arxiv_id":null,"evidence_quote":"Provides the standard residue-based no-ghost and massless spectrum analysis for parity-preserving torsion gravity whose criterion Eq. (F10) generalizes."}],"review_version":1}