-
Revisiting Multi-Agent Asynchronous Online Optimization with Delays: the Strongly Convex Case
Authors:
Lingchan Bao,
Tong Wei,
Yuanyu Wan
Abstract:
We revisit multi-agent asynchronous online optimization with delays, where only one of the agents becomes active for making the decision at each round, and the corresponding feedback is received by all the agents after unknown delays. Although previous studies have established an $O(\sqrt{dT})$ regret bound for this problem, they assume that the maximum delay $d$ is knowable or the arrival order o…
▽ More
We revisit multi-agent asynchronous online optimization with delays, where only one of the agents becomes active for making the decision at each round, and the corresponding feedback is received by all the agents after unknown delays. Although previous studies have established an $O(\sqrt{dT})$ regret bound for this problem, they assume that the maximum delay $d$ is knowable or the arrival order of feedback satisfies a special property, which may not hold in practice. In this paper, we surprisingly find that when the loss functions are strongly convex, these assumptions can be eliminated, and the existing regret bound can be significantly improved to $O(d\log T)$ meanwhile. Specifically, to exploit the strong convexity of functions, we first propose a delayed variant of the classical follow-the-leader algorithm, namely FTDL, which is very simple but requires the full information of functions as feedback. Moreover, to handle the more general case with only the gradient feedback, we develop an approximate variant of FTDL by combining it with surrogate loss functions. Experimental results show that the approximate FTDL outperforms the existing algorithm in the strongly convex case.
△ Less
Submitted 12 March, 2025;
originally announced March 2025.
-
Computer-Assisted Global Analysis for Vibro-Impact Dynamics: A Reduced Smooth Maps Approach
Authors:
Lanjing Bao,
Rachel Kuske,
Daniil Yurchenko,
Igor Belykh
Abstract:
We present a novel approach for studying the global dynamics of a vibro-impact pair, that is, a ball moving in a harmonically forced capsule. Motivated by a specific context of vibro-impact energy harvesting, we develop the method with broader non-smooth systems in mind. The seeming complications of the impacts of the ball with the capsule are exploited as useful non-smooth features in selecting a…
▽ More
We present a novel approach for studying the global dynamics of a vibro-impact pair, that is, a ball moving in a harmonically forced capsule. Motivated by a specific context of vibro-impact energy harvesting, we develop the method with broader non-smooth systems in mind. The seeming complications of the impacts of the ball with the capsule are exploited as useful non-smooth features in selecting appropriate return maps. This choice yields a computationally efficient framework for constructing return maps on short-time realizations from the state space of possible initial conditions rather than via long-time simulations often used to generate more traditional maps. The different dynamics in sub-regions in the state space yield a small collection of reduced polynomial approximations. Combined into a piecewise composite map, these capture transient and attracting behaviors and reproduce bifurcation sequences of the full system. Further ``separable'' reductions of the composite map provide insight into both transient and global dynamics. This composite map is valuable for cobweb analysis, which opens the door to computer-assisted global analysis and is realized via conservative auxiliary maps based on the extreme bounds of the maps in each subregion. We study the global dynamics of energetically favorable states and illustrate the potential of this approach in broader classes of dynamics.
△ Less
Submitted 4 December, 2024; v1 submitted 9 April, 2024;
originally announced April 2024.
-
A Decentralized Proximal Gradient Tracking Algorithm for Composite Optimization on Riemannian Manifolds
Authors:
Lei Wang,
Le Bao,
Xin Liu
Abstract:
This paper focuses on minimizing a smooth function combined with a nonsmooth regularization term on a compact Riemannian submanifold embedded in the Euclidean space under a decentralized setting. Typically, there are two types of approaches at present for tackling such composite optimization problems. The first, subgradient-based approaches, rely on subgradient information of the objective functio…
▽ More
This paper focuses on minimizing a smooth function combined with a nonsmooth regularization term on a compact Riemannian submanifold embedded in the Euclidean space under a decentralized setting. Typically, there are two types of approaches at present for tackling such composite optimization problems. The first, subgradient-based approaches, rely on subgradient information of the objective function to update variables, achieving an iteration complexity of $\mathcal{O}(ε^{-4}\log^2(ε^{-2}))$. The second, smoothing approaches, involve constructing a smooth approximation of the nonsmooth regularization term, resulting in an iteration complexity of $\mathcal{O}(ε^{-4})$. This paper proposes a proximal gradient type algorithm that fully exploits the composite structure. The global convergence to a stationary point is established with a significantly improved iteration complexity of $\mathcal{O}(ε^{-2})$. To validate the effectiveness and efficiency of our proposed method, we present numerical results in real-world applications, showcasing its superior performance.
△ Less
Submitted 21 January, 2024;
originally announced January 2024.
-
Transfer systems for rank two elementary Abelian groups: characteristic functions and matchstick games
Authors:
Linus Bao,
Christy Hazel,
Tia Karkos,
Alice Kessler,
Austin Nicolas,
Kyle Ormsby,
Jeremie Park,
Cait Schleff,
Scotty Tilton
Abstract:
We prove that Hill's characteristic function $χ$ for transfer systems on a lattice $P$ surjects onto interior operators for $P$. Moreover, the fibers of $χ$ have unique maxima which are exactly the saturated transfer systems. In order to apply this theorem in examples relevant to equivariant homotopy theory, we develop the theory of saturated transfer systems on modular lattices, ultimately produc…
▽ More
We prove that Hill's characteristic function $χ$ for transfer systems on a lattice $P$ surjects onto interior operators for $P$. Moreover, the fibers of $χ$ have unique maxima which are exactly the saturated transfer systems. In order to apply this theorem in examples relevant to equivariant homotopy theory, we develop the theory of saturated transfer systems on modular lattices, ultimately producing a ``matchstick game'' that puts saturated transfer systems in bijection with certain structured subsets of covering relations. After an interlude developing a recursion for transfer systems on certain combinations of bounded posets, we apply these results to determine the full lattice of transfer systems for rank two elementary Abelian groups.
△ Less
Submitted 20 October, 2023;
originally announced October 2023.
-
A study on Diophantine equations via cluster theory
Authors:
Leizhen Bao,
Fang Li
Abstract:
In this paper, we mainly answer a Lampe's question\cite{lampe} about the solutions of a Diophantine equation, that is, we give a criterion to determine which solutions of the Diophantine equation are in the orbit of the initial solution $(ε,ε,ε, ε,ε)$ under the actions of the group $G$ which is defined by mutations of a cluster algebra. In order to do this, using a rational map $\varphi$, we trans…
▽ More
In this paper, we mainly answer a Lampe's question\cite{lampe} about the solutions of a Diophantine equation, that is, we give a criterion to determine which solutions of the Diophantine equation are in the orbit of the initial solution $(ε,ε,ε, ε,ε)$ under the actions of the group $G$ which is defined by mutations of a cluster algebra. In order to do this, using a rational map $\varphi$, we transform the Diophantine equation to a related equation whose all positive integral solutions form the orbit of an initial solutions $\varphi(ε,ε,ε, ε,ε) = (3,4,4)$ under the actions of the group $\widetilde{G}$, and the set $S(3,4,4)$ is shown to be the orbit of $(ε,ε,ε, ε,ε)$ under the actions of a subgroup of $G$. Then the criterion is proved as the main conclusion.
△ Less
Submitted 27 August, 2023; v1 submitted 1 June, 2023;
originally announced June 2023.
-
Sliding at first order: Higher-order momentum distributions for discontinuous image registration
Authors:
Lili Bao,
Jiahao Lu,
Shihui Ying,
Stefan Sommer
Abstract:
In this paper, we propose a new approach to deformable image registration that captures sliding motions. The large deformation diffeomorphic metric mapping (LDDMM) registration method faces challenges in representing sliding motion since it per construction generates smooth warps. To address this issue, we extend LDDMM by incorporating both zeroth- and first-order momenta with a non-differentiable…
▽ More
In this paper, we propose a new approach to deformable image registration that captures sliding motions. The large deformation diffeomorphic metric mapping (LDDMM) registration method faces challenges in representing sliding motion since it per construction generates smooth warps. To address this issue, we extend LDDMM by incorporating both zeroth- and first-order momenta with a non-differentiable kernel. This allows to represent both discontinuous deformation at switching boundaries and diffeomorphic deformation in homogeneous regions. We provide a mathematical analysis of the proposed deformation model from the viewpoint of discontinuous systems. To evaluate our approach, we conduct experiments on both artificial images and the publicly available DIR-Lab 4DCT dataset. Results show the effectiveness of our approach in capturing plausible sliding motion.
△ Less
Submitted 14 March, 2023;
originally announced March 2023.
-
The structure connectivity of Data Center Networks
Authors:
Lina Ba,
Heping Zhang
Abstract:
Last decade, numerous giant data center networks are built to provide increasingly fashionable web applications. For two integers $m\geq 0$ and $n\geq 2$, the $m$-dimensional DCell network with $n$-port switches $D_{m,n}$ and $n$-dimensional BCDC network $B_{n}$ have been proposed. Connectivity is a basic parameter to measure fault-tolerance of networks. As generalizations of connectivity, structu…
▽ More
Last decade, numerous giant data center networks are built to provide increasingly fashionable web applications. For two integers $m\geq 0$ and $n\geq 2$, the $m$-dimensional DCell network with $n$-port switches $D_{m,n}$ and $n$-dimensional BCDC network $B_{n}$ have been proposed. Connectivity is a basic parameter to measure fault-tolerance of networks. As generalizations of connectivity, structure (substructure) connectivity was recently proposed. Let $G$ and $H$ be two connected graphs. Let $\mathcal{F}$ be a set whose elements are subgraphs of $G$, and every member of $\mathcal{F}$ is isomorphic to $H$ (resp. a connected subgraph of $H$). Then $H$-structure connectivity $κ(G; H)$ (resp. $H$-substructure connectivity $κ^{s}(G; H)$) of $G$ is the size of a smallest set of $\mathcal{F}$ such that the rest of $G$ is disconnected or the singleton when removing $\mathcal{F}$. Then it is meaningful to calculate the structure connectivity of data center networks on some common structures, such as star $K_{1,t}$, path $P_k$, cycle $C_k$, complete graph $K_s$ and so on. In this paper, we obtain that $κ(D_{m,n}; K_{1,t})=κ^s (D_{m,n}; K_{1,t})=\lceil \frac{n-1}{1+t}\rceil+m$ for $1\leq t\leq m+n-2$ and $κ(D_{m,n}; K_s)= \lceil\frac{n-1}{s}\rceil+m$ for $3\leq s\leq n-1$ by analyzing the structural properties of $D_{m,n}$. We also compute $κ(B_n; H)$ and $κ^s(B_n; H)$ for $H\in \{K_{1,t}, P_{k}, C_{k}|1\leq t\leq 2n-3, 6\leq k\leq 2n-1 \}$ and $n\geq 5$ by using $g$-extra connectivity of $B_n$.
△ Less
Submitted 25 December, 2022;
originally announced December 2022.
-
Star Structure Connectivity of Folded hypercubes and Augmented cubes
Authors:
Lina Ba,
Hailun Wu,
Heping Zhang
Abstract:
The connectivity is an important parameter to evaluate the robustness of a network. As a generalization, structure connectivity and substructure connectivity of graphs were proposed. For connected graphs $G$ and $H$, the $H$-structure connectivity $κ(G; H)$ (resp. $H$-substructure connectivity $κ^{s}(G; H)$) of $G$ is the minimum cardinality of a set of subgraphs $F$ of $G$ that each is isomorphic…
▽ More
The connectivity is an important parameter to evaluate the robustness of a network. As a generalization, structure connectivity and substructure connectivity of graphs were proposed. For connected graphs $G$ and $H$, the $H$-structure connectivity $κ(G; H)$ (resp. $H$-substructure connectivity $κ^{s}(G; H)$) of $G$ is the minimum cardinality of a set of subgraphs $F$ of $G$ that each is isomorphic to $H$ (resp. to a connected subgraph of $H$) so that $G-F$ is disconnected or the singleton. As popular variants of hypercubes, the $n$-dimensional folded hypercubes $FQ_{n}$ and augmented cubes $AQ_{n}$ are attractive interconnected network prototypes for multiple processor systems. In this paper, we obtain that $κ(FQ_{n};K_{1,m})=κ^{s}(FQ_{n};K_{1,m})=\lceil\frac{n+1}{2}\rceil$ for $2\leqslant m\leqslant n-1$, $n\geqslant 7$, and $κ(AQ_{n};K_{1,m})=κ^{s}(AQ_{n};K_{1,m})=\lceil\frac{n-1}{2}\rceil$ for $4\leqslant m\leqslant \frac{3n-15}{4}$.
△ Less
Submitted 16 January, 2022; v1 submitted 19 November, 2021;
originally announced November 2021.
-
Vanishing-spreading dichotomy in a two-species chemotaxis competition system with a free boundary
Authors:
Lianzhang Bao,
Wenxian Shen
Abstract:
Predicting the evolution of expanding population is critical to control biological threats such as invasive species and virus explosion. In this paper, we consider a two species chemotaxis system of parabolic-parabolic-elliptic type with Lotka-Volterra type competition terms and a free boundary. Such a model with a free boundary describes the spreading of new or invasive species subject to the inf…
▽ More
Predicting the evolution of expanding population is critical to control biological threats such as invasive species and virus explosion. In this paper, we consider a two species chemotaxis system of parabolic-parabolic-elliptic type with Lotka-Volterra type competition terms and a free boundary. Such a model with a free boundary describes the spreading of new or invasive species subject to the influence of some chemical substances in an environment with a free boundary representing the spreading front. We first find conditions on the parameters which guarantee the global existence and boundedness of classical solutions with nonnegative initial functions. Next, we investigate vanishing-spreading dichotomy scenarios for positive solutions. It is shown that the vanishing-spreading dichotomy in the generalized sense always occurs; that the vanishing spreading dichotomy in the strong sense occurs when the competition between two species is weak-weak competition; and that the vanishing spreading dichotomy in the weak sense occurs when the competition between two species is weak-strong competition.
△ Less
Submitted 18 February, 2021;
originally announced February 2021.
-
Pattern formation in a cell migration model with aggregation and diffusion
Authors:
Lianzhang Bao
Abstract:
In this paper, we study pattern formations in an aggregation and diffusion cell migration model with Dirichlet boundary condition. The formal continuum limit of the model is a nonlinear parabolic equation with a diffusivity which can become negative if the cell density is small and spatial oscillations and aggregation occur in the numerical simulations. In the classical diffusion migration model w…
▽ More
In this paper, we study pattern formations in an aggregation and diffusion cell migration model with Dirichlet boundary condition. The formal continuum limit of the model is a nonlinear parabolic equation with a diffusivity which can become negative if the cell density is small and spatial oscillations and aggregation occur in the numerical simulations. In the classical diffusion migration model with positive diffusivity and non-birth term, species will vanish eventually with Dirichlet boundary. However, because of the aggregation mechanism under small cell density, the total species density is conservative in the discrete aggregation diffusion model. Also, the discrete system converges to a unique positive steady-state with the initial density lying in the diffusion domain. Furthermore, the aggregation mechanism in the model induces rich asymptotic dynamical behaviors or patterns even with 5 discrete space points which gives a theoretical explanation that the interaction between aggregation and diffusion induces patterns in biology. In the corresponding continuous backward forward parabolic equation, the existence of the solution, maximum principle, the asymptotic behavior of the solution is also investigated.
△ Less
Submitted 26 November, 2020;
originally announced November 2020.
-
The star-structure connectivity and star-substructure connectivity of hypercubes and folded hypercubes
Authors:
Lina Ba,
Heping Zhang
Abstract:
As a generalization of vertex connectivity, for connected graphs $G$ and $T$, the $T$-structure connectivity $κ(G, T)$ (resp. $T$-substructure connectivity $κ^{s}(G, T)$) of $G$ is the minimum cardinality of a set of subgraphs $F$ of $G$ that each is isomorphic to $T$ (resp. to a connected subgraph of $T$) so that $G-F$ is disconnected. For $n$-dimensional hypercube $Q_{n}$, Lin et al. [6] showed…
▽ More
As a generalization of vertex connectivity, for connected graphs $G$ and $T$, the $T$-structure connectivity $κ(G, T)$ (resp. $T$-substructure connectivity $κ^{s}(G, T)$) of $G$ is the minimum cardinality of a set of subgraphs $F$ of $G$ that each is isomorphic to $T$ (resp. to a connected subgraph of $T$) so that $G-F$ is disconnected. For $n$-dimensional hypercube $Q_{n}$, Lin et al. [6] showed $κ(Q_{n},K_{1,1})=κ^{s}(Q_{n},K_{1,1})=n-1$ and $κ(Q_{n},K_{1,r})=κ^{s}(Q_{n},K_{1,r})=\lceil\frac{n}{2}\rceil$ for $2\leq r\leq 3$ and $n\geq 3$. Sabir et al. [11] obtained that $κ(Q_{n},K_{1,4})=κ^{s}(Q_{n},K_{1,4})=\lceil\frac{n}{2}\rceil$ for $n\geq 6$, and for $n$-dimensional folded hypercube $FQ_{n}$, $κ(FQ_{n},K_{1,1})=κ^{s}(FQ_{n},K_{1,1})=n$, $κ(FQ_{n},K_{1,r})=κ^{s}(FQ_{n},K_{1,r})=\lceil\frac{n+1}{2}\rceil$ with $2\leq r\leq 3$ and $n\geq 7$. They proposed an open problem of determining $K_{1,r}$-structure connectivity of $Q_n$ and $FQ_n$ for general $r$. In this paper, we obtain that for each integer $r\geq 2$, $κ(Q_{n};K_{1,r})=κ^{s}(Q_{n};K_{1,r})=\lceil\frac{n}{2}\rceil$ and $κ(FQ_{n};K_{1,r})=κ^{s}(FQ_{n};K_{1,r})= \lceil\frac{n+1}{2}\rceil$ for all integers $n$ larger than $r$ in quare scale. For $4\leq r\leq 6$, we separately confirm the above result holds for $Q_n$ in the remaining cases.
△ Less
Submitted 28 September, 2020;
originally announced September 2020.
-
A Guaranteed Convergence Analysis for the Projected Fast Iterative Soft-Thresholding Algorithm in Parallel MRI
Authors:
Xinlin Zhang,
Hengfa Lu,
Di Guo,
Lijun Bao,
Feng Huang,
Qin Xu,
Xiaobo Qu
Abstract:
The boom of non-uniform sampling and compressed sensing techniques dramatically alleviates the lengthy data acquisition problem of magnetic resonance imaging. Sparse reconstruction, thanks to its fast computation and promising performance, has attracted researchers to put numerous efforts on it and has been adopted in commercial scanners. To perform sparse reconstruction, choosing a proper algorit…
▽ More
The boom of non-uniform sampling and compressed sensing techniques dramatically alleviates the lengthy data acquisition problem of magnetic resonance imaging. Sparse reconstruction, thanks to its fast computation and promising performance, has attracted researchers to put numerous efforts on it and has been adopted in commercial scanners. To perform sparse reconstruction, choosing a proper algorithm is essential in providing satisfying results and saving time in tuning parameters. The pFISTA, a simple and efficient algorithm for sparse reconstruction, has been successfully extended to parallel imaging. However, its convergence criterion is still an open question. And the existing convergence criterion of single-coil pFISTA cannot be applied to the parallel imaging pFISTA, which, therefore, imposes confusions and difficulties on users about determining the only parameter - step size. In this work, we provide the guaranteed convergence analysis of the parallel imaging version pFISTA to solve the two well-known parallel imaging reconstruction models, SENSE and SPIRiT. Along with the convergence analysis, we provide recommended step size values for SENSE and SPIRiT reconstructions to obtain fast and promising reconstructions. Experiments on in vivo brain images demonstrate the validity of the convergence criterion. Besides, experimental results show that compared to using backtracking and power iteration to determine the step size, our recommended step size achieves more than five times acceleration in reconstruction time in most tested cases.
△ Less
Submitted 4 August, 2020; v1 submitted 17 September, 2019;
originally announced September 2019.
-
Numerical study of vanishing and spreading dynamics of chemotaxis systems with logistic source and a free boundary
Authors:
Lei Yang,
Lianzhang Bao
Abstract:
The current paper is to investigate the numerical approximation of logistic type chemotaxis models in one space dimension with a free boundary. Such a model with a free boundary describes the spreading of a new or invasive species subject to the influence of some chemical substances in an environment with a free boundary representing the spreading front (see Bao and Shen [1], [2]). The main challe…
▽ More
The current paper is to investigate the numerical approximation of logistic type chemotaxis models in one space dimension with a free boundary. Such a model with a free boundary describes the spreading of a new or invasive species subject to the influence of some chemical substances in an environment with a free boundary representing the spreading front (see Bao and Shen [1], [2]). The main challenges in the numerical studies lie in tracking the moving free boundary and the nonlinear terms from chemical. To overcome them, a front fixing framework coupled with finite difference method is introduced. The accuracy of the proposed method, the positivity of the solution, and the stability of the scheme are discussed.The numerical simulations agree well with theoretical results such as the vanishing spreading dichotomy, local persistence, and stability. These simulations also validate some conjectures in our future theoretical studies such as the dependence of the vanishing-spreading dichotomy on the initial solution u0, initial habitat h0, the moving speed ν and the chemotactic sensitivity coefficients \c{hi}1,\c{hi}2.
△ Less
Submitted 14 July, 2019;
originally announced July 2019.
-
Logistic type attraction-repulsion chemotaxis systems with a free boundary or unbounded boundary. II. Spreading-vanishing dichotomy in a domain with a free boundary
Authors:
Lianzhang Bao,
Wenxian Shen
Abstract:
The current series of research papers is to investigate the asymptotic dynamics in logistic type chemotaxis models in one space dimension with a free boundary or unbounded boundary. Such a model with a free boundary describes the spreading of a new or invasive species subject to the influence of some chemical substances in an environment with a free boundary representing the spreading front. In th…
▽ More
The current series of research papers is to investigate the asymptotic dynamics in logistic type chemotaxis models in one space dimension with a free boundary or unbounded boundary. Such a model with a free boundary describes the spreading of a new or invasive species subject to the influence of some chemical substances in an environment with a free boundary representing the spreading front. In this first of the series, we investigated the dynamical behaviors of logistic type chemotaxis models on the half line $\mathbb{R}^+$, which are formally corresponding limit systems of the free boundary problems. In the second of the series, we establish the spreading-vanishing dichotomy in chemoattraction-repulsion systems with a free boundary as well as with double free boundaries.
△ Less
Submitted 8 February, 2020; v1 submitted 20 January, 2019;
originally announced January 2019.
-
Optimal resource control in reaction diffusion advection population model
Authors:
Lianzhang Bao,
Huilai Li,
Haojian Liang,
Guangliang Zhao
Abstract:
This paper is to investigate the control problem of maximizing the net benefit of a single species while the cost of the resource allocation is minimized in a population model which can be described by a reaction diffusion advection equation of logistic type with spatial-temporal resource control coefficient. The existence of an optimal control is established and the uniqueness and characterizatio…
▽ More
This paper is to investigate the control problem of maximizing the net benefit of a single species while the cost of the resource allocation is minimized in a population model which can be described by a reaction diffusion advection equation of logistic type with spatial-temporal resource control coefficient. The existence of an optimal control is established and the uniqueness and characterization of the optimal control are investigated. Numerical simulation illustrate several cases with Dirichlet and Neumann boundary conditions.
△ Less
Submitted 31 December, 2018;
originally announced December 2018.
-
Lattice and Continuum Models Analysis of the Aggregation Diffusion Cell Movement
Authors:
Lianzhang Bao,
Zhengfang Zhou
Abstract:
The process by which one may take a discrete model of a biophysical process and construct a continuous model based on it is of mathematical interest as well as being of practical use. In this paper, we first study the singular limit of a class of reinforced random walks on a lattice for which a complete analysis of the existence and stability of solutions are possible. In the continuous scenario,…
▽ More
The process by which one may take a discrete model of a biophysical process and construct a continuous model based on it is of mathematical interest as well as being of practical use. In this paper, we first study the singular limit of a class of reinforced random walks on a lattice for which a complete analysis of the existence and stability of solutions are possible. In the continuous scenario, we obtain the regularity estimate of this aggregation diffusion model. As a by-product, nonexistence of solution of the continuous model with pure aggregation initial data is proved. When the initial is purely in diffusion region, asymptotic behavior of the solution is obtained. In contrast to continuous model, bounded-ness of the lattice solution, asymptotic behavior of solution in diffusion region with monotone initial date and the interface behaviors of the aggregation, diffusion regions are obtained. Finally we discuss the asymptotic behaviors of the solution under more general initial data with non-flux when the lattice points $N\leq 4$.
△ Less
Submitted 30 December, 2018;
originally announced December 2018.
-
On weak closure of some diffusion equations
Authors:
Menglan Liao,
Lianzhang Bao,
Baisheng Yan
Abstract:
We study the closure of approximating sequences of some diffusion equations under certain weak convergence. A specific description of the closure under weak $H^1$-convergence is given, which reduces to the original equation when the equation is parabolic. However, the closure under strong $L^2$-convergence may be much larger, even for parabolic equations.
We study the closure of approximating sequences of some diffusion equations under certain weak convergence. A specific description of the closure under weak $H^1$-convergence is given, which reduces to the original equation when the equation is parabolic. However, the closure under strong $L^2$-convergence may be much larger, even for parabolic equations.
△ Less
Submitted 30 December, 2018;
originally announced December 2018.
-
Interfacial behaviors of the backward forward diffusion convection equations
Authors:
Lianzhang Bao
Abstract:
This paper is devoted to the interfacial behaviors of a class of backward forward diffusion convection equations. Under the assumption that the equations have classical solutions in one dimension, we prove that the backward region shrinks and the forward region expands with a positive rate.
This paper is devoted to the interfacial behaviors of a class of backward forward diffusion convection equations. Under the assumption that the equations have classical solutions in one dimension, we prove that the backward region shrinks and the forward region expands with a positive rate.
△ Less
Submitted 25 December, 2018;
originally announced December 2018.
-
Logistic type attraction-repulsion chemotaxis systems with a free boundary or unbounded boundary. I. Asymptotic dynamics in fixed unbounded domain
Authors:
Lianzhang Bao,
Wenxian Shen
Abstract:
The current series of research papers is to investigate the asymptotic dynamics in logistic type chemotaxis models in one space dimension with a free boundary or an unbounded boundary. Such a model with a free boundary describes the spreading of a new or invasive species subject to the influence of some chemical substances in an environment with a free boundary representing the spreading front. In…
▽ More
The current series of research papers is to investigate the asymptotic dynamics in logistic type chemotaxis models in one space dimension with a free boundary or an unbounded boundary. Such a model with a free boundary describes the spreading of a new or invasive species subject to the influence of some chemical substances in an environment with a free boundary representing the spreading front. In this first part of the series, we investigate the dynamical behaviors of logistic type chemotaxis models on the half line $\mathbb{R}^+$, which are formally corresponding limit systems of the free boundary problems. In the second of the series, we will establish the spreading-vanishing dichotomy in chemoattraction-repulsion systems with a free boundary as well as with double free boundaries.
△ Less
Submitted 28 February, 2019; v1 submitted 24 December, 2018;
originally announced December 2018.
-
The Value of Information in Retrospect
Authors:
Jacob Parsons,
Le Bao
Abstract:
In the course of any statistical analysis, it is necessary to consider issues of data quality and model appropriateness. Value of information methods were initially put forward in the middle of the twentieth century in order to provide a framework for choosing between potential sources of information. However, since their genesis, value of information methods have been largely neglected by statist…
▽ More
In the course of any statistical analysis, it is necessary to consider issues of data quality and model appropriateness. Value of information methods were initially put forward in the middle of the twentieth century in order to provide a framework for choosing between potential sources of information. However, since their genesis, value of information methods have been largely neglected by statisticians. In this paper we review and extend existing value of information methods and recommend the use of three quantities for identifying influential and outlying data: an influence measure previously suggested by \cite{kempthorne1986}, a related quantity known as the expected value of sample information that is used to gauge how much influence we would expect a portion of the data to have, and the ratio of these two quantities which serves as a comparison between observed influence and expected influence.
We study the basic theoretical properties of those quantities and illustrate our proposed approach using two datasets. A data set containing employment rates and other economic factors in U.S. first presented by \cite{longley} is used to provide an example in the case of linear regression. HIV surveillance data collected from prenatal clinics have been the main source of information for monitoring the HIV epidemic in low and middle income countries. A data set providing information about HIV prevalence in Swaziland is used as an example in the case of generalized linear mixed models.
△ Less
Submitted 1 December, 2021; v1 submitted 4 June, 2018;
originally announced June 2018.
-
Kac--Moody groups and automorphic forms in low dimensional supergravity theories
Authors:
Ling Bao,
Lisa Carbone
Abstract:
Kac--Moody groups $G$ over $\mathbb{R}$ have been conjectured to occur as symmetry groups of supergravity theories dimensionally reduced to dimensions less than 3, and their integral forms $G(\mathbb{Z})$ conjecturally encode quantized symmetries. In this review paper, we briefly introduce the conjectural symmetries of Kac--Moody groups in supergravity as well as the known evidence for these conje…
▽ More
Kac--Moody groups $G$ over $\mathbb{R}$ have been conjectured to occur as symmetry groups of supergravity theories dimensionally reduced to dimensions less than 3, and their integral forms $G(\mathbb{Z})$ conjecturally encode quantized symmetries. In this review paper, we briefly introduce the conjectural symmetries of Kac--Moody groups in supergravity as well as the known evidence for these conjectures. We describe constructions of Kac--Moody groups over $\R$ and $\Z$ using certain choices of fundamental modules that are considered to have physical relevance. Eisenstein series on certain finite dimensional algebraic groups are known to encode quantum corrections in the low energy limit of superstring theories. We describe briefly how the construction of Eisenstein series extends to Kac--Moody groups. The constant terms of Eisenstein series on $E_9$, $E_{10}$ and $E_{11}$ are predicted to encode perturbative string theory corrections.
△ Less
Submitted 6 February, 2016;
originally announced February 2016.
-
On universal left-stability of $ε$-isometries
Authors:
Lingxin Bao,
Lixin Cheng,
Qingjin Cheng,
Duanxu Dai
Abstract:
Let $X$, $Y$ be two real Banach spaces, and $\eps\geq0$. A map $f:X\rightarrow Y$ is said to be a standard $\eps$-isometry if $|\|f(x)-f(y)\|-\|x-y\||\leq\eps$ for all $x,y\in X$ and with $f(0)=0$. We say that a pair of Banach spaces $(X,Y)$ is stable if there exists $γ>0$ such that for every such $\eps$ and every standard $\eps$-isometry $f:X\rightarrow Y$ there is a bounded linear operator…
▽ More
Let $X$, $Y$ be two real Banach spaces, and $\eps\geq0$. A map $f:X\rightarrow Y$ is said to be a standard $\eps$-isometry if $|\|f(x)-f(y)\|-\|x-y\||\leq\eps$ for all $x,y\in X$ and with $f(0)=0$. We say that a pair of Banach spaces $(X,Y)$ is stable if there exists $γ>0$ such that for every such $\eps$ and every standard $\eps$-isometry $f:X\rightarrow Y$ there is a bounded linear operator $T:L(f)\equiv\overline{\rm span}f(X)\rightarrow X$ such that $\|Tf(x)-x\|\leqγ\eps$ for all $x\in X$. $X (Y)$ is said to be left (right)-universally stable, if $(X,Y)$ is always stable for every $Y (X)$. In this paper, we show that if a dual Banach space $X$ is universally-left-stable, then it is isometric to a complemented $w^*$-closed subspace of $\ell_\infty(Γ)$ for some set $Γ$, hence, an injective space; and that a Banach space is universally-left-stable if and only if it is a cardinality injective space; and universally-left-stability spaces are invariant.
△ Less
Submitted 26 February, 2013; v1 submitted 16 January, 2013;
originally announced January 2013.
-
Rigid Calabi-Yau threefolds, Picard Eisenstein series and instantons
Authors:
Ling Bao,
Axel Kleinschmidt,
Bengt E. W. Nilsson,
Daniel Persson,
Boris Pioline
Abstract:
Type IIA string theory compactified on a rigid Calabi-Yau threefold gives rise to a classical moduli space that carries an isometric action of U(2,1). Various quantum corrections break this continuous isometry to a discrete subgroup. Focussing on the case where the intermediate Jacobian of the Calabi-Yau admits complex multiplication by the ring of quadratic imaginary integers O_d, we argue that t…
▽ More
Type IIA string theory compactified on a rigid Calabi-Yau threefold gives rise to a classical moduli space that carries an isometric action of U(2,1). Various quantum corrections break this continuous isometry to a discrete subgroup. Focussing on the case where the intermediate Jacobian of the Calabi-Yau admits complex multiplication by the ring of quadratic imaginary integers O_d, we argue that the remaining quantum duality group is an arithmetic Picard modular group PU(2,1;O_d). Based on this proposal we construct an Eisenstein series invariant under this duality group and study its non-Abelian Fourier expansion. This allows the prediction of non-perturbative effects, notably the contribution of D2- and NS5-brane instantons. The present work extends our previous analysis in 0909.4299 which was restricted to the special case of the Gaussian integers O_1=Z[i].
△ Less
Submitted 26 May, 2010;
originally announced May 2010.
-
Instanton Corrections to the Universal Hypermultiplet and Automorphic Forms on SU(2,1)
Authors:
Ling Bao,
Axel Kleinschmidt,
Bengt E. W. Nilsson,
Daniel Persson,
Boris Pioline
Abstract:
The hypermultiplet moduli space in Type IIA string theory compactified on a rigid Calabi-Yau threefold X, corresponding to the "universal hypermultiplet", is described at tree-level by the symmetric space SU(2,1)/(SU(2) x U(1)). To determine the quantum corrections to this metric, we posit that a discrete subgroup of the continuous tree-level isometry group SU(2,1), namely the Picard modular group…
▽ More
The hypermultiplet moduli space in Type IIA string theory compactified on a rigid Calabi-Yau threefold X, corresponding to the "universal hypermultiplet", is described at tree-level by the symmetric space SU(2,1)/(SU(2) x U(1)). To determine the quantum corrections to this metric, we posit that a discrete subgroup of the continuous tree-level isometry group SU(2,1), namely the Picard modular group SU(2,1;Z[i]), must remain unbroken in the exact metric -- including all perturbative and non perturbative quantum corrections. This assumption is expected to be valid when X admits complex multiplication by Z[i]. Based on this hypothesis, we construct an SU(2,1;Z[i])-invariant, non-holomorphic Eisenstein series, and tentatively propose that this Eisenstein series provides the exact contact potential on the twistor space over the universal hypermultiplet moduli space. We analyze its non-Abelian Fourier expansion, and show that the Abelian and non-Abelian Fourier coefficients take the required form for instanton corrections due to Euclidean D2-branes wrapping special Lagrangian submanifolds, and to Euclidean NS5-branes wrapping the entire Calabi-Yau threefold, respectively. While this tentative proposal fails to reproduce the correct one-loop correction, the consistency of the Fourier expansion with physics expectations provides strong support for the utility of the Picard modular group in constraining the quantum moduli space.
△ Less
Submitted 9 June, 2010; v1 submitted 24 September, 2009;
originally announced September 2009.
