Showing 1–50 of 354 results for author: Chen, M

Energy-conserving Kansa methods for Hamiltonian wave equations

Authors: Xiaobin Li, Meng Chen, Zhengjie Sun, Leevan Ling, Siqing Li

Abstract: We introduce a fast, constrained meshfree solver designed specifically to inherit energy conservation (EC) in second-order time-dependent Hamiltonian wave equations. For discretization, we adopt the Kansa method, also known as the kernel-based collocation method, combined with time-stepping. This approach ensures that the critical structural feature of energy conservation is maintained over time b… ▽ More We introduce a fast, constrained meshfree solver designed specifically to inherit energy conservation (EC) in second-order time-dependent Hamiltonian wave equations. For discretization, we adopt the Kansa method, also known as the kernel-based collocation method, combined with time-stepping. This approach ensures that the critical structural feature of energy conservation is maintained over time by embedding a quadratic constraint into the definition of the numerical solution. To address the computational challenges posed by the nonlinearity in the Hamiltonian wave equations and the EC constraint, we propose a fast iterative solver based on the Newton method with successive linearization. This novel solver significantly accelerates the computation, making the method highly effective for practical applications. Numerical comparisons with the traditional secant methods highlight the competitive performance of our scheme. These results demonstrate that our method not only conserves the energy but also offers a promising new direction for solving Hamiltonian wave equations more efficiently. While we focus on the Kansa method and corresponding convergence theories in this study, the proposed solver is based solely on linear algebra techniques and has the potential to be applied to EC constrained optimization problems arising from other PDE discretization methods. △ Less

Submitted 6 July, 2025; originally announced July 2025.

Standing wave solutions of $abcd$-systems for water waves

Authors: Peifei Song, Yuhao Xie, Min Chen, Shenghao Li

Abstract: We continue the study for standing wave solutions of $abcd$-systems which was started by Chen and Iooss \cite{chen2005standing} for the BBM system via the Lyapunov-Schmidt method. In this paper, we will first discuss the feasibility of the Lyapunov-Schmidt method for bifurcating standing wave solutions of $abcd$-systems. These systems will be characterized into three categories: feasible, infeasib… ▽ More We continue the study for standing wave solutions of $abcd$-systems which was started by Chen and Iooss \cite{chen2005standing} for the BBM system via the Lyapunov-Schmidt method. In this paper, we will first discuss the feasibility of the Lyapunov-Schmidt method for bifurcating standing wave solutions of $abcd$-systems. These systems will be characterized into three categories: feasible, infeasible and uncertain feasible ones. In particular, we prove the existence of nontrivial bifurcating standing waves for the Bona-Smith system. △ Less

Submitted 1 July, 2025; originally announced July 2025.

MSC Class: 35Q35; 35G25; 35D30

Finite-time self-similar implosion of hollow vortices

Authors: Robin Ming Chen, Samuel Walsh, Miles H. Wheeler

Abstract: In this paper, we consider the finite-time blowup of hollow vortices. These are solutions of the two-dimensional Euler equations for which the fluid domain is the complement of finitely many Jordan curves $Γ_1, \ldots, Γ_M$, and such that the flow is irrotational and incompressible, but with a nonzero circulation around each boundary component. The region bounded by $Γ_k$ is a ``vortex core'', mod… ▽ More In this paper, we consider the finite-time blowup of hollow vortices. These are solutions of the two-dimensional Euler equations for which the fluid domain is the complement of finitely many Jordan curves $Γ_1, \ldots, Γ_M$, and such that the flow is irrotational and incompressible, but with a nonzero circulation around each boundary component. The region bounded by $Γ_k$ is a ``vortex core'', modeled as a bubble of ideal gas: the pressure is constant in space and inversely proportional to the area of the vortex. This can be thought of as the isobaric approximation assuming isothermal flow. Our results come in two parts. There exist explicit families of purely circular rotating and imploding hollow vortices. Implosion means more precisely that the vortex core shrinks to the origin in finite time, while the absolute value of the pressure simultaneously diverges to infinity. We prove that for any $m \geq 2$, there exist near-circular $m$-fold symmetric rotating hollow vortices. By contrast, for all $m \geq 2$, the purely circular imploding vortices are locally unique among all collapsing vortices with uniform velocity at infinity. The second part concerns configurations of multiple hollow vortices. The existence of configurations of point vortices that collapse into a common point in finite time is classical. We prove that generically, these can be desingularized to yield families of hollow vortex configurations exhibiting self-similar finite-time implosion. Specific examples of an imploding trio and quartet of hollow vortices are given. △ Less

Submitted 4 June, 2025; originally announced June 2025.

Comments: 30 pages, 2 figures

Multiprecision computing for multistage fractional physics-informed neural networks

Authors: Na Xue, Minghua Chen

Abstract: Fractional physics-informed neural networks (fPINNs) have been successfully introduced in [Pang, Lu and Karniadakis, SIAM J. Sci. Comput. 41 (2019) A2603-A2626], which observe relative errors of $10^{-3} \, \sim \, 10^{-4}$ for the subdiffusion equations. However their high-precision (multiprecision) numerical solution remains challenging, due to the limited regularity of the subdiffusion model ca… ▽ More Fractional physics-informed neural networks (fPINNs) have been successfully introduced in [Pang, Lu and Karniadakis, SIAM J. Sci. Comput. 41 (2019) A2603-A2626], which observe relative errors of $10^{-3} \, \sim \, 10^{-4}$ for the subdiffusion equations. However their high-precision (multiprecision) numerical solution remains challenging, due to the limited regularity of the subdiffusion model caused by the nonlocal operator. To fill in the gap, we present the multistage fPINNs based on traditional multistage PINNs [Wang and Lai, J. Comput. Phys. 504 (2024) 112865]. Numerical experiments show that the relative errors improve to $10^{-7} \, \sim \, 10^{-8}$ for the subdiffusion equations on uniform or nouniform meshes. △ Less

Submitted 28 May, 2025; originally announced May 2025.

Comments: 17 pages

Odd Hadwiger's conjecture for the complements of Kneser graphs

Authors: Meirun Chen, Reza Naserasr, Lujia Wang, Sanming Zhou

Abstract: A generalization of the four-color theorem, Hadwiger's conjecture is considered as one of the most important and challenging problems in graph theory, and odd Hadwiger's conjecture is a strengthening of Hadwiger's conjecture by way of signed graphs. In this paper, we prove that odd Hadwiger's conjecture is true for the complements $\overline{K}(n,k)$ of the Kneser graphs $K(n,k)$, where… ▽ More A generalization of the four-color theorem, Hadwiger's conjecture is considered as one of the most important and challenging problems in graph theory, and odd Hadwiger's conjecture is a strengthening of Hadwiger's conjecture by way of signed graphs. In this paper, we prove that odd Hadwiger's conjecture is true for the complements $\overline{K}(n,k)$ of the Kneser graphs $K(n,k)$, where $n\geq 2k \ge 4$. This improves a result of G. Xu and S. Zhou (2017) which states that Hadwiger's conjecture is true for this family of graphs. Moreover, we prove that $\overline{K}(n,k)$ contains a 1-shallow complete minor of a special type with order no less than the chromatic number $χ(\overline{K}(n,k))$, and in the case when $7 \le 2k+1 \le n \le 3k-1$ the gap between the odd Hadwiger number and chromatic number of $\overline{K}(n,k)$ is $Ω(1.5^{k})$. △ Less

Submitted 15 May, 2025; originally announced May 2025.

MSC Class: 05C15; 05C22; 05C83

On characterization of groups by isomorphism type of Gruenberg-Kegel graph

Authors: Mingzhu Chen, Natalia V. Maslova, Marianna R. Zinov'eva

Abstract: The Gruenberg-Kegel graph (or the prime graph) $Γ(G)$ of a finite group $G$ is the graph whose vertex set is the set of prime divisors of $|G|$ and in which two distinct vertices $r$ and $s$ are adjacent if and only if there exists an element of order $rs$ in $G$. A group $G$ is recognizable by isomorphism type of Gruenberg--Kegel graph if for every group $H$ the isomorphism between $Γ(H)$ and… ▽ More The Gruenberg-Kegel graph (or the prime graph) $Γ(G)$ of a finite group $G$ is the graph whose vertex set is the set of prime divisors of $|G|$ and in which two distinct vertices $r$ and $s$ are adjacent if and only if there exists an element of order $rs$ in $G$. A group $G$ is recognizable by isomorphism type of Gruenberg--Kegel graph if for every group $H$ the isomorphism between $Γ(H)$ and $Γ(G)$ as abstract graphs (i.\,e. unlabeled graphs) implies that $G\cong H$. In this paper, we prove that finite simple exceptional groups of Lie type ${^2}E_6(2)$ and $E_8(q)$ for $q \in \{3, 4, 5, 7, 8, 9, 17\}$ are recognizable by isomorphism type of Gruenberg-Kegel graph. △ Less

Submitted 20 April, 2025; originally announced April 2025.

Comments: 15 pages, 3 figures

MSC Class: 20D60; 20D06; 05C99

Semi-orthogonal decompositions via t-stabilities

Authors: Mingfa Chen

