Showing 1–50 of 131 results for author: He, S

The asymptotics of the $\mathrm{SL}_2(\mathbb{C})$-Hitchin metric on the singular locus: subintegrable systems

Authors: Siqi He, Johannes Horn, Nianzi Li

Abstract: We study the asymptotic hyperkähler geometry of the $\mathrm{SL}_2(\mathbb{C})$-Hitchin moduli space over the singular fibers of the Hitchin fibration. We extend the previously known exponential convergence results for solutions to the Hitchin equation to the class of locally fiducial Higgs bundles defined by a special local description at the singularities of the spectral curve. This condition is… ▽ More We study the asymptotic hyperkähler geometry of the $\mathrm{SL}_2(\mathbb{C})$-Hitchin moduli space over the singular fibers of the Hitchin fibration. We extend the previously known exponential convergence results for solutions to the Hitchin equation to the class of locally fiducial Higgs bundles defined by a special local description at the singularities of the spectral curve. This condition is satisfied by the Higgs bundles contained in certain subintegrable systems introduced by Hitchin. We prove that the restriction of the hyperkähler metric to the subintegrable system converges exponentially fast to the corresponding semi-flat metric along a ray $(\mathcal{E},t\varphi)$. This answers a question posed by Hitchin in \cite{Hitchin2021subintegrable_special_Kaehler}. More generally, we prove that for each stratum of quadratic differentials there is a closed subset of the corresponding Hitchin fibers, such that the restricted hyperkähler metric converges to a generalized semi-flat metric. △ Less

Submitted 5 June, 2025; originally announced June 2025.

Comments: 41 pages

MSC Class: 53C26; 53C07

Convergence analysis of the Halpern iteration with adaptive anchoring parameters

Authors: Songnian He, Hong-Kun Xu, Qiao-Li Dong, Na Mei

Abstract: We propose an adaptive way to choose the anchoring parameters for the Halpern iteration to find a fixed point of a nonexpansive mapping in a real Hilbert space. We prove strong convergence of this adaptive Halpern iteration and obtain the rate of asymptotic regularity at least O(1/k), where k is the number of iterations. Numerical experiments are also provided to show advantages and outperformance… ▽ More We propose an adaptive way to choose the anchoring parameters for the Halpern iteration to find a fixed point of a nonexpansive mapping in a real Hilbert space. We prove strong convergence of this adaptive Halpern iteration and obtain the rate of asymptotic regularity at least O(1/k), where k is the number of iterations. Numerical experiments are also provided to show advantages and outperformance of our adaptive Halpern algorithm over the standard Halpern algorithm. △ Less

Submitted 15 May, 2025; originally announced May 2025.

Contractive difference-of-convex algorithms

Authors: Songnian He, Qiao-Li Dong, Michael Th. Rassias

Abstract: The difference-of-convex algorithm (DCA) and its variants are the most popular methods to solve the difference-of-convex optimization problem. Each iteration of them is reduced to a convex optimization problem, which generally needs to be solved by iterative methods such as proximal gradient algorithm. However, these algorithms essentially belong to some iterative methods of fixed point problems o… ▽ More The difference-of-convex algorithm (DCA) and its variants are the most popular methods to solve the difference-of-convex optimization problem. Each iteration of them is reduced to a convex optimization problem, which generally needs to be solved by iterative methods such as proximal gradient algorithm. However, these algorithms essentially belong to some iterative methods of fixed point problems of averaged mappings, and their convergence speed is generally slow. Furthermore, there is seldom research on the termination rule of these iterative algorithms solving the subproblem of DCA. To overcome these defects, we ffrstly show that the subproblem of the linearized proximal method (LPM) in each iteration is equal to the ffxed point problem of a contraction. Secondly, by using Picard iteration to approximately solve the subproblem of LPM in each iteration, we propose a contractive difference-ofconvex algorithm (cDCA) where an adaptive termination rule is presented. Both global subsequential convergence and global convergence of the whole sequence of cDCA are established. Finally, preliminary results from numerical experiments are promising. △ Less

Submitted 15 May, 2025; originally announced May 2025.

Randomized Routing to Remote Queues

Authors: Shuangchi He, Yunfang Yang, Yao Yu

Abstract: We study load balancing for a queueing system where parallel stations are distant from customers. In the presence of traveling delays, the join-the-shortest-queue (JSQ) policy induces queue length oscillations and prolongs the mean waiting time. A variant of the JSQ policy, dubbed the randomized join-the-shortest-queue (RJSQ) policy, is devised to mitigate the oscillation phenomenon. By the RJSQ p… ▽ More We study load balancing for a queueing system where parallel stations are distant from customers. In the presence of traveling delays, the join-the-shortest-queue (JSQ) policy induces queue length oscillations and prolongs the mean waiting time. A variant of the JSQ policy, dubbed the randomized join-the-shortest-queue (RJSQ) policy, is devised to mitigate the oscillation phenomenon. By the RJSQ policy, customers are sent to each station with a probability approximately proportional to its service capacity; only a small fraction of customers are purposely routed to the shortest queue. The additional probability of routing a customer to the shortest queue, referred to as the balancing fraction, dictates the policy's performance. When the balancing fraction is within a certain range, load imbalance between the stations is negligible in heavy traffic, so that complete resource pooling is achieved. We specify the optimal order of magnitude for the balancing fraction, by which heuristic formulas are proposed to fine-tune the RJSQ policy. A joint problem of capacity planning and load balancing is considered for geographically separated stations. With well planned service capacities, the RJSQ policy sends all but a small fraction of customers to the nearest stations, rendering the system asymptotically equivalent to an aggregated single-server system with all customers having minimum traveling delays. If each customer's service requirement does not depend on the station, the RJSQ policy is asymptotically optimal for reducing workload. △ Less

Submitted 8 May, 2025; originally announced May 2025.

Rotation excursion algorithm with learning

Authors: Sheng-Xue He

Abstract: We introduce a novel heuristic algorithm named the Rotation Excursion Algorithm with Learning (REAL) designed for general-purpose optimization. REAL draws inspiration from the construction mechanism inherent in CEC optimization suites, integrating three fundamental operations with a natural growth rule to address optimization tasks. The initial operation involves rotating the current feasible solu… ▽ More We introduce a novel heuristic algorithm named the Rotation Excursion Algorithm with Learning (REAL) designed for general-purpose optimization. REAL draws inspiration from the construction mechanism inherent in CEC optimization suites, integrating three fundamental operations with a natural growth rule to address optimization tasks. The initial operation involves rotating the current feasible solutions within the search space to generate and evaluate new solutions. The excursion operation aims to relocate current feasible solutions closer to historically superior solutions stored in a list known as the "list of visible spots." The third operation involves perturbing solutions generated by the preceding operations within their respective neighborhoods. The rotation operation is geared toward comprehensive and random exploration of the entire search space, while the excursion operation exploits known information to refine current solutions. Perturbation operation functions as a form of neighborhood search to further enhance solution quality. The natural growth rule dynamically adjusts REAL's balance between exploration and exploitation throughout the entire search process. To validate the efficacy of the proposed algorithm, we apply it to address a diverse set of 67 problems, encompassing 29 benchmark optimization problems, 30 test problems from CEC 2014, one from CEC 2022, and seven engineering problems. Numerical experiments demonstrate the superior performance of REAL when compared to various other heuristics. △ Less

Submitted 27 April, 2025; originally announced April 2025.

MSC Class: 90 ACM Class: I.2.0

Snake locomotion learning search

Authors: Sheng-Xue He

Abstract: This research introduces a novel heuristic algorithm known as the Snake Locomotion Learning Search algorithm (SLLS) designed to address optimization problems. The SLLS draws inspiration from the locomotion patterns observed in snakes, particularly serpentine and caterpillar locomotion. We leverage these two modes of snake locomotion to devise two distinct search mechanisms within the SLLS. In our… ▽ More This research introduces a novel heuristic algorithm known as the Snake Locomotion Learning Search algorithm (SLLS) designed to address optimization problems. The SLLS draws inspiration from the locomotion patterns observed in snakes, particularly serpentine and caterpillar locomotion. We leverage these two modes of snake locomotion to devise two distinct search mechanisms within the SLLS. In our quest to mimic a snake's natural adaptation to its surroundings, we incorporate a learning efficiency component generated from the Sigmoid function. This helps strike a balance between exploration and exploitation capabilities throughout the SLLS computation process. The efficacy and effectiveness of this innovative algorithm are demonstrated through its application to 60 standard benchmark optimization problems and seven well-known engineering optimization problems. The performance analysis reveals that in most cases, the SLLS outperforms other algorithms, and even in the remaining scenarios, it exhibits robust performance. This conforms to the No Free Lunch Theorem, affirming that the SLLS stands as a valuable heuristic algorithm with significant potential for effectively addressing specific optimization challenges. △ Less

Submitted 27 April, 2025; originally announced April 2025.

Comments: 43 pages, 13 figures

MSC Class: 90 ACM Class: I.2.0

Adaptive and various learning-based algorithm for supply chain network equilibrium problems

Authors: Sheng-Xue He

