<p>How sparse can a nontrivial solution of a discrete Schrödinger equation be? In this note, we study Dirichlet solutions on a finite <i>d</i>-dimensional lattice box, allowing an arbitrary real potential, and measure sparsity by the number of lattice sites at which the solution is nonzero (assuming it is nonzero at the origin). Our main result is a dimension-reduction principle: the minimal possible support size cannot decrease when the dimension increases. Consequently, any lower bound proved in dimension <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(d-1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>d</mi> <mo>-</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation> automatically yields the same lower bound in dimension <i>d</i>. As an application, we obtain a nearly sharp lower bound in four dimensions, matching the best known two-dimensional constructions up to a logarithmic factor.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

On support cardinality for the discrete Schrödinger equation

  • Linjun Li

摘要

How sparse can a nontrivial solution of a discrete Schrödinger equation be? In this note, we study Dirichlet solutions on a finite d-dimensional lattice box, allowing an arbitrary real potential, and measure sparsity by the number of lattice sites at which the solution is nonzero (assuming it is nonzero at the origin). Our main result is a dimension-reduction principle: the minimal possible support size cannot decrease when the dimension increases. Consequently, any lower bound proved in dimension \(d-1\) d - 1 automatically yields the same lower bound in dimension d. As an application, we obtain a nearly sharp lower bound in four dimensions, matching the best known two-dimensional constructions up to a logarithmic factor.