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 $SL\left( {2,\mathbb{C}} \right)$-valued connection $\omega _\mu ^{IJ}$ 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 ${\rm{Tr}}$ is the Killing form on the Lie algebra $SL\left( {2,\mathbb{C}} \right)$:

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:

$\psi$ the LQC Holst-cylindrical functions and $M\left( {\tau ,\theta } \right)$ 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 $c$ 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 $c$ the configuration variable corresponding to the connection, $\mu$ the number of the Fourier fiducial cell repetition, and satisfy:

and:

with $a$ 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 $\mu$ and $c$ 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 $dc$ and $d\mu$ satisfy:

and:

with ${\hat R_b}$ the Bohr dual space and ${\delta _{\mu ,0}}$ a Kronecker delta.

Now, the characters of the compactified line ${R_b}$ are the functions ${h_\mu }\left( c \right) = {e^{i\mu c}}$, hence the Fourier transform of the function on ${R_b}$ is given by:

which is an isomorphism of:

and ${e^{i\mu c}}$ comprise the basis of:

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

of $F\left( {\mu ,c} \right)$ and the expression:

for $\psi \left( c \right)$ into:

giving us:

with $\tau \in {R_b},\;\mu \in R$, and since integration with respect to $\mu$ is just a sum as $\mu$ is discrete, we have:

Now, using:

and integrating with respect to $\tau$, we can derive:

Given $\mu \in R$, it follows that summation by $\mu$ makes the terms with $2\mu \ne {\mu _k} + {\mu _n}$ equal to zero and the terms with $\mu = {\mu _k} + {\mu _n}$ equal to one and all terms with $\tau$ and $\mu$ vanish from the sum. Hence, by using:

we derive:

and to prove the equality:

we substitute the expression:

of ${F\left( {\mu ,c} \right)}$ and the expression:

for $\psi \left( c \right)$ into it, yielding:

Now, integration with measure $dc$ given:

yields:

Hence, only the terms with ${\mu _k} = {\mu _n}$ remain in:

and since integration with respect to $d\tau$ 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 $d\tau$ and $dc$ are equal to one, yielding:

So, from:

and:

it follows that $F\left( {\mu ,c} \right)$ is a LQC Wigner function in variables $\mu$$c$, completing the proof.

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

with $c,{\tau _0} \in {R_b}$. Start with substituting the red area:

into the left-hand-side of:

yielding:

By using the red-area expression below

for $\psi \left( c \right)$, we can deduce:

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

and integrating by $\tau$ yields:

thus since the sum over $\tau$ equals one, we have:

substituting $2\mu = {\mu _k} + {\mu _n}$ 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 $F\left( {\mu ,c} \right)$ from:

into:

to obtain:

and by utilizing $\psi \left( c \right)$ 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 $M\left( {\tau ,\theta } \right)$ as a Fourier transform of $F\left( {\mu ,c} \right)$:

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: