arXiv subjects

Lun Zhang

Publications and source records attributed to Lun Zhang.

At least 19 recordsLinked to original sources

arXiv2026

EchoFuzz: Empowering Smart Contract Fuzzing with Large Language Models

Smart contracts, serving as the cornerstone of decentralized applications, autonomously manage trillion-dollar digital assets, making them attractive targets for attacks. Fuzzing has emerged as a promising technique for detecting vulnerabilities in smart contracts, yet existing methods face two main challenges. (1) The logical gap in state transitions and combinatorial redundancy hinders effective tradeoffs between bug detection efficiency and state space exploration cost, leading to critical execution paths to be overlooked. (2) Rule-based sequence mutation strategies suffer from path redundancy and inadequate guidance from contract logic, resulting in performance bottlenecks that stall the exploration of in-depth vulnerability-oriented paths. To tackle these challenges, we propose EchoFuzz, an LLM-guided fuzzing framework introducing Vulnerable Function Call Sequences (VFCS) - minimal, behavior-preserving execution paths that expose bugs through key state transitions. EchoFuzz consists of two key procedures. First, we develop a chain-guided LLM approach, that combines static analysis with logical understanding to generate contract-specific VFCS candidates that eliminate combinatorial redundancy. Second, we adopt an iterative fuzzing strategy that uses LLMs with real-time feedback to adaptively steer fuzzer toward uncovered branches. Experiments show EchoFuzz outperforms state-of-the-art methods, achieving 29\% higher branch coverage and detecting 62\% more vulnerabilities. It also found 37 previously unknown vulnerabilities in real contracts, showing strong practicality.

cs.SE↗

arXiv2026

A dense focusing Ablowitz-Ladik soliton gas and its asymptotics

In this paper, we propose a soliton gas solution for the focusing Ablowitz-Ladik system. This solution is defined as the large N limit of the N-soliton solution, and arises from a continuous spectrum of poles that accumulate within two disjoint intervals on the imaginary axis. We show that this gas solution admits a Fredholm determinant representation. By further exploring its Riemann-Hilbert characterization, we are able to establish the large-space asymptotics at t = 0 and large-time asymptotics of the gas solution.

math-ph↗

arXiv2026

Conditional thinning and multiplicative statistics of Laguerre-type orthogonal polynomial ensembles

We study the local statistics of orthogonal polynomial ensembles near a hard edge, subject to a multiplicative deformation of the measure. Probabilistically, this deformation corresponds to a position-dependent conditional thinning of the particles. We prove that, under critical hard edge scaling and for a large class of potentials and deformation symbols, the correlation kernel of the conditional ensemble converges to a universal limit, which we identify as the conditional thinned Bessel point process. We derive an explicit expression for this limiting kernel in terms of the solution to a nonlocal integrable system depending on a parameter. For a special choice of the parameter, this system was recently identified in the study of multiplicative statistics of the Bessel point process. Our results establish that this system governs the full correlation structure of the conditional Bessel point process, extending the classical connection between the standard Bessel kernel and the Painlevé V equation.

math-ph↗

arXiv2026

Painlevé XXXIV asymptotics for the defocusing nonlinear Schrödinger equation with a finite-genus algebro-geometric background

In this paper, we consider the Cauchy problem for the defocusing nonlinear Schr$\ddot{\text{o}}$dinger equation with a finite genus algebro-geometric background. Long-time asymptotics of the solution are derived in four space-time regions. It comes out that the leading-order term in the expansion is, up to a constant, given by the background solution with a shift of the parameter. The subleading term, however, decays at different rates for different regions. We particularly highlight that in the two transition regions, they are of order $\mathcal{O}(t^{-1/3})$ and the coefficients involve an integral of the Painlevé XXXIV transcendent. We establish our results by applying a nonlinear steepest descent analysis to the associated Riemann-Hilbert problems.

math.AP↗

arXiv2025

A novel phase-field model for $N$-phase problems: modeling, asymptotic analysis and numerical simulations

