Showing 1–50 of 158 results for author: Dai, X

Density functions for the overdamped generalized Langevin equation and its Euler--Maruyama method: smoothness and convergence

Authors: Xinjie Dai, Diancong **

Abstract: This paper focuses on studying the convergence rate of the density function of the Euler--Maruyama (EM) method, when applied to the overdamped generalized Langevin equation with fractional noise which serves as an important model in many fields. Firstly, we give an improved upper bound estimate for the total variation distance between random variables by their Malliavin--Sobolev norms. Secondly, w… ▽ More This paper focuses on studying the convergence rate of the density function of the Euler--Maruyama (EM) method, when applied to the overdamped generalized Langevin equation with fractional noise which serves as an important model in many fields. Firstly, we give an improved upper bound estimate for the total variation distance between random variables by their Malliavin--Sobolev norms. Secondly, we establish the existence and smoothness of the density function for both the exact solution and the numerical one. Based on the above results, the convergence rate of the density function of the numerical solution is obtained, which relies on the regularity of the noise and kernel. This convergence result provides a powerful support for numerically capturing the statistical information of the exact solution through the EM method. △ Less

Submitted 19 May, 2024; originally announced May 2024.

Characterizations of open and semi-open maps of compact Hausdorff spaces by induced maps

Authors: ** Dai, Yuxun Xie

Abstract: Let $f\colon X\rightarrow Y$ be a continuous surjection of compact Hausdorff spaces. By $$f_*\colon\mathfrak{M}(X)\rightarrow\mathfrak{M}(Y),\ μ\mapsto μ\circ f^{-1} \quad{\rm and}\quad 2^f\colon2^X\rightarrow2^Y,\ A\mapsto f[A]$$ we denote the induced continuous surjections on the probability measure spaces and hyperspaces, respectively. In this paper we mainly show the following facts: (1) If… ▽ More Let $f\colon X\rightarrow Y$ be a continuous surjection of compact Hausdorff spaces. By $$f_*\colon\mathfrak{M}(X)\rightarrow\mathfrak{M}(Y),\ μ\mapsto μ\circ f^{-1} \quad{\rm and}\quad 2^f\colon2^X\rightarrow2^Y,\ A\mapsto f[A]$$ we denote the induced continuous surjections on the probability measure spaces and hyperspaces, respectively. In this paper we mainly show the following facts: (1) If $f_*$ is semi-open, then $f$ is semi-open. (2) If $f$ is semi-open densely open, then $f_*$ is semi-open densely open. (3) $f$ is open iff $2^f$ is open. (4) $f$ is semi-open iff $2^f$ is semi-open. (5) $f$ is irreducible iff $2^f$ is irreducible. △ Less

Submitted 29 April, 2024; v1 submitted 19 April, 2024; originally announced April 2024.

Comments: 9 pages; Topology and its Applications (in press)

MSC Class: 37B05; 54B20

On sncc-inheritance of pointwise almost periodicity in flows

Authors: ** Dai

Abstract: Let $H$ be a subnormal co-compact closed subgroup of a Hausdorff topological group $T$ and $X$ a compact Hausdorff space. We prove the inheritance theorem: A point of $X$ is almost periodic (a.p.) for $T\curvearrowright X$ iff it is a.p. for $H\curvearrowright X$. Moreover, if $T\curvearrowright X$ is minimal with $H\lhd T$, then $\mathscr{O}_H\colon X\rightarrow2^X$, ${x\mapsto\overline{Hx}}$ is… ▽ More Let $H$ be a subnormal co-compact closed subgroup of a Hausdorff topological group $T$ and $X$ a compact Hausdorff space. We prove the inheritance theorem: A point of $X$ is almost periodic (a.p.) for $T\curvearrowright X$ iff it is a.p. for $H\curvearrowright X$. Moreover, if $T\curvearrowright X$ is minimal with $H\lhd T$, then $\mathscr{O}_H\colon X\rightarrow2^X$, ${x\mapsto\overline{Hx}}$ is a continuous map**, and, $T\curvearrowright X/H$ is an a.p. nontrivial factor of $T\curvearrowright X$ iff $T\curvearrowright X\times T/H$ is not minimal. △ Less

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

Comments: 17 pages, to appear in Topology Proceedings

MSC Class: 37B05; 54H15

Irreducible modules over N=2 superconformal algebras from algebraic D-modules

Authors: Haibo Chen, Xiansheng Dai, Dong Liu, Yufeng Pei

Abstract: In this paper, we introduce a family of functors denoted $\mathscr{F}_b$ that act on algebraic D-modules and generate modules over N=2 superconformal algebras. We prove these functors preserve irreducibility for all values of $b$, with a few clear exceptions described. We also establish necessary and sufficient conditions to determine when two such functors are naturally isomorphic. Applying… ▽ More In this paper, we introduce a family of functors denoted $\mathscr{F}_b$ that act on algebraic D-modules and generate modules over N=2 superconformal algebras. We prove these functors preserve irreducibility for all values of $b$, with a few clear exceptions described. We also establish necessary and sufficient conditions to determine when two such functors are naturally isomorphic. Applying $\mathscr{F}_b$ to N=1 super-Virasoro algebras recovers the functors previously introduced in \cite{CDLP}. Our new functors also facilitate the recovery of specific irreducible modules over N=2 superconformal algebras, including intermediate series and $U(\mathfrak{h})$-free modules. Additionally, our constructed functors produce several new irreducible modules for N=2 superconformal algebras. △ Less

Submitted 19 March, 2024; originally announced March 2024.

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

On a series of simple affine VOAs at non-admissible level arising from rank One 4D SCFTs

Authors: Tomoyuki Arakawa, Xuanzhong Dai, Justine Fasquel, Bohan Li, Anne Moreau

Abstract: We study the representations of the simple affine vertex algebras at non-admissible level arising from rank one 4D SCFTs. In particular, we classify the irreducible highest weight modules of $L_{-2}(G_2)$ and $L_{-2}(B_3)$. It is known by the works of Adamović and Perše that these vertex algebras can be conformally embedded into $L_{-2}(D_4)$. We also compute the associated variety of… ▽ More We study the representations of the simple affine vertex algebras at non-admissible level arising from rank one 4D SCFTs. In particular, we classify the irreducible highest weight modules of $L_{-2}(G_2)$ and $L_{-2}(B_3)$. It is known by the works of Adamović and Perše that these vertex algebras can be conformally embedded into $L_{-2}(D_4)$. We also compute the associated variety of $L_{-2}(G_2)$, and show that it is the orbifold of the associated variety of $L_{-2}(D_4)$ by the symmetric group of degree 3 which is the Dynkin diagram automorphism group of $D_4$. This provides a new interesting example of associated variety satisfying a number of conjectures in the context of orbifold vertex algebras. △ Less

Submitted 7 March, 2024; originally announced March 2024.

Comments: 29 pages

Some results on a conjecture of de Polignac about numbers of the form $p + 2^k$

Authors: Yuda Chen, Xiangjun Dai, Huixi Li

Abstract: We have primarily obtained three results on numbers of the form $p + 2^k$. Firstly, we have constructed many arithmetic progressions, each of which does not contain numbers of the form $p + 2^k$, disproving a conjecture by Erdős as Chen did recently. Secondly, we have verified a conjecture by Chen that any arithmetic progression that do not contain numbers of the from $p + 2^k$ must have a common… ▽ More We have primarily obtained three results on numbers of the form $p + 2^k$. Firstly, we have constructed many arithmetic progressions, each of which does not contain numbers of the form $p + 2^k$, disproving a conjecture by Erdős as Chen did recently. Secondly, we have verified a conjecture by Chen that any arithmetic progression that do not contain numbers of the from $p + 2^k$ must have a common difference which is at least 11184810. Thirdly, we have improved the existing upper bound estimate for the density of numbers that can be expressed in the form $p + 2^k$ to $0.490341088858244$. △ Less

Submitted 1 February, 2024; originally announced February 2024.

MSC Class: Primary 11P32; Secondary 11B13; 11B25; 11Y16; 11Y55; 11Y60

Real-Time Coordination of Integrated Transmission and Distribution Systems: Flexibility Modeling and Distributed NMPC Scheduling

Authors: Xinliang Dai, Yi Guo, Yuning Jiang, Colin N. Jones, Gabriela Hug, Veit Hagenmeyer

