Possible Duplicate:
Is SHA-512 bijective when hashing a single 512-bit block?
Is there any guarantee that there are no collisions for all 512-bit input values for SHA-512 (every 512-bit input has a unique output), or just that they are highly improbable and can't be algorithmically deduced?