TGViewer
Математические байки Математические байки @mathtabletalks · 4.28K subscribers
Post #4851 2.9K

Forwarded from Компьютерная математика Weekly (Grigory Merzon)

несколько пренебрегая принципом «show, don't tell», хотел кратко написать про связи (местами пунктирные) между некоторыми из сюжетов здесь

начнем с конца. для рациональной точки P на эллиптической кривой знаменатель nP растет примерно как c^{n²}

раньше обсуждались замощения доминошками области на плоскости… и там часто количество замощений растет с той же асимптотикой, c^{площадь}

например, для обсуждавшегося ацтекского брильянта ответ — 2^{n(n+1)/2}. этот ответ можно «сконденсировать», доказав рекурренту M(n+1)M(n-1)=2M(n)²

бывают разные квадратичные рекурренты в таком духе, в т.ч. упоминавшиеся здесь мельком знаменитые последовательности Сомоса… и, скажем, Сомос-4, действительно, кодирует сложение на эллиптической кривой

у этого всего есть игрушечные версии: можно мостить не по настоящему двумерную фигуру, а более-менее одномерную — прямоугольник 2×N (или 3×N и т.п. — такого рода вещи где-то в начале обсуждались), тогда ответы получаются типа Фибоначчи, которые удовлетворяют [не только квадратичным, но и] линейным рекуррентам, имеют более простую асимптотику c^n

расставляя на доминошках веса, можно добиться, чтобы «одномерные» замощения считали вещи типа sin(nx) — т.е. nP не на эллиптической кривой, а просто на окружности (кажется не писал про тригонометрию доминошек здесь, только рассказывал на семинаре учителей)

хотелось бы конечно это поднять на эллиптический уровень, чтобы nP считали двумерные замощения доминошками… кажется по кр мере про Сомоса что-то такое известно… в этом тоже не разобрался

разные более конкретные вещи тоже можно пытаться переносить: скажем, F_n | F_{nm} — и вот для последовательности знаменателей nP (скажем, сгенерированных кодом из предыдущего поста конкретно) верно буквально то же… и т.п.

незаконченное обсуждение арифметико-геометрического среднего конечно тоже связано со сложением на кубике, AGM реализует «эллиптический логарифм» (это наоборот, как имея точку xP найти x… вещественное или даже комплексное)

но пока step into the elliptic realm не выходит, только трогаю пальцами холодную воду
More from @mathtabletalks
  1. Sep 15, 2026к сегодняшнему 100-летию Серра — его свежее интервью от группы Бурбаки в 40-х годах до «I…
  2. Sep 15, 202615 сентября столетний юбилей отмечает французский математик Жан-Пьер Серр. Поздравляем юби…
  3. Sep 15, 2026youtube.com/watch?v=Px71N0DvoCA
  4. Aug 12, 2026До начала затмения остаётся всего несколько часов, так что на всякий случай напомню: и без…
  5. Aug 6, 2026Король приготовил N мудрецам испытание: каждому назначено целое число от 1 до N+1, все наз…
  6. Jul 28, 2026www.mathnet.ru/php/conference.phtml?eventID=27&confid=2780&option_lang=rus&if_videolibrary…
Threads Profile ViewerView any public Threads profile without an account.Open ThreadLook →Writing with AI? Make it sound human.Metric37 rewrites AI drafts so they read naturally. Free AI detector, 1,500 words free.Try Metric37 →