Abstract: This paper proposes a novel nonlinear programming model to capture the equilibrium state of complex supply chain networks. The model, equivalent to a variational inequality model, relaxes traditional strict assumptions to accommodate real-world complexities, such as nonlinear, non-convex, and non-smooth relationships between production, consumption, and pricing. To efficiently solve this challengi… ▽ More This paper proposes a novel nonlinear programming model to capture the equilibrium state of complex supply chain networks. The model, equivalent to a variational inequality model, relaxes traditional strict assumptions to accommodate real-world complexities, such as nonlinear, non-convex, and non-smooth relationships between production, consumption, and pricing. To efficiently solve this challenging problem, we introduce a novel heuristic algorithm, the adaptive and various learning-based algorithm (AVLA), inspired by group learning behaviors. AVLA simulates individual learning processes within different subgroups at various stages, employing a success history-based parameter adaptation mechanism to reduce manual tuning. Extensive computational experiments on 29 benchmark problems and 5 supply chain networks demonstrate AVLA's superior performance compared to 19 state of the art algorithms. AVLA consistently achieves the best results in terms of both average and best objective function values, making it a powerful tool for addressing complex supply chain network equilibrium problems. △ Less

Submitted 14 April, 2025; originally announced April 2025.

Comments: 40 pages. arXiv admin note: substantial text overlap with arXiv:2504.10788

MSC Class: 90 ACM Class: I.2.0

A novel heuristic algorithm: adaptive and various learning-based algorithm

Authors: Sheng-Xue He

Abstract: A novel population-based heuristic algorithm called the adaptive and various learning-based algorithm (AVLA) is proposed for solving general optimization problems in this paper. The main idea of AVLA is inspired by the learning behaviors of individuals in a group, e.g. a school class. The algorithm formulates the following learning behaviors: a. Elite members will learn from each other; b. A commo… ▽ More A novel population-based heuristic algorithm called the adaptive and various learning-based algorithm (AVLA) is proposed for solving general optimization problems in this paper. The main idea of AVLA is inspired by the learning behaviors of individuals in a group, e.g. a school class. The algorithm formulates the following learning behaviors: a. Elite members will learn from each other; b. A common member will learn from some elite member and other common members; c. Members with unsatisfied performance will reflect their behavior after performance estimation; d. The whole group will reflect their behavior and try to improve if the performance of the group as a whole has not been improved for a long time. AVLA adopts the success-history based parameter adaptation to lighten the burden of parameter adjustment. To verify the efficiency of the AVLA, we apply it and its no-adaptation version with other eight well-known heuristics to 100 benchmark problems. The comparison clearly shows that AVLA performs as well as SHADE and the non-adaption version of AVLA outperforms others except AVLA and SHADE. △ Less

Submitted 14 April, 2025; originally announced April 2025.

Comments: 23 pages

MSC Class: 90 ACM Class: I.2.0

Distributional chaos for composition operators on $L^{p}$-spaces

Authors: Shengnan He, Zongbin Yin

Abstract: In this paper, we investigate the distributional chaos of the composition operator $T_{\varphi}:f\mapsto f\circ\varphi$ on $L^{p}(X,\mathcal{B},μ)$, $1\leq p <\infty$. We provide a characterization and practical sufficient conditions on $\varphi$ for $T_{\varphi}$ to be distributionally chaotic. Furthermore, we show that the existence of a dense set of distributionally irregular vectors implies th… ▽ More In this paper, we investigate the distributional chaos of the composition operator $T_{\varphi}:f\mapsto f\circ\varphi$ on $L^{p}(X,\mathcal{B},μ)$, $1\leq p <\infty$. We provide a characterization and practical sufficient conditions on $\varphi$ for $T_{\varphi}$ to be distributionally chaotic. Furthermore, we show that the existence of a dense set of distributionally irregular vectors implies the existence of a dense distributionally chaotic set, without any additional condition. We also provide a useful criterion for densely distributional chaos. Moreover, we characterize the weight sequences that ensure distributional chaos for bilateral backward shifts, unilateral backward shifts, bilateral forward shifts, and unilateral forward shifts on the weighted $\ell^{p}$-spaces $\ell^{p}(\mathbb{N},v)$ and $\ell^{p}(\mathbb{Z},v)$. As a consequence, we reveal the equivalence between distributional chaos and densely distributional chaos for backward shifts and forward shifts on $\ell^{p}(\mathbb{Z},v)$ without any additional condition. Finally, we characterize the composition operator $T_{\varphi}$ on $L^{p}(\mathbb{T},\mathcal{B},λ)$ induced by an automorphism $\varphi$ of the unit disk $\mathbb{D}$. We show that $T_{\varphi}$ is densely distributionally chaotic if and only if $\varphi$ has no fixed point in $\mathbb{D}$. △ Less

Submitted 2 March, 2025; originally announced March 2025.

Frequently hypercyclic $C_0$-semigroups indexed with complex sectors

Authors: Shengnan He, Zongbin Yin

Abstract: In this paper, we study frequent hypercyclicity for strongly continuous semigroups of operators $\left\{T_{t}\right\}_{t\inΔ}$ indexed with complex sectors. We propose a revised and more natural definition of frequent hypercyclicity compared to the one in [Chaouchi et al.,2020]. Additionally, we establish a sufficient condition and a necessary condition for a $C_0$-semigroup $\{T_{t}\}_{t \in Δ}$… ▽ More In this paper, we study frequent hypercyclicity for strongly continuous semigroups of operators $\left\{T_{t}\right\}_{t\inΔ}$ indexed with complex sectors. We propose a revised and more natural definition of frequent hypercyclicity compared to the one in [Chaouchi et al.,2020]. Additionally, we establish a sufficient condition and a necessary condition for a $C_0$-semigroup $\{T_{t}\}_{t \in Δ}$ to be frequently hypercyclic. Moreover, we derive a practical and applicable criterion for translation semigroups $\{T_{t}\}_{t \in Δ}$ on $L^p_ρ(Δ, \mathbb{K})$ spaces, expressed in terms of the integral of the weight function. As a result, we provide explicit examples of frequently hypercyclic translation semigroups on $L^{p}_ρ(Δ, \mathbb{K})$. Lastly, we present a necessary condition on the weight function for the translation semigroups, under which it is demonstrated that Example I (i) [Chaouchi,2020] is not frequently hypercyclic under the revised definition. △ Less

Submitted 1 March, 2025; originally announced March 2025.

Comments: 13 pages

Positive mass theorems on singular spaces and some applications

Authors: Shihang He, Yuguang Shi, Haobin Yu

Abstract: Inspired by the dimension reduction techniques employed in the study of the geometry of manifolds with positive scalar curvature, we establish several positive mass theorems for certain singular spaces (see Theorem \ref{thm:pmt with singularity4} and Theorem \ref{thm:rigidity with singularity4} below). In these results, we assume only that the scalar curvature is non-negative in a strong spectral… ▽ More Inspired by the dimension reduction techniques employed in the study of the geometry of manifolds with positive scalar curvature, we establish several positive mass theorems for certain singular spaces (see Theorem \ref{thm:pmt with singularity4} and Theorem \ref{thm:rigidity with singularity4} below). In these results, we assume only that the scalar curvature is non-negative in a strong spectral sense, which aligns well with the stability condition of a minimal hypersurface in an ambient manifold with non-negative scalar curvature. As an application, we provide a characterization of asymptotically flat (AF) manifolds with arbitrary ends, non-negative scalar curvature, and dimension less than or equal to 8 (see Theorem \ref{thm: 8dim Schoen conj} below). This also leads to positive mass theorems for AF manifolds with arbitrary ends and dimension less than or equal to $8$ without using N.Smale's regularity theorem for minimal hypersurfaces in a compact $8$-dimensional manifold with generic metrics. △ Less

Submitted 25 February, 2025; originally announced February 2025.

Comments: 58 pages, 4 figures, all comments are welcome!

MSC Class: Primary 53C21; secondary 53C24

Weighted weak-type (1, 1) inequalities for pseudo-differential operators with symbol in $S^{m}_{0,δ}$

Authors: Guangqing Wang, Suixin He, Lihua Zhang

Abstract: Let $T_a$ be a pseudo-differential operator defined by exotic symbol $a$ in Hörmander class $S^m_{0,δ}$ with $m \in \mathbb{R} $ and $0 \leq δ\leq 1 $. It is well-known that the weak type (1,1) behavior of $T_a $ is not fully understood when the index $m $ is equal to the possibly optimal value $-\frac{n}{2} - \frac{n}{2} δ$ for $0 \leq δ< 1 $, and that $T_a $ is not of weak type (1,1) when… ▽ More Let $T_a$ be a pseudo-differential operator defined by exotic symbol $a$ in Hörmander class $S^m_{0,δ}$ with $m \in \mathbb{R} $ and $0 \leq δ\leq 1 $. It is well-known that the weak type (1,1) behavior of $T_a $ is not fully understood when the index $m $ is equal to the possibly optimal value $-\frac{n}{2} - \frac{n}{2} δ$ for $0 \leq δ< 1 $, and that $T_a $ is not of weak type (1,1) when $m = -n$ and $δ= 1 $. In this note, we prove that $T_a $ is of weighted weak type (1,1) if $a \in S^{-n}_{0, δ}$ with $0 \leq δ< 1 $. Additionally, we show that the dual operator $T_a^* $ is of weighted weak type (1,1) if $a \in L^\infty S^{-n}_0 $. We also identify $m = -n$ as a critical index for these weak type estimates. As applications, we derive weighted weak type (1,1) estimates for certain classes of Fourier integral operators. △ Less

Submitted 4 March, 2025; v1 submitted 15 February, 2025; originally announced February 2025.

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

Differentiable Singular Value Decomposition

Authors: Rohit Kanchi, Sicheng He

