Showing 1–50 of 604 results for author: Li, L

The $L^p$ Poisson-Neumann problem and its relation to the Neumann problem

Authors: Joseph Feneuil, Linhan Li

Abstract: We introduce the $L^p$ Poisson-Neumann problem for an uniformly elliptic operator $L=-\rm{div }A\nabla$ in divergence form in a bounded 1-sided Chord Arc Domain $Ω$, which considers solutions to $Lu=h-\rm{div}\vec{F}$ in $Ω$ with zero Neumann data on the boundary for $h$ and $\vec F$ in some tent spaces. We give different characterizations of solvability of the $L^p$ Poisson-Neumann problem and it… ▽ More We introduce the $L^p$ Poisson-Neumann problem for an uniformly elliptic operator $L=-\rm{div }A\nabla$ in divergence form in a bounded 1-sided Chord Arc Domain $Ω$, which considers solutions to $Lu=h-\rm{div}\vec{F}$ in $Ω$ with zero Neumann data on the boundary for $h$ and $\vec F$ in some tent spaces. We give different characterizations of solvability of the $L^p$ Poisson-Neumann problem and its weaker variants, and in particular, we show that solvability of the weak $L^p$ Poisson-Neumann probelm is equivalent to a weak reverse Hölder inequality. We show that the Poisson-Neumman problem is closely related to the $L^p$ Neumann problem, whose solvability is a long-standing open problem. We are able to improve the extrapolation of the $L^p$ Neumann problem from Kenig and Pipher by obtaining an extrapolation result on the Poisson-Neumann problem. △ Less

Submitted 24 June, 2024; originally announced June 2024.

Comments: 49 pages

MSC Class: 35J25

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 free boundary problem of an epidemic model with nonlocal diffusions and nonlocal reactions: spreading-vanishing dichotomy

Authors: Xue** Li, Lei Li, Mingxin Wang

Abstract: This paper concerns the free boundary problem of an epidemic model. The spatial movements of the infectious agents and the infective humans are approximated by nonlocal diffusion operators. Especially, both the growth rate of the agents and the infective rate of humans are represented by nonlocal reaction terms. Thus our model has four integral terms which bring some diffculties for the study of t… ▽ More This paper concerns the free boundary problem of an epidemic model. The spatial movements of the infectious agents and the infective humans are approximated by nonlocal diffusion operators. Especially, both the growth rate of the agents and the infective rate of humans are represented by nonlocal reaction terms. Thus our model has four integral terms which bring some diffculties for the study of the corresponding principal eigenvalue problem. Firstly, using some elementray analysis instead of Krein-Rutman theorem and the variational characteristic, we obtain the existence and asymptotic behaviors of principal eigenvalue. Then a spreading-vanishing dichotomy is proved to hold, and the criteria for spreading and vanishing are derived. Lastly, comparing our results with those in the existing works, we discuss the effect of nonlocal reaction term on spreading and vanishing, finding that the more nonlocal reaction terms a model has, the harder spreading happens. △ Less

Submitted 10 June, 2024; v1 submitted 7 June, 2024; originally announced June 2024.

Boundedness of Multiparameter Forelli-Rudin Type Operators on Product $L^p$ Spaces over Tubular Domains

Authors: Lvchang Li, Yuheng Liang, Haichou Li

Abstract: In this paper, we introduce and study two classes of multiparameter Forelli-Rudin type operators from $L^{\vec{p}}\left(T_B\times T_B, dV_{α_1}\times dV_{α_2}\right)$ to $L^{\vec{q}}\left(T_B\times T_B, dV_{β_1}\times dV_{β_2}\right)$, especially on their boundedness, where $L^{\vec{p}}\left(T_B\times T_B, dV_{α_1}\times dV_{α_2}\right)$ and… ▽ More In this paper, we introduce and study two classes of multiparameter Forelli-Rudin type operators from $L^{\vec{p}}\left(T_B\times T_B, dV_{α_1}\times dV_{α_2}\right)$ to $L^{\vec{q}}\left(T_B\times T_B, dV_{β_1}\times dV_{β_2}\right)$, especially on their boundedness, where $L^{\vec{p}}\left(T_B\times T_B, dV_{α_1}\times dV_{α_2}\right)$ and $L^{\vec{q}}\left(T_B\times T_B, dV_{β_1}\times dV_{β_2}\right)$ are both weighted Lebesgue spaces over the Cartesian product of two tubular domains $T_B\times T_B$, with mixed-norm and appropriate weights. We completely characterize the boundedness of these two operators when $1\le \vec{p}\le \vec{q}<\infty$. Moreover, we provide the necessary and sufficient condition of the case that $\vec{q}=(\infty,\infty)$. As an application, we obtain the boundedness of three common classes of integral operators, including the weighted multiparameter Bergman-type projection and the weighted multiparameter Berezin-type transform. △ Less

Submitted 7 June, 2024; originally announced June 2024.

Uniform Resolvent Estimates for Subwavelength Resonators: The Minnaert Bubble Case

Authors: Long Li, Mourad Sini

Abstract: Subwavelength resonators are small scaled objects that exhibit contrasting medium properties (eigher in intensity or sign) while compared to the ones of a uniform background. Such contrasts allow them to resonate at specific frequencies. There are two ways to mathematically define these resonances. First, as the frequencies for which the related system of integral equations is not injective. Secon… ▽ More Subwavelength resonators are small scaled objects that exhibit contrasting medium properties (eigher in intensity or sign) while compared to the ones of a uniform background. Such contrasts allow them to resonate at specific frequencies. There are two ways to mathematically define these resonances. First, as the frequencies for which the related system of integral equations is not injective. Second, as the frequencies for which the related resolvent operator of the natural Hamiltonian has a pole. In this work, we consider, as the subwavelength resonator, the Minneart bubble. We show that these two mentioned definitions are equivalent. Most importantly, 1. we derive the related resolvent estimates which are uniform in terms of the size/contrast of the resonators. As a by product, we show that the resolvent operators have no resonances in the upper half complex plane while they exhibit two resonances in the lower half plane which converge to the real axis, as the size of the bubble tends to zero. These resonances are related to the Minnaert frequency (which constitutes their dominating real part). 2. we derive the asymptotic estimates of the generated scattered fields which are uniform in terms of the incident frequency and which are valid everywhere in space (i.e. inside or outside the bubble). \end{enumerate} The dominating parts, for both the resolvent operator and the scattered fields, are given by the ones of the point-scatterer supported at the location of the bubble. In particular, these dominant parts are non trivial (not the same as those of the background medium) if and only if the used incident frequency identifies with the Minnaert one. △ Less

Submitted 13 June, 2024; v1 submitted 4 June, 2024; originally announced June 2024.

Combining physics-informed graph neural network and finite difference for solving forward and inverse spatiotemporal PDEs

Authors: Hao Zhang, Longxiang Jiang, Xinkun Chu, Yong Wen, Luxiong Li, Yonghao Xiao, Liyuan Wang

