---
title: Nonlinear Conformal Regularization
url: https://www.emergentmind.com/topics/nonlinear-conformal-regularization
type: topic
---

# Nonlinear Conformal Regularization

Searching arXiv for recent papers relevant to nonlinear conformal regularization.
Searching arXiv for "nonlinear conformal regularization".
Using arXiv search to retrieve papers on conformal regularization and related nonlinear geometric regularizers.
Nonlinear conformal regularization denotes a family of constructions in which conformal structure is used to constrain, select, or stabilize nonlinear models. In the literature considered here, the term covers several distinct but related ideas: geometric regularization of autoencoder decoders so that they act conformally up to a scalar factor and expose a conformal factor and scalar curvature on the learned manifold; conformal-invariant hyperelastic regularisation for deformable image registration that enforces invertibility, orientation preservation, and topology preservation; regularized \(n\)-conformal heat flow in which an \(n\)-harmonic map flow is coupled to conformal evolution of the domain metric; a nonlinear automorphism of the 2D conformal algebra inducing continuous \(\sqrt{T\bar T}\) deformations; and conformal-degree-preserving nonlinear Dirac equations in which admissible self-interactions are fixed by scaling and dimensionless coupling requirements [2508.20413] [2303.08113] [2502.10679] [2210.00059] [1212.6000].

## 1. Conceptual scope and defining principles

A common geometric definition appears in the decoder setting. For a smooth map \(f:(M,g)\to (N,h)\), conformality means
\[
f^\star h = c\,g
\]
for some smooth, strictly positive function \(c:M\to\mathbb{R}\). In coordinates this is
\[
h_{f(x)}\big(\mathrm{d}f_x(u),\mathrm{d}f_x(v)\big)=c(x)\,g_x(u,v),
\]
or equivalently
\[
J_f(x)^\mathsf{T}H\big(f(x)\big)J_f(x)=c(x)G(x).
\]
This condition allows local stretching or shrinking, but only isotropically, by the same factor in every tangent direction. In the autoencoder literature, conformal regularization is explicitly positioned as less restrictive than isometry and more flexible for real data, where some deformation is expected [2508.20413].

Other uses of the term emphasize invariance rather than direct metric matching. In deformable registration, the relevant objects are conformal-invariant distortion measures built from \(\nabla\Phi\), \(\mathrm{Cof}\nabla\Phi\), and \(\det\nabla\Phi\), embedded in a nonlinear-elastic energy [2303.08113]. In the heat-flow setting, “conformal-direction metric evolution” means that the metric changes only by a scalar multiple of a fixed background metric, \(g(x,t)=e^{2u(x,t)}g_0(x)\), so tensorial evolution is reduced to one scalar PDE for \(u\) [2502.10679]. In 2D conformal field theory, a nonlinear map mixing \(T\) and \(\bar T\) preserves the conformal algebra and induces a continuous \(\sqrt{T\bar T}\) deformation [2210.00059]. In nonlinear Dirac theory, conformal degree acts as a selection rule: requiring the kinetic and nonlinear terms to have the same conformal degree and the coupling to be dimensionless fixes the admissible power of the self-interaction [1212.6000].

A plausible unifying description is that nonlinear conformal regularization uses conformal structure as a control variable. Depending on the application, that control variable may be a scalar conformal factor, a conformal-invariant distortion energy, a conformal metric mode, an automorphism of conformal generators, or a conformal-degree constraint.

## 2. Decoder regularization, conformal factor, and learned curvature

In dimensionality reduction with autoencoders, the decoder \(\Dec:Z\to \widehat X\) is treated as a parametrization of the learned manifold \(\mathcal D=\Dec(Z)\subset\mathbb R^n\). Standard reconstruction loss,
\[
\mathcal{L}_{\mathsf{recon}}(\Enc,\Dec)=\frac{1}{N}\sum_{i=1}^N\left\|x_i-\Dec\big(\Enc(x_i;\theta_\mathsf{enc});\theta_\mathsf{dec}\big)\right\|_2^2,
\]
does not guarantee good geometry: nearby latent codes can decode to outputs with strongly distorted distances, and neighboring data points can be mapped to codes that are far apart. Nonlinear conformal regularization addresses this by asking the decoder to behave like a conformal map, so that local deformation is isotropic rather than arbitrary [2508.20413].

