WWW.DISSERS.RU

БЕСПЛАТНАЯ ЭЛЕКТРОННАЯ БИБЛИОТЕКА

загрузка...
   Добро пожаловать!

Pages:     || 2 | 3 |
Московский государственный университет имени М.В. Ломоносова Механико-математический факультет

На правах рукописи

УДК 514.174.5, 514.172.45 Глазырин Алексей Александрович О СВОЙСТВАХ ПОЛИЭДРАЛЬНЫХ КОМПЛЕКСОВ И РАЗБИЕНИЙ Специальность 01.01.04 геометрия и топология

АВТОРЕФЕРАТ

диссертации на соискание ученой степени кандидата физико–математических наук

Москва 2009

Работа выполнена на кафедре теории чисел Механико-математического факультета Московского государственного университета имени М.В. Ломоносова.

Научный консультант:

доктор физико-математических наук, профессор Николай Петрович Долбилин

Официальные оппоненты:

доктор физико-математических наук Евгений Витальевич Щепин кандидат физико-математических наук Александр Александрович Гайфуллин

Ведущая организация:

Ярославский государственный университет им. П.Г. Демидова

Защита диссертации состоится 11 декабря 2009 г. в 16:45 на заседании диссертационного совета Д.501.001.84 при Московском государственном университете имени М.В. Ломоносова по адресу: Российская Федерация, 119991, Москва, ГСП-1, Ленинские горы, д. 1, МГУ, Механико-математический факультет, аудитория 14-08.

С диссертацией можно ознакомиться в библиотеке механико-математического факультета МГУ (Главное здание, 14 этаж).

Автореферат разослан 11 ноября 2009 г.

Ученый секретарь диссертационного совета Д.501.001.84 при МГУ доктор физико-математических наук, профессор А.О. Иванов

Общая характеристика работы

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

В первой главе идет речь о развертках трехмерных евклидовых многогранников.

Определение развертки многогранника можно найти в книге А. Д. Александрова “Выпуклые многогранники”1. Фактически развертка многогранника это совокупность плоских многоугольников с указанием правила склеивания их сторон так, что в результате склеивания получается поверхность многогранника.

Одна из наиболее замечательных теорем в теории выпуклых многогранников – теорема Александрова о единственности и существовании выпуклого многогранника с данной разверткой. Подчеркнем, что стороны многоугольников развертки выпуклого многогранника не обязаны быть ребрами этого единственного многогранника. Известно, что для каждого выпуклого многогранника найдется развертка, состоящая из одного (простого) многоугольника. Примеры таких разверток можно найти в работах2,3. В классе возможных разверток особый интерес представляют т.н. реберные развертки, т.е. развертки, в которых стороны многоугольников составлены из сторон многогранников.

Для данного многогранника P существует лишь конечное число реберных разверток. Обозначим через C(P ) минимальное число компонент (многоугольников) у реберных разверток многогранника P. Существует гипотеза, что для любого выпуклого многогранника P C(P ) = 1. Эту гипотезу называют по имени великого художника Альбрехта Дюрера, в связи с тем что в его работах4 исследование многогранников сопровождалось реберными развертками, и эти развертки состояли из одной компоненты. Вопрос о C(P ) является одной из труднейших задач в теории многогранников5.

А.Д. Александров. Выпуклые многогранники. М.-Л.: ГИТТЛ, 1950.

B. Aronov, J. O’Rourke. Nonoverlap of the Star Unfolding. Disc. Comput. Geom. 8, 219-250, 1992.

M. Sharir, A. Schorr. On shortest paths in polyhedral spaces, SIAM J. Comp. 15(1986), 193-215.

A. Drer. Underweysung der Messung mit dem Zirckel und Richtscheyt, bei Hieronymus Andreae, Nurnberg 1525.

G.C. Shephard. Convex polytopes with convex nets. Mathematical Proceedings of the Cambridge Philosophical Society, 78:389-403, 1975.

Отдельный интерес представляет задача нахождения верхней границы для C(P ) в зависимости от числа граней многогранника P. Первая нетривиальная оценка вида kF (F – число граней многогранника P, k < 1) была получена Сприггсом (Spriggs, 2003), который дал оценку для k =.

Доминантным множеством называется такое множество M граней многогранника, что для любой грани либо сама эта грань, либо один из ее соседей находятся в множестве M. Несложно доказать, что минимальное число компонент развертки не больше минимальной мощности доминантного множества. На основе именно этой идеи и строятся наилучшие на текущий момент оценки. Астахов и Гаврилюк6 в своей работе показали, что доминантное множество состоит из не более чем F граней. В. Пинчу7, сославшись на результат Б. Рида8 о доминантных множествах, получил оценку F.