The classical phase-field modeling approaches for multiphase problems represent each phase using a regularized characteristic function, which necessarily introduces a simplex constraint for the phase-field variables. Additionally, the consistency requirement for phase-field modeling brings difficulties to the construction of nonlinear potentials in the energy functionals, posing significant challenges for classical phase-field modeling and its numerical methods for problems involving many phases. In this work, by adopting a dichotomic approach to represent multiphase, we propose a novel phase-field modeling framework without simplex constraint,in which the free energy is interpolated from the classical two-phase Ginzburg-Landau free energies. We systematically establish the interpolation rules and explicitly construct the interpolation functions, rendering the consistency properties of the model. The proposed model enjoys an energy dissipation property and is shown to be asymptotically consistent with its sharp interface limit, with the Neumann triangle condition recovered at the triple junction.Based on a mobility operator splitting technique, we develop a linear, decoupled, and energy stable scheme for efficiently solving the system of phase-field equations. The numerical stability and accuracy, as well as the consistency properties of the model, are validated through a large number of numerical examples. In particular, the model demonstrates its success in several benchmark simulations for multiphase problems, such as the formation of liquid lenses between two stratified fluids, the generation of double emulsions and Janus emulsions, showing good agreement with experimental observations.

math.NA↗

arXiv2025

Asymptotic expansion of the hard-to-soft edge transition

By showing that the symmetrically transformed Bessel kernel admits a full asymptotic expansion for large parameter, we establish a hard-to-soft edge transition expansion. This resolves a conjecture recently proposed by Bornemann.

math-ph↗

arXiv2025

Confluent hypergeometric kernel determinant on multiple large intervals

The confluent hypergeometric point process represents a universality class which arises in a variety of different but related areas. It particularly describes the local statistics of eigenvalues in the bulk of spectrum near a Fisher-Hartwig singular point for a broad class of unitary ensembles. It is the aim of this work to investigate large gap asymptotics of this process over a union of disjoint intervals $\cup_{j=0}^{n}(sa_j,sb_j)$, where $a_0<b_0<\dots<a_m<0<b_m<\dots<a_n<b_n$ for some $0\leq m \leq n$. As $s\to +\infty$, we establish a general asymptotic formula up to and including the oscillatory term of order $1$, which involves a $θ$-functions-combination integral along a linear flow on an $n$-dimensional torus. If the linear flow has ``good Diophantine properties'' or the ergodic properties, we further improve the error estimate or the leading term for the asymptotics of the integral. These results can be combined for the case $n=1$, which lead to a precise large gap asymptotics up to an undetermined constant.

math-ph↗

arXiv2025

Asymptotics for the noncommutative Painlevé II equation

In this paper, we are concerned with the following noncommutative Painlevé II equation \begin{equation*} \mathbf{D}^2 β_1 = 4\mathbf{s} β_1 +4 β_1 \mathbf{s} +8 β_1^3, \end{equation*} where $β_1=β_1(\vec{s})$ is an $n \times n$ matrix-valued function of $\vec{s}=(s_1,\ldots,s_n)$, $\mathbf{s}=\diag(s_1,\ldots,s_n)$ and $\mathbf{D}=\sum_{j=1}^n\frac{\partial}{\partial s_j}$. If $n=1$, it reduces to the classical Painlevé II equation up to a scaling. Given an arbitrary $n \times n$ constant matrix $C=\left(c_{j k}\right)_{j, k=1}^n$, a remarkable result due to Bertola and Cafasso asserts that there exists a unique solution $β_1(\vec{s})=β_1(\vec{s};C)$ of the noncommutative PII equation such that its $(k,l)$-th entry behaves like $-c_{kl} \Ai (s_k+s_l)$ as $S= \frac{1}{n}\sum_{i=1}^n s_j\to+\infty$, where $\Ai$ stands for the standard Airy function. For a class of structured matrices $C$, we establish asymptotics of the associated solutions as $S \to -\infty$, which particularly include the so-called connection formulas. In the present setting, it comes out that the solution exhibits a hybrid behavior in the sense that each entry corresponds to either an extension of the Hastings-McLeod solution or an extension of the Ablowitz-Segur solution for the PII equation. It is worthwhile to emphasize the asymptotics of the $(k,l)$-th entry as $S \to -\infty$ cannot be deduced solely from its behavior as $S \to +\infty$ in general, which actually also depends on the positive infinity asymptotics of the $(l,k)$-th entry. This new and intriguing phenomenon disappears in the scalar case.

