arXiv Science⌕ Search

arXiv subjects

Lingjun Liu

Publications and source records attributed to Lingjun Liu.

18 recordsLinked to original sources
arXiv2026

Time-Decay Rates toward Rarefaction Waves for the One-Dimensional Isentropic Compressible Navier--Stokes Equations

While the asymptotic stability of rarefaction waves for the compressible Navier--Stokes equations has been well established since the pioneering works of Matsumura--Nishihara \cite{MatsumuraNishihara1986} and Liu--Xin \cite{LiuXin1988}, the classical $L^2$ energy method yields only qualitative convergence in $L^\infty(\R)$ as $t\to\infty$ without any explicit decay rate. In this paper, we establish for the first time a standalone \(L^4\) energy estimate for perturbations of a weak rarefaction wave in the one-dimensional isentropic compressible Navier--Stokes system, thereby obtaining the first explicit algebraic time-decay rates for this model. Specifically, for small initial perturbations in $H^2(\R)$ and small wave strength $δ$, we prove that $(v-V,u-U)$ decays in $L^4(\R)$ at the rate \[ \|(v-V,u-U)(t)\|_{L^4}\le C\bigl(\|(v_0-V(0),u_0-U(0))\|_{H^2}+\sqrtδ\bigr)(1+t)^{-1/8}, \] where \((V,U)\) denotes the smooth rarefaction wave, while the relative Riemann invariants \(z_\pm\) of the perturbed system decay in \(L^\infty(\R)\) at the rate \((1+t)^{-1/6}\). The proof relies on a new local quartic energy estimate for \(z_\pm\) and \(z_\pm-Q\), where \(Q=μ(v)v_x-μ(V)V_x\), as well as a nonlocal half-space wave-interaction functional for corrected characteristic modes and a weighted higher-order derivative energy estimate coupled at the scale of the one-dimensional Nash inequality.

math.AP↗
arXiv2026

Asymptotic Stability and $L^p$ Time-Decay Rates of Rarefaction Waves for Systems of Viscous Conservation Laws

We study the asymptotic stability and quantitative time-decay rates of rarefaction waves for one-dimensional $n\times n$ strictly hyperbolic systems of viscous conservation laws. While the nonlinear stability of rarefaction waves for $2\times 2$ systems was established by Xin \cite{Xin1988,Xin1989}, extending such results to general $n\times n$ systems presents additional difficulties arising from the possible coexistence of positive and negative transverse relative characteristic speeds and nonlinear interactions between distinct characteristic families. Moreover, establishing standalone $L^p$ energy estimates and explicit algebraic decay rates for general viscous systems without $L^1$ localization remains a significant challenge. In this paper, we establish both the global $H^2(\R)$ asymptotic stability and, for the first time, standalone physical-space $L^p$ energy estimates and explicit algebraic $L^p$ time-decay rates for weak rarefaction waves. Specifically, for every integer $p\ge 3$, we prove that the perturbation $U(t)-\bar{U}(t)$ around the smooth Burgers rarefaction profile $\bar{U}$ decays in $L^p(\R)$ at the rate \[ \|U(t)-\bar{U}(t)\|_{L^p}\le C_p\bigl(\|U_0-\bar{U}(0)\|_{H^2}^2+δ^3\bigr)^{1/2}(1+t)^{-\frac{1}{2}(\frac{1}{2}-\frac{1}{p})}, \] where $δ$ denotes the wave strength. Our proof combines a diagonal characteristic weight matrix that yields coercive rarefaction damping in all characteristic modes with directed wave-interaction functionals that exploit the strict separation of characteristic speeds to control nonlinear coupling between distinct characteristic families. These estimates lead to a closed $L^p$ Lyapunov inequality, from which the algebraic time-decay rates follow by the one-dimensional Nash inequality.

math.AP↗
arXiv2026

DGCM-SSFA: Dual-Granularity Cross-Modulation and Sparse Strip Frequency Attention for Efficient 3T-to-7T MRI Synthesis

