Gauge freedom в моделях ДНК: как математика делает биологию точнее

Если вы думаете, что свобода — это философская категория, то на секунду загляните в математику. А потом — в биологию.

Когда биологи моделируют работу генов, белков или РНК, они, по сути, составляют математическую модель: подаёшь на вход последовательность букв ДНК — получаешь на выходе активность. Но… вот парадокс: два совершенно разных набора параметров модели могут давать одинаковый результат.

Как это возможно? Это и есть gauge freedom — «свобода калибровки» или, если совсем по-простому, свобода выбора координатной системы.

Gauge freedom в математике: когда разные параметры дают одинаковый результат

Когда вы записываете дробь как 2/4 или 3/6 — вы получаете одно и то же число. Вот и в биомоделях: разные параметры = одинаковый результат. Эти лишние степени свободы и называют gauge freedoms.

Раньше на них смотрели как на «технический мусор»: мол, мешают, но что поделать. А теперь — переворот. Ученые из лаборатории Cold Spring Harbor создали унифицированную математическую теорию, которая позволяет «починить калибровку» моделей. А значит — однозначно интерпретировать, что конкретно значат параметры в модели генной активности.

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

Оказывается, чтобы модель биологической активности вела себя интуитивно и понятно, нужно… добавить ей лишние измерения. Да-да. Более простое поведение требует более сложной модели. Звучит как дзен.

Что даёт новая теория математики моделей ДНК

Новая теория позволяет:

— Мгновенно «чинить» параметры, устраняя лишние свободы
— Выбирать удобную систему координат (гейдж) в зависимости от задачи
— Получать простые локальные модели в разных регионах «пространства ДНК» — например, для мутаций в конкретном участке белка

Один и тот же белок может вести себя абсолютно по-разному в зависимости от того, какие координаты (gauge) вы выбрали. И именно новая теория позволяет адаптировать модель под конкретный участок генома — без потери точности.

Геометрическая теория: математика на службе моделей ДНК

Они построили общую геометрическую теорию для линейных моделей, которая позволяет однозначно проецировать параметры модели в специальное подпространство (гейдж) с заранее заданными свойствами. Это делается с помощью матрицы проекции, которая устраняет все направления, не влияющие на предсказания модели. Они вывели формулы, которые позволяют это делать быстро, универсально и для моделей любого порядка — от простых аддитивных до высоко взаимодействующих. Причем разные «гейджи» (например, zero-sum, wild-type, hierarchical) дают разные интерпретации — средние эффекты мутаций, эпистаз и даже вариации внутри конкретных регионов ДНК. В итоге мы получаем математический способ «перевести» параметры модели в биологически осмысленный язык.

Математика снова меняет биологию

Раньше учёные либо терялись в тонкостях моделей, либо делали упрощения. Теперь — у них есть карта и компас. Систематическая навигация по пространству моделей.

Так что если в ближайшие годы вы услышите о новых лекарствах или устойчивых культурах, не удивляйтесь: под капотом, возможно, будет работать не только CRISPR, но и gauge fixing.

Да, математика снова меняет биологию.