Showing 1–50 of 244 results for author: Sun, X

BattOpt: Optimal Facility Planning for Electric Vehicle Battery Recycling

Authors: Matthew Brun, Xu Andy Sun

Abstract: The electric vehicle (EV) battery supply chain will face challenges in sourcing scarce, expensive minerals required for manufacturing and in disposing of hazardous retired batteries. Integrating recycling technology into the supply chain has the potential to alleviate these issues; however, players in the battery market must design investment plans for recycling facilities. In this paper, we propo… ▽ More The electric vehicle (EV) battery supply chain will face challenges in sourcing scarce, expensive minerals required for manufacturing and in disposing of hazardous retired batteries. Integrating recycling technology into the supply chain has the potential to alleviate these issues; however, players in the battery market must design investment plans for recycling facilities. In this paper, we propose a two-stage stochastic optimization model for computing minimum cost recycling capacity decisions, in which retired batteries are recycled and recovered materials are used to manufacture new batteries. The model is a separable concave minimization subject to linear constraints, a class for which we design a new finitely convergent global optimization algorithm based on piecewise linear approximation that solves up to 10x faster than comparable algorithms. We propose an equivalent reformulation of the model that reduces the total number of variables by introducing integrality constraints. The reformulation can also be solved by our global algorithm with drastically reduced solve times. We detail a cut grou** strategy for Benders' decomposition in the second stage which improves convergence relative to single-cut and multi-cut implementations. To produce a set of second-stage scenarios, we design an approach for generating time-series projections for new battery demand, retired battery supply, and material costs. Analysis of the optimal solutions shows that effective investment in recycling can reduce battery manufacturing costs by 22% and reduce environmental impacts by up to 7%. △ Less

Submitted 30 June, 2024; originally announced July 2024.

MSC Class: 90B99; 90C26; 90C15

Isomorphism classes and stably isomorphisms of double Danielewski varieties

Authors: Xiaosong Sun, Shuai Zeng

Abstract: The interest in Danielewski varieties arose from the study of the Cancellation Problem. In this paper, we study the isomorphism classes and stably isomorphisms of double Danielewski varieties, and show that they are counterexamples of the Cancellation Problem. The interest in Danielewski varieties arose from the study of the Cancellation Problem. In this paper, we study the isomorphism classes and stably isomorphisms of double Danielewski varieties, and show that they are counterexamples of the Cancellation Problem. △ Less

Submitted 17 May, 2024; originally announced May 2024.

MSC Class: 14R10; 13N15

Planning of Truck Platooning for Road-Network Capacitated Vehicle Routing Problem

Authors: Yilang Hao, Zhibin Chen, Xiaotong Sun, Lu Tong

Abstract: Truck platooning, a linking technology of trucks on the highway, has gained enormous attention in recent years due to its benefits in energy and operation cost savings. However, most existing studies on truck platooning limit their focus on scenarios in which each truck can serve only one customer demand and is thus with a specified origin-destination pair, so only routing and time schedules are c… ▽ More Truck platooning, a linking technology of trucks on the highway, has gained enormous attention in recent years due to its benefits in energy and operation cost savings. However, most existing studies on truck platooning limit their focus on scenarios in which each truck can serve only one customer demand and is thus with a specified origin-destination pair, so only routing and time schedules are considered. Nevertheless, in real-world logistics, each truck may need to serve multiple customers located at different places, and the operator has to determine not only the routing and time schedules of each truck but also the set of customers allocated to each truck and their sequence to visit. This is well known as a capacitated vehicle routing problem with time windows (CVRPTW), and considering the application of truck platooning in such a problem entails new modeling frameworks and tailored solution algorithms. In light of this, this study makes the first attempt to optimize the truck platooning plan for a road-network CVRPTW to minimize the total operation cost, including vehicles' fixed dispatch cost and energy cost, while fulfilling all delivery demands within their time window constraints. Specifically, the operation plan will dictate the number of trucks to be dispatched, the set of customers, and the routing and time schedules for each truck. In addition, the modeling framework is constructed based on a road network instead of a traditional customer node graph to better resemble and facilitate the platooning operation. A 3-stage algorithm embedded with a "route-then-schedule" scheme, dynamic programming, and modified insertion heuristic, is developed to solve the proposed model in a timely manner. Numerical experiments are conducted to validate the modeling framework, demonstrate the performance of the proposed solution algorithm, and quantify the benefit of truck platooning. △ Less

Submitted 20 April, 2024; originally announced April 2024.

Comments: 36 pages, 12 figures

Stochastic-Robust Planning of Networked Hydrogen-Electrical Microgrids: A Study on Induced Refueling Demand

Authors: Xunhang Sun, Xiaoyu Cao, Bo Zeng, Qiaozhu Zhai, Tamer Başar, Xiaohong Guan

Abstract: Hydrogen-electrical (HE) microgrids are increasingly assuming an important role on the pathway toward decarbonization of energy and transportation systems. This paper studies networked HE microgrids planning (NHEMP), considering a critical but often-overlooked issue, i.e., the demand-inducing effect (DIE) associated with infrastructure development decisions. Specifically, higher refueling capaciti… ▽ More Hydrogen-electrical (HE) microgrids are increasingly assuming an important role on the pathway toward decarbonization of energy and transportation systems. This paper studies networked HE microgrids planning (NHEMP), considering a critical but often-overlooked issue, i.e., the demand-inducing effect (DIE) associated with infrastructure development decisions. Specifically, higher refueling capacities will attract more refueling demand of hydrogen-powered vehicles (HVs). To capture such interactions between investment decisions and induced refueling demand, we introduce a decision-dependent uncertainty (DDU) set and build a trilevel stochastic-robust formulation. The upper-level determines optimal investment strategies for HE microgrids, the lower-level optimizes the risk-aware operation schedules across a series of stochastic scenarios, and, for each scenario, the middle-level identifies the "worst" situation of refueling demand within an individual DDU set to ensure economic feasibility. Then, an adaptive and exact decomposition algorithm, based on Parametric Column-and-Constraint Generation (PC&CG), is customized and developed to address the computational challenge and to quantitatively analyze the impact of DIE. Case studies on an IEEE exemplary system validate the effectiveness of the proposed NHEMP model and the PC&CG algorithm. It is worth highlighting that DIE can make an important contribution to the economic benefits of NHEMP, yet its significance will gradually decrease when the main bottleneck transits to other system restrictions. △ Less

Submitted 31 March, 2024; originally announced April 2024.

Solutions of tetrahedron equation from quantum cluster algebra associated with symmetric butterfly quiver

Authors: Rei Inoue, Atsuo Kuniba, Xiaoyue Sun, Yuji Terashima, Junya Yagi

Abstract: We construct a new solution to the tetrahedron equation by further pursuing the quantum cluster algebra approach in our previous works. The key ingredients include a symmetric butterfly quiver attached to the wiring diagrams for the longest element of type $A$ Weyl groups and the implementation of quantum $Y$-variables through the $q$-Weyl algebra. The solution consists of four products of quantum… ▽ More We construct a new solution to the tetrahedron equation by further pursuing the quantum cluster algebra approach in our previous works. The key ingredients include a symmetric butterfly quiver attached to the wiring diagrams for the longest element of type $A$ Weyl groups and the implementation of quantum $Y$-variables through the $q$-Weyl algebra. The solution consists of four products of quantum dilogarithms, incorporating a total of seven parameters. By exploring both the coordinate and momentum representations, along with their modular double counterparts, our solution encompasses various known three-dimensional (3D) $R$-matrices. These include those obtained by Kapranov-Voevodsky ('94) utilizing the quantized coordinate ring, Bazhanov-Mangazeev-Sergeev ('10) from a quantum geometry perspective, Kuniba-Matsuike-Yoneyama ('23) linked with the quantized six-vertex model, and Inoue-Kuniba-Terashima ('23) associated with the Fock-Goncharov quiver. The 3D $R$-matrix presented in this paper offers a unified perspective on these existing solutions, coalescing them within the framework of quantum cluster algebra. △ Less

Submitted 24 March, 2024; v1 submitted 12 February, 2024; originally announced March 2024.

Comments: 35 pages. arXiv admin note: text overlap with arXiv:2310.14529

MSC Class: 82B23; 81R12; 13F60

Boundary touching probability and nested-path exponent for non-simple CLE

Authors: Morris Ang, Xin Sun, Pu Yu, Zijie Zhuang

Abstract: The conformal loop ensemble (CLE) has two phases: for $κ\in (8/3, 4]$, the loops are simple and do not touch each other or the boundary; for $κ\in (4,8)$, the loops are non-simple and may touch each other and the boundary. We derive the probability that the loop surrounding a given point touches the domain boundary. We also obtain the law of the conformal radius of this loop seen from the given po… ▽ More The conformal loop ensemble (CLE) has two phases: for $κ\in (8/3, 4]$, the loops are simple and do not touch each other or the boundary; for $κ\in (4,8)$, the loops are non-simple and may touch each other and the boundary. We derive the probability that the loop surrounding a given point touches the domain boundary. We also obtain the law of the conformal radius of this loop seen from the given point conditioned on the loop touching the boundary or not, refining a result of Schramm-Sheffield-Wilson (2009). As an application, we exactly evaluate the CLE counterpart of the nested-path exponent for the Fortuin-Kasteleyn (FK) random cluster model recently introduced by Song-Tan-Zhang-Jacobsen-Nienhuis-Deng (2022). This exponent describes the asymptotic behavior of the number of nested open paths in the open cluster containing the origin when the cluster is large. For Bernoulli percolation, which corresponds to $κ=6$, the exponent was derived recently in Song-Jacobsen-Nienhuis-Sportiello-Deng (2023) by a color switching argument. For $κ\neq 6$, and in particular for the FK-Ising case, our formula appears to be new. Our derivation begins with Sheffield's construction of CLE from which the quantities of interest can be expressed by radial SLE. We solve the radial SLE problem using the coupling between SLE and Liouville quantum gravity, along with the exact solvability of Liouville conformal field theory. △ Less

