Are there known upsampling/downsampling algorithms that are direct inverses of each other?

Not in general - the downsampling operation loses information.