arXiv subjects

Baoming Shi

Publications and source records attributed to Baoming Shi.

14 recordsLinked to original sources

arXiv2026

A Second-Order Method for Locating Critical Points of Prescribed Index on Energy Landscapes

Exploring high dimensional energy landscape is a challenging problem in many applications where both ground states and transition states offer important information about the underlying physical systems. To facilitate the computational exploration, we propose a cubic-regularized second-order method for locating critical points of prescribed index, including both energy minima (with an index $0$) and transition states (saddle points with positive index). At each step of the iteration, the proposed method involves several ingredients, such as updating the eigen-directions of the Hessian according to the prescribed index, reflecting the gradient and the Hessian along selected unstable eigen-directions, if any, and constructing the next step by solving a cubic-regularized subproblem. Under suitable assumptions, we show that, when the eigenspace and the cubic subproblem are solved exactly, the iteration converges locally and quadratically to a critical point of the prescribed index. We further establish convergence results in the inexact setting, where both the eigenspace computation and the solution of the cubic subproblem are performed approximately. We show that the resulting iteration retains local linear convergence, with the convergence rate depending on the accuracy of the inexact computations. Moreover, we prove that the fixed points of the algorithm are precisely critical points of the prescribed index. In addition, we introduce an adaptive strategy for updating the cubic regularization parameter to improve robustness and computational efficiency of the proposed algorithm. Numerical experiments confirm the predicted convergence behavior, demonstrate the effectiveness of the adaptive strategy, and illustrate the capability of the proposed method for locating critical points and constructing solution landscapes.

math.NA↗

arXiv2026

Computing stable configurations of confined smectic liquid crystals with a deep variational framework

Smectic liquid crystals are layered liquid-crystalline phases characterized by orientational order and periodic density modulation. Although their structures can be modeled using continuum theories, computing stable configurations remains challenging in complex geometries, particularly when the high-frequency density modulations associated with smectic layering should be resolved. We propose a deep variational framework (DVF) for computing these configurations within the modified Landau--de Gennes model, in which the coupled orientational and positional order parameters are represented on a regular reference domain while physical confinement is incorporated through coordinate mappings. A warmup penalty mitigates the spectral bias of neural networks toward smooth, nonlayered fields, enabling robust recovery of oscillatory smectic states. Comparisons with a neural-network baseline and finite-difference relaxation demonstrate the essential role of this penalty and the numerical stability of the resulting layered states. The DVF reproduces experimentally established smectic-A defect structures and layer morphologies across diverse confinement geometries and further predicts a chevron-like smectic-C state in a tangent-anchored sphere. Together, these results demonstrate the applicability of the DVF to computing stable smectic configurations across experimentally relevant confinement geometries and anchoring conditions.

cond-mat.soft↗

arXiv2026

From molecular model to tensor model of nematic liquid crystals through entropy decomposition

In the mathematical modeling of nematic liquid crystals, a practical and physically reliable $\mathbf{Q}$-tensor model can be derived from Onsager's molecular model with the Bingham closure. However, this procedure leads to a singular entropy term that implicitly depends on $\mathbf{Q}$, creating both computational and theoretical difficulties. In this paper, we characterize this entropy contribution by splitting it into a singular but explicit leading term and an implicit but regular correction term, the latter of which is proven to be sufficiently regular to be accurately approximated numerically, for example, by neural networks. This yields a computationally convenient free energy that can be used for the computation of nematic liquid crystals. Our numerical experiments demonstrate that the resulting free energy can capture the isotropic-nematic phase transition as well as the free-boundary droplet configurations.

cond-mat.soft↗

arXiv2026

Convergence Analysis of the Discrete Constrained Saddle Dynamics and Their Momentum Variants

We study the discrete constrained saddle dynamics and their momentum variants for locating saddle points on manifolds. Under the assumption of exact unstable eigenvectors, we establish a local linear convergence of the discrete constrained saddle dynamics and show that the convergence rate depends on the condition number of the Riemannian Hessian. To mitigate this dependence, we introduce a momentum-based constrained saddle dynamics and prove local convergence of the continuous-time dynamics as well as the corresponding discrete scheme, which further demonstrates that momentum accelerates convergence, particularly in ill-conditioned settings. In addition, we show that a single-step eigenvector update is sufficient to guarantee local convergence; thus, the assumption of exact unstable eigenvectors is not necessary, which substantially reduces the computational cost. Finally, numerical experiments, including applications to the Thomson problem, the Rayleigh quotient on the Stiefel manifold, and the energy functional of Bose-Einstein condensates, are presented to complement the theoretical analysis.

math.NA↗

arXiv2026

A Landau-de Gennes Type Theory for Cholesteric-Helical Smectic-Smectic C* Liquid Crystal Phase Transitions