Abstract: The great success of Physics-Informed Neural Networks (PINN) in solving partial differential equations (PDEs) has significantly advanced our simulation and understanding of complex physical systems in science and engineering. However, many PINN-like methods are poorly scalable and are limited to in-sample scenarios. To address these challenges, this work proposes a novel discrete approach termed P… ▽ More The great success of Physics-Informed Neural Networks (PINN) in solving partial differential equations (PDEs) has significantly advanced our simulation and understanding of complex physical systems in science and engineering. However, many PINN-like methods are poorly scalable and are limited to in-sample scenarios. To address these challenges, this work proposes a novel discrete approach termed Physics-Informed Graph Neural Network (PIGNN) to solve forward and inverse nonlinear PDEs. In particular, our approach seamlessly integrates the strength of graph neural networks (GNN), physical equations and finite difference to approximate solutions of physical systems. Our approach is compared with the PINN baseline on three well-known nonlinear PDEs (heat, Burgers and FitzHugh-Nagumo). We demonstrate the excellent performance of the proposed method to work with irregular meshes, longer time steps, arbitrary spatial resolutions, varying initial conditions (ICs) and boundary conditions (BCs) by conducting extensive numerical experiments. Numerical results also illustrate the superiority of our approach in terms of accuracy, time extrapolability, generalizability and scalability. The main advantage of our approach is that models trained in small domains with simple settings have excellent fitting capabilities and can be directly applied to more complex situations in large domains. △ Less

Submitted 14 June, 2024; v1 submitted 30 May, 2024; originally announced May 2024.

Reinforcement Learning for Jump-Diffusions

Authors: Xuefeng Gao, Lingfei Li, Xun Yu Zhou

Abstract: We study continuous-time reinforcement learning (RL) for stochastic control in which system dynamics are governed by jump-diffusion processes. We formulate an entropy-regularized exploratory control problem with stochastic policies to capture the exploration--exploitation balance essential for RL. Unlike the pure diffusion case initially studied by Wang et al. (2020), the derivation of the explora… ▽ More We study continuous-time reinforcement learning (RL) for stochastic control in which system dynamics are governed by jump-diffusion processes. We formulate an entropy-regularized exploratory control problem with stochastic policies to capture the exploration--exploitation balance essential for RL. Unlike the pure diffusion case initially studied by Wang et al. (2020), the derivation of the exploratory dynamics under jump-diffusions calls for a careful formulation of the jump part. Through a theoretical analysis, we find that one can simply use the same policy evaluation and q-learning algorithms in Jia and Zhou (2022a, 2023), originally developed for controlled diffusions, without needing to check a priori whether the underlying data come from a pure diffusion or a jump-diffusion. However, we show that the presence of jumps ought to affect parameterizations of actors and critics in general. Finally, we investigate as an application the mean-variance portfolio selection problem with stock price modelled as a jump-diffusion, and show that both RL algorithms and parameterizations are invariant with respect to jumps. △ Less

Submitted 26 May, 2024; originally announced May 2024.

Global existence and Rayleigh-Taylor instability for the semi-dissipative Boussinesq system with Naiver boundary conditions

Authors: Huafei Di, Liang Li, Xiaoming Peng, Quan Wang

Abstract: Considered herein is the global existence of weak, strong solutions and Rayleigh-Taylor (RT) instability for 2D semi-dissipative Boussinesq equations in an infinite strip domain $Ω_{\infty}$ subject to Navier boundary conditions with non-positive slip coefficients. We first prove the global existence of weak and strong solutions on bounded domain $Ω_{R}$ via the Galerkin method, characteristic ana… ▽ More Considered herein is the global existence of weak, strong solutions and Rayleigh-Taylor (RT) instability for 2D semi-dissipative Boussinesq equations in an infinite strip domain $Ω_{\infty}$ subject to Navier boundary conditions with non-positive slip coefficients. We first prove the global existence of weak and strong solutions on bounded domain $Ω_{R}$ via the Galerkin method, characteristic analyzing technique and Stokes estimates etc. Based on above results, we further derive the uniform estimates, independent of the length of horizontal direction of $Ω_{R}$, ensuring the global existence of weak and strong solutions in unbounded case $Ω_{\infty}$ by utilizing the domain expansion method. Moreover, when the steady temperature is higher with decreasing height (i.e., RT steady-state) on certain region, we demonstrate that the steady-state is linear unstable through the construction of energy functional and the settlement of a family of modified variational problems. Furthermore, with the help of unstable solutions constructed in linear instability and global existence theorems, we confirm the instability of nonlinear problem in a Lipschitz structural sense. Finally, we give a series of rigorous verification (see Appendix) including the spectra of Stokes equations with Navier boundary conditions, Sobolev embedding inequalities, trace inequalities, and Stokes estimates under Navier boundary conditions etc, used in the proof of main conclusions. △ Less

Submitted 25 May, 2024; originally announced May 2024.

Maps preserving the truncation of triple products on Cartan factors

Authors: Jorge J. Garcés, Lei Li, Antonio M. Peralta, Shanshan Su

Abstract: Let $\{C_i\}_{i\in Γ_1},$ and $\{D_j\}_{j\in Γ_2},$ be two families of Cartan factors such that all of them have dimension at least $2$, and consider the atomic JBW$^*$-triples $A=\bigoplus\limits_{i\in Γ_1}^{\ell_{\infty}} C_i$ and $B=\bigoplus\limits_{j\in Γ_2}^{\ell_{\infty}} D_j$. Let $Δ:A \to B$ be a {\rm(}non-necessarily linear nor continuous{\rm)} bijection preserving the truncation of trip… ▽ More Let $\{C_i\}_{i\in Γ_1},$ and $\{D_j\}_{j\in Γ_2},$ be two families of Cartan factors such that all of them have dimension at least $2$, and consider the atomic JBW$^*$-triples $A=\bigoplus\limits_{i\in Γ_1}^{\ell_{\infty}} C_i$ and $B=\bigoplus\limits_{j\in Γ_2}^{\ell_{\infty}} D_j$. Let $Δ:A \to B$ be a {\rm(}non-necessarily linear nor continuous{\rm)} bijection preserving the truncation of triple products in both directions, that is, $$\begin{aligned} \boxed{a \mbox{ is a truncation of } \{b,c,b\}} \Leftrightarrow \boxed{Δ(a) \mbox{ is a truncation of } \{Δ(b),Δ(c),Δ(b)\}} \end{aligned}$$ Assume additionally that the restriction of $Δ$ to each rank-one Cartan factor in $A$, if any, is a continuous map**. Then we show that $Δ$ is an isometric real linear triple isomorphism. We also study some general properties of bijections preserving the truncation of triple products in both directions between general JB$^*$-triples. △ Less

Submitted 22 May, 2024; originally announced May 2024.

Nakajima's quiver varieties and triangular bases of bipartite cluster algebras

Authors: Li Li

