-
Smooth deformation limit of Moishezon manifolds is Moishezon
Authors:
Mu-lin Li,
Sheng Rao,
Kai Wang,
Meng-jiao Wang
Abstract:
We prove the conjecture that the deformation limit of Moishezon manifolds under a smooth deformation over a unit disk in $\mathbb{C}$ is Moishezon.
We prove the conjecture that the deformation limit of Moishezon manifolds under a smooth deformation over a unit disk in $\mathbb{C}$ is Moishezon.
△ Less
Submitted 2 July, 2024;
originally announced July 2024.
-
Bridging Smoothness and Approximation: Theoretical Insights into Over-Smoothing in Graph Neural Networks
Authors:
Guangrui Yang,
Jianfei Li,
Ming Li,
Han Feng,
Ding-Xuan Zhou
Abstract:
In this paper, we explore the approximation theory of functions defined on graphs. Our study builds upon the approximation results derived from the $K$-functional. We establish a theoretical framework to assess the lower bounds of approximation for target functions using Graph Convolutional Networks (GCNs) and examine the over-smoothing phenomenon commonly observed in these networks. Initially, we…
▽ More
In this paper, we explore the approximation theory of functions defined on graphs. Our study builds upon the approximation results derived from the $K$-functional. We establish a theoretical framework to assess the lower bounds of approximation for target functions using Graph Convolutional Networks (GCNs) and examine the over-smoothing phenomenon commonly observed in these networks. Initially, we introduce the concept of a $K$-functional on graphs, establishing its equivalence to the modulus of smoothness. We then analyze a typical type of GCN to demonstrate how the high-frequency energy of the output decays, an indicator of over-smoothing. This analysis provides theoretical insights into the nature of over-smoothing within GCNs. Furthermore, we establish a lower bound for the approximation of target functions by GCNs, which is governed by the modulus of smoothness of these functions. This finding offers a new perspective on the approximation capabilities of GCNs. In our numerical experiments, we analyze several widely applied GCNs and observe the phenomenon of energy decay. These observations corroborate our theoretical results on exponential decay order.
△ Less
Submitted 1 July, 2024;
originally announced July 2024.
-
Exact results on traces of sets
Authors:
Mingze Li,
Jie Ma,
Mingyuan Rong
Abstract:
For non-negative integers $n$, $m$, $a$ and $b$, we write $\left( n,m \right) \rightarrow \left( a,b \right)$ if for every family $\mathcal{F}\subseteq 2^{[n]}$ with $|\mathcal{F}|\geqslant m$ there is an $a$-element set $T\subseteq [n]$ such that $\left| \mathcal{F}_{\mid T} \right| \geqslant b$, where $\mathcal{F}_{\mid T}=\{ F \cap T : F \in \mathcal{F} \}$. A longstanding problem in extremal s…
▽ More
For non-negative integers $n$, $m$, $a$ and $b$, we write $\left( n,m \right) \rightarrow \left( a,b \right)$ if for every family $\mathcal{F}\subseteq 2^{[n]}$ with $|\mathcal{F}|\geqslant m$ there is an $a$-element set $T\subseteq [n]$ such that $\left| \mathcal{F}_{\mid T} \right| \geqslant b$, where $\mathcal{F}_{\mid T}=\{ F \cap T : F \in \mathcal{F} \}$. A longstanding problem in extremal set theory asks to determine $m(s)=\lim_{n\rightarrow +\infty}\frac{m(n,s)}{n}$, where $m(n,s)$ denotes the maximum integer $m$ such that $\left( n,m \right) \rightarrow \left( n-1,m-s \right)$ holds for non-negatives $n$ and $s$. In this paper, we establish the exact value of $m(2^{d-1}-c)$ for all $1\leqslant c\leqslant d$ whenever $d\geqslant 50$, thereby solving an open problem posed by Piga and Schülke. To be precise, we show that $$m(n,2^{d-1}-c)=\frac{2^{d}-c}{d}n \mbox{ for } 1\leq c\leq d-1 \mbox{ and } d\mid n, \mbox{ and }
m(n,2^{d-1}-d)=\frac{2^{d}-d-0.5}{d}n \mbox{ for } 2d\mid n $$ holds for $d\geq 50$. Furthermore, we provide a proof that confirms a conjecture of Frankl and Watanabe from 1994, demonstrating that $m(11)=5.3$.
△ Less
Submitted 26 June, 2024;
originally announced June 2024.
-
Volume of algebraically integrable foliations and locally stable families
Authors:
**gjun Han,
Junpeng Jiao,
Mengchu Li,
Jihao Liu
Abstract:
In this paper, we study the volume of algebraically integrable foliations and locally stable families. We show that, for any canonical algebraically integrable foliation, its volume belongs to a discrete set depending only on its rank and the volume of its general leaves. In particular, if the foliation is of general type, then its volume has a positive lower bound depending only on its rank and t…
▽ More
In this paper, we study the volume of algebraically integrable foliations and locally stable families. We show that, for any canonical algebraically integrable foliation, its volume belongs to a discrete set depending only on its rank and the volume of its general leaves. In particular, if the foliation is of general type, then its volume has a positive lower bound depending only on its rank and the volume of its general leaves. This implies some special cases of a question posed by Cascini, Hacon, and Langer.
As a consequence, we show that the relative volume of a stable family with a normal generic fiber belongs to a discrete set if the dimension and the volume of its general fibers are bounded. Log versions of the aforementioned theorems are also provided and proved.
△ Less
Submitted 24 June, 2024;
originally announced June 2024.
-
Learning to Cover: Online Learning and Optimization with Irreversible Decisions
Authors:
Alexandre Jacquillat,
Michael Lingzhi Li
Abstract:
We define an online learning and optimization problem with irreversible decisions contributing toward a coverage target. At each period, a decision-maker selects facilities to open, receives information on the success of each one, and updates a machine learning model to guide future decisions. The goal is to minimize costs across a finite horizon under a chance constraint reflecting the coverage t…
▽ More
We define an online learning and optimization problem with irreversible decisions contributing toward a coverage target. At each period, a decision-maker selects facilities to open, receives information on the success of each one, and updates a machine learning model to guide future decisions. The goal is to minimize costs across a finite horizon under a chance constraint reflecting the coverage target. We derive an optimal algorithm and a tight lower bound in an asymptotic regime characterized by a large target number of facilities $m\to\infty$ but a finite horizon $T\in\mathbb{Z}_+$. We find that the regret grows sub-linearly at a rate $Θ\left(m^{\frac{1}{2}\cdot\frac{1}{1-2^{-T}}}\right)$, thus converging exponentially fast to $Θ(\sqrt{m})$. We establish the robustness of this result to the learning environment; we also extend it to a more complicated facility location setting in a bipartite facility-customer graph with a target on customer coverage. Throughout, constructive proofs identify a policy featuring limited exploration initially for learning purposes, and fast exploitation later on for optimization purposes once uncertainty gets mitigated. These findings underscore the benefits of limited online learning and optimization, in that even a few rounds can provide significant benefits as compared to a no-learning baseline.
△ Less
Submitted 20 June, 2024;
originally announced June 2024.
-
The limits of Kahler manifolds under holomorphic deformations
Authors:
Mu-Lin Li,
Wanmin Liu
Abstract:
With some mild assumptions on metric and topology of the central fiber, we prove that the limit of Kahler manifolds under holomorphic deformation is still Kahler.
With some mild assumptions on metric and topology of the central fiber, we prove that the limit of Kahler manifolds under holomorphic deformation is still Kahler.
△ Less
Submitted 20 June, 2024;
originally announced June 2024.
-
Sharp detection of low-dimensional structure in probability measures via dimensional logarithmic Sobolev inequalities
Authors:
Matthew T. C. Li,
Tiangang Cui,
Fengyi Li,
Youssef Marzouk,
Olivier Zahm
Abstract:
Identifying low-dimensional structure in high-dimensional probability measures is an essential pre-processing step for efficient sampling. We introduce a method for identifying and approximating a target measure $π$ as a perturbation of a given reference measure $μ$ along a few significant directions of $\mathbb{R}^{d}$. The reference measure can be a Gaussian or a nonlinear transformation of a Ga…
▽ More
Identifying low-dimensional structure in high-dimensional probability measures is an essential pre-processing step for efficient sampling. We introduce a method for identifying and approximating a target measure $π$ as a perturbation of a given reference measure $μ$ along a few significant directions of $\mathbb{R}^{d}$. The reference measure can be a Gaussian or a nonlinear transformation of a Gaussian, as commonly arising in generative modeling. Our method extends prior work on minimizing majorizations of the Kullback--Leibler divergence to identify optimal approximations within this class of measures. Our main contribution unveils a connection between the \emph{dimensional} logarithmic Sobolev inequality (LSI) and approximations with this ansatz. Specifically, when the target and reference are both Gaussian, we show that minimizing the dimensional LSI is equivalent to minimizing the KL divergence restricted to this ansatz. For general non-Gaussian measures, the dimensional LSI produces majorants that uniformly improve on previous majorants for gradient-based dimension reduction. We further demonstrate the applicability of this analysis to the squared Hellinger distance, where analogous reasoning shows that the dimensional Poincaré inequality offers improved bounds.
△ Less
Submitted 21 June, 2024; v1 submitted 18 June, 2024;
originally announced June 2024.
-
Some Bounds on the Energy of Graphs with Self-Loops regarding $λ_{1}$ and $λ_{n}$
Authors:
Minghua Li,
Yue Liu
Abstract:
Let $G_{S}$ be a graph with $n$ vertices obtained from a simple graph $G$ by attaching one self-loop at each vertex in $S \subseteq V(G)$. The energy of $G_{S}$ is defined by Gutman et al. as $E(G_{S})=\sum_{i=1}^{n}\left| λ_{i} -\fracσ{n} \right|$, where $λ_{1},\dots,λ_{n}$ are the adjacency eigenvalues of $G_{S}$ and $σ$ is the number of self-loops of $G_{S}$. In this paper, several upper and lo…
▽ More
Let $G_{S}$ be a graph with $n$ vertices obtained from a simple graph $G$ by attaching one self-loop at each vertex in $S \subseteq V(G)$. The energy of $G_{S}$ is defined by Gutman et al. as $E(G_{S})=\sum_{i=1}^{n}\left| λ_{i} -\fracσ{n} \right|$, where $λ_{1},\dots,λ_{n}$ are the adjacency eigenvalues of $G_{S}$ and $σ$ is the number of self-loops of $G_{S}$. In this paper, several upper and lower bounds of $E(G_{S})$ regarding $λ_{1}$ and $λ_{n}$ are obtained. Especially, the upper bound $E(G_{S}) \leq \sqrt{n\left(2m+σ-\frac{σ^{2}}{n}\right)}$ $(\ast)$ given by Gutman et al. is improved to the following bound
\begin{align*}
E(G_{S})\leq \sqrt{n\left(2m+σ-\frac{σ^{2}}{n}\right)-\frac{n}{2}\left(\left |λ_{1}-\fracσ{n}\right |-\left |λ_{n}-\fracσ{n}\right |\right)^{2}},
\end{align*} where $\left| λ_{1}-\fracσ{n}\right| \geq \dots \geq \left| λ_{n}-\fracσ{n}\right|$. Moreover, all graphs are characterized when the equality holds in Gutmans' bound $(\ast)$ by using this new bound.
△ Less
Submitted 17 June, 2024;
originally announced June 2024.
-
Structure-preserving finite element methods for computing dynamics of rotating Bose-Einstein condensate
Authors:
Meng Li,
Junjun Wang,
Zhen Guan,
Zhijie Du
Abstract:
This work is concerned with the construction and analysis of structure-preserving Galerkin methods for computing the dynamics of rotating Bose-Einstein condensate (BEC) based on the Gross-Pitaevskii equation with angular momentum rotation. Due to the presence of the rotation term, constructing finite element methods (FEMs) that preserve both mass and energy remains an unresolved issue, particularl…
▽ More
This work is concerned with the construction and analysis of structure-preserving Galerkin methods for computing the dynamics of rotating Bose-Einstein condensate (BEC) based on the Gross-Pitaevskii equation with angular momentum rotation. Due to the presence of the rotation term, constructing finite element methods (FEMs) that preserve both mass and energy remains an unresolved issue, particularly in the context of nonconforming FEMs. Furthermore, in comparison to existing works, we provide a comprehensive convergence analysis, offering a thorough demonstration of the methods' optimal and high-order convergence properties. Finally, extensive numerical results are presented to check the theoretical analysis of the structure-preserving numerical method for rotating BEC, and the quantized vortex lattice's behavior is scrutinized through a series of numerical tests.
△ Less
Submitted 27 May, 2024;
originally announced May 2024.
-
Increasingly Many Bounded Eigenvalues of the Graph of Whitehead Moves
Authors:
Michael Li
Abstract:
In this paper, we investigate the eigenvalues of the Laplacian matrix of the "graph of graphs", in which cubic graphs of order n are joined together using Whitehead moves. Our work follows recent results from arXiv:2303.13923 , which discovered a significant "bottleneck" in the graph of graphs. We found that their bottleneck implies an eigenvalue of order at most O(1). In fact, our main contributi…
▽ More
In this paper, we investigate the eigenvalues of the Laplacian matrix of the "graph of graphs", in which cubic graphs of order n are joined together using Whitehead moves. Our work follows recent results from arXiv:2303.13923 , which discovered a significant "bottleneck" in the graph of graphs. We found that their bottleneck implies an eigenvalue of order at most O(1). In fact, our main contribution is to expand upon this result by showing that the graph of graphs has increasingly many bounded eigenvalues as n increases to infinity. We also show that these eigenvalues are unusually small, in the sense that they are much smaller than the eigenvalues of a random regular graph with an equal number of vertices and a similar degree.
△ Less
Submitted 23 May, 2024;
originally announced May 2024.
-
Conformal metrics with finite total Q-curvature revisited
Authors:
Mingxiang Li
Abstract:
Given a conformal metric with finite total Q-curvature on $\mathbb{R}^n$ for $n\geq4$, we show that the sign of scalar curvature near infinity control not only the upper bound but also the lower bound of Q-curvature integral which is a new phenomenon. Meanwhile, for general complete non-compact four-manifolds with simple ends, we also obtain similar control of the lower bound of Q-curvature integr…
▽ More
Given a conformal metric with finite total Q-curvature on $\mathbb{R}^n$ for $n\geq4$, we show that the sign of scalar curvature near infinity control not only the upper bound but also the lower bound of Q-curvature integral which is a new phenomenon. Meanwhile, for general complete non-compact four-manifolds with simple ends, we also obtain similar control of the lower bound of Q-curvature integral.
△ Less
Submitted 26 May, 2024; v1 submitted 16 May, 2024;
originally announced May 2024.
-
Structure-preserving parametric finite element methods for simulating axisymmetric solid-state dewetting problems with anisotropic surface energies
Authors:
Meng Li,
Chunjie Zhou
Abstract:
Solid-state dewetting (SSD), a widespread phenomenon in solid-solid-vapor system, could be used to describe the accumulation of solid thin films on the substrate. In this work, we consider the sharp interface model for axisymmetric SSD with anisotropic surface energy. By introducing two types of surface energy matrices from the anisotropy functions,we aim to design two structure-preserving algorit…
▽ More
Solid-state dewetting (SSD), a widespread phenomenon in solid-solid-vapor system, could be used to describe the accumulation of solid thin films on the substrate. In this work, we consider the sharp interface model for axisymmetric SSD with anisotropic surface energy. By introducing two types of surface energy matrices from the anisotropy functions,we aim to design two structure-preserving algorithms for the axisymmetric SSD. The newly designed schemes are applicable to a broader range of anisotropy functions, and we can theoretically prove their volume conservation and energy stability. In addition, based on a novel weak formulation for the axisymmetric SSD, we further build another two numerical schemes that have good mesh properties. Finally, numerous numerical tests are reported to showcase the accuracy and efficiency of the numerical methods.
△ Less
Submitted 27 May, 2024; v1 submitted 9 May, 2024;
originally announced May 2024.
-
Structure-preserving weighted BDF2 methods for Anisotropic Cahn-Hilliard model: uniform/variable-time-steps
Authors:
Meng Li,
**gjiang Bi,
Nan Wang
Abstract:
In this paper, we innovatively develop uniform/variable-time-step weighted and shifted BDF2 (WSBDF2) methods for the anisotropic Cahn-Hilliard (CH) model, combining the scalar auxiliary variable (SAV) approach with two types of stabilized techniques. Using the concept of $G$-stability, the uniform-time-step WSBDF2 method is theoretically proved to be energy-stable. Due to the inapplicability of th…
▽ More
In this paper, we innovatively develop uniform/variable-time-step weighted and shifted BDF2 (WSBDF2) methods for the anisotropic Cahn-Hilliard (CH) model, combining the scalar auxiliary variable (SAV) approach with two types of stabilized techniques. Using the concept of $G$-stability, the uniform-time-step WSBDF2 method is theoretically proved to be energy-stable. Due to the inapplicability of the relevant G-stability properties, another technique is adopted in this work to demonstrate the energy stability of the variable-time-step WSBDF2 method. In addition, the two numerical schemes are all mass-conservative.Finally, numerous numerical simulations are presented to demonstrate the stability and accuracy of these schemes.
△ Less
Submitted 15 June, 2024; v1 submitted 20 April, 2024;
originally announced April 2024.
-
Projection method for quasiperiodic elliptic equations and application to quasiperiodic homogenization
Authors:
Kai Jiang,
Meng Li,
Juan Zhang,
Lei Zhang
Abstract:
In this study, our main objective is to address the challenge of solving elliptic equations with quasiperiodic coefficients. To achieve accurate and efficient computation, we introduce the projection method, which enables the embedding of quasiperiodic systems into higher-dimensional periodic systems. To enhance the computational efficiency, we propose a compressed storage strategy for the stiffne…
▽ More
In this study, our main objective is to address the challenge of solving elliptic equations with quasiperiodic coefficients. To achieve accurate and efficient computation, we introduce the projection method, which enables the embedding of quasiperiodic systems into higher-dimensional periodic systems. To enhance the computational efficiency, we propose a compressed storage strategy for the stiffness matrix by its multi-level block circulant structure, reducing memory requirements while preserving accuracy. Furthermore, we design a diagonal preconditioner to efficiently solve the resulting high-dimensional linear system by reducing the condition number of the stiffness matrix. These techniques collectively contribute to the computational effectiveness of our proposed approach. We demonstrate the effectiveness and accuracy of our approach through a series of numerical examples. Moreover, we apply our method to achieve a highly accurate computation of the homogenized coefficients for a quasiperiodic multiscale elliptic equation.
△ Less
Submitted 18 April, 2024; v1 submitted 10 April, 2024;
originally announced April 2024.
-
Existence of solutions to the generalized dual Minkowski problem
Authors:
Mingyang Li,
Yannan Liu,
Jian Lu
Abstract:
Given a real number $q$ and a star body in the $n$-dimensional Euclidean space, the generalized dual curvature measure of a convex body was introduced by Lutwak-Yang-Zhang [43]. The corresponding generalized dual Minkowski problem is studied in this paper. By using variational methods, we solve the generalized dual Minkowski problem for $q<0$, and the even generalized dual Minkowski problem for…
▽ More
Given a real number $q$ and a star body in the $n$-dimensional Euclidean space, the generalized dual curvature measure of a convex body was introduced by Lutwak-Yang-Zhang [43]. The corresponding generalized dual Minkowski problem is studied in this paper. By using variational methods, we solve the generalized dual Minkowski problem for $q<0$, and the even generalized dual Minkowski problem for $0\leq q\leq1$. We also obtain a sufficient condition for the existence of solutions to the even generalized dual Minkowski problem for $1<q<n$.
△ Less
Submitted 2 April, 2024;
originally announced April 2024.
-
Accelerate Solving Expensive Scheduling by Leveraging Economical Auxiliary Tasks
Authors:
Minshuo Li,
Bo Liu,
Bin Xin,
Liang Feng,
Peng Li
Abstract:
To fully leverage the multi-task optimization paradigm for accelerating the solution of expensive scheduling problems, this study has effectively tackled three vital concerns. The primary issue is identifying auxiliary tasks that closely resemble the original expensive task. We suggested a sampling strategy based on job importance, creating a compact matrix by extracting crucial rows from the enti…
▽ More
To fully leverage the multi-task optimization paradigm for accelerating the solution of expensive scheduling problems, this study has effectively tackled three vital concerns. The primary issue is identifying auxiliary tasks that closely resemble the original expensive task. We suggested a sampling strategy based on job importance, creating a compact matrix by extracting crucial rows from the entire problem specification matrix of the expensive task. This matrix serves as an economical auxiliary task. Mathematically, we proved that this economical auxiliary task bears similarity to its corresponding expensive task. The subsequent concern revolves around making auxiliary tasks more cost-effective. We determined the sampling proportions for the entire problem specification matrix through factorial design experiments, resulting in a more compact auxiliary task. With a reduced search space and shorter function evaluation time, it can rapidly furnish high-quality transferable information for the primary task. The last aspect involves designing transferable deep information from auxiliary tasks. We regarded the job priorities in the (sub-) optimal solutions to the economical auxiliary task as transferable invariants. By adopting a partial solution patching strategy, we augmented specificity knowledge onto the common knowledge to adapt to the target expensive task. The strategies devised for constructing task pairs and facilitating knowledge transfer, when incorporated into various evolutionary multitasking algorithms, were utilized to address expensive instances of permutation flow shop scheduling. Extensive experiments and statistical comparisons have validated that, with the collaborative synergy of these strategies, the performance of evolutionary multitasking algorithms is significantly enhanced in handling expensive scheduling tasks.
△ Less
Submitted 1 April, 2024;
originally announced April 2024.
-
A Comparative Study of Artificial Potential Fields and Safety Filters
Authors:
Ming Li,
Zhiyong Sun
Abstract:
In this paper, we have demonstrated that the controllers designed by a classical motion planning tool, namely artificial potential fields (APFs), can be derived from a recently prevalent approach: control barrier function quadratic program (CBF-QP) safety filters. By integrating APF information into the CBF-QP framework, we establish a bridge between these two methodologies. Specifically, this is…
▽ More
In this paper, we have demonstrated that the controllers designed by a classical motion planning tool, namely artificial potential fields (APFs), can be derived from a recently prevalent approach: control barrier function quadratic program (CBF-QP) safety filters. By integrating APF information into the CBF-QP framework, we establish a bridge between these two methodologies. Specifically, this is achieved by employing the attractive potential field as a control Lyapunov function (CLF) to guide the design of the nominal controller, and then the repulsive potential field serves as a reciprocal CBF (RCBF) to define a CBF-QP safety filter. Building on this integration, we extend the design of the CBF-QP safety filter to accommodate a more general class of dynamical models featuring a control-affine structure. This extension yields a special CBF-QP safety filter and a general APF solution suitable for control-affine dynamical models. Through a reach-avoid navigation example, we showcase the efficacy of the developed approaches.
△ Less
Submitted 23 March, 2024;
originally announced March 2024.
-
Structure-preserving, weighted implicit-explicit schemes for multi-phase incompressible Navier-Stokes/Darcy coupled nonlocal Allen-Cahn model
Authors:
Meng Li,
Ke Wang,
Nan Wang
Abstract:
A multitude of substances exist as mixtures comprising multiple chemical components in the natural world. These substances undergo morphological changes under external influences. the phase field model coupled with fluid flow, the dynamic movement and evolution of the phase interface intricately interact with the fluid motion. This article focuses on the N-component models that couple the conserva…
▽ More
A multitude of substances exist as mixtures comprising multiple chemical components in the natural world. These substances undergo morphological changes under external influences. the phase field model coupled with fluid flow, the dynamic movement and evolution of the phase interface intricately interact with the fluid motion. This article focuses on the N-component models that couple the conservative Allen-Cahn equation with two types of incompressible fluid flow systems: the Navier-Stokes equation and the Darcy equation. By utilizing the scalar auxiliary variable method and the projection method, we innovatively construct two types of structure-preserving weighted implicit-explicit schemes for the coupled models, resulting in fully decoupled linear systems and second-order accuracy in time. The schemes are proved to be mass-conservative. In addition, with the application of $G$-norm inspired by the idea of $G$-stability, we rigorously establish its unconditional energy stability. Finally, the performance of the proposed scheme is verified by some numerical simulations.
△ Less
Submitted 20 March, 2024;
originally announced March 2024.
-
Well-posedness and no-uniform dependence for the Euler-Poincaré equations in Triebel-Lizorkin spaces
Authors:
Yuanhua Zhong,
Jianzhong Lu,
Min Li,
**lu Li
Abstract:
In this paper, we study the Cauchy problem of the Euler-Poincaré equations in $\R^d$ with initial data belonging to the Triebel-Lizorkin spaces. We prove the local-in-time unique existence of solutions to the Euler-Poincaré equations in $F^s_{p,r}(\R^d)$. Furthermore, we obtain that the data-to-solution of this equation is continuous but not uniformly continuous in these spaces.
In this paper, we study the Cauchy problem of the Euler-Poincaré equations in $\R^d$ with initial data belonging to the Triebel-Lizorkin spaces. We prove the local-in-time unique existence of solutions to the Euler-Poincaré equations in $F^s_{p,r}(\R^d)$. Furthermore, we obtain that the data-to-solution of this equation is continuous but not uniformly continuous in these spaces.
△ Less
Submitted 19 March, 2024;
originally announced March 2024.
-
Federated Transfer Learning with Differential Privacy
Authors:
Mengchu Li,
Ye Tian,
Yang Feng,
Yi Yu
Abstract:
Federated learning is gaining increasing popularity, with data heterogeneity and privacy being two prominent challenges. In this paper, we address both issues within a federated transfer learning framework, aiming to enhance learning on a target data set by leveraging information from multiple heterogeneous source data sets while adhering to privacy constraints. We rigorously formulate the notion…
▽ More
Federated learning is gaining increasing popularity, with data heterogeneity and privacy being two prominent challenges. In this paper, we address both issues within a federated transfer learning framework, aiming to enhance learning on a target data set by leveraging information from multiple heterogeneous source data sets while adhering to privacy constraints. We rigorously formulate the notion of \textit{federated differential privacy}, which offers privacy guarantees for each data set without assuming a trusted central server. Under this privacy constraint, we study three classical statistical problems, namely univariate mean estimation, low-dimensional linear regression, and high-dimensional linear regression. By investigating the minimax rates and identifying the costs of privacy for these problems, we show that federated differential privacy is an intermediate privacy model between the well-established local and central models of differential privacy. Our analyses incorporate data heterogeneity and privacy, highlighting the fundamental costs of both in federated learning and underscoring the benefit of knowledge transfer across data sets.
△ Less
Submitted 9 April, 2024; v1 submitted 17 March, 2024;
originally announced March 2024.
-
Stability of Stationary Solutions to the Nonisentropic Euler-Poisson System in a Perturbed Half Space
Authors:
Mingjie Li,
Masahiro Suzuki
Abstract:
The main concern of this paper is to mathematically investigate the formation of a plasma sheath near the surface of nonplanar walls. We study the existence and asymptotic stability of stationary solutions for the nonisentropic Euler-Poisson equations in a domain of which boundary is drawn by a graph, by employing a space weighted energy method. Moreover, the convergence rate of the solution towar…
▽ More
The main concern of this paper is to mathematically investigate the formation of a plasma sheath near the surface of nonplanar walls. We study the existence and asymptotic stability of stationary solutions for the nonisentropic Euler-Poisson equations in a domain of which boundary is drawn by a graph, by employing a space weighted energy method. Moreover, the convergence rate of the solution toward the stationary solution is obtained, provided that the initial perturbation belongs to the weighted Sobolev space. Because the domain is the perturbed half space, we first show the time-global solvability of the nonisentropic Euler-Poisson equations, then construct stationary solutions by using the time-global solutions.
△ Less
Submitted 12 March, 2024;
originally announced March 2024.
-
A Tunable Universal Formula for Safety-Critical Control
Authors:
Ming Li,
Zhiyong Sun,
Patrick J. W. Koelewijn,
Siep Weiland
Abstract:
Sontag's universal formula is a widely-used technique for stabilizing control through control Lyapunov functions, and it has been extended to address safety-critical control in recent years by incorporating control barrier functions (CBFs). However, how to derive a universal formula that satisfies requirements on essential properties, including safety, robustness, and smoothness, is still an open…
▽ More
Sontag's universal formula is a widely-used technique for stabilizing control through control Lyapunov functions, and it has been extended to address safety-critical control in recent years by incorporating control barrier functions (CBFs). However, how to derive a universal formula that satisfies requirements on essential properties, including safety, robustness, and smoothness, is still an open problem. To address this challenge, this paper introduces a novel solution - a tunable universal formula - by incorporating a (state-dependent) tunable scaling term into Sontag's universal formula. This tunable scaling term enables the regulation of safety control performances, allowing the attainment of desired properties through a proper selection. Furthermore, we extend this tunable universal formula to address safety-critical control problems with norm-bounded input constraints, showcasing its applicability across diverse control scenarios. Finally, we demonstrate the efficacy of our method through a collision avoidance example, investigating the essential properties including safety, robustness, and smoothness under various tunable scaling terms.
△ Less
Submitted 27 April, 2024; v1 submitted 10 March, 2024;
originally announced March 2024.
-
Unifying Controller Design for Stabilizing Nonlinear Systems with Norm-Bounded Control Inputs
Authors:
Ming Li,
Zhiyong Sun,
Siep Weiland
Abstract:
This paper revisits a classical challenge in the design of stabilizing controllers for nonlinear systems with a norm-bounded input constraint. By extending Lin-Sontag's universal formula and introducing a generic (state-dependent) scaling term, a unifying controller design method is proposed. The incorporation of this generic scaling term gives a unified controller and enables the derivation of al…
▽ More
This paper revisits a classical challenge in the design of stabilizing controllers for nonlinear systems with a norm-bounded input constraint. By extending Lin-Sontag's universal formula and introducing a generic (state-dependent) scaling term, a unifying controller design method is proposed. The incorporation of this generic scaling term gives a unified controller and enables the derivation of alternative universal formulas with various favorable properties, which makes it suitable for tailored control designs to meet specific requirements and provides versatility across different control scenarios. Additionally, we present a constructive approach to determine the optimal scaling term, leading to an explicit solution to an optimization problem, named optimization-based universal formula. The resulting controller ensures asymptotic stability, satisfies a norm-bounded input constraint, and optimizes a predefined cost function. Finally, the essential properties of the unified controllers are analyzed, including smoothness, continuity at the origin, stability margin, and inverse optimality. Simulations validate the approach, showcasing its effectiveness in addressing a challenging stabilizing control problem of a nonlinear system.
△ Less
Submitted 5 March, 2024;
originally announced March 2024.
-
On the positivity of the Q-curvatures of the conformal metrics
Authors:
Mingxiang Li,
Xingwang Xu
Abstract:
We mainly show that for a conformal metric $g=u^{\frac{4}{n-2m}}|dx|^2$ on $\mathbb{R}^n$ with $n\geq 2m+1$, if the higher order Q-curvature $Q^{(2m)}_g$ is positive and has slow decay near infinity, the lower order Q-curvature $Q^{(2)}_g$ and $Q^{(4)}_g$ are both positive if $m$ is at least two.
We mainly show that for a conformal metric $g=u^{\frac{4}{n-2m}}|dx|^2$ on $\mathbb{R}^n$ with $n\geq 2m+1$, if the higher order Q-curvature $Q^{(2m)}_g$ is positive and has slow decay near infinity, the lower order Q-curvature $Q^{(2)}_g$ and $Q^{(4)}_g$ are both positive if $m$ is at least two.
△ Less
Submitted 25 February, 2024;
originally announced February 2024.
-
Optimal Rejection of Bounded Perturbations in Linear Leader-Following Consensus Protocol: Method Invariant Ellipsoid
Authors:
Siyuan Wang,
Andrey Polyakov,
Min Li,
Gang Zheng,
Driss Boutat
Abstract:
The objective of the invariant ellipsoid method is to minimize the smallest invariant and attractive set of a linear control system operating under the influence of bounded external disturbances. In this paper, this method is extended into the leader-following consensus problem. Initially, a linear control protocol is designed for the Multi-agent System without disturbances. Subsequently, in the p…
▽ More
The objective of the invariant ellipsoid method is to minimize the smallest invariant and attractive set of a linear control system operating under the influence of bounded external disturbances. In this paper, this method is extended into the leader-following consensus problem. Initially, a linear control protocol is designed for the Multi-agent System without disturbances. Subsequently, in the presence of bounded disturbances, by employing a similar linear control protocol, a necessary and sufficient condition is introduced to derive the optimal control parameters for the MAS such that the state of followers converge and remain in an minimal invariant ellipsoid around the state of the leader.
△ Less
Submitted 19 February, 2024;
originally announced February 2024.
-
Distributionally Robust Ground Delay Programs with Learning-Driven Airport Capacity Predictions
Authors:
Haochen Wu,
Xinting Zhu,
Shuchang Li,
Ying Zhou,
Lishuai Li,
Max Z. Li
Abstract:
Strategic Traffic Management Initiatives (TMIs) such as Ground Delay Programs (GDPs) play a crucial role in mitigating operational costs associated with demand-capacity imbalances. However, GDPs can only be planned (e.g., duration, delay assignments) with confidence if the future capacities at constrained resources (i.e., airports) are predictable. In reality, such future capacities are uncertain,…
▽ More
Strategic Traffic Management Initiatives (TMIs) such as Ground Delay Programs (GDPs) play a crucial role in mitigating operational costs associated with demand-capacity imbalances. However, GDPs can only be planned (e.g., duration, delay assignments) with confidence if the future capacities at constrained resources (i.e., airports) are predictable. In reality, such future capacities are uncertain, and predictive models may provide forecasts that are vulnerable to errors and distribution shifts. Motivated by the goal of planning optimal GDPs that are \emph{distributionally robust} against airport capacity prediction errors, we study a fully integrated learning-driven optimization framework. We design a deep learning-based prediction model capable of forecasting arrival and departure capacity distributions across a network of airports. We then integrate the forecasts into a distributionally robust formulation of the multi-airport ground holding problem (\textsc{dr-MAGHP}). We show how \textsc{dr-MAGHP} can outperform stochastic optimization when distribution shifts occur, and conclude with future research directions to improve both the learning and optimization stages.
△ Less
Submitted 17 February, 2024;
originally announced February 2024.
-
Spaceport Facility Location Planning within the US National Airspace System
Authors:
Haochen Wu,
Kevin R. Sun,
Jackson A. Miller,
Oliver Jia-Richards,
Max Z. Li
Abstract:
The burgeoning commercial space transportation industry necessitates an expansion of launch infrastructure to meet rising demands. However, future operations from these large-scale infrastructures can result in new impacts, particularly to air traffic operations. To rigorously reason about where such future spaceports might be located and what their impacts might be, we introduce a facility locati…
▽ More
The burgeoning commercial space transportation industry necessitates an expansion of launch infrastructure to meet rising demands. However, future operations from these large-scale infrastructures can result in new impacts, particularly to air traffic operations. To rigorously reason about where such future spaceports might be located and what their impacts might be, we introduce a facility location planning model for future US spaceports (SPFLP). Central considerations for the SPFLP include population density, space launch trajectories, and potential impacts to air traffic within the US National Airspace System (NAS). The SPFLP outputs a cost-optimal set of candidate locations for future spaceports while satisfying a range of operational constraints. By conducting sensitivity analyses on the SPFLP, we are able to examine differences in flight rerouting costs and optimal launch mission allocations. Our model and numerical experiments offer valuable insights for future spaceport site selection, contributing to the strategic development of commercial space transportation while kee** in mind the need to integrate these operations within the NAS.
△ Less
Submitted 17 February, 2024;
originally announced February 2024.
-
Sampling from the Mean-Field Stationary Distribution
Authors:
Yunbum Kook,
Matthew S. Zhang,
Sinho Chewi,
Murat A. Erdogdu,
Mufan Bill Li
Abstract:
We study the complexity of sampling from the stationary distribution of a mean-field SDE, or equivalently, the complexity of minimizing a functional over the space of probability measures which includes an interaction term. Our main insight is to decouple the two key aspects of this problem: (1) approximation of the mean-field SDE via a finite-particle system, via uniform-in-time propagation of ch…
▽ More
We study the complexity of sampling from the stationary distribution of a mean-field SDE, or equivalently, the complexity of minimizing a functional over the space of probability measures which includes an interaction term. Our main insight is to decouple the two key aspects of this problem: (1) approximation of the mean-field SDE via a finite-particle system, via uniform-in-time propagation of chaos, and (2) sampling from the finite-particle stationary distribution, via standard log-concave samplers. Our approach is conceptually simpler and its flexibility allows for incorporating the state-of-the-art for both algorithms and theory. This leads to improved guarantees in numerous settings, including better guarantees for optimizing certain two-layer neural networks in the mean-field regime.
△ Less
Submitted 18 February, 2024; v1 submitted 11 February, 2024;
originally announced February 2024.
-
Time-Delayed Game Strategy Analysis Among Japan, Other Nations, and the International Atomic Energy Agency in the Context of Fukushima Nuclear Wastewater Discharge Decision
Authors:
Mingyang Li,
Han Pengsihua,
Fujiao Meng,
Zejun Wang,
Weian Liu
Abstract:
This academic paper examines the strategic interactions between Japan, other nations, and the International Atomic Energy Agency (IAEA) regarding Japan's decision to release treated nuclear wastewater from the Fukushima Daiichi Nuclear Power Plant into the sea. It introduces a payoff matrix and time-delay elements in replicator dynamic equations to mirror real-world decision-making delays. The pap…
▽ More
This academic paper examines the strategic interactions between Japan, other nations, and the International Atomic Energy Agency (IAEA) regarding Japan's decision to release treated nuclear wastewater from the Fukushima Daiichi Nuclear Power Plant into the sea. It introduces a payoff matrix and time-delay elements in replicator dynamic equations to mirror real-world decision-making delays. The paper analyzes the stability of strategies and conditions for different stable states using characteristic roots of a linearized system and numerical simulations. It concludes that time delays significantly affect decision-making stability and evolution trajectories in nuclear wastewater disposal strategies. The study highlights the importance of efficient wastewater treatment technology, the impact of export tax revenue losses on Japan's strategies, and the role of international cooperation. The novelty of the research lies in integrating time-delay elements from ocean dynamics and governmental decision-making into the game-theoretical model.
△ Less
Submitted 11 February, 2024;
originally announced February 2024.
-
Fukushima Nuclear Wastewater Discharge: An Evolutionary Game Theory Approach to International and Domestic Interaction and Strategic Decision-Making
Authors:
Mingyang Li,
Han Pengsihua,
Songqing Zhao,
Zejun Wang,
Limin Yang,
Weian Liu
Abstract:
On August 24, 2023, Japan controversially decided to discharge nuclear wastewater from the Fukushima Daiichi Nuclear Power Plant into the ocean, sparking intense domestic and global debates. This study uses evolutionary game theory to analyze the strategic dynamics between Japan, other countries, and the Japan Fisheries Association. By incorporating economic, legal, international aid, and environm…
▽ More
On August 24, 2023, Japan controversially decided to discharge nuclear wastewater from the Fukushima Daiichi Nuclear Power Plant into the ocean, sparking intense domestic and global debates. This study uses evolutionary game theory to analyze the strategic dynamics between Japan, other countries, and the Japan Fisheries Association. By incorporating economic, legal, international aid, and environmental factors, the research identifies three evolutionarily stable strategies, analyzing them via numerical simulations. The focus is on Japan's shift from wastewater release to its cessation, exploring the myriad factors influencing this transition and their effects on stakeholders' decisions. Key insights highlight the need for international cooperation, rigorous scientific research, public education, and effective wastewater treatment methods. Offering both a fresh theoretical perspective and practical guidance, this study aims to foster global consensus on nuclear wastewater management, crucial for marine conservation and sustainable development.
△ Less
Submitted 11 February, 2024;
originally announced February 2024.
-
The failure of Hölder regularity of solutions for the Euler-Poincaré equations in Besov spaces
Authors:
Guorong Qu,
Min Li
Abstract:
In this paper, we investigate the continuity of solution to the Euler-Poincaré equations. We show that the continuity of the solution cannot be improved to the Hölder continuity. That is, the solution of the Euler-Poincaré equations with initial data $u_0\in B^s_{p,r}$ belongs to $\mathcal{C}([0,T];B^s_{p,r}(\mathbb R^d))$ but not to $\mathcal{C}^α([0,T];B^s_{p,r}(\mathbb R^d))$ with any…
▽ More
In this paper, we investigate the continuity of solution to the Euler-Poincaré equations. We show that the continuity of the solution cannot be improved to the Hölder continuity. That is, the solution of the Euler-Poincaré equations with initial data $u_0\in B^s_{p,r}$ belongs to $\mathcal{C}([0,T];B^s_{p,r}(\mathbb R^d))$ but not to $\mathcal{C}^α([0,T];B^s_{p,r}(\mathbb R^d))$ with any $α\in(0,1)$.
△ Less
Submitted 1 February, 2024;
originally announced February 2024.
-
A new highly nonlinear equation modelling shallow-water waves with constant vorticity
Authors:
Yu Liu,
Xingxing Liu,
Min Li
Abstract:
In this paper we apply the approach of formal asymptotic expansions and perturbation theory to derive a new highly nonlinear shallow-water model from the full governing equations for two dimensional incompressible fluid with constant vorticity. This approximate model is generated by introduction of a larger scaling than the Camassa-Holm one, which is shown to be optimal in the sense that there are…
▽ More
In this paper we apply the approach of formal asymptotic expansions and perturbation theory to derive a new highly nonlinear shallow-water model from the full governing equations for two dimensional incompressible fluid with constant vorticity. This approximate model is generated by introduction of a larger scaling than the Camassa-Holm one, which is shown to be optimal in the sense that there are no non-local terms appearing in free surface equation. Moreover, we establish the local well-posedness of the Cauchy problem in Besov spaces, and give a blow-up criterion, which improve the previous corresponding results in Sobolev spaces.
△ Less
Submitted 16 January, 2024;
originally announced January 2024.
-
Net-Zero Energy House-oriented Linear Programming for the Sizing Problem of Photovoltaic Panels and Batteries
Authors:
A. Daniel Carnerero,
Taichi Tanaka,
Mengmou Li,
Takeshi Hatanaka,
Yasuaki Wasa,
Kenji Hirata,
Yoshiaki Ushifusa,
Takanori Ida
Abstract:
The global drive towards carbon neutrality has led to a significant increase in the number of power plants based on renewable energy sources (RES). Concurrently, numerous households are adopting RES to generate their own energy, aiming to decrease both electricity costs and carbon footprints. To support these users, many papers have been devoted to develo** optimal investment strategies for resi…
▽ More
The global drive towards carbon neutrality has led to a significant increase in the number of power plants based on renewable energy sources (RES). Concurrently, numerous households are adopting RES to generate their own energy, aiming to decrease both electricity costs and carbon footprints. To support these users, many papers have been devoted to develo** optimal investment strategies for residential energy systems. However, there is still a significant gap as these studies often neglect important aspects like carbon neutrality. For this reason, in this paper, we explore the concept of net-zero energy houses (ZEHs) -- houses designed to have an annual net energy consumption around zero -- by presenting a constrained optimization problem to find the optimal number of photovoltaic panels and the optimal size of the battery system for home integration. Solving this constrained optimization problem is difficult due to its nonconvex constraints. Nevertheless, by applying a series of transformations, we reveal that it is possible to find an equivalent linear programming (LP) problem which is computationally tractable. The attainment of ZEH can be tackled by introducing a single constraint in the optimization problem. Additionally, we propose a sharing economy approach to the investment problem, offering a strategy that could potentially reduce investment costs and facilitate the attainment of ZEH more efficiently. Finally, we apply the proposed frameworks to a neighborhood in Japan as a case study, demonstrating the potential for long-term ZEH attainment. The results show that, under the right incentive, users can achieve ZEH, reduce their electricity costs and have a minimal impact on the main grid.
△ Less
Submitted 11 June, 2024; v1 submitted 14 January, 2024;
originally announced January 2024.
-
Obstructions to prescribed Q-curvature of complete conformal metric on $\mathbb{R}^n$
Authors:
Mingxiang Li
Abstract:
We provide some obstructions to prescribed Q-curvature problem for the complete conformal metric on $\mathbb{R}^n$ with finite total Q-curvature. One of them is a type of Bonnet-Mayer's theorem respect to Q-curvature. Others are concerning about the decay rate of prescribed functions.
We provide some obstructions to prescribed Q-curvature problem for the complete conformal metric on $\mathbb{R}^n$ with finite total Q-curvature. One of them is a type of Bonnet-Mayer's theorem respect to Q-curvature. Others are concerning about the decay rate of prescribed functions.
△ Less
Submitted 7 January, 2024;
originally announced January 2024.
-
A Modified Late Arrival Penalised User Equilibrium Model and Robustness in Data Perturbation
Authors:
Manlan Li,
Huifu Xu
Abstract:
In this paper, we revisit the LAPUE model with a different focus: we begin by adopting a new penalty function which gives a smooth transition of the boundary between lateness and no lateness and demonstrate the LAPUE model based on the new penalty function has a unique equilibrium and is stable with respect to (w.r.t.) small perturbation of probability distribution under moderate conditions. We th…
▽ More
In this paper, we revisit the LAPUE model with a different focus: we begin by adopting a new penalty function which gives a smooth transition of the boundary between lateness and no lateness and demonstrate the LAPUE model based on the new penalty function has a unique equilibrium and is stable with respect to (w.r.t.) small perturbation of probability distribution under moderate conditions. We then move on to discuss statistical robustness of the modified LAPUE (MLAPUE) model by considering the case that the data to be used for fitting the density function may be perturbed in practice or there is a discrepancy between the probability distribution of the underlying uncertainty constructed with empirical data and the true probability distribution in future, we investigate how the data perturbation may affect the equilibrium. We undertake the analysis from two perspectives: (a) a few data are perturbed by outliers and (b) all data are potentially perturbed. In case (a), we use the well-known influence function to quantify the sensitivity of the equilibrium by the outliers and in case (b) we examine the difference between empirical distributions of the equilibrium based on perturbed data and the equilibrium based on unperturbed data. To examine the performance of the MLAPUE model and our theoretical analysis of statistical robustness, we carry out some numerical experiments, the preliminary results confirm the statistical robustness as desired.
△ Less
Submitted 30 December, 2023;
originally announced January 2024.
-
On a Robin-type non-singular coupling scheme for solving the wave scattering problems
Authors:
Xiaojuan Liu,
Maojun Li,
Tao Yin
Abstract:
This paper studies a non-singular coupling scheme for solving the acoustic and elastic wave scattering problems and its extension to the problems of Laplace and Lamé equations and the problem with a compactly supported inhomogeneity is also briefly discussed. Relying on the solution representation of the wave scattering problem, a Robin-type artificial boundary condition in terms of layer potentia…
▽ More
This paper studies a non-singular coupling scheme for solving the acoustic and elastic wave scattering problems and its extension to the problems of Laplace and Lamé equations and the problem with a compactly supported inhomogeneity is also briefly discussed. Relying on the solution representation of the wave scattering problem, a Robin-type artificial boundary condition in terms of layer potentials whose kernels are non-singular, is introduced to obtain a reduced problem on a bounded domain. The wellposedness of the reduced problems and the a priori error estimates of the corresponding finite element discretization are proved. Numerical examples are presented to demonstrate the accuracy and efficiency of the proposed method.
△ Less
Submitted 24 December, 2023;
originally announced December 2023.
-
The uniform existence time and Zero-Alpha limit problem of the Euler-Poincaré equations
Authors:
Min Li,
Zhaoyang Yin
Abstract:
We consider the Cauchy problem of the Euler-Poincaré equations in $\mathbb{R}^d$ with a varying dispersion parameter $α$. Based on the convex entropy structure and the modified commutator estimates, we have proved that the Euler-Poincaré equations have a uniform existence time with respect to $α$ in Sobolev spaces $H^s.$ Combined with the Bona-Simth method, we obtain convergence of the solutions t…
▽ More
We consider the Cauchy problem of the Euler-Poincaré equations in $\mathbb{R}^d$ with a varying dispersion parameter $α$. Based on the convex entropy structure and the modified commutator estimates, we have proved that the Euler-Poincaré equations have a uniform existence time with respect to $α$ in Sobolev spaces $H^s.$ Combined with the Bona-Simth method, we obtain convergence of the solutions to the Euler-Poincaré equations as $α\to 0$ in the same space where the initial data are located.
△ Less
Submitted 17 June, 2024; v1 submitted 19 December, 2023;
originally announced December 2023.
-
Boundary behavior of limit-interfaces for the Allen-Cahn equation on Riemannian manifolds with Neumann boundary condition
Authors:
Martin Li,
Davide Parise,
Lorenzo Sarnataro
Abstract:
We study the boundary behavior of any limit-interface arising from a sequence of general critical points of the Allen-Cahn energy functionals on a smooth bounded domain. Given any such sequence with uniform energy bounds, we prove that the limit-interface is a free boundary varifold which is integer rectifiable up to the boundary. This extends earlier work of Hutchinson and Tonegawa on the interio…
▽ More
We study the boundary behavior of any limit-interface arising from a sequence of general critical points of the Allen-Cahn energy functionals on a smooth bounded domain. Given any such sequence with uniform energy bounds, we prove that the limit-interface is a free boundary varifold which is integer rectifiable up to the boundary. This extends earlier work of Hutchinson and Tonegawa on the interior regularity of such limit-interface. A key novelty in our result is that no convexity assumption of the boundary is required and it is valid even when the limit-interface clusters near the boundary. Moreover, our arguments are local and thus works in the Riemannian setting. This work provides the first step towards the regularity theory for the Allen-Cahn min-max theory for free boundary minimal hypersurfaces, which was developed in the Almgren-Pitts setting by the first-named author and Zhou.
△ Less
Submitted 12 December, 2023;
originally announced December 2023.
-
Linear-quadratic Mean Field Control with Non-convex Data
Authors:
Mengzhen Li,
Chenchen Mou,
Zhen Wu,
Chao Zhou
Abstract:
In this manuscript, we study a class of linear-quadratic (LQ) mean field control problems with a common noise and their corresponding $N$-particle systems. The mean field control problems considered are not standard LQ mean field control problems in the sense that their dependence on the mean field terms can be non-linear and non-convex. Therefore, all the existing methods to deal with LQ mean fie…
▽ More
In this manuscript, we study a class of linear-quadratic (LQ) mean field control problems with a common noise and their corresponding $N$-particle systems. The mean field control problems considered are not standard LQ mean field control problems in the sense that their dependence on the mean field terms can be non-linear and non-convex. Therefore, all the existing methods to deal with LQ mean field control problems fail. The key idea to solve our LQ mean field control problem is to utilize the common noise. We first prove the global well-posedness of the corresponding Hamilton-Jacobi equations via the non-degeneracy of the common noise. In contrast to the LQ mean field games master equations, the Hamilton-Jacobi equations for the LQ mean field control problems can not be reduced to finite-dimensional PDEs. We then globally solve the Hamilton-Jacobi equations for $N$-particle systems. As byproducts, we derive the optimal quantitative convergence results from the $N$-particle systems to the mean field control problem and the propagation of chaos property for the related optimal trajectories. This paper extends the results in [{\sc M. Li, C. Mou, Z. Wu and C. Zhou}, \emph{Trans. Amer. Math. Soc.}, 376(06) (2023), pp.~4105--4143] to the LQ mean field control problems.
△ Less
Submitted 30 November, 2023;
originally announced November 2023.
-
A note on the uniqueness of minimal maps into $\mathbb{R}^n$ via singular values
Authors:
Minghao Li,
Ling Yang,
Taiyang Zhu
Abstract:
In this note, we derive a uniqueness theorem for minimal graphs of general codimension under certain restrictions closed related to the convexity (not strict convexity) of the area functional with respect to singular values, improving the result in \cite{L-O-T}. The crucial step of the proof is to show the local linearity of the singular value vectors along the geodesic homotopy of two given minim…
▽ More
In this note, we derive a uniqueness theorem for minimal graphs of general codimension under certain restrictions closed related to the convexity (not strict convexity) of the area functional with respect to singular values, improving the result in \cite{L-O-T}. The crucial step of the proof is to show the local linearity of the singular value vectors along the geodesic homotopy of two given minimal maps.
△ Less
Submitted 18 November, 2023;
originally announced November 2023.
-
Schwarz Lemma and Schwarz-Pick Lemma for solutions of the $α$-harmonic equation
Authors:
Ming Li,
Xiu-Shuang Ma,
Li-Mei Wang
Abstract:
In this paper, the Schwarz type and Schwarz-Pick type inequalities for solutions of $α$-harmonic equation for $α>-1$ are investigated. By making use of the integral of trigonometric functions, we obtain the two types of inequalities in terms of hypergeometric functions which improve the corresponding results due to Khalfallah et al. (Complex Var. Elliptic Equ., 2023) and Li et al. (Bull. Malays. M…
▽ More
In this paper, the Schwarz type and Schwarz-Pick type inequalities for solutions of $α$-harmonic equation for $α>-1$ are investigated. By making use of the integral of trigonometric functions, we obtain the two types of inequalities in terms of hypergeometric functions which improve the corresponding results due to Khalfallah et al. (Complex Var. Elliptic Equ., 2023) and Li et al. (Bull. Malays. Math. Sci. Soc., 2022).
△ Less
Submitted 16 November, 2023;
originally announced November 2023.
-
A Large Deviations Perspective on Policy Gradient Algorithms
Authors:
Wouter Jongeneel,
Daniel Kuhn,
Mengmeng Li
Abstract:
Motivated by policy gradient methods in the context of reinforcement learning, we identify a large deviation rate function for the iterates generated by stochastic gradient descent for possibly non-convex objectives satisfying a Polyak-Łojasiewicz condition. Leveraging the contraction principle from large deviations theory, we illustrate the potential of this result by showing how convergence prop…
▽ More
Motivated by policy gradient methods in the context of reinforcement learning, we identify a large deviation rate function for the iterates generated by stochastic gradient descent for possibly non-convex objectives satisfying a Polyak-Łojasiewicz condition. Leveraging the contraction principle from large deviations theory, we illustrate the potential of this result by showing how convergence properties of policy gradient with a softmax parametrization and an entropy regularized objective can be naturally extended to a wide spectrum of other policy parametrizations.
△ Less
Submitted 3 June, 2024; v1 submitted 13 November, 2023;
originally announced November 2023.
-
Empirical Lossless Compression Bound of a Data Sequence
Authors:
Lei M Li
Abstract:
We consider the lossless compression bound of any individual data sequence. If we fit the data by a parametric model, the entropy quantity $nH({\hat θ}_n)$ obtained by plugging in the maximum likelihood estimate is an underestimate of the bound, where $n$ is the number of words. Shtarkov showed that the normalized maximum likelihood (NML) distribution or code length is optimal in a minimax sense f…
▽ More
We consider the lossless compression bound of any individual data sequence. If we fit the data by a parametric model, the entropy quantity $nH({\hat θ}_n)$ obtained by plugging in the maximum likelihood estimate is an underestimate of the bound, where $n$ is the number of words. Shtarkov showed that the normalized maximum likelihood (NML) distribution or code length is optimal in a minimax sense for any parametric family. We show by the local asymptotic normality that the NML code length for the exponential families is $nH(\hat θ_n) +\frac{d}{2}\log \, \frac{n}{2π} +\log \int_Θ |I(θ)|^{1/2}\, dθ+o(1)$, where $d$ is the model dimension or dictionary size, and $|I(θ)|$ is the determinant of the Fisher information matrix. We also demonstrate that sequentially predicting the optimal code length for the next word via a Bayesian mechanism leads to the mixture code, whose pathwise length is given by $nH({\hat θ}_n) +\frac{d}{2}\log \, \frac{n}{2π} +\log \frac{|\, I({\hat θ}_n)|^{1/2}}{w({\hat θ}_n)}+o(1) $, where $w(θ)$ is a prior. The asymptotics apply to not only discrete symbols but also continuous data if the code length for the former is replaced by the description length for the latter. The analytical result is exemplified by calculating compression bounds of protein-encoding DNA sequences under different parsing models. Typically, the highest compression is achieved when the parsing is in phase of the amino acid codons. On the other hand, the compression rates of pseudo-random sequences are larger than 1 regardless parsing models. These model-based results are in consistency with that random sequences are incompressible as asserted by the Kolmogorov complexity theory. The empirical lossless compression bound is particularly more accurate when dictionary size is relatively large.
△ Less
Submitted 22 January, 2024; v1 submitted 2 November, 2023;
originally announced November 2023.
-
Neural Stress Fields for Reduced-order Elastoplasticity and Fracture
Authors:
Zeshun Zong,
Xuan Li,
Minchen Li,
Maurizio M. Chiaramonte,
Wojciech Matusik,
Eitan Grinspun,
Kevin Carlberg,
Chenfanfu Jiang,
Peter Yichen Chen
Abstract:
We propose a hybrid neural network and physics framework for reduced-order modeling of elastoplasticity and fracture. State-of-the-art scientific computing models like the Material Point Method (MPM) faithfully simulate large-deformation elastoplasticity and fracture mechanics. However, their long runtime and large memory consumption render them unsuitable for applications constrained by computati…
▽ More
We propose a hybrid neural network and physics framework for reduced-order modeling of elastoplasticity and fracture. State-of-the-art scientific computing models like the Material Point Method (MPM) faithfully simulate large-deformation elastoplasticity and fracture mechanics. However, their long runtime and large memory consumption render them unsuitable for applications constrained by computation time and memory usage, e.g., virtual reality. To overcome these barriers, we propose a reduced-order framework. Our key innovation is training a low-dimensional manifold for the Kirchhoff stress field via an implicit neural representation. This low-dimensional neural stress field (NSF) enables efficient evaluations of stress values and, correspondingly, internal forces at arbitrary spatial locations. In addition, we also train neural deformation and affine fields to build low-dimensional manifolds for the deformation and affine momentum fields. These neural stress, deformation, and affine fields share the same low-dimensional latent space, which uniquely embeds the high-dimensional simulation state. After training, we run new simulations by evolving in this single latent space, which drastically reduces the computation time and memory consumption. Our general continuum-mechanics-based reduced-order framework is applicable to any phenomena governed by the elastodynamics equation. To showcase the versatility of our framework, we simulate a wide range of material behaviors, including elastica, sand, metal, non-Newtonian fluids, fracture, contact, and collision. We demonstrate dimension reduction by up to 100,000X and time savings by up to 10X.
△ Less
Submitted 26 October, 2023;
originally announced October 2023.
-
Functional estimation in high-dimensional and infinite-dimensional models
Authors:
Vladimir Koltchinskii,
Minghao Li
Abstract:
Let ${\mathcal P}$ be a family of probability measures on a measurable space $(S,{\mathcal A}).$ Given a Banach space $E,$ a functional $f:E\mapsto {\mathbb R}$ and a map** $θ: {\mathcal P}\mapsto E,$ our goal is to estimate $f(θ(P))$ based on i.i.d. observations $X_1,\dots, X_n\sim P, P\in {\mathcal P}.$ In particular, if ${\mathcal P}=\{P_θ: θ\in Θ\}$ is an identifiable statistical model with…
▽ More
Let ${\mathcal P}$ be a family of probability measures on a measurable space $(S,{\mathcal A}).$ Given a Banach space $E,$ a functional $f:E\mapsto {\mathbb R}$ and a map** $θ: {\mathcal P}\mapsto E,$ our goal is to estimate $f(θ(P))$ based on i.i.d. observations $X_1,\dots, X_n\sim P, P\in {\mathcal P}.$ In particular, if ${\mathcal P}=\{P_θ: θ\in Θ\}$ is an identifiable statistical model with parameter set $Θ\subset E,$ one can consider the map** $θ(P)=θ$ for $P\in {\mathcal P}, P=P_θ,$ resulting in a problem of estimation of $f(θ)$ based on i.i.d. observations $X_1,\dots, X_n\sim P_θ, θ\in Θ.$ Given a smooth functional $f$ and estimators $\hat θ_n(X_1,\dots, X_n), n\geq 1$ of $θ(P),$ we use these estimators, the sample split and the Taylor expansion of $f(θ(P))$ of a proper order to construct estimators $T_f(X_1,\dots, X_n)$ of $f(θ(P)).$ For these estimators and for a functional $f$ of smoothness $s\geq 1,$ we prove upper bounds on the $L_p$-errors of estimator $T_f(X_1,\dots, X_n)$ under certain moment assumptions on the base estimators $\hat θ_n.$ We study the performance of estimators $T_f(X_1,\dots, X_n)$ in several concrete problems, showing their minimax optimality and asymptotic efficiency. In particular, this includes functional estimation in high-dimensional models with many low dimensional components, functional estimation in high-dimensional exponential families and estimation of functionals of covariance operators in infinite-dimensional subgaussian models.
△ Less
Submitted 24 October, 2023;
originally announced October 2023.
-
Fast computation and characterization of forced response surfaces via spectral submanifolds and parameter continuation
Authors:
Mingwu Li,
Shobhit Jain,
George Haller
Abstract:
For mechanical systems subject to periodic excitation, forced response curves (FRCs) depict the relationship between the amplitude of the periodic response and the forcing frequency. For nonlinear systems, this functional relationship is different for different forcing amplitudes. Forced response surfaces (FRSs), which relate the response amplitude to both forcing frequency and forcing amplitude,…
▽ More
For mechanical systems subject to periodic excitation, forced response curves (FRCs) depict the relationship between the amplitude of the periodic response and the forcing frequency. For nonlinear systems, this functional relationship is different for different forcing amplitudes. Forced response surfaces (FRSs), which relate the response amplitude to both forcing frequency and forcing amplitude, are then required in such settings. Yet, FRSs have been rarely computed in the literature due to the higher numerical effort they require. Here, we use spectral submanifolds (SSMs) to construct reduced-order models (ROMs) for high-dimensional mechanical systems and then use multidimensional manifold continuation of fixed points of the SSM-based ROMs to efficiently extract the FRSs. Ridges and trenches in an FRS characterize the main features of the forced response. We show how to extract these ridges and trenches directly without computing the FRS via reduced optimization problems on the ROMs. We demonstrate the effectiveness and efficiency of the proposed approach by calculating the FRSs and their ridges and trenches for a plate with a 1:1 internal resonance and for a shallow shell with a 1:2 internal resonance.
△ Less
Submitted 23 October, 2023;
originally announced October 2023.
-
Branch-and-Price for Prescriptive Contagion Analytics
Authors:
Alexandre Jacquillat,
Michael Lingzhi Li,
Martin Ramé,
Kai Wang
Abstract:
Predictive contagion models are ubiquitous in epidemiology, social sciences, engineering, and management. This paper formulates a prescriptive contagion analytics model where a decision-maker allocates shared resources across multiple segments of a population, each governed by continuous-time dynamics. We define four real-world problems under this umbrella: vaccine distribution, vaccination center…
▽ More
Predictive contagion models are ubiquitous in epidemiology, social sciences, engineering, and management. This paper formulates a prescriptive contagion analytics model where a decision-maker allocates shared resources across multiple segments of a population, each governed by continuous-time dynamics. We define four real-world problems under this umbrella: vaccine distribution, vaccination centers deployment, content promotion, and congestion mitigation. These problems feature a large-scale mixed-integer non-convex optimization structure with constraints governed by ordinary differential equations, combining the challenges of discrete optimization, non-linear optimization, and continuous-time system dynamics. This paper develops a branch-and-price methodology for prescriptive contagion analytics based on: (i) a set partitioning reformulation; (ii) a column generation decomposition; (iii) a state-clustering algorithm for discrete-decision continuous-state dynamic programming; and (iv) a tri-partite branching scheme to circumvent non-linearities. Extensive experiments show that the algorithm scales to very large and otherwise-intractable instances, outperforming state-of-the-art benchmarks. Our methodology provides practical benefits in contagion systems; in particular, it can increase the effectiveness of a vaccination campaign by an estimated 12-70%, resulting in 7,000 to 12,000 extra saved lives over a three-month horizon mirroring the COVID-19 pandemic. We provide an open-source implementation of the methodology in an online repository to enable replication.
△ Less
Submitted 23 October, 2023;
originally announced October 2023.
-
Classification results for Hermitian non-Kähler gravitational instantons
Authors:
Mingyang Li
Abstract:
In this paper:
1. We give a complete classification of Hermitian non-Kähler ALF/AF gravitational instantons. This confirms a conjecture by Aksteiner-Andersson.
2. We also show that such gravitational instantons can be compactified to toric log del Pezzo surfaces. This explains a curious relation between Hermitian non-Kähler ALF/AF gravitational instantons and compact Hermitian non-Kähler Einst…
▽ More
In this paper:
1. We give a complete classification of Hermitian non-Kähler ALF/AF gravitational instantons. This confirms a conjecture by Aksteiner-Andersson.
2. We also show that such gravitational instantons can be compactified to toric log del Pezzo surfaces. This explains a curious relation between Hermitian non-Kähler ALF/AF gravitational instantons and compact Hermitian non-Kähler Einstein 4-manifolds.
3. We prove the non-existence of ALG and ALH type Hermitian non-Kähler gravitational instantons.
△ Less
Submitted 29 March, 2024; v1 submitted 19 October, 2023;
originally announced October 2023.
-
Zero-filter limit issue for the Camassa-Holm equation in Besov spaces
Authors:
Yuxing Cheng,
Jianzhong Lu,
Min Li,
Xing Wu,
**lu Li
Abstract:
In this paper, we focus on zero-filter limit problem for the Camassa-Holm equation in the more general Besov spaces. We prove that the solution of the Camassa-Holm equation converges strongly in $L^\infty(0,T;B^s_{2,r}(\R))$ to the inviscid Burgers equation as the filter parameter $α$ tends to zero with the given initial data $u_0\in B^s_{2,r}(\R)$. Moreover, we also show that the zero-filter limi…
▽ More
In this paper, we focus on zero-filter limit problem for the Camassa-Holm equation in the more general Besov spaces. We prove that the solution of the Camassa-Holm equation converges strongly in $L^\infty(0,T;B^s_{2,r}(\R))$ to the inviscid Burgers equation as the filter parameter $α$ tends to zero with the given initial data $u_0\in B^s_{2,r}(\R)$. Moreover, we also show that the zero-filter limit for the Camassa-Holm equation does not converges uniformly with respect to the initial data in $B^s_{2,r}(\R)$.
△ Less
Submitted 15 October, 2023;
originally announced October 2023.
-
Statistical Performance Guarantee for Subgroup Identification with Generic Machine Learning
Authors:
Michael Lingzhi Li,
Kosuke Imai
Abstract:
Across a wide array of disciplines, many researchers use machine learning (ML) algorithms to identify a subgroup of individuals who are likely to benefit from a treatment the most (``exceptional responders'') or those who are harmed by it. A common approach to this subgroup identification problem consists of two steps. First, researchers estimate the conditional average treatment effect (CATE) usi…
▽ More
Across a wide array of disciplines, many researchers use machine learning (ML) algorithms to identify a subgroup of individuals who are likely to benefit from a treatment the most (``exceptional responders'') or those who are harmed by it. A common approach to this subgroup identification problem consists of two steps. First, researchers estimate the conditional average treatment effect (CATE) using an ML algorithm. Next, they use the estimated CATE to select those individuals who are predicted to be most affected by the treatment, either positively or negatively. Unfortunately, CATE estimates are often biased and noisy. In addition, utilizing the same data to both identify a subgroup and estimate its group average treatment effect results in a multiple testing problem. To address these challenges, we develop uniform confidence bands for estimation of the group average treatment effect sorted by generic ML algorithm (GATES). Using these uniform confidence bands, researchers can identify, with a statistical guarantee, a subgroup whose GATES exceeds a certain effect size, regardless of how this effect size is chosen. The validity of the proposed methodology depends solely on randomization of treatment and random sampling of units. Importantly, our method does not require modeling assumptions and avoids a computationally intensive resampling procedure. A simulation study shows that the proposed uniform confidence bands are reasonably informative and have an appropriate empirical coverage even when the sample size is as small as 100. We analyze a clinical trial of late-stage prostate cancer and find a relatively large proportion of exceptional responders.
△ Less
Submitted 20 December, 2023; v1 submitted 11 October, 2023;
originally announced October 2023.