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:

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:

of  and the expression:

for into it, yielding:

Now, integration with measure given:

yields:

Hence, only the terms with remain in:

and since integration with respect to gives us:

And, from the last two equalities, it follows that:

then after substituting it into:

we can derive:

Hence, the integrals with respect to and  are equal to one, yielding:

So, from:

and:

it follows that  is a LQC Wigner function in variables , completing the proof.

Next, we need to prove that the first momentum has the following property:

into the left-hand-side of:

yielding:

By using the red-area expression below

for , we can deduce:

repeating the step above, integrating by can be replaced by summing over :

and integrating by  yields:

thus since the sum over  equals one, we have:

substituting into it and using the definition of the LQC cylindrical functions:

we get:

Proving that the first momentum has the desired property:

Now, we need to show that the LQC Wigner-Moyal-Groenewold operator has the following property:

We substitute from:

into:

to obtain:

and by utilizing  from our definition:

it reduces to:

The same integration rules applied above go through now as well, yielding:

Combining the terms in the exponents and using the LQC cylindrical function above, we have:

Hence, we derived the LQC characteristic function  as a Fourier transform of :

Now, we must prove that the following operator:

is a Wigner-Moyal-Groenewold operator, where:

We start by substituting

into:

yielding:

and expanding the exponents into the Taylor series allows us to derive:

amounting to a proof that:

is a Wigner-Moyal-Groenewold operator for a homogeneous and isotropic space whose connection-form is gauge and diffeomorphism invariant, and by the symplecticity of the associated LQG holonomy-flux algebra, the Holst-Barbero-Immirzi 4-spinfold has the property of space-time uncertainty:

with: