Source author record

Chun Liu

Chun Liu appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

73works
15topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

73 published item(s)

preprint2026arXiv

A Schrödinger-Based Dispersive Regularization Approach for Numerical Simulation of One-Dimensional Shallow Water Equations

We propose a novel dispersive regularization framework for the numerical simulation of the one-dimensional shallow water equations (SWE). The classical hyperbolic system is regularized by a third-order dispersive term in the momentum equation, which renders the system equivalent, via the Madelung transform, to a defocusing cubic nonlinear Schrödinger equation with a drift term induced by bottom topography. Instead of solving the shallow water equations directly, we solve the associated Schrödinger equation and recover the hydrodynamic variables through a simple postprocessing procedure. This approach transforms the original nonlinear hyperbolic system into a semilinear complex-valued equation, which can be efficiently approximated using a Strang time-splitting method combined with a spectral element discretization in space. Numerical experiments demonstrate that, in subcritical regimes without shock formation, the Schrödinger regularization provides an $O(\varepsilon)$ approximation to the classical shallow water solution, where $\varepsilon$ denotes the regularization parameter. Importantly, we observe that this convergence behavior persists even in the presence of moving wetting--drying interfaces, where vacuum states emerge and standard shallow water solvers often encounter difficulties. These results suggest that the Schrödinger-based formulation offers a robust and promising alternative framework for the numerical simulation of shallow water flows with dry states.

preprint2026arXiv

Efficient Verification of Neural Control Barrier Functions with Smooth Nonlinear Activations

Formal verification of neural control barrier functions (NCBFs) remains challenging, especially for neural networks with nonlinear activations like \(\tanh\). Existing CROWN-based methods rely on conservative linear relaxations for Jacobian bounds, limiting scalability. We propose LightCROWN, which computes tighter Jacobian bounds by exploiting the analytical properties of activation functions. Experiments on nonlinear control systems including the inverted pendulum, Dubins car, and planar quadrotor demonstrate that LightCROWN improves verification success rates up to 100\%, while enhancing speed and scalability. Our approach provides a generalizable improvement for CROWN-based frameworks, enabling more efficient verification of complex NCBFs. The code can be found at github.com/Autonomous-Systems-and-Control-Lab/verify-neural-CBF.

preprint2022arXiv

A second order accurate numerical method for the Poisson-Nernst-Planck system in the energetic variational formulation

A second order accurate (in time) numerical scheme is proposed and analyzed for the Poisson-Nernst-Planck equation (PNP) system, reformulated as a non-constant mobility $H^{-1}$ gradient flow in the Energetic Variational Approach (EnVarA). The centered finite difference is taken as the spatial discretization. Meanwhile, the highly nonlinear and singular nature of the logarithmic energy potentials has always been the essential difficulty to design a second order accurate scheme in time, while preserving the variational energetic structures. The mobility function is updated with a second order accurate extrapolation formula, for the sake of unique solvability. A modified Crank-Nicolson scheme is used to approximate the logarithmic term, so that its inner product with the discrete temporal derivative exactly gives the corresponding nonlinear energy difference; henceforth the energy stability is ensured for the logarithmic part. In addition, nonlinear artificial regularization terms are added in the numerical scheme, so that the positivity-preserving property could be theoretically proved, with the help of the singularity associated with the logarithmic function. Furthermore, an optimal rate convergence analysis is provided in this paper, in which the higher order asymptotic expansion for the numerical solution, the rough error estimate and refined error estimate techniques have to be included to accomplish such an analysis. This work combines the following theoretical properties for a second order accurate numerical scheme for the PNP system: (i) second order accuracy in both time and space, (ii) unique solvability and positivity, (iii) energy stability, and (iv) optimal rate convergence. A few numerical results are also presented.

preprint2022arXiv

Energetic Variational Approach for Prediction of Thermal Electrokinetics in Charging and Discharging Processes of Electrical Double Layer Capacitors

This work proposes a new variational, thermodynamically consistent model to predict thermal electrokinetics in electric double layer capacitors (EDLCs) by using an energetic variational approach. The least action principle and maximum dissipation principle from the non-equilibrium thermodynamics are employed to develop modified Nernst-Planck equations for non-isothermal ion transport with temperature inhomogeneity. Laws of thermodynamics are employed to derive a temperature evolution equation with heat sources due to thermal pressure and electrostatic interactions. Numerical simulations successfully predict temperature oscillation in the charging-discharging processes of EDLCs, indicating that the developed model is able to capture reversible and irreversible heat generations. The impact of ionic sizes and scan rate of surface potential on ion transport, heat generation, and charge current is systematically assessed in cyclic voltammetry simulations. It is found that the thermal electrokinetics in EDLCs cannot follow the surface potential with fast scan rates, showing delayed dynamics with hysteresis diagrams. Our work thus provides a useful tool for physics-based prediction of thermal electrokinetics in EDLCs.

preprint2022arXiv

Nonlinear inhomogeneous Fokker-Planck models: energetic-variational structures and long time behavior

Inspired by the modeling of grain growth in polycrystalline materials, we consider a nonlinear Fokker-Plank model, with inhomogeneous diffusion and with variable mobility parameters. We develop large time asymptotic analysis of such nonstandard models by reformulating and extending the classical entropy method, under the assumption of periodic boundary condition. In addition, illustrative numerical tests are presented to highlight the essential points of the current analytical results and to motivate future analysis.

preprint2022arXiv

Nonlinear simulation of vascular tumor growth with chemotaxis and the control of necrosis

