{"id":"4d5e52ae-72ee-4973-aaa5-79743fc93802","arxiv_id":"2604.26941","paper_version":2,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":7.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"Constructs a manifestly diagonal-BRST-invariant Schwinger-Keldysh path integral for open non-Abelian gauge theories with arbitrary physical initial states, yielding Ward-Takahashi-Slavnov-Taylor identities and a Keldysh BRST symmetry for the Open EFT.","lead":"The paper develops a Schwinger-Keldysh path integral for open non-Abelian gauge theories using BRST gauge fixing in covariant gauges, handling generic pure and mixed initial states at finite times. This could enable consistent calculations of non-equilibrium processes in gauge theories while preserving gauge invariance.","discovery_kind":"new_method","skeptic_critique":{"model":"grok-4.3","headline":"No significant objection identified","rationale":"The reader's weakest assumption is precisely the step whose verification would be required to confirm the central claim; the abstract alone supplies no counter-evidence or circularity that would move the UNVERDICTED verdict.","tokens_in":1859,"tokens_out":267,"duration_ms":17737,"concrete_test":"Extract the explicit expression for the initial-time BRST-invariant density matrix (presumably in §3 or §4) and substitute a simple mixed state such as a thermal density matrix in a free Abelian theory; verify that the resulting path-integral measure remains invariant under the diagonal BRST transformation and that the physical subspace inner product stays positive semi-definite.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The abstract states that the SK path integral is manifestly invariant under diagonal retarded BRST for arbitrary physical initial states (pure or mixed) after using the Hata-Kugo prescription and Nakanishi-Lautrup representation. No internal inconsistency, hidden assumption, or boundary-term failure is visible from the provided description of the construction. The paper explicitly flags the non-perturbative Gribov issue separately and shows advanced BRST violation, which is consistent with the claim. Without the full derivations an objection cannot be substantiated.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.3","summary":"The paper develops the Schwinger-Keldysh path-integral formalism for open non-Abelian gauge theories gauge-fixed via the BRST method in covariant gauges. It treats generic initial states (pure or mixed) at finite times, addresses the indefinite-metric Hilbert space via the Hata-Kugo prescription and Nakanishi-Lautrup field representation, constructs BRST-invariant Schrödinger-picture wavefunctionals and density matrices, and shows that the resulting in-in path integral is manifestly invariant under a diagonal (retarded) BRST symmetry. From this invariance the authors derive the corresponding Ward-Takahashi-Slavnov-Taylor identities (perturbatively), demonstrate explicit violation of the naive advanced BRST symmetry by the boundary conditions, establish perturbative BRST invariance of the Feynman-Vernon influence functional after integrating out matter or hard modes, and obtain a contracted Keldysh BRST symmetry for the second-order Open EFT expansion, illustrated with the Hard Thermal Loop effective theory and the general form in a Higgs phase.","tokens_in":1959,"tokens_out":610,"duration_ms":16543,"significance":"If the central construction is correct, the work supplies a technically consistent BRST-symmetric starting point for non-equilibrium gauge-theory calculations that preserves the symmetry for arbitrary physical initial states. This removes a long-standing obstacle to applying the Schwinger-Keldysh formalism to gauge theories while retaining the full power of BRST cohomology, and it directly yields the symmetry constraints that govern the structure of Open EFTs. The explicit treatment of boundary terms, the Hata-Kugo prescription, and the distinction between retarded and advanced BRST symmetries are concrete advances that can be used in perturbative computations and in the construction of effective actions for systems such as the quark-gluon plasma or early-universe gauge dynamics.","major_comments":[],"minor_comments":[{"comment":"§3 (or the section introducing the Hata-Kugo prescription): the precise definition of the inner product on the indefinite-metric space after the Nakanishi-Lautrup shift should be written explicitly, including the sign conventions for the ghost and antighost sectors, to make the BRST invariance of the initial-state density matrix fully transparent.","section":"§3"},{"comment":"The discussion of the advanced BRST violation (near Eq. (boundary term) or the paragraph following the diagonal symmetry claim) would benefit from an explicit one-line calculation showing how the in-in boundary conditions produce a non-vanishing surface term under the advanced transformation.","section":"advanced BRST section"},{"comment":"In the Open EFT expansion to second order in advanced fields, the statement that the contracted symmetry is 'equivalent to the BRST associated with retarded gauge transformations together with a linearly realized BRST transformation of the advanced fields' should be accompanied by the explicit transformation rules for the advanced fields.","section":"Open EFT section"}],"recommendation":"minor_revision","confidential_remarks":null},"author_rebuttal":{"model":"grok-4.3","summary":"We thank the referee for the detailed and positive summary of our work, the assessment of its significance, and the recommendation of minor revision. No specific major comments were provided in the report, so we have no points to address point-by-point. We will incorporate any minor editorial suggestions in the revised manuscript.","responses":[],"tokens_in":1530,"tokens_out":79,"duration_ms":12500,"standing_objections":[]},"desk_editor":{"model":"grok-4.3","letter":"The main advance is a concrete Schwinger-Keldysh path integral for non-Abelian gauge theories in BRST covariant gauges that stays invariant under the diagonal retarded BRST symmetry for arbitrary physical initial states, whether pure or mixed. They achieve this by using the Hata-Kugo prescription together with the Nakanishi-Lautrup field representation to define BRST-invariant wavefunctionals, density matrices, and the inner product while handling the indefinite metric. Boundary terms at initial and final times are treated explicitly, the advanced BRST symmetry is shown to be broken by the in-in conditions, and the resulting Ward-Takahashi-Slavnov-Taylor identities follow perturbatively. The influence functional obtained by integrating out charged matter or hard modes remains invariant, and the second-order expansion in advanced fields produces a Keldysh BRST symmetry for the Open EFT, which they illustrate with Hard Thermal Loop theory and the spontaneously broken Higgs phase. The non-perturbative Gribov issue is noted separately as expected to modify the symmetry. The construction uses standard BRST and Schwinger-Keldysh ingredients without obvious fitting or circularity in the boundary handling. A minor soft spot is the lack of an explicit check in a simple Abelian or free-field limit that would confirm the boundary terms work without additional adjustments, though nothing in the description indicates a problem. The central invariance claim appears internally consistent. This is for theorists doing real-time non-equilibrium calculations in QCD or gauge theories relevant to heavy ions or cosmology. Readers focused on Open EFTs will find the symmetry structures and example useful. It deserves peer review as a technical contribution that addresses a known gap with a specific, checkable construction.","headline":"This paper constructs a BRST-invariant Schwinger-Keldysh path integral for open non-Abelian gauge theories with generic mixed initial states at finite times.","tokens_in":2488,"tokens_out":409,"would_cite":false,"duration_ms":22680,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":{"model":"grok-4.3","evidence":[],"headline":"Schwinger-Keldysh BRST path-integral construction for gauge theories has no structural overlap with RS forcing chain","alignment":"orthogonal","rationale":"Paper develops standard BRST symmetry preservation under in-in boundary conditions, Hata-Kugo trace, Nakanishi-Lautrup representation, and diagonal retarded BRST for arbitrary initial states in non-Abelian gauge theories. Central objects are the BRST charge Q, gauge-fixing fermions, and Ward-Takahashi-Slavnov-Taylor identities. RS framework (reality_from_one_distinction, J-cost uniqueness via washburn_uniqueness_aczel, AlexanderDuality for D=3, 8-tick periodicity) derives spacetime, φ, and constants from a single distinction with zero adjustable parameters; none of these structures appear. Domain mismatch (hep-th QFT vs. recognition-cost forcing) yields orthogonal classification.","tokens_in":67602,"confidence":"high","tokens_out":198,"duration_ms":9824,"cache_read_input_tokens":38528,"cache_creation_input_tokens":0},"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"grok-4.3","headline":"The Schwinger-Keldysh path integral for non-Abelian gauge theories is manifestly invariant under a diagonal retarded BRST symmetry for arbitrary pure or mixed initial states at finite times.","keywords":["Schwinger-Keldysh formalism","BRST symmetry","non-Abelian gauge theories","path integral","Ward identities","Open EFT","influence functional","finite-time initial states"],"falsifier":"An explicit computation of the path-integral measure or boundary terms for a mixed initial state that produces a non-vanishing variation under the diagonal retarded BRST transformation would falsify the invariance claim.","tokens_in":2747,"feed_emoji":"","tokens_out":925,"duration_ms":32081,"temperature":0.7,"pith_summary":"The paper constructs the Schwinger-Keldysh path-integral formalism for open non-Abelian gauge theories that have been gauge-fixed using the BRST procedure in covariant gauges. It treats generic initial states, both pure and mixed, that are specified at finite times and therefore suitable for non-equilibrium processes. Special care is taken with the indefinite-metric structure of the gauge-fixed Hilbert space, the construction of BRST-invariant Schrödinger-picture wavefunctionals and density matrices, and the Hata-Kugo prescription together with a convenient representation of the Nakanishi-Lautrup field. The resulting path integral is shown to be invariant under a diagonal retarded BRST symmetry, from which perturbative Ward-Takahashi-Slavnov-Taylor identities follow. The same construction yields a BRST-invariant influence functional after charged matter or hard modes are integrated out, and it produces an exact contracted BRST symmetry in the second-order Open EFT expansion.","feed_headline":"Schwinger-Keldysh path integral keeps BRST symmetry for any initial state","feed_subtitle":"The construction works for mixed states at finite times and produces Ward identities for non-equilibrium gauge dynamics.","key_machinery":"The diagonal (retarded) BRST symmetry of the Schwinger-Keldysh path integral, realized through the Hata-Kugo prescription and the Nakanishi-Lautrup field representation that preserves BRST invariance of the initial-state wavefunctionals and density matrices.","core_discovery":"The resulting Schwinger-Keldysh path integral is manifestly invariant under a diagonal (retarded) BRST symmetry for arbitrary physical initial states, whether pure or mixed. From this invariance the corresponding Ward-Takahashi-Slavnov-Taylor identities are obtained and remain valid perturbatively. The naive advanced BRST symmetry is explicitly broken by the in-in boundary conditions, while the Feynman-Vernon influence functional obtained by integrating out charged matter and hard gluon modes stays perturbatively BRST invariant. When the Open EFT action is expanded to second order in advanced fields it exhibits an exact symmetry under a contraction of the original BRST symmetry that is built","pith_inferences":["The same construction may supply a consistent starting point for non-equilibrium transport calculations in hot non-Abelian plasmas.","Non-perturbative modifications arising from the Gribov ambiguity are expected to alter or break the BRST symmetry, suggesting a route to study confinement effects inside the in-in formalism.","The retarded-BRST structure could be tested by deriving the corresponding Slavnov-Taylor identities for a simple Abelian theory and comparing them with known equilibrium results.","The formalism offers a natural language in which to embed gauge-invariant open-system dynamics into holographic or effective-field-theory models of heavy-ion collisions."],"forward_implications":["Perturbative Ward-Takahashi-Slavnov-Taylor identities follow directly from the retarded BRST invariance.","The Feynman-Vernon influence functional remains BRST invariant after integration over charged matter or hard gluon modes.","Expansion of the Open EFT action to second order in advanced fields yields an exact symmetry under a contracted BRST transformation.","The Keldysh BRST symmetry governs the structure of the leading terms in any Open EFT derived from the formalism.","In a Higgs phase where all gauge symmetries are spontaneously broken, a general form of the Open EFT can be written down."],"fun_headline_variants":["Schwinger-Keldysh preserves BRST symmetry in gauge path integrals","BRST holds for any initial state in Schwinger-Keldysh gauge theories","Diagonal BRST invariant Schwinger-Keldysh for open non-Abelian gauges","Schwinger-Keldysh path integral maintains BRST for mixed states","Path integral for gauge theories keeps retarded BRST symmetry"],"cache_read_input_tokens":64,"weakest_assumption_plain":"The Hata-Kugo prescription together with the chosen Nakanishi-Lautrup field representation permits construction of BRST-invariant Schrödinger-picture wavefunctionals and density matrices for generic initial states without violating the indefinite-metric structure of the gauge-fixed Hilbert space.","fun_headline_variants_meta":{"raw":{"variants":["Schwinger-Keldysh preserves BRST symmetry in gauge path integrals","BRST holds for any initial state in Schwinger-Keldysh gauge theories","Diagonal BRST invariant Schwinger-Keldysh for open non-Abelian gauges","Schwinger-Keldysh path integral maintains BRST for mixed states","Path integral for gauge theories keeps retarded BRST symmetry"]},"model":"grok-4.3","cost_usd":0.008237,"raw_usage":{"total_tokens":3742,"prompt_tokens":841,"num_sources_used":0,"completion_tokens":92,"cost_in_usd_ticks":82365500,"prompt_tokens_details":{"text_tokens":841,"audio_tokens":0,"image_tokens":0,"cached_tokens":64},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":2809,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":841,"tokens_out":92,"duration_ms":18034,"temperature":1.0,"reasoning_tokens":2809,"cache_read_input_tokens":64,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-05-25T06:25:35.270966+00:00","model_set":{"reader":"grok-4.3"},"falsifier":"An explicit computation of the path-integral measure or boundary terms for a mixed initial state that produces a non-vanishing variation under the diagonal retarded BRST transformation would falsify the invariance claim.","supporting_citations":[],"review_version":2}