Showing 1–50 of 279 results for author: Xu, H

Distributional stability of sparse inverse covariance matrix estimators

Authors: Renjie Chen, Huifu Xu, Henryk Zähle

Abstract: Finding an approximation of the inverse of the covariance matrix, also known as precision matrix, of a random vector with empirical data is widely discussed in finance and engineering. In data-driven problems, empirical data may be ``contaminated''. This raises the question as to whether the approximate precision matrix is reliable from a statistical point of view. In this paper, we concentrate on… ▽ More Finding an approximation of the inverse of the covariance matrix, also known as precision matrix, of a random vector with empirical data is widely discussed in finance and engineering. In data-driven problems, empirical data may be ``contaminated''. This raises the question as to whether the approximate precision matrix is reliable from a statistical point of view. In this paper, we concentrate on a much-noticed sparse estimator of the precision matrix and investigate the issue from the perspective of distributional stability. Specifically, we derive an explicit local Lipschitz bound for the distance between the distributions of the sparse estimator under two different distributions (regarded as the true data distribution and the distribution of ``contaminated'' data). The distance is measured by the Kantorovich metric on the set of all probability measures on a matrix space. We also present analogous results for the standard estimators of the covariance matrix and its eigenvalues. Furthermore, we discuss two applications and conduct some numerical experiments. △ Less

Submitted 6 July, 2024; originally announced July 2024.

Machine Learning-Enhanced Ant Colony Optimization for Column Generation

Authors: Hongjie Xu, Yunzhuang Shen, Yuan Sun, Xiaodong Li

Abstract: Column generation (CG) is a powerful technique for solving optimization problems that involve a large number of variables or columns. This technique begins by solving a smaller problem with a subset of columns and gradually generates additional columns as needed. However, the generation of columns often requires solving difficult subproblems repeatedly, which can be a bottleneck for CG. To address… ▽ More Column generation (CG) is a powerful technique for solving optimization problems that involve a large number of variables or columns. This technique begins by solving a smaller problem with a subset of columns and gradually generates additional columns as needed. However, the generation of columns often requires solving difficult subproblems repeatedly, which can be a bottleneck for CG. To address this challenge, we propose a novel method called machine learning enhanced ant colony optimization (MLACO), to efficiently generate multiple high-quality columns from a subproblem. Specifically, we train a ML model to predict the optimal solution of a subproblem, and then integrate this ML prediction into the probabilistic model of ACO to sample multiple high-quality columns. Our experimental results on the bin packing problem with conflicts show that the MLACO method significantly improves the performance of CG compared to several state-of-the-art methods. Furthermore, when our method is incorporated into a Branch-and-Price method, it leads to a significant reduction in solution time. △ Less

Submitted 22 April, 2024; originally announced July 2024.

Comments: 9 pages including reference

Subspaces spanned by eigenforms with nonvanishing twisted central $L$-values

Authors: June Kayath, Connor Lane, Ben Neifeld, Tianyu Ni, Hui Xue

Abstract: In this paper, we construct explicit spanning sets for two spaces. One is the subspace generated by integral-weight Hecke eigenforms with nonvanishing quadratic twisted central $L$-values. The other is a subspace generated by half-integral weight Hecke eigenforms with certain nonvanishing Fourier coefficients. Along the way, we show that these subspaces are isomorphic via the Shimura lift. In this paper, we construct explicit spanning sets for two spaces. One is the subspace generated by integral-weight Hecke eigenforms with nonvanishing quadratic twisted central $L$-values. The other is a subspace generated by half-integral weight Hecke eigenforms with certain nonvanishing Fourier coefficients. Along the way, we show that these subspaces are isomorphic via the Shimura lift. △ Less

Submitted 29 June, 2024; originally announced July 2024.

Comments: 38 pages

MSC Class: 11F37; 11F67

Multiple Forms of Knowing in Mathematics: A Scoping Literature Study

Authors: Hongzhang Xu, Rowena Ball

Abstract: We present a scoping review of published literature on ethnomathematics and Indigenous mathematics as a step towards a goal to decolonize the prevailing Eurocentric view of the provenance of mathematics. Mathematical practices were identified globally from 169 included studies. We map three development stages of ethnomathematical research from 1984 to 2023 and identify 20 categories of Indigenous… ▽ More We present a scoping review of published literature on ethnomathematics and Indigenous mathematics as a step towards a goal to decolonize the prevailing Eurocentric view of the provenance of mathematics. Mathematical practices were identified globally from 169 included studies. We map three development stages of ethnomathematical research from 1984 to 2023 and identify 20 categories of Indigenous and traditional cultural activities that evidence mathematical design and expression. We address two challenges of investigating non-Western based mathematics: where to look for mathematical knowledge, and how to decode it from cultural practices. These two hurdles are overcome by cluster analysis of the keywords of included studies. Existing research falls into two categories: I. identification of mathematical concepts used in Indigenous societies, and II. systematizing identified mathematical concepts. Both approaches are essential for research on Indigenous mathematics to flourish, in order to empower Indigenous knowledge holders and deconstruct restrictive colonial boundaries of mathematical knowledge and education. △ Less

Submitted 10 June, 2024; originally announced June 2024.

The structure of periodic point free distal homeomorphisms on the annulus

Authors: Enhui Shi, Hui Xu, Ziqi YU

Abstract: Let $A$ be an annulus in the plane $\mathbb R^2$ and $g:A\rightarrow A$ be a boundary components preserving homeomorphism which is distal and has no periodic points. Then there is a continuous decomposition of $A$ into $g$-invariant circles such that all the restrictions of $g$ on them share a common irrational rotation number and all these circles are linearly ordered by the inclusion relation on… ▽ More Let $A$ be an annulus in the plane $\mathbb R^2$ and $g:A\rightarrow A$ be a boundary components preserving homeomorphism which is distal and has no periodic points. Then there is a continuous decomposition of $A$ into $g$-invariant circles such that all the restrictions of $g$ on them share a common irrational rotation number and all these circles are linearly ordered by the inclusion relation on the sets of bounded components of their complements in $\mathbb R^2$. △ Less

Submitted 15 June, 2024; originally announced June 2024.

Comments: 18 pages. Comments are welcome

Statistical Robustness of Kernel Learning Estimator with Respect to Data Perturbation

Authors: Sainan Zhang, Huifu Xu, Hailin Sun

Abstract: Inspired by the recent work [28] on the statistical robustness of empirical risks in reproducing kernel Hilbert space (RKHS) where the training data are potentially perturbed or even corrupted, we take a step further in this paper to investigate the statistical robustness of the kernel learning estimator (the regularized empirical risk minimizer or stationary point). We begin by deriving qualitati… ▽ More Inspired by the recent work [28] on the statistical robustness of empirical risks in reproducing kernel Hilbert space (RKHS) where the training data are potentially perturbed or even corrupted, we take a step further in this paper to investigate the statistical robustness of the kernel learning estimator (the regularized empirical risk minimizer or stationary point). We begin by deriving qualitative statistical robustness of the estimator of the regularized empirical risk minimizer for a broad class of convex cost functions when all of the training data are potentially perturbed under some topological structures, and then move on to consider the quantitative statistical robustness of the stationary solution for a specific case that the cost function is continuously differentiable but not necessarily convex. In the latter case, we derive the first-order optimality condition of the regularized expected risk minimization problem, which is essentially a stochastic variational inequality problem (SVIP) in RKHS, and then use the SVIP as a platform to investigate local and global Lipschitz continuity of the stationary solution against perturbation of the probability distribution under the Fortet-Mourier metric. A crucial assumption in the analysis is that the perturbed data are independent and identically distributed (iid). In some practical applications, this assumption may not be fulfilled when a small proportion of perceived data is seriously perturbed/contaminated. In this case, we use the influence function to investigate the impact of single data perturbation on the expected risk minimizer. Differing from [64, Chapter 10], we concentrate on constrained expected risk minimization problems. The research is essentially down to the derivation of the implicit function theorem of the SVIP in RKHS. Finally, we illustrate our theoretical analysis with a couple of academic examples. △ Less

