Математически пробив: Нова елиптична крива счупи рекорда по сложност

През август тази година двама математици направиха откритие, което привлече вниманието на цялата научна общност: те успяха да открият необичайна елиптична крива, която счупи досегашния рекорд по сложност. Този успех засяга един от най-старите и фундаментални въпроси в математиката, свързан с уравнения, които са на хиляди години.

Елиптичните криви, чийто произход може да се проследи до времето на Древна Гърция са се превърнали в неразделна част от различни области на научните изследвания. Тяхната структура има дълбоки и сложни характеристики, върху които математиците са изградили мощни техники и теории.

През 1994 гoдина те заемат централно място в доказателството на Последната теорема на Ферма, върху което работи Андрю Уайлс, решавайки един от най-важните нерешени проблеми в теорията на числата. Елиптичните криви играят ключова роля и в съвременната криптография.

Въпреки значителния напредък в изучаването на елиптичните криви, отговорите на някои основни за тях въпроси остават неизвестни. Един такъв въпрос е характеризирането на кривите чрез така наречените „рационални точки“, разположени върху тяхната повърхност. Тези точки образуват определени правилни модели върху всяка крива, но все още не е известно дали има граница на сложността и разнообразието на тези модели.

Решаването на този въпрос може значително да задълбочи разбирането на математиците за разнообразието от елиптични криви, повечето от които все още остават неизследвани. Следователно учените се стремят да изследват най-отдалечените и сложни примери на тези криви, търсейки техни редки разновидности с екзотични модели на рационални точки. Този процес изисква както математическа изобретателност, така и използването на сложни компютърни програми.

Към днешна дата двама математици – Ноам Елкис от Харвардския университет и Зев Клагсбрун от Центъра за изследване на комуникациите в Ла Джола са открили елиптичната крива с най-сложен модел от рационални точки, като са подобрили рекорд, който се е държал в продължение на 18 години. Според експертите това събитие бележи нов етап в изучаването на елиптичните криви.

Търсене на рационални точки

Елиптичните криви, въпреки своята сложност, представляват сравнително прости уравнения от вида y² = x³ + Ax + B, където A и B са рационални числа. Върху графика такива уравнения приемат формата на симетрични криви, а решенията им образуват модели, които очароват математиците. Дженифър Парк от Държавния университет в Охайо отбелязва, че намирането на рационални точки върху тези криви е един от най-старите проблеми в историята на математиката.

Рационални точки са тези, чиито стойности на координатите x и y са рационални числа.

За прости уравнения такива точки се намират сравнително лесно, но елиптичните криви са първият тип уравнения, при които възникват много нерешени въпроси. Джоузеф Силвърман от университета Браун добавя, че дори при две променливи кубичните уравнения на елиптични криви са доста трудни за изследване.

За да разберат рационалните решения на една елиптична крива, математиците често изучават нейния ранг – число, което определя гъстотата на рационалните точки по кривата. Кривите с ранг 0 съдържат краен брой рационални точки, докато кривите с ранг 1 имат безкрайно много такива точки, но те се подреждат в прост модел. При по-високите рангове тези точки започват да образуват по-сложни връзки.

Нови хоризонти в теорията на елиптичните криви

Рангът показва колко независими точки са необходими, за да се опишат всички рационални решения на дадена крива. Колкото по-висок е рангът, толкова по-богата е структурата на кривата. Например, кривите от ранг 2 и 3 имат безкраен брой рационални решения, но кривите от ранг 3 съдържат допълнителни модели, което ги прави по-сложни. Почти всички елиптични криви имат ранг 0 или 1, но все още има безброй редки случаи с високи рангове и те са много трудни за намиране.

Все още не е установено дали има граница на ранга на елиптичните криви. Някои специалисти смятат, че е възможно да се конструира крива от всякакъв ранг, но последните изследвания показват, че това може да е погрешно мнение. При липсата на доказателства математиците продължават да обсъждат природата на елиптичните криви, осъзнавайки, че по пътя към нея има още много неизвестни.

Неочаквано откритие и дългоочакван пробив

За първи път Ноам Елкис от Харвардския университет подобрява рекорда през 2006 година и не цели да създаде кривата с най-висок ранг. По онова време той изучава така наречените K3-повърхности, като ги разгражда на техните компоненти. К3-повърхностите, които са по-сложни геометрични обекти, дават възможност да се намерят елиптични криви с по-висок ранг. През 2006 година Елкис използва K3-повърхности, за да открие крива с ранг 28, надминавайки предишния рекорд от 24.

През 2019 година, след като се запознава със Зев Клагсбрун на една конференция, Елкис се съгласява на ново съвместно изследване. Клагсбрун предлага да се ускори търсенето чрез използване на по-мощни изчислителни методи, което им позволява да тестват трилиони криви. Въпреки това им се наложило да прекарат няколко години в търсене и опити да намерят подходящата крива с ранг, по-висок от 28. Едва след като случайно променили метода на рязане на повърхността, те успели да получат крива с ранг 29, с което счупили предишния рекорд.

Тази нова крива с ранг 29, записана като y² = x³ + Ax + B има стойности A и B, всяка от които съдържа повече от 60 цифри. Намерените 29 независими рационални решения имат също толкова големи стойности, което прави тази крива най-сложната, известна досега.

Откриването на кривата с ранг 29 все още не решава въпроса за границата на сложност, но показва, че търсенето на криви с висок ранг все още може да доведе до неочаквани резултати. Математиците се надяват да намерят безкраен брой криви, чиито рангове са поне 22, за да докажат, че ранговете на елиптичните криви нямат граница. Такова откритие би могло да опровергае настоящите доказателства за възможна крайна граница на ранга. Всеки нов рекорд подтиква учените към по-нататъшни изследвания и им позволява да разширят разбирането си за света на елиптичните криви.