Abstract: In a triangulated category $\mathcal{D}$, a relation is established between semi-orthogonal decompositions (SOD's) and finite t-stabilities. Furthermore, if $\mathcal{D}$ has a Serre functor, then under a mild assumption, one-to-one correspondences are established among (1) finest SOD's, (2) finite finest t-stabilities, (3) finite finest admissible filtrations, and (4) full exceptional sequences.… ▽ More In a triangulated category $\mathcal{D}$, a relation is established between semi-orthogonal decompositions (SOD's) and finite t-stabilities. Furthermore, if $\mathcal{D}$ has a Serre functor, then under a mild assumption, one-to-one correspondences are established among (1) finest SOD's, (2) finite finest t-stabilities, (3) finite finest admissible filtrations, and (4) full exceptional sequences. These correspondences are shown to be compatible with mutations. As a by-product, classifications of SOD's for the projective plane, weighted projective lines of all types, and finite acyclic quivers are obtained. △ Less

Submitted 28 March, 2025; originally announced March 2025.

Comments: 18 pages

Nonlinear stability of compressible vortex sheets in three-dimensional elastodynamics

Authors: Robin Ming Chen, Feimin Huang, Dehua Wang, Difan Yuan

Abstract: We investigate the nonlinear stability of compressible vortex sheet solutions for three-dimensional (3D) isentropic elastic flows. Building upon previous results on the weakly linear stability of elastic vortex sheets [19], we perform a detailed study of the roots of the Lopatinskii determinant and identify a geometric stability condition associated with the deformation gradient. We employ an uppe… ▽ More We investigate the nonlinear stability of compressible vortex sheet solutions for three-dimensional (3D) isentropic elastic flows. Building upon previous results on the weakly linear stability of elastic vortex sheets [19], we perform a detailed study of the roots of the Lopatinskii determinant and identify a geometric stability condition associated with the deformation gradient. We employ an upper triangularization technique that isolates the outgoing modes into a closed system, where they appear only at the leading order. This enables us to derive energy estimates despite derivative loss. The major novelty of our approach includes the following two key aspects: (1) For the 3D compressible Euler vortex sheets, the front symbol exhibits degenerate ellipticity in certain frequency directions, which makes it challenging to ensure the front's regularity using standard energy estimates. Our analysis reveals that the non-parallel structure of the deformation gradient tensor plays a crucial role in recovering ellipticity in the front symbol, thereby enhancing the regularity of the free interface. (2) Another significant challenge in 3D arises from the strong degeneracy caused by the collision of repeated roots and poles. Unlike in 2D, where such interactions are absent, we encounter a co-dimension one set in frequency space where a double root coincides with a double pole. To resolve this, we refine Coulombel's diagonalization framework [21] and construct a suitable transformation that reduces the degeneracy order of the Lopatinskii matrix, enabling the use of localized Garding-type estimates to control the characteristic components. Finally, we employ a Nash-Moser iteration scheme to establish the local existence and nonlinear stability of vortex sheets under small initial perturbations, showing stability within a subsonic regime. △ Less

Submitted 20 March, 2025; originally announced March 2025.

MSC Class: 35Q51; 35Q35; 74F10; 76E17; 76N99

Extended Version: Non-Preemptive Scheduling of Flexible Loads in Smart Grids via Convex Optimization

Authors: Mehdi Davoudi, Mingyu Chen, Junjie Qin

Abstract: This paper studies the scheduling of a large population of non-preemptive flexible electric loads, each of which has a flexible starting time but once started will follow a fixed load shape until completion. We first formulate the scheduling problem as a mixed-integer convex program (MICP), then propose an efficient polynomial time relaxation-adjustment-rounding algorithm for solving the problem.… ▽ More This paper studies the scheduling of a large population of non-preemptive flexible electric loads, each of which has a flexible starting time but once started will follow a fixed load shape until completion. We first formulate the scheduling problem as a mixed-integer convex program (MICP), then propose an efficient polynomial time relaxation-adjustment-rounding algorithm for solving the problem. The key novelty of the proposed method lies in its adjustment step, which uses a graph-based algorithm to navigate within the set of optimal points of the convex relaxation while reducing the number of fractional entries in the solution. We establish mathematically that our algorithm yields solutions that are near optimal for a finite number of loads and with its sub-optimality independent of the number of loads. Consequently, the proposed method is asymptotically optimal in a per-load cost sense when the number of loads increases. Despite the gap between the MICP and its convex relaxation, we establish that the solution of the proposed algorithm can be decentralized by marginal prices of the convex relaxation. We also develop and analyze variants of the proposed algorithm for settings with uncertainty and with time-varying realistic load shapes. Finally, we numerically evaluate the proposed algorithm in a case study for the non-preemptive scheduling of electric vehicles charging loads. △ Less

Submitted 6 March, 2025; originally announced March 2025.

Comments: Longer version of a paper submitted to IEEE Transactions on Control of Network Systems

High-order mass conserving, positivity plus energy-law preserving schemes and their error estimates for Keller-Segel equations

Authors: Mingmei Chen, Kun Wang, Cong Xie

Abstract: Chemotaxis plays a significant role in numerous physiological processes. The Keller-Segel equation serves as a mathematical model for simulating the phenomenon of cell population aggregation under chemotaxis, possessing physical properties such as mass conservation, positivity of density, and energy dissipation. High-order linear and decoupled schemes for the parabolic-parabolic Keller-Segel chemo… ▽ More Chemotaxis plays a significant role in numerous physiological processes. The Keller-Segel equation serves as a mathematical model for simulating the phenomenon of cell population aggregation under chemotaxis, possessing physical properties such as mass conservation, positivity of density, and energy dissipation. High-order linear and decoupled schemes for the parabolic-parabolic Keller-Segel chemotaxis model are proposed in this paper, which satisfy the three physical properties mentioned earlier. Firstly, by applying a logarithmic transformation, the Keller-Segel model is reformulated into its equivalent form that maintains the positivity of cell density regardless of the discrete scheme. Based on this equivalent system, we then propose high-order linear and decoupled numerical schemes using the backward differentiation formula (BDF). Furthermore, through the incorporation of a recovery technique and an energy-law preservation correction (EPC), we ensure that these schemes maintain mass conservation and preserve the original energy-law. Finally, we conduct a rigorous optimal error analysis for the numerical schemes under certain assumptions regarding the regularity of solutions, and some numerical experiments are also presented to demonstrate their effectiveness. △ Less

Submitted 21 February, 2025; originally announced February 2025.

Rational points near planar flat curves

Authors: Mingfeng Chen

Abstract: We establish asymptotic formulas for counting rational points near finite type curves on the plane, generalizing Huang's result. We establish asymptotic formulas for counting rational points near finite type curves on the plane, generalizing Huang's result. △ Less

Submitted 20 February, 2025; originally announced February 2025.

Comments: 11 pages

A Second-order method on graded meshes for fractional Laplacian via Riesz fractional derivative with a singular source term

Authors: Minghua Chen, Jianxing Han, Jiankang Shi, Fan Yu

Abstract: The high-order numerical analysis for fractional Laplacian via the Riesz fractional derivative, under the low regularity solution, has presented significant challenges in the past decades. To fill in this gap, we design a grid mapping function on graded meshes to analyse the local truncation errors, which are far less than second-order convergence at the boundary layer. To restore the second-order… ▽ More The high-order numerical analysis for fractional Laplacian via the Riesz fractional derivative, under the low regularity solution, has presented significant challenges in the past decades. To fill in this gap, we design a grid mapping function on graded meshes to analyse the local truncation errors, which are far less than second-order convergence at the boundary layer. To restore the second-order global errors, we construct an appropriate right-preconditioner for the resulting matrix algebraic equation. We prove that the proposed scheme achieves second-order convergence on graded meshes even if the source term is singular or hypersingular. Numerical experiments illustrate the theoretical results. The proposed approach is applicable for multidimensional fractional diffusion equations, gradient flows and nonlinear equations. △ Less

Submitted 16 February, 2025; originally announced February 2025.

Comments: 26 pages, 1 figure

MSC Class: 26A33; 26A30; 65L20

Alexandrov-Fenchel type inequalities for hypersurfaces in the sphere

Authors: Min Chen

Abstract: The Alexandrov Fenchel inequality, a far-reaching generalization of the classical isoperimetric inequality to arbitrary mixed volumes, is fundamental in convex geometry. In $\mathbb{R}^{n+1}$, it states: $\int_Mσ_k dμ_g \ge C(n,k)\big(\int_Mσ_{k-1} dμ_g\big)^{\frac{n-k}{n-k+1}}$. In \cite{Brendle-Guan-Li} (see also \cite{Guan-Li-2}), Brendle, Guan, and Li proposed a Conjecture on the corresponding… ▽ More The Alexandrov Fenchel inequality, a far-reaching generalization of the classical isoperimetric inequality to arbitrary mixed volumes, is fundamental in convex geometry. In $\mathbb{R}^{n+1}$, it states: $\int_Mσ_k dμ_g \ge C(n,k)\big(\int_Mσ_{k-1} dμ_g\big)^{\frac{n-k}{n-k+1}}$. In \cite{Brendle-Guan-Li} (see also \cite{Guan-Li-2}), Brendle, Guan, and Li proposed a Conjecture on the corresponding inequalities in $\mathbb{S}^{n+1}$, which implies a sharp relation between two adjacent quermassintegrals: $\mathcal{A}_k(Ω)\ge ξ_{k,k-1}\big(\mathcal{A}_{k-1}(Ω)\big)$, for any $ 1\le k\le n-1$. This is a long-standing open problem. In this paper, we prove a type of corresponding inequalities in $\mathbb{S}^{n+1}:$ $\int_{M}σ_kdμ_g\ge η_k\big(\mathcal{A}_{k-1}(Ω)\big)$ for any $0\le k\le n-1$. This is equivalent to the sharp relation among three adjacent quermassintegrals for hypersurfaces in $\mathbb{S}^{n+1}$(see (\ref{ineq three})), which also implies a non-sharp relation between two adjacent quermassintegrals $\mathcal{A}_{k}(Ω)\ge η_k\big(\mathcal{A}_{k-1}(Ω)\big)$, for any $ 1\le k\le n-1$. △ Less

Submitted 14 January, 2025; originally announced January 2025.

Abstract Regular Polytopes of Finite Irreducible Coxeter Groups

Authors: Malcolm Hoong Wai Chen, Peter Rowley

Abstract: Here, for $W$ the Coxeter group $\mathrm{D}_n$ where $n > 4$, it is proved that the maximal rank of an abstract regular polytope for $W$ is $n - 1$ if $n$ is even and $n$ if $n$ is odd. Further it is shown that $W$ has abstract regular polytopes of rank $r$ for all $r$ such that $3 \leq r \leq n - 1$, if $n$ is even, and $3 \leq r \leq n$, if $n$ is odd. The possible ranks of abstract regular poly… ▽ More Here, for $W$ the Coxeter group $\mathrm{D}_n$ where $n > 4$, it is proved that the maximal rank of an abstract regular polytope for $W$ is $n - 1$ if $n$ is even and $n$ if $n$ is odd. Further it is shown that $W$ has abstract regular polytopes of rank $r$ for all $r$ such that $3 \leq r \leq n - 1$, if $n$ is even, and $3 \leq r \leq n$, if $n$ is odd. The possible ranks of abstract regular polytopes for the exceptional finite irreducible Coxeter groups are also determined. △ Less

Submitted 2 January, 2025; originally announced January 2025.

MSC Class: 52B11; 20B25; 20F55

A robust $C^0$ interior penalty method for a gradient-elastic Kirchhoff plate model

Authors: Mingqing Chen, Jianguo Huang, Xuehai Huang

Abstract: This paper is devoted to proposing and analyzing a robust $C^0$ interior penalty method for a gradient-elastic Kirchhoff plate (GEKP) model over a convex polygon. The numerical method is obtained by combining the triangular Hermite element and a $C^0$ interior penalty method, which can avoid the use of higher order shape functions or macroelements. Next, a robust regularity estimate is established… ▽ More This paper is devoted to proposing and analyzing a robust $C^0$ interior penalty method for a gradient-elastic Kirchhoff plate (GEKP) model over a convex polygon. The numerical method is obtained by combining the triangular Hermite element and a $C^0$ interior penalty method, which can avoid the use of higher order shape functions or macroelements. Next, a robust regularity estimate is established for the GEKP model based on our earlier result for a triharmonic equation on a convex polygon. Furthermore, some local lower bound estimates of the a posteriori error analysis are established. These together with an enriching operator and its error estimates lead to a Céa-like lemma. Thereby, the optimal error estimates are achieved, which are also robust with respect to the small size parameter. In addition, it is proved that this numerical method is convergent without any additional regularity assumption for the exact solution. Some numerical experiments are performed to verify the theoretical findings. △ Less

Submitted 26 December, 2024; originally announced December 2024.

Towards Fast and Safety-Guaranteed Trajectory Planning and Tracking for Time-Varying Systems

Authors: Seth Siriya, Mo Chen, Ye Pu

Abstract: When deploying autonomous systems in unknown and changing environments, it is critical that their motion planning and control algorithms are computationally efficient and can be reapplied online in real time, whilst providing theoretical safety guarantees in the presence of disturbances. The satisfaction of these objectives becomes more challenging when considering time-varying dynamics and distur… ▽ More When deploying autonomous systems in unknown and changing environments, it is critical that their motion planning and control algorithms are computationally efficient and can be reapplied online in real time, whilst providing theoretical safety guarantees in the presence of disturbances. The satisfaction of these objectives becomes more challenging when considering time-varying dynamics and disturbances, which arise in real-world contexts. We develop methods with the potential to address these issues by applying an offline-computed safety guaranteeing controller on a physical system, to track a virtual system that evolves through a trajectory that is replanned online, accounting for constraints updated online. The first method we propose is designed for general time-varying systems over a finite horizon. Our second method overcomes the finite horizon restriction for periodic systems. We simulate our algorithms on a case study of an autonomous underwater vehicle subject to wave disturbances. △ Less

Submitted 5 December, 2024; originally announced December 2024.

Comments: 18 pages, 7 figures, submitted to Transactions on Automatic Control

Associativity of two-place functions generated by left continuous monotone functions and other properties

Authors: Meng Chen, Xue-ping Wang

Abstract: This article introduces a weak pseudo-inverse of a monotone function, which is applied to characterize the associativity of a two-place function $T: [0,1]^2\rightarrow [0,1]$ defined by $T(x,y)=t^{[-1]}(F(t(x),t(y)))$ where $F:[0,\infty]^2\rightarrow[0,\infty]$ is an associative function with neutral element in $[0,\infty]$, $t: [0,1]\rightarrow [0,\infty]$ is a left continuous monotone function a… ▽ More This article introduces a weak pseudo-inverse of a monotone function, which is applied to characterize the associativity of a two-place function $T: [0,1]^2\rightarrow [0,1]$ defined by $T(x,y)=t^{[-1]}(F(t(x),t(y)))$ where $F:[0,\infty]^2\rightarrow[0,\infty]$ is an associative function with neutral element in $[0,\infty]$, $t: [0,1]\rightarrow [0,\infty]$ is a left continuous monotone function and $t^{[-1]}:[0,\infty]\rightarrow[0,1]$ is the weak pseudo-inverse of $t$. It shows that the associativity of the function $T$ depends only on properties of the range of $t$. Moreover, it investigates the idempotence, the limit property, the conditional cancellation law and the continuity of the function $T$, respectively. △ Less

Submitted 4 July, 2025; v1 submitted 27 October, 2024; originally announced November 2024.

Comments: 27. arXiv admin note: text overlap with arXiv:2409.02941

Learning Macroscopic Dynamics from Partial Microscopic Observations

Authors: Mengyi Chen, Qianxiao Li

Abstract: Macroscopic observables of a system are of keen interest in real applications such as the design of novel materials. Current methods rely on microscopic trajectory simulations, where the forces on all microscopic coordinates need to be computed or measured. However, this can be computationally prohibitive for realistic systems. In this paper, we propose a method to learn macroscopic dynamics requi… ▽ More Macroscopic observables of a system are of keen interest in real applications such as the design of novel materials. Current methods rely on microscopic trajectory simulations, where the forces on all microscopic coordinates need to be computed or measured. However, this can be computationally prohibitive for realistic systems. In this paper, we propose a method to learn macroscopic dynamics requiring only force computations on a subset of the microscopic coordinates. Our method relies on a sparsity assumption: the force on each microscopic coordinate relies only on a small number of other coordinates. The main idea of our approach is to map the training procedure on the macroscopic coordinates back to the microscopic coordinates, on which partial force computations can be used as stochastic estimation to update model parameters. We provide a theoretical justification of this under suitable conditions. We demonstrate the accuracy, force computation efficiency, and robustness of our method on learning macroscopic closure models from a variety of microscopic systems, including those modeled by partial differential equations or molecular dynamics simulations. △ Less

Submitted 1 November, 2024; v1 submitted 31 October, 2024; originally announced October 2024.

A quasilinear elliptic equation with absorption term and Hardy potential

Authors: Marie-Françoise Bidaut-Véron Huyuan Chen

Abstract: Here we study the positive solutions of the equation \begin{equation*} -Δ_{p}u+μ\frac{u^{p-1}}{\left\vert x\right\vert ^{p}}+\left\vert x\right\vert ^{θ}u^{q}=0,\qquad x\in \mathbb{R}^{N}\backslash \left\{ 0\right\} \end{equation*}% where $Δ_{p}u={div}(\left\vert \nabla u\right\vert ^{p-2}\nabla u) $ and $1<p<N,q>p-1,μ,θ\in \mathbb{R}.$ We give a complete description of the existence and the asymp… ▽ More Here we study the positive solutions of the equation \begin{equation*} -Δ_{p}u+μ\frac{u^{p-1}}{\left\vert x\right\vert ^{p}}+\left\vert x\right\vert ^{θ}u^{q}=0,\qquad x\in \mathbb{R}^{N}\backslash \left\{ 0\right\} \end{equation*}% where $Δ_{p}u={div}(\left\vert \nabla u\right\vert ^{p-2}\nabla u) $ and $1<p<N,q>p-1,μ,θ\in \mathbb{R}.$ We give a complete description of the existence and the asymptotic behaviour of the solutions near the singularity $0,$ or in an exterior domain. We show that the global solutions $\mathbb{R}^{N}\backslash \left\{ 0\right\} $ are radial and give their expression according to the position of the Hardy coefficient $μ$ with respect to the critical exponent $μ_{0}=-(\frac{N-p}{p})^{p}.$ Our method consists into proving that any nonradial solution can be compared to a radial one, then making exhaustive radial study by phase-plane techniques. Our results are optimal, extending the known results when $μ=0$ or $p=2$, with new simpler proofs.They make in evidence interesting phenomena of nonuniqueness when $θ+p=0$, and of existence of locally constant solutions when moreover $p>2$ . △ Less

Submitted 13 November, 2024; v1 submitted 15 October, 2024; originally announced October 2024.

Comments: 47 pages,4 figures

MSC Class: 35J92; 35J75

Elementary characterization for Galois groups of $x^6+ax^3+b$ and $x^{12}+ax^6+b$

Authors: Malcolm Hoong Wai Chen

Abstract: Let $f(x)=x^{12}+ax^6+b \in \mathbb{Q}[x]$ be an irreducible polynomial, $g_4(x)=x^4+ax^2+b$, $g_6(x)=x^6+ax^3+b$, and let $G_4$ and $G_6$ be the Galois group of $g_4(x)$ and $g_6(x)$, respectively. We show that $G_6$ can be completely classified by determining whether $3(4b-a^2)$ is a rational square, $b$ is a rational cube, and $x^3-3bx+ab$ is reducible. We also show that the Galois group of… ▽ More Let $f(x)=x^{12}+ax^6+b \in \mathbb{Q}[x]$ be an irreducible polynomial, $g_4(x)=x^4+ax^2+b$, $g_6(x)=x^6+ax^3+b$, and let $G_4$ and $G_6$ be the Galois group of $g_4(x)$ and $g_6(x)$, respectively. We show that $G_6$ can be completely classified by determining whether $3(4b-a^2)$ is a rational square, $b$ is a rational cube, and $x^3-3bx+ab$ is reducible. We also show that the Galois group of $f(x)$ can be uniquely identified by knowing $(G_4,G_6)$ and testing whether at most two expressions involving $a$ and $b$ are rational squares. This gives us an elementary characterization for all sixteen possible Galois groups of $f(x)$. △ Less

Submitted 1 October, 2024; originally announced October 2024.

MSC Class: 12F10; 11R09; 12D05; 12-08

Global Well-posedness for the Fourth-order Nonlinear Schrodinger Equation

Authors: Mingjuan Chen, Yufeng Lu, Yaqing Wang

Abstract: The local and global well-posedness for the one dimensional fourth-order nonlinear Schrödinger equation are established in the modulation space $M^{s}_{2,q}$ for $s\geq \frac12$ and $2\leq q <\infty$. The local result is based on the $U^p-V^p$ spaces and crucial bilinear estimates. The key ingredient to obtain the global well-posedness is that we achieve a-priori estimates of the solution in modul… ▽ More The local and global well-posedness for the one dimensional fourth-order nonlinear Schrödinger equation are established in the modulation space $M^{s}_{2,q}$ for $s\geq \frac12$ and $2\leq q <\infty$. The local result is based on the $U^p-V^p$ spaces and crucial bilinear estimates. The key ingredient to obtain the global well-posedness is that we achieve a-priori estimates of the solution in modulation spaces by utilizing the power series expansion of the perturbation determinant introduced by Killip-Visan-Zhang for completely integrable PDEs. △ Less

Submitted 17 September, 2024; originally announced September 2024.

Comments: 41 pages

Long-time Asymptotics for the Ablowitz-Ladik system with present of solitons

Authors: Meisen Chen, Engui Fan, Zhaoyu Wang

Abstract: We investigate the soliton resolution and Painlevé asymptotics for the focusing Ablowitz-Ladik system with the initial data in a discrete weighted $\ell^2$ space. First, we establish the global well-posedness of this initial-value problem, which is further reformulated as a Riemann-Hilbert problem with higher-order poles. Using Fredholm theory, the Riemann-Hilbert problem with the jump contour con… ▽ More We investigate the soliton resolution and Painlevé asymptotics for the focusing Ablowitz-Ladik system with the initial data in a discrete weighted $\ell^2$ space. First, we establish the global well-posedness of this initial-value problem, which is further reformulated as a Riemann-Hilbert problem with higher-order poles. Using Fredholm theory, the Riemann-Hilbert problem with the jump contour consisting of three circles centered around the origin is uniquely solved. Then, by performing a $\bar\partial$-nonlinear steepest descent method to the Riemann-Hilbert problem, we obtain the asymptotic approximation to the solution of the focusing Ablowitz-Ladik system for large time in different space-time regions of the $(n,t)$-half plane. In the sectors $\{(n,t): n /(2t) <-M_0 \}$ and $\{(n,t): n /(2t) >M_0 \}$, where $M_0$ is a positive constant, the leading order asymptotics is dominated by the solitons; while in the sector $\{(n,t): |n /(2t) -1 <M_0^{-1} \}$, the long-time asymptotics is influenced by both the solitons and the oscillations; In the two transition zones $\{(n,t): |n /(2t)+1|t^{2/3} <C \}$ and $\{(n,t): |n /(2t)-1|t^{2/3} <C \}$ with $C$ being a positive constant, we find the Painlevé-type asymptotics which can be expressed in terms of the solution of the second Painlevé transcendents. △ Less

Submitted 2 January, 2025; v1 submitted 31 July, 2024; originally announced July 2024.

Diffusion Transformer Captures Spatial-Temporal Dependencies: A Theory for Gaussian Process Data

Authors: Hengyu Fu, Zehao Dou, Jiawei Guo, Mengdi Wang, Minshuo Chen

Abstract: Diffusion Transformer, the backbone of Sora for video generation, successfully scales the capacity of diffusion models, pioneering new avenues for high-fidelity sequential data generation. Unlike static data such as images, sequential data consists of consecutive data frames indexed by time, exhibiting rich spatial and temporal dependencies. These dependencies represent the underlying dynamic mode… ▽ More Diffusion Transformer, the backbone of Sora for video generation, successfully scales the capacity of diffusion models, pioneering new avenues for high-fidelity sequential data generation. Unlike static data such as images, sequential data consists of consecutive data frames indexed by time, exhibiting rich spatial and temporal dependencies. These dependencies represent the underlying dynamic model and are critical to validate the generated data. In this paper, we make the first theoretical step towards bridging diffusion transformers for capturing spatial-temporal dependencies. Specifically, we establish score approximation and distribution estimation guarantees of diffusion transformers for learning Gaussian process data with covariance functions of various decay patterns. We highlight how the spatial-temporal dependencies are captured and affect learning efficiency. Our study proposes a novel transformer approximation theory, where the transformer acts to unroll an algorithm. We support our theoretical results by numerical experiments, providing strong evidence that spatial-temporal dependencies are captured within attention layers, aligning with our approximation theory. △ Less

Submitted 4 February, 2025; v1 submitted 22 July, 2024; originally announced July 2024.

Comments: 56 pages, 13 figures

Annealed Multiple Choice Learning: Overcoming limitations of Winner-takes-all with annealing

Authors: David Perera, Victor Letzelter, Théo Mariotte, Adrien Cortés, Mickael Chen, Slim Essid, Gaël Richard

Abstract: We introduce Annealed Multiple Choice Learning (aMCL) which combines simulated annealing with MCL. MCL is a learning framework handling ambiguous tasks by predicting a small set of plausible hypotheses. These hypotheses are trained using the Winner-takes-all (WTA) scheme, which promotes the diversity of the predictions. However, this scheme may converge toward an arbitrarily suboptimal local minim… ▽ More We introduce Annealed Multiple Choice Learning (aMCL) which combines simulated annealing with MCL. MCL is a learning framework handling ambiguous tasks by predicting a small set of plausible hypotheses. These hypotheses are trained using the Winner-takes-all (WTA) scheme, which promotes the diversity of the predictions. However, this scheme may converge toward an arbitrarily suboptimal local minimum, due to the greedy nature of WTA. We overcome this limitation using annealing, which enhances the exploration of the hypothesis space during training. We leverage insights from statistical physics and information theory to provide a detailed description of the model training trajectory. Additionally, we validate our algorithm by extensive experiments on synthetic datasets, on the standard UCI benchmark, and on speech separation. △ Less

Submitted 17 January, 2025; v1 submitted 22 July, 2024; originally announced July 2024.

Comments: NeurIPS 2024

The finite basis problem for additively idempotent semirings of order four, I

Authors: Miaomiao Ren, Junyang Liu, Lingli Zeng, Menglong Chen

Abstract: We study the finite basis problem for 4-element additively idempotent semirings whose additive reducts are semilattices of height 1. Up to isomorphism, there are 58 such algebras. We show that 49 of them are finitely based and the remaining ones are nonfinitely based. We study the finite basis problem for 4-element additively idempotent semirings whose additive reducts are semilattices of height 1. Up to isomorphism, there are 58 such algebras. We show that 49 of them are finitely based and the remaining ones are nonfinitely based. △ Less

Submitted 29 March, 2025; v1 submitted 21 July, 2024; originally announced July 2024.

Comments: 31 pages

MSC Class: 16Y60; 03C05; 08B05

Oscillatory integral operators and variable Schrödinger propagators: beyond the universal estimates

Authors: Mingfeng Chen, Shengwen Gan, Shaoming Guo, Jonathan Hickman, Marina Iliopoulou, James Wright

Abstract: We consider a class of Hörmander-type oscillatory integral operators in $\mathbb{R}^n$ for $n \geq 3$ odd with real analytic phase. We derive weak conditions on the phase which ensure $L^p$ bounds beyond the universal $p \geq 2 \cdot \frac{n+1}{n-1}$ range guaranteed by Stein's oscillatory integral theorem. This expands and elucidates pioneering work of Bourgain from the early 1990s. We also consi… ▽ More We consider a class of Hörmander-type oscillatory integral operators in $\mathbb{R}^n$ for $n \geq 3$ odd with real analytic phase. We derive weak conditions on the phase which ensure $L^p$ bounds beyond the universal $p \geq 2 \cdot \frac{n+1}{n-1}$ range guaranteed by Stein's oscillatory integral theorem. This expands and elucidates pioneering work of Bourgain from the early 1990s. We also consider a closely related class of variable coefficient Schrödinger propagator-type operators, and show that the corresponding theory differs significantly from that of the Hörmander-type operators. The main ingredient in the proof is a curved Kakeya/Nikodym maximal function estimate. This is established by combining the polynomial method with certain uniform sublevel set estimates for real analytic functions. The sublevel set estimates are the main novelty in the argument and can be interpreted as a form of quantification of linear independence in the $C^ω$ category. △ Less

Submitted 9 July, 2024; originally announced July 2024.

Comments: 80 pages

MSC Class: 42B20

Non-uniqueness for continuous solutions to 1D hyperbolic systems

Authors: Robin Ming Chen, Alexis F. Vasseur, Cheng Yu

Abstract: In this paper, we show that a geometrical condition on $2\times2$ systems of conservation laws leads to non-uniqueness in the class of 1D continuous functions. This demonstrates that the Liu Entropy Condition alone is insufficient to guarantee uniqueness, even within the mono-dimensional setting. We provide examples of systems where this pathology holds, even if they verify stability and uniquenes… ▽ More In this paper, we show that a geometrical condition on $2\times2$ systems of conservation laws leads to non-uniqueness in the class of 1D continuous functions. This demonstrates that the Liu Entropy Condition alone is insufficient to guarantee uniqueness, even within the mono-dimensional setting. We provide examples of systems where this pathology holds, even if they verify stability and uniqueness for small BV solutions. Our proof is based on the convex integration process. Notably, this result represents the first application of convex integration to construct non-unique continuous solutions in one dimension. △ Less

Submitted 3 July, 2024; originally announced July 2024.

MSC Class: 35L45; 35L65; 76N10

On moduli spaces of canonical threefolds with small genera and minimal volumes

Authors: Meng Chen, Yong Hu, Chen Jiang

Abstract: We prove that the canonical model of a $3$-fold of general type with geometric genus $2$ and with minimal canonical volume $\frac{1}{3}$ must be a hypersurface of degree $16$ in $\mathbb{P}(1,1,2,3,8)$, which gives an explicit description of its canonical ring. This implies that the coarse moduli space $\mathcal{M}_{\frac{1}{3}, 2}$, parametrizing all canonical $3$-folds with canonical volume… ▽ More We prove that the canonical model of a $3$-fold of general type with geometric genus $2$ and with minimal canonical volume $\frac{1}{3}$ must be a hypersurface of degree $16$ in $\mathbb{P}(1,1,2,3,8)$, which gives an explicit description of its canonical ring. This implies that the coarse moduli space $\mathcal{M}_{\frac{1}{3}, 2}$, parametrizing all canonical $3$-folds with canonical volume $\frac{1}{3}$ and geometric genus $2$, is an irreducible unirational variety of dimension $189$. Parallel studies show that $\mathcal{M}_{1, 3}$ is irreducible unirational as well and is of dimension $236$, and that $\mathcal{M}_{2, 4}$ is irreducible unirational and is of dimension $270$. As being conceived, every member in these 3 families is simply connected. Additionally, our method yields $\textrm{Vol}\geq \frac{4}{3}p_g-\frac{10}{3}$ for $3$-folds of general type with $5\leq p_g\leq 10$, which completely solves all remaining cases of the Noether inequality of $3$-folds. △ Less

Submitted 17 November, 2024; v1 submitted 1 July, 2024; originally announced July 2024.

Comments: We greatly improved the results on the last section of the paper. In particular, we completely solve all remaining cases of the Noether inequality of $3$-folds of general type. Comments are very welcome

Signed projective cubes, a homomorphism point of view

Authors: Meirun Chen, Reza Naserasr, Alessandra Sarti

Abstract: The (signed) projective cubes, as a special class of graphs closely related to the hypercubes, are on the crossroad of geometry, algebra, discrete mathematics and linear algebra. Defined as Cayley graphs on binary groups, they represent basic linear dependencies. Capturing the four-color theorem as a homomorphism target they show how mapping of discrete objects, namely graphs, may relate to specia… ▽ More The (signed) projective cubes, as a special class of graphs closely related to the hypercubes, are on the crossroad of geometry, algebra, discrete mathematics and linear algebra. Defined as Cayley graphs on binary groups, they represent basic linear dependencies. Capturing the four-color theorem as a homomorphism target they show how mapping of discrete objects, namely graphs, may relate to special mappings of plane to projective spaces of higher dimensions. In this work, viewed as a signed graph, first we present a number of equivalent definitions each of which leads to a different development. In particular, the new notion of common product of signed graphs is introduced which captures both Cartesian and tensor products of graphs. We then have a look at some of their homomorphism properties. We first introduce an inverse technique for the basic no-homomorphism lemma, using which we show that every signed projective cube is of circular chromatic number 4. Then observing that the 4-color theorem is about mapping planar graphs into signed projective cube of dimension 2, we study some conjectures in extension of 4CT. Toward a better understanding of these conjectures we present the notion of extended double cover as a key operation in formulating the conjectures. With a deeper look into connection between some of these graphs and algebraic geometry, we discover that projective cube of dimension 4, widely known as the Clebsh graph, but also known as Greenwood-Gleason graph, is the intersection graph of the 16 straight lines of an algebraic surface known as Segre surface, which is a Del Pezzo surface of degree 4. We note that an algebraic surface known as the Clebsch surface is one of the most symmetric presentations of a cubic surface. Recall that each smooth cubic surface contains 27 lines. Hence, from hereafter, we believe, a proper name for this graph should be Segre graph. △ Less

Submitted 16 June, 2024; originally announced June 2024.

Comments: 26 pages

The weighted and shifted seven-step BDF method for parabolic equations

Authors: Georgios Akrivis, Minghua Chen, Fan Yu

Abstract: Stability of the BDF methods of order up to five for parabolic equations can be established by the energy technique via Nevanlinna--Odeh multipliers. The nonexistence of Nevanlinna--Odeh multipliers makes the six-step BDF method special; however, the energy technique was recently extended by the authors in [Akrivis et al., SIAM J. Numer. Anal. \textbf{59} (2021) 2449--2472] and covers all six stab… ▽ More Stability of the BDF methods of order up to five for parabolic equations can be established by the energy technique via Nevanlinna--Odeh multipliers. The nonexistence of Nevanlinna--Odeh multipliers makes the six-step BDF method special; however, the energy technique was recently extended by the authors in [Akrivis et al., SIAM J. Numer. Anal. \textbf{59} (2021) 2449--2472] and covers all six stable BDF methods. The seven-step BDF method is unstable for parabolic equations, since it is not even zero-stable. In this work, we construct and analyze a stable linear combination of two non zero-stable schemes, the seven-step BDF method and its shifted counterpart, referred to as WSBDF7 method. The stability regions of the WSBDF$q, q\leqslant 7$, with a weight $\vartheta\geqslant1$, increase as $\vartheta$ increases, are larger than the stability regions of the classical BDF$q,$ corresponding to $\vartheta=1$. We determine novel and suitable multipliers for the WSBDF7 method and establish stability for parabolic equations by the energy technique. The proposed approach is applicable for mean curvature flow, gradient flows, fractional equations and nonlinear equations. △ Less

Submitted 5 May, 2024; originally announced May 2024.

Comments: 23 pages

Vortex-carrying solitary gravity waves of large amplitude

Authors: Robin Ming Chen, Kristoffer Varholm, Samuel Walsh, Miles H. Wheeler

Abstract: In this paper, we study two-dimensional traveling waves in finite-depth water that are acted upon solely by gravity. We prove that, for any supercritical Froude number (non-dimensionalized wave speed), there exists a continuous one-parameter family $\mathcal{C}$ of solitary waves in equilibrium with a submerged point vortex. This family bifurcates from an irrotational uniform flow, and, at least f… ▽ More In this paper, we study two-dimensional traveling waves in finite-depth water that are acted upon solely by gravity. We prove that, for any supercritical Froude number (non-dimensionalized wave speed), there exists a continuous one-parameter family $\mathcal{C}$ of solitary waves in equilibrium with a submerged point vortex. This family bifurcates from an irrotational uniform flow, and, at least for large Froude numbers, extends up to the development of a surface singularity. These are the first rigorously constructed gravity wave-borne point vortices without surface tension, and notably our formulation allows the free surface to be overhanging. We also provide a numerical bifurcation study of traveling periodic gravity waves with submerged point vortices, which strongly suggests that some of these waves indeed overturn. Finally, we prove that at generic solutions on $\mathcal{C}$ $\unicode{x2013}$ including those that are large amplitude or even overhanging $\unicode{x2013}$ the point vortex can be desingularized to obtain solitary waves with a submerged hollow vortex. Physically, these can be thought of as traveling waves carrying spinning bubbles of air. △ Less

Submitted 11 April, 2024; originally announced April 2024.

Comments: 38 pages, 8 figures

An Overview of Diffusion Models: Applications, Guided Generation, Statistical Rates and Optimization

Authors: Minshuo Chen, Song Mei, Jianqing Fan, Mengdi Wang

Abstract: Diffusion models, a powerful and universal generative AI technology, have achieved tremendous success in computer vision, audio, reinforcement learning, and computational biology. In these applications, diffusion models provide flexible high-dimensional data modeling, and act as a sampler for generating new samples under active guidance towards task-desired properties. Despite the significant empi… ▽ More Diffusion models, a powerful and universal generative AI technology, have achieved tremendous success in computer vision, audio, reinforcement learning, and computational biology. In these applications, diffusion models provide flexible high-dimensional data modeling, and act as a sampler for generating new samples under active guidance towards task-desired properties. Despite the significant empirical success, theory of diffusion models is very limited, potentially slowing down principled methodological innovations for further harnessing and improving diffusion models. In this paper, we review emerging applications of diffusion models, understanding their sample generation under various controls. Next, we overview the existing theories of diffusion models, covering their statistical properties and sampling capabilities. We adopt a progressive routine, beginning with unconditional diffusion models and connecting to conditional counterparts. Further, we review a new avenue in high-dimensional structured optimization through conditional diffusion models, where searching for solutions is reformulated as a conditional sampling problem and solved by diffusion models. Lastly, we discuss future directions about diffusion models. The purpose of this paper is to provide a well-rounded theoretical exposure for stimulating forward-looking theories and methods of diffusion models. △ Less

Submitted 11 April, 2024; originally announced April 2024.

Diffusion Model for Data-Driven Black-Box Optimization

Authors: Zihao Li, Hui Yuan, Kaixuan Huang, Chengzhuo Ni, Yinyu Ye, Minshuo Chen, Mengdi Wang

Abstract: Generative AI has redefined artificial intelligence, enabling the creation of innovative content and customized solutions that drive business practices into a new era of efficiency and creativity. In this paper, we focus on diffusion models, a powerful generative AI technology, and investigate their potential for black-box optimization over complex structured variables. Consider the practical scen… ▽ More Generative AI has redefined artificial intelligence, enabling the creation of innovative content and customized solutions that drive business practices into a new era of efficiency and creativity. In this paper, we focus on diffusion models, a powerful generative AI technology, and investigate their potential for black-box optimization over complex structured variables. Consider the practical scenario where one wants to optimize some structured design in a high-dimensional space, based on massive unlabeled data (representing design variables) and a small labeled dataset. We study two practical types of labels: 1) noisy measurements of a real-valued reward function and 2) human preference based on pairwise comparisons. The goal is to generate new designs that are near-optimal and preserve the designed latent structures. Our proposed method reformulates the design optimization problem into a conditional sampling problem, which allows us to leverage the power of diffusion models for modeling complex distributions. In particular, we propose a reward-directed conditional diffusion model, to be trained on the mixed data, for sampling a near-optimal solution conditioned on high predicted rewards. Theoretically, we establish sub-optimality error bounds for the generated designs. The sub-optimality gap nearly matches the optimal guarantee in off-policy bandits, demonstrating the efficiency of reward-directed diffusion models for black-box optimization. Moreover, when the data admits a low-dimensional latent subspace structure, our model efficiently generates high-fidelity designs that closely respect the latent structure. We provide empirical experiments validating our model in decision-making and content-creation tasks. △ Less