Synthesizing high-fidelity 7T MRI from routinely acquired 3T scans offers a practical pathway to enhanced neuroimaging without the prohibitive cost of ultra-high-field scanners. While existing deep learning approaches have achieved promising results, state-of-the-art methods typically rely on either large-scale architectures exceeding 45 million parameters or computationally intensive ensemble strategies, limiting their practicality in resource-constrained clinical environments. In this work, we propose a compact multi-domain attention framework, termed DGCM-SSFA, that achieves competitive synthesis quality with only 11M parameters. The proposed architecture integrates two complementary modules into a U-Net Transformer backbone. First, a Dual-Granularity Cross-Modulated Feature Modulator (DGCM) is embedded at multiple hierarchical levels to enhance local edge and texture details through Sobel-guided spatial attention and depthwise frequency-aware channel attention with cross-branch gating. Second, a Sparse Strip Frequency Attention (SSFA) module at the bottleneck captures global spatial context via strip-pooled attention with near-linear complexity, while simultaneously performing FFT-based spectral modulation in the frequency domain. These two modules operate synergistically with the backbone's native channel attention, forming a triple-granularity feature refinement pipeline. Extensive experiments on the UNC and BNU 3T-to-7T MRI datasets across T1w and T2w modalities demonstrate that DGCM-SSFA achieves strong structural fidelity, attaining an SSIM of 0.8431 on BNU T2w---approaching the best benchmark value of 0.8624---and 0.8100 on BNU T1w, while using substantially fewer parameters than Transformer-based alternatives such as ResViT (123.4M) and FS-RWKV (45.4M).

cs.CV↗
arXiv2026

GAMF-Net: Grouped Availability-Aware Multimodal Fusion for Smartphone Skin Lesion Classification

Smartphone clinical images provide a low-cost data source for computer-aided skin lesion classification in resource-constrained settings, but images alone cannot fully capture patients' medical histories and lesion symptoms. To address the lack of structured organization among heterogeneous clinical variables, the ambiguity between observed and imputed values, and the risk that clinical information may interfere with visual evidence, we propose GAMF-Net, a grouped availability-aware multimodal fusion network. Ten clinical variables are divided into three semantic groups---demographics, history-related risk, and lesion presentation---and each group jointly encodes field values and field-level availability masks. The image branch produces the base classification logits, while each clinical group generates image-conditioned class-level residual evidence. Only available groups participate in availability-normalized equal-weight fusion; when all clinical information is unavailable, the model reduces exactly to the image-only pathway. We evaluate the method on PAD-UFES-20 under a patient-disjoint five-fold protocol with separate training, validation, and test partitions. GAMF-Net achieves an Accuracy of $74.17\pm2.85\%$, a balanced accuracy (BACC) of $70.11\pm2.11\%$, a Macro-F1 of $68.85\pm0.85\%$, and a Macro-AUROC of $93.42\pm1.20\%$, outperforming all image-only and multimodal baselines reimplemented under a unified protocol. Compared with the strongest baseline, MetaBlock, the corresponding improvements are 2.37, 2.59, 4.14, and 1.02 percentage points, respectively. Ablation results show that clinical information substantially improves class-balanced performance, constrained equal-weight fusion is more effective than dynamic fusion, and the lesion-presentation group provides the most informative clinical complement.

cs.CV↗
arXiv2026

AGGR-Mamba: Mamba-based Network with Attention-Guided Gated Residual Refinement for Undersampled MRI Reconstruction

Undersampled magnetic resonance imaging (MRI) reconstruction aims to recover high-quality images from partially acquired k-space data, thereby reducing scan time. However, missing frequency-domain measurements often lead to residual aliasing artifacts, blurred edges, and loss of local structural details. In this paper, we propose AGGR-Mamba, a lightweight output-stage residual refinement method built upon a Mamba backbone for undersampled brain MRI reconstruction. The Mamba backbone first produces an initial reconstruction, and the proposed refinement modules then correct the remaining local errors and high-frequency artifacts in a controlled residual manner. Specifically, an Attention Refine Head is introduced to recalibrate local anatomical structures, edge textures, and residual-error regions through channel and spatial attention. In addition, a GDFN-style gated residual refinement branch is designed to selectively preserve informative residual features while suppressing redundant or unstable responses. By combining attention-based recalibration with gated residual selection, AGGR-Mamba improves local structure recovery without substantially disturbing the backbone reconstruction. Experiments are conducted on the IXI brain MRI dataset with T1- and T2-weighted images under acceleration factors of R=4 and R=8. The results show that AGGR-Mamba achieves competitive PSNR and SSIM performance across different reconstruction settings, demonstrating the effectiveness of the proposed output-stage refinement strategy.

cs.CV↗
arXiv2025

Bug Histories as Sources of Compiler Fuzzing Mutators