Submitted 15 June, 2024; originally announced June 2024.

Truncated-degree-choosability of planar graphs

Authors: Yiting Jiang, Huijuan Xu, Xinbo Xu, Xuding Zhu

Abstract: Assume $G$ is a graph and $k$ is a positive integer. Let $f:V(G)\to N$ be defined as $f(v)=\min\{k,d_G(v)\}$. If $G$ is $f$-choosable, then we say $G$ is $k$-truncated-degree-choosable. It was proved in [Zhou,Zhu,Zhu, Arc-weighted acyclic orientations and variations of degeneracy of graphs, arXiv:2308.15853] that there is a 3-connected non-complete planar graph that is not 7-truncated-degree-choos… ▽ More Assume $G$ is a graph and $k$ is a positive integer. Let $f:V(G)\to N$ be defined as $f(v)=\min\{k,d_G(v)\}$. If $G$ is $f$-choosable, then we say $G$ is $k$-truncated-degree-choosable. It was proved in [Zhou,Zhu,Zhu, Arc-weighted acyclic orientations and variations of degeneracy of graphs, arXiv:2308.15853] that there is a 3-connected non-complete planar graph that is not 7-truncated-degree-choosable, and every 3-connected non-complete planar graph is 16-truncated-degree-choosable. This paper improves the bounds, and proves that there is a 3-connected non-complete planar graph that is not 8-truncated-degree-choosable and every non-complete 3-connected planar graph is 12-truncated-degree-choosable. △ Less

Submitted 10 June, 2024; originally announced June 2024.

Comments: 17 pages, 1 figure

On the Convergence Rates of Set Membership Estimation of Linear Systems with Disturbances Bounded by General Convex Sets

Authors: Haonan Xu, Yingying Li

Abstract: This paper studies the uncertainty set estimation of system parameters of linear dynamical systems with bounded disturbances, which is motivated by robust (adaptive) constrained control. Departing from the confidence bounds of least square estimation from the machine-learning literature, this paper focuses on a method commonly used in (robust constrained) control literature: set membership estimat… ▽ More This paper studies the uncertainty set estimation of system parameters of linear dynamical systems with bounded disturbances, which is motivated by robust (adaptive) constrained control. Departing from the confidence bounds of least square estimation from the machine-learning literature, this paper focuses on a method commonly used in (robust constrained) control literature: set membership estimation (SME). SME tends to enjoy better empirical performance than LSE's confidence bounds when the system disturbances are bounded. However, the theoretical guarantees of SME are not fully addressed even for i.i.d. bounded disturbances. In the literature, SME's convergence has been proved for general convex supports of the disturbances, but SME's convergence rate assumes a special type of disturbance support: $l_\infty$ ball. The main contribution of this paper is relaxing the assumption on the disturbance support and establishing the convergence rates of SME for general convex supports, which closes the gap on the applicability of the convergence and convergence rates results. Numerical experiments on SME and LSE's confidence bounds are also provided for different disturbance supports. △ Less

Submitted 1 June, 2024; originally announced June 2024.

Generalized Bayesian Nash Equilibrium with Continuous Type and Action Spaces

Authors: Yuan Tao, Huifu Xu

Abstract: Bayesian game is a strategic decision-making model where each player's type parameter characterizing its own objective is private information: each player knows its own type but not its rivals' types, and Bayesian Nash equilibrium (BNE) is an outcome of this game where each player makes a strategic optimal decision according to its own type under the Nash conjecture. In this paper, we advance the… ▽ More Bayesian game is a strategic decision-making model where each player's type parameter characterizing its own objective is private information: each player knows its own type but not its rivals' types, and Bayesian Nash equilibrium (BNE) is an outcome of this game where each player makes a strategic optimal decision according to its own type under the Nash conjecture. In this paper, we advance the literature by considering a generalized Bayesian game where each player's action space depends on its own type parameter and the rivals' actions. This reflects the fact that in practical applications, a firm's feasible action is often related to its own type (e.g. marginal cost) and the rivals' actions (e.g. common resource constraints in a competitive market). Under some moderate conditions, we demonstrate existence of continuous generalized Bayesian Nash equilibria (GBNE) and uniqueness of such an equilibrium when each player's action space is only dependent on its type. In the case that each player's action space is also dependent on rivals' actions, we give a simple example to show that uniqueness of GBNE is not guaranteed under standard monotone conditions. To compute an approximate GBNE, we restrict each player's response function to the space of polynomial functions of its type parameter and consequently convert the GBNE problem to a stochastic generalized Nash equilibrium problem (SGNE). To justify the approximation, we discuss convergence of the approximation scheme. Some preliminary numerical test results show that the approximation scheme works well. △ Less

Submitted 30 May, 2024; originally announced May 2024.

MSC Class: 91A27; 91A06; 91A10; 91A15; 90C31

On a classification of steady solutions to two-dimensional Euler equations

Authors: Changfeng Gui, Chunjing Xie, Huan Xu

Abstract: In this paper, we provide a classification of steady solutions to two-dimensional incompressible Euler equations in terms of the set of flow angles. The first main result asserts that the set of flow angles of any bounded steady flow in the whole plane must be the whole circle unless the flow is a parallel shear flow. In an infinitely long horizontal strip or the upper half-plane supplemented with… ▽ More In this paper, we provide a classification of steady solutions to two-dimensional incompressible Euler equations in terms of the set of flow angles. The first main result asserts that the set of flow angles of any bounded steady flow in the whole plane must be the whole circle unless the flow is a parallel shear flow. In an infinitely long horizontal strip or the upper half-plane supplemented with slip boundary conditions, besides the two types of flows appeared in the whole space case, there exists an additional class of steady flows for which the set of flow angles is either the upper or lower closed semicircles. This type of flows is proved to be the class of non-shear flows that have the least total curvature. As consequences, we obtain Liouville-type theorems for two-dimensional semilinear elliptic equations with only bounded and measurable nonlinearity, and the structural stability of shear flows whose all stagnation points are not inflection points, including Poiseuille flow as a special case. Our proof relies on the analysis of some quantities related to the curvature of the streamlines. △ Less

Submitted 24 May, 2024; originally announced May 2024.

Erdős' problem and $(n, \frac{1}{3})$-separated sets

Authors: Enhui Shi, Hui Xu

Abstract: Inspired by the Erdős' problem in Ramsey theory, we propose a dynamical version of the problem and answer it positively for circle maps. Inspired by the Erdős' problem in Ramsey theory, we propose a dynamical version of the problem and answer it positively for circle maps. △ Less

Submitted 21 May, 2024; originally announced May 2024.

Comments: Comments are welcome!

Estimation and Inference for Change Points in Functional Regression Time Series

Authors: Shivam Kumar, Haotian Xu, Haeran Cho, Daren Wang

Abstract: In this paper, we study the estimation and inference of change points under a functional linear regression model with changes in the slope function. We present a novel Functional Regression Binary Segmentation (FRBS) algorithm which is computationally efficient as well as achieving consistency in multiple change point detection. This algorithm utilizes the predictive power of piece-wise constant f… ▽ More In this paper, we study the estimation and inference of change points under a functional linear regression model with changes in the slope function. We present a novel Functional Regression Binary Segmentation (FRBS) algorithm which is computationally efficient as well as achieving consistency in multiple change point detection. This algorithm utilizes the predictive power of piece-wise constant functional linear regression models in the reproducing kernel Hilbert space framework. We further propose a refinement step that improves the localization rate of the initial estimator output by FRBS, and derive asymptotic distributions of the refined estimators for two different regimes determined by the magnitude of a change. To facilitate the construction of confidence intervals for underlying change points based on the limiting distribution, we propose a consistent block-type long-run variance estimator. Our theoretical justifications for the proposed approach accommodate temporal dependence and heavy-tailedness in both the functional covariates and the measurement errors. Empirical effectiveness of our methodology is demonstrated through extensive simulation studies and an application to the Standard and Poor's 500 index dataset. △ Less

Submitted 8 May, 2024; originally announced May 2024.

Temporal Evolution of Bradford Curves in Specialized Library Contexts

