Many questions have been asked about the general practice of converting rasterized images into a vector format, but this is not quite the same question I am asking.
Specifically, I'm interested in software/algorithms designed explicitly to convert antialiased, two-color raster images that were known to be created from vector images back into a vector format. I am aware of general purpose path tracer algorithms such as the ones that Inkscape comes with, however they tend to do quite poorly with regular basic shapes (such as a rounded rectangle) that are supposed to be uniform and mathematically prefect.
It seems to me that, given the knowledge that an antialiased raster image was created from a vector, that some degree of deriving a mathematically accurate vector should be feasible. Obviously the original Bezier handle information, etc. is not recoverable, but close approximation (closer than most path tracing algorithms that show up on the first page of Google results) seems realistic. To my knowledge, an antialiased line should indicate the (approximate) subpixel location of a line that passes through a 2x2 pixel area, therefore it seems probable that some software might be able to use this assumption to extract some additional information to ensure the resulting vector passes through/near the approximated subpixel location. However, I don't know of such software should it exist.
Therefore, does such an algorithm/software designed to re-vectorized rasterized vector images exist?