Bugs in compilers, which are critical infrastructure today, can have outsized negative impacts. Mutational fuzzers aid compiler bug detection by systematically mutating compiler inputs, i.e., programs. Their effectiveness depends on the quality of the mutators used. Yet, no prior work used compiler bug histories as a source of mutators. We propose IssueMut, the first approach for extracting compiler fuzzing mutators from bug histories. Our insight is that bug reports contain hints about program elements that induced compiler bugs; they can guide fuzzers towards similar bugs. IssueMut uses an automated method to mine mutators from bug reports and retrofit such mutators into existing mutational compiler fuzzers. Using IssueMut, we mine 587 mutators from 1760 GCC and LLVM bug reports. Then, we run IssueMut on these compilers, with all their test inputs as seed corpora. We find that "bug history" mutators are effective: they find new bugs that a state-of-the-art mutational compiler fuzzer misses-28 in GCC and 37 in LLVM. Of these, 60 were confirmed or fixed, validating our idea that bug histories have rich information that compiler fuzzers should leverage.

cs.SE↗
arXiv2025

Optimal decay rates to the contact wave for 1-D compressible Navier-Stokes equations

This paper investigates the decay rates of the contact wave in one-dimensional Navier-Stokes equations. We study two cases of perturbations, with and without zero mass condition, i.e., the integration of initial perturbations is zero and non-zero, respectively. For the case without zero mass condition, we obtain the optimal decay rate $(1+t)^{-\frac{1}{2}}$ for the perturbation in $L^\infty$ norm, which provides a positive answer to the conjecture in \cite{HMX}. We applied the anti-derivative method, introducing the diffusion wave to carry the initial excess mass, diagonalizing the integrated system, and estimating the energy of perturbation in the diagonalized system. Precisely, due to the presence of diffusion waves, the decay rates for errors of perturbed system are too poor to get the optimal decay rate. We find the dissipation structural in the diagonalized system, see \cref{ds}. This observation makes us able to fully utilize the fact that the sign of the derivative of the contact wave is invariant and to control the terms with poor decay rates in energy estimates. For the case with zero mass condition, there are also terms with poor decay rates. In this case, note that there is a cancellation in the linearly degenerate field so that the terms with poor decay rates will not appear in the second equation of the diagonalized system. Thanks to this cancellation and a Poincaré type of estimate obtained by a critical inequality introduced by \cite{HLM}, we get the decay rate of $\ln^{\frac{1}{2}} (2+t)$ for $L^2$ norm of anti-derivatives of perturbation and $(1+t)^{-\frac{1}{2}}\ln^{\frac{1}{2}}(2+t)$ for the $L^2$ norm of perturbation itself, the decay rates are optimal, which is consistent with the results obtained by using pointwise estimate in \cite{XZ} for the system with artificial viscosity.

math.AP↗
arXiv2025

MegaScale-Infer: Serving Mixture-of-Experts at Scale with Disaggregated Expert Parallelism

Mixture-of-Experts (MoE) showcases tremendous potential to scale large language models (LLMs) with enhanced performance and reduced computational complexity. However, its sparsely activated architecture shifts feed-forward networks (FFNs) from being compute-intensive to memory-intensive during inference, leading to substantially lower GPU utilization and increased operational costs. We present MegaScale-Infer, an efficient and cost-effective system for serving large-scale MoE models. MegaScale-Infer disaggregates attention and FFN modules within each model layer, enabling independent scaling, tailored parallelism strategies, and heterogeneous deployment for both modules. To fully exploit disaggregation in the presence of MoE's sparsity, MegaScale-Infer introduces ping-pong pipeline parallelism, which partitions a request batch into micro-batches and shuttles them between attention and FFNs for inference. Combined with distinct model parallelism for each module, MegaScale-Infer effectively hides communication overhead and maximizes GPU utilization. To adapt to disaggregated attention and FFN modules and minimize data transmission overhead (e.g., token dispatch), MegaScale-Infer provides a high-performance M2N communication library that eliminates unnecessary GPU-to-CPU data copies, group initialization overhead, and GPU synchronization. Experimental results indicate that MegaScale-Infer achieves up to 1.90x higher per-GPU throughput than state-of-the-art solutions.

cs.DC↗
arXiv2025

Truncated Proximal Policy Optimization

Recently, test-time scaling Large Language Models (LLMs) have demonstrated exceptional reasoning capabilities across scientific and professional tasks by generating long chains-of-thought (CoT). As a crucial component for developing these reasoning models, reinforcement learning (RL), exemplified by Proximal Policy Optimization (PPO) and its variants, allows models to learn through trial and error. However, PPO can be time-consuming due to its inherent on-policy nature, which is further exacerbated by increasing response lengths. In this work, we propose Truncated Proximal Policy Optimization (T-PPO), a novel extension to PPO that improves training efficiency by streamlining policy update and length-restricted response generation. T-PPO mitigates the issue of low hardware utilization, an inherent drawback of fully synchronized long-generation procedures, where resources often sit idle during the waiting periods for complete rollouts. Our contributions are two-folds. First, we propose Extended Generalized Advantage Estimation (EGAE) for advantage estimation derived from incomplete responses while maintaining the integrity of policy learning. Second, we devise a computationally optimized mechanism that allows for the independent optimization of the policy and value models. By selectively filtering prompt and truncated tokens, this mechanism reduces redundant computations and accelerates the training process without sacrificing convergence performance. We demonstrate the effectiveness and efficacy of T-PPO on AIME 2024 with a 32B base model. The experimental results show that T-PPO improves the training efficiency of reasoning LLMs by up to 2.5x and outperforms its existing competitors.