Abstract: Berenstein and Zelevinsky introduced quantum cluster algebras \cite{BZ1} and the triangular bases \cite{BZ2}. The support conjecture proposed in \cite{LLRZ}, which asserts that the support of each triangular basis element for a rank-2 cluster algebra is bounded by an explicitly described region, was established in \cite{L} for skew-symmetric rank-2 cluster algebras. In this paper we extend this re… ▽ More Berenstein and Zelevinsky introduced quantum cluster algebras \cite{BZ1} and the triangular bases \cite{BZ2}. The support conjecture proposed in \cite{LLRZ}, which asserts that the support of each triangular basis element for a rank-2 cluster algebra is bounded by an explicitly described region, was established in \cite{L} for skew-symmetric rank-2 cluster algebras. In this paper we extend this result by proving a bound on the support of each triangular basis element for bipartite cluster algebras. △ Less

Submitted 13 May, 2024; originally announced May 2024.

Comments: arXiv admin note: text overlap with arXiv:2208.12307

MSC Class: Primary 13F60; Secondary 14F06; 16G20; 32S60

Toeplitz Operators and Berezin-type Operators on Different Bergman Spaces

Authors: Lvchang Li, Haichou Li

Abstract: In the present paper, we study the boundedness and compactness of Toeplitz operators and Berezin-type operators between different weighted Bergman spaces over tubular domains in $\mathbb{C}^n$. We establish their connection with Carleson measures and provide some characterizations. In the present paper, we study the boundedness and compactness of Toeplitz operators and Berezin-type operators between different weighted Bergman spaces over tubular domains in $\mathbb{C}^n$. We establish their connection with Carleson measures and provide some characterizations. △ Less

Submitted 5 June, 2024; v1 submitted 13 May, 2024; originally announced May 2024.

Comments: arXiv admin note: text overlap with arXiv:2404.16439

Dynamics of an epidemic model with nonlocal di?usion and a free boundary

Authors: Lei Li, Mingxin Wang

Abstract: An epidemic model, where the dispersal is approximated by nonlocal diffusion operator and spatial domain has one ?xed boundary and one free boundary, is considered in this paper. Firstly, using some elementary analysis instead of variational characterization, we show the existence and asymptotic behaviors of the principal eigenvalue of a cooperative system which can be used to characterize more ep… ▽ More An epidemic model, where the dispersal is approximated by nonlocal diffusion operator and spatial domain has one ?xed boundary and one free boundary, is considered in this paper. Firstly, using some elementary analysis instead of variational characterization, we show the existence and asymptotic behaviors of the principal eigenvalue of a cooperative system which can be used to characterize more epidemic models, not just ours. Then we study the existence, uniqueness and stability of a related steady state problem. Finally, we obtain a rather complete understanding for long time behaviors, spreading-vanishing dichotomy, criteria for spreading and vanishing, and spreading speed. Particularly, we prove that the asymptotic spreading speed of solution component (u; v) is equal to the spreading speed of free boundary which is ?nite if and only if a threshold condition holds for kernel functions. △ Less

Submitted 7 May, 2024; originally announced May 2024.

Dynamics for a diffusive epidemic model with a free boundary: spreading-vanishing dichotomy

Authors: Xue** Li, Lei Li, Ying Xu, DanDan Zhu

Abstract: This paper involves a diffusive epidemic model whose domain has one free boundary with the Stefan boundary condition, and one fixed boundary subject to the usual homogeneous Dirichlet or Neumann condition. By using the standard upper and lower solutions method and the regularity theory, we first study some related steady state problems which help us obtain the exact longtime behaviors of solution… ▽ More This paper involves a diffusive epidemic model whose domain has one free boundary with the Stefan boundary condition, and one fixed boundary subject to the usual homogeneous Dirichlet or Neumann condition. By using the standard upper and lower solutions method and the regularity theory, we first study some related steady state problems which help us obtain the exact longtime behaviors of solution component $(u,v)$. Then we prove there exists the unique classical solution whose longtime behaviors are governed by a spreading-vanishing dichotomy. Lastly, the criteria determining when spreading or vanishing happens are given with respect to the basic reproduction number $\mathcal{R}_0$, the initial habitat $[0,h_0]$, the expanding rates $μ_1$ and $μ_2$ as well as the initial function $(u_0,v_0)$. The criteria reveal the effect of the cooperative behaviors of agents and humans on spreading and vanishing. △ Less

Submitted 2 May, 2024; originally announced May 2024.

Joint value distribution of Hecke--Maass forms

Authors: Shenghao Hua, Bingrong Huang, Liangxun Li

Abstract: In this paper, we formulate a conjecture on joint distribution of Hecke--Maass cusp forms. To support our conjecture, we prove two conditional results on joint moments of two Hecke--Maass cusp forms, which confirms statistical independence of orthogonal cusp forms. In this paper, we formulate a conjecture on joint distribution of Hecke--Maass cusp forms. To support our conjecture, we prove two conditional results on joint moments of two Hecke--Maass cusp forms, which confirms statistical independence of orthogonal cusp forms. △ Less

Submitted 2 May, 2024; originally announced May 2024.

Comments: 22 pages. Comments welcome

Compatible weak factorization systems and model structures

Authors: Zhenxing Di, Li** Li, Li Liang

Abstract: In this paper the concept of compatible weak factorization systems in general categories is introduced as a counterpart of compatible complete cotorsion pairs in abelian categories. We describe a method to construct model structures on general categories via two compatible weak factorization systems satisfying certain conditions, and hence generalize a very useful result by Gillespie for abelian m… ▽ More In this paper the concept of compatible weak factorization systems in general categories is introduced as a counterpart of compatible complete cotorsion pairs in abelian categories. We describe a method to construct model structures on general categories via two compatible weak factorization systems satisfying certain conditions, and hence generalize a very useful result by Gillespie for abelian model structures. As particular examples, we show that weak factorizations systems associated to some classical model structures (for example, the Kan-Quillen model structure on $\mathsf{sSet}$) satisfy these conditions. △ Less

Submitted 1 May, 2024; originally announced May 2024.

Comments: 18 pages

Toeplitz Operators on Weighted Bergman Spaces over Tubular Domains

Authors: Lvchang Li, Jiaqing Ding, Haichou Li

Abstract: In this paper, we mainly study the necessary and sufficient conditions for the boundedness and compactness of Toeplitz operators on weighted Bergman spaces over a tubular domains by using the Carlson measures on tubular domains. We also give some related results about Carlson measures. In this paper, we mainly study the necessary and sufficient conditions for the boundedness and compactness of Toeplitz operators on weighted Bergman spaces over a tubular domains by using the Carlson measures on tubular domains. We also give some related results about Carlson measures. △ Less

Submitted 25 April, 2024; originally announced April 2024.

Representations of $\mathbb{N}^{\infty}$-type combinatorial categories

Authors: Zhenxing Di, Li** Li, Li Liang

Abstract: In this paper we consider representations of certain combinatorial categories, including the poset $\D$ of positive integers and division, the Young lattice $\mathscr{Y}$ of partitions of finite sets, the opposite category of the orbit category $\mathscr{Z}$ of $(\mathbb{Z}, +)$ with respect to nontrivial subgroups, and the category $\mathscr{CI}$ of finite cyclic groups and injective homomorphism… ▽ More In this paper we consider representations of certain combinatorial categories, including the poset $\D$ of positive integers and division, the Young lattice $\mathscr{Y}$ of partitions of finite sets, the opposite category of the orbit category $\mathscr{Z}$ of $(\mathbb{Z}, +)$ with respect to nontrivial subgroups, and the category $\mathscr{CI}$ of finite cyclic groups and injective homomorphisms. We describe explicit upper bounds for homological degrees of their representations, and deduce that finitely presented representations (resp., representations presented in finite degrees) over a field form abelian subcategories of the representation categories. We also give an explicit description for the category of sheaves over the ringed atomic site $(\mathscr{Z}, \, J_{at}, \, \underline{\mathbb{C}})$, and show that irreducible sheaves are parameterized by primitive roots of the unit. △ Less