In this paper, we develop a sharp interface tumor growth model in two dimensions to study the effect of both the intratumoral structure using a controlled necrotic core and the extratumoral nutrient supply from vasculature on tumor morphology. We first show that our model extends the benchmark results in the literature using linear stability analysis. Then we solve this generalized model numerically using a spectrally accurate boundary integral method in an evolving annular domain, not only with a Robin boundary condition on the outer boundary for the nutrient field which models tumor vasculature, but also with a static boundary condition on the inner boundary for pressure field which models the control of tumor necrosis. The discretized linear systems for both pressure and nutrient fields are shown to be well-conditioned through tracing GMRES iteration numbers. Our nonlinear simulations reveal the stabilizing effects of angiogenesis and the destabilizing ones of chemotaxis and necrosis in the development of tumor morphological instabilities if the necrotic core is fixed in a circular shape. When the necrotic core is controlled in a non-circular shape, the stabilizing effects of proliferation and the destabilizing ones of apoptosis are observed. Finally, the values of the nutrient concentration with its fluxes and the pressure level with its normal derivatives, which are solved accurately at the boundaries, help us to characterize the corresponding tumor morphology and the level of the biophysical quantities on interfaces required in keeping various shapes of the necrotic region of the tumor. Interestingly, we notice that when the necrotic region is fixed in a 3-fold non-circular shape, even if the initial shape of the tumor is circular, the tumor will evolve into a shape corresponding to the 3-fold symmetry of the shape of the fixed necrotic region.

preprint2022arXiv

SGM-Net: Semantic Guided Matting Net

Human matting refers to extracting human parts from natural images with high quality, including human detail information such as hair, glasses, hat, etc. This technology plays an essential role in image synthesis and visual effects in the film industry. When the green screen is not available, the existing human matting methods need the help of additional inputs (such as trimap, background image, etc.), or the model with high computational cost and complex network structure, which brings great difficulties to the application of human matting in practice. To alleviate such problems, most existing methods (such as MODNet) use multi-branches to pave the way for matting through segmentation, but these methods do not make full use of the image features and only utilize the prediction results of the network as guidance information. Therefore, we propose a module to generate foreground probability map and add it to MODNet to obtain Semantic Guided Matting Net (SGM-Net). Under the condition of only one image, we can realize the human matting task. We verify our method on the P3M-10k dataset. Compared with the benchmark, our method has significantly improved in various evaluation indicators.

preprint2021arXiv

A phase field model for mass transport with semi-permeable interfaces

In this paper, a thermal-dynamical consistent model for mass transfer across permeable moving interfaces is proposed by using the energy variation method. We consider a restricted diffusion problem where the flux across the interface depends on its conductance and the difference of the concentration on each side. The diffusive interface phase-field framework used here has several advantages over the sharp interface method. First of all, explicit tracking of the interface is no longer necessary. Secondly, the interfacial condition can be incorporated with a variable diffusion coefficient. A detailed asymptotic analysis confirms the diffusive interface model converges to the existing sharp interface model as the interface thickness goes to zero. A decoupled energy stable numerical scheme is developed to solve this system efficiently. Numerical simulations first illustrate the consistency of theoretical results on the sharp interface limit. Then a convergence study and energy decay test are conducted to ensure the efficiency and stability of the numerical scheme. To illustrate the effectiveness of our phase-field approach, several examples are provided, including a study of a two-phase mass transfer problem where drops with deformable interfaces are suspended in a moving fluid.

preprint2021arXiv

On a Reversible Gray-Scott Type System from Energetic Variational Approach and Its Irreversible Limit

Most of the previous studies on the well-known Gray-Scott model view it as an irreversible chemical reaction system. In this paper, we derive a four-species reaction-diffusion system using the energetic variational approach based on the law of mass action. This is a reversible Gray-Scott type model, which has a natural entropy structure. We establish the local well-posedness of this system, and justify the limit to the corresponding irreversible Gray-Scott type system as some backward coefficients tend to zero. Furthermore, under some smallness assumption on the initial data, we obtain the global-in-time existence of classical solutions of the reversible system.

preprint2021arXiv

The Brinkman-Fourier System with Ideal Gas Equilibrium

In this work, we will introduce a general framework to derive the thermodynamics of a fluid mechanical system, which guarantees the consistence between the energetic variational approaches with the laws of thermodynamics. In particular, we will focus on the coupling between the thermal and mechanical forces. We follow the framework for a classical gas with ideal gas equilibrium and present the existences of weak solutions to this thermodynamic system coupled with the Brinkman-type equation to govern the velocity field.

preprint2021arXiv

Well-Posedness for the Reaction-Diffusion Equation with Temperature in a critical Besov Space

We derive a model for the non-isothermal reaction-diffusion equation. Combining ideas from non-equilibrium thermodynamics with the energetic variational approach we obtain a general system modeling the evolution of a non-isothermal chemical reaction with general mass kinetics. From this we recover a linearized model for a system close to equilibrium and we analyze the global-in-time well-posedness of the system for small initial data for a critical Besov space.

preprint2020arXiv

A positivity-preserving, energy stable and convergent numerical scheme for the Poisson-Nernst-Planck system

In this paper we propose and analyze a finite difference numerical scheme for the Poisson-Nernst-Planck equation (PNP) system. To understand the energy structure of the PNP model, we make use of the Energetic Variational Approach (EnVarA), so that the PNP system could be reformulated as a non-constant mobility $H^{-1}$ gradient flow, with singular logarithmic energy potentials involved. To ensure the unique solvability and energy stability, the mobility function is explicitly treated, while both the logarithmic and the electric potential diffusion terms are treated implicitly, due to the convex nature of these two energy functional parts. The positivity-preserving property for both concentrations, $n$ and $p$, is established at a theoretical level. This is based on the subtle fact that the singular nature of the logarithmic term around the value of $0$ prevents the numerical solution reaching the singular value, so that the numerical scheme is always well-defined. In addition, an optimal rate convergence analysis is provided in this work, in which many highly non-standard estimates have to be involved, due to the nonlinear parabolic coefficients. The higher order asymptotic expansion (up to third order temporal accuracy and fourth order spatial accuracy), the rough error estimate (to establish the $\ell^\infty$ bound for $n$ and $p$), and the refined error estimate have to be carried out to accomplish such a convergence result. In our knowledge, this work will be the first to combine the following three theoretical properties for a numerical scheme for the PNP system: (i) unique solvability and positivity, (ii) energy stability, and (iii) optimal rate convergence. A few numerical results are also presented in this article, which demonstrates the robustness of the proposed numerical scheme.