The key quantity is
\[
R(z):=J_{\Dec}(z)^\mathsf{T}J_{\Dec}(z)G(z)^{-1},
\]
whose eigenvalues \(\lambda_i(z)\) describe stretching along principal latent directions. The regularizer is
\[
\widetilde{\mathcal{L}}_{\mathsf{conf}}(\Dec)
=\frac{1}{m}\sum_{i=1}^m\int_Z
\Phi\!\left(
\frac{\lambda_i(z)}{\sigma(\lambda_1(z),\dots,\lambda_m(z))}
\right)\,d\nu,
\]
where \(\Phi\) is smooth, positive, convex, and minimized at \(1\), and \(\sigma\) is symmetric, homogeneous of degree \(1\), with \(\sigma(1,\dots,1)=1\). With the arithmetic mean and \(\Phi(x)=\frac12(x-1)^2\), the regularizer becomes
\[
\widetilde{\mathcal{L}}_{\mathsf{conf}}(\Dec)
=
\frac{m}{2}\,
\mathbb E_{z\sim \nu}\!\left[
\frac{\operatorname{Tr}R^2(z)}{(\operatorname{Tr}R(z))^2}
\right]
-\frac12,
\]
and the conformal factor is
\[
c(z)=\frac{1}{m}\operatorname{Tr}R(z).
\]
The minimum value \(0\) is attained exactly when all eigenvalues are equal, \(\lambda_i(z)=c(z)\), so the decoder is conformal at \(z\) [2508.20413].

This conformal factor has direct geometric meaning. When the decoder is conformal,
\[
\Dec^\star g_{\mathsf{eucl}(n)} = c(z)\,g_{\mathsf{eucl}(m)},
\]
so \(c(z)\) measures local expansion or contraction of latent distances. The paper interprets it as a ratio of areas of small balls under the decoder. In the \(m=2\) case, writing \(c=e^{2f}\), the scalar curvature of the learned manifold satisfies
\[
S(cg_{\mathsf{eucl}(2)})=-\frac{1}{c}\Delta\log c.
\]
After training, the curvature is estimated by computing latent codes, evaluating \(c(z_i)=\frac1m\operatorname{Tr}R(z_i)\), building a \(k\)-nearest-neighbor graph in latent space, forming the graph Laplacian \(L=D-W\), and approximating
\[
S(z_i)\approx -\frac{1}{c(z_i)}(L\log\mathbf c)_i.
\]

Implementation uses Hutchinson’s trace estimator,
\[
\operatorname{Tr}A=\mathbb E_{v\sim \mathcal N(0,I_n)}[v^\mathsf{T}Av],
\]
with Rademacher samples emphasized as an unbiased low-variance option. The reported PyTorch tools are `torch.func.jvp` for Jacobian-vector products, `torch.func.vjp` for vector-Jacobian products, and `torch.func.vmap` and `torch.func.jacfwd` when the full Jacobian is needed. On the Swiss roll, the conformal regularizer improves \(\kappa_{\mathsf{jac}}\) and \(\kappa_{\mathsf{pbm}}\) relative to the vanilla autoencoder and global isometry, and recovers the expected zero scalar curvature \(S\equiv 0\) up to boundary effects. On CelebA, with latent dimension \(m=2\), the nonlinear conformal regularizer and local isometry regularizer again give better-conditioned decoders than the global isometry regularizer, while reconstruction is limited by severe compression and the MSE stabilizes around \(0.1\) [2508.20413].