Существует несколько обобщений гипотезы Дюрера. Вот одно из таких обобщений:

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

Пример многогранника и одномерного остова на его поверхности, которые дают отрицательный ответ на поставленный выше вопрос, а также и на вопрос Эриксона, был дан А. Тарасовым10.

А. Тарасов11 также нашел пример невыпуклого многогранника с выпуклыми гранями, у которого нельзя найти реберной развертки, состоящей из одной компоненты.

В.В. Астахов, А.А. Гаврилюк. О числе компонент в реберных развертках выпуклых многогранников. Модел. и анализ информ. систем. Т. 16, №1 (2009) 16–23.

V. Pinciu. On the Fewest Nets Problem for Convex Polyhedra. CCCG 2007, Ottawa, Ontario, August 20–22, 2007.

B.A. Reed. Paths, Stars and the Number Three, Comb. Probab. Comput., 5(1996), no. 3, 277–295.

J. Erickson. Oberwolfach-Conference “Discrete differential geometry”, Problem 8, Berlin, March 2006.

A. Tarasov. Existence of a polyhedron which does not have a non-overlapping pseudo-edge unfolding.

http://arxiv.org/abs/ 0806.2360, 2008.

А.С. Тарасов. Многогранники, не допускающие натуральных разверток, "Успехи математических наук". Т. 54 вып 3 1999.

Берн и др.12 независимо нашли пример многогранника, у которого нельзя найти реберной развертки, состоящей из одной компоненты.

Позднее Берном и др.13 был найден пример такого многогранника с дополнительным условием симплициальности (т.е. у этого примера все грани являются треугольниками).

Наиболее простой (минимальный по числу граней) пример принадлежит Бранко Грюнбауму14. Этот пример использует конструкцию шипов, придуманную Тарасовым.

Н. П. Долбилиным была поставлена задача доказать или опровергнуть т.н. Анти-Дюрер гипотезу15: sup C(P ) = для класса выпуклых многогранников. По его мнению, верна следующая альтернатива: для класса выпуклых многогранников sup C(P ) равен 1 или, т.е. верна либо гипотеза Дюрера, либо Анти-Дюрер гипотеза.

Мы покажем, что подобное утверждение верно для класса невыпуклых многогранников с выпуклыми гранями. То есть для любого N предъявим многогранник PN из этого класса, такой что C(PN) > N.

Мотивацией для исследования во второй главе являются исследования в области квазипериодических подстановочных разбиений евклидова пространства на многогранники. Изучение квазипериодических структур – это бурно развивающаяся дисциплина на стыке геометрии, алгебры и анализа16,17,18,19,20,21.

M. Bern, E. D. Demaine, D. Epstein and E. Kuo, Ununfoldable polyhedra. Proc. 11th Canad. Conf.

on Comput. Geom. (CCCG’99), Vancouver, B.C., August 15 - 19.

M. Bern, E. D. Demaine, D. Eppstein, E. Kuo, A. Mantler, and J. Shoeyink. Ununfoldable polyhedra with convex faces. Computational Geometry: Theory and Applications, 24(2):51-62, February 2003.

B. Grnbaum, No-net polyhedra. Geombinatorics 11(2002), 111 – 114.

Н.П. Долбилин. Устное сообщение, ESI program "Rigidity and Flexibility", Vienna, April 23 - May 6, 2006.

D. Frettlh, E. Harriss. Tilings Encyclopedia, available online at:

http://tilings.math.uni-bielefeld.de.

D. Frettlh. Duality of model sets generated by substitutions, Rev. Roumaine Math. Pures Appl. (2005) 619-639;math.MG/0601064.

B. Solomyak. Dynamics of self-similar tilings, Ergodic Theory Dynam. Systems 17 (1997) 695-738.

B. Solomyak. Corrections to ‘Dynamics of self-similar tilings’, Ergodic Theory Dynam. Systems 19 (1999) 1685.

J. Kellendonk and I.F. Putnam. Tilings, C-algebras and K-theory, in: Directions in Mathematical Quasicrystals, M. Baake and R.V. Moody (eds.), CRM Monograph Series, vol. 13, AMS, Providence, RI (2000) pp. 177-206.

B. Solomyak. Non-periodicity implies unique composition property for self-similar translationally finite tilings, Discrete Comput. Geom. 20 (1998) 265-279.

J.-Y. Lee, R.V. Moody and B. Solomyak. Consequences of pure point diffraction spectra for multiset substitution systems, Discrete Comput. Geom. 29 (2003) 525-560.

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

