Pith. Sign in

REVIEW

On the Schroedinger functional in QCD

High Energy Physics - Lattice · Submitted 20 Dec 1993

Pith's verdict: The paper that puts Wilson fermions into Lüscher's Schrödinger functional, and the derivation holds up; the soft spots are small and mostly acknowledged.

T0 · AI review

How this review was made: An AI referee (selfhosted/deepseek-v4.1-flash) read the paper on November 11, 2026 and answered a fixed list of questions about it. T0 is the starting level every paper gets. The levels describe how deeply Pith has checked the paper, never the authors.

  1. T0 AI review An AI read the paper and answered a fixed list of questions.
  2. T1 Audit Automatic checks that the references and files the paper relies on exist and match.
  3. T2 Compute The paper's code or calculations re-run with the same results.
  4. T3 Formal statement The claims written out in a formal math language a computer can read.
  5. T4 Proof Those claims proved, and the proof checked by computer.

How Pith checks papers →

· 1 major objection · 5 minor · Ask about this paper · The compiled record · Read the full review →
Challenge this review Comment (0) Read on arXiv ↗
Cite ▾
arXiv IDhep-lat/9312079 (version 1)
Pith IDNOSKCPGT, Pith's permanent record of this paper and its review
CitationStefan Sint. "On the Schroedinger functional in QCD." arXiv:hep-lat/9312079 (1993). https://pith.science/paper/NOSKCPGT
Cite this reviewBibTeX for Pith's review of this paper
Claim paper

Why Pith says this

Highlight any text to comment on it.

Referee report
The paper

The paper claims

The Schrödinger functional — a QCD state prepared on one time slice and read off on another — can be defined with quarks, provided only half of each quark spinor is pinned at each boundary.

The reading

Lüscher and collaborators had shown that the Schrödinger functional, the amplitude for a gauge field to evolve from one prescribed configuration to another over a fixed euclidean time, gives a clean, non-perturbative definition of a running coupling in pure SU(2) and SU(3) gauge theory. Adding quarks is not straightforward: the Dirac equation is first order, so one may fix only half of the spinor components on a boundary, and it is not obvious which half, or whether the resulting lattice action leaves artifacts behind. Sint answers both questions by building the functional from the transfer matrix of Wilson lattice QCD rather than guessing at boundary conditions. The boundary conditions then fall out of the Grassmann integral kernel, and the naive continuum limit produces an action whose boundary terms are shown to be the only ones compatible with smooth classical solutions and parity. If the construction holds, the same small-volume strategy used to extract the running gauge coupling without quarks can be carried over to real QCD, including at light or zero quark mass, because the boundaries themselves supply a minimum frequency and keep the Dirac operator away from zero.

What carries the argument