Two limitations are explicit. First, curvature estimation is presented primarily for the \(2\)D latent case. Second, Jacobian-based quantities, Monte Carlo trace estimation, and graph Laplacians introduce computational cost and noise, and exact reproducibility can be difficult because of GPU nondeterminism in PyTorch/CUDA [2508.20413].

## 3. Conformal-invariant hyperelastic regularisation in deformable image registration

In deformable image registration, nonlinear conformal regularization appears as a conformal-invariant hyperelastic regulariser derived from nonlinear elasticity rather than from generic smoothness penalties. The registration problem is posed as
\[
\hat{\mathbf{\Phi}}
=
\arg\min_{\mathbf{\Phi}\in\mathcal W}
\mathcal L(\mathbf{\Phi})
=
\mathcal L_{sim}(\mathbf I_S(\mathbf\Phi),\mathbf I_T)
+
\lambda \mathcal L_{reg}(\mathbf\Phi),
\]
where \(\mathbf I_S\) and \(\mathbf I_T\) are source and target images, \(\mathbf\Phi:\bar\Omega\to\mathbb R^3\) is the deformation, and \(\Omega\subset\mathbb R^3\) is a convex bounded open set of class \(\mathcal C^1\) satisfying the cone property required to apply Ball’s global invertibility results [2303.08113].

The regulariser is the stored-energy functional
\[
\mathcal L_{reg}(\mathbf\Phi)
=
\int_\Omega
W(\nabla\mathbf\Phi(x),\mathrm{Cof}\nabla\mathbf\Phi(x),\det\nabla\mathbf\Phi(x))\,dx
+
\mathds1_{\{\|.\|_{L^\infty(\Omega)}\le \beta\}}(\det\nabla\Phi),
\]
with
\[
W=
\begin{cases}
\displaystyle
\frac{a_1\|\nabla\mathbf\Phi\|_F^9}{(\det\nabla\mathbf\Phi)^3}
+
\frac{a_2\|\mathrm{Cof}\nabla\mathbf\Phi\|_F^6}{(\det\nabla\mathbf\Phi)^4}
+
a_3(\det\nabla\mathbf\Phi-1)^2
+
\frac{a_4}{(\det\nabla\mathbf\Phi)^\alpha}
-\mathrm{const},
& \det\nabla\mathbf\Phi>0,\\[6pt]
+\infty,
& \text{otherwise},
\end{cases}
\]
where \(W(I_3,I_3,1)=0\). The first two terms are described as conformal-invariant distortion measures. They penalise deviation from isotropic local scaling while remaining unchanged under conformal changes of variables [2303.08113].

The geometric consequences are central. Orientation-reversing mappings are forbidden because \(W=+\infty\) whenever \(\det\nabla\Phi\le 0\). The reciprocal Jacobian penalty \(\frac{a_4}{(\det\nabla\Phi)^\alpha}\) discourages singularities, while \((\det\nabla\Phi-1)^2\) controls extreme compression and expansion. Using Ball’s global invertibility results, the paper shows that finite-energy minimisers satisfy the conditions needed for homeomorphism, with
\[
\Phi^{-1}\in W^{1,4}(\Omega,\mathbb R^3).
\]
The paper also proves an existence theorem: problem \(\eqref{loss\_function}\) admits at least one minimiser in \(\mathcal W\) [2303.08113].

The learning architecture represents the deformation by a coordinate MLP. Spatial coordinates \(p=(x,y,z)\) are mapped to \(\mathbf\Phi(p)\), with sinusoidal activations of SIREN type and \(\omega=32\) in the reported experiments. The similarity term is negative normalized cross-correlation, implemented as local-window NCC. Optimization uses PyTorch, Adam, learning rate \(10^{-5}\), 6000 epochs for COPD and 3000 for 4DCT, with 15,000 masked lung points per epoch for COPD and 10,000 for 4DCT. Reported runtime is about 1.7 minutes per 3D pair on COPD and 1.1 minutes on 4DCT [2303.08113].

