Positive weights at the minimal exact discretization

Let ΩRd\Omega\subset\mathbb{R}^d be a compact subset, let μ\mu be a finite measure on Ω\Omega, and let XNX_N be an NN-dimensional subspace of the real space L2(Ω,μ)L_2(\Omega,\mu) whose functions are defined at every point of Ω\Omega. Write

m(XN,w):=min{m:XNMw(m,2,0)}.m(X_N,w):=\min\{m:X_N\in\mathcal{M}^w(m,2,0)\}.

Suppose that nodes {ξj}j=1mΩ\{\xi^j\}_{j=1}^m\subset\Omega and weights {λj}j=1m\{\lambda_j\}_{j=1}^m, with m=m(XN,w)m=m(X_N,w), satisfy

Ωf2dμ=j=1mλjf2(ξj)\int_\Omega f^2\,d\mu=\sum_{j=1}^m\lambda_j f^2(\xi^j)

for every fXNf\in X_N. Positive-weight discretization conjecture. Then λj>0\lambda_j>0 for every j=1,,mj=1,\dots,m. This conjecture concerns whether a minimal exact weighted Marcinkiewicz-type discretization can always be chosen with, or must necessarily have, positive weights; the source formulates it as a conjecture posed in earlier work, and the supplied material gives no resolution.

Sources & referencesView supporting material

Primary source

I. V. Limonova, “On exact discretization of the L_2-norm with a negative weight”, arXiv:2104.13731 (2021).

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.