Mixed-norm Brascamp–Lieb product block
Implementation & benchmark of arXiv:2608.17952 — Mixed-norm Brascamp-Lieb inequalities
Source paper: Mixed-norm Brascamp-Lieb inequalities arXiv:2608.17952 ⓘ · analyzed Sep 1, 2026
AI-generated research hypothesis, automatically tested. Not peer-reviewed.
Idea description
Construct a four-branch neural interaction whose inputs are affine projections of a two-dimensional latent coordinate and whose output is the weighted product prescribed by the theorem. Normalize this product by the corresponding branch L1 masses, yielding a feature whose mixed norm is theoretically bounded up to the inequality constant. Use the normalized interaction as an architecture component or as a replacement for an unconstrained multiplicative fusion layer.
Formulas
Mathematical statement
Theorem 1.1 states that for nonnegative functions f1,f2,f3,f4 from R to the nonnegative reals, the product g(x,y)=f1(x+y)^(2/7) f2(-x+y)^(2/7) f3(y)^(2/7) f4(x+3y)^(1/7) satisfies the mixed-norm bound ||g||_{L_x^{7/4}L_y^{7/3}} less than or comparable to ||f1||_{L^1}^{2/7} ||f2||_{L^1}^{2/7} ||f3||_{L^1}^{2/7} ||f4||_{L^1}^{1/7}. Here x and y are real latent coordinates, the four affine maps are x+y, -x+y, y, and x+3y, and the exponents sum to one. The mixed norm is defined by ||h||_{L_x^p L_y^q}=(integral over x of (integral over y of |h(x,y)|^q dy)^(p/q) dx)^(1/p). Let Mi=integral of fi(t) over t plus epsilon. Dividing g by M1^(2/7) M2^(2/7) M3^(2/7) M4^(1/7) gives a normalized interaction whose mixed norm is bounded by the implicit constant in the theorem.
Implementation notes
(1) Integrate the block at the fusion point of a small MLP or vision latent module. Let each minibatch provide two normalized latent coordinates u=(x,y), either on a fixed two-dimensional grid or as sampled points. Define four nonnegative branch networks fi(t)=softplus(hi(t)), with inputs t1=x+y, t2=-x+y, t3=y, and t4=x+3y. Compute g=f1(t1)^(2/7) f2(t2)^(2/7) f3(t3)^(2/7) f4(t4)^(1/7), then output the normalized feature g-tilde=g divided by M1^(2/7)M2^(2/7)M3^(2/7)M4^(1/7). (2) Estimate Mi by batch quadrature or a sample mean over scalar branch inputs, using epsilon=1e-6; use a stop-gradient version of Mi initially to prevent the branches from reducing their own normalization denominator. Concatenate g-tilde with the original latent vector and apply a learned linear projection. (3) Compute the empirical mixed norm by taking a mean over y raised to the 7/3 power, then a mean over x raised to the 7/4 power. The affine maps, fractional exponents, and target norm exponents come from the paper; quadrature and epsilon are implementation choices. (4) First test on a CIFAR-10 two-layer MLP with a two-dimensional bottleneck, comparing this block against ordinary multiplicative fusion plus LayerNorm and against additive fusion at matched parameter count. Measure activation mixed norms, gradient norms, training loss at equal FLOPs, validation accuracy, and robustness under a 10-fold learning-rate increase. Success means fewer activation or gradient spikes and equal or better accuracy without LayerNorm, or faster loss descent at matched compute.
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.