神经震动:神经微分方程中的几何约束
Justin S Diamond1, Markus A Lill2
1Department of Pharmaceutical Sciences, University of Basel, Basel, Switzerland. justin.diamond@unibas.ch.
Journal of cheminformatics
|August 5, 2025
概括
这项研究介绍了神经SHAKE,一种通过将基于物理学的约束嵌入神经微分方程来生成精确的分子构造的新方法. 该方法确保了物理有效的几何形状,并有效地探索低能量的状态.
科学领域:
- 计算化学是一种计算化学.
- 机器学习用于科学.
- 分子建模分子建模
背景情况:
- 由于高维空间,生成精确的分子构造具有挑战性.
- 基于物理的信息可以作为几何约束来进行整合,以改善形状生成.
- 现有的方法经常使用软约束,这可能不能保证物理有效性.
研究的目的:
- 开发一种用于生成准确和物理有效的分子构造的方法.
- 在扩散框架内将严格的几何约束嵌入神经微分方程中.
- 为了提高探索低能分子构造的效率.
主要方法:
- 提出了Neural SHAKE,一种将denoising扩散与神经微分方程集成的方法.
- 将基于物理的信息重新构成非线性几何约束.
- 投射随机生成动力学到由约束集定义的多元体上,强制执行精确的可行性.
- 利用多元体投射的基于分数的扩散与拉格朗日乘数用于对约束表面的直角投射.
主要成果:
- 产生了低能分子构造,在每个步骤中都具有精确的可行性.
- 能够更有效地探索形态子空间.
- 通过将几何约束视为严格的代数条件,正式纳入分类器指导方法.
- 保持了全球SE(3) 对称性,并强制制约束解决者容忍度.
结论:
- 神经SHAKE提供了一个强大的框架,通过强制执行严格的几何约束来生成精确的分子构造.
- 与现有方法相比,该方法在效率和物理有效性方面提供了显著的改进.
- 这项工作推动了扩散模型和神经微分方程在分子建模中的应用.
相关概念视频
01:26Transmission-Line Differential Equations
404
Transmission lines are essential components of electrical power systems. They are characterized by the distributed nature of resistance (R), inductance (L), and capacitance (C) per unit length. To analyze these lines, differential equations are employed to model the variations in voltage and current along the line.
Line Section Model
A circuit representing a line section of length Δx helps in understanding the transmission line parameters. The voltage V(x) and current i(x) are measured...
Line Section Model
A circuit representing a line section of length Δx helps in understanding the transmission line parameters. The voltage V(x) and current i(x) are measured...
404
01:21Linear Approximation in Time Domain
125
Nonlinear systems often require sophisticated approaches for accurate modeling and analysis, with state-space representation being particularly effective. This method is especially useful for systems where variables and parameters vary with time or operating conditions, such as in a simple pendulum or a translational mechanical system with nonlinear springs.
For a simple pendulum with a mass evenly distributed along its length and the center of mass located at half the pendulum's length,...
For a simple pendulum with a mass evenly distributed along its length and the center of mass located at half the pendulum's length,...
125
01:17Differential Form of Maxwell's Equations
641
James Clerk Maxwell (1831–1879) was one of the significant contributors to physics in the nineteenth century. He is probably best known for having combined existing knowledge of the laws of electricity and the laws of magnetism with his insights to form a complete overarching electromagnetic theory, represented by Maxwell's equations. The four basic laws of electricity and magnetism were discovered experimentally through the work of physicists such as Oersted, Coulomb, Gauss, and...
641
01:26Constraints and Statical Determinacy
691
In structural engineering, the equilibrium of a system is not only determined by its equations of equilibrium but also with the help of constraints. Constraints refer to restrictions on the motion of a system. The proper combinations of constraints can minimize the total number of constraints needed to maintain a system in mechanical equilibrium. When this happens, the system is said to be statically determinate. For such systems, the unknown reaction supports can be estimated using equilibrium...
691
01:26Linear Approximation in Frequency Domain
131
Linear systems are characterized by two main properties: superposition and homogeneity. Superposition allows the response to multiple inputs to be the sum of the responses to each individual input. Homogeneity ensures that scaling an input by a scalar results in the response being scaled by the same scalar.
In contrast, nonlinear systems do not inherently possess these properties. However, for small deviations around an operating point, a nonlinear system can often be approximated as linear....
In contrast, nonlinear systems do not inherently possess these properties. However, for small deviations around an operating point, a nonlinear system can often be approximated as linear....
131
01:20Relation between Mathematical Equations and Block Diagrams
942
In a spring-mass-damper system, the second-order differential equation describes the dynamic behavior of the system. When transformed into the Laplace domain under zero initial conditions, this equation can be effectively analyzed and manipulated. The transformation into the Laplace domain converts differential equations into algebraic equations, simplifying the process of isolating the output.
942