Submitted 19 March, 2024; originally announced March 2024.

Comments: arXiv admin note: substantial text overlap with arXiv:2307.07055

Unveil Conditional Diffusion Models with Classifier-free Guidance: A Sharp Statistical Theory

Authors: Hengyu Fu, Zhuoran Yang, Mengdi Wang, Minshuo Chen

Abstract: Conditional diffusion models serve as the foundation of modern image synthesis and find extensive application in fields like computational biology and reinforcement learning. In these applications, conditional diffusion models incorporate various conditional information, such as prompt input, to guide the sample generation towards desired properties. Despite the empirical success, theory of condit… ▽ More Conditional diffusion models serve as the foundation of modern image synthesis and find extensive application in fields like computational biology and reinforcement learning. In these applications, conditional diffusion models incorporate various conditional information, such as prompt input, to guide the sample generation towards desired properties. Despite the empirical success, theory of conditional diffusion models is largely missing. This paper bridges this gap by presenting a sharp statistical theory of distribution estimation using conditional diffusion models. Our analysis yields a sample complexity bound that adapts to the smoothness of the data distribution and matches the minimax lower bound. The key to our theoretical development lies in an approximation result for the conditional score function, which relies on a novel diffused Taylor approximation technique. Moreover, we demonstrate the utility of our statistical theory in elucidating the performance of conditional diffusion models across diverse applications, including model-based transition kernel estimation in reinforcement learning, solving inverse problems, and reward conditioned sample generation. △ Less

