The positivity-induced triangle inequality for even-power forms

About 6 years old · traced to

Let q≥1q\geq 1, and let stenRs_t en\mathbb{R} and vt∈Rmv_t\in\mathbb{R}^m for t∈[w]t\in [w] satisfy

∑t=1wst⟨vt,x⟩2q≥0\sum_{t=1}^w s_t\langle v_t,x\rangle^{2q}\geq 0

for every x∈Rmx\in\mathbb{R}^m. Positivity-induced triangle inequality. For all x,y∈Rmx,y\in\mathbb{R}^m,

(∑t=1wst(⟨vt,x⟩2+⟨vt,y⟩2)q)1/q≤(∑t=1wst⟨vt,x⟩2q)1/q+(∑t=1wst⟨vt,y⟩2q)1/q.\left(\sum_{t=1}^w s_t\left(\langle v_t,x\rangle^2+\langle v_t,y\rangle^2\right)^q\right)^{1/q}\leq \left(\sum_{t=1}^w s_t\langle v_t,x\rangle^{2q}\right)^{1/q}+\left(\sum_{t=1}^w s_t\langle v_t,y\rangle^{2q}\right)^{1/q}.

This inequality would extend the preceding argument for the matrix Khintchine-type upper bound to decompositions in which the coefficients sts_t need not all be nonnegative, and would yield the cited upper-bound lemma.

References

Primary source

Zhao Song and Ruizhe Zhang, “Hyperbolic Concentration, Anti-concentration, and Discrepancy”, arXiv:2008.09593 (2022).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.