ablowitz-ramani-segur conjecture