Submitted 14 February, 2024; v1 submitted 29 January, 2024; originally announced January 2024.

Comments: 42 pages, 14 figures; minor revision, added discussion on the FK Ising case

Boosting Gradient Ascent for Continuous DR-submodular Maximization

Authors: Qixin Zhang, Zongqi Wan, Zengde Deng, Zaiyi Chen, Xiaoming Sun, Jialin Zhang, Yu Yang

Abstract: Projected Gradient Ascent (PGA) is the most commonly used optimization scheme in machine learning and operations research areas. Nevertheless, numerous studies and examples have shown that the PGA methods may fail to achieve the tight approximation ratio for continuous DR-submodular maximization problems. To address this challenge, we present a boosting technique in this paper, which can efficient… ▽ More Projected Gradient Ascent (PGA) is the most commonly used optimization scheme in machine learning and operations research areas. Nevertheless, numerous studies and examples have shown that the PGA methods may fail to achieve the tight approximation ratio for continuous DR-submodular maximization problems. To address this challenge, we present a boosting technique in this paper, which can efficiently improve the approximation guarantee of the standard PGA to \emph{optimal} with only small modifications on the objective function. The fundamental idea of our boosting technique is to exploit non-oblivious search to derive a novel auxiliary function $F$, whose stationary points are excellent approximations to the global maximum of the original DR-submodular objective $f$. Specifically, when $f$ is monotone and $γ$-weakly DR-submodular, we propose an auxiliary function $F$ whose stationary points can provide a better $(1-e^{-γ})$-approximation than the $(γ^2/(1+γ^2))$-approximation guaranteed by the stationary points of $f$ itself. Similarly, for the non-monotone case, we devise another auxiliary function $F$ whose stationary points can achieve an optimal $\frac{1-\min_{\boldsymbol{x}\in\mathcal{C}}\|\boldsymbol{x}\|_{\infty}}{4}$-approximation guarantee where $\mathcal{C}$ is a convex constraint set. In contrast, the stationary points of the original non-monotone DR-submodular function can be arbitrarily bad~\citep{chen2023continuous}. Furthermore, we demonstrate the scalability of our boosting technique on four problems. In all of these four problems, our resulting variants of boosting PGA algorithm beat the previous standard PGA in several aspects such as approximation ratio and efficiency. Finally, we corroborate our theoretical findings with numerical experiments, which demonstrate the effectiveness of our boosting PGA methods. △ Less

Submitted 16 January, 2024; originally announced January 2024.

Comments: 74 pages, 6 figures and 9 tables. An extended version of Stochastic Continuous Submodular Maximization: Boosting via Non-oblivious Function (ICML 2022)

On double Danielewski varieties

Authors: Xiaosong Sun, Shuai Zeng

Abstract: In this paper, we study the double Danielewski varieties which arose from the research on the classical Cancellation Problem. We describe the Makar-Limanov invariant and locally nilpotent derivations of these varieties. And in a subsequent paper we will describe the automorphisms groups of the varieties and verify that the varieties are counterexamples to the Cancellation Problem. In this paper, we study the double Danielewski varieties which arose from the research on the classical Cancellation Problem. We describe the Makar-Limanov invariant and locally nilpotent derivations of these varieties. And in a subsequent paper we will describe the automorphisms groups of the varieties and verify that the varieties are counterexamples to the Cancellation Problem. △ Less

Submitted 27 December, 2023; originally announced December 2023.

MSC Class: 14R10; 13N15

The spectral rigidity of Ricci soliton and Einstein-type manifolds

Authors: ** Li, Xiaomei Sun, Anqiang Zhu

Abstract: We are concerned in this article with a classical topic in spectral geometry dating back to McKean-Singer, Patodi and Tanno: whether or not the constancy of sectional curvature (resp. holomorphic sectional curvature) of a compact Riemannian manifold (resp. Kähler manifold) can be completely determined by the eigenvalues of its $p$-Laplacian for a \emph{single} integer $p$? We treat this question u… ▽ More We are concerned in this article with a classical topic in spectral geometry dating back to McKean-Singer, Patodi and Tanno: whether or not the constancy of sectional curvature (resp. holomorphic sectional curvature) of a compact Riemannian manifold (resp. Kähler manifold) can be completely determined by the eigenvalues of its $p$-Laplacian for a \emph{single} integer $p$? We treat this question under two conditions: gradient shrinking Ricci soliton for Riemannian manifolds and cohomologically Einstein for Kähler manifolds. We show that, with some sporadic unknown cases, this is true for each $p$. Furthermore, we show that the condition of being isospectral can be relaxed to a suitable almost-isospectral version. △ Less

Submitted 12 December, 2023; originally announced December 2023.

Comments: 21 pages. arXiv admin note: text overlap with arXiv:1804.00517

MSC Class: 58J50; 58C40; 53C55

Multiple Control Functionals for Interconnected Time-Delay Systems

Authors: Zhuo-Rui Pan, Wei Ren, Xi-Ming Sun

Abstract: Safety is essential for autonomous systems, in particular for interconnected systems in which the interactions among subsystems are involved. Motivated by the recent interest in cyber-physical and interconnected autonomous systems, we address the safe stabilization problem of interconnected systems with time delays. We propose multiple control Lyapunov and barrier functionals for the stabilization… ▽ More Safety is essential for autonomous systems, in particular for interconnected systems in which the interactions among subsystems are involved. Motivated by the recent interest in cyber-physical and interconnected autonomous systems, we address the safe stabilization problem of interconnected systems with time delays. We propose multiple control Lyapunov and barrier functionals for the stabilization and safety control problems, respectively. In order to investigate the safe stabilization control problem, the proposed multiple control functionals are combined together via two methods: the optimization-based method and the sliding mode based method. The resulting controllers can be of either explicit or implicit forms, both of which ensure the safe stabilization objective of the whole system. The derived results are illustrated via a reach-avoid problem of multi-robot systems. △ Less

Submitted 30 November, 2023; originally announced December 2023.

Comments: 6 pages, 2 figures

Conformal welding of quantum disks and multiple SLE: the non-simple case

Authors: Morris Ang, Nina Holden, Xin Sun, Pu Yu

Abstract: Two-pointed quantum disks with a weight parameter $W>0$ is a canonical family of finite-volume random surfaces in Liouville quantum gravity. We extend the conformal welding of quantum disks in [AHS23] to the non-simple regime, and give a construction of the multiple SLE associated with any given link pattern for $κ\in(4,8)$. Our proof is based on connections between SLE and Liouville conformal fie… ▽ More Two-pointed quantum disks with a weight parameter $W>0$ is a canonical family of finite-volume random surfaces in Liouville quantum gravity. We extend the conformal welding of quantum disks in [AHS23] to the non-simple regime, and give a construction of the multiple SLE associated with any given link pattern for $κ\in(4,8)$. Our proof is based on connections between SLE and Liouville conformal field theory (LCFT), where we show that in the conformal welding of multiple forested quantum disks, the surface after welding can be described in terms of LCFT, and the random conformal moduli contains the SLE partition function for the interfaces as a multiplicative factor. As a corollary, for $κ\in(4,8)$, we prove the existence of the multiple SLE partition functions, which are smooth functions satisfying a system of PDEs and conformal covariance. △ Less

Submitted 2 May, 2024; v1 submitted 31 October, 2023; originally announced October 2023.

Comments: 43 pages, 7 figures

MSC Class: 60J67; 60G60

Distributed Uncertainty Quantification of Kernel Interpolation on Spheres

Authors: Shao-Bo Lin, ** Sun, Di Wang

Abstract: For radial basis function (RBF) kernel interpolation of scattered data, Schaback in 1995 proved that the attainable approximation error and the condition number of the underlying interpolation matrix cannot be made small simultaneously. He referred to this finding as an "uncertainty relation", an undesirable consequence of which is that RBF kernel interpolation is susceptible to noisy data. In thi… ▽ More For radial basis function (RBF) kernel interpolation of scattered data, Schaback in 1995 proved that the attainable approximation error and the condition number of the underlying interpolation matrix cannot be made small simultaneously. He referred to this finding as an "uncertainty relation", an undesirable consequence of which is that RBF kernel interpolation is susceptible to noisy data. In this paper, we propose and study a distributed interpolation method to manage and quantify the uncertainty brought on by interpolating noisy spherical data of non-negligible magnitude. We also present numerical simulation results showing that our method is practical and robust in terms of handling noisy data from challenging computing environments. △ Less

Submitted 25 October, 2023; originally announced October 2023.

Comments: 24 pages,6 figures

SLE partition functions via conformal welding of random surfaces

Authors: Xin Sun, Pu Yu

