Unitarity and Lorentz in variance in QCD for a variety of gauges

A. Andrasi; J. C. Taylor

REVIEW 2 major objections 4 minor 2 references

Unitarity and Lorentz in variance in QCD for a variety of gauges

T0 review · 2 major / 4 minor · reviewed 2026-08-10 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read The paper argues that in a broad class of QCD gauges the BRST-allowed states occupy exactly half of the non-transverse Fock space.

desk verdict Extends KO to non-covariant gauges with useful explicit forms, but the headline 'exactly half' theorem is not actually proved and the abstract overstates its domain. read the letter →

arxiv 2501.10315 v1 pith:QIKM73TU submitted 2025-01-17 hep-th

A. Andrasi , J. C. Taylor This is my paper · ORCID

classification hep-th MSC 81T1381T70

keywords BRSTKOformalismgaugefixingFockspaceunitarityLorentzinvariancenon-covariantgaugesQCD

topics Yang-Mills Mass Gap

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

The paper generalizes the KO formalism, the standard BRST construction of the physical state space in gauge theories, to a wider class of gauge fixings, including non-covariant gauges and a parameter that interpolates toward the Coulomb gauge. Its central new claim is that, once pure transverse states are set aside, the allowed (BRST-invariant) Fock states occupy exactly half of the remaining Fock space. The detailed proof is carried out for the special case $s=0$, where $s$ measures the deviation of the gauge parameters from a particular ratio. This matters because a precise count of the physical subspace is needed to extract unitarity information, such as imaginary parts of Feynman graphs, from sums over intermediate states.

What carries the argument

The central objects are the generalized KO action with gauge parameter $\theta$, auxiliary field $B$, and the derived coupling parameter $s=\alpha^2/\theta^2-1$; the nilpotent BRST charge $Q_0$; and its dual charge $\tilde Q_0$, defined only for $s=0$, with $\{Q_0,\tilde Q_0\}=N$ counting non-transverse creation operators. The identity $\langle F|F\rangle = \langle F_Q|F_{\tilde Q}\rangle + \langle F_{\tilde Q}|F_Q\rangle + \langle F|P_0|F\rangle$ decomposes each Fock state into two zero-norm halves plus a transverse part, and this decomposition is what yields the half-counting.

What would settle it

Evaluate the one-particle non-transverse sector at $s=0$: the four states $a_+^*|0\rangle$, $a_-^*|0\rangle$, $u^*|0\rangle$, $v^*|0\rangle$; the claim predicts exactly two are annihilated by the BRST charge. If the count differs, or if a version of the same count at $s\neq 0$ disagrees with half, the central claim fails.

Watch

Extended reading notes

Core claim

On the paper's own terms, the claim is that the KO formalism, the standard BRST way of identifying physical states as $\mathrm{im}\,Q/\ker Q$, can be extended in four directions at once: a broader class of gauge-fixing terms governed by parameters $\theta$ and $\alpha$, two distinct but canonically equivalent Hamiltonians, a manifestly Lorentz covariant presentation that is not unique, and a Fock-space counting theorem. For the asymptotic fields the key parameter is $s=\alpha^2/\theta^2-1$; several complications appear for $s\neq 0$, and the detailed proof of the counting is restricted to $s=0$. In that case the dual charge $\tilde Q_0$ anticommutes with $Q_0$ and satisfies $\{Q_0,\tilde Q_0\}=N$, and the resulting identity $\langle F|F\rangle = \langle F_Q|F_{\tilde Q}\rangle + \langle F_{\tilde Q}|F_Q\rangle + \langle F|P_0|F\rangle$ is read as showing that exactly half of the non-transverse Fock states are BRST-allowed. The remaining transverse states have positive norm and carry the S-matrix.

Load-bearing premise

The claim that the allowed states make up exactly half of the space depends on treating the norm identity as a counting statement in an infinite-dimensional Fock space, and no such counting argument is given.

Editorial extensions

If this is right

