Some contrivances for HPhi (only in Jananese)
How to construct TPQ state for Sz-conserved systems