REVIEW 4 cited by
On the lowest possible dimension of supports of solutions to the discrete Schrodinger equation
Not yet reviewed by Pith; the record is open.
This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.
SPECIMEN: schema-true, not a live event
T0 review · schema-true
One-sentence machine reading of the paper's core claim.
pith:XXXXXXXX · record.json · timestamp
Signed reviews
abstract
In this article we study the possible size of support of solutions to the discrete stationary Schrodinger equation $\Delta u(x)+V(x)u(x)=0$ in $\mathbb{Z}^d$. We show that for any nonzero solution to any discrete stationary Schrodinger equation the dimension of the support is at least $\log_2(d)-7.$ In the related setting of $\mathbb{Z}_2$-valued harmonic functions in $\mathbb{Z}^d$ one can improve the estimate on support's dimension to $\log_2(d).$ However, we also provide an example where a $\mathbb{Z}_2$-valued harmonic function in $\mathbb{Z}^d$ has a fractal-like support with dimension $\log_2(d)+1$. This fractal satisfies a recurrence relation: $$X = 2X+\{e_1,-e_1,\dots,e_d,-e_d\}.$$ This example and estimate provide an answer to the Malinnikova's question about the smallest size of set $X\subset\mathbb{Z}^d$ such that no cross contains exactly one point of $X$.
Forward citations
Cited by 4 Pith papers
-
Quantitative Unique Continuation on Simplex and $\mathbb{Z}^n$
For every n≥3, non-trivial solutions on the simplex lattice Δ_N^{(n)} and on Z^n have at least c N^{⌈n/2⌉} (resp. c L^{⌈n/2⌉}/log L) sites where the value is not exponentially small.
-
Sparse supports of lattice eigenfunctions: quantitative growth and algebraic rigidity
Harmonic functions on Z^d with u(0) nonzero have at least (10^(-10)/d) n^2 nonzero values in each n-cube, and this n^2 order is sharp in dimension three.
-
Discrete Unique Continuation on Simplex
A nonzero balanced value in a function satisfying complete oriented-simplex cancellation forces support at least c_n R^{ceil(n/2)}, an exponent shown optimal by explicit examples.
-
On Support Cardinality for the Discrete Schr\"odinger Equation
Minimal support cardinality S_d(N) of nontrivial origin-nonzero Dirichlet solutions is nondecreasing in d, so S_4(N) ≳ N²/log N, matching even-dimensional constructions up to a log factor.
Discussion (0). Continue with ORCID to comment.