We present a rigorous mathematical analysis of a modified Landau-de Gennes (LdG) theory modeling temperature-driven phase transitions between cholesteric, helical smectic, and smectic C* phases. This model couples a tensor-valued order parameter (nematic orientational order) with a real-valued order parameter (smectic layer modulation). We establish the existence of energy minimizers of the modified LdG energy in three dimensions, subject to Dirichlet conditions, and rigorously analyze the energy minimizers in two asymptotic limits. First, in the Oseen--Frank limit, we show that the global minimizer strongly converges to a minimizer of the Landau-de Gennes bulk energy. Second, in the limit of dominant elastic constants, we prove that the global minimizers converge to a classical helical director profile. Finally, through stability analysis and bifurcation theory, we derive the complete sequence of symmetry-breaking transitions with decreasing temperature-from the cholesteric phase (with in-plane twist and no layering) to an intermediate helical smectic phase (with in-plane twist and layering), and ultimately to the smectic C* phase (with out-of-plane twist and layering). These theoretical results are supported by numerical simulations.

math.AP↗

arXiv2026

A Derivative-Free Saddle-search Algorithm With Linear Convergence Rate

We propose a derivative-free saddle-search algorithm designed to locate transition states using only function evaluations. The algorithm employs a nested architecture consisting of an inner eigenvector search and an outer saddle-point search. Through rigorous numerical analysis, we prove the almost sure convergence of the inner step under suitable assumptions. Furthermore, we establish the convergence of the outer search using a decaying step size, while demonstrating linear convergence under constant step size and boundedness conditions. Numerical experiments are provided to validate our theoretical results and demonstrate the algorithm's practical applicability.

math.NA↗

arXiv2025

A Stochastic Algorithm for Searching Saddle Points with Convergence Guarantee

Saddle points provide a hierarchical view of the energy landscape, revealing transition pathways and interconnected basins of attraction, and offering insight into the global structure, metastability, and possible collective mechanisms of the underlying system. In this work, we propose a stochastic saddle-search algorithm to circumvent exact derivative and Hessian evaluations that have been used in implementing traditional and deterministic saddle dynamics. At each iteration, the algorithm uses a stochastic eigenvector-search method, based on a stochastic Hessian, to approximate the unstable directions, followed by a stochastic gradient update with reflections in the approximate unstable direction to advance toward the saddle point. We carry out rigorous numerical analysis to establish the almost sure convergence for the stochastic eigenvector search and local almost sure convergence with an $O(1/n)$ rate for the saddle search, and present a theoretical guarantee to ensure the high-probability identification of the saddle point when the initial point is sufficiently close. Numerical experiments, including the application to a neural network loss landscape and a Landau-de Gennes type model for nematic liquid crystal, demonstrate the practical applicability and the ability for escaping from "bad" areas of the algorithm.

math.NA↗

arXiv2025

A diffuse-interface Landau-de Gennes model for free-boundary problems in the theory of nematic liquid crystals

We introduce a diffuse-interface Landau-de Gennes free energy for nematic liquid crystals (NLC) systems, with free boundaries, in three dimensions submerged in isotropic liquid, and a phase field is introduced to model the deformable interface. The energy consists of the original Landau-de Gennes free energy, three penalty terms and a volume constraint. We prove the existence and regularity of minimizers for the diffuse-interface energy functional. We also prove a uniform maximum principle of the minimizer under appropriate assumptions, together with a uniqueness result for small domains. Then, we establish a sharp-interface limit where minimizers of the diffuse-interface energy converge to a minimizer of a sharp-interface energy using methods from $Γ$-convergence. Finally, we conduct numerical experiments with the diffuse-interface model and the findings are compared with existing works.

math.AP↗

arXiv2025

A Modified Landau-de Gennes Theory for Smectic Liquid Crystals: Phase Transitions and Structural Transitions

We mathematically model Smectic-A (SmA) phases with a modified Landau-de Gennes (mLdG) model. The orientational order of the SmA phase is described by a tensor-order parameter $\mathbf{Q}$, and the positional order is described by a real scalar $u$, which models the deviation from the average density of liquid crystal molecules. Firstly, we prove the existence and regularity of global minimisers of the mLdG free energy in three-dimensional settings. Then, we analytically prove that the mLdG model can capture the Isotropic-Nematic-Smectic phase transition as a function of temperature, under some assumptions. Further, we explore stable smectic phases on a square domain, with edge length $λ$, and tangent boundary conditions. We use heuristic arguments to show that defects repel smectic layers and strong nematic ordering promotes layer formation. We use asymptotic arguments in the $λ\to 0$ and $λ\to\infty$ limits which reveal the correlation between the number and thickness of smectic layers, the amplitude of density fluctuations with the phenomenological parameters in the mLdG energy. For finite values of $λ$, we numerically recover BD-like and D-like stable smectic states observed in experiments. We also study the frustrated mLdG energy landscape and give numerical examples of transition pathways between distinct mLdG energy minimisers.

