-
A direct PinT algorithm for higher-order nonlinear equations
Authors:
Shun-Zhi Zhong,
Yong-Liang Zhao
Abstract:
This paper mainly studies a direct time-parallel algorithm for solving time-dependent differential equations of order 1 to 3. Different from the traditional time-stepping approach, we directly solve the all-at-once system from higher-order evolution equations by diagonalization the time discretization matrix $B$. Based on the connection between the characteristic equation and Chebyshev polynomials…
▽ More
This paper mainly studies a direct time-parallel algorithm for solving time-dependent differential equations of order 1 to 3. Different from the traditional time-stepping approach, we directly solve the all-at-once system from higher-order evolution equations by diagonalization the time discretization matrix $B$. Based on the connection between the characteristic equation and Chebyshev polynomials, we give explicit formulas for the eigenvector matrix $V$ of $B$ and its inverse $V^{-1}$ , and prove that $cond_2\left( V \right) =\mathcal{O} \left( n^3 \right)$, where $n$ is the number of time steps. A fast algorithm $B$ designed by exploring the structure of the spectral decomposition of $B$. Numerical experiments were performed to validate the acceleration performance of the fast spectral decomposition algorithm. The results show that the proposed fast algorithm achieves significant computational speedup.
△ Less
Submitted 8 July, 2025;
originally announced July 2025.
-
Moment Relaxations for Data-Driven Wasserstein Distributionally Robust Optimization
Authors:
Shixuan Zhang,
Suhan Zhong
Abstract:
We propose moment relaxations for data-driven Wasserstein distributionally robust optimization problems. Conditions are identified to ensure asymptotic consistency of such relaxations for both single-stage and two-stage problems, together with examples that illustrate their necessity. Numerical experiments are also included to illustrate the proposed relaxations.
We propose moment relaxations for data-driven Wasserstein distributionally robust optimization problems. Conditions are identified to ensure asymptotic consistency of such relaxations for both single-stage and two-stage problems, together with examples that illustrate their necessity. Numerical experiments are also included to illustrate the proposed relaxations.
△ Less
Submitted 25 May, 2025;
originally announced May 2025.
-
A global approach for generalized semi-infinte programs with polyhedral parameter sets
Authors:
Xiaomeng Hu,
Jiawang Nie,
Suhan Zhong
Abstract:
This paper studies generalized semi-infinite programs (GSIPs) defined with polyhedral parameter sets. Assume these GSIPs are given by polynomials. We propose a new approach to solve them as a disjunctive program. This approach is based on the Kurash-Kuhn-Tucker (KKT) conditions of the robust constraint and a technique called partial Lagrange multiplier expressions. We summarize a semidefinite algo…
▽ More
This paper studies generalized semi-infinite programs (GSIPs) defined with polyhedral parameter sets. Assume these GSIPs are given by polynomials. We propose a new approach to solve them as a disjunctive program. This approach is based on the Kurash-Kuhn-Tucker (KKT) conditions of the robust constraint and a technique called partial Lagrange multiplier expressions. We summarize a semidefinite algorithm and study its convergence properties. Numerical experiments are given to show the efficiency of our method. In addition, we checked its performance in gemstone cutting and robust control applications.
△ Less
Submitted 3 February, 2025;
originally announced February 2025.
-
Uncertainty Quantification of Spectral Estimator and MLE for Orthogonal Group Synchronization
Authors:
Ziliang Samuel Zhong,
Shuyang Ling
Abstract:
Orthogonal group synchronization aims to recover orthogonal group elements from their noisy pairwise measurements. It has found numerous applications including computer vision, imaging science, and community detection. Due to the orthogonal constraints, it is often challenging to find the least squares estimator in presence of noise. In the recent years, semidefinite relaxation (SDR) and spectral…
▽ More
Orthogonal group synchronization aims to recover orthogonal group elements from their noisy pairwise measurements. It has found numerous applications including computer vision, imaging science, and community detection. Due to the orthogonal constraints, it is often challenging to find the least squares estimator in presence of noise. In the recent years, semidefinite relaxation (SDR) and spectral methods have proven to be powerful tools in recovering the group elements. In particular, under additive Gaussian noise, the SDR exactly produces the maximum likelihood estimator (MLE), and both MLE and spectral methods are able to achieve near-optimal statistical error. In this work, we take one step further to quantify the uncertainty of the MLE and spectral estimators by considering their distributions. By leveraging the orthogonality constraints in the likelihood function, we obtain a second-order expansion of the MLE and spectral estimator with the leading terms as an anti-symmetric Gaussian random matrix that is on the tangent space of the orthogonal matrix. This also implies state-of-the-art min-max risk bounds and a confidence region of each group element as a by-product. Our works provide a general theoretical framework that is potentially useful to find an approximate distribution of the estimators arising from many statistical inference problems with manifold constraints. The numerical experiments confirm our theoretical contribution.
△ Less
Submitted 19 February, 2025; v1 submitted 12 August, 2024;
originally announced August 2024.
-
Generalized Nash equilibrium problems with quasi-linear constraints
Authors:
Jiyoung Choi,
Jiawang Nie,
Xindong Tang,
Suhan Zhong
Abstract:
We study generalized Nash equilibrium problems (GNEPs) such that objectives are polynomial functions, and each player's constraints are linear in their own strategy. For such GNEPs, the KKT sets can be represented as unions of simpler sets by Carathéodory's theorem. We give a convenient representation for KKT sets using partial Lagrange multiplier expressions. This produces a set of branch polynom…
▽ More
We study generalized Nash equilibrium problems (GNEPs) such that objectives are polynomial functions, and each player's constraints are linear in their own strategy. For such GNEPs, the KKT sets can be represented as unions of simpler sets by Carathéodory's theorem. We give a convenient representation for KKT sets using partial Lagrange multiplier expressions. This produces a set of branch polynomial optimization problems, which can be efficiently solved by Moment-SOS relaxations. By doing this, we can compute all generalized Nash equilibria or detect their nonexistence. Numerical experiments are also provided to demonstrate the computational efficiency.
△ Less
Submitted 29 May, 2024; v1 submitted 6 May, 2024;
originally announced May 2024.
-
A New Working Set Method for Nonlinear Inequality Constrained Minimization
Authors:
Suhan Zhong,
Jianxin Zhou
Abstract:
The main purpose of this project is to develop a new active set method (ASM) called a working set method (WSM) for solving a general nonlinear inequality constrained minimization problem in a Hilber space. Mathematical analysis is carried out to validate the method and to show its merits over other ASMs. Since the method is quite general and new, some results on its implementation and application…
▽ More
The main purpose of this project is to develop a new active set method (ASM) called a working set method (WSM) for solving a general nonlinear inequality constrained minimization problem in a Hilber space. Mathematical analysis is carried out to validate the method and to show its merits over other ASMs. Since the method is quite general and new, some results on its implementation and application are presented. Numerical examples on some benchmark problems are carried out to test the method.
△ Less
Submitted 19 October, 2023;
originally announced October 2023.
-
On the asymptotic behavior of p-superharmonic functions at singularities
Authors:
Huajie Liu,
Shiguang Ma,
Jie Qing,
Shuhui Zhong
Abstract:
In this paper we develop the p-thinness and the p-fine topology for the asymptotic behavior of p-superharmonic functions at singular points. We consider these as extensions of earlier works on superharmonic functions in dimension 2, on the Riesz and Log potentials in higher dimensions,, and on p-harmonic functions. It is remarkable that, contrary to the above cases, the p-thinness for the singular…
▽ More
In this paper we develop the p-thinness and the p-fine topology for the asymptotic behavior of p-superharmonic functions at singular points. We consider these as extensions of earlier works on superharmonic functions in dimension 2, on the Riesz and Log potentials in higher dimensions,, and on p-harmonic functions. It is remarkable that, contrary to the above cases, the p-thinness for the singular behavior differs from the p-thinness for continuity by the Wiener criterion for p-superharmonic functions. As applications of asymptotic estimates of p-superharmonic functions, we also obtain asymptotic estimates of solutions to a class of fully nonlinear elliptic equations. This paper grows out of our recent papers on the potential theory in conformal geometry.
△ Less
Submitted 17 October, 2023;
originally announced October 2023.
-
Towards Global Solutions for Nonconvex Two-Stage Stochastic Programs: A Polynomial Lower Approximation Approach
Authors:
Suhan Zhong,
Ying Cui,
Jiawang Nie
Abstract:
This paper tackles the challenging problem of finding global optimal solutions for two-stage stochastic programs with continuous decision variables and nonconvex recourse functions. We introduce a two-phase approach. The first phase involves the construction of a polynomial lower bound for the recourse function through a linear optimization problem over a nonnegative polynomial cone. Given the com…
▽ More
This paper tackles the challenging problem of finding global optimal solutions for two-stage stochastic programs with continuous decision variables and nonconvex recourse functions. We introduce a two-phase approach. The first phase involves the construction of a polynomial lower bound for the recourse function through a linear optimization problem over a nonnegative polynomial cone. Given the complex structure of this cone, we employ semidefinite relaxations with quadratic modules to facilitate our computations. In the second phase, we solve a surrogate first-stage problem by substituting the original recourse function with the polynomial lower approximation obtained in the first phase. Our method is particularly advantageous for two reasons: it not only generates global lower bounds for the nonconvex stochastic program, aiding in the certificate of global optimality for prospective solutions like stationary solutions computed from other methods, but it also yields an explicit polynomial approximation for the recourse function through the solution of a linear conic optimization problem, where the number of variables is independent of the support of the underlying random vector. Therefore, our approach is particularly suitable for the case where the random vector follows a continuous distribution or when dealing with a large number of scenarios. Numerical experiments are conducted to demonstrate the effectiveness of our proposed approach.
△ Less
Submitted 28 May, 2024; v1 submitted 6 October, 2023;
originally announced October 2023.
-
Improved theoretical guarantee for rank aggregation via spectral method
Authors:
Ziliang Samuel Zhong,
Shuyang Ling
Abstract:
Given pairwise comparisons between multiple items, how to rank them so that the ranking matches the observations? This problem, known as rank aggregation, has found many applications in sports, recommendation systems, and other web applications. As it is generally NP-hard to find a global ranking that minimizes the mismatch (known as the Kemeny optimization), we focus on the Erdös-Rényi outliers (…
▽ More
Given pairwise comparisons between multiple items, how to rank them so that the ranking matches the observations? This problem, known as rank aggregation, has found many applications in sports, recommendation systems, and other web applications. As it is generally NP-hard to find a global ranking that minimizes the mismatch (known as the Kemeny optimization), we focus on the Erdös-Rényi outliers (ERO) model for this ranking problem. Here, each pairwise comparison is a corrupted copy of the true score difference. We investigate spectral ranking algorithms that are based on unnormalized and normalized data matrices. The key is to understand their performance in recovering the underlying scores of each item from the observed data. This reduces to deriving an entry-wise perturbation error bound between the top eigenvectors of the unnormalized/normalized data matrix and its population counterpart. By using the leave-one-out technique, we provide a sharper $\ell_{\infty}$-norm perturbation bound of the eigenvectors and also derive an error bound on the maximum displacement for each item, with only $Ω(n\log n)$ samples. Our theoretical analysis improves upon the state-of-the-art results in terms of sample complexity, and our numerical experiments confirm these theoretical findings.
△ Less
Submitted 10 September, 2023; v1 submitted 7 September, 2023;
originally announced September 2023.
-
Distributionally Robust Optimization with Polynomial Robust Constraints
Authors:
Jiawang Nie,
Suhan Zhong
Abstract:
This paper studies distributionally robust optimization (DRO) with polynomial robust constraints. We give a Moment-SOS relaxation approach to solve the DRO. This reduces to solving linear conic optimization with semidefinite constraints. When the DRO problem is SOS-convex, we show that it is equivalent to the linear conic relaxation and it can be solved by the Moment-SOS algorithm. For nonconvex c…
▽ More
This paper studies distributionally robust optimization (DRO) with polynomial robust constraints. We give a Moment-SOS relaxation approach to solve the DRO. This reduces to solving linear conic optimization with semidefinite constraints. When the DRO problem is SOS-convex, we show that it is equivalent to the linear conic relaxation and it can be solved by the Moment-SOS algorithm. For nonconvex cases, we also give concrete conditions such that the DRO can be solved globally. Numerical experiments are given to show the efficiency of the method.
△ Less
Submitted 12 May, 2025; v1 submitted 29 August, 2023;
originally announced August 2023.
-
p-Laplace equations in conformal geometry
Authors:
Huajie Liu,
Shiguang Ma,
Jie Qing,
Shuhui Zhong
Abstract:
In this paper we introduce the p-Laplace equations for the intermediate Schouten curvature in conformal geometry. These p-Laplace equations provide more tools for the study of geometry and topology of manifolds. First, the positivity of the intermediate Schouten curvature yields the vanishing of Betti numbers on locally conformally flat manifolds as consequences of the Böchner formula as in the wo…
▽ More
In this paper we introduce the p-Laplace equations for the intermediate Schouten curvature in conformal geometry. These p-Laplace equations provide more tools for the study of geometry and topology of manifolds. First, the positivity of the intermediate Schouten curvature yields the vanishing of Betti numbers on locally conformally flat manifolds as consequences of the Böchner formula as in the works of Nayatani and Guan-Lin-Wang. Secondly and more interestingly, when the intermediate Schouten curvature is nonnegative, these p-Laplace equations facilitate the geometric applications of p-superharmonic functions and the nonlinear potential theory. This leads to the estimates on Hausdorff dimension of singular sets and vanishing of homotopy groups that is inspired by and extends the work of Schoen-Yau. In the forthcoming paper we will present our results on the asymptotic behavior of p-superharmonic functions at singularities.
△ Less
Submitted 4 August, 2023;
originally announced August 2023.
-
PLMEs and Disjunctive Decompositions for Bilevel Optimization
Authors:
Jiawang Nie,
Jane J. Ye,
Suhan Zhong
Abstract:
This paper studies bilevel polynomial optimization in which lower level constraining functions depend linearly on lower level variables. We show that such a bilevel program can be reformulated as a disjunctive program using partial Lagrange multiplier expressions (PLMEs). An advantage of this approach is that branch problems of the disjunctive program are easier to solve. In particular, since the…
▽ More
This paper studies bilevel polynomial optimization in which lower level constraining functions depend linearly on lower level variables. We show that such a bilevel program can be reformulated as a disjunctive program using partial Lagrange multiplier expressions (PLMEs). An advantage of this approach is that branch problems of the disjunctive program are easier to solve. In particular, since the PLME can be easily obtained, these branch problems can be efficiently solved by polynomial optimization techniques. Solving each branch problem either returns infeasibility or gives a candidate local or global optimizer for the original bilevel optimization. We give necessary and sufficient conditions for these candidates to be global optimizers, and sufficient conditions for the local optimality. Numerical experiments are also presented to show the efficiency of the method.
△ Less
Submitted 2 April, 2023;
originally announced April 2023.
-
AttNS: Attention-Inspired Numerical Solving For Limited Data Scenarios
Authors:
Zhongzhan Huang,
Mingfu Liang,
Shanshan Zhong,
Liang Lin
Abstract:
We propose the attention-inspired numerical solver (AttNS), a concise method that helps the generalization and robustness issues faced by the AI-Hybrid numerical solver in solving differential equations due to limited data. AttNS is inspired by the effectiveness of attention modules in Residual Neural Networks (ResNet) in enhancing model generalization and robustness for conventional deep learning…
▽ More
We propose the attention-inspired numerical solver (AttNS), a concise method that helps the generalization and robustness issues faced by the AI-Hybrid numerical solver in solving differential equations due to limited data. AttNS is inspired by the effectiveness of attention modules in Residual Neural Networks (ResNet) in enhancing model generalization and robustness for conventional deep learning tasks. Drawing from the dynamical system perspective of ResNet, we seamlessly incorporate attention mechanisms into the design of numerical methods tailored for the characteristics of solving differential equations. Our results on benchmarks, ranging from high-dimensional problems to chaotic systems, showcases AttNS consistently enhancing various numerical solvers without any intricate model crafting. Finally, we analyze AttNS experimentally and theoretically, demonstrating its ability to achieve strong generalization and robustness while ensuring the convergence of the solver. This includes requiring less data compared to other advanced methods to achieve comparable generalization errors and better prevention of numerical explosion issues when solving differential equations.
△ Less
Submitted 5 February, 2025; v1 submitted 4 February, 2023;
originally announced February 2023.
-
Robust approximation of chance constrained optimization with polynomial perturbation
Authors:
Bo Rao,
Liu Yang,
Suhan Zhong,
Guangming Zhou
Abstract:
This paper proposes a robust approximation method for solving chance constrained optimization (CCO) of polynomials. Assume the CCO is defined with an individual chance constraint that is affine in the decision variables. We construct a robust approximation by replacing the chance constraint with a robust constraint over an uncertainty set. When the objective function is linear or SOS-convex, the r…
▽ More
This paper proposes a robust approximation method for solving chance constrained optimization (CCO) of polynomials. Assume the CCO is defined with an individual chance constraint that is affine in the decision variables. We construct a robust approximation by replacing the chance constraint with a robust constraint over an uncertainty set. When the objective function is linear or SOS-convex, the robust approximation can be equivalently transformed into linear conic optimization. Semidefinite relaxation algorithms are proposed to solve these linear conic transformations globally and their convergent properties are studied. We also introduce a heuristic method to find efficient uncertainty sets such that optimizers of the robust approximation are feasible to the original problem. Numerical experiments are given to show the efficiency of our method.
△ Less
Submitted 24 August, 2024; v1 submitted 23 November, 2022;
originally announced November 2022.
-
Global optimization for the portfolio selection model with high-order moments
Authors:
Liu Yang,
Yi Yang,
Suhan Zhong
Abstract:
In this paper, we study the global optimality of polynomial portfolio optimization (PPO). The PPO is a kind of portfolio selection model with high-order moments and flexible risk preference parameters. We introduce a perturbation sample average approximation method, which can give a robust approximation of the PPO in form of linear conic optimization. The approximated problem can be solved globall…
▽ More
In this paper, we study the global optimality of polynomial portfolio optimization (PPO). The PPO is a kind of portfolio selection model with high-order moments and flexible risk preference parameters. We introduce a perturbation sample average approximation method, which can give a robust approximation of the PPO in form of linear conic optimization. The approximated problem can be solved globally with Moment-SOS relaxations. We summarize a semidefinite algorithm, which can be used to find reliable approximations of the optimal value and optimizer set of the PPO. Numerical examples are given to show the efficiency of the algorithm.
△ Less
Submitted 4 September, 2023; v1 submitted 23 November, 2022;
originally announced November 2022.
-
Dehomogenization for Completely Positive Tensors
Authors:
Jiawang Nie,
Xindong Tang,
Zi Yang,
Suhan Zhong
Abstract:
A real symmetric tensor is completely positive (CP) if it is a sum of symmetric tensor powers of nonnegative vectors. We propose a dehomogenization approach for studying CP tensors. This gives new Moment-SOS relaxations for CP tensors. Detection for CP tensors and the linear conic optimization with CP tensor cones can be solved more efficiently by the dehomogenization approach.
A real symmetric tensor is completely positive (CP) if it is a sum of symmetric tensor powers of nonnegative vectors. We propose a dehomogenization approach for studying CP tensors. This gives new Moment-SOS relaxations for CP tensors. Detection for CP tensors and the linear conic optimization with CP tensor cones can be solved more efficiently by the dehomogenization approach.
△ Less
Submitted 11 November, 2022; v1 submitted 25 June, 2022;
originally announced June 2022.
-
Loss Functions for Finite Sets
Authors:
Jiawang Nie,
Suhan Zhong
Abstract:
This paper studies loss functions for finite sets. For a given finite set $S$, we give sum-of-square type loss functions of minimum degree. When $S$ is the vertex set of a standard simplex, we show such loss functions have no spurious minimizers (i.e., every local minimizer is a global one). Up to transformations, we give similar loss functions without spurious minimizers for general finite sets.…
▽ More
This paper studies loss functions for finite sets. For a given finite set $S$, we give sum-of-square type loss functions of minimum degree. When $S$ is the vertex set of a standard simplex, we show such loss functions have no spurious minimizers (i.e., every local minimizer is a global one). Up to transformations, we give similar loss functions without spurious minimizers for general finite sets. When $S$ is approximately given by a sample set $T$, we show how to get loss functions by solving a quadratic optimization problem. Numerical experiments and applications are given to show the efficiency of these loss functions.
△ Less
Submitted 10 October, 2022; v1 submitted 11 December, 2021;
originally announced December 2021.
-
Rational Generalized Nash Equilibrium Problems
Authors:
Jiawang Nie,
Xindong Tang,
Suhan Zhong
Abstract:
This paper studies generalized Nash equilibrium problems that are given by rational functions. The optimization problems are not assumed to be convex. Rational expressions for Lagrange multipliers and feasible extensions of KKT points are introduced to compute a generalized Nash equilibrium (GNE). We give a hierarchy of rational optimization problems to solve rational generalized Nash equilibrium…
▽ More
This paper studies generalized Nash equilibrium problems that are given by rational functions. The optimization problems are not assumed to be convex. Rational expressions for Lagrange multipliers and feasible extensions of KKT points are introduced to compute a generalized Nash equilibrium (GNE). We give a hierarchy of rational optimization problems to solve rational generalized Nash equilibrium problems. The existence and computation of feasible extensions are studied. The Moment-SOS relaxations are applied to solve the rational optimization problems. Under some general assumptions, we show that the proposed hierarchy can compute a GNE if it exists or detect its nonexistence. Numerical experiments are given to show the efficiency of the proposed method.
△ Less
Submitted 21 February, 2023; v1 submitted 22 October, 2021;
originally announced October 2021.
-
Distributionally Robust Optimization with Moment Ambiguity Sets
Authors:
Jiawang Nie,
Liu Yang,
Suhan Zhong,
Guangming Zhou
Abstract:
This paper studies distributionally robust optimization (DRO) when the ambiguity set is given by moments for the distributions. The objective and constraints are given by polynomials in decision variables. We reformulate the DRO with equivalent moment conic constraints. Under some general assumptions, we prove the DRO is equivalent to a linear optimization problem with moment and psd polynomial co…
▽ More
This paper studies distributionally robust optimization (DRO) when the ambiguity set is given by moments for the distributions. The objective and constraints are given by polynomials in decision variables. We reformulate the DRO with equivalent moment conic constraints. Under some general assumptions, we prove the DRO is equivalent to a linear optimization problem with moment and psd polynomial cones. A Moment-SOS relaxation method is proposed to solve it. Its asymptotic and finite convergence are shown under certain assumptions. Numerical examples are presented to show how to solve DRO problems.
△ Less
Submitted 30 November, 2022; v1 submitted 23 March, 2021;
originally announced March 2021.
-
A Lagrange Multiplier Expression Method for Bilevel Polynomial Optimization
Authors:
Jiawang Nie,
Li Wang,
Jane Ye,
Suhan Zhong
Abstract:
This paper studies bilevel polynomial optimization problems. To solve them, we give a method based on polynomial optimization relaxations. Each relaxation is obtained from the Kurash-Kuhn-Tucker (KKT) conditions for the lower level optimization and the exchange technique for semi-infinite programming. For KKT conditions, Lagrange multipliers are represented as polynomial or rational functions. The…
▽ More
This paper studies bilevel polynomial optimization problems. To solve them, we give a method based on polynomial optimization relaxations. Each relaxation is obtained from the Kurash-Kuhn-Tucker (KKT) conditions for the lower level optimization and the exchange technique for semi-infinite programming. For KKT conditions, Lagrange multipliers are represented as polynomial or rational functions. The Moment-SOS relaxations are used to solve the polynomial optimizattion relaxations. Under some general assumptions, we prove the convergence of the algorithm for solving bilevel polynomial optimization problems. Numerical experiments are presented to show the efficiency of the method.
△ Less
Submitted 9 June, 2021; v1 submitted 15 July, 2020;
originally announced July 2020.
-
A Parameter Formula Connecting PID and ADRC
Authors:
Sheng Zhong,
Yi Huang,
Lei Guo
Abstract:
This paper presents a parameter formula connecting the well-known proportional-integralderivative (PID) control and the active disturbance rejection control (ADRC). On the one hand, this formula gives a quantitative lower bound to the bandwidth of the extended state observer (ESO) used in ADRC, implying that the ESO is not necessarily of high gain. On the other hand, enlightened by the design of A…
▽ More
This paper presents a parameter formula connecting the well-known proportional-integralderivative (PID) control and the active disturbance rejection control (ADRC). On the one hand, this formula gives a quantitative lower bound to the bandwidth of the extended state observer (ESO) used in ADRC, implying that the ESO is not necessarily of high gain. On the other hand, enlightened by the design of ADRC, a new PID tuning rule is provided, which can guarantee both strong robustness and nice tracking performance of the closed-loop systems under the PID control. Moreover, it is proved that the ESO can be rewritten as a suitable linear combination of the three terms in PID, which can give a better estimate for the system uncertainty than the single integral term in the PID controller. Theoretical results are verified also by simulations in the paper.
△ Less
Submitted 31 October, 2019;
originally announced October 2019.
-
Stochastic Polynomial Optimization
Authors:
Jiawang Nie,
Liu Yang,
Suhan Zhong
Abstract:
This paper studies stochastic optimization problems with polynomials. We propose an optimization model with sample averages and perturbations. The Lasserre type Moment-SOS relaxations are used to solve the sample average optimization. Properties of the optimization and its relaxations are studied. Numerical experiments are presented.
This paper studies stochastic optimization problems with polynomials. We propose an optimization model with sample averages and perturbations. The Lasserre type Moment-SOS relaxations are used to solve the sample average optimization. Properties of the optimization and its relaxations are studied. Numerical experiments are presented.
△ Less
Submitted 15 August, 2019;
originally announced August 2019.
-
The Almost Complex Structure on $\mathbb S^6$ and Related Schrodinger Flows
Authors:
Qing Ding,
Shiping Zhong
Abstract:
In this paper, by using the $G_2$-structure on Im$(\mathbb O)\cong\mathbb R^7$ from the octonions $\mathbb O$, the $G_2$-binormal motion of curves $γ(t,s)$ in $\mathbb R^7$ associated to the almost complex structure on $\mathbb S^6$ is studied. The motion is proved to be equivalent to Schrödinger flows from $\mathbb R^1$ to $\mathbb S^6$, and also to a nonlinear Schrödinger-type system in three un…
▽ More
In this paper, by using the $G_2$-structure on Im$(\mathbb O)\cong\mathbb R^7$ from the octonions $\mathbb O$, the $G_2$-binormal motion of curves $γ(t,s)$ in $\mathbb R^7$ associated to the almost complex structure on $\mathbb S^6$ is studied. The motion is proved to be equivalent to Schrödinger flows from $\mathbb R^1$ to $\mathbb S^6$, and also to a nonlinear Schrödinger-type system in three unknown complex functions that generalizes the famous correspondence between the binormal motion of curves in $\mathbb{R}^3$ and the focusing nonlinear Schrödinger equation. Some related geometric properties of the surface $Σ$ in Im$(\mathbb O)$ swept by $γ(t,s)$ are determined.
△ Less
Submitted 18 October, 2018;
originally announced October 2018.
-
The normalized numerical range and the Davis-Wielandt shell
Authors:
Brian Lins,
Ilya M. Spitkovsky,
Siyu Zhong
Abstract:
For a given $n$-by-$n$ matrix $A$, its {\em normalized numerical range} $F_N(A)$ is defined as the range of the function $f_{N,A}\colon x\mapsto (x^*Ax)/(\norm{Ax}\cdot\norm{x})$ on the complement of $\ker A$. We provide an explicit description of this set for the case when $A$ is normal or $n=2$. This extension of earlier results for particular cases of $2$-by-$2$ matrices (by Gevorgyan) and esse…
▽ More
For a given $n$-by-$n$ matrix $A$, its {\em normalized numerical range} $F_N(A)$ is defined as the range of the function $f_{N,A}\colon x\mapsto (x^*Ax)/(\norm{Ax}\cdot\norm{x})$ on the complement of $\ker A$. We provide an explicit description of this set for the case when $A$ is normal or $n=2$. This extension of earlier results for particular cases of $2$-by-$2$ matrices (by Gevorgyan) and essentially Hermitian matrices of arbitrary size (by A. Stoica and one of the authors) was achieved due to the fresh point of view at $F_N(A)$ as the image of the Davis-Wielandt shell $\JNR(A)$ under a certain non-linear mapping $h\colon\R^3\mapsto\C$.
△ Less
Submitted 4 December, 2017;
originally announced December 2017.
-
Nearly non-scattering electromagnetic wave set and its application
Authors:
Hongyu Liu,
Yuliang Wang,
Shuhui Zhong
Abstract:
For any inhomogeneous compactly supported electromagnetic (EM) medium, it is shown that there exists an infinite set of linearly independent electromagnetic waves which generate nearly vanishing scattered wave fields. If the inhomogeneous medium is coated with a layer of properly chosen conducting medium, then the wave set is generated from the Maxwell-Herglotz approximation to the interior PEC or…
▽ More
For any inhomogeneous compactly supported electromagnetic (EM) medium, it is shown that there exists an infinite set of linearly independent electromagnetic waves which generate nearly vanishing scattered wave fields. If the inhomogeneous medium is coated with a layer of properly chosen conducting medium, then the wave set is generated from the Maxwell-Herglotz approximation to the interior PEC or PMC eigenfunctions and depends only on the shape of the inhomogeneous medium. If no such a conducting coating is used, then the wave set is generated from the Maxwell-Herglotz approximation to the generalised interior transmission eigenfunctions and depends on both the content and the shape of the inhomogeneous medium. We characterise the nearly non-scattering wave sets in both cases with sharp estimates. The results can be used to give a conceptual design of a novel shadowless lamp. The crucial ingredient is to properly choose the source of the lamp so that nearly no shadow will be produced by the surgeons operating under the lamp.
△ Less
Submitted 26 March, 2016;
originally announced March 2016.
-
Demi-linear Analysis II -- Demi-distributions
Authors:
Ronglu Li,
Shuhui Zhong,
Dohan Kim,
Junde Wu
Abstract:
In this paper, we establish a demi-distributions theory which develops the usual distribution theory, in particular, we show that many conclusions as differentiations, Fourier transforms and convolutions can be generalized to the demi-distributions theory.
In this paper, we establish a demi-distributions theory which develops the usual distribution theory, in particular, we show that many conclusions as differentiations, Fourier transforms and convolutions can be generalized to the demi-distributions theory.
△ Less
Submitted 2 September, 2018; v1 submitted 2 November, 2014;
originally announced November 2014.
-
Demi-linear Analysis III -- Demi-distributions with Compact Support
Authors:
Ronglu Li,
Shuhui Zhong,
Dohan Kim,
Junde Wu
Abstract:
A series of detailed quantitative results is established for the family of demi-distributions which is a large extension of the family of usual distributions.
A series of detailed quantitative results is established for the family of demi-distributions which is a large extension of the family of usual distributions.
△ Less
Submitted 30 October, 2014;
originally announced October 2014.
-
Low regularity global well-posedness for the two-dimensional Zakharov system
Authors:
Daoyuan Fang,
Hartmut Pecher,
Sijia Zhong
Abstract:
The two-dimensional Zakharov system is shown to have a unique global solution for data without finite energy if the L^2 - norm of the Schrödinger part is small enough. The proof uses a refined I-method originally initiated by Colliander, Keel, Staffilani, Takaoka and Tao. A polynomial growth bound for the solution is also given.
The two-dimensional Zakharov system is shown to have a unique global solution for data without finite energy if the L^2 - norm of the Schrödinger part is small enough. The proof uses a refined I-method originally initiated by Colliander, Keel, Staffilani, Takaoka and Tao. A polynomial growth bound for the solution is also given.
△ Less
Submitted 19 May, 2009; v1 submitted 22 July, 2008;
originally announced July 2008.
-
L^2-concentration phenomenon for Zakharov system below energy norm
Authors:
Daoyuan Fang,
Sijia Zhong
Abstract:
In this paper, we'll prove a L^2-concentration result of Zakharov system in space dimension two, with radial initial data (u_0,n_0,n_1)\in H^s\times L^2\times H^{-1} ({16/17}<s<1), when blow up of the solution happens by I-method. In additional to that we find a blow up character of this system. Furthermore, we improve the global existence result of Bourgain's to above spaces.
In this paper, we'll prove a L^2-concentration result of Zakharov system in space dimension two, with radial initial data (u_0,n_0,n_1)\in H^s\times L^2\times H^{-1} ({16/17}<s<1), when blow up of the solution happens by I-method. In additional to that we find a blow up character of this system. Furthermore, we improve the global existence result of Bourgain's to above spaces.
△ Less
Submitted 7 February, 2007;
originally announced February 2007.
