Ultraviolet stability through constructive renormalization

Exact source · explicit scope

The records below distinguish what the authors state, what this site examined, and what remains unestablished. Reading a source does not certify its proof.

Conditional ultraviolet stability along a small-coupling trajectory

conditional theorem · direct ingredient

Conditional on that running-coupling hypothesis, effective densities have the form and satisfy the conditions and bounds specified in [III] section 2. Part II then states ultraviolet-stability bounds (0.1), with constants independent of renormalization step, torus and background field as specified immediately after the displayed bound.

Model

Four-dimensional Euclidean pure gauge lattice setting; Compact semisimple matrix Lie group G contained in U(N), as defined in [I] pp251-252; do not replace with only SU(2); None

Geometry and regulator

Finite periodic torus with regularly refined lattices, from [I] introduction; no infinite-volume QFT is reconstructed here; Lattice spacing epsilon in the discrete refining sequence of [I], successive block/coarse-lattice transformations; [III] procedure stops at the unit lattice. Periodic identifications on the finite torus, as in [I].

Normalization

Wilson plaquette action with normalized trace tr(1)=1, [I] Eq.(0.2); [III] initial density has inverse bare-coupling-squared Wilson weight and vacuum-energy normalization E

Assumptions

• The entire sequence of effective coupling constants remains in (0,gamma] with gamma sufficiently small (Part II Theorem 1).
• The effective-density representation and conditions are the full package of [III] section 2, not merely a generic small-coupling slogan.
• The associated geometric, regularity, analyticity and constant restrictions inherited from [I] and [III] remain part of the statement.

Exact source

• Printed page 355/PDF page 1: Theorem 1 and following qualification
  CMP 122 (1989), 355-392; DOI 10.1007/BF01238433
• Printed pages 355-356: inequality (0.1) and stated independence of constants
  CMP 122 (1989), 355-392; DOI 10.1007/BF01238433
• Printed page 392/PDF page 38: concluding representation (1.104) discussion and references
  CMP 122 (1989), 355-392; DOI 10.1007/BF01238433
• Introduction, printed pp251-252: torus, lattice scales, compact semisimple matrix group and Wilson action (0.2)
  CMP 109 (1987), 249-301; published-article scan
• Printed p259: Theorems 1 and 2; p260 opening qualification
  CMP 109 (1987), 249-301; published-article scan
• Introduction pp243-245: Wilson initial density, E normalization, RT iteration to unit lattice
  CMP 119 (1988), 243-285; published-article scan
• Section 2 pp254-264, especially density (2.18), effective action (2.23), localized terms (2.25)-(2.42), Theorems 1-2 and Corollary 3 (2.50)
  CMP 119 (1988), 243-285; published-article scan

Publication

published; source date 1989 (year).

published; source date 1987 (year).

published; source date 1988 (year).

What remains

• Part II page 355 explicitly retains the coupling assumption: the proposed removal relies on the second-order perturbative result called Theorem 2 in [I], whose proof the article says had not yet been published. This review does not assert that the proof remains unpublished today; that later-history question was not resolved.
• No claim of full-proof review, reconstruction of a nontrivial continuum QFT, infinite-volume control of all physical observables, or physical Hamiltonian mass gap.
• The full [I] and [III] proofs, [II] cluster-expansion proof and [IV] first R-operation paper were not audited. Background-field/propagator/cluster-expansion dependencies in earlier references remain unread here.
• No assertion is made that all effective couplings stay small for a prescribed continuum tuning; the cited theorem assumes this.
• Equations have poor OCR. Exact stability-bound formulas were not retypeset from OCR. Identified objects, assumptions and locators are supported by readable text; no claimed pixel verification for these scans.
• Canonical source identity is the journal article/DOI; the readable scan is third-party hosted and is not redistributed.

Limits and uniformity

• lattice refinement and renormalization steps: Successive T followed by R transformations of the effective densities, through the stated multiscale construction. Fixed: Wilson-action convention and geometric setup of [I]; all effective couplings assumed in (0,gamma] for sufficiently small gamma; complete density conditions and bounds of [III] section 2. Part II inequality (0.1) states constants independent of renormalization step, torus and background field under its assumptions; this is not a physical infinite-volume mass-gap bound. [III] stops at unit lattice. A reconstructed continuum theory and its physical spectrum are not supplied by this statement.

Proof-obligation relation

• UV — conditional: Controls the specified multiscale effective-density estimates only under the all-scale small-coupling hypothesis. Regulator removal with physical reconstruction and an infrared spectral gap are further questions.

Author claim

A scoped conditional theorem in the model above; no full four-dimensional solution is asserted by this record.