Authors: Haobai Xue, Xian Liu

Abstract: Bradford's law of bibliographic scattering is a fundamental principle in bibliometrics, offering valuable guidance for academic libraries in literature search and procurement. However, Bradford curves can exhibit various shapes over time, and predicting these shapes remains a challenge due to a lack of causal explanation. This paper attributes the deviations from the theoretical J-shape to integer… ▽ More Bradford's law of bibliographic scattering is a fundamental principle in bibliometrics, offering valuable guidance for academic libraries in literature search and procurement. However, Bradford curves can exhibit various shapes over time, and predicting these shapes remains a challenge due to a lack of causal explanation. This paper attributes the deviations from the theoretical J-shape to integer constraints on the number of journals and articles, extending Leimkuhler and Egghe's formulas to encompass highly productive core journals, where the theoretical journal number falls below one. Using the Simon-Yule model, key parameters of the extended formulas are identified and analyzed. The paper explains the reasons for the Groos Droop and examines the critical points for shape changes. The proposed formulas are validated with empirical data from literature, demonstrating that this method can effectively predict the evolution of Bradford curves, thereby aiding academic libraries in the procurement and utilization of scientific literature. △ Less

Submitted 23 May, 2024; v1 submitted 30 April, 2024; originally announced April 2024.

Quasi-interpolation projectors for Subdivision Surfaces

Authors: Hailun Xu, Hongmei Kang

Abstract: Subdivision surfaces are considered as an extension of splines to accommodate models with complex topologies, making them useful for addressing PDEs on models with complex topologies in isogeometric analysis. This has generated a lot of interest in the field of subdivision space approximation. The quasi-interpolation offers a highly efficient approach for spline approximation, eliminating the nece… ▽ More Subdivision surfaces are considered as an extension of splines to accommodate models with complex topologies, making them useful for addressing PDEs on models with complex topologies in isogeometric analysis. This has generated a lot of interest in the field of subdivision space approximation. The quasi-interpolation offers a highly efficient approach for spline approximation, eliminating the necessity of solving large linear systems of equations. Nevertheless, the lack of analytical expressions at extraordinary points on subdivision surfaces makes traditional techniques for creating B-spline quasi-interpolants inappropriate for subdivision spaces. To address this obstacle, this paper innovatively reframes the evaluation issue associated with subdivision surfaces as a correlation between subdivision matrices and limit points, offering a thorough method for quasi-interpolation specifically designed for subdivision surfaces. This developed quasi-interpolant, termed the subdivision space projection operator, accurately reproduces the subdivision space. We provide explicit quasi-interpolation formulas for various typical subdivision schemes. Numerical experiments demonstrate that the quasi-interpolants for Catmull-Clark and Loop subdivision exhibit third-order approximation in the (L_2) norm and second-order in the (L_\infty) norm. Furthermore, the modified Loop subdivision quasi-interpolant achieves optimal approximation rates in both the (L_2) and (L_\infty) norms. △ Less

Submitted 28 April, 2024; originally announced April 2024.

MSC Class: 41A15; 65D07; 65D17

On the elliptic harmonic mappings and sense-preserving harmonic mappings

Authors: Ming-Sheng Liu, Hao XU

Abstract: In this paper, we first establish two versions of Landau-Bloch type theorem for $(K,K')$-elliptic harmonic mappings with a bounded minimum distortion. Next, we provide several coefficient estimates and a conjecture for $(K,K')$-elliptic harmonic mappings. Then, we establish three new versions of Landau-Bloch type theorem for sense-preserving harmonic mappings. Finally, we establish two sharp versi… ▽ More In this paper, we first establish two versions of Landau-Bloch type theorem for $(K,K')$-elliptic harmonic mappings with a bounded minimum distortion. Next, we provide several coefficient estimates and a conjecture for $(K,K')$-elliptic harmonic mappings. Then, we establish three new versions of Landau-Bloch type theorem for sense-preserving harmonic mappings. Finally, we establish two sharp versions of Landau-Bloch type theorem for certain harmonic mappings. These results are sharp in some given cases and improve the related results of different authors. △ Less

Submitted 11 April, 2024; originally announced April 2024.

Comments: 17 pages, this article is with a journal since Oct. 2023

MSC Class: Primary 30C50; 31A05; Secondary 32A18; 30C62; 33E05

The global Gan-Gross-Prasad conjecture for Fourier-Jacobi periods on unitary groups

Authors: Paul Boisseau, Weixiao Lu, Hang Xue

Abstract: We prove the Gan-Gross-Prasad conjecture for Fourier-Jacobi periods on unitary groups and an Ichino-Ikeda type refinement. Our strategy is based on the comparison of relative trace formulae formulated by Liu. We develop the full coarse spectral and geometric expansions of the relative trace formulae, and compute relevant spectral terms via zeta integrals and truncated periods. We compare all geome… ▽ More We prove the Gan-Gross-Prasad conjecture for Fourier-Jacobi periods on unitary groups and an Ichino-Ikeda type refinement. Our strategy is based on the comparison of relative trace formulae formulated by Liu. We develop the full coarse spectral and geometric expansions of the relative trace formulae, and compute relevant spectral terms via zeta integrals and truncated periods. We compare all geometric terms and characterize the local geometric comparison in terms of spectral data. △ Less

Submitted 10 April, 2024; originally announced April 2024.

Module Categories As Spans

Authors: Hao Xu

Abstract: We realize module functors and module natural transforms as spans of monoidal categories. We also discuss the generalizations to algebras and modules within an arbitrary monoidal 2-category, including $\mathbf{2Vect}$, $\mathbf{2Rep}(G)$, $\mathbf{2Vect}^πぱい_G$, $\mathbf{Mod}(\mathcal{B})$, $\mathbf{MCat}$ and $\mathbf{BrCat}$. We realize module functors and module natural transforms as spans of monoidal categories. We also discuss the generalizations to algebras and modules within an arbitrary monoidal 2-category, including $\mathbf{2Vect}$, $\mathbf{2Rep}(G)$, $\mathbf{2Vect}^πぱい_G$, $\mathbf{Mod}(\mathcal{B})$, $\mathbf{MCat}$ and $\mathbf{BrCat}$. △ Less

Submitted 9 April, 2024; originally announced April 2024.

Comments: Comments are welcome!

MSC Class: 18B10; 18M05; 18N10; 18N25; 16D10; 16D90

Comparative Study of Sand Drawings in Oceania and Africa

Authors: Linbin Wang, Rowena Ball, Hongzhang Xu

Abstract: People typically consider only European mathematics as orthodox, often intentionally or unintentionally overlooking the existence of mathematics from non-European societies. Inspired by Maria Ascher's two well-known papers on sand drawings in Oceania and Africa, this paper focuses on the strong link between modern mathematics and the mathematics behind the sand drawings. Beginning with a compariso… ▽ More People typically consider only European mathematics as orthodox, often intentionally or unintentionally overlooking the existence of mathematics from non-European societies. Inspired by Maria Ascher's two well-known papers on sand drawings in Oceania and Africa, this paper focuses on the strong link between modern mathematics and the mathematics behind the sand drawings. Beginning with a comparison of the geography, history, and the cultural context of sand drawings in Oceania and Africa, we will examine shared geometric features of European graph theory and Indigenous sand drawings, including continuity, cyclicity, and symmetry. The paper will also delve into the origin of graph theory, exploring whether the famous European mathematician Leonhard Euler, who published his solution to the Konigsberg bridge problem in 1736, was the true inventor of graph theory. The potential for incorporating sand drawings into the school curriculum is highlighted at the end. Overall, this paper aims to make readers realise the importance of ethnomathematics studies and appreciate the intelligence of Indigenous people. △ Less

Submitted 6 April, 2024; originally announced April 2024.

Comments: 23 pages, 25 figures

Dirac cohomology, branching laws and Wallach modules

Authors: Chao-Ping Dong, Yongzhi Luan, Haojun Xu

