von Neumann’s trace inequality for Hilbert–Schmidt operators

von Neumann’s inequality in matrix theory refers to the fact that the Frobenius scalar product of two matrices is less than or equal to the scalar product of the respective singular values. Moreover, equality can only happen if the two matrices share a joint set of singular vectors, and this latter part is hard to find in the literature. We extend these facts to the separable Hilbert space setting, and provide a self-contained proof of the “latter part”.     

计算代数方程组孤立奇异解的符号数值方法

求解代数方程组是计算代数几何的最基本问题之一,孤立奇异解的计算则是其中最具挑战性的课题之一,在科学与工程计算中有着广泛的应用,如机器人、计算机视觉、机器学习、人工智能、运筹学、密码学和控制论等.本文结合作者的研究成果,综述了符号数值方法在计算代数系统孤立奇异解、特别是近似奇异解精化与验证方面的研究进展,并对未来的研究方向提出了展望.     

三维位势问题的梯度边界积分方程的新解法

三维位势问题的边界元分析中,关于坐标变量的边界位势梯度的计算是一个困难的问题. 已有一些方法着手解决这个问题,然而,这些方法需要复杂的理论推导和大量的数值计算. 本文提出求解一般边界位势梯度边界积分方程的辅助边值问题法. 该方法构造了与原边界值问题具有相同解域的辅助边值问题,该辅助边值问题具有已知解,因此通过求解此辅助边值问题,可获得梯度边界积分方程对应的系统矩阵,然后将此系统矩阵应用于求解原边值问题,求解过程非常简单,只需求解一个线性系统即可获得原边值问题的解. 值得注意的是,在求解原边值问题时,不再需要重新计算系统矩阵,因此辅助边值问题法的效率并不很差. 辅助边值问题法避免了强奇异积分的计算,具有数学理论简单、程序设计容易、计算精度高等优点,为坐标变量梯度边界积分方程的求解提供了一个新的途径. 3个标准的数值算例验证了方法的有效性.      

Collective Tunnelling of Strongly Interacting Cold Atoms in a Double-Well Potential

It is known that under resonance conditions, a group of strongly interacting bosonic atoms, trapped in a double-well potential, mimics a single particle, performing Rabi oscillations between the wells. By implication, all atoms need to tunnel at roughly the same time, even though the Bose–Hubbard Hamiltonian accounts only for one-atom-at-a-time transfers. The mechanism of this collective behavior is analyzed, the Rabi frequencies in the process are evaluated, and the limitation of this simple picture is discussed. In particular, it is shown that the small rapid oscillations superimposed on the slow Rabi cycle result from splitting the transferred cluster at the sudden onset of tunnelling, and disappear if tunnelling is turned on gradually.     

Screening gas-phase chemical kinetic models: Collision limit compliance and ultrafast timescales

Detailed gas-phase chemical kinetic models are widely used in combustion research, and many new mechanisms for different fuels and reacting conditions are developed each year. Recent works have highlighted the need for error checking when preparing such models, but a useful community tool to perform such analysis is missing. In this work, we present a simple online tool to screen chemical kinetic mechanisms for bimolecular reactions exceeding collision limits. The tool is implemented on a user-friendly website, cloudflame.kaust.edu.sa, and checks three different classes of bimolecular reactions; (ie, pressure independent, pressure-dependent falloff, and pressure-dependent PLOG). In addition, two other online modules are provided to check thermodynamic properties and transport parameters to help kinetic model developers determine the sources of errors for reactions that are not collision limit compliant. Furthermore, issues related to unphysically fast timescales can remain an issue even if all bimolecular reactions are within collision limits. Therefore, we also present a procedure to screen ultrafast reaction timescales using computational singular perturbation. For demonstration purposes only, three versions of the rigorously developed AramcoMech are screened for collision limit compliance and ultrafast timescales, and recommendations are made for improving the models. Larger models for biodiesel surrogates, tetrahydropyran, and gasoline surrogates are also analyzed for exemplary purposes. Numerical simulations with updated kinetic parameters are presented to show improvements in wall-clock time when resolving ultrafast timescales.