Uniqueness properties for discrete equations and Carleman estimates

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