Rational rotation-minimizing frames on polynomial space curves of arbitrary degree (vol 45, pg 844, 2010)

The existence of rational rotation-minimizing frames on polynomial space curves is characterized by the satisfaction of a certain identity among rational functions. Part 2 of Remark 5.1 in the original paper states an inequality among the degrees of the denominators of these rational functions, but the proof given therein was incomplete. A formal proof of this inequality, which is essential to the complete categorization of rational rotation-minimizing frames on polynomial space curves, appears to be a rather formidable task. Since all known examples and special cases suggest that the inequality is correct, it is restated here as a conjecture rather than a definitive result, and some preliminary steps towards the proof are presented. (c) 2013 Elsevier B.V. All rights reserved.