The two Hamiltonians derived from the KO action are related by a canonical transformation, so using either one gives the same physics and the auxiliary $B$ field can be eliminated in the Hamiltonian formalism.
For $s=0$, the non-transverse Fock space splits into two zero-norm halves, so physical S-matrix elements are carried entirely by the positive-norm transverse states.
At $s\neq 0$ the free Hamiltonian is not diagonal and states containing $a_+$ quanta are not eigenstates, which is why the paper restricts the counting proof to $s=0$.
The manifestly Lorentz covariant forms are not unique; the $s$-dependent difference is a gauge transformation, so it leaves $F_{\mu\nu}$ and the S-matrix unchanged.
The KO statement that every allowed state is a transverse state plus a BRST-exact term remains valid in the generalized gauges, as long as the asymptotic charge $Q_0$ has the form given in the paper.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

An implicit consequence of the half-counting is a pairing rule in the $s=0$ Fock space: for every admissible non-transverse mode there is a zero-norm mode that can appear as an intermediate state in a unitarity sum without changing the transverse S-matrix; the paper does not spell out this pairing.
If the half-counting is to be extended to $s\neq 0$, the nondiagonal free Hamiltonian and the explicit time dependence of $a_+$ would require a different decomposition; a testable route is to look for a duality charge analogous to $\tilde Q_0$ in the non-diagonal sector.
The non-uniqueness of the Lorentz covariant forms suggests that local BRST-invariant operators, not the fields themselves, are the frame-independent objects; this could be checked by computing a gauge-invariant observable in two of the paper's covariant forms and comparing.

Share X Bluesky LinkedIn Reddit HN

Formalized claims in Lean

Claim #1: On the paper's own terms, the claim is that the KO formalism, the standard BRST way of identifying physical states as $\mathrm{im}\,Q/\ker Q$, can be extended in four directions at once: a broader class of gauge-fixing terms governed by parameters $\theta$ and $\alpha$, two distinct but canonically equivalent Hamiltonians, a manifestly Lorentz covariant presentation that is not unique, and a Fock-

/-- @claim 1 On the paper's own terms, the claim is that the KO formalism, the standard BRST way of identifying physical states as $\mathrm{im}\,Q/\ker Q$, can be extended in four directions at once: a broader class of gauge-fixing terms governed by parameters $\theta$ and $\alpha$, two distinct but canonically equivalent Hamiltonians, a manifestly Lorentz covariant presentation that is not unique, and a Fock- -/
def central_claim : Prop :=

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

Here's my take. The paper gives a workmanlike generalization of the Kugo-Ojima formalism to a two-parameter gauge family (θ, α) and spells out the two Hamiltonian forms, the explicit asymptotic field expansion (36) which indeed doesn't appear in KO, and a family of manifestly Lorentz-covariant versions. That part is genuinely useful and clearly derived from the Lagrangian; propagators and commutators are consistent. The structural core, though, is the claim that allowed states span exactly half of the non-transverse Fock space. That claim is not established in the paper. Section 7 is explicitly limited to s=0, but the abstract announces the result without that restriction. Within s=0, the authors derive the identity = + + from {Q0, \tilde Q0}=N, and then simply assert that exactly half of the Fock states are allowed. A norm identity is not a dimension count. In an infinite-dimensional space 'half' needs a grading; the natural one is the eigenvalue n of N, and within each n-sector one must show that im Q0 and im \tilde Q0 are complementary, have equal rank, and together fill all but the transverse subspace. None of that is shown. The algebra may well be set up so that a duality argument delivers exactly that, but the written proof skips the load-bearing step. This is the one gap that keeps me from believing the headline. The rest of the paper is mostly standard manipulations, but the explicit forms and the two-Hamiltonian equivalence are worth having. The citation pattern looks fine; the paper flags what is new relative to KO and Weinberg. So: send it to a serious referee, but the referee should ask for a rigorous statement and proof of the half theorem, and the abstract should say 'for s=0' unless the result genuinely extends. I'd bring it to reading group not because the main claim is settled but because the construction is clear and the gap is instructive.

Referee Report

2 major / 4 minor