Empirically, the method is evaluated on DIRLab COPD and DIRLab 4DCT with TRE based on 300 anatomical landmarks. Average TRE on COPD is \(1.74\) mm for the proposed method, compared with \(2.64\) mm for INR and larger errors for FE, PDD, VoxelMorph, and LapIRN. On 4DCT, average TRE is \(1.03\) mm, compared with \(1.07\) mm for INR and larger errors for the remaining baselines. Jacobian determinant visualisations show all-positive Jacobian determinants for the proposed method, while no regularisation and standard hyperelastic regularisation exhibit negative Jacobians or large expansions. The claim of topology-preserving, clinically meaningful transformations is therefore both theoretical and empirical, but it is tied to the model assumptions and deformation class \(\mathcal W\), not to arbitrary deep registration architectures [2303.08113].

## 4. Regularized \(n\)-conformal heat flow and conformal metric feedback

A different use of nonlinear conformal regularization appears in geometric analysis. The regularized \(n\)-conformal heat flow couples a regularized \(n\)-harmonic map flow to metric evolution in the conformal direction. Starting from the standard \(n\)-harmonic map energy
\[
E_n(f)=\frac{1}{n}\int_M |df|_g^n\,d\mathrm{vol}_g,
\]
the paper replaces the \(n\)-energy density by a regularized density \(e^\varepsilon(f)\) and defines the regularized \(n\)-energy \(E^\varepsilon(f)\). The coupled system is
\[
\begin{cases}
f_t=\tau_{n,g}^\varepsilon(f),\\[2mm]
u_t=b\,e^\varepsilon(f)-a,
\end{cases}
\qquad
g(x,t)=e^{2u(x,t)}g_0(x),
\]
or, relative to the fixed background metric \(g_0\),
\[
\begin{cases}
f_t=e^{-nu}\tau_n^\varepsilon(f)
=e^{-nu}\left(\Delta_n^\varepsilon f+\big(1+|df|^2\big)^{\frac n2-1}A(f)(df,df)\right),\\[2mm]
u_t=b\,e^{-nu}\big(1+|df|^2\big)^{\frac n2}-a,
\end{cases}
\]
with
\[
\Delta_n^\varepsilon f=\mathrm{Div}\!\left((1+|df|^2)^{\frac n2-1}df\right).
\]
The metric changes only through the scalar field \(u\), so the feedback is purely conformal [2502.10679].

The main theorem states: assume \(n\le 4\) and \(f_0\in W^{5,2}(M,N)\). For any \(\varepsilon\in(0,1]\), there exists a smooth solution \((f,u)\) of \((5)\) on \(M\times[0,\infty)\) with initial condition \(f(0)=f_0\), \(u(0)=0\). In particular, the regularized \(n\)-conformal heat flow does not develop finite-time singularities, unlike the usual \(n\)-harmonic map flow [2502.10679].

The regularizing mechanism combines energy dissipation with damping from the metric equation. The basic identity is
\[
\frac{d}{dt}E^\varepsilon(f(t))
=
-\int_M e^{nu}|f_t|^2\le 0,
\]
so the regularized energy is monotone decreasing. The volume density has the explicit form
\[
e^{nu}
=
e^{-nat}
\left(
1+nb\int_0^t e^{nas}e_2(f)^{\frac n2}(s)\,ds
\right),
\]
which yields
\[
V(t)=\int_M d\mathrm{vol}_g
=
\int_M e^{nu}
\le
e^{-nat}V(0)+\frac{nb}{a}E^\varepsilon(0).
\]
The paper further identifies a decisive sign condition,
\[
C_b:=\frac{nb}{2}-C_N-2C_N^2>0,
\]
obtained by choosing \(b\) large enough relative to target curvature bounds. This allows the conformal metric feedback to dominate curvature-error terms [2502.10679].