Submitted 18 March, 2024; originally announced March 2024.

Comments: 92 pages, 5 figures

A component-level co-rotational 3D continuum finite element framework for efficient flexible multibody analysis

Authors: Ziyun Kan, Mingdong Chen, Haijun Peng, Yizhu Guo, Xueguan Song

Abstract: This paper proposes a systematic and novel component level co-rotational (CR) framework, for upgrading existing 3D continuum finite elements to flexible multibody analysis. Without using any model reduction techniques, the high efficiency is achieved through sophisticated operations in both modeling and numerical implementation phrases. In modeling phrase, as in conventional 3D nonlinear finite an… ▽ More This paper proposes a systematic and novel component level co-rotational (CR) framework, for upgrading existing 3D continuum finite elements to flexible multibody analysis. Without using any model reduction techniques, the high efficiency is achieved through sophisticated operations in both modeling and numerical implementation phrases. In modeling phrase, as in conventional 3D nonlinear finite analysis, the nodal absolute coordinates are used as the system generalized coordinates, therefore simple formulations of the inertia force terms can be obtained. For the elastic force terms, inspired by existing floating frame of reference formulation (FFRF) and conventional element-level CR formulation, a component-level CR modeling strategy is developed. By in combination with Schur complement theory and fully exploring the nature of the component-level CR modeling method, an extremely efficient procedure is developed, which enables us to transform the linear equations raised from each Newton-Raphson iteration step into linear systems with constant coefficient matrix. The coefficient matrix thus can be pre-calculated and decomposed only once, and at all the subsequent time steps only back substitutions are needed, which avoids frequently updating the Jacobian matrix and avoids directly solving the large-scale linearized equation in each iteration. Multiple examples are presented to demonstrate the performance of the proposed framework. △ Less