Summary. The paper generalizes the Kugo–Ojima (KO) state-space formalism to the Lagrangian (5)–(7), which contains parameters α and θ and therefore covers non-covariant gauges as well as the standard covariant case. It derives two equivalent Hamiltonian forms, the free-field expansions and propagators, the BRST charge Q0, and a family of Lorentz-covariant forms of the asymptotic field. Section 7, which is explicitly restricted to s = 0, uses the nilpotent operators Q0 and \tilde Q0 and the identity {Q0, \tilde Q0} = N to decompose Fock states, and concludes that the allowed states span exactly half of the non-transverse Fock space.

Significance. The paper contains useful first-principles derivations: explicit Hamiltonians, free-field expansions, propagators with double poles, and the BRST charge, and it draws attention to complications that arise when s ≠ 0. If the half-space claim were rigorously established, it would be a structurally interesting result for indefinite-metric Fock spaces in gauge theories. However, the central claim is currently supported only by a norm identity, and the missing dimension count is load-bearing. The abstract also states the claim without the s = 0 restriction that is imposed in Section 7. These issues are fixable, so the manuscript warrants major revision rather than rejection.

major comments (2)

[§7, final paragraph; Eqs. (84)–(89)] The conclusion that 'exactly half' of the Fock states are allowed does not follow from Eq. (89). Equation (89) is a norm identity in an indefinite-metric space; zero-norm subspaces can have arbitrary dimension, and the paper gives no definition of 'half' for the infinite-dimensional Fock space. If 'half' is meant with respect to the N-grading of Eq. (82), the needed steps are: in each N = n sector, show that Q0\tilde Q0 V_n and \tilde Q0 Q0 V_n have equal dimension and that their dimensions sum to dim V_n. The duality transformation (79) is the natural tool for such a rank comparison, but it is not used to establish this. The problem is compounded by the fact that the N = n sectors are infinite-dimensional because of unrestricted transverse quanta, so a mode-by-mode or transverse-content-fixed definition of 'half' is required. This missing counting argument is exactly the load-bearing part of the paper's headline claim.
[Abstract and §7, first sentence] The abstract states the 'exactly half' result without qualification, but Section 7 begins by saying that the analysis 'is limited to the special case s = 0'. Since s = α²/θ² − 1 is the parameter responsible for the non-covariant gauge effects and for the time-dependent terms in Eq. (36), the scope of the headline claim is overstated. The abstract should either state the s = 0 restriction explicitly or the proof must be extended to s ≠ 0 before the claim is made without qualification.

minor comments (4)

[Title, p.2, p.8] There are typographical errors that should be corrected: 'Lorentz in variance' in the title as given, 'call ed' in the introduction, and 'inﬁntesimal' in Section 3.
[§5, text after Eq. (66)] After setting θ = 1 at the start of Section 5, the sentence 'The latter three reduce for θ = 0 to the single covariant equation' should presumably say θ = 1, since θ = 0 is the Coulomb limit discussed elsewhere.
[§3, Eq. (32) and following sentence] For θ = 1, the momentum is (P; p) and it is e+ = (1; p/P)/√2 that is parallel to the momentum, not e− as stated in the sentence following Eq. (32).
[§5, Eq. (72)] The displayed transformation for the transverse annihilation operator appears to contain a typo: it should read a'^m_T = a^m_T + ξ^m a_-, not 'ξm am−'.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the paper's derivation is self-contained algebra from a stated Lagrangian; the 'exactly half' gap is a non-sequitur rather than a circular step.

full rationale

I walked the derivation chain. The generalized KO action (5)-(7) defines the inputs; the BRST charge Q0 is obtained from the action in (54)-(57), and the duality charge ~Q0 is defined from the s=0 Hamiltonian (45) as the dual under (79). The claimed half-space result in section 7 is not assumed in these definitions; it is derived via the decomposition (84)-(86) and norm identity (89). If that inference is invalid, it is because 'exactly half' would need a counting or index argument in infinite dimensions, not because the conclusion is secretly an input. The only external references are KO and Weinberg, used as background for the standard BRST quotient and the alpha-gauge propagator; neither supplies a fitted parameter nor forces the half-space claim. No data are fitted, no prediction is a renamed input, and no ansatz is smuggled in by citation. The restriction to s=0 in the proof versus the abstract's unrestricted statement is a scope and rigor issue, which belongs in a correctness pass, not a circularity finding.

