Designing watermarking codes that can withstand geometric and other desynchronization attacks is a notoriously difficult problem. One may ask whether these difficulties are due to limitations of current codes, or rather to fundamental limitations on achievable performance. This paper describes our recent results on this problem for blind and nonblind watermarking, and provides examples for which the theory applies.