-
Gauged linear sigma model in geometric phase. II. the virtual cycle
Authors:
Gang Tian,
Guangbo Xu
Abstract:
We provide the detailed construction of the virtual cycles needed for defining the cohomological field theory associated to a gauged linear sigma model in geometric phase.
We provide the detailed construction of the virtual cycles needed for defining the cohomological field theory associated to a gauged linear sigma model in geometric phase.
△ Less
Submitted 16 July, 2024;
originally announced July 2024.
-
The first Neumann eigenvalue and the width
Authors:
Haibin Wang,
Guoyi Xu
Abstract:
We prove the sharp lower bound of the first Neumann eigenvalue for bounded convex planar domain in term of its diameter and width.
We prove the sharp lower bound of the first Neumann eigenvalue for bounded convex planar domain in term of its diameter and width.
△ Less
Submitted 30 July, 2024; v1 submitted 18 July, 2024;
originally announced July 2024.
-
The first Dirichlet eigenvalue and the width
Authors:
Guoyi Xu
Abstract:
For a geodesic ball with non-negative Ricci curvature and mean convex boundary, it is known that the first Dirichlet eigenvalue of this geodesic ball has a sharp lower bound in term of its radius. We show a quantitative explicit inequality, which bounds the width of geodesic ball in terms of the spectral gap between the first Dirichlet eigenvalue and the corresponding sharp lower bound.
For a geodesic ball with non-negative Ricci curvature and mean convex boundary, it is known that the first Dirichlet eigenvalue of this geodesic ball has a sharp lower bound in term of its radius. We show a quantitative explicit inequality, which bounds the width of geodesic ball in terms of the spectral gap between the first Dirichlet eigenvalue and the corresponding sharp lower bound.
△ Less
Submitted 13 July, 2024;
originally announced July 2024.
-
A Multi-Player Potential Game Approach for Sensor Network Localization with Noisy Measurements
Authors:
Gehui Xu,
Guanpu Chen,
Baris Fidan,
Yiguang Hong,
Hongsheng Qi,
Thomas Parisini,
Karl H. Johansson
Abstract:
Sensor network localization (SNL) is a challenging problem due to its inherent non-convexity and the effects of noise in inter-node ranging measurements and anchor node position. We formulate a non-convex SNL problem as a multi-player non-convex potential game and investigate the existence and uniqueness of a Nash equilibrium (NE) in both the ideal setting without measurement noise and the practic…
▽ More
Sensor network localization (SNL) is a challenging problem due to its inherent non-convexity and the effects of noise in inter-node ranging measurements and anchor node position. We formulate a non-convex SNL problem as a multi-player non-convex potential game and investigate the existence and uniqueness of a Nash equilibrium (NE) in both the ideal setting without measurement noise and the practical setting with measurement noise. We first show that the NE exists and is unique in the noiseless case, and corresponds to the precise network localization. Then, we study the SNL for the case with errors affecting the anchor node position and the inter-node distance measurements. Specifically, we establish that in case these errors are sufficiently small, the NE exists and is unique. It is shown that the NE is an approximate solution to the SNL problem, and that the position errors can be quantified accordingly. Based on these findings, we apply the results to case studies involving only inter-node distance measurement errors and only anchor position information inaccuracies.
△ Less
Submitted 5 July, 2024;
originally announced July 2024.
-
Global well-posedness of the defocusing, cubic nonlinear wave equation outside of the ball with radial data
Authors:
Guixiang Xu,
Pengxuan Yang
Abstract:
We consider the defocusing, cubic nonlinear wave equation with zero Dirichlet boundary value in the exterior $Ω= \R^3\backslash \bar{ B}(0,1)$. We make use of the distorted Fourier transform in \cite{LiSZ:NLS, Taylor:PDE:II} to establish the dispersive estimate and the global-in-time (endpoint) Strichartz estimate of the linear wave equation outside of the ball with radial data. As an application,…
▽ More
We consider the defocusing, cubic nonlinear wave equation with zero Dirichlet boundary value in the exterior $Ω= \R^3\backslash \bar{ B}(0,1)$. We make use of the distorted Fourier transform in \cite{LiSZ:NLS, Taylor:PDE:II} to establish the dispersive estimate and the global-in-time (endpoint) Strichartz estimate of the linear wave equation outside of the ball with radial data. As an application, we combine the Fourier truncation method as those in \cite{Bourgain98:FTM, GallPlan03:NLW, KenigPV00:NLW} with the energy method to show global well-posedness of radial solution to the defoucusing, cubic nonlinear wave equation outside of a ball in the Sobolev space $\left(\dot H^{s}_{D}(Ω) \cap L^4(Ω) \right)\times \dot H^{s-1}_{D}(Ω)$ with $s>3/4$. To the best of the author's knowledge, it is first result about low regularity of semilinear wave equation with zero Dirichlet boundary value on the exterior domain.
△ Less
Submitted 8 June, 2024;
originally announced June 2024.
-
Cohomological splitting over rationally connected bases
Authors:
Shaoyun Bai,
Daniel Pomerleano,
Guangbo Xu
Abstract:
We prove a cohomological splitting result for Hamiltonian fibrations over enumeratively rationally connected symplectic manifolds As a key application, we prove that the cohomology of a smooth, projective family over a smooth (stably) rational projective variety splits additively over any field. The main ingredients in our arguments include the theory of Fukaya-Ono-Parker (FOP) perturbations devel…
▽ More
We prove a cohomological splitting result for Hamiltonian fibrations over enumeratively rationally connected symplectic manifolds As a key application, we prove that the cohomology of a smooth, projective family over a smooth (stably) rational projective variety splits additively over any field. The main ingredients in our arguments include the theory of Fukaya-Ono-Parker (FOP) perturbations developed by the first and third author, which allows one to define integer-valued Gromov-Witten type invariants, and variants of Abouzaid-McLean-Smith's global Kuranishi charts tailored to concrete geometric problems.
△ Less
Submitted 3 July, 2024; v1 submitted 2 June, 2024;
originally announced June 2024.
-
Quantum Kirwan map and quantum Steenrod operation
Authors:
Guangbo Xu
Abstract:
We construct an equivariant extension of the quantum Kirwan map and show that it intertwines the classical Steenrod operation on the cohomology of a classifying space with the quantum Steenrod operation of a monotone symplectic reduction. This provides a new method of computing quantum Steenrod operations developed by Seidel-Wilkins. When specialized to the non-equivariant piece, our result also r…
▽ More
We construct an equivariant extension of the quantum Kirwan map and show that it intertwines the classical Steenrod operation on the cohomology of a classifying space with the quantum Steenrod operation of a monotone symplectic reduction. This provides a new method of computing quantum Steenrod operations developed by Seidel-Wilkins. When specialized to the non-equivariant piece, our result also resolves the monotone case of Salamon's quantum Kirwan map conjecture in the symplectic setting.
△ Less
Submitted 21 May, 2024;
originally announced May 2024.
-
Numerical Analysis of Finite Dimensional Approximations in Finite Temperature DFT
Authors:
Ge Xu,
Huajie Chen,
Xingyu Gao
Abstract:
In this paper, we study numerical approximations of the ground states in finite temperature density functional theory. We formulate the problem with respect to the density matrices and justify the convergence of the finite dimensional approximations. Moreover, we provide an optimal a priori error estimate under some mild assumptions and present some numerical experiments to support the theory.
In this paper, we study numerical approximations of the ground states in finite temperature density functional theory. We formulate the problem with respect to the density matrices and justify the convergence of the finite dimensional approximations. Moreover, we provide an optimal a priori error estimate under some mild assumptions and present some numerical experiments to support the theory.
△ Less
Submitted 11 May, 2024;
originally announced May 2024.
-
The rigidity of eigenfunctions' gradient estimates
Authors:
Guoyi Xu,
Xiaolong Xue
Abstract:
On compact Riemannian manifolds with non-negative Ricci curvature and smooth (possibly empty), convex (or mean convex) boundary, if the sharp Li-Yau type gradient estimate of an Neumann (or Dirichlet) eigenfunction holds at some non-critical points of the eigenfunction; we show that the manifold is isometric to the product of one lower dimension manifold and a round circle (or a line segment).
On compact Riemannian manifolds with non-negative Ricci curvature and smooth (possibly empty), convex (or mean convex) boundary, if the sharp Li-Yau type gradient estimate of an Neumann (or Dirichlet) eigenfunction holds at some non-critical points of the eigenfunction; we show that the manifold is isometric to the product of one lower dimension manifold and a round circle (or a line segment).
△ Less
Submitted 8 May, 2024;
originally announced May 2024.
-
Extrinsic Bonnet-Myers Theorem and almost rigidity
Authors:
Weiying Li,
Guoyi Xu
Abstract:
We establish the extrinsic Bonnet-Myers Theorem for compact Riemannian manifolds with positive Ricci curvature. And we show the almost rigidity for compact hypersurfaces, which have positive sectional curvature and almost maximal extrinsic diameter in Euclidean space.
We establish the extrinsic Bonnet-Myers Theorem for compact Riemannian manifolds with positive Ricci curvature. And we show the almost rigidity for compact hypersurfaces, which have positive sectional curvature and almost maximal extrinsic diameter in Euclidean space.
△ Less
Submitted 8 May, 2024;
originally announced May 2024.
-
Volume growth and positive scalar curvature
Authors:
Guodong Wei,
Guoyi Xu,
Shuai Zhang
Abstract:
For three dimensional complete, non-compact Riemannian manifolds with non-negative Ricci curvature and uniformly positive scalar curvature, we obtain the sharp linear volume growth ratio and the corresponding rigidity.
For three dimensional complete, non-compact Riemannian manifolds with non-negative Ricci curvature and uniformly positive scalar curvature, we obtain the sharp linear volume growth ratio and the corresponding rigidity.
△ Less
Submitted 7 May, 2024;
originally announced May 2024.
-
Quasi-selfadjoint extensions of dual pairs of linear relations
Authors:
Guixin Xu,
Guojing Ren
Abstract:
This paper investigates quasi-selfadjoint extensions of dual pairs of linear relations in Hilbert spaces. Some properties of dual pairs of linear relations are given and an Hermitian linear relation associated with a dual pair of linear relations is introduced. Necessary and sufficient conditions for quasi-selfadjoint extensions of dual pairs of linear relations are obtained. These results extends…
▽ More
This paper investigates quasi-selfadjoint extensions of dual pairs of linear relations in Hilbert spaces. Some properties of dual pairs of linear relations are given and an Hermitian linear relation associated with a dual pair of linear relations is introduced. Necessary and sufficient conditions for quasi-selfadjoint extensions of dual pairs of linear relations are obtained. These results extends the corresponding results for dual pairs of linear operators to dual pairs of linear relations.
△ Less
Submitted 2 April, 2024;
originally announced April 2024.
-
Inverse learning of black-box aggregator for robust Nash equilibrium
Authors:
Guanpu Chen,
Gehui Xu,
Fengxiang He,
Dacheng Tao,
Thomas Parisini,
Karl Henrik Johansson
Abstract:
In this note, we investigate the robustness of Nash equilibria (NE) in multi-player aggregative games with coupling constraints. There are many algorithms for computing an NE of an aggregative game given a known aggregator. When the coupling parameters are affected by uncertainty, robust NE need to be computed. We consider a scenario where players' weight in the aggregator is unknown, making the a…
▽ More
In this note, we investigate the robustness of Nash equilibria (NE) in multi-player aggregative games with coupling constraints. There are many algorithms for computing an NE of an aggregative game given a known aggregator. When the coupling parameters are affected by uncertainty, robust NE need to be computed. We consider a scenario where players' weight in the aggregator is unknown, making the aggregator kind of "a black box". We pursue a suitable learning approach to estimate the unknown aggregator by proposing an inverse variational inequality-based relationship. We then utilize the counterpart to reconstruct the game and obtain first-order conditions for robust NE in the worst case. Furthermore, we characterize the generalization property of the learning methodology via an upper bound on the violation probability. Simulation experiments show the effectiveness of the proposed inverse learning approach.
△ Less
Submitted 16 March, 2024;
originally announced March 2024.
-
Global solution to sensor network localization: A non-convex potential game approach and its distributed implementation
Authors:
Gehui Xu,
Guanpu Chen,
Yiguang Hong,
Baris Fidan,
Thomas Parisini,
Karl H. Johansson
Abstract:
Consider a sensor network consisting of both anchor and non-anchor nodes. We address the following sensor network localization (SNL) problem: given the physical locations of anchor nodes and relative measurements among all nodes, determine the locations of all non-anchor nodes. The solution to the SNL problem is challenging due to its inherent non-convexity. In this paper, the problem takes on the…
▽ More
Consider a sensor network consisting of both anchor and non-anchor nodes. We address the following sensor network localization (SNL) problem: given the physical locations of anchor nodes and relative measurements among all nodes, determine the locations of all non-anchor nodes. The solution to the SNL problem is challenging due to its inherent non-convexity. In this paper, the problem takes on the form of a multi-player non-convex potential game in which canonical duality theory is used to define a complementary dual potential function. After showing the Nash equilibrium (NE) correspondent to the SNL solution, we provide a necessary and sufficient condition for a stationary point to coincide with the NE. An algorithm is proposed to reach the NE and shown to have convergence rate $\mathcal{O}(1/\sqrt{k})$. With the aim of reducing the information exchange within a network, a distributed algorithm for NE seeking is implemented and its global convergence analysis is provided. Extensive simulations show the validity and effectiveness of the proposed approach to solve the SNL problem.
△ Less
Submitted 4 January, 2024;
originally announced January 2024.
-
Anderson Accelerated Gauss-Newton-guided deep learning for nonlinear inverse problems with Application to Electrical Impedance Tomography
Authors:
Qingping Zhou,
Guixian Xu,
Zhexin Wen,
Hongqiao Wang
Abstract:
Physics-guided deep learning is an important prevalent research topic in scientific machine learning, which has tremendous potential in various complex applications including science and engineering. In these applications, data is expensive to acquire and high accuracy is required for making decisions. In this work, we introduce an efficient physics-guided deep learning framework for the variation…
▽ More
Physics-guided deep learning is an important prevalent research topic in scientific machine learning, which has tremendous potential in various complex applications including science and engineering. In these applications, data is expensive to acquire and high accuracy is required for making decisions. In this work, we introduce an efficient physics-guided deep learning framework for the variational modeling of nonlinear inverse problems, which is then applied to solve an electrical impedance tomography (EIT) inverse problem. The framework is achieved by unrolling the proposed Anderson accelerated Gauss-Newton (GNAA) algorithm into an end-to-end deep learning method. Firstly, we show the convergence of the GNAA algorithm in both cases: Anderson depth is equal to one and Anderson depth is greater than one. Then, we propose three types of strategies by combining the complementary strengths of GNAA and deep learning: GNAA of learned regularization (GNAA-LRNet), where the singular values of the regularization matrix are learned by a deep neural network; GNAA of learned proximity (GNAA-LPNet), where the regularization proximal operator is learned by using a deep neural network; GNAA of plug-and-play method (GNAA-PnPNet) where the regularization proximal operator is replaced by a pre-trained deep denoisers. Lastly, we present some numerical experiments to illustrate that the proposed approaches greatly improve the convergence rate and the quality of inverse solutions.
△ Less
Submitted 19 December, 2023;
originally announced December 2023.
-
Clustering Consistency of General Nonparametric Classification Methods in Cognitive Diagnosis
Authors:
Yanlong Liu,
Gongjun Xu
Abstract:
Cognitive diagnosis models have been popularly used in fields such as education, psychology, and social sciences. While parametric likelihood estimation is a prevailing method for fitting cognitive diagnosis models, nonparametric methodologies are attracting increasing attention due to their ease of implementation and robustness, particularly when sample sizes are relatively small. However, existi…
▽ More
Cognitive diagnosis models have been popularly used in fields such as education, psychology, and social sciences. While parametric likelihood estimation is a prevailing method for fitting cognitive diagnosis models, nonparametric methodologies are attracting increasing attention due to their ease of implementation and robustness, particularly when sample sizes are relatively small. However, existing clustering consistency results of the nonparametric estimation methods often rely on certain restrictive conditions, which may not be easily satisfied in practice. In this article, the clustering consistency of the general nonparametric classification method is reestablished under weaker and more practical conditions.
△ Less
Submitted 18 December, 2023;
originally announced December 2023.
-
Global smooth solutions to 2D semilinear wave equations with large data
Authors:
Bingbing Ding,
Shijie Dong,
Gang Xu
Abstract:
We are interested in coupled semi-linear wave equations satisfying the null condition in two space dimensions, a basic model in nonlinear wave equations. Our aim is to establish global existence of smooth solutions to this system with large initial data of short pulse type. Major difficulties arise due to the largeness of initial data and the slow decay nature of 2D wave equations. To overcome the…
▽ More
We are interested in coupled semi-linear wave equations satisfying the null condition in two space dimensions, a basic model in nonlinear wave equations. Our aim is to establish global existence of smooth solutions to this system with large initial data of short pulse type. Major difficulties arise due to the largeness of initial data and the slow decay nature of 2D wave equations. To overcome the difficulties, by careful examination of the local solutions, we adapt various vector-field methods to different spacetime regions with several novel weighted energy estimates.
△ Less
Submitted 13 December, 2023;
originally announced December 2023.
-
Statistical Inference on Latent Space Models for Network Data
Authors:
Jinming Li,
Gongjun Xu,
Ji Zhu
Abstract:
Latent space models are powerful statistical tools for modeling and understanding network data. While the importance of accounting for uncertainty in network analysis has been well recognized, the current literature predominantly focuses on point estimation and prediction, leaving the statistical inference of latent space models an open question. This work aims to fill this gap by providing a gene…
▽ More
Latent space models are powerful statistical tools for modeling and understanding network data. While the importance of accounting for uncertainty in network analysis has been well recognized, the current literature predominantly focuses on point estimation and prediction, leaving the statistical inference of latent space models an open question. This work aims to fill this gap by providing a general framework to analyze the theoretical properties of the maximum likelihood estimators. In particular, we establish the uniform consistency and asymptotic distribution results for the latent space models under different edge types and link functions. Furthermore, the proposed framework enables us to generalize our results to the dependent-edge and sparse scenarios. Our theories are supported by simulation studies and have the potential to be applied in downstream inferences, such as link prediction and network testing problems.
△ Less
Submitted 14 December, 2023; v1 submitted 11 December, 2023;
originally announced December 2023.
-
Hyperbolic Network Latent Space Model with Learnable Curvature
Authors:
Jinming Li,
Gongjun Xu,
Ji Zhu
Abstract:
Network data is ubiquitous in various scientific disciplines, including sociology, economics, and neuroscience. Latent space models are often employed in network data analysis, but the geometric effect of latent space curvature remains a significant, unresolved issue. In this work, we propose a hyperbolic network latent space model with a learnable curvature parameter. We theoretically justify tha…
▽ More
Network data is ubiquitous in various scientific disciplines, including sociology, economics, and neuroscience. Latent space models are often employed in network data analysis, but the geometric effect of latent space curvature remains a significant, unresolved issue. In this work, we propose a hyperbolic network latent space model with a learnable curvature parameter. We theoretically justify that learning the optimal curvature is essential to minimizing the embedding error across all hyperbolic embedding methods beyond network latent space models. A maximum-likelihood estimation strategy, employing manifold gradient optimization, is developed, and we establish the consistency and convergence rates for the maximum-likelihood estimators, both of which are technically challenging due to the non-linearity and non-convexity of the hyperbolic distance metric. We further demonstrate the geometric effect of latent space curvature and the superior performance of the proposed model through extensive simulation studies and an application using a Facebook friendship network.
△ Less
Submitted 8 December, 2023;
originally announced December 2023.
-
Friedrichs extensions for a class of singular discrete linear Hamiltonian systems
Authors:
Guojing Ren,
Guixin Xu
Abstract:
This paper is concerned with the characterizations of the Friedrichs extension for a class of singular discrete linear Hamiltonian systems. The existence of recessive solutions and the existence of the Friedrichs extension are proved under some conditions. The self-adjoint boundary conditions are obtained by applying the recessive solutions and then the characterization of the Friedrichs extension…
▽ More
This paper is concerned with the characterizations of the Friedrichs extension for a class of singular discrete linear Hamiltonian systems. The existence of recessive solutions and the existence of the Friedrichs extension are proved under some conditions. The self-adjoint boundary conditions are obtained by applying the recessive solutions and then the characterization of the Friedrichs extension is obtained in terms of boundary conditions via linear independently recessive solutions.
△ Less
Submitted 14 November, 2023;
originally announced November 2023.
-
Non-convex potential games for finding global solutions to sensor network localization
Authors:
Gehui Xu,
Guanpu Chen,
Yiguang Hong,
Baris Fidan,
Thomas Parisini,
Karl H. Johansson
Abstract:
Sensor network localization (SNL) problems require determining the physical coordinates of all sensors in a network. This process relies on the global coordinates of anchors and the available measurements between non-anchor and anchor nodes. Attributed to the intrinsic non-convexity, obtaining a globally optimal solution to SNL is challenging, as well as implementing corresponding algorithms. In t…
▽ More
Sensor network localization (SNL) problems require determining the physical coordinates of all sensors in a network. This process relies on the global coordinates of anchors and the available measurements between non-anchor and anchor nodes. Attributed to the intrinsic non-convexity, obtaining a globally optimal solution to SNL is challenging, as well as implementing corresponding algorithms. In this paper, we formulate a non-convex multi-player potential game for a generic SNL problem to investigate the identification condition of the global Nash equilibrium (NE) therein, where the global NE represents the global solution of SNL. We employ canonical duality theory to transform the non-convex game into a complementary dual problem. Then we develop a conjugation-based algorithm to compute the stationary points of the complementary dual problem. On this basis, we show an identification condition of the global NE: the stationary point of the proposed algorithm satisfies a duality relation. Finally, simulation results are provided to validate the effectiveness of the theoretical results.
△ Less
Submitted 23 March, 2024; v1 submitted 6 November, 2023;
originally announced November 2023.
-
Dynamics of radial threshold solutions for generalized energy-critical Hartree equation
Authors:
Xuemei Li,
Chenxi Liu,
Xingdong Tang,
Guixiang Xu
Abstract:
In this paper, we study long time dynamics of radial threshold solutions for the focusing, generalized energy-critical Hartree equation and classify all radial threshold solutions. The main arguments are the spectral theory of the linearized operator, the modulational analysis and the concentration compactness rigidity argument developed by T. Duyckaerts and F. Merle to classify all threshold solu…
▽ More
In this paper, we study long time dynamics of radial threshold solutions for the focusing, generalized energy-critical Hartree equation and classify all radial threshold solutions. The main arguments are the spectral theory of the linearized operator, the modulational analysis and the concentration compactness rigidity argument developed by T. Duyckaerts and F. Merle to classify all threshold solutions for the energy critical NLS and NLW in \cite{DuyMerle:NLS:ThresholdSolution, DuyMerle:NLW:ThresholdSolution}, later by D. Li and X. Zhang in \cite{LiZh:NLS, LiZh:NLW} in higher dimensions. The new ingredient here is to solve the nondegeneracy of positive bubble solutions with nonlocal structure in $\dot H^1(\R^N)$ (i.e. the spectral assumption in \cite{MiaoWX:dynamic gHartree}) by the nondegeneracy result of positive bubble solution in $L^{\infty}(\R^N)$ in \cite{LLTX:Nondegeneracy} and the Moser iteration method in \cite{DiMeVald:book}, which is related to the spectral analysis of the linearized operator with nonlocal structure, and plays a key role in the construction of the special threshold solutions, and the classification of all threshold solutions.
△ Less
Submitted 12 December, 2023; v1 submitted 23 October, 2023;
originally announced October 2023.
-
Qin's Algorithm, Continued Fractions and 2-dimensional Lattices
Authors:
Han Wu,
Guangwu Xu
Abstract:
In his celebrated book "Mathematical Treatise in Nine Sections" of 1247, Qin, Jiushao described the Chinese remainder theorem with great detail and generality. He also gave a method for computing modular inverse under the name of "DaYan deriving one". Historical significance of DaYan deriving one method has been well studied. In this paper, we investigate its modern mathematical nature from the pe…
▽ More
In his celebrated book "Mathematical Treatise in Nine Sections" of 1247, Qin, Jiushao described the Chinese remainder theorem with great detail and generality. He also gave a method for computing modular inverse under the name of "DaYan deriving one". Historical significance of DaYan deriving one method has been well studied. In this paper, we investigate its modern mathematical nature from the perspectives of number theory and algorithm. One of the remarkable features of Qin's algorithm is that it keeps a state of four variables in a matrix form. Its choice of variables and layout provide natural ways of connecting several important mathematical concepts. An invariant about the state is also observed which provides a convenient yet powerful tool in proving several important mathematical results. The paper first explains Qin's algorithm and proves some of its properties. Then the connection with continued fractions is examined, the results show that the states of Qin's algorithm contain rich information about continued fractions and some classical arguments can be derived easily. The last part of the paper discusses a family of 2-dimensional lattices of number theoretic significance by proving that the shortest vectors of these lattices can be obtained from the states of Qin's algorithm. This result is surprising in that a shortest lattice vector is found in a well-regulated set. A method of computing such shortest vectors is proposed.ed.
△ Less
Submitted 7 November, 2023; v1 submitted 13 October, 2023;
originally announced October 2023.
-
The analysis of vertex feedback stabilisability of a star-shaped network of fluid-conveying pipes
Authors:
Xiao Xuan Feng,
Gen Qi Xu,
Mahyar Mahinzaeim
Abstract:
It is an outstanding problem whether a pipe-flow system on a star-shaped network is stabilisable by a feedback control on the common vertex. In the present paper we deal with this problem. In particular, we study the equation governing the small vibrations of a stretched elastic pipe conveying fluid in a star-shaped network and examine the question of vertex feedback stabilisability of such a syst…
▽ More
It is an outstanding problem whether a pipe-flow system on a star-shaped network is stabilisable by a feedback control on the common vertex. In the present paper we deal with this problem. In particular, we study the equation governing the small vibrations of a stretched elastic pipe conveying fluid in a star-shaped network and examine the question of vertex feedback stabilisability of such a system via control moments. Finding an answer to the question is not straightforward, for the system operator associated with the corresponding closed-loop system is unbounded and nonselfadjoint. An approach to the study of the stabilisation problem for the closed-loop system is presented based on the spectral approach previously introduced by the authors for star graphs of stretched elastic beams. When the tension in the pipes is greater than the square of the fluid-flow velocity, we establish a positive result that in fact gives the strong property of uniform exponential stability of the closed-loop system.
△ Less
Submitted 25 July, 2024; v1 submitted 18 September, 2023;
originally announced September 2023.
-
Franks' dichotomy for toric manifolds, Hofer-Zehnder conjecture, and gauged linear sigma model
Authors:
Shaoyun Bai,
Guangbo Xu
Abstract:
We prove that for any compact toric symplectic manifold, if a Hamiltonian diffeomorphism admits more fixed points, counted homologically, than the total Betti number, then it has infinitely many simple periodic points. This provides a vast generalization of Franks' famous two or infinity dichotomy for periodic orbits of area-preserving diffeomorphisms on the two-sphere, and establishes a conjectur…
▽ More
We prove that for any compact toric symplectic manifold, if a Hamiltonian diffeomorphism admits more fixed points, counted homologically, than the total Betti number, then it has infinitely many simple periodic points. This provides a vast generalization of Franks' famous two or infinity dichotomy for periodic orbits of area-preserving diffeomorphisms on the two-sphere, and establishes a conjecture attributed to Hofer-Zehnder in the case of toric manifolds. The key novelty is the application of gauged linear sigma model and its bulk deformations to the study of Hamiltonian dynamics of symplectic quotients.
△ Less
Submitted 10 January, 2024; v1 submitted 14 September, 2023;
originally announced September 2023.
-
Quantifying Distributional Model Risk in Marginal Problems via Optimal Transport
Authors:
Yanqin Fan,
Hyeonseok Park,
Gaoqian Xu
Abstract:
This paper studies distributional model risk in marginal problems, where each marginal measure is assumed to lie in a Wasserstein ball centered at a fixed reference measure with a given radius. Theoretically, we establish several fundamental results including strong duality, finiteness of the proposed Wasserstein distributional model risk, and the existence of an optimizer at each radius. In addit…
▽ More
This paper studies distributional model risk in marginal problems, where each marginal measure is assumed to lie in a Wasserstein ball centered at a fixed reference measure with a given radius. Theoretically, we establish several fundamental results including strong duality, finiteness of the proposed Wasserstein distributional model risk, and the existence of an optimizer at each radius. In addition, we show continuity of the Wasserstein distributional model risk as a function of the radius. Using strong duality, we extend the well-known Makarov bounds for the distribution function of the sum of two random variables with given marginals to Wasserstein distributionally robust Markarov bounds. Practically, we illustrate our results on four distinct applications when the sample information comes from multiple data sources and only some marginal reference measures are identified. They are: partial identification of treatment effects; externally valid treatment choice via robust welfare functions; Wasserstein distributionally robust estimation under data combination; and evaluation of the worst aggregate risk measures.
△ Less
Submitted 3 July, 2023;
originally announced July 2023.
-
A perturbation result for the energy critical Choquard equation in $\mathbb{R}^N$
Authors:
Xinyu Bo,
Guangying Lv,
Xingdong Tang,
Guixiang Xu
Abstract:
We study the singularly perturbed nonlinear energy critical Choquard equation \begin{equation*} -{\Laplace u}\qty({x}) -α \int_{\R^N}\frac{u^p\qty(y)}{\abs{x-y}^λ}\odif{y} u^{p-1}\qty({x}) -\eps k\qty(x)u^{\frac{N+2}{N-2}}\qty(x)=0, \qquad x\in\R^N, \end{equation*} where $N\geq 3$, $0<λ<N$, $λ\leq 4$, $p=\frac{2N-λ}{N-2}$,…
▽ More
We study the singularly perturbed nonlinear energy critical Choquard equation \begin{equation*} -{\Laplace u}\qty({x}) -α \int_{\R^N}\frac{u^p\qty(y)}{\abs{x-y}^λ}\odif{y} u^{p-1}\qty({x}) -\eps k\qty(x)u^{\frac{N+2}{N-2}}\qty(x)=0, \qquad x\in\R^N, \end{equation*} where $N\geq 3$, $0<λ<N$, $λ\leq 4$, $p=\frac{2N-λ}{N-2}$, $α= \frac{
N\qty({N-2})\fctΓ{N-\fracλ{2}} }{
π^{\frac{N}{2}}\fctΓ{\frac{N-λ}{2}} }$,~ and $k$ is a positive function. By making use of a Lyapunov-Schmidt reduction argument, for sufficiently small $\eps>0$, we construct solutions of the form \begin{align*} u_{\eps}\qty(x)=U_{μ_{\eps},ξ_{\eps}}\qty(x)\qty(1+Ø\qty(\eps)), \end{align*} where $U_{μ_{\eps},ξ_{\eps}}$ is a positive solution of the unperturbed equation \begin{equation*}
-{\Laplace u}\qty({x})
-α
\int_{\R^N}\frac{u^p\qty(y)}{\abs{x-y}^λ}\odif{y}=0,\qquad x\in\R^N. \end{equation*}
△ Less
Submitted 2 July, 2023;
originally announced July 2023.
-
Integral of scalar curvature on manifolds with a pole
Authors:
Guoyi Xu
Abstract:
On any complete three dimensional Riemannian manifold with a pole and non-negative Ricci curvature, we show that the asymptotic scaling invariant integral of scalar curvature, is equal to a term determined by the asymptotic volume ratio of this Riemannian manifold.
On any complete three dimensional Riemannian manifold with a pole and non-negative Ricci curvature, we show that the asymptotic scaling invariant integral of scalar curvature, is equal to a term determined by the asymptotic volume ratio of this Riemannian manifold.
△ Less
Submitted 12 June, 2023;
originally announced June 2023.
-
Comparison of SeDuMi and SDPT3 Solvers for Stability of Continuous-time Linear System
Authors:
Guangda Xu
Abstract:
SeDuMi and SDPT3 are two solvers for solving Semi-definite Programming (SDP) or Linear Matrix Inequality (LMI) problems. A computational performance comparison of these two are undertaken in this paper regarding the Stability of Continuous-time Linear Systems. The comparison mainly focuses on computational times and memory requirements for different scales of problems. To implement and compare the…
▽ More
SeDuMi and SDPT3 are two solvers for solving Semi-definite Programming (SDP) or Linear Matrix Inequality (LMI) problems. A computational performance comparison of these two are undertaken in this paper regarding the Stability of Continuous-time Linear Systems. The comparison mainly focuses on computational times and memory requirements for different scales of problems. To implement and compare the two solvers on a set of well-posed problems, we employ YALMIP, a widely used toolbox for modeling and optimization in MATLAB. The primary goal of this study is to provide an empirical assessment of the relative computational efficiency of SeDuMi and SDPT3 under varying problem conditions. Our evaluation indicates that SDPT3 performs much better in large-scale, high-precision calculations.
△ Less
Submitted 7 June, 2023;
originally announced June 2023.
-
Decay Rates and Eigenvalue Asymptotics for Abstract Strongly Coupled Hyperbolic Equations with Infinite Memory
Authors:
Hai E Zhang,
Gen Qi Xu,
Zhong Jie Han
Abstract:
In this paper, the asymptotic behavior of abstract strongly coupled hyperbolic equations with one infinite memory term is investigated, one specific case of which is the model for describing the dynamical behaviour of magnetic effected piezoelectric beams. A fractional operator is involved in the memory term depending on the parameter $a\in [0,1)$. By means of frequency domain analysis, it is prov…
▽ More
In this paper, the asymptotic behavior of abstract strongly coupled hyperbolic equations with one infinite memory term is investigated, one specific case of which is the model for describing the dynamical behaviour of magnetic effected piezoelectric beams. A fractional operator is involved in the memory term depending on the parameter $a\in [0,1)$. By means of frequency domain analysis, it is proved that the system can be indirectly stabilized polynomially by only one infinite memory term located on one of these two strongly coupled PDEs, and the explicit decay rates given as $t^{-\frac{1}{2-2a}}$ are only dependent on the parameter $a$. When considering the exponentially decreasing kernel, a detailed spectral analysis for the system operator is further provided. Specifically, the asymptotic expressions of the eigenvalues of the system operator are derived. Based on the expressions of the eigenvalues, the optimality of the obtained decay rates is further verified for this system.
△ Less
Submitted 13 May, 2023;
originally announced May 2023.
-
Nondegeneracy of positive bubble solutions for generalized energy-critical Hartree equations
Authors:
Xuemei Li,
Chenxi Liu,
Xingdong Tang,
Guixiang Xu
Abstract:
We mainly show the nondegeneracy of positive bubble solutions for generalized energy-critical Hartree equations (NLH) \begin{equation*}
-{Δu}\sts{x}
-{\bmα}\sts{N,λ}
\int_{\R^N}
{ \frac{ u^{p}\sts{y}}{\pabs{\,x-y\,}λ} }\diff{y}\,
u^{p-1}\sts{x}
=0,\quad x\in \R^N \end{equation*} where $u(x)$ is a real-valued function, $N\geq 3$, $0<λ<N$, $p=\frac{2N-λ}{N-2}$ and ${\bmα}\sts{N,λ}$ is a…
▽ More
We mainly show the nondegeneracy of positive bubble solutions for generalized energy-critical Hartree equations (NLH) \begin{equation*}
-{Δu}\sts{x}
-{\bmα}\sts{N,λ}
\int_{\R^N}
{ \frac{ u^{p}\sts{y}}{\pabs{\,x-y\,}λ} }\diff{y}\,
u^{p-1}\sts{x}
=0,\quad x\in \R^N \end{equation*} where $u(x)$ is a real-valued function, $N\geq 3$, $0<λ<N$, $p=\frac{2N-λ}{N-2}$ and ${\bmα}\sts{N,λ}$ is a normalized constant. It generalizes the nondegeneracy results of positive bubble solutions in \cite{DY2019dcds, GWY2020na, LTX2021} to the full range $0<λ<N$, and confirms an open nondegeneracy problem in \cite{GMYZ2022cvpde}. The key observation is that the weighted pushforward map $\mathcal{S}_*$ related to the stereographic projection $\mathcal{S}$ is one-to-one map between the null space of the linearized operator and the spherical harmonic function subspace $\mathcal{H}_1^{N+1}$ of order one.
△ Less
Submitted 4 December, 2023; v1 submitted 8 April, 2023;
originally announced April 2023.
-
Sufficient and Necessary Conditions for the Identifiability of DINA Models with Polytomous Responses
Authors:
Mengqi Lin,
Gongjun Xu
Abstract:
Cognitive Diagnosis Models (CDMs) provide a powerful statistical and psychometric tool for researchers and practitioners to learn fine-grained diagnostic information about respondents' latent attributes. There has been a growing interest in the use of CDMs for polytomous response data, as more and more items with multiple response options become widely used. Similar to many latent variable models,…
▽ More
Cognitive Diagnosis Models (CDMs) provide a powerful statistical and psychometric tool for researchers and practitioners to learn fine-grained diagnostic information about respondents' latent attributes. There has been a growing interest in the use of CDMs for polytomous response data, as more and more items with multiple response options become widely used. Similar to many latent variable models, the identifiability of CDMs is critical for accurate parameter estimation and valid statistical inference. However, the existing identifiability results are primarily focused on binary response models and have not adequately addressed the identifiability of CDMs with polytomous responses. This paper addresses this gap by presenting sufficient and necessary conditions for the identifiability of the widely used DINA model with polytomous responses, with the aim to provide a comprehensive understanding of the identifiability of CDMs with polytomous responses and to inform future research in this field.
△ Less
Submitted 22 February, 2024; v1 submitted 3 April, 2023;
originally announced April 2023.
-
A central limit theorem for a sequence of conditionally centered and $α$-mixing random fields
Authors:
Abdollah Jalilian,
Ganggang Xu,
Arnaud Poinas,
Rasmus Waagepetersen
Abstract:
A central limit theorem is established for a sum of random variables belonging to a sequence of random fields. The fields are assumed to have zero mean conditional on the past history and to satisfy certain conditional $α$-mixing conditions in space or time. The limiting normal distribution is obtained for increasing spatial domain or increasing length of the sequence. The applicability of the the…
▽ More
A central limit theorem is established for a sum of random variables belonging to a sequence of random fields. The fields are assumed to have zero mean conditional on the past history and to satisfy certain conditional $α$-mixing conditions in space or time. The limiting normal distribution is obtained for increasing spatial domain or increasing length of the sequence. The applicability of the theorem is demonstrated by examples regarding estimating functions for a space-time point process and a space-time Markov process.
△ Less
Submitted 11 April, 2024; v1 submitted 21 January, 2023;
originally announced January 2023.
-
Global Nash Equilibrium in Non-convex Multi-player Game: Theory and Algorithms
Authors:
Guanpu Chen,
Gehui Xu,
Fengxiang He,
Yiguang Hong,
Leszek Rutkowski,
Dacheng Tao
Abstract:
Wide machine learning tasks can be formulated as non-convex multi-player games, where Nash equilibrium (NE) is an acceptable solution to all players, since no one can benefit from changing its strategy unilaterally. Attributed to the non-convexity, obtaining the existence condition of global NE is challenging, let alone designing theoretically guaranteed realization algorithms. This paper takes co…
▽ More
Wide machine learning tasks can be formulated as non-convex multi-player games, where Nash equilibrium (NE) is an acceptable solution to all players, since no one can benefit from changing its strategy unilaterally. Attributed to the non-convexity, obtaining the existence condition of global NE is challenging, let alone designing theoretically guaranteed realization algorithms. This paper takes conjugate transformation to the formulation of non-convex multi-player games, and casts the complementary problem into a variational inequality (VI) problem with a continuous pseudo-gradient mapping. We then prove the existence condition of global NE: the solution to the VI problem satisfies a duality relation. Based on this VI formulation, we design a conjugate-based ordinary differential equation (ODE) to approach global NE, which is proved to have an exponential convergence rate. To make the dynamics more implementable, we further derive a discretized algorithm. We apply our algorithm to two typical scenarios: multi-player generalized monotone game and multi-player potential game. In the two settings, we prove that the step-size setting is required to be $\mathcal{O}(1/k)$ and $\mathcal{O}(1/\sqrt k)$ to yield the convergence rates of $\mathcal{O}(1/ k)$ and $\mathcal{O}(1/\sqrt k)$, respectively. Extensive experiments in robust neural network training and sensor localization are in full agreement with our theory.
△ Less
Submitted 19 January, 2023;
originally announced January 2023.
-
The construction of $ε$-splitting map
Authors:
Guoyi Xu,
Jie Zhou
Abstract:
For a geodesic ball with non-negative Ricci curvature and almost maximal volume, without using compactness argument, we construct an $ε$-splitting map on a concentric geodesic ball with uniformly small radius. There are two new technical points in our proof. The first one is the way of finding $n$ directional points by induction and stratified almost Gou-Gu Theorem. The other one is the error esti…
▽ More
For a geodesic ball with non-negative Ricci curvature and almost maximal volume, without using compactness argument, we construct an $ε$-splitting map on a concentric geodesic ball with uniformly small radius. There are two new technical points in our proof. The first one is the way of finding $n$ directional points by induction and stratified almost Gou-Gu Theorem. The other one is the error estimates of projections, which guarantee the $n$ directional points we find really determine $n$ different directions.
△ Less
Submitted 20 December, 2022;
originally announced December 2022.
-
Coincidence analysis of Stackelberg and Nash equilibria in three-player leader-follower security games
Authors:
Gehui Xu,
Guanpu Chen,
Zhaoyang Cheng,
Yiguang Hong,
Hongsheng Qi
Abstract:
There has been significant recent interest in leader-follower security games, where the leader dominates the decision process with the Stackelberg equilibrium (SE) strategy. However, such a leader-follower scheme may become invalid in practice due to subjective or objective factors, and then the Nash equilibrium (NE) strategy may be an alternative option. In this case, the leader may face a dilemm…
▽ More
There has been significant recent interest in leader-follower security games, where the leader dominates the decision process with the Stackelberg equilibrium (SE) strategy. However, such a leader-follower scheme may become invalid in practice due to subjective or objective factors, and then the Nash equilibrium (NE) strategy may be an alternative option. In this case, the leader may face a dilemma of choosing an SE strategy or an NE strategy. In this paper, we focus on a unified three-player leader-follower security game and study the coincidence between SE and NE. We first explore a necessary and sufficient condition for the case that each SE is an NE, which can be further presented concisely when the SE is unique. This condition not only provides access to seek a satisfactory SE strategy but also makes a criterion to verify an obtained SE strategy. Then we provide another appropriate condition for the case that at least one SE is an NE. Moreover, since the coincidence condition may not always be satisfied, we describe the closeness between SE and NE, and give an upper bound of their deviation. Finally, we show the applicability of the obtained theoretical results in several practical security cases, including the secure transmission problem and the cybersecurity defense.
△ Less
Submitted 28 October, 2022;
originally announced October 2022.
-
Arnold conjecture over integers
Authors:
Shaoyun Bai,
Guangbo Xu
Abstract:
For any closed symplectic manifold, we show that the number of 1-periodic orbits of a nondegenerate Hamiltonian thereon is bounded from below by a version of total Betti number over Z of the ambient space taking account of the total Betti number over Q and torsions of all characteristic. The proof is based on constructing a Hamiltonian Floer theory over the Novikov ring with integer coefficients,…
▽ More
For any closed symplectic manifold, we show that the number of 1-periodic orbits of a nondegenerate Hamiltonian thereon is bounded from below by a version of total Betti number over Z of the ambient space taking account of the total Betti number over Q and torsions of all characteristic. The proof is based on constructing a Hamiltonian Floer theory over the Novikov ring with integer coefficients, which generalizes our earlier work for constructing integer-valued Gromov-Witten type invariants. In the course of the construction, we build a Hamiltonian Floer flow category with compatible smooth global Kuranishi charts. This generalizes a recent work of Abouzaid-McLean-Smith, which might be of independent interest.
△ Less
Submitted 18 September, 2022;
originally announced September 2022.
-
The rigidity and stability of gradient estimates
Authors:
Qixuan Hu,
Guoyi Xu,
Chengjie Yu
Abstract:
In this note, we obtain the rigidity of the sharp Cheng-Yau gradient estimate for positive harmonic functions on surfaces with nonegative Gaussian curvature, the rigidity of the sharp Li-Yau gradient estimate for positive solutions to heat equations and the related estimates for Dirichlet Green's functions on Riemannian manifolds with nonnegative Ricci curvature. Moreover, we also obtain the corre…
▽ More
In this note, we obtain the rigidity of the sharp Cheng-Yau gradient estimate for positive harmonic functions on surfaces with nonegative Gaussian curvature, the rigidity of the sharp Li-Yau gradient estimate for positive solutions to heat equations and the related estimates for Dirichlet Green's functions on Riemannian manifolds with nonnegative Ricci curvature. Moreover, we also obtain the corresponding stability results.
△ Less
Submitted 4 August, 2022;
originally announced August 2022.
-
A Mikhlin--Hörmander multiplier theorem for the partial harmonic oscillator
Authors:
Xiaoyan Su,
Ying Wang,
Guixiang Xu
Abstract:
We prove a Mikhlin--Hörmander multiplier theorem for the partial harmonic oscillator $H_{\textup{par}}=-\pa_ρ^2-Δ_x+|x|^2$ for $(ρ, x)\in\R\times\R^d$ by using the Littlewood--Paley $g$ and $g^\ast$ functions and the associated heat kernel estimate. The multiplier we have investigated is defined on $\mathbb R \times \mathbb N$.
We prove a Mikhlin--Hörmander multiplier theorem for the partial harmonic oscillator $H_{\textup{par}}=-\pa_ρ^2-Δ_x+|x|^2$ for $(ρ, x)\in\R\times\R^d$ by using the Littlewood--Paley $g$ and $g^\ast$ functions and the associated heat kernel estimate. The multiplier we have investigated is defined on $\mathbb R \times \mathbb N$.
△ Less
Submitted 3 August, 2022;
originally announced August 2022.
-
Riesz transforms and Sobolev spaces associated to the partial harmonic oscillator
Authors:
Xiaoyan Su,
Ying Wang,
Guixiang Xu
Abstract:
In this paper, our goal is to establish the Sobolev space associated to the partial harmonic oscillator. Based on its heat kernel estimate, we firstly give the definition of the fractional powers of the partial harmonic oscillator $$\AH=-\partial_ρ^2-Δ_x+|x|^2,$$ and show that its negative powers are well defined on $L^p(\mathbb R^{d+1})$ for $p\in [1,\infty]$. We then define associated Riesz tran…
▽ More
In this paper, our goal is to establish the Sobolev space associated to the partial harmonic oscillator. Based on its heat kernel estimate, we firstly give the definition of the fractional powers of the partial harmonic oscillator $$\AH=-\partial_ρ^2-Δ_x+|x|^2,$$ and show that its negative powers are well defined on $L^p(\mathbb R^{d+1})$ for $p\in [1,\infty]$. We then define associated Riesz transforms and show that they are bounded on classical Sobolev spaces by the calculus of symbols.
Secondly, by a factorization of the operator $\AH$, we define two families of Sobolev spaces with positive integer indices, and show the equivalence between them by the boundedness of Riesz transforms. Moreover, the adapted symbolic calculus also implies the boundedness of Riesz type transforms on the Sobolev spaces associated to the partial harmonic oscillator $\AH$.
Lastly, as applications of our results, we obtain the revised Hardy-Littlewood-Sobolev inequality, the Gagliardo-Nirenberg-Sobolev inequality, and Hardy's inequality in the potential space $L_{\AH}^{α, p}$.
△ Less
Submitted 11 May, 2024; v1 submitted 21 July, 2022;
originally announced July 2022.
-
Bias-correction and Test for Mark-point Dependence with Replicated Marked Point Processes
Authors:
Ganggang Xu,
Jingfei Zhang,
Yehua Li,
Yongtao Guan
Abstract:
Mark-point dependence plays a critical role in research problems that can be fitted into the general framework of marked point processes. In this work, we focus on adjusting for mark-point dependence when estimating the mean and covariance functions of the mark process, given independent replicates of the marked point process. We assume that the mark process is a Gaussian process and the point pro…
▽ More
Mark-point dependence plays a critical role in research problems that can be fitted into the general framework of marked point processes. In this work, we focus on adjusting for mark-point dependence when estimating the mean and covariance functions of the mark process, given independent replicates of the marked point process. We assume that the mark process is a Gaussian process and the point process is a log-Gaussian Cox process, where the mark-point dependence is generated through the dependence between two latent Gaussian processes. Under this framework, naive local linear estimators ignoring the mark-point dependence can be severely biased. We show that this bias can be corrected using a local linear estimator of the cross-covariance function and establish uniform convergence rates of the bias-corrected estimators. Furthermore, we propose a test statistic based on local linear estimators for mark-point independence, which is shown to converge to an asymptotic normal distribution in a parametric $\sqrt{n}$-convergence rate. Model diagnostics tools are developed for key model assumptions and a robust functional permutation test is proposed for a more general class of mark-point processes. The effectiveness of the proposed methods is demonstrated using extensive simulations and applications to two real data examples.
△ Less
Submitted 25 July, 2022; v1 submitted 20 July, 2022;
originally announced July 2022.
-
On the blowup mechanism of smooth solutions to 1D quasilinear strictly hyperbolic systems with large initial data
Authors:
Jun Li,
Gang Xu,
Huicheng Yin
Abstract:
For the first order 1D $n\times n$ quasilinear strictly hyperbolic system $\partial_tu+F(u)\partial_xu=0$ with $u(x, 0)=\varepsilon u_0(x)$, where $\varepsilon>0$ is small, $u_0(x)\not\equiv 0$ and $u_0(x)\in C_0^2(\mathbb R)$, when at least one eigenvalue of $F(u)$ is genuinely nonlinear, it is well-known that on the finite blowup time $T_{\varepsilon}$, the derivatives $\partial_{t,x}u$ blow up…
▽ More
For the first order 1D $n\times n$ quasilinear strictly hyperbolic system $\partial_tu+F(u)\partial_xu=0$ with $u(x, 0)=\varepsilon u_0(x)$, where $\varepsilon>0$ is small, $u_0(x)\not\equiv 0$ and $u_0(x)\in C_0^2(\mathbb R)$, when at least one eigenvalue of $F(u)$ is genuinely nonlinear, it is well-known that on the finite blowup time $T_{\varepsilon}$, the derivatives $\partial_{t,x}u$ blow up while the solution $u$ keeps to be small. For the 1D scalar equation or $2\times 2$ strictly hyperbolic system (corresponding to $n=1, 2$), if the smooth solution $u$ blows up in finite time, then the blowup mechanism can be well understood (i.e., only the blowup of $\partial_{t,x}u$ happens). In the present paper, for the $n\times n$ ($n\geq 3$) strictly hyperbolic system with a class of large initial data, we are concerned with the blowup mechanism of smooth solution $u$ on the finite blowup time and the detailed singularity behaviours of $\partial_{t,x}u$ near the blowup point. Our results are based on the efficient decomposition of $u$ along the different characteristic directions, the suitable introduction of the modulated coordinates and the global weighted energy estimates.
△ Less
Submitted 18 April, 2022;
originally announced April 2022.
-
Stability of Multi-dimensional Nonlinear Piezoelectric Beam with Viscoelastic Infinite Memory
Authors:
H. E Zhang,
G. Q. Xu,
Z. J. Han
Abstract:
The long time behavior of a kind of fully magnetic effected nonlinear piezoelectric beam with viscoelastic infinite memory is considered. The well-posedness of this nonlinear coupled PDEs system is showed by mean of the semigroup theories and Banach fixed point theorem. Based on frequency domain analysis, it is proved that the corresponding coupled linear system can be indirectly stabilized expone…
▽ More
The long time behavior of a kind of fully magnetic effected nonlinear piezoelectric beam with viscoelastic infinite memory is considered. The well-posedness of this nonlinear coupled PDEs system is showed by mean of the semigroup theories and Banach fixed point theorem. Based on frequency domain analysis, it is proved that the corresponding coupled linear system can be indirectly stabilized exponentially by only one viscoelastic infinite memory term, which is located on one equation of these strongly coupled PDEs. Then the exponential decay of the solution to the nonlinear coupled PDEs' system is established by the energy estimation method under certain condition.
△ Less
Submitted 5 September, 2022; v1 submitted 7 April, 2022;
originally announced April 2022.
-
Algorithm design and approximation analysis on distributed robust game
Authors:
Gehui Xu,
Guanpu Chen,
Hongsheng Qi
Abstract:
We design a distributed algorithm to seek generalized Nash equilibria of a robust game with uncertain coupled constraints. Due to the uncertainty of parameters in set constraints, we aim to find a generalized Nash equilibrium in the worst case. However, it is challenging to obtain the exact equilibria directly because the parameters are from general convex sets, which may not have analytic express…
▽ More
We design a distributed algorithm to seek generalized Nash equilibria of a robust game with uncertain coupled constraints. Due to the uncertainty of parameters in set constraints, we aim to find a generalized Nash equilibrium in the worst case. However, it is challenging to obtain the exact equilibria directly because the parameters are from general convex sets, which may not have analytic expressions or are endowed with high-dimensional nonlinearities. To solve this problem, we first approximate parameter sets with inscribed polyhedrons, and transform the approximate problem in the worst case into an extended certain game with resource allocation constraints by robust optimization. Then we propose a distributed algorithm for this certain game and prove that an equilibrium obtained from the algorithm induces an $ε$-generalized Nash equilibrium of the original game, followed by convergence analysis. Moreover, resorting to the metric spaces and the analysis on nonlinear perturbed systems, we estimate the approximation accuracy related to $ε$ and point out the factors influencing the accuracy of $ε$.
△ Less
Submitted 4 April, 2022;
originally announced April 2022.
-
The Riesz basisness of the eigenfunctions and eigenvectors connected to the stability problem of a fluid-conveying tube with boundary control
Authors:
Mahyar Mahinzaeim,
Gen Qi Xu,
Xiao Xuan Feng
Abstract:
In the present paper we study the stability problem for a stretched tube conveying fluid with boundary control. The abstract spectral problem concerns operator pencils of the forms \begin{equation*} \mathcal{M}\left(λ\right)=λ^2G+λD+C\quad\text{and}\quad\mathcal{P}\left(λ\right)=λI-T \end{equation*} taking values in different Hilbert product spaces. Thorough analysis is made of the location and as…
▽ More
In the present paper we study the stability problem for a stretched tube conveying fluid with boundary control. The abstract spectral problem concerns operator pencils of the forms \begin{equation*} \mathcal{M}\left(λ\right)=λ^2G+λD+C\quad\text{and}\quad\mathcal{P}\left(λ\right)=λI-T \end{equation*} taking values in different Hilbert product spaces. Thorough analysis is made of the location and asymptotics of eigenvalues in the complex plane and Riesz basisness of the corresponding eigenfunctions and eigenvectors. Well-posedness of the closed-loop system represented by the initial-value problem for the abstract equation \begin{equation*} \dot{x}\left(t\right)=Tx\left(t\right) \end{equation*} is established in the framework of semigroups as well as expansions of the solutions in terms of eigenvectors and stability of the closed-loop system operator $T$. For the parameters of the problem we give regions, larger than those in the literature, in which a stretched tube with flow, simply supported at one end, with a boundary controller applied at the other end, can be made exponentially stable.
△ Less
Submitted 23 January, 2023; v1 submitted 4 April, 2022;
originally announced April 2022.
-
An integral Euler cycle in normally complex orbifolds and Z-valued Gromov-Witten type invariants
Authors:
Shaoyun Bai,
Guangbo Xu
Abstract:
We define an integral Euler cycle for a vector bundle $E$ over an effective orbifold $X$ for which $(E, X)$ is (stably) normally complex. The transversality is achieved by using Fukaya-Ono's "normally polynomial perturbations" and Brett Parker's generalization to "normally complex perturbations." Two immediate applications in symplectic topology are the definition of integer-valued genus-zero Grom…
▽ More
We define an integral Euler cycle for a vector bundle $E$ over an effective orbifold $X$ for which $(E, X)$ is (stably) normally complex. The transversality is achieved by using Fukaya-Ono's "normally polynomial perturbations" and Brett Parker's generalization to "normally complex perturbations." Two immediate applications in symplectic topology are the definition of integer-valued genus-zero Gromov--Witten type invariants for general compact symplectic manifolds using the global Kuranishi chart constructed by Abouzaid-McLean-Smith, and an alternative proof of the cohomological splitting theorem of Abouzaid-McLean-Smith for Hamiltonian fibrations over $S^2$ with integer coefficients.
△ Less
Submitted 16 February, 2022; v1 submitted 7 January, 2022;
originally announced January 2022.
-
Invariant Galton-Watson trees: metric properties and attraction with respect to generalized dynamical pruning
Authors:
Yevgeniy Kovchegov,
Guochen Xu,
Ilya Zaliapin
Abstract:
Invariant Galton-Watson (IGW) tree measures is a one-parameter family of critical Galton-Watson measures invariant with respect to a large class of tree reduction operations. Such operations include the generalized dynamical pruning (also known as hereditary reduction in a real tree setting) that eliminates descendant subtrees according to the value of an arbitrary subtree function that is monoton…
▽ More
Invariant Galton-Watson (IGW) tree measures is a one-parameter family of critical Galton-Watson measures invariant with respect to a large class of tree reduction operations. Such operations include the generalized dynamical pruning (also known as hereditary reduction in a real tree setting) that eliminates descendant subtrees according to the value of an arbitrary subtree function that is monotone nondecreasing with respect to an isometry-induced partial tree order. We show that, under a mild regularity condition, the IGW measures are the only attractors of critical Galton-Watson measures with respect to the generalized dynamical pruning. We also derive the distributions of height, length, and size of the IGW trees.
△ Less
Submitted 5 January, 2022;
originally announced January 2022.
-
Nondegeneracy of the positive solutions for critical nonlinear Hartree equation in $\R^6$
Authors:
Xuemei Li,
Xingdong Tang,
Guixiang Xu
Abstract:
We prove that any positive solution for the critical nonlinear Hartree equation $$-\Laplacian\fct{u}{x} -\int_{\R^6} \frac{\abs{\fct{u}{y}}^2 }{
\abs{x-y}^4 }\odif{y} \,\fct{u}{x}=0,\qtq{} x\in\R^6.$$ is nondegenerate. Firstly, in terms of spherical harmonics, we show that the corresponding linear operator can be decomposed into a series of one dimensional linear operators. Secondly, by making u…
▽ More
We prove that any positive solution for the critical nonlinear Hartree equation $$-\Laplacian\fct{u}{x} -\int_{\R^6} \frac{\abs{\fct{u}{y}}^2 }{
\abs{x-y}^4 }\odif{y} \,\fct{u}{x}=0,\qtq{} x\in\R^6.$$ is nondegenerate. Firstly, in terms of spherical harmonics, we show that the corresponding linear operator can be decomposed into a series of one dimensional linear operators. Secondly, by making use of the Perron-Frobenius property, we show that the kernel of each one dimensional linear operator is finite. Finally, we show that the kernel of the corresponding linear operator is the direct sum of the kernel of all one dimensional linear operators.
△ Less
Submitted 15 December, 2021;
originally announced December 2021.
-
Spectral analysis of a viscoelastic tube conveying fluid with generalised boundary conditions
Authors:
Xiao Xuan Feng,
Mahyar Mahinzaeim,
Gen Qi Xu
Abstract:
We study the spectral problem associated with the equation governing the small transverse motions of a viscoelastic tube of finite length conveying an ideal fluid. The boundary conditions considered are of general form, accounting for a combination of elasticity and viscous damping acting on both the slopes and the displacements of the ends of the tube. These include many standard boundary conditi…
▽ More
We study the spectral problem associated with the equation governing the small transverse motions of a viscoelastic tube of finite length conveying an ideal fluid. The boundary conditions considered are of general form, accounting for a combination of elasticity and viscous damping acting on both the slopes and the displacements of the ends of the tube. These include many standard boundary conditions as special cases such as the clamped, free, hinged, and guided conditions. We derive explicit asymptotic formulae for the eigenvalues for the case of generalised boundary conditions and specialise these results to the clamped case and the case in which damping acts on the slopes but not on the displacements. In particular, the dependence of the eigenvalues on the parameters of the problem is investigated and it is found that all eigenvalues are located in certain sectorial sets in the complex plane.
△ Less
Submitted 29 February, 2024; v1 submitted 15 November, 2021;
originally announced November 2021.
-
Counting pointlike instantons virtually without gluing
Authors:
Gang Tian,
Guangbo Xu
Abstract:
We use the first author's idea on "constructing virtual fundamental cycles without gluing
' to define the quantum correction term between the gauged linear sigma model and the nonlinear sigma model.
We use the first author's idea on "constructing virtual fundamental cycles without gluing
' to define the quantum correction term between the gauged linear sigma model and the nonlinear sigma model.
△ Less
Submitted 28 October, 2021;
originally announced October 2021.