Submitted 17 March, 2024; originally announced March 2024.

Quantifying Distributional Input Uncertainty via Inflated Kolmogorov-Smirnov Confidence Band

Authors: Motong Chen, Henry Lam, Zhenyuan Liu

Abstract: In stochastic simulation, input uncertainty refers to the propagation of the statistical noise in calibrating input models to impact output accuracy, in addition to the Monte Carlo simulation noise. The vast majority of the input uncertainty literature focuses on estimating target output quantities that are real-valued. However, outputs of simulation models are random and real-valued targets essen… ▽ More In stochastic simulation, input uncertainty refers to the propagation of the statistical noise in calibrating input models to impact output accuracy, in addition to the Monte Carlo simulation noise. The vast majority of the input uncertainty literature focuses on estimating target output quantities that are real-valued. However, outputs of simulation models are random and real-valued targets essentially serve only as summary statistics. To provide a more holistic assessment, we study the input uncertainty problem from a distributional view, namely we construct confidence bands for the entire output distribution function. Our approach utilizes a novel test statistic whose asymptotic consists of the supremum of the sum of a Brownian bridge and a suitable mean-zero Gaussian process, which generalizes the Kolmogorov-Smirnov statistic to account for input uncertainty. Regarding implementation, we also demonstrate how to use subsampling to efficiently estimate the covariance function of the Gaussian process, thereby leading to an implementable estimation of the quantile of the test statistic and a statistically valid confidence band. Numerical results demonstrate how our new confidence bands provide valid coverage for output distributions under input uncertainty that is not achievable by conventional approaches. △ Less

