块编码：SELECT/PREPARE 与三种构造

把非酉矩阵装进酉算符——定义不等式、LCU 推导与误差传播