preprint2020arXiv

A second order accurate numerical scheme for the porous medium equation by an energetic variational approach

The porous medium equation (PME) is a typical nonlinear degenerate parabolic equation. An energetic variational approach has been studied in a recent work [6], in which the trajectory equation is obtained, and a few first order accurate numerical schemes have been developed and analyzed. In this paper, we construct and analyze a second order accurate numerical scheme in both time and space. The unique solvability, energy stability are established, based on the convexity analysis. In addition, we provide a detailed convergence analysis for the proposed numerical scheme. A careful higher order asymptotic expansion is performed and two step error estimates are undertaken. In more details, a rough estimate is needed to control the highly nonlinear term in a discrete $W^{1,\infty}$ norm, and a refined estimate is applied to derive the optimal error order. Some numerical examples are presented as well.

preprint2020arXiv

A Variational Lagrangian Scheme for a Phase Field Model: A Discrete Energetic Variational Approach

In this paper, we propose a variational Lagrangian scheme for a modified phase-field model, which can compute the equilibrium states for the original Allen-Cahn type model. Our discretization is based on a prescribed energy-dissipation law in terms of the flow map. By employing a discrete energetic variational approach, this scheme preserves the variational structure of the original energy-dissipation law and is energy stable. Plentiful numerical tests show that, by choosing the initial value properly, our methods can produce the desired equilibrium and capture the thin diffuse interface with a small number of mesh points.

preprint2020arXiv

b-baryon semi-tauonic decays in the Standard Model

Within the framework of HQET, $Λ_{b}\rightarrowΛ_{c}τ\barν_τ$ and $Ω_{b}\rightarrowΩ_{c}^{(*)}τ\barν_τ$ weak decays are studied to the order of $1/m_c$ and $1/m_b$. Helicity amplitudes are written down. Relevant Isgur-Wise functions given by QCD sum rule and large $N_c$ methods are applied in the numerical analysis. The baryonic R-ratios $R(Λ_c)$ and $R(Ω_c^{(*)})$ are obtained.

preprint2020arXiv

Complex Far-Field Geometries Determine the Stability of Solid Tumor Growth with Chemotaxis

In this paper, we develop a sharp interface tumor growth model to study the effect of the tumor microenvironment using a complex far-field geometry that mimics a heterogeneous distribution of vasculature. Together with different nutrient uptake rates inside and outside the tumor, this introduces variability in spatial diffusion gradients. Linear stability analysis suggests that the uptake rate in the tumor microenvironment, together with chemotaxis, may induce unstable growth, especially when the nutrient gradients are large. We investigate the fully nonlinear dynamics using a spectrally accurate boundary integral method. Our nonlinear simulations reveal that vascular heterogeneity plays an important role in the development of morphological instabilities that range from fingering and chain-like morphologies to compact, plate-like shapes in two-dimensions.

preprint2020arXiv

Field Theory of Reaction-Diffusion: Mass Action with an Energetic Variational Approach

We extend the energetic variational approach so it can be applied to a chemical reaction system with general mass action kinetics. Our approach starts with an energy-dissipation law. We show that the chemical equilibrium is determined by the choice of the free energy and the dynamics of the chemical reaction is determined by the choice of the dissipation. This approach enables us to couple chemical reactions with other effects, such as diffusion and drift in an electric field. As an illustration, we apply our approach to a non-equilibrium reaction-diffusion system in a specific but canonical set-up. We show by numerical simulation that the input-output relation of such a system depends on the choice of the dissipation.

preprint2020arXiv

Global Existence of the Non-isothermal Poisson-Nernst-Planck-Fourier System

In this paper, we consider a non-isothermal electrokinetic model, which is derived from the Energetic Variational Approach. The charge transport is described through the Poisson-Nernst-Planck equations with variable temperature, and the heat flux satisfies the Fourier's law. This Poisson-Nernst-Planck-Fourier model satisfies both the first law and second law of thermodynamics as well as the Onsager's reciprocal relations, thus it is thermodynamic-consistent. Finally, we prove the global well-posedness for this model under the smallness assumption of the initial data by the energy method.

preprint2020arXiv

Large time asymptotic behavior of grain boundaries motion with dynamic lattice misorientations and with triple junctions drag

Many technologically useful materials are polycrystals composed of a myriad of small monocrystalline grains separated by grain boundaries. Dynamics of grain boundaries play an essential role in defining the materials properties across multiple scales. In this work, we study the large time asymptotic behavior of the model for the motion of grain boundaries with the dynamic lattice misorientations and the triple junctions drag.

preprint2020arXiv

Motion of grain boundaries with dynamic lattice misorientations and with triple junctions drag

Most technologically useful materials are polycrystalline microstructures composed of a myriad of small monocrystalline grains separated by grain boundaries. The energetics and connectivities of grain boundaries play a crucial role in defining the main characteristics of materials across a wide range of scales. In this work, we propose a model for the evolution of the grain boundary network with dynamic boundary conditions at the triple junctions, triple junctions drag, and with dynamic lattice misorientations. Using the energetic variational approach, we derive system of geometric differential equations to describe motion of such grain boundaries. Next, we relax curvature effect of the grain boundaries to isolate the effect of the dynamics of lattice misorientations and triple junctions drag, and we establish local well-posedness result for the considered model.

preprint2020arXiv

On Lagrangian schemes for porous medium type generalized diffusion equations: a discrete energetic variational approach

In this paper, we present a systematic framework to derive a Lagrangian scheme for porous medium type generalized diffusion equations by employing a discrete energetic variational approach. Such discrete energetic variational approaches are analogous to energetic variational approaches in a semidiscrete level, which provide a basis of deriving the "semi-discrete equations" and can be applied to a large class of partial differential equations with energy-dissipation laws and kinematic relations. The numerical schemes derived by this framework can inherit various properties from the continuous energy-dissipation law, such as conservation of mass and the dissipation of the discrete energy. As an illustration, we develop two numerical schemes for the multidimensional porous medium equations (PME), based on two different energy-dissipation laws. We focus on the numerical scheme based on the energy-dissipation law with $\frac{1}{2} \int_Ω |\mathbf{u}|^2 \mathrm{d} \mathbf{x}$ as the dissipation. Several numerical experiments demonstrate the accuracy of this scheme as well as its ability in capturing the free boundary and estimating the waiting time for the PME in both 1D and 2D.

