SearcharxivSearch

arXiv subjects

Sijing Liu

Publications and source records attributed to Sijing Liu.

At least 19 recordsLinked to original sources

Two-scale neural networks for optimal control of linear convection-dominated equations

We propose a two-scale neural network method for optimal control problems governed by convection-dominated convection-diffusion-reaction equations. Building on two-scale architectures developed for singularly perturbed forward problems, we augment the spatial input with suitably rescaled features that become increasingly important as the diffusion coefficient becomes small. The approach employs separate neural networks for the state and adjoint state variables of the optimality system, reflecting the fact that these quantities develop sharp layers in different parts of the domain due to opposite convection fields. By choosing different center points for the two networks, the architecture naturally aligns with the layer location of each variable. We present two formulations of the method, one based on the first-order optimality conditions and another using penalization of the PDE constraint, and combine them with a successive training strategy that gradually decreases the diffusion coefficient toward its target value. Numerical experiments on benchmark problems illustrate the effectiveness and behavior of the proposed approach.

math.NA

A monotone finite element method for an elliptic distributed optimal control problem with a convection-dominated state equation

We propose and analyze a monotone finite element method for an elliptic distributed optimal control problem constrained by a convection-diffusion-reaction equation in the convection-dominated regime. The method is based on the edge-averaged finite element (EAFE) scheme, which is known to preserve the discrete maximum principle for convection-diffusion problems. We show that the EAFE discretization inherits the monotonicity property of the continuous problem and consequently preserves the desired-state bounds at the discrete level, ensuring that the numerical optimal state remains stable and free of nonphysical oscillations. The discrete formulation is analyzed using a combination of the EAFE consistency result and a discrete inf-sup condition, which together guarantee well-posedness and yield the optimal convergence order. Comprehensive numerical experiments are presented to confirm the theoretical findings and to demonstrate the robustness of the proposed scheme in the convection-dominated regimes.

math.NA

An Improved Robin-Robin Coupling Method for Parabolic-Parabolic Interface Problems

We consider a loosely coupled, non-iterative Robin-Robin coupling method proposed and analyzed in [Numer. Algorithms, 99:921-948, 2025] for a parabolic-parabolic interface problem. We modify the first step of the scheme so that several error difference quantities remain higher order convergence without requiring additional assumptions. Numerical results are presented to support our findings.

math.NA

Convergence analysis of a balancing domain decomposition method for an elliptic optimal control problem with HDG discretizations

In this work, a balancing domain decomposition by constraints (BDDC) algorithm is applied to the nonsymmetric positive definite linear system arising from the hybridizable discontinuous Galerkin (HDG) discretization of an elliptic distributed optimal control problem. Convergence analysis for the BDDC preconditioned generalized minimal residual (GMRES) solver demonstrates that, when the subdomain size is small enough, the algorithm is robust with respect to the regularization parameter, and the number of iterations is independent of the number of subdomains and depends only slightly on the subdomain problem size. Numerical experiments are performed to confirm the theoretical results.

math.NA

Convergence Analysis of a Dual-Wind Discontinuous Galerkin Method for an Elliptic Optimal Control Problem with Control Constraints

This paper investigates a symmetric dual-wind discontinuous Galerkin (DWDG) method for solving an elliptic optimal control problem with control constraints. The governing constraint is an elliptic partial differential equation (PDE), which is discretized using the symmetric DWDG approach. We derive error estimates in the energy norm for both the state and the adjoint state, as well as in the $L^2$ norm of the control variable. Numerical experiments are provided to demonstrate the robustness and effectiveness of the developed scheme.

math.NA

A balancing domain decomposition by constraints preconditioner for a hybridizable discontinuous Galerkin discretization of an elliptic optimal control problem

We consider a hybridizable discontinuous Galerkin (HDG) method for an elliptic distributed optimal control problem and we propose a balancing domain decomposition by constraints (BDDC) preconditioner to solve the discretized system. We establish an error estimate of the HDG methods with explicit tracking of a regularization parameter $\beta$. We observe that the BDDC preconditioner is robust with respect to $\beta$. Numerical results are shown to support our findings.

math.NA

Multigrid preconditioning for discontinuous Galerkin discretizations of an elliptic optimal control problem with a convection-dominated state equation

We consider discontinuous Galerkin methods for an elliptic distributed optimal control problem constrained by a convection-dominated problem. We prove global optimal convergence rates using an inf-sup condition, with the diffusion parameter $\varepsilon$ and regularization parameter $β$ explicitly tracked. We then propose a multilevel preconditioner based on downwind ordering to solve the discretized system. The preconditioner only requires two approximate solves of single convection-dominated equations using multigrid methods. Moreover, for the strongly convection-dominated case, only two sweeps of block Gauss-Seidel iterations are needed. We also derive a simple bound indicating the role played by the multigrid preconditioner. Numerical results are shown to support our findings.

math.NA

Convergence analysis of novel discontinuous Galerkin methods for a convection dominated problem