math-ph↗

arXiv2025

Convergence analysis of Hermite approximations for analytic functions

In this paper, we present a rigorous analysis of root-exponential convergence of Hermite approximations, including projection and interpolation methods, for functions that are analytic in an infinite strip containing the real axis and satisfy certain restrictions on the asymptotic behavior at infinity within this strip. Asymptotically sharp error bounds in the weighted and maximum norms are derived. The key ingredients of our analysis are some remarkable contour integral representations for the Hermite coefficients and the remainder of Hermite spectral interpolations. Further extensions to Gauss--Hermite quadrature, Hermite spectral differentiations, generalized Hermite spectral approximations and the scaling factor of Hermite approximation are also discussed. Numerical experiments confirm our theoretical results.

math.NA↗

arXiv2025

SolPhishHunter: Towards Detecting and Understanding Phishing on Solana

Solana is a rapidly evolving blockchain platform that has attracted an increasing number of users. However, this growth has also drawn the attention of malicious actors, with some phishers extending their reach into the Solana ecosystem. Unlike platforms such as Ethereum, Solana has distinct designs of accounts and transactions, leading to the emergence of new types of phishing transactions that we term SolPhish. We define three types of SolPhish and develop a detection tool called SolPhishHunter. Utilizing SolPhishHunter, we detect a total of 8,058 instances of SolPhish and conduct an empirical analysis of these detected cases. Our analysis explores the distribution and impact of SolPhish, the characteristics of the phishers, and the relationships among phishing gangs. Particularly, the detected SolPhish transactions have resulted in nearly \$1.1 million in losses for victims. We report our detection results to the community and construct SolPhishDataset, the \emph{first} Solana phishing-related dataset in academia.

cs.CR↗

arXiv2025

The multiplicative constant in asymptotics of higher-order analogues of the Tracy-Widom distribution

In this paper, we are concerned with higher-order analogues of the Tracy-Widom distribution, which describe the eigenvalue distributions in unitary random matrix models near critical edge points. The associated kernels are constructed by functions related to the even members of the Painlevé I hierarchy $\mathrm{P_{I}^{2k}}, k\in\mathbb{N}^{+}$, and are regarded as higher-order analogues of the Airy kernel. We present a novel approach to establish the multiplicative constant in the large gap asymptotics of the distribution, resolving an open problem in the work of Clayes, Its and Krasovsky. An important new feature of the expression is the involvement of an integral of the Hamiltonian associated with a special, real, pole-free solution for $\mathrm{P_{I}^{2k}}$. In addition, we show that the total integral of the Hamiltonian vanishes for all $k$, and establish a transition from the higher-order Tracy-Widom distribution to the classical one in the asymptotic regime. Our approach can also be adapted to calculate similar critical constants in other problems arising from mathematical physics.

math-ph↗

arXiv2024

PrettiSmart: Visual Interpretation of Smart Contracts via Simulation