Technical assessment

selected sections; latest recorded action scope checked on 2026-10-24. No independent proof verification is recorded.

Community acceptance

No consensus assessment is inferred from publication or this site’s reading. External assessments, if documented, are separate records.

Clay recognition

These are partial-result records, not prize-recognition claims. See the separately sourced problem status.

Assessment history and unresolved checks

2026-10-24: scope checked

selected sections · Codex follow-up inspection of the published Part II scan and selected [I]/[III] support passages; prior abstract/access assessments retained.

Examined: Printed page 355/PDF page 1: Theorem 1 and following qualification; Printed pages 355-356: inequality (0.1) and stated independence of constants; Printed page 392/PDF page 38: concluding representation (1.104) discussion and references; Introduction, printed pp251-252: torus, lattice scales, compact semisimple matrix group and Wilson action (0.2); Printed p259: Theorems 1 and 2; p260 opening qualification; Introduction pp243-245: Wilson initial density, E normalization, RT iteration to unit lattice; Section 2 pp254-264, especially density (2.18), effective action (2.23), localized terms (2.25)-(2.42), Theorems 1-2 and Corollary 3 (2.50).

Conditional on that running-coupling hypothesis, effective densities have the form and satisfy the conditions and bounds specified in [III] section 2. Part II then states ultraviolet-stability bounds (0.1), with constants independent of renormalization step, torus and background field as specified immediately after the displayed bound. Part II page 355 explicitly retains the coupling assumption: the proposed removal relies on the second-order perturbative result called Theorem 2 in [I], whose proof the article says had not yet been published. This review does not assert that the proof remains unpublished today; that later-history question was not resolved.

• No claim of full-proof review, reconstruction of a nontrivial continuum QFT, infinite-volume control of all physical observables, or physical Hamiltonian mass gap.
• The full [I] and [III] proofs, [II] cluster-expansion proof and [IV] first R-operation paper were not audited. Background-field/propagator/cluster-expansion dependencies in earlier references remain unread here.
• No assertion is made that all effective couplings stay small for a prescribed continuum tuning; the cited theorem assumes this.
• Equations have poor OCR. Exact stability-bound formulas were not retypeset from OCR. Identified objects, assumptions and locators are supported by readable text; no claimed pixel verification for these scans.
• Canonical source identity is the journal article/DOI; the readable scan is third-party hosted and is not redistributed.
• Web PDF text was readable; local scan download returned HTTP 403, so no local checksum or pixel-inspection pass is asserted.

2026-10-24: scope checked

abstract · Codex editorial source inspection; inherited and current actions remain distinct.

Examined: Publisher abstract referring to Theorem 1; bibliographic record.

Author abstract says bounds for the R operation complete the stated four-dimensional pure-gauge ultraviolet stability result.

• Theorem 1 group, regulator, finite-volume and coupling hypotheses were not obtained. Do not publish a detailed theorem digest from this abstract. UV stability is not the full continuum existence-and-gap conclusion.
• No independent proof certification or numerical simulation reproduction.

2026-10-23: scope checked

abstract · Inherited webmaster-kit planning inspection; not a new reading on import.

Examined: Publisher abstract (refers to Theorem 1); Bibliographic record.

Publisher abstract says that bounds for the R operation complete the ultraviolet-stability proof formulated in Theorem 1 for four-dimensional pure gauge field theories.

• Exact group, lattice, finite-volume, and coupling assumptions must be recovered from Theorem 1 before a more detailed claim is published. No full continuum construction or physical mass-gap theorem is asserted by this record.
• No independent expert proof verification or computational reproduction is recorded.

Unresolved checks

• A deeper proof course would need [II], [IV], earlier technical dependencies and later history of the deferred coupling calculation. No conclusion here depends on declaring that calculation unpublished today.

Editorial history

2026-10-24 · scope correction

Separated provenance and claim type for Ultraviolet stability in the stated four-dimensional lattice construction.

Replace the inherited undifferentiated “source scope checked” badge with the actual recorded read depth and explicit limitations. Midnight UTC is a date-only editorial convention, not a source publication time.

Previous statement: “Source scope checked, 22 October 2026 (inherited undifferentiated label).”

2026-10-24 · scope correction

Recovered Bałaban’s exact conditional theorem and supporting model setup.

The readable published scan explicitly assumes all effective couplings stay in (0,gamma], gamma sufficiently small. It describes the argument proposed to remove that assumption as not yet published at the time. The record now classifies the result as a conditional theorem, without asserting its later publication history or a physical mass gap.

Previous statement: “The publisher abstract reports that bounds for the R operation complete the paper’s stated four-dimensional pure-gauge ultraviolet-stability result. Theorem 1 was not accessible in this review.”

