Poincar´ecrystal on the one-dimensional lattice 1, Pei Wang ∗ 1Department of Physics, Zhejiang Normal University, Jinhua 321004, China (Dated: September 22, 2020) In this paper, we develop the quantum theory of particles that has discrete Poincar´esymmetry on the one-dimensional Bravais lattice. We review the recently discovered discrete Lorentz symmetry, which is the unique Lorentz symmetry that coexists with the discrete space translational symmetry on a Bravais lattice. The discrete Lorentz transformations and spacetime translations form the discrete Poincar´egroup, which are represented by unitary operators in a quantum theory. We find the conditions for the existence of representation, which are expressed as the congruence relation between quasi-momentum and quasi-energy. We then build the Lorentz-invariant many-body theory of indistinguishable particles by expressing both the unitary operators and Floquet Hamiltonians in terms of the field operators. Some typical Hamiltonians include the long-range hopping which fluctuates as the distance between sites increases. We calculate the Green’s functions of the lattice theory. The spacetime points where the Green’s function is nonzero display a lattice structure. During the propagation, the particles stay localized on a single or a few sites to preserve the Lorentz symmetry. I. INTRODUCTION theory does not conform to the Lorentz invariance, be- cause the continuous Lorentz symmetry does not survive The realization of intriguing lattice models, for exam- on a Bravais lattice. ples, the Bose-Hubbard1 and Haldane2 models, with ul- One way of resurrecting the Lorentz symmetry on a tracold atoms in optical lattices3 encourages researchers lattice is by employing a random lattice with the space- to continuously explore new quantum lattice theories time points sprinkled following a Poisson process9. Such with exotic properties. The spacetime translation, ro- a lattice was introduced in the causal set approach to tation, space inversion and time reversal symmetries all quantum gravity, which preserves Lorentz invariance on play important roles in the construction of a lattice the- average (see Ref. 10 for a recent review). For strictly- ory. The discrete space-translational symmetry causes preserved symmetries, the discrete Lorentz symmetry the continuous energy of a free particle broken into a was found recently11,12, which coexists with the discrete series of Bloch bands4. The rotation and parity symme- space-translational symmetry. A Bravais lattice of con- tries constrain the spectrum of particles. The discrete stant a keeps invariant under a cyclic group of Lorentz time-translational symmetry in periodically-driven sys- transformations in spite of length contraction. From clas- tems requires that the eigenstate and energy be replaced sical point of view, this is possible if the lattice is shaken by Floquet state and quasi-energy, respectively, and the periodically. In one frame of reference, a is the spa- latter was employed to classify the Floquet topological tial distance between two nearest-neighbor sites that are phases of matter in recent years5. The time reversal sym- oscillating in the same phase. In the second frame of metry leads to the Kramers’ degeneracy which is the key reference that is moving relative to the first one, these for understanding the topological insulators6. But the two sites have different phases due to the relativity of si- Lorentz symmetry has always been ignored in condensed multaneity so that they are not ”nearest neighbors” any matter physics. A question naturally arises as to whether more. But two sites at original distance na have the same there exists a quantum lattice model that has the Lorentz phase now, while their distance in the second reference symmetry. frame becomes a due to contraction. The periodicity The Lorentz symmetry is essentially important in along the time direction requires that the Bravais lattice quantum field theory which is indeed the result of efforts be extended into a spacetime lattice. In the language in reconciling quantum mechanics with Lorentz symme- of group, the discrete Lorentz transformations together try7. Wigner’s theorem paved the way for representing with the discrete translations on the spacetime lattice physical symmetry transformations by the unitary or an- form a group - the discrete Poincar´egroup which is a tiunitary operators in the Hilbert space8. The quantum subgroup of the continuous Poincar´egroup. If a physical field theories keep invariant under arbitrary spacetime theory keeps the same form under arbitrary coordinate translations and Lorentz transformations which form a transformation in the discrete Poincar´egroup, we say arXiv:2009.09441v1 [cond-mat.quant-gas] 20 Sep 2020 Lie group - the Poincar´egroup. The existence of ele- that the theory has the discrete Poincar´esymmetry. mentary particles with different spin or helicity can be In this paper, we develop a general approach to directly deduced from the fact that the Poincar´egroup construct the quantum theories that have the discrete has different irreducible representations. On the other Poincar´esymmetry on a one-dimensional Bravais lattice hand, in the study of crystalline materials or optical lat- of length N. We start from the representations of dis- tices which have the discrete space-translational symme- crete Poincar´egroup and utilize the finite-dimensional try like a Bravais lattice, the low-energy effective field property of the single-particle Hilbert space. Our ap- 2 proach is exhaustive. The Lorentz invariance is trans- The discrete Lorentz group is a subgroup of the con- lated into a self-consistent equation of quasi-energy and tinuous Lorentz group. Its elements are quasi-momentum, which is further changed into a congru- ence relation modulo N between integer variables. This γ(j) sign(j) γ(j)2 1/c L(j)= − , congruence equation has solutions for some but not all sign(j) γ(j)2 1 cp γ(j) − N. As examples, we enumerate the N (N < 100) for p (2) which the solutions exist, and study the corresponding where dispersion relations of a single particle. We then turn 1 j 1 j into the many-body theory of indistinguishable bosons γ(j)= γ(1) + γ(1)2 1 + γ(1) γ(1)2 1 or fermions, obtaining the expression of discrete Lorentz 2 − 2 − − p p (3) transformations and spacetime translations in terms of the field operators. It is appropriate to call such a many- and j = 0, 1, 2, is an integer. γ(1) > 1 is an in- body model a Poincar´ecrystal. For the convenience teger or half-integer,± ± ··· dubbed the generator. A discrete of designing an experiment, we construct the Floquet Lorentz group is uniquely determined by γ(1). Interest- Hamiltonians of the Poincar´ecrystals, which might pos- ingly, γ(j) at arbitrary j can be obtained by using the sibly be realized with ultracold atoms in optical lattices. iterative relation γ(j +1)=2γ(1)γ(j) γ(j 1), given The properties of a Poincar´ecrystal are studied. We cal- γ(0) = 1 and γ(1). In this paper, we consider− − an integer culate the Green’s functions, which exactly reflect the generator (γ(1) = 2, 3, ), hence γ(j) is an integer. We underlying Lorentz symmetry. ··· define ζ(j) = sign(j) γ(j)2 1/ γ(1)2 1, which sat- The paper is organized as follows. In Sec. II, we re- isfies a similar relation ζ(j +1)− = 2γ(1)ζ−(j) ζ(j 1) view the definitions of discrete Lorentz transformations p p with ζ(0) = 0 and ζ(1) = 1. One can prove− that −ζ(j) and discrete Poincar´egroup. Sec. III introduces the rep- is an integer. Some useful formulas about γ(j) and ζ(j) resentations of discrete Poincar´egroup which determine are listed in Appendix A. Now we reexpress the discrete how a single-particle quantum state transforms under Lorentz transformation as the unitary operators in the group. In Sec. IV, we con- struct the orthonormal basis of the single-particle Hilbert γ(j) ζ(j) γ(1)2 1/c L(j)= − . (4) space. In this process, the conditions for quasi-energy ζ(j) γ(1)2 1 cp γ(j) and quasi-momentum are found. The many-body the- − p ory of Poincar´ecrystal is developed in Sec. V in which An important property of L(j) is that it is equal to L(1) the field operators are defined, the symmetry transfor- to the power j. As a consequence, we have L(j + j′) = mations are expressed in terms of them, and the Flo- L(j)L(j′). The discrete Lorentz group is a cyclic group. quet Hamiltonians are presented. Sec. VI discusses the A general coordinate transformation is a combina- Green’s functions of a Poincar´ecrystal. Finally, Sec. VII tion of Lorentz transformation and spacetime translation, summarizes our results. which is expressed as t′ t ∆t II. DISCRETE POINCARE´ GROUP = L + , (5) x′ x ∆x The discrete Poincar´egroup is a group of coordinate where (∆t, ∆x)T is the translation vector. We use P transformations introduced in Ref. [11] and [12]. In this to denote such a transformation. P maps (t, x)T into section, we review its definition and properties. T (t , x ) . This fact can be used to derive the rule of mul- We consider the 1+1-dimensional spacetime, and use ′ ′ tiplication for P . All the P s form a continuous group xµ with µ = 0, 1 to denote the time and space coordi- - the so-called Poincar´egroup, which is well known in nates, respectively. Sometimes, we use t and x instead special relativity and quantum field theory. of x0 and x1. The spacetime metric η is diagonal with µν The discrete Poincar´egroup, denoted by , is a sub- elements η00 = 1 and η11 = 1. A Lorentz transforma- P − group of the continuous Poincar´egroup.