In the new paper, Zhang and his collaborators verified their approach by testing it on time-series data, ensuring that it produced a known underlying structure.

These studies demonstrate that the conditions under which computable structures exhibit unique categoricity are inextricably linked with computational complexity limits [3].