-
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.
-
Sharpened localization of the trailing point of the Pareto record frontier
Authors:
James Allen Fill,
Daniel Naiman,
Ao Sun
Abstract:
For $d\ge2$ and iid $d$-dimensional observations $X^{(1)},X^{(2)},\dots$ with independent Exponential$(1)$ coordinates, we revisit the study by Fill and Naiman (Electron. J. Probab., 2020) of the boundary (relative to the closed positive orthant), or "frontier", $F_n$ of the closed Pareto record-setting (RS) region \[ \mbox{RS}_n:=\{0\le x\in{\mathbb R}^d:x\not\prec X^{(i)}\mbox{\ for all…
▽ More
For $d\ge2$ and iid $d$-dimensional observations $X^{(1)},X^{(2)},\dots$ with independent Exponential$(1)$ coordinates, we revisit the study by Fill and Naiman (Electron. J. Probab., 2020) of the boundary (relative to the closed positive orthant), or "frontier", $F_n$ of the closed Pareto record-setting (RS) region \[ \mbox{RS}_n:=\{0\le x\in{\mathbb R}^d:x\not\prec X^{(i)}\mbox{\ for all $1\le i\le n$}\} \] at time $n$, where $0\le x$ means that $0\le x_j$ for $1\le j\le d$ and $x\prec y$ means that $x_j<y_j$ for $1\le j\le d$. With $x_+:=\sum_{j=1}^d x_j$, let \[ F_n^-:=\min\{x_+:x\in F_n\}\quad\mbox{and}\quad F_n^+:=\max\{x_+:x\in F_n\}. \] Almost surely, there are for each $n$ unique vectors $λ_n\in F_n$ and $τ_n\in F_n$ such that $F_n^+=(λ_n)_+$ and $F_n^-=(τ_n)_+$; we refer to $λ_n$ and $τ_n$ as the leading and trailing points, respectively, of the frontier. Fill and Naiman provided rather sharp information about the typical and almost sure behavior of $F^+$, but somewhat crude information about $F^-$, namely, that for any $\varepsilon >0$ and $c_n\to\infty$ we have \[ {\mathbb P}(F_n^- -\ln n\in (-(2+\varepsilon)\ln\ln\ln n,c_n))\to 1 \] (describing typical behavior) and almost surely \[ \limsup \frac{F_n^- - \ln n}{\ln \ln n} \le 0 \quad \mbox{and} \quad \liminf \frac{F_n^- - \ln n}{\ln \ln \ln n} \in [-2, -1]. \]
In this paper we use the theory of generators (minima of $F_n$) together with the first- and second-moment methods to improve considerably the trailing-point location results to \[ F_n^- - (\ln n - \ln \ln \ln n) \overset{\mathrm{P}}{\longrightarrow} - \ln(d - 1) \] (describing typical behavior) and, for $d \ge 3$, almost surely \begin{align*} &\limsup [F_n^- - (\ln n - \ln \ln \ln n)] \leq -\ln(d - 2) + \ln 2 \\ \mbox{and }&\liminf [F_n^- - (\ln n - \ln \ln \ln n)] \ge - \ln d - \ln 2. \end{align*}
△ Less
Submitted 27 February, 2024;
originally announced February 2024.
-
On the probability of a Pareto record
Authors:
James Allen Fill,
Ao Sun
Abstract:
Given a sequence of independent random vectors taking values in ${\mathbb R}^d$ and having common continuous distribution function $F$, say that the $n^{\rm \scriptsize th}$ observation sets a (Pareto) record if it is not dominated (in every coordinate) by any preceding observation. Let $p_n(F) \equiv p_{n, d}(F)$ denote the probability that the $n^{\rm \scriptsize th}$ observation sets a record.…
▽ More
Given a sequence of independent random vectors taking values in ${\mathbb R}^d$ and having common continuous distribution function $F$, say that the $n^{\rm \scriptsize th}$ observation sets a (Pareto) record if it is not dominated (in every coordinate) by any preceding observation. Let $p_n(F) \equiv p_{n, d}(F)$ denote the probability that the $n^{\rm \scriptsize th}$ observation sets a record. There are many interesting questions to address concerning $p_n$ and multivariate records more generally, but this short paper focuses on how $p_n$ varies with $F$, particularly if, under $F$, the coordinates exhibit negative dependence or positive dependence (rather than independence, a more-studied case). We introduce new notions of negative and positive dependence ideally suited for such a study, called negative record-setting probability dependence (NRPD) and positive record-setting probability dependence (PRPD), relate these notions to existing notions of dependence, and for fixed $d \geq 2$ and $n \geq 1$ prove that the image of the map** $p_n$ on the domain of NRPD (respectively, PRPD) distributions is $[p^*_n, 1]$ (resp., $[n^{-1}, p^*_n]$), where $p^*_n$ is the record-setting probability for any continuous $F$ governing independent coordinates.
△ Less
Submitted 5 May, 2024; v1 submitted 27 February, 2024;
originally announced February 2024.
-
Mean curvature flow with multiplicity $2$ convergence in closed manifolds
Authors:
**gwen Chen,
Ao Sun
Abstract:
We construct new examples of immortal mean curvature flow of smooth embedded connected hypersurfaces in closed manifolds, which converge to minimal hypersurfaces with multiplicity $2$ as time approaches infinity.
We construct new examples of immortal mean curvature flow of smooth embedded connected hypersurfaces in closed manifolds, which converge to minimal hypersurfaces with multiplicity $2$ as time approaches infinity.
△ Less
Submitted 6 February, 2024;
originally announced February 2024.
-
Mean curvature flow with multiplicity 2 convergence
Authors:
**gwen Chen,
Ao Sun
Abstract:
We construct a new example of an immortal mean curvature flow of smooth embedded connected surfaces in $\mathbb R^3$, which converges to a plane with multiplicity $2$ as time approaches infinity.
We construct a new example of an immortal mean curvature flow of smooth embedded connected surfaces in $\mathbb R^3$, which converges to a plane with multiplicity $2$ as time approaches infinity.
△ Less
Submitted 13 January, 2024; v1 submitted 28 December, 2023;
originally announced December 2023.
-
Genus one singularities in mean curvature flow
Authors:
Adrian Chun-Pong Chu,
Ao Sun
Abstract:
We show that for certain one-parameter families of initial conditions in $\mathbb R^3$, when we run mean curvature flow, a genus one singularity must appear in one of the flows. Moreover, such a singularity is robust under perturbation of the family of initial conditions. This contrasts sharply with the case of just a single flow. As an application, we construct an embedded, genus one self-shrinke…
▽ More
We show that for certain one-parameter families of initial conditions in $\mathbb R^3$, when we run mean curvature flow, a genus one singularity must appear in one of the flows. Moreover, such a singularity is robust under perturbation of the family of initial conditions. This contrasts sharply with the case of just a single flow. As an application, we construct an embedded, genus one self-shrinker with entropy lower than a shrinking doughnut.
△ Less
Submitted 10 August, 2023;
originally announced August 2023.
-
Carbon-Aware Optimal Power Flow
Authors:
Xin Chen,
Andy Sun,
Wenbo Shi,
Na Li
Abstract:
To facilitate effective decarbonization of the electric power sector, this paper introduces the generic Carbon-aware Optimal Power Flow (C-OPF) method for power system decision-making that considers demand-side carbon accounting and emission management. Built upon the classic optimal power flow (OPF) model, the C-OPF method incorporates carbon emission flow equations and constraints, as well as ca…
▽ More
To facilitate effective decarbonization of the electric power sector, this paper introduces the generic Carbon-aware Optimal Power Flow (C-OPF) method for power system decision-making that considers demand-side carbon accounting and emission management. Built upon the classic optimal power flow (OPF) model, the C-OPF method incorporates carbon emission flow equations and constraints, as well as carbon-related objectives, to jointly optimize power flow and carbon flow. In particular, this paper establishes the invertibility of the carbon flow matrix and proposes modeling and linearization techniques to address the issues of undetermined power flow directions and bilinear terms in the C-OPF model. Additionally, two novel carbon emission models, together with the carbon accounting schemes, for energy storage systems are developed and integrated into the C-OPF model. Numerical simulations demonstrate the characteristics and effectiveness of the C-OPF method, in comparison with OPF solutions.
△ Less
Submitted 6 August, 2023;
originally announced August 2023.
-
Amending the Lonely Runner Spectrum Conjecture
Authors:
Ho Tin Fan,
Alec Sun
Abstract:
Let $\|x\|$ be the absolute distance from $x$ to the nearest integer. For a set of distinct positive integral speeds $v_1, \ldots, v_n$, we define its maximum loneliness to be
$$\text{ML}(v_1,\ldots,v_n) = \max_{t \in \mathbb{R}}\min_{1 \leq i \leq n} \|tv_i\|$$
The Loneliness Spectrum Conjecture, recently proposed by Kravitz, asserts that…
▽ More
Let $\|x\|$ be the absolute distance from $x$ to the nearest integer. For a set of distinct positive integral speeds $v_1, \ldots, v_n$, we define its maximum loneliness to be
$$\text{ML}(v_1,\ldots,v_n) = \max_{t \in \mathbb{R}}\min_{1 \leq i \leq n} \|tv_i\|$$
The Loneliness Spectrum Conjecture, recently proposed by Kravitz, asserts that
$$\exists s \in \mathbb{N}, \text{ML}(v_1,\ldots,v_n) = \frac{s} {sn + 1} \text{ or } \text{ML}(v_1,\ldots,v_n) \ge \frac{1}{n}$$
We disprove the Loneliness Spectrum Conjecture for $n = 4$ and propose an alternative conjecture. We confirm the amended conjecture for $n = 4$ if any pair of speeds share a common factor of at least $3$ and also prove some related results.
△ Less
Submitted 17 June, 2023;
originally announced June 2023.
-
On mean curvature flow translators with prescribed ends
Authors:
Ao Sun,
Zhihan Wang
Abstract:
Given a smooth closed embedded self-shrinker $S$ with index $I$ in $\mathbb R^{n}$, we construct an $I$-dimensional family of complete translators polynomially asymptotic to $S\times\mathbb R$ at infinity. We further prove that $\mathbb R^{n+1}$ can be decomposed in many ways into a one-parameter family of closed sets $\coprod_{a\in \mathbb R} T_a$, and each closed set $T_a$ contains a complete tr…
▽ More
Given a smooth closed embedded self-shrinker $S$ with index $I$ in $\mathbb R^{n}$, we construct an $I$-dimensional family of complete translators polynomially asymptotic to $S\times\mathbb R$ at infinity. We further prove that $\mathbb R^{n+1}$ can be decomposed in many ways into a one-parameter family of closed sets $\coprod_{a\in \mathbb R} T_a$, and each closed set $T_a$ contains a complete translator asymptotic to $S\times\mathbb R$ at infinity. If the closed set $T_a$ fattens, namely it has nonempty interior, then there are at least two translators asymptotic to each other at an exponential rate, which can be viewed as a kind of nonuniqueness. We show that this fattening phenomenon is non-generic but indeed happens.
△ Less
Submitted 19 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.
-
Ill/well-posedness of non-diffusive active scalar equations with physical applications
Authors:
Susan Friedlander,
Anthony Suen,
Fei Wang
Abstract:
We consider a general class of non-diffusive active scalar equations with constitutive laws obtained via an operator $\mathbf{T}$ that is singular of order $r_0\in[0,2]$. For $r_0\in(0,1]$ we prove well-posedness in Gevrey spaces $G^s$ with $s\in[1,\frac{1}{r_0})$, while for $r_0\in[1,2]$ and further conditions on $\mathbf{T}$ we prove ill-posedness in $G^s$ for suitable $s$. We then apply the ill…
▽ More
We consider a general class of non-diffusive active scalar equations with constitutive laws obtained via an operator $\mathbf{T}$ that is singular of order $r_0\in[0,2]$. For $r_0\in(0,1]$ we prove well-posedness in Gevrey spaces $G^s$ with $s\in[1,\frac{1}{r_0})$, while for $r_0\in[1,2]$ and further conditions on $\mathbf{T}$ we prove ill-posedness in $G^s$ for suitable $s$. We then apply the ill/well-posedness results to several specific non-diffusive active scalar equations including the magnetogeostrophic equation, the incompressible porous media equation and the singular incompressible porous media equation.
△ Less
Submitted 4 December, 2022;
originally announced December 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.
-
Generic mean curvature flows with cylindrical singularities
Authors:
Ao Sun,
**xin Xue
Abstract:
This paper examines the dynamics of mean curvature flow as it approaches a cylindrical singularity. We reveal the mechanism for the isolatedness of cylindrical singularities in terms of the normal form of the asymptotic expansion of the rescaled mean curvature flow and formulate the notion of nondegeneracy of a cylindrical singularity.
Our findings show that, generically, such a non-degenerate s…
▽ More
This paper examines the dynamics of mean curvature flow as it approaches a cylindrical singularity. We reveal the mechanism for the isolatedness of cylindrical singularities in terms of the normal form of the asymptotic expansion of the rescaled mean curvature flow and formulate the notion of nondegeneracy of a cylindrical singularity.
Our findings show that, generically, such a non-degenerate singularity is robust and isolated. In the presence of more complicated singularity sets such as in the example of a marriage ring, we demonstrate how to make the first-time singularity set a singleton by an arbitrarily small initial perturbation. These discoveries have implications for the level set flows' generic low regularity and the type-I nature of generic rotational MCFs. Additionally, the paper introduces the concept of a ``firecracker'' type singularity and its significance in studying the isolatedness of cylindrical singularities. The research combines techniques and concepts from geometric flows, dynamical systems, and semilinear heat equations.
△ Less
Submitted 20 May, 2024; v1 submitted 2 October, 2022;
originally announced October 2022.
-
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.
-
Generic regularity of Level Set Flows with spherical singularity
Authors:
Ao Sun,
**xin Xue
Abstract:
The sphere is well-known as the only generic compact shrinker for mean curvature flow (MCF). In this paper, we characterize the generic dynamics of MCFs with a spherical singularity. In terms of the level set flow formulation of MCF, we establish that generically the arrival time function of level set flow with spherical singularity has at most $C^2$ regularity.
The sphere is well-known as the only generic compact shrinker for mean curvature flow (MCF). In this paper, we characterize the generic dynamics of MCFs with a spherical singularity. In terms of the level set flow formulation of MCF, we establish that generically the arrival time function of level set flow with spherical singularity has at most $C^2$ regularity.
△ Less
Submitted 20 March, 2024; v1 submitted 16 April, 2022;
originally announced April 2022.
-
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.
-
Existence of minimal hypersurfaces with arbitrarily large area and possible obstructions
Authors:
James Stevens,
Ao Sun
Abstract:
We prove that in a closed Riemannian manifold with dimension between $3$ and $7$, either there are minimal hypersurfaces with arbitrarily large area, or there exist uncountably many stable minimal hypersurfaces. Moreover, the latter case has a very pathological Cantor set structure which does not show up in certain manifolds. Among the applications, we prove that there exist minimal hypersurfaces…
▽ More
We prove that in a closed Riemannian manifold with dimension between $3$ and $7$, either there are minimal hypersurfaces with arbitrarily large area, or there exist uncountably many stable minimal hypersurfaces. Moreover, the latter case has a very pathological Cantor set structure which does not show up in certain manifolds. Among the applications, we prove that there exist minimal hypersurfaces with arbitrarily large area in analytic manifolds. In the proof, we use the Almgren-Pitts min-max theory proposed by Marques-Neves, the ideas developed by Song in his proof of Yau's conjecture, and the resolution of the generic multiplicity-one conjecture by Zhou.
△ Less
Submitted 24 May, 2024; v1 submitted 4 December, 2021;
originally announced December 2021.
-
Dual Descent ALM and ADMM
Authors:
Kaizhao Sun,
Andy Sun
Abstract:
Classical primal-dual algorithms attempt to solve $\max_μ\min_{x} \mathcal{L}(x,μ)$ by alternatively minimizing over the primal variable $x$ through primal descent and maximizing the dual variable $μ$ through dual ascent. However, when $\mathcal{L}(x,μ)$ is highly nonconvex with complex constraints in $x$, the minimization over $x$ may not achieve global optimality, and hence the dual ascent step…
▽ More
Classical primal-dual algorithms attempt to solve $\max_μ\min_{x} \mathcal{L}(x,μ)$ by alternatively minimizing over the primal variable $x$ through primal descent and maximizing the dual variable $μ$ through dual ascent. However, when $\mathcal{L}(x,μ)$ is highly nonconvex with complex constraints in $x$, the minimization over $x$ may not achieve global optimality, and hence the dual ascent step loses its valid intuition. This observation motivates us to propose a new class of primal-dual algorithms for nonconvex constrained optimization with the key feature to reverse dual ascent to a conceptually new dual descent, in a sense, elevating the dual variable to the same status as the primal variable. Surprisingly, this new dual scheme achieves some best iteration complexities for solving nonconvex optimization problems. In particular, when the dual descent step is scaled by a fractional constant, we name it scaled dual descent (SDD), otherwise, unscaled dual descent (UDD). For nonconvex multiblock optimization with nonlinear equality constraints, we propose SDD-ADMM and show that it finds an $ε$-stationary solution in $\mathcal{O}(ε^{-4})$ iterations. The complexity is further improved to $\mathcal{O}(ε^{-3})$ and $\mathcal{O}(ε^{-2})$ under proper conditions. We also propose UDD-ALM, combining UDD with ALM, for weakly convex minimization over affine constraints. We show that UDD-ALM finds an $ε$-stationary solution in $\mathcal{O}(ε^{-2})$ iterations. These complexity bounds for both algorithms either achieve or improve the best-known results in the ADMM and ALM literature. Moreover, SDD-ADMM addresses a long-standing limitation of existing ADMM frameworks.
△ Less
Submitted 16 November, 2023; v1 submitted 27 September, 2021;
originally announced September 2021.
-
Rigidity of spherical product Ricci solitons
Authors:
Ao Sun,
Jonathan J. Zhu
Abstract:
We show that $S^2\times S^2$ is isolated as a shrinking Ricci soliton in the space of metrics, up to scaling and diffeomorphism. We also prove the same rigidity for $S^2\times N$, where $N$ belongs to a certain class of closed Einstein manifolds. These results are the Ricci flow analogues of our results for Clifford-type shrinking solitons for the mean curvature flow.
We show that $S^2\times S^2$ is isolated as a shrinking Ricci soliton in the space of metrics, up to scaling and diffeomorphism. We also prove the same rigidity for $S^2\times N$, where $N$ belongs to a certain class of closed Einstein manifolds. These results are the Ricci flow analogues of our results for Clifford-type shrinking solitons for the mean curvature flow.
△ Less
Submitted 27 March, 2023; v1 submitted 4 August, 2021;
originally announced August 2021.
-
Initial Perturbation of the Mean Curvature Flow for Asymptotical Conical Limit Shrinker
Authors:
Ao Sun,
**xin Xue
Abstract:
This is the second paper in the series to study the initial perturbation of mean curvature flow. We study the initial perturbation of mean curvature flow, whose first singularity is modeled by an asymptotic conical shrinker. The noncompactness of the limiting shrinker creates essential difficulties.
We introduce the Feynman-Kac formula to get precise asymptotic behaviour of the linearized rescal…
▽ More
This is the second paper in the series to study the initial perturbation of mean curvature flow. We study the initial perturbation of mean curvature flow, whose first singularity is modeled by an asymptotic conical shrinker. The noncompactness of the limiting shrinker creates essential difficulties.
We introduce the Feynman-Kac formula to get precise asymptotic behaviour of the linearized rescaled mean curvature equation along an orbit. We also develop the invariant cone method to the non-compact setting for the local dynamics near the shrinker. As a consequence, we prove that after a generic initial perturbation, the perturbed rescaled mean curvature flow avoids the conical singularity.
△ Less
Submitted 11 July, 2021;
originally announced July 2021.
-
A Hybrid SIE-PDE Formulation Without Boundary Condition Requirement for Transverse Magnetic Electromagnetic Analysis
Authors:
Aipeng Sun,
Zekun Zhu,
Shunchuan Yang,
Zhizhang,
Chen
Abstract:
A hybrid surface integral equation partial differential equation (SIE-PDE) formulation without the boundary condition requirement is proposed to solve the transverse magnetic (TM) electromagnetic problems. In the proposed formulation, the computational domain is decomposed into two overlap** domains: the SIE and PDE domains. In the SIE domain, complex structures with piecewise homogeneous media,…
▽ More
A hybrid surface integral equation partial differential equation (SIE-PDE) formulation without the boundary condition requirement is proposed to solve the transverse magnetic (TM) electromagnetic problems. In the proposed formulation, the computational domain is decomposed into two overlap** domains: the SIE and PDE domains. In the SIE domain, complex structures with piecewise homogeneous media, e.g., highly conductive media, are included. An equivalent model for those structures is constructed by replacing them with the background medium and introducing a surface equivalent electric current density on an enclosed boundary to represent their electromagnetic effects. The remaining computational domain and homogeneous background medium replaced domain consist of the PDE domain, in which inhomogeneous or non-isotropic media are included. Through combining the surface equivalent electric current density and the inhomogeneous Helmholtz equation, a hybrid SIE-PDE formulation is derived. It requires no boundary conditions, and is mathematically equivalent to the original physical model. Through careful construction of basis functions to expand electric fields and the equivalent current density, the discretized formulation is made compatible with the SIE and PDE domain interface. The accuracy and efficiency are validated through two numerical examples. Results show that the proposed SIE-PDE formulation can obtain accurate results, and significant performance improvements in terms of CPU time and memory consumption compared with the FEM are achieved.
△ Less
Submitted 18 October, 2021; v1 submitted 30 May, 2021;
originally announced May 2021.
-
Initial Perturbation of the Mean Curvature Flow for closed limit shrinker
Authors:
Ao Sun,
**xin Xue
Abstract:
This is a contribution to the program of dynamical approach to mean curvature flow initiated by Colding and Minicozzi. In this paper, we prove two main theorems. The first one is local in nature and the second one is global. In this first result, we pursue the stream of ideas of \cite{CM3} and get a slight refinement of their results. We apply the invariant manifold theory from hyperbolic dynamics…
▽ More
This is a contribution to the program of dynamical approach to mean curvature flow initiated by Colding and Minicozzi. In this paper, we prove two main theorems. The first one is local in nature and the second one is global. In this first result, we pursue the stream of ideas of \cite{CM3} and get a slight refinement of their results. We apply the invariant manifold theory from hyperbolic dynamics to study the dynamics close to a closed shrinker that is not a sphere. In the second theorem, we show that if a hypersurface under the rescaled mean curvature flow converges to a closed shrinker that is not a sphere, then a generic perturbation on initial data would make the flow leave a small neighborhood of the shrinker and never come back.
△ Less
Submitted 11 July, 2021; v1 submitted 7 April, 2021;
originally announced April 2021.
-
Algorithms for Difference-of-Convex (DC) Programs Based on Difference-of-Moreau-Envelopes Smoothing
Authors:
Kaizhao Sun,
Xu Andy Sun
Abstract:
In this paper we consider minimization of a difference-of-convex (DC) function with and without linear constraints. We first study a smooth approximation of a generic DC function, termed difference-of-Moreau-envelopes (DME) smoothing, where both components of the DC function are replaced by their respective Moreau envelopes. The resulting smooth approximation is shown to be Lipschitz differentiabl…
▽ More
In this paper we consider minimization of a difference-of-convex (DC) function with and without linear constraints. We first study a smooth approximation of a generic DC function, termed difference-of-Moreau-envelopes (DME) smoothing, where both components of the DC function are replaced by their respective Moreau envelopes. The resulting smooth approximation is shown to be Lipschitz differentiable, capture stationary points, local, and global minima of the original DC function, and enjoy some growth conditions, such as level-boundedness and coercivity, for broad classes of DC functions. We then develop four algorithms for solving DC programs with and without linear constraints based on the DME smoothing. In particular, for a smoothed DC program without linear constraints, we show that the classic gradient descent method as well as an inexact variant can obtain a stationary solution in the limit with a convergence rate of $\mathcal{O}(K^{-1/2})$, where $K$ is the number of proximal evaluations of both components. Furthermore, when the DC program is explicitly constrained in an affine subspace, we combine the smoothing technique with the augmented Lagrangian function and derive two variants of the augmented Lagrangian method (ALM), named LCDC-ALM and composite LCDC-ALM, focusing on different structures of the DC objective function. We show that both algorithms find an $ε$-approximate stationary solution of the original DC program in $\mathcal{O}(ε^{-2})$ iterations. Comparing to existing methods designed for linearly constrained weakly convex minimization, the proposed ALM-based algorithms can be applied to a broader class of problems, where the objective contains a nonsmooth concave component. Finally, numerical experiments are presented to demonstrate the performance of the proposed algorithms.
△ Less
Submitted 17 November, 2022; v1 submitted 3 April, 2021;
originally announced April 2021.
-
A Distributed Scheme for Stability Assessment in Large-Scale Structure-Preserving Models via Singular Perturbation
Authors:
Amin Gholami,
Xu Andy Sun
Abstract:
Assessing small-signal stability of power systems composed of thousands of interacting generators is a computationally challenging task. To reduce the computational burden, this paper introduces a novel condition to assess and certify small-signal stability. Using this certificate, we can see the impact of network topology and system parameters (generators' dam** and inertia) on the eigenvalues…
▽ More
Assessing small-signal stability of power systems composed of thousands of interacting generators is a computationally challenging task. To reduce the computational burden, this paper introduces a novel condition to assess and certify small-signal stability. Using this certificate, we can see the impact of network topology and system parameters (generators' dam** and inertia) on the eigenvalues of the system. The proposed certificate is derived from rigorous analysis of the classical structure-preserving swing equation model and has a physically insightful interpretation related to the generators' parameters and reactive power. To develop the certificate, we use singular perturbation techniques, and in the process, we establish the relationship between the structure-preserving model and its singular perturbation counterpart. As the proposed method is fully distributed and uses only local measurements, its computational cost does not increase with the size of the system. The effectiveness of the scheme is numerically illustrated on the WSCC system.
△ Less
Submitted 29 March, 2021;
originally announced March 2021.
-
Stability of Multi-Microgrids: New Certificates, Distributed Control, and Braess's Paradox
Authors:
Amin Gholami,
Xu Andy Sun
Abstract:
This paper investigates the theory of resilience and stability in multi-microgrid networks. We derive new sufficient conditions to guarantee small-signal stability of multi-microgrids in both lossless and lossy networks. The new stability certificate for lossy networks only requires local information, thus leads to a fully distributed control scheme. Moreover, we study the impact of network topolo…
▽ More
This paper investigates the theory of resilience and stability in multi-microgrid networks. We derive new sufficient conditions to guarantee small-signal stability of multi-microgrids in both lossless and lossy networks. The new stability certificate for lossy networks only requires local information, thus leads to a fully distributed control scheme. Moreover, we study the impact of network topology, interface parameters (virtual inertia and dam**), and local measurements (voltage magnitude and reactive power) on the stability of the system. The proposed stability certificate suggests the existence of Braess's Paradox in the stability of multi-microgrids, i.e. adding more connections between microgrids could worsen the multi-microgrid system stability as a whole. We also extend the presented analysis to structure-preserving network models, and provide a stability certificate as a function of original network parameters, instead of the Kron reduced network parameters. We provide a detailed numerical study of the proposed certificate, the distributed control scheme, and a coordinated control approach with line switching. The simulation shows the effectiveness of the proposed stability conditions and control schemes in a four-microgrid network, IEEE 33-bus system, and several large-scale synthetic grids.
△ Less
Submitted 28 March, 2021;
originally announced March 2021.
-
Existence, stability and long time behaviour of weak solutions of the three-dimensional compressible Navier-Stokes equations with potential force
Authors:
Anthony Suen
Abstract:
We address the global-in-time existence, stability and long time behaviour of weak solutions of the three-dimensional compressible Navier-Stokes equations with potential force. We show the details of the $α$-dependence of different smoothing rates for weak solutions near $t=0$ under the assumption on the initial velocity $u_0$ that $u_0\in H^α$ for $α\in(\frac{1}{2},1]$ and obtain long time conver…
▽ More
We address the global-in-time existence, stability and long time behaviour of weak solutions of the three-dimensional compressible Navier-Stokes equations with potential force. We show the details of the $α$-dependence of different smoothing rates for weak solutions near $t=0$ under the assumption on the initial velocity $u_0$ that $u_0\in H^α$ for $α\in(\frac{1}{2},1]$ and obtain long time convergence of weak solutions in various norms. We then make use of the Lagrangean framework in comparing the instantaneous states of corresponding fluid particles in two different solutions. The present work provides qualitative results on the long time behaviour of weak solutions and how the weak solutions depend continuously on initial data and steady states.
△ Less
Submitted 27 March, 2021; v1 submitted 22 March, 2021;
originally announced March 2021.
-
Uniqueness of weak solutions of the three-dimensional compressible Navier-Stokes equations with potential force
Authors:
Anthony Suen
Abstract:
We prove uniqueness of weak solutions of the three-dimensional compressible Navier-Stokes equations with potential force. We make use of the Lagrangean framework in comparing the instantaneous states of corresponding fluid particles in two different solutions. The present work provides qualitative results on how the weak solutions depend continuously on initial data and steady states.
We prove uniqueness of weak solutions of the three-dimensional compressible Navier-Stokes equations with potential force. We make use of the Lagrangean framework in comparing the instantaneous states of corresponding fluid particles in two different solutions. The present work provides qualitative results on how the weak solutions depend continuously on initial data and steady states.
△ Less
Submitted 13 December, 2020;
originally announced December 2020.
-
Global regularity for the 3D compressible magnetohydrodynamics with general pressure
Authors:
Anthony Suen
Abstract:
We address the compressible magnetohydrodynamics (MHD) equations in $\mathbb{R}^3$ and establish a blow-up criterion for the local strong solutions in terms of the density only. Namely, if the density is away from vacuum ($ρ= 0$) and the concentration of mass ($ρ=\infty$), then a local strong solution can be continued globally in time. The results generalise and strengthen the previous ones in the…
▽ More
We address the compressible magnetohydrodynamics (MHD) equations in $\mathbb{R}^3$ and establish a blow-up criterion for the local strong solutions in terms of the density only. Namely, if the density is away from vacuum ($ρ= 0$) and the concentration of mass ($ρ=\infty$), then a local strong solution can be continued globally in time. The results generalise and strengthen the previous ones in the sense that there is no magnetic field present in the criterion and the assumption on the pressure is significantly relaxed. The proof is based on some new a priori estimates for three-dimensional compressible MHD equations.
△ Less
Submitted 5 December, 2020;
originally announced December 2020.
-
Some Serrin type blow-up criteria for the three-dimensional viscous compressible flows with large external potential force
Authors:
Anthony Suen
Abstract:
We provide a Serrin type blow-up criterion for the 3-D viscous compressible flows with large external potential force. For the Cauchy problem of the 3-D compressible Navier-Stokes system with potential force term, it can be proved that the strong solution exists globally if the velocity satisfies the Serrin's condition and the sup-norm of the density is bounded. Furthermore, in the case of isother…
▽ More
We provide a Serrin type blow-up criterion for the 3-D viscous compressible flows with large external potential force. For the Cauchy problem of the 3-D compressible Navier-Stokes system with potential force term, it can be proved that the strong solution exists globally if the velocity satisfies the Serrin's condition and the sup-norm of the density is bounded. Furthermore, in the case of isothermal flows with no vacuum, the Serrin's condition on the velocity can be removed from the claimed criterion.
△ Less
Submitted 15 October, 2021; v1 submitted 30 November, 2020;
originally announced November 2020.
-
Large friction limit of the compressible Navier-Stokes equations with Navier Boundary conditions in general three-dimensional domains
Authors:
Anthony Suen
Abstract:
In this paper, we study the Navier-Stokes equations of compressible, barotropic flow posed in a bounded set in $\mathbb{R}^3$ with different boundary conditions. Specifically, we prove that the local-in-time smooth solution of the Navier-Stokes equations with Navier boundary condition converges to the smooth solution of the Navier-Stokes equations with no-slip boundary condition as the Navier fric…
▽ More
In this paper, we study the Navier-Stokes equations of compressible, barotropic flow posed in a bounded set in $\mathbb{R}^3$ with different boundary conditions. Specifically, we prove that the local-in-time smooth solution of the Navier-Stokes equations with Navier boundary condition converges to the smooth solution of the Navier-Stokes equations with no-slip boundary condition as the Navier friction coefficient tends to infinity.
△ Less
Submitted 22 November, 2020;
originally announced November 2020.
-
On a class of forced active scalar equations with small diffusive parameters
Authors:
Susan Friedlander,
Anthony Suen
Abstract:
Many equations that model fluid behaviour are derived from systems that encompass multiple physical forces. When the equations are written in non dimensional form appropriate to the physics of the situation, the resulting partial differential equations often contain several small parameters. We study a general class of such PDEs called active scalar equations which in specific parameter regimes pr…
▽ More
Many equations that model fluid behaviour are derived from systems that encompass multiple physical forces. When the equations are written in non dimensional form appropriate to the physics of the situation, the resulting partial differential equations often contain several small parameters. We study a general class of such PDEs called active scalar equations which in specific parameter regimes produce certain well known models for fluid motion. We address various mathematical questions relating to well-posedness, regularity and long time behaviour of the solutions to this general class including vanishing limits of several diffusive parameters.
△ Less
Submitted 15 November, 2020;
originally announced November 2020.
-
Existence and a blow-up criterion of solution to the 3D compressible Navier-Stokes-Poisson equations with finite energy
Authors:
Anthony Suen
Abstract:
We study the low-energy solutions to the 3D compressible Navier-Stokes-Poisson equations. We first obtain the existence of smooth solutions with small $L^2$-norm and essentially bounded densities. No smallness assumption is imposed on the $H^4$-norm of the initial data. Using a compactness argument, we further obtain the existence of weak solutions which may have discontinuities across some hypers…
▽ More
We study the low-energy solutions to the 3D compressible Navier-Stokes-Poisson equations. We first obtain the existence of smooth solutions with small $L^2$-norm and essentially bounded densities. No smallness assumption is imposed on the $H^4$-norm of the initial data. Using a compactness argument, we further obtain the existence of weak solutions which may have discontinuities across some hypersurfaces in $\mathbb{R}^3$. We also provide a blow-up criterion of solutions in terms of the $L^\infty$-norm of density.
△ Less
Submitted 11 November, 2020;
originally announced November 2020.
-
Existence and uniqueness of low-energy weak solutions to the compressible 3D magnetohydrodynamics equations
Authors:
Anthony Suen
Abstract:
We prove the existence and uniqueness of weak solutions of the three dimensional compressible magnetohydrodynamics (MHD) equations. We first obtain the existence of weak solutions with small $L^2$-norm which may display codimension-one discontinuities in density, pressure, magnetic field and velocity gradient. The weak solutions we consider here exhibit just enough regularity and structure which a…
▽ More
We prove the existence and uniqueness of weak solutions of the three dimensional compressible magnetohydrodynamics (MHD) equations. We first obtain the existence of weak solutions with small $L^2$-norm which may display codimension-one discontinuities in density, pressure, magnetic field and velocity gradient. The weak solutions we consider here exhibit just enough regularity and structure which allow us to develop uniqueness and continuous dependence theory for the compressible MHD equations. Our results generalise and extend those for the intermediate weak solutions of compressible Navier-Stokes equations.
△ Less
Submitted 11 November, 2020;
originally announced November 2020.
-
Multiplicity one for min-max theory in compact manifolds with boundary and its applications
Authors:
Ao Sun,
Zhichao Wang,
Xin Zhou
Abstract:
We prove the multiplicity one theorem for min-max free boundary minimal hypersurfaces in compact manifolds with boundary of dimension between 3 and 7 for generic metrics. To approach this, we develop existence and regularity theory for free boundary hypersurface with prescribed mean curvature, which includes the regularity theory for minimizers, compactness theory, and a generic min-max theory wit…
▽ More
We prove the multiplicity one theorem for min-max free boundary minimal hypersurfaces in compact manifolds with boundary of dimension between 3 and 7 for generic metrics. To approach this, we develop existence and regularity theory for free boundary hypersurface with prescribed mean curvature, which includes the regularity theory for minimizers, compactness theory, and a generic min-max theory with Morse index bounds. As applications, we construct new free boundary minimal hypersurfaces in the unit balls in Euclidean spaces and self-shrinkers of the mean curvature flows with arbitrarily large entropy.
△ Less
Submitted 8 November, 2020;
originally announced November 2020.
-
Rigidity and Łojasiewicz inequalities for Clifford self-shrinkers
Authors:
Ao Sun,
Jonathan J. Zhu
Abstract:
We show that the product of two round shrinking spheres is an isolated self-shrinker in any codimension, modulo rotations. Moreover we prove explicit Łojasiewicz inequalities near such products. Łojasiewicz inequalities were previously used by Schulze to prove uniqueness of tangent mean curvature flows at compact shrinkers; our results provide an explicit rate of convergence to products of two sph…
▽ More
We show that the product of two round shrinking spheres is an isolated self-shrinker in any codimension, modulo rotations. Moreover we prove explicit Łojasiewicz inequalities near such products. Łojasiewicz inequalities were previously used by Schulze to prove uniqueness of tangent mean curvature flows at compact shrinkers; our results provide an explicit rate of convergence to products of two spheres.
△ Less
Submitted 3 November, 2020;
originally announced November 2020.
-
Probabilistic Zero Forcing on Grid, Regular, and Hypercube Graphs
Authors:
David Hu,
Alec Sun
Abstract:
Probabilistic zero-forcing is a coloring process on a graph. In this process, an initial set of vertices is colored blue, and the remaining vertices are colored white. At each time step, blue vertices have a non-zero probability of forcing white neighbors to blue. The expected propagation time is the expected amount of time needed for every vertex to be colored blue. We derive asymptotic bounds fo…
▽ More
Probabilistic zero-forcing is a coloring process on a graph. In this process, an initial set of vertices is colored blue, and the remaining vertices are colored white. At each time step, blue vertices have a non-zero probability of forcing white neighbors to blue. The expected propagation time is the expected amount of time needed for every vertex to be colored blue. We derive asymptotic bounds for the expected propagation time of several families of graphs. We prove the optimal asymptotic bound of $Θ(m+n)$ for $m\times n$ grid graphs. We prove an upper bound of $O \left(\frac{\log d}{d} \cdot n \right)$ for $d$-regular graphs on $n$ vertices and provide a graph construction that exhibits a lower bound of $Ω\left(\frac{\log \log d}{d} \cdot n \right)$. Finally, we prove an asymptotic upper bound of $O(n \log n)$ for hypercube graphs on $2^n$ vertices.
△ Less
Submitted 21 October, 2020;
originally announced October 2020.
-
On Distributionally Robust Multistage Convex Optimization: New Algorithms and Complexity Analysis
Authors:
Shixuan Zhang,
Xu Andy Sun
Abstract:
This paper presents an algorithmic study and complexity analysis for solving distributionally robust multistage convex optimization (DR-MCO). We generalize the usual consecutive dual dynamic programming (DDP) algorithm to DR-MCO and propose a new nonconsecutive DDP algorithm that explores the stages in an adaptive fashion. We introduce dual bounds in the DDP recursions to prevent the growth of Lip…
▽ More
This paper presents an algorithmic study and complexity analysis for solving distributionally robust multistage convex optimization (DR-MCO). We generalize the usual consecutive dual dynamic programming (DDP) algorithm to DR-MCO and propose a new nonconsecutive DDP algorithm that explores the stages in an adaptive fashion. We introduce dual bounds in the DDP recursions to prevent the growth of Lipschitz constants of the dual approximations caused by recursive cutting plane methods. We then provide a thorough subproblem-oracle-based complexity analysis of the proposed algorithms, proving both upper complexity bounds and a matching lower bound. To the best of our knowledge, this is the first nonasymptotic complexity result for DDP-type algorithms on DR-MCO, which reveals that in some practical settings the new nonconsecutive DDP algorithm scales linearly with respect to the number of stages. Numerical examples are given to show the effectiveness of the proposed nonconsecutive DDP algorithm and the dual-bounding technique, including the reduction of the computation time or the number of subproblem oracle evaluations, and the capability to solve problems without relatively complete recourse.
△ Less
Submitted 3 January, 2024; v1 submitted 13 October, 2020;
originally announced October 2020.
-
The Impact of Dam** in Second-Order Dynamical Systems with Applications to Power Grid Stability
Authors:
Amin Gholami,
X. Andy Sun
Abstract:
We consider a broad class of second-order dynamical systems and study the impact of dam** as a system parameter on the stability, hyperbolicity, and bifurcation in such systems. We prove a monotonic effect of dam** on the hyperbolicity of the equilibrium points of the corresponding first-order system. This provides a rigorous formulation and theoretical justification for the intuitive notion t…
▽ More
We consider a broad class of second-order dynamical systems and study the impact of dam** as a system parameter on the stability, hyperbolicity, and bifurcation in such systems. We prove a monotonic effect of dam** on the hyperbolicity of the equilibrium points of the corresponding first-order system. This provides a rigorous formulation and theoretical justification for the intuitive notion that dam** increases stability. To establish this result, we prove a matrix perturbation result for complex symmetric matrices with positive semidefinite perturbations to their imaginary parts, which may be of independent interest. Furthermore, we establish necessary and sufficient conditions for the breakdown of hyperbolicity of the first-order system under dam** variations in terms of observability of a pair of matrices relating dam**, inertia, and Jacobian matrices, and propose sufficient conditions for Hopf bifurcation resulting from such hyperbolicity breakdown. The developed theory has significant applications in the stability of electric power systems, which are one of the most complex and important engineering systems. In particular, we characterize the impact of dam** on the hyperbolicity of the swing equation model which is the fundamental dynamical model of power systems, and demonstrate Hopf bifurcations resulting from dam** variations.
△ Less
Submitted 19 July, 2021; v1 submitted 13 October, 2020;
originally announced October 2020.
-
A Two-level ADMM Algorithm for AC OPF with Global Convergence Guarantees
Authors:
Kaizhao Sun,
Xu Andy Sun
Abstract:
This paper proposes a two-level distributed algorithmic framework for solving the AC optimal power flow (OPF) problem with convergence guarantees. The presence of highly nonconvex constraints in OPF poses significant challenges to distributed algorithms based on the alternating direction method of multipliers (ADMM). In particular, convergence is not provably guaranteed for nonconvex network optim…
▽ More
This paper proposes a two-level distributed algorithmic framework for solving the AC optimal power flow (OPF) problem with convergence guarantees. The presence of highly nonconvex constraints in OPF poses significant challenges to distributed algorithms based on the alternating direction method of multipliers (ADMM). In particular, convergence is not provably guaranteed for nonconvex network optimization problems like AC OPF. In order to overcome this difficulty, we propose a new distributed reformulation for AC OPF and a two-level ADMM algorithm that goes beyond the standard framework of ADMM. We establish the global convergence and iteration complexity of the proposed algorithm under mild assumptions. Extensive numerical experiments over some largest test cases from NESTA and PGLib-OPF (up to 30,000-bus systems) demonstrate advantages of the proposed algorithm over existing ADMM variants in terms of convergence, scalability, and robustness. Moreover, under appropriate parallel implementation, the proposed algorithm exhibits fast convergence comparable to or even better than the state-of-the-art centralized solver.
△ Less
Submitted 11 June, 2021; v1 submitted 27 August, 2020;
originally announced August 2020.
-
A Bombieri-Vinogradov Theorem for primes in short intervals and small sectors
Authors:
Tanmay Khale,
Cooper O'Kuhn,
Apoorva Panidapu,
Alec Sun,
Shengtong Zhang
Abstract:
Let $K$ be a finite Galois extension of $\mathbb{Q}$. We count primes in short intervals represented by the norm of a prime ideal of $K$ satisfying a small sector condition determined by Hecke characters. We also show that such primes are well-distributed in arithmetic progressions in the sense of Bombieri-Vinogradov. This extends previous work of Duke and Coleman.
Let $K$ be a finite Galois extension of $\mathbb{Q}$. We count primes in short intervals represented by the norm of a prime ideal of $K$ satisfying a small sector condition determined by Hecke characters. We also show that such primes are well-distributed in arithmetic progressions in the sense of Bombieri-Vinogradov. This extends previous work of Duke and Coleman.
△ Less
Submitted 12 January, 2022; v1 submitted 21 August, 2020;
originally announced August 2020.
-
A Fast Certificate for Power System Small-Signal Stability
Authors:
Amin Gholami,
Xu Andy Sun
Abstract:
Swing equations are an integral part of a large class of power system dynamical models used in rotor angle stability assessment. Despite intensive studies, some fundamental properties of lossy swing equations are still not fully understood. In this paper, we develop a sufficient condition for certifying the stability of equilibrium points (EPs) of these equations, and illustrate the effects of dam…
▽ More
Swing equations are an integral part of a large class of power system dynamical models used in rotor angle stability assessment. Despite intensive studies, some fundamental properties of lossy swing equations are still not fully understood. In this paper, we develop a sufficient condition for certifying the stability of equilibrium points (EPs) of these equations, and illustrate the effects of dam**, inertia, and network topology on the stability properties of such EPs. The proposed certificate is suitable for real-time monitoring and fast stability assessment, as it is purely algebraic and can be evaluated in a parallel manner. Moreover, we provide a novel approach to quantitatively measure the degree of stability in power grids using the proposed certificate. Extensive computational experiments are conducted, demonstrating the practicality and effectiveness of the proposal.
△ Less
Submitted 5 August, 2020;
originally announced August 2020.
-
Vanishing diffusion limits and long time behaviour of a class of forced active scalar equations
Authors:
Susan Friedlander,
Anthony Suen
Abstract:
We investigate the properties of an abstract family of advection diffusion equations in the context of the fractional Laplacian. Two independent diffusion parameters enter the system, one via the constitutive law for the drift velocity and one as the prefactor of the fractional Laplacian. We obtain existence and convergence results in certain parameter regimes and limits. We study the long time be…
▽ More
We investigate the properties of an abstract family of advection diffusion equations in the context of the fractional Laplacian. Two independent diffusion parameters enter the system, one via the constitutive law for the drift velocity and one as the prefactor of the fractional Laplacian. We obtain existence and convergence results in certain parameter regimes and limits. We study the long time behaviour of solutions to the general problem and prove the existence of a unique global attractor. We apply results to two particular active scalar equations arising in geophysical fluid dynamics, namely the surface quasigeostrophic equation and the magnetogeostrophic equation.
△ Less
Submitted 22 February, 2021; v1 submitted 21 May, 2020;
originally announced May 2020.
-
Bifurcation of perturbations of non-generic closed self-shrinkers
Authors:
Zhengjiang Lin,
Ao Sun
Abstract:
We discover a bifurcation of the perturbations of non-generic closed self-shrinkers. If the generic perturbation is outward, then the next mean curvature flow singularity is cylindrical and collapsing from outside; if the generic perturbation is inward, then the next mean curvature flow singularity is cylindrical and collapsing from inside.
We discover a bifurcation of the perturbations of non-generic closed self-shrinkers. If the generic perturbation is outward, then the next mean curvature flow singularity is cylindrical and collapsing from outside; if the generic perturbation is inward, then the next mean curvature flow singularity is cylindrical and collapsing from inside.
△ Less
Submitted 8 December, 2020; v1 submitted 16 April, 2020;
originally announced April 2020.
-
Stochastic Dual Dynamic Programming for Multistage Stochastic Mixed-Integer Nonlinear Optimization
Authors:
Shixuan Zhang,
Xu Andy Sun
Abstract:
In this paper, we study multistage stochastic mixed-integer nonlinear programs (MS-MINLP). This general class of problems encompasses, as important special cases, multistage stochastic convex optimization with non-Lipschitzian value functions and multistage stochastic mixed-integer linear optimization. We develop stochastic dual dynamic programming (SDDP) type algorithms with nested decomposition,…
▽ More
In this paper, we study multistage stochastic mixed-integer nonlinear programs (MS-MINLP). This general class of problems encompasses, as important special cases, multistage stochastic convex optimization with non-Lipschitzian value functions and multistage stochastic mixed-integer linear optimization. We develop stochastic dual dynamic programming (SDDP) type algorithms with nested decomposition, deterministic sampling, and stochastic sampling. The key ingredient is a new type of cuts based on generalized conjugacy. Several interesting classes of MS-MINLP are identified, where the new algorithms are guaranteed to obtain the global optimum without the assumption of complete recourse. This significantly generalizes the classic SDDP algorithms. We also characterize the iteration complexity of the proposed algorithms. In particular, for a $(T+1)$-stage stochastic MINLP with $d$-dimensional state spaces, to obtain an $ε$-optimal root node solution, we prove that the number of iterations of the proposed deterministic sampling algorithm is upper bounded by $\mathcal{O}((\frac{2T}ε)^d)$, and is lower bounded by $\mathcal{O}((\frac{T}{4ε})^d)$ for the general case or by $\mathcal{O}((\frac{T}{8ε})^{d/2-1})$ for the convex case. This shows that the obtained complexity bounds are rather sharp. It also reveals that the iteration complexity depends polynomially on the number of stages. We further show that the iteration complexity depends linearly on $T$, if all the state spaces are finite sets, or if we seek a $(Tε)$-optimal solution when the state spaces are infinite sets, i.e. allowing the optimality gap to scale with $T$. To the best of our knowledge, this is the first work that reports global optimization algorithms as well as iteration complexity results for solving such a large class of multistage stochastic programs.
△ Less
Submitted 20 May, 2022; v1 submitted 31 December, 2019;
originally announced December 2019.
-
Entropy in A Closed Manifold and Partial Regularity of Mean Curvature Flow Limit of Surfaces
Authors:
Ao Sun
Abstract:
Inspired by the idea of Colding-Minicozzi in [CM1], we define (mean curvature flow) entropy for submanifolds in a general ambient Riemannian manifold. In particular, this entropy is equivalent to area growth of a closed submanifold in a closed ambient manifold with non-negative Ricci curvature. Moreover, this entropy is monotone along the mean curvature flow in a closed Riemannian manifold with no…
▽ More
Inspired by the idea of Colding-Minicozzi in [CM1], we define (mean curvature flow) entropy for submanifolds in a general ambient Riemannian manifold. In particular, this entropy is equivalent to area growth of a closed submanifold in a closed ambient manifold with non-negative Ricci curvature. Moreover, this entropy is monotone along the mean curvature flow in a closed Riemannian manifold with non-negative sectional curvatures and parallel Ricci curvature. As an application, we show the partial regularity of the limit of mean curvature flow of surfaces in a three dimensional Riemannian manifold with non-negative sectional curvatures and parallel Ricci curvature.
△ Less
Submitted 3 August, 2020; v1 submitted 19 December, 2019;
originally announced December 2019.
-
Bounds on expected propagation time of probabilistic zero forcing
Authors:
Shyam Narayanan,
Alec Sun
Abstract:
Probabilistic zero forcing is a coloring game played on a graph where the goal is to color every vertex blue starting with an initial blue vertex set. As long as the graph is connected, if at least one vertex is blue then eventually all of the vertices will be colored blue. The most studied parameter in probabilistic zero forcing is the expected propagation time starting from a given vertex of…
▽ More
Probabilistic zero forcing is a coloring game played on a graph where the goal is to color every vertex blue starting with an initial blue vertex set. As long as the graph is connected, if at least one vertex is blue then eventually all of the vertices will be colored blue. The most studied parameter in probabilistic zero forcing is the expected propagation time starting from a given vertex of $G.$ In this paper we improve on upper bounds for the expected propagation time by Geneson and Hogben and Chan et al. in terms of a graph's order and radius. In particular, for a connected graph $G$ of order $n$ and radius $r,$ we prove the bound $\text{ept}(G) = O(r\log(n/r)).$ We also show using Doob's Optional Stop** Theorem and a combinatorial object known as a cornerstone that $\text{ept}(G) \le n/2 + O(\log n).$ Finally, we derive an explicit lower bound $\text{ept}(G)\ge \log_2 \log_2 n.$
△ Less
Submitted 12 January, 2022; v1 submitted 10 September, 2019;
originally announced September 2019.
-
Codimension Bounds and Rigidity of Ancient Mean Curvature Flows by the Tangent Flow at $-\infty$
Authors:
Douglas Stryker,
Ao Sun
Abstract:
Motivated by the limiting behavior of an explicit class of compact ancient curve shortening flows, we prove codimension bounds for ancient mean curvature flows by their tangent flow at $-\infty$, generalizing a theorem for cylinders in [CM19b]. In the case of the $m$-covered circle, we apply this bound to prove a strong rigidity theorem. Furthermore, we extend this paradigm by showing that under t…
▽ More
Motivated by the limiting behavior of an explicit class of compact ancient curve shortening flows, we prove codimension bounds for ancient mean curvature flows by their tangent flow at $-\infty$, generalizing a theorem for cylinders in [CM19b]. In the case of the $m$-covered circle, we apply this bound to prove a strong rigidity theorem. Furthermore, we extend this paradigm by showing that under the assumption of sufficiently rapid convergence, a compact ancient mean curvature flow is identical to its tangent flow at $-\infty$.
△ Less
Submitted 25 October, 2021; v1 submitted 5 September, 2019;
originally announced September 2019.
-
Construction of High Codimension Ancient Mean Curvature Flows
Authors:
Douglas Stryker,
Ao Sun
Abstract:
We construct a class of compact ancient solutions to the mean curvature flow in Euclidean space with high codimension. In particular, we construct higher codimensional ancient curve shortening flows. Moreover, we characterize the asymptotic behavior of these solutions.
Add on remark: the construction in this paper has been discovered by Altschuler D.-Altschuler S.-Angenent-Wu in [AAAW13].
We construct a class of compact ancient solutions to the mean curvature flow in Euclidean space with high codimension. In particular, we construct higher codimensional ancient curve shortening flows. Moreover, we characterize the asymptotic behavior of these solutions.
Add on remark: the construction in this paper has been discovered by Altschuler D.-Altschuler S.-Angenent-Wu in [AAAW13].
△ Less
Submitted 5 September, 2019; v1 submitted 7 August, 2019;
originally announced August 2019.
-
Zero-sum subsequences in bounded-sum $\{-r,s\}$-sequences
Authors:
Alec Sun
Abstract:
We study the problem of finding zero-sum blocks in bounded-sum sequences, which was introduced by Caro, Hansberg, and Montejano. Caro et al. determine the minimum $\{-1,1\}$-sequence length for when there exist $k$ consecutive terms that sum to zero. We determine the corresponding minimum sequence length when the set $\{-1,1\}$ is replaced by $\{-r,s\}$ for arbitrary positive integers $r$ and…
▽ More
We study the problem of finding zero-sum blocks in bounded-sum sequences, which was introduced by Caro, Hansberg, and Montejano. Caro et al. determine the minimum $\{-1,1\}$-sequence length for when there exist $k$ consecutive terms that sum to zero. We determine the corresponding minimum sequence length when the set $\{-1,1\}$ is replaced by $\{-r,s\}$ for arbitrary positive integers $r$ and $s.$ This confirms a conjecture of theirs. We also construct $\{-1,1\}$-sequences of length quadratic in $k$ that avoid $k$ terms indexed by an arithmetic progression that sum to zero. This solves a second conjecture of theirs in the case of $\{-1,1\}$-sequences on zero-sum arithmetic subsequences. Finally, we give a superlinear lower bound on the minimum sequence length to find a zero-sum arithmetic progression for general $\{-r,s\}$-sequences.
△ Less
Submitted 12 January, 2022; v1 submitted 15 July, 2019;
originally announced July 2019.
-
Solvability of Power Flow Equations Through Existence and Uniqueness of Complex Fixed Point
Authors:
Bai Cui,
Xu Andy Sun
Abstract:
Variations of loading level and changes in system topological property may cause the operating point of an electric power systems to move gradually towards the verge of its transmission capability, which can lead to catastrophic outcomes such as voltage collapse blackout. From a modeling perspective, voltage collapse is closely related to the solvability of power flow equations. Determining condit…
▽ More
Variations of loading level and changes in system topological property may cause the operating point of an electric power systems to move gradually towards the verge of its transmission capability, which can lead to catastrophic outcomes such as voltage collapse blackout. From a modeling perspective, voltage collapse is closely related to the solvability of power flow equations. Determining conditions for existence and uniqueness of solution to power flow equations is one of the fundamental problems in power systems that has great theoretical and practical significance. In this paper, we provide strong sufficient condition certifying the existence and uniqueness of power flow solutions in a subset of state (voltage) space. The novel analytical approach heavily exploits the contractive properties of the fixed-point form in complex domain, which leads to much sharper analytical conditions than previous ones based primarily on analysis in the real domain. Extensive computational experiments are performed which validate the correctness and demonstrate the effectiveness of the proposed condition.
△ Less
Submitted 18 April, 2019;
originally announced April 2019.