Abstract: This paper proposes a real-time distributed operational architecture to efficiently coordinate intergrated transmission and distribution systems (ITD). At the distribution system level, the distribution system operator (DSO) computes the aggregated flexibility of all controllable devices by power-energy envelopes and provides them to the transmission system operators. At the transmission system le… ▽ More This paper proposes a real-time distributed operational architecture to efficiently coordinate intergrated transmission and distribution systems (ITD). At the distribution system level, the distribution system operator (DSO) computes the aggregated flexibility of all controllable devices by power-energy envelopes and provides them to the transmission system operators. At the transmission system level, a distributed nonlinear MPC approach is proposed to coordinate the economic dispatch of multiple TSOs, considering the aggregated flexibility of all distribution systems. The subproblems of the proposed approach are associated with different TSOs and individual time periods. In addition, the aggregated flexibility of controllable devices in distribution networks is encapsulated, re-calculated, and communicated through the power-energy envelopes, facilitating a reduction in computational complexity and eliminating redundant information exchanges between TSOs and DSOs, thereby enhancing privacy and security. The framework's effectiveness and applicability in real-world scenarios are validated through simulated operational scenarios on a summer day in Germany, highlighting its robustness in the face of significant prediction mismatches due to severe weather conditions. △ Less

Submitted 20 February, 2024; v1 submitted 1 February, 2024; originally announced February 2024.

Positive mass theorem for asymptotically flat manifolds with isolated conical singularities

Authors: Xianzhe Dai, Yukai Sun, Changliang Wang

Abstract: We prove the positive mass theorem for asymptotical flat (AF for short) manifolds with finitely many isolated conical singularities. We do not impose the spin condition. Instead we use the conformal blow up technique which dates back to Schoen's final resolution of the Yamabe conjecture. We prove the positive mass theorem for asymptotical flat (AF for short) manifolds with finitely many isolated conical singularities. We do not impose the spin condition. Instead we use the conformal blow up technique which dates back to Schoen's final resolution of the Yamabe conjecture. △ Less

Submitted 13 January, 2024; originally announced January 2024.

Comments: 23 pages. arXiv admin note: text overlap with arXiv:2310.13285

Regularized Halfspace Depth for Functional Data

Authors: Hyemin Yeon, Xiongtao Dai, Sara Lopez-Pintado

Abstract: Data depth is a powerful nonparametric tool originally proposed to rank multivariate data from center outward. In this context, one of the most archetypical depth notions is Tukey's halfspace depth. In the last few decades notions of depth have also been proposed for functional data. However, Tukey's depth cannot be extended to handle functional data because of its degeneracy. Here, we propose a n… ▽ More Data depth is a powerful nonparametric tool originally proposed to rank multivariate data from center outward. In this context, one of the most archetypical depth notions is Tukey's halfspace depth. In the last few decades notions of depth have also been proposed for functional data. However, Tukey's depth cannot be extended to handle functional data because of its degeneracy. Here, we propose a new halfspace depth for functional data which avoids degeneracy by regularization. The halfspace projection directions are constrained to have a small reproducing kernel Hilbert space norm. Desirable theoretical properties of the proposed depth, such as isometry invariance, maximality at center, monotonicity relative to a deepest point, upper semi-continuity, and consistency are established. Moreover, the regularized halfspace depth can rank functional data with varying emphasis in shape or magnitude, depending on the regularization. A new outlier detection approach is also proposed, which is capable of detecting both shape and magnitude outliers. It is applicable to trajectories in $L^2$, a very general space of functions that include non-smooth trajectories. Based on extensive numerical studies, our methods are shown to perform well in terms of detecting outliers of different types. Three real data examples showcase the proposed depth notion. △ Less

Submitted 23 May, 2024; v1 submitted 12 November, 2023; originally announced November 2023.

Bootstrap inference in functional linear regression models with scalar response under heteroscedasticity

Authors: Hyemin Yeon, Xiongtao Dai, Daniel John Nordman

Abstract: Inference for functional linear models in the presence of heteroscedastic errors has received insufficient attention given its practical importance; in fact, even a central limit theorem has not been studied in this case. At issue, conditional mean estimates have complicated sampling distributions due to the infinite dimensional regressors, where truncation bias and scaling issues are compounded b… ▽ More Inference for functional linear models in the presence of heteroscedastic errors has received insufficient attention given its practical importance; in fact, even a central limit theorem has not been studied in this case. At issue, conditional mean estimates have complicated sampling distributions due to the infinite dimensional regressors, where truncation bias and scaling issues are compounded by non-constant variance under heteroscedasticity. As a foundation for distributional inference, we establish a central limit theorem for the estimated conditional mean under general dependent errors, and subsequently we develop a paired bootstrap method to provide better approximations of sampling distributions. The proposed paired bootstrap does not follow the standard bootstrap algorithm for finite dimensional regressors, as this version fails outside of a narrow window for implementation with functional regressors. The reason owes to a bias with functional regressors in a naive bootstrap construction. Our bootstrap proposal incorporates debiasing and thereby attains much broader validity and flexibility with truncation parameters for inference under heteroscedasticity; even when the naive approach may be valid, the proposed bootstrap method performs better numerically. The bootstrap is applied to construct confidence intervals for centered projections and for conducting hypothesis tests for the multiple conditional means. Our theoretical results on bootstrap consistency are demonstrated through simulation studies and also illustrated with a real data example. △ Less

Submitted 23 May, 2024; v1 submitted 12 November, 2023; originally announced November 2023.

Positive mass theorem for asymptotically flat spin manifolds with isolated conical singularities

Authors: Xianzhe Dai, Yukai Sun, Changliang Wang

Abstract: There has been a lot of interests in Positive Mass Theorems for singular metrics on smooth manifolds. We prove a positive mass theorem for asymptotically flat (AF) spin manifolds with isolated conical singularities or more generally horn singularities. In particular, we allow topological singularities in the space as we do not require the cross sections of the conical singularity to be spherical.… ▽ More There has been a lot of interests in Positive Mass Theorems for singular metrics on smooth manifolds. We prove a positive mass theorem for asymptotically flat (AF) spin manifolds with isolated conical singularities or more generally horn singularities. In particular, we allow topological singularities in the space as we do not require the cross sections of the conical singularity to be spherical. Note that the negative mass Schwarzschild metric is AF with a horn singularity. △ Less

Submitted 30 October, 2023; v1 submitted 20 October, 2023; originally announced October 2023.

Comments: References added.28 pages

Local Lipschitz Constant Computation of ReLU-FNNs: Upper Bound Computation with Exactness Verification

Authors: Yoshio Ebihara, Xin Dai, Victor Magron, Dimitri Peaucelle, Sophie Tarbouriech

Abstract: This paper is concerned with the computation of the local Lipschitz constant of feedforward neural networks (FNNs) with activation functions being rectified linear units (ReLUs). The local Lipschitz constant of an FNN for a target input is a reasonable measure for its quantitative evaluation of the reliability. By following a standard procedure using multipliers that capture the behavior of ReLUs,… ▽ More This paper is concerned with the computation of the local Lipschitz constant of feedforward neural networks (FNNs) with activation functions being rectified linear units (ReLUs). The local Lipschitz constant of an FNN for a target input is a reasonable measure for its quantitative evaluation of the reliability. By following a standard procedure using multipliers that capture the behavior of ReLUs,we first reduce the upper bound computation problem of the local Lipschitz constant into a semidefinite programming problem (SDP). Here we newly introduce copositive multipliers to capture the ReLU behavior accurately. Then, by considering the dual of the SDP for the upper bound computation, we second derive a viable test to conclude the exactness of the computed upper bound. However, these SDPs are intractable for practical FNNs with hundreds of ReLUs. To address this issue, we further propose a method to construct a reduced order model whose input-output property is identical to the original FNN over a neighborhood of the target input. We finally illustrate the effectiveness of the model reduction and exactness verification methods with numerical examples of practical FNNs. △ Less

Submitted 7 April, 2024; v1 submitted 17 October, 2023; originally announced October 2023.

Comments: 8 pages, 3 figures, Fixed authors' display in the bibliography

Nonabelian embedding tensors on 3-Lie algebras and 3-Leibniz-Lie algebras

Authors: Wen Teng, Xiansheng Dai