The analysis then develops local energy inequalities, differential inequalities for \(\int e^{nu}|f_t|^2\), bounds on higher powers of \(f_t\), elliptic estimates for \(\nabla^2 f\), Sobolev bootstrapping, and a final Moser iteration. Under local smallness assumptions on \(\int_{B_r} e_2(f)^{n/2}\), \(\int_{B_r} e^{nu}|f_t|^2\), and a bound on \(u\), the paper obtains a local \(L^\infty\) bound on \(e_2(f)=1+|df|^2\), which rules out concentration. Global smoothness is then established by contradiction: if finite-time singularity occurred, it would force concentration of local energy, but the continuity estimate
\[
|\Theta_r(t)-\Theta_r(s)|\le C_{20}(t-s)^{1/2}
\]
precludes the required energy drop. The result generalizes the “conformal heat flow prevents bubbling” phenomenon known for \(n=2\) to arbitrary \(n\) under the stated assumptions, with the explicit dimension restriction \(n\le 4\) used in short-time existence and higher-order estimates [2502.10679].

## 5. Algebraic regularization and conformal-degree selection in field theory

In 2D conformal field theory, nonlinear conformal regularization takes the form of a nonlinear automorphism of the conformal algebra. Starting from two commuting Witt algebras generated by \(T(\phi)\) and \(\bar T(\phi)\), the paper shows that the algebra is preserved by
\[
\begin{aligned}
T_\lambda &= T \cosh\!\Big(\frac{\lambda}{2}\Big)+\sqrt{T\bar T}\,\sinh\!\Big(\frac{\lambda}{2}\Big),\\[2mm]
\bar T_\lambda &= \bar T \cosh\!\Big(\frac{\lambda}{2}\Big)+\sqrt{T\bar T}\,\sinh\!\Big(\frac{\lambda}{2}\Big),
\end{aligned}
\]
with real parameter \(\lambda\). In the energy-momentum basis,
\[
H=T+\bar T,\qquad J=T-\bar T,
\]
the map becomes
\[
J_\lambda=J,\qquad
H_\lambda=\cosh(\lambda)\,H+\sinh(\lambda)\,\sqrt{H^2-J^2},
\]
or equivalently
\[
H_\lambda\pm J=e^{\pm\lambda}(H\pm J).
\]
The deformation preserves momentum density and induces the flow
\[
\frac{\partial H_\lambda}{\partial\lambda}=\sqrt{H_\lambda^2-J^2},
\qquad
\frac{\partial \mathcal L_\lambda}{\partial\lambda}
=
\sqrt{T\bar T}
=
\frac12\left(\det T_{\mu\nu}^{(\lambda)}\right)^{1/2}.
\]
The same work gives a geometric reinterpretation: the deformed theory can be seen as the original CFT on a field-dependent curved metric with lapse and shift determined by variational derivatives of the deformed Hamiltonian, and the deformed conformal symmetries arise from diffeomorphisms satisfying modified conformal Killing equations [2210.00059].

A distinct but structurally related selection principle appears in nonlinear Dirac theory. The spinor action
\[
\mathcal S=\int d^n x\,\mathcal L,\qquad n=D+1,
\]
is required to be scale invariant, so \([\mathcal L]=-n\). For a spin-\(\tfrac12\) field, the linear term is \(\mathcal L_0\sim i\bar\psi\,\partial\psi\), the Dirac operator has degree \(-1\), and the spinor field has conformal degree
\[
[\psi]=\frac{1-n}{2}=-\frac{D}{2}.
\]
If the nonlinear self-interaction is required to have the same conformal degree as the kinetic term and the self-coupling is required to be dimensionless in relativistic units \((\hbar=c=1)\), then the allowed power is fixed by
\[
(\lambda+1)\frac{1-n}{2}=-n
\quad\Rightarrow\quad
\lambda=\frac{n+1}{n-1}=\frac{D+2}{D}.
\]
The general nonlinear Dirac equation is
\[
\left(\hat D_0 + g(\Gamma\psi)^\lambda\right)\psi=0,
\]
and in the massive case
\[
\left[i\partial - m + g(\Gamma\psi)^\Lambda\right]\psi=0.
\]
In \(1+1\) dimensions, \(D=1\) gives \(\lambda=2\), so the interaction is quartic in the Lagrangian and cubic in the equation of motion. The allowed quartic structures include
\[
(\bar\psi\psi)^2,\qquad
(\bar\psi\gamma_5\psi)^2,\qquad
\bar\psi\psi\,\bar\psi\gamma_5\psi,\qquad
(\bar\psi\gamma_\mu\psi)^2,
\]
and the framework contains the massive Thirring and massive Gross–Neveu models as pure vector and pure scalar limits, respectively [1212.6000].