Abstract: Singular value decomposition is widely used in modal analysis, such as proper orthogonal decomposition and resolvent analysis, to extract key features from complex problems. SVD derivatives need to be computed efficiently to enable the large scale design optimization. However, for a general complex matrix, no method can accurately compute this derivative to machine precision and remain scalable wi… ▽ More Singular value decomposition is widely used in modal analysis, such as proper orthogonal decomposition and resolvent analysis, to extract key features from complex problems. SVD derivatives need to be computed efficiently to enable the large scale design optimization. However, for a general complex matrix, no method can accurately compute this derivative to machine precision and remain scalable with respect to the number of design variables without requiring the all of the singular variables. We propose two algorithms to efficiently compute this derivative based on the adjoint method and reverse automatic differentiation and RAD-based singular value derivative formula. Differentiation results for each method proposed were compared with FD results for one square and one tall rectangular matrix example and matched with the FD results to about 5 to 7 digits. Finally, we demonstrate the scalability of the proposed method by calculating the derivatives of singular values with respect to the snapshot matrix derived from the POD of a large dataset for a laminar-turbulent transitional flow over a flat plate, sourced from the John Hopkins turbulence database. △ Less

Submitted 28 May, 2025; v1 submitted 14 January, 2025; originally announced January 2025.

$(L^{\infty},{\rm BMO})$ estimates and $(H^{1},L^{1})$ estimates for Fourier integral operators with symbol in $S^{m}_{0,δ}$

Authors: Guangqing Wang, Suixin He

Abstract: Let $T_{a,\varphi}$ be a Fourier integral operator defined with $a\in S^{m}_{0,δ}$ with $0\leqδ<1$ and $\varphi\in Φ^{2}$ satisfying the strong non-degenerate condition. It is showed that $T_{a,\varphi}$ is a bounded operator from $L^{\infty}(\mathbb{R}^n)$ to ${\rm BMO}(\mathbb{R}^n)$, if $$m\leq -\frac{n}{2},$$ and from $H^{1}(\mathbb{R}^n)$ to $L^{1}(\mathbb{R}^n)$, if… ▽ More Let $T_{a,\varphi}$ be a Fourier integral operator defined with $a\in S^{m}_{0,δ}$ with $0\leqδ<1$ and $\varphi\in Φ^{2}$ satisfying the strong non-degenerate condition. It is showed that $T_{a,\varphi}$ is a bounded operator from $L^{\infty}(\mathbb{R}^n)$ to ${\rm BMO}(\mathbb{R}^n)$, if $$m\leq -\frac{n}{2},$$ and from $H^{1}(\mathbb{R}^n)$ to $L^{1}(\mathbb{R}^n)$, if $$m\leq -\frac{n}{2}-\frac{n}{2}δ.$$ △ Less

Submitted 30 November, 2024; originally announced December 2024.

Scaling policy iteration based reinforcement learning for unknown discrete-time linear systems

Authors: Zhen Pang, Shengda Tang, Jun Cheng, Shuping He

Abstract: In optimal control problem, policy iteration (PI) is a powerful reinforcement learning (RL) tool used for designing optimal controller for the linear systems. However, the need for an initial stabilizing control policy significantly limits its applicability. To address this constraint, this paper proposes a novel scaling technique, which progressively brings a sequence of stable scaled systems clo… ▽ More In optimal control problem, policy iteration (PI) is a powerful reinforcement learning (RL) tool used for designing optimal controller for the linear systems. However, the need for an initial stabilizing control policy significantly limits its applicability. To address this constraint, this paper proposes a novel scaling technique, which progressively brings a sequence of stable scaled systems closer to the original system, enabling the acquisition of stable control gain. Based on the designed scaling update law, we develop model-based and model-free scaling policy iteration (SPI) algorithms for solving the optimal control problem for discrete-time linear systems, in both known and completely unknown system dynamics scenarios. Unlike existing works on PI based RL, the SPI algorithms do not necessitate an initial stabilizing gain to initialize the algorithms, they can achieve the optimal control under any initial control gain. Finally, the numerical results validate the theoretical findings and confirm the effectiveness of the algorithms. △ Less

Submitted 12 November, 2024; originally announced November 2024.

Mixing, Enhanced Dissipation and Phase Transition in the Kinetic Vicsek Model

Authors: Mengyang Gu, Siming He

Abstract: In this paper, we study the kinetic Vicsek model, which serves as a starting point for describing the polarization phenomena observed in the experiments of fibroblasts moving on liquid crystalline substrates. The long-time behavior of the kinetic equation is analyzed, revealing that, within specific parameter regimes, the mixing and enhanced dissipation phenomena stabilize the dynamics and ensure… ▽ More In this paper, we study the kinetic Vicsek model, which serves as a starting point for describing the polarization phenomena observed in the experiments of fibroblasts moving on liquid crystalline substrates. The long-time behavior of the kinetic equation is analyzed, revealing that, within specific parameter regimes, the mixing and enhanced dissipation phenomena stabilize the dynamics and ensure effective information communication among agents. Consequently, the solution exhibits features similar to those of a spatially-homogeneous system. As a result, we confirm the phase transition observed in the agent-based Vicsek model at the kinetic level. △ Less

Submitted 17 April, 2025; v1 submitted 29 September, 2024; originally announced September 2024.

Transition Threshold for Strictly Monotone Shear Flows in Sobolev Spaces

Authors: Rajendra Beekie, Siming He

Abstract: We study the stability of spectrally stable, strictly monotone, smooth shear flows in the 2D Navier-Stokes equations on $\mathbb{T} \times \mathbb{R}$ with small viscosity $ν$. We establish nonlinear stability in $H^s$ for $s \geq 2$ with a threshold of size $εν^{1/3}$ for time smaller than $c_*ν^{-1}$ with $ε, c_* \ll 1$. Additionally, we demonstrate nonlinear inviscid damping and enhanced dissip… ▽ More We study the stability of spectrally stable, strictly monotone, smooth shear flows in the 2D Navier-Stokes equations on $\mathbb{T} \times \mathbb{R}$ with small viscosity $ν$. We establish nonlinear stability in $H^s$ for $s \geq 2$ with a threshold of size $εν^{1/3}$ for time smaller than $c_*ν^{-1}$ with $ε, c_* \ll 1$. Additionally, we demonstrate nonlinear inviscid damping and enhanced dissipation. △ Less

Submitted 28 November, 2024; v1 submitted 13 September, 2024; originally announced September 2024.

Z/2 harmonic 1-forms, R-trees, and the Morgan-Shalen compactification

Authors: Siqi He, Richard Wentworth, Boyu Zhang

Abstract: This paper studies the relationship between an analytic compactification of the moduli space of flat $\mathrm{SL}_2(\mathbb{C})$ connections on a closed, oriented 3-manifold $M$ defined by Taubes, and the Morgan-Shalen compactification of the $\mathrm{SL}_2(\mathbb{C})$ character variety of the fundamental group of $M$. We exhibit an explicit correspondence between $\mathbb{Z}/2$ harmonic 1-forms,… ▽ More This paper studies the relationship between an analytic compactification of the moduli space of flat $\mathrm{SL}_2(\mathbb{C})$ connections on a closed, oriented 3-manifold $M$ defined by Taubes, and the Morgan-Shalen compactification of the $\mathrm{SL}_2(\mathbb{C})$ character variety of the fundamental group of $M$. We exhibit an explicit correspondence between $\mathbb{Z}/2$ harmonic 1-forms, measured foliations, and equivariant harmonic maps to $\mathbb{R}$-trees, as initially proposed by Taubes. As an application, we prove that $\mathbb{Z}/2$ harmonic 1-forms exist on all Haken manifolds with respect to all Riemannian metrics. We also show that there exist manifolds that support singular $\mathbb{Z}/2$ harmonic 1-forms but have compact $\mathrm{SL}_2(\mathbb{C})$ character varieties, which resolves a folklore conjecture. △ Less

Submitted 23 September, 2024; v1 submitted 7 September, 2024; originally announced September 2024.

Comments: 36 pages; added Theorem 1.3 and Corollaries 1.4, 1.5 in version 2

MSC Class: 58D27; 14M35; 57K35

$\mathbb Z_2$-Harmonic Spinors and 1-forms on Connected sums and Torus sums of 3-manifolds

Authors: Siqi He, Gregory J. Parker

Abstract: Given a pair of $\mathbb{Z}_2$-harmonic spinors (resp. 1-forms) on closed Riemannian 3-manifolds $(Y_1, g_1)$ and $(Y_2,g_2)$, we construct $\mathbb{Z}_2$-harmonic spinors (resp. 1-forms) on the connected sum $Y_1 \# Y_2$ and the torus sum $Y_1 \cup_{T^2} Y_2$ using a gluing argument. The main tool in the proof is a parameterized version of the Nash-Moser implicit function theorem established by D… ▽ More Given a pair of $\mathbb{Z}_2$-harmonic spinors (resp. 1-forms) on closed Riemannian 3-manifolds $(Y_1, g_1)$ and $(Y_2,g_2)$, we construct $\mathbb{Z}_2$-harmonic spinors (resp. 1-forms) on the connected sum $Y_1 \# Y_2$ and the torus sum $Y_1 \cup_{T^2} Y_2$ using a gluing argument. The main tool in the proof is a parameterized version of the Nash-Moser implicit function theorem established by Donaldson and the second author. We use these results to construct an abundance of new examples of $\mathbb Z_2$-harmonic spinors and 1-forms. In particular, we prove that for every closed 3-manifold $Y$, there exist infinitely many $\mathbb{Z}_2$-harmonic spinors with singular sets representing infinitely many distinct isotopy classes of embedded links, strengthening an existence theorem of Doan-Walpuski. Moreover, combining this with previous results, our construction implies that if $b_1(Y) > 0$, there exist infinitely many $\mathrm{spin}^c$ structures on $Y$ such that the moduli space of solutions to the two-spinor Seiberg-Witten equations is non-empty and non-compact. △ Less

Submitted 15 July, 2024; originally announced July 2024.