Submitted 14 March, 2024; originally announced March 2024.

A Composite Decomposition Method for Large-Scale Global Optimization

Authors: Maojiang Tian, Minyang Chen, Wei Du, Yang Tang, Yaochu Jin, Gary G. Yen

Abstract: Cooperative co-evolution (CC) algorithms, based on the divide-and-conquer strategy, have emerged as the predominant approach to solving large-scale global optimization (LSGO) problems. The efficiency and accuracy of the grouping stage significantly impact the performance of the optimization process. While the general separability grouping (GSG) method has overcome the limitation of previous differ… ▽ More Cooperative co-evolution (CC) algorithms, based on the divide-and-conquer strategy, have emerged as the predominant approach to solving large-scale global optimization (LSGO) problems. The efficiency and accuracy of the grouping stage significantly impact the performance of the optimization process. While the general separability grouping (GSG) method has overcome the limitation of previous differential grouping (DG) methods by enabling the decomposition of non-additively separable functions, it suffers from high computational complexity. To address this challenge, this article proposes a composite separability grouping (CSG) method, seamlessly integrating DG and GSG into a problem decomposition framework to utilize the strengths of both approaches. CSG introduces a step-by-step decomposition framework that accurately decomposes various problem types using fewer computational resources. By sequentially identifying additively, multiplicatively and generally separable variables, CSG progressively groups non-separable variables by recursively considering the interactions between each non-separable variable and the formed non-separable groups. Furthermore, to enhance the efficiency and accuracy of CSG, we introduce two innovative methods: a multiplicatively separable variable detection method and a non-separable variable grouping method. These two methods are designed to effectively detect multiplicatively separable variables and efficiently group non-separable variables, respectively. Extensive experimental results demonstrate that CSG achieves more accurate variable grouping with lower computational complexity compared to GSG and state-of-the-art DG series designs. △ Less

Submitted 8 March, 2024; v1 submitted 2 March, 2024; originally announced March 2024.

The dichotomy of Nikodym sets and local smoothing estimates for wave equations

Authors: Mingfeng Chen, Shaoming Guo