Abstract: The idea of using Dirac cohomology to study branching laws was initiated by Huang, Pandzić and Zhu in 2013 [HPZ]. One of their results says that the Dirac cohomology of $πぱい$ completely determines $πぱい|_{K}$, where $πぱい$ is any irreducible unitarizable highest weight $(\mathfrak{g}, K)$ module. This paper aims to develop this idea for the exceptional Lie groups $E_{6(-14)}$ and $E_{7(-25)}$: we recover… ▽ More The idea of using Dirac cohomology to study branching laws was initiated by Huang, Pandzić and Zhu in 2013 [HPZ]. One of their results says that the Dirac cohomology of $πぱい$ completely determines $πぱい|_{K}$, where $πぱい$ is any irreducible unitarizable highest weight $(\mathfrak{g}, K)$ module. This paper aims to develop this idea for the exceptional Lie groups $E_{6(-14)}$ and $E_{7(-25)}$: we recover the $K$-spectrum of the Wallach modules from their Dirac cohomology. △ Less

Submitted 5 April, 2024; originally announced April 2024.

Comments: 17 pages, 4 figures, 5 tables

MSC Class: 22E46

The 2-character theory for finite 2-groups

Authors: Mo Huang, Hao Xu, Zhi-Hao Zhang

Abstract: In this work, we generalize the notion of character for 2-representations of finite 2-groups. The properties of 2-characters bear strong similarities to those classical characters of finite groups, including conjugation invariance, additivity, multiplicativity and orthogonality. With a careful analysis using homotopy fixed points and quotients for categories with 2-group actions, we prove that the… ▽ More In this work, we generalize the notion of character for 2-representations of finite 2-groups. The properties of 2-characters bear strong similarities to those classical characters of finite groups, including conjugation invariance, additivity, multiplicativity and orthogonality. With a careful analysis using homotopy fixed points and quotients for categories with 2-group actions, we prove that the category of class functors on a 2-group $\mathcal G$ is equivalent to the Drinfeld center of the 2-group algebra $\mathrm{Vec}_{\mathcal G}$, which categorifies the Fourier transform on finite abelian groups. After transferring the canonical nondegenerate braided monoidal structure from $\mathfrak Z_1(\mathrm{Vec}_{\mathcal G})$, we discover that irreducible 2-characters of $\mathcal G$ coincide with full centers of the corresponding 2-representations, which are in a one-to-one correspondence with Lagrangian algebras in the category of class functors on $\mathcal G$. In particular, the fusion rule of $2\mathrm{Rep}(\mathcal G)$ can be calculated from the pointwise product of Lagrangian algebras as class functors. From a topological quantum field theory (TQFT) point of view, the commutative Frobenius algebra structure on a 2-character is induced from a 2D topological sigma-model with target space $\lvert \mathrm{B} \mathcal G \rvert$. △ Less

Submitted 1 April, 2024; originally announced April 2024.

Comments: 30 pages. Comments are welcome

Epsilon dichotomy for twisted linear models

Authors: Hang Xue, Pan Yan

Abstract: Let $E/F$ be a quadratic extension of local nonarchimedean fields of characteristic zero and let $D$ be a quaternion algebra over $F$ containing $E$. In this paper, we study a relation between the existence of twisted linear models on $\mathrm{GL}_n(D)$ and the local root numbers. Let $E/F$ be a quadratic extension of local nonarchimedean fields of characteristic zero and let $D$ be a quaternion algebra over $F$ containing $E$. In this paper, we study a relation between the existence of twisted linear models on $\mathrm{GL}_n(D)$ and the local root numbers. △ Less

Submitted 31 March, 2024; originally announced April 2024.

Comments: 38 pages

MSC Class: 11F70; 22E50

Semiclassical asymptotics for Bergman projections with Gevrey weights

Authors: Haoren Xiong, Hang Xu

Abstract: We extend the direct approach to the semiclassical asymptotics for Bergman projections, developed by Deleporte--Hitrik--Sjöstrand for real analytic exponential weights and Hitrik--Stone for smooth exponential weights, to the case of Gevrey weights. We prove that the amplitude of the asymptotic Bergman projection forms a Gevrey symbol whose asymptotic coefficients obey certain Gevrey-type growth ra… ▽ More We extend the direct approach to the semiclassical asymptotics for Bergman projections, developed by Deleporte--Hitrik--Sjöstrand for real analytic exponential weights and Hitrik--Stone for smooth exponential weights, to the case of Gevrey weights. We prove that the amplitude of the asymptotic Bergman projection forms a Gevrey symbol whose asymptotic coefficients obey certain Gevrey-type growth rate, and it is constructed by an asymptotic inversion of an explicit Fourier integral operator up to a Gevrey-type small remainder. △ Less

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

Higher Witt Groups for 2-Categories I: Centralizers

Authors: Hao Xu

Abstract: In this article, we investigate monoidal, braided, sylleptic centralizers of monoidal, braided, sylleptic 2-functors. We specifically focus on multifusion 2-categories and show that monoidal, braided, sylleptic centralizers are multifusion again, via studying the corresponding enveloping algebras. We provide a characterization of the non-degeneracy condition for monoidal, braided, and sylleptic fu… ▽ More In this article, we investigate monoidal, braided, sylleptic centralizers of monoidal, braided, sylleptic 2-functors. We specifically focus on multifusion 2-categories and show that monoidal, braided, sylleptic centralizers are multifusion again, via studying the corresponding enveloping algebras. We provide a characterization of the non-degeneracy condition for monoidal, braided, and sylleptic fusion 2-categories, via vanishing of their centers. Applying Double Centralizer Theorems, we establish the relationship between monoidal, braided, symmetric local modules and free modules. In particular, we obtain factorization properties of non-degenerate monoidal, braided, and sylleptic fusion 2-categories. Main results in this article will be used to study higher Witt equivalences of non-degenerate monoidal, braided, sylleptic 2-categories in the sequential articles. △ Less

Submitted 12 March, 2024; originally announced March 2024.

Comments: Comments welcome!

MSC Class: 18M20; 18N10; 18N25

Lower-level Duality Based Reformulation and Majorization Minimization Algorithm for Hyperparameter Optimization

Authors: He Chen, Haochen Xu, Rujun Jiang, Anthony Man-Cho So

Abstract: Hyperparameter tuning is an important task of machine learning, which can be formulated as a bilevel program (BLP). However, most existing algorithms are not applicable for BLP with non-smooth lower-level problems. To address this, we propose a single-level reformulation of the BLP based on lower-level duality without involving any implicit value function. To solve the reformulation, we propose a… ▽ More Hyperparameter tuning is an important task of machine learning, which can be formulated as a bilevel program (BLP). However, most existing algorithms are not applicable for BLP with non-smooth lower-level problems. To address this, we propose a single-level reformulation of the BLP based on lower-level duality without involving any implicit value function. To solve the reformulation, we propose a majorization minimization algorithm that marjorizes the constraint in each iteration. Furthermore, we show that the subproblems of the proposed algorithm for several widely used hyperparameter turning models can be reformulated into conic programs that can be efficiently solved by the off-the-shelf solvers. We theoretically prove the convergence of the proposed algorithm and demonstrate its superiority through numerical experiments. △ Less

Submitted 1 March, 2024; originally announced March 2024.

Comments: Accepted by AISTATS 2024

Distributed Observer Design over Directed Switching Topologies

Authors: Haotian Xu, Shuai Liu, Bohui Wang, Jingcheng Wang

Abstract: The distributed observer design problem holds significant importance in cases in which the output information of a system is decentralized across different subsystems. Each subsystem has a local observer and access to one part of the measurement outputs and information exchanged through communication networks. This paper focuses on the design of distributed observer with jointly connected directed… ▽ More The distributed observer design problem holds significant importance in cases in which the output information of a system is decentralized across different subsystems. Each subsystem has a local observer and access to one part of the measurement outputs and information exchanged through communication networks. This paper focuses on the design of distributed observer with jointly connected directed switching networks. The problem presents challenges due to passive switching modes and the open-loop unboundedness that results from local observability. To overcome these challenges, we develop a network transformation mapping method whereby each local observer can classify itself into an independent subgraph based on independent judgment. Next, an observable decomposition and reorganization method is developed for the digraph case to ensure that each subgraph possesses independent dynamic properties. Asymptotic omniscience is then proven using a developed recursive proof method. This paper includes many previous results as special cases, because most are only suitable for undirected switching topologies or fast-switching cases. An adaptive coupling gain design is proposed to simplify the calculation and verification of conditions that guarantee asymptotic omniscience. Finally, simulation results with the power system show the validity of the developed theory. △ Less