Abstract: In this paper, first we introduce the notion of a nonabelian embedding tensor on the 3-Lie algebra. Then, we introduce the notion of a 3-Leibniz-Lie algebra, which is the underlying algebraic structure of a nonabelian embedding tensor on the 3-Lie algebra, and can also be viewed as a nonabelian generalization of a 3-Leibniz algebra. Next we develop the cohomology of nonabelian embedding tensors on… ▽ More In this paper, first we introduce the notion of a nonabelian embedding tensor on the 3-Lie algebra. Then, we introduce the notion of a 3-Leibniz-Lie algebra, which is the underlying algebraic structure of a nonabelian embedding tensor on the 3-Lie algebra, and can also be viewed as a nonabelian generalization of a 3-Leibniz algebra. Next we develop the cohomology of nonabelian embedding tensors on 3-Lie algebras with coefficients in a suitable representation and use the first cohomology group to characterize infinitesimal deformations. Finally, we investigate nonabelian embedding tensors on 3-Lie algebras induced by Lie algebras. △ Less

Submitted 15 August, 2023; originally announced October 2023.

MSC Class: 17A42; 17B56; 17B38; 17B40

Operator-free Equilibrium on the Sphere

Authors: Xiongming Dai, Gerald Baumgartner

Abstract: We propose a generalized minimum discrepancy, which derives from Legendre's ODE and spherical harmonic theoretics to provide a new criterion of equidistributed pointsets on the sphere. A continuous and derivative kernel in terms of elementary functions is established to simplify the computation of the generalized minimum discrepancy. We consider the deterministic point generated from Pycke's stati… ▽ More We propose a generalized minimum discrepancy, which derives from Legendre's ODE and spherical harmonic theoretics to provide a new criterion of equidistributed pointsets on the sphere. A continuous and derivative kernel in terms of elementary functions is established to simplify the computation of the generalized minimum discrepancy. We consider the deterministic point generated from Pycke's statistics to integrate a Franke function for the sphere and investigate the discrepancies of points systems embedding with different kernels. Quantitive experiments are conducted and the results are analyzed. Our deduced model can explore latent point systems, that have the minimum discrepancy without the involvement of pseudodifferential operators and Beltrami operators, by the use of derivatives. Compared to the random point generated from the Monte Carlo method, only a few points generated by our method are required to approximate the target in arbitrary dimensions. △ Less

Submitted 10 September, 2023; originally announced October 2023.

Comments: 15 pages,3 figures

ACM Class: F.1

Data-driven control of nonlinear systems from input-output data

Authors: Xiaoyan Dai, Claudio De Persis, Nima Monshizadeh, Pietro Tesi

Abstract: The design of controllers from data for nonlinear systems is a challenging problem. In a recent paper, De Persis, Rotulo and Tesi, "Learning controllers from data via approximate nonlinearity cancellation," IEEE Transactions on Automatic Control, 2023, a method to learn controllers that make the closed-loop system stable and dominantly linear was proposed. The approach leads to a simple solution b… ▽ More The design of controllers from data for nonlinear systems is a challenging problem. In a recent paper, De Persis, Rotulo and Tesi, "Learning controllers from data via approximate nonlinearity cancellation," IEEE Transactions on Automatic Control, 2023, a method to learn controllers that make the closed-loop system stable and dominantly linear was proposed. The approach leads to a simple solution based on data-dependent semidefinite programs. The method uses input-state measurements as data, while in a realistic setup it is more likely that only input-output measurements are available. In this note we report how the design principle of the above mentioned paper can be adjusted to deal with input-output data and obtain dynamic output feedback controllers in a favourable setting. △ Less

Submitted 17 September, 2023; originally announced September 2023.

Comments: Submitted for peer review on 31 March 2023. To appear in the Proceedings of the 62nd IEEE Conference on Decision and Control, 13-15 December 2023, Singapore

Error analysis of numerical methods on graded meshes for stochastic Volterra equations

Authors: Xinjie Dai, Jialin Hong, Derui Sheng

Abstract: This paper presents the error analysis of numerical methods on graded meshes for stochastic Volterra equations with weakly singular kernels. We first prove a novel regularity estimate for the exact solution via analyzing the associated convolution structure. This reveals that the exact solution exhibits an initial singularity in the sense that its Hölder continuous exponent on any neighborhood of… ▽ More This paper presents the error analysis of numerical methods on graded meshes for stochastic Volterra equations with weakly singular kernels. We first prove a novel regularity estimate for the exact solution via analyzing the associated convolution structure. This reveals that the exact solution exhibits an initial singularity in the sense that its Hölder continuous exponent on any neighborhood of $t=0$ is lower than that on every compact subset of $(0,T]$. Motivated by the initial singularity, we then construct the Euler--Maruyama method, fast Euler--Maruyama method, and Milstein method based on graded meshes. By establishing their pointwise-in-time error estimates, we give the grading exponents of meshes to attain the optimal uniform-in-time convergence orders, where the convergence orders improve those of the uniform mesh case. Numerical experiments are finally reported to confirm the sharpness of theoretical findings. △ Less

Submitted 31 August, 2023; originally announced August 2023.

MSC Class: 60H20; 45G05; 60H35

Li, Li, and Dai's Contribution to the Discussion of "Estimating Means of Bounded Random Variables by Betting" by Waudby-Smith and Aaditya Ramdas

Authors: Yijia Li, Yuantong Li, Xiaowu Dai

Abstract: We congratulate Waudby-Smith and Ramdas for their interesting paper \cite{waudbysmith2022estimating} in generating confidence intervals and time-uniform confidence sequences for mean estimation with bounded observations. Their methodology utilizes composite nonnegative martingales and establishes a connection to game-theoretic probability. Our comments will focus on numerical comparisons with alte… ▽ More We congratulate Waudby-Smith and Ramdas for their interesting paper \cite{waudbysmith2022estimating} in generating confidence intervals and time-uniform confidence sequences for mean estimation with bounded observations. Their methodology utilizes composite nonnegative martingales and establishes a connection to game-theoretic probability. Our comments will focus on numerical comparisons with alternative methods. △ Less

Submitted 6 June, 2023; originally announced August 2023.

Comments: 3 pages; 2 figures

Towards Integrated Traffic Control with Operating Decentralized Autonomous Organization

Authors: Shengyue Yao, **gru Yu, Yi Yu, Jia Xu, Xingyuan Dai, Honghai Li, Fei-Yue Wang, Yilun Lin

Abstract: With a growing complexity of the intelligent traffic system (ITS), an integrated control of ITS that is capable of considering plentiful heterogeneous intelligent agents is desired. However, existing control methods based on the centralized or the decentralized scheme have not presented their competencies in considering the optimality and the scalability simultaneously. To address this issue, we p… ▽ More With a growing complexity of the intelligent traffic system (ITS), an integrated control of ITS that is capable of considering plentiful heterogeneous intelligent agents is desired. However, existing control methods based on the centralized or the decentralized scheme have not presented their competencies in considering the optimality and the scalability simultaneously. To address this issue, we propose an integrated control method based on the framework of Decentralized Autonomous Organization (DAO). The proposed method achieves a global consensus on energy consumption efficiency (ECE), meanwhile to optimize the local objectives of all involved intelligent agents, through a consensus and incentive mechanism. Furthermore, an operation algorithm is proposed regarding the issue of structural rigidity in DAO. Specifically, the proposed operation approach identifies critical agents to execute the smart contract in DAO, which ultimately extends the capability of DAO-based control. In addition, a numerical experiment is designed to examine the performance of the proposed method. The experiment results indicate that the controlled agents can achieve a consensus faster on the global objective with improved local objectives by the proposed method, compare to existing decentralized control methods. In general, the proposed method shows a great potential in develo** an integrated control system in the ITS △ Less

Submitted 25 July, 2023; originally announced August 2023.

Comments: 6 pages, 6 figures. To be published in 2023 IEEE 26th International Conference on Intelligent Transportation Systems (ITSC)

Hypergraph-Based Fast Distributed AC Power Flow Optimization

Authors: Xinliang Dai, Yingzhao Lian, Yuning Jiang, Colin N. Jones, Veit Hagenmeyer