cs.AI↗
arXiv2025

DAPO: An Open-Source LLM Reinforcement Learning System at Scale

Inference scaling empowers LLMs with unprecedented reasoning ability, with reinforcement learning as the core technique to elicit complex reasoning. However, key technical details of state-of-the-art reasoning LLMs are concealed (such as in OpenAI o1 blog and DeepSeek R1 technical report), thus the community still struggles to reproduce their RL training results. We propose the $\textbf{D}$ecoupled Clip and $\textbf{D}$ynamic s$\textbf{A}$mpling $\textbf{P}$olicy $\textbf{O}$ptimization ($\textbf{DAPO}$) algorithm, and fully open-source a state-of-the-art large-scale RL system that achieves 50 points on AIME 2024 using Qwen2.5-32B base model. Unlike previous works that withhold training details, we introduce four key techniques of our algorithm that make large-scale LLM RL a success. In addition, we open-source our training code, which is built on the verl framework, along with a carefully curated and processed dataset. These components of our open-source system enhance reproducibility and support future research in large-scale LLM RL.

cs.LG↗
arXiv2025

Seed1.5-Thinking: Advancing Superb Reasoning Models with Reinforcement Learning

We introduce Seed1.5-Thinking, capable of reasoning through thinking before responding, resulting in improved performance on a wide range of benchmarks. Seed1.5-Thinking achieves 86.7 on AIME 2024, 55.0 on Codeforces and 77.3 on GPQA, demonstrating excellent reasoning abilities in STEM and coding. Beyond reasoning tasks, the method demonstrates notable generalization across diverse domains. For instance, it surpasses DeepSeek R1 by 8% in win rate on non-reasoning tasks, indicating its broader applicability. Compared to other state-of-the-art reasoning models, Seed1.5-Thinking is a Mixture-of-Experts (MoE) model with a relatively small size, featuring 20B activated and 200B total parameters. As part of our effort to assess generalized reasoning, we develop two internal benchmarks, BeyondAIME and Codeforces, both of which will be publicly released to support future research. Model trial link: https://www.volcengine.com/experience/ark.

cs.CL↗
arXiv2025

VAPO: Efficient and Reliable Reinforcement Learning for Advanced Reasoning Tasks

We present VAPO, Value-based Augmented Proximal Policy Optimization framework for reasoning models., a novel framework tailored for reasoning models within the value-based paradigm. Benchmarked the AIME 2024 dataset, VAPO, built on the Qwen 32B pre-trained model, attains a state-of-the-art score of $\mathbf{60.4}$. In direct comparison under identical experimental settings, VAPO outperforms the previously reported results of DeepSeek-R1-Zero-Qwen-32B and DAPO by more than 10 points. The training process of VAPO stands out for its stability and efficiency. It reaches state-of-the-art performance within a mere 5,000 steps. Moreover, across multiple independent runs, no training crashes occur, underscoring its reliability. This research delves into long chain-of-thought (long-CoT) reasoning using a value-based reinforcement learning framework. We pinpoint three key challenges that plague value-based methods: value model bias, the presence of heterogeneous sequence lengths, and the sparsity of reward signals. Through systematic design, VAPO offers an integrated solution that effectively alleviates these challenges, enabling enhanced performance in long-CoT reasoning tasks.

cs.AI↗
arXiv2024

Vanishing viscosity limit to the planar rarefaction wave with vacuum for 3-D full compressible Navier-Stokes equations with temperature-dependent transport coefficients