Submitted 12 February, 2024; originally announced February 2024.

High-Performance Distributed Control for Large-Scale Linear Systems: A Partitioned Distributed Observer Approach

Authors: Haotian Xu, Shuai Liu, Ling Shi

Abstract: In recent years, the distributed-observer-based distributed control law has shown powerful ability to arbitrarily approximate the centralized control performance. However, the traditional distributed observer requires each local observer to reconstruct the state information of the whole system, which is unrealistic for large-scale scenarios. To fill this gap, this paper develops a greedy-idea-base… ▽ More In recent years, the distributed-observer-based distributed control law has shown powerful ability to arbitrarily approximate the centralized control performance. However, the traditional distributed observer requires each local observer to reconstruct the state information of the whole system, which is unrealistic for large-scale scenarios. To fill this gap, this paper develops a greedy-idea-based large-scale system partition algorithm, which can significantly reduce the dimension of local observers. Then, the partitioned distributed observer for large-scale systems is proposed to overcome the problem that the system dynamics are difficult to estimate due to the coupling between partitions. Furthermore, the two-layer Lyapunov analysis method is adopted and the dynamic transformation lemma of compact errors is proven, which solves the problem of analyzing stability of the error dynamic of the partitioned distributed observer. Finally, it is proved that the distributed control law based on the partitioned distributed observer can also arbitrarily approximate the control performance of the centralized control law, and the dimension of the local observer is greatly reduced compared with the traditional method. The simulation results show that when the similarity between the physical network and the communication network is about 80%, the local observer dimension is greatly reduced by 90% and the relative error between the performance of the distributed control law and that of the centralized control law is less than 1%. △ Less

Submitted 10 February, 2024; originally announced February 2024.

Tame quivers and affine bases II: nonsimply-laced cases

Authors: Jie Xiao, Han Xu

