When several zeros are close to each other, spectrum should probably treat them as a single higher-degree zero.
MPSolve sets root status to MPS_ROOT_STATUS_APPROXIMATED_IN_CLUSTER, if it is unable to separate a cluster of roots.
The distance between the roots is ~ 2^{-N}, where N is (binary) --precision.
However, generally the SDPB solution has lower accuracy ~ dualityGap, so if a distance between two zeros is ~ dualityGap, we should merge them.
It makes sense to add an option --minZeroDistance and set it to something larger than dualityGap (as we do with --threshold).
NB: a multiple zero will probably lead to higher-rank OPE matrices, so merging zeros should be addressed together with #285. Will the degree of zero be equal to the OPE matrix rank?
When several zeros are close to each other, spectrum should probably treat them as a single higher-degree zero.
MPSolve sets root status to
MPS_ROOT_STATUS_APPROXIMATED_IN_CLUSTER, if it is unable to separate a cluster of roots.The distance between the roots is
~ 2^{-N}, where N is (binary)--precision.However, generally the SDPB solution has lower accuracy
~ dualityGap, so if a distance between two zeros is~ dualityGap, we should merge them.It makes sense to add an option
--minZeroDistanceand set it to something larger than dualityGap (as we do with--threshold).NB: a multiple zero will probably lead to higher-rank OPE matrices, so merging zeros should be addressed together with #285. Will the degree of zero be equal to the OPE matrix rank?