Let
L be a quantum logic and let
S(L) denote the set of all states on
L. (By a state we mean a nonnegative bounded
σ-additive measure, not necessarily normalized.) We ask whether every logic whose state space is a lattice has to be Boolean. We prove that this is so for finite logics and "projection logics." On the other hand, we show that there exist even concrete non-Boolean logics with a lattice state space (in fact, we prove that every countable concrete logic can be enlarged to a logic with a lattice state space). In the appendix we shortly consider the lattice properties of the set of observables and correct the paper [10].
Using a recently introduced tensor network method, we study the density of states of the lattice Schwinger model, a standard testbench for lattice gauge theory numerical techniques, but also the object of recent experimental quantum simulations. We identify regimes of parameters where the spectrum appears to be symmetric and displays the expected continuum properties even for finite lattice spacing and number of sites. However, we find that for moderate system sizes and lattice spacing of $ga\ensuremath{\sim}O(1)$, the spectral density can exhibit very different properties with a highly asymmetric form. We also explore how the method can be exploited to extract thermodynamic quantities.
A real-space renormalization-group transformation is constructed between blocks of linear dimensions
bL and
L to study the ground-state properties of quantum lattice models. In this scheme it is possible (i) to estimate the errors due to the irrelevant variables, including boundary effects, and (ii) to test scaling explicitly, so that an accurate calculation can be performed over the entire range of the parameter space. Application to the one-dimensional Ising model in a tranverse field yields excellent results.