Submitted 23 April, 2024; originally announced April 2024.

Opening Gaps in the Spectrum of Strictly Ergodic Jacobi and CMV Matrices

Authors: David Damanik, Long Li

Abstract: We prove that dynamically defined Jacobi and CMV matrices associated with generic continuous sampling functions have all gaps predicted by the Gap Labelling Theorem open. We also give a mechanism for generic gap opening for quasi-periodic analytic sampling functions in the subcritical region following from the analyticity of resonance tongue boundaries for both Jacobi and CMV matrices. We prove that dynamically defined Jacobi and CMV matrices associated with generic continuous sampling functions have all gaps predicted by the Gap Labelling Theorem open. We also give a mechanism for generic gap opening for quasi-periodic analytic sampling functions in the subcritical region following from the analyticity of resonance tongue boundaries for both Jacobi and CMV matrices. △ Less

Submitted 4 May, 2024; v1 submitted 4 April, 2024; originally announced April 2024.

Comments: 22 pages

Convergence analysis of OT-Flow for sample generation

Authors: Yang **g, Lei Li

Abstract: Deep generative models aim to learn the underlying distribution of data and generate new ones. Despite the diversity of generative models and their high-quality generation performance in practice, most of them lack rigorous theoretical convergence proofs. In this work, we aim to establish some convergence results for OT-Flow, one of the deep generative models. First, by reformulating the framework… ▽ More Deep generative models aim to learn the underlying distribution of data and generate new ones. Despite the diversity of generative models and their high-quality generation performance in practice, most of them lack rigorous theoretical convergence proofs. In this work, we aim to establish some convergence results for OT-Flow, one of the deep generative models. First, by reformulating the framework of OT-Flow model, we establish the $Γ$-convergence of the formulation of OT-flow to the corresponding optimal transport (OT) problem as the regularization term parameter $α$ goes to infinity. Second, since the loss function will be approximated by Monte Carlo method in training, we established the convergence between the discrete loss function and the continuous one when the sample number $N$ goes to infinity as well. Meanwhile, the approximation capability of the neural network provides an upper bound for the discrete loss function of the minimizers. The proofs in both aspects provide convincing assurances for OT-Flow. △ Less

Submitted 24 March, 2024; originally announced March 2024.

Orthogonal projection, dual Furstenberg problem, and discretized sum-product

Authors: Longhui Li, Bochen Liu

Abstract: In this paper we come up with a dual version of the Furstenberg problem and obtain partial results via $L^p$ estimates of orthogonal projections. Examples are also discussed. Moreover, compared with general sets, we find that special structure like Cartesian product has better $L^p$-behavior. This leads to improvement on some discretized sum-product estimates. In this paper we come up with a dual version of the Furstenberg problem and obtain partial results via $L^p$ estimates of orthogonal projections. Examples are also discussed. Moreover, compared with general sets, we find that special structure like Cartesian product has better $L^p$-behavior. This leads to improvement on some discretized sum-product estimates. △ Less

Submitted 23 March, 2024; originally announced March 2024.

Comments: 19 pages

The affine Artin group of type $\widetilde B_n$ is virtually poly-free

Authors: Li Li, S. K. Roushon

Abstract: In this note we prove that the affine Artin group of type $\widetilde B_n$ is virtually poly-free. The proof also gives another solution of the $K(π, 1)$ problem for $\widetilde B_n$. In this note we prove that the affine Artin group of type $\widetilde B_n$ is virtually poly-free. The proof also gives another solution of the $K(π, 1)$ problem for $\widetilde B_n$. △ Less

Submitted 14 March, 2024; originally announced March 2024.

Comments: 10 pages

Mean field error estimate of the random batch method for large interacting particle system

Authors: Zhenyu Huang, Shi **, Lei Li

Abstract: The random batch method (RBM) proposed in [** et al., J. Comput. Phys., 400(2020), 108877] for large interacting particle systems is an efficient with linear complexity in particle numbers and highly scalable algorithm for $N$-particle interacting systems and their mean-field limits when $N$ is large. We consider in this work the quantitative error estimate of RBM toward its mean-field limit, the… ▽ More The random batch method (RBM) proposed in [** et al., J. Comput. Phys., 400(2020), 108877] for large interacting particle systems is an efficient with linear complexity in particle numbers and highly scalable algorithm for $N$-particle interacting systems and their mean-field limits when $N$ is large. We consider in this work the quantitative error estimate of RBM toward its mean-field limit, the Fokker-Planck equation. Under mild assumptions, we obtain a uniform-in-time $O(τ^2 + 1/N)$ bound on the scaled relative entropy between the joint law of the random batch particles and the tensorized law at the mean-field limit, where $τ$ is the time step size and $N$ is the number of particles. Therefore, we improve the existing rate in discretization step size from $O(\sqrtτ)$ to $O(τ)$ in terms of the Wasserstein distance. △ Less

Submitted 13 March, 2024; originally announced March 2024.

Mixed moments of $\rm GL(2)$ and symmetric square $L$-functions

Authors: Bingrong Huang, Liangxun Li

Abstract: In this paper, we prove asymptotic formulas of mixed moments of $\rm GL(2)$ and its symmetric square $L$-functions for both Hecke--Maass cusp forms and holomorphic Hecke eigenforms in short intervals. As an application, we prove quantitative simultaneous non-vanishing of central values of these $L$-functions. In this paper, we prove asymptotic formulas of mixed moments of $\rm GL(2)$ and its symmetric square $L$-functions for both Hecke--Maass cusp forms and holomorphic Hecke eigenforms in short intervals. As an application, we prove quantitative simultaneous non-vanishing of central values of these $L$-functions. △ Less

Submitted 4 April, 2024; v1 submitted 13 March, 2024; originally announced March 2024.

Comments: 25 pages. Comments welcome!

An Adaptive Orthogonal Basis Method for Computing Multiple Solutions of Differential Equations with polynomial nonlinearities

Authors: Lin Li, Yangyi Ye, Huiyuan Li

Abstract: This paper presents an innovative approach, the Adaptive Orthogonal Basis Method, tailored for computing multiple solutions to differential equations characterized by polynomial nonlinearities. Departing from conventional practices of predefining candidate basis pools, our novel method adaptively computes bases, considering the equation's nature and structural characteristics of the solution. It f… ▽ More This paper presents an innovative approach, the Adaptive Orthogonal Basis Method, tailored for computing multiple solutions to differential equations characterized by polynomial nonlinearities. Departing from conventional practices of predefining candidate basis pools, our novel method adaptively computes bases, considering the equation's nature and structural characteristics of the solution. It further leverages companion matrix techniques to generate initial guesses for subsequent computations. Thus this approach not only yields numerous initial guesses for solving such equations but also adapts orthogonal basis functions to effectively address discretized nonlinear systems. Through a series of numerical experiments, this paper demonstrates the method's effectiveness and robustness. By reducing computational costs in various applications, this novel approach opens new avenues for uncovering multiple solutions to differential equations with polynomial nonlinearities. △ Less