Вопрос. Для локально конечного разбиения T в пространстве Rn, все многогранники которого выпуклые, может ли существовать точка x, являющаяся вершиной ровно одного многогранника разбиения Другими словами, может ли быть в локально конечном полиэдральном разбиении “одинокая” вершина Ответу на этот вопрос и связанным с ним задачам и посвящена вторая глава диссертации.

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

Первый вариант теоремы о четырех вершинах был получен Мухопадхаяей в 1909 году23. Позднее различные варианты этой теоремы были получены А. Кнезером, В. Бляшке24, Р. Бозе25. Возрастание интереса к этой проблеме в последние годы связано с работами В. И. Арнольда26,27.

Несколько интересных результатов в этом же направлении было получено С. Табачниковым28,29.

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

D. Frettlh. Nichtperiodische Pflasterungen mit ganzzahligem Inflationsfaktor, Ph.D. Thesis, Dortmund (2002);http://hdl.handle.net/2003/2309.

S. Mukhopadhayaya, New methods in the geometry of a plane arc – I, Cyclic and sextactic points, Bull. Calcutta Math. Soc., 1 (1909), 31–37.

W. Blaschke, Kreis und Kugel, Leipzig: Veit, R. C. Bose, On the number of circles of curvature perfectly enclosing or perfectly enclosed by a closed oval, Math. Ann., 35 (1932), 16–24.

V. I. Arnold. Topological invariants of plane curves and caustics, Rutgers Univ. Lect. Series, Vol. 5, Amer. Math. Soc., Providence, 1994.

В. И. Арнольд. Геометрия сферических кривых и алгебра кватернионов, УМН, 50:1, 1995, 3–68.

С. Л. Табачников. Вокруг четырех вершин. УМН, 45, 1990, No 1, 229–230.

S. Tabachnikov. The Four-Vertex Theorem Revisited – Two Variations on the Old Theme, AMM, vol. 102, issue 10 (Dec. 1995), 912–916.

Различные дискретные варианты теоремы о четырех вершинах обсуждаются в работах О.Мусина30,31, Б.Вегнера32 и В. Д. Седых33.

Вариант теоремы о четырех вершинах для многогранников размерности больше двух был получен А. Шаттеманом34, который пытался доказать, что у каждого многогранника найдется по крайней мере 2d так называемых экстремальных сфер, где d – размерность многогранника.

Однако, как мы покажем, рассуждения Шаттемана содержали ошибку, и, следовательно, вопрос о 2d экстремальных сферах остается открытым.

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

Введем обозначения:

dis(n) – минимальное число симплексов в симплициальном разбиении n-мерного куба, triang(n) – минимальное число симплексов в триангуляции n-мерного куба, (n) – максимальный определитель 0/1-матрицы.

Понятно, что triang(n) dis(n). В работе все нижние оценки будут приведены для симплициальных разбиений. Следовательно, они будут также верны для триангуляций.

Очевидная оценка для dis(n) может быть получена с помощью евклидова объема:

О. Р. Мусин. Системы Чебышева и нули функции на выпуклой кривой. Тр. МИАН, 221 (1998), 236-246.

Oleg R. Musin. Curvature extrema and four-vertex theorems for polygons and polyhedra, Journal of Mathematical Sciences, Vol. 119, No 2, 268-277, 2004.

B. Wegner. Bose’s vertex theorem for simply closed polygons, Math. Pannon., 6 (1995), 121–132.

В. Д. Седых. Теорема о четырех опорных вершинах ломаной. Функцю анализ и его прил. 30, No 3 (1996), 88–90.

A. Schatteman. A four-vertex theorem for polygons and its generalization to polytopes, Geometriae Dedicata, 34 (1990), 229–242.

n! dis(n) (n) Действительно, объем симплекса с вершинами в вершинах 0/1-куба (n) не больше, чем, и это автоматически дает приведенную выше оценку.

n! Верхняя граница для (n) следует из неравенства Адамара35:

n+n + (n) Из этой оценки сразу же следует т.н. евклидова оценка на число симплексов в разбиении n-куба:

n! dis(n) =: E(n) n+n + Более точные нижние оценки для dis(n) могут быть получены, если вместо евклидова объема использовать другие объемы. Например, следующая оценка была доказана У. Д. Смитом36 с помощью гиперболического объема.

1 n n+2 dis(n) H(n) 6 (n + 1)- n!, n H(n) lim = A 1.n E(n) Необходимо также отметить некоторые работы37,38,39,40,41, посвященные минимальному числу симплексов в триангуляциях, симплициальных G. M. Ziegler. Lectures on 0/1-polytopes. Combinatorics and Computation, volume 29 of DMV Seminars, pages 1-41. Birkhauser-Verlag, Basel, 2000.

Pages:     || 2 | 3 |






© 2011 www.dissers.ru - «Бесплатная электронная библиотека»