References
[1] Wilson Yang–Mills Construction: Mathematical Translation. Project source document: expanded natural-language extraction prepared for Jeremy Rodgers’s Yang–Mills project with AI assistance and supplied by Jeremy Rodgers. Included unchanged as sources/Full_pre_source_translation.md. OpenAI is credited separately for the underlying Lean work; the supplied materials do not identify an exact upstream repository or release.
[2] J. Rodgers. Shadow Theory and the Wilson Yang–Mills Construction: A Source–Readout Reconstruction. Flagship paper in this shared Zenodo record. doi:10.5281/zenodo.24173681.
[3] J. Rodgers. A Source-to-Readout Architecture for a Theory of Everything: Sector Physics as Coupled Projections from a Common Realization Carrier, v1.0. Zenodo. DOI 10.5281/zenodo.21366204.
[4] K. G. Wilson. Confinement of quarks. Phys. Rev. D 10 (1974), 2445–2459.
Searchable transcription
doi:10.1103/PhysRevD.10.2445.
[5] A. Haar. Der Massbegriffin der Theorie der kontinuierlichen Gruppen. Ann. of Math. (2) 34 (1933), 147–169. doi:10.2307/1968346.
[6] G. C. Wick. The evaluation of the collision matrix. Phys. Rev. 80 (1950), 268–272.
Searchable transcription
doi:10.1103/PhysRev.80.268.
[7] I. Gelfand and M. Neumark. On the imbedding of normed rings into the ring of operators in Hilbert space. Rec. Math. [Mat. Sbornik] N.S. 12(54), no. 2 (1943), 197–217. https://www.mathnet.ru/eng/sm6155.
[8] I. E. Segal. Irreducible representations of operator algebras. Bull. Amer. Math. Soc. 53 (1947), 73–88.
Searchable transcription
doi:10.1090/S0002-9904-1947-08742-5.
[9] M. H. Stone. The generalized Weierstrass approximation theorem. Math. Mag. 21, no. 4 (1948), 167–184; continued, no. 5 (1948), 237–254. doi:10.2307/3029750; doi:10.2307/3029337.
[10] K. Osterwalder and R. Schrader. Axioms for Euclidean Green’s functions. Commun. Math. Phys. 31 (1973), 83–112. doi:10.1007/BF01645738.
[11] K. Osterwalder and R. Schrader. Axioms for Euclidean Green’s functions II. Commun. Math. Phys. 42 (1975), 281–305.
[12] K. Osterwalder and E. Seiler. Gauge field theories on a lattice. Ann. Phys. 110 (1978), 440–471.
[13] J. Fröhlich, R. Israel, E. H. Lieb and B. Simon. Phase transitions and reflection positivity. I. General theory and long range lattice models. Commun. Math. Phys. 62 (1978), 1–34.
[14] J. Glimm and A. Jaffe. Quantum Physics: A Functional Integral Point of View, 2nd ed. Springer, 1987.
[15] R. F. Streater and A. S. Wightman. PCT, Spin and Statistics, and All That. Benjamin, 1964.
[16] T. Bałaban. Renormalization group approach to lattice gauge field theories. I. Generation of effective actions in a small field approximation and a coupling constant renormalization in four dimensions. Commun. Math. Phys. 109 (1987), 249–301.
[17] D. C. Brydges. A short course on cluster expansions. In K. Osterwalder and R. Stora (eds.), Critical Phenomena, Random Systems, Gauge Theories, Part I, Les Houches Session XLIII (1984), North-Holland, Amsterdam, 1986, 129–183. https://www.math.ubc.ca/~db5d/Seminars/les_houches_84.pdf.
[18] E. Seiler. Gauge Theories as a Problem of Constructive Quantum Field Theory and Statistical Mechanics. Lecture Notes in Physics 159, Springer, 1982.
[19] D. J. Gross and F. Wilczek. Ultraviolet behavior of non-abelian gauge theories. Phys. Rev. Lett. 30 (1973), 1343–1346.
[20] H. D. Politzer. Reliable perturbative results for strong interactions? Phys. Rev. Lett. 30 (1973), 1346–1349.
[21] A. Jaffe and E. Witten. Quantum Yang–Mills theory. In J. Carlson, A. Jaffe and A. Wiles (eds.), The Millennium Prize Problems, Clay Mathematics Institute and American Mathematical Society, 2006, 129–152. https://www.claymath.org/wp-content/uploads/2022/06/yangmills.pdf.
Source: A Wilson Yang–Mills Construction: A Natural-Language Mathematical Exposition. Both papers belong to one Zenodo record. No external funding.