--- title: Multilinear-Extension Variant Overview url: https://www.emergentmind.com/topics/multilinear-extension-variant type: topic --- # Multilinear-Extension Variant Overview Across contemporary arXiv literature, the expression *multilinear-extension variant* denotes several non-equivalent constructions that extend a discrete function, a linear theorem, a Banach-space mapping, a Fourier extension operator, or an algebraic extension datum to a genuinely multivariable setting. The recurring pattern is the passage from an object defined on sets, vectors, operator ideals, measures, or crossed modules to a multilinear framework that preserves a specified structure such as simultaneous norm attainment, expectation-based relaxation, comonotonic cell decomposition, determinant-governed transversality, or cohomological coherence [1401.0488] [2107.07103] [2106.04116] [1701.06099] [2310.00565] [1501.04664]. | Setting | Original object | Multilinear-extension variant | |---|---|---| | Banach ideals | Linear Lindenstrauss theorem | Arens/Aron–Berner extensions with simultaneous norm attainment | | Combinatorial optimization | Discrete \(k\)-submodular or set functions | Multilinear or piecewise multilinear relaxations | | Harmonic analysis | Fourier extension or multiplier bounds | Determinant-weighted multilinear identities and restriction estimates | | Operator theory | Linear composition/extrapolation/maximal theorems | Multilinear mixed-norm, vector-valued, and variational extensions | | Algebra and category theory | Extensions classified by cocycles | Multi-extensions, butterflies, and bimonoidal functors | ## 1. Banach-space and bidual extension theory In Banach-space theory, the multilinear-extension variant is centered on Arens or Aron–Berner bidual extensions of continuous multilinear mappings. For Banach spaces \(E_1,\dots,E_n,F\), the space \(L(E_1\times\cdots\times E_n;F)\) is equipped with the norm \[ \|T\|=\sup\{\|T(x_1,\ldots,x_n)\|:x_i\in B_{E_i}\}. \] Given \(T\in L(E_1\times\cdots\times E_n;F)\), there are \(n!\) canonical Arens extensions \({}^{A_k}T:E_1^{**}\times\cdots\times E_n^{**}\to F^{**}\), indexed by permutations \(k\in S_n\), defined by iterated weak\(^*\) limits: \[ {}^{A_k}T(x_1^{**},\ldots,x_n^{**}) = w^*-\lim_{\alpha_{k(1)}}\cdots w^*-\lim_{\alpha_{k(n)}} J_F\!\big(T(x_1^{\alpha_1},\ldots,x_n^{\alpha_n})\big). \] The central result is a multilinear Lindenstrauss theorem inside Banach multilinear ideals: if a Banach ideal of \(n\)-linear forms is stable at the underlying product space, then forms whose Arens extensions simultaneously attain their norms at a common bidual point are dense in the ideal norm [1401.0488]. The theorem has several refinements. A regular Banach ideal admits a vector-valued version through an associated ideal of \((n+1)\)-linear forms; for trilinear forms, the stability hypothesis is automatic; and for regular bilinear ideals, bilinear maps whose two Arens extensions attain their norms at the same pair are dense. The symmetric setting yields a corresponding statement for symmetric multilinear maps and homogeneous polynomials: if \(X'\) is separable with the approximation property and \(Z\) is either a dual space or has property (3) of Lindenstrauss, then every \(T\in L_s^N(X;Z)\) can be approximated by symmetric multilinear maps whose Arens extensions simultaneously attain their norms, equivalently by polynomials whose Aron–Berner extensions attain their norms on the diagonal [1401.0488]. The structural mechanism is stability. For multilinear forms, stability is expressed through operators \(V_{j,a}\) built from coordinate projections \(P_j\) and the estimate \[ \|V_{j,a}(\Phi)\|_{\mathcal U}\le K\,\|\Phi\|_{\mathcal U}\,\|a\|. \] This supports a perturbative iteration that preserves the ideal and forces common norm attainment of all \(n!\) Arens extensions. The covered classes include minimal ideals, ideals dual to associative tensor norms, multiplicative sequences of symmetric ideals, nuclear, integral, extendible, and multiple \(p\)-summing multilinear forms, as well as Hilbert–Schmidt and multilinear Schatten classes on Hilbert spaces. The paper also records a structural limitation: the multiple \(2\)-summing ideal is multiplicative, hence stable, but is not dual to any associative tensor norm [1401.0488]. A parallel bidual-extension problem appears for almost Dunford–Pettis multilinear operators on Banach lattices. An \(m\)-linear operator is almost Dunford–Pettis if disjoint weakly null sequences in one coordinate are sent to norm-null sequences, with the other coordinates bounded. Aron–Berner extensions preserve this property under specific lattice hypotheses: finite-rank multilinear operators keep finite rank after extension; positive multilinear operators with genuine separately weak\(^*\)-weak\(^*\) continuous bidual extensions are separately almost Dunford–Pettis when the domain duals have the positive Schur property and the range has order continuous norm; and several bilinear and higher-order positive results are proved under order continuity or dual positive Schur assumptions [2210.01876]. The same paper shows that preservation can fail sharply: a positive separately almost Dunford–Pettis operator can have a unique Aron–Berner extension that is not separately almost Dunford–Pettis, and when the range contains \(\ell_\infty\), preservation for all positive multilinear operators is equivalent to the positive Schur property in some domain bidual [2210.01876]. ## 2. Continuous relaxations of discrete problems In combinatorial optimization, the multilinear-extension variant converts a discrete objective into a continuous one on a polyhedral or simplex-like domain. For a \(k\)-submodular function \(f:\{0,1,\dots,k\}^n\to\mathbb R_{\ge 0}\), the extension is defined on \[ \Delta_k^n:=\Bigl\{x\in[0,1]^{n\times k}:\sum_{j=1}^k x_{i,j}\le 1,\ \forall i\in[n]\Bigr\} \] by independent per-item label sampling: \[ F(x)=\mathbb E_{X\sim x}[f(X)]. \] This extension is multilinear in each coordinate, has zero within-item second derivatives, has element-wise non-positive Hessian across different items, and satisfies pairwise monotonicity of partial derivatives. A key estimate is the approximate-linearity bound \[ F(x')-F(x)\ge \sum_{i,j}(x'_{i,j}-x_{i,j})\frac{\partial F}{\partial x_{i,j}}(x)-n^2\delta^2 M \] when \(x'-x\in \delta\cdot \Delta_k^n\). These properties support Frank–Wolfe-type algorithms for monotone and non-monotone \(k\)-submodular maximization under matroid, knapsack, and mixed conjunction constraints \(P^c\), with a sampling-based gradient oracle and rounding procedures that reduce to submodular multilinear rounding after random label selection [2107.07103]. The resulting approximation guarantees are explicit. For monotone objectives, the framework yields \((1/2-\varepsilon)\)-approximation under a single matroid or \(O(1)\) knapsacks and \((0.3/b-\varepsilon)\)-approximation for the intersection of \(b\) matroids and \(O(1)\) knapsacks. For non-monotone objectives, the corresponding guarantees are \((1/3-\varepsilon)\) and \((0.2/b-\varepsilon)\). The analysis replaces the coordinatewise-max closure used in classical submodular multilinear extension by convex-combination closure in \(\Delta_k^n\), and uses pairwise monotonicity to correct non-monotone directions [2107.07103]. A different discrete-to-continuous construction is the piecewise multilinear extension of set functions. For \(f:P(V_1)\times\cdots\times P(V_k)\to\mathbb R\), the extension \(f_M\) is defined on \((\mathbb R^{n_1})\times\cdots\times(\mathbb R^{n_k})\) by sorting each block, forming threshold superlevel sets \(V_i(x)\), and summing over cells: \[ f_M(x^{(1)},\ldots,x^{(k)}) = \sum_{i_1=0}^{n_1-1}\cdots\sum_{i_k=0}^{n_k-1} \prod_{\ell=1}^k \bigl(x^{(\ell)}_{(i_\ell+1)}-x^{(\ell)}_{(i_\ell)}\bigr) \,f\bigl(V_{i_1}(x^{(1)}),\ldots,V_{i_k}(x^{(k)})\bigr). \] This extension is \(k\)-homogeneous, piecewise multilinear on comonotone cells, and reduces to the Lovász extension when one block varies and the others are frozen at characteristic vectors. The paper emphasizes a contrast with the classical multilinear extension on \([0,1]^n\): the classical version is globally multilinear, while the piecewise multilinear version is defined on all of \(\mathbb R^n\) and is multilinear only on each comonotone region [2106.04116]. The piecewise variant is used to prove exact discrete-to-continuous min–max equalities through the notion of perfect domain pairs, to identify inclusion chains of sets with comonotonicity of vectors, and to show that slice rank and rank are preserved under extension. The same framework leads to a spectral theory for pairs \((F,G)\) of locally Lipschitz \(p\)-homogeneous functions, with eigenpairs defined by \[ 0\in \partial F(x)-\lambda \partial G(x), \] and to min–max characterizations, mountain-pass formulas, nodal domain inequalities, duality theorems, and a correspondence between nonzero eigenvalues of the vertex \(p\)-Laplacian and the edge \(p^*\)-Laplacian [2106.04116]. ## 3. Harmonic-analytic extension operators and multiplier theorems In harmonic analysis, the phrase refers both to multilinear Fourier extension identities and to multilinear restriction or multiplier theorems. For a hypersurface \(\Sigma=\{(\xi,\phi(\xi)):\xi\in\mathbb R^{n-1}\}\), the Fourier extension operator is \[ Eg(x)=\int_{\mathbb R^{n-1}} e^{i(x'\cdot \xi + x_n\phi(\xi))}g(\xi)\,d\xi. \] For \(n\) hypersurfaces with phases \(\phi_j\), the determinant of the matrix whose rows are \((1,\nabla \phi_j(\xi_j))\) is the Jacobian governing a multilinear identity. The basic formula states that, under nonvanishing of this determinant on the relevant supports, \[ \int_{x_1+\cdots+x_n=0}\!\!\!\!\! |T_\sigma(g_1,\ldots,g_n)(x_1,\ldots,x_n)|^2\,dx_1\cdots dx_n = (2\pi)^{n(n-1)} \int \prod_{j=1}^n |g_j(\xi_j)|^2 \,|\det M(\xi_1,\ldots,\xi_n)|^{1-2\sigma}\,d\xi_1\cdots d\xi_n. \] For the paraboloid, the determinant becomes the volume form \(|\det(\xi_1,\ldots,\xi_n)|\), yielding higher-dimensional extensions of the Ozawa–Tsutsumi identity for free Schrödinger solutions. The same paper treats variable-coefficient oscillatory integrals under a multilinear transversality condition expressed through the determinant of \(X(\phi_j)\) vectors [1701.06099]. A different Fourier-extension variant concerns fractal measures. For compactly supported measures \(\mu_1,\dots,\mu_m\) on \(\mathbb R^d\), the extension operator is \[ E_\mu g(\xi)=\int g(x)e^{-2\pi i\,x\cdot \xi}\,d\mu(x)=\widehat{g\,\mu}(\xi). \] If the convolution \(\mu_1*\cdots *\mu_m\) belongs to \(L^r(\mathbb R^d)\), with \[ r=\frac{q(p-1)}{q(p-1)-p}, \qquad \frac1{q'}=\frac1p+\frac1r, \] then \[ \Big\|\prod_{j=1}^m E_{\mu_j}g_j\Big\|_{L^q(\mathbb R^d)} \le C_{d,m,p,q}\,\|\mu_1*\cdots *\mu_m\|_{L^r}^{1/p'} \prod_{j=1}^m \|g_j\|_{L^p(d\mu_j)}. \] This criterion interpolates transversality through \(L^r\)-integrability of convolution rather than smooth curvature. The paper also proves necessary conditions from upper box dimension and from Fourier decay plus a ball condition, showing that the admissible \(q\)-range becomes more restrictive when the convolution is singular [2602.08568]. A third analytic variant is a multilinear Hörmander multiplier theorem with a Lorentz–Sobolev condition. For an \(m\)-linear Fourier multiplier \(T_\sigma\), if \(mn/21\) [2005.01213]. ## 4. Extensions of operator theorems to mixed-norm, vector-valued, and noncommutative settings Several papers use a multilinear-extension variant to transport a linear or scalar theorem to richer function-space environments. One example is the Kenig–Stein multilinear fractional integral \[ I_\lambda^{(m)}(f_1,\dots,f_{m+1})(x) = \int_{(\mathbb R^n)^m} \frac{\prod_{i=1}^{m+1} f_i(l_i(x_1,\dots,x_m,x))} {(|x_1|+\cdots+|x_m|)^\lambda}\,dx_1\cdots dx_m, \] which is linearized as an operator \(T_\lambda\) on mixed-norm spaces \(L^{\vec p}(\mathbb R^{(m+1)n})\). The paper gives a complete characterization of boundedness \(T_\lambda:L^{\vec p}\to L^q\) under the homogeneity relation \[ \sum_{i=1}^{m+1}\frac{1}{p_i}+\frac{1}{q}+\frac{\lambda}{n}=m, \] together with relaxed structural assumptions on the block matrix \(A\) defining the linear maps \(l_i\). For \(m=1\) and for \(n=1\), the characterization is necessary and sufficient [1902.04527]. A second strand extends Rubio de Francia extrapolation to the multilinear limited-range and vector-valued setting. If an \(m\)-(sub)linear operator satisfies scalar weighted bounds \[ T:L^{p_1}(w_1^{p_1})\times\cdots\times L^{p_m}(w_m^{p_m})\to L^p(w^p) \] for weights \(w_j\in A_{p_j/p_j^-}\cap RH((p_j^+/p_j)')\), then, under \(X_j\in UMD_{p_j^-,p_j^+}\) and \(X=X_1\cdots X_m\), the same bounds extend to Bochner spaces: \[ \|T(f_1,\dots,f_m)\|_{L^p(w;X)} \le C'\prod_{j=1}^m \|f_j\|_{L^{p_j}(w^j;X_j)}. \] This framework yields vector-valued bounds for the bilinear Hilbert transform, multilinear Calderón–Zygmund operators, Fourier multipliers, Bochner–Riesz operators, and spherical maximal operators [1712.08157]. The same extension logic appears in noncommutative Calderón–Zygmund theory. Standard multilinear singular integrals are extended to tuples of UMD spaces tied by a natural product structure, including pointwise products in UMD function lattices and operator composition in Schatten–von Neumann classes. The main result gives sparse domination and \(L^p\) bounds for these Banach-valued extensions without assuming the Rademacher maximal function property. The resulting generality covers noncommutative \(L^p\) spaces and yields new fractional Leibniz rules, including Schatten-class versions [1905.02139]. A different theorem of this type is a multilinear, multiparameter, strong \(r\)-variational extension of the Christ–Kiselev maximal theorem. If \[ \mathcal T:\prod_{i=1}^k L^{p_i}(Y_i)\to L^q(X) \] is bounded, then the truncations associated with products of filtrations satisfy strong \(r\)-variation bounds whenever \(r>\max_i p_i\) and \(r\le q\): \[ \big\|V^r\big((\mathcal T_{\mathbf N_1,\dots,\mathbf N_k}(f_1,\dots,f_k))\big)\big\|_{L^q(X)} \le C_{\mathbf p,q,r}\prod_{i=1}^k \|f_i\|_{L^{p_i}(Y_i)}. \] The paper also proves failure at the endpoint \(r=p\) for Fourier truncations when \(p>1\) [2503.22844]. At a more structural level, Pietsch’s composition theorem for absolutely summing linear operators has a “natural perfect extension” to multilinear and polynomial mappings via the composition multi-ideal \(C\Pi_p\). If \(1/r=1/p+1/q\), then \[ \Pi_q(Y;Z)\circ C\Pi_p(X_1,\dots,X_n;Y)\subset C\Pi_r(X_1,\dots,X_n;Z), \] with the analogous statement for homogeneous polynomial ideals. The same paper studies cotype-based refinements for concrete multilinear classes such as dominated and multiple summing operators [1101.2119]. ## 5. Algebraic and categorical multi-extensions In universal algebra, a multilinear-extension variant classifies extensions in varieties of \(R\)-modules equipped with multilinear operations. For a datum \((Q,I)\), a \(2\)-cocycle \(T\) produces an extension \(I\times_T Q\) on the set \(I\times Q\) with operations \[ (a,x)+(b,y)=(a+b+T_+(x,y),x+y),\qquad r\cdot(a,x)=(r\cdot a+T_r(x),r\cdot x), \] and multilinear operations involving action terms \(a(f,s)\) and strict terms \(T_f\). The paper proves that \(V\)-compatible \(2\)-cocycles classify extensions up to equivalence through \(H^2(Q,I)\), and in the affine case obtain an additive cohomology theory \(H^2(Q,I,*)\). It further establishes a Wells-type exact sequence \[ 0\to \mathrm{Der}(Q,I,*)\to \mathrm{Der}_I M\to c(I,Q,*)\to H^2_{RMF}(Q,I,*) \] for group-trivial affine extensions, and a low-dimensional Hochschild–Serre exact sequence \[ 0\to H^1(Q,A^I,\hat *)\to H^1(M,A,*)\to H^1(I,A,*)^I\to H^2(Q,A^I,\hat *)\to H^2(M,A,*) \] for an extension with an additional affine action [2310.00565]. In higher category theory, bimonoidal functors are encoded by nonabelian biextensions and their \(n\)-variable analogues. For braided crossed modules, a biextension of \(H\) and \(K\) by \((G_1,G_0)\) is a \((G_1,G_0)\)-torsor over \(H\times K\) with two partial product laws and an interchange constraint governed by the braiding. A butterfly adds compatible trivializations on pullbacks, and there is an equivalence between butterflies and bimonoidal functors. This extends to \(n\)-butterflies and \(n\)-variable bimonoidal functors, with a composition law given by wing juxtaposition. The resulting multilinear functor calculus is organized as an equivalence of bi-multicategories, and ring-like stacks are classified by third Mac Lane cohomology \(HML^3(A,M)\) [1501.04664]. ## 6. Obstructions, sharpness, and other multilinear extensions A repeated theme is that multilinear extension does not automatically preserve the linear or scalar theory. In Banach ideals, qualitative density holds but the Lindenstrauss–Bishop–Phelps–Bollobás quantitative property fails on \(\ell_1\times\cdots\times\ell_1\); in lattice theory, Aron–Berner extension can destroy the almost Dunford–Pettis property unless positive Schur or order-continuity hypotheses are imposed; in Christ–Kiselev theory, strong \(r\)-variation fails at \(r=p\) for \(p>1\); in multilinear fractal restriction, box-dimension and Fourier-decay Knapp-type obstructions can force a stricter \(q\)-range; and in the Lorentz–Sobolev multiplier theorem, the endpoint space \(L_s^{mn/s,1}\) is genuinely sharp [1401.0488] [2210.01876] [2503.22844] [2602.08568] [2005.01213]. These results rule out the assumption that multilinearization is merely formal. Another strand extends a classical mean-value theorem rather than an operator estimate. For bounded multiplicative functions \(f_1,\dots,f_\ell\) and linear forms \(L_j:\mathbb N^d\to\mathbb N\), the average \[ \frac{1}{N^d}\sum_{m\in[N]^d}\prod_{j=1}^\ell f_j(L_j(m)) \] has an asymptotic of Halász type: \[ \frac{1}{N^d}\sum_{m\in[N]^d}\prod_{j=1}^\ell f_j(L_j(m)) = c\,N^{it}\,e(w(N))+o(1). \] When the linear forms are pairwise independent, one can take \(t=\sum_j t_{f_j}\) and \(w=\sum_j w_{f_j}\), where \(t_{f_j}\) and \(w_{f_j}\) are the parameters from the one-dimensional Halász–Delange theory. The same paper proves convergence for real-valued multiplicative functions, convergence of the modulus for bounded complex-valued multiplicative functions, and convergence of conjugate-paired multilinear averages; it presents the result as a two-dimensional variant of Elliott’s conjecture [1502.02646]. Taken together, these papers show that *multilinear-extension variant* is best understood as a family resemblance across fields. In each case, the extension is controlled by a rigid compatibility principle: weak\(^*\) iterated limits in Banach-space theory, independent sampling or threshold-cell decomposition in optimization, determinant or convolution transversality in harmonic analysis, weighted extrapolation or product-structure duality in operator theory, and cocycle or butterfly coherence in algebra and category theory. Source: https://www.emergentmind.com/topics/multilinear-extension-variant