Smart contracts are the fundamental components of blockchain technology. They are programs to determine cryptocurrency transactions, and are irreversible once deployed, making it crucial for cryptocurrency investors to understand the cryptocurrency transaction behaviors of smart contracts comprehensively. However, it is a challenging (if not impossible) task for investors, as they do not necessarily have a programming background to check the complex source code. Even for investors with certain programming skills, inferring all the potential behaviors from the code alone is still difficult, since the actual behaviors can be different when different investors are involved. To address this challenge, we propose PrettiSmart, a novel visualization approach via execution simulation to achieve intuitive and reliable visual interpretation of smart contracts. Specifically, we develop a simulator to comprehensively capture most of the possible real-world smart contract behaviors, involving multiple investors and various smart contract functions. Then, we present PrettiSmart to intuitively visualize the simulation results of a smart contract, which consists of two modules: The Simulation Overview Module is a barcode-based design, providing a visual summary for each simulation, and the Simulation Detail Module is an augmented sequential design to display the cryptocurrency transaction details in each simulation, such as function call sequences, cryptocurrency flows, and state variable changes. It can allow investors to intuitively inspect and understand how a smart contract will work. We evaluate PrettiSmart through two case studies and in-depth user interviews with 12 investors. The results demonstrate the effectiveness and usability of PrettiSmart in facilitating an easy interpretation of smart contracts.

cs.HC↗

arXiv2024

Large gap asymptotics of the hard edge tacnode process

A special type of geometric situation in ensembles of non-intersecting paths occurs when the non-intersecting trajectories are required to be nonnegative so that the limit shape becomes tangential to the hard-edge $0$. The local fluctuation is governed by the universal hard edge tacnode process, which also arises from some tiling problems. It is the aim of this work to explore the integrable structure and asymptotics for the gap probability of the hard edge thinned/unthinned tacnode process over $(0,s)$. We establish an integral representation of the gap probability in terms of the Hamiltonian associated with a system of differential equations. With the aids of some remarkable differential identities for the Hamiltonian, we are able to derive the associated large gap asymptotics, up to and including the constant term in the thinned case. Some applications of our results are discussed as well.

math.PR↗

arXiv2024

Multi-Objective Communication Optimization for Temporal Continuity in Dynamic Vehicular Networks

Vehicular Ad-hoc Networks (VANETs) operate in highly dynamic environments characterized by high mobility, time-varying channel conditions, and frequent network disruptions. Addressing these challenges, this paper presents a novel temporal-aware multi-objective robust optimization framework, which for the first time formally incorporates temporal continuity into the optimization of dynamic multi-hop VANETs. The proposed framework simultaneously optimizes communication delay, throughput, and reliability, ensuring stable and consistent communication paths under rapidly changing conditions. A robust optimization model is formulated to mitigate performance degradation caused by uncertainties in vehicular density and channel fluctuations. To solve the optimization problem, an enhanced Non-dominated Sorting Genetic Algorithm II (NSGA-II) is developed, integrating dynamic encoding, elite inheritance, and adaptive constraint handling to efficiently balance trade-offs among conflicting objectives. Simulation results demonstrate that the proposed framework achieves significant improvements in reliability, delay reduction, and throughput enhancement, while temporal continuity effectively stabilizes communication paths over time. This work provides a pioneering and comprehensive solution for optimizing VANET communication, offering critical insights for robust and efficient strategies in intelligent transportation systems.

cs.NE↗

arXiv2024

Adaptive Genetic Selection based Pinning Control with Asymmetric Coupling for Multi-Network Heterogeneous Vehicular Systems

To alleviate computational load on RSUs and cloud platforms, reduce communication bandwidth requirements, and provide a more stable vehicular network service, this paper proposes an optimized pinning control approach for heterogeneous multi-network vehicular ad-hoc networks (VANETs). In such networks, vehicles participate in multiple task-specific networks with asymmetric coupling and dynamic topologies. We first establish a rigorous theoretical foundation by proving the stability of pinning control strategies under both single and multi-network conditions, deriving sufficient stability conditions using Lyapunov theory and linear matrix inequalities (LMIs). Building on this theoretical groundwork, we propose an adaptive genetic algorithm tailored to select optimal pinning nodes, effectively balancing LMI constraints while prioritizing overlapping nodes to enhance control efficiency. Extensive simulations across various network scales demonstrate that our approach achieves rapid consensus with a reduced number of control nodes, particularly when leveraging network overlaps. This work provides a comprehensive solution for efficient control node selection in complex vehicular networks, offering practical implications for deploying large-scale intelligent transportation systems.