Abstract: This paper presents a novel distributed approach for solving AC power flow (PF) problems. The optimization problem is reformulated into a distributed form using a communication structure corresponding to a hypergraph, by which complex relationships between subgrids can be expressed as hyperedges. Then, a hypergraph-based distributed sequential quadratic programming (HDQ) approach is proposed to ha… ▽ More This paper presents a novel distributed approach for solving AC power flow (PF) problems. The optimization problem is reformulated into a distributed form using a communication structure corresponding to a hypergraph, by which complex relationships between subgrids can be expressed as hyperedges. Then, a hypergraph-based distributed sequential quadratic programming (HDQ) approach is proposed to handle the reformulated problems, and the hypergraph-based distributed sequential quadratic programming (HDSQP) is used as the inner algorithm to solve the corresponding QP subproblems, which are respectively condensed using Schur complements with respect to coupling variables defined by hyperedges. Furthermore, we rigorously establish the convergence guarantee of the proposed algorithm with a locally quadratic rate and the one-step convergence of the inner algorithm when using the Levenberg-Marquardt regularization. Our analysis also demonstrates that the computational complexity of the proposed algorithm is much lower than the state-of-art distributed algorithm. We implement the proposed algorithm in an open-source toolbox, i.e., rapidPF, and conduct numerical tests that validate the proof and demonstrate the great potential of the proposed distributed algorithm in terms of communication effort and computational speed. △ Less

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

Veech's Theorem of $G$ acting freely on $G^{\textrm{LUC}}$ and Structure Theorem of a.a. flows

Authors: ** Dai, Hailan Liang, Zhengyu Yin

Abstract: Veech's Theorem claims that if $G$ is a locally compact\,(LC) Hausdorff topological group, then it may act freely on $G^{\textrm{LUC}}$. We prove Veech's Theorem for $G$ being only locally quasi-totally bounded, not necessarily LC. And we show that the universal a.a. flow is the maximal almost 1-1 extension of the universal minimal a.p. flow and is unique up to almost 1-1 extensions. In particular… ▽ More Veech's Theorem claims that if $G$ is a locally compact\,(LC) Hausdorff topological group, then it may act freely on $G^{\textrm{LUC}}$. We prove Veech's Theorem for $G$ being only locally quasi-totally bounded, not necessarily LC. And we show that the universal a.a. flow is the maximal almost 1-1 extension of the universal minimal a.p. flow and is unique up to almost 1-1 extensions. In particular, every endomorphism of Veech's hull flow induced by an a.a. function is almost 1-1; for $G=\mathbb{Z}$ or $\mathbb{R}$, $G$ acts freely on its canonical universal a.a. space. Finally, we characterize Bochner a.a. functions on a LC group $G$ in terms of Bohr a.a. function on $G$ (due to Veech 1965 for the special case that $G$ is abelian, LC, $σ$-compact, and first countable). △ Less

Submitted 13 July, 2023; originally announced July 2023.

Comments: 54 pages

MSC Class: 37B05

An Augmented Subspace Based Adaptive Proper Orthogonal Decomposition Method for Time Dependent Partial Differential Equations

Authors: Xiaoying Dai, Miao Hu, Jack Xin, Aihui Zhou

Abstract: In this paper, we propose an augmented subspace based adaptive proper orthogonal decomposition (POD) method for solving the time dependent partial differential equations. By augmenting the POD subspace with some auxiliary modes, we obtain an augmented subspace. We use the difference between the approximation obtained in this augmented subspace and that obtained in the original POD subspace to cons… ▽ More In this paper, we propose an augmented subspace based adaptive proper orthogonal decomposition (POD) method for solving the time dependent partial differential equations. By augmenting the POD subspace with some auxiliary modes, we obtain an augmented subspace. We use the difference between the approximation obtained in this augmented subspace and that obtained in the original POD subspace to construct an error indicator, by which we obtain a general framework for augmented subspace based adaptive POD method. We then provide two strategies to obtain some specific augmented subspaces, the random vector based augmented subspace and the coarse-grid approximations based augmented subspace. We apply our new method to two typical 3D advection-diffusion equations with the advection being the Kolmogorov flow and the ABC flow. Numerical results show that our method is more efficient than the existing adaptive POD methods, especially for the advection dominated models. △ Less

Submitted 18 April, 2023; originally announced April 2023.

Comments: 28 pages, 4 figures, 7 tables

On M-dynamics and Li-Yorke chaos of extensions of minimal dynamics

Authors: ** Dai

Abstract: Let $π\colon\mathscr{X}\rightarrow\mathscr{Y}$ be an extension of minimal compact metric flows such that $\texttt{R}_π\not=Δ_X$. A subflow of $\texttt{R}_π$ is called an M-flow if it is T.T. and contains a dense set of a.p. points. In this paper we mainly prove the following: (1) $π$ is PI iff $Δ_X$ is the unique M-flow containing $Δ_X$ in $\texttt{R}_π$. (2) If $π$ is not PI, then there exis… ▽ More Let $π\colon\mathscr{X}\rightarrow\mathscr{Y}$ be an extension of minimal compact metric flows such that $\texttt{R}_π\not=Δ_X$. A subflow of $\texttt{R}_π$ is called an M-flow if it is T.T. and contains a dense set of a.p. points. In this paper we mainly prove the following: (1) $π$ is PI iff $Δ_X$ is the unique M-flow containing $Δ_X$ in $\texttt{R}_π$. (2) If $π$ is not PI, then there exists a canonical Li-Yorke chaotic M-flow in $\texttt{R}_π$. In particular, an Ellis weak-mixing non-proximal extension is non-PI and so Li-Yorke chaotic. (3) A unbounded or non-minimal M-flow, not necessarily compact, is sensitive on initial conditions. (4) every syndetically distal flow is pointwise Bohr a.p. △ Less

Submitted 6 February, 2023; v1 submitted 13 January, 2023; originally announced January 2023.

Comments: 28 pages and to appear in JDE

MSC Class: 37B05

The covariance metric in the Blaschke locus

Authors: Xian Dai, Nikolas Eptaminitakis

Abstract: We prove that the Blaschke locus has the structure of a finite dimensional smooth manifold away from the Teichm{ü}ller space and study its Riemannian manifold structure with respect to the covariance metric introduced by Guillarmou, Knieper and Lefeuvre in \cite{GeodesicStretch}. We also identify some families of geodesics in the Blaschke locus arising from Hitchin representations for orbifolds an… ▽ More We prove that the Blaschke locus has the structure of a finite dimensional smooth manifold away from the Teichm{ü}ller space and study its Riemannian manifold structure with respect to the covariance metric introduced by Guillarmou, Knieper and Lefeuvre in \cite{GeodesicStretch}. We also identify some families of geodesics in the Blaschke locus arising from Hitchin representations for orbifolds and show that they have infinite length with respect to the covariance metric. △ Less

Submitted 8 May, 2024; v1 submitted 12 January, 2023; originally announced January 2023.

Comments: Final version. Accepted by the Journal of Geometric Analysis

Compacitification and positive mass theorem for fibered Euclidean end

Authors: Xianzhe Dai, Yukai Sun

Abstract: In this note, we consider the positive mass theorem for Riemannian manifolds $(M^{n},g)$ asymptotic to $(\mathbb{R}^{k}\times X^{n-k}, g_{\mathbb{R}^{k}}+g_{X})$ for $k\geq 3$ by studying the corresponding compactification problem. In this note, we consider the positive mass theorem for Riemannian manifolds $(M^{n},g)$ asymptotic to $(\mathbb{R}^{k}\times X^{n-k}, g_{\mathbb{R}^{k}}+g_{X})$ for $k\geq 3$ by studying the corresponding compactification problem. △ Less

Submitted 26 November, 2022; originally announced November 2022.

Comments: 23 pages

Simple Vertex Algebras Arising From Congruence Subgroups

Authors: Xuanzhong Dai, Bailin Song

Abstract: Chiral de Rham complex introduced by Malikov et al. in 1998, is a sheaf of vertex algebras on any complex analytic manifold or non-singular algebraic variety. Starting from the vertex algebra of global sections of chiral de Rham complex on the upper half plane, we consider the subspace of $Γ$-invariant sections that are meromorphic at the cusps. The space is again a vertex operator algebra, with a… ▽ More Chiral de Rham complex introduced by Malikov et al. in 1998, is a sheaf of vertex algebras on any complex analytic manifold or non-singular algebraic variety. Starting from the vertex algebra of global sections of chiral de Rham complex on the upper half plane, we consider the subspace of $Γ$-invariant sections that are meromorphic at the cusps. The space is again a vertex operator algebra, with a linear basis consisting of lifting formulas of meromorphic modular forms. We will describe two types of lifting formulas, and generalize the Rankin-Cohen bracket to the meromorphic modular forms. As an application, we will show that the vertex algebras constructed by congruence subgroups are simple. △ Less