Submitted 20 April, 2024; v1 submitted 28 February, 2024; originally announced February 2024.

Variable martingale Hardy-Lorentz-Karamata spaces and their applications in Fourier Analysis

Authors: Zhiwei Hao, Xinru Ding, Libo Li, Ferenc Weisz

Abstract: In this paper, we introduce a new class of function spaces, which unify and generalize Lorentz-Karamata spaces, variable Lorentz spaces and other several classical function spaces. Based on the new spaces, we develop the theory of variable martingale Hardy-Lorentz-Karamata spaces and apply it to Fourier Analysis. To be precise, we discuss the basic properties of Lorentz-Karamata spaces with variab… ▽ More In this paper, we introduce a new class of function spaces, which unify and generalize Lorentz-Karamata spaces, variable Lorentz spaces and other several classical function spaces. Based on the new spaces, we develop the theory of variable martingale Hardy-Lorentz-Karamata spaces and apply it to Fourier Analysis. To be precise, we discuss the basic properties of Lorentz-Karamata spaces with variable exponents. We introduce five variable martingale Hardy-Lorentz-Karamata spaces and characterize them via simple atoms as well as via atoms. As applications of the atomic decompositions, dual theorems and the generalized John-Nirenberg theorem for the new framework are presented. Moreover, we obtain the boundedness of $σ$-sublinear operator defined on variable martingale Hardy-Lorentz-Karamata spaces, which leads to martingale inequalities and the relation of the five variable martingale Hardy-Lorentz-Karamata spaces. Also, we investigate the boundedness of fractional integral operators in this new framework. Finally, we deal with the applications of variable martingale Hardy-Lorentz-Karamata spaces in Fourier analysis by using the previous results. More precisely, we show that the partial sums of the Walsh-Fourier series converge to the function in norm if $f\in L_{p(\cdot),q,b}$ with $1<p_-\le p_+<\infty$. The Fejér summability method is also studied and it is proved that the maximal Fejér operator is bounded from variable martingale Hardy-Lorentz-Karamata spaces to variable Lorentz-Karamata spaces. As a consequence, we get conclusions about almost everywhere and norm convergence of Fejér means. The results obtained in this paper generalize the results for martingale Hardy-Lorentz-Karamata spaces and variable martingale Hardy-Lorentz spaces. Especially, we remove the condition that $b$ is nondecreasing in previous literature. △ Less

Submitted 25 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.

Comments: 8 pages, 6 figures

Controller synthesis for input-state data with measurement errors

Authors: Andrea Bisoffi, Lidong Li, Claudio De Persis, Nima Monshizadeh

Abstract: We consider the problem of designing a state-feedback controller for a linear system, based only on noisy input-state data. We focus on input-state data corrupted by measurement errors, which, albeit less investigated, are as relevant as process disturbances in applications. For energy and instantaneous bounds on these measurement errors, we derive linear matrix inequalities for controller design… ▽ More We consider the problem of designing a state-feedback controller for a linear system, based only on noisy input-state data. We focus on input-state data corrupted by measurement errors, which, albeit less investigated, are as relevant as process disturbances in applications. For energy and instantaneous bounds on these measurement errors, we derive linear matrix inequalities for controller design where the one for the energy bound is equivalent to robust stabilization of all systems consistent with the noisy data points via a common Lyapunov function. △ Less

Submitted 14 May, 2024; v1 submitted 6 February, 2024; originally announced February 2024.

Optimal Stirring Strategies for Passive Scalars in a Domain with a General Shape and No-Flux Boundary Condition

Authors: Sirui Zhu, Zhi Lin, Liang Li, Lingyun Ding

Abstract: Multiscale metrics such as negative Sobolev norms are effective for quantifying the degree of mixedness of a passive scalar field advected by an incompressible flow in the absence of diffusion. In this paper we introduce a mix norm that is motivated by Sobolev norm $H^{-1}$ for a general domain with a no-flux boundary. We then derive an explicit expression for the optimal flow that maximizes the i… ▽ More Multiscale metrics such as negative Sobolev norms are effective for quantifying the degree of mixedness of a passive scalar field advected by an incompressible flow in the absence of diffusion. In this paper we introduce a mix norm that is motivated by Sobolev norm $H^{-1}$ for a general domain with a no-flux boundary. We then derive an explicit expression for the optimal flow that maximizes the instantaneous decay rate of the mix norm under fixed energy and enstrophy constraints. Numerical simulations indicate that the mix norm decays exponentially or faster for various initial conditions and geometries and the rate is closely related to the smallest non-zero eigenvalue of the Laplace operator. These results generalize previous findings restricted for a periodic domain for its analytical and numerical simplicity. Additionally, we observe that periodic boundaries tend to induce a faster decay in mix norm compared to no-flux conditions under the fixed energy constraint, while the comparison is reversed for the fixed enstrophy constraint. In the special case of even initial distributions, two types of boundary conditions yield the same optimal flow and mix norm decay. △ Less

Submitted 11 January, 2024; originally announced January 2024.

Some Grönwall inequalities for a class of discretizations of time fractional equations on nonuniform meshes

Authors: Yuanyuan Feng, Lei Li, Jian-Guo Liu, Tao Tang

Abstract: We consider the completely positive discretizations of fractional ordinary differential equations (FODEs) on nonuniform meshes. Making use of the resolvents for nonuniform meshes, we first establish comparison principles for the discretizations. Then we prove some discrete Grönwall inequalities using the comparison principles and careful analysis of the solutions to the time continuous FODEs. Our… ▽ More We consider the completely positive discretizations of fractional ordinary differential equations (FODEs) on nonuniform meshes. Making use of the resolvents for nonuniform meshes, we first establish comparison principles for the discretizations. Then we prove some discrete Grönwall inequalities using the comparison principles and careful analysis of the solutions to the time continuous FODEs. Our results do not have any restrictions on the step size ratio. The Grönwall inequalities for dissipative equations can be used to obtain the uniform-in-time error control and decay estimates of the numerical solutions. The Grönwall inequalities are then applied to subdiffusion problems and the time fractional Allen-Cahn equations for illustration. △ Less

Submitted 3 January, 2024; originally announced January 2024.

MSC Class: 65L20; 65R20

On the local existence of solutions to the fluid-structure interaction problem with a free interface

Authors: Igor Kukavica, Linfeng Li, Amjad Tuffaha

Abstract: We address a system of equations modeling an incompressible fluid interacting with an elastic body. We prove the local existence when the initial velocity belongs to the space $H^{1.5+ε}$ and the initial structure velocity is in $H^{1+ε}$, where $ε\in (0, 1/20)$. We address a system of equations modeling an incompressible fluid interacting with an elastic body. We prove the local existence when the initial velocity belongs to the space $H^{1.5+ε}$ and the initial structure velocity is in $H^{1+ε}$, where $ε\in (0, 1/20)$. △ Less