Abstract: SLE curves describe the scaling limit of interfaces from many 2D lattice models. Heuristically speaking, the SLE partition function is the continuum counterpart of the partition function of the corresponding discrete model. It is well known that conformally welding of Liouville quantum gravity (LQG) surfaces gives SLE curves as the interfaces. In this paper, we demonstrate in several settings how… ▽ More SLE curves describe the scaling limit of interfaces from many 2D lattice models. Heuristically speaking, the SLE partition function is the continuum counterpart of the partition function of the corresponding discrete model. It is well known that conformally welding of Liouville quantum gravity (LQG) surfaces gives SLE curves as the interfaces. In this paper, we demonstrate in several settings how the SLE partition function arises from conformal welding of LQG surfaces. The common theme is that we conformally weld a collection of canonical LQG surfaces which produces a topological configuration with more than one conformal structure. Conditioning on the conformal moduli, the surface after welding is described by Liouville conformal field theory (LCFT), and the density of the random moduli contains the SLE partition function for the interfaces as a multiplicative factor. The settings we treat includes the multiple SLE for $κ\in (0,4)$, the flow lines of imaginary geometry on the disk with boundary marked points, and the boundary Green function. These results demonstrate an alternative approach to construct and study the SLE partition function, which complements the traditional method based on stochastic calculus and differential equation. △ Less

Submitted 22 December, 2023; v1 submitted 10 September, 2023; originally announced September 2023.

Comments: 34 pages, 11 figures

MSC Class: 60J67; 60G60

Backbone exponent for two-dimensional percolation

Authors: Pierre Nolin, Wei Qian, Xin Sun, Zijie Zhuang

Abstract: We derive an exact expression for the celebrated backbone exponent for Bernoulli percolation in dimension two at criticality. It turns out to be a root of an elementary function. Contrary to previously known arm exponents for this model, which are all rational, it has a transcendental value. Our derivation relies on the connection to the SLE$_κ$ bubble measure, the coupling between SLE and Liouvil… ▽ More We derive an exact expression for the celebrated backbone exponent for Bernoulli percolation in dimension two at criticality. It turns out to be a root of an elementary function. Contrary to previously known arm exponents for this model, which are all rational, it has a transcendental value. Our derivation relies on the connection to the SLE$_κ$ bubble measure, the coupling between SLE and Liouville quantum gravity, and the integrability of Liouville conformal field theory. Along the way, we derive a formula not only for $κ=6$ (corresponding to percolation), but for all $κ\in (4,8)$. △ Less

Submitted 13 January, 2024; v1 submitted 10 September, 2023; originally announced September 2023.

Comments: 60 pages, 15 figures; simplified arguments in Appendix C; minor improvements of presentations

Bootstrap, Markov Chain Monte Carlo, and LP/SDP Hierarchy for the Lattice Ising Model

Authors: Minjae Cho, Xin Sun

Abstract: Bootstrap is an idea that imposing consistency conditions on a physical system may lead to rigorous and nontrivial statements about its physical observables. In this work, we discuss the bootstrap problem for the invariant measure of the stochastic Ising model defined as a Markov chain where probability bounds and invariance equations are imposed. It is described by a linear programming (LP) hiera… ▽ More Bootstrap is an idea that imposing consistency conditions on a physical system may lead to rigorous and nontrivial statements about its physical observables. In this work, we discuss the bootstrap problem for the invariant measure of the stochastic Ising model defined as a Markov chain where probability bounds and invariance equations are imposed. It is described by a linear programming (LP) hierarchy whose asymptotic convergence is shown by explicitly constructing the invariant measure from the convergent sequence of moments. We also discuss the relation between the LP hierarchy for the invariant measure and a recently introduced semidefinite programming (SDP) hierarchy for the Gibbs measure of the statistical Ising model based on reflection positivity and spin-flip equations. △ Less

Submitted 23 October, 2023; v1 submitted 2 September, 2023; originally announced September 2023.

Comments: 28 pages. v2: mathematical notions clarified, a reference added, typo corrected

On Krylov subspace methods for skew-symmetric and shifted skew-symmetric linear systems

Authors: Kui Du, Jia-Jun Fan, Xiao-Hui Sun, Fang Wang, Ya-Lan Zhang

Abstract: Krylov subspace methods for solving linear systems of equations involving skew-symmetric matrices have gained recent attention. Numerical equivalences among Krylov subspace methods for nonsingular skew-symmetric linear systems have been given in Greif et al. [SIAM J. Matrix Anal. Appl., 37 (2016), pp. 1071--1087]. In this work, we extend the results of Greif et al. to singular skew-symmetric linea… ▽ More Krylov subspace methods for solving linear systems of equations involving skew-symmetric matrices have gained recent attention. Numerical equivalences among Krylov subspace methods for nonsingular skew-symmetric linear systems have been given in Greif et al. [SIAM J. Matrix Anal. Appl., 37 (2016), pp. 1071--1087]. In this work, we extend the results of Greif et al. to singular skew-symmetric linear systems. In addition, we systematically study three Krylov subspace methods (called S$^3$CG, S$^3$MR, and S$^3$LQ) for solving shifted skew-symmetric linear systems. They all are based on Lanczos triangularization for skew-symmetric matrices, and correspond to CG, MINRES, and SYMMLQ for solving symmetric linear systems, respectively. To the best of our knowledge, this is the first work that studies S$^3$LQ. We give some new theoretical results on S$^3$CG, S$^3$MR, and S$^3$LQ. We also provide the relationship among the three methods and those based on Golub--Kahan bidiagonalization and Saunders--Simon--Yip tridiagonalization. Numerical examples are given to illustrate our theoretical findings. △ Less

Submitted 31 July, 2023; originally announced July 2023.

Comments: 23 pages, 3 figures

Derivation of all structure constants for boundary Liouville CFT

Authors: Morris Ang, Guillaume Remy, Xin Sun, Tunan Zhu

Abstract: We prove that the probabilistic definition of the most general boundary three-point and bulk-boundary structure constants in Liouville conformal field theory (LCFT) agree respectively with the formula proposed by Ponsot-Techsner (2002) and by Hosomichi (2001). These formulas also respectively describe the fusion kernel and modular kernel of the Virasoro conformal blocks, which are important functi… ▽ More We prove that the probabilistic definition of the most general boundary three-point and bulk-boundary structure constants in Liouville conformal field theory (LCFT) agree respectively with the formula proposed by Ponsot-Techsner (2002) and by Hosomichi (2001). These formulas also respectively describe the fusion kernel and modular kernel of the Virasoro conformal blocks, which are important functions in various contexts of mathematical physics. As an intermediate step, we obtain the formula for the boundary reflection coefficient of LCFT proposed by Fateev-Zamolodchikov-Zamolodchikov (2000). Our proof relies on the boundary Belavin-Polyakov-Zamolodchikov differential equation recently proved by the first named author, and inputs from the coupling theory of Liouville quantum gravity (LQG) and Schramm Loewner evolution. Our results supply all the structure constants needed to perform the conformal bootstrap for boundary LCFT. They also yield exact descriptions for the joint law of the area and boundary lengths of basic LQG surfaces, including quantum triangles and two-pointed quantum disks. △ Less

Submitted 23 March, 2024; v1 submitted 29 May, 2023; originally announced May 2023.

Comments: minor revision; 66 pages, 2 figures

Frobenius splitting of moduli spaces of parabolic bundles

Authors: Xiaotao Sun, Mingshuo Zhou

Abstract: Let $C$ be a nonsingular projective curve over an algebraically closed field of characteristic $p>0$ and $I\subset C$ be a finite set. If $\mathcal{U}_{C,\,ω}$ denotes the moduli space of semistable parabolic bundles of rank $r$ and degree $d$ on $C$ with parabolic structures determined by $ω=(k,\{\vec n(x),\vec a(x)\}_{x\in I})$, we prove that $\mathcal{U}_{C,\,ω}$ is \textit{$F$-split} for gener… ▽ More Let $C$ be a nonsingular projective curve over an algebraically closed field of characteristic $p>0$ and $I\subset C$ be a finite set. If $\mathcal{U}_{C,\,ω}$ denotes the moduli space of semistable parabolic bundles of rank $r$ and degree $d$ on $C$ with parabolic structures determined by $ω=(k,\{\vec n(x),\vec a(x)\}_{x\in I})$, we prove that $\mathcal{U}_{C,\,ω}$ is \textit{$F$-split} for generic $C$ and generic choice of $I$ when $p>3r$. △ Less

Submitted 15 May, 2023; originally announced May 2023.

Comments: 42 pages

MSC Class: Algebraic Geometry; 14H60; 14D20

Poisson Equation and Application to Multi-Scale SDEs with State-Dependent Switching

Authors: Xiaobin Sun, Yingchao Xie