Submitted 18 November, 2022; originally announced November 2022.

Thurston's asymmetric metrics for Anosov representations

Authors: León Carvajales, Xian Dai, Beatrice Pozzetti, Anna Wienhard

Abstract: We provide a good dynamical framework allowing to generalize Thurston's asymmetric metric and the associated Finsler norm from Teichmüller space to large classes of Anosov representations. In many cases, including the space of Hitchin representations, this gives a (possibly asymmetric) Finsler distance. In some cases we explicitly compute the associated Finsler norm. We provide a good dynamical framework allowing to generalize Thurston's asymmetric metric and the associated Finsler norm from Teichmüller space to large classes of Anosov representations. In many cases, including the space of Hitchin representations, this gives a (possibly asymmetric) Finsler distance. In some cases we explicitly compute the associated Finsler norm. △ Less

Submitted 7 May, 2024; v1 submitted 11 October, 2022; originally announced October 2022.

Comments: Final version. Accepted by Groups, Geometry, and Dynamics

The Answer to Baggett's Problem is Affirmative

Authors: Xingde Dai

Abstract: Let $ψ$ be a Parceval wavelet in $L^2 (\R)$ with the space of negative dilates $V(ψ)$. The intersection of the dilates $V(ψ)$ is the zero space. In other words, we have \begin{align*} \bigcap_{n\in\Z} D^n \overline{\textrm{span}}\{D^{\textrm{-}m} T^\ell ψ\mid m\geq 0, m,\ell\in\Z\}=\{0\}. \end{align*} Let $ψ$ be a Parceval wavelet in $L^2 (\R)$ with the space of negative dilates $V(ψ)$. The intersection of the dilates $V(ψ)$ is the zero space. In other words, we have \begin{align*} \bigcap_{n\in\Z} D^n \overline{\textrm{span}}\{D^{\textrm{-}m} T^\ell ψ\mid m\geq 0, m,\ell\in\Z\}=\{0\}. \end{align*} △ Less

Submitted 3 October, 2022; originally announced October 2022.

Nonparametric Estimation via Mixed Gradients

Authors: Xiaowu Dai

Abstract: Traditional nonparametric estimation methods often lead to a slow convergence rate in large dimensions and require unrealistically enormous sizes of datasets for reliable conclusions. We develop an approach based on mixed gradients, either observed or estimated, to effectively estimate the function at near-parametric convergence rates. The novel approach and computational algorithm could lead to m… ▽ More Traditional nonparametric estimation methods often lead to a slow convergence rate in large dimensions and require unrealistically enormous sizes of datasets for reliable conclusions. We develop an approach based on mixed gradients, either observed or estimated, to effectively estimate the function at near-parametric convergence rates. The novel approach and computational algorithm could lead to methods useful to practitioners in many areas of science and engineering. Our theoretical results reveal a behavior universal to this class of nonparametric estimation problems. We explore a general setting involving tensor product spaces and build upon the smoothing spline analysis of variance (SS-ANOVA) framework. For $d$-dimensional models under full interaction, the optimal rates with gradient information on $p$ covariates are identical to those for the $(d-p)$-interaction models without gradients and, therefore, the models are immune to the "curse of interaction". For additive models, the optimal rates using gradient information are root-$n$, thus achieving the "parametric rate". We demonstrate aspects of the theoretical results through synthetic and real data applications. △ Less

Submitted 15 September, 2022; originally announced September 2022.

Singular Weyl's law with Ricci curvature bounded below

Authors: Xianzhe Dai, Shouhei Honda, Jiayin Pan, Guofang Wei

Abstract: We establish two surprising types of Weyl's laws for some compact $\mathrm{RCD}(K, N)$/Ricci limit spaces. The first type could have power growth of any order (bigger than one). The other one has an order corrected by logarithm similar to some fractals even though the space is 2-dimensional. Moreover the limits in both types can be written in terms of the singular sets of null capacities, instead… ▽ More We establish two surprising types of Weyl's laws for some compact $\mathrm{RCD}(K, N)$/Ricci limit spaces. The first type could have power growth of any order (bigger than one). The other one has an order corrected by logarithm similar to some fractals even though the space is 2-dimensional. Moreover the limits in both types can be written in terms of the singular sets of null capacities, instead of the regular sets. These are the first examples with such features for $\mathrm{RCD}(K,N)$ spaces. Our results depends crucially on analyzing and develo** important properties of the examples constructed by the last two authors, showing them isometric to the $α$-Grushin halfplanes. Of independent interest, this also allows us to provide counterexamples to conjectures by Cheeger-Colding and by Kapovitch-Kell-Ketterer. △ Less

Submitted 6 May, 2023; v1 submitted 29 August, 2022; originally announced August 2022.

Comments: Final version. To appear in Trans. AMS Series B. 41 pages

Perelman's functionals on manifolds with non-isolated conical singularities

Authors: Xianzhe Dai, Changliang Wang

Abstract: In this article, we define Perelman's functionals on manifolds with non-isolated conical singularities by starting from a spectral point of view for the Perelman's $λ$-functional. (Our definition of non-isolated conical singularities includes isolated conical singularities.) We prove that the spectrum of Schrödinger operator $-4Δ+ R$ on manifolds with non-isolated conical singularities consists of… ▽ More In this article, we define Perelman's functionals on manifolds with non-isolated conical singularities by starting from a spectral point of view for the Perelman's $λ$-functional. (Our definition of non-isolated conical singularities includes isolated conical singularities.) We prove that the spectrum of Schrödinger operator $-4Δ+ R$ on manifolds with non-isolated conical singularities consists of discrete eigenvalues with finite multiplicities, provided that scalar curvatures of cross sections of cones have a certain lower bound. This enables us to define the $λ$-functional on these singular manifolds, and further, to prove that the infimum of $W$-functional is finite, with the help of some weighted Sobolev inequalities. Furthermore, we obtain some asymptotic behavior of eigenfunctions and the minimizer of the $W$-functional near the singularity, and a more refined optimal partial asymptotic expansion for eigenfunctions near isolated conical singularities. We also study the spectrum of $-4Δ+ R$ and Perelman's functionals on manifolds with more general singularities, i.e. the $r^α$-horn singularities which serve as prototypes of algebraic singularities. △ Less

Submitted 12 November, 2023; v1 submitted 18 August, 2022; originally announced August 2022.

Comments: Sections are re-ordered, some proofs are simplified, some typos and errors are corrected, revised version, 58 pages

On recurrence in zero-dimsnional locally compact flow with compactly generated phase group

Authors: ** Dai

Abstract: We define recurrence for a compactly generated para-topological group $G$ acting continuously on a locally compact Hausdorff space $X$ with $\dim X=0$, and then, show that if $\overline{Gx}$ is compact for all $x\in X$, the conditions (i) this dynamics is pointwise recurrent, (ii) $X$ is a union of $G$-minimal sets, (iii) the $G$-orbit closure relation is closed in $X\times X$, and (iv)… ▽ More We define recurrence for a compactly generated para-topological group $G$ acting continuously on a locally compact Hausdorff space $X$ with $\dim X=0$, and then, show that if $\overline{Gx}$ is compact for all $x\in X$, the conditions (i) this dynamics is pointwise recurrent, (ii) $X$ is a union of $G$-minimal sets, (iii) the $G$-orbit closure relation is closed in $X\times X$, and (iv) $X\ni x\mapsto \overline{Gx}\in 2^X$ is continuous, are pairwise equivalent. Consequently, if this dynamics is pointwise product recurrent, then it is pointwise regularly almost periodic and equicontinuous; moreover, a distal, compact, and non-connected $G$-flow has a non-trivial equicontinuous pointwise regularly almost periodic factor. △ Less

Submitted 24 July, 2022; originally announced July 2022.

Comments: 23 pages; an extension of 2203.08466; to appear in Illinois J. Math. arXiv admin note: text overlap with arXiv:2203.08466

Asymptotic Spectral Flow

Authors: Xianzhe Dai, Yihan Li

Abstract: In this paper we study the asymptotic behavior of the spectral flow of a one-parameter family $\{D_s\}$ of Dirac operators acting on the spinor bunldle $S$ twisted by a vector bundle $E$ of rank $k$, with the parameter $s\in [0,r]$ when $r$ gets sufficiently large. Our method uses the variation of eta invariant and local index theory technique. The key is a uniform estimate of the eta invariant… ▽ More In this paper we study the asymptotic behavior of the spectral flow of a one-parameter family $\{D_s\}$ of Dirac operators acting on the spinor bunldle $S$ twisted by a vector bundle $E$ of rank $k$, with the parameter $s\in [0,r]$ when $r$ gets sufficiently large. Our method uses the variation of eta invariant and local index theory technique. The key is a uniform estimate of the eta invariant $\barη(D_r)$ which is established via local index theory technique and heat kernel estimate. △ Less

