arXiv subjects

Peng Qu

Publications and source records attributed to Peng Qu.

At least 19 recordsLinked to original sources

arXiv2026

On the Well-Posedness of Periodic Strong Transonic Shocks in Divergent Nozzles

This paper studies the $C^1$ existence and dynamical stability of temporal periodic solutions involving strong transonic shocks for the quasi--one--dimensional full compressible Euler equations in diverging nozzles. We reveal the physical structural dissipation mechanism of strong transonic shocks hidden in the Rankine--Hugoniot conditions. This allows us to estimate the resonance at the shock boundary caused by the left acoustic waves in the subsonic downstream region. With this dissipation, we complete the proof by developing a fraction--step linearized iterative method.

math.AP↗

arXiv2026

Non-uniqueness for the hypo-dissipative compressible 3D magnetohydrodynamic equations

We consider the compressible 3D magnetohydrodynamic (MHD) equations under general pressure laws. For all hypo-viscosities $(-\Delta)^{\alpha_1}$ and hypo-resistivity $(-\Delta)^{\alpha_2}$ with $\alpha_1,\alpha_2\in(0,1)$, we prove the non-uniqueness of weak solutions to 3D MHD equations which reveals that there exist infinitely many weak solutions with the same initial data. Also, for the weak solutions in $C^{\widetilde{\beta}}_{t,x}$ to the compressible ideal MHD, where $\widetilde{\beta}>0$, we prove that they are the strong vanishing viscosity and resistivity limit of the weak solutions to the hypo-dissipative compressible MHD.

math.AP↗

arXiv2026

Non-uniqueness of weak solutions to the 3-D stationary MHD equations in Besov space with negative regularity index

In this paper, we study the 3-D incompressible fractional stationary MHD equations on the torus $\mathbb{T}^3$. For fractional power indices $\alpha_1,\alpha_2 >0,$ we prove that there exist infinite non-trivial stationary singular solutions of 3-D fractional MHD equations via convex integration. In particular, this result shows the non-uniqueness of weak solutions to the 3-D stationary MHD equations in some sub-critical Besov spaces.

math.AP↗

arXiv2026

Achieving Cloud-Grade SLOs for Local Mixture-of-Experts Inference through CPU-GPU Hybrid Design

Local deployment of large Mixture-of-Experts (MoE) models falls short of the service quality achieved in cloud-scale environments, even under low-concurrency workloads. We identify four key gaps in local MoE inference: reliance on capacity-reduced models (quantized, distilled, rerouted), inability to meet 30-second TTFT for long prefills (more than 12K), sub-baseline decode throughput (under 20 tokens/s), and poor concurrency under mixed prefill-decode and batched decode workloads. We present a CPU-GPU hybrid system that achieves cloud-level SLOs on dual-socket commodity CPUs and consumer GPUs by (1) stream-loading prefill (SLP), boosting prefill throughput to 1,200 tokens/s and enabling 32K prompts within 30 seconds; (2) distributed SLP (DSLP) with SmallEP expert parallelism, reaching 1,800 tokens/s and 45K prompts in 30 seconds on two RTX 5090s; (3) intra-node prefill-decode disaggregation with zero-copy shared weights and a dual-batch attention-MoE overlap scheme, sustaining concurrency with under 15 percent latency increase and 50 percent throughput gains; (4) an AVX-512-optimized FP8 GEMV kernel, enabling native CPU FP8 inference while delivering 4-5x lower CPU latency; and (5) fine-grained CPU parallelism that attains 28 tokens/s on INT4 DeepSeek-V3 and 21.5 tokens/s on intact FP8 V3. Evaluations show our system delivers cloud-level QoS for flagship MoE models on consumer CPU-GPU platforms, reshaping local deployment with intact, original-precision inference and enabling high-quality, cost-effective access without datacenter infrastructure.

cs.DC↗

arXiv2026

Towards Feedback-to-Plan Decisions for Self-Evolving LLM Agents in CUDA Kernel Generation

Large language models (LLMs) have shown strong empirical gains as self-evolving agents for CUDA kernel generation, driven by feedback-conditioned planning across generations. However, how planning decisions attribute and combine heterogeneous feedback signals remains opaque. Standard end-to-end ablations fail to resolve this question, as iterative planning amplifies early perturbations and conflates feedback effects with trajectory-dependent drift. We introduce \texttt{CUDAnalyst}, a unified analysis layer for controlled, generation-level attribution of planning decisions to feedback components via trajectory freezing and selective feedback injection. \texttt{CUDAnalyst} enables stable generation-level evaluation and principled coalitional-style attribution of feedback effects and interactions. Our results show that explicit planning is beneficial only when feedback is aligned, that effective planning emerges from structured multi-feedback interactions, and that high-level plans from stronger reasoning models can partially transfer to weaker ones. These trends hold across reference backbones, representative workloads, and reference induction regimes, indicating that the identified feedback-to-plan structure is robust within the controlled axes studied.

