Новости
11.12.2017  Предварительные результаты олимпиады 10 декабря 2017 года
подробнее...

24.11.2017  Студенческая олимпиада по математике МФТИ
подробнее...

20.11.2017  Изменения в расписании
подробнее...

 
 
  • D. Baralic, P. V. M. Blagojevic, R. Karasev, A. Vucic. “Orthogonal shadows and index of Grassmann manifolds”, 2017.

    В этой работе мы продолжаем начатое в arXiv:1006.2263 изучение инволюции на вещественном ориентированном или неориентированном грассманиане подпространств половинной размерности, переводящей подпространство в его ортогональное дополнение. На этот раз нам удалось найти гомологический индекс этого действия для всех размерностей, который даёт соответствующие теоремы типа Борсука-Улама.

  • A.V. Akopyan, R.N. Karasev. “Waist of balls in hyperbolic and spherical spaces”, 2017.

    В этой работе мы изучаем поперечник в смысле Громова для шаров в модельных пространствах постоянной кривизны. В частности, мы доказываем, что для всякого непрерывного отображения из такого n-мерного шара в евклидово пространство размерности k, (n-k)-мерное содержание по Минковскому некоторого слоя отображения не меньше объёма (n-k)-мерного шара того же радиуса и кривизны.

    Мы также получаем некоторые утверждения про шары в пространствах ограниченной сверху кривизны (CAT-пространства) и в необязательно симметричных нормированных пространствах. По ходу рассуждений мы изучаем поведение содержания по Минковскому при липшицевых отображениях между римановыми многообразиями.

  • A. Balitskiy, R. Karasev, A. Tsigler “Optimality of codes with respect to error probability in Gaussian noise”, 2017.

    Мы рассматриваем некоторые задачи геометрической оптимизации, имеющие отношение к минимизации вероятности ошибки передачи сообщения в присутствии гауссового шума. Одним из известных вопросов такого рода является “слабая гипотеза о симплексе” о том, что правильный симплекс является оптимальным среди наборов из n+1 точки на единичной (n-1)-мерной сфере.

    Мы обсуждаем возможные подходы к этой гипотезе и формулируем близкие к ней гипотезы, в частности о минимизации гауссовой меры симплекса. Мы также рассматриваем антиподальные коды, применяем неравенство Шидака и получаем некоторые теоретические и точные результаты об их оптимальности.

  • A.V. Akopyan, A. Hubard, R.N. Karasev. “Lower and upper bounds for the waists of different spaces”, 2016.

    Мы продолжаем изучение поперечника по Громову для разных пространств. Несколько результатов этой статьи развивают идеи Бо'аза Клартага, а также идеи двоих из нас, изложенные в arxiv:1608.06279.

    Мы также распространяем некоторые результаты на случай поперечника не для слоёв непрерывного отображения, а для семейств циклов, несущих ненулевую степень фундаментального класса.

    Ещё одно направление — оценить снизу поперечник в смысле меры Хаусдорфа слоя для отображений в произвольный полиэдр, с константой зависящей только от размерности.

  • P.V.M. Blagojevic, R. Karasev, A. Magazinov. “A center transversal theorem for the super-Rado depth”, 2016.

    Дольников, Живалевич и Вречица доказали теорему о центральной трансверсали: Любые m хороших мер в Rn+m-1 можно линейно спроецировать на Rn так, что у них будет общая точка глубины не менее 1/(n+1) относительно каждой из мер.

    Следуя предыдущей работе Магазинова и Пора, мы немного улучшаем константу 1/(n+1) за счёт увеличения размерности с n+m-1 до 2m+n-1 или 3m+n-1, в зависимости от того, является n+1 степенью двойки или нет.

  • A.V. Akopyan, R.N. Karasev. “A tight estimate for the waist of the ball”, 2016.

    Мы используем идею Бо'аза Клартага для доказательства теорем о поперечнике типа Громова для меры Минковского с помощью липшицевого отображения одной меры в другую; и отвечаем на вопрос Громова о поперечнике евклидова шара.

    Ещё одним средством доказательства является утверждение, восходящее к Архимеду, о том, что проекция (n+1)-мерной сферы на n-мерный шар переводит равномерную меру на сфере в меру, кратную равномерной мере на шаре.

  • P.V.M. Blagojevic, R.N. Karasev. “Local multiplicity of continuous maps between manifolds”, 2016.

    В этой статье мы развиваем идеи из препринтов arxiv:1002.0660 и arxiv:1106.6176 про способы гарантировать кратность непрерывных отображений между многообразиями.

    На этот раз мы используем вычисления в когомологиях конфигурационного пространства с помощью некоторых наблюдений из предыдущих работ Павле. Нам удаётся выписать характеристические классы, отвечающие за локальные кратные точки отображения.

    Внимание. Мы нашли ошибку в вычислениях и попробуем исправить её, возможно получив другую окончательную формулу для характеристического класса.

  • A. Balitskiy, R. Karasev. “Dependence of the heavily covered point on parameters”, 2016.

    Имре Барань доказал, что если дано много точек в Rn, то можно выбрать одну точку p так, что вероятность её накрытия случайным симплексом, заданным некоторой n+1 из данных точек, не менее некоторой положительной константы cn.

    Недавно Громов придумал новый метод доказательства таких результатов, заодно улучшив константу cn. Мы изучаем его метод в целях понять, как это "сильно покрытая" точка зависит от параметров. Нам не удаётся найти непрерывную зависимость от параметров, но можно обнаружить "гомологически непрерывную зависимость" от параметров сильно покрытой точки. Это наблюдений позволяет вывести некоторые следствия стандартным образом.

    Мы также приводим элементарные рассуждения, доказывающее простейшее из этих следствий: если дано много прямых на плоскости в общем положении, то можно выбрать одну точку так, что вероятность её "окружения" случайно выбранной тройкой из данных прямых не менее 2/9.

  • A. F. Holmsen, R. N. Karasev. “Colorful theorems for strong convexity”, 2015.

    В этой статье мы обсуждаем аналоги теоремы Каратеодори для понятия сильной выпуклости. Ещё в своей кандидатской диссертации и в статье в “Моделировании и анализе информационных систем” 2001 года я доказал такой аналог теоремы Каратеодори. Теперь мы доказываем аналоги цветной теоремы Каратеодори, которую для обычной выпуклости доказал Имре Барань, и аналоги “очень цветных теорем”, которые придумали несколько человек, в том числе и Андреас Холмсен.

    В этих результатах нужно, чтобы выпуклое тело, относительно которого определяется понятие сильной выпуклости, было “порождающим множеством”; это понятие ввели Е.С. Половинкин и М.В. Балашов. На плоскости любое выпуклое тело обладает этим свойством, а для трёхмерного случая мы даём пример, когда это свойство нарушается и соответствующие аналоги теорем Каратеодори тоже отсутствуют.

    Также мы изучаем топологические критерии того, что одно выпуклое тело является слагаемым по Минковскому другого выпуклого тела. Один такой критерий доказать удаётся, но при несколько искусственном ограничении, что одно выпуклое тело замкнутое, а другое открытое.

  • R. Karasev, J. Kynčl, P. Paták, Z. Patáková, M. Tancer. “Bounds for Pach's selection theorem and for the minimum solid angle in a simplex”, Discrete and Computational Geometry, 54:3, 2015, 610-636.

    Янош Пах доказал, что существует такая константа cd, что для любого семейства конечных множеств X0, ... , Xd в Rd можно выбрать их соответствующие подмножества Yi из Xi и точку p в Rd так что |Yi| не меньше чем cd|Xi| и всякая система представителей семейства Y0, ... , Yd содержит точку p в своей выпуклой оболочке.

    В этой статье константа cd оценивается сверху в помощью построения некоторого примера семейства конечных множеств. На самом деле пример берётся достаточно очевидный, но вычисления получающейся константы уже достаточно сложны. В частности при этом вычислении возникает вопрос об оценке сверху минимального телесного угла при вершине произвольного симплекса в Rd. Именно здесь мне удалось сделать некоторый вклад в работу и улучшить оценку телесного угла в Теореме 6 текущей версии текста.

    Параллельно мы с Арсением Акопяном написали ещё одну заметку о более точных оценках минимального телесного угла при вершине симплекса, она описана ниже.

    Авторская версия доступна на arxiv.org.

  • A.V. Akopyan, R.N. Karasev. “Bounding minimal solid angles of polytopes”, 2015.

    Мы исследуем вопрос, поставленный Кинчлем, Патаком, Саферновой и Танцером: Верно ли, у всякого симплекса в Rn есть телесный угол около одной из вершин, который не больше телесного угла при любой вершине правильного симплекса в Rn?

    Оказалось, что в размерностях 3 и 4 ответ на этот вопрос утвердительный. Это следует из некоторых изопериметрических неравенств для симплексов в сферической геометрии. В этой статье мы также формулируем некоторые обобщения для других правильных многогранников.

    Поправка после рецензирования: Оказалось, что мы неправильно поняли результат по изопериметрическому неравенству для сферических тетраэдров в статье Бёма. В итоге случай размерности 4 в нашей задаче остаётся открытым.

  • R.N. Karasev. “Residues and the Combinatorial Nullstellensatz”, 2015.

    Мы изучаем выражение комбинаторной теоремы о нулях Ноги Алона в виде некоторого равенства, связывающего некоторый коэффициент многочлена от многих переменных и его значения в некоторых токах. Эту формулу предложил Федя Петров в нашей совместной статье “Partitions of nonzero elements of a finite field into pairs”.

    В этой заметке показывается, что формула является на самом деле многомерной формулой вычетов. Такая точка зрения позволяет лучше понять старые и получить некоторые новые результаты. В конце статьи перечислены некоторые нерешённые или не до конца решённые задачи о конфигурациях точек, которые тоже имеют некоторый алгебраический оттенок.

  • R.N. Karasev, E. Roldán-Pensado, P. Soberón. “Measure partitions using hyperplanes with fixed directions”, 2014.

    Этот текст первоначально был написан моими соавторами Пабло и Эдгардо. Они изучали аналоги теорем “о бутерброде” и “делении ожерелья”, в которых несколько мер одновременно делились на две или более равные части. Деление производилось последовательным рассечением частей гиперплоскостями, направления которых были фиксированы изначально.

    Мой вклад в текст представлен в разделе 4, где рассматриваются весьма общие разбиения Вороного и формулируется утверждение, одновременно обобщающее теорему Н. Алона “о делении ожерелья” и теорему Р. Живалевича “о делении занавесками”. После небольшой технической доработки это утверждение позволяет работать и с иерархическими разбиениями.

  • A.V. Akopyan, R.N. Karasev, F.V. Petrov. “Bang's problem and symplectic invariants”, 2014.

    В этой статье мы продолжаем применять симплектические методы к задачам выпуклой геометрии. На этот раз мы рассматриваем задачу Тарского-Банга о покрытии выпуклого тела полосками (областями между двумя параллельными гиперплоскостями) и аналоги этой задачи. Мы пытаемся выяснить, что можно и что нельзя сделать в таких задачах с помощью симплектических методов.

    Перевод этой задачи на симплектический язык, вместе с некоторыми результатами Кита Болла, позволяет сформулировать некоторую гипотезу о субаддитивности симплектических ёмкостей. Мы не можем установить свойство субаддитивности в полной общности, но всё же доказываем некоторые его частные случаи. Также мы доказываем несколько результатов из этой серии несимплектическими методами, включая один новый частный случай задачи Тарского-Банга в её исходной формулировке.

  • A.V. Akopyan, A.M. Balitskiy, R.N. Karasev, A.V. Sharipova. “Elementary approach to closed billiard trajectories in asymmetric normed spaces”, 2014.

    В этой работе мы продолжаем изучать задачи о бильярдах, предположительно связанные с гипотезой Малера о произведении объёмов выпуклого тела и его полярного тела. На этот раз мы рассматриваем случай не обязательно симметричной нормы, такую ситуацию можно назвать плоским финслеровым бильярдом.

    Наша цель состоит в получении оценки снизу на длину замкнутой бильярдной траектории в выпуклом теле. Метод, разработанный Кароем Бездеком и Даниэлом Бездеком для случая евклидовой нормы, отлично работает и в случае несимметричной нормы. Это позволяет элементарно доказать известные факты (ранее доказанные симплектическими методами) и доказать точную оценку на длину кратчайшей замкнутой бильярдной траектории в выпуклом теле с нормой, в которой это выпуклое тело является единичным шаром.

    С третьей версии статья сменила название. Предыдущее название “Elementary results in non-reflexive Finsler billiards”.

  • I. Barany, A. F. Holmsen, R.N. Karasev. “Topology of geometric joins”, Discrete and Computational Geometry, 53:3, 2015, 402-413.

    Мы рассматриваем геометрический джойн семейства из m конечных множеств X1, X2, ..., Xm в d-мерном евклидовом пространстве. Это просто множество всевозможных выпуклых комбинаций систем представителей данного семейства множеств.

    Нетрудно доказать, что при достаточно большом m это множество оказывается стягиваемым. Нам удалось доказать это при m>d(d+1)/2 и доказать, что множество звёздное при m>d(d+1). Но вообще мы предполагаем, что геометрический джойн будет связен уже при m=d+1 и нам удаётся доказать это утверждение при d = 2 и d = 3.

    Авторский текст статьи доступен по ссылке.

  • A.M. Balitskiy, A.I. Garber, R.N. Karasev. “Another ham sandwich in the plane”, Annals of Combinatorics, 19:2, 2015, 235-242.

    Раде Живалевич доказал вариант теоремы о бутерброде в произвольной размерности, теорему о делении "занавесками". Её двумерный случай достаточно прост: Если даны две хорошие меры на плоскости и веер их трёх углов, то можно выбрать один из углов веера и сдвинуть его параллельным переносом так, что он отрежет ровно половину от каждой из мер.

    Мы рассматриваем варианты такой теоремы на плоскости для вееров из большего трёх количества углов. В некоторых случаях нам удаётся доказать аналогичное утверждение, а в некоторых мы строим контрпримеры.

    Авторская версия статьи доступна по ссылке.

  • R. N. Karasev. “Covering dimension using toric varieties”, Topology and its Applications 177 (2014), 59-65.

    В этой статье замечено, что "количественные теоремы про размерность в смысле покрытий", такие как теорема Лебега про куб и теорема Кнастера-Куратовского-Мазуркевича про симплекс, допускают единое объяснение в терминах торической геометрии.

    Это даёт некоторую общую точку зрения на такие утверждения, а также позволяет их немножко обобщить. Например, можно получить ответ на вопрос Дёмётёра Палвёлдьи, выложенный на сайте mathoverflow.net.

    Авторская версия доступна на arxiv.org.

  • R. Karasev, A. Hubard, B. Aronov. “Convex equipartitions: The spicy chicken theorem”, Geometriae Dedicata 170:1 (2014), 263-279.

    Это статья получилась слиянием двух текстов: моего arXiv:1011.4762 и arXiv:1010.4611 Альфредо Убарда и Бориса Аронова.

    В этой версии немного прояснены и обобщены формулировки основных теорем и приложены некоторые усилия для объяснения доказательства топологической леммы. Мы используем подход Д.Б. Фукса и В.А. Васильева, которые ранее доказали частные случаи этой леммы. Более комбинаторное доказательство топологической леммы можно найти в статье arXiv:1202.5504 П. Благоевича и Г. Циглера.

    Авторская версия доступна на arxiv.org.

  • S. Artstein-Avidan, R. Karasev, Y. Ostrover. “From symplectic measurements to the Mahler conjecture”, Duke Mathematical Journal 163:11 (2014), 2003–2022.

    В этой статье мы предлагаем новый подход к гипотезе Малера, сведя её к гипотезе Витербо из симплектической геометрии.

    Мои соавторы в своих предыдущих работах установили соответствие между минимальной длиной замкнутой бильярдной траектории в выпуклом теле K, измеренной с помощью некоторой нормы, и ёмкостью Хофера-Цендера c(KxT), где T - единичный шар двойственной нормы. В этой статье мы доказываем оценку снизу на длину замкнутой бильярдной траектории несимплектическими методами: эта величина не менее 4, если K - единичный шар некоторой нормы, а T - двойственное ему тело (единичный шар двойственной нормы).

    В симплектической геометрии Витербо выдвинул гипотезу, что объём выпуклого тела X в R2n не менее c(X)n/n!. Если она верна, то vol KxT ≥ 4n/n! для центрально симметричного выпуклого тела в Rn и его полярного тела, а это классическая гипотеза Малера. Чтобы закончить доказательство гипотезы Малера, теперь остаётся доказать гипотезу Витербо.

    Авторская версия доступна на arxiv.org.

  • B. Bukh, R.N. Karasev. “Suborbits in Knaster's problem”, Bull. London Math. Soc. 46:2 (2014), 269–278.

    Б. Кнастер предположил, что для всякой непрерывной функции f на круглой сфере размерности n-1 и конечного множества X из n точек на сфере всегда можно найти изометрический образ X' множества X, на котором функция f станет постоянной. Эта гипотеза оказалась неверной, как доказали Борис Кашин и Станислав Шарек, хотя известны некоторые доказательства её частных случаев.

    Мы анализируем известные подходы к задаче Кнастера и замечаем, что во многих случаях множество X оказывается орбитой действия конечной группы. Кроме того, эта группа G обычно оказывается p-тором, то есть произведением нескольких копий одной и той же циклической группы простого порядка. Далее, мы замечаем, что слабая гипотеза Кнастера (в которой размерности сферы разрешается быть намного больше, чем мощность множества X) верна для множеств X, которые можно заключить в орбиту p-тора. Мы называем такие множества сферически суб-p-торическими (spherical sub-p-toral).

    Давно известно, что в евклидовой теории Рамсея, которая изучает одноцветные множества в произвольной раскраске евклидова пространства в заданное число цветов, понятие "подорбиты" действия конечной группы очень полезно. Мы заимствуем некоторые идеи из евклидовой теории Рамсея и доказываем, что слабая задача Кнастера решается положительно для неэкваториальных треугольников на двумерной сфере, а её евклидов аналог решается положительно для произвольного симплекса. Уже на одномерной окружности S1 мы находим множества, не являющиеся суб-p-торическими ни для какого простого p, и показываем, что подходы к теореме Дворецкого с помощью таких результатов типа Кнастера пока недостаточны.

    Авторская версия доступна на arxiv.org.

  • P.V.M. Blagojevic, R.N. Karasev. “The Schwarz genus of the Stiefel manifold and counting geometric configurations”, Topology and its Applications 160:18 (2013), 2340-2350.

    В этой статье мы заметили один полезный факт о топологии многообразия Штифеля ортонормальных k-реперов в Rn: род Шварца естественного действия группы Wk на этом пространстве является максимально возможным, то есть равным размерности пространства плюс один. За Wk обозначена группа, которая переставляет вектора репера и произвольно меняет знаки некоторых из них.

    У этого результата есть определённые геометрические следствия, касающиеся критически описанных вокруг данного выпулого тела параллелотопов и базисов в нормированных пространствах, ортонормальных по Биркгофу-Джеймсу. Определения этих понятий см. в тексте. В обоих случаях мы доказываем, что количество таких объектов не менее n(n-1)/2+1, где n - размерность рассматриваемого пространства.

    Авторская версия доступна на arxiv.org.

  • A.V. Akopyan, R.N. Karasev, A.Yu. Volovikov. “Borsuk-Ulam type theorems for metric spaces”, 2012.

    В этой работе мы с соавторами отталкиваемся от недавно придуманного Михаилом Громовым метода "стягивания в пространстве (ко)циклов" и применяем его к классическим теоремам Борсука-Улама и Хопфа. Применение оказывается успешным и позволяет обобщить эти классические теоремы.

    После этого, используя полученные топологические результаты, мы исследуем аналоги поперечников Урысона и Громова для метрических пространств и доказываем некоторые результаты про поперечники. Однако, в области изучения поперечников пока остаётся очень много открытых вопросов.

  • R.N. Karasev and B. Matschke. “Projective center point and Tverberg theorems”, Discrete and Computational Geometry 52:1 (2014), 88-101.

    Теорема о центральной точке утверждает, что для конечного множества X в Rd можно выбрать точку c так, что всякое полупространство, содержащее c, обязательно содержит не менее 1/(d+1) от точек X.

    В одной из моих предыдущих статей была приведена "двойственная" теорема о центральной точке: дла конечного набора X гиперплоскостей в Rd общего положения можно выбрать точку c так, что всякий луч с началом в этой точке пересекает не менее 1/(d+1) элементов X. Эта теорема не следует из исходной теоремы о центральной точке через проективную двойственность. Читатель может проверить, что после двойственности получается другое утверждение.

    Беньямин Мачке предложил вариант теоремы, который интерполирует между исходной и "двойственной" теоремами о центральной точке. Основная идея заключается в том, что для подпространства V в RPd надо найти подпространство W дополнительной размерности d-dimV-1 так, что всякая пара гиперплоскостей H и J, содержащих V и W соответственно, не отрезает слишком мало от данного конечного множества X. Здесь важно, что пара гиперплоскостей делит проективное пространство на две части.

    Таким образом, мы доказываем проективную теорему о центральной точке, а также соответствующий аналог теоремы Тверберга. Мы даже доказываем более общую теорему, которая также включает теорему Тверберга о трансверсали как частный случай. Потом мы доказываем пару аналогичных утверждений, полученный некоторой перестановкой кванторов в исходных теоремах.

    Авторская версия доступна на arxiv.org.

  • A.V. Akopyan and R.N. Karasev. “Cutting the same fraction of several measures”, Discrete and Computational Geometry, 49:2, 2013, 402-410.

    В этой работе мы изучаем возможность отрезать от некоторых d+1 мер в Rd одну и ту же долю.

    Первый частный случай - это отрезание гиперплоскостью одной и той же (не известной заранее) доли от мер. Это не всегда возможно, но мы даём одно достаточное условие в терминах геометрических перестановок, порождаемых набором мер.

    Другой случай - это отрезать заданную долю α от каждой меры выпуклым множеством. Мы доказываем, что без других предположений это возможно только при α вида 1/m с натуральным m и невозможно при других α.

    Также приведены некоторые открытые вопросы, близкие к рассмотренным.

    Авторскую версию статьи можно скачать с arxiv.org.

  • I. Bárány and R.N. Karasev. “Notes about the Carathéodory number”, Discrete and Computational Geometry, 48:3, 2012, 783-792

    Теорема Каратеодори утверждает, что точка x принадлежит выпуклой оболочке множества X в Rn тогда и только тогда, когда она принадлежит выпуклой оболочке некоторого подмножества X из не более чем n+1 элементов.

    Известны также случаи, когда константа n+1 может быть уменьшена. Например, теорема Фенхеля утверждает, что эта константа не более n для компакта X, компоненты которого нельзя отделить друг от друга гиперплоскостью.

    В этой заметке мы рассматриваем несколько результатов, напоминающих теорему Фенхеля. Также мы доказываем соответствующие аналоги цветной теоремы Каратеодори и приводим одну теорему типа Тверберга для семейств выпуклых компактов.

    Авторская версия статьи доступна на arxiv.org.

  • R.N. Karasev. “An analogue of Gromov's waist theorem for coloring the cube”, Discrete and Computational Geometry, 2013.

    Рассмотрим d-мерный куб Q, поделенный на nd маленьких кубиков стандартным образом. Далее куб красится в m+1 цвет и мы хотим доказать нижнюю оценку на размер связного одноцветного подмножества.

    Для m=d-1 (то есть d цветов) широко известно, что какое-то одноцветное множество соединяет две противоположные гиперграни Q, давая таким образом оценку снизу n. Для m=1 (2 цвета) Матушек и Прживетивый доказали оценку снизу приблизительно nd-1.

    В этой работе метод Громова стягивания в пространстве циклов позволил доказать оценку снизу f(d,m) nd-m с некоторым неоптимальным коэффициентом f(d, m).

    Авторская версия статьи доступна на arxiv.org.

  • P.V.M. Blagojevic, B. Bukh, R.N. Karasev. “Turan numbers for Ks,t-free graphs: topological obstructions and algebraic constructions”, Israel Journal of Mathematics, 2013.

    Число Турана ex(H, n) графа H - это максимальное количество рёбер в графе G на n вершинах, не имеющем подграфа, изоморфного H. Для полных двудольных графов H=Ks,t существуют конструкции G с большим числом рёбер, заданные алгебраическим соотношением между парой точек в Fpd.

    В этой работе мы изучаем отношения на Rd или Cd, которые определены над целыми числами, и таким образом дают графы над Fp, для которых можно указать асимтотическое (с ростом p) число рёбер.

    Мы доказываем, что всякая гиперповерхность в RdxRd содержит решётку (то есть произведение конечных множеств SxT) размера примерно (2d-3)x(2d-3) по топологическим причинам. Это исключает конструкции интересных с точки зрения числа Турана графов, свободных от Ks,s, при s больших 3. С другой стороны, мы конструируем гиперповерхности в RdxRd без решёток размера dxd4d. Построение поверхностей без решёток dxd2, например, пока остаётся открытым вопросом.

    Авторская версия статьи доступна на arxiv.org.

  • A.V. Akopyan and R.N. Karasev. “Inscribing a regular octahedron into polytopes”, Discrete Mathematics, 313:1, 2013, 122-128.

    В этой работе мы рассматриваем следующий вопрос: можно ли вписать в выпуклый многогранник P правильный октаэдр? Под словом “вписать” мы подразумеваем расположить октаэдр так, чтобы его вершины лежали на границе P.

    Для гладких выпуклых тел вместо многогранника P, и даже для гладко вложенных 2-сфер, положительный ответ был получен Макеевым. Но стандартный “переход к пределу” не позволяет сразу вывести утверждение для многогранника из утверждения для гладкой поверхности.

    В этой работе мы достаточно аккуратно проводим предельный переход и решаем вопрос положительно для простых многогранников P. Случай непростых P, вообще говоря, остаётся открытым.

    Авторская версия статьи доступна на arxiv.org

  • R.N. Karasev. “Geometric coincidence results from multiplicity of continuous maps”, 2011.

    Б. Грюнбаум сформулировал пару типичных геометрических задач о совпадениях: сколько аффинных диаметров выпуклого тела в Rn гарантированно проходят через одну точку? Сколько центров (в некотором разумном смысле) гиперплоских сечений выпуклого тела в Rn гарантированно совпадут?

    Один из возможных подходов к данной проблеме заключается в оценке снизу кратности отображений (максимальной мощности прообраза точки) между многообразиями равной размерности. В данной конкретной задаче нужно рассматривать только отображения проективного пространства в сферу той же размерности. Для некоторых значений n получаются некоторые нетривиальные оценки, но они всё же далеки от значения n+1, которое предполагал Грюнбаум.

  • A.V. Akopyan and R.N. Karasev. “Kadets type theorems for partitions of a convex body”, Discrete and Computational Geometry, 48:3, 2012, 766-776.

    Для всякого выпуклого разбиение выпуклого тела B мы пытаемся поместить гомотетичную копию B в каждое множество разбиения так, чтобы сумма соответствующих коэффициентов гомотетии была не менее 1. На плоскости это возможно для любого разбиения, в более высоких размерностях нам удаётся это сделать только для разбиений специального вида.

    Эта задача имеет много общего с гипотезой Банга. Разница заключается в том, что в гипотезе Банга вместо разбиения на выпуклые множества рассматривается покрытие относительно простыми объектами: полосками между парой параллельных гиперплоскостей. Даже на плоскости эти две задачи не эквивалентны. Таким образом, собственно по гипотезе Банга мы пока не сделали никаких продвижений.

    Авторская версия статьи доступна на arxiv.org.

  • R.N. Karasev and P. Landweber. “Estimating the higher symmetric topological complexity of spheres”, Algebraic & Geometric Topology, 12:1, 2012, 75-94.

    В этой работе мы изучаем высшую топологическую сложность сферы. Говоря менее формально, мы изучаем следующий вопрос: можно ли всякий набор из m различных точек на сфере Sn соединить непрерывным образом букета отрезков, так чтобы всё зависело непрерывно от набора m точек.

    Вопросы такого типа для m=2 изучались ранее и естественно возникали в задачах планирования движения между двумя точками на сфере.

    Мы обнаруживаем, что во многих случаях ответ на этот вопрос отрицателен. Это доказывается исследованием гомологических инвариантов отображений между определёнными пространствами и обобщённого инварианта Хопфа. На самом деле, нам не известна ни одна конструкция, которая давала бы положительный ответ на этот вопрос. Наименьшим открытым случаем этого вопроса остаётся m=3 и n=4.

    Авторская версия статьи доступна на arxiv.org.

  • R.N. Karasev and A.Yu. Volovikov. “Waist of the sphere for maps to manifolds”, 2011.

    В этой статье мы обощаем теорему о поперечнике сферы Громова-Мемаряна и их теорему типа Борсука-Улама о делении мер на равные части.

    Неформально говоря, мы доказываем что для всякого непрерывного отображения f : Sn-> M в многообразие размерности m < n прообраз некоторой точки не "меньше", чем стандартная (n-m)-мерная подсфера в Sn.

  • R.N. Karasev. “A simpler proof of the Boros-Furedi-Barany-Pach-Gromov theorem”, Discrete and Computational Geometry, 47:3, 2012, 492-495.

    В заметке доказывается такой результат: Если в пространстве Rd случайно и независимо распределена d+1 вершина симплекса, то найдётся "центральная точка" c, такая что вероятность её накрытия симплексом не менее pd=1/(d+1)!.

    Это утверждение для дискретных распределений вершин, при котором все вершины распределены одинаково, было доказано Имре Барань с оценкой pd порядка 1/(d+1)d+1. Доказательство использовало теорему Тверберга и цветную теорему Каратеодори. Борош и Фюреди улучшили оценку в двумерном случае до 2/9, а Янош Пах рассмотрел аналогичную задачу для d+1 вершины с разными распределениями.

    В 2010 году Михаил Громов опубликовал новый подход в этой задаче, получив лучшие оценки (идентичные оценкам в этой заметке). Однако доказательства были весьма неэлементарны и недоступны основной массе специалистов в области дискретной геометрии.

    В этой заметке доказательство Громова переведено на элементарный язык, при этом его размер существенно сократился. Другое отличие заключается в рассмотрении разных распределений для разных вершин симплекса.

    Авторская версия статьи доступна на arxiv.org.

  • R.N. Karasev. “Equipartition of several measures”, 2010.

    В этой статье доказываются результаты следующего вида: любые d мер в Rd могут быть поделены на k равных частей одновременно выпуклым разбиением (конкретно этот результат доказан ранее Пабло Собероном). Или: любая выпуклая фигура на плоскости может быть поделена на q частей равных площадей и периметров, если q - это степень простого.

    Указанные выше вопросы были поставлены А. Канеко, М. Кано, Р, Нандакумар, Н. Рамана Рао и И. Барань. Кроме того мои результаты вдохновлены обобщением теоремы Борсука-Улама из работ М. Громова и Я. Мемаряна, в этой работе также доказывается некоторое обобщение их результата.

    Я также пытался вывести теорему Н. Алона о делении мер на отрезке в рамках той же стратегии, но пока безрезультатно. По ходу изучения возник вопрос про многочлены одной переменной, который может быть интересен сам по себе.

  • R.N. Karasev. “A topological central point theorem”, Topology and its Applications, 159:3, 2012, 864-868.

    Дискретная теорема о центральной точке утверждает, что для множества X из n=(d+1)(r-1)+1 точек в d-мерном евклидовом пространстве найдётся центральная точка с, такая что во всяком полупространстве, содержащем c, лежит не менее r точек из X.

    Сильным обобщением этой теоремы является теорема Тверберга, которая в свою очередь допускает топологическое обобщение для непрерывных отображений из (n-1)-мерного симплекса в d-мерное евклидово пространство, но при этом требуется, чтобы r было степенью простого.

    В этой работе доказывается топологическая теорема о центральной точке для отображений из (n-1)-мерного симплекса в d-мерное метрическое пространство (не обязательно евклидово), при n=(d+1)(r-1)+1 и любом r. Также рассматриваются аналоги теоремы Тверберга для отображений в d-мерные метрические пространства, при этом число n приходится увеличить.

    Авторская версия статьи доступна на arxiv.org.

  • V.L. Dol'nikov, R.N. Karasev. “Dvoretzky type theorems for multivariate polynomials and sections of convex bodies”, Geometric And Functional Analysis, 21:2, 2011, 301-318.

    В этой статье мы доказываем утверждение, известное как гипотеза Громова-Мильмана: для натурального числа k и чётного натурального числа d существует натуральное число n=n(d,k), такое что любой многочлен степени d от n переменных равен (x12+...+xn2)d/2 после ограничения на некоторое k-мерное линейное подпространство Rn.

    Мы также рассматриваем аналогичные результаты для нечётных степеней и комплексных многочленов (известные ранее как теорема Бёрча), и улучшаем оценки n(d,k) в этих случаях. Любопытно, что в случае чётного d мы пока не можем указать явно значение n(d,k).

    Результаты статьи, доказываемые вычислениями в обычных когомологиях, принадлежат Дольникову, мой вклад заключается в доказательстве теоремы для чётных степеней с помощью обобщённой теоремы Борсука-Улама для p-групп.

    Авторская версия статьи доступна на arxiv.org.

  • P.V.M. Blagojevic, R.N. Karasev. “Extensions of theorems of Rattray and Makeev”, Topological Methods in Nonlinear Analysis, 40, 2012, 189-213.

    Теорема Реттрея утверждает, что всякое нечётное непрерывное отображение Sn-1->Sn-1 отображает некоторый ортонормальный базис в ортонормальный базис. В.В. Макеев использовал топологический факт, лежащий в основе теоремы Реттрея, для доказательства следующей теоремы: для любых двух абсолютно непрерывных вероятностных мер на Rn найдётся набор из n гиперплоскостей такой, что любые две его гиперплоскости делят каждую из мер на 4 равные части.

    В этой статье мы рассматриваем случай нескольких отображений или мер. Конечно, в теореме типа Реттрея мы не сможем получить базис, но можно задать вопрос о нахождении максимального k, для которого некоторый ортонормальный k-репер отображается в ортонормальные k-реперы каждым отображением. Результаты о делении мер также следует соответственно скорректировать; кроме того, мы доказываем результат, который интерполирует между исходной теоремой Макеева и результатами Рамоса, Живалевича, Вречицы, Мани-Левицкой о делении мер.

    Стоит упомянуть ещё один результат, так называемую “проективную теорему о бутерброде”, которая связывает деление нескольких мер в проективном пространстве пополам парой гиперплоскостей с задачей вложения этого же проективного пространства в евклидово пространство.

    Авторская версия статьи доступна на arxiv.org.

  • R.N. Karasev. “Tverberg-type theorems for intersecting by rays”, Discrete and Computational Geometry, 45:2, 2011, 340-347.

    В этой работе продолжается изучение аналогов теоремы о центральной точке для пересечения семейств выпуклых множеств лучами, см. также предыдущую статью по этой теме.

    Задача в предыдущей статье ставилась так: для данного семейства выпуклых компактов найти точку, для которой каждый луч с началом в этой точке пересекает заданную долю множеств семейства. Здесь же ищется точка, для которой каждый луч с началом в ней не пересекает заданную долю множеств. Для первой задачи дополнительным условием являлось свойство d-пересечений в Rd, в этом же случае накладывается условие на кратность покрытия семейства.

    На самом деле в этой статье аналог теоремы о центральной точке выводится из соответствующего аналога теоремы Тверберга, который доказывается топологическими методами.

    Эта статья доступна на arxiv.org.

  • Р.Н. Карасёв. “Теоремы типа Борсука-Улама в комбинаторной и выпуклой геометрии”, Диссертация на соискание учёной степени доктора физико-математических наук. Московский физико-технический институт (государственный университет), 2010.

    Диссертация собрана из немного переработанных предыдущих публикаций (до начала 2009 года), посвящённых топологическому подходу к задачам дискретной и выпуклой геометрии.

    Результаты в основном базируются на вычислении класса Эйлера векторных расслоений в (относительных) когомологиях и использовании теорем типа Борсука-Улама-Люстерника-Шнирельмана для топологических пространств с действием конечной группы.

    Среди основных результатов работы:

    • Трансверсальные и “двойственные” обобщения топологической теоремы Тверберга.
    • Оценки снизу количества замкнутых бильярдных траекторий в гладком выпуклом теле в Rd.
    • Теорема о вписывании правильного кроссполитопа (многомерного октаэдра) в гладкое выпуклое тело.

  • R.N. Karasev. “Z2-index of the grassmanian G2nn”, 2010.

    На вещественном грассманиане G2nn (пространство n-мерных линейных подпространств в R2n) имеется естественная инволюция, заданная ортогональным дополнением. В этой работе оценивается сверху и снизу гомологический индекс этой инволюции. Если n является степенью двойки, то эти оценки совпадают и индекс равен 2n-1.

    Эти оценки имеют непосредственные геометрические следствия. Вот один пример: если n - степень двойки, а K1,...,K2n-1 выпуклые компакты в R2n, то существуют два ортогональных n-мерных линейных подпространства L и M, такие что для любого i проекции Ki на L и M имеют равные меры.

  • R.N. Karasev. “Regular embeddings of manifolds and topology of configuration spaces”, 2010.

    В этой статье снова изучаются конфигурационные пространства многообразий, в приложении к регулярным отображениям, то есть таким непрерывным отображениям f : M->R^m, при которых образы любых попарно различных k точек аффинно (линейно) независимы. В этой работе даются некоторые новые препятствия для существования регулярных вложения в терминах некоторых характеристических классов касательного расслоения M.

    Рассматривается подпространство Q^q(M) q-конфигурационного пространства M, которое можно отождествить с расслоением над M, слоем которого является Q^q(R^m), где Q^q(R^m) - это некоторое подмногообразие q-конфигурационного пространства R^m (m = dim M, q - степень двойки 2). Когомологии Q^q(M) (или их часть) могут быть вычислены и дают явные результаты о регулярных вложениях.

    Явные вычисления в когомологиях также применяются и к задаче многократных самосовпадений непрерывных отображений между многообразиями, которая изучалась в одной из моих предыдущих статей.

  • L. Montejano, R.N. Karasev. “Topological transversals to a family of convex sets”, Discrete and Computational Geometry, 46:2, 2011, 283-300.

    В этой работе мы исследуем аффинные плоскости размерности m, которые пересекают все множества данного семейства выпуклых компактов F. Такие плоскости называются m-трансверсали.

    Основная лемма (Теорема 1) этой работы утверждает, что если семейство F имеет достаточно “много” m-трансверсалей (в терминах нетривиальности некоторого класса когомологий на пространстве m-трансверсалей), то F имеет хотя бы одну r-трансверсаль. Здесь r<m и класс когомологий зависит от r,m, и размера семейства F.

    Основная лемма (с использованием исчисления Шуберта и категории Люстерника-Шнирельмана многообразия Грассмана) позволяет привести обобщения цветной теоремы Хелли на случай, когда количество цветов меньше d+1 (d - это размерность пространства R^d, в котором происходит действие).

    Мой вклад в эту работу - доказательство Теоремы 1, некоторые замечания по аналогам цветной теоремы Хелли, и рассмотрение комплексного пространства C^d и комплексных трансверсалей.

    Эта статья также доступна на arxiv.org.

  • R.N. Karasev, F.V. Petrov. “Partitions of nonzero elements of a finite field into pairs”, Israel Journal of Mathematics, 192:1, 2012, 143-156.

    В этой статье мы доказываем теоремы о разбиении ненулевых элементов конечного поля на пары. В случае поля F_p разности в парах можно произвольно задать заранее, в случае полей порядка pk требуется предоставить для каждой пары несколько вариантов. Также доказываются некоторые обобщения этих результатов для упаковок транслятов подмножеств в некотором поле.

    Мой вклад в работу заключается в топологических доказательствах. Фёдор Петров дал алгебраические доказательства для разбиений на пары Fp*, и придумал несколько похожих результатов, доказываемых тем же методом.

    Авторская версия статьи доступна на arxiv.org.

  • R.N. Karasev. “A measure of non-convexity in the plane and the Minkowski sum”, Discrete and Computational Geometry, 44:3, 2010, 608-621.

    В этой работе рассматривается мера невыпуклости простой многоугольной области на плоскости. Эта мера неформально определяется как минимальный (отрицательный) поворот касательной при обходе границы против часовой стрелки. Доказывается, что для “не очень невыпуклых” областей эта мера не уменьшается при операции суммы Минковского, гарантируя таким образом отсутствие “дыр” в сумме Минковского.

    Авторскую версию статьи на русском языке можно скачать здесь.

  • R.N. Karasev. “A note on Makeev's conjectures”, 2010.

    Статья принята к публикации в “Записках научных семинаров ПОМИ”.

    В этой статье рассматривается следующий аналог задачи Кнастера: описать все множества из четырёх точек на двумерной сфере S, такие что для любой непрерывной функции f : S->R существует вращение сферы, которое перемещает X в линию уровня функции f.

    В.В. Макеев предположил, что это утверждение верно для всякого набора из четырёх точек, лежащих на одной окружности. Точки должны лежать на одной окружности, так как для линейной функции f линии уровня - это и есть окружности. Однако, в этой статье к этой гипотезе построен контрпример.

    Другая гипотеза Макеева утверждает, что четырёхугольник можно вписать во всякую замкнутую гладкую простую кривую на плоскости тогда и только тогда, когда он вписан в окружность. На данный момент контрпримеров к этой гипотезе не известно, и некоторые новые её частные случаи доказываются в этой работе.

  • R.N. Karasev. “Multiplicity of continuous maps between manifolds”, 2010.

    В этой работе рассматривается следующий вопрос: если дано непрерывное отображение f :M-> N между многообразиями, то есть ли какие-то достаточные условия существования совпадающих наборов из q точек, то есть таких наборов q различных точек x_1,..., x_q из M, для которых f(x_1) = f(x_2) = ... = f(x_q)?

    Показано, что существуют определённые характеристические классы виртуального расслоения f^*TN-TM, которые гарантируют наличие q-кратных точек для отображения f. Этот результат напоминает известные результаты о достаточных условиях наличия особенностей гладких отображений. В частности доказывается нетривиальная оценка на кратность отображения проективного пространства определённых размерностей в евклидово пространство такой же или немного большей размерности.

    Даются некоторые приложения развитой техники к оценке снизу рода Красносельского-Шварца конфигурационных пространств многообразий, в продолжение моих предыдущих результатов.

  • R.N. Karasev, A.Yu. Volovikov. “Configuration-like spaces and coincidences of maps on orbits” Algebraic & Geometric Topology, 11, 2011, 1033-1052.

    В статье изучаются обобщённые конфигурационные пространства, то есть пространства упорядоченных наборов по q точек некоторого топологического пространства X, в которых запрещены совпадения по k точек. На самом деле в статье в основном рассматривается случай евклидова пространства X=R^n.

    В качестве некоторой меры сложности таких пространств рассматривается род в смысле Красносельского-Шварца-Клапп-Пуппе действия группы перестановок (точнее некоторой её транзитивной подгруппы) на этих простраствах. Этот род оценивается в этой статье сверху, оценкам снизу была посвящена моя статья в “Topology Apps”.

    Из полученных оценок рода выводятся результаты типа Борсука-Улама-Коэна-Ласка о самосовпадениях отображения, также обсуждается связь с задачей Кнастера.

    Статья также доступна на arxiv.org.

  • R.N. Karasev. “KKM-type theorems for products of simplices and cutting sets and measures by straight lines”.

    Статья была отклонена в “Discrete and Computational Geometry”, рецензент посчитал основную лемму про произведение симплексов известной.

    В этой работе несколько обобщается раскрашенная (цветная) лемма Кнастера-Куратовского-Мазуркевича, получается аналог этой леммы для произведения двух симплексов. Следует признать, что важный частный случай этой леммы и основная идея доказательства были известны ранее, но известность самой леммы всё же не доказана.

    Из этой леммы выводятся некоторые теоремы о пересечении семейств фигур на плоскости прямыми, параллельными осям координат.

  • R.N. Karasev. “Knaster’s problem for (Z_2^)k-symmetric subsets of the sphere S^{2^k-1}”, Discrete and Computational Geometry, 44:2, 2010, 429-438.

    Это статья продолжает серию работ про вписавание кроссполитопов и деление мер на равные части. На этот раз рассматривается случай симметрии относительно действия группы Z_2^k. Оказывается, что этой симметрии недостаточно и для получения результата надо дополнить эту симметрию до симметрии относительно некоммутативной группы вида D_8 \times (Z_2)^{k-1}.

    Авторская версия статьи доступна также на arxiv.org.

  • R.N. Karasev. “Analogues of the central point theorem for families with d-intersection property in Rd”, Combinatorica, 2013.

    В статье рассматривается семество F выпуклых компактов в Rd, в котором любые d множеств имеют общую точку, это минимальное ослабление условия теоремы Хелли. Для таких семейств доказывается аналог теоремы о центральной точке и теоремы Тверберга. В этих аналогах находится точка p из Rd такая, что всякая кривая из p, уходящая на бесконечность, пересекает достаточно много множеств из F. Также доказываются аналоги этой теоремы, в которых вместо точки находится аффинная m-плоскость с аналогичными свойствами.

    Авторская версия статьи доступна на arxiv.org

  • Р.Н. Карасёв. “Теоремы типа Борсука-Улама для плоскостей и плоские трансверсали семейств выпуклых компактов”, Мат. Сборник, 200:10, 2009, 39-58.

    Доказываются некоторые результаты о топологии пространства канонического расслоения над многообразием Грассмана, в духе теоремы Борсука-Улама о покрытии сферы и шара. Из этих результатов выводятся следствия:

    • Достаточные условия существования плоской k-трансверсали (аффинной k-плоскости, пересекающей все множества из заданного семейства) для семейства из n+1 компакта в R^n;
    • Достаточные условия для возможности разделить n абсолютно непрерывных вероятностных мер в R^n на части заданного размера одной гиперплоскостью;
    • Некоторые теоремы типа Хелли для плоских трансверсалей.

    Авторскую версию статьи на русском языке можно скачать здесь, на английском — на arxiv.org.

  • R.N. Karasev, A.Yu. Volovikov. “Knaster's problem for almost (Z_p)^k-orbits”, Topology and its Applications, 157:5, 2010, 941-945.

    Доказываются новые частные случаи гипотезы Кнастера о функциях на сфере. В качестве множества, которое нужно поместить в поверхность уровня функции берётся орбита действия p-тора без одной точки. В основном доказательство базируется на идеях Воловикова, использованных при рассмотрении частных случаев задачи Кнастера для полных орбит p-торов.

    Авторская версия статьи доступна на arxiv.org.

  • R.N. Karasev. “The genus and the category of configuration spaces”, Topology and its Applications, 156:14, 2009, 2406-2415.

    В статье развиваются идеи из статьи про бильярды, рассматриваются пространства типа конфигурационных (configuration like spaces). Для таких пространств доказываются оценки снизу на когомологический индекс i_G, введённый Воловиковым, а следовательно и на род Шварца и эквивариантную категорию Люстерника-Шнирельмана.

    Авторскую версию статьи можно скачать на arxiv.org

  • R.N. Karasev. “Periodic billiard trajectories in smooth convex bodies”, Geometric and Functional Analysis, 19:2, 2009, 423-428.

    В статье рассматриваются бильярды в гладких выпуклых телах в R^n. Для таких бильярдов изучаются замкнутые траектории, которые ударяются о границу ровно m раз за период. С помощью теории Люстерника-Шнирельмана, в модификации Красносельского-Шварца, получена оценка снизу (n-2)(m-1)+2 на число различных таких траекторий, в случае простого m.

    Статью также можно скачать на arxiv.org.

  • R.N. Karasev. “Inscribing a regular crosspolytope”. 2009.

    Статья также подана в “Математические заметки”, и видимо потерялась там.

    Доказывается, что в гладкую гиперповерхность S в Rd, диффеоморфную n-1-мерной сфере, можно вписать правильный кроссполитоп (многомерный октаэдр), по крайней мере в случае, когда n - нечётная степень простого. Исследуется вопрос о том, насколько можно избавиться от условия гладкости. Случай степени двойки будет рассмотрен в одной из следующих статей.

    Авторскую версию статьи на русском языке можно скачать здесь.

  • R.N. Karasev. “Equipartition of a measure by (Z_p)^k-invariant fans”, Discrete and Computational Geometry, 43:2, 2010, 477-481.

    В этой статье доказаны некоторые результаты о разбиении меры в R^n на 2n равных частей системой конусов, получающейся движением из данной системой конусов с некоторой группой симметрией. Результаты основаны на доказательстве А.Ю. Воловикова частного случая гипотезы Кнастера о функциях на сфере для орбит p-торов.

    Авторскую версию статьи можно скачать на arxiv.org. По сравнению с официально опубликованной версией в ней исправлено доказательство леммы в разделе 4.

  • Р.Н. Карасёв. “Топологические методы в комбинаторной геометрии”, Успехи математических наук, 63:6(384), 2008, 39-90.

    В этом обзоре рассматриваются различные приложения методов алгебраической топологии к задачам комбинаторной и выпуклой геометрии. В частности, приводятся некоторые результаты автора, близкие к данной теме.

    Авторскую версию обзора можно скачать здесь.

  • Р.Н. Карасёв. “Двойственные теоремы о центральной точке и их обобщения”, Математический сборник, 199:10, 2008, 41-62.

    Рассматривается следующий “двойственный” вариант теоремы о центральной точке: Если даны N гиперплоскостей в R^n общего положения, то найдётся точка x такая, что всякий луч с началом в x пересекает не менее N/(n+1) из данных гиперплоскостей. Также доказываются обобщения этого утверждения, которые можно назвать двойственными теоремами Тверберга, и двойственными теоремами о центральной трансверсали.

    Также в этой работе доказано обобщение теоремы Брауэра о неподвижной точке для нескольких послойных отображений на некотором векторном расслоении.

    В опубликованном варианте статьи содержалось неправильное доказательство леммы о существовании выпуклого тела, которое данное семейство ортогональных проекций отображает в себя. Позднее Имре Барань указал мне на то, что эта лемма известна с 1984 года. Соответственно исправленная английская версия доступна на arxiv.org.

  • R.N. Karasev. “Piercing families of convex sets with d-intersection property in R^d”, Discrete and Computational Geometry, 39:4, 2008, 766-777.

    Теорема Хелли утверждает, что семейство выпуклых компактов в R^d имеет непустое пересечение тогда и только тогда, когда каждое подсемейство размера не более d+1 имеет непустое пересечение. В этой статье изучался такой вопрос: если каждое подсемейство размера не более d имеет непустое пересечение, то можно ли гарантировать какую-то оценку на “piercing number” (см. выше) для семейства?

    Для семейства гиперплоскостей ответ, естественно, отрицательный, но для некоторых других семейств: семейств шаров, или положительно гомотетичных друг другу симплексов некоторые оценки можно установить.

    Авторскую версию статьи можно скачать здесь

  • Р.Н. Карасёв. “Род и категория Люстерника-Шнирельмана прообразов”, Моделирование и анализ информационных систем, 14:4, 2007, 66-70.

    В этой статье доказываются некоторые результаты такого вида: если топологическое пространство X отображается в d-мерное метрическое пространство Y, то найдётся точка p из Y, такая, что категория Люстерника-Шнирельмана (окрестности) её прообраза в X не менее категории Люстерника-Шнирельмана всего X, делённой на d+1. Доказывается, что аналогичные результаты верны и для других целочисленных функций топологических пространств, похожих на категорию Люстерника-Шнирельмана в смысле выполнения трёх аксиом (монотонность, субаддитивность, и оценка для дизъюнктного объединения).

    Английскую версию статьи с некоторыми исправлениями и дополнениями можно скачать с arxiv.org

  • R.N. Karasev. “Tverberg's transversal conjecture and analogues of nonembeddability theorems for transversals”, Discrete and Computational Geometry, 38:3, 2007, 513-525.

    В этой работе рассматривается гипотеза Тверберга о трансверсали и доказываются её новые частные случаи. Смысл гипотезы Тверберга в следующем: если в d-мерном пространстве даны m+1 конечное множество S_0, ... , S_m, то каждое множество S_i можно разделить на r_i частей S_i1, ... , S_ir_i так, чтобы выпуклые оболочки всех S_ij можно было пересечь одной m-плоскостью (аффинным подпространством размерности m). Обязательно надо требовать, чтобы количество элементов в S_i было не менее (r_i-1)(d-m+1) + 1.

    В данной работе доказывается эта гипотеза для случая, когда числа r_i являются степенью одного и того же простого числа. Причём если это простое число не двойка, то требуется также чётность числа d-m. Эта гипотеза доказывалась и ранее, но с более ограничительными условиями, в частности, требовалось, чтобы все r_i были равны одному и тому же простому числу.

    Авторскую версию статьи можно скачать здесь.

  • Р.Н. Карасёв. “Раскрашенная версия леммы Кнастера-Куратовского-Мазуркевича”, Моделирование и анализ информационных систем, 13:2, 2006, 66-70.

    В этой работе доказывается утверждение, обощающее результаты из статьи про задачу А. Бездека и разбиения многогранника. Фактически получается некоторое обобщение леммы Кнастера-Куратовского-Мазуркевича (ККМ), из которого прямо следуют некоторые предыдущие результаты и их обобщения.

  • R.N. Karasev. “Partitions of a polytope and mappings of a point set to facets”, Discrete and Computational Geometry, 34:1, 2005, 25-45.

    В этой статье развиты некоторые идеи из статьи про задачу А. Бездека. В частности доказано, что всякий выпуклый многогранник P единичного объёма с гипергранями F_i, можно разбить на выпуклые множества A_i так, что пересечение каждого A_i с границей P равно F_i, и объёмы множеств A_i равны наперёд заданным положительным числам. Естественно наперёд заданные числа должны иметь единичную сумму.

    Авторскую версию статьи можно скачать здесь.

  • Р.Н. Карасёв. “О разных усилениях понятия выпуклости”, Моделирование и анализ информационных систем, 11:2, 2004, 32-36.

    В этой статье опубликован кусок из диссертации, в котором сравниваются два определения сильной выпуклости.

  • Р.Н. Карасёв. “Проективные преобразования, оставляющие на месте окружность”, Математическое просвещение, 3:8, 2004, 113-122.

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

    В этих терминах доказываются некоторые известные теоремы, типа теоремы Паскаля и т.п.

  • Р.Н. Карасёв. “О покрытиях выпуклыми множествами”, Диссертация на соискание учёной степени кандидата физико-математических наук. Московский физико-технический институт (государственный университет), 2003.

    Диссертация собрана из предыдущих публикаций (см. выше), при этом раздел про сильную выпуклость, “порождающие” множества и тела постоянной ширины в банаховых пространствах существенно переработан.

  • R.N. Karasev. “On a conjecture of A. Bezdek”, Discrete and Computational Geometry, 27:3, 2002, 419-439.

    Эта статья касается некоторых обобщений известной задачи: если внутри выпуклого n-угольника P на плоскости даны n точек, то точки можно так поставить в соответствие сторонам, что получившиеся треугольники (из каждой точки и соответствующей ей стороны получается треугольник) будут покрывать P. У этой задачи также есть вариант, когда требуется, чтобы треугольники попарно не перекрывались, есть и соответствующие многомерные обобщения.

    Вопрос А. Бездека по сути состоял в том, что произойдёт, если в этой задаче точки не обязательно лежат внутри P. В этой статье на этот вопрос также даётся ответ.

  • Р.Н. Карасёв. “Об аналоге теоремы Каратеодори для M-сильно выпуклых множеств”, Моделирование и анализ информационных систем, 8:2, 2001, 17-22.

    В этой статье изучается понятие M-сильно выпуклого множества, где M - замкнутое выпуклое множество. M-выпуклое множество определяется как пересечение некоторого множества параллельных переносов (транслятов) M. Это понятие имеет хорошие свойства, если M является порождающим множеством (см. выше). В частности, в данной работе доказывается аналог теоремы Каратеодори для случая, когда множество M - порождающее.

    Следует отметить, что в работе доказана лемма, интересная сама по себе: Если A и B - выпуклые компакты в конечномерном евклидовом пространстве, то разность (в теоретико-множественном смысле) множеств A и A+B (сумма Минковского) является стягиваемым множеством.

  • Р.Н. Карасёв. “О характеризации порождающих множеств”, Моделирование и анализ информационных систем, 8:2, 2001, 3-9.

    В этой статье изучаются выпуклые множества M, обладающие следующим свойством: всякое пересечение конечного числа параллельных переносов множества M является слагаемым M в смысле суммы Минковского. Такие множества называются “порождающими”. В частности, евклидовы шары являются порождающими множествами, и произведения порождающих множеств являются порождающими. В работе доказано, что в определении порождающего множества достаточно рассматривать попарные пересечения, вместо пересечения произвольного числа транслятов.

  • Р.Н. Карасёв. “Задача об объеме симметризации выпуклого множества”, Математическое просвещение, 4, 2000, 181-187.

    Статья в “Математическом просвещении” возникла из решения одной олимпиадной задачи. Определим сумму Минковского двух множеств A и B как множество всевозможных сумм a+b, где a из A, b из B. Если исходные множества выпуклы, то их сумма Минковского тоже выпукла. Возникает, в частности, вопрос об оценке объёма A+B через объёмы исходных множеств. Оценку объёма снизу даёт неравенство Брунна-Минковского, также известны некоторые оценки сверху. Один частный случай оценки сверху в трёхмерном случае, использующий сравнительно элементарную технику, рассмотрен в этой статье.

    Следует отметить, что А.Я. Канель-Белов написал часть текста статьи и значительно отредактировал статью в целом.

  • R.N. Karasev. “Transversals for the families of translates of a two dimensional convex compact set”, Discrete and Computational Geometry, 24:2/3, 2000, 345–353.

    В этой публикации доказана гипотеза Грюнбаума о том, что семейство F транслятов (параллельных переносов) некоторого двумерного выпуклого компакта можно "проткнуть" тремя точками, если любые два множества в этом семействе пересекаются.

    Под "проткнуть тремя точками" подразумевается: найти такое множество T из трёх точек, что любое множество K из семейства F имеет с множеством T непустое пересечение. Вообще, точечное множество, которым можно "проткнуть" некоторое семейство множеств F, называется "трансверсалью" семейства, минимальный размер точечной трансверсали называется по-английски "piercing number".

    Эти результаты публиковались также на русском языке в Записках научных семинаров ПОМИ.

 
© 2009 Роман Карасёв