Comments: 38 pages, comments welcome!

Foliation of area minimizing hypersurfaces in asymptotically flat manifolds and Schoen's conjecture

Authors: Shihang He, Yuguang Shi, Haobin Yu

Abstract: In this paper, we demonstrate that any asymptotically flat manifold $(M^n, g)$ with $4\leq n\leq 7$ can be foliated by a family of area-minimizing hypersurfaces, each of which is asymptotic to Cartesian coordinate hyperplanes defined at an end of $(M^n, g)$. As an application of this foliation, we show that for any asymptotically flat manifold $(M^n, g)$ with $4\leq n\leq 7$, nonnegative scalar cu… ▽ More In this paper, we demonstrate that any asymptotically flat manifold $(M^n, g)$ with $4\leq n\leq 7$ can be foliated by a family of area-minimizing hypersurfaces, each of which is asymptotic to Cartesian coordinate hyperplanes defined at an end of $(M^n, g)$. As an application of this foliation, we show that for any asymptotically flat manifold $(M^n, g)$ with $4\leq n\leq 7$, nonnegative scalar curvature and positive mass, the solution of free boundary problem for area-minimizing hypersurface in coordinate cylinder $C_{R_i}$ in $(M^n, g)$ either does not exist or drifts to infinity of $(M^n, g)$ as $R_i$ tends to infinity. Additionally, we introduce a concept of globally minimizing hypersurface in $(M^n, g)$, and verify a version of the Schoen Conjecture. △ Less

Submitted 23 June, 2024; originally announced June 2024.

Comments: 39pages, 8 figures. Comments are welcome!

Momentum for the Win: Collaborative Federated Reinforcement Learning across Heterogeneous Environments

Authors: Han Wang, Sihong He, Zhili Zhang, Fei Miao, James Anderson

Abstract: We explore a Federated Reinforcement Learning (FRL) problem where $N$ agents collaboratively learn a common policy without sharing their trajectory data. To date, existing FRL work has primarily focused on agents operating in the same or ``similar" environments. In contrast, our problem setup allows for arbitrarily large levels of environment heterogeneity. To obtain the optimal policy which maxim… ▽ More We explore a Federated Reinforcement Learning (FRL) problem where $N$ agents collaboratively learn a common policy without sharing their trajectory data. To date, existing FRL work has primarily focused on agents operating in the same or ``similar" environments. In contrast, our problem setup allows for arbitrarily large levels of environment heterogeneity. To obtain the optimal policy which maximizes the average performance across all potentially completely different environments, we propose two algorithms: FedSVRPG-M and FedHAPG-M. In contrast to existing results, we demonstrate that both FedSVRPG-M and FedHAPG-M, both of which leverage momentum mechanisms, can exactly converge to a stationary point of the average performance function, regardless of the magnitude of environment heterogeneity. Furthermore, by incorporating the benefits of variance-reduction techniques or Hessian approximation, both algorithms achieve state-of-the-art convergence results, characterized by a sample complexity of $\mathcal{O}\left(ε^{-\frac{3}{2}}/N\right)$. Notably, our algorithms enjoy linear convergence speedups with respect to the number of agents, highlighting the benefit of collaboration among agents in finding a common policy. △ Less

Submitted 29 May, 2024; originally announced May 2024.

Journal ref: Proceedings of the 41st International Conference on Machine Learning, 2024 Learning

Uniform Inviscid Damping and Inviscid Limit of the 2D Navier-Stokes equation with Navier Boundary Conditions

Authors: Jacob Bedrossian, Siming He, Sameer Iyer, Fei Wang

Abstract: We consider the 2D, incompressible Navier-Stokes equations near the Couette flow, $ω^{(NS)} = 1 + εω$, set on the channel $\mathbb{T} \times [-1, 1]$, supplemented with Navier boundary conditions on the perturbation, $ω|_{y = \pm 1} = 0$. We are simultaneously interested in two asymptotic regimes that are classical in hydrodynamic stability: the long time, $t \rightarrow \infty$, stability of back… ▽ More We consider the 2D, incompressible Navier-Stokes equations near the Couette flow, $ω^{(NS)} = 1 + εω$, set on the channel $\mathbb{T} \times [-1, 1]$, supplemented with Navier boundary conditions on the perturbation, $ω|_{y = \pm 1} = 0$. We are simultaneously interested in two asymptotic regimes that are classical in hydrodynamic stability: the long time, $t \rightarrow \infty$, stability of background shear flows, and the inviscid limit, $ν\rightarrow 0$ in the presence of boundaries. Given small ($ε\ll 1$, but independent of $ν$) Gevrey 2- datum, $ω_0^{(ν)}(x, y)$, that is supported away from the boundaries $y = \pm 1$, we prove the following results: \begin{align*} & \|ω^{(ν)}(t) - \frac{1}{2π}\int ω^{(ν)}(t) dx \|_{L^2} \lesssim εe^{-δν^{1/3} t}, & \text{(Enhanced Dissipation)} \\ & \langle t \rangle \|u_1^{(ν)}(t) - \frac{1}{2π} \int u_1^{(ν)}(t) dx\|_{L^2} + \langle t \rangle^2 \|u_2^{(ν)}(t)\|_{L^2} \lesssim εe^{-δν^{1/3} t}, & \text{(Inviscid Damping)} \\ &\| ω^{(ν)} - ω^{(0)} \|_{L^\infty} \lesssim ενt^{3+η}, \quad\quad t \lesssim ν^{-1/(3+η)} & \text{(Long-time Inviscid Limit)} \end{align*} This is the first nonlinear asymptotic stability result of its type, which combines three important physical phenomena at the nonlinear level: inviscid damping, enhanced dissipation, and long-time inviscid limit in the presence of boundaries. The techniques we develop represent a major departure from prior works on nonlinear inviscid damping as physical space techniques necessarily play a central role. In this paper, we focus on the primary nonlinear result, while tools for handling the linearized parabolic and elliptic equations are developed in our separate, companion work. △ Less

Submitted 29 May, 2024; originally announced May 2024.

Comments: 157 pages

Pseudo-Gevrey Smoothing for the Passive Scalar Equations near Couette

Authors: Jacob Bedrossian, Siming He, Sameer Iyer, Fei Wang