In this paper, we propose and analyze a numerically stable and convergent scheme for a convection-diffusion-reaction equation in the convection-dominated regime. Discontinuous Galerkin (DG) methods are considered since standard finite element methods for the convection-dominated equation cause spurious oscillations. We choose to follow a novel DG finite element differential calculus framework introduced in Feng et al. (2016) and approximate the infinite-dimensional operators in the equation with the finite-dimensional DG differential operators. Specifically, we construct the numerical method by using the dual-wind discontinuous Galerkin (DWDG) formulation for the diffusive term and the average discrete gradient operator for the convective term along with standard DG stabilization. We prove that the method converges optimally in the convection-dominated regime. Numerical results are provided to support the theoretical findings.

math.NA

A second-order correction method for loosely coupled discretizations applied to parabolic-parabolic interface problems

We consider a parabolic-parabolic interface problem and construct a loosely coupled prediction-correction scheme based on the Robin-Robin splitting method analyzed in [J. Numer. Math., 31(1):59--77, 2023]. We show that the errors of the correction step converge at $\mathcal O((Δt)^2)$, under suitable convergence rate assumptions on the discrete time derivative of the prediction step, where $Δt$ stands for the time-step length. Numerical results are shown to support our analysis and the assumptions.

math.NA

Estimates of discrete time derivatives for the parabolic-parabolic Robin-Robin coupling method

We consider a loosely coupled, non-iterative Robin-Robin coupling method proposed and analyzed in [J. Numer. Math., 31(1):59--77, 2023] for a parabolic-parabolic interface problem and prove estimates for the discrete time derivatives of the scalar field in different norms. When the interface is flat and perpendicular to two of the edges of the domain we prove error estimates in the $H^2$-norm. Such estimates are key ingredients to analyze a defect correction method for the parabolic-parabolic interface problem. Numerical results are shown to support our findings.

math.NA

Segment Anything Model for Medical Images?

The Segment Anything Model (SAM) is the first foundation model for general image segmentation. It has achieved impressive results on various natural image segmentation tasks. However, medical image segmentation (MIS) is more challenging because of the complex modalities, fine anatomical structures, uncertain and complex object boundaries, and wide-range object scales. To fully validate SAM's performance on medical data, we collected and sorted 53 open-source datasets and built a large medical segmentation dataset with 18 modalities, 84 objects, 125 object-modality paired targets, 1050K 2D images, and 6033K masks. We comprehensively analyzed different models and strategies on the so-called COSMOS 1050K dataset. Our findings mainly include the following: 1) SAM showed remarkable performance in some specific objects but was unstable, imperfect, or even totally failed in other situations. 2) SAM with the large ViT-H showed better overall performance than that with the small ViT-B. 3) SAM performed better with manual hints, especially box, than the Everything mode. 4) SAM could help human annotation with high labeling quality and less time. 5) SAM was sensitive to the randomness in the center point and tight box prompts, and may suffer from a serious performance drop. 6) SAM performed better than interactive methods with one or a few points, but will be outpaced as the number of points increases. 7) SAM's performance correlated to different factors, including boundary complexity, intensity differences, etc. 8) Finetuning the SAM on specific medical tasks could improve its average DICE performance by 4.39% and 6.68% for ViT-B and ViT-H, respectively. We hope that this comprehensive report can help researchers explore the potential of SAM applications in MIS, and guide how to appropriately use and develop SAM.

eess.IV

Instructive Feature Enhancement for Dichotomous Medical Image Segmentation

Deep neural networks have been widely applied in dichotomous medical image segmentation (DMIS) of many anatomical structures in several modalities, achieving promising performance. However, existing networks tend to struggle with task-specific, heavy and complex designs to improve accuracy. They made little instructions to which feature channels would be more beneficial for segmentation, and that may be why the performance and universality of these segmentation models are hindered. In this study, we propose an instructive feature enhancement approach, namely IFE, to adaptively select feature channels with rich texture cues and strong discriminability to enhance raw features based on local curvature or global information entropy criteria. Being plug-and-play and applicable for diverse DMIS tasks, IFE encourages the model to focus on texture-rich features which are especially important for the ambiguous and challenging boundary identification, simultaneously achieving simplicity, universality, and certain interpretability. To evaluate the proposed IFE, we constructed the first large-scale DMIS dataset Cosmos55k, which contains 55,023 images from 7 modalities and 26 anatomical structures. Extensive experiments show that IFE can improve the performance of classic segmentation networks across different anatomies and modalities with only slight modifications. Code is available at https://github.com/yezi-66/IFE

cs.CV

Robust Multigrid Methods for Discontinuous Galerkin Discretizations of an Elliptic Optimal Control Problem

We consider discontinuous Galerkin methods for an elliptic distributed optimal control problem and we propose multigrid methods to solve the discretized system. We prove that the $W$-cycle algorithm is uniformly convergent in the energy norm and is robust with respect to a regularization parameter on convex domains. Numerical results are shown for both $W$ -cycle and $V$-cycle algorithms.

math.NA

Hierarchical Agent-based Reinforcement Learning Framework for Automated Quality Assessment of Fetal Ultrasound Video