Abstract: In this paper, we study the averaging principle and central limit theorem for multi-scale stochastic differential equations with state-dependent switching. To accomplish this, we first study the Poisson equation associated with a Markov chain and the regularity of its solutions. As applications of the results on the Poisson equations, we prove three averaging principle results and two central limi… ▽ More In this paper, we study the averaging principle and central limit theorem for multi-scale stochastic differential equations with state-dependent switching. To accomplish this, we first study the Poisson equation associated with a Markov chain and the regularity of its solutions. As applications of the results on the Poisson equations, we prove three averaging principle results and two central limit theorems results. The first averaging principle result is a strong convergence of order $1/2$ of the slow component $X^{\varepsilon}$ in the space $C([0,T],\mathbb{R}^n)$. The second averaging principle result is a weak convergence of $X^{\varepsilon}$ in $C([0,T],\mathbb{R}^n)$. The third averaging principle result is a weak convergence of order $1$ of $X^{\varepsilon}_t$ in $\mathbb{R}^n$ for any fixed $t\ge 0$. The first central limit theorem type result is a weak convergence of $(X^{\varepsilon}-\bar{X})/\sqrt{\varepsilon}$ in $C([0,T],\mathbb{R}^n)$, where $\bar{X}$ is the solution of the averaged equation. The second central limit theorem type result is a weak convergence of order $1/2$ of $(X^{\varepsilon}_t-\bar{X}_t)/\sqrt{\varepsilon}$ in $\mathbb{R}^n$ for fixed $t\ge 0$. Several examples are given to show that all the achieved orders are optimal. △ Less

Submitted 17 December, 2023; v1 submitted 11 April, 2023; originally announced April 2023.

Comments: 42 pages. We relax the assumptions and add several new results in this version

Effort Discrimination and Curvature of Contest Technology in Conflict Networks

Authors: Xiang Sun, ** Xu, Junjie Zhou

Abstract: In a model of interconnected conflicts on a network, we compare the equilibrium effort profiles and payoffs under two scenarios: uniform effort (UE) in which each contestant is restricted to exert the same effort across all the battles she participates, and discriminatory effort (DE) in which such a restriction is lifted. When the contest technology in each battle is of Tullock form, a surprising… ▽ More In a model of interconnected conflicts on a network, we compare the equilibrium effort profiles and payoffs under two scenarios: uniform effort (UE) in which each contestant is restricted to exert the same effort across all the battles she participates, and discriminatory effort (DE) in which such a restriction is lifted. When the contest technology in each battle is of Tullock form, a surprising neutrality result holds within the class of semi-symmetric conflict network structures: both the aggregate actions and equilibrium payoffs under two regimes are the same. We also show that, in some sense, the Tullock form is necessary for such a neutrality result. Moving beyond the Tullock family, we further demonstrate how the curvature of contest technology shapes the welfare and effort effects. △ Less

Submitted 29 October, 2023; v1 submitted 20 February, 2023; originally announced February 2023.

Comments: 25 pages

MSC Class: Operations research

Solving PDEs with Unmeasurable Source Terms Using Coupled Physics-Informed Neural Network with Recurrent Prediction for Soft Sensors

Authors: Aina Wang, Pan Qin, Xi-Ming Sun

Abstract: Partial differential equations (PDEs) are a model candidate for soft sensors in industrial processes with spatiotemporal dependence. Although physics-informed neural networks (PINNs) are a promising machine learning method for solving PDEs, they are infeasible for the nonhomogeneous PDEs with unmeasurable source terms. To this end, a coupled PINN (CPINN) with a recurrent prediction (RP) learning s… ▽ More Partial differential equations (PDEs) are a model candidate for soft sensors in industrial processes with spatiotemporal dependence. Although physics-informed neural networks (PINNs) are a promising machine learning method for solving PDEs, they are infeasible for the nonhomogeneous PDEs with unmeasurable source terms. To this end, a coupled PINN (CPINN) with a recurrent prediction (RP) learning strategy (CPINN- RP) is proposed. First, CPINN composed of NetU and NetG is proposed. NetU is for approximating PDEs solutions and NetG is for regularizing the training of NetU. The two networks are integrated into a data-physics-hybrid loss function. Then, we theoretically prove that the proposed CPINN has a satisfying approximation capability for solutions to nonhomogeneous PDEs with unmeasurable source terms. Besides the theoretical aspects, we propose a hierarchical training strategy to optimize and couple NetU and NetG. Secondly, NetU-RP is proposed for compensating information loss in data sampling to improve the prediction performance, in which RP is the recurrently delayed outputs of well-trained CPINN and hard sensors. Finally, the artificial and practical datasets are used to verify the feasibility and effectiveness of CPINN-RP for soft sensors. △ Less

Submitted 11 July, 2023; v1 submitted 20 January, 2023; originally announced January 2023.

Nonlinear conjugate gradient methods: worst-case convergence rates via computer-assisted analyses

Authors: Shuvomoy Das Gupta, Robert M. Freund, Xu Andy Sun, Adrien Taylor

Abstract: We propose a computer-assisted approach to the analysis of the worst-case convergence of nonlinear conjugate gradient methods (NCGMs). Those methods are known for their generally good empirical performances for large-scale optimization, while having relatively incomplete analyses. Using our computer-assisted approach, we establish novel complexity bounds for the Polak-Ribière-Polyak (PRP) and the… ▽ More We propose a computer-assisted approach to the analysis of the worst-case convergence of nonlinear conjugate gradient methods (NCGMs). Those methods are known for their generally good empirical performances for large-scale optimization, while having relatively incomplete analyses. Using our computer-assisted approach, we establish novel complexity bounds for the Polak-Ribière-Polyak (PRP) and the Fletcher-Reeves (FR) NCGMs for smooth strongly convex minimization. In particular, we construct mathematical proofs that establish the first non-asymptotic convergence bound for FR (which is historically the first developed NCGM), and a much improved non-asymptotic convergence bound for PRP. Additionally, we provide simple adversarial examples on which these methods do not perform better than gradient descent with exact line search, leaving very little room for improvements on the same class of problems. △ Less

Submitted 18 April, 2024; v1 submitted 4 January, 2023; originally announced January 2023.

Comments: 48 pages, 6 figures, 9 tables

Hodge Laplacian and geometry of Kuranishi family of Fano manifolds

Authors: Akito Futaki, Xiaofeng Sun, Yingying Zhang

Abstract: We first obtain eigenvalue estimates for the Hodge Laplacian on Fano manifolds, which follow from the Bochner-Kodaira formula. Then we apply it to study the geometry of the Kuranishi family of deformations of Fano manifolds. We show that the original Kähler form remains to be a Kähler form for other members of the Kuranishi family, and give an explicit formula of the Ricci potential. We also show… ▽ More We first obtain eigenvalue estimates for the Hodge Laplacian on Fano manifolds, which follow from the Bochner-Kodaira formula. Then we apply it to study the geometry of the Kuranishi family of deformations of Fano manifolds. We show that the original Kähler form remains to be a Kähler form for other members of the Kuranishi family, and give an explicit formula of the Ricci potential. We also show that our set-up gives another account for the Donaldson-Fujiki picture. △ Less

Submitted 20 August, 2023; v1 submitted 8 December, 2022; originally announced December 2022.

Comments: Final version. To appear in Kyoto Journal of Mathematics

MSC Class: 14J45; 32G05; 32Q15; 53C55

A remark on a weighted version of Suita conjecture for higher derivatives

Authors: Qi'an Guan, Xun Sun, Zheng Yuan

Abstract: In this article, we consider the set of points for the holding of the equality in a weighted version of Suita conjecture for higher derivatives, and give relations between the set and the integer valued points of a class of harmonic functions (maybe multi-valued). For planar domains bounded by finite analytic closed curves, we give relations between the set and Dirichlet problem. In this article, we consider the set of points for the holding of the equality in a weighted version of Suita conjecture for higher derivatives, and give relations between the set and the integer valued points of a class of harmonic functions (maybe multi-valued). For planar domains bounded by finite analytic closed curves, we give relations between the set and Dirichlet problem. △ Less

Submitted 5 December, 2022; originally announced December 2022.

Comments: 22 pages, all comments are welcome

Safe Stabilization for Stochastic Time-Delay Systems

Authors: Zhuo-Rui Pan, Wei Ren, Xi-Ming Sun

Abstract: This paper addresses the safe stabilization problem of stochastic nonlinear time-delay systems. Based on theKrasovskii approach, we first propose a stochastic control Lyapunov-Krasovskii functional to guarantee the stabilization objective and a stochastic control barrier-Krasovskii functional to ensure the safety objective. Both functionals are developed respectively for each control objectives fo… ▽ More This paper addresses the safe stabilization problem of stochastic nonlinear time-delay systems. Based on theKrasovskii approach, we first propose a stochastic control Lyapunov-Krasovskii functional to guarantee the stabilization objective and a stochastic control barrier-Krasovskii functional to ensure the safety objective. Both functionals are developed respectively for each control objectives for the first time. Since the optimization problem is not easy to be resolved for stochastic time-delay systems, we derive a sliding mode based approach to combine the proposed two functionals and to mediate stabilization and safety objectives, which allows to achieve the stabilization objective under the safety requirement. The proposed approach is illustrated via a numerical example. △ Less

Submitted 3 November, 2023; v1 submitted 20 November, 2022; originally announced November 2022.

Comments: 7 pages, 8 figures. Accepted by IEEE TAC as a Technical Note. arXiv admin note: text overlap with arXiv:2204.12106

Quantum triangles and imaginary geometry flow lines

Authors: Morris Ang, Xin Sun, Pu Yu

