论文标题

汇合组织中刚性过渡的连续约束满意度问题

A continuous constraint satisfaction problem for the rigidity transition in confluent tissues

论文作者

Urbani, Pierfrancesco

论文摘要

汇合组织的模型是由空间的镶嵌物(在两个维度和三个维度上)建立的,在该空间中,成本函数的构建方式是单个单元素试图优化其体积和表面以达到目标形状的方式。在零温度下,这些模型中的许多模型表现出刚性的转变,可以分开两个阶段:液相和固体(玻璃)相。现在,这种现象学已经建立了良好,但理论理解仍然不完整。在这项工作中,我们考虑了基于抽象映射的刚度过渡的确切可溶性平均场模型。我们通过被迫在紧凑的相空间上的大量自由度的随机非线性函数代替体积和表面函数。然后,我们寻求对自由度的配置,以使这些随机的非线性功能都达到相同的值。该目标值是一个控制参数,并且在生物组织模型中扮演靶细胞形状的作用。因此,我们将细胞的微观模型映射到具有等效约束的随机连续约束满意度问题(CCSP)。我们认为,在零温度下,刚度过渡对应于问题的满足性过渡。我们还表征了令人满意的(SAT)和不满意的(UNSAT)阶段。在SAT阶段,在达到刚性过渡之前,零温度SAT景观经历了与无定形固体中Gardner Transition相同类型的RSB/Ergodicity断裂过渡。通过求解RSB方程,我们计算SAT/UNSAT阈值及其周围的临界行为。在UNSAT阶段,我们还计算了平均形状指数作为目标的函数,我们将模型的热力学解与相应成本函数的数值贪婪最小化的结果进行了比较。

Models of confluent tissues are built out of tessellations of the space (both in two and three dimensions) in which the cost function is constructed in such a way that individual cells try to optimize their volume and surface in order to reach a target shape. At zero temperature, many of these models exhibit a rigidity transition that separates two phases: a liquid phase and a solid (glassy) phase. This phenomenology is now well established but the theoretical understanding is still not complete. In this work we consider an exactly soluble mean field model for the rigidity transition which is based on an abstract mapping. We replace volume and surface functions by random non-linear functions of a large number of degrees of freedom forced to be on a compact phase space. We then seek for a configuration of the degrees of freedom such that these random non-linear functions all attain the same value. This target value is a control parameter and plays the role of the target cell shape in biological tissue models. Therefore we map the microscopic models of cells to a random continuous constraint satisfaction problem (CCSP) with equality constraints. We argue that at zero temperature, the rigidity transition corresponds to the satisfiability transition of the problem. We also characterize both the satisfiable (SAT) and unsatisfiable (UNSAT) phase. In the SAT phase, before reaching the rigidity transition, the zero temperature SAT landscape undergoes an RSB/ergodicity breaking transition of the same type as the Gardner transition in amorphous solids. By solving the RSB equations we compute the SAT/UNSAT threshold and the critical behavior around it. In the UNSAT phase we also compute the average shape index as a function of the target one and we compare the thermodynamical solution of the model with the results of the numerical greedy minimization of the corresponding cost function.

扫码加入交流群

加入微信交流群

微信交流群二维码

扫码加入学术交流群,获取更多资源