Submitted 11 July, 2022; originally announced July 2022.

Discretization and Stabilization of Energy-Based Controller for Period Switching Control and Flexible Scheduling

Authors: Seyed Amir Tafrishi, Xiaotian Dai, Yasuhisa Hirata, Alan Burns

Abstract: Emerging advanced control applications, with increased complexity in software but limited computing resources, suggest that real-time controllers should have adaptable designs. These control strategies also should be designed with consideration of the run-time behavior of the system. One of such research attempts is to design the controller along with the task scheduler, known as control-schedulin… ▽ More Emerging advanced control applications, with increased complexity in software but limited computing resources, suggest that real-time controllers should have adaptable designs. These control strategies also should be designed with consideration of the run-time behavior of the system. One of such research attempts is to design the controller along with the task scheduler, known as control-scheduling co-design, for more predictable timing behavior as well as surviving system overloads. Unlike traditional controller designs, which have equal-distance sampling periods, the co-design approach increases the system flexibility and resilience by explicitly considering timing properties, for example using an event-based controller or with multiple sampling times (non-uniform sampling and control). Within this context, we introduce the first work on the discretization of an energy-based controller that can switch arbitrarily between multiple periods and adjust the control parameters accordingly without destabilizing the system. A digital controller design based on this paradigm for a DC motor with an elastic load as an example is introduced and the stability condition is given based on the proposed Lyapunov function. The method is evaluated with various computer-based simulations which demonstrate its effectiveness. △ Less

Submitted 13 June, 2022; originally announced June 2022.

Comments: Accepted to 2022 American Control Conference (ACC), 6 pages, 8 figures

Mittag--Leffler Euler integrator and large deviations for stochastic space-time fractional diffusion equations

Authors: Xinjie Dai, Jialin Hong, Derui Sheng

Abstract: Stochastic space-time fractional diffusion equations often appear in the modeling of the heat propagation in non-homogeneous medium. In this paper, we firstly investigate the Mittag--Leffler Euler integrator of a class of stochastic space-time fractional diffusion equations, whose super-convergence order is obtained by develo** a helpful decomposition way for the time-fractional integral. Here,… ▽ More Stochastic space-time fractional diffusion equations often appear in the modeling of the heat propagation in non-homogeneous medium. In this paper, we firstly investigate the Mittag--Leffler Euler integrator of a class of stochastic space-time fractional diffusion equations, whose super-convergence order is obtained by develo** a helpful decomposition way for the time-fractional integral. Here, the developed decomposition way is the key to dealing with the singularity of the solution operator. Moreover, we study the Freidlin--Wentzell type large deviation principles of the underlying equation and its Mittag--Leffler Euler integrator based on the weak convergence approach. In particular, we prove that the large deviation rate function of the Mittag--Leffler Euler integrator $Γ$-converges to that of the underlying equation. △ Less

Submitted 13 August, 2023; v1 submitted 1 June, 2022; originally announced June 2022.

MSC Class: 60H15; 60H35; 65M12

Frame set for Gabor systems with Haar window

Authors: Xin-Rong Dai, Meng Zhu

Abstract: We show the full structure of the frame set for the Gabor system $\mathcal{G}(g;α,β):=\{e^{-2πi mβ\cdot}g(\cdot-nα):m,n\in\Bbb Z\}$ with the window being the Haar function $g=-χ_{[-1/2,0)}+χ_{[0,1/2)}$. The strategy of this paper is to introduce the piecewise linear transformation $\mathcal{M}$ on the unit circle, and to provide a complete characterization of structures for its (symmetric) maximal… ▽ More We show the full structure of the frame set for the Gabor system $\mathcal{G}(g;α,β):=\{e^{-2πi mβ\cdot}g(\cdot-nα):m,n\in\Bbb Z\}$ with the window being the Haar function $g=-χ_{[-1/2,0)}+χ_{[0,1/2)}$. The strategy of this paper is to introduce the piecewise linear transformation $\mathcal{M}$ on the unit circle, and to provide a complete characterization of structures for its (symmetric) maximal invariant sets. This transformation is related to the famous three gap theorem of Steinhaus which may be of independent interest. Furthermore, a classical criterion on Gabor frames is improved, which allows us to establish {a} necessary and sufficient condition for the Gabor system $\mathcal{G}(g;α,β)$ to be a frame, i.e., the symmetric invariant set of the transformation $\mathcal{M}$ is empty. Compared with the previous studies, the present paper provides a self-contained environment to study Gabor frames by a new perspective, which includes that the techniques developed here are new and all the proofs could be understood thoroughly by the readers without reference to the known results in the previous literature. △ Less

Submitted 13 May, 2022; originally announced May 2022.

MSC Class: Primary 42C15; 42C40; Secondary 28D05; 37A05; 94A20

Rapid Scalable Distributed Power Flow with Open-Source Implementation

Authors: Xinliang Dai, Yichen Cai, Yuning Jiang, Veit Hagenmeyer

Abstract: This paper introduces a new method for solving the distributed AC power flow (PF) problem by further exploiting the problem formulation. We propose a new variant of the ALADIN algorithm devised specifically for this type of problem. This new variant is characterized by using a reduced modelling method of the distributed AC PF problem, which is reformulated as a zero-residual least-squares problem… ▽ More This paper introduces a new method for solving the distributed AC power flow (PF) problem by further exploiting the problem formulation. We propose a new variant of the ALADIN algorithm devised specifically for this type of problem. This new variant is characterized by using a reduced modelling method of the distributed AC PF problem, which is reformulated as a zero-residual least-squares problem with consensus constraints. This PF is then solved by a Gauss-Newton based inexact ALADIN algorithm presented in the paper. An open-source implementation of this algorithm, called rapidPF+, is provided. Simulation results, for which the power system's dimension varies from 53 to 10224 buses, show great potential of this combination in the aspects of both the computing. △ Less

Submitted 30 March, 2022; originally announced March 2022.

On recurrence in zero-dimensional locally compact flow with compactly generated phase group

Authors: ** Dai

Abstract: Let $X$ be a zero-dimensional locally compact Hausdorff space not necessarily metric and $G$ a compactly generated topological group not necessarily abelian or countable. We define recurrence at a point for any continuous action of $G$ on $X$, and then, show that if $\overline{Gx}$ is compact for all $x\in X$, the conditions (i) this dynamics is pointwise recurrent, (ii) $X$ is a union of $G$-mini… ▽ More Let $X$ be a zero-dimensional locally compact Hausdorff space not necessarily metric and $G$ a compactly generated topological group not necessarily abelian or countable. We define recurrence at a point for any continuous action of $G$ on $X$, and then, show that if $\overline{Gx}$ is compact for all $x\in X$, the conditions (i) this dynamics is pointwise recurrent, (ii) $X$ is a union of $G$-minimal sets, (iii) the $G$-orbit closure relation is closed in $X\times X$, and (iv) $X\ni x\mapsto \overline{Gx}\in 2^X$ is continuous, are pairwise equivalent. Consequently, if this dynamics is distal, then it is equicontinuous. △ Less

Submitted 16 March, 2022; originally announced March 2022.

Comments: 10 pages

MSC Class: 37B05; 54H15

Distributed Optimal Power Flow for VSC-MTDC Meshed AC/DC Grids Using ALADIN

Authors: Junyi Zhai, Xinliang Dai, Yuning Jiang, Ying Xue, Veit Hagenmeyer, Colin N. Jones, Xiao-** Zhang