Submitted 26 December, 2023; originally announced December 2023.

Comments: 22 pages. arXiv admin note: substantial text overlap with arXiv:2104.13500

Non-equilibrium-diffusion limit of the compressible Euler radiation model

Authors: Qiangchang Ju, Lei Li, Zhengce Zhang

Abstract: We justify rigorously the non-equilibrium-diffusion limit of the compressible Euler model coupled with a radiative transfer equation arising in radiation hydrodynamics. For general initial data, we establish the uniform existence of the solution to the coupled model in $\mathbb{T}^{3}$ and prove the convergence of the solutions to the limiting system in the nonequilibrium-diffusion regime. Moreove… ▽ More We justify rigorously the non-equilibrium-diffusion limit of the compressible Euler model coupled with a radiative transfer equation arising in radiation hydrodynamics. For general initial data, we establish the uniform existence of the solution to the coupled model in $\mathbb{T}^{3}$ and prove the convergence of the solutions to the limiting system in the nonequilibrium-diffusion regime. Moreover, the initial layer for the radiative density is constructed to get the strong convergence in $L^\infty$ norm. △ Less

Submitted 23 December, 2023; originally announced December 2023.

Comments: 35 pages

MSC Class: 76N99; 35M33; 35Q30

Equivariant Lagrangian correspondence and a conjecture of Teleman

Authors: Siu-Cheong Lau, Nai-Chung Conan Leung, Yan-Lung Leon Li

Abstract: In this paper, we study the Floer theory of equivariant Lagrangian correspondences and apply it to deduce a conjecture of Teleman, which finds the relation between the disc potential of an invariant Lagrangian submanifold and that of its quotient. A main step is to extend Fukaya's construction of an $A_\infty$ tri-module for Lagrangian correspondences to Borel spaces. We find that the equivariant… ▽ More In this paper, we study the Floer theory of equivariant Lagrangian correspondences and apply it to deduce a conjecture of Teleman, which finds the relation between the disc potential of an invariant Lagrangian submanifold and that of its quotient. A main step is to extend Fukaya's construction of an $A_\infty$ tri-module for Lagrangian correspondences to Borel spaces. We find that the equivariant obstruction of a Lagrangian correspondence plays an essential role, which leads to quantum corrections in the disc potentials of quotients. We solve the obstruction in the toric setup and find the relation with mirror maps for compact semi-Fano toric manifolds. △ Less

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

Comments: Improved exposition

Real-time Estimation of DoS Duration and Frequency for Security Control

Authors: Yifan Sun, Jianquan Lu, Daniel W. C. Ho, Lulu Li

Abstract: In this paper, we develop a new denial-of-service (DoS) estimator, enabling defenders to identify duration and frequency parameters of any DoS attacker, except for three edge cases, exclusively using real-time data. The key advantage of the estimator lies in its capability to facilitate security control in a wide range of practical scenarios, even when the attacker's information is previously unkn… ▽ More In this paper, we develop a new denial-of-service (DoS) estimator, enabling defenders to identify duration and frequency parameters of any DoS attacker, except for three edge cases, exclusively using real-time data. The key advantage of the estimator lies in its capability to facilitate security control in a wide range of practical scenarios, even when the attacker's information is previously unknown. We demonstrate the advantage and application of our new estimator in the context of two classical control scenarios, namely consensus of multi-agent systems and impulsive stabilization of nonlinear systems, for illustration. △ Less

Submitted 10 December, 2023; originally announced December 2023.

Reflection Maps Associated with Involutions and Factorization Problems, and Their Poisson Geometry

Authors: Luen-Chau Li, Vincent Caudrelier

Abstract: The study of the set-theoretic solutions of the reflection equation, also known as reflection maps, is closely related to that of the Yang-Baxter maps. In this work, we construct reflection maps on various geometrical objects, associated with factorization problems on rational loop groups and involutions. We show that such reflection maps are smoothly conjugate to the composite of permutation maps… ▽ More The study of the set-theoretic solutions of the reflection equation, also known as reflection maps, is closely related to that of the Yang-Baxter maps. In this work, we construct reflection maps on various geometrical objects, associated with factorization problems on rational loop groups and involutions. We show that such reflection maps are smoothly conjugate to the composite of permutation maps, with corresponding reduced Yang-Baxter maps. In the case when the reduced Yang-Baxter maps are independent of parameters, the latter are just braiding operators. We also study the symplectic and Poisson geometry of such reflection maps. In a special case, the factorization problems are associated with the collision of N-solitons of the n-Manakov system with a boundary, and in this context the N-body polarization reflection map is a symplectomorphism. △ Less

Submitted 8 December, 2023; originally announced December 2023.

Comments: 38 pages

MSC Class: 16J25; 37J39; 37K25; 35Q55; 35C08

Propagation of chaos in path spaces via information theory

Authors: Lei Li, Yuelin Wang, Yuliang Wang

Abstract: We study the mean-field limit of the stochastic interacting particle systems via tools from information theory. The key in our method is that, after applying the data processing inequality, one only needs to handle independent copies of solutions to the mean-field McKean stochastic differential equations, which then allows one to apply the law of large numbers. Our result on the propagation of cha… ▽ More We study the mean-field limit of the stochastic interacting particle systems via tools from information theory. The key in our method is that, after applying the data processing inequality, one only needs to handle independent copies of solutions to the mean-field McKean stochastic differential equations, which then allows one to apply the law of large numbers. Our result on the propagation of chaos in path space is valid for both first and second order interacting particle systems; in particular, for the latter one our convergence rate is independent of the particle mass and also only linear in time. Our framework is different from current approaches in literature and could provide new insight for the study of interacting particle systems. △ Less

Submitted 21 January, 2024; v1 submitted 30 November, 2023; originally announced December 2023.

Reinforcement Learning for Stochastic LQ Control of Discrete-Time Systems with Multiplicative Noises

Authors: Hongdan Li, Lucky Qiaofeng Li, Xun Li, Zhaorong Zhang

Abstract: This paper considers a stochastic linear quadratic problem for discrete-time systems with multiplicative noises over an infinite horizon. To obtain the optimal solution, we propose an online iterative algorithm of reinforcement learning based on Bellman dynamic programming principle. The algorithm avoids the direct calculation of algebra Riccati equations. It merely takes advantage of state trajec… ▽ More This paper considers a stochastic linear quadratic problem for discrete-time systems with multiplicative noises over an infinite horizon. To obtain the optimal solution, we propose an online iterative algorithm of reinforcement learning based on Bellman dynamic programming principle. The algorithm avoids the direct calculation of algebra Riccati equations. It merely takes advantage of state trajectories over a short interval instead of all iterations, significantly simplifying the calculation process. Under the stabilizable initial values, numerical examples shed light on our theoretical results. △ Less

Submitted 20 November, 2023; originally announced November 2023.

Channel-localized Strichartz estimates of radial wave equations

Authors: Liang Li, Shenghao Luo, Ruipeng Shen

