Uniform stable approximation conjecture for the parametric approximation sets

About 4 years old · traced to

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 vP∈APv_{P}\in\mathcal{A}_{P}, there are M∈NM\in\mathbb{N} and μ∈CM\boldsymbol{\mu}\in\mathbb{C}^{M} satisfying

∥vP−TΨP,Mμ∥A≤η∥vP∥A,∥μ∥ℓ2≤CMs∥vP∥A.\|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∗:=sup⁡P∈N{s(P)}<∞,C∗:=sup⁡P∈N{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.

References

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.