On a conjecture of Huang--Lian--Yau--Yu

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.