cs.AI↗

arXiv2024

Scalable Multi-Objective Optimization for Robust Traffic Signal Control in Uncertain Environments

Intelligent traffic signal control is essential to modern urban management, with important impacts on economic efficiency, environmental sustainability, and quality of daily life. However, in current decades, it continues to pose significant challenges in managing large-scale traffic networks, coordinating intersections, and ensuring robustness under uncertain traffic conditions. This paper presents a scalable multi-objective optimization approach for robust traffic signal control in dynamic and uncertain urban environments. A multi-objective optimization model is proposed in this paper, which incorporates stochastic variables and probabilistic traffic patterns to capture traffic flow dynamics and uncertainty. We propose an algorithm named Adaptive Hybrid Multi-Objective Optimization Algorithm (AHMOA), which addresses the uncertainties of city traffic, including network-wide signal coordination, fluctuating patterns, and environmental impacts. AHMOA simultaneously optimizes multiple objectives, such as average delay, network stability, and system robustness, while adapting to unpredictable changes in traffic. The algorithm combines evolutionary strategies with an adaptive mechanism to balance exploration and exploitation, and incorporates a memory-based evaluation mechanism to leverage historical traffic data. Simulations are conducted in different cities including Manhattan, Paris, Sao Paulo, and Istanbul. The experimental results demonstrate that AHMOA consistently outperforms several state-of-the-art algorithms and the algorithm is competent to provide scalable, robust Pareto optimal solutions for managing complex traffic systems under uncertain environments.

cs.NE↗

arXiv2024

Transient asymptotics of the modified Camassa-Holm equation

We investigate long time asymptotics of the modified Camassa-Holm equation in three transition zones under a nonzero background. The first transition zone lies between the soliton region and the first oscillatory region, the second one lies between the second oscillatory region and the fast decay region, and possibly, the third one, namely, the collisionless shock region, that bridges the first transition region and the first oscillatory region. Under a low regularity condition on the initial data, we obtain Painlevé-type asymptotic formulas in the first two transition regions, while the transient asymptotics in the third region involves the Jacobi theta function. We establish our results by performing a $\bar{\partial}$ nonlinear steepest descent analysis to the associated Riemann-Hilbert problem.

math.AP↗

arXiv2024

Multi-objective Optimal Roadside Units Deployment in Urban Vehicular Networks

The significance of transportation efficiency, safety, and related services is increasing in urban vehicular networks. Within such networks, roadside units (RSUs) serve as intermediates in facilitating communication. Therefore, the deployment of RSUs is of utmost importance in ensuring the quality of communication services. However, the optimization objectives, such as time delay and deployment cost, are commonly developed from diverse perspectives. As a result, it is possible that conflicts may arise among the objectives. Furthermore, in urban environments, the presence of various obstacles, such as buildings, gardens, lakes, and other infrastructure, poses challenges for the deployment of RSUs. Hence, the deployment encounters significant difficulties due to the existence of multiple objectives, constraints imposed by obstacles, and the necessity to explore a large-scale optimization space. To address this issue, two versions of multi-objective optimization algorithms are proposed in this paper. By utilizing a multi-population strategy and an adaptive exploration technique, the methods efficiently explore a large-scale decision-variable space. In order to mitigate the issue of an overcrowded deployment of RSUs, a calibrating mechanism is adopted to adjust RSU density during the optimization procedures. The proposed methods also take care of data offloading between vehicles and RSUs by setting up an iterative best response sequence game (IBRSG). By comparing the proposed algorithms with several state-of-the-art algorithms, the results demonstrate that our strategies perform better in both high-density and low-density urban scenarios. The results also indicate that the proposed solutions substantially improve the efficiency of vehicular networks.

cs.NE↗