Realization of Dirac quantization in loop quantum gravity

The system of gravity coupled to the non-rotational dust field is studied at both classical and quantum levels. The scalar constraint of the system can be written in the form of a true physical Hamiltonian with respect to the dust time. In the framework of loop quantum gravity, the scalar constraint is promoted to two versions of well-defined operators in a suitable Hilbert space of the coupled system, such that the physical Hamiltonian can become some symmetric operators. By the deparametrized form, a general expression of the solutions to either of the quantum scalar constraints is obtained, and the observables on the space of solutions can be constructed. Thus, the Dirac quantization procedure can be fully carried out in loop quantum gravity by this system.