?
On generating series of finitely presented operads, v.3
Cornell University
,
2014.
No. arXiv:1202.5170.
Given an operad P with a finite Grobner basis of relations, we study the generating functions for the dimensions of its graded components P(n). Under moderate assumptions on the relations we prove that the exponential generating function for the sequence {dim P(n)} is differential algebraic, and in fact algebraic for P is a symmetrization of a non-symmetric operad. If, in addition, the growth of the dimensions P(n) is bounded by an exponent of n (or a polynomial of n, in the non-symmetric case) then, Moreover, the ordinary generating function for the above sequence {dim P(n)} is rational. We give a number of examples of calculations and discuss conjectures about the above generating functions for more general classes of operads.
Научное направление:
Математика
Язык:
английский
Ключевые слова: operadоперадаGrobner basesnonassociative algebraбазис Грёбнеранеассоциативная алгебра
ПУБЛИКАЦИЯ ПОДГОТОВЛЕНА ПО РЕЗУЛЬТАТАМ ПРОЕКТА:
Маркарян Н. С., / Cornell University. Series arXiv "math". 2020.
Добавлено: 16 октября 2020 г.
Khoroshkin, A., Markarian, N., Shadrin, S., Communications in Mathematical Physics 2013 Vol. 322 No. 3 P. 697-729
We give an explicit formula for a quasi-isomorphism between the operads Hycomm (the homology of the moduli space of stable genus 0 curves) and BV/Δ (the homotopy quotient of Batalin-Vilkovisky operad by the BV-operator). In other words we derive an equivalence of Hycomm-algebras and BV-algebras enhanced with a homotopy that trivializes the BV-operator. These formulas ...
Добавлено: 23 августа 2013 г.
A.I. Zobnin, Programming and Computer Software 2010 Vol. 36 No. 2 P. 75-82
Добавлено: 1 октября 2014 г.
Alexandrov D. E., Galkin V. V., Zobnin A.I. и др., Journal of Mathematical Sciences 2009 Vol. 163 No. 5 P. 469-486
Добавлено: 1 октября 2014 г.
Малышев Д. С., Вестник Нижегородского университета им. Н.И. Лобачевского 2008 № 6 С. 141-146
Рассматривается понятие граничного класса, которое является полезным инструментом для анализа вычислительной сложности задач на графах. Исследуются два конкретных класса графов, и приводятся задачи, для которых эти классы являются граничными. ...
Добавлено: 31 августа 2012 г.
Ревенко А. В., Кузнецов С. О., Fundamenta Informaticae 2012 Vol. 4 No. 115 P. 377-394
Атрибутивное исследование свойств функций на множествах. ...
Добавлено: 31 декабря 2012 г.
Развит метод рандомизированного прогнозирования, основанный на генерации ансамблей энтропийно-оптимальных прогнозных траекторий. Последние генерируются рандомизированными моделями динамической регрессии, содержащими случайные параметры, измерительные шумы и случайный вход. Функции плотности распределения вероятностей случайных параметров и измерительных шумов оцениваются с использованием реальных данных в рамках процедуры рандомизированного машинного обучения. Генерация ансамблей прогнозных траекторий осуществляется путем сэмплирования энтропийно-оптимальных распределений вероятностей. ...
Добавлено: 31 октября 2020 г.
Barcelona : IEEE, 2017
Добавлено: 17 января 2018 г.
МГУ, 2014
Тезисы докладов научной конференции «Ломоносовские чтения» 2013 ...
Добавлено: 11 декабря 2016 г.
Малышев Д. С., Дискретный анализ и исследование операций 2012 Т. 19 № 4 С. 66-72
Рассматривается конструктивный подход к формированию новых случаев эффективной разрешимости задачи о независимом множестве в семействе наследственных частей множества графов Free({P5,C5}). Именно, доказывается, что если эта задача полиномиально разрешима в классе Free({P5,C5,G}), то для любого графа H, который может быть индуктивно получен из G применением к текущему графу сложения с K1 или умножения на K1, эта ...
Добавлено: 31 августа 2012 г.
Беклемишев Л. Д., Оноприенко А. А., Математический сборник 2015 Т. 206 № 9 С. 3-20
Формулируются системы преобразований термов, число шагов работы которых на произвольном входе конечно, но не ограничивается никакой вычислимой функцией, доказуемо тотальной в арифметике Пеано PА. Тем самым, утверждение о сходимости таких систем не доказуемо в PA. Эти системы получаются из независимого комбинаторного утверждения, известного как принцип червя; их также можно рассматривать как вариант хорошо известной игры Геракла и гидры, ...
Добавлено: 13 марта 2016 г.
Малышев Д. С., Алексеев В. Е., Дискретный анализ и исследование операций 2008 Т. 15 № 1 С. 3-10
Доказывается полиномиальная разрешимость задачи о независимом множестве для бесконечного семейства подмножеств класса планарных графов. ...
Добавлено: 31 августа 2012 г.
D. V. Gribanov, D.S. Malyshev, P. M. Pardalos и др., Journal of Combinatorial Optimization 2018 Vol. 35 No. 4 P. 1128-1146
Добавлено: 19 февраля 2018 г.
Беломестный Д. В., Иосипой Л. С., Mathematics and Computers in Simulation 2021 No. 181 P. 351-363
Добавлено: 31 октября 2020 г.
Малышев Д. С., Discrete Mathematics 2015 Vol. 338 No. 11 P. 1860-1865
We completely determine the complexity status of the 3-colorability problem for hereditary graph classes defined by two forbidden induced subgraphs with at most five vertices. © 2015 Elsevier B.V. All rights reserved. ...
Добавлено: 7 апреля 2014 г.
Красноярск : ИВМ СО РАН, 2013
Труды Пятой Международной конференции «Системный анализ и информационные технологии» САИТ-2013 (19–25 сентября 2013 г., г.Красноярск, Россия): ...
Добавлено: 18 ноября 2013 г.
Котельникова М. В., Аистов А. В., Вестник Нижегородского университета им. Н.И. Лобачевского. Серия: Социальные науки 2019 Т. 55 № 3 С. 183-189
Представлено описание метода, позволяющего совершенствовать содержание дисциплин математического цикла, разделяя их на инвариантную (общую) и вариативную части. Приводятся результаты выделения инвариантов для дисциплин «Линейная алгебра», «Математический анализ», «Теория вероятностей и математическая статистика», преподаваемых экономистам-бакалаврам нескольких вузов. На основе выделенных инвариантов предлагаются темы для организации самостоятельной проектной и исследовательской деятельности студентов, ориентированной на содержание курса «Эконометрика». ...
Добавлено: 28 января 2020 г.
Акопов А. С., Beklaryan L. A., Saghatelyan A. K., Environmental Modelling and Software 2019 Vol. 116 P. 7-25
Добавлено: 24 февраля 2019 г.
Lanham : University Press of America, 2012
The history of logic and analytic philosophy in Central and Eastern Europe is still known to very few people. As an exception to the rule, only two scientific schools became internationally popular: the Vienna Circle and the Lvov-Warsaw School. Nevertheless, the countries included in this region have not only joint history, but also joint cultural ...
Добавлено: 13 февраля 2013 г.
Сироткин Д. В., Малышев Д. С., Дискретная математика 2017 Т. 29 № 3 С. 114-125
Задача о независимом множестве для заданного обыкновенного графа состоит в вычислении размера наибольшего множества его попарно несмежных вершин. Предлагается новый способ редукции графов. С его помощью получено новое доказательство NP-полноты задачи о независимом множестве в классе планарных графов и доказана NP-полнота данной задачи в классе плоских графов, имеющих только треугольные внутренние грани, с максимальной степенью ...
Добавлено: 7 сентября 2017 г.
Фейгин Б. Л., Финкельберг М. В., Рыбников Л. Г. и др., Selecta Mathematica, New Series 2011 Vol. 17 No. 3 P. 573-607
Многообразия Ломона предствляют собой неособые компактификации пространств модулей отображений проективной прямой в пространство флагов. Мы строим действие янгиана алгебры Ли sln в когомологиях пространств Ломона при помощи некоторых естественных соответствий. Мы строим действие аффинного янгиана (двухпараметрической деформации универсальной обертывающей алгебры токов) в когомологиях аффинного обобщения пространств Ломона. Мы вычисляем эквивариантные когомологии (аффинных) многообразий Ломона в терминах базисов ...
Добавлено: 9 октября 2012 г.
Бабаш А. В., М. : ИНФРА-М, РИОР, 2013
Пособие предназначено для студентов высших учебных заведений, обучающихся по специальности «Прикладная информатика (в экономике)». Оно также содержит методический материал для ряда инновационных курсов лекций по профилю «Информационная безопасность» и может быть использовано и для блока дисциплин этого профиля. Ряд представленных результатов полезен специалистам и аспирантам, специализирующихся в указанной области. ...
Добавлено: 14 января 2014 г.
Марширов В. В., Марширова Л. Е., Сибирский журнал индустриальной математики 2013 Т. XVI № 4 С. 111-120
Рассматривается задача определения скорости охлаждения металла в процессе затвердевания при пересечениии температуры ликвидуса при интенсивном теплоотводе с его поверхности. Решение данной задачи необходимо для определения технологических режимов, граничных и начальных условий при которых могут буть получены новые сплавы с микрокристаллическими структурами. Приведены необходимые конечно-разностные уравнения, описан алгоритм, с использованием известных экспериментальных данных проведено тестирование созданной ...
Добавлено: 17 ноября 2013 г.