cond-mat.soft↗

arXiv2024

Neural Network-Based Tensor Model for Nematic Liquid Crystals with Accurate Microscopic Information

The phenomenological Landau-de Gennes (LdG) model is a powerful continuum theory to describe the macroscopic state of nematic liquid crystals. However, it is invariably less accurate and less physically informed than the molecular-level models due to the lack of physical meaning of the parameters. We propose a neural network-based tensor (NN-Tensor) model for nematic liquid crystals, supervised by the molecular model. Consequently, the NN-Tensor model not only attains energy precision comparable to the molecular model but also accurately captures the Isotropic-Nematic phase transition, which the LdG model cannot achieve. The NN-Tensor model is further embedded in another neural network to predict liquid crystal configurations in a domain-free and mesh-free manner. We apply the NN-Tensor model to nematic liquid crystals in a number of two-dimensional and three-dimensional domains to demonstrate it can efficiently identify rich liquid crystal configurations in both regular and non-regular confinements.

cond-mat.soft↗

arXiv2023

A Reduced Landau-de Gennes Study for Nematic Equilibria in Three-Dimensional Prisms

We model nematic liquid crystal configurations inside three-dimensional prisms, with a polygonal cross-section and Dirichlet boundary conditions on all prism surfaces. We work in a reduced Landau-de Gennes framework, and the Dirichlet conditions on the top and bottom surfaces are special in the sense, that they are critical points of the reduced Landau-de Gennes energy on the polygonal cross-section. The choice of the boundary conditions allows us to make a direct correspondence between the three-dimensional Landau-de Gennes critical points and pathways on the two-dimensional Landau-de Gennes solution landscape on the polygonal cross-section. We explore this concept by means of asymptotic analysis and numerical examples, with emphasis on a cuboid and a hexagonal prism, focusing on three-dimensional multistability tailored by two-dimensional solution landscapes.

cond-mat.soft↗

arXiv2023

Multistability for Nematic Liquid Crystals in Cuboids with Degenerate Planar Boundary Conditions

We study nematic configurations within three-dimensional (3D) cuboids, with planar degenerate boundary conditions on the cuboid faces, in the Landau-de Gennes framework. There are two geometry-dependent variables: the edge length of the square cross-section, $λ$, and the parameter $h$, which is a measure of the cuboid height. Theoretically, we prove the existence and uniqueness of the global minimiser with a small enough cuboid size. We develop a new numerical scheme for the high-index saddle dynamics to deal with the surface energies. We report on a plethora of (meta)stable states, and their dependence on $h$ and $λ$, and in particular, how the 3D states are connected with their two-dimensional counterparts on squares and rectangles. Notably, we find families of almost uniaxial stable states constructed from the topological classification of tangent unit-vector fields and study transition pathways between them. We also provide a phase diagram of competing (meta)stable states, as a function of $λ$ and $h$.

math-ph↗

arXiv2023

Hierarchies of Critical Points of a Landau-de Gennes Free Energy on Three-Dimensional Cuboids

We investigate critical points of a Landau-de Gennes (LdG) free energy in three-dimensional (3D) cuboids, that model nematic equilibria. We develop a hybrid saddle dynamics-based algorithm to efficiently compute solution landscapes of these 3D systems. Our main results concern (a) the construction of 3D LdG critical points from a database of 2D LdG critical points and (b) studies of the effects of cross-section size and cuboid height on solution landscapes. In doing so, we discover multiple-layer 3D LdG critical points constructed by stacking 3D critical points on top of each other, novel pathways between distinct energy minima mediated by 3D LdG critical points and novel metastable escaped solutions, all of which can be tuned for tailor-made static and dynamic properties of confined nematic liquid crystal systems in 3D.

cond-mat.soft↗

arXiv2021

Nematic liquid crystals in a rectangular confinement: solution landscape and bifurcation

We study the solution landscape and bifurcation diagrams of nematic liquid crystals confined on a rectangle, using a reduced two-dimensional Landau--de Gennes framework in terms of two geometry-dependent variables: half short edge length $λ$ and aspect ratio $b$. First, we analytically prove that, for any $b$ with a small enough $λ$ or for a large enough $b$ with a fixed domain size, there is a unique stable solution that has two line defects on the opposite short edges. Second, we numerically construct solution landscapes by varying $λ$ and $b$, and report a novel X state, which emerges from saddle-node bifurcation and serves as the parent state in such a solution landscape. Various new classes are then found among these solution landscapes, including the X class, the S class, and the L class. By tracking the Morse indices of individual solutions, we present bifurcation diagrams for nematic equilibria, thus illustrating the emergence mechanism of critical points and several effects of geometrical anisotropy on confined defect patterns.

cond-mat.soft↗