Uniqueness Properties for Discrete equations and Carleman estimates

Using Carleman estimates, we give a lower bound for solutions to the discrete Schr"odinger equation in both dynamic and stationary settings that allows us to prove uniqueness results, under some assumptions on the decay of the solutions.