preprint2020arXiv

Prospects of light sterile neutrino searches in long-baseline neutrino oscillations

The neutrino oscillation probabilities in vacuum and matter are discussed, considering the framework of three active and one light sterile neutrinos. We study in detail the rephasing invariants and CP asymmetry observables, and investigate the four-neutrino oscillations in long-baseline neutrino experiments, such as DUNE, NO$ν$A and T2HK. Our results show that the matter effect enhances quite a significantly the oscillation probabilities of electron neutrino and electron antineutrino appearance channels within a certain energy range, while no considerable change arises in the CP asymmetry analysis due to the matter effect. Moreover, separation between the results with and without the sterile neutrino is not so significant and that is also affected by CP-violating phases. Comparing the results for these three experiments, all of them have similar features, nevertheless, sizes and separations of the oscillation probabilities in DUNE are bit larger.

preprint2020arXiv

Renovating Parsing R-CNN for Accurate Multiple Human Parsing

Multiple human parsing aims to segment various human parts and associate each part with the corresponding instance simultaneously. This is a very challenging task due to the diverse human appearance, semantic ambiguity of different body parts, and complex background. Through analysis of multiple human parsing task, we observe that human-centric global perception and accurate instance-level parsing scoring are crucial for obtaining high-quality results. But the most state-of-the-art methods have not paid enough attention to these issues. To reverse this phenomenon, we present Renovating Parsing R-CNN (RP R-CNN), which introduces a global semantic enhanced feature pyramid network and a parsing re-scoring network into the existing high-performance pipeline. The proposed RP R-CNN adopts global semantic representation to enhance multi-scale features for generating human parsing maps, and regresses a confidence score to represent its quality. Extensive experiments show that RP R-CNN performs favorably against state-of-the-art methods on CIHP and MHP-v2 datasets. Code and models are available at https://github.com/soeaver/RP-R-CNN.

preprint2020arXiv

Structure-Preserving Numerical Methods for Nonlinear Fokker--Planck Equations with Nonlocal Interactions by an Energetic Variational Approach

In this work, we develop novel structure-preserving numerical schemes for a class of nonlinear Fokker--Planck equations with nonlocal interactions. Such equations can cover many cases of importance, such as porous medium equations with external potentials, optimal transport problems, and aggregation-diffusion models. Based on the Energetic Variational Approach, a trajectory equation is first derived by using the balance between the maximal dissipation principle and least action principle. By a convex-splitting technique, we propose energy dissipating numerical schemes for the trajectory equation. Rigorous numerical analysis reveals that the nonlinear numerical schemes are uniquely solvable, naturally respect mass conservation and positivity at fully discrete level, and preserve steady states. Under certain smoothness assumptions, the numerical schemes are shown to be second order accurate in space and first order accurate in time. Extensive numerical simulations are performed to demonstrate several valuable features of the proposed schemes. In addition to the preservation of physical structures, such as positivity, mass conservation, discrete energy dissipation, blue and steady states, numerical simulations further reveal that our numerical schemes are capable of solving \emph{degenerate} cases of the Fokker--Planck equations effectively and robustly. It is shown that the developed numerical schemes have convergence order even in degenerate cases with the presence of solutions having compact support, can accurately and robustly compute the waiting time of free boundaries without any oscillation, and can approximate blow-up singularity up to machine precision.

preprint2019arXiv

A new interface capturing method for Allen-Cahn type equations based on a flow dynamic approach in Lagrangian coordinates, I. One-dimensional case

We develop a new Lagrangian approach --- flow dynamic approach to effectively capture the interface in the Allen-Cahn type equations. The underlying principle of this approach is the Energetic Variational Approach (EnVarA), motivated by Rayleigh and Onsager \cite{onsager1931reciprocal,onsager1931reciprocal2}. Its main advantage, comparing with numerical methods in Eulerian coordinates, is that thin interfaces can be effectively captured with few points in the Lagrangian coordinate. We concentrate in the one-dimensional case and construct numerical schemes for the trajectory equation in Lagrangian coordinate that obey the variational structures, and as a consequence, are energy dissipative. Ample numerical results are provided to show that only a fewer points are enough to resolve very thin interfaces by using our Lagrangian approach.

preprint2019arXiv

A new Lagrange Multiplier approach for gradient flows

We propose a new Lagrange Multiplier approach to design unconditional energy stable schemes for gradient flows. The new approach leads to unconditionally energy stable schemes that are as accurate and efficient as the recently proposed SAV approach \cite{SAV01}, but enjoys two additional advantages: (i) schemes based on the new approach dissipate the original energy, as opposed to a modified energy in the recently proposed SAV approach \cite{SAV01}; and (ii) they do not require the nonlinear part of the free energy to be bounded from below as is required in the SAV approach. The price we pay for these advantages is that a nonlinear algebraic equation has to be solved to determine the Lagrange multiplier. We present ample numerical results to validate the new approach, and, as a particular example of applications, we consider a coupled Cahn-Hilliard model for block copolymers (BCP), and carry out interesting simulations which are consistent with experiment results.

preprint2016arXiv

Behavior of different numerical schemes for population genetic drift problems

In this paper, we focus on numerical methods for the genetic drift problems, which is governed by a degenerated convection-dominated parabolic equation. Due to the degeneration and convection, Dirac singularities will always be developed at boundary points as time evolves. In order to find a \emph{complete solution} which should keep the conservation of total probability and expectation, three different schemes based on finite volume methods are used to solve the equation numerically: one is a upwind scheme, the other two are different central schemes. We observed that all the methods are stable and can keep the total probability, but have totally different long-time behaviors concerning with the conservation of expectation. We prove that any extra infinitesimal diffusion leads to a same artificial steady state. So upwind scheme does not work due to its intrinsic numerical viscosity. We find one of the central schemes introduces a numerical viscosity term too, which is beyond the common understanding in the convection-diffusion community. Careful analysis is presented to prove that the other central scheme does work. Our study shows that the numerical methods should be carefully chosen and any method with intrinsic numerical viscosity must be avoided.

