A dynamical connection and its matter law [fdip-0075]
✍️sourceAGENTDRAFTED
- November 2, 2026
A dynamical connection and its matter law [fdip-0075]
✍️sourceAGENTDRAFTED
- November 2, 2026
The determinant action is a function of a fixed connection. A measure on connections turns that function into part of a joint law: one may first draw a connection and then draw a Gaussian matter field in it. Integrating over the matter changes the connection's probability, while conditioning on a connection recovers the background Gaussian law.
The matter determinant is at least its value on the identity connection, with equality exactly when every closed walk acts as the identity. A small square torus makes the joint law explicit. Its gauge orbits reduce the calculation to a finite sum of positive determinant weights. At zero bare gauge coupling, scalar matter already changes the plaquette expectation from zero to a strictly positive number. This finite comparison does not determine large-loop screening or an infinite-volume area law.
Definition 1. The joint gauge and real-matter measure [fdip-0076]AGENTDRAFTED
- November 1, 2026
Definition 1. The joint gauge and real-matter measure [fdip-0076]AGENTDRAFTED
- November 1, 2026
Fix the graph, positive edge weights and invariant fiber metric of a connection background. When using a Wilson action, also supply square faces and their attaching walks. Let \(G\) be a finite group, or a compact Hausdorff group supplied with a normalized bi-invariant Borel probability measure \(\mu _G\). In the finite case use uniform probability measure. Let \(\rho :G\to O(F)\) be a continuous orthogonal representation on a finite-dimensional real inner-product space; continuity is automatic for a finite group. The compact-group measure is assumed as part of the data here.
Put \(\mathcal H=F^V\), \(N=\dim _{\mathbb R}\mathcal H\) and \(d\mu (U)=\prod _{e\in E}d\mu _G(U_e)\). Choose \(m>0\) and write \(Q_U=L_U+m^2I\). Use a continuous real gauge-invariant action \(S_W(U)\), such as the Wilson action with its declared representation and coupling. With ordinary Lebesgue volume \(d\operatorname {vol}(\phi )\) in the fixed metric, define \[\begin {aligned} \mathfrak Z &=\int _{G^E}\int _{\mathcal H} e^{-S_W(U)-\frac 12\langle \phi ,Q_U\phi \rangle } \,d\operatorname {vol}(\phi )\,d\mu (U),\\ d\mathbb P(U,\phi ) &=\mathfrak Z^{-1} e^{-S_W(U)-\frac 12\langle \phi ,Q_U\phi \rangle } \,d\mu (U)\,d\operatorname {vol}(\phi ). \end {aligned}\] This is a law on both the connection and the real matter field.
The normalization is finite and positive. Indeed, \(Q_U\ge m^2I\), and the continuous action has a finite lower bound on compact \(G^E\). Thus the integrand is bounded by a constant times \(e^{-m^2\|\phi \|^2/2}\), which is integrable. It is everywhere positive. A gauge transformation preserves the edge measure by left and right invariance, the matter volume by orthogonality, and the quadratic form by gauge covariance. Hence the joint law is gauge invariant.
The edge measure differs from the unnormalized counting convention in Definition [fdip-006O]: for finite \(G\), replacing \(\mu \) by counting measure multiplies \(\mathfrak Z\) by \(|G|^{|E|}\) and leaves normalized expectations unchanged. The matter volume is also explicit: it has not been divided by \((2\pi )^{N/2}\).
Theorem 2. Integrating and conditioning the matter field [fdip-0077]AGENTDRAFTED
- November 1, 2026
Theorem 2. Integrating and conditioning the matter field [fdip-0077]AGENTDRAFTED
- November 1, 2026
For the joint law, let \(W(U)=\frac 12\log \det _{\mathbb R}Q_U\) and set \[Z_U=\int _{G^E}e^{-S_W(U)-W(U)}\,d\mu (U).\] Then \[\mathfrak Z=(2\pi )^{N/2}Z_U,\qquad d\mathbb P_U(U)=Z_U^{-1}e^{-S_W(U)-W(U)}\,d\mu (U).\] A conditional matter kernel is \[K_U(d\phi )=(2\pi )^{-N/2}(\det Q_U)^{1/2} e^{-\frac 12\langle \phi ,Q_U\phi \rangle } \,d\operatorname {vol}(\phi ),\] so, conditionally on \(U\), the field has law \(N(0,Q_U^{-1})\). In particular the induced action adds to the bare gauge action exactly, with no large-mass approximation.
Proof.
- November 1, 2026
Proof.
- November 1, 2026
The real Gaussian integral, converted from its normalized reference volume to ordinary volume, gives \[\int _{\mathcal H}e^{-\frac 12\langle \phi ,Q_U\phi \rangle } \,d\operatorname {vol}(\phi ) =(2\pi )^{N/2}e^{-W(U)}.\] Tonelli's theorem applies to the nonnegative joint density. Integrating first over \(\phi \) proves the normalization and marginal formulas. Dividing the fixed-\(U\) matter density by this Gaussian integral yields \(K_U\). Multiplying the two displayed densities recovers the joint density, proving the disintegration identity \[\mathbb P(dU,d\phi )=\mathbb P_U(dU)K_U(d\phi ).\] This explicitly chosen kernel supplies a conditional version at every connection.
Mathlib's MeasureTheory.lintegral_prod states Tonelli's
identity for an almost-everywhere measurable nonnegative extended-real
function, with an s-finite inner measure. The gauge probability and
finite-dimensional Lebesgue measure satisfy these measure conditions;
the density here is measurable. This is partial support for the
product-integration step, not for the Gaussian evaluation or the
marginal and conditional formulas derived above.
The selected Gaussian marginal and conditional propagator formulas therefore apply separately at each fixed \(U\). For example, in orthonormal retained and eliminated coordinates, write \[Q_U=\begin {pmatrix}A_U&B_U\\B_U^T&C_U\end {pmatrix},\qquad C_U>0.\] Then the retained precision at that connection is \(A_U-B_UC_U^{-1}B_U^T\), and \[\phi _{\mathrm {elim}}\mid (\phi _{\mathrm {ret}}=x,U) \sim N(-C_U^{-1}B_U^Tx,C_U^{-1}).\] These statements keep the connection in the conditioning data.
After averaging over \(U\), the matter law is generally a mixture of Gaussian laws, rather than one Gaussian law. Its covariance is \[\mathbb E_{\mathbb P_U}[Q_U^{-1}],\] by the conditional covariance identity and the zero conditional mean. Observing retained matter coordinates also reweights the distribution of \(U\) by their conditional likelihood. One cannot obtain the joint conditional law by keeping the original connection probabilities fixed and applying a single Gaussian formula.
Theorem 3. The matter determinant is smallest on the identity orbit [fdip-00A6]AGENTDRAFTED
- November 2, 2026
Theorem 3. The matter determinant is smallest on the identity orbit [fdip-00A6]AGENTDRAFTED
- November 2, 2026
The massive precision \(Q_U\) depends on the connection. Gauge covariance makes its determinant constant on orbits. The comparison below identifies the minimum. It is the value on the identity connection, attained exactly when every closed walk acts as the identity on the fiber.
Let \(F\) have dimension \(n\) over its scalar field, and let \(Q_1\) be the scalar massive precision of the same finite graph, the same positive edge weights, and the same mass \(m>0\). For every connection, \(\det Q_U\ge (\det Q_1)^n\). Equality holds if and only if every closed walk acts as the identity on \(F\). Every connection in the identity orbit has that property. So does every connection whose holonomy acts through the kernel of \(\rho \).
Proof.
- November 2, 2026
Proof.
- November 2, 2026
Write \(D\) for the positive diagonal operator on scalar functions with \(D_v=m^2+\sum _{e\ni v}w_e\), and write \(D_H\) for \(D\) acting separately on each fiber. The quadratic form in the connection background expands as \(\langle f,Q_Uf\rangle =\sum _v D_v\|f_v\|^2-\sum _e 2w_e\operatorname {Re}\langle f(h(e)),U_ef(s(e))\rangle \). The associated self-adjoint operator is \(Q_U=D_H-H_U\), where the only nonzero blocks of \(H_U\) are \(w_eU_e\) and \(w_eU_e^*\). Let \(K_U=D_H^{-1/2}H_UD_H^{-1/2}\). Then \(Q_U=D_H^{1/2}(I-K_U)D_H^{1/2}\), so \(\det Q_U=(\det D)^n\det (I-K_U)\). The identity connection has \(Q_I=Q_1\otimes I_F\), hence \((\det Q_1)^n=\det Q_I\). It is enough to compare \(I-K_U\) with \(I-K_I\).
The scalar adjacency \(A\) has the same off-diagonal weights. Its normalized operator \(K_1=D^{-1/2}AD^{-1/2}\) is self-adjoint, and \(K_I=K_1\otimes I_F\). The similar operator \(D^{-1}A\) has row sums \(\bigl (\sum _{e\ni v}w_e\bigr )/D_v<1\), because \(m>0\). The maximum absolute row sum is strictly less than \(1\), so the spectral radius of \(D^{-1}A\) is strictly less than \(1\). Since \(K_1=D^{1/2}(D^{-1}A)D^{-1/2}\), the operator \(K_1\) has the same spectral radius. Self-adjointness gives \(\|K_1\|=\rho (K_1)<1\).
The same comparison bounds the connection. For a section \(f\), set \(y_v=\|f_v\|\). Each fiber of \(H_U\) has operator norm \(w_e\), so \(\|(H_Uf)_v\|\le (Ay)_v\). Conjugating by \(D^{1/2}\) yields \(\|(K_Uf)_v\|\le (K_1y)_v\). Therefore \(\|K_Uf\|\le \|K_1y\|\le \|K_1\|\|f\|\), and \(\|K_U\|<1\). The eigenvalues of the self-adjoint operator \(K_U\) are real and lie in the open interval \((-1,1)\).
For every such eigenvalue, \(\log (1-\lambda )=-\sum _{k\ge 1}\lambda ^k/k\). Summing over eigenvalues gives \(\log \det (I-K_U)=-\sum _{k\ge 1}\frac 1k\operatorname {tr}(K_U^k)\). Expanding the trace in walks, a closed walk \(\gamma \) of length \(k\) contributes its positive weight \(w(\gamma )=\prod _{e\in \gamma }\frac {w_e}{\sqrt {D_{s(e)}D_{h(e)}}}\) times the trace of its holonomy. The holonomy is the ordered product of the fiber maps, with the first edge on the right, because parallel transport along \(e\) sends \(f(s(e))\) to \(U_ef(s(e))\). A unitary or orthogonal map has eigenvalues on the circle, so the real part of its trace is at most \(n\), with equality exactly when the map is the identity. The trace \(\operatorname {tr}(K_U^k)\) is real and equals the sum of those real parts against the walk weights. Hence \(\operatorname {tr}(K_U^k)\le \operatorname {tr}(K_I^k)=n\operatorname {tr}(K_1^k)\). Since each trace is at most the corresponding identity trace, \(\log \det (I-K_U)\ge \log \det (I-K_I)\). The logarithm is increasing, and \(\det (I-K_U)\ge \det (I-K_I)\). The powers of \(\det D\) cancel in the comparison. This is the asserted lower bound.
Equality of the determinants forces equality of the two series. For every \(k\ge 1\), \[\operatorname {tr}(K_U^k)=\operatorname {tr}(K_I^k).\] Their difference is the sum, over closed walks, of the positive weight times \(n-\operatorname {Re}\operatorname {tr}\operatorname {Hol}(\gamma )\). Each summand is nonnegative, so each vanishes. Every closed walk therefore acts as the identity on \(F\). Conversely, that condition makes every walk contribution agree with the identity connection, and the determinants agree.
These connections are exactly the identity orbit in the represented gauge group. Choose a root in each connected component and propagate \(\rho (U)\) along any walk from that root. The product is independent of the walk because every closed walk acts as the identity. The resulting vertex operators \(g_v\) satisfy \(U_e=g_{h(e)}g_{s(e)}^{-1}\). In the other direction, a gauge transform of the identity has determinant \(\det Q_I\) by the covariance already cited. A holonomy in the kernel of \(\rho \) is invisible to \(Q_U\): equality sees the action on \(F\), not a finer group element.
When \(F\) is real, the induced action \(W(U)=\frac 12\log \det Q_U\) of the joint law is therefore smallest exactly on this orbit. When \(F\) is complex, the same bound says that \((\det Q_U)^{-1}\) is largest there. The massless operator is outside the argument: its identity connection can be singular, and a nontrivial represented holonomy can leave a parallel section, so a zero determinant does not characterize the identity orbit.
On the three-by-three torus with unit weights and mass squared equal to \(1\), the all-positive connection lies on the identity orbit and attains the bound. The torus sum records that determinant.
Example 4. An exact matter-weighted sum on the three-by-three torus [fdip-0078]AGENTDRAFTED
- November 2, 2026
Example 4. An exact matter-weighted sum on the three-by-three torus [fdip-0078]AGENTDRAFTED
- November 2, 2026
On a connected graph, take \(G=\{1,-1\}\) acting by multiplication on the real line. Two gauges induce the same action precisely when their ratio is constant, so each orbit contains \(2^{|V|-1}\) connections. A spanning tree meets every vertex and contains no cycle. Requiring its edges to be positive selects one connection from each orbit. With \(b_1=|E|-|V|+1\) and with zero bare coupling, gauge invariance of the determinant converts the marginal into \[Z_U=2^{-b_1}\sum _s(\det Q_s)^{-1/2},\] where \(s\) runs through the sign patterns on the complementary edges.
Take the square torus with both periods three, \(G=\{1,-1\}\), real scalar matter, unit edge weights, \(m^2=1\) and bare coupling \(\beta =0\). Vertices are \((x,y)\) with coordinates in \(\mathbb Z/3\mathbb Z\); use horizontal edges \(a_{x,y}\) and vertical edges \(b_{x,y}\) in the orientations of that definition. There are 9 matter coordinates and 18 links.
Fix a spanning tree by requiring \[a_{0,y}=a_{1,y}=1\quad (y=0,1,2),\qquad b_{0,0}=b_{0,1}=1.\] These 8 edges connect every vertex without a cycle. Parameterize the 10 remaining links by \(s=(s_1,\ldots ,s_{10})\in \{1,-1\}^{10}\): \[\begin {aligned} (a_{2,0},a_{2,1},a_{2,2})&=(s_1,s_2,s_3),\\ (b_{1,0},b_{2,0},b_{1,1},b_{2,1})&=(s_4,s_5,s_6,s_7),\\ (b_{0,2},b_{1,2},b_{2,2})&=(s_8,s_9,s_{10}). \end {aligned}\] Let \(U_e(s)\) denote these assigned signs.
In the vertex order \((0,0),(1,0),(2,0),(0,1),\ldots ,(2,2)\), let \(E_{v,w}\) be a matrix unit and define \[\begin {aligned} H_s&=\sum _{e\in E}U_e(s)(E_{h(e),s(e)}+E_{s(e),h(e)}),\\ d_s&=\det (5I-H_s),\\ P_{x,y}(s)&=a_{x,y}b_{x+1,y}a_{x,y+1}b_{x,y},\\ k(s)&=\#\{(x,y):P_{x,y}(s)=-1\}. \end {aligned}\] The symbol \(s(e)\) in a matrix index is the edge's source vertex; the tuple \(s\) labels the 10 free signs. All subscripts on links are read modulo three. Every \(d_s\) is a positive integer.
For each connection there is a unique gauge transformation with value one at \((0,0)\) that makes the tree links positive: propagate its vertex values along the tree. The only remaining transformations fixing a connection are the two constant signs, since the graph is connected. Hence every gauge orbit has \(2^8\) elements and exactly one displayed representative. Gauge-invariant normalized edge sums therefore reduce to the following exact formulas: \[\begin {aligned} R&=\sum _{s\in \{1,-1\}^{10}}d_s^{-1/2},& Z_U&=2^{-10}R,\\ \langle P_{0,0}\rangle &=\frac {\sum _sP_{0,0}(s)d_s^{-1/2}}{R},& \mathfrak Z&=(2\pi )^{9/2}Z_U. \end {aligned}\] Here \(Z_U\) is the determinant-weighted edge integral, whereas \(\mathfrak Z\) includes ordinary matter volume.
The finite sums contain 1024 terms. They can be evaluated by forming the displayed integer matrix for each sign tuple and taking its determinant. At the all-positive tuple, the eigenvalues of \(5I-H_s\) are \(1\), 4 copies of \(4\), and 4 copies of \(7\), so \(d_s=4^4\cdot 7^4=614656\). This is the lower bound of the matter-determinant comparison. Grouping by the number of negative plaquettes gives the table. The matter probability in row \(k\) is \(R^{-1}\sum _{s:k(s)=k}d_s^{-1/2}\), and the probability without matter is the orbit count divided by \(1024\).
\[\begin {array}{c|r|c|c} k&\text {orbits}&\text {pure gauge }(\beta =0)&\text {with matter}\\\hline 0&4&0.00390625&0.00404317\\ 2&144&0.14062500&0.14286686\\ 4&504&0.49218750&0.49338270\\ 6&336&0.32812500&0.32522204\\ 8&36&0.03515625&0.03448524 \end {array}\]Translation invariance gives the same expectation at every plaquette. The pure-gauge torus law at \(\beta =0\) instead has \(\langle P_{0,0}\rangle =0\). No large-mass truncation was used in these finite sums.
Proposition 5. A finite loop comparison does not determine screening [fdip-0079]AGENTDRAFTED
- November 1, 2026
Proposition 5. A finite loop comparison does not determine screening [fdip-0079]AGENTDRAFTED
- November 1, 2026
On a square torus of periods at least three, use the joint law with \(G=\{1,-1\}\) acting by multiplication on the real field \(\phi \in \mathbb R^V\), unit weights, \(m>0\) and \(\beta =0\). For any simple nonempty closed edge cycle \(C\), its Wilson product \(W_C(U)=\prod _{e\in C}U_e\) has \[\langle W_C\rangle _{\mathrm {matter}}>0,\qquad \langle W_C\rangle _{\mathrm {pure}}=0.\] In particular, the strict positivity in the three-by-three example has a direct proof independent of rounding the determinant sums.
Proof.
- November 1, 2026
Proof.
- November 1, 2026
Put \(D=4+m^2\). For the real scalar convention, the joint Boltzmann factor at zero bare gauge coupling is \[\exp \left (-\frac D2\sum _v\phi _v^2\right ) \prod _{e\in E}\exp (U_e\phi _{s(e)}\phi _{h(e)}).\] Average the independent edge signs before integrating the matter. Since \[\frac 12\sum _{u=\pm 1}e^{ut}=\cosh t,\qquad \frac 12\sum _{u=\pm 1}u e^{ut}=\sinh t,\] the Wilson expectation is \(I_C/I_{\varnothing }\), where \[\begin {aligned} I_C={}&\int _{\mathbb R^V}e^{-\frac D2\sum _v\phi _v^2} \prod _{e\in C}\sinh (\phi _{s(e)}\phi _{h(e)})\\ &\qquad \qquad \cdot \prod _{e\notin C} \cosh (\phi _{s(e)}\phi _{h(e)})\,d\phi . \end {aligned}\] For \(C=\varnothing \), every edge contributes a hyperbolic cosine. For nonzero vertex coordinates, the sign of the numerator's product of hyperbolic sines is \[\prod _{e\in C}\operatorname {sgn}(\phi _{s(e)}\phi _{h(e)}) =\prod _{v\in C}\operatorname {sgn}(\phi _v)^2=1.\] Each cycle vertex occurs twice. All other factors are strictly positive, so the numerator integrand is positive off coordinate hyperplanes. Its absolute value is bounded by the denominator integrand because \(|\sinh t|\le \cosh t\). Positive mass makes the latter integrable by the joint-law bound. Both integrals are therefore finite and strictly positive. In the pure law, independent uniform edge signs give zero expectation for any nonempty product of distinct edges, proving the comparison.
Integrating matter has changed the connection law, so the exact pure-gauge formula cannot be reused unchanged. On tori with periods at least 6, the closed-walk calculation gives a separate controlled large-mass explanation: matter generates a positive plaquette coefficient and higher loop terms. Its order \(D^{-6}\) remainder is not being applied to the three-by-three example, where short winding cycles occur.
Neither the finite comparison nor the positive plaquette term establishes an asymptotic area law, a perimeter law or string breaking. Such a claim needs a specified family of volumes and loops, a limiting regime and control of the higher terms. Gliozzi and Rago study a different system: a three-dimensional two-element gauge group coupled to Ising matter taking only the values \(\pm 1\), rather than an unbounded Gaussian field. Their Section 3, equation (12), fixes that action; their analysis of Wilson-loop overlap with a broken-string state is model-specific context [gliozzi2004overlap, pp. 2, 5]. It does not supply a screening theorem for the present Gaussian law.