Abstract: In this work we give a few new Strichartz estimates of radial solutions to the wave equation. These Strichartz estimates still use $L^p L^q$ type norms in each channel-like region $\{(x,t): |t|+2^k < |x| < |t|+2^{k+1}\}$, with weaker restrictions on $p, q$ than the classic ones, but combine these localized norms together in the way of an $l^2$ space. We also give an application of these Strichartz… ▽ More In this work we give a few new Strichartz estimates of radial solutions to the wave equation. These Strichartz estimates still use $L^p L^q$ type norms in each channel-like region $\{(x,t): |t|+2^k < |x| < |t|+2^{k+1}\}$, with weaker restrictions on $p, q$ than the classic ones, but combine these localized norms together in the way of an $l^2$ space. We also give an application of these Strichartz estimates on the well-posedness theory of non-linear wave equations. △ Less

Submitted 7 November, 2023; originally announced November 2023.

Comments: 17 pages, 1 figure

MSC Class: 35L71; 35L05

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.

Comments: 3 tables

MSC Class: 68P30; 94A15; 62B10 ACM Class: G.0

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.

Integer flows on triangularly connected signed graphs

Authors: Liangchen Li, Chong Li, Rong Luo, Cun-Quan Zhang

Abstract: A triangle-path in a graph $G$ is a sequence of distinct triangles $T_1,T_2,\ldots,T_m$ in $G$ such that for any $i, j$ with $1\leq i < j \leq m$, $|E(T_i)\cap E(T_{i+1})|=1$ and $E(T_i)\cap E(T_j)=\emptyset$ if $j > i+1$. A connected graph $G$ is triangularly connected if for any two nonparallel edges $e$ and $e'$ there is a triangle-path $T_1T_2\cdots T_m$ such that $e\in E(T_1)$ and… ▽ More A triangle-path in a graph $G$ is a sequence of distinct triangles $T_1,T_2,\ldots,T_m$ in $G$ such that for any $i, j$ with $1\leq i < j \leq m$, $|E(T_i)\cap E(T_{i+1})|=1$ and $E(T_i)\cap E(T_j)=\emptyset$ if $j > i+1$. A connected graph $G$ is triangularly connected if for any two nonparallel edges $e$ and $e'$ there is a triangle-path $T_1T_2\cdots T_m$ such that $e\in E(T_1)$ and $e'\in E(T_m)$. For ordinary graphs, Fan {\it et al.}~(J. Combin. Theory Ser. B 98 (2008) 1325-1336) characterize all triangularly connected graphs that admit nowhere-zero $3$-flows or $4$-flows. Corollaries of this result include integer flow of some families of ordinary graphs, such as, locally connected graphs due to Lai (J. Graph Theory 42 (2003) 211-219) and some types of products of graphs due to Imrich et al.(J. Graph Theory 64 (2010) 267-276). In this paper, Fan's result for triangularly connected graphs is further extended to signed graphs. We proved that every flow-admissible triangularly connected signed graph admits a nowhere-zero $4$-flow if and only if it is not the wheel $W_5$ associated with a specific signature. Moreover, this result is sharp since there are infinitely many unbalanced triangularly connected signed graphs admitting a nowhere-zero $4$-flow but not $3$-flow. △ Less

Submitted 20 October, 2023; originally announced October 2023.

MSC Class: 05C15

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.

Integration by parts formula for exit times of one dimensional diffusions

Authors: Noufel Frikha, Arturo Kohatsu-Higa, Libo Li

Abstract: In line with the methodology introduced in our recent article for formulating probabilistic representations of integration by parts involving killed diffusion, we establish an integration by parts formula for the first exit time of one-dimensional diffusion processes. However, our approach diverges from the conventional differential calculus applied to the associated space Markov chain; instead, w… ▽ More In line with the methodology introduced in our recent article for formulating probabilistic representations of integration by parts involving killed diffusion, we establish an integration by parts formula for the first exit time of one-dimensional diffusion processes. However, our approach diverges from the conventional differential calculus applied to the associated space Markov chain; instead, we employ calculus techniques that focus on the underlying time variables. △ Less

Submitted 11 October, 2023; originally announced October 2023.

Comments: To appear in the proceedings volume of Kolmogorov Operators and their Applications

Transversals in a collections of trees

Authors: Ethan Y. H. Li, Luyi Li, ** Li

Abstract: Let $\mathcal{S}$ be a fixed family of graphs on vertex set $V$ and $\mathcal{G}$ be a collection of elements in $\mathcal{S}$. We investigated the transversal problem of finding the maximum value of $|\mathcal{G}|$ when $\mathcal{G}$ contains no rainbow elements in $\mathcal{S}$. Specifically, we determine the exact values when $\mathcal{S}$ is a family of stars or a family of trees of the same o… ▽ More Let $\mathcal{S}$ be a fixed family of graphs on vertex set $V$ and $\mathcal{G}$ be a collection of elements in $\mathcal{S}$. We investigated the transversal problem of finding the maximum value of $|\mathcal{G}|$ when $\mathcal{G}$ contains no rainbow elements in $\mathcal{S}$. Specifically, we determine the exact values when $\mathcal{S}$ is a family of stars or a family of trees of the same order $n$ with $n$ dividing $|V|$. Further, all the extremal cases for $\mathcal{G}$ are characterized. △ Less

Submitted 10 October, 2023; originally announced October 2023.

Comments: 16pages,2figures

MSC Class: 05C15; 05C05; 05D15

On the completely positive kernels for nonuniform meshes

Authors: Yuanyuan Feng, Lei Li

Abstract: The complete positivity, i.e., positivity of the resolvent kernels, for convolutional kernels is an important property for the positivity property and asymptotic behaviors of Volterra equations. We inverstigate the discrete analogue of the complete positivity properties, especially for convolutional kernels on nonuniform meshes. Through an operation which we call pseudo-convolution, we introduce t… ▽ More The complete positivity, i.e., positivity of the resolvent kernels, for convolutional kernels is an important property for the positivity property and asymptotic behaviors of Volterra equations. We inverstigate the discrete analogue of the complete positivity properties, especially for convolutional kernels on nonuniform meshes. Through an operation which we call pseudo-convolution, we introduce the complete positivity property for discrete kernels on nonuniform meshes and establish the criterion for the complete positivity. Lastly, we apply our theory to the L1 discretization of time fractional differential equations on nonuniform meshes. △ Less

Submitted 2 October, 2023; originally announced October 2023.

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

MSC Class: 45D05; 65R20

Solving stationary nonlinear Fokker-Planck equations via sampling

Authors: Lei Li, Yijia Tang, **gtong Zhang

Abstract: Solving the stationary nonlinear Fokker-Planck equations is important in applications and examples include the Poisson-Boltzmann equation and the two layer neural networks. Making use of the connection between the interacting particle systems and the nonlinear Fokker-Planck equations, we propose to solve the stationary solution by sampling from the $N$-body Gibbs distribution. This avoids simulati… ▽ More Solving the stationary nonlinear Fokker-Planck equations is important in applications and examples include the Poisson-Boltzmann equation and the two layer neural networks. Making use of the connection between the interacting particle systems and the nonlinear Fokker-Planck equations, we propose to solve the stationary solution by sampling from the $N$-body Gibbs distribution. This avoids simulation of the $N$-body system for long time and more importantly such a method can avoid the requirement of uniform propagation of chaos from direct simulation of the particle systems. We establish the convergence of the Gibbs measure to the stationary solution when the interaction kernel is bounded (not necessarily continuous) and the temperature is not very small. Numerical experiments are performed for the Poisson-Boltzmann equations and the two-layer neural networks to validate the method and the theory. △ Less

