I will derive a crucial property of loop quantum cosmology it shares with string/M-theory and asymptotically free quantum gravity theory, namely, that the associated Wigner-Moyal-Groenewold operator-formalism entails that the Holst-Barbero-Immirzi 4-spinfold has the property of spacetime uncertainty that I derived for string/M-theory, an essential property if loop quantum gravity is to be a valid quantum gravity theory. As I showed, in 4-D spacetime, the general relativistic starting point for canonical loop quantum gravity is given by:

where the dynamical variables are the tetrad one-form fields:

and the -valued connection whose curvature is:

and is a connection on the holonomy-flux algebra for a homogeneous isotropic Friedmann–Lemaître–Robertson–Walker ‘space’

Hence, we have the two-form:

with:

and is the Killing form on the Lie algebra :

with

the totally antisymmetric tensor given by:

Now, I can write down the Holst action more informatively:

and from the Ashtekar variables, our action is:

with the Gaussian constraint:

the diffeomorphism constraint:

and our Hamiltonian is given by:

The LQC Wigner-Moyal-Groenewold operator is the unique operator with the following properties:

the LQC Holst-cylindrical functions and the LQC characteristic function, the same as the Fourier transform of the the quasi probability density function of the group characters.

It immediately follows from Fourier phase space symplecticity that the LQC Wigner-Moyal-Groenewold operator satisfies the following relation:

and for the LQC characteristic function, we have:

noting that any connection is gauge and diffeomorphism invariant in homogeneous isotropic space.

We can now define the holonomy-flux algebra for homogeneous isotropic Friedmann–Lemaître–Robertson–Walker space model via:

where the holonomy and the flux operators act as:

The Hilbert space basis is given by the connection-lifter LQG spin-networks:

with the configuration variable corresponding to the connection, the number of the Fourier fiducial cell repetition, and satisfy:

and:

with a constant satisfying:

Let us derive now the Wigner function and show that it satisfies the property that when integrated by one variable it reduces to the distribution density of the other variable. Define it as:

with:

For the distribution density function to be definable, the mutual quasi distribution function of and the following two equalities should be true:

Hence, when integrating with respect to one variable it becomes the distribution density of the other one. The above equalities hold since our measures and satisfy:

and:

with the Bohr dual space and a Kronecker delta.

Now, the characters of the compactified line are the functions , hence the Fourier transform of the function on is given by:

which is an isomorphism of:

and comprise the basis of:

We need to prove the above equalities. First, substitute the expression:

of and the expression:

for into:

giving us:

with , and since integration with respect to is just a sum as is discrete, we have:

Now, using:

and integrating with respect to , we can derive:

Given , it follows that summation by makes the terms with equal to zero and the terms with equal to one and all terms with and vanish from the sum. Hence, by using:

we derive:

and to prove the equality:

we substitute the expression:

…