2026-10-22 · new result

Inherited dossier: Ultraviolet stability through constructive renormalization.

Original editorial snapshot, retained during migration. This is not the date the source result first appeared.

Download public records (JSON) · Source versions (BibTeX) · Compare in the atlas

The result in context

Bałaban’s Large field renormalization II, Theorem 1 on printed page 355, assumes that every effective coupling remains in $(0,\gamma]$, with $\gamma$ sufficiently small. Under this assumption, the effective densities have the form and satisfy the conditions and bounds of §2 of the earlier Convergent renormalization expansions for lattice gauge theories. Part II then states the ultraviolet-stability bound (0.1), with the parameter independence described immediately after it. Published article record · readable scan, pages 355–356.

The supporting setup is a finite periodic lattice torus, with compact semisimple matrix gauge group $G\subset U(N)$, a Wilson plaquette action using normalized trace $\operatorname{tr}(1)=1$, and successive coarse-graining transformations. The density package includes regular, renormalization-operation and boundary contributions with specified locality, analyticity, gauge invariance and bounds. It is not a statement about an already reconstructed physical spectrum. The exact supporting versions and passage locations are in the records above.

The all-scale condition is stronger than choosing a small bare coupling. The paragraph after Theorem 1 explicitly retains it: the proposed argument for removing it depended on a running-coupling calculation whose proof the article said was not yet published at that time. The separately stated running-coupling result in [I] concerns $SU(2)$; it cannot silently remove the hypothesis for the broader group setup. This review does not establish the later publication history of that calculation.

The useful claim is therefore about control of the ultraviolet problem. It should not be enlarged into a statement that all continuum correlation functions, a physical Hilbert space, and an infinite-volume spectral gap have already been constructed.

Why stability is a serious achievement

A finite lattice replaces a field by finitely many group-valued variables. The integral exists, but the number of variables increases without bound as the lattice spacing decreases. Merely writing a convergent integral at every cutoff says little about the limiting theory.

For a simpler illustration, let $X_a$ be a random variable whose variance grows as $a^{-1}$. Each $X_a$ may have a perfectly normalized Gaussian density, while the unscaled family fails to approach a finite random variable. Normalization alone is not a useful compactness estimate. A field theory needs control over its relevant observables at increasingly fine resolution.

Renormalization organizes this problem by scale. One integrates shorter-distance fluctuations and describes their effect on the variables that remain. The effective action changes; a proof must track that change and control the errors repeatedly. A bound that is harmless for one step can become useless after many steps.

The distinction between small and large fields is especially important. A Taylor expansion near a smooth background cannot control every configuration in the integral. Large fluctuations cannot simply be dropped because they are inconvenient: their cumulative contribution must be bounded. This explains the conceptual role of a large-field analysis without replacing the paper’s technical construction by a slogan.

A scale calculation to keep in mind

Suppose a schematic multiscale argument produces errors $\epsilon_j$ at successive scales. If its normalized factors satisfy

$$|\log Z_{j+1}-\log Z_j-c_j|\leq \epsilon_j,$$

then a useful limiting argument needs appropriate control of

$$\sum_{j=0}^{J}\epsilon_j$$

as the number of scales $J$ increases. The subtraction $c_j$ represents a schematic normalization; this is an explanatory model, not Bałaban’s theorem.

Two questions are different: whether those ultraviolet errors remain controlled, and whether the limiting correlations decay at large physical separation. A single estimate does not automatically answer both.

Where this sits in the proof map

Outcome	Contribution and boundary
Ultraviolet control	Conditional effective-density bounds under the cited all-scale coupling and representation hypotheses
Continuum observables	Further estimates and identification are needed
Physical reconstruction	Must be established for the resulting limiting objects
Infinite-volume gap	Not supplied by ultraviolet stability alone
All required gauge groups	Do not infer a universal claim from a shortened summary

The official problem discussion, section 6.5, places this line of work within the larger construction problem.

How to enter the literature

Begin with the continuum-limit lesson and the bridge on uniform estimates. Then identify the exact quantity bounded in the primary paper before studying the machinery producing the bound.

Keep a list of parameters beside every estimate: cutoff, physical volume, coupling, and scale index. Ask which constants are independent of which parameters. This habit is more informative than recognizing the words “renormalization” and “stability.”

A useful research-reading exercise is to compare a partition-function estimate with a bound on a connected two-point function. What extra input would turn one into the other? A candidate answer must specify observables, normalization, and the estimates that survive both limiting procedures.

Continue: Proof map · Research atlas · A rigorous lattice area law