Ultrasound is the primary modality to examine fetal growth during pregnancy, while the image quality could be affected by various factors. Quality assessment is essential for controlling the quality of ultrasound images to guarantee both the perceptual and diagnostic values. Existing automated approaches often require heavy structural annotations and the predictions may not necessarily be consistent with the assessment results by human experts. Furthermore, the overall quality of a scan and the correlation between the quality of frames should not be overlooked. In this work, we propose a reinforcement learning framework powered by two hierarchical agents that collaboratively learn to perform both frame-level and video-level quality assessments. It is equipped with a specially-designed reward mechanism that considers temporal dependency among frame quality and only requires sparse binary annotations to train. Experimental results on a challenging fetal brain dataset verify that the proposed framework could perform dual-level quality assessment and its predictions correlate well with the subjective assessment results.

eess.IV

Discontinuous Galerkin Methods for an Elliptic Optimal Control Problem with a General State Equation and Pointwise State Constraints

We investigate discontinuous Galerkin methods for an elliptic optimal control problem with a general state equation and pointwise state constraints on general polygonal domains. We show that discontinuous Galerkin methods for general second-order elliptic boundary value problems can be used to solve the elliptic optimal control problems with pointwise state constraints. We establish concrete error estimates and numerical experiments are shown to support the theoretical results.

math.NA

Hybrid aqueous/ionic liquid electrolyte for high cycle stability and low temperature adaptability lithium-ion battery

Aqueous rechargeable batteries are promising energy storage devices for the high safety, environmental friendliness, and easy assembly. However, their cycle stability and low temperature performance are limited by the narrow electrochemical stability window and the high freezing point of the aqueous electrolytes. Here, a hybrid electrolyte with a wide electrochemical window (2.15V) and a low freezing point (-60 oC) is developed by using EMIMDep as a novel additive. The hydrophobic EMIM+ accumulates on the negatively charged electrode and repels the water molecules, thus suppressing the water splitting. Meanwhile, the hydrophilic Dep- forms strong hydrogen bonds with water, thereby reducing the freezing point of the electrolyte. In addition, the hybrid 1 M LiNO3 in EMIMDep20-H2O80 electrolytes exhibit high safety and high stability due to the non-flammability, non-volatility, and low toxicity of the EMIMDep compared with other organic additives. Owing to the advantages of the aqueous/EMIMDep electrolyte, the full battery with LiTi$_2$(PO$_4$)$_3$ anode and LiMn$_2$O$_4$ cathode delivers an average voltage of 1.6 V and a specific capacity of 120 mAh/g with a capacity retention of 80% after 500 cycles at 1C. In addition, the full battery working at -35 oC delivers 60% specific capacity of that at room temperature.

physics.chem-ph

Self-protecting aqueous lithium-ion batteries with smart ther-moresponsive separators

Capacity degradation and destructive hazards are two core challenges for lithium-ion batteries at high temperatures, which need to be solved urgently. Adding flame retardants or fire extinguishing agents can only achieve one-time self-protection in case of emergency overheating. Herein, smart self-protecting aqueous lithium-ion batteries were developed using thermoresponsive separators through in-situ polymerization on the hydrophilic separator. The thermoresponsive separator will close the lithium ions transport channel at high temperatures and reopen when the battery cools down; more importantly, the transition is reversible. We studied the lithium salts influence on the thermoresponsive properties of the hydrogels and selected suitable lithium salt (LiNO3) and concentration (1 M) in the electrolyte to achieve self-protection without sacrificing battery performance. In addition, the shut-off temperature can be tuned by adjusting the hydrophilic and hydrophobic moiety ratio in the hydrogel according to actual demands. This self-protecting lithium-ion battery shows promise for smart energy storage devices with safe and extended lifespan.

hep-ex

Quasi-solid-state electrolyte for ultra-high safety and cycle stability battery

All-solid-state lithium batteries (ASSLB) have been regarded as the most promising candidate to achieve the next generation energy storage with high energy and high safety. However, some bottlenecks, including high interfacial resistance, bad electrochemical stability, and low conductivity, have hindered its further development. Here, we developed a Pyr13FSI/LiFSI-based gel electrolyte and used it in the LFP/LTO full battery system to achieve a lithium-ion battery with high safety and cycle stability. The presence of ionic liquid in the electrolyte reduces the crystallinity of PVDF-HFP polymer matrix, increases the ion conductivity of the electrolyte, and greatly improves the electrode-electrolyte interface contact. These advantages enable the battery to work at room temperature and reach a specific capacity of 123mAh/g at the current of 1C. The slightly change in interfacial resistances between the gel electrolyte and electrodes with the increase of the cycle numbers is confirmed through electrochemical impedance spectroscopy. The high electrochemical stability of the electrolyte in the LFP/LTO system makes the battery exhibit good cycle stability, and the battery maintains 80% of its initial capacity after 2000 cycles at the current of 1C. In addition, benefitting from the excellent properties of ionic liquids, such as non-flammability, negligible vapour pressure, and high conductivity, the obtained gel electrolyte based LFP/LTO pouch battery exhibits high safety and cycle stability.

hep-ex