cs.AI↗

arXiv2026

BrainFuse: a unified infrastructure integrating realistic biological modeling and core AI methodology

Neuroscience and artificial intelligence represent distinct yet complementary pathways to general intelligence. However, amid the ongoing boom in AI research and applications, the translational synergy between these two fields has grown increasingly elusive-hampered by a widening infrastructural incompatibility: modern AI frameworks lack native support for biophysical realism, while neural simulation tools are poorly suited for gradient-based optimization and neuromorphic hardware deployment. To bridge this gap, we introduce BrainFuse, a unified infrastructure that provides comprehensive support for biophysical neural simulation and gradient-based learning. By addressing algorithmic, computational, and deployment challenges, BrainFuse exhibits three core capabilities: (1) algorithmic integration of detailed neuronal dynamics into a differentiable learning framework; (2) system-level optimization that accelerates customizable ion-channel dynamics by up to 3,000x on GPUs; and (3) scalable computation with highly compatible pipelines for neuromorphic hardware deployment. We demonstrate this full-stack design through both AI and neuroscience tasks, from foundational neuron simulation and functional cylinder modeling to real-world deployment and application scenarios. For neuroscience, BrainFuse supports multiscale biological modeling, enabling the deployment of approximately 38,000 Hodgkin-Huxley neurons with 100 million synapses on a single neuromorphic chip while consuming as low as 1.98 W. For AI, BrainFuse facilitates the synergistic application of realistic biological neuron models, demonstrating enhanced robustness to input noise and improved temporal processing endowed by complex HH dynamics. BrainFuse therefore serves as a foundational engine to facilitate cross-disciplinary research and accelerate the development of next-generation bio-inspired intelligent systems.

cs.NE↗

arXiv2025

Singular Value Decomposition on Kronecker Adaptation for Large Language Model

Large pre-trained Transformer models achieve state-of-the-art results across diverse language and reasoning tasks, but full fine-tuning incurs substantial storage, memory, and computational overhead. Parameter-efficient fine-tuning (PEFT) methods mitigate these costs by learning only a small subset of task-specific parameters, yet existing approaches either introduce inference-time latency (adapter modules), suffer from suboptimal convergence (randomly initialized low-rank updates), or rely on fixed rank choices that may not match task complexity (Kronecker-based decompositions). We propose SoKA (SVD on Kronecker Adaptation), a novel PEFT strategy that combines Kronecker-product tensor factorization with SVD-driven initialization and spectrum-aware dynamic rank selection. Our Kronecker-Product SVD (KPSVD) procedure extracts principal components of the full weight update into compact Kronecker factors, while an adaptive rank selection algorithm uses energy-threshold and elbow-point criteria to prune negligible components. Empirical evaluation on LLaMA2-7B across arithmetic reasoning (GSM8K), formal mathematics (MATH), and code generation (MBPP) demonstrates that SoKA requires only 0.99M trainable parameters, 25% fewer than LoRA/PiSSA, while matching or exceeding baseline performance. Moreover, SoKA exhibits faster convergence and more stable gradients, highlighting its robustness and efficiency for large-scale model adaptation.

cs.LG↗

arXiv2025

Pipelining Kruskal's: A Neuromorphic Approach for Minimum Spanning Tree

Neuromorphic computing, characterized by its event-driven computation and massive parallelism, is particularly effective for handling data-intensive tasks in low-power environments, such as computing the minimum spanning tree (MST) for large-scale graphs. The introduction of dynamic synaptic modifications provides new design opportunities for neuromorphic algorithms. Building on this foundation, we propose an SNN-based union-sort routine and a pipelined version of Kruskal's algorithm for MST computation. The event-driven nature of our method allows for the concurrent execution of two completely decoupled stages: neuromorphic sorting and union-find. Our approach demonstrates superior performance compared to state-of-the-art Prim 's-based methods on large-scale graphs from the DIMACS10 dataset, achieving speedups by 269.67x to 1283.80x, with a median speedup of 540.76x. We further evaluate the pipelined implementation against two serial variants of Kruskal's algorithm, which rely on neuromorphic sorting and neuromorphic radix sort, showing significant performance advantages in most scenarios.