Abstract: In this article, we study the regularity theory for two linear equations that are important in fluid dynamics: the passive scalar equation for (time-varying) shear flows close to Couette in $\mathbb T \times [-1,1]$ with vanishing diffusivity $ν\to 0$ and the Poisson equation with right-hand side behaving in similar function spaces to such a passive scalar. The primary motivation for this work is… ▽ More In this article, we study the regularity theory for two linear equations that are important in fluid dynamics: the passive scalar equation for (time-varying) shear flows close to Couette in $\mathbb T \times [-1,1]$ with vanishing diffusivity $ν\to 0$ and the Poisson equation with right-hand side behaving in similar function spaces to such a passive scalar. The primary motivation for this work is to develop some of the main technical tools required for our treatment of the (nonlinear) 2D Navier-Stokes equations, carried out in our companion work. Both equations are studied with homogeneous Dirichlet conditions (the analogue of a Navier slip-type boundary condition) and the initial condition is taken to be compactly supported away from the walls. We develop smoothing estimates with the following three features: [1] Uniform-in-$ν$ regularity is with respect to $\partial_x$ and a time-dependent adapted vector-field $Γ$ which approximately commutes with the passive scalar equation (as opposed to `flat' derivatives), and a scaled gradient $\sqrtν \nabla$; [2] $(\partial_x, Γ)$-regularity estimates are performed in Gevrey spaces with regularity that depends on the spatial coordinate, $y$ (what we refer to as `pseudo-Gevrey'); [3] The regularity of these pseudo-Gevrey spaces degenerates to finite regularity near the center of the channel and hence standard Gevrey product rules and other amenable properties do not hold. Nonlinear analysis in such a delicate functional setting is one of the key ingredients to our companion paper, \cite{BHIW24a}, which proves the full nonlinear asymptotic stability of the Couette flow with slip boundary conditions. The present article introduces new estimates for the associated linear problems in these degenerate pseudo-Gevrey spaces, which is of independent interest. △ Less

Submitted 29 May, 2024; originally announced May 2024.

Comments: 130 pages

Stability Analysis of Biochemical Reaction Networks Linearly Conjugated to complex balanced Systems with Time Delays Added

Authors: Xiaoyu Zhang, Shibo He, Chuanhou Gao, Denis Dochain

Abstract: Linear conjugacy offers a new perspective to broaden the scope of stable biochemical reaction networks to the systems linearly conjugated to the well-established complex balanced mass action systems ($\ell$cCBMASs). This paper addresses the challenge posed by time delay, which can disrupt the linear conjugacy relationship and complicate stability analysis for delayed versions of $\ell$cCBMASs (D… ▽ More Linear conjugacy offers a new perspective to broaden the scope of stable biochemical reaction networks to the systems linearly conjugated to the well-established complex balanced mass action systems ($\ell$cCBMASs). This paper addresses the challenge posed by time delay, which can disrupt the linear conjugacy relationship and complicate stability analysis for delayed versions of $\ell$cCBMASs (D$\ell$cCBMAS). Firstly, we develop Lyapunov functionals tailored to some D$\ell$cCBMASs by using the persisted parameter relationships under time delays. Subsequently, we redivide the phase space as several invariant sets of trajectories and further investigate the existence and uniqueness of equilibriums in each newly defined invariant set. This enables us to determine the local asymptotic stability of some D$\ell$cCBMASs within an updated framework. Furthermore, illustrative examples are provided to demonstrate the practical implications of our approach. △ Less

Submitted 24 May, 2024; originally announced May 2024.

Time-dependent Flows and Their Applications in Parabolic-parabolic Patlak-Keller-Segel Systems Part II: Shear Flows

Authors: Siming He

Abstract: In this study, we investigate the behavior of three-dimensional parabolic-parabolic Patlak-Keller-Segel (PKS) systems in the presence of ambient shear flows. Our findings demonstrate that when the total mass of the cell density is below a specific threshold, the solution remains globally regular as long as the flow is sufficiently strong. The primary difficulty in our analysis stems from the fast… ▽ More In this study, we investigate the behavior of three-dimensional parabolic-parabolic Patlak-Keller-Segel (PKS) systems in the presence of ambient shear flows. Our findings demonstrate that when the total mass of the cell density is below a specific threshold, the solution remains globally regular as long as the flow is sufficiently strong. The primary difficulty in our analysis stems from the fast creation of chemical gradients due to strong shear advection. △ Less

Submitted 9 May, 2024; originally announced May 2024.

Time-dependent Flows and Their Applications in Parabolic-parabolic Patlak-Keller-Segel Systems Part I: Alternating Flows

Authors: Siming He

Abstract: We consider the three-dimensional parabolic-parabolic Patlak-Keller-Segel equations (PKS) subject to ambient flows. Without the ambient fluid flow, the equation is super-critical in three-dimension and has finite-time blow-up solutions with arbitrarily small $L^1$-mass. In this study, we show that a family of time-dependent alternating shear flows, inspired by the clever ideas of Tarek Elgindi, ca… ▽ More We consider the three-dimensional parabolic-parabolic Patlak-Keller-Segel equations (PKS) subject to ambient flows. Without the ambient fluid flow, the equation is super-critical in three-dimension and has finite-time blow-up solutions with arbitrarily small $L^1$-mass. In this study, we show that a family of time-dependent alternating shear flows, inspired by the clever ideas of Tarek Elgindi, can suppress the chemotactic blow-up in these systems. △ Less

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

Comments: Corrected typos and added a citation

A Novel State-Centric Necessary Condition for Time-Optimal Control of Controllable Linear Systems Based on Augmented Switching Laws (Extended Version)

Authors: Yunan Wang, Chuxiong Hu, Yujie Lin, Zeyang Li, Shize Lin, Suqin He

Abstract: Most existing necessary conditions for optimal control based on adjoining methods require both state and costate information, yet the unobservability of costates for a given feasible trajectory impedes the determination of optimality in practice. This paper establishes a novel theoretical framework for time-optimal control of controllable linear systems with a single input, proposing the augmented… ▽ More Most existing necessary conditions for optimal control based on adjoining methods require both state and costate information, yet the unobservability of costates for a given feasible trajectory impedes the determination of optimality in practice. This paper establishes a novel theoretical framework for time-optimal control of controllable linear systems with a single input, proposing the augmented switching law (ASL) that represents the input control and the feasibility in a compact form. Given a feasible trajectory, the perturbed trajectory under the constraints of ASL is guaranteed to be feasible, resulting in a novel state-centric necessary condition without dependence on costate information. A first-order necessary condition is proposed that the Jacobian matrix of the ASL is not full row rank, which also results in a potential approach to optimizing a given feasible trajectory with the preservation of arc structures. The proposed necessary condition is applied to high-order chain-of-integrator systems with full box constraints, contributing to some theoretical results challenging to reason by costate-based conditions. △ Less

Submitted 12 December, 2024; v1 submitted 13 April, 2024; originally announced April 2024.

On the robustness of double-word addition algorithms

Authors: Yuanyuan Yang, XinYu Lyu, Sida He, Xiliang Lu, Ji Qi, Zhihao Li

Abstract: We demonstrate that, even when there are moderate overlaps in the inputs of sloppy or accurate double-word addition algorithms in the QD library, these algorithms still guarantee error bounds of $O(u^2(|a|+|b|))$ in faithful rounding. Furthermore, the accurate algorithm can achieve a relative error bound of $O(u^2)$ in the presence of moderate overlaps in the inputs when rounding function is round… ▽ More We demonstrate that, even when there are moderate overlaps in the inputs of sloppy or accurate double-word addition algorithms in the QD library, these algorithms still guarantee error bounds of $O(u^2(|a|+|b|))$ in faithful rounding. Furthermore, the accurate algorithm can achieve a relative error bound of $O(u^2)$ in the presence of moderate overlaps in the inputs when rounding function is round-to-nearest. The relative error bound also holds in directed rounding, but certain additional conditions are required. Consequently, in double-word multiplication and addition operations, we can safely omit the normalization step of double-word multiplication and replace the accurate addition algorithm with the sloppy one. Numerical experiments confirm that this approach nearly doubles the performance of double-word multiplication and addition operations, with negligible precision costs. Moreover, in directed rounding mode, the signs of the errors of the two algorithms are consistent with the rounding direction, even in the presence of input overlap. This allows us to avoid changing the rounding mode in interval arithmetic. We also prove that the relative error bound of the sloppy addition algorithm exceeds $3u^2$ if and only if the input meets the condition of Sterbenz's Lemma when rounding to nearest. These findings suggest that the two addition algorithms are more robust than previously believed. △ Less

Submitted 10 April, 2024; v1 submitted 8 April, 2024; originally announced April 2024.

On the existence and rigidity of critical Z2 eigenvalues

Authors: Jiahuang Chen, Siqi He

Abstract: In this article, we study the eigenvalues and eigenfunction problems for the Laplace operator on multivalued functions, defined on the complement of the 2n points on the round sphere. These eigenvalues and eigensections could also be viewed as functions on the configuration spaces of points, introduced and systematically studied by Taubes-Wu. Critical eigenfunctions, which serve as local singulari… ▽ More In this article, we study the eigenvalues and eigenfunction problems for the Laplace operator on multivalued functions, defined on the complement of the 2n points on the round sphere. These eigenvalues and eigensections could also be viewed as functions on the configuration spaces of points, introduced and systematically studied by Taubes-Wu. Critical eigenfunctions, which serve as local singularity models for gauge theoretical problems, are of particular interest. Our study focuses on the existence and rigidity problems pertaining to these critical eigenfunctions. We prove that for generic configurations, the critical eigenfunctions do not exist. Furthermore, for each n>1, we construct infinitely many configurations that admit critical eigensections. Additionally, we show that the Taubes-Wu tetrahedral eigensections are deformation rigid and non-degenerate. Our main tools are algebraic identities developed by Taubes-Wu and finite group representation theory. △ Less

Submitted 8 April, 2024; originally announced April 2024.

Comments: 46 pages

MSC Class: 53C07

Chattering Phenomena in Time-Optimal Control for High-Order Chain-of-Integrator Systems with Full State Constraints (Extended Version)

Authors: Yunan Wang, Chuxiong Hu, Zeyang Li, Yujie Lin, Shize Lin, Suqin He

Abstract: Time-optimal control for high-order chain-of-integrator systems with full state constraints remains an open and challenging problem within the discipline of optimal control. The behavior of optimal control in high-order problems lacks precise characterization, and even the existence of the chattering phenomenon, i.e., the control switches for infinitely many times over a finite period, remains unk… ▽ More Time-optimal control for high-order chain-of-integrator systems with full state constraints remains an open and challenging problem within the discipline of optimal control. The behavior of optimal control in high-order problems lacks precise characterization, and even the existence of the chattering phenomenon, i.e., the control switches for infinitely many times over a finite period, remains unknown and overlooked. This paper establishes a theoretical framework for chattering phenomena in the considered problem, providing novel findings on the uniqueness of state constraints inducing chattering, the upper bound of switching times in an unconstrained arc during chattering, and the convergence of states and costates to the chattering limit point. For the first time, this paper proves the existence of the chattering phenomenon in the considered problem. The chattering optimal control for 4th-order problems with velocity constraints is precisely solved, providing an approach to plan time-optimal snap-limited trajectories. Other cases of order $n\leq4$ are proved not to allow chattering. The conclusions rectify a longstanding misconception in the industry concerning the time-optimality of S-shaped trajectories with minimal switching times. △ Less

Submitted 17 October, 2024; v1 submitted 26 March, 2024; originally announced March 2024.

Relative aspherical conjecture and higher codimensional obstruction to positive scalar curvature

Authors: Shihang He

Abstract: Motivated by the solution of the aspherical conjecture up to dimension 5 [CL20][Gro20], we want to study a relative version of the aspherical conjecture. We present a natural condition generalizing the model $X\times\mathbb{T}^k$ to the relative aspherical setting. Such model is closely related to submanifold obstruction of positive scalar curvature (PSC), and would be in similar spirit as [HPS15]… ▽ More Motivated by the solution of the aspherical conjecture up to dimension 5 [CL20][Gro20], we want to study a relative version of the aspherical conjecture. We present a natural condition generalizing the model $X\times\mathbb{T}^k$ to the relative aspherical setting. Such model is closely related to submanifold obstruction of positive scalar curvature (PSC), and would be in similar spirit as [HPS15][CRZ23] in codim 2 case. In codim 3 and 4, we prove results on how 3-manifold obstructs the existence of PSC under our relative aspherical condition, the proof of which relies on a newly introduced geometric quantity called the it spherical width. This could be regarded as a relative version extension of the aspherical conjecture up to dim 5. △ Less

Submitted 26 March, 2024; v1 submitted 18 March, 2024; originally announced March 2024.

Comments: 23 pages. All comments are welcome!

Penalized spline estimation of principal components for sparse functional data: rates of convergence

Authors: Shiyuan He, Jianhua Z. Huang, Kejun He

Abstract: This paper gives a comprehensive treatment of the convergence rates of penalized spline estimators for simultaneously estimating several leading principal component functions, when the functional data is sparsely observed. The penalized spline estimators are defined as the solution of a penalized empirical risk minimization problem, where the loss function belongs to a general class of loss functi… ▽ More This paper gives a comprehensive treatment of the convergence rates of penalized spline estimators for simultaneously estimating several leading principal component functions, when the functional data is sparsely observed. The penalized spline estimators are defined as the solution of a penalized empirical risk minimization problem, where the loss function belongs to a general class of loss functions motivated by the matrix Bregman divergence, and the penalty term is the integrated squared derivative. The theory reveals that the asymptotic behavior of penalized spline estimators depends on the interesting interplay between several factors, i.e., the smoothness of the unknown functions, the spline degree, the spline knot number, the penalty order, and the penalty parameter. The theory also classifies the asymptotic behavior into seven scenarios and characterizes whether and how the minimax optimal rates of convergence are achievable in each scenario. △ Less

Submitted 8 February, 2024; originally announced February 2024.

The Spectral base and quotients of bounded symmetric domains

Authors: Siqi He, Jie Liu, Ngaiming Mok

Abstract: In this article, we explore Higgs bundles on a projective manifold $X$, focusing on their spectral bases, a concept introduced by T.Chen and B.Ngô. The spectral base is a specific closed subscheme within the space of symmetric differentials. We observe that if the spectral base vanishes, then any reductive representation $ρ: π_1(X) \to \text{GL}_r(\mathbb{C})$ is both rigid and integral. Additiona… ▽ More In this article, we explore Higgs bundles on a projective manifold $X$, focusing on their spectral bases, a concept introduced by T.Chen and B.Ngô. The spectral base is a specific closed subscheme within the space of symmetric differentials. We observe that if the spectral base vanishes, then any reductive representation $ρ: π_1(X) \to \text{GL}_r(\mathbb{C})$ is both rigid and integral. Additionally, we prove that for $X=Ω/Γ$, a quotient of a bounded symmetric domain $Ω$ of rank at least $2$ by a torsion-free cocompact irreducible lattice $Γ$, the spectral base indeed vanishes, which generalizes a result of B.Klingler. △ Less

Submitted 28 January, 2024; originally announced January 2024.

Comments: 21 pages

MSC Class: 14J60; 53C35

A note on rational homology vanishing theorem for hypersurfaces in aspherical manifolds

Authors: Shihang He, Jintian Zhu

Abstract: In this note, we generalize Gromov's reduction \cite{Gro20} from the aspherical conjecture to the generalized filling radius conjecture to the smooth $\mathbb Q$-homology vanishing conjecture for hypersurface. In particular, we can show that any continuous map from a closed $4$-manifold admitting positive scalar curvature to an aspherical $5$-manifold induces zero map in $H_4(\cdot,\mathbb Q)$. As… ▽ More In this note, we generalize Gromov's reduction \cite{Gro20} from the aspherical conjecture to the generalized filling radius conjecture to the smooth $\mathbb Q$-homology vanishing conjecture for hypersurface. In particular, we can show that any continuous map from a closed $4$-manifold admitting positive scalar curvature to an aspherical $5$-manifold induces zero map in $H_4(\cdot,\mathbb Q)$. As a corollary, we obtain the following splitting theorem: if a complete aspherical $5$-manifold has nonnegative scalar curvature and two ends, then it splits into the Riemannian product of a closed flat manifold and the real line. △ Less

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

Comments: final version, to appear in PAMS; modification was made in section 2, where homology filling was replaced by homotopy filling due to technical reasons

Stability threshold of nearly-Couette shear flows with Navier boundary conditions in 2D

Authors: Jacob Bedrossian, Siming He, Sameer Iyer, Fei Wang

Abstract: In this work, we prove a threshold theorem for the 2D Navier-Stokes equations posed on the periodic channel, $\mathbb{T} \times [-1,1]$, supplemented with Navier boundary conditions $ω|_{y = \pm 1} = 0$. Initial datum is taken to be a perturbation of Couette in the following sense: the shear component of the perturbation is assumed small (in an appropriate Sobolev space) but importantly is indepen… ▽ More In this work, we prove a threshold theorem for the 2D Navier-Stokes equations posed on the periodic channel, $\mathbb{T} \times [-1,1]$, supplemented with Navier boundary conditions $ω|_{y = \pm 1} = 0$. Initial datum is taken to be a perturbation of Couette in the following sense: the shear component of the perturbation is assumed small (in an appropriate Sobolev space) but importantly is independent of $ν$. On the other hand, the nonzero modes are assumed size $O(ν^{\frac12})$ in an anisotropic Sobolev space. For such datum, we prove nonlinear enhanced dissipation and inviscid damping for the resulting solution. The principal innovation is to capture quantitatively the \textit{inviscid damping}, for which we introduce a new Singular Integral Operator which is a physical space analogue of the usual Fourier multipliers which are used to prove damping. We then include this SIO in the context of a nonlinear hypocoercivity framework. △ Less

Submitted 31 October, 2023; originally announced November 2023.

On the spectral variety for rank two Higgs bundles

Authors: Siqi He, Jie Liu

Abstract: In this article, we study the Hitchin morphism over a smooth projective variety $X$. The Hitchin morphism is a map from the moduli space of Higgs bundles to the Hitchin base, which in general not surjective when the dimension of X is greater than one. Chen-Ngô introduced the spectral base, which is a closed subvariety of the Hitchin base. They conjectured that the Hitchin morphism is surjective to… ▽ More In this article, we study the Hitchin morphism over a smooth projective variety $X$. The Hitchin morphism is a map from the moduli space of Higgs bundles to the Hitchin base, which in general not surjective when the dimension of X is greater than one. Chen-Ngô introduced the spectral base, which is a closed subvariety of the Hitchin base. They conjectured that the Hitchin morphism is surjective to the spectral base and also proved that the surjectivity is equivalent to the existence of finite Cohen-Macaulayfications of the spectral varieties. For rank two Higgs bundles over a projective manifold $X$, we explicitly construct a finite Cohen-Macaulayfication of the spectral variety as a double branched covering of $X$, thereby confirming Chen-Ngô's conjecture in this case. Moreover, using this Cohen-Macaulayfication, we can construct the Hitchin section for rank two Higgs bundles, which allows us to study the rigidity problem of the character variety and also to explore a generalization of the Milnor-Wood type inequality. △ Less

Submitted 29 October, 2023; originally announced October 2023.

Comments: 42 pages

MSC Class: 14J60

Operator Learning Meets Numerical Analysis: Improving Neural Networks through Iterative Methods

Authors: Emanuele Zappala, Daniel Levine, Sizhuang He, Syed Rizvi, Sacha Levy, David van Dijk

Abstract: Deep neural networks, despite their success in numerous applications, often function without established theoretical foundations. In this paper, we bridge this gap by drawing parallels between deep learning and classical numerical analysis. By framing neural networks as operators with fixed points representing desired solutions, we develop a theoretical framework grounded in iterative methods for… ▽ More Deep neural networks, despite their success in numerous applications, often function without established theoretical foundations. In this paper, we bridge this gap by drawing parallels between deep learning and classical numerical analysis. By framing neural networks as operators with fixed points representing desired solutions, we develop a theoretical framework grounded in iterative methods for operator equations. Under defined conditions, we present convergence proofs based on fixed point theory. We demonstrate that popular architectures, such as diffusion models and AlphaFold, inherently employ iterative operator learning. Empirical assessments highlight that performing iterations through network operators improves performance. We also introduce an iterative graph neural network, PIGN, that further demonstrates benefits of iterations. Our work aims to enhance the understanding of deep learning by merging insights from numerical analysis, potentially guiding the design of future networks with clearer theoretical underpinnings and improved performance. △ Less

Submitted 2 October, 2023; originally announced October 2023.

Comments: 27 pages (13+14). 8 Figures and 5 tables. Comments are welcome!

A Note on Enhanced Dissipation and Taylor Dispersion of Time-dependent Shear Flows

Authors: Daniel Coble, Siming He

Abstract: This paper explores the phenomena of enhanced dissipation and Taylor dispersion in solutions to the passive scalar equations subject to time-dependent shear flows. The hypocoercivity functionals with carefully tuned time weights are applied in the analysis. We observe that as long as the critical points of the shear flow vary slowly, one can derive the sharp enhanced dissipation and Taylor dispers… ▽ More This paper explores the phenomena of enhanced dissipation and Taylor dispersion in solutions to the passive scalar equations subject to time-dependent shear flows. The hypocoercivity functionals with carefully tuned time weights are applied in the analysis. We observe that as long as the critical points of the shear flow vary slowly, one can derive the sharp enhanced dissipation and Taylor dispersion estimates, mirroring the ones obtained for the time-stationary case. △ Less

Submitted 28 September, 2023; v1 submitted 27 September, 2023; originally announced September 2023.

$\ell_p$-sphere covering and approximating nuclear $p$-norm

Authors: Jiewen Guan, Simai He, Bo Jiang, Zhening Li

Abstract: The spectral $p$-norm and nuclear $p$-norm of matrices and tensors appear in various applications albeit both are NP-hard to compute. The former sets a foundation of $\ell_p$-sphere constrained polynomial optimization problems and the latter has been found in many rank minimization problems in machine learning. We study approximation algorithms of the tensor nuclear $p$-norm with an aim to establi… ▽ More The spectral $p$-norm and nuclear $p$-norm of matrices and tensors appear in various applications albeit both are NP-hard to compute. The former sets a foundation of $\ell_p$-sphere constrained polynomial optimization problems and the latter has been found in many rank minimization problems in machine learning. We study approximation algorithms of the tensor nuclear $p$-norm with an aim to establish the approximation bound matching the best one of its dual norm, the tensor spectral $p$-norm. Driven by the application of sphere covering to approximate both tensor spectral and nuclear norms ($p=2$), we propose several types of hitting sets that approximately represent $\ell_p$-sphere with adjustable parameters for different levels of approximations and cardinalities, providing an independent toolbox for decision making on $\ell_p$-spheres. Using the idea in robust optimization and second-order cone programming, we obtain the first polynomial-time algorithm with an $Ω(1)$-approximation bound for the computation of the matrix nuclear $p$-norm when $p\in(2,\infty)$ is a rational, paving a way for applications in modeling with the matrix nuclear $p$-norm. These two new results enable us to propose various polynomial-time approximation algorithms for the computation of the tensor nuclear $p$-norm using tensor partitions, convex optimization and duality theory, attaining the same approximation bound to the best one of the tensor spectral $p$-norm. We believe the ideas of $\ell_p$-sphere covering with its applications in approximating nuclear $p$-norm would be useful to tackle optimization problems on other sets such as the binary hypercube with its applications in graph theory and neural networks, the nonnegative sphere with its applications in copositive programming and nonnegative matrix factorization. △ Less

Submitted 11 July, 2024; v1 submitted 28 July, 2023; originally announced July 2023.

Inertial randomized Kaczmarz algorithms for solving coherent linear systems

Authors: Songnian He, Ziting Wang, Qiao-Li Dong

Abstract: In this paper, by regarding the two-subspace Kaczmarz method [20] as an alternated inertial randomized Kaczmarz algorithm we present a new convergence rate estimate which is shown to be better than that in [20] under a mild condition. Furthermore, we accelerate the alternated inertial randomized Kaczmarz algorithm and introduce a multi-step inertial randomized Kaczmarz algorithm which is proved to… ▽ More In this paper, by regarding the two-subspace Kaczmarz method [20] as an alternated inertial randomized Kaczmarz algorithm we present a new convergence rate estimate which is shown to be better than that in [20] under a mild condition. Furthermore, we accelerate the alternated inertial randomized Kaczmarz algorithm and introduce a multi-step inertial randomized Kaczmarz algorithm which is proved to have a faster convergence rate. Numerical experiments support the theory results and illustrate that the multi-inertial randomized Kaczmarz algorithm significantly outperform the two-subspace Kaczmarz method in solving coherent linear systems. △ Less

Submitted 13 June, 2023; originally announced June 2023.

Comments: 24 pages and 14 figures

The Algebraic and Analytic Compactifications of the Hitchin Moduli Space

Authors: Siqi He, Rafe Mazzeo, Xuesen Na, Richard Wentworth

Abstract: Following the work of Mazzeo-Swoboda-Weiss-Witt and Mochizuki, there is a map $\overlineΞ$ between the algebraic compactification of the Dolbeault moduli space of $\mathsf{SL}(2,\mathbb{C})$ Higgs bundles on a smooth projective curve coming from the $\mathbb{C}^\ast$ action, and the analytic compactification of Hitchin's moduli space of solutions to the $\mathsf{SU}(2)$ self-duality equations on a… ▽ More Following the work of Mazzeo-Swoboda-Weiss-Witt and Mochizuki, there is a map $\overlineΞ$ between the algebraic compactification of the Dolbeault moduli space of $\mathsf{SL}(2,\mathbb{C})$ Higgs bundles on a smooth projective curve coming from the $\mathbb{C}^\ast$ action, and the analytic compactification of Hitchin's moduli space of solutions to the $\mathsf{SU}(2)$ self-duality equations on a Riemann surface obtained by adding solutions to the decoupled equations, known as ``limiting configurations''. This map extends the classical Kobayashi-Hitchin correspondence. The main result of this paper is that $\overlineΞ$ fails to be continuous at the boundary over a certain subset of the discriminant locus of the Hitchin fibration. This suggests the possibility of a third, refined compactification which dominates both. △ Less

Submitted 22 May, 2023; v1 submitted 17 April, 2023; originally announced April 2023.

Comments: 38 pages. Minor edits

Report number: MPIM-Bonn-2023 MSC Class: 32G13; 53C07 (primary); 14D20 (secondary)

Journal ref: Moduli 1 (2024) e2

The extremal unicyclic graphs of the revised edge Szeged index with given diameter

Authors: Shengjie He, Qiaozhi Geng, Rong-Xia Hao

Abstract: Let $G$ be a connected graph. The revised edge Szeged index of $G$ is defined as $Sz^{\ast}_{e}(G)=\sum\limits_{e=uv\in E(G)}(m_{u}(e|G)+\frac{m_{0}(e|G)}{2})(m_{v}(e|G)+\frac{m_{0}(e|G)}{2})$, where $m_{u}(e|G)$ (resp., $m_{v}(e|G)$) is the number of edges whose distance to vertex $u$ (resp., $v$) is smaller than the distance to vertex $v$ (resp., $u$), and $m_{0}(e|G)$ is the number of edges equ… ▽ More Let $G$ be a connected graph. The revised edge Szeged index of $G$ is defined as $Sz^{\ast}_{e}(G)=\sum\limits_{e=uv\in E(G)}(m_{u}(e|G)+\frac{m_{0}(e|G)}{2})(m_{v}(e|G)+\frac{m_{0}(e|G)}{2})$, where $m_{u}(e|G)$ (resp., $m_{v}(e|G)$) is the number of edges whose distance to vertex $u$ (resp., $v$) is smaller than the distance to vertex $v$ (resp., $u$), and $m_{0}(e|G)$ is the number of edges equidistant from both ends of $e$, respectively. In this paper, the graphs with minimum revised edge Szeged index among all the unicyclic graphs with given diameter are characterized. △ Less

Submitted 12 April, 2023; originally announced April 2023.

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

No mixed graph with the nullity $η(\widetilde{G})=|V(G)|-2m(G)+2c(G)-1$

Authors: Shengjie He, Rong-Xia Hao, Hong-Jian Lai, Qiaozhi Geng

Abstract: A mixed graph $\widetilde{G}$ is obtained from a simple undirected graph $G$, the underlying graph of $\widetilde{G}$, by orienting some edges of $G$. Let $c(G)=|E(G)|-|V(G)|+ω(G)$ be the cyclomatic number of $G$ with $ω(G)$ the number of connected components of $G$, $m(G)$ be the matching number of $G$, and $η(\widetilde{G})$ be the nullity of $\widetilde{G}$. Chen et al. (2018)\cite{LSC} and Tia… ▽ More A mixed graph $\widetilde{G}$ is obtained from a simple undirected graph $G$, the underlying graph of $\widetilde{G}$, by orienting some edges of $G$. Let $c(G)=|E(G)|-|V(G)|+ω(G)$ be the cyclomatic number of $G$ with $ω(G)$ the number of connected components of $G$, $m(G)$ be the matching number of $G$, and $η(\widetilde{G})$ be the nullity of $\widetilde{G}$. Chen et al. (2018)\cite{LSC} and Tian et al. (2018)\cite{TFL} proved independently that $|V(G)|-2m(G)-2c(G) \leq η(\widetilde{G}) \leq |V(G)|-2m(G)+2c(G)$, respectively, and they characterized the mixed graphs with nullity attaining the upper bound and the lower bound. In this paper, we prove that there is no mixed graph with nullity $η(\widetilde{G})=|V(G)|-2m(G)+2c(G)-1$. Moreover, for fixed $c(G)$, there are infinitely many connected mixed graphs with nullity $|V(G)|-2m(G)+2c(G)-s$ $( 0 \leq s \leq 3c(G), s\neq1 )$ is proved. △ Less

Submitted 12 April, 2023; originally announced April 2023.

Twisted $S^1$ stability and positive scalar curvature obstruction on fiber bundles

Authors: Shihang He

Abstract: We establish several non-existence results of positive scalar curvature (PSC) on fiber bundles. We show under an incompressible condition of the fiber, for $X^m$ a Cartan-Hadamard manifold or an aspherical manifold when $m=3$, the fiber bundle over $X^m\#M^m$ ($m\ge 3$) with $K(π,1)$ fiber, $NPSC^+$(a manifold class including enlargeable and Schoen-Yau-Schick ones) fiber, or spin fiber of non-vani… ▽ More We establish several non-existence results of positive scalar curvature (PSC) on fiber bundles. We show under an incompressible condition of the fiber, for $X^m$ a Cartan-Hadamard manifold or an aspherical manifold when $m=3$, the fiber bundle over $X^m\#M^m$ ($m\ge 3$) with $K(π,1)$ fiber, $NPSC^+$(a manifold class including enlargeable and Schoen-Yau-Schick ones) fiber, or spin fiber of non-vanishing Rosenberg index carries no PSC metric, with necessary dimension and spin compactible condition imposed. Furthermore, we show under a homotopically nontrivial condition of the fiber, the $S^1$ principle bundle over a closed 3-manifold admits PSC metric if and only if its base space does. These partially answer a question of Gromov and extend some previous results of Hanke, Schick and Zeidler concerning PSC obstruction on fiber bundles. △ Less

Submitted 9 May, 2023; v1 submitted 22 March, 2023; originally announced March 2023.

Comments: 29 pages, 2 figures. Main results strengthened, exposition improved. All comments are welcome

i2LQR: Iterative LQR for Iterative Tasks in Dynamic Environments

Authors: Yifan Zeng, Suiyi He, Han Hoang Nguyen, Yihan Li, Zhongyu Li, Koushil Sreenath, Jun Zeng

Abstract: This work introduces a novel control strategy called Iterative Linear Quadratic Regulator for Iterative Tasks (i2LQR), which aims to improve closed-loop performance with local trajectory optimization for iterative tasks in a dynamic environment. The proposed algorithm is reference-free and utilizes historical data from previous iterations to enhance the performance of the autonomous system. Unlike… ▽ More This work introduces a novel control strategy called Iterative Linear Quadratic Regulator for Iterative Tasks (i2LQR), which aims to improve closed-loop performance with local trajectory optimization for iterative tasks in a dynamic environment. The proposed algorithm is reference-free and utilizes historical data from previous iterations to enhance the performance of the autonomous system. Unlike existing algorithms, the i2LQR computes the optimal solution in an iterative manner at each timestamp, rendering it well-suited for iterative tasks with changing constraints at different iterations. To evaluate the performance of the proposed algorithm, we conduct numerical simulations for an iterative task aimed at minimizing completion time. The results show that i2LQR achieves an optimized performance with respect to learning-based MPC (LMPC) as the benchmark in static environments, and outperforms LMPC in dynamic environments with both static and dynamics obstacles. △ Less

Submitted 6 September, 2023; v1 submitted 27 February, 2023; originally announced February 2023.

Comments: Accepted by 2023 62nd IEEE Conference on Decision and Control (CDC)

Approximating Tensor Norms via Sphere Covering: Bridging the Gap Between Primal and Dual

Authors: Simai He, Haodong Hu, Bo Jiang, Zhening Li

Abstract: The matrix spectral and nuclear norms appear in enormous applications. The generalizations of these norms to higher-order tensors is becoming increasingly important but unfortunately they are NP-hard to compute or even approximate. Although the two norms are dual to each other, the best known approximation bound achieved by polynomial-time algorithms for the tensor nuclear norm is worse than that… ▽ More The matrix spectral and nuclear norms appear in enormous applications. The generalizations of these norms to higher-order tensors is becoming increasingly important but unfortunately they are NP-hard to compute or even approximate. Although the two norms are dual to each other, the best known approximation bound achieved by polynomial-time algorithms for the tensor nuclear norm is worse than that for the tensor spectral norm. In this paper, we bridge this gap by proposing deterministic algorithms with the best bound for both tensor norms. Our methods not only improve the approximation bound for the nuclear norm, but are also data independent and easily implementable comparing to existing approximation methods for the tensor spectral norm. The main idea is to construct a selection of unit vectors that can approximately represent the unit sphere, in other words, a collection of spherical caps to cover the sphere. For this purpose, we explicitly construct several collections of spherical caps for sphere covering with adjustable parameters for different levels of approximations and cardinalities. These readily available constructions are of independent interest as they provide a powerful tool for various decision making problems on spheres and related problems. We believe the ideas of constructions and the applications to approximate tensor norms can be useful to tackle optimization problems over other sets such as the binary hypercube. △ Less

Submitted 27 February, 2023; originally announced February 2023.

Data-Driven Distributionally Robust Electric Vehicle Balancing for Autonomous Mobility-on-Demand Systems under Demand and Supply Uncertainties

Authors: Sihong He, Zhili Zhang, Shuo Han, Lynn Pepin, Guang Wang, Desheng Zhang, John Stankovic, Fei Miao

Abstract: Electric vehicles (EVs) are being rapidly adopted due to their economic and societal benefits. Autonomous mobility-on-demand (AMoD) systems also embrace this trend. However, the long charging time and high recharging frequency of EVs pose challenges to efficiently managing EV AMoD systems. The complicated dynamic charging and mobility process of EV AMoD systems makes the demand and supply uncertai… ▽ More Electric vehicles (EVs) are being rapidly adopted due to their economic and societal benefits. Autonomous mobility-on-demand (AMoD) systems also embrace this trend. However, the long charging time and high recharging frequency of EVs pose challenges to efficiently managing EV AMoD systems. The complicated dynamic charging and mobility process of EV AMoD systems makes the demand and supply uncertainties significant when designing vehicle balancing algorithms. In this work, we design a data-driven distributionally robust optimization (DRO) approach to balance EVs for both the mobility service and the charging process. The optimization goal is to minimize the worst-case expected cost under both passenger mobility demand uncertainties and EV supply uncertainties. We then propose a novel distributional uncertainty sets construction algorithm that guarantees the produced parameters are contained in desired confidence regions with a given probability. To solve the proposed DRO AMoD EV balancing problem, we derive an equivalent computationally tractable convex optimization problem. Based on real-world EV data of a taxi system, we show that with our solution the average total balancing cost is reduced by 14.49%, and the average mobility fairness and charging fairness are improved by 15.78% and 34.51%, respectively, compared to solutions that do not consider uncertainties. △ Less

Submitted 24 November, 2022; originally announced November 2022.

Comments: 16 pages

A Unified Analysis of Multi-task Functional Linear Regression Models with Manifold Constraint and Composite Quadratic Penalty

Authors: Shiyuan He, Hanxuan Ye, Kejun He

Abstract: This work studies the multi-task functional linear regression models where both the covariates and the unknown regression coefficients (called slope functions) are curves. For slope function estimation, we employ penalized splines to balance bias, variance, and computational complexity. The power of multi-task learning is brought in by imposing additional structures over the slope functions. We pr… ▽ More This work studies the multi-task functional linear regression models where both the covariates and the unknown regression coefficients (called slope functions) are curves. For slope function estimation, we employ penalized splines to balance bias, variance, and computational complexity. The power of multi-task learning is brought in by imposing additional structures over the slope functions. We propose a general model with double regularization over the spline coefficient matrix: i) a matrix manifold constraint, and ii) a composite penalty as a summation of quadratic terms. Many multi-task learning approaches can be treated as special cases of this proposed model, such as a reduced-rank model and a graph Laplacian regularized model. We show the composite penalty induces a specific norm, which helps to quantify the manifold curvature and determine the corresponding proper subset in the manifold tangent space. The complexity of tangent space subset is then bridged to the complexity of geodesic neighbor via generic chaining. A unified convergence upper bound is obtained and specifically applied to the reduced-rank model and the graph Laplacian regularized model. The phase transition behaviors for the estimators are examined as we vary the configurations of model parameters. △ Less

