We verify a formula on the solution rank of the tautological system arising from ample complete intersections in a projective homogeneous space of a semisimple group conjectured by Huang--Lian--Yau--Yu arXiv:1801.01194. As an application, we prove the existence of the rank one point for such a system, where mirror symmetry is expected.
Comment: 9 pages. Comments are welcome. In this version, we fix some typos and an issue in our earlier proof