cs.ET↗

arXiv2025

Non-uniqueness for the nonlinear dynamical Lam\'e system

We consider the Cauchy problem for the nonlinear dynamical Lam\'e system with double wave speeds in a $d$-dimensional $(d=2,3)$ periodic domain. Moreover, the equations can be transformed into a linearly degenerate hyperbolic system. We could construct infinitely many continuous solutions in $C^{1,\alpha}$ emanating from the same small initial data for $\alpha<\frac{1}{60}$. The proof relies on the convex integration scheme. We construct a new class of building blocks with compression structure by using the double wave speeds characteristic of the equations.

math.AP↗

arXiv2025

The null condition in elastodynamics leads to non-uniqueness

We consider the Cauchy problem for the system of elastodynamic equations in two dimensions. Specifically, we focus on materials characterized by a null condition imposed on the quadratic part of the nonlinearity. We can construct non-zero weak solutions $u \in C^1([0, T] \times \mathbb{T}^2)$ that emanate from zero initial data. The proof relies on the convex integration scheme. By exploiting the characteristic double wave speeds of the equations, we construct a new class of building blocks. This work extends the application of convex integration techniques to hyperbolic systems with a null condition and reveals the rich solution structure in nonlinear elastodynamics.

math.AP↗

arXiv2025

Time-periodic transonic shock solution in divergent nozzles

We demonstrate that it is possible to control a normal transonic shock to move periodically by adjusting the boundary conditions at the entrance or the exit of the tube, for which, the phenomena has been observed in engineering. In this paper, we describe the gas by a quasi-one-dimensional compressible Euler equations with temporal periodic boundary conditions and prove the global existence and dynamical stability of the time-periodic transonic shock solution with an iteration method. The major difficulty is to determine the position of the moving shock front, which can be obtained by a free boundary problem in the subsonic domain. We decouple this free boundary problem by the $Rankine-Hugoniot$ conditions and a two-step iteration process.

math.AP↗

arXiv2024

Dissecting Conditional Branch Predictors of Apple Firestorm and Qualcomm Oryon for Software Optimization and Architectural Analysis

Branch predictor (BP) is a critical component of modern processors, and its accurate modeling is essential for compilers and applications. However, processor vendors have disclosed limited details about their BP implementations. Recent advancements in reverse engineering the BP of general-purpose processors have enabled the creation of more accurate BP models. Nonetheless, we have identified critical deficiencies in the existing methods. For instance, they impose strong assumptions on the branch history update function and the index/tag functions of key BP components, limiting their applicability to a broader range of processors, including those from Apple and Qualcomm. In this paper, we design a more general branch prediction reverse engineering pipeline that can additionally recover the conditional branch predictors (CBPs) of Apple Firestorm and Qualcomm Oryon microarchitectures, and subsequently build accurate CBP models. Leveraging these models, we uncover two previously undisclosed effects that impair branch prediction accuracy and propose related solutions, resulting in up to 14% MPKI reduction and 7% performance improvement in representative applications. Furthermore, we conduct a comprehensive comparison of the known Intel/Apple/Qualcomm CBPs using a unified standalone branch predictor simulator, which facilitates a deeper understanding of CBP behavior.

cs.AR↗

arXiv2023

Subsonic time-periodic solution to damped compressible Euler equations with large entropy

In this paper, one-dimensional nonisentropic compressible Euler equations with linear damping $\alpha(x)\rho u$ are analyzed.~We want to explore the conditions under which a subsonic temporal periodic boundary can trigger a time-periodic $C^{1}$ solution. To achieve this aim, we use a technically constructed iteration scheme and give the sufficient conditions to guarantee the existence, uniqueness and stability of the $C^{1}$ time-periodic solutions on the perturbation of a subsonic Fanno flow.~It is worthy to be pointed out that the entropy exhibits large amplitude under the assumption that the inflow sound speed is small.~However, it is crucial to assume that the boundary conditions possess a kind of dissipative structure at least on one side, which is used to cancel the nonlinear accelerating effect in the system.~The results indicate that the time-periodic feedback boundary control with dissipation can stabilize the nonisentropic compressible Euler equations around the Fanno flows.

math.AP↗

arXiv2023

Temporal periodic solutions to nonhomogeneous quasilinear hyperbolic equations driven by time-periodic boundary conditions

