Non-symmetric polarization
Let P be an m-homogeneous polynomial in n-complex variables x1,…,xn. Clearly, P has a unique representation in the form \begin{equation*} P(x)= \sum_{1 \leq j_1 \leq \dotsc \leq j_m \leq n} c_{(j_1, \dotsc, j_m)} \, x_{j_1} \dotsb x_{j_m} \,, \end{equation*} and the m"~form \begin{equation*} L_P(x^{(1)}, \dotsc, x^{(m)})= \sum_{1 \leq j_1 \leq \dotsc \leq j_m \leq n} c_{(j_1, \dotsc, j_m)} \, x^{(1)}_{j_1} \dotsb x^{(m)}_{j_m} \end{equation*} satisfies LP(x,…,x)=P(x) for every x∈Cn. We show that, although LP in general is non-symmetric, for a large class of reasonable norms ∥⋅∥ on Cn the norm of LP on (Cn,∥⋅∥)m up to a logarithmic term (clogn)m2 can be estimated by the norm of P on (Cn,∥⋅∥); here c≥1 denotes a universal constant. Moreover, for the ℓp"~norms ∥⋅∥p, 1≤p<2 the logarithmic term in the number n of variables is even superfluous.
