How statement and proof provenance work
The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.
- Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
- AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
- AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.
These labels describe origin, not correctness: citations and verification chips remain separate evidence.
Finite quartic graph and superficial scaling conventions — Examples
1 · Prerequisites
- Absolute and Conditional Convergence; Rearrangement; Products
- Approximation and Compactness in C(K)
- Areas of Elementary Plane Figures
- Binary Operations, Monoids, Groups and Subgroups
- Compactness
- Compactness in Metric Spaces
- Completeness, Completion, and Uniform Continuity
- Construction of the Natural Numbers
- Construction of the Real Numbers via Cauchy Sequences
- Construction of the Real Numbers via Dedekind Cuts
- Continuity, IVT, EVT, and Uniform Continuity
- Cosets, Index and Lagrange's Theorem
- Countability and Uncountability
- Countability Axioms and Cardinal Functions
- Darboux, L'Hôpital, and Taylor's Theorem
- Density Separability and Convolution in Lᵖ
- Determinants of Matrices over a Commutative Ring
- Distributions Test Functions and Differentiation
- Divisibility, Euclidean Domains, Principal Ideal Domains and Unique Factorisation
- Dual Spaces, Bilinear and Quadratic Forms, and Sylvester's Law of Inertia
- Eulerian and Hamiltonian Graphs
- Filters and Ultrafilters
- Finite Counting, Factorials and Binomial Coefficients
- Finite Probability and the Probabilistic Method
- Finite quartic graph and superficial scaling conventions
- Foundations of the Real Numbers for Analysis
- Fubini and Change of Variables
- Fundamental Trigonometric Identities
- Gaussian Elimination, Elementary Matrices and Reduced Row Echelon Form
- Graphs, Walks and Connectivity
- Group Actions, Orbits, Stabilisers and Cayley's Theorem
- Ideals, Quotient Rings and the Isomorphism Theorems for Rings
- Improper and Parameter-Dependent Multiple Integrals
- Improper Integrals
- Inner Product Spaces, Gram-Schmidt, Projections and Adjoints
- Lebesgue Measure on Euclidean Space
- Limits of Real Functions
- limsup, liminf, and Subsequential Limits
- Linear Independence, Bases and Dimension
- Linear Transformations, Rank-Nullity and Quotient Spaces
- Matrices, the Matrix of a Linear Map, and Change of Basis
- Measurable Functions and Simple Approximation
- Measures and Their Basic Properties
- Metric Spaces
- Mixed Partials, Taylor Formulae, and Extrema
- Monotone Functions, Discontinuities, and Continuity Sets
- Monotone Sequences, Bolzano-Weierstrass, and Cauchy Completeness
- Normal Subgroups and Quotient Groups
- Order, Zorn's Lemma, and the Axiom of Choice
- Outer Measure and the Caratheodory Extension Theorem
- Polynomial Rings, the Division Algorithm and Roots
- Power Series and Real-Analytic Functions
- Product Measures and the Fubini Tonelli Theorems
- Properties of the Integral and the Working FTC
- Relations, Functions, and Quotients
- Rings, Subrings, Integral Domains and Fields
- Rⁿ as a Normed Space; Vector-Valued Functions
- Roots, Rational Powers, and Classical Inequalities
- Scaling degree and local extension space
- Schwartz Space and the Plancherel Theorem
- Separation Axioms: the Hierarchy
- Sequences and Limits
- Sequences and Series of Functions; Uniform Convergence
- Series: Convergence and the Nonnegative Tests
- Sigma Algebras and Borel Sets
- Simple Field Extensions and the Construction of the Complex Numbers
- Sine, Cosine, and the Definition of Pi
- Subspaces, Products, and Quotients
- Suprema and Infima
- Symmetric Groups, Cycle Decomposition and the Sign Homomorphism
- The Cantor Set, Baire Category, and Measure Zero in ℝ
- The Derivative and the Mean Value Theorems
- The Exponential Function
- The Inverse and Implicit Function Theorems
- The Lebesgue Integral and the Convergence Theorems
- The Logarithm and General Powers
- The Lᵖ Spaces Holder Minkowski and Riesz Fischer
- The Maximal Function and Lebesgue Differentiation
- The Riemann Integral in Rᵐ and Jordan Content
- The Riemann Integral: Definition and Integrability
- The Topology of Euclidean Space
- The Total Derivative in ℝᵐ → ℝⁿ
- The ZFC Axioms and the Basic Set Constructions
- Topological Spaces and Continuity
- Topology of ℝ
- Triangularisation, Generalised Eigenspaces and Jordan Canonical Form
- Vector Spaces, Linear Subspaces, Span and Direct Sums
2 · Summary
The example counts a connected two-vertex, four-point, one-loop quartic graph and obtains logarithmic superficial degree. It separately records a Euclidean distribution-extension scale identity, conditional on the current QFT-IR04 statement and its Axiom-of-Choice hypothesis. The two calculations are not identified with a renormalized graph amplitude, and neither establishes convergence or divergence of an actual loop integral.
3 · Logical flowchart
4 · Definitions, postulates, theorems and proofs
None yet.
5 · Examples, experiments and counterexamples
A four-point quartic one-loop graph has logarithmic superficial degree
Example
In Euclidean momentum dimension , take the connected graph with two quartic vertices joined by two internal edges and with two external half-edges at each vertex. Its counts are , , , and . Its superficial degree is therefore zero, so it has logarithmic superficial degree under the stated power-counting convention.
Separately, on punctured Euclidean let and . For any equal to one near , and every , define for . Conditional on the current QFT-IR04 proposition Exact four-dimensional Euclidean logarithmic scale anomaly with its explicit Axiom-of-Choice hypothesis, this family has the exact logarithmic scale-change identity stated below and no same-degree homogeneous extension. This is a separate Euclidean distribution-extension calculation; it is not identified with the integrated amplitude of the graph. The graph count alone does not establish convergence or divergence of an actual loop integral.
Facts & Assumptions
Given: The graph described above, the Euclidean dimension , and the Axiom of Choice for the separate distribution-extension calculation.
Quartic graph superficial degree from exact counting: for a finite connected quartic graph, ; in this is , and zero is logarithmic superficial degree only.
The Axiom of Choice: every family of nonempty sets has a choice function; assume AC as required by the separate scale-anomaly supplier.
Exact four-dimensional Euclidean logarithmic scale anomaly: under AC, for on punctured Euclidean and any smooth compactly supported near , the displayed extends , has scaling degree , and ; no same-degree extension is exactly homogeneous. The current supplier carrier is draft and has not received independent acceptance, so this result is used conditionally at its actual statement and proof status.
Verification
Given: [F1], the Axiom of Choice [A1], and the exact conditional supplier statement [L1].
Each of the two vertices has two incidences from the internal edges and two external half-edges, so it has four slots. Thus the graph is in the finite connected quartic class, with , , and . Its loop count is .
Apply [F1]: , equivalently . By the stated convention this is logarithmic superficial degree; it supplies no conclusion about convergence or divergence of a graph integral.
The kernel and cutoff in the separate calculation are exactly those in [L1], and [A1] supplies its stated AC hypothesis. Instantiating [L1] gives for all and excludes a same-degree homogeneous extension, conditional on that draft supplier. At the boundary , both sides of the scale-change identity are zero. No step identifies this distributional extension with the graph's amplitude.