{"id":"c689f3fb-869d-4353-8142-c1352ae33e3d","arxiv_id":"2412.10503","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The dual graviton theory admits gauge-invariant Penrose-type charges that refine the Noether charges, and under duality some charges stay magnetic in both descriptions while others stay electric in both.","lead":"This paper constructs gauge-invariant conserved charges in the dual graviton formulation of linearised gravity and shows how they relate to the familiar ADM-like Noether charges plus topological terms. A physicist might read it because it clarifies which gravitational charges are genuinely intrinsic, going beyond the standard electric-magnetic duality of p-form gauge fields.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The central charge relation (3.23) is a new algebraic identity whose coefficients are not independently checked; §4.1's B- and D-type k values contradict (3.9), so a factor error in the \\tilde Z[K] term could break Q[K]=\\tilde Q[K].","rationale":"In good faith, the paper makes a clear and interesting claim: the dual graviton admits gauge-invariant Penrose-type charges that equal the graviton's on-shell and that are magnetic/electric in a type-dependent way. The derivation is mostly self-contained, with an appendix for the crucial identity and a worked example supporting the B-type case. My concern is not with the overall programme or the duality assumption, but with the reliability of the new algebraic backbone. The central equation (3.23) is sensitive to the exact normalization of \\tilde Z[K]; the paper's own section 4.1 contains factor-two mistakes in the relationship between K and the Killing vector k, which is the same formula used to interpret the charges. That makes a factor error in the appendix plausible and load-bearing. The proposed computer-algebra check would settle it directly. I do not recommend changing the reader's CONDITIONAL verdict: the concern is about verification, not a demonstrated contradiction, and the example in section 4.3 already provides partial support. I therefore mark agreement as partial, since the reader emphasised the global duality assumption rather than the normalization of the new algebraic identity, although the reader did note the coefficient inconsistency in the rationale.","tokens_in":24922,"tokens_out":31729,"duration_ms":276335,"concrete_test":"Run a computer-algebra check (xAct or equivalent) of (3.21) for a generic C-type CKY tensor K in d=4 and d=5, and for the B-type Schwarzschild/Taub-NUT configuration of section 4.3, using the conventions of section 2. Verify that the right-hand side J[\\lambda]+\\partial\\tilde Z[K] equals \\tilde Y_+[K] with the exact \\tilde Z[K] of (3.22), with no extra rational factor. Also recompute k=2(d-3)\\hat K from (3.6) for B- and D-type K; if section 4.1's values are not reproduced, determine whether the discrepancy is textual or propagates into (3.23).","verdict_should_be":"UNCHANGED","load_bearing_attack":"The paper's central claim is (3.23), \\tilde Q[K]=Q[\\lambda]+\\int_\\Sigma d*\\tilde Z[K], obtained by integrating (3.21). The electric/magnetic classification and the equality (4.3) inherit the exact coefficients of \\tilde Z[K] in (3.22). The manuscript does not track those coefficients consistently. For B-type K_{\\mu\\nu}=B_{[\\mu}x_{\\nu]}, section 4.1 states k=-B/2; from (3.6), \\hat K_\\mu=-(1/2)B_\\mu, and (3.9) gives k=2(d-3)\\hat K=-(d-3)B, i.e. k=-B in d=4. For D-type, section 4.1 writes k_\\mu=D_{\\mu\\nu}x^\\nu, whereas (3.9) gives k_\\mu=2D_{\\mu\\nu}x^\\nu in d=4. These are factor-two discrepancies in the very section that interprets the charges. The appendix calculation (A.1)-(A.15) is long and not machine-checked, and the Schwarzschild/Taub-NUT check fixes only the integrated B-type charge, not the pointwise identity (3.21). If a similar factor error occurs in (3.22) or in the \\lambda-K identification (3.19), the charge relation (3.23) and the on-shell equality (4.3) would fail, together with the claimed A-type magnetic / D-type electric duality.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper constructs gauge-invariant conserved 2-form currents and charges in the dual graviton formulation of linearised gravity. It defines improved dual Penrose currents \\tilde Y_+[K] and \\tilde\\Omega[V], proves the algebraic relation (3.21) between \\tilde Y_+[K] and the secondary Noether current J[\\lambda], and derives the corresponding charge relation (3.23). It then analyses the four types of CKY 2-forms, argues on-shell equality Q[K]=\\tilde Q[K] via the duality (2.18), and interprets the charges as electric or magnetic in the two formulations, including the claim that A-type charges are magnetic in both formulations and D-type charges are electric in both. A linearised Schwarzschild/Taub-NUT pair is used to illustrate the B-type duality.","tokens_in":25164,"tokens_out":19184,"duration_ms":142559,"significance":"If the central identities are correct, the paper gives a useful and systematic map between gauge-invariant charges in the graviton and dual-graviton formulations, with direct consequences for the counting of 1-form and (d-3)-form symmetries. The explicit relation (3.21), the summary tables, and the Schwarzschild/Taub-NUT example are valuable, and the paper is careful to distinguish identically conserved currents from on-shell conserved ones. The main weaknesses are coefficient errors in the interpretation section and the absence of an independent check of the long appendix derivation, so the quantitative content of the charge relations needs revision before the claims can be fully trusted.","major_comments":[{"comment":"The Killing vectors quoted for B- and D-type CKY tensors are inconsistent with Eqs. (3.5), (3.6), and (3.9). For K_{\\mu\\nu}=B_{[\\mu}x_{\\nu]}, Eq. (3.6) gives \\hat K_\\mu=-(1/2)B_\\mu, so Eq. (3.9) gives k_\\mu=2(d-3)\\hat K_\\mu=-B_\\mu in d=4, not -B/2 as stated. For D-type tensors, (3.9) gives k_\\mu=2D_{\\mu\\nu}x^\\nu, not D_{\\mu\\nu}x^\\nu as stated. These factors enter the identification of B-type Penrose charges with ADM momenta and the equality (4.5), so the interpretation in Section 4.1 and in Table 1 is quantitatively unreliable unless the normalisation of k in (3.9) is changed consistently throughout the paper.","section":"Section 4.1, Eqs. (4.5) and surrounding text"},{"comment":"The central relation (3.21), with \\tilde Z[K] given in (3.22), is the basis for (3.23) and for the subsequent electric/magnetic classification, but the derivation in Appendix A is long and not independently checked. At least one displayed equation, (A.10), contains an index repetition in the epsilon symbol, and the passage from (A.14) to (3.21) is not shown in enough detail to verify the relative signs and coefficients. The Schwarzschild/Taub-NUT example in Section 4.3 is not sufficient to check the pointwise identity: Eq. (4.15) asserts \\int d\\star\\tilde Z[K]=B_0\\int F without displaying the intermediate factors. Please provide an independent check of (3.21), for example by substituting (3.21) and verifying term-by-term that its divergence reproduces (3.20), or by an explicit algebraic computation of the coefficients in (3.22).","section":"Appendix A and Eq. (3.21)"},{"comment":"The equality Q[K]=\\tilde Q[K] in (4.3) and the topological-charge identifications in (3.23) and (4.5) are derived under the duality identification (2.18) and the gauge choice (2.19). The paper does not state explicitly how these identifications behave when h or D is only locally defined, which is precisely the situation in which the total-derivative terms are non-trivial. Since (2.18) is taken from previous work rather than re-derived here, the central claims inherit this assumption. Please state the domain of validity of (2.18)-(2.19) for non-globally-defined field configurations and specify whether the transition functions of h and D are assumed to be related by the duality gauge.","section":"Sections 2.2, 4, and 4.3"}],"minor_comments":[{"comment":"In Eq. (5.1), the charge in the dual graviton formulation should be denoted \\tilde Q[V], not Q[V]; Section 3.6 carefully distinguishes Q[V] in the graviton formulation from \\tilde Q[V] in the dual formulation, and reusing Q[V] in (5.1) is confusing.","section":"Section 5.2, Eq. (5.1)"},{"comment":"The displayed equation after (A.10) has an index typo in the epsilon symbol, and the symbol 'dim' is used in (A.7) without being defined; it should be d throughout for consistency.","section":"Appendix A, Eq. (A.10)"},{"comment":"The sentence after (3.46) contains a grammatical slip ('However, the since the Hodge dual...'), and the displayed identity would be easier to follow with a brief explanation of the epsilon contraction used in the final equality.","section":"Section 3.5, Eq. (3.46)"}],"recommendation":"major_revision","confidential_remarks":"The paper is built substantially on the authors' own previous work [1,5,6], but the new dual-side charge relations are a meaningful addition. The factor errors in Section 4.1 are likely fixable, but they must be corrected before the quantitative charge relations and the summary tables can be used. The central appendix derivation would benefit from an independent check, since the example only tests an integrated charge. I do not see the central framework as flawed, but the manuscript is not ready in its present form."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague,\n\nThe paper does something real: it constructs gauge-invariant conserved currents for the dual graviton, shows they differ from the Noether charges Q[λ] by a topological term (eq 3.23), and works out the electric/magnetic classification under duality. The dual improved Penrose currents and the charge relations (3.23), (3.56) are new relative to the graviton-only results in the authors' earlier papers. The appendix gives a full algebraic derivation of the central identity (3.21), and the Schwarzschild/Taub-NUT pair in section 4.3 explicitly checks the B-type charge relation. That is serious, reproducible evidence.\n\nThe main soft spot is a genuine coefficient inconsistency in section 4.1. For B-type CKY tensors, (3.6) and (3.9) give k = -(d-3)B, i.e. -B in d=4, but section 4.1 says k=-B/2. Similarly, for D-type, (3.9) gives k=2D·x in d=4, while section 4.1 says k=D·x. These are exactly the relations used in the classification narrative. The factor errors do not appear to infect the central computation: the appendix derivation of (3.21)-(3.23) uses the definitions directly, and the worked example in 4.3 matches the correct (3.9) normalization, not the wrong 4.1 values. So the stress-test worry that a factor error in \\tilde Z[K] could break Q[K]=tilde Q[K] does not land on the actual paper; the inconsistency is localized to the interpretation section, but it is still a real flaw that must be fixed.\n\nTwo smaller caveats. The duality identification (2.18) is imported from prior work, not re-derived; that is acceptable for a paper in a continuing program, but it means the central equality (4.3) inherits whatever topology assumptions that identification carries. And the jump from conserved surface charges to 'topological operators generating 1-form symmetries' is asserted rather than constructed; readers who want the operator story should look elsewhere.\n\nOverall: a solid, careful paper that extends the authors' programme and gives a new classification. The interpretation section needs a coefficient correction, and the duality assumptions should be flagged more explicitly. For a journal like JHEP or CQG, this deserves peer review; a referee should check the section 4.1 factors and the appendix normalization, but the core seems sound. I would bring it to our reading group.","headline":"A careful extension of the authors' charge programme to the dual graviton, with a real but localized coefficient slip in the d=4 interpretation that does not break the central computation.","tokens_in":25795,"tokens_out":3761,"would_cite":true,"duration_ms":32007,"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":"The dual graviton's charges equal the graviton's on-shell charges.","keywords":["dual graviton","linearised gravity","Penrose charges","conformal Killing-Yano tensors","generalized symmetries","magnetic charges","1-form symmetries","gravitational duality"],"falsifier":"Compute both sides of (3.23) for an explicit non-globally-defined dual graviton, e.g. the four-dimensional configuration $D_{it}=2A_i$ with $F=dA=-\\frac{M}{2}\\operatorname{Vol}(S^2)$, the dual of linearised Schwarzschild. The paper predicts $\\tilde Q[K]=Q[B]=-2\\pi M B_0$ and also $\\tilde Q[K]=Q[\\lambda]+\\int_{S^2} d\\star\\tilde Z[K]$ with the improvement term $B_0\\int F$. Evaluating the left side directly from (3.17) and the right side from (2.42) and (3.22) and finding different numbers would falsify the central identity; agreement would confirm it.","tokens_in":24649,"feed_emoji":"🧲","tokens_out":7186,"duration_ms":58059,"temperature":0.7,"pith_summary":"Linearised Einstein gravity on Minkowski space admits an equivalent description in terms of a dual graviton field, a [d-3,1] tensor gauge field. This paper proves that the dual formulation has its own set of conserved charges, the dual Penrose charges, that remain well defined even when the spacetime has punctures or compact directions, where the naive Noether charges $Q[\\lambda]$ and $Q[\\kappa]$ are not gauge-invariant. The central result is the identity $\\tilde Q[K] = Q[\\lambda] + \\int_\\Sigma d\\star\\tilde Z[K]$, together with the on-shell equality $Q[K] = \\tilde Q[K]$ of the Penrose charges of the graviton and dual graviton formulations. A sympathetic reader should care because it shows that the genuine 1-form and $(d-3)$-form symmetries of linearised gravity are the same in both formulations, and because the electric/magnetic classification of the charges differs from p-form gauge theory: some charges are magnetic in both descriptions, and some are electric in both.","feed_headline":"The dual graviton's charges equal the graviton's on-shell charges","feed_subtitle":"Gauge-invariant improvement terms make the dual theory's conserved charges well defined on punctured or compact spacetimes.","key_machinery":"The load-bearing object is the conformal Killing-Yano (CKY) 2-form $K$, whose general solution on Minkowski space splits into constant (A), translational (B), linear (C), and quadratic (D) pieces. $K$ determines the improved graviton current $Y_+[K]$ and, through the duality identification $\\tilde S(D)=R(h)$, the dual improved Penrose 2-form $\\tilde Y_+[K] = \\tilde S^{\\mu\\nu|\\rho\\sigma}K_{\\rho\\sigma}$. The paper's central identity is (3.21)-(3.23): $\\tilde Y_+[K] = J[\\lambda] + d\\tilde Z[K]$, and after integration $\\tilde Q[K] = Q[\\lambda] + \\int_\\Sigma d\\star\\tilde Z[K]$; on-shell the Penrose and dual Penrose charges coincide, $Q[K] = \\tilde Q[K]$. The machinery also includes the generalised Killing tensors $\\lambda$ and $\\kappa$ of the dual graviton, the 3-forms $Z[K]$ and $\\tilde Z[K]$ appearing as improvement terms, and the tensor $V$ built from $\\kappa$ that carries the covariant current $\\Omega[V]$.","core_discovery":"The paper claims that for the free graviton theory there is a complete, gauge-invariant charge dictionary between the graviton formulation and the dual graviton formulation. In the graviton picture, the improved Penrose 2-form $Y_+[K]$ built from the linearised Riemann tensor and a conformal Killing-Yano 2-form $K$ gives gauge-invariant charges $Q[K]$. In the dual picture, the analogous current $\\tilde Y_+[K] = \\tilde S^{\\mu\\nu|\\rho\\sigma}K_{\\rho\\sigma}$ built from the dual field strength gives dual Penrose charges $\\tilde Q[K]$, and these are equal on-shell to $Q[K]$. The paper proves the key identity $\\tilde Q[K] = Q[\\lambda] + \\int_\\Sigma d\\star\\tilde Z[K]$, so the gauge-invariant dual charge is the Noether charge for the dual graviton's $\\lambda$-invariance plus a topological term that vanishes when the dual graviton is globally defined but repairs gauge dependence when it is not. It also constructs $\\tilde\\Omega[V] = J[\\kappa] + d\\tilde\\Phi$, giving a gauge-invariant completion $\\tilde Q[V]$ of the $\\kappa$-charges. Consequently the gauge-invariant charges generate the same 1-form and $(d-3)$-form symmetries in both descriptions, with A-type CKY tensors magnetic in both formulations and D-type electric in both.","pith_inferences":["If correct, the improvement terms identify which linearised ADM charges remain meaningful when the graviton is only locally defined; the same cohomological criterion could be applied to nonlinear asymptotically flat spacetimes to decide when ADM charges should be replaced by Penrose-type integrals.","The equality $Q[K]=\\tilde Q[K]$ suggests the duality acts trivially on the charge lattice of linearised gravity but nontrivially on which charges look electric or magnetic; this pattern may persist for higher-spin dual gauge fields, where electric/magnetic roles would again be fixed per CKY type.","The paper leaves the mixed 't Hooft anomalies of the dual 1-form symmetries to future work; a direct check that the anomaly polynomial computed from $\\tilde Y_+[K]$ matches that from $Y_+[K]$ would be a sharp test of the whole picture.","Because the free theory has no local interacting dual graviton, the charges constructed here are strictly linearised objects; extending them to full Einstein gravity would require defining the magnetic charges as non-local or hidden symmetries."],"forward_implications":["The gauge-invariant charges $Q[K]$ and $\\tilde Q[K]$ generate the same 1-form symmetries in the graviton and dual graviton formulations, so the two descriptions have identical symmetry content even on spacetimes with punctures or compact directions.","In $d=4$ there are 20 independent gauge-invariant charges; in $d>4$ the A- and C-type Penrose charges vanish on-shell, leaving the B- and D-type charges that generate a group $\\mathbb{R}^{d(d+1)/2}$ of 1-form symmetries and an equal number of $(d-3)$-form symmetries.","The A-type charges are magnetic in both formulations, so the objects carrying them are intrinsically solitonic; the D-type charges are electric in both, so their carriers are intrinsically electric, behaviour impossible in standard p-form gauge theory.","The $Q[\\lambda]$ charges of the dual graviton equal the gauge-invariant dual Penrose charge plus a topological term; in $d>4$ the constant-$\\lambda$ charges become topological and vanish when $D$ is globally defined, whereas in $d=4$ they remain genuine electric charges.","Linearised Schwarzschild and Taub-NUT give a concrete duality pair: the B-type charge is the ADM mass in the $h$ description and a magnetic charge $\\int F = -2\\pi M B_0$ in the $D$ description."],"supporting_citations":[{"why":"Introduces the free dual graviton theory, its two gauge invariances, the Noether charges $Q[\\lambda]$ and $Q[\\kappa]$, and the duality conventions used throughout.","marker":"[1]"},{"why":"Establishes the gravitational duality used in eq (2.18), identifying the dual field strength with the linearised Riemann tensor.","marker":"[2]"},{"why":"Extends the duality to higher-spin gauge fields, supporting the dual-graviton formulation in $d$ dimensions.","marker":"[3]"},{"why":"Constructs the Penrose charges $Q[K]$ and the improved current $Y_+[K]$ whose graviton-side analysis the paper extends to the dual formulation.","marker":"[5]"},{"why":"Provides the covariant currents $\\Omega[V]$ and charges $Q[V]$ for the $\\kappa$-charges that the paper dualises to the dual graviton.","marker":"[6]"},{"why":"Original Penrose 2-form current built from a CKY tensor, the starting point for the improved currents.","marker":"[7]"},{"why":"Defines the ADM charges whose linearised versions the Penrose charges covariantise.","marker":"[15]"}],"fun_headline_variants":["Dual graviton charges made gauge-invariant","Gauge-invariant charges for dual graviton","Dual graviton's charges match graviton on-shell","Topological improvement for dual graviton charges","Dual graviton gets well-defined charges"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The charge dictionary assumes the duality identification $\\tilde S(D)=R(h)$ and the companion gauge choice (2.19) hold even when the fields are only locally defined on punctured or compact Minkowski space; this equivalence is imported from earlier work rather than derived here, and if it fails the equality $Q[K]=\\tilde Q[K]$ and the electric/magnetic classification would not follow.","fun_headline_variants_meta":{"raw":{"variants":["Dual graviton charges made gauge-invariant","Gauge-invariant charges for dual graviton","Dual graviton's charges match graviton on-shell","Topological improvement for dual graviton charges","Dual graviton gets well-defined charges"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000281,"raw_usage":{"total_tokens":1672,"prompt_tokens":959,"completion_tokens":713,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":575,"completion_tokens_details":{"reasoning_tokens":642}},"tokens_in":575,"tokens_out":713,"duration_ms":5934,"temperature":1.0,"reasoning_tokens":642,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-11T15:54:05.298445+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute both sides of (3.23) for an explicit non-globally-defined dual graviton, e.g. the four-dimensional configuration $D_{it}=2A_i$ with $F=dA=-\\frac{M}{2}\\operatorname{Vol}(S^2)$, the dual of linearised Schwarzschild. The paper predicts $\\tilde Q[K]=Q[B]=-2\\pi M B_0$ and also $\\tilde Q[K]=Q[\\lambda]+\\int_{S^2} d\\star\\tilde Z[K]$ with the improvement term $B_0\\int F$. Evaluating the left side directly from (3.17) and the right side from (2.42) and (3.22) and finding different numbers would falsify the central identity; agreement would confirm it.","supporting_citations":[{"cited_title":"Penrose, Quasilocal mass and angular momentum in general relativity , Proc","cited_arxiv_id":null,"evidence_quote":"Original Penrose 2-form current built from a CKY tensor, the starting point for the improved currents."},{"cited_title":"Abbott and S","cited_arxiv_id":null,"evidence_quote":"Defines the ADM charges whose linearised versions the Penrose charges covariantise."}],"review_version":1}