Heavy neutrino mixing in the T2HK, the T2HKK and an extension of the T2HK with a detector at Oki Islands

We study the discovery potential for the mixing of heavy isospin-singlet neutrinos in extensions of the Tokai-to-Kamioka (T2K) experiment: The Tokai-to-Hyper-Kamiokande (T2HK), the Tokai-to-Hyper-Kamiokande-to-Korea (T2HKK), and a plan of adding a new detector at Oki Islands to the T2HK. We parametrize the mixing of heavy neutrinos in terms of a non-unitary mixing matrix acting on active flavors. It is shown that in the T2HK and T2HKK, the sensitivity to heavy neutrino mixing deteriorates for some values of $CP$-violating phases in the standard and the non-unitary mixing matrices, but the deterioration is drastically mitigated if a detector at Oki Islands is added to the T2HK. We also consider the feasibility of measuring the mass hierarchy and the standard $CP$-violating phase $\delta_{CP}$ in the presence of heavy neutrino mixing, by fitting experimental data with the standard oscillation parameters only, i.e., under the assumption of unitary mixing. It is revealed that such measurement can be performed to some accuracy in the T2HKK and the extension of the T2HK with a detector at Oki Islands, owing to the fact that data with largely varying $L/E$ are collected in these experiments, while it cannot be in the T2HK.