Thomas descubrió que la absorción UV del ADN nativo es mucho más baja de lo esperado según un espectro "teórico" construido a partir de los coeficientes de extinción de sus componentes nucleotídicos.[2][3][4]
Esta discrepancia desaparece después de tratamientos leves, tales como un pH más bajo o más alto, una temperatura más alta o una fuerza iónica más baja, especialmente con una concentración más baja de cationes divalentes. Estos preservan los enlaces entre nucleótidos que mantienen la estructura del ADN, lo que implica que las bases nitrogenadas, responsables de la absorbancia UV, interactúan mediante enlaces débiles (enlaces de hidrógeno o fuerzas de Van de Waals), lo que contribuye a una estructura secundaria lábil del ADN. La alteración de esta estructura secundaria recibió el nombre de “desnaturalización del ADN”,[5] en analogía con el proceso similar conocido para las proteínas. Una vez que Francis Crick, James Watson, Rosalind Franklin y Maurice Wilkins resolvieron la naturaleza detallada de la estructura secundaria del ADN, la desnaturalización del ADN podría entenderse como el desenrollamiento de la doble hélice.[6] Se convirtió en fundamental en todos los procesos que usan amplificación de ADN; por ejemplo, secuenciación de ADN, clonación molecular y reacción en cadena de la polimerasa, ya sea para fines fundamentales o para aplicaciones de terapia génica y consultas judiciales.
El trabajo de François Jacob, André Lwoff, Jacques Monod y Elie Wollman demostró la existencia de genes reguladores que controlan negativamente la expresión de otros genes (genes “diana” o “subordinados”), los cuales son silenciados por el producto del gen regulador denominado “represor”. Contrariamente a la suposición general de que todas las regulaciones genéticas serían negativas, Thomas demostró que la regulación genética también puede ser positiva; es decir, que los productos de algunos genes reguladores pueden activar directamente sus genes diana.
Los experimentos que llevaron a este descubrimiento se realizaron con bacterias y sus virus, los bacteriófagos (o fagos). Algunos bacteriófagos pueden integrar su genoma de ADN en el genoma bacteriano, donde permanece latente (un estado llamado "profagia") debido a la represión de todos los genes virales por el producto de un gen regulador de bacteriófagos. Thomas demostró que la replicación del virus está directamente bloqueada por el represor ("efecto Thomas-Bertani").[7]
Thomas descubrió además que algunos de los genes del profago, a pesar de que están regulados negativamente por el represor del profago, pueden activarse después de la infección de la bacteria por otro virus estrechamente relacionado ("superinfección"). Esto demostró que los genes reguladores pueden activar genes diana ("transactivación"), a pesar de la represión causada por un regulador negativo.[8]
Thomas identificó dos reguladores positivos en el bacteriófago lambda, los productos de los genes N y Q. Mostró que estos productos reguladores actúan secuencialmente para activar la expresión de la mayoría de los otros genes lambda.[9]
Posteriormente se descubrió que la existencia de regulación positiva y la de las cascadas reguladoras desempeñaban funciones esenciales en el desarrollo de todos los organismos multicelulares, incluidos los humanos. La complejidad de la regulación observada en lambda llevó a Thomas a iniciar un análisis lógico del comportamiento de las redes reguladoras genéticas, su segunda gran contribución a nuestra comprensión de la regulación génica.
La complejidad de la red reguladora que controla la decisión entre lisis y lisogenia por el bacteriófago lambda llevó a Thomas a darse cuenta de que comprender el comportamiento del fago basado únicamente en la intuición era muy difícil. Por lo tanto, buscó medios para modelar esta red y formalizar su análisis dinámico. Se encontró con el álgebra booleana y su aplicación al diseño y análisis de circuitos electrónicos. Como el álgebra booleana trata con variables que toman solo dos valores (0 / OFF o 1 / ON) y operadores lógicos simples como AND, OR y NOT, es particularmente adecuada para formalizar el proceso de razonamiento de los genetistas; por ejemplo, observaciones como "este gen estará activado sólo si el factor activador está presente y el factor inhibidor está ausente". Thomas aprendió a usar el formalismo booleano asistiendo a las clases de su colega Jean Florine en la Universidad Libre de Bruselas.
Estimulados por el trabajo de François Jacob y Jacques Monod sobre la regulación de genes bacterianos, algunos otros teóricos tuvieron la idea de aplicar el álgebra booleana al modelado de redes genéticas, incluidos Mitoyosi Sugita[10] y Stuart Kauffman.[11][12]
Con la ayuda del físico Philippe Van Ham, el químico Jean Richelle y el matemático El Houssine Snoussi, Thomas se centró en el modelado lógico de redes reguladoras relativamente pequeñas (incluido el que controla el desarrollo del bacteriófago lambda), utilizando una actualización asincrónica más compleja y considerando varios refinamientos del formalismo lógico: introducción de variables polivalentes, consideración explícita de valores umbral y definición de parámetros lógicos correspondientes a los parámetros cinéticos utilizados en el formalismo diferencial.[13][14][15]
En su forma actual, el enfoque del modelado lógico desarrollado por Thomas y sus colaboradores se basa en la delineación de un "gráfico regulador", donde los nodos (vértices) representan componentes reguladores (por ejemplo, genes o proteínas reguladores) y los arcos con signo (positivo o negativo) representan interacciones reguladoras (activaciones o inhibiciones). Esta representación gráfica se asocia además con reglas lógicas (o parámetros lógicos), los cuales especifican cómo cada nodo se ve afectado por diferentes combinaciones de entradas reguladoras.
El comportamiento dinámico de un modelo lógico se puede representar además en términos de un "gráfico de transición de estado", donde los nodos denotan estados, es decir, vectores de valores para los diferentes componentes de las redes reguladoras, y las flechas denotan transiciones entre estados, de acuerdo con las reglas lógicas.
Durante las últimas décadas, el enfoque de modelado lógico de Thomas se ha implementado en programas informáticos eficientes, lo que permite el análisis de modelos más grandes. Se ha aplicado a redes que controlan varios tipos de procesos biológicos, incluida la infección y multiplicación de virus, la diferenciación de células inmunes, la formación de patrones en animales y plantas en desarrollo, la señalización de células de mamíferos, el ciclo celular y las decisiones sobre el destino celular.[16]
Los análisis de los modelos de redes genéticas llevaron a Thomas a darse cuenta de que los "circuitos reguladores", definidos como rutas circulares simples en los gráficos regulatorios (cf. arriba), están jugando roles dinámicos cruciales. Esto a su vez le permitió distinguir dos clases de circuitos reguladores, a saber, circuitos positivos versus circuitos negativos, asociados con diferentes propiedades dinámicas y biológicas. Por un lado, los circuitos positivos, que involucran un número par de interacciones negativas (o ninguna) pueden conducir a la coexistencia de múltiples regímenes dinámicos. Por otro lado, los circuitos negativos, que involucran un número impar de interacciones negativas, pueden generar comportamiento oscilatorio u homeostasis.
Posteriormente, considerando el gráfico regulador asociado con una red de genes, modelado en términos de formalismo lógico o diferencial, Thomas propuso reglas generales que establecen que (i) es necesario un circuito positivo para mostrar múltiples estados estables, y (ii) un circuito negativo es necesario para tener oscilaciones sostenidas robustas.[17] Esto tiene importantes implicaciones biológicas ya que, como lo señaló Max Delbrück[18] y se confirmó ampliamente desde entonces, la diferenciación celular se debe esencialmente a elecciones sucesivas entre múltiples estados estacionarios. Por lo tanto, cualquier modelo para un proceso de diferenciación debe involucrar al menos un circuito positivo.
Las reglas propuestas por Thomas han inspirado a varios matemáticos, quienes las tradujeron en teoremas rigurosos, primero refiriéndose a ecuaciones diferenciales ordinarias, pero también refiriéndose a formalismos lógicos booleanos y plurivalentes. Este es uno de los pocos casos en que los estudios biológicos condujeron a la formulación y demostración de teoremas matemáticos generales.[19][20][21][22]
Los estudios teóricos de Thomas sobre las propiedades de los circuitos reguladores genéticos dieron lugar a aplicaciones prácticas en relación con la síntesis de nuevos circuitos, con propiedades específicas, en la bacteria E. coli.[15][23] Sin embargo, debido a varios problemas técnicos, los intentos del grupo de Thomas para construir circuitos genéticos sintéticos no tuvieron éxito. Posteriormente, en el nuevo milenio varios grupos han reportado la síntesis exitosa de circuitos positivos simples ("interruptor de palanca") y circuitos negativos ("represilador" y circuito auto-inhibidor).[24][25][26]
Una vez que las propiedades dinámicas de conjuntos complejos de circuitos se habían desentrañado en términos lógicos, era tentador volver a una descripción más habitual y cuantitativa en términos de ecuaciones diferenciales, aprovechando el conocimiento adquirido con respecto al comportamiento cualitativo. Dos artículos de Thomas y Marcelline Kaufman comparan las predicciones lógicas y diferenciales del número y la naturaleza de los estados estacionarios.[27][28] Los siguientes artículos de Thomas y Marcelle Kaufman, y de Thomas y Pascal Nardone mostraron que el espacio de fase del sistema se puede dividir en dominios de acuerdo con los signos y la naturaleza real o compleja de los valores propios de la matriz jacobiana.[29][30]
De hecho, los circuitos reguladores pueden definirse formalmente como conjuntos de elementos no vacíos de la matriz jacobiana (o del gráfico de interacción) de sistemas dinámicos de tal manera que los índices de línea y columna están en permutación circular. El signo de un circuito viene dado por el producto de los signos de los elementos jacobianos correspondientes. Cabe destacar que la naturaleza de los estados estables depende completamente de los términos de la matriz jacobiana que pertenecen a un circuito, ya que solo esos términos aparecen en la ecuación característica de un sistema y, por lo tanto, participan en el cálculo de sus valores propios.[31]
Thomas sugirió, además, que se necesitan un circuito positivo y un circuito negativo para generar un caos determinista. Con esto en mente, se construyeron varios conjuntos sorprendentemente simples de ecuaciones diferenciales de primer orden y se mostró que mostraban un caos determinista. El más espectacular fue probablemente los “atractores simétricos complejos” ("Caos laberíntico") generados por un conjunto de n (n> = 3) ecuaciones diferenciales de primer orden. Este sistema fue analizado en profundidad por Sprott y sus colegas.[32]