preprint2016arXiv

Existence of weak solutions to an evolutionary model for magnetoelasticity

We prove existence of weak solutions to an evolutionary model derived for magnetoelastic materials. The model is phrased in Eulerian coordinates and consists in particular of (i) a Navier-Stokes equation that involves magnetic and elastic terms in the stress tensor obtained by a variational approach, of (ii) a regularized transport equation for the deformation gradient and of (iii) the Landau-Lifshitz-Gilbert equation for the dynamics of the magnetization. The proof is built on a Galerkin method and a fixed-point argument. It is based on ideas from F.-H. Lin and the third author for systems modeling the flow of liquid crystals as well as on methods by G. Carbou and P. Fabrie for solutions of the Landau-Lifshitz equation.

preprint2016arXiv

On the performance of different mutation operators of a subpopulation-based genetic algorithm for multi-robot task allocation problems

The performance of different mutation operators is usually evaluated in conjunc-tion with specific parameter settings of genetic algorithms and target problems. Most studies focus on the classical genetic algorithm with different parameters or on solving unconstrained combinatorial optimization problems such as the traveling salesman problems. In this paper, a subpopulation-based genetic al-gorithm that uses only mutation and selection is developed to solve multi-robot task allocation problems. The target problems are constrained combinatorial optimization problems, and are more complex if cooperative tasks are involved as these introduce additional spatial and temporal constraints. The proposed genetic algorithm can obtain better solutions than classical genetic algorithms with tournament selection and partially mapped crossover. The performance of different mutation operators in solving problems without/with cooperative tasks is evaluated. The results imply that inversion mutation performs better than others when solving problems without cooperative tasks, and the swap-inversion combination performs better than others when solving problems with cooperative tasks.

preprint2015arXiv

A variational formulation for dissipative fluids with interfaces in an inhomogeneous temperature field

We propose a formalization for dissipative fluids with interfaces in an inhomogeneous temperature field from the viewpoint of a variational principle. Generally, the Lagrangian of a fluid is given by the kinetic energy density minus the internal energy density. The necessary condition for minimizing an action with subject to the constraint of entropy yields the equation of motion. However, it is sometimes to know the proper equation of entropy. Our main purpose is to obtain it by using the three requirements, which are a generalization of Noether's Theorem, the second law of thermodynamics, and well-posedness. To illustrate this approach, we investigate several phenomena in an inhomogeneous temperature field. In the case of vaporization, diffusion and the rotation of a chiral liquid crystals, we clarify the cross effects between the entropy flux and these phenomena via the internal energy.

preprint2015arXiv

Boundary Layer Solutions of Charge Conserving Poisson-Boltzmann Equations: One-Dimensional Case

For multispecies ions, we study boundary layer solutions of charge conserving Poisson-Boltzmann (CCPB) equations [50] (with a small parameter ǫ) over a finite one-dimensional (1D) spatial domain, subjected to Robin type boundary conditions with variable coefficients. Hereafter, 1D boundary layer solutions mean that as ǫ approaches zero, the profiles of solutions form boundary layers near boundary points and become flat in the interior domain. These solutions are related to electric double layers with many applications in biology and physics. We rigorously prove the asymptotic behaviors of 1D boundary layer solutions at interior and boundary points. The asymptotic limits of the solution values(electric potentials) at interior and boundary points with a potential gap (related to zeta potential) are uniquely determined by explicit nonlinear formulas (cannot be found in classical Poisson-Boltzmann equations) which are solvable by numerical computations.

preprint2015arXiv

Energetically stable discretizations for charge carrier transport and electrokinetic models

A finite element discretization using a method of lines approached is proposed for approximately solving the Poisson-Nernst-Planck (PNP) equations. This discretization scheme enforces positivity of the computed solutions, corresponding to particle density functions, and a discrete energy estimate is established that resembles the familiar energy law for the PNP system. This energy estimate is extended to finite element solutions to an electrokinetic model, which couples the PNP system with the Navier-Stokes equations. Numerical experiments are conducted to validate convergence of the computed solution and verify the discrete energy estimate.

preprint2015arXiv

Finite time singularity of the nematic liquid crystal flow in dimension three

In this paper, we consider the initial and boundary value problem of a simplified nematic liquid crystal flow in dimension three and construct two examples of finite time singularity. The first example is constructed within the class of axisymmetric solutions, while the second example is constructed for any generic initial data $(u_0,d_0)$ that has sufficiently small energy, and $d_0$ has a nontrivial topology

preprint2014arXiv

A Realization of Effective SUSY with Strong Unification

A natural model of realizing the effective supersymmetry is presented. Two sets of the Standard Model-like gauge group $G_1\times G_2$ are introduced, where $G_i=SU(3)_i\times SU(2)_i\times U(1)_i$, which break diagonally to the Standard Model gauge group at the energy scale $M \sim 10^7$ GeV. Gauge couplings in $G_1$ are assumed much larger than that in $G_2$. Gauge mediated supersymmetry breaking is adopted. The first two generations (third one) are charged only under $G_1$ ($G_2$). The effective supersymmetry spectrum is obtained. How to reproduce realistic Yukawa couplings is studied. Fine-tuning for an 126 GeV Higgs is much reduced by the large $A$ term due to direct Higgs-messenger interaction. Finally, $G_2$ is found to be a non-trivial realization of the strong unification scenario in which case we can predict $α_s(M_Z)$ without real unification

preprint2014arXiv

An Energetic Variational Approach for ion transport

