Uniform stable approximation conjecture for the parametric approximation sets

Let AP\mathcal{A}_{P} be the finite-dimensional truncation of the parametric Hilbert space A\mathcal{A}, let ΨP,M\boldsymbol{\Psi}_{P,M} denote the first MM sampling functionals in the approximation set ΨP\boldsymbol{\Psi}_{P}, and let TΨP,M\mathcal{T}_{\boldsymbol{\Psi}_{P,M}} be their approximation operator. Fix the tolerance η\eta appearing in the conjecture.

Uniform stable approximation conjecture. The sequence ΨP\boldsymbol{\Psi}_{P} is a stable approximation for AP\mathcal{A}_{P}: there exist s=s(P)0s=s(P)\geq 0 and C=C(P)0C=C(P)\geq 0 such that, for every vPAPv_{P}\in\mathcal{A}_{P}, there are MNM\in\mathbb{N} and μCM\boldsymbol{\mu}\in\mathbb{C}^{M} satisfying

vPTΨP,MμAηvPA,μ2CMsvPA.\|v_{P}-\mathcal{T}_{\boldsymbol{\Psi}_{P,M}}\boldsymbol{\mu}\|_{\mathcal{A}}\leq\eta\|v_{P}\|_{\mathcal{A}},\qquad \|\boldsymbol{\mu}\|_{\ell^{2}}\leq C M^{s}\|v_{P}\|_{\mathcal{A}}.

Moreover, the smallest such exponent and constant are uniformly bounded in PP:

s:=supPN{s(P)}<,C:=supPN{C(P)}<.s^{*}:=\sup_{P\in\mathbb{N}}\{s(P)\}<\infty,\qquad C^{*}:=\sup_{P\in\mathbb{N}}\{C(P)\}<\infty.

This is the paper's main conjectural stable approximation result. Numerical experiments indicate excellent approximation and stability for the associated sets, whereas a rigorous analysis proving the asserted bounds is not yet available.

Sources & referencesView supporting material

Primary source

Emile Parolin, Daan Huybrechs and Andrea Moiola, “Stable approximation of Helmholtz solutions in the disk by evanescent plane waves”, arXiv:2202.05658 (2023).

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.