Taken together, these field-theoretic constructions suggest a broader interpretation of nonlinear conformal regularization as a structural constraint on admissible nonlinearity. In one case, the constraint preserves the conformal algebra under a nonlinear map; in the other, it preserves conformal degree and dimensionless coupling in a nonlinear fermionic action.

## 6. Adjacent frameworks, boundaries, and recurring themes

An adjacent line of work concerns controlled learning of pointwise nonlinearities under explicit regularity and stability control. There, the trainable scalar nonlinearity \(f:\mathbb R\to\mathbb R\) is optimized in \({\rm BV}^{(2)}(\mathbb R)\) with a second-order total variation penalty \(\|f''\|_{\mathcal M}\) and slope-box constraints \(s_{\min}\le f'(x)\le s_{\max}\) a.e. The global optimum is achieved by adaptive nonuniform linear splines, and the same framework can enforce 1-Lipschitz stability, firm non-expansiveness, monotonicity, and invertibility. Its conceptual contribution includes a connection to nonlinear conformal regularization in the sense that the learned scalar nonlinearity can be identified either as the derivative of a scalar potential or as the proximal operator of a potential, which is useful for plug-and-play schemes, unrolled proximal gradient, and invertible flows [2408.13114].

A useful boundary case is provided by nonlinear sparsity regularization for ill-posed inverse problems. The penalty
\[
\mathcal R_\eta(x)=\|x\|_{\ell_1}^2-\eta\|x\|_{\ell_2}^2,\qquad 0<\eta\le 1,
\]
is nonconvex, promotes sparsity, and is studied in a Tikhonov framework for nonlinear operator equations \(F(x)=y\). The paper establishes coercivity, weak lower semicontinuity, and Radon–Riesz for \(0<\eta<1\), sparse minimizers for \(q=2\), convergence rates of \(\mathcal O(\delta^{1/2})\) and \(\mathcal O(\delta)\) under different nonlinear assumptions on \(F\), and an iterative half variation algorithm. This is a nonlinear regularization method, but it is not presented as conformal; its organizing principles are sparsity, coercivity, source conditions, and tangential cone-type conditions rather than conformal geometry or conformal invariance [2508.16163].

Across the conformal literature proper, several recurring themes are explicit. Conformal regularization is repeatedly described as weaker than isometry but still meaningful, because it allows deformation while constraining anisotropy [2508.20413]. It often yields additional geometric observables, most notably a conformal factor and, in the \(2\)D latent case, scalar curvature [2508.20413]. In some settings it provides hard guarantees rather than heuristic smoothing, such as homeomorphism in registration under Ball-type assumptions [2303.08113] or global smoothness for regularized \(n\)-conformal heat flow when \(n\le 4\), \(f_0\in W^{5,2}(M,N)\), and \(b\) is large enough [2502.10679]. In relativistic field theory it acts less as a penalty term than as a compatibility condition that rules out arbitrary nonlinearities, fixing either the deformation flow or the interaction power through conformal structure [2210.00059] [1212.6000].

These differences matter for interpretation. “Nonlinear conformal regularization” is not a single algorithm or a single variational penalty. It is a broader research theme in which nonlinear models are constrained by conformal geometry, conformal invariance, conformal algebra, or conformal degree, and the specific mathematical form depends strongly on whether the target problem is manifold learning, registration, geometric flow, or quantum field theory.

Source: https://www.emergentmind.com/topics/nonlinear-conformal-regularization