Assumptions & free parameters 4 free parameters · 5 assumptions · 0 invented entities

The central claim rests on the gauge parameters α, θ (and the derived parameter s), the assumed free field expansion, and the algebraic decomposition in section 7. No new physical entities are introduced; the auxiliary B field and ghosts are standard KO ingredients.

free parameters (4)

theta (θ) = gauge parameter, no fitted value
Introduces non-covariant gauge family; the Hamiltonian and field expansion depend on θ; final Fock space proof is restricted to s=0.
alpha (α) = gauge parameter, no fitted value
Gauge-fixing parameter in the action; together with θ defines s = α²/θ² - 1.
s = α²/θ² - 1 = set to 0 for the Fock space theorem
The key parameter; the paper states 'Problems arise unless s = 0' and section 7 is limited to the special case s=0, yet the abstract omits this restriction.
y, ym, y' = arbitrary parameters
Appear in the Lorentz-covariant form (64) and (65) to demonstrate non-uniqueness; they are not fitted and do not affect the physical claims, but they parameterize the field expansion.

assumptions (5)

domain assumption Standard BRST quantization: existence of a nilpotent Q and physical states defined by the Kugo-Ojima condition
Used throughout, introduced in section 1 following KO.
domain assumption Free asymptotic field expansion (36) satisfies the field equations and commutation relations
Stated in section 3 as 'It can be verified', but not proven in detail; the expansion is central to the subsequent Q0 and Fock space analysis.
domain assumption The duality transformation (79) and the algebraic identity {Q0, Q~0}=N
Section 7 assumes this dual charge exists and computes the anticommutator; the exact half statement follows only if this algebra is correct.
ad hoc to paper The decomposition (84) of any Fock state into |FQ> + |F~Q> + P0|F> and the inference that this yields 'exactly half'
The norm identity (89) does not by itself imply a dimension count; the leap to 'exactly half' is asserted without a rigorous counting or index argument.
domain assumption Infinite-dimensional Fock space allows a notion of 'half the states'
The paper never defines the measure or grading with respect to which half the states are allowed; cardinality is not meaningful without such a definition.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Unitarity and Lorentz in variance in QCD for a variety of gauges." pith.science (2026). https://pith.science/paper/QIKM73TU

@misc{pith2026250110315,
  author       = {Pith},
  title        = {Pith review of: Unitarity and Lorentz in variance in QCD for a variety of gauges},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/QIKM73TU}},
  note         = {Machine review of arXiv:2501.10315}
}

read the original abstract

We generalise the Kugo and Ojima formalism henceforth called KO) for the structure of state space in gauge theories, in four respects:- (i) We allow for a more general class of gauge-fixing including non-covariant cases. (ii) We display the two possible Hamiltonians allowed by the KO action. (iii) We give manifestly Lorentz invariant forms of KO, showing that they are not unique. (iv) We analyse the structure of Fock space, proving that the allowed states span exactly half of it (leaving aside pure transverse states).

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

2 extracted references · 2 canonical work pages

[1]

Kugo and I

T.. Kugo and I. Ojima. Progress of Theoretical Physics, Vol.60 No .6, Vol.16 No.1, Vol.61 No.2. (1979)

work page 1979
[2]

Weinberg, Quantum Theory of Fields (Volume 2), CUP (1996) 13

S. Weinberg, Quantum Theory of Fields (Volume 2), CUP (1996) 13

work page 1996

Pith tools

Reviewed August 10, 2026 · model on record in the stance chip above.

[1] [1]

Kugo and I

T.. Kugo and I. Ojima. Progress of Theoretical Physics, Vol.60 No .6, Vol.16 No.1, Vol.61 No.2. (1979)

work page 1979

[2] [2]

Weinberg, Quantum Theory of Fields (Volume 2), CUP (1996) 13

S. Weinberg, Quantum Theory of Fields (Volume 2), CUP (1996) 13

work page 1996