Researcher profile

Chun Liu

Chun Liu contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
27works
0followers
9topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

Published work

27 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.