We consider the temporal periodic solutions to general nonhomogeneous quasilinear hyperbolic equations with a kind of weak diagonal dominant structure. Under the temporal periodic boundary conditions, the existence, stability and uniqueness of the time-periodic classical solutions are obtained.Moreover, the W2, regularity and stability around the time-periodic solutions are discussed. Our results reveal that the feedback boundary control with dissipative structure can stabilize the K-weakly diagonally dominant nonhomogeneous quasilinear hyperbolic system around the temporal periodic solution.

math.AP↗

arXiv2023

Non-uniqueness for the compressible Euler-Maxwell equations

We consider the Cauchy problem for the isentropic compressible Euler-Maxwell equations under general pressure laws in a three-dimensional periodic domain. For any smooth initial electron density away from the vacuum and smooth equilibrium-charged ion density, we could construct infinitely many $\alpha$-H\"older continuous entropy solutions emanating from the same initial data for $\alpha<\frac{1}{7}$. Especially, the electromagnetic field belongs to the H\"older class $C^{1,\alpha}$. Furthermore, we provide a continuous entropy solution satisfying the entropy inequality strictly. The proof relies on the convex integration scheme. Due to the constrain of the Maxwell equations, we propose a method of Mikado potential and construct new building blocks.

math.AP↗

arXiv2022

Non-uniqueness for the hypo-viscous compressible Navier-Stokes equations

We study the Cauchy problem for the isentropic hypo-viscous compressible Navier-Stokes equations (CNS) under general pressure laws in all dimensions $d\geq 2$. For all hypo-viscosities $(-\Delta)^\alpha$ with $\alpha\in (0,1)$, we prove that there exist infinitely many weak solutions with the same initial data. This provides the first non-uniqueness result of weak solutions to viscous compressible fluid. Our proof features new constructions of building blocks for both the density and momentum, which respect the compressible structure. It also applies to the compressible Euler equations and the hypo-viscous incompressible Navier-Stokes equations (INS). In particular, in view of the Lady\v{z}enskaja-Prodi-Serrin criteria, the obtained non-uniqueness of $L^2_tC_x$ weak solutions to the hypo-viscous INS is sharp, and reveals that $\alpha =1$ is the sharp viscosity threshold for the well-posedness in $L^2_tC_x$. Furthermore, we prove that the H\"older continuous weak solutions to the compressible Euler equations may be obtained as a strong vanishing viscosity limit of a sequence of weak solutions to the hypo-viscous CNS.

math.AP↗

arXiv2022

Subsonic time-periodic solution to compressible Euler equations with damping in a bounded domain

In this paper, we consider the one-dimensional isentropic compressible Euler equations with linear damping $\beta(t,x)\rho u$ in a bounded domain, which can be used to describe the process of compressible flows through a porous medium.~And the model is imposed a dissipative subsonic time-periodic boundary condition.~Our main results reveal that the time-periodic boundary can trigger a unique subsonic time-periodic smooth solution which is stable under small perturbations on initial data. Moreover, the time-periodic solution possesses higher regularity and stability provided a higher regular boundary condition.

math.AP↗

arXiv2022

Sharp non-uniqueness for the 3D hyperdissipative Navier-Stokes equations: above the Lions exponent

We study the 3D hyperdissipative Navier-Stokes equations on the torus, where the viscosity exponent $\alpha$ can be larger than the Lions exponent $5/4$. It is well-known that, due to Lions [55], for any $L^2$ divergence-free initial data, there exist unique smooth Leray-Hopf solutions when $\alpha \geq 5/4$. We prove that even in this high dissipative regime, the uniqueness would fail in the supercritical spaces $L^\gamma_tW^{s,p}_x$, in view of the generalized Lady\v{z}enskaja-Prodi-Serrin condition. The non-uniqueness is proved in the strong sense and, in particular, yields the sharpness at two endpoints $(3/p+1-2\alpha, \infty, p)$ and $(2\alpha/\gamma+1-2\alpha, \gamma, \infty)$. Moreover, the constructed solutions are allowed to coincide with the unique Leray-Hopf solutions near the initial time and, more delicately, admit the partial regularity outside a fractal set of singular times with zero Hausdorff $\mathcal{H}^{\eta_*}$ measure, where $\eta_*>0$ is any given small positive constant. These results also provide the sharp non-uniqueness in the supercritical Lebesgue and Besov spaces. Furthermore, the strong vanishing viscosity result is obtained for the hyperdissipative Navier-Stokes equations.

math.AP↗