The transport and distribution of charged particles are crucial in the study of many physical and biological problems. In this paper, we employ an Energy Variational Approach to derive the coupled Poisson-Nernst-Planck-Navier-Stokes system. All physics is included in the choices of corresponding energy law and kinematic transport of particles. The variational derivations give the coupled force balance equations in a unique and deterministic fashion. We also discuss the situations with different types of boundary conditions. Finally, we show that the Onsager's relation holds for the electrokinetics, near the initial time of a step function applied field.

preprint2014arXiv

Computation of the Memory Functions in the Generalized Langevin Models for Collective Dynamics of Macromolecules

We present a numerical method to compute the approximation of the memory functions in the generalized Langevin models for collective dynamics of macromolecules. We first derive the exact expressions of the memory functions, obtained from projection to subspaces that correspond to the selection of coarse-grain variables. In particular, the memory functions are expressed in the forms of matrix functions, which will then be approximated by Krylov-subspace methods. It will also be demonstrated that the random noise can be approximated under the same framework, and the fluctuation-dissipation theorem is automatically satisfied. The accuracy of the method is examined through several numerical examples.

preprint2014arXiv

Transport of Charged Particles: Entropy Production and Maximum Dissipation Principle

In order to describe the dynamics of crowded ions (charged particles), we use an energetic variation approach to derive a modified Poisson-Nernst-Planck (PNP) system which includes an extra dissipation due to the effective velocity differences between ion species. Such a system is more complicated than the original PNP system but with the same equilibrium states. Using Schauder's fixed-point theorem, we develop a local existence theorem of classical solutions for the modified PNP system. Different dynamics (but same equilibrium states) between the original and modified PNP systems can be represented by numerical simulations using finite element method techniques.

preprint2013arXiv

$θ_{13}$ and the Higgs mass from high scale supersymmetry

In the framework in which supersymmetry is used for understanding fermion masses rather than stabilizing the electroweak scale, we elaborate the phenomenological analysis for the neutrino physics. A relatively large $\sin{θ_{13}}$ is the natural result. The model further predicts vanishingly small CP violation in neutrino oscillations. And $θ_{23}$ is not necessarily maximal. While the high scale supersymmetry generically results in a Higgs mass of about 141 GeV, our model reduces this mass via introducing SU(2)$_L$ triplet fields which also contribute to neutrino masses.

preprint2013arXiv

A Conservative Finite Difference Scheme for Poisson-Nernst-Planck Equations

A macroscopic model to describe the dynamics of ion transport in ion channels is the Poisson-Nernst-Planck(PNP) equations. In this paper, we develop a finite-difference method for solving PNP equations, which is second-order accurate in both space and time. We use the physical parameters specifically suited toward the modelling of ion channels. We present a simple iterative scheme to solve the system of nonlinear equations resulting from discretizing the equations implicitly in time, which is demonstrated to converge in a few iterations. We place emphasis on ensuring numerical methods to have the same physical properties that the PNP equations themselves also possess, namely conservation of total ions and correct rates of energy dissipation. We describe in detail an approach to derive a finite-difference method that preserves the total concentration of ions exactly in time. Further, we illustrate that, using realistic values of the physical parameters, the conservation property is critical in obtaining correct numerical solutions over long time scales.

preprint2013arXiv

Dark Matter and Gauge Coupling Unification in A Supersymmetry Model with Vector-like Matter

WIMP dark matter and gauge coupling unification are considered in an R-parity violating MSSM with vector-like matter. Dark matter is contained in an additional vector-like SU(2)$_L$ doublet which possesses a new U(1) gauge symmetry. The Higgs fields are extended to be in a ${\bf 5\oplus \bar{5}}$ representation of SU(5). The stability of dark matter is a result of gauge symmetries, and the mass of the dark matter particle is between (1.1-1.5) TeV. Dark matter has a very small cross section with nucleis, thus the model is consistent with current dark matter direct detection experiments such as Xenon100. The model also predicts new charged and colored particles to be observed at LHC.

preprint2013arXiv

Finite time singularities for hyperbolic systems

In this paper, we study the formation of finite time singularities in the form of super norm blowup for a spatially inhomogeneous hyperbolic system. The system is related to the variational wave equations as those in [18]. The system posses a unique $C^1$ solution before the emergence of vacuum in finite time, for given initial data that are smooth enough, bounded and uniformly away from vacuum. At the occurrence of blowup, the density becomes zero, while the momentum stays finite, however the velocity and the energy are both infinity.

preprint2013arXiv

On the Cauchy-Born Approximation at Finite Temperature

We address several issues regarding the derivation and implementation of the Cauchy-Born approximation of the stress at finite temperature. In particular, an asymptotic expansion is employed to derive a closed form expression for the first Piola-Kirchhoff stress. For systems under periodic boundary conditions, a derivation is presented, which takes into account the translational invariance and clarifies the removal of the zero phonon modes. Also revealed by the asymptotic approach is the role of the smoothness of the interatomic potential. Several numerical examples are provided to validate this approach.

preprint2013arXiv

Phenomenological Aspects of R-parity Violating Supersymmetry with A Vector-like Extra Generation

Phenomenological analysis to the R-parity violating supersymmetry with a vector-like extra generation is performed in detail. It is found that, via the trilinear couplings, the correct neutrino spectrum can be obtained. The Higgs mass rises to 125 GeV by new up-type Yukawa couplings of vector-like quarks with no need of very heavy superpartners. Phenomena of new heavy fermions at LHC are predicted.

preprint2012arXiv

LHCb $\bigtriangleup A_{CP}$ of $D$ meson and R-Parity Violation

LHCb collaboration has recently announced a measurement of the difference of time-integrated CP asymmetries between $D\rightarrow K^+K^-$ and $D \rightarrow π^+π^-$. This result provides the evidence of large direct CP violation in $D$ meson and reveals some important implications on underlying new physics. It is shown that the direct CP violation in $D$ meson can be enhanced by R-parity violating supersymmetry, while CP violations in $K$ and $B$ mesons are suppressed by this new physics, which is in consistence with previous experiments. Constraints on the model parameters and some consequences are also discussed.

