Mollified Transport-Quantile Layer
Implementation & benchmark of arXiv:2607.19080 — The Influence Function of Transport-based Quantiles
Source paper: The Influence Function of Transport-based Quantiles arXiv:2607.19080 ⓘ · analyzed Aug 30, 2026
AI-generated research hypothesis, automatically tested. Not peer-reviewed.
Idea description
Use a transport map \(Q_\theta\) from a fixed latent reference distribution to a data distribution, but expose only its locally averaged version \(\bar Q_{\theta,\sigma}(z)=\mathbb E_{u\sim K_\sigma(\cdot-z)}Q_\theta(u)\). Latent-space mollification integrates the pole-type influence singularity instead of allowing one training sample near \(Q_\theta(z)\) to dominate the quantile feature or its gradient.
Formulas
Mathematical statement
The paper defines the transport quantile map as the unique squared-Euclidean optimal transport map \(\mathbf Q_P=T_{\mu\to P}\) satisfying \(\mathbf Q_P\#\mu=P\), where \(\mu\) is a fixed reference measure, \(P\) is the target distribution, and \(\#\) denotes push-forward. Under Huber contamination \(P_t=(1-t)P+t\delta_{x_0}\), the pointwise influence function is \(\mathbf I(x_0;\mathbf Q_P(z))=\lim_{t\downarrow0}[\mathbf Q_{P_t}(z)-\mathbf Q_P(z)]/t=\nabla G_{x_0}(z)\), where \(G_{x_0}\) solves the paper's uniformly elliptic Dirac-source problem with Neumann boundary conditions. For dimension \(d\ge2\), with \(\mathbf F_P=\mathbf Q_P^{-1}\), the paper establishes the pole behavior \(\|\mathbf I(x_0;\mathbf Q_P(z))\|\asymp\|z-\mathbf F_P(x_0)\|^{-(d-1)}\). The adapted layer convolves the query variable with a normalized kernel \(K_\sigma\): \(\bar{\mathbf Q}_{P,\sigma}(z)=\int K_\sigma(z-u)\mathbf Q_P(u)\,du\), \(K_\sigma(v)=\sigma^{-d}K(v/\sigma)\), \(\int K(v)dv=1\). The corresponding smoothed influence function is \(\bar{\mathbf I}_\sigma(x_0;z)=\int K_\sigma(z-u)\mathbf I(x_0;\mathbf Q_P(u))du\). Because the singularity is locally integrable in \(d\) dimensions, averaging over \(u\) removes the pointwise pole.
Implementation notes
1. Integration point: implement this as the readout of a transport decoder, quantile embedding, or VAE/world-model decoder whose network \(Q_\theta:\mathbb R^d\to\mathbb R^D\) maps fixed latent samples \(z\sim\mu\) to data-space points. Replace every pointwise call \(Q_\theta(z)\) used in a reconstruction loss, downstream predictor, or decoder output by the mollified call \(\bar Q_{\theta,\sigma}(z)\). Use Gaussian noise for \(K\), so \(\varepsilon_m\sim\mathcal N(0,I_d)\), and backpropagate through all \(M\) evaluations. 2. Pseudocode: inputs are query \(z\), bandwidth \(\sigma\), and Monte Carlo count \(M\); sample \(\varepsilon_1,\ldots,\varepsilon_M\); compute \(y_m=Q_\theta(z+\sigma\varepsilon_m)\); return \(\bar y=M^{-1}\sum_m y_m\). During training, draw fresh noise each step and anneal \(\sigma\) from an initial value such as \(0.1\) to a final value such as \(0.02\), or learn \(\log\sigma\) subject to a lower bound. Add a consistency penalty \(\|Q_\theta(z)-\bar Q_{\theta,\sigma}(z)\|^2\) if excessive smoothing reduces fidelity. 3. The paper supplies the transport definition, contamination derivative, and pole exponent \(d-1\); the implementation estimates the integral by Monte Carlo and treats \(\sigma\) and \(M\) as hyperparameters. Estimate empirical sensitivity using minibatch gradient variance \(\operatorname{tr}\operatorname{Cov}_B[\nabla_\theta\ell(\bar Q(z),x)]\), the 99.9th percentile of per-example gradient norms, and loss variance across repeated minibatches. 4. First experiment: train a small 2D transport decoder or VAE on a Gaussian-mixture dataset, comparing the pointwise baseline \(M=1,\sigma=0\) against \(M\in\{4,8\}\) and \(\sigma\in\{0.02,0.05,0.1\}\). Measure reconstruction error, held-out negative log likelihood or downstream classification accuracy, gradient-norm variance, maximum per-example gradient norm, and wall-clock cost. The hypothesis is a substantial reduction in gradient spikes and a smoother validation-loss curve, with equal or better accuracy; sweep \(M\) at inference to test whether \(M=4\) captures most of the stability benefit at modest cost.
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.