update N=4 and general results with Panraksa's thms

also fixed x -> z notation
rename subsections
minor fix

missing end brace
also added a question on a comment
and a line break in the introduction
rewrote introduction and N=4 case in report-th

The N=4 case is almost completely rewritten; good to review carefully.