We give a construction of an efficient one-out-of-many proof system, in which a prover shows that he knows the pre-image for one element in a set, based on the hardness of lattice problems. The construction employs the recent zero-knowledge framework of Ly ...
An oblivious linear function evaluation protocol, or OLE, is a two-party protocol for the function f (x) = ax + b, where a sender inputs the field elements a, b, and a receiver inputs x and learns f (x). OLE can be used to build secret-shared multiplicatio ...
This thesis explores various approaches of studying the long-range colour order of antiferromagnetic SU(N) Heisenberg models with the linear flavour-wave theory (LFWT). The LFWT is an extension of the well-known SU(2) spin-wave theory to SU(N), and this se ...
We address two questions of Simon Thomas. First, we show that for any n >= 3 one can find a four-generated free subgroup of SLn (Z) which is profinitely dense. More generally, we show that an arithmetic group Gamma that admits the congruence subgroup prope ...
The special linear group G = SLn(Z[x(1), ... , x(k)]) (n at least 3 and k finite) is called the universal lattice. Let n be at least 4, and p be any real number in (1, infinity). The main result is the following: any finite index subgroup of G has the fixe ...
We study a quantum version of the three-state Potts model that includes as special cases the effective models of bosons and fermions on the square lattice in the Mott-insulating limit. It can be viewed as a model of quantum permutations with amplitudes J(p ...
We provide strong evidence that the S = 1 bilinear-biquadratic Heisenberg model with nearest-neighbor interactions on the square lattice possesses an extended three-sublattice phase induced by quantum fluctuations for sufficiently large biquadratic interac ...
We present a numerical study of the SU(3) Heisenberg model of three-flavor fermions on the triangular and square lattice by means of the density-matrix renormalization group and infinite projected entangled-pair states. For the triangular lattice we confir ...
Combining a semiclassical analysis with exact diagonalizations, we show that the ground state of the SU(3) Heisenberg model on the square lattice develops three-sublattice long-range order. This surprising pattern for a bipartite lattice with only nearest- ...
We study lattices in non-positively curved metric spaces. Borel density is established in that setting as well as a form of Mostow rigidity. A converse to the flat torus theorem is provided. Geometric arithmeticity results are obtained after a detour throu ...