Submitted 31 July, 2023; v1 submitted 9 November, 2022; originally announced November 2022.

Data-Driven Distributionally Robust Electric Vehicle Balancing for Mobility-on-Demand Systems under Demand and Supply Uncertainties

Authors: Sihong He, Lynn Pepin, Guang Wang, Desheng Zhang, Fei Miao

Abstract: As electric vehicle (EV) technologies become mature, EV has been rapidly adopted in modern transportation systems, and is expected to provide future autonomous mobility-on-demand (AMoD) service with economic and societal benefits. However, EVs require frequent recharges due to their limited and unpredictable cruising ranges, and they have to be managed efficiently given the dynamic charging proces… ▽ More As electric vehicle (EV) technologies become mature, EV has been rapidly adopted in modern transportation systems, and is expected to provide future autonomous mobility-on-demand (AMoD) service with economic and societal benefits. However, EVs require frequent recharges due to their limited and unpredictable cruising ranges, and they have to be managed efficiently given the dynamic charging process. It is urgent and challenging to investigate a computationally efficient algorithm that provide EV AMoD system performance guarantees under model uncertainties, instead of using heuristic demand or charging models. To accomplish this goal, this work designs a data-driven distributionally robust optimization approach for vehicle supply-demand ratio and charging station utilization balancing, while minimizing the worst-case expected cost considering both passenger mobility demand uncertainties and EV supply uncertainties. We then derive an equivalent computationally tractable form for solving the distributionally robust problem in a computationally efficient way under ellipsoid uncertainty sets constructed from data. Based on E-taxi system data of Shenzhen city, we show that the average total balancing cost is reduced by 14.49%, the average unfairness of supply-demand ratio and utilization is reduced by 15.78% and 34.51% respectively with the distributionally robust vehicle balancing method, compared with solutions which do not consider model uncertainties. △ Less

