Unverified 2026

Correlated-Gaussian Orbit Fingerprint

Implementation & benchmark of arXiv:2608.14475 — Finite Gaussian Reconstruction of Polynomial Orbits: From Correlated Moments to Oscillatory Periods

Usefulness5/10
Difficulty5/10
Novelty8/10

Source paper: Finite Gaussian Reconstruction of Polynomial Orbits: From Correlated Moments to Oscillatory Periods arXiv:2608.14475 ⓘ · analyzed Sep 1, 2026

AI-generated research hypothesis, automatically tested. Not peer-reviewed.

Idea description

Replace a polynomial layer's single-replica output statistics with a finite fingerprint computed from several correlated Gaussian replicas. Train the fingerprint to be invariant under orthogonal reparameterizations while remaining discriminative between genuinely different polynomial maps, preventing models from collapsing distinct tensor functions that have identical marginal output laws. This is a practical symmetry-aware regularizer or auxiliary embedding for tensorized MLPs and polynomial feature networks.

Formulas

$$X=(X_1,\ldots,X_r)\sim\mathcal N\!\left(0,\Sigma\otimes I_d\right),\qquad \operatorname{Cov}(X_a,X_b)=\Sigma_{ab}I_d,\qquad M_{P,r}(\Sigma)=\mathbb E\left[\prod_{a=1}^{r}P(X_a)\right].$$
$$\frac{1}{2}I_r\preceq\Sigma\preceq\frac{3}{2}I_r,\qquad M_{P,r}(\Sigma)\ \text{is a polynomial in }\{\Sigma_{ab}\}_{a\le b}\text{ of degree }K\le\left\lfloor\frac{rm}{2}\right\rfloor.$$$
$$p(t)=\sum_{j=0}^{K}p(t_j)L_j(t),\qquad L_j(t)=\prod_{\ell\ne j}\frac{t-t_\ell}{t_j-t_\ell},\qquad p(t)=M_{P,r}(\Sigma_0+tA),$$
$$\mathcal F(P)=\left(M_{P,r}(\Sigma_q)\right)_{r\le R,\ q\le Q},\qquad \mathcal L_{\mathrm{fp}}=\left\|\mathcal F(P_\theta)-\mathcal F(P_{\theta'})\right\|_2^2\ \text{for orbit-equivalent views}.$$$

Mathematical statement

For a polynomial P in d variables of degree at most m, let X_1,...,X_r be jointly Gaussian d-vectors with Cov(X_a,X_b)=Sigma_ab I_d, where Sigma is an r-by-r replica covariance matrix. The paper's probe is M_{P,r}(Sigma)=E[product_{a=1}^r P(X_a)]. Orthogonal transformations U in O(d) preserve every probe because (UX_1,...,UX_r) has covariance Sigma tensor I_d, so M_{P composed with U,r}(Sigma)=M_{P,r}(Sigma). Expanding P into monomials and applying Wick's rule shows that M_{P,r}(Sigma) is a polynomial in the entries of Sigma of degree at most K=floor(rm/2), since every Gaussian pairing contributes one covariance factor and the total degree is at most rm. Therefore values on a finite covariance grid can be interpolated to recover all coefficients of this covariance polynomial, which encode complete Wick contractions of the coefficient tensors. Use the orbit distance d_orb(P,Q)=inf_{U in O(d)} ||P-Q composed with U|| on coefficient vectors as the target notion of equivalence; the fingerprint should be equal for equivalent polynomials and different for non-equivalent polynomials.

Implementation notes

Integrate this at the output of a polynomial or tensorized MLP block. Represent the block as P_theta(x)=sum_{k=0}^m <T_k,x^{tensor k}>, or use a degree-m polynomial activation whose coefficients are produced by a small neural network. During training, create r replicas for each probe: sample Z_a independently from N(0,I_d), factor a chosen covariance Sigma_q=L_q L_q^T, and set X_a=sum_b (L_q)_{ab} Z_b. Evaluate P_theta(X_a) and accumulate the product over replicas; this Monte Carlo estimate is the tensor M_hat_{theta,r}(Sigma_q). Use a fixed bank of rational, well-conditioned Sigma_q satisfying 0.5 I <= Sigma_q <= 1.5 I, including identity, pairwise-correlated matrices, and random symmetric directions Sigma=I+epsilon A. For each minibatch, compute the fingerprint vector F_theta by concatenating M_hat over r=1,...,R and q=1,...,Q. Add lambda_fp times the squared distance between fingerprints of two orthogonally transformed views or two parameterizations known to represent the same function; alternatively use F_theta as an auxiliary embedding and apply a contrastive loss to separate teacher functions. Pseudocode: sample q,r; construct correlated X; y_a=P_theta(X_a); m_q=mean(batch,prod_a y_a); concatenate m_q; optimize task_loss+lambda_fp*contrastive_loss(F). The paper's exact mathematical computation is the Gaussian replica moment and covariance-polynomial degree bound. Estimate moments by Monte Carlo, and estimate interpolation coefficients only if desired using the Lagrange formula with K+1 covariance values along each affine direction. Start with a degree-3 tensor MLP on MNIST or CIFAR-10, compare against the same model with independent-replica moments or no fingerprint loss, and measure validation accuracy, robustness to random orthogonal reparameterizations, and whether functions with matched marginal P(X) become separable. A success signal is unchanged task loss but lower performance variance under orthogonal changes and improved accuracy when training data are limited.

Verification

This idea has not been verified yet.

Verification happens in two stages: Stage 1 — a mechanism check on a toy system confirms the claimed mathematical phenomenon reproduces; Stage 2 — a benchmark implements the idea on a real (small) neural network task and compares it against a tuned baseline over 8 paired seeds with a permutation test.

Artifacts

Artifacts unavailable.