{"id":"f277e571-ac0c-45e0-a2ed-9b7aaaec7555","arxiv_id":"2505.13548","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Generalized unimodular gravity is shown to admit a Henneaux-Teitelboim-like action; for constant barotropic index the action is local, and for W=-1 it reduces to the unimodular gravity action.","lead":"The paper rewrites generalized unimodular gravity (GUMG), a modified gravity family, as Einstein gravity plus an auxiliary field and a divergence term, similar to the covariant Henneaux-Teitelboim form of unimodular gravity. The new form makes the theory's dynamics and gauge structure more transparent and is a step toward quantizing these models.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Equivalence of constraint bases in (98) and first-class status of P_I in (92) are asserted, not shown; for nonconstant W the new basis may change the number of degrees of freedom.","rationale":"The reader's weakest assumption identifies the same core issue: the first-class character of P_I in (92) is asserted rather than derived. I agree this is the most load-bearing step, since action (7) inherits its equivalence entirely from the parameterization and constraint-basis manipulations in Sections 4.1 and 4.2. I would partially qualify the reader's formulation: the paper explicitly excludes W = 0 and Ω = 0, so the concern about ill-defined inverse operators at those zeros is partly addressed by the stated assumptions. The more serious residual problem is for allowed nonconstant W configurations, where the claimed equivalence of the constraint bases in (98) is not obvious and may fail: the new set forces a different relation between π0 and F H⊥ than the old set, and the difference must be pure gauge for the argument to work. That is precisely what the missing involution proof would establish. The paper's own structural checks, such as the reduction to w-GUMG and UMG special cases, are real supporting evidence, but they do not cover general nonconstant W. A direct two-site or circle-model rank test would settle whether the constraint surfaces really coincide. Because the paper is otherwise careful and the gap is explicitly localizable to one asserted step, the conditional verdict remains appropriate; I do not see grounds to reject, but the proof of equivalence should not be treated as complete without the missing check.","tokens_in":58532,"tokens_out":34934,"duration_ms":365876,"concrete_test":"Perform a two-site (or S^1) truncation with a nonconstant sign-definite W, and compute the full constraint matrix and Dirac brackets for the bases (31), (91), and (99). Concretely: (i) verify whether {∫f P_I, ∫g(π0+F H⊥)}, {∫f P_I, ∫η^m H_m}, and {∫f P_I, ∫η^m T,m} vanish weakly for P_I in (92); and (ii) compare the rank of the constraint matrix for the basis {π0+F H⊥, H_m, (W F H⊥),m} with that for {π0+E F H⊥, H_m, π0,m} at a generic configuration with W,x ≠ 0. If the brackets do not close or the ranks differ, equation (98) is not an equivalence and the alternative action (7) does not reproduce GUMG. If the brackets close and the ranks match, the gap is expositional rather than substantive.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim that (7) is equivalent to the original GUMG action depends on two unproved steps in Section 4: (i) the consistently parameterized action (91) is equivalent to (31), and (ii) the constraint-basis rearrangement in (98) preserves the constraint surface. The paper asserts in Section 4.1 that the combination P_I = π0 + F H⊥ + U_0^n H_n (92) is first-class, saying only that the involution conditions 'now have a solution given by (92)', but no Poisson-bracket computation is shown. In Section 4.2 the replacement of (W E^{-1}π0),m = 0 by π0,m = 0 is justified by Corollary A.1.2, but the overall equivalence of the two bases is not demonstrated. This is load-bearing because for nonconstant W the two sets in (98) are not manifestly the same: with the kernel (95), E F H⊥ = F H⊥ - W^{-1} avg(W F H⊥) + avg(F H⊥), so on the secondary surface (W F H⊥),m = 0 one gets π0 + E F H⊥ = π0 + avg(F H⊥), not π0 + F H⊥. The new set forces π0 to be spatially constant and F H⊥ ∝ W^{-1}, satisfying the secondary constraint but not the old local constraint unless W is constant. Whether this difference is pure gauge is exactly what the asserted involution of (92) is supposed to guarantee. Since U_0^n in (34) is only an on-shell Lagrange multiplier, the standard Dirac construction gives an integrated first-class Hamiltonian, not automatically a local smeared constraint of the form used here. If the constraint surfaces or their ranks differ, the number of degrees of freedom changes and the action (7) need not describe GUMG.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper claims to construct, by a sequence of canonical transformations, an alternative action (7) for the whole family of generalized unimodular gravity (GUMG) theories introduced in Eq. (1). The construction starts from the canonical extended action (31), implements time reparametrization, rearranges the constraint basis, and introduces a spatially nonlocal operator E defined in Eqs. (95)-(96). For the constant-W subfamily (w-GUMG) the action is claimed to become local and to reproduce the Henneaux-Teitelboim action of unimodular gravity in the special case W = -1. The paper also analyzes the on-shell dynamics, the gauge structure, and the effect of the nonlocality on the quantum measure. The central claim is that the alternative action (7)/(106) is classically equivalent to the original GUMG action for all nonexceptional characteristic functions F(√γ).","tokens_in":58859,"tokens_out":25678,"duration_ms":231479,"significance":"If the central equivalence claim were correct, the paper would be a valuable contribution: it would provide a Henneaux-Teitelboim-like covariant formulation for the entire GUMG family, make explicit the spatial delocalization inherent in the model, and open the way to a systematic study of the gauge structure and quantum measure. The paper is constructive, contains many explicit computations, and the w-GUMG subfamily (Section 3) appears to be handled carefully; the local action (55) for constant W is a credible result that could be useful on its own. However, the general-GUMG equivalence is the main result, and it is not established: the proof contains a load-bearing error in the constraint-basis rearrangement of Section 4.2, and the first-class property of the key constraint P_I in Section 4.1 is only asserted. Because the primary claim of the paper is the equivalence for the general GUMG family, the significance of the paper as it stands is substantially reduced.","major_comments":[{"comment":"The claimed equivalence of the constraint bases in (98) is not correct for nonconstant W(√γ). Using the explicit kernel (95), one has E(FH⊥) = FH⊥ − W^{-1} avg(W F H⊥) + avg(F H⊥). On the secondary surface (W F H⊥),m = 0, i.e. W F H⊥ = A(t), this gives E(FH⊥) = A(t) avg(W^{-1}), whereas F H⊥ = A(t) W^{-1}. Consequently the new first constraint π0 + E F H⊥ = 0 forces π0 = −A(t) avg(W^{-1}), which is spatially constant, while the old first constraint π0 + F H⊥ = 0 forces π0 = −A(t) W^{-1}, which is spatially constant only when W is constant. The two sets in (98) therefore describe different constraint surfaces in the extended phase space. This invalidates the derivation of the alternative action (7)/(106) and the subsequent on-shell relation (108) for general GUMG theories. The subsequent Lagrange-multiplier redefinition (100) does not repair the discrepancy, since it cannot change the constraint surface itself.","section":"Section 4.2, Eq. (98)"},{"comment":"The first-class property of P_I = π0 + F H⊥ + U_0^n H_n is asserted rather than proved. The text says that the system of involution conditions 'now has a solution given by (92)', but no Poisson-bracket computation is shown for {P_I, ∫f(π0+FH⊥)}, {P_I, ∫ξ^n H_n}, or {P_I, ∫η^n (WFH⊥),n}. This matters because U_0^n is only the on-shell Lagrange-multiplier solution (34); the standard Dirac construction yields an integrated first-class Hamiltonian, and it is not automatic that the local smeared density P_I is in involution with all constraints. The rank and degree-of-freedom equivalence between (91) and (31) depends directly on this point. A concrete bracket computation, or a precise reference to where it is performed, is required.","section":"Section 4.1, Eq. (92)"},{"comment":"The assertion that (91) and (99) are equivalent because 'the equivalence of representations is guaranteed by the freedom of choosing any equivalent constraint basis' is too quick. A constraint-basis change is permissible only if the two sets have the same constraint surface and the same rank structure. As shown in the first major comment, the two sets in (98) do not define the same surface for nonconstant W, so the equivalence of (91) and (99) is not established. This is not a presentation issue but a load-bearing gap in the constructive proof of the main result.","section":"Section 4.2, Eq. (99)"}],"minor_comments":[{"comment":"The notation for the identity operator and the averaging projector is extremely confusing: the same symbol I is used for both in equations such as (96) and (135). This ambiguity appears to be directly connected to the error in the reformulation of the first constraint in (98). The authors should use distinct symbols, e.g. Id for the identity and P_avg or I_avg for the averaging projector, and recheck all equations involving E.","section":"Section 4.2 and Appendix A"},{"comment":"The claim that the consistently parameterized action (91) is 'physically equivalent' to the original GUMG extended action (31) is stated without a full proof of the rank and transversality conditions; please provide the explicit consistency conditions and show that they are satisfied.","section":"Section 4.1, after Eq. (91)"},{"comment":"There is a typo in the first paragraph: 'various issues are still are still open' should read 'various issues are still open'.","section":"Section 5, Conclusions"},{"comment":"The treatment of noncompact spatial sections is explicitly heuristic and relies on a finite-volume regulator; this is acknowledged by the author, but the main text refers to the results as if they were established. Please state more clearly which results in Sections 4.3-4.4 depend on the compactness assumption and which are expected to survive in the noncompact case.","section":"Appendix D"}],"recommendation":"reject","confidential_remarks":"The central result of the paper, the equivalence of the alternative action (7) with the original GUMG action for general W, is not established and, based on the explicit computation with the kernel (95), appears to be false as stated. The w-GUMG subfamily (Section 3) may be salvageable and could be the basis of a separate, more limited paper. Given that the general-GUMG claim is the paper's main advertised contribution, I cannot recommend acceptance in the present form."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The paper does something new: it constructs a Henneaux-Teitelboim-like action for the whole GUMG family, using a spatially nonlocal E-operator, and it cleanly isolates the w-GUMG local subfamily. The derivation is mostly careful and constructive, and the special cases (constant W, and the UMG limit) reduce to the right things. The author also does real work in the appendices: the E-operator kernel, inverse, determinant, and the noncompact-space discussion. For anyone working on GUMG or on covariantizations of restricted gravity theories, this is a useful paper.\n\nThe soft spot is exactly where the stress-test note points. The whole equivalence rests on two claims in Section 4 that are asserted, not shown. First, that the combination P_I = pi0 + F H_perp + U0^n H_n in (92) is first-class; the text says the involution conditions \"now have a solution\" but gives no Poisson-bracket computation. Second, that the constraint-basis replacement in (98) preserves the constraint surface. The stress-test concern is legitimate: for nonconstant W, the new set forces pi0 to be spatially constant and F H_perp to be proportional to W^{-1}, which is not the same as the old local constraint unless W is constant. The paper needs to show that the two bases have the same constraint surface and rank, or that the difference is pure gauge. That is a load-bearing gap, not a cosmetic one.\n\nThat said, the gap is probably fillable. The construction is explicit, the operator properties are worked out, and the w-GUMG limit checks out. The noncompact treatment is explicitly admitted to be incomplete, which is fine as a limitation but should be flagged more clearly in the main text.\n\nWho is this for? Gravitational theorists working on unimodular variants, constrained systems, and BV quantization. It is a subfield paper, but it is substantive and the central construction is new. I would send it to peer review, with the request that the referee asks the author to prove the involution claim and the basis equivalence, or at least to state precisely what additional assumptions are needed. The paper deserves a serious referee, and with the gap filled it would be a solid contribution.","headline":"A genuinely new HT-type action for GUMG with a real proof gap: the first-class status of the central constraint is asserted rather than demonstrated.","tokens_in":695,"tokens_out":936,"would_cite":true,"duration_ms":22482,"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":"Every generalized unimodular gravity model admits an equivalent action in which general relativity couples to an auxiliary cosmological-constant field through a spatially nonlocal operator, with unimodular gravity as the exceptional local…","keywords":["generalized unimodular gravity","unimodular gravity","Henneaux–Teitelboim action","canonical constraints","time reparametrization","spatial nonlocality","cosmological perfect fluid","barotropic parameter"],"falsifier":"Choose a GUMG model with spatially varying $W(\\sqrt{\\gamma})$ on a compact spatial slice and test the parameterized action's new constraint $P_I=\\pi_0+F H_\\perp+U_0^n H_n$ by the standard Dirac consistency procedure: if preserving that constraint in time generates new constraints, or if the rank of the constraint matrix changes, the two actions are not equivalent. The exceptional characteristic functions with $\\Omega(\\sqrt{\\gamma})=0$, such as $F\\propto|b+\\sqrt{\\gamma}^{-1}|$, are the natural place to look, since the paper itself identifies them as potentially pathological.","tokens_in":58244,"feed_emoji":"🌌","tokens_out":10501,"duration_ms":101735,"temperature":0.7,"pith_summary":"Generalized unimodular gravity is a family of modified gravity theories that keep the Einstein–Hilbert dynamics but partially break coordinate covariance by restricting the lapse function to a prescribed function $F(\\sqrt{\\gamma})$ of the spatial volume. This paper proves that every model in the family can be rewritten, by a constructive canonical time reparametrization, as an equivalent action of the Henneaux–Teitelboim type: the Einstein–Hilbert term plus a dynamical cosmological-constant field, with the model's characteristic function $W=d\\ln F/d\\ln\\sqrt{\\gamma}$ encoded in a spatially nonlocal operator $E$. A reader should care because the equivalence turns a family of apparently different constrained theories into one unified description, exposes their common gauge structure, and shows that the extra degree of freedom behaves as a cosmological perfect fluid with equation of state $p=W\\rho$. For constant $W$ the action becomes local, and at $W=-1$ it reduces to the standard covariant form of unimodular gravity.","feed_headline":"Equivalent action found for every generalized unimodular gravity","feed_subtitle":"A single canonical reparametrization unifies the family, keeps the fluid degree of freedom explicit, and reduces to unimodular gravity.","key_machinery":"The load-bearing object is the delocalization operator $E=I+W^{-1}\\tilde I W$, where $I$ is the identity, $I$ projects onto spatially homogeneous (average) functions, and $\\tilde I=I-I$ projects onto average-free functions; $W=d\\ln F/d\\ln\\sqrt{\\gamma}$ is the model's barotropic parameter. The operator appears when the Hamiltonian constraint of general relativity, which lives only in its spatially averaged part after consistent parameterization, must be merged with GUMG's secondary constraint into one functionally complete constraint. Because $E$ is invertible, the constraint basis can be rearranged as $\\pi_0+E F H_\\perp=0$ and $\\pi_{0,m}=0$, which is what allows the metric momentum dependence to be reduced as in general relativity and the auxiliary fields to assemble into $\\partial_\\mu\\mathcal{V}^\\mu$. The consistency of the whole construction rests on the first-class constraint $P_I=\\pi_0+F H_\\perp+U_0^n H_n$ in the parameterized action. The same operator controls the nonlocal on-shell relation for $\\Lambda$ and the quantum measure, whose determinant is $\\mathrm{Det}\\,E=W\\,\\overline{W^{-1}}\\ge 1$.","core_discovery":"The central claim is a constructive proof that the generic GUMG action $S[g,\\lambda_\\perp]=\\int dt\\,dx\\,\\sqrt{|g|}\\,R-\\int dt\\,dx\\,\\lambda_\\perp(N^\\perp-F(\\sqrt{\\gamma}))$ is classically equivalent to $S_{\\rm alt}[g,\\Lambda,\\mathcal{V}]=\\int dt\\,dx\\,\\sqrt{|g|}(R-\\Lambda)+\\int dt\\,dx\\,\\partial_\\mu\\mathcal{V}^\\mu\\,E F\\sqrt{\\gamma}\\,\\Lambda$, where $\\Lambda(t,x)$ is an auxiliary cosmological-constant field, $\\mathcal{V}^\\mu$ is an auxiliary vector field entering only through $\\partial_\\mu\\mathcal{V}^\\mu$, and $E$ is an invertible, local-in-time but spatially nonlocal operator built from average and average-free projectors. The equivalence is established by introducing time parametrization into the canonical action, adding an auxiliary canonical pair, and rearranging the constraint basis so that all metric-momentum dependence sits in the usual general-relativity structures. The resulting action reproduces the original GUMG dynamics and gauge structure on both dynamical branches: the GR branch has the same degrees of freedom as general relativity, while the non-GR branch carries one extra degree of freedom that on shell is a cosmological perfect fluid with barotropic parameter $W(\\sqrt{\\gamma})$. When $W$ is constant the operator $E$ becomes the identity and the action is manifestly local; when $W=-1$ the whole action becomes the standard Henneaux–Teitelboim covariant action. On shell the effective cosmological constant feels the spatial average of $W^{-1}$, namely $\\Lambda\\sim\\sqrt{\\gamma}^{-1}F^{-1}\\,\\overline{W^{-1}}/W^{-1}\\,c_0$.","pith_inferences":["A general criterion suggested by this construction is that a restricted gravity theory admits a Henneaux–Teitelboim-like covariantization exactly when its secondary constraint is, up to a local weight, the average-free part of the Hamiltonian; theories with additional structure would require genuinely new techniques.","A testable extension is to insert the nonlocal on-shell relation for $\\Lambda$ into a homogeneous cosmological model, where $W(\\sqrt{\\gamma})$ depends on the scale factor, and compare the resulting effective dark-energy equation of state with reconstructions from supernovae and cosmic microwave background data.","Because the surviving spatial gauge symmetry is exactly volume-preserving diffeomorphisms, the whole family could be reformulated as general relativity on a spacetime with a fixed spatial volume form; the paper does not develop this coordinate-free reading, but the constraint analysis points directly to it."],"forward_implications":["Every GUMG model can be analyzed in one common representation, with all model dependence isolated in $F$, $W$, and $E$; this should simplify comparisons between different restriction functions and with unimodular gravity.","The on-shell value of the effective cosmological constant becomes a spatially nonlocal functional of the metric, so cosmological solutions in the same GUMG model can differ purely from the global spatial profile of $W$.","The gauge symmetry on the non-GR branch is exhausted by homogeneous time reparametrizations and transverse (volume-preserving) spatial diffeomorphisms; local time reparametrizations and longitudinal spatial diffeomorphisms are broken.","In the w-GUMG subfamily with $W=\\mathrm{const}$, the alternative action is fully local while keeping the same mixed-class gauge structure, giving a simpler setting for studying GUMG dynamics.","The path-integral measure in the $\\Lambda$ representation acquires a non-ultralocal factor $\\mathrm{Det}\\,E=W\\,\\overline{W^{-1}}\\ge 1$, so spatially inhomogeneous $W$ configurations are weighted differently in the quantum theory."],"supporting_citations":[{"why":"Supplies the covariant unimodular-gravity action and the time-reparametrization method that this paper generalizes to the whole GUMG family.","marker":"[7]"},{"why":"Introduces the original GUMG action with the lapse restriction condition that the alternative action re-expresses.","marker":"[11]"},{"why":"Provides the canonical and constraint analysis of GUMG, including the two-branch structure and the perfect-fluid interpretation that the equivalence must reproduce.","marker":"[13]"},{"why":"Gives the Dirac consistency and first-class Hamiltonian machinery used to prove equivalence of the parameterized action.","marker":"[22]"},{"why":"Supplies the restricted gauge-theory formalism used to identify which diffeomorphisms survive in the alternative action.","marker":"[19]"},{"why":"Analyzes the canonical structure and extra mode of GUMG, underpinning the degree-of-freedom count.","marker":"[12]"}],"fun_headline_variants":["Alternative action unifies generalized unimodular gravity","One action for all generalized unimodular gravity models","Spatially nonlocal action for GUMG, with local subfamily","Fluid degree of freedom emerges in unified GUMG action","Canonical reformulation of generalized unimodular gravity"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The whole equivalence chain rests on the claim that the reparametrization constraint $P_I=\\pi_0+F H_\\perp+U_0^n H_n$ is exactly first-class in the parameterized action, and that the nonlocal operator $E$ is invertible everywhere; if $W$ or $\\Omega$ vanish on some configuration, the constraint algebra branches and the two actions describe different physics.","fun_headline_variants_meta":{"raw":{"variants":["Alternative action unifies generalized unimodular gravity","One action for all generalized unimodular gravity models","Spatially nonlocal action for GUMG, with local subfamily","Fluid degree of freedom emerges in unified GUMG action","Canonical reformulation of generalized unimodular gravity"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000456,"raw_usage":{"total_tokens":2388,"prompt_tokens":1142,"completion_tokens":1246,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":758,"completion_tokens_details":{"reasoning_tokens":1163}},"tokens_in":758,"tokens_out":1246,"duration_ms":9291,"temperature":1.0,"reasoning_tokens":1163,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-15T20:29:06.966854+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Choose a GUMG model with spatially varying $W(\\sqrt{\\gamma})$ on a compact spatial slice and test the parameterized action's new constraint $P_I=\\pi_0+F H_\\perp+U_0^n H_n$ by the standard Dirac consistency procedure: if preserving that constraint in time generates new constraints, or if the rank of the constraint matrix changes, the two actions are not equivalent. The exceptional characteristic functions with $\\Omega(\\sqrt{\\gamma})=0$, such as $F\\propto|b+\\sqrt{\\gamma}^{-1}|$, are the natural place to look, since the paper itself identifies them as potentially pathological.","supporting_citations":[{"cited_title":"Quantization of gauge systems,","cited_arxiv_id":null,"evidence_quote":"Gives the Dirac consistency and first-class Hamiltonian machinery used to prove equivalence of the parameterized action."},{"cited_title":"On the canonical structure and extra mode of generalized unimodular gravity","cited_arxiv_id":"1712.09535","evidence_quote":"Analyzes the canonical structure and extra mode of GUMG, underpinning the degree-of-freedom count."}],"review_version":1}