Глава 14. Формулировка и провал формализации
К части III. Правило образца. Замыкающая глава части. Правило образца: чинить можно лишь то, у чего есть образец для сверки; накопленное однократно образца не имеет. Маркеры на полях: (Ф) факт · (М) модель · (Г) гипотеза · (БП) белое пятно
14.1. Долг
Пять предыдущих глав строили одно утверждение. Пора предъявить его в окончательном виде и сразу сказать, чего ему не хватает.
Правило образца. Система, непрерывно порождающая неизбыточную информацию, не может полностью себя чинить, поскольку ремонт требует эталона, а новизна по определению эталона не имеет.
Утверждение содержательно. Оно объясняет, почему зародышевая линия бессмертна, а сома нет (гл. 11). Оно предсказывает, где партиальное репрограммирование сработает, а где схлопнется окно (гл. 13). Оно даёт проверяемый прогноз о цене геропротекторов (гл. 22).
Приоритет и лучший из существующих примеров
Правило образца установлено другими. Как положение теории информации оно восходит к Шеннону и фон Нейману; в применении к старению её высказывал Сцилард (1959), а сегодня её занимает информационная теория старения (гл. 12), приходящая к противоположному выводу о существовании резервной копии.
Но существует и прямая эмпирическая проверка правила образца на человеческой популяции, и книга обязана её привести.
Хенрик (2004) разобрал тасманийский случай: за примерно восемь тысяч лет изоляции общества Тасмании утратили ряд ценных умений и технологий — костяные орудия, тёплую одежду, составные орудия, сети, рыболовные копья, зазубренные копья, копьеметалки и бумеранги ★. Объяснение не в способностях. Модель показывает: неточность культурной передачи ведёт к безвозвратной утрате навыка, если число носителей падает ниже критического порога; когда умелых изготовителей мало, сложная технология теряется и заново не изобретается ★.
Разложим это по нашим понятиям. Знание хранится в носителях. Избыточность здесь обеспечивается их числом. Пока носителей много, каждый заменим, и смерть любого ничего не стоит. Когда их мало, каждый становится единственным экземпляром — и та же смерть уносит технологию, восстанавливать которую не из чего.
Оговорка, обязательная при таком использовании. Работа оспорена, и спор идёт до сих пор: Рид (2006) возражает по существу, Хенрик отвечает в том же журнале, а более поздние работы пересматривают связь численности с накопительной культурной эволюцией ★. Наблюдение об утрате умений на Тасмании держится; объяснение через численность носителей — оспаривается. Ниже пример используется как иллюстрация механизма, а не как его доказательство (М).
Ценность примера в трёх вещах. Он количественный: порог посчитан, а не назван. Он проверяем археологически: список утраченного датирован. И он показывает, что избыточность есть не свойство записи, а свойство числа её носителей, — а значит, величина непрерывная и в принципе управляемая. Ни одного столь же полного примера на биологическом материале книга предъявить не может.
Существенно и то, что это же занимает случай, который на первый взгляд кажется незанятым: жертвуемая единица, хранящая неизбыточное. Переход между двумя режимами — заменимости и незаменимости — описан там количественно, и в этом смысле раздел §11.10 и настоящий раздел смыкаются.
И оно не является теоремой. Оно даже не является утверждением, о котором можно спросить «на сколько». Пока в нём нет ни одной величины, его нельзя ни подтвердить, ни опровергнуть количественно — только иллюстрировать примерами, а иллюстрациями доказывают в проповеди, не в науке.
Эта глава — попытка перевести правило образца в счётный вид, отчёт о том, где попытка ломается, и оценка того, насколько глубоко залегает поломка. следует считать честным поставить эту главу в середину книги, а не спрятать в приложение: если фундамент трещит, читатель должен увидеть трещину до того, как на фундамент положат ещё три части.
14.2. Спецификация: что именно надо построить
Требуется четыре предмета.
(1) Мера B — объём неизбыточной, индивидуально накопленной информации в системе. Единица измерения — биты или их аналог.
(2) Скорость dB/dt — темп порождения такой информации.
(3) Пропускная способность канала репарации C — сколько система способна восстановить за единицу времени, в тех же единицах.
(4) Утверждение вида: при dB/dt > f(C) полный ремонт невозможен, и система стареет со скоростью, определяемой разностью.
Требования к мере B, сформулированные заранее, чтобы не подгонять их под то, что получится:
- Аддитивность. B двух независимых подсистем равна сумме.
- Инвариантность к описанию. Величина не должна зависеть от того, описываем мы систему на молекулярном, клеточном или поведенческом уровне, — или зависимость должна быть явно параметризована.
- Различение шума и содержания. Случайное повреждение не должно засчитываться как приращение биографии. Это требование убивает больше кандидатов, чем все прочие.
- Эмпирическая привязка. Из B должна вычисляться хотя бы одна наблюдаемая величина. После главы 13 известно какая: ширина окна партиального репрограммирования.
Последнее требование появилось только что и стоит подчеркнуть. Глава 13 оставила эту главу с долгом: расхождение кривых Оловой — эпигенетический возраст падает раньше, чем теряется идентичность — есть числовой факт, и правильная мера B обязана его объяснять, а не только сопровождать словами.
Обход, который область уже нашла: считать не информацию, а носителей
Прежде чем разбирать, где ломается построение меры B, следует назвать обход, найденный в других областях и настоящей книгой не использованный. Возможно, он делает всю задачу §14.2 избыточной; возможно, подменяет её. Разобрать это обязательно.
Ход простой: не измеряйте информацию — измеряйте запас её носителей.
Три независимых воплощения, каждое со своими числами.
Мозговой резерв. Пороговая модель (Satz, 1993): бо́льший мозг выдерживает больше повреждения прежде появления клинического дефицита, потому что остаётся достаточный нервный субстрат ★. Мерами резерва прямо служат анатомические величины — объём мозга, окружность головы, число синапсов, ветвление дендритов ★. Все они удовлетворяют требованию аддитивности, все имеют эмпирическую привязку, и ни одна не требует различать шум и содержание — потому что не претендует на измерение содержания вовсе.
Митохондриальный порог (§11.10): критическая доля мутантных копий, различающаяся по тканям и посчитанная в процентах.
Число носителей знания в популяции (§14.1, тасманийский случай): избыточность есть число людей, владеющих умением, и ниже порога умение теряется безвозвратно.
Побочно обнаружившийся общий принцип: порог, а не постепенность
Три воплощения выше приведены как разные обходы одной задачи. Но у них есть общее свойство, книгой прежде не отмеченное, и оно того же ранга, что сами правила.
Во всех трёх случаях утрата ведёт себя не постепенно, а пороговым образом.
Митохондрии. Критическое число мутантных копий должно накопиться, прежде чем проявятся нарушение работы ткани и клинические признаки; порог зависит от мутации, типа клетки и типа ткани (§11.10) ★. До порога — ничего, за порогом — отказ.
Мозг. Бо́льший мозг выдерживает больше повреждения прежде появления клинического дефицита, потому что остаётся достаточный нервный субстрат ★. Та же форма: накопление невидимо, проявление внезапно.
Знание в популяции. Ниже порога числа носителей умение теряется безвозвратно, хотя каждый учится добросовестно (§14.1, тасманийский случай) ★.
Что из этого следует, и следствий три.
Первое: избыточность делает утрату невидимой до самого конца. Пока запас есть, наблюдаемых изменений нет вовсе — не «мало», а нет. Это объясняет, почему старение ощущается как внезапное, хотя расходование идёт десятилетиями (§21.14), и почему ранняя диагностика по проявлениям невозможна в принципе: проявление есть уже исчерпание.
Второе, для §14 несущее: измерять надо запас, а не проявление. Всякая мера, построенная на наблюдаемом ухудшении, показывает ноль до порога и потому бесполезна там, где она нужнее всего — заранее. Отсюда же ценность обхода: запас носителей измерим до того, как что-либо проявилось.
Третье, ограничивающее. Порог не есть свойство вещества, он есть свойство устройства с избыточностью. Там, где резерва нет, порога тоже нет — отказ идёт с постоянным риском, без накопления и без внезапности (гл. 20). То есть пороговое поведение и старение суть одно и то же явление, наблюдаемое с разных сторон (М).
Это, кстати, объясняет, почему пороги обнаруживаются в столь разных предметах — от мтДНК до численности племени. Общего вещества у них нет; общее у них устройство с запасом незаменимого.
Чего этот обход стоит. Он даёт величину, удовлетворяющую трём требованиям из четырёх, — и обходит четвёртое требование, не выполнив его. Число нейронов не есть объём хранимого в них: две головы одинакового объёма содержат разные биографии, и мера, не различающая их, о биографии молчит. Обход измеряет ёмкость, а не содержание.
Но и это не пустяк, и вот почему. Если старение есть расходование запаса незаменимого (гл. 20), то для предсказания сроков ёмкости может хватать: важно, сколько осталось, а не что именно записано. Тогда БП‑2 распадается надвое. Задача «измерить содержание» остаётся нерешённой и, вероятно, нерешаемой. Задача «измерить ёмкость и скорость её расходования» решена в трёх областях независимо, и книге следует ею пользоваться.
Переформулировка БП‑2, предлагаемая здесь: не «построить меру биографической информации», а «установить, в каких вопросах ёмкость заменяет содержание, а в каких нет». Первая задача за двадцать лет не сдвинулась; вторая формулируется и, судя по трём приведённым случаям, решаема (Г).
Обход этот принадлежит не книге: пороговая модель резерва старше настоящей главы на тридцать три года.
14.3. Как выглядит успех: порог Эйгена
Прежде чем перечислять неудачи, полезно посмотреть на образец. В главе 10 разобрано утверждение того же типа, которое построить удалось.
Эйген связал точность копирования, длину генома и судьбу информации во времени (с оговоркой §10.2 об условиях применимости): воспроизводимая длина обратно пропорциональна частоте ошибок на символ, за порогом наступает катастрофа ошибок (М). Утверждение считает, предсказывает и опровергается — на нём построена целая терапевтическая стратегия против РНК-вирусов.
Почему там получилось? Три обстоятельства, каждое из которых в нашем случае отсутствует.
Первое. Информация дискретна и её единица очевидна: нуклеотид. Никто не спорит, что считать битом генома.
Второе. Ошибка определена независимо от содержания: ошибка есть несовпадение с матрицей. Матрица дана физически.
Третье. Есть естественный ансамбль — популяция копий. Без ансамбля нет вероятностей, без вероятностей нет энтропии.
Три эти пункта дальше и будут местами, где ломается всё.
14.4. Кандидат первый: колмогоровская сложность
Первое, что приходит в голову: B есть длина кратчайшей программы, порождающей состояние системы.
Отпадает по двум причинам, и вторая смертельна.
Колмогоровская сложность невычислима — это неприятно, но с этим живут, работая с оценками сверху (Ф). Хуже другое: максимум сложности достигается на случайном шуме (Ф). Полностью деградировавший мозг с хаотизированными синапсами имеет колмогоровскую сложность выше, чем живой. Мера, объявляющая труп богаче биографией, чем человека, не годится ни на что.
Требование «различать шум и содержание» убивает кандидата с первого хода.
14.5. Кандидат второй: энтропия состояния
Второй заход: B есть шенноновская энтропия распределения состояний системы.
Здесь всплывает препятствие, которое дальше будет всплывать снова и снова, поэтому назовём его прямо.
Проблема ансамбля. Энтропия определена для распределения, распределение — для ансамбля. Что является ансамблем для одной человеческой биографии? Множество возможных жизней этого человека? Оно не существует физически, его нельзя выбрать неарбитражно, и любой выбор задаёт ответ заранее (БП).
Для генома ансамбль есть: популяция реальных копий. Для личности — единственная реализация. Информационная теория работает с сообщениями, посланными из известного источника; жизнь есть одно сообщение из источника, наблюдавшегося ровно раз.
Кандидат отпадает, но проблема остаётся и переживёт всех оставшихся.
14.6. Кандидаты третий и четвёртый: глубина и эффективная сложность
Чарльз Беннет предложил меру, прямо нацеленную на различение шума и содержания: логическую глубину — время вычисления, необходимое для порождения объекта из его кратчайшего описания (М). Случайный шум порождается мгновенно (он сам себе описание) и потому неглубок; структура, требующая долгого вычисления, глубока. Интуитивно это то, что нужно: биография накапливается долго и не сжимается.
Не подходит. Глубина измеряет историю производства, а не объём хранимого. Кристалл, растущий тысячу лет, глубок и при этом почти ничего не хранит. Кроме того, невычислима и она.
Гелл-Манн и Ллойд предложили эффективную сложность: длина описания регулярностей объекта, с отбрасыванием случайной составляющей (М). Это ближе всего к тому, что требуется по смыслу.
И здесь кандидат ломается о самое интересное препятствие. Разделение на «регулярность» и «случайность» не задано объектом — оно задаётся тем, кто судит. Гелл-Манн это признавал открыто. Эффективная сложность зависит от выбора уровня описания, а требование инвариантности из §14.2 ровно это и запрещает.
Отметим направление, в котором отпадают кандидаты: все они спотыкаются на том, что мера оказывается не свойством объекта, а отношением объекта к чему-то ещё. Это не случайность, и §14.9 покажет почему.
14.7. Кандидат пятый: интегрированная информация
Φ Тонони измеряет несводимость каузальной структуры системы к сумме частей (М). Мера красивая и для своей задачи, возможно, верная.
Здесь она не по той оси. Φ говорит, насколько система едина, а не сколько уникального в ней накоплено. Простая система с богатой памятью и сложная система без памяти могут иметь одинаковую Φ. Кандидат отклоняется без спора по существу — просто это ответ на другой вопрос.
14.8. Кандидат шестой, лучший: статистическая сложность
Самый близкий из существующих подходов — вычислительная механика Кратчфилда: статистическая сложность Cμ, объём информации о прошлом, необходимый для оптимального предсказания будущего процесса (М). Формально — энтропия каузальных состояний ε-машины.
Это почти определение биографии: то в прошлом, что продолжает иметь значение.
Три возражения, и третье принципиально.
Первое. Определена для стационарных процессов. Жизнь нестационарна демонстративно.
Второе. Требует ансамбля — та же проблема §14.5, никуда не девшаяся.
Третье и главное. Cμ учитывает только предсказательно значимое прошлое. Воспоминание, которое ни на что не влияет и никогда не проявится в поведении, даёт нулевой вклад в Cμ — и при этом остаётся частью того, кто вы есть. Мера отбрасывает ровно тот класс содержимого, ради которого затевалась.
Если считать, что личность исчерпывается диспозициями к поведению, возражение снимается. Но это сильная философская позиция, которую книга не вправе принять контрабандой, ради удобства формализации. Отметим развилку и пойдём дальше.
14.9. Поворот: избыточность — не свойство, а отношение
Все шесть кандидатов пытались измерить нечто внутри системы. Собранная в §14.10 закономерность подсказывает, что искали не там.
Вернёмся к главе 13. Клеточная идентичность — порядка восьми бит, и партиальное репрограммирование обратимо не потому, что клетка что-то помнит, а потому, что ей напоминает ниша. Избыточность лежала снаружи.
Значит, и мера должна быть внешней. Не «сколько информации в системе», а сколько информации в системе не восстановимо из её окружения.
Это записывается стандартным аппаратом. Пусть S — состояние системы, E — состояние её резервуара (ниша, ткань, популяция, среда, общество). Тогда:
Избыточность = I(S; E) — взаимная информация системы и резервуара. Биографическая информация B = H(S | E) — условная энтропия: то, чего резервуар о системе не знает (Г).
Избыточность делает две противоположные вещи, и различает их заменимость
Прежде чем строить меру, надо снять затруднение, которое иначе рушит всё построение. Книга утверждает, что избыточность есть условие ремонта, а её отсутствие — причина неремонтируемости. Теория надёжности старения утверждает прямо противоположное.
Формулировка Гаврилова и Гавриловой недвусмысленна: даже системы, целиком составленные из нестареющих элементов с постоянной частотой отказа, всё равно ухудшаются с возрастом, если они избыточны по незаменимым элементам; старение, следовательно, есть прямое следствие избыточности системы ★.
И там же — следствие, ещё менее удобное: видимая скорость старения выше для систем с более высоким уровнем избыточности ★.
Иначе говоря: система без резерва не стареет. Она отказывает сразу, с постоянным риском. Стареет ровно та, у которой запас есть, — она переживает ранние отказы и портится по мере его расходования.
Оба утверждения верны, и противоречия между ними нет. Различает их заменимость элементов.
Избыточность в заменимых элементах даёт ремонт. Есть образец — есть сверка, есть восстановление. Клетка кожи гибнет, ниша хранит образец, новая строится по нему.
Избыточность в незаменимых элементах даёт старение. Образца нет, восстановления нет; запас лишь растягивает отказ во времени, превращая мгновенную гибель в кривую (Ф).
Что отсюда следует для книги, и следует немало.
Правило образца не переворачивается, как могло показаться, а уточняется по области действия: оно говорит о ремонте и потому касается заменимых элементов. Теория надёжности говорит о форме кривой смертности и потому касается незаменимых. Это два разных вопроса об одном понятии, и книга обязана их развести, иначе читатель справедливо укажет на противоречие.
Отсюда же — объяснение того, почему выбраковка и резерв суть одно устройство, а не два. Из семи миллионов зачаточных половых клеток до дела доходят четыреста (§11). Здесь это истолковано как выбраковка ради качества линии, в теории надёжности — как свидетельство того, что система строится с огромным избытком и уже повреждённой. Оба прочтения совместимы, и вместе дают третье: выбраковка есть способ построить резерв нужного качества, а его величина задаётся при постройке, а не в течение жизни (§21.14, операция вторая) (М).
И последнее, ограничивающее. Теория надёжности объясняет форму кривой — почему Гомпертц, почему плато, почему компенсационный эффект ★. Она не объясняет, почему именно эти элементы незаменимы, — а это и есть вопрос настоящей книги. Границу между двумя постановками стоит держать явной.
Приоритет. Аппарат, к которому здесь пришли, не нов и разработан в другой области. В биологии развития позиционная информация формализуется ровно так: количество информации об положении есть разность полной энтропии и усреднённой энтропии условного распределения, то есть H(S) − H(S | E) ★. Наша величина B есть в точности вычитаемое в этой формуле. Взаимную информацию уже применяют и как меру старения ★.
Здесь производится частный ход: прочтение условной энтропии как границы восстановимости, а не предсказуемости. Это — утверждение о состоянии литературы, и оно не проверено поиском: прицельного протокола по нему не составлялось, а проба на проторённость даёт стык теории информации с биологией развития проторённым. До проверки притязание не предъявляется (БП), и это существенно более узкое притязание.
Проверим на всём, что книга успела набрать.
| Система | Резервуар E | H(S|E) | Наблюдаемое |
|---|---|---|---|
| Цепь ДНК | Комплементарная цепь | ≈ 0 | Точная репарация (Ф) |
| Зародышевая линия | Популяция + отбор | Низкая | Бессмертие линии, гл. 11 (Ф) |
| Идентичность гепатоцита | Печёночная ниша | ≈ 0 | Широкое окно репрограммирования (Ф) |
| Иммунный репертуар | Ничего | Высокая | Память стирается омоложением (Г) |
| Синаптический след | Ничего | Максимальная | Окна нет (Г) |
Пять строк, один параметр, порядок соблюдён. Расхождение кривых Оловой объяснено: зазор между падением эпигенетического возраста и потерей идентичности есть в точности мера того, что ниша может пересказать клетке заново. Долг из §14.2 закрыт — качественно.
Правило образца получает уточнённую формулировку:
Ремонтопригодность системы ограничена величиной H(S | E). Стареет то и в той мере, в какой оно не продублировано вовне.
Это заметно лучше исходного. Из этого следует программа измерений — и из этого пока не следует ни одного числа.
14.10. Почему числа всё равно нет
Четыре препятствия. Первые три технические, четвёртое — нет.
Ансамбль. H требует распределения; одна жизнь — одна реализация (§14.5). Обходной путь — брать ансамблем не «возможные жизни этого человека», а популяцию однотипных систем: клетки одного типа, особей одного вида. Для клеток это работает и делает мысль эмпирической. Для личности — нет: неясно, в каком смысле два человека суть две реализации одного процесса (БП).
Границы резервуара. Где кончается E? Для гепатоцита — приемлемо очерчено тканью. Для человека резервуар включает близких, записи, вещи, институции, и никакого естественного края у него нет. Величина B зависит от того, где провести границу, а граница проводится решением исследователя.
Уровень описания. H(S|E) зависит от того, какие переменные включены в S. Считать ли синаптические веса? Концентрации нейромодуляторов? Конформации белков? Каждый выбор даёт свой ответ, различающийся на порядки. Требование инвариантности из §14.2 не выполнено; в лучшем случае можно надеяться на явную параметризацию по уровню, и её нет (БП).
Это та же трудность, что и различение пяти смыслов восстановления из §В.4, только в количественной форме. Там она разводилась словами: микросостояние, функция, биографическая запись, содержание переживания, субъект. Здесь она возвращается как выбор переменных в S — и выбор этот делает то же самое, что определение уровня, только молча. Взять конформации белков значит считать микросостояние; взять экспрессионный профиль — функцию; взять синаптические веса — приблизиться к биографической записи. Ни один набор не захватывает содержания переживания и субъекта: переживание попадает в S лишь в той части, в какой оно записано, а переменной, кодирующей субъекта первого лица, в S не бывает по построению — и это не пробел формализма, а БП‑6 в его собственном виде.
Практическое следствие. Всюду, где книга говорит «B велика» или «B мала», подразумевается биографическая запись. Оценки для микросостояния бессмысленны (оно не восстановимо ни у кого), для функции — известны и обнадёживающи, и путать их с оценками для связности не следует (М).
Четвёртое: B и C не определимы независимо. Вот это серьёзно.
Чтобы посчитать пропускную способность ремонта C, надо знать, что считается ошибкой. Ошибка есть отклонение от эталона. Наличие эталона — ровно тот предмет, о котором весь спор. Определяя C, мы уже предполагаем решённым то, что B должна была измерить.
Круг не риторический, он структурный. В случае Эйгена он разомкнут физически: матрица дана, и вопрос об эталоне не возникает. В нашем случае размыкать нечем.
Единственный намеченный выход — определить ошибку операционально, через саму систему: эталон есть то, на что реагируют механизмы репарации (Г). Что распознают ферменты коррекции неспаренных оснований, то и есть эталон для ДНК; что восстанавливает ниша, то и есть эталон для клеточной идентичности. Определение эмпирическое, наблюдаемое и не циркулярное — но оно определяет эталон постфактум, через поведение конкретной машинерии, и потому не даёт универсальной меры, только локальную. Для клеток это, вероятно, достаточно. Для личности механизма-аналога не опознано (БП).
14.11. Тупик со стороны физики
Стоит проверить, не даст ли C физика — независимо от биологии.
Даст, и бесполезно. Из принципа Ландауэра (гл. 7, с оговоркой §7.2 о его оспариваемости) следует термодинамический потолок: при данном энергетическом бюджете нельзя стереть больше определённого числа бит. Для мозга с его двадцатью ваттами потолок оказывается порядка 10²² бит в секунду.
Реальная биологическая репарация идёт на восемь-девять порядков ниже этого предела (Ф/оценка). Ограничение существует, оно строгое и оно не связывает: биология упирается в собственные механизмы задолго до того, как заметит термодинамику.
Вывод, который стоит запомнить: C придётся измерять, а не выводить. Физика в этом вопросе великодушна и потому бесполезна.
14.12. Что физика всё-таки даёт: неравенство обработки данных
Предыдущий параграф закрыл один путь: термодинамика не выводит C. Но есть второй, и он даёт не величину, а запрет — а запрет иногда полезнее.
Неравенство обработки данных. Если X → Y → Z образуют марковскую цепь — то есть каждое следующее состояние зависит только от непосредственно предыдущего, — то I(X; Z) ≤ I(X; Y) (Ф). Взаимная информация с началом цепи не может вырасти от обработки. Только сохраниться или убыть. Результат стандартный, восходит к Шеннону.
Применение прямое. Пусть S₀ — исходное состояние системы, S₁, S₂, … — состояния после последовательных актов поддержания. Система с самоэталоном (§12.6) сверяется с непосредственно предыдущим состоянием — то есть марковская по устройству. Отсюда:
I(S₀; Sₙ) монотонно не возрастает.
Самоэталонирующийся ремонт не может восстановить информацию об исходном состоянии. Он может её сохранить или потерять (Ф, при марковском допущении).
Чем это ценно. Утверждение не требует меры B. Круг §14.10 — B и C не определимы независимо — обойдён: нужно только марковское свойство цепи, а оно есть свойство механизма, а не содержания.
Это ядро правила образца, доказанное для частного, но важного случая.
Чего оно не даёт. Ни темпа убывания, ни порога, ни сравнения с dB/dt. Неравенство говорит «не возрастает» и молчит о том, насколько быстро убывает. Полной формализации из §14.2 оно не заменяет.
И оно применимо не везде. Марковское допущение отказывает там, где эталон типа A: комплементарная цепь, сестринская хроматида, ниша — источники вне цепи, и через них информация входит. Неравенство запрещает восстановление только там, где система замкнута на себя.
Напряжение с информационной теорией старения
Из этого следует расхождение, которое стоит назвать прямо, потому что оно проверяемое.
Информационная теория старения утверждает, что старение есть утрата эпигенетической информации и что репрограммирование её извлекает ★. Формулировка в её защиту говорит о сохранённой резервной копии юношеского состояния.
Неравенство обработки данных говорит: в замкнутой цепи извлечь нельзя. Значит, одно из двух.
Либо резервная копия существует — то есть эталон типа A где-то в системе, физически отдельный носитель юношеского состояния. Тогда цепь не замкнута, неравенство неприменимо, и восстановление возможно. Но тогда обязанность назвать носитель: где именно лежит копия и чем она защищена от того же дрейфа.
Либо копии нет — и тогда репрограммирование не восстанавливает индивидуальное исходное состояние, а нормализует клетку к типовому. Что и наблюдается в главе 13: окно между омоложением и утратой идентичности есть ровно граница между нормализацией и стиранием.
Неравенство превращает спор о «восстановлении» в вопрос о местонахождении эталона (Г).
Отметим, что эмпирическая база спорной стороны оспаривается: опубликована прямая критика, утверждающая, что информационная теория старения не проверена ★. Настоящая глава в этом споре стороны не занимает — она указывает, какое утверждение каждая сторона обязана предъявить.
Приоритет. Неравенство стандартно. Его применение к самовоспроизводящимся цепям в машинном обучении описано ★. Приложений к соматическому поддержанию поиск не обнаружил — протокол из двух прицельных запросов, признаётся тонким (БП).
14.13. Что можно проверять уже сейчас
Отсутствие абсолютной меры не отменяет порядковой. H(S|E) не вычисляется, но ранжируется — и этого хватает для настоящих экспериментов.
Прямой анализ избыточности: гетеротопная пересадка. Поместить клетку в чужую нишу и измерить, какую долю идентичности новое окружение навязывает, а какую клетка удерживает вопреки ему. Это буквальное измерение I(S;E), и делается существующими методами (Г, методика).
Прогноз порядка окон. Ткани, упорядоченные по оценённой доле неизбыточной информации, должны дать окна репрограммирования той же ширины в том же порядке:
мышца ≳ печень ≳ кожа ≫ иммунная система ≫ гиппокамп
Прогноз опровергается перестановкой любых двух звеньев при контроле прочих условий (Г).
Проверка на сдвиг. Искусственно обеднить нишу — снизить плотность сигналов идентичности — и предсказать сужение окна в той же ткани. Если окно не сузится, реляционная трактовка §14.9 неверна, и с ней рушится объяснение зазора Оловой.
Три эксперимента не дают меры B. Они дают нечто более скромное и более полезное: возможность ошибиться.
14.14. Статус: что именно не сделано
Сведём честно.
Сделано. Правило образца переформулировано из внутреннего свойства в отношение системы к резервуару. Переформулировка объясняет пять разнородных случаев одним параметром, снимает главное возражение главы 13 и порождает три опровержимых прогноза.
Не сделано. Величина B не вычисляется ни для одной системы сложнее гипотетической. Скорость dB/dt не определена вовсе — она даже не обсуждалась в этой главе, потому что определять темп изменения величины, которой нет, бессмысленно. Неравенство из §14.2(4) не записано. Ширина окна из B не вычисляется — объяснена качественно, предсказана порядково, не посчитана.
Диагноз. Провал не технический. B и C не определимы независимо друг от друга (§14.10), и это не дефицит изобретательности, а свойство задачи: обе величины определяются через понятие эталона, наличие которого и составляет предмет вопроса.
Статус правила образца. Продуктивная эвристика, порождающая проверяемые следствия. Не теорема. Помечается (Г) и остаётся так до тех пор, пока не выполнено что-то из следующего пункта.
14.15. Что засчитается за решение
БП‑2 закрывается, если предъявлена мера B, для которой одновременно:
- выполняется аддитивность на независимых подсистемах;
- задана явная зависимость от уровня описания — либо доказана инвариантность;
- наблюдается предсказанная отрицательная связь с продолжительностью жизни в межвидовом сравнении;
- величина падает при вмешательствах, продлевающих жизнь;
- из неё вычисляется ширина окна партиального репрограммирования — численно, а не по порядку.
Пятый пункт добавлен в этой главе и он самый жёсткий: он требует, чтобы мера была не философской, а рабочей.
Частичный зачёт — за решение проблемы ансамбля для единичной реализации, либо за независимое от B определение C. Любое из двух разрывает круг §14.10 и делает остальное вопросом труда.
14.16. Зачем эта глава в книге
Можно было поступить иначе: изложить §14.9 как достижение, умолчать про §14.9 и перейти к части IV. Реляционная формулировка выглядит убедительно, объяснительная сила у неё есть, читатель бы не заметил.
Правило 3 из «Метода» этого не позволяет, и не только из щепетильности. Утверждение, чей статус скрыт, нельзя ни развить, ни опровергнуть — оно выпадает из оборота и превращается в предмет веры. Правило образца, честно помеченное (Г), остаётся живым: его можно атаковать по §14.13 и добить по §14.15.
Книга называется «К теории бессмертия» ровно из-за таких глав. Здесь видно, где именно стоит «к».
14.17. Статус главы
Что установлено фактически. Порог Эйгена как образец успешной формализации того же рода (Ф) — при оговорке §10.6, что его условия оспорены: точный порог требует полного отсутствия летальных генотипов, а при флуктуациях переход не резок. Неравенство обработки данных: никакая обработка не увеличивает взаимной информации (Ф). Свойства шести рассмотренных кандидатов на меру (Ф).
Что предложено книгой. Прочтение избыточности как отношения, а не свойства, с резервуаром в качестве второго члена (Г). Определение B = H(S | E) (Г). Переформулировка спора о восстановлении как вопроса о местонахождении эталона (Г).
Чем глава сильна. Тем, ради чего написана: она не получила результата и говорит об этом прямо. Спецификация выписана, шесть кандидатов перебраны, каждый отвергнут с указанием причины, §14.14 перечисляет несделанное, §14.15 — что засчитается за решение. Отрицательный результат изложен так, что его можно продолжить.
Чем слаба. Ровно тем же. Центральное понятие книги остаётся без числа, и все построения, на него опирающиеся, наследуют эту нестрогость. Порядковых оценок хватает главе 22 и не хватает главе 26 (БП‑2).
Второе, менее заметное: границы резервуара E назначаются рассуждением, а не процедурой (§14.10). Пока их не назначает алгоритм, величина определена с точностью до того, кто её считает.
Источники. Аппарат условной энтропии в биологии развития существует и старше книги (§14.9). Здесь берётся не аппарат и не приложение его к биологии, а частный ход прочтения — и этот ход поиском не проверялся (БП).
Связки
- Назад к гл. 10: порог Эйгена остаётся единственным работающим образцом утверждения нужного типа; §14.3 объясняет, какие три условия там выполнены и почему их нет здесь.
- Назад к гл. 13: зазор Оловой объяснён качественно через H(S|E), не вычислен количественно. Долг закрыт наполовину и переписан на БП‑2.
- Перенос между носителями (§В.6): неравенство обработки данных §14.12 — утверждение о марковских цепях вообще; к биологии оно применяется, а не выводится из неё.
- Вперёд к гл. 18: порядковый прогноз §14.13 переносится с тканей на виды — картотека пренебрежимо стареющих организмов есть его межвидовая проверка.
- Вперёд к гл. 22: прогноз о цене геропротекторов сохраняет силу и в порядковом виде; численного он и не требовал.
- Вперёд к гл. 26: проблема границ резервуара (§14.10) там оборачивается неожиданной стороной — если личность есть траектория, а не состояние, часть E перестаёт быть внешней.
- Открытые пятна: БП‑2 (мера B) — центральное и переформулированное; БП‑1 (критерий тождества) — от него зависит выбор переменных в S; БП‑6 — развилка §14.8 о том, исчерпывается ли личность диспозициями к поведению.