Abstract: The increasing application of voltage source converter (VSC) high voltage direct current (VSC-HVDC) technology in power grids has raised the importance of incorporating DC grids and converters into the existing transmission network. This poses significant challenges in dealing with the resulting optimal power flow (OPF) problem. In this paper, a recently proposed nonconvex distributed optimization… ▽ More The increasing application of voltage source converter (VSC) high voltage direct current (VSC-HVDC) technology in power grids has raised the importance of incorporating DC grids and converters into the existing transmission network. This poses significant challenges in dealing with the resulting optimal power flow (OPF) problem. In this paper, a recently proposed nonconvex distributed optimization algorithm -- Augmented Lagrangian based Alternating Direction Inexact Newton method (ALADIN), is tailored to solve the nonconvex AC/DC OPF problem for emerging voltage source converter (VSC) based multiterminal high voltage direct current (VSC-MTDC) meshed AC/DC hybrid systems. The proposed scheme decomposes this AC/DC hybrid OPF problem and handles it in a fully distributed way. Compared to the existing state-of-art Alternating Direction Method of Multipliers(ADMM), which is in general, not applicable for nonconvex problems, ALADIN has a theoretical convergence guarantee. Applying these two approaches to (VSC-MTDC) coupled with an IEEE benchmark AC power system illustrates that the tailored ALADIN outperforms ADMM in convergence speed and numerical robustness. △ Less

Submitted 5 March, 2022; originally announced March 2022.

Strong error analysis of Euler methods for overdamped generalized Langevin equations with fractional noise: Nonlinear case

Authors: Xinjie Dai, Jialin Hong, Derui Sheng, Tau Zhou

Abstract: This paper considers the strong error analysis of the Euler and fast Euler methods for nonlinear overdamped generalized Langevin equations driven by the fractional noise. The main difficulty lies in handling the interaction between the fractional Brownian motion and the singular kernel, which is overcome by means of the Malliavin calculus and fine estimates of several multiple singular integrals.… ▽ More This paper considers the strong error analysis of the Euler and fast Euler methods for nonlinear overdamped generalized Langevin equations driven by the fractional noise. The main difficulty lies in handling the interaction between the fractional Brownian motion and the singular kernel, which is overcome by means of the Malliavin calculus and fine estimates of several multiple singular integrals. Consequently, these two methods are proved to be strongly convergent with order nearly $\min\{2(H+α-1), α\}$, where $H \in (1/2,1)$ and $α\in(1-H,1)$ respectively characterize the singularity levels of fractional noises and singular kernels in the underlying equation. This result improves the existing convergence order $H+α-1$ of Euler methods for the nonlinear case, and gives a positive answer to the open problem raised in [4]. As an application of the theoretical findings, we further investigate the complexity of the multilevel Monte Carlo simulation based on the fast Euler method, which turns out to behave better performance than the standard Monte Carlo simulation when computing the expectation of functionals of the considered equation. △ Less

Submitted 19 January, 2022; originally announced January 2022.

MSC Class: 65C20; 65C30; 65C05; 60H07

Mathematical Analysis and Numerical Approximations of Density Functional Theory Models for Metallic Systems

Authors: Xiaoying Dai, Stefano de Gironcoli, Bin Yang, Aihui Zhou

Abstract: In this paper, we investigate the energy minimization model of the ensemble Kohn-Sham density functional theory for metallic systems, in which a pseudo-eigenvalue matrix and a general smearing approach are involved. We study the invariance and the existence of the minimizer of the energy functional. We propose an adaptive double step size strategy and the corresponding preconditioned conjugate gra… ▽ More In this paper, we investigate the energy minimization model of the ensemble Kohn-Sham density functional theory for metallic systems, in which a pseudo-eigenvalue matrix and a general smearing approach are involved. We study the invariance and the existence of the minimizer of the energy functional. We propose an adaptive double step size strategy and the corresponding preconditioned conjugate gradient methods for solving the energy minimization model. Under some mild but reasonable assumptions, we prove the global convergence of our algorithms. Numerical experiments show that our algorithms are efficient, especially for large scale metallic systems. In particular, our algorithms produce convergent numerical approximations for some metallic systems, for which the traditional self-consistent field iterations fail to converge. △ Less

Submitted 18 January, 2022; originally announced January 2022.

Comments: 45 pages

On Large Batch Training and Sharp Minima: A Fokker-Planck Perspective

Authors: Xiaowu Dai, Yuhua Zhu

Abstract: We study the statistical properties of the dynamic trajectory of stochastic gradient descent (SGD). We approximate the mini-batch SGD and the momentum SGD as stochastic differential equations (SDEs). We exploit the continuous formulation of SDE and the theory of Fokker-Planck equations to develop new results on the esca** phenomenon and the relationship with large batch and sharp minima. In part… ▽ More We study the statistical properties of the dynamic trajectory of stochastic gradient descent (SGD). We approximate the mini-batch SGD and the momentum SGD as stochastic differential equations (SDEs). We exploit the continuous formulation of SDE and the theory of Fokker-Planck equations to develop new results on the esca** phenomenon and the relationship with large batch and sharp minima. In particular, we find that the stochastic process solution tends to converge to flatter minima regardless of the batch size in the asymptotic regime. However, the convergence rate is rigorously proven to depend on the batch size. These results are validated empirically with various datasets and models. △ Less

Submitted 2 December, 2021; originally announced December 2021.

Irreducible Modules for Super-Virasoro Algebras from Algebraic D-Modules

Authors: Haibo Chen, Xiansheng Dai, Dong Liu, Yufeng Pei

Abstract: In this paper, we introduce a new family of functors from the category of modules for the Weyl algebra to the category of modules for the super-Virasoro algebras. The properties of these functors are investigated, with an emphasis on irreducibility preservation and natural isomorphisms. By utilizing these functors, we recover some old irreducible super-Virasoro modules, including those from the ir… ▽ More In this paper, we introduce a new family of functors from the category of modules for the Weyl algebra to the category of modules for the super-Virasoro algebras. The properties of these functors are investigated, with an emphasis on irreducibility preservation and natural isomorphisms. By utilizing these functors, we recover some old irreducible super-Virasoro modules, including those from the irreducible intermediate series as well as irreducible $U(\mathfrak{h})$-free modules. Additionally, we provide several families of new irreducible super-Virasoro modules via our constructed functors. △ Less

Submitted 19 March, 2024; v1 submitted 20 November, 2021; originally announced November 2021.

Convergent and orthogonality preserving schemes for approximating the Kohn-Sham orbitals

Authors: Xiaoying Dai, Liwei Zhang, Aihui Zhou

Abstract: To obtain convergent numerical approximations without using any orthogonalization operations is of great importance in electronic structure calculations. In this paper, we propose and analyze a class of iteration schemes for the discretized Kohn- Sham Density Functional Theory model, with which the iterative approximations are guaranteed to converge to the Kohn-Sham orbitals exponentially without… ▽ More To obtain convergent numerical approximations without using any orthogonalization operations is of great importance in electronic structure calculations. In this paper, we propose and analyze a class of iteration schemes for the discretized Kohn- Sham Density Functional Theory model, with which the iterative approximations are guaranteed to converge to the Kohn-Sham orbitals exponentially without any orthogonalization as long as the initial orbitals are orthogonal and the time step sizes are given properly. In addition, we present a feasible and efficient approach to get suitable time step sizes and report some numerical experiments to validate our theory. △ Less

Submitted 27 September, 2022; v1 submitted 2 November, 2021; originally announced November 2021.

Comments: 25 pages, 3 Figures and 1 table

MSC Class: 37M05; 81Q05; 81Q35

Connectedness and local cut points of generalized Sierpinski carpets

Authors: Xin-Rong Dai, Jun Luo, Huo-Jun Ruan, Yang Wang, Jian-Ci Xiao

Abstract: We investigate a homeomorphism problem on a class of self-similar sets called generalized Sierpinski carpets (or shortly GSCs). It follows from two well-known results by Hata and Whyburn that a connected GSC is homeomorphic to the standard Sierpinski carpet if and only if it has no local cut points. On the one hand, we show that to determine whether a given GSC is connected, it suffices to iterate… ▽ More We investigate a homeomorphism problem on a class of self-similar sets called generalized Sierpinski carpets (or shortly GSCs). It follows from two well-known results by Hata and Whyburn that a connected GSC is homeomorphic to the standard Sierpinski carpet if and only if it has no local cut points. On the one hand, we show that to determine whether a given GSC is connected, it suffices to iterate the initial pattern twice. On the other hand, we obtain two criteria: (1) for a connected GSC to have cut points, (2) for a connected GSC with no cut points to have local cut points. With these two criteria, we characterize all GSCs that are homeomorphic to the standard Sierpinski carpet. Our results on cut points and local cut points hold for Baranski carpets, too. Moreover, we extend the connectedness result to Baranski sponges. Thus, we also characterize when a Baranski carpet is homeomorphic to the standard GSC. △ Less