Submitted 19 October, 2022; originally announced October 2022.

Comments: This paper has been published in IROS2020

Boundedness of some operators on grand generalized weighted Morrey spaces on RD-spaces

Authors: Suixin He, Shuangping Tao

Abstract: The aim of this paper is to obtain the boundedness of some operator on grand generalized weighted Morrey spaces $\mathcal{L}^{p),φ}_{\varphi}(ω)$ over RD-spaces. Under assumption that functions $\varphi$ and $φ$ satisfy certain conditions, the authors prove that Hardy-Littlewood maximal operator and $θ$-type Calderón-Zygmund operator are bounded on grand generalized weighted Morrey spaces… ▽ More The aim of this paper is to obtain the boundedness of some operator on grand generalized weighted Morrey spaces $\mathcal{L}^{p),φ}_{\varphi}(ω)$ over RD-spaces. Under assumption that functions $\varphi$ and $φ$ satisfy certain conditions, the authors prove that Hardy-Littlewood maximal operator and $θ$-type Calderón-Zygmund operator are bounded on grand generalized weighted Morrey spaces $\mathcal{L}^{p),φ}_{\varphi}(ω)$. Moreover, the boundedness of commutator $[b,T_θ]$ which is generated by $θ$-type Calderón-Zygmund operator $T_θ$ and $b\in\mathrm{BMO}(μ)$ on spaces $\mathcal{L}^{p),φ}_{\varphi}(ω)$ is also established. The results regarding the grand generalized weighted Morrey spaces is new even for domains of Euclidean spaces. △ Less

Submitted 4 October, 2022; originally announced October 2022.

Comments: 15 pages

MSC Class: 42B20(Primary); 42B35(Secondary)