Abstract: We define a three-parameter family of random surfaces in Liouville quantum gravity (LQG) which can be viewed as the quantum version of triangles. These quantum triangles are natural in two senses. First, by our definition they produce the boundary three-point correlation functions of Liouville conformal field theory on the disk. Second, it turns out that the laws of the triangles bounded by flow l… ▽ More We define a three-parameter family of random surfaces in Liouville quantum gravity (LQG) which can be viewed as the quantum version of triangles. These quantum triangles are natural in two senses. First, by our definition they produce the boundary three-point correlation functions of Liouville conformal field theory on the disk. Second, it turns out that the laws of the triangles bounded by flow lines in imaginary geometry coupled with LQG are given by these quantum triangles. In this paper we demonstrate the second point for boundary flow lines on a quantum disk. Our method has the potential to prove general conformal welding results with quantum triangles glued in an arbitrary way. Quantum triangles play a basic role in understanding the integrability of SLE and LQG via conformal welding. In this paper, we deduce integrability results for chordal SLE with three force points, using the conformal welding of a quantum triangle and a two-pointed quantum disk. In a subsequent work we will explore their applications to the mating-of-trees framework of LQG, including the exact evaluation of the expected proportion of inversions in skew Brownian permutons. △ Less

Submitted 22 December, 2023; v1 submitted 8 November, 2022; originally announced November 2022.

Comments: 53 pages, 20 figures

MSC Class: 60J67; 60G60

A Weil-Petersson Type Metric on the Space of Fano Kaehler-Ricci Solitons

Authors: Huai-Dong Cao, Xiaofeng Sun, Yingying Zhang

Abstract: In this paper we define a Weil-Petersson type metric on the space of shrinking Kaehler-Ricci solitons and prove a necessary and sufficient condition on when it is independent of the choices of Kaehler-Ricci soliton metrics. We also show that the Weil-Petersson metric is Kaehler when it defines a metric on the Kuranishi space of small deformations of Fano Kaehler-Ricci solitons. Finally, we establi… ▽ More In this paper we define a Weil-Petersson type metric on the space of shrinking Kaehler-Ricci solitons and prove a necessary and sufficient condition on when it is independent of the choices of Kaehler-Ricci soliton metrics. We also show that the Weil-Petersson metric is Kaehler when it defines a metric on the Kuranishi space of small deformations of Fano Kaehler-Ricci solitons. Finally, we establish the first and second order deformation of Fano Kähler-Ricci solitons and show that, essentially, the first effective term in deforming Kaehler-Ricci solitons leads to the Weil-Petersson metric. △ Less

Submitted 27 October, 2022; originally announced October 2022.

Comments: 16 pages; final version available at the journal cite of JGEA (see the journal reference info below)

MSC Class: 32G07; 32Q15; 53C55

Journal ref: J Geom Anal 32, 288 (2022)

On Distributionally Robust Multistage Convex Optimization: Data-driven Models and Performance

Authors: Shixuan Zhang, Xu Andy Sun

Abstract: This paper presents a novel algorithmic study with extensive numerical experiments of distributionally robust multistage convex optimization (DR-MCO). Following the previous work on dual dynamic programming (DDP) algorithmic framework for DR-MCO [48], we focus on data-driven DR-MCO models with Wasserstein ambiguity sets that allow probability measures with infinite supports. These data-driven Wass… ▽ More This paper presents a novel algorithmic study with extensive numerical experiments of distributionally robust multistage convex optimization (DR-MCO). Following the previous work on dual dynamic programming (DDP) algorithmic framework for DR-MCO [48], we focus on data-driven DR-MCO models with Wasserstein ambiguity sets that allow probability measures with infinite supports. These data-driven Wasserstein DR-MCO models have out-of-sample performance guarantees and adjustable in-sample conservatism. Then by exploiting additional concavity or convexity in the uncertain cost functions, we design exact single stage subproblem oracle (SSSO) implementations that ensure the convergence of DDP algorithms. We test the data-driven Wasserstein DR-MCO models against multistage robust convex optimization (MRCO), risk-neutral and risk-averse multistage stochastic convex optimization (MSCO) models on multi-commodity inventory problems and hydro-thermal power planning problems. The results show that our DR-MCO models could outperform MRCO and MSCO models when the data size is small. △ Less

Submitted 15 October, 2022; originally announced October 2022.

Make Sharpness-Aware Minimization Stronger: A Sparsified Perturbation Approach

Authors: Peng Mi, Li Shen, Tianhe Ren, Yiyi Zhou, Xiaoshuai Sun, Rongrong Ji, Dacheng Tao

Abstract: Deep neural networks often suffer from poor generalization caused by complex and non-convex loss landscapes. One of the popular solutions is Sharpness-Aware Minimization (SAM), which smooths the loss landscape via minimizing the maximized change of training loss when adding a perturbation to the weight. However, we find the indiscriminate perturbation of SAM on all parameters is suboptimal, which… ▽ More Deep neural networks often suffer from poor generalization caused by complex and non-convex loss landscapes. One of the popular solutions is Sharpness-Aware Minimization (SAM), which smooths the loss landscape via minimizing the maximized change of training loss when adding a perturbation to the weight. However, we find the indiscriminate perturbation of SAM on all parameters is suboptimal, which also results in excessive computation, i.e., double the overhead of common optimizers like Stochastic Gradient Descent (SGD). In this paper, we propose an efficient and effective training scheme coined as Sparse SAM (SSAM), which achieves sparse perturbation by a binary mask. To obtain the sparse mask, we provide two solutions which are based onFisher information and dynamic sparse training, respectively. In addition, we theoretically prove that SSAM can converge at the same rate as SAM, i.e., $O(\log T/\sqrt{T})$. Sparse SAM not only has the potential for training acceleration but also smooths the loss landscape effectively. Extensive experimental results on CIFAR10, CIFAR100, and ImageNet-1K confirm the superior efficiency of our method to SAM, and the performance is preserved or even better with a perturbation of merely 50% sparsity. Code is availiable at https://github.com/Mi-Peng/Sparse-Sharpness-Aware-Minimization. △ Less

Submitted 23 October, 2022; v1 submitted 11 October, 2022; originally announced October 2022.

Comments: 20 pages, 5figures, accepted by NeurIPS 2022

Learning-based Design of Luenberger Observers for Autonomous Nonlinear Systems

Authors: Muhammad Umar B. Niazi, John Cao, Xudong Sun, Amritam Das, Karl Henrik Johansson

Abstract: Designing Luenberger observers for nonlinear systems involves the challenging task of transforming the state to an alternate coordinate system, possibly of higher dimensions, where the system is asymptotically stable and linear up to output injection. The observer then estimates the system's state in the original coordinates by inverting the transformation map. However, finding a suitable injectiv… ▽ More Designing Luenberger observers for nonlinear systems involves the challenging task of transforming the state to an alternate coordinate system, possibly of higher dimensions, where the system is asymptotically stable and linear up to output injection. The observer then estimates the system's state in the original coordinates by inverting the transformation map. However, finding a suitable injective transformation whose inverse can be derived remains a primary challenge for general nonlinear systems. We propose a novel approach that uses supervised physics-informed neural networks to approximate both the transformation and its inverse. Our method exhibits superior generalization capabilities to contemporary methods and demonstrates robustness to both neural network's approximation errors and system uncertainties. △ Less

Submitted 5 April, 2023; v1 submitted 4 October, 2022; originally announced October 2022.

Comments: Proceedings of the 2023 American Control Conference (ACC)

Spatially quasi-periodic solutions of the Euler equation

Authors: Xu Sun, Peter Topalov

Abstract: We develop a framework for studying quasi-periodic maps and diffeomorphisms on $\mathbb{R}^n$. As an application, we prove that the Euler equation is locally well posed in a space of quasi-periodic vector fields on $\mathbb{R}^n$. In particular, the equation preserves the spatial quasi-periodicity of the initial data. Several results on the analytic dependence of solutions on the time and the init… ▽ More We develop a framework for studying quasi-periodic maps and diffeomorphisms on $\mathbb{R}^n$. As an application, we prove that the Euler equation is locally well posed in a space of quasi-periodic vector fields on $\mathbb{R}^n$. In particular, the equation preserves the spatial quasi-periodicity of the initial data. Several results on the analytic dependence of solutions on the time and the initial data are proved. △ Less

Submitted 20 September, 2022; originally announced September 2022.

Asymptotic behavior for multi-scale SDEs with monotonicity coefficients driven by Lévy processes

Authors: Yinghui Shi, Xiaobin Sun, Liqiong Wang, Yingchao Xie

Abstract: In this paper, we study the asymptotic behavior for multi-scale stochastic differential equations driven by Lévy processes. The optimal strong convergence order 1/2 is obtained by studying the regularity estimates for the solution of Poisson equation with polynomial growth coefficients, and the optimal weak convergence order 1 is got by using the technique of Kolmogorov equation. The main contribu… ▽ More In this paper, we study the asymptotic behavior for multi-scale stochastic differential equations driven by Lévy processes. The optimal strong convergence order 1/2 is obtained by studying the regularity estimates for the solution of Poisson equation with polynomial growth coefficients, and the optimal weak convergence order 1 is got by using the technique of Kolmogorov equation. The main contribution is that the obtained results can be applied to a class of multi-scale stochastic differential equations with monotonicity coefficients, as well as the driven processes can be the general Lévy processes, which seems new in the existing literature. △ Less

Submitted 23 September, 2023; v1 submitted 16 August, 2022; originally announced August 2022.

Comments: 39 pages. To appear in Potential Analysis