Abstract: We show that Nikodym sets and local smoothing estimates for linear wave equations form a dichotomy: If Nikodym sets for a family of curves exist, then the related maximal operator is not bounded on $L^p(\mathbb{R}^2)$ for any $p<\infty$; if Nikodym sets do not exist, then local smoothing estimates hold, and the related maximal operator is bounded on $L^p(\mathbb{R}^2)$ for some $p<\infty$. Wheneve… ▽ More We show that Nikodym sets and local smoothing estimates for linear wave equations form a dichotomy: If Nikodym sets for a family of curves exist, then the related maximal operator is not bounded on $L^p(\mathbb{R}^2)$ for any $p<\infty$; if Nikodym sets do not exist, then local smoothing estimates hold, and the related maximal operator is bounded on $L^p(\mathbb{R}^2)$ for some $p<\infty$. Whenever the maximal operator is bounded on $L^p(\mathbb{R}^2)$ for some $p<\infty$, we also determine the sharp exponent for $L^p(\mathbb{R}^2)$ bounds. △ Less

Submitted 23 February, 2024; originally announced February 2024.

On the weak Harder-Narasimhan stratification on $B_{\mathrm{dR}}^+$-affine Grassmannian

Authors: Miaofen Chen, Jilong Tong

Abstract: We consider the Harder-Narasimhan formalism on the category of normed isocrystals and show that the Harder-Narasimhan filtration is compatible with tensor products which generalizes a result of Cornut. As an application of this result, we are able to define a (weak) Harder-Narasimhan stratification on the $B_{\mathrm{dR}}^+$-affine Grassmannian for arbitrary $(G, b, μ)$. When $μ$ is minuscule, it… ▽ More We consider the Harder-Narasimhan formalism on the category of normed isocrystals and show that the Harder-Narasimhan filtration is compatible with tensor products which generalizes a result of Cornut. As an application of this result, we are able to define a (weak) Harder-Narasimhan stratification on the $B_{\mathrm{dR}}^+$-affine Grassmannian for arbitrary $(G, b, μ)$. When $μ$ is minuscule, it corresponds to the Harder-Narasimhan stratification on the flag varieties defined by Dat-Orlik-Rapoport. And when $b$ is basic, it's studied by Nguyen-Viehmann and Shen. We study the basic geometric properties of the Harder-Narasimhan stratification, such as non-emptiness, dimension and its relation with other stratifications. △ Less

Submitted 23 February, 2024; originally announced February 2024.

Comments: 53 pages

Error analysis of a collocation method on graded meshes for nonlocal diffusion problems with weakly singular kernels

Authors: Minghua Chen, Chao Min, Jiankang Shi, Jizeng Wang

Abstract: Can graded meshes yield more accurate numerical solution than uniform meshes? A time-dependent nonlocal diffusion problem with a weakly singular kernel is considered using collocation method. For its steady-state counterpart, under the sufficiently smooth solution, we first clarify that the standard graded meshes are worse than uniform meshes and may even lead to divergence; instead, an optimal co… ▽ More Can graded meshes yield more accurate numerical solution than uniform meshes? A time-dependent nonlocal diffusion problem with a weakly singular kernel is considered using collocation method. For its steady-state counterpart, under the sufficiently smooth solution, we first clarify that the standard graded meshes are worse than uniform meshes and may even lead to divergence; instead, an optimal convergence rate arises in so-called anomalous graded meshes. Furthermore, under low regularity solutions, it may suffer from a severe order reduction in (Chen, Qi, Shi and Wu, IMA J. Numer. Anal., 41 (2021) 3145--3174). In this case, conversely, a sharp error estimates appears in standard graded meshes, but offering far less than first-order accuracy. For the time-dependent case, however, second-order convergence can be achieved on graded meshes. The related analysis are easily extended for certain multidimensional problems. Numerical results are provided that confirm the sharpness of the error estimates. △ Less

Submitted 30 January, 2024; originally announced January 2024.

Comments: 20pages

Coleman Integration on Modular Curves

Authors: Mingjie Chen, Kiran Kedlaya, Jun Bo Lau

Abstract: Coleman integrals is a major tool in the explicit arithmetic of algebraic varieties, notably in the study of rational points on curves. One of the inputs to compute Coleman integrals is the availability of an affine model. We develop a model-free algorithm that computes single Coleman integrals between any two points on modular curves. Using Hecke operators, any Coleman integral can be broken down… ▽ More Coleman integrals is a major tool in the explicit arithmetic of algebraic varieties, notably in the study of rational points on curves. One of the inputs to compute Coleman integrals is the availability of an affine model. We develop a model-free algorithm that computes single Coleman integrals between any two points on modular curves. Using Hecke operators, any Coleman integral can be broken down into a sum of tiny integrals. We illustrate this using several examples computed in SageMath and Magma. We also suggest some future directions for this work, including a possible extension to iterated Coleman integrals. △ Less

Submitted 25 January, 2024; originally announced January 2024.

High-order BDF convolution quadrature for stochastic fractional evolution equations driven by integrated additive noise

Authors: Minghua Chen, Jiankang Shi, Zhen Song, Yubin Yan, Zhi Zhou

Abstract: The numerical analysis of stochastic time fractional evolution equations presents considerable challenges due to the limited regularity of the model caused by the nonlocal operator and the presence of noise. The existing time-stepping methods exhibit a significantly low order convergence rate. In this work, we introduce a smoothing technique and develop the novel high-order schemes for solving t… ▽ More The numerical analysis of stochastic time fractional evolution equations presents considerable challenges due to the limited regularity of the model caused by the nonlocal operator and the presence of noise. The existing time-stepping methods exhibit a significantly low order convergence rate. In this work, we introduce a smoothing technique and develop the novel high-order schemes for solving the linear stochastic fractional evolution equations driven by integrated additive noise. Our approach involves regularizing the additive noise through an $m$-fold integral-differential calculus, and discretizing the equation using the $k$-step BDF convolution quadrature. This novel method, which we refer to as the ID$m$-BDF$k$ method, is able to achieve higher-order convergence in solving the stochastic models. Our theoretical analysis reveals that the convergence rate of the ID$2$-BDF2 method is $O(τ^{α+ γ-1/2})$ for $1< α+ γ\leq 5/2$, and $O(τ^{2})$ for $5/2< α+ γ<3$, where $α\in (1, 2)$ and $γ\in (0, 1)$ denote the time fractional order and the order of the integrated noise, respectively. Furthermore, this convergence rate could be improved to $O(τ^{α+ γ-1/2})$ for any $α\in (1, 2)$ and $γ\in (0, 1)$, if we employ the ID$3$-BDF3 method. The argument could be easily extended to the subdiffusion model with $α\in (0, 1)$. Numerical examples are provided to support and complement the theoretical findings. △ Less

Submitted 19 January, 2024; originally announced January 2024.

Comments: 22pages

Spectral analysis of periodic $b$-KP equation under transverse perturbation

Authors: Robin Ming Chen, Lili Fan, Xingchang Wang, Runzhang Xu

Abstract: The $b$-family-Kadomtsev-Petviashvili equation ($b$-KP) is a two dimensional generalization of the $b$-family equation. In this paper, we study the spectral stability of the one-dimensional small-amplitude periodic traveling waves with respect to two-dimensional perturbations which are either co-periodic in the direction of propagation, or nonperiodic (localized or bounded). We perform a detailed… ▽ More The $b$-family-Kadomtsev-Petviashvili equation ($b$-KP) is a two dimensional generalization of the $b$-family equation. In this paper, we study the spectral stability of the one-dimensional small-amplitude periodic traveling waves with respect to two-dimensional perturbations which are either co-periodic in the direction of propagation, or nonperiodic (localized or bounded). We perform a detailed spectral analysis of the linearized problem associated to the above mentioned perturbations, and derive various stability and instability criteria which depends in a delicate way on the parameter value of $b$, the transverse dispersion parameter $σ$, and the wave number $k$ of the longitudinal waves. △ Less

Submitted 14 January, 2024; originally announced January 2024.

On combinatorial properties of Gruenberg--Kegel graphs of finite groups

Authors: Mingzhu Chen, Ilya B. Gorshkov, Natalia V. Maslova, Nanying Yang

Abstract: If $G$ is a finite group, then the spectrum $ω(G)$ is the set of all element orders of $G$. The prime spectrum $π(G)$ is the set of all primes belonging to $ω(G)$. A simple graph $Γ(G)$ whose vertex set is $π(G)$ and in which two distinct vertices $r$ and $s$ are adjacent if and only if $rs \in ω(G)$ is called the Gruenberg-Kegel graph or the prime graph of $G$. In this paper, we prove that if… ▽ More If $G$ is a finite group, then the spectrum $ω(G)$ is the set of all element orders of $G$. The prime spectrum $π(G)$ is the set of all primes belonging to $ω(G)$. A simple graph $Γ(G)$ whose vertex set is $π(G)$ and in which two distinct vertices $r$ and $s$ are adjacent if and only if $rs \in ω(G)$ is called the Gruenberg-Kegel graph or the prime graph of $G$. In this paper, we prove that if $G$ is a group of even order, then the set of vertices which are non-adjacent to $2$ in $Γ(G)$ form a union of cliques. Moreover, we decide when a strongly regular graph is isomorphic to the Gruenberg-Kegel graph of a finite group. Besides this, we prove that a complete bipartite graph with each part of size at least $3$ can not be isomorphic to the Gruenberg-Kegel graph of a finite group. △ Less

Submitted 20 April, 2025; v1 submitted 9 January, 2024; originally announced January 2024.

Comments: The authors of this paper are ordered with respect to alphabet ordering in English

MSC Class: 20D60; 05C25

Structure-preserving Kernel-based methods for solving dissipative PDEs on surfaces

Authors: Zhengjie Sun, Leevan Ling, Meng Chen