Submitted 3 September, 2022; v1 submitted 1 November, 2021; originally announced November 2021.

Comments: 41 pages, 14 figures

MSC Class: 28A80 (primary); 54A05 (secondary)

Euclidean Algebras

Authors: Xingde Dai, Wei Huang

Abstract: We introduce a new example of unital commutative $n$-dimensional group algebra $\mathbb{R}_n$ for $n \geq 2$. The algebra $\mathbb{R}_n$ and the complex numbers $\mathbb{C}$ are astonishingly alike. The zero divisor set of the algebra has Lebesgue $μ_n$-measure zero. The formula for the Haar measure is established. Also, the analytic function theory in $\mathbb{R}_n,$ for $n=2k$ that similar to th… ▽ More We introduce a new example of unital commutative $n$-dimensional group algebra $\mathbb{R}_n$ for $n \geq 2$. The algebra $\mathbb{R}_n$ and the complex numbers $\mathbb{C}$ are astonishingly alike. The zero divisor set of the algebra has Lebesgue $μ_n$-measure zero. The formula for the Haar measure is established. Also, the analytic function theory in $\mathbb{R}_n,$ for $n=2k$ that similar to the classical theory in $\mathbb{C}$ is introduced. This includes the Cauchy-Riemann equations, mean-value theorem and Louisville theorem. △ Less

Submitted 6 September, 2021; v1 submitted 10 July, 2021; originally announced July 2021.

Subdivergence-free gluings of trees

Authors: Xinle Dai, Jordan Long, Karen Yeats

Abstract: A gluing of two rooted trees is an identification of their leaves and un-subdivision of the resulting 2-valent vertices. A gluing of two rooted trees is subdivergence free if it has no 2-edge cuts with both roots on the same side of the cut. The problem and language is motivated by quantum field theory. We enumerate subdivergence-free gluings for certain families of trees, showing a connection wit… ▽ More A gluing of two rooted trees is an identification of their leaves and un-subdivision of the resulting 2-valent vertices. A gluing of two rooted trees is subdivergence free if it has no 2-edge cuts with both roots on the same side of the cut. The problem and language is motivated by quantum field theory. We enumerate subdivergence-free gluings for certain families of trees, showing a connection with connected permutations, and we give algorithms to compute subdivergence-free gluings. △ Less

Submitted 28 June, 2021; v1 submitted 14 June, 2021; originally announced June 2021.

Comments: additional references and discussion, 19 pages

MSC Class: Primary: 05A15; Secondary: 05C05; 81T18

Convergence and Complexity of an Adaptive Planewave Method for Eigenvalue Computations

Authors: Xiaoying Dai, Yan Pan, Bin Yang, Aihui Zhou

Abstract: In this paper, we study the adaptive planewave discretization for a cluster of eigenvalues of second-order elliptic partial differential equations. We first design an a posteriori error estimator and prove both the upper and lower bounds. Based on the a posteriori error estimator, we propose an adaptive planewave method. We then prove that the adaptive planewave approximations have the linear conv… ▽ More In this paper, we study the adaptive planewave discretization for a cluster of eigenvalues of second-order elliptic partial differential equations. We first design an a posteriori error estimator and prove both the upper and lower bounds. Based on the a posteriori error estimator, we propose an adaptive planewave method. We then prove that the adaptive planewave approximations have the linear convergence rate and quasi-optimal complexity. △ Less

Submitted 27 October, 2022; v1 submitted 2 June, 2021; originally announced June 2021.

Comments: 29 pages

A family of simple non-weight modules over the twisted $N=2$ superconformal algebra

Authors: Haibo Chen, Xiansheng Dai, Mingqiang Liu

Abstract: We construct a class of non-weight modules over the twisted $N=2$ superconformal algebra $\T$. Let $\mathfrak{h}=\C L_0\oplus\C G_0$ be the Cartan subalgebra of $\T$, and let $\mathfrak{t}=\C L_0$ be the Cartan subalgebra of even part $\T_{\bar 0}$. These modules over $\T$ when restricted to the $\mathfrak{h}$ are free of rank $1$ or when restricted to the $\mathfrak{t}$ are free of rank $2$. We p… ▽ More We construct a class of non-weight modules over the twisted $N=2$ superconformal algebra $\T$. Let $\mathfrak{h}=\C L_0\oplus\C G_0$ be the Cartan subalgebra of $\T$, and let $\mathfrak{t}=\C L_0$ be the Cartan subalgebra of even part $\T_{\bar 0}$. These modules over $\T$ when restricted to the $\mathfrak{h}$ are free of rank $1$ or when restricted to the $\mathfrak{t}$ are free of rank $2$. We provide the sufficient and necessary conditions for those modules being simple, as well as giving the sufficient and necessary conditions for two $\T$-modules being isomorphic. We also compute the action of an automorphism on them. Moreover, based on the weighting functor introduced in \cite{N2}, a class of intermediate series modules $A_σ$ are obtained. As a byproduct, we give a sufficient condition for two $\T$-modules are not isomorphic. △ Less

Submitted 24 February, 2021; v1 submitted 24 February, 2021; originally announced February 2021.

Statistical Inference on the Hilbert Sphere with Application to Random Densities

Authors: Xiongtao Dai

Abstract: The infinite-dimensional Hilbert sphere $S^\infty$ has been widely employed to model density functions and shapes, extending the finite-dimensional counterpart. We consider the Fréchet mean as an intrinsic summary of the central tendency of data lying on $S^\infty$. To break a path for sound statistical inference, we derive properties of the Fréchet mean on $S^\infty$ by establishing its existence… ▽ More The infinite-dimensional Hilbert sphere $S^\infty$ has been widely employed to model density functions and shapes, extending the finite-dimensional counterpart. We consider the Fréchet mean as an intrinsic summary of the central tendency of data lying on $S^\infty$. To break a path for sound statistical inference, we derive properties of the Fréchet mean on $S^\infty$ by establishing its existence and uniqueness as well as a root-$n$ central limit theorem (CLT) for the sample version, overcoming obstructions from infinite-dimensionality and lack of compactness on $S^\infty$. Intrinsic CLTs for the estimated tangent vectors and covariance operator are also obtained. Asymptotic and bootstrap hypothesis tests for the Fréchet mean based on projection and norm are then proposed and are shown to be consistent. The proposed two-sample tests are applied to make inference for daily taxi demand patterns over Manhattan modeled as densities, of which the square roots are analyzed on the Hilbert sphere. Numerical properties of the proposed hypothesis tests which utilize the spherical geometry are studied in the real data application and simulations, where we demonstrate that the tests based on the intrinsic geometry compare favorably to those based on an extrinsic or flat geometry. △ Less

Submitted 2 January, 2021; originally announced January 2021.

Comments: N/A

Distributed Power Flow and Distributed Optimization -- Formulation, Solution, and Open Source Implementation

Authors: Tillmann Mühlpfordt, Xinliang Dai, Alexander Engelmann, Veit Hagenmeyer

Abstract: Solving the power flow problem in a distributed fashion empowers different grid operators to compute the overall grid state without having to share grid models-this is a practical problem to which industry does not have off-the-shelf answers. In cooperation with a German transmission system operator we propose two physically consistent problem formulations (feasibility, least-squares) amenable to… ▽ More Solving the power flow problem in a distributed fashion empowers different grid operators to compute the overall grid state without having to share grid models-this is a practical problem to which industry does not have off-the-shelf answers. In cooperation with a German transmission system operator we propose two physically consistent problem formulations (feasibility, least-squares) amenable to two solution methods from distributed optimization (the Alternating direction method of multipliers (ADMM), and the Augmented Lagrangian based Alternating Direction Inexact Newton method (Aladin)); with Aladin there come convergence guarantees for the distributed power flow problem. In addition, we provide open source matlab code for rapid prototy** for distributed power flow (rapidPF), a fully matpower-compatible software that facilitates the laborious task of formulating power flow problems as distributed optimization problems; the code is available under https://github.com/KIT-IAI/rapidPF/. The approach to solving distributed power flow problems that we present is flexible, modular, consistent, and reproducible. Simulation results for systems ranging from 53 buses (with 3 regions) up to 4662 buses (with 5 regions) show that the least-squares formulation solved with aladin requires just about half a dozen coordinating steps before the power flow problem is solved. △ Less

Submitted 20 November, 2020; originally announced November 2020.

Comments: 35 pages, 6 figures, 7 tables, journal submission