Permutons, meanders, and SLE-decorated Liouville quantum gravity

Authors: Jacopo Borga, Ewain Gwynne, Xin Sun

Abstract: We study a class of random permutons which can be constructed from a pair of space-filling Schramm-Loewner evolution (SLE) curves on a Liouville quantum gravity (LQG) surface. This class includes the skew Brownian permutons introduced by Borga (2021), which describe the scaling limit of various types of random pattern-avoiding permutations. Another interesting permuton in our class is the meandric… ▽ More We study a class of random permutons which can be constructed from a pair of space-filling Schramm-Loewner evolution (SLE) curves on a Liouville quantum gravity (LQG) surface. This class includes the skew Brownian permutons introduced by Borga (2021), which describe the scaling limit of various types of random pattern-avoiding permutations. Another interesting permuton in our class is the meandric permuton, which corresponds to two independent SLE$_8$ curves on a $γ$-LQG surface with $γ= \sqrt{\frac13 \left( 17 - \sqrt{145} \right)}$. Building on work by Di Francesco, Golinelli, and Guitter (2000), we conjecture that the meandric permuton describes the scaling limit of uniform meandric permutations, i.e., the permutations induced by a simple loop in the plane which crosses a line a specified number of times. We show that for any sequence of random permutations which converges to one of the above random permutons, the length of the longest increasing subsequence is sublinear. This proves that the length of the longest increasing subsequence is sublinear for Baxter, strong-Baxter, and semi-Baxter permutations and leads to the conjecture that the same is true for meandric permutations. We also prove that the closed support of each of the random permutons in our class has Hausdorff dimension one. Finally, we prove a re-rooting invariance property for the meandric permuton and write down a formula for its expected pattern densities in terms of LQG correlation functions (which are known explicitly) and the probability that an SLE$_8$ hits a given set of points in numerical order (which is not known explicitly). We conclude with a list of open problems. △ Less

Submitted 10 November, 2022; v1 submitted 5 July, 2022; originally announced July 2022.

Comments: 49 pages, 11 figures, New version before journal submission

Recent Developments in Security-Constrained AC Optimal Power Flow: Overview of Challenge 1 in the ARPA-E Grid Optimization Competition

Authors: Ignacio Aravena, Daniel K. Molzahn, Shixuan Zhang, Cosmin G. Petra, Frank E. Curtis, Shenyinying Tu, Andreas Wächter, Ermin Wei, Elizabeth Wong, Amin Gholami, Kaizhao Sun, Xu Andy Sun, Stephen T. Elbert, Jesse T. Holzer, Arun Veeramany

Abstract: The optimal power flow problem is central to many tasks in the design and operation of electric power grids. This problem seeks the minimum cost operating point for an electric power grid while satisfying both engineering requirements and physical laws describing how power flows through the electric network. By additionally considering the possibility of component failures and using an accurate AC… ▽ More The optimal power flow problem is central to many tasks in the design and operation of electric power grids. This problem seeks the minimum cost operating point for an electric power grid while satisfying both engineering requirements and physical laws describing how power flows through the electric network. By additionally considering the possibility of component failures and using an accurate AC power flow model of the electric network, the security-constrained AC optimal power flow (SC-AC-OPF) problem is of paramount practical relevance. To assess recent progress in solution algorithms for SC-AC-OPF problems and spur new innovations, the U.S. Department of Energy's Advanced Research Projects Agency--Energy (ARPA-E) organized Challenge 1 of the Grid Optimization (GO) competition. This paper describes the SC-AC-OPF problem formulation used in the competition, overviews historical developments and the state of the art in SC-AC-OPF algorithms, discusses the competition, and summarizes the algorithms used by the top three teams in Challenge 1 of the GO Competition (Teams gollnlp, GO-SNIP, and GMI-GO). △ Less

Submitted 15 June, 2022; originally announced June 2022.

Diffusion Approximation for Multi-Scale McKean-Vlasov SDEs Through Different Methods

Authors: Wei Hong, Shihu Li, Xiaobin Sun

Abstract: In this paper, we aim to study the diffusion approximation for multi-scale McKean-Vlasov stochastic differential equations. More precisely, we prove the weak convergence of slow process $X^\varepsilon$ in $C([0,T];\mathbb{R}^n)$ towards the limiting process $X$ that is the solution of a distribution dependent stochastic differential equation in which some new drift and diffusion terms compared to… ▽ More In this paper, we aim to study the diffusion approximation for multi-scale McKean-Vlasov stochastic differential equations. More precisely, we prove the weak convergence of slow process $X^\varepsilon$ in $C([0,T];\mathbb{R}^n)$ towards the limiting process $X$ that is the solution of a distribution dependent stochastic differential equation in which some new drift and diffusion terms compared to the original equation appear. The main contribution is to use two different methods to explicitly characterize the limiting equations respectively. The obtained diffusion coefficients in the limiting equations have different form through these two methods, however it will be asserted that they are essential the same by a comparison. △ Less

Submitted 4 June, 2022; originally announced June 2022.

Comments: 38 pages

The SLE loop via conformal welding of quantum disks

Authors: Morris Ang, Nina Holden, Xin Sun

Abstract: We prove that the SLE$_κ$ loop measure arises naturally from the conformal welding of two $γ$-Liouville quantum gravity (LQG) disks for $γ^2 = κ\in (0,4)$. The proof relies on our companion work on conformal welding of LQG disks and uses as an essential tool the concept of uniform embedding of LQG surfaces. Combining our result with work of Gwynne and Miller, we get that random quadrangulations de… ▽ More We prove that the SLE$_κ$ loop measure arises naturally from the conformal welding of two $γ$-Liouville quantum gravity (LQG) disks for $γ^2 = κ\in (0,4)$. The proof relies on our companion work on conformal welding of LQG disks and uses as an essential tool the concept of uniform embedding of LQG surfaces. Combining our result with work of Gwynne and Miller, we get that random quadrangulations decorated by a self-avoiding polygon converge in the scaling limit to the LQG sphere decorated by the SLE$_{8/3}$ loop. Our result is also a key input to recent work of the first and third coauthors on the integrability of the conformal loop ensemble. △ Less

Submitted 7 February, 2023; v1 submitted 10 May, 2022; originally announced May 2022.

Comments: 18 pages, 1 figure. A previous version of arXiv:2104.09477 (v2) was split into two papers; the present paper is Section 6 of that earlier work. Accepted for publication in EJP

MSC Class: 60J67; 60G60

On intriguing sets in five classes of strongly regular graphs

Authors: Xiufang Sun, Jianbing Lu

Abstract: In this paper, we construct intriguing sets in five classes of strongly regular graphs defined on nonisotropic points of finite classical polar spaces, and determine their intersection numbers. In this paper, we construct intriguing sets in five classes of strongly regular graphs defined on nonisotropic points of finite classical polar spaces, and determine their intersection numbers. △ Less

Submitted 22 April, 2022; v1 submitted 21 April, 2022; originally announced April 2022.

Optimal convergence order for multi-scale stochastic Burgers equation

Authors: Peng Gao, Xiaobin Sun

Abstract: In this paper, we study the strong and weak convergence rates for multi-scale one-dimensional stochastic Burgers equation. Based on the techniques of Galerkin approximation, Kolmogorov equation and Poisson equation, we obtain the slow component strongly and weakly converges to the solution of the corresponding averaged equation with optimal orders 1/2 and 1 respectively. The highly nonlinear term… ▽ More In this paper, we study the strong and weak convergence rates for multi-scale one-dimensional stochastic Burgers equation. Based on the techniques of Galerkin approximation, Kolmogorov equation and Poisson equation, we obtain the slow component strongly and weakly converges to the solution of the corresponding averaged equation with optimal orders 1/2 and 1 respectively. The highly nonlinear term in system brings us huge difficulties, we develop new technique to overcome these difficulties. To the best of our knowledge, this work seems to be the first result in which the optimal convergence orders in strong and weak sense for multi-scale stochastic partial differential equations with highly nonlinear term. △ Less

Submitted 7 April, 2022; originally announced April 2022.

Comments: 37 pages

The moduli of annuli in random conformal geometry

Authors: Morris Ang, Guillaume Remy, Xin Sun

Abstract: We obtain exact formulae for three basic quantities in random conformal geometry that depend on the modulus of an annulus. The first is for the law of the modulus of the Brownian annulus describing the scaling limit of uniformly sampled planar maps with annular topology, which is as predicted from the ghost partition function in bosonic string theory. The second is for the law of the modulus of th… ▽ More We obtain exact formulae for three basic quantities in random conformal geometry that depend on the modulus of an annulus. The first is for the law of the modulus of the Brownian annulus describing the scaling limit of uniformly sampled planar maps with annular topology, which is as predicted from the ghost partition function in bosonic string theory. The second is for the law of the modulus of the annulus bounded by a loop of a simple conformal loop ensemble (CLE) on a disk and the disk boundary. The formula is as conjectured from the partition function of the O$(n)$ loop model on the annulus derived by Saleur-Bauer (1989) and Cardy (2006). The third is for the annulus partition function of the SLE$_{8/3}$ loop introduced by Werner (2008), confirming another prediction of Cardy (2006). The physics principle underlying our proofs is that 2D quantum gravity coupled with conformal matters can be decomposed into three conformal field theories (CFT): the matter CFT, the Liouville CFT, and the ghost CFT. At the technical level, we rely on two types of integrability in Liouville quantum gravity, one from the scaling limit of random planar maps, the other from the Liouville CFT. We expect our method to be applicable to a variety of questions related to the random moduli of non-simply-connected random surfaces. △ Less