Abstract: In [Tame_quivers_and_affine_bases_I], we give a Ringel-Hall algebra approach to the canonical bases in the symmetric affine cases. In this paper, we extend the results to general symmetrizable affine cases by using Ringel-Hall algebras of representations of a valued quiver. We obtain a bar-invariant basis $\mathbf{B}'=\{C(\mathbf{c},t_λらむだ)|(\mathbf{c},t_λらむだ)\in\mathcal{G}^a\}$ in the generic compositi… ▽ More In [Tame_quivers_and_affine_bases_I], we give a Ringel-Hall algebra approach to the canonical bases in the symmetric affine cases. In this paper, we extend the results to general symmetrizable affine cases by using Ringel-Hall algebras of representations of a valued quiver. We obtain a bar-invariant basis $\mathbf{B}'=\{C(\mathbf{c},t_λらむだ)|(\mathbf{c},t_λらむだ)\in\mathcal{G}^a\}$ in the generic composition algebra $\mathcal{C}^*$ and prove that $\mathcal{B}'=\mathbf{B}'\sqcup(-\mathbf{B}')$ coincides with Lusztig's signed canonical basis $\mathcal{B}$. Moreover, in type $\tilde{B}_n,\tilde{C}_n$, $\mathbf{B}'$ is the canonical basis $\mathbf{B}$. △ Less

Submitted 6 February, 2024; originally announced February 2024.

Comments: 33 pages

Long time stability for KAM tori of the derivative nonlinear Schrödinger equation

Authors: Shengqing Hu, Huining Xue, Xiaoping Yuan

Abstract: This paper is concerned with the long time stability of KAM tori for a class of derivative nonlinear Schrödinger equations subjected to periodic boundary condition. This paper is concerned with the long time stability of KAM tori for a class of derivative nonlinear Schrödinger equations subjected to periodic boundary condition. △ Less

Submitted 21 January, 2024; originally announced January 2024.

Nonconvex Deterministic Matrix Completion by Projected Gradient Descent Methods

Authors: Hang Xu, Song Li, Junhong Lin

Abstract: We study deterministic matrix completion problem, i.e., recovering a low-rank matrix from a few observed entries where the sampling set is chosen as the edge set of a Ramanujan graph. We first investigate projected gradient descent (PGD) applied to a Burer-Monteiro least-squares problem and show that it converges linearly to the incoherent ground-truth with respect to the condition number \k{appa}… ▽ More We study deterministic matrix completion problem, i.e., recovering a low-rank matrix from a few observed entries where the sampling set is chosen as the edge set of a Ramanujan graph. We first investigate projected gradient descent (PGD) applied to a Burer-Monteiro least-squares problem and show that it converges linearly to the incoherent ground-truth with respect to the condition number \k{appa} of ground-truth under a benign initialization and large samples. We next apply the scaled variant of PGD to deal with the ill-conditioned case when \k{appa} is large, and we show the algorithm converges at a linear rate independent of the condition number \k{appa} under similar conditions. Finally, we provide numerical experiments to corroborate our results. △ Less

Submitted 12 January, 2024; originally announced January 2024.

Comments: 41 pages, 3figures

MSC Class: 90C26; 94A12 ACM Class: G.m

A Modified Late Arrival Penalised User Equilibrium Model and Robustness in Data Perturbation

Authors: Manlan Li, Huifu Xu

Abstract: In this paper, we revisit the LAPUE model with a different focus: we begin by adopting a new penalty function which gives a smooth transition of the boundary between lateness and no lateness and demonstrate the LAPUE model based on the new penalty function has a unique equilibrium and is stable with respect to (w.r.t.) small perturbation of probability distribution under moderate conditions. We th… ▽ More In this paper, we revisit the LAPUE model with a different focus: we begin by adopting a new penalty function which gives a smooth transition of the boundary between lateness and no lateness and demonstrate the LAPUE model based on the new penalty function has a unique equilibrium and is stable with respect to (w.r.t.) small perturbation of probability distribution under moderate conditions. We then move on to discuss statistical robustness of the modified LAPUE (MLAPUE) model by considering the case that the data to be used for fitting the density function may be perturbed in practice or there is a discrepancy between the probability distribution of the underlying uncertainty constructed with empirical data and the true probability distribution in future, we investigate how the data perturbation may affect the equilibrium. We undertake the analysis from two perspectives: (a) a few data are perturbed by outliers and (b) all data are potentially perturbed. In case (a), we use the well-known influence function to quantify the sensitivity of the equilibrium by the outliers and in case (b) we examine the difference between empirical distributions of the equilibrium based on perturbed data and the equilibrium based on unperturbed data. To examine the performance of the MLAPUE model and our theoretical analysis of statistical robustness, we carry out some numerical experiments, the preliminary results confirm the statistical robustness as desired. △ Less

Submitted 30 December, 2023; originally announced January 2024.

Comments: 40 pages, 11 figures and 1 table

A new type of window functions constructed with exponential function

Authors: Haichao Xu, Xingpao Suo

Abstract: The Discrete Fourier Transform (DFT) is widely utilized for signal analysis but is plagued by spectral leakage, leading to inaccuracies in signal approximation. Window functions play a crucial role in mitigating spectral leakage by providing weighting mechanisms for discrete signals. In this paper, we introduce a novel window type based on exponential function, allowing for adjustable parameters a… ▽ More The Discrete Fourier Transform (DFT) is widely utilized for signal analysis but is plagued by spectral leakage, leading to inaccuracies in signal approximation. Window functions play a crucial role in mitigating spectral leakage by providing weighting mechanisms for discrete signals. In this paper, we introduce a novel window type based on exponential function, allowing for adjustable parameters and diverse variations. We present the formulation, properties, and motivation behind the design of the new window functions. Additionally, we analyze their behavior and evaluate their performance by comparing them with mainstream window functions using six parameters. Our findings demonstrate that these new window functions exhibit outstanding flexibility and versatility in signal analysis. △ Less

Submitted 23 December, 2023; originally announced December 2023.

Full theta lifting for type II reductive dual pairs

Authors: Huajian Xue

Abstract: In this article, we study the full theta lifting for two cases of type II reductive dual pairs over a nonarchimedean local field. Firstly, we determine the structure of the full theta lifts of all irreducible representations for dual pair $(\mathrm{GL}(2),\mathrm{GL}(2))$. Secondly, we prove that the full theta lift of an irreducible tempered representation is irreducible and tempered for dual pai… ▽ More In this article, we study the full theta lifting for two cases of type II reductive dual pairs over a nonarchimedean local field. Firstly, we determine the structure of the full theta lifts of all irreducible representations for dual pair $(\mathrm{GL}(2),\mathrm{GL}(2))$. Secondly, we prove that the full theta lift of an irreducible tempered representation is irreducible and tempered for dual pair $(\mathrm{GL}(n),\mathrm{GL}(n+1))$, where $n$ is a positive integer. △ Less

Submitted 20 December, 2023; originally announced December 2023.

Comments: 21 pages

Adversarial Phase Retrieval via Nonlinear Least Absolute Deviation

Authors: Gao Huang, Song Li, Hang Xu

Abstract: We investigate the phase retrieval problem perturbed by dense bounded noise and sparse outliers that can change an adversarially chosen $s$-fraction of the measurement vector. The adversarial sparse outliers may exhibit dependence on both the observation and the measurement. We demonstrate that the nonlinear least absolute deviation based on amplitude measurement can tolerate adversarial outliers… ▽ More We investigate the phase retrieval problem perturbed by dense bounded noise and sparse outliers that can change an adversarially chosen $s$-fraction of the measurement vector. The adversarial sparse outliers may exhibit dependence on both the observation and the measurement. We demonstrate that the nonlinear least absolute deviation based on amplitude measurement can tolerate adversarial outliers at a fraction of $s^{*,1}\approx0.2043$, while the intensity-based model can tolerate a fraction of $s^{*,2}\approx0.1185$. Furthermore, we construct adaptive counterexamples to show that the thresholds are theoretically sharp, thereby showing the presentation of phase transition in the adversarial phase retrieval problem when the corruption fraction exceeds the sharp thresholds. This implies that the amplitude-based model exhibits superior adversarial robustness in comparison with the intensity-based model. Corresponding experimental results are presented to further illustrate our theoretical findings. To the best of our knowledge, our results provide the first theoretical examination of the distinction in robustness performance between amplitude and intensity measurement. A crucial point of our analysis is that we explore the exact distribution of some combination of two non-independent Gaussian random variables and present the novel probability density functions to derive the sharp thresholds. △ Less

Submitted 11 December, 2023; originally announced December 2023.

Comments: 32 pages

A Scalable Network-Aware Multi-Agent Reinforcement Learning Framework for Decentralized Inverter-based Voltage Control

Authors: Han Xu, Jialin Zheng, Guannan Qu

Abstract: This paper addresses the challenges associated with decentralized voltage control in power grids due to an increase in distributed generations (DGs). Traditional model-based voltage control methods struggle with the rapid energy fluctuations and uncertainties of these DGs. While multi-agent reinforcement learning (MARL) has shown potential for decentralized secondary control, scalability issues ar… ▽ More This paper addresses the challenges associated with decentralized voltage control in power grids due to an increase in distributed generations (DGs). Traditional model-based voltage control methods struggle with the rapid energy fluctuations and uncertainties of these DGs. While multi-agent reinforcement learning (MARL) has shown potential for decentralized secondary control, scalability issues arise when dealing with a large number of DGs. This problem lies in the dominant centralized training and decentralized execution (CTDE) framework, where the critics take global observations and actions. To overcome these challenges, we propose a scalable network-aware (SNA) framework that leverages network structure to truncate the input to the critic's Q-function, thereby improving scalability and reducing communication costs during training. Further, the SNA framework is theoretically grounded with provable approximation guarantee, and it can seamlessly integrate with multiple multi-agent actor-critic algorithms. The proposed SNA framework is successfully demonstrated in a system with 114 DGs, providing a promising solution for decentralized voltage control in increasingly complex power grid systems. △ Less

Submitted 7 December, 2023; originally announced December 2023.

Eigenstructure perturbations for a class of Hamiltonian matrices and solutions of related Riccati inequalities

Authors: Volker Mehrmann, Hongguo Xu

Abstract: The characterization of the solution set for a class of algebraic Riccati inequalities is studied. This class arises in the passivity analysis of linear time invariant control systems. Eigenvalue perturbation theory for the Hamiltonian matrix associated with the Riccati inequality is used to analyze the extremal points of the solution set. The characterization of the solution set for a class of algebraic Riccati inequalities is studied. This class arises in the passivity analysis of linear time invariant control systems. Eigenvalue perturbation theory for the Hamiltonian matrix associated with the Riccati inequality is used to analyze the extremal points of the solution set. △ Less

Submitted 22 April, 2024; v1 submitted 23 November, 2023; originally announced November 2023.

MSC Class: 65F15; 65H10; 93D15

Robust Outlier Bound Condition to Phase Retrieval with Adversarial Sparse Outliers

Authors: Gao Huang, Song Li, Hang Xu

Abstract: We consider the problem of recovering an unknown signal $\pmb{x}_0\in \mathbb{R}^{n}$ from phaseless measurements. In this paper, we study the convex phase retrieval problem via PhaseLift from linear Gaussian measurements perturbed by $\ell_{1}$-bounded noise and sparse outliers that can change an adversarially chosen $s$-fraction of the measurement vector. We show that the Robust-PhaseLift model… ▽ More We consider the problem of recovering an unknown signal $\pmb{x}_0\in \mathbb{R}^{n}$ from phaseless measurements. In this paper, we study the convex phase retrieval problem via PhaseLift from linear Gaussian measurements perturbed by $\ell_{1}$-bounded noise and sparse outliers that can change an adversarially chosen $s$-fraction of the measurement vector. We show that the Robust-PhaseLift model can successfully reconstruct the ground-truth up to global phase for any $s< s^{*}\approx 0.1185$ with $\mathcal{O}(n)$ measurements, even in the case where the sparse outliers may depend on the measurement and the observation. The recovery guarantees are based on the robust outlier bound condition and the analysis of the product of two Gaussian variables. Moreover, we construct adaptive counterexamples to show that the Robust-PhaseLift model fails when $s> s^{*}$ with high probability. △ Less

Submitted 22 November, 2023; originally announced November 2023.

Comments: The first version of this article was submitted on October 28, 2022 at https://papers.ssrn.com/sol3/papers.cfm?abstract_id=4296843

Invariant subspace perturbation of a matrix with Jordan blocks

Authors: Hongguo Xu

Abstract: We investigate how invariant subspaces will change when a matrix with a single eigenvalue is perturbed. We focus on the case when an invariant subspace corresponds to the eigenvalues perturbed from those associated with the same order Jordan blocks. An invariant subspace can be expressed as the range of a full column matrix. We characterize the perturbations in terms of fractional orders for the b… ▽ More We investigate how invariant subspaces will change when a matrix with a single eigenvalue is perturbed. We focus on the case when an invariant subspace corresponds to the eigenvalues perturbed from those associated with the same order Jordan blocks. An invariant subspace can be expressed as the range of a full column matrix. We characterize the perturbations in terms of fractional orders for the blocks of such a matrix. We also provide the formulas for the coefficient matrices associated with the zero and first fractional orders. The results generalize the existing standard invariant subspace perturbation theory. △ Less

Submitted 20 November, 2023; originally announced November 2023.

Comments: 32 pages

MSC Class: 15A18; 47A55; 65F15

Observability and unique continuation inequalities for the Schrödinger equations with inverse-square potentials

Authors: Hui Xu, Longben Wei, Zhiwen Duan

Abstract: This paper is inspired by Wang, Wang and Zhang's work [ Observability and unique continuation inequalities for the Schrödinger equation. J. Eur. Math. Soc. 21, 3513--3572 (2019)], where they present several observability and unique continuation inequalities for the free Schrödinger equation in $\mathbb{R}^{n}$. We extend all such observability and unique continuation inequalities for the Schröding… ▽ More This paper is inspired by Wang, Wang and Zhang's work [ Observability and unique continuation inequalities for the Schrödinger equation. J. Eur. Math. Soc. 21, 3513--3572 (2019)], where they present several observability and unique continuation inequalities for the free Schrödinger equation in $\mathbb{R}^{n}$. We extend all such observability and unique continuation inequalities for the Schrödinger equations on half-line with inverse-square potentials. Technically, the proofs essentially rely on the representation of the solution, a Nazarov type uncertainty principle for the Hankel transform and an interpolation inequality for functions whose Hankel transform have compact support. △ Less

Submitted 31 October, 2023; originally announced October 2023.

Comments: 45 pages

MSC Class: 93B07; 35B60; 93B05

Extremes of vector-valued processes by finite dimensional models

Authors: Hui Xu, Mircea D. Grigoriu

Abstract: Finite dimensional (FD) models, i.e., deterministic functions of time/space and finite sets of random variables, are constructed for target vector-valued random processes/fields. They are required to have two properties. First, standard Monte Carlo algorithms can be used to generate their samples, referred to as FD samples. Second, under some conditions specified by several theorems, FD samples ca… ▽ More Finite dimensional (FD) models, i.e., deterministic functions of time/space and finite sets of random variables, are constructed for target vector-valued random processes/fields. They are required to have two properties. First, standard Monte Carlo algorithms can be used to generate their samples, referred to as FD samples. Second, under some conditions specified by several theorems, FD samples can be used to estimate distributions of extremes and other functionals of target random functions. Numerical illustrations involving two-dimensional random processes and apparent properties of random microstructures are presented to illustrate the implementation of FD models for these stochastic problems and show that they are accurate if the conditions of our theorems are satisfied. △ Less

Submitted 4 October, 2023; originally announced October 2023.

On an age-structured juvenile-adult model with harvesting pulse in moving and heterogeneous environment

Authors: Haiyan Xu, Zhigui Lin, Huaiping Zhu

Abstract: This paper concerns an age-structured juvenile-adult model with harvesting pulse and moving boundaries in a heterogeneous environment, in which the moving boundaries describe the natural expanding front of species and human periodic pulse intervention is carried on the adults. The principal eigenvalue is firstly defined and its properties involving the intensity of harvesting and length of habitat… ▽ More This paper concerns an age-structured juvenile-adult model with harvesting pulse and moving boundaries in a heterogeneous environment, in which the moving boundaries describe the natural expanding front of species and human periodic pulse intervention is carried on the adults. The principal eigenvalue is firstly defined and its properties involving the intensity of harvesting and length of habitat sizes are analysed. Then the criteria to determine whether the species spread or vanish is discussed, and some relevant sufficient conditions characterized by pulse are established. Our results reveal that the co-extinction or coexistence of species is influenced by internal expanding capacities from species itself and external harvesting pulse from human intervention, in which the intensity and timing of harvesting play key roles. The final numerical approximations indicate that the larger the harvesting rate and the shorter the harvesting period, the worse the survival of all individuals due to the cooperation among juveniles and adults, and such harvesting pulse can even alter the situation of species, from persistence to extinction. In addition, expanding capacities also affect or alter the outcomes of spreading-vanishing △ Less

Submitted 30 August, 2023; originally announced August 2023.

Comments: 35 pages, 25 figures

MSC Class: 35R12; 35R35; 92D25

On the expected number of critical points of locally isotropic Gaussian random fields

Authors: Hao Xu, Haoran Yang, Qiang Zeng

Abstract: We consider locally isotropic Gaussian random fields on the $N$-dimensional Euclidean space for fixed $N$. Using the so called Gaussian Orthogonally Invariant matrices first studied by Mallows in 1961 which include the celebrated Gaussian Orthogonal Ensemble (GOE), we establish the Kac--Rice representation of expected number of critical points of non-isotropic Gaussian fields, complementing the is… ▽ More We consider locally isotropic Gaussian random fields on the $N$-dimensional Euclidean space for fixed $N$. Using the so called Gaussian Orthogonally Invariant matrices first studied by Mallows in 1961 which include the celebrated Gaussian Orthogonal Ensemble (GOE), we establish the Kac--Rice representation of expected number of critical points of non-isotropic Gaussian fields, complementing the isotropic case obtained by Cheng and Schwartzman in 2018. In the limit $N=\infty$, we show that such a representation can be always given by GOE matrices, as conjectured by Auffinger and Zeng in 2020. △ Less

Submitted 30 January, 2024; v1 submitted 23 July, 2023; originally announced July 2023.

Geometric Conditions for the Exact Observability of Schrödinger Equations with Point Interaction and Inverse-Square Potentials on Half-Line

Authors: Longben Wei, Zhiwen Duan, Hui Xu

Abstract: We provide necessary and sufficient conditions for the exact observability of the Schrodinger equations with point interaction and inverse-square potentials on half-line. The necessary and sufficient condition for these two cases are derived from two Logvinenko-Sereda type theorems for generalized Fourier transform. Specifically, the generalized Fourier transform associated to the Schrödinger oper… ▽ More We provide necessary and sufficient conditions for the exact observability of the Schrodinger equations with point interaction and inverse-square potentials on half-line. The necessary and sufficient condition for these two cases are derived from two Logvinenko-Sereda type theorems for generalized Fourier transform. Specifically, the generalized Fourier transform associated to the Schrödinger operators with inverse-square potentials on half-line are the well known Hankel transforms. We provide a necessary and sufficient condition for a subset $Ωおめが$ such that a function with its Hankel transform supporting in a given interval can be bounded, in $L^{2}$-norm, from above by its restriction to the set $Ωおめが$, with constant independent of the position of the interval △ Less

Submitted 28 July, 2023; v1 submitted 13 July, 2023; originally announced July 2023.

Comments: 42 pages

MSC Class: 35J10; 93B07; 42A65; 42C20

Local Modules in Braided Monoidal 2-Categories

Authors: Thibault D. Décoppet, Hao Xu

Abstract: Given an algebra in a monoidal 2-category, one can construct a 2-category of right modules. Given a braided algebra in a braided monoidal 2-category, it is possible to refine the notion of right module to that of a local module. Under mild assumptions, we prove that the 2-category of local modules admits a braided monoidal structure. In addition, if the braided monoidal 2-category has duals, we go… ▽ More Given an algebra in a monoidal 2-category, one can construct a 2-category of right modules. Given a braided algebra in a braided monoidal 2-category, it is possible to refine the notion of right module to that of a local module. Under mild assumptions, we prove that the 2-category of local modules admits a braided monoidal structure. In addition, if the braided monoidal 2-category has duals, we go on to show that the 2-category of local modules also has duals. Furthermore, if it is a braided fusion 2-category, we establish that the 2-category of local modules is a braided multifusion 2-category. We examine various examples. For instance, working within the 2-category of 2-vector spaces, we find that the notion of local module recovers that of braided module 1-category. Finally, we examine the concept of a Lagrangian algebra, that is a braided algebra with trivial 2-category of local modules. In particular, we completely describe Lagrangian algebras in the Drinfeld centers of fusion 2-categories, and we discuss how this result is related to the classifications of topological boundaries of (3+1)d topological phases of matter. △ Less

Submitted 6 July, 2023; originally announced July 2023.

Comments: Comments welcome!

MSC Class: 18M15; 18M20; 18N10

Journal ref: J. Math. Phys. 65, 061702 (2024)

Well-posedness for the split equilibrium problem

Authors: Soumitra Dey, V. Vetrivel, Hong-Kun Xu

Abstract: We extend the concept of well-posedness to the split equilibrium problem and establish Furi-Vignoli-type characterizations for the well-posedness. We prove that the well-posedness of the split equilibrium problem is equivalent to the existence and uniqueness of its solution under certain assumptions on the bifunctions involved. We also characterize the generalized well-posedness of the split equil… ▽ More We extend the concept of well-posedness to the split equilibrium problem and establish Furi-Vignoli-type characterizations for the well-posedness. We prove that the well-posedness of the split equilibrium problem is equivalent to the existence and uniqueness of its solution under certain assumptions on the bifunctions involved. We also characterize the generalized well-posedness of the split equilibrium problem via the Kuratowski measure of noncompactness. We illustrate our theoretical results by several examples. △ Less

Submitted 4 May, 2023; originally announced May 2023.

MSC Class: 49K40; 49J40; 47H09; 47H10; 47J20

Lipschitz continuity of the solutions to the Dirichlet problems for the invariant laplacians

Authors: Congwen Liu, Heng Xu

Abstract: This short note is motivated by an attempt to understand the distinction between the Laplace operator and the hyperbolic Laplacian on the unit ball of $\mathbb{R}^n$, regarding the Lipschitz continuity of the solutions to the corresponding Dirichlet problems. We investigate the Dirichlet problem \begin{equation*} \left\{\begin{array}{ll} Δでるた_{\vartheta} u = 0, & \text{ in }\, \mathbb{B}^n,\\ u=φふぁい, &… ▽ More This short note is motivated by an attempt to understand the distinction between the Laplace operator and the hyperbolic Laplacian on the unit ball of $\mathbb{R}^n$, regarding the Lipschitz continuity of the solutions to the corresponding Dirichlet problems. We investigate the Dirichlet problem \begin{equation*} \left\{\begin{array}{ll} Δでるた_{\vartheta} u = 0, & \text{ in }\, \mathbb{B}^n,\\ u=φふぁい, & \text{ on }\, \mathbb{S}^{n-1}, \end{array}\right. \end{equation*} where \[ Δでるた_{\vartheta} := (1-|x|^2) \bigg\{ \frac {1-|x|^2} {4} Δでるた+ \vartheta \sum_{j=1}^n x_{j} \frac {\partial } {\partial x_j} + \vartheta \left( \frac {n}{2}-1- \vartheta \right) I\bigg\}. \] We show that the Lipschitz continuity of boundary data always implies the Lipschitz continuity of the solutions if $\vartheta > 0$, but does not when $\vartheta \leq 0$. △ Less

Submitted 16 April, 2023; originally announced April 2023.

Comments: 7 pages

MSC Class: Primary 35J25; Secondary 31B05

Multi-Attribute Utility Preference Robust Optimization: A Continuous Piecewise Linear Approximation Approach

Authors: Qiong Wu, Sainan Zhang, Wei Wang, Huifu Xu

Abstract: In this paper, we consider a multi-attribute decision making problem where the decision maker's (DM's) objective is to maximize the expected utility of outcomes but the true utility function which captures the DM's risk preference is ambiguous. We propose a maximin multi-attribute utility preference robust optimization (UPRO) model where the optimal decision is based on the worst-case utility func… ▽ More In this paper, we consider a multi-attribute decision making problem where the decision maker's (DM's) objective is to maximize the expected utility of outcomes but the true utility function which captures the DM's risk preference is ambiguous. We propose a maximin multi-attribute utility preference robust optimization (UPRO) model where the optimal decision is based on the worst-case utility function in an ambiguity set of plausible utility functions constructed using partially available information such as the DM's specific preferences between some lotteries. Specifically, we consider a UPRO model with two attributes, where the DM's risk attitude is multivariate risk-averse and the ambiguity set is defined by a linear system of inequalities represented by the Lebesgue-Stieltjes (LS) integrals of the DM's utility functions. To solve the maximin problem, we propose an explicit piecewise linear approximation (EPLA) scheme to approximate the DM's true unknown utility so that the inner minimization problem reduces to a linear program, and we solve the approximate maximin problem by a derivative-free (Dfree) method. Moreover, by introducing binary variables to locate the position of the reward function in a family of simplices, we propose an implicit piecewise linear approximation (IPLA) representation of the approximate UPRO and solve it using the Dfree method. Such IPLA technique prompts us to reformulate the approximate UPRO as a single mixed-integer program (MIP) and extend the tractability of the approximate UPRO to the multi-attribute case. Furthermore, we extend the model to the expected utility maximization problem with expected utility constraints where the worst-case utility functions in the objective and constraints are considered simultaneously. Finally, we report the numerical results about performances of the proposed models. △ Less

Submitted 28 March, 2023; originally announced March 2023.

Comments: 50 pages,18 figures

MSC Class: 90C17; 90C29; 90C31; 90B16

Composition operators on weighted $L^{p}$ spaces of a tree

Authors: Han Xu, Xiaoyan Zhang

Abstract: In this paper, we study the boundedness, compactness and Schatten class membership of composition operators on the weighted $L^{p}$-space of a tree $L^{p}_λらむだ(T)$ with $1\leq p <\infty$. In this paper, we study the boundedness, compactness and Schatten class membership of composition operators on the weighted $L^{p}$-space of a tree $L^{p}_λらむだ(T)$ with $1\leq p <\infty$. △ Less

Submitted 20 March, 2023; originally announced March 2023.

Kähler-Einstein metrics and obstruction flatness II: unit sphere bundles

Authors: Peter Ebenfelt, Ming Xiao, Hang Xu

Abstract: This paper concerns obstruction flatness of hypersurfaces $Σしぐま$ that arise as unit sphere bundles $S(E)$ of Griffiths negative Hermitian vector bundles $(E, h)$ over Kähler manifolds $(M, g).$ We prove that if the curvature of $(E, h)$ satisfies a splitting condition and $(M,g)$ has constant Ricci eigenvalues, then $S(E)$ is obstruction flat. If, in addition, all these eigenvalues are strictly less… ▽ More This paper concerns obstruction flatness of hypersurfaces $Σしぐま$ that arise as unit sphere bundles $S(E)$ of Griffiths negative Hermitian vector bundles $(E, h)$ over Kähler manifolds $(M, g).$ We prove that if the curvature of $(E, h)$ satisfies a splitting condition and $(M,g)$ has constant Ricci eigenvalues, then $S(E)$ is obstruction flat. If, in addition, all these eigenvalues are strictly less than one and $(M,g)$ is complete, then we show that the corresponding ball bundle admits a complete Kähler-Einstein metric. △ Less

Submitted 11 March, 2023; originally announced March 2023.

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

Change point detection and inference in multivariable nonparametric models under mixing conditions

Authors: Carlos Misael Madrid Padilla, Haotian Xu, Daren Wang, Oscar Hernan Madrid Padilla, Yi Yu

Abstract: This paper studies multivariate nonparametric change point localization and inference problems. The data consists of a multivariate time series with potentially short range dependence. The distribution of this data is assumed to be piecewise constant with densities in a Hölder class. The change points, or times at which the distribution changes, are unknown. We derive the limiting distributions of… ▽ More This paper studies multivariate nonparametric change point localization and inference problems. The data consists of a multivariate time series with potentially short range dependence. The distribution of this data is assumed to be piecewise constant with densities in a Hölder class. The change points, or times at which the distribution changes, are unknown. We derive the limiting distributions of the change point estimators when the minimal jump size vanishes or remains constant, a first in the literature on change point settings. We are introducing two new features: a consistent estimator that can detect when a change is happening in data with short-term dependence, and a consistent block-type long-run variance estimator. Numerical evidence is provided to back up our theoretical results. △ Less

Submitted 26 January, 2023; originally announced January 2023.

Groups acting distally and minimally on $\mathbb S^2$ and $\mathbb {RP}^2$

Authors: Enhui Shi, Hui Xu

Abstract: Let $X$ be the $2$-sphere $\mathbb S^2$ or the real projective plane $\mathbb {RP}^2$. We show that if $Γがんま$ is a finitely generated group acting minimally and distally on $X$, then $Γがんま$ contains a nonabelian free subgroup. Let $X$ be the $2$-sphere $\mathbb S^2$ or the real projective plane $\mathbb {RP}^2$. We show that if $Γがんま$ is a finitely generated group acting minimally and distally on $X$, then $Γがんま$ contains a nonabelian free subgroup. △ Less

Submitted 13 January, 2023; originally announced January 2023.