preprint2012arXiv

On the General Ericksen-Leslie System: Parodi's Relation, Well-posedness and Stability

In this paper we investigate the role of Parodi's relation in the well-posedness and stability of the general Ericksen-Leslie system modeling nematic liquid crystal flows. First, we give a formal physical derivation of the Ericksen-Leslie system through an appropriate energy variational approach under Parodi's relation, in which we can distinguish the conservative/dissipative parts of the induced elastic stress. Next, we prove global well-posedness and long-time behavior of the Ericksen-Leslie system under the assumption that the viscosity $μ_4$ is sufficiently large. Finally, under Parodi's relation, we show the global well-posedness and Lyapunov stability for the Ericksen-Leslie system near local energy minimizers. The connection between Parodi's relation and linear stability of the Ericksen-Leslie system is also discussed.

preprint2012arXiv

Supersymmetric Extension of the Minimal Dark Matter Model

The minimal dark matter model is given a supersymmetric extension. A super SU(2)L quintuplet is introduced with its fermionic neutral component still being the dark matter, the dark matter particle mass is about 19.7 GeV. Mass splitting among the quintplet due to supersymmetry particles is found to be negligibly small compared to the electroweak corrections. Other properties of this supersymmetry model are studied, it has the solutions to the PAMELA and Fermi-LAT anomaly, the predictions in higher energies need further experimental data to verify.

preprint2011arXiv

MINOS Anomaly as A Signal of Lorentz Violation

Recently, the MINOS collaboration reported an anomaly that the mass-squared difference and mixing angle of $\barν_μ$ $\leftrightarrow$ $\barν_τ$ are both different from that of $ν_μ$ $\leftrightarrow$ $ν_τ$. In this paper, based on the framework of neutrino oscillations, terms that break the Lorentz symmetry are used as perturbation to explain this anomaly and satisfactory results are got. Remarkably, some surprising conclusions, one of which is that in the high energy limit (hundreds of GeV) neutrino oscillation pattern will be independent of energy, are also arrived.

preprint2010arXiv

Asymptotic Behavior for a Nematic Liquid Crystal Model with Different Kinematic Transport Properties

We study the asymptotic behavior of global solutions to hydrodynamical systems modeling the nematic liquid crystal flows under kinematic transports for molecules of different shapes. The coupling system consists of Navier-Stokes equations and kinematic transport equations for the molecular orientations. We prove the convergence of global strong solutions to single steady states as time tends to infinity as well as estimates on the convergence rate both in 2D for arbitrary regular initial data and in 3D for certain particular cases.

preprint2010arXiv

Productions of heavy charged leptons via gluon fusion at LHC: A revisit

Heavy charged lepton productions via gluon fusion at the LHC are revisited. Full loop calculations are adopted with an updated parton distribution function and electroweak data. Including contribution from new generation quarks in the loop, pair production of the sequential heavy lepton via gluon fusion at the LHC dominates over that via the Drell-Yan mechanism in some heavy lepton mass range. Exotic lepton single production of vector-like lepton extended models is also calculated. In the later case, the gluon fusion mechanism via the Higgs exchange is emphasized. Our numerical results for both pair and single production of heavy leptons are smaller than previous studies especially for a large heavy lepton mass as a result of full loop calculation and due to the mixing angles.

preprint2009arXiv

Supersymmetry and Vector-like Extra Generation

Within the framework of supersymmetry, the particle content is extended in a way that each Higgs doublet is in a full generation. Namely in addition to ordinary three generations, there is an extra vector-like generation, and it is the extra slepton SU(2)_L doublets that are taken to be the two Higgs doublets. R-parity violating interactions contain ordinary Yukawa interactions. Breaking of supersymmetry and gauge symmetry are analyzed. Fermion and boson spectra are calculated. Phenomenological constraints and relevant new physics at Large Hadron Collider are discussed.

preprint2007arXiv

Supersymmetry for Fermion Masses

It is proposed that supersymmetry (SUSY) maybe used to understand fermion mass hierarchies. A family symmetry Z_{3L} is introduced, which is the cyclic symmetry among the three generation SU(2) doublets. SUSY breaks at a high energy scale ~ 10^{11} GeV. The electroweak energy scale ~ 100 GeV is unnaturally small. No additional global symmetry, like the R-parity, is imposed. The Yukawa couplings and R-parity violating couplings all take their natural values which are about (10^0-10^{-2}). Under the family symmetry, only the third generation charged fermions get their masses. This family symmetry is broken in the soft SUSY breaking terms which result in a hierarchical pattern of the fermion masses. It turns out that for the charged leptons, the tau mass is from the Higgs vacuum expectation value (VEV) and the sneutrino VEVs, the muon mass is due to the sneutrino VEVs, and the electron gains its mass due to both Z_{3L} and SUSY breaking. The large neutrino mixing are produced with neutralinos playing the partial role of right-handed neutrinos. |V_{e3}| which is for nu_e-nu_{tau} mixing is expected to be about 0.1. For the quarks, the third generation masses are from the Higgs VEVs, the second generation masses are from quantum corrections, and the down quark mass due to the sneutrino VEVs. It explains m_c/m_s, m_s/m_e, m_d > m_u and so on. Other aspects of the model are discussed.

preprint2006arXiv

Embedding Flipped SU(5) into SO(10)

We embed the flipped SU(5) models into the SO(10) models. After the SO(10) gauge symmetry is broken down to the flipped SU(5) \times U(1)_X gauge symmetry, we can split the five/one-plets and ten-plets in the spinor \mathbf{16} and \mathbf{\bar{16}} Higgs fields via the stable sliding singlet mechanism. As in the flipped SU(5) models, these ten-plet Higgs fields can break the flipped SU(5) gauge symmetry down to the Standard Model gauge symmetry. The doublet-triplet splitting problem can be solved naturally by the missing partner mechanism, and the Higgsino-exchange mediated proton decay can be suppressed elegantly. Moreover, we show that there exists one pair of the light Higgs doublets for the electroweak gauge symmetry breaking. Because there exist two pairs of additional vector-like particles with similar intermediate-scale masses, the SU(5) and U(1)_X gauge couplings can be unified at the GUT scale which is reasonably (about one or two orders) higher than the SU(2)_L \times SU(3)_C unification scale. Furthermore, we briefly discuss the simplest SO(10) model with flipped SU(5) embedding, and point out that it can not work without fine-tuning.