Submitted 11 August, 2022; v1 submitted 23 March, 2022; originally announced March 2022.

Comments: 36 pages, 3 figures; added attribution to Saleur-Bauer (1989) for the physics prediction corresponding to Theorem 1.9; minor improvements of presentation

Baxter permuton and Liouville quantum gravity

Authors: Jacopo Borga, Nina Holden, Xin Sun, Pu Yu

Abstract: The Baxter permuton is a random probability measure on the unit square which describes the scaling limit of uniform Baxter permutations. We find an explict formula for the expectation of the Baxter permuton, i.e.\ the density of its intensity measure. This answers a question of Dokos and Pak (2014). We also prove that all pattern densities of the Baxter permuton are strictly positive, distinguis… ▽ More The Baxter permuton is a random probability measure on the unit square which describes the scaling limit of uniform Baxter permutations. We find an explict formula for the expectation of the Baxter permuton, i.e.\ the density of its intensity measure. This answers a question of Dokos and Pak (2014). We also prove that all pattern densities of the Baxter permuton are strictly positive, distinguishing it from other permutons arising as scaling limits of pattern-avoiding permutations. Our proofs rely on a recent connection between the Baxter permuton and Liouville quantum gravity (LQG) coupled with the Schramm-Loewner evolution (SLE). The method works equally well for a two-parameter generalization of the Baxter permuton recently introduced by the first author, except that the density is not as explicit. This new family of permutons, called \emph{skew Brownian permuton}, describes the scaling limit of a number of random constrained permutations. We finally observe that in the LQG/SLE framework, the expected proportion of inversions in a skew Brownian permuton equals $\frac{π-2θ}{2π}$ where $θ$ is the so-called imaginary geometry angle between a certain pair of SLE curves. △ Less

Submitted 17 January, 2023; v1 submitted 22 March, 2022; originally announced March 2022.

Comments: New version including referee's corrections, accepted for publication in Probability Theory and Related Fields

MSC Class: 60D05; 60C05; 05A19

Maximizing Modular plus Non-monotone Submodular Functions

Authors: Xin Sun, Chenchen Wu, Dachuan Xu, Yang Zhou

Abstract: The research problem in this work is the relaxation of maximizing non-negative submodular plus modular with the entire real number domain as its value range over a family of down-closed sets. We seek a feasible point $\mathbf{x}^*$ in the polytope of the given constraint such that $\mathbf{x}^*\in\arg\max_{\mathbf{x}\in\mathcal{P}\subseteq[0,1]^n}F(\mathbf{x})+L(\mathbf{x})$, where $F$, $L$ denote… ▽ More The research problem in this work is the relaxation of maximizing non-negative submodular plus modular with the entire real number domain as its value range over a family of down-closed sets. We seek a feasible point $\mathbf{x}^*$ in the polytope of the given constraint such that $\mathbf{x}^*\in\arg\max_{\mathbf{x}\in\mathcal{P}\subseteq[0,1]^n}F(\mathbf{x})+L(\mathbf{x})$, where $F$, $L$ denote the extensions of the underlying submodular function $f$ and modular function $\ell$. We provide an approximation algorithm named \textsc{Measured Continuous Greedy with Adaptive Weights}, which yields a guarantee $F(\mathbf{x})+L(\mathbf{x})\geq \left(1/e-\mathcal{O}(ε)\right)\cdot f(OPT)+\left(\frac{β-e}{e(β-1)}-\mathcal{O}(ε)\right)\cdot\ell(OPT)$ under the assumption that the ratio of non-negative part within $\ell(OPT)$ to the absolute value of its negative part is demonstrated by a parameter $β\in[0, \infty]$, where $OPT$ is the optimal integral solution for the discrete problem. It is obvious that the factor of $\ell(OPT)$ is $1$ when $β=0$, which means the negative part is completely dominant at this time; otherwise the factor is closed to $1/e$ whe $β\rightarrow\infty$. Our work first breaks the restriction on the specific value range of the modular function without assuming non-positivity or non-negativity as previous results and quantifies the relative variation of the approximation guarantee for optimal solutions with arbitrary structure. Moreover, we also give an analysis for the inapproximability of the problem we consider. We show a hardness result that there exists no polynomial algorithm whose output $S$ satisfies $f(S)+\ell(S)\geq0.478\cdot f(OPT)+\ell(OPT)$. △ Less

Submitted 12 April, 2022; v1 submitted 15 March, 2022; originally announced March 2022.

Comments: 21 pages

An ADMM-based Distributed Optimization Method for Solving Security-Constrained AC Optimal Power Flow

Authors: Amin Gholami, Kaizhao Sun, Shixuan Zhang, Xu Andy Sun

Abstract: In this paper, we study efficient and robust computational methods for solving the security-constrained alternating current optimal power flow (SC-ACOPF) problem, a two-stage nonlinear optimization problem with disjunctive constraints, that is central to the operation of electric power grids. The first-stage problem in SC-ACOPF determines the operation of the power grid in normal condition, while… ▽ More In this paper, we study efficient and robust computational methods for solving the security-constrained alternating current optimal power flow (SC-ACOPF) problem, a two-stage nonlinear optimization problem with disjunctive constraints, that is central to the operation of electric power grids. The first-stage problem in SC-ACOPF determines the operation of the power grid in normal condition, while the second-stage problem responds to various contingencies of losing generators, transmission lines, and transformers. The two stages are coupled through disjunctive constraints, which model generators' active and reactive power output changes responding to system-wide active power imbalance and voltage deviations after contingencies. Real-world SC-ACOPF problems may involve power grids with more than 30k buses and 22k contingencies and need to be solved within 10-45 minutes to get a base case solution with high feasibility and reasonably good generation cost. We develop a comprehensive algorithmic framework to solve SC-ACOPF that meets the challenge of speed, solution quality, and computation robustness. In particular, we develop a smoothing technique to approximate disjunctive constraints into a smooth structure which can be handled by interior-point solvers; we design a distributed optimization algorithm to efficiently generate first-stage solutions; we propose a screening procedure to prioritize contingencies; and finally, we develop a reliable and parallel architecture that integrates all algorithmic components. Extensive tests on industry-scale systems demonstrate the superior performance of the proposed algorithms. △ Less

Submitted 9 August, 2023; v1 submitted 14 February, 2022; originally announced February 2022.

Randomized regularized extended Kaczmarz algorithms for tensor recovery

Authors: Kui Du, Xiao-Hui Sun

