МАТЕМАТИКА

Для произвольной конечной системы A функций k-значной логики, принимающих значения из множества E_s= 0,..., s-1, k\geq s\geq 2, такой, что замкнутый класс, порожденный ограничением функций из A на множество E_s, содержит мажоритарную функцию, доказано существование констант c и d, таких, что для любой функции f\in [A] глубина D_A (f) и сложность L_A (f) функции f в классе формул над A связаны соотношением D_A (f) \leq c\log_2L_A (f) +d.

Доказана теорема о распределении значений аналогов сумм Клостермана. Получены асимптотические формулы для дробных моментов этих сумм.

Приводятся оценки сверху квадратичных показателей иррациональности чисел вида \sqrt 2k+1 \ln ( (k+1-\sqrt 2k+1 ) /k) и \sqrt 2k-1 \arctg (\sqrt 2k-1 / (k-1) ), где k\in N. В частности, улучшена оценка квадратичного показателя иррациональности \ln2.

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

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

В статье дается двусторонняя оценка среднего времени достижения далекой точки для эргодических счетных марковских цепей в терминах функции Ляпунова и стационарного распределения.

В работе излагается способ практического решения вариационного уравнения в геометрически и физически нелинейных задачах механики деформируемого твердого тела на основе метода продолжения решения по параметру нагружения. В таких задачах возникает система большого числа нелинейных обыкновенных дифференциальных уравнений, для решения которой обычно применяется метод Эйлера. Предлагается использовать метод Рунге-Кутты и многошаговые методы и рассматривать затратность решения с точки зрения вычислений. Устанавливается зависимость величин ошибок методов от числа шагов, и на ее основе выбирается оптимальный метод для решения нелинейных задач.

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

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

В статье выведены асимптотические формулы.

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

Доказывается факторизационная теорема для размерности (m, n) -dim.

Размерность (m, n) -dim оценивается посредством лебеговой размерности.

Рассмотрена задача моделирования течения вязкой жидкости по поверхности пластины при условии изменения давления по линейному закону вдоль продольной координаты. Осуществлена постановка граничных условий задачи. Найдено точное решение системы уравнений Навье-Стокса в задаче обтекания пластины с отбором жидкости при наличии продольного перепада давления.

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

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

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

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

В работе рассматриваются элементарные свойства (выразимые в языке первого порядка) групп автоморфизмов абелевых p-групп.

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

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

Для доказательства "геометрической теоремы о дробной монодромии" дается удобное эквивалентное определение дробной монодромии в гомологических терминах.

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

Доказана теорема о дуальности канонической триангуляции регулярного трехвалентного детского рисунка и графа Кэли его расширенной группы автоморфизмов.

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

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

Понятие атома, возникшее в теории качественного анализа динамических систем, находит применение в самых разных разделах современной маломерной топологии, а также представляет самостоятельный интерес. Рассматривается важный частный случай максимально симметричных атомов - класс высотных максимально симметричных атомов, для которого удалось получить простое описание.

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

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

В работе получено описание алгебр длины 1 с точностью до изоморфизма.

Рассматриваются классы ограниченно детерминированных функций, в каждом состоянии которых реализуется функция из некоторого замкнутого класса D k-значной логики (P-множества). Показано, что существует континуум предполных классов, содержащих произвольное P-множество. Также рассматривается задача о существовании критерия распознавания полноты систем, содержащих P-множества.

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

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

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

Представлено доказательство того, что при конечной размерности Гельфанда-Кириллова алгебры А количество не больше (l-2) (n-1). Случай слов с периодом длины 2 обобщается до доказательства экспоненциальной оценки в теореме Ширшова.

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

Для коротких тригонометрических сумм с нецелой степенью натурального числа при 1 A 1−c −1 A y >= x 2 ln x, x y ln x<= |α| <=0, 5, c>2 и ‖c‖ >= δ получена нетривиальная оценка Sc(α; x, y)= e(α[nc]) ≪ y lnA x, x−y

Рассматривается обобщение квадратично-вычетных кодов на случай вычетов высших степеней. Исследуются свойства h-вычетных кодов. В некоторых случаях указывается вид и способ построения порождающего многочлена. С помощью полученных результатов выписываются порождающие многочлены кодов с вычетами 5-8-й степени.

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

Исследуется инверсионная сложность пороговой функции.

Доказано, что всякий простой (g, t) -модуль конечного типа голономен. Всякому простому g-модулю M соответствуют инварианты, отражающие направления его роста. Также доказывается, что для фиксированной пары (g, t) набор возможных значений для упомянутых инвариантов конечен.

В работе получено обобщение теоремы Радича–Калимана о метрических соотношениях в ломаных Понселе, из которого выводится общий принцип нахождения условия замыкания ломаной Понселе для двух окружностей. В частности, получены явные формулы для вписано-описанных n-угольников при n =5, 6, 8 и алгоритм отыскания таких формул для любого n.

Рассматривается семейство экстремумов, где случайные величины зависимы по столбцам (при одинаковом j) и независимы по строкам (при разных j). Рассматриваются три частных случая: нормального распределения, распределения Лапласа и устойчивого распределения.

Выводятся оценки сверху и снизу для среднего числа решений сравнения g (mod p) в целых неотрицательных числах, где g - первообразный корень по модулю p.

В статье рассматриваются вероятностные характеристики методов технического анализа Каги и Ренко. Для линейной модели Л. Башелье дается выражение ожидаемой прибыли инвестора, использующего стратегию Каги. Также в работе получены некоторые свойства, связанные с величинами “падения” и “размаха” броуновского движения.

Работа посвящена получению двусторонних оценок существенной высоты в условиях теоремы Ширшова о высоте. Вводятся понятия выборочной высоты и сильной n-разбиваемости, непосредственно связанные с высотой и n-разбиваемостью, и доказываются нижние и верхние оценки выборочной высоты над не сильно n-разбиваемыми словами длины 2, причем эти оценки различаются лишь в 2 раза при любом n и достаточно большом l. Также разбирается случай слов длины 3. Разбор случая слов длины 2 можно обобщить до доказательства экспоненциальной верхней оценки в теореме Ширшова. Доказательство использует идею В. Н. Латышева, связанную с применением теоремы Дилуорса к исследованию не n-разбиваемых слов.

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

В статье приводится новое доказательство теоремы о квадратичном показателе иррациональности ln 2.

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

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