The positivity-induced triangle inequality for even-power forms

From papers

Let q1q\geq 1, and let stenRs_t en\mathbb{R} and vtRmv_t\in\mathbb{R}^m for t[w]t\in [w] satisfy

t=1wstvt,x2q0\sum_{t=1}^w s_t\langle v_t,x\rangle^{2q}\geq 0

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

(t=1wst(vt,x2+vt,y2)q)1/q(t=1wstvt,x2q)1/q+(t=1wstvt,y2q)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.

Progress summary

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

Sources & referencesView supporting material

Primary source

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

Solutions 0

No solutions have been posted yet.