Submitted 30 September, 2023; originally announced October 2023.

MSC Class: 65C05; 65C40; 65N75

On inverse problems for a strongly damped wave equation on compact manifolds

Authors: Li Li, Yang Zhang

Abstract: We consider a strongly damped wave equation on compact manifolds, both with and without boundaries, and formulate the corresponding inverse problems. For closed manifolds, we prove that the metric can be uniquely determined, up to an isometry, from the knowledge of the source-to-solution map. Similarly, for manifolds with boundaries, we prove that the metric can be uniquely determined, up to an is… ▽ More We consider a strongly damped wave equation on compact manifolds, both with and without boundaries, and formulate the corresponding inverse problems. For closed manifolds, we prove that the metric can be uniquely determined, up to an isometry, from the knowledge of the source-to-solution map. Similarly, for manifolds with boundaries, we prove that the metric can be uniquely determined, up to an isometry, from partial knowledge of the Dirichlet-to-Neumann map. The key point is to retrieve the spectral information of the Laplace-Beltrami operator, from the Laplace transform of the measurements. Further we show that the metric can be determined up to an isometry, using a single measurement in both scenarios. △ Less

Submitted 28 September, 2023; originally announced September 2023.

Comments: 13 pages

MSC Class: 35R30; 35R01; 35G05

On the residual Monge-Ampère mass of plurisubharmonic functions with symmetry, II

Authors: Weiyong He, Long Li, Xiaowei Xu

Abstract: The aim of this article is to study the residual Monge-Ampère mass of a plurisubharmonic function with an isolated singularity, provided with the circular symmetry. With the aid of Sasakian geometry, we obtain an estimate on the residual mass of this function with respect to its Lelong number and maximal directional Lelong number. This result partially answers the zero mass conjecture raised by Gu… ▽ More The aim of this article is to study the residual Monge-Ampère mass of a plurisubharmonic function with an isolated singularity, provided with the circular symmetry. With the aid of Sasakian geometry, we obtain an estimate on the residual mass of this function with respect to its Lelong number and maximal directional Lelong number. This result partially answers the zero mass conjecture raised by Guedj and Rashkovskii. △ Less

Submitted 17 November, 2023; v1 submitted 23 September, 2023; originally announced September 2023.

Comments: Some typos were corrected. Section 3.1 was rewritten to give a better introduction to Sasakian geometry, and Section 5.3 was added for a variational approach to our results

Meso-scale size effects of material heterogeneities on crack propagation in brittle solids: Perspectives from phase-field simulations

Authors: Liuchi Li, Jack Rao, Todd Hufnagel, KT Ramesh

Abstract: Brittle solids are often toughened by adding a second-phase material. This practice often results in composites with material heterogeneities on the meso scale: large compared to the scale of the process zone but small compared to that of the application. The specific configuration (both geometrical and mechanical) of this mesoscale heterogeneity is generally recognized as important in determining… ▽ More Brittle solids are often toughened by adding a second-phase material. This practice often results in composites with material heterogeneities on the meso scale: large compared to the scale of the process zone but small compared to that of the application. The specific configuration (both geometrical and mechanical) of this mesoscale heterogeneity is generally recognized as important in determining crack propagation and, subsequently, the (effective) toughness of the composite. Here, we systematically investigate how dynamic crack propagation is affected by mesoscale heterogeneities taking the form of an array of inclusions. Using a variational phase-field approach, we compute the apparent crack speed and fracture energy dissipation rate to compare crack propagation under Mode-I loading across different configurations of these inclusions. If fixing the volume fraction of inclusions, matching the inclusion size to the K-dominance zone size gives rise to the best toughening outcome. Conversely, if varying the volume fraction of inclusions, a lower volume fraction configuration can lead to a better toughening outcome if and only if the inclusion size approaches from above the size of the K-dominance zone. Since the size of the K-dominance zone can be estimated \textit{a priori} given an understanding of the application scenario and material availability, we can, in principle, exploit this estimation to design a material's mesoscale heterogeneity that optimally balances the tradeoff between strength and toughness. This paves the way for realizing functional (meta-)materials against crack propagation in extreme environments. △ Less

Submitted 19 February, 2024; v1 submitted 22 September, 2023; originally announced September 2023.

The comparison of two Zagreb-Fermat eccentricity indices

Authors: Xiangrui Pan, Cheng Zeng, Longyu Li, Gengji Li

Abstract: In this paper, we focus on comparing the first and second Zagreb-Fermat eccentricity indices of graphs. We show that $$\frac{\sum_{uv\in E\left( G \right)}{\varepsilon_3\left( u \right) \varepsilon_3\left( v \right)}}{m\left( G \right)} \leq \frac{\sum_{u\in V\left( G \right)}{\varepsilon_{3}^{2}\left( u \right)}}{n\left( G \right)} $$ holds for all acyclic and unicyclic graphs. Besides, we verify… ▽ More In this paper, we focus on comparing the first and second Zagreb-Fermat eccentricity indices of graphs. We show that $$\frac{\sum_{uv\in E\left( G \right)}{\varepsilon_3\left( u \right) \varepsilon_3\left( v \right)}}{m\left( G \right)} \leq \frac{\sum_{u\in V\left( G \right)}{\varepsilon_{3}^{2}\left( u \right)}}{n\left( G \right)} $$ holds for all acyclic and unicyclic graphs. Besides, we verify that the inequality may not be applied to graphs with at least two cycles. △ Less

Submitted 12 October, 2023; v1 submitted 22 September, 2023; originally announced September 2023.

Inverse problems for a quasilinear strongly damped wave equation arising in nonlinear acoustics

Authors: Li Li, Yang Zhang

Abstract: We consider inverse problems for a Westervelt equation with a strong dam** and a time-dependent potential $q$. We first prove that all boundary measurements, including the initial data, final data, and the lateral boundary measurements, uniquely determine $q$ and the nonlinear coefficient $β$. The proof is based on complex geometric optics construction and the approach proposed by Isakov. Furthe… ▽ More We consider inverse problems for a Westervelt equation with a strong dam** and a time-dependent potential $q$. We first prove that all boundary measurements, including the initial data, final data, and the lateral boundary measurements, uniquely determine $q$ and the nonlinear coefficient $β$. The proof is based on complex geometric optics construction and the approach proposed by Isakov. Further, by considering fundamental solutions supported in a half-space constructed by Hörmander, we prove that with vanishing initial conditions the Dirichlet-to-Neumann map determines $q$ and $β$. △ Less

Submitted 21 September, 2023; originally announced September 2023.

Comments: 32 pages

MSC Class: 35R30; 35L70; 35G30