The transfer matrix of Wilson lattice QCD, converted into an integral operator on Grassmann coherent states. The coherent-state representation turns each factor of the transfer matrix into an explicit kernel $exp(-S[U,V,U'])$ times a bilinear quark exponential, and iterating it $N$ times with inserted completeness relations produces the path integral. The two-spinor decomposition with projectors $P_pm$ is what makes the boundary conditions visible: the kernel can only depend on the crossed Grassmann variables, so exactly half of each spinor appears at each time slice. The second piece of machinery is the variational argument of section 5, which asks that the classical action admit smooth stationary points and be parity invariant; solving the resulting conditions on the boundary matrices $R_0$ and $R_T$ leaves only terms proportional to $P_- gamma_0$ and $P_+ gamma_0$, matching the action derived from the lattice.

Extended reading notes

Core claim

The paper establishes that the Schrödinger functional of pure gauge theory extends to lattice QCD with Wilson fermions, and that the extension is fixed rather than chosen. Starting from Lüscher's transfer matrix for Wilson fermions and representing it as an integral operator on a Grassmann algebra via coherent states, Sint obtains the kernel of the $N$-th power of the transfer matrix as a path integral over euclidean gauge and quark fields. The kernel depends on the Grassmann variables only through the combinations selected by the projectors $P_+ = (1+gamma_0)/2$ and $P_- = (1-gamma_0)/2$: at $x_0=0$ the plus components of the quark field and the minus components of the antiquark field are fixed, and at $x_0=T$ the opposite halves are fixed. Taking $a to 0$ yields the continuum action with explicit boundary terms, and a variational argument shows that these terms are exactly the ones required for the action to possess smooth stationary points while remaining parity invariant, so they are not lattice remnants. Finally, the free Dirac operator built from this action, viewed as an elliptic two-term boundary value problem on $H_+ oplus H_-$, is essentially self-adjoint with a purely discrete spectrum $p_0^2 + p^2 + m^2$, a lowest massless eigenvalue $(pi/2T)^2$, and no zero modes for any finite mass.

Load-bearing premise

The claim that the continuum boundary terms are physical rather than lattice artifacts rests on requiring the classical action to have smooth stationary points and to be parity invariant, and parity is what excludes the leftover boundary matrices that anticommute with $gamma_0$.

Editorial extensions

If this is right

  • The running coupling of QCD can be computed in small volumes with the same boundary-field technique already used successfully in the pure SU(3) theory, with quark boundary values as an additional dial.
  • Because the boundaries induce a minimum frequency $(pi/2T)^2$ in the massless case, simulations at light or vanishing quark mass become feasible in small volumes, where the condition number of the lattice Dirac matrix would otherwise blow up.
  • Setting the quark boundary fields to zero is consistent with renormalizability, since the two allowed boundary counterterms $\bar\psi\psi$ and $\bar\psi\gamma_0\psi$ then vanish, leaving boundary effects that are suppressed by a power of the lattice spacing.
  • The free propagator is well defined as $D^{-1} = D^\dagger (DD^\dagger)^{-1}$ for all masses, so a perturbative expansion of the QCD Schrödinger functional has a sound starting point.
  • The construction supplies a criterion for choosing the gauge background: it must make gauge configurations that produce Dirac zero modes extremely unlikely.

Reading between the lines

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

  • The argument that the continuum boundary terms are not artifacts is a uniqueness argument conditional on parity, not a proof that the regulated lattice theory preserves parity at the boundary; an explicit one-loop check, which the author states is in progress, is the natural place for this to be settled.
  • If the boundary conditions really do control the low end of the Dirac spectrum, the same mechanism could be used as a spectroscopic tool: the gap $(pi/2T)^2$ is a boundary-induced infrared cutoff whose value is known exactly, so deviations from it in interacting configurations measure how the gauge field distorts the would-be zero-mode sector.
  • The requirement that smooth stationary points exist is doing real work; in a theory where the classical boundary value problem fails to have smooth solutions, the same lattice derivation would produce boundary terms that no continuum variational principle selects, which suggests the criterion is worth testing in other fermionic boundary constructions.
Original abstract

In a series of publications [\ref{LNWW},\ref{Schroedinger}], L\"uscher et al. have demonstrated the usefulness of the Schr\"odinger functional in pure SU(2) and SU(3) gauge theory. In this paper, it is shown how their formalism can be extended to include fermions. In the framework of Wilson's lattice QCD, we define the Schr\"odinger functional by making use of the transfer matrix formalism. Boundary conditions for the fermions arise naturally. We then take the naive continuum limit of the action and show that no lattice peculiarities are left over. The corresponding free Dirac operator has a unique self-adjoint extension with purely discrete spectrum and no zero modes.

The compiled record

The paper's own sentences, arranged, kept beside the review and separate from it. Each label is drawn from a closed vocabulary; the number beside it is the probability the classifier gave that label. Numbers in the tables are the authors', checked by code. No sentence in this record was written by a model.

Compiled by classifier-1.13-20260917 via OpenRouter, question bank abstract-p1-20260923, 2026-09-23: 1 request, 4,837 input tokens, $0.0002 reported.

What the abstract itself states, as probabilities: claims first 0.06 · states limitation 0.12 · human participants 0.01 · controlled comparison 0.02 · randomized assignment 0.01 · states quantitative result 0.06 · compares with prior results 0.57 · mentions code or data availability 0.02.

The abstract, sentence by sentence

arXiv listing abstract v1. Results and the main claim are underlined; .

In a series of publications [\ref{LNWW},\ref{Schroedinger}], L\"uscher et al. have demonstrated the usefulness of the Schr\"odinger functional in pure SU(2) and SU(3) gauge theory. In this paper, it is shown how their formalism can be extended to include fermions. In the framework of Wilson's lattice QCD, we define the Schr\"odinger functional by making use of the transfer matrix formalism. Boundary conditions for the fermions arise naturally. We then take the naive continuum limit of the action and show that no lattice peculiarities are left over. The corresponding free Dirac operator has a unique self-adjoint extension with purely discrete spectrum and no zero modes.

background contribution method result interpretation main claim

What the classifier reports for each sentence. The number is the probability it gave the label.
#sentencerolethe authors' own workstates the main conclusionstrength
s0 In a series of publications [\ref{LNWW},\ref{Schroedinger}], L\"uscher et al. have demonstrated the usefulness of the Schr\"odinger functional in pure SU(2) and SU(3) gauge theory. background 1.00 0.04 0.04 asserted 1.00
s1 In this paper, it is shown how their formalism can be extended to include fermions. contribution 0.99 0.89 0.49 asserted 1.00
s2 In the framework of Wilson's lattice QCD, we define the Schr\"odinger functional by making use of the transfer matrix formalism. method 0.92 0.93 0.07 asserted 1.00
s3 Boundary conditions for the fermions arise naturally. result 0.53 0.70 0.05 asserted 1.00
s4 We then take the naive continuum limit of the action and show that no lattice peculiarities are left over. result 0.63 0.94 0.14 asserted 1.00
s5 The corresponding free Dirac operator has a unique self-adjoint extension with purely discrete spectrum and no zero modes. result 1.00 0.86 0.16 asserted 1.00

What kind of paper the classifier reports this is: theoretical result 0.65 · evidence from proof or derivation 1.00.

What was examined, and what was not

sources read
  • arXiv listing abstract v1
not examined
  • full text
  • figures and tables
  • references and citing sentences
  • relations to other papers
levels run
  • P abstract
not run
  • S sections
  • T body sentences
  • C citations
  • R cross-paper relations

Every quoted sentence on this record is the authors'. Every label is from Pith's closed vocabulary, with the probability shown beside it. Every number in the measurements table is the authors', checked by code. Record as JSON

References
How the literature uses it

52 arXiv papers cite this in 71 sentences

Each citing sentence is taken from the citing paper's LaTeX source and typed by Pith's classifier. A label appears at probability 0.8 or more (0.95 for support), a contest at 0.7 or more; the quoted words are the citing authors'. How each label was checked · JSON

Papers citing it · 30 sentences without a confident label

Uses its method or tool 27 papers
Compares with it 1 paper
Cites it as background 9 papers

Discussion

Disagree with the review, or know something it missed? Leave a comment, highlight any passage above to comment on it, or challenge this review formally.