preprint2005arXiv

Note on the Slope Parameter of the Baryonic Λ_b to Λ_c Isgur-Wise Function

Using the framework of the Heavy Quark Effective Theory we have re-analyzed the Isgur-Wise function describing semileptonic Λ_b to Λ_c decays in the QCD sum rule approach. The slope parameter of the Isgur-Wise function is found to be ρ^2 = 1.35 \pm 0.12, which is consistent with an experimental measurement and a lattice calculation. To O(1/m_b,1/m_c) of the heavy quark expansion the integrated Λ_b decay width is used to extract the CKM matrix element V_{cb} for which we obtain a value of |V_{cb}| = 0.041 \pm 0.004 in excellent agreement with the value of |V_{cb}| determined from semileptonic B to D^* decays.

preprint2003arXiv

A Supersymmetric Model with the Gauge Symmetry SU(3)_1 X SU(2)_1 X U(1)_1 X SU(3)_2 X SU(2)_2 X U(1)_2

A supersymmetric model with two copies of the Standard Model gauge groups is constructed in the gauge mediated supersymmetry breaking scenario. The supersymmetry breaking messengers are in a simple form. The Standard Model is obtained after first step gauge symmetry breaking. In the case of one copy of the gauge interactions being strong, a scenario of electroweak symmetry breaking is discussed, and the gauginos are generally predicted to be heavier than the sfermions.

preprint2001arXiv

A Phenomenological Study on Lepton Mass Matrix Textures

The three active light neutrinos are used to explain the neutrino oscillations. The inherently bi-large mixing neutrino mass matrix and the Fritzsch type, bi-small mixing charged lepton mass matrix are assumed. By requiring the maximal ν_μ-ν_τmixing for the atmospheric neutrino problem and the mass-squared difference approperiate for the almost maximal mixing solution to the solar neutrino problem, the following quantities are predicted: the ν_e-ν_μmixing, V_{e3}, CP violation in neutrino oscillations, and the effective electron-neutrino mass relevant to neutrinoless double beta decays.

preprint1998arXiv

Analysis of Lambda_b to Lambda_c Weak Decays in Heavy Quark Effective Theory

The Lambda_b to Lambda_c semileptonic decay is analyzed in the framework of heavy quark effective theory to the order of 1/m_c and 1/m_b. The QCD sum rule and large N_c predictions to the decay form factors are applied. It argues that the subleading baryonic Isgur-Wise function in the large N_c limit vanishes. The decay rates, distributions and asymmetry parameters are calculated numerically. Some of the nonleptonic decay modes are discussed in the end.

preprint1998arXiv

Four-quark Operators Relevant to B Meson Lifetimes from QCD Sum Rules

At the order of 1/m_b^3, the B meson lifetimes are controlled by the hadronic matrix elements of some four-quark operators. The nonfactorizable magnitudes of these four-quark operator matrix elements are analyzed by QCD sum rules in the framework of heavy quark effective theory. The vacuum saturation for color-singlet four-quark operators is justified at hadronic scale, and the nonfactorizable effect is at a few percent level. However for color-octet four-quark operators, the vacuum saturation is violated sizably that the nonfactorizable effect cannot be neglected for the B meson lifetimes. The implication to the extraction of some of the parameters from B decays is discussed. The B meson lifetime ratio is predicted as τ(B^-)/τ(B^0)=1.09\pm 0.02. However, the experimental result of the lifetime ratio τ(Λ_b)/τ(B^0) still cannot be explained.

preprint1997arXiv

Some Remarks on the Baryon-Meson Couplings in the 1/N_c Expansion

The original results for the baryon-pion couplings in the large $N_c$ QCD can be understood in a simpler way in the Hartree-Fock picture. The large $N_c$ relation and its $1/N_c$ correction between the heavy baryon-meson coupling and the light baryon-meson coupling are emphasized. Application to the baryon-$ρ$ meson interactions is straightforward. The implications of recent experimental result for the strong coupling constants of the heavy baryon chiral lagrangian are discussed.

preprint1996arXiv

QCD Sum Rule Analysis for the Λ_b to Λ_c Semileptonic Decay

The 1/m_c and 1/m_b corrections to the Λ_b to Λ_c semi- leptonic decay are analyzed by QCD sum rules. Within the framework of heavy quark effective theory,the subleading baryonic Isgur-Wise func- tion of Λ_b to Λ_c has been calculated. It is shown that the corrections due to the 1/m Lagrangian insertion are negligibly small. The sizable 1/m_Q effect to the decay lies only in the weak current. The decay spectrum and the branching ratio are given.

preprint1996arXiv

QCD Sum Rules for Masses of Excited Heavy Mesons

The masses of excited heavy mesons are studied with sum rules in the heavy quark effective theory. A set of interpolating currents creating (annihilating) excited heavy mesons with arbitrary spin and parity are proposed and their properties are discussed. Numerical results at the leading order of the {\cal O}(1/m_Q) expansion are obtained for the lowest doublets (0^+, 1^+) and (1^+, 2^+).

preprint1995arXiv

Quark Mass Hierarchy and CP Violation in Low Energy Supersymmetry

A pattern of quark mass hierarchy and CP violation within the framework of low energy supersymmetry is described. By assuming some discrete symmetry among the three families, the quarks of the third family obtain masses at tree level. The second family obtains masses radiatively at one-loop level due to the soft breaking of the family symmetry. At this level, the first family remains massless by some degeneracy conditions of the squarks. As a result of R-parity violation, the sneutrino vacuum expectation values are nonvanishing. CP violation occurs through the superweak sneutrino exchange. This picture is consistent with the experiments on the flavor changing neutral current.