Семинары ИМ СО РАН

Современные задачи биоинженерии требуют математической строгости в моделировании молекулярных взаимодействий. Например, связывание белка DARPins с мишенями можно представить как задачу оптимизации в пространстве параметров. Множество возможных комбинаций аминокислот в 11 вариабельных позициях формирует гиперкуб размерности 11 над алфавитом из 20 аминокислот, порождая гипотетическое пространство поиска из $20^{11}$ элементов. Для минимизации вычислительной сложности требуется аналитическая оценка функции аффинности, что сводится к построению поверхностного функционала, зависящего от геометрических и физико-химических параметров аминокислот.

Параллельно, анализ белков с использованием больших языковых моделей опирается на представление молекул в виде эмбеддингов высокой размерности. Эти модели отображают аминокислотные последовательности в многомерное пространство $\mathbb{R}^d$ (например, размерности $d=1536$ в модели Ankh), где каждая точка представляет белок. Однако изучение таких пространств требует редукции размерности для анализа структурных свойств, часто искажающей исходные данные. Возникает задача исследования многообразий, вложенных в пространство эмбеддингов, которые отражают фундаментальные свойства белков. Такие подмногообразия являются нелинейными и могут быть описаны методами дифференциальной геометрии и топологического анализа. Определение и классификация этих многообразий позволяет выявлять структурные закономерности в данных и улучшать понимание работы белков.

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

Мы рассматриваем интерполяционные свойства в расширениях минимальной логики $J$. Из описания суперинтуиционистских, негативных логик с интерполяционным свойством Крейга CIP следует, что сумма таких логик, обладающих свойством CIP, тоже имеет CIP. Для $J$-логик это не так.

Первый пример логик с CIP, сумма которых не имеет этого свойства, найден в [Л. Л. Максимова. Метод доказательства интерполяции в расширениях минимальной логики. Алгебра и логика, 46, № 5 (2007), 627–648] и использовал семантические методы. В [Л. Л. Максимова, В. Ф. Юн. Расширение минимальной логики и проблема интерполяции. Сибирский мат. журнал. 59, no. 4 (2018), 863–878] приведены еще несколько примеров, при этом строились алгебраические доказательства.

Мы докажем, используя алгебраические методы, что сумма логик (Int*NC), OdF с CIP не обладает интерполяционным свойством Крейга, и даже ограниченным интерполяционным свойством IPR.