-
Global Calderón-Zygmund estimates for asymptotically convex fully nonlinear Grad-Mercier type equations
Authors:
Yao Zhang,
Xiaofeng Jin,
Lingwei Ma,
Zhenqiu Zhang
Abstract:
In this paper, we consider the following Dirichlet problem for the fully nonlinear elliptic equation of Grad-Mercier type under asymptotic convexity conditions \begin{equation*}
\left\{
\begin{array}{ll}
F(D^2u(x),Du(x),u(x),x)=g(|\{y\in Ω:u(y)\ge u(x)\}|)+f(x) & \text{in } Ω,
u=ψ&\text{on } \partial Ω.
\end{array}
\right. \end{equation*} In order to overcome the non-convexity of the o…
▽ More
In this paper, we consider the following Dirichlet problem for the fully nonlinear elliptic equation of Grad-Mercier type under asymptotic convexity conditions \begin{equation*}
\left\{
\begin{array}{ll}
F(D^2u(x),Du(x),u(x),x)=g(|\{y\in Ω:u(y)\ge u(x)\}|)+f(x) & \text{in } Ω,
u=ψ&\text{on } \partial Ω.
\end{array}
\right. \end{equation*} In order to overcome the non-convexity of the operator $F$ and the nonlocality of the nonhomogeneous term $g$, we apply the compactness methods and frozen technique to prove the existence of the $W^{2,p}$-viscosity solutions and the global $W^{2,p}$ estimate. As an application, we derive a Cordes-Nirenberg type continuous estimate up to boundary. Furthermore, we establish a global BMO estimate for the second derivatives of solutions by using an asymptotic approach, thereby refining the borderline case of Calderón-Zygmund estimates.
△ Less
Submitted 29 June, 2025;
originally announced June 2025.
-
Closed-Form Decomposition for Simplicial Cones and PDBarv Algorithm for Lattice Point Counting
Authors:
Sihao Tao,
Guoce Xin,
Zihao Zhang
Abstract:
Counting lattice points within a rational polytope is a foundational problem with applications across mathematics and computer science. A key approach is Barvinok's algorithm, which decomposes the lattice point generating function of cones to that of unimodular cones. However, standard implementations face difficulties: the original primal method struggles with points on cone boundaries, while the…
▽ More
Counting lattice points within a rational polytope is a foundational problem with applications across mathematics and computer science. A key approach is Barvinok's algorithm, which decomposes the lattice point generating function of cones to that of unimodular cones. However, standard implementations face difficulties: the original primal method struggles with points on cone boundaries, while the alternative dual method can be slow for certain cone types.
This paper introduces two main contributions. First, We derive a closed-form expression for these generating functions using arbitrary lattice point decompositions, enabling more effective primal space decomposition. Second, by decomposing both the cone and its dual cone starting from the side with a smaller index, we develop a novel algorithm called \textup{PDBarv}. This hybrid approach integrates the primal and dual Barvinok algorithms with a novel acceleration strategy, achieving an average computational performance improvement of over 20\% in dimension 5 and even better in higher dimensions.
△ Less
Submitted 24 June, 2025;
originally announced June 2025.
-
Undecidability of Translational Tiling of the Plane with Four Tiles
Authors:
Chao Yang,
Zhujun Zhang
Abstract:
The translational tiling problem, dated back to Wang's domino problem in the 1960s, is one of the most representative undecidable problems in the field of discrete geometry and combinatorics. Ollinger initiated the study of the undecidability of translational tiling with a fixed number of tiles in 2009, and proved that translational tiling of the plane with a set of $11$ polyominoes is undecidable…
▽ More
The translational tiling problem, dated back to Wang's domino problem in the 1960s, is one of the most representative undecidable problems in the field of discrete geometry and combinatorics. Ollinger initiated the study of the undecidability of translational tiling with a fixed number of tiles in 2009, and proved that translational tiling of the plane with a set of $11$ polyominoes is undecidable. The number of polyominoes needed to obtain undecidability was reduced from $11$ to $7$ by Yang and Zhang, and then to $5$ by Kim. We show that translational tiling of the plane with a set of $4$ (disconnected) polyominoes is undecidable in this paper.
△ Less
Submitted 24 June, 2025;
originally announced June 2025.
-
Incompressible Euler limit from the Boltzmann equation with Maxwell reflection boundary condition in the half-space
Authors:
Ning Jiang,
Chao Wang,
Yulong Wu,
Zhifei Zhang
Abstract:
In this paper, we rigorously justify the incompressible Euler limit of the Boltzmann equation with general Maxwell reflection boundary condition in the half-space. The accommodation coefficient $α\in (0,1]$ is assumed to be $O(1)$. Our construction of solutions includes the interior fluid part and Knudsen-Prandtl coupled boundary layers. The corresponding solutions to the nonlinear Euler and nonli…
▽ More
In this paper, we rigorously justify the incompressible Euler limit of the Boltzmann equation with general Maxwell reflection boundary condition in the half-space. The accommodation coefficient $α\in (0,1]$ is assumed to be $O(1)$. Our construction of solutions includes the interior fluid part and Knudsen-Prandtl coupled boundary layers. The corresponding solutions to the nonlinear Euler and nonlinear Prandtl systems are taken to be shear flows. Due to the presence of the nonlinear Prandtl layer, the remainder equation loses one order normal derivative. The key technical novelty lies in employing the full conservation laws to convert this loss of the normal derivative into the loss of tangential spatial derivative, avoiding any loss of regularity in time. By working within an analytic $L^2 \mbox{-} L^\infty$ framework, we establish the uniform estimate on the remainder equations, thus justify the validity of the incompressible Euler limit from the Boltzmann equation for the shear flow case.
△ Less
Submitted 23 June, 2025;
originally announced June 2025.
-
Pattern formation Statistics on Fermat Quotients
Authors:
Cristian Cobeli,
Alexandru Zaharescu,
Zhuo Zhang
Abstract:
Despite their simple definition as $\mathfrak{q}_p(b):=\frac{b^{p-1}-1}{p} \pmod p$, for $0\le b \le p^2-1$ and $\gcd(b,p)=1$, and their regular arrangement in a $p\times(p-1)$ Fermat quotient matrix $\mathtt{FQM}(p)$ of integers from $[0,p-1]$, Fermat quotients modulo $p$ are well known for their overall lack of regularity. Here, we discuss this contrasting effect by proving that, on the one hand…
▽ More
Despite their simple definition as $\mathfrak{q}_p(b):=\frac{b^{p-1}-1}{p} \pmod p$, for $0\le b \le p^2-1$ and $\gcd(b,p)=1$, and their regular arrangement in a $p\times(p-1)$ Fermat quotient matrix $\mathtt{FQM}(p)$ of integers from $[0,p-1]$, Fermat quotients modulo $p$ are well known for their overall lack of regularity. Here, we discuss this contrasting effect by proving that, on the one hand, any line of the matrix behaves like an analogue of a randomly distributed sequence of numbers, and on the other hand, the spatial statistics of distances on regular $N$-patterns confirm the natural expectations.
△ Less
Submitted 21 June, 2025;
originally announced June 2025.
-
Existence of weak solutions for two-phase matrix-valued harmonic map flows
Authors:
Wei Wang,
Wei Wang,
Zhifei Zhang
Abstract:
We investigate the existence of weak solutions for matrix-valued two-phase harmonic map flows with optimal lifespan, which arises as the limiting system of the matrix-valued Rubinstein-Sternberg-Keller problem studied by ({\em Invent. Math.}, 233(1):1--80, 2023). Our approach employs a modified minimizing movement scheme, discretizing the time domain and constructing approximate solutions by inter…
▽ More
We investigate the existence of weak solutions for matrix-valued two-phase harmonic map flows with optimal lifespan, which arises as the limiting system of the matrix-valued Rubinstein-Sternberg-Keller problem studied by ({\em Invent. Math.}, 233(1):1--80, 2023). Our approach employs a modified minimizing movement scheme, discretizing the time domain and constructing approximate solutions by interpolating solutions to the associated functional problem within each small time interval.
△ Less
Submitted 2 July, 2025; v1 submitted 19 June, 2025;
originally announced June 2025.
-
Large Deviations of First Passage Times of Branching Random Walks in $\mathbb{R}^d$: Asymptotics and Algorithms
Authors:
Jose Blanchet,
Wei Cai,
Shaswat Mohanty,
Zhenyuan Zhang
Abstract:
We investigate the large deviation probabilities of first passage times (FPT) of discrete-time supercritical non-lattice branching random walks (BRWs) in $\mathbb{R}^d$ where $d\geq 1$. Here, the FPT refers to the first time the BRW enters a ball of radius one with a distance $x$ from the origin, conditioned upon survival. We then apply the spine decomposition technique to construct an asymptotica…
▽ More
We investigate the large deviation probabilities of first passage times (FPT) of discrete-time supercritical non-lattice branching random walks (BRWs) in $\mathbb{R}^d$ where $d\geq 1$. Here, the FPT refers to the first time the BRW enters a ball of radius one with a distance $x$ from the origin, conditioned upon survival. We then apply the spine decomposition technique to construct an asymptotically optimal polynomial-time algorithm for computing the lower large deviation probabilities of the FPT. Our algorithm is also verified numerically. Our analysis provides a further understanding of the microstructural feature that can help characterize the strength of polymers.
△ Less
Submitted 17 June, 2025;
originally announced June 2025.
-
Numerical approximation of effective diffusivities in homogenization of nondivergence-form equations with large drift by a Lagrangian method
Authors:
Timo Sprekeler,
Han Wu,
Zhiwen Zhang
Abstract:
In this paper, we study numerical methods for the homogenization of linear second-order elliptic equations in nondivergence-form with periodic diffusion coefficients and large drift terms. Upon noting that the effective diffusion matrix can be characterized through the long-time variance of an associated diffusion process, we construct a Lagrangian numerical scheme based on a direct simulation of…
▽ More
In this paper, we study numerical methods for the homogenization of linear second-order elliptic equations in nondivergence-form with periodic diffusion coefficients and large drift terms. Upon noting that the effective diffusion matrix can be characterized through the long-time variance of an associated diffusion process, we construct a Lagrangian numerical scheme based on a direct simulation of the underlying stochastic differential equation and utilizing the framework of modified equations, thereby avoiding the need to solve the Fokker--Planck--Kolmogorov equation. Through modified equation analysis, we derive higher-order weak convergence rates for our method. Finally, we conduct numerical experiments to demonstrate the accuracy of the proposed method. The results show that the method efficiently computes effective diffusivities, even in high dimensions.
△ Less
Submitted 16 June, 2025;
originally announced June 2025.
-
Undecidability of Translational Tiling of the Plane with Orthogonally Convex Polyominoes
Authors:
Chao Yang,
Zhujun Zhang
Abstract:
The first undecidability result on the tiling is the undecidability of translational tiling of the plane with Wang tiles, where there is an additional color matching requirement. Later, researchers obtained several undecidability results on translational tiling problems where the tilings are subject to the geometric shapes of the tiles only. However, all these results are proved by constructing ti…
▽ More
The first undecidability result on the tiling is the undecidability of translational tiling of the plane with Wang tiles, where there is an additional color matching requirement. Later, researchers obtained several undecidability results on translational tiling problems where the tilings are subject to the geometric shapes of the tiles only. However, all these results are proved by constructing tiles with extremely concave shapes. It is natural to ask: can we obtain undecidability results of translational tiling with convex tiles? Towards answering this question, we prove the undecidability of translational tiling of the plane with a set of 7 orthogonally convex polyominoes.
△ Less
Submitted 15 June, 2025;
originally announced June 2025.
-
Transformed Diffusion-Wave fPINNs: Enhancing Computing Efficiency for PINNs Solving Time-Fractional Diffusion-Wave Equations
Authors:
Jing Li,
Zhengqi Zhang
Abstract:
We propose transformed Diffsuion-Wave fractional Physics-Informed Neural Networks (tDWfPINNs) for efficiently solving time-fractional diffusion-wave equations with fractional order $α\in(1,2)$. Conventional numerical methods for these equations often compromise the mesh-free advantage of Physics-Informed Neural Networks (PINNs) or impose high computational costs when computing fractional derivativ…
▽ More
We propose transformed Diffsuion-Wave fractional Physics-Informed Neural Networks (tDWfPINNs) for efficiently solving time-fractional diffusion-wave equations with fractional order $α\in(1,2)$. Conventional numerical methods for these equations often compromise the mesh-free advantage of Physics-Informed Neural Networks (PINNs) or impose high computational costs when computing fractional derivatives. The proposed method avoids first-order derivative calculations at quadrature points by introducing an integrand transformation technique, significantly reducing computational costs associated with fractional derivative evaluation while preserving accuracy. We conduct a comprehensive comparative analysis applying this integrand transformation in conjunction with both Monte Carlo integration and Gauss-Jacobi quadrature schemes across various time-fractional PDEs. Our results demonstrate that tDWfPINNs achieve superior computational efficiency without sacrificing accuracy. Furthermore, we incorporate the proposed approach into adaptive sampling approaches such as the residual-based adaptive distribution (RAD) for the time-fractional Burgers equation with order $α\in(1,2)$, which exhibits complex solution dynamics. The experiments show that the Gauss-Jacobi method typically outperforms the Monte Carlo approach; however, careful consideration is required when selecting the number of quadrature points. Overall, the proposed tDWfPINNs offer a significant advancement in the numerical solution of time-fractional diffusion-wave equations, providing an accurate and scalable mesh-free alternative for challenging fractional models.
△ Less
Submitted 13 June, 2025;
originally announced June 2025.
-
Exponential mixing for the randomly forced NLS equation
Authors:
Yuxuan Chen,
Shengquan Xiang,
Zhifei Zhang,
Jia-Cheng Zhao
Abstract:
This paper investigates exponential mixing of the invariant measure for randomly forced nonlinear Schrödinger equation, with damping and random noise localized in space. Our study emphasizes the crucial role of exponential asymptotic compactness and control properties in establishing the ergodic properties of random dynamical systems. This work extends the series [15, 45] on the statistical behavi…
▽ More
This paper investigates exponential mixing of the invariant measure for randomly forced nonlinear Schrödinger equation, with damping and random noise localized in space. Our study emphasizes the crucial role of exponential asymptotic compactness and control properties in establishing the ergodic properties of random dynamical systems. This work extends the series [15, 45] on the statistical behavior of randomly forced dispersive equations.
△ Less
Submitted 11 June, 2025;
originally announced June 2025.
-
TTrace: Lightweight Error Checking and Diagnosis for Distributed Training
Authors:
Haitian Jiang,
Shaowei Zhu,
Zhen Zhang,
Zhenyu Song,
Xinwei Fu,
Zhen Jia,
Yida Wang,
Jinyang Li
Abstract:
Distributed training is essential for scaling the training of large neural network models, such as large language models (LLMs), across thousands of GPUs. However, the complexity of distributed training programs makes them particularly prone to silent bugs, which do not produce explicit error signal but lead to incorrect training outcome. Effectively detecting and localizing such silent bugs in di…
▽ More
Distributed training is essential for scaling the training of large neural network models, such as large language models (LLMs), across thousands of GPUs. However, the complexity of distributed training programs makes them particularly prone to silent bugs, which do not produce explicit error signal but lead to incorrect training outcome. Effectively detecting and localizing such silent bugs in distributed training is challenging. Common debugging practice using metrics like training loss or gradient norm curves can be inefficient and ineffective. Additionally, obtaining intermediate tensor values and determining whether they are correct during silent bug localization is difficult, particularly in the context of low-precision training.
To address those challenges, we design and implement TTrace, the first system capable of detecting and localizing silent bugs in distributed training. TTrace collects intermediate tensors from distributing training in a fine-grained manner and compares them against those from a trusted single-device reference implementation. To properly compare the floating-point values in the tensors, we propose novel mathematical analysis that provides a guideline for setting thresholds, enabling TTrace to distinguish bug-induced errors from floating-point round-off errors. Experimental results demonstrate that TTrace effectively detects 11 existing bugs and 3 new bugs in the widely used Megatron-LM framework, while requiring fewer than 10 lines of code change. TTrace is effective in various training recipes, including low-precision recipes involving BF16 and FP8.
△ Less
Submitted 10 June, 2025;
originally announced June 2025.
-
Individual Treatment Effect: Prediction Intervals and Sharp Bounds
Authors:
Zhehao Zhang,
Thomas S. Richardson
Abstract:
Individual treatment effect (ITE) is often regarded as the ideal target of inference in causal analyses and has been the focus of several recent studies. In this paper, we describe the intrinsic limits regarding what can be learned concerning ITEs given data from large randomized experiments. We consider when a valid prediction interval for the ITE is informative and when it can be bounded away fr…
▽ More
Individual treatment effect (ITE) is often regarded as the ideal target of inference in causal analyses and has been the focus of several recent studies. In this paper, we describe the intrinsic limits regarding what can be learned concerning ITEs given data from large randomized experiments. We consider when a valid prediction interval for the ITE is informative and when it can be bounded away from zero. The joint distribution over potential outcomes is only partially identified from a randomized trial. Consequently, to be valid, an ITE prediction interval must be valid for all joint distribution consistent with the observed data and hence will in general be wider than that resulting from knowledge of this joint distribution. We characterize prediction intervals in the binary treatment and outcome setting, and extend these insights to models with continuous and ordinal outcomes. We derive sharp bounds on the probability mass function (pmf) of the individual treatment effect (ITE). Finally, we contrast prediction intervals for the ITE and confidence intervals for the average treatment effect (ATE). This also leads to the consideration of Fisher versus Neyman null hypotheses. While confidence intervals for the ATE shrink with increasing sample size due to its status as a population parameter, prediction intervals for the ITE generally do not vanish, leading to scenarios where one may reject the Neyman null yet still find evidence consistent with the Fisher null, highlighting the challenges of individualized decision-making under partial identification.
△ Less
Submitted 9 June, 2025;
originally announced June 2025.
-
Thinking Out of the Box: Hybrid SAT Solving by Unconstrained Continuous Optimization
Authors:
Zhiwei Zhang,
Samy Wu Fung,
Anastasios Kyrillidis,
Stanley Osher,
Moshe Y. Vardi
Abstract:
The Boolean satisfiability (SAT) problem lies at the core of many applications in combinatorial optimization, software verification, cryptography, and machine learning. While state-of-the-art solvers have demonstrated high efficiency in handling conjunctive normal form (CNF) formulas, numerous applications require non-CNF (hybrid) constraints, such as XOR, cardinality, and Not-All-Equal constraint…
▽ More
The Boolean satisfiability (SAT) problem lies at the core of many applications in combinatorial optimization, software verification, cryptography, and machine learning. While state-of-the-art solvers have demonstrated high efficiency in handling conjunctive normal form (CNF) formulas, numerous applications require non-CNF (hybrid) constraints, such as XOR, cardinality, and Not-All-Equal constraints. Recent work leverages polynomial representations to represent such hybrid constraints, but it relies on box constraints that can limit the use of powerful unconstrained optimizers. In this paper, we propose unconstrained continuous optimization formulations for hybrid SAT solving by penalty terms. We provide theoretical insights into when these penalty terms are necessary and demonstrate empirically that unconstrained optimizers (e.g., Adam) can enhance SAT solving on hybrid benchmarks. Our results highlight the potential of combining continuous optimization and machine-learning-based methods for effective hybrid SAT solving.
△ Less
Submitted 31 May, 2025;
originally announced June 2025.
-
The second order Huang-Yang approximation to the Fermi thermodynamic pressure
Authors:
Xuwen Chen,
Jiahao Wu,
Zhifei Zhang
Abstract:
We consider a dilute Fermi gas in the thermodynamic limit with interaction potential scattering length $\mathfrak{a}_0$ at temperature $T>0$. We prove the 2nd order Huang-Yang approximation for the Fermi pressure of the system, in which there is a 2nd order term carrying the positive temperature efffect.Our formula is valid up to the temperature $T<ρ^{\frac{2}{3}+\frac{1}{6}}$, which is, by scalin…
▽ More
We consider a dilute Fermi gas in the thermodynamic limit with interaction potential scattering length $\mathfrak{a}_0$ at temperature $T>0$. We prove the 2nd order Huang-Yang approximation for the Fermi pressure of the system, in which there is a 2nd order term carrying the positive temperature efffect.Our formula is valid up to the temperature $T<ρ^{\frac{2}{3}+\frac{1}{6}}$, which is, by scaling, also necessary for the Huang-Yang formula to hold. Here, $T_F\simρ^{\frac{2}{3}}$ is the Fermi temperature. We also establish during the course of the proof, a conjecture regarding the second order approximation of density $ρ$ by R. Seiringer \cite{FermithermoTpositive}. Our proof uses frequency localization techniques from the analysis of nonlinear PDEs and does not involve spatial localization or Bosonization. In particular, our method covers the classical Huang-Yang formula at zero temperature.
△ Less
Submitted 12 June, 2025; v1 submitted 29 May, 2025;
originally announced May 2025.
-
Spiderwebs on the Sphere and an Isoperimetric Theorem
Authors:
Robert Connelly,
Zhen Zhang
Abstract:
Here we present a rigidity result in a global (semi-global, homotopy) setting for a restrictive class of polytopes, those that can be inscribed in a unit sphere, with some additional conditions. The proof of the rigidity result for cabled frameworks on the surface of the sphere uses classical isoperimetric ideas.
Here we present a rigidity result in a global (semi-global, homotopy) setting for a restrictive class of polytopes, those that can be inscribed in a unit sphere, with some additional conditions. The proof of the rigidity result for cabled frameworks on the surface of the sphere uses classical isoperimetric ideas.
△ Less
Submitted 28 May, 2025;
originally announced May 2025.
-
Joint Optimization of Service Routing and Scheduling in Home Health Care
Authors:
Yi Zhang,
Zhenzhen Zhang
Abstract:
The growing aging population has significantly increased demand for efficient home health care (HHC) services. This study introduces a Vehicle Routing and Appointment Scheduling Problem (VRASP) to simultaneously optimize caregiver routes and appointment times, minimizing costs while improving service quality. We first develop a deterministic VRASP model and then extend it to a stochastic version u…
▽ More
The growing aging population has significantly increased demand for efficient home health care (HHC) services. This study introduces a Vehicle Routing and Appointment Scheduling Problem (VRASP) to simultaneously optimize caregiver routes and appointment times, minimizing costs while improving service quality. We first develop a deterministic VRASP model and then extend it to a stochastic version using sample average approximation to account for travel and service time uncertainty. A tailored Variable Neighborhood Search (VNS) heuristic is proposed, combining regret-based insertion and Tabu Search to efficiently solve both problem variants. Computational experiments show that the stochastic model outperforms the deterministic approach, while VNS achieves near-optimal solutions for small instances and demonstrates superior scalability for larger problems compared to CPLEX. This work provides HHC providers with a practical decision-making tool to enhance operational efficiency under uncertainty.
△ Less
Submitted 26 May, 2025;
originally announced May 2025.
-
The stability threshold for 3D MHD equations around Couette with rationally aligned magnetic field
Authors:
Fei Wang,
Lingda Xu,
Zeren Zhang
Abstract:
We address a stability threshold problem of the Couette flow $(y,0,0)$ in a uniform magnetic fleld $α(σ,0,1)$ with $σ\in\mathbb{Q}$ for the 3D MHD equations on $\mathbb{T}\times\mathbb{R}\times\mathbb{T}$. Previously, the authors in \cite{L20,RZZ25} obtained the threshold $γ=1$ for $σ\in\mathbb{R}\backslash\mathbb{Q}$ satisfying a generic Diophantine condition, where they also proved $γ= 4/3$ for…
▽ More
We address a stability threshold problem of the Couette flow $(y,0,0)$ in a uniform magnetic fleld $α(σ,0,1)$ with $σ\in\mathbb{Q}$ for the 3D MHD equations on $\mathbb{T}\times\mathbb{R}\times\mathbb{T}$. Previously, the authors in \cite{L20,RZZ25} obtained the threshold $γ=1$ for $σ\in\mathbb{R}\backslash\mathbb{Q}$ satisfying a generic Diophantine condition, where they also proved $γ= 4/3$ for a general $σ\in\mathbb{R}$. In the present paper, we obtain the threshold $γ=1$ in $H^N(N>13/2)$, hence improving the above results when $σ$ is a rational number. The nonlinear inviscid damping for velocity $u^2_{\neq}$ is also established. Moreover, our result shows that the nonzero modes of magnetic field has an amplification of order $ν^{-1/3}$ even on low regularity, which is very different from the case considered in \cite{L20,RZZ25}.
△ Less
Submitted 28 May, 2025; v1 submitted 26 May, 2025;
originally announced May 2025.
-
Heat kernel estimate on weighted Riemannian manifolds under lower $N$-Ricci curvature bounds with $ε$-range and it's application
Authors:
Wen-Qi Li,
Zhikai Zhang
Abstract:
In this paper, we establish a parabolic Harnack inequality for positive solutions of the $φ$-heat equation and prove Gaussian upper and lower bounds for the $φ$-heat kernel on weighted Riemannian manifolds under lower $N$-Ricci curvature bound with $\varepsilon$-range. Building on these results, we demonstrate: The $L^1_φ$-Liouville theorem for $φ$-subharmonic functions, $L^1_φ$-uniqueness propert…
▽ More
In this paper, we establish a parabolic Harnack inequality for positive solutions of the $φ$-heat equation and prove Gaussian upper and lower bounds for the $φ$-heat kernel on weighted Riemannian manifolds under lower $N$-Ricci curvature bound with $\varepsilon$-range. Building on these results, we demonstrate: The $L^1_φ$-Liouville theorem for $φ$-subharmonic functions, $L^1_φ$-uniqueness property for solutions of the $φ$-heat equation and lower bounds for eigenvalues of the weighted Laplacian $Δ_φ$.
Furthermore, leveraging the Gaussian upper bound of the weighted heat kernel, we construct a Li-Yau-type gradient estimate for the positive solution of weighted heat equation under a weighted $L^p(μ)$-norm constraint on $|\nablaφ|^2$.
△ Less
Submitted 25 May, 2025;
originally announced May 2025.
-
Subsonic Euler-Poisson flows with nonzero vorticity in convergent nozzles
Authors:
Yuanyuan Xing,
Zihao Zhang
Abstract:
This paper concerns subsonic Euler-Poisson flows in a two-dimensional convergent nozzle of finite length. Due to the geometry of the nozzle, we first introduce new variable to prove the existence of radially symmetric subsonic flows to the steady Euler-Poisson system. We then investigate the structural stability of the background subsonic flow under perturbations of suitable boundary conditions, a…
▽ More
This paper concerns subsonic Euler-Poisson flows in a two-dimensional convergent nozzle of finite length. Due to the geometry of the nozzle, we first introduce new variable to prove the existence of radially symmetric subsonic flows to the steady Euler-Poisson system. We then investigate the structural stability of the background subsonic flow under perturbations of suitable boundary conditions, and establish the existence and uniqueness of smooth subsonic Euler-Poisson flows with nonzero vorticity. The solution shares the same regularity for the velocity, the pressure, the entropy and the electric potential. The deformation-curl-Poisson decomposition is utilized to reformulate the steady Euler-Poisson system as a deformation-curl-Poisson system together with several transport equations. The key point lies on the analysis of the well-posedness of the boundary value problem for the associated linearized elliptic system, which is established by using a special structure of the system to derive a priori estimates. The result also indicates that the electric field force in compressible flows can counteract the geometric effects of the convergent nozzle to stabilize certain physical features of the flow.
△ Less
Submitted 25 May, 2025;
originally announced May 2025.
-
Mitigating Fine-tuning Risks in LLMs via Safety-Aware Probing Optimization
Authors:
Chengcan Wu,
Zhixin Zhang,
Zeming Wei,
Yihao Zhang,
Meng Sun
Abstract:
The significant progress of large language models (LLMs) has led to remarkable achievements across numerous applications. However, their ability to generate harmful content has sparked substantial safety concerns. Despite the implementation of safety alignment techniques during the pre-training phase, recent research indicates that fine-tuning LLMs on adversarial or even benign data can inadverten…
▽ More
The significant progress of large language models (LLMs) has led to remarkable achievements across numerous applications. However, their ability to generate harmful content has sparked substantial safety concerns. Despite the implementation of safety alignment techniques during the pre-training phase, recent research indicates that fine-tuning LLMs on adversarial or even benign data can inadvertently compromise their safety. In this paper, we re-examine the fundamental issue of why fine-tuning on non-harmful data still results in safety degradation. We introduce a safety-aware probing (SAP) optimization framework designed to mitigate the safety risks of fine-tuning LLMs. Specifically, SAP incorporates a safety-aware probe into the gradient propagation process, mitigating the model's risk of safety degradation by identifying potential pitfalls in gradient directions, thereby enhancing task-specific performance while successfully preserving model safety. Our extensive experimental results demonstrate that SAP effectively reduces harmfulness below the original fine-tuned model and achieves comparable test loss to standard fine-tuning methods. Our code is available at https://github.com/ChengcanWu/SAP.
△ Less
Submitted 22 May, 2025;
originally announced May 2025.
-
On the distance signless Laplacian spectral radius, fractional matching and factors of graphs
Authors:
Z. H. Zhang,
L. G. Wang
Abstract:
The distance signless Laplacian matrix of a graph $G$ is define as $Q(G)=$Tr$(G)+D(G)$, where Tr$(G)$ and $D(G)$ are the diagonal matrix of vertex transmissions and the distance matrix of $G$, respectively. Denote by $E_G(v)$ the set of all edges incident to a vertex $v$ in $G$. A fractional matching of a graph $G$ is a function $f:E(G) \rightarrow [0,1]$ such that $\sum_{e\in E_G(v)} f(e)\leq 1$…
▽ More
The distance signless Laplacian matrix of a graph $G$ is define as $Q(G)=$Tr$(G)+D(G)$, where Tr$(G)$ and $D(G)$ are the diagonal matrix of vertex transmissions and the distance matrix of $G$, respectively. Denote by $E_G(v)$ the set of all edges incident to a vertex $v$ in $G$. A fractional matching of a graph $G$ is a function $f:E(G) \rightarrow [0,1]$ such that $\sum_{e\in E_G(v)} f(e)\leq 1$ for every vertex $v\in V(G)$. The fractional matching number $μ_f(G)$ of a graph $G$ is the maximum value of $ \sum_{e\in E(G)} f(e)$ over all fractional matchings. Given subgraphs $H_1, H_2,...,H_k$ of $G$, a $\{H_1, H_2,...,H_k\}$-factor of $G$ is a spanning subgraph $F$ in which each connected component is isomorphic to one of $H_1, H_2,...,H_k$. In this paper, we establish a upper bound for the distance signless Laplacian spectral radius of a graph $G$ of order $n$ to guarantee that $μ_f(G)> \frac{n-k}{2}$, where $1\leq k<n$ is an integer. Besides, we also provide a sufficient condition based on distance signless Laplacian spectral radius to guarantee the existence of a $\{K_2,\{C_k\}\}$-factor in a graph, where $k \geq 3$ is an integer.
△ Less
Submitted 19 May, 2025;
originally announced May 2025.
-
Structural stability of supersonic spiral flows with large angular velocity for the Euler-Poisson system
Authors:
Chunpeng Wang,
Zihao Zhang
Abstract:
This paper concerns the structural stability of smooth cylindrically symmetric supersonic spiral flows with large angular velocity for the steady Euler-Poisson system in a concentric cylinder. We establish the existence and uniqueness of some smooth supersonic Euler-Poisson flows with nonzero angular velocity and vorticity including both cylindrical spiral flows and axisymmetric spiral flows. The…
▽ More
This paper concerns the structural stability of smooth cylindrically symmetric supersonic spiral flows with large angular velocity for the steady Euler-Poisson system in a concentric cylinder. We establish the existence and uniqueness of some smooth supersonic Euler-Poisson flows with nonzero angular velocity and vorticity including both cylindrical spiral flows and axisymmetric spiral flows. The deformation-curl-Poisson decomposition for the steady Euler-Poisson system is utilized to deal with the hyperbolic-elliptic mixed structure in the supersonic region. For smooth cylindrical supersonic spiral flows, the key point lies on the well-posedness of a boundary value problem for a linear second order hyperbolic-elliptic coupled system, which is achieved by finding an appropriate multiplier to obtain the important basic energy estimates. The nonlinear structural stability is established by designing a two-layer iteration and combining the estimates for the hyperbolic-elliptic system and the transport equations. For smooth axisymmetric supersonic spiral flows, we use the special structure of the steady Euler-Poisson system to derive a priori estimates of the linearized second order elliptic system, which enable us to establish the structural stability of the background supersonic flow within the class of axisymmetric flows.
△ Less
Submitted 4 June, 2025; v1 submitted 17 May, 2025;
originally announced May 2025.
-
Variational Regularized Unbalanced Optimal Transport: Single Network, Least Action
Authors:
Yuhao Sun,
Zhenyi Zhang,
Zihan Wang,
Tiejun Li,
Peijie Zhou
Abstract:
Recovering the dynamics from a few snapshots of a high-dimensional system is a challenging task in statistical physics and machine learning, with important applications in computational biology. Many algorithms have been developed to tackle this problem, based on frameworks such as optimal transport and the Schrödinger bridge. A notable recent framework is Regularized Unbalanced Optimal Transport…
▽ More
Recovering the dynamics from a few snapshots of a high-dimensional system is a challenging task in statistical physics and machine learning, with important applications in computational biology. Many algorithms have been developed to tackle this problem, based on frameworks such as optimal transport and the Schrödinger bridge. A notable recent framework is Regularized Unbalanced Optimal Transport (RUOT), which integrates both stochastic dynamics and unnormalized distributions. However, since many existing methods do not explicitly enforce optimality conditions, their solutions often struggle to satisfy the principle of least action and meet challenges to converge in a stable and reliable way. To address these issues, we propose Variational RUOT (Var-RUOT), a new framework to solve the RUOT problem. By incorporating the optimal necessary conditions for the RUOT problem into both the parameterization of the search space and the loss function design, Var-RUOT only needs to learn a scalar field to solve the RUOT problem and can search for solutions with lower action. We also examined the challenge of selecting a growth penalty function in the widely used Wasserstein-Fisher-Rao metric and proposed a solution that better aligns with biological priors in Var-RUOT. We validated the effectiveness of Var-RUOT on both simulated data and real single-cell datasets. Compared with existing algorithms, Var-RUOT can find solutions with lower action while exhibiting faster convergence and improved training stability.
△ Less
Submitted 17 May, 2025;
originally announced May 2025.
-
Modeling Cell Dynamics and Interactions with Unbalanced Mean Field Schrödinger Bridge
Authors:
Zhenyi Zhang,
Zihan Wang,
Yuhao Sun,
Tiejun Li,
Peijie Zhou
Abstract:
Modeling the dynamics from sparsely time-resolved snapshot data is crucial for understanding complex cellular processes and behavior. Existing methods leverage optimal transport, Schrödinger bridge theory, or their variants to simultaneously infer stochastic, unbalanced dynamics from snapshot data. However, these approaches remain limited in their ability to account for cell-cell interactions. Thi…
▽ More
Modeling the dynamics from sparsely time-resolved snapshot data is crucial for understanding complex cellular processes and behavior. Existing methods leverage optimal transport, Schrödinger bridge theory, or their variants to simultaneously infer stochastic, unbalanced dynamics from snapshot data. However, these approaches remain limited in their ability to account for cell-cell interactions. This integration is essential in real-world scenarios since intercellular communications are fundamental life processes and can influence cell state-transition dynamics. To address this challenge, we formulate the Unbalanced Mean-Field Schrödinger Bridge (UMFSB) framework to model unbalanced stochastic interaction dynamics from snapshot data. Inspired by this framework, we further propose CytoBridge, a deep learning algorithm designed to approximate the UMFSB problem. By explicitly modeling cellular transitions, proliferation, and interactions through neural networks, CytoBridge offers the flexibility to learn these processes directly from data. The effectiveness of our method has been extensively validated using both synthetic gene regulatory data and real scRNA-seq datasets. Compared to existing methods, CytoBridge identifies growth, transition, and interaction patterns, eliminates false transitions, and reconstructs the developmental landscape with greater accuracy.
△ Less
Submitted 1 June, 2025; v1 submitted 16 May, 2025;
originally announced May 2025.
-
Primal-dual splitting methods for phase-field surfactant model with moving contact lines
Authors:
Wei Wu,
Zhen Zhang,
Chaozhen Wei
Abstract:
Surfactants have important effects on the dynamics of droplets on solid surfaces, which has inspired many industrial applications. Phase-field surfactant model with moving contact lines (PFS-MCL) has been employed to investigate the complex droplet dynamics with surfactants, while its numerical simulation remains challenging due to the coupling of gradient flows with respect to transport distances…
▽ More
Surfactants have important effects on the dynamics of droplets on solid surfaces, which has inspired many industrial applications. Phase-field surfactant model with moving contact lines (PFS-MCL) has been employed to investigate the complex droplet dynamics with surfactants, while its numerical simulation remains challenging due to the coupling of gradient flows with respect to transport distances involving nonlinear and degenerate mobilities. We propose a novel structure-preserving variational scheme for PFS-MCL model with the dynamic boundary condition based on the minimizing movement scheme and optimal transport theory for Wasserstein gradient flows. The proposed scheme consists of a series of convex minimization problems and can be efficiently solved by our proposed primal-dual splitting method and its accelerated versions. By respecting the underlying PDE's variational structure with respect to the transport distance, the proposed scheme is proved to inherits the desirable properties including original energy dissipation, bound-preserving, and mass conservation. Through a suite of numerical simulations, we validate the performance of the proposed scheme and investigate the effects of surfactants on the droplet dynamics.
△ Less
Submitted 14 May, 2025;
originally announced May 2025.
-
Diffusion-based supervised learning of generative models for efficient sampling of multimodal distributions
Authors:
Hoang Tran,
Zezhong Zhang,
Feng Bao,
Dan Lu,
Guannan Zhang
Abstract:
We propose a hybrid generative model for efficient sampling of high-dimensional, multimodal probability distributions for Bayesian inference. Traditional Monte Carlo methods, such as the Metropolis-Hastings and Langevin Monte Carlo sampling methods, are effective for sampling from single-mode distributions in high-dimensional spaces. However, these methods struggle to produce samples with the corr…
▽ More
We propose a hybrid generative model for efficient sampling of high-dimensional, multimodal probability distributions for Bayesian inference. Traditional Monte Carlo methods, such as the Metropolis-Hastings and Langevin Monte Carlo sampling methods, are effective for sampling from single-mode distributions in high-dimensional spaces. However, these methods struggle to produce samples with the correct proportions for each mode in multimodal distributions, especially for distributions with well separated modes. To address the challenges posed by multimodality, we adopt a divide-and-conquer strategy. We start by minimizing the energy function with initial guesses uniformly distributed within the prior domain to identify all the modes of the energy function. Then, we train a classifier to segment the domain corresponding to each mode. After the domain decomposition, we train a diffusion-model-assisted generative model for each identified mode within its support. Once each mode is characterized, we employ bridge sampling to estimate the normalizing constant, allowing us to directly adjust the ratios between the modes. Our numerical examples demonstrate that the proposed framework can effectively handle multimodal distributions with varying mode shapes in up to 100 dimensions. An application to Bayesian inverse problem for partial differential equations is also provided.
△ Less
Submitted 20 April, 2025;
originally announced May 2025.
-
Three dimensional seepage analysis using a polyhedral scaled boundary finite element method
Authors:
Mingjiao Yan,
Yang Yang,
Zongliang Zhang,
Dengmiao Hao,
Chao Su,
Qingsong Duan
Abstract:
This work presents a polyhedral scaled boundary finite element method (PSBFEM) for three dimensional seepage analysis. We first derive the scaled boundary formulation for 3D seepage problems, and subsequently incorporate Wachspress shape functions to construct shape functions over arbitrary polygonal elements, thereby establishing the foundation of the proposed polyhedral SBFEM. The method combine…
▽ More
This work presents a polyhedral scaled boundary finite element method (PSBFEM) for three dimensional seepage analysis. We first derive the scaled boundary formulation for 3D seepage problems, and subsequently incorporate Wachspress shape functions to construct shape functions over arbitrary polygonal elements, thereby establishing the foundation of the proposed polyhedral SBFEM. The method combines the semi-analytical nature of the SBFEM with the geometric flexibility of polyhedral and octree meshes, making it well-suited for complex seepage simulations. The PSBFEM is implemented within the ABAQUS UEL framework to facilitate steady-state, transient, and free-surface seepage analyses. A series of numerical examples are conducted to verify the accuracy, efficiency, and convergence properties of the proposed approach, including benchmark tests and applications with intricate geometries. The results demonstrate that the PSBFEM achieves higher accuracy and faster convergence than conventional FEM, particularly when using hybrid octree meshes with local refinement. This framework provides a robust and efficient computational tool for three-dimensional seepage analysis in geotechnical and hydraulic engineering applications.
△ Less
Submitted 10 June, 2025; v1 submitted 8 May, 2025;
originally announced May 2025.
-
Extended states for the Random Schrödinger operator on $\mathbb{Z}^d$ ($d\geq 5$) with decaying Bernoulli potential
Authors:
Shihe Liu,
Yunfeng Shi,
Zhifei Zhang
Abstract:
In this paper, we investigate the delocalization property of the discrete Schrödinger operator $H_ω=-Δ+v_nω_nδ_{n,n'}$, where $v_n=κ|n|^{-α}$ and $ω=\{ω_n\}_{n\in\mathbb{Z}^d}\in \{\pm 1\}^{\mathbb{Z}^d}$ is a sequence of i.i.d. Bernoulli random variables. Under the assumptions of $d\geq 5$, $α>\frac14$ and $0<κ\ll1$, we construct the extended states for a deterministic renormalization of $H_ω$ fo…
▽ More
In this paper, we investigate the delocalization property of the discrete Schrödinger operator $H_ω=-Δ+v_nω_nδ_{n,n'}$, where $v_n=κ|n|^{-α}$ and $ω=\{ω_n\}_{n\in\mathbb{Z}^d}\in \{\pm 1\}^{\mathbb{Z}^d}$ is a sequence of i.i.d. Bernoulli random variables. Under the assumptions of $d\geq 5$, $α>\frac14$ and $0<κ\ll1$, we construct the extended states for a deterministic renormalization of $H_ω$ for most $ω$. This extends the work of Bourgain [{\it Geometric Aspects of Functional Analysis}, LNM 1807: 70--98, 2003], where the case $α>\frac13$ was handled. Our proof is based on Green's function estimates via a $6$th-order renormalization scheme. Among the main new ingredients are the proof of a generalized Khintchine inequality via Bonami's lemma, and the application of the fractional Gagliardo-Nirenberg inequality to control a new type of non-random operators arising from the $6$th-order renormalization.
△ Less
Submitted 6 May, 2025;
originally announced May 2025.
-
Equivariant geometry of cubic threefolds with non-isolated singularities
Authors:
Ivan Cheltsov,
Lisa Marquand,
Yuri Tschinkel,
Zhijia Zhang
Abstract:
We study linearizability of actions of finite groups on cubic threefolds with non-isolated singularities.
We study linearizability of actions of finite groups on cubic threefolds with non-isolated singularities.
△ Less
Submitted 6 May, 2025;
originally announced May 2025.
-
Self-similar algebraic spiral vortex sheets of 2-D incompressible Euler equations
Authors:
Feng Shao,
Dongyi Wei,
Zhifei Zhang
Abstract:
This paper provides the first rigorous construction of the self-similar algebraic spiral vortex sheet solutions to the 2-D incompressible Euler equations. These solutions are believed to represent the typical roll-up pattern of vortex sheets after the formation of curvature singularities. The most challenging part of this paper is to handle the Cauchy integral for the algebraic spiral curve, which…
▽ More
This paper provides the first rigorous construction of the self-similar algebraic spiral vortex sheet solutions to the 2-D incompressible Euler equations. These solutions are believed to represent the typical roll-up pattern of vortex sheets after the formation of curvature singularities. The most challenging part of this paper is to handle the Cauchy integral for the algebraic spiral curve, which falls outside the classical theory of singular integral operators.
△ Less
Submitted 6 May, 2025;
originally announced May 2025.
-
Monotone Peridynamic Neural Operator for Nonlinear Material Modeling with Conditionally Unique Solutions
Authors:
Jihong Wang,
Xiaochuan Tian,
Zhongqiang Zhang,
Stewart Silling,
Siavash Jafarzadeh,
Yue Yu
Abstract:
Data-driven methods have emerged as powerful tools for modeling the responses of complex nonlinear materials directly from experimental measurements. Among these methods, the data-driven constitutive models present advantages in physical interpretability and generalizability across different boundary conditions/domain settings. However, the well-posedness of these learned models is generally not g…
▽ More
Data-driven methods have emerged as powerful tools for modeling the responses of complex nonlinear materials directly from experimental measurements. Among these methods, the data-driven constitutive models present advantages in physical interpretability and generalizability across different boundary conditions/domain settings. However, the well-posedness of these learned models is generally not guaranteed a priori, which makes the models prone to non-physical solutions in downstream simulation tasks. In this study, we introduce monotone peridynamic neural operator (MPNO), a novel data-driven nonlocal constitutive model learning approach based on neural operators. Our approach learns a nonlocal kernel together with a nonlinear constitutive relation, while ensuring solution uniqueness through a monotone gradient network. This architectural constraint on gradient induces convexity of the learnt energy density function, thereby guaranteeing solution uniqueness of MPNO in small deformation regimes. To validate our approach, we evaluate MPNO's performance on both synthetic and real-world datasets. On synthetic datasets with manufactured kernel and constitutive relation, we show that the learnt model converges to the ground-truth as the measurement grid size decreases both theoretically and numerically. Additionally, our MPNO exhibits superior generalization capabilities than the conventional neural networks: it yields smaller displacement solution errors in down-stream tasks with new and unseen loadings. Finally, we showcase the practical utility of our approach through applications in learning a homogenized model from molecular dynamics data, highlighting its expressivity and robustness in real-world scenarios.
△ Less
Submitted 2 May, 2025;
originally announced May 2025.
-
Adaptive Nonoverlapping Preconditioners for the Helmholtz Equation
Authors:
Yi Yu,
Marcus Sarkis,
Guanglian Li,
Zhiwen Zhang
Abstract:
The Helmholtz equation poses significant computational challenges due to its oscillatory solutions, particularly for large wavenumbers. Inspired by the Schur complement system for elliptic problems, this paper presents a novel substructuring approach to mitigate the potential ill-posedness of local Dirichlet problems for the Helmholtz equation. We propose two types of preconditioners within the fr…
▽ More
The Helmholtz equation poses significant computational challenges due to its oscillatory solutions, particularly for large wavenumbers. Inspired by the Schur complement system for elliptic problems, this paper presents a novel substructuring approach to mitigate the potential ill-posedness of local Dirichlet problems for the Helmholtz equation. We propose two types of preconditioners within the framework of nonoverlapping spectral additive Schwarz (NOSAS) methods. The first type of preconditioner focuses on the real part of the Helmholtz problem, while the second type addresses both the real and imaginary components, providing a comprehensive strategy to enhance scalability and reduce computational cost. Our approach is purely algebraic, which allows for adaptability to various discretizations and heterogeneous Helmholtz coefficients while maintaining theoretical convergence for thresholds close to zero. Numerical experiments confirm the effectiveness of the proposed preconditioners, demonstrating robust convergence rates and scalability, even for large wavenumbers.
△ Less
Submitted 1 May, 2025;
originally announced May 2025.
-
Mixed Precision Orthogonalization-Free Projection Methods for Eigenvalue and Singular Value Problems
Authors:
Tianshi Xu,
Zechen Zhang,
Jie Chen,
Yousef Saad,
Yuanzhe Xi
Abstract:
Mixed-precision arithmetic offers significant computational advantages for large-scale matrix computation tasks, yet preserving accuracy and stability in eigenvalue problems and the singular value decomposition (SVD) remains challenging. This paper introduces an approach that eliminates orthogonalization requirements in traditional Rayleigh-Ritz projection methods. The proposed method employs non-…
▽ More
Mixed-precision arithmetic offers significant computational advantages for large-scale matrix computation tasks, yet preserving accuracy and stability in eigenvalue problems and the singular value decomposition (SVD) remains challenging. This paper introduces an approach that eliminates orthogonalization requirements in traditional Rayleigh-Ritz projection methods. The proposed method employs non-orthogonal bases computed at reduced precision, resulting in bases computed without inner-products. A primary focus is on maintaining the linear independence of the basis vectors. Through extensive evaluation with both synthetic test cases and real-world applications, we demonstrate that the proposed approach achieves the desired accuracy while fully taking advantage of mixed-precision arithmetic.
△ Less
Submitted 1 May, 2025; v1 submitted 1 May, 2025;
originally announced May 2025.
-
Path Extendable Tournaments
Authors:
Zan-Bo Zhang,
Weihua He,
Hajo Broersma,
Xiaoyan Zhang
Abstract:
A digraph $D$ is called \emph{path extendable} if for every nonhamiltonian (directed) path $P$ in $D$, there exists another path $P^\prime$ with the same initial and terminal vertices as $P$, and $V(P^\prime) = V (P)\cup \{w\}$ for a vertex $w \in V(D)\setminus V(P)$. Hence, path extendability implies paths of continuous lengths between every vertex pair. In earlier works of C. Thomassen and K. Zh…
▽ More
A digraph $D$ is called \emph{path extendable} if for every nonhamiltonian (directed) path $P$ in $D$, there exists another path $P^\prime$ with the same initial and terminal vertices as $P$, and $V(P^\prime) = V (P)\cup \{w\}$ for a vertex $w \in V(D)\setminus V(P)$. Hence, path extendability implies paths of continuous lengths between every vertex pair. In earlier works of C. Thomassen and K. Zhang, it was shown that the condition of small $i(T)$ or positive $π_2(T)$ implies paths of continuous lengths between every vertex pair in a tournament $T$, where $i(T)$ is the irregularity of $T$ and $π_2(T)$ denotes for the minimum number of paths of length $2$ from $u$ to $v$ among all vertex pairs $\{u,v\}$. Motivated by these results, we study sufficient conditions in terms of $i(T)$ and $π_2(T)$ that guarantee a tournament $T$ is path extendable. We prove that (1) a tournament $T$ is path extendable if $i(T)< 2π_2(T)-(|T|+8)/6$, and (2) a tournament $T$ is path extendable if $π_2(T) > (7|T|-10)/36$. As an application, we deduce that almost all random tournaments are path extendable.
△ Less
Submitted 30 April, 2025;
originally announced April 2025.
-
Cycles of lengths 3 and n-1 in digraphs under a Bang-Jensen-Gutin-Li type conditon
Authors:
Zan-Bo Zhang,
Wenhao Wu,
Weihua He
Abstract:
Bang-Jensen-Gutin-Li type conditions are the conditions for hamiltonicity of digraphs which impose degree restrictions on nonadjacent vertices which have a common in-neighbor or a common out-neighbor. They can be viewed as an extension of Fan type conditions in undirected graphs, as well as generalization of locally (in-, out-)semicomplete digraphs. Since their first appearance in 1996, various Ba…
▽ More
Bang-Jensen-Gutin-Li type conditions are the conditions for hamiltonicity of digraphs which impose degree restrictions on nonadjacent vertices which have a common in-neighbor or a common out-neighbor. They can be viewed as an extension of Fan type conditions in undirected graphs, as well as generalization of locally (in-, out-)semicomplete digraphs. Since their first appearance in 1996, various Bang-Jensen-Gutin-Li type conditions for hamitonicity have come forth. In this paper we establish a condition of Bang-Jensen-Gutin-Li type which implies not only a hamiltonian cycle but also a 3-cycle and an (n-1)-cycle, with well-characterized exceptional graphs. We conjecture that this condition implies the existence of cycle of every length.
△ Less
Submitted 30 April, 2025;
originally announced April 2025.
-
Local multiplicativity of perverse filtrations
Authors:
Zili Zhang
Abstract:
Let $f:S\to C$ be a proper surjective morphism from a smooth Kähler surface to a smooth curve. We show that the local perverse filtration associated with the induced map $S^{[n]}\to C^{(n)}$ is multiplicative on each fiber if and only if $f$ is an elliptic fibration.
Let $f:S\to C$ be a proper surjective morphism from a smooth Kähler surface to a smooth curve. We show that the local perverse filtration associated with the induced map $S^{[n]}\to C^{(n)}$ is multiplicative on each fiber if and only if $f$ is an elliptic fibration.
△ Less
Submitted 27 April, 2025;
originally announced April 2025.
-
Quantitative estimates for a nonlinear inverse source problem in a coupled diffusion equations with uncertain measurements
Authors:
Chunlong Sun,
Wenlong Zhang,
Zhidong Zhang
Abstract:
This work considers a nonlinear inverse source problem in a coupled diffusion equation from the terminal observation. Theoretically, under some conditions on problem data, we build the uniqueness theorem for this inverse problem and show two Lipschitz-type stability results in $L^2$ and $(H^1(\cdot))^*$ norms, respectively. However, in practice, we could only observe the measurements at discrete s…
▽ More
This work considers a nonlinear inverse source problem in a coupled diffusion equation from the terminal observation. Theoretically, under some conditions on problem data, we build the uniqueness theorem for this inverse problem and show two Lipschitz-type stability results in $L^2$ and $(H^1(\cdot))^*$ norms, respectively. However, in practice, we could only observe the measurements at discrete sensors, which contain the noise. Hence, this work further investigates the recovery of the unknown source from the discrete noisy measurements. We propose a stable inversion scheme and provide probabilistic convergence estimates between the reconstructions and exact solution in two cases: convergence respect to expectation and convergence with an exponential tail. We provide several numerical experiments to illustrate and complement our theoretical analysis.
△ Less
Submitted 27 April, 2025;
originally announced April 2025.
-
Projective systems and bounds on the length of codes of non-zero defect
Authors:
Tim L. Alderson,
Zhipeng Zhang
Abstract:
In their 2007 book, Tsfasman and Vlǎduţ invite the reader to reinterpret existing coding theory results through the lens of projective systems. Redefining linear codes as projective systems provides a geometric vantage point. In this paper, we embrace this perspective, deriving bounds on the lengths of A$^s$MDS codes (codes with Singleton defect $s$). To help frame our discussions, we introduce th…
▽ More
In their 2007 book, Tsfasman and Vlǎduţ invite the reader to reinterpret existing coding theory results through the lens of projective systems. Redefining linear codes as projective systems provides a geometric vantage point. In this paper, we embrace this perspective, deriving bounds on the lengths of A$^s$MDS codes (codes with Singleton defect $s$). To help frame our discussions, we introduce the parameters $m^{s}(k,q)$, denoting the maximum length of an (non-degenerate) $[n,k,d]_q$ A$^s$MDS code, $m^{s}_t(k,q)$ denoting the maximum length of an (non-degenerate) $[n,k,d]_q$ A$^s$MDS code such that the dual code is an A$^t$MDS code, and $κ(s,q)$, representing the maximum dimension $k$ for which there exists a linear code of (maximal) length $n=(s+1)(q+1)+k-2$. In particular, we address a gap in the literature by providing sufficient conditions on $n$ and $k$ under which the dual of an $[n,k,d]_q$ A$^s$MDS code is also an A$^s$MDS code. Our results subsume or improve several results in the literature. Some conjectures arise from our findings.
△ Less
Submitted 27 April, 2025;
originally announced April 2025.
-
A Robust Fault Detection Filter for Linear Time-Varying System with Non-Gaussian Noise
Authors:
Zhemeng Zhang,
Yifei Nie,
Le Yin
Abstract:
This paper addresses the problem of robust fault detection filtering for linear time-varying (LTV) systems with non-Gaussian noise and additive faults. The conventional generalized likelihood ratio (GLR) method utilizes the Kalman filter, which may exhibit inadequate performance under non-Gaussian noise conditions. To mitigate this issue, a fault detection method employing the $H_{\infty}$ filter…
▽ More
This paper addresses the problem of robust fault detection filtering for linear time-varying (LTV) systems with non-Gaussian noise and additive faults. The conventional generalized likelihood ratio (GLR) method utilizes the Kalman filter, which may exhibit inadequate performance under non-Gaussian noise conditions. To mitigate this issue, a fault detection method employing the $H_{\infty}$ filter is proposed. The $H_{\infty}$ filter is first derived as the solution to a regularized least-squares (RLS) optimization problem, and the effect of faults on the output prediction error is then analyzed. The proposed approach using the $H_{\infty}$ filter demonstrates robustness in non-Gaussian noise environments and significantly improves fault detection performance compared to the original GLR method that employs the Kalman filter. The effectiveness of the proposed approach is illustrated using numerical examples.
△ Less
Submitted 24 April, 2025;
originally announced April 2025.
-
On unitary Shimura varieties at ramified primes
Authors:
Yu Luo,
Andreas Mihatsch,
Zhiyu Zhang
Abstract:
We consider unitary Shimura varieties at places where the totally real field ramifies over $\mbQ$. Our first result constructs comparison isomorphisms between absolute and relative local models in this context which relies on a reformulation of the Eisenstein condition of Rapoport--Zink and Rapoport--Smithling--Zhang. Our second result lifts this comparison to categories of $p$-divisible groups an…
▽ More
We consider unitary Shimura varieties at places where the totally real field ramifies over $\mbQ$. Our first result constructs comparison isomorphisms between absolute and relative local models in this context which relies on a reformulation of the Eisenstein condition of Rapoport--Zink and Rapoport--Smithling--Zhang. Our second result lifts this comparison to categories of $p$-divisible groups and, as a corollary, to various kinds of Rapoport--Zink spaces. This unifies multiple previously known results in this direction. Our third result and main application is to the arithmetic transfer conjecture of the third author. Using our statements about Rapoport--Zink spaces, we extend his previous proof from the unramified case to that of all $p$-adic local fields (for odd $p$). In general, our results have similar applications to other problems around the arithmetic of Shimura varieties as well, removing several ramification assumptions in the literature.
△ Less
Submitted 24 April, 2025;
originally announced April 2025.
-
Some remarks on Liouville type theorems for the 3D steady tropical climate model
Authors:
Yanyan Dong,
Zhibing Zhang
Abstract:
Observing the special structure of the system and using the Poincar{é}-Sobolev inequality, we establish Liouville type theorems for the 3D steady tropical climate model under certain conditions on $u$, $v$, $\nabla θ$. Our results extend and improve a Liouville type result of Cho-In-Yang (arXiv:2312.17441).
Observing the special structure of the system and using the Poincar{é}-Sobolev inequality, we establish Liouville type theorems for the 3D steady tropical climate model under certain conditions on $u$, $v$, $\nabla θ$. Our results extend and improve a Liouville type result of Cho-In-Yang (arXiv:2312.17441).
△ Less
Submitted 24 April, 2025;
originally announced April 2025.
-
Operator Inference for Elliptic Eigenvalue Problems
Authors:
Haoqian Li,
Jiguang Sun,
Zhiwen Zhang
Abstract:
Eigenvalue problems for elliptic operators play an important role in science and engineering applications, where efficient and accurate numerical computation is essential. In this work, we propose a novel operator inference approach for elliptic eigenvalue problems based on neural network approximations that directly maps computational domains to their associated eigenvalues and eigenfunctions. Mo…
▽ More
Eigenvalue problems for elliptic operators play an important role in science and engineering applications, where efficient and accurate numerical computation is essential. In this work, we propose a novel operator inference approach for elliptic eigenvalue problems based on neural network approximations that directly maps computational domains to their associated eigenvalues and eigenfunctions. Motivated by existing neural network architectures and the mathematical characteristics of eigenvalue problems, we represent computational domains as pixelated images and decompose the task into two subtasks: eigenvalue prediction and eigenfunction prediction. For the eigenvalue prediction, we design a convolutional neural network (CNN), while for the eigenfunction prediction, we employ a Fourier Neural Operator (FNO). Additionally, we introduce a critical preprocessing module that integrates domain scaling, detailed boundary pixelization, and main-axis alignment. This preprocessing step not only simplifies the learning task but also enhances the performance of the neural networks. Finally, we present numerical results to demonstrate the effectiveness of the proposed method.
△ Less
Submitted 22 April, 2025;
originally announced April 2025.
-
On the Exponential Diophantine Equation $(a^n-1)(b^n-1)=x^2$
Authors:
Armand Noubissie,
Alain Togbe,
Zhongfeng Zhang
Abstract:
Let $a$ and $b$ be two distinct fixed positive integers such that $\min \{a,b\}>1.$ First, we correct an oversight from \cite{X-Z}. Then, we show that the equation in the title with $b \equiv 3 \pmod 8$, $b$ prime and $a$ even has no solution in positive integers $n, x$. This generalizes a result of Szalay \cite{L}.
Let $a$ and $b$ be two distinct fixed positive integers such that $\min \{a,b\}>1.$ First, we correct an oversight from \cite{X-Z}. Then, we show that the equation in the title with $b \equiv 3 \pmod 8$, $b$ prime and $a$ even has no solution in positive integers $n, x$. This generalizes a result of Szalay \cite{L}.
△ Less
Submitted 21 April, 2025;
originally announced April 2025.
-
Stratification and Rectifiability of Harmonic Map Flows via Tangent Measures
Authors:
Haotong Fu,
Wei Wang,
Ke Wu,
Zhifei Zhang
Abstract:
In this paper, we investigate the stratification theory for ``suitable solutions" of harmonic map flows based on the spatial symmetry of tangent measures. Generally, suitable solutions are a category of solutions that satisfy both the localized energy inequality and the monotonicity formula. Building on the modifications and adjustments of quantitative stratifications and Reifenberg-rectifiable th…
▽ More
In this paper, we investigate the stratification theory for ``suitable solutions" of harmonic map flows based on the spatial symmetry of tangent measures. Generally, suitable solutions are a category of solutions that satisfy both the localized energy inequality and the monotonicity formula. Building on the modifications and adjustments of quantitative stratifications and Reifenberg-rectifiable theory by Naber and Valtorta in the breakthrough research of harmonic maps (\emph{Ann. Math.} 185 (2017), 131-227), we confirm that each stratum in our model is rectifiable. Furthermore, for each time slice of the singular set, we establish the estimate of the Minkowski content and demonstrate its rectifiability, strengthening prior findings, which applied only to almost every time slice. Additionally, by making certain assumptions about the target manifolds to exclude specific tangent flows and measures, our analysis yields sharp improvements in the regularity of suitable solutions for harmonic map flows.
△ Less
Submitted 22 June, 2025; v1 submitted 21 April, 2025;
originally announced April 2025.
-
Cohomological obstructions to equivariant unirationality
Authors:
Yuri Tschinkel,
Zhijia Zhang
Abstract:
We study cohomological obstructions to equivariant unirationality, with special regard to actions of finite groups on del Pezzo surfaces and Fano threefolds.
We study cohomological obstructions to equivariant unirationality, with special regard to actions of finite groups on del Pezzo surfaces and Fano threefolds.
△ Less
Submitted 14 April, 2025;
originally announced April 2025.
-
Convergence Analysis of a Stochastic Interacting Particle-Field Algorithm for 3D Parabolic-Parabolic Keller-Segel Systems
Authors:
Boyi Hu,
Zhongjian Wang,
Jack Xin,
Zhiwen Zhang
Abstract:
Chemotaxis models describe the movement of organisms in response to chemical gradients. In this paper, we present a stochastic interacting particle-field algorithm with random batch approximation (SIPF-$r$) for the three-dimensional (3D) parabolic-parabolic Keller-Segel (KS) system, also known as the fully parabolic KS system. The SIPF-$r$ method approximates the KS system by coupling particle-bas…
▽ More
Chemotaxis models describe the movement of organisms in response to chemical gradients. In this paper, we present a stochastic interacting particle-field algorithm with random batch approximation (SIPF-$r$) for the three-dimensional (3D) parabolic-parabolic Keller-Segel (KS) system, also known as the fully parabolic KS system. The SIPF-$r$ method approximates the KS system by coupling particle-based representations of density with a smooth field variable computed using spectral methods. By incorporating the random batch method (RBM), we bypass the mean-field limit and significantly reduce computational complexity. Under mild assumptions on the regularity of the original KS system and the boundedness of numerical approximations, we prove that, with high probability, the empirical measure of the SIPF-$r$ particle system converges to the exact measure of the limiting McKean-Vlasov process in the $1$-Wasserstein distance. Numerical experiments validate the theoretical convergence rates and demonstrate the robustness and accuracy of the SIPF-$r$ method.
△ Less
Submitted 14 April, 2025;
originally announced April 2025.
-
Arbitrary orientations of cycles in oriented graphs
Authors:
Guanghui Wang,
Yun Wang,
Zhiwei Zhang
Abstract:
We show that every sufficiently large oriented graph $G$ with both minimum indegree and outdegree at least $(3|V(G)|-1)/8$ contains every possible orientation of a Hamilton cycle. This improves on an approximate result by Kelly and solves a problem of Häggkvist and Thomason from 1995. Moreover the bound is best possible. We also obtain a pancyclicity result for arbitrary orientations. More precise…
▽ More
We show that every sufficiently large oriented graph $G$ with both minimum indegree and outdegree at least $(3|V(G)|-1)/8$ contains every possible orientation of a Hamilton cycle. This improves on an approximate result by Kelly and solves a problem of Häggkvist and Thomason from 1995. Moreover the bound is best possible. We also obtain a pancyclicity result for arbitrary orientations. More precisely, we show that the above degree condition is sufficient to guarantee a cycle of every possible orientation and of every possible length unless $G$ is isomorphic to one of exceptional oriented graphs.
△ Less
Submitted 13 April, 2025;
originally announced April 2025.
-
Some new Liouville type theorems for 3D steady tropical climate model
Authors:
Yan Fang,
Zhibing Zhang
Abstract:
In this paper, we study the Liouville type theorems for the stationary tropical climate model in three dimension. With the help of the delicate estimates of several integrals and an iteration argument, we establish Liouville type theorems under seventeen different assumptions. As a consequence, we show that a smooth solution is trivial provided that they belong to some Lebesgue spaces or satisfy s…
▽ More
In this paper, we study the Liouville type theorems for the stationary tropical climate model in three dimension. With the help of the delicate estimates of several integrals and an iteration argument, we establish Liouville type theorems under seventeen different assumptions. As a consequence, we show that a smooth solution is trivial provided that they belong to some Lebesgue spaces or satisfy some decay conditions at infinity. Our results extend and improve the recent work of Cho-In-Yang (2024 Appl. Math. Lett. 153 109039).
△ Less
Submitted 13 April, 2025;
originally announced April 2025.
-
Uniqueness of holomorphic quilts lifted from holomorphic bigons on surfaces
Authors:
Zuyi Zhang
Abstract:
In the author's previous paper, the author constructed holomorphic quilts from the bigons of the Lagrangian Floer chain group after performing Lagrangian composition. This paper proves the uniqueness of such holomorphic quilts. As a consequence, it provides a combinatorial method for computing the boundary map of immersed Lagrangian Floer chain groups when the symplectic manifolds are closed surfa…
▽ More
In the author's previous paper, the author constructed holomorphic quilts from the bigons of the Lagrangian Floer chain group after performing Lagrangian composition. This paper proves the uniqueness of such holomorphic quilts. As a consequence, it provides a combinatorial method for computing the boundary map of immersed Lagrangian Floer chain groups when the symplectic manifolds are closed surfaces. One outcome is the construction of many examples exhibiting figure eight bubbling, which also confirms a conjecture of Cazassus Herald Kirk Kotelskiy.
△ Less
Submitted 12 April, 2025;
originally announced April 2025.