Abstract: Randomized regularized Kaczmarz algorithms have recently been proposed to solve tensor recovery models with {\it consistent} linear measurements. In this work, we propose a novel algorithm based on the randomized extended Kaczmarz algorithm (which converges linearly in expectation to the unique minimum norm least squares solution of a linear system) for tensor recovery models with {\it inconsisten… ▽ More Randomized regularized Kaczmarz algorithms have recently been proposed to solve tensor recovery models with {\it consistent} linear measurements. In this work, we propose a novel algorithm based on the randomized extended Kaczmarz algorithm (which converges linearly in expectation to the unique minimum norm least squares solution of a linear system) for tensor recovery models with {\it inconsistent} linear measurements. We prove the linear convergence in expectation of our algorithm. Numerical experiments on a tensor least squares problem and a sparse tensor recovery problem are given to illustrate the theoretical results. △ Less

Submitted 15 December, 2021; originally announced December 2021.

Comments: 17 pages, 2 figures

MSC Class: 65F10; 68W20; 90C25; 15A69

Central Limit Type Theorem and Large Deviation Principle for Multi-Scale McKean-Vlasov SDEs

Authors: Wei Hong, Shihu Li, Wei Liu, Xiaobin Sun

Abstract: In this paper, we aim to study the asymptotic behavior for multi-scale McKean-Vlasov stochastic dynamical systems. Firstly, we obtain a central limit type theorem, i.e, the deviation between the slow component $X^{\varepsilon}$ and the solution $\bar{X}$ of the averaged equation converges weakly to a limiting process. More precisely, $\frac{X^{\varepsilon}-\bar{X}}{\sqrt{\varepsilon}}$ converges w… ▽ More In this paper, we aim to study the asymptotic behavior for multi-scale McKean-Vlasov stochastic dynamical systems. Firstly, we obtain a central limit type theorem, i.e, the deviation between the slow component $X^{\varepsilon}$ and the solution $\bar{X}$ of the averaged equation converges weakly to a limiting process. More precisely, $\frac{X^{\varepsilon}-\bar{X}}{\sqrt{\varepsilon}}$ converges weakly in $C([0,T],\RR^n)$ to the solution of certain distribution dependent stochastic differential equation, which involves an extra explicit stochastic integral term. Secondly, in order to estimate the probability of deviations away from the limiting process, we further investigate the Freidlin-Wentzell's large deviation principle for multi-scale McKean-Vlasov stochastic system. The main techniques are based on the Poisson equation for central limit type theorem and the weak convergence approach for large deviation principle. △ Less

Submitted 1 June, 2023; v1 submitted 15 December, 2021; originally announced December 2021.

Comments: 57 pages. Accepted by Probability Theory and Related Fields

Dynamics of charged particles moving around Kerr black hole with inductive charge and external magnetic field

Authors: Xin Sun, Xin Wu, Yu Wang, Chen Deng, Baorong Liu, Enwei Liang

Abstract: We mainly focus on the effects of small changes of parameters on the dynamics of charged particles around the Kerr black hole surrounded by an external magnetic field, which can be considered as a tidal environment. The radial motions of charged particles on the equatorial plane are studied via an effective potential. It is found that the particle energies at the local maxima values of the effecti… ▽ More We mainly focus on the effects of small changes of parameters on the dynamics of charged particles around the Kerr black hole surrounded by an external magnetic field, which can be considered as a tidal environment. The radial motions of charged particles on the equatorial plane are studied via an effective potential. It is found that the particle energies at the local maxima values of the effective potentials increase with an increase of the black hole spin and the particle angular momenta, but decrease with an increase of one of the inductive charge parameter and magnetic field parameter. The radii of stable circular orbits on the equatorial plane also increase, whereas those of the innermost stable circular orbits decrease. On the other hand, the effects of small variations of the parameters on the orbital regular and chaotic dynamics of charged particles on the non-equatorial plane are traced by means of a time-transformed explicit symplectic integrator, Poincaré sections and fast Lyapunov indicators. It is shown that the dynamics sensitively depends on small variations of the inductive charge parameter, magnetic field parameter, energy and angular momentum. Chaos occurs easily as each of the dynamical parameters increases. When the dragging effects of the spacetime increase, the chaotic properties are not always weakened under some circumstances. △ Less

Submitted 8 November, 2021; originally announced November 2021.

Comments: 26 pages, 11 figures, 6 tables

Stability of elliptic function solutions for the focusing modified KdV equation

Authors: Liming Ling, Xuan Sun

Abstract: We study the spectral and orbital stability of elliptic function solutions for the focusing modified Korteweg-de Vries (mKdV) equation and construct the corresponding breather solutions to exhibit the stable or unstable dynamic behavior. The elliptic function solutions of the mKdV equation and related fundamental solutions of the Lax pair are exactly represented by theta functions. Based on the `m… ▽ More We study the spectral and orbital stability of elliptic function solutions for the focusing modified Korteweg-de Vries (mKdV) equation and construct the corresponding breather solutions to exhibit the stable or unstable dynamic behavior. The elliptic function solutions of the mKdV equation and related fundamental solutions of the Lax pair are exactly represented by theta functions. Based on the `modified squared wavefunction' (MSW) method, we construct all linear independent solutions of the linearized mKdV equation and then provide a necessary and sufficient condition of the spectral stability for elliptic function solutions with respect to subharmonic perturbations. In the case of spectrum stability, the orbital stability of elliptic function solutions is established in a suitable Hilbert space. Using Darboux-Bäcklund transformation, we construct breather solutions to exhibit unstable or stable dynamic behavior. Through analyzing the asymptotic behavior, we find that the breather solution under the cn-type solution background is equivalent to the elliptic function solution adding a small perturbation as $t\to\pm\infty$. △ Less

Submitted 12 March, 2023; v1 submitted 12 September, 2021; originally announced September 2021.

Comments: 43pages, 10 figures

Report number: 109356

Journal ref: Adv. Math. 435(2023), 109356

Mating of trees for critical Liouville quantum gravity

Authors: Juhan Aru, Nina Holden, Ellen Powell, Xin Sun

Abstract: In a groundbreaking work, Duplantier, Miller and Sheffield showed that subcritical Liouville quantum gravity (LQG) coupled with Schramm-Loewner evolutions (SLE) can be described by the mating of two continuum random trees. In this paper, we consider the counterpart of their result for critical LQG and SLE, i.e., for the case when $γ^2=κ=16/κ=4$. We prove that as one sends $κ\downarrow 4$ in the su… ▽ More In a groundbreaking work, Duplantier, Miller and Sheffield showed that subcritical Liouville quantum gravity (LQG) coupled with Schramm-Loewner evolutions (SLE) can be described by the mating of two continuum random trees. In this paper, we consider the counterpart of their result for critical LQG and SLE, i.e., for the case when $γ^2=κ=16/κ=4$. We prove that as one sends $κ\downarrow 4$ in the subcritical setting, the space-filling SLE$_κ$ in a disk degenerates to the CLE$_4$ exploration introduced by Werner and Wu, along with a collection of i.i.d.\ coin tosses indexed by the branch points of the exploration. Furthermore, in the $κ=16/γ^2\downarrow 4$ limit, the pair of continuum random trees collapse into a single continuum random tree, and we observe that upon applying an appropriate affine transform to the encoding Brownian motions before taking the limit, we get convergence to a pair of independent Brownian motions $(A,B)$. The Brownian motion $A$ encodes the LQG distance from the CLE loops to the boundary of the disk, while the Brownian motion $B$ encodes the boundary lengths of the CLE$_4$ loops. In contrast to the subcritical setting, $(A,B)$ does not determine the CLE-decorated LQG surface. △ Less

Submitted 31 August, 2022; v1 submitted 1 September, 2021; originally announced September 2021.

Pointwise A Priori Estimates for Solutions to Some p-Laplacian Equations

Authors: Xiaoqiang Sun, Jiguang Bao

Abstract: In this paper, we apply blow-up analysis and Liouville type theorems to study pointwise a priori estimates for some quasilinear equations with p-Laplace operator. We first obtain pointwise interior estimates for the gradient of p-harmonic function, i.e., the solution of $Δ_{p}u=0,\ x\inΩ$, which extends the well-established results of the interior estimates of the gradient of harmonic function. We… ▽ More In this paper, we apply blow-up analysis and Liouville type theorems to study pointwise a priori estimates for some quasilinear equations with p-Laplace operator. We first obtain pointwise interior estimates for the gradient of p-harmonic function, i.e., the solution of $Δ_{p}u=0,\ x\inΩ$, which extends the well-established results of the interior estimates of the gradient of harmonic function. We then get singularity and decay estimates of the sign changing solution of Lane-Emden-Fowler type p-Laplace equation $-Δ_{p}u=|u|^{λ-1}u, \ x\inΩ$, which are then generalized for the equation with general right hand term $f(x,u)$, under some asymptotic conditions of $f$. Lastly, we get pointwise estimates for higher order derivatives of the solution of $-Δu=u^λ,x\inΩ$, the case of $p=2$ for p-Laplace equation. △ Less

Submitted 1 August, 2021; v1 submitted 27 July, 2021; originally announced July 2021.

Stability Analysis of Time-varying Delay Neural Network for Convex Quadratic Programming With Equality Constraints and Inequality Constraints

Authors: Ling Zhang, Xiaoqi Sun

Abstract: In this paper, a kind of neural network with time-varying delays is proposed to solve the problems of quadratic programming. The delay term of the neural network changes with time t. The number of neurons in the neural network is n + h, so the structure is more concise. The equilibrium point of the neural network is consistent with the optimal solution of the original optimization problem. The exi… ▽ More In this paper, a kind of neural network with time-varying delays is proposed to solve the problems of quadratic programming. The delay term of the neural network changes with time t. The number of neurons in the neural network is n + h, so the structure is more concise. The equilibrium point of the neural network is consistent with the optimal solution of the original optimization problem. The existence and uniqueness of the equilibrium point of the neural network are proved. Application inequality technique proved global exponential stability of the network. Some numerical examples are given to show that the proposed neural network model has good performance for solving optimization problems. △ Less

Submitted 14 July, 2021; originally announced July 2021.

Comments: This is a paper in submission. I want to contribute to the Journal of Nonlinear Analysis-Theory Methods & Applications

Perfect Sampling for (Atomic) Lovász Local Lemma

Authors: Kun He, Xiaoming Sun, Kewen Wu

Abstract: We give a Markov chain based perfect sampler for uniform sampling solutions of constraint satisfaction problems (CSP). Under some mild Lovász local lemma conditions where each constraint of the CSP has a small number of forbidden local configurations, our algorithm is accurate and efficient: it outputs a perfect uniform random solution and its expected running time is quasilinear in the number of… ▽ More We give a Markov chain based perfect sampler for uniform sampling solutions of constraint satisfaction problems (CSP). Under some mild Lovász local lemma conditions where each constraint of the CSP has a small number of forbidden local configurations, our algorithm is accurate and efficient: it outputs a perfect uniform random solution and its expected running time is quasilinear in the number of variables. Prior to our work, perfect samplers are only shown to exist for CSPs under much more restrictive conditions (Guo, Jerrum, and Liu, JACM'19). Our algorithm has two components: 1. A simple perfect sampling algorithm using bounding chains (Huber, STOC'98; Haggstrom and Nelander, Scandinavian Journal of Statistics'99). This sampler is efficient if each variable domain is small. 2. A simple but powerful state tensorization trick to reduce large domains to smaller ones. This trick is a generalization of state compression (Feng, He, and Yin, STOC'21). The crux of our analysis is a simple information percolation argument which allows us to achieve bounds even beyond current best approximate samplers (Jain, Pham, and Vuong, ArXiv'21). Previous related works either use intricate algorithms or need sophisticated analysis or even both. Thus we view the simplicity of both our algorithm and analysis as a strength of our work. △ Less

Submitted 8 July, 2021; originally announced July 2021.

Comments: 56 pages, 1 table, 5 figures, 9 algorithms