In this paper, we construct a family of global-in-time solutions of the 3-D full compressible Navier-Stokes (N-S) equations with temperature-dependent transport coefficients (including viscosity and heat-conductivity), and show that at arbitrary times {and arbitrary strength} this family of solutions converges to planar rarefaction waves connected to the vacuum as the viscosity vanishes in the sense of $L^\infty(\R^3)$. We consider the Cauchy problem in $\R^3$ with perturbations of the infinite global norm, particularly, periodic perturbations. To deal with the infinite oscillation, we construct a suitable ansatz carrying this periodic oscillation such that the difference between the solution and the ansatz belongs to some Sobolev space and thus the energy method is feasible. The novelty of this paper is that the viscosity and heat-conductivity are temperature-dependent and degeneracies caused by vacuum. Thus the a priori assumptions and two Gagliardo-Nirenberg type inequalities are essentially used. Next, more careful energy estimates are carried out in this paper, by studying the zero and non-zero modes of the solutions, we obtain not only the convergence rate concerning the viscosity and heat conductivity coefficients but also the exponential time decay rate for the non-zero mode.

math.AP↗
arXiv2023

Nonlinear stability of planar shock wave to 3-D compressible Navier-Stokes equations in half space with Navier Boundary conditions

In this paper, we consider the large time behavior of planar shock wave for 3-D compressible isentropic Navier-Stokes equations (CNS) in half space. Providing the strength of the shock wave and initial perturbations are small, we proved the planar shock wave for 3-D CNS is nonlinearly stable in half space with Navier boundary condition. The main difficulty comes from the compressibility of shock wave, which leads to lower order terms with bad sign, see the third line in \cref{C17}. We apply a decomposition of the solution into zero and non-zero modes: we take the anti-derivative for the zero mode and obtain the space-time estimates for the energy of perturbation itself. Then combining the fact that the Poincaré inequality is available for the non-zero mode, we have successfully controlled the lower order terms with bad sign in \cref{C17}. To overcome the difficulty that comes from the boundary, we introduce the two crucial estimates on boundary \cref{CLem0} and fully utilize the property of Navier boundary conditions, which means that the normal velocity is zero on the boundary and the fluid tangential velocity is proportional to the tangential component of the viscous stress tensor on the boundary. Finally, the nonlinear stability is proved by the weighted energy method.

math.AP↗
arXiv2023

Decay rate to the planar viscous shock wave for multi-dimensional scalar conservation laws

In this paper, we study the time-decay rate toward the planar viscous shock wave for multi-dimensional (m-d) scalar viscous conservation law. We first decompose the perturbation into zero and non-zero mode, and then introduce the anti-derivative of the zero mode. Though an $L^p$ estimate and the area inequality introduced in \cite{DHS2020}, we obtained the decay rate for planar shock wave for n-d scalar viscous conservation law for all $n\geq1$. The initial perturbations we studied are small, i.e., $\|Φ_0\|_{H^2}\bigcap\|Φ_0\|_{L^p}\le \varepsilon$, where $Φ_0$ is the anti-derivative of the zero mode of initial perturbation and $\varepsilon$ is a small constant, see \cref{antiderivative}. It is noted that there is no additional requirement on $Φ_0$, i.e., $Φ_0(x_1)$ only belongs to $H^2(\R)$. Thus, there are essential differences from previous results, in which the initial data is required to belong to some weighted Sobolev space, cf.\cite{Goo1989,KM1985}. Moreover, the exponential decay rate of the non-zero mode is also obtained.

math.AP↗
arXiv2022

Asymptotic stability of the combination of a viscous contact wave with two rarefaction waves for 1-D Navier-Stokes equations under periodic perturbations

Considering the space-periodic perturbations, we prove the time-asymptotic stability of the composite wave of a viscous contact wave and two rarefaction waves for the Cauchy problem of 1-D compressible Navier-Stokes equations in this paper. This kind of perturbations keep oscillating at the far field and are not integrable. The key is to construct a suitable ansatz carrying the same oscillation %eliminating the oscillation of the solution as in \cite{HuangXuYuan2020,HuangYuan2021}, but due to the degeneration of contact discontinuity, the construction is more subtle. We find a way to use the same weight function for different variables and wave patterns, which still ensure the errors be controllable. Thus, this construction can be applied to contact discontinuity and composite waves. Finally, by the energy method, we prove that the Cauchy problem admits a unique global-in-time solution and the composite wave is still stable under the space-periodic perturbations.

math.AP↗
arXiv2021

Weak entropy solution for a Keller-Segel type fluid model

In this paper, we consider a Keller-Segel type fluid model, which is a kind of Euler-Poisson system with a self-gravitational force. We show that similar to the parabolic case, there is a critical mass $8π$ such that if the initial total mass $M$ is supercritical, i.e., $M> 8π$, then any weak entropy solution with the same mass $M$ must blow up in finite time. The a priori estimates of weak entropy solutions for critical mass $M=8π$ and subcritical mass $M<8π$ are also obtained.

math.AP↗