Translation invariance of wave functions are different from that in Neural networks, since wave functions have phases.
For state with momentum , we have the momentum-translation relation
Assume , and wish to obtain the state in desired momentum sector. Usually correspond to some elemental function applied on the output of a convolution layer. To make g more powerful, we can mix different features but not (as batch dimension).
The above form also pose some requirements on function .
For , momentum-translation relation is automatically satisfied using arbituary .
For , let , we have which is already a qualified solution. In order to keep this attribute, need to meet the phase keeping requirement . The folloing construction are legal
linear function that , let and the above result is straight forward,
nonlinear function that map to either or like ReLU,
elemental function that act on absolute part like with , ,
combination of phase keeping functions are also phase keeping.
For 1D model, , I calculated the RBM ground state in . For , we have the yellow line, which is the true ground state. And the blue line is the ground state in the block, both of them matches the exact diagonalization results (dashed, straight lines, don't believe the legend...). 
These ground states are obtained using ED.
columns are different sizes for chain varying from to , and rows are different varying from to .
Data element '-++' means system changes sign for translate 1 site operation (), keeps sign for spin flip () and space inversion symmetry .
| 2 | 4 | 6 | 8 | 10 | 12 | 14 | 16 | 18 | 20 | |
|---|---|---|---|---|---|---|---|---|---|---|
| 0.0 | ||||||||||
| 0.2 | ||||||||||
| 0.4 | ||||||||||
| 0.6 | ||||||||||
| 0.8 | ||||||||||
| 1.0 |
changes sign of wave function when and only when is odd.
For , are all positive for even and negative for odd .
For , have negative eigenvalue! This must be why I fail to get ground state for . Is there a phase transition? I suspect even representation power of our Ansaz is enough to describe signn structures of and , it can fail to describe sign structures for .