Abstract: In this paper, we propose a general meshless structure-preserving Galerkin method for solving dissipative PDEs on surfaces. By posing the PDE in the variational formulation and simulating the solution in the finite-dimensional approximation space spanned by (local) Lagrange functions generated with positive definite kernels, we obtain a semi-discrete Galerkin equation that inherits the energy diss… ▽ More In this paper, we propose a general meshless structure-preserving Galerkin method for solving dissipative PDEs on surfaces. By posing the PDE in the variational formulation and simulating the solution in the finite-dimensional approximation space spanned by (local) Lagrange functions generated with positive definite kernels, we obtain a semi-discrete Galerkin equation that inherits the energy dissipation property. The fully-discrete structure-preserving scheme is derived with the average vector field method. We provide a convergence analysis of the proposed method for the Allen-Cahn equation. The numerical experiments also verify the theoretical analysis including the convergence order and structure-preserving properties. △ Less

Submitted 18 December, 2024; v1 submitted 29 December, 2023; originally announced December 2023.

Comments: 21 pages, 9 figures

MSC Class: 65D05; 65M12; 65M60; 65N40

Proving the stability estimates of variational least-squares Kernel-Based methods

Authors: Meng Chen, Leevan Ling, Dongfang Yun

Abstract: Motivated by the need for the rigorous analysis of the numerical stability of variational least-squares kernel-based methods for solving second-order elliptic partial differential equations, we provide previously lacking stability inequalities. This fills a significant theoretical gap in the previous work [Comput. Math. Appl. 103 (2021) 1-11], which provided error estimates based on a conjecture o… ▽ More Motivated by the need for the rigorous analysis of the numerical stability of variational least-squares kernel-based methods for solving second-order elliptic partial differential equations, we provide previously lacking stability inequalities. This fills a significant theoretical gap in the previous work [Comput. Math. Appl. 103 (2021) 1-11], which provided error estimates based on a conjecture on the stability. With the stability estimate now rigorously proven, we complete the theoretical foundations and compare the convergence behavior to the proven rates. Furthermore, we establish another stability inequality involving weighted-discrete norms, and provide a theoretical proof demonstrating that the exact quadrature weights are not necessary for the weighted least-squares kernel-based collocation method to converge. Our novel theoretical insights are validated by numerical examples, which showcase the relative efficiency and accuracy of these methods on data sets with large mesh ratios. The results confirm our theoretical predictions regarding the performance of variational least-squares kernel-based method, least-squares kernel-based collocation method, and our new weighted least-squares kernel-based collocation method. Most importantly, our results demonstrate that all methods converge at the same rate, validating the convergence theory of weighted least-squares in our proven theories. △ Less

Submitted 16 December, 2024; v1 submitted 12 December, 2023; originally announced December 2023.

MSC Class: 65N12; 65D15; 65N15

Exchange graphs and Ext-quivers of hearts of tube categories

Authors: Mingfa Chen

Abstract: In this paper we introduce the notion of pre-simple-minded collection (pre-SMC) of type $\mathbb{A}$ in the bounded derived categories $\mathcal{D}^{b} (${\rm{\textbf{T}}}$_p)$ of tube categories $\textbf{T}_{p}$ of rank $p$. This provides an effective approach to classify the hearts in $\mathcal{D}^{b} (${\rm{\textbf{T}}}$_p)$. We then use this classification to prove the exchange graph of hearts… ▽ More In this paper we introduce the notion of pre-simple-minded collection (pre-SMC) of type $\mathbb{A}$ in the bounded derived categories $\mathcal{D}^{b} (${\rm{\textbf{T}}}$_p)$ of tube categories $\textbf{T}_{p}$ of rank $p$. This provides an effective approach to classify the hearts in $\mathcal{D}^{b} (${\rm{\textbf{T}}}$_p)$. We then use this classification to prove the exchange graph of hearts in $\mathcal{D}^{b} (${\rm{\textbf{T}}}$_p)$ is connnected. Further, we classify the Ext-quivers of hearts in $\mathcal{D}^{b} (${\rm{\textbf{T}}}$_p)$. As an application, we show that the space of Bridgeland stability conditions on $\mathcal{D}^{b}(${\rm{\textbf{T}}}$_p)$ is connected. △ Less

Submitted 29 November, 2023; originally announced November 2023.

Comments: 19 pages

On the Structure of Permutation Invariant Parking

Authors: Douglas M. Chen

Abstract: We continue the study of parking assortments, a generalization of parking functions introduced by Chen, Harris, Martínez, Pabón-Cancel, and Sargent. Given $n$ cars of lengths $\mathbf{y}=(y_1,y_2,\dots,y_n) \in \mathbb{N}^n$, we focus on the sets $\mathsf{PA}^{\mathrm{inv}}_n(\mathbf{y})$ and $\mathsf{PA}^{\mathrm{inv},\uparrow}_n(\mathbf{y})$ of permutation invariant (resp. nondecreasing) parking… ▽ More We continue the study of parking assortments, a generalization of parking functions introduced by Chen, Harris, Martínez, Pabón-Cancel, and Sargent. Given $n$ cars of lengths $\mathbf{y}=(y_1,y_2,\dots,y_n) \in \mathbb{N}^n$, we focus on the sets $\mathsf{PA}^{\mathrm{inv}}_n(\mathbf{y})$ and $\mathsf{PA}^{\mathrm{inv},\uparrow}_n(\mathbf{y})$ of permutation invariant (resp. nondecreasing) parking assortments for $\mathbf{y}$. For $\mathbf{x} \in \mathsf{PA}^{\mathrm{inv}}_n(\mathbf{y})$, we introduce the degree of $\mathbf{x}$, the number of non-$1$ entries of $\mathbf{x}$, and the characteristic $χ(\mathbf{y})$ of $\mathbf{y}$, the greatest degree of $\mathbf{z} \in \mathsf{PA}^{\mathrm{inv}}_n(\mathbf{y})$. We establish direct necessary conditions for $\mathbf{y}$ with $χ(\mathbf{y})=0$ and a characterization for $\mathbf{y}$ with $χ(\mathbf{y})=n-1$. For the latter, we derive a closed form for its invariant parking set and enumerate its size using properties of the Pitman-Stanley polytope. Next, we prove closure and embedding properties of the invariant parking set. We apply these results to study the degree as a function and the characteristic under sequences of successive prefix length vectors. We then examine the invariant solution set $\mathcal{W}(\mathbf{y})=\{ w \in \mathbb{N}:(1^{n-1},w) \in \mathsf{PA}^{\mathrm{inv}}_n(\mathbf{y}) \}$. We obtain tight upper bounds of this set and prove that its size is at most $2^{n-1}$, providing constraints on the subsequence sums of $\mathbf{y}$ for equality to hold. Finally, we show that if $\mathbf{x} \in \mathsf{PA}^{\mathrm{inv},\uparrow}_n(\mathbf{y})$, then $\mathbf{x} \in \{ 1 \}^{n-χ(\mathbf{y})} \times \mathcal{W}(\mathbf{y})^{χ(\mathbf{y})}$, which implies a new upper bound on $|\mathsf{PA}^{\mathrm{inv},\uparrow}_n(\mathbf{y})|$. Our results generalize several theorems by Chen et al. △ Less

Submitted 27 November, 2023; originally announced November 2023.

Comments: 25 pages, 4 figures

MSC Class: 05A15; 05A19; 05D05; 05E18

Lattice Path Delta Matroids

Authors: Douglas M. Chen, Mario Sanchez, John Veliz, Zhiyan Ying

Abstract: We initiate the study of a type $C_n$ generalization of the lattice path matroids defined by Bonin, de Mier, and Noy. These are delta matroids whose feasible sets are in bijection with lattice paths which are symmetric along the main diagonal. We describe deletion, contraction, enveloping matroids, and the homogeneous components of these delta matroids in terms of the combinatorics of symmetric la… ▽ More We initiate the study of a type $C_n$ generalization of the lattice path matroids defined by Bonin, de Mier, and Noy. These are delta matroids whose feasible sets are in bijection with lattice paths which are symmetric along the main diagonal. We describe deletion, contraction, enveloping matroids, and the homogeneous components of these delta matroids in terms of the combinatorics of symmetric lattice paths. In the second half, we study the convex geometry of the feasible polytopes of lattice path delta matroids. We show that these polytopes decompose into the feasible polytope of special lattice paths corresponding to intervals in the type $C_n$ Gale order whose related Richardson variety is a toric variety. Further, these special polytopes inherit a unimodular triangulation from Stanley's Eulerian triangulation of the hypercube. As a consequence, the volume of these polytopes is the proportion of permutations with specific ascent sets. △ Less

Submitted 26 November, 2023; originally announced November 2023.

Comments: 33 Pages, 2 Figures

MSC Class: 05B35

The spectral radius of minor free graphs

Authors: Ming-Zhu Chen, A-Ming Liu, Xiao-Dong Zhang

Abstract: In this paper, we present a sharp upper bound for the spectral radius of an $n$-vertex graph without $F$-minor for sufficient large $n$, where $F$ is obtained from the complete graph $K_r$ by deleting disjointed paths. Furthermore, the graphs which achieved the sharp bound are characterized. This result may be regarded to be an extended revision of the number of edges in an $n$-vertex graph withou… ▽ More In this paper, we present a sharp upper bound for the spectral radius of an $n$-vertex graph without $F$-minor for sufficient large $n$, where $F$ is obtained from the complete graph $K_r$ by deleting disjointed paths. Furthermore, the graphs which achieved the sharp bound are characterized. This result may be regarded to be an extended revision of the number of edges in an $n$-vertex graph without $F$-minor. △ Less

Submitted 12 November, 2023; originally announced November 2023.

Comments: 18 pages, 1 figurs

MSC Class: 05C50; 05C35; 05C83