The difference between these should be the same as the difference between the thinpool data device's total size and it's total used value as obtained via devicemapper.

AllocatedSize and TotalPhysicalUsed should be obtained via the D-Bus but the thinpool data device information would probably have to be obtained via dmsetup.