In paper 'Bilu–Linial Stable Instances of Max Cut and Minimum Multiway', Definition 1.1 originates from another paper that you've read. Provide the full name of that paper.