{"id":"f4bac4fc-22bc-45ed-bfb0-d3b8a7753894","arxiv_id":"2501.11948","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":2,"one_line_summary":"Two new complex-variable actions, each a pair of constrained BF theories, reproduce trace-free Einstein gravity with the cosmological constant emerging as an integration constant.","lead":"This paper reports two new action principles for trace-free Einstein gravity, a theory variant in which the cosmological constant arises as an integration constant. The actions couple two BF theories with constraints and use complex variables, aiming at cleaner starting points for quantum gravity.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The actions (15)/(43) do not enforce ρ ≠ 0, so degenerate flat sectors solve the equations of motion; the claimed 'interaction term prevents degeneracy' is unsupported, and the equivalence proof requires both ρ ≠ 0 and hand-imposed reality (26).","rationale":"The central mathematical claim — that on nondegenerate configurations satisfying the imposed reality conditions the actions reduce to the trace-free Einstein equations — is supported by the algebra. However, the paper is not a fully self-contained action principle for real Lorentzian trace-free Einstein gravity: it requires (i) the hand-imposed reality condition (26) to make the tetrad real, and (ii) the assumption ρ≠0 to avoid Husain-Kuchar degenerate sectors. The first is disclosed and standard; the second is more problematic because the paper asserts that the interaction term 'prevents the theory from being degenerate' without proof. The trivial flat solution (Σ=Σ̄=0, flat connections) satisfies the equations with ρ=0, so the assertion is false if ρ is allowed to vanish. Because the reader already attached a CONDITIONAL verdict based on exactly this gap, our pass does not move the verdict; it strengthens the condition by giving an explicit counterexample to the degeneracy-prevention claim. The cosmological-constant-as-integration-constant result (40)-(42) also uses ρ≠0 when dividing, so it inherits the same caveat. We recommend keeping the conditional verdict, with the condition that the authors either prove that ρ=0 sectors are excluded by the dynamics or explicitly add ρ≠0 as part of the definition of the action principle.","tokens_in":8230,"tokens_out":35040,"duration_ms":349493,"concrete_test":"Test the degenerate sector claim directly: plug Σ^i = Σ^i = 0 and flat A^i, A^i into the equations of motion (16)-(22). All equations are satisfied with ρ=0 for any symmetric Ψ, Ψ with TrΨ=TrΨ. To probe nonzero degeneracies, take a Husain-Kuchar solution satisfying Σ^i∧Σ^j=0 (ρ=0) and check whether (17)-(22) can be satisfied by choosing Ψ from (18); if yes, the action has ρ=0 sectors beyond the trivial one. This refutes the assertion that the interaction term prevents degeneracy and shows that ρ≠0 is an external input.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Equations (16) and (19) determine ρ from the B fields via ρ = -(1/6)Σ^i∧Σ^i, but the action (15) treats ρ as an independent Lagrange multiplier and imposes no inequality ρ ≠ 0. Consequently the equations of motion admit ρ = 0 configurations: for example, Σ^i = Σ^i = 0, A^i and A^i flat, and any symmetric Ψ, Ψ with TrΨ = TrΨ satisfies (16)-(22). In this sector the interaction term -ρ(TrΨ-TrΨ) vanishes, the two BF copies decouple into Husain-Kuchar degenerate sectors, and the solutions are not trace-free Einstein. The paper's remark that 'it is the interaction term that prevents the theory from being degenerate' (Sec. 3) is therefore unsupported and, on the trivial solution, false. The derivation of (23)-(37) and of dTrΨ = 0 (40) explicitly uses ρ≠0; if ρ=0 is allowed, those steps fail. The same issue affects the 'only gravitational sector' phrasing in the abstract. A second external input is the reality condition (26), needed to make the e^I real; without it the derivation of F=E, Q=H from (34) fails because E,F,Q,H are complex. Both conditions are stated but not derived from the action.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proposes two fully diffeomorphism-invariant actions for trace-free Einstein gravity, both using complex variables. The first action (Eq. 15) couples two copies of the constrained BF action for the Husain-Kuchař model through a term -ρ(TrΨ - TrΨ̄) with a 4-form multiplier ρ. The second action (Eq. 43) couples two copies of the chiral Plebanski action with an additional term imposing the reality condition (25). Assuming ρ ≠ 0 and the additional reality condition (26), the authors show that the equations of motion reduce to the trace-free Einstein equations (11), and that the Bianchi identity implies dR = 0, so the cosmological constant emerges as an integration constant (Eqs. 40-42 and 57-58).","tokens_in":8431,"tokens_out":16671,"duration_ms":154507,"significance":"The construction is attractive: it gives simple, explicitly diffeomorphism-invariant actions for trace-free Einstein gravity without unimodular fields, with the cosmological constant arising dynamically. The first action is an elegant combination of two Husain-Kuchař sectors, and the derivations are mostly standard. However, the advertised exclusion of degenerate sectors is not established, and the 'only gravitational sector' claim in the abstract needs qualification. The paper explicitly builds on the authors' earlier work and offers a concrete step toward spin-foam formulations of trace-free gravity, provided the nondegeneracy and reality issues are properly handled.","major_comments":[{"comment":"The claim that the interaction term prevents the theory from being degenerate is contradicted by explicit solutions with ρ = 0. For example, set Σ^i = 0, Σ̄^i = 0, A^i and Ā^i flat, and take any symmetric Ψ, Ψ̄ with TrΨ = TrΨ̄. These satisfy all equations of motion (16)-(22), the interaction term vanishes, and the solutions are not trace-free Einstein. The derivation of (23)-(37) and of dTrΨ = 0 in (40) uses ρ ≠ 0; for ρ = 0 those steps fail. The paper should either prove ρ ≠ 0 from the dynamics, or explicitly restrict to the open sector ρ ≠ 0 and state that the actions as written admit additional degenerate solutions.","section":"Section 3, Introduction paragraph 'Remarkably, it is the interaction term...' and Eqs. (16)-(22)"},{"comment":"The phrase 'their only gravitational sector is trace-free Einstein gravity' is too strong as stated. The equivalence proof requires two external inputs not enforced by the actions: the nonvanishing of ρ (respectively ν in the second action) and the reality condition (26), which for the first action is imposed by hand. As written, the actions also admit degenerate, non-metric solutions. The abstract and conclusions should be amended to say that the actions describe trace-free Einstein gravity on the nondegenerate sector that satisfies the reality conditions, and that additional degenerate solutions exist unless those conditions are imposed by hand.","section":"Abstract and Conclusions"},{"comment":"The same degeneracy issue affects the second action. Configurations with ν = 0, Σ^i = Σ̄^i = 0, flat connections, and traceless Φ, Φ̄ satisfy (44)-(52). The interaction term -µ/2(Σ^i∧Σ_i + Σ̄^i∧Σ̄_i) imposes the reality condition (25) but does not enforce ν ≠ 0. The discussion of the 'double role' of the interaction term in preventing the description of general relativity and in introducing a reality condition should be revised to acknowledge that the nondegeneracy of ν is an additional assumption rather than a consequence of the action.","section":"Section 4, Eqs. (43)-(58)"}],"minor_comments":[{"comment":"The reduction from Eq. (39) to Eq. (40) and from Eq. (56) to Eq. (57) is sketched rather than fully shown. Please display the intermediate steps, especially how the second term in (39) is handled via the contracted Bianchi identity, to make the derivation transparent.","section":"Eqs. (39)-(40) and (56)-(57)"},{"comment":"In the sentence 'For κ = -1, the roles of Ψ and Ψ are exchanged,' the matrices should be Φ and Φ̄, not Ψ and Ψ̄, to match the discussion of the second action.","section":"Section 4, meaning of Φ"},{"comment":"The phrases 'ρ is a nonvanishing 4-form' and 'ν is a nonvanishing 4-form Lagrange multiplier' should be clarified: if nonvanishing is a condition on the configuration space, it should be stated explicitly in the definition of the action and accounted for in the variational principle; otherwise the actions admit the zero-mode solutions discussed above.","section":"Section 3 and 4, definition of ρ and ν"},{"comment":"The sentence 'Substituting this solution in (16), the 4-form ρ acquires the following form' is slightly ambiguous because (16) was already used to obtain (23). Clarify that (24) follows by taking the trace of (16) after substituting (23).","section":"Eq. (24)"}],"recommendation":"major_revision","confidential_remarks":"The paper fits the scope of the journal and the central construction is likely correct on the nondegenerate sector. The main concern is the overstated claim about the interaction term preventing degeneracy; this is a fixable issue but it is load-bearing for the paper's motivation. The authors should also clarify the role of the reality conditions in the abstract. I would not recommend rejection, but the revision should substantively address the degenerate-sector solutions."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The two actions are new and the derivation of the trace-free Einstein equations on the nondegenerate sector is standard and correct. But the paper's claim that the interaction term prevents degeneracy does not survive contact with the equations of motion, and one reality condition still comes from outside the action.\n\nWhat is actually new: Eqs. (15) and (43) are not in the prior literature, which is a real step beyond the same authors' real-BF actions. The algebra from (16)–(37) is standard Plebanski machinery and checks out: (34) forces F=E and Q=H, the trace condition (22) gives TrH=0, and the Bianchi identity argument gives dR=0 so the cosmological constant emerges as an integration constant. The paper is honest about the price: complex variables, so reality conditions are needed.\n\nSoft spots: the interaction term does not, by itself, kill the Husain-Kuchar degenerate sector. The stress-test example works: set Σ=Σ=0, flat connections, and any symmetric Ψ, Ψ with equal trace; all equations (16)–(22) are satisfied and the interaction term vanishes. The paper says \"ρ is a nonvanishing 4-form,\" but that is an assertion about the field space, not something the equations enforce. The derivation of (40) uses ρ≠0, so it fails on that sector. This is a standard caveat for Plebanski-type actions, but it should be written as \"the equivalence holds on configurations with ρ≠0\" rather than implied to be a property of the interaction term.\n\nSecond, the reality condition (26) is imposed by hand. The paper is upfront about it, but it means that neither action is by itself a complete action for real Lorentzian trace-free Einstein gravity. The first action includes (25) automatically; the second includes it through the Lagrange multiplier term. The second reality condition (26) is extra in both.\n\nThese are addressable in a revision; the construction is sound for the intended sector.\n\nWho is this for? People working on action principles for alternative gravity and spin foam models. A serious referee should engage with it, and the paper should be published after the sector caveats are clarified.","headline":"Two new complex BF actions for trace-free Einstein gravity: the core derivation is sound, but the degenerate sector and the hand-imposed reality condition are understated and need fixing.","tokens_in":9011,"tokens_out":8430,"would_cite":false,"duration_ms":89855,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["83C05","83C45","83D05"],"pacs":["04.20.-q","04.20.Fy","04.60.Pp"],"model":"deepseek-v4-flash","headline":"This paper reports two fully diffeomorphism-invariant actions whose nondegenerate solutions are exactly the equations of trace-free Einstein gravity, with the cosmological constant emerging as an integration constant from the Bianchi…","keywords":["trace-free Einstein gravity","BF theory","Plebanski action","Husain–Kuchař model","cosmological constant","integration constant","reality conditions","diffeomorphism invariance"],"falsifier":"Perform the Dirac constraint analysis of the first action and check whether the reality condition $\\Sigma^i\\wedge\\Sigma^j=0$ is preserved by the total Hamiltonian and whether the $\\rho=0$ sector is dynamically inaccessible; if the phase space has additional propagating degrees of freedom, or if real Lorentzian configurations are not selected by the dynamics, the claimed equivalence to trace-free Einstein gravity fails.","tokens_in":7958,"feed_emoji":"🌌","tokens_out":12323,"duration_ms":107151,"temperature":0.7,"pith_summary":"Trace-free Einstein gravity keeps only the trace-free part of Einstein's equations, so the cosmological constant can appear as an integration constant instead of being tied to vacuum energy. This paper constructs two fully diffeomorphism-invariant actions for that theory, each built from two copies of a constrained BF theory. The first combines two Husain–Kuchař-style constrained BF copies with an interaction term $\\rho(\\mathrm{Tr}\\Psi - \\mathrm{Tr}\\bar{\\Psi})$; the second combines two chiral Plebanski actions with a constraint that imposes one of the reality conditions. In both, nondegenerate solutions are shown to be exactly the trace-free Einstein equations for Lorentzian signature, and the Bianchi identity forces $dR=0$, so the cosmological constant $\\Lambda$ enters as an integration constant. A stated aim is that these actions contain only trace-free Einstein gravity, unlike earlier real BF actions that also contained a general-relativity sector.","feed_headline":"Two actions recast trace-free Einstein gravity as paired BF theories","feed_subtitle":"A pair of actions makes the cosmological constant an integration constant while keeping full diffeomorphism invariance.","key_machinery":"BF theory is the class of actions built from the wedge product of a 2-form $B$ with a curvature $F$. The central machinery here is a pair of BF-type actions, Eqs. (15) and (43), in which a 2-form $\\Sigma^i$ and connection $A^i$ are supplemented by symmetric-matrix Lagrange multipliers $\\Psi_{ij}$ (or $\\Phi_{ij}$) and 4-form multipliers $\\rho$, $\\nu$, $\\mu$. The interaction term $\\rho(\\mathrm{Tr}\\Psi - \\mathrm{Tr}\\bar{\\Psi})$ in the first action couples the two copies and prevents the degeneracy that makes the standalone Husain–Kuchař model lack gravity; in the second action the $\\mu$-term imposes the reality condition $\\Sigma^i\\wedge\\Sigma^i + \\bar{\\Sigma}^i\\wedge\\bar{\\Sigma}^i = 0$ explicitly. Combining the equations of motion recovers the trace-free Einstein equations through the self-dual/anti-self-dual splitting of the Riemann tensor, while the Bianchi identity converts the trace condition into $dR=0$.","core_discovery":"The central discovery is that the action $S = \\int[\\Sigma^i\\wedge F_i - \\tfrac{1}{2}\\Psi_{ij}\\Sigma^i\\wedge\\Sigma^j + \\text{conjugate} - \\rho(\\mathrm{Tr}\\Psi - \\mathrm{Tr}\\bar{\\Psi})]$ is a fully diffeomorphism-invariant action for trace-free Einstein gravity: its field equations, supplemented by the reality condition $\\Sigma^i\\wedge\\Sigma^j=0$ and the nonvanishing of $\\rho$, imply $F=E$, $Q=H$, $E=E^T$, $H=H^T$, and $\\mathrm{Tr}H=0$, which are exactly the trace-free Einstein equations. The same is shown for the equivalent second action built from two chiral Plebanski copies. The trace of the equations, combined with the Bianchi identity, yields $dR=0$, so the Ricci scalar is constant and $4\\Lambda$ enters purely as an integration constant. The paper stresses that no nondynamical fields and no unimodular condition are used, and that the only gravitational sector is trace-free Einstein gravity.","pith_inferences":["The paper leaves open whether the reality condition $\\Sigma^i\\wedge\\Sigma^j=0$ and nonvanishing $\\rho,\\nu$ are dynamically enforced or must be imposed on the phase space; if a Hamiltonian analysis shows they are not preserved by evolution, any quantization must treat them as external constraints, which would weaken the claim that the action alone defines the theory.","Because $\\rho$ is tied to the 4-volume form, the constraints lock a volume element; a natural extension is to couple matter and check whether energy-momentum conservation is needed to keep $dR=0$, clarifying how robust the integration-constant mechanism is.","Both actions are non-chiral, so a chiral BF formulation of trace-free Einstein gravity may or may not exist; finding one would test whether complex self-dual variables are essential to keeping the general-relativity sector out.","A testable extension is to restrict the path integral to nondegenerate sectors and see whether summing over the complexified solutions destabilizes the Lorentzian reality conditions, which would matter for quantum applications."],"forward_implications":["Trace-free Einstein gravity now has two concrete, fully diffeomorphism-invariant BF-type actions with no general-relativity sector, making it a cleaner alternative to unimodular gravity for addressing vacuum energy.","The cosmological constant emerges as an integration constant via $dR=0$, realizing Einstein's original proposal without imposing a unimodular condition.","The BF form opens a route to canonical and path-integral quantization of trace-free Einstein gravity along the lines already developed for Plebanski-type actions.","The first action needs only one externally imposed reality condition because the other emerges from the equations, reducing the hand-imposed assumptions relative to the full Plebanski formulation.","The second action shows that the reality condition can double as the interaction that excludes general relativity from the theory."],"supporting_citations":[{"why":"Supplies the first-order trace-free Einstein equations and the earlier real BF action that the new actions refine.","marker":"[6]"},{"why":"Introduces the Plebanski action and the reality conditions used here to select Lorentzian general relativity.","marker":"[11]"},{"why":"Introduces the constrained BF action for the Husain–Kuchař model that forms one copy of the first action.","marker":"[13]"},{"why":"The Husain–Kuchař model whose degeneracy the new interaction term is designed to cure.","marker":"[14]"},{"why":"Gives the explicit solution for the 2-forms and connection connecting BF variables to Riemann curvature.","marker":"[19]"},{"why":"Documents the standard reality conditions in Plebanski formulations and their role in complex self-dual variables.","marker":"[12]"},{"why":"Einstein's original proposal that the cosmological constant enters as an integration constant, realized here through $dR=0$.","marker":"[1]"},{"why":"Contrasting unimodular actions that break diffeomorphism invariance, highlighting the feature the new actions avoid.","marker":"[21]"}],"fun_headline_variants":["Two BF theories interact to give trace-free Einstein gravity","Cosmological constant emerges from two constrained BF actions","Trace-free gravity from two interacting constrained BF theories","Two actions: trace-free gravity with integration constant"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"Both derivations assume, rather than derive, the reality condition $\\Sigma^i\\wedge\\Sigma^j=0$, and they exclude the degenerate sectors where the 4-form $\\rho$ (or $\\nu$) vanishes; if those sectors are admitted, or if the reality condition cannot be made consistent, the actions describe a complexified or degenerate theory instead of Lorentzian trace-free Einstein gravity.","fun_headline_variants_meta":{"raw":{"variants":["Two BF theories interact to give trace-free Einstein gravity","Cosmological constant emerges from two constrained BF actions","Trace-free gravity from two interacting constrained BF theories","Two actions: trace-free gravity with integration constant"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000831,"raw_usage":{"total_tokens":3621,"prompt_tokens":930,"completion_tokens":2691,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":546,"completion_tokens_details":{"reasoning_tokens":2630}},"tokens_in":546,"tokens_out":2691,"duration_ms":19155,"temperature":1.0,"reasoning_tokens":2630,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-10T17:41:45.711570+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Perform the Dirac constraint analysis of the first action and check whether the reality condition $\\Sigma^i\\wedge\\Sigma^j=0$ is preserved by the total Hamiltonian and whether the $\\rho=0$ sector is dynamically inaccessible; if the phase space has additional propagating degrees of freedom, or if real Lorentzian configurations are not selected by the dynamics, the claimed equivalence to trace-free Einstein gravity fails.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Documents the standard reality conditions in Plebanski formulations and their role in complex self-dual variables."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the first-order trace-free Einstein equations and the earlier real BF action that the new actions refine."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Introduces the Plebanski action and the reality conditions used here to select Lorentzian general relativity."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Introduces the constrained BF action for the Husain–Kuchař model that forms one copy of the first action."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"The Husain–Kuchař model whose degeneracy the new interaction term is designed to cure."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Gives the explicit solution for the 2-forms and connection connecting BF variables to Riemann curvature."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Einstein's original proposal that the cosmological constant enters as an integration constant, realized here through $dR=0$."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Contrasting unimodular actions that break diffeomorphism invariance, highlighting the feature the new actions avoid."}],"review_version":1}