-
Viscosity solution to complex Hessian equations on compact Hermitian manifolds
Authors:
**grui Cheng,
Yulun Xu
Abstract:
We prove the existence of viscosity solutions to complex Hessian equations on a compact Hermitian manifold that satisfy a determinant domination condition. This viscosity solution is shown to be unique when the right hand is strictly monotone increasing in terms of the solution. When the right hand side does not depend on the solution, we reduces it to the strict monotonicity of the solvability co…
▽ More
We prove the existence of viscosity solutions to complex Hessian equations on a compact Hermitian manifold that satisfy a determinant domination condition. This viscosity solution is shown to be unique when the right hand is strictly monotone increasing in terms of the solution. When the right hand side does not depend on the solution, we reduces it to the strict monotonicity of the solvability constant.
△ Less
Submitted 2 June, 2024;
originally announced June 2024.
-
Sharp dispersive estimates for the wave equation on the 5-dimensional lattice graph
Authors:
Cheng Bi,
Jiawei Cheng,
Bobo Hua
Abstract:
Schultz \cite{S98} proved dispersive estimates for the wave equation on lattice graphs $\mathbb{Z}^d$ for $d=2,3,$ which was extended to $d=4$ in \cite{BCH23}. By Newton polyhedra and the algorithm introduced by Karpushkin \cite{K83}, we further extend the result to $d=5:$ the sharp decay rate of the fundamental solution of the wave equation on $\mathbb{Z}^5$ is $|t|^{-\frac{11}{6}}.$ Moreover, we…
▽ More
Schultz \cite{S98} proved dispersive estimates for the wave equation on lattice graphs $\mathbb{Z}^d$ for $d=2,3,$ which was extended to $d=4$ in \cite{BCH23}. By Newton polyhedra and the algorithm introduced by Karpushkin \cite{K83}, we further extend the result to $d=5:$ the sharp decay rate of the fundamental solution of the wave equation on $\mathbb{Z}^5$ is $|t|^{-\frac{11}{6}}.$ Moreover, we prove Strichartz estimates and give applications to nonlinear equations.
△ Less
Submitted 2 June, 2024;
originally announced June 2024.
-
Global existence and nonexistence analyses for a magnetic fractional pseudo-parabolic equation
Authors:
Jiazhuo Cheng,
Qiru Wang
Abstract:
In this paper, we study the initial-boundary value problem for a pseudo-parabolic equation in magnetic fractional Orlicz-Sobolev spaces. First, by employing the imbedding theorems, the theory of potential wells and the Galerkin method, we prove the existence and uniqueness of global solutions with subcritical initial energy, critical initial energy and supercritical initial energy, respectively. F…
▽ More
In this paper, we study the initial-boundary value problem for a pseudo-parabolic equation in magnetic fractional Orlicz-Sobolev spaces. First, by employing the imbedding theorems, the theory of potential wells and the Galerkin method, we prove the existence and uniqueness of global solutions with subcritical initial energy, critical initial energy and supercritical initial energy, respectively. Furthermore, we prove the decay estimate of global solutions with sub-sharp-critical initial energy, sharp-critical initial energy and supercritical initial energy, respectively. Specifically, we need to analyze the properties of $ω$-limits of solutions for supercritical initial energy. Next, we establish the finite time blowup of solutions with sub-sharp-critical initial energy and sharp-critical initial energy, respectively. Finally, we discuss the convergence relationship between the global solutions of the evolution problem and the ground state solutions of the corresponding stationary problem.
△ Less
Submitted 26 May, 2024;
originally announced May 2024.
-
The fourth-order Schrödinger equation on lattices
Authors:
Jiawei Cheng
Abstract:
In this paper, we study the fourth-order Schrödinger equation \begin{equation*}
i \partial_t u + Δ^2 u - γΔu = \pm |u|^{s-1}u \end{equation*} on the lattice $\mathbb{Z}^d$ with dimensions $d=1,2$ and parameter $γ\in \mathbb{R}$. In order to establish sharp dispersive estimates, we consider the fundamental solution as an oscillatory integral and analyze the Newton polyhedron of its phase function…
▽ More
In this paper, we study the fourth-order Schrödinger equation \begin{equation*}
i \partial_t u + Δ^2 u - γΔu = \pm |u|^{s-1}u \end{equation*} on the lattice $\mathbb{Z}^d$ with dimensions $d=1,2$ and parameter $γ\in \mathbb{R}$. In order to establish sharp dispersive estimates, we consider the fundamental solution as an oscillatory integral and analyze the Newton polyhedron of its phase function. Furthermore, we prove Strichartz estimates which yield the existence of global solutions to nonlinear equations with small data.
△ Less
Submitted 12 March, 2024;
originally announced March 2024.
-
A class of multi-parameter Fourier integral operators: endpoint Hardy space bounds
Authors:
**hua Cheng
Abstract:
~In this paper we study a class of Fourier integral operators, whose symbols lie in the multi-parameter Hörmander class $S^{\vec m}( \mathbb{R}^{\vec n})$, where ~$\vec m=(m_1,m_2,\dots,m_d)$ is the order. We show that if in addition the phase function $Φ(x,ξ)$ can be written as $Φ(x,ξ)=\sum_{i=1}^dΦ_i(x_i,ξ_i)$, and each $Φ_i(x_i,ξ_i)$ satisfies the non-degeneracy condition, then we show that suc…
▽ More
~In this paper we study a class of Fourier integral operators, whose symbols lie in the multi-parameter Hörmander class $S^{\vec m}( \mathbb{R}^{\vec n})$, where ~$\vec m=(m_1,m_2,\dots,m_d)$ is the order. We show that if in addition the phase function $Φ(x,ξ)$ can be written as $Φ(x,ξ)=\sum_{i=1}^dΦ_i(x_i,ξ_i)$, and each $Φ_i(x_i,ξ_i)$ satisfies the non-degeneracy condition, then we show that such Fourier integral operators with order ~$\vec m=(-(n_1-1)/2, -(n_2-1)/2,\dots, -(n_d-1)/2)$ are actually bounded from rectangular Hardy space $H_{rect}^1(\mathbb{R}^{\vec n})$ to $L^1( \mathbb{R}^n )$. Moreover, they do not decay away from the support of rectangle atoms. Hence the usual argument via a Journé-type covering lemma to deduce bounds on product Hardy space $H^1(\mathbb{R}^{\vec n})$ is not valid.
△ Less
Submitted 24 January, 2024;
originally announced January 2024.
-
Quantitative Analysis of Molecular Transport in the Extracellular Space Using Physics-Informed Neural Network
Authors:
Jiayi Xie,
Hongfeng Li,
** Cheng,
Qingrui Cai,
Hanbo Tan,
Lingyun Zu,
Xiaobo Qu,
Hongbin Han
Abstract:
The brain extracellular space (ECS), an irregular, extremely tortuous nanoscale space located between cells or between cells and blood vessels, is crucial for nerve cell survival. It plays a pivotal role in high-level brain functions such as memory, emotion, and sensation. However, the specific form of molecular transport within the ECS remain elusive. To address this challenge, this paper propose…
▽ More
The brain extracellular space (ECS), an irregular, extremely tortuous nanoscale space located between cells or between cells and blood vessels, is crucial for nerve cell survival. It plays a pivotal role in high-level brain functions such as memory, emotion, and sensation. However, the specific form of molecular transport within the ECS remain elusive. To address this challenge, this paper proposes a novel approach to quantitatively analyze the molecular transport within the ECS by solving an inverse problem derived from the advection-diffusion equation (ADE) using a physics-informed neural network (PINN). PINN provides a streamlined solution to the ADE without the need for intricate mathematical formulations or grid settings. Additionally, the optimization of PINN facilitates the automatic computation of the diffusion coefficient governing long-term molecule transport and the velocity of molecules driven by advection. Consequently, the proposed method allows for the quantitative analysis and identification of the specific pattern of molecular transport within the ECS through the calculation of the Peclet number. Experimental validation on two datasets of magnetic resonance images (MRIs) captured at different time points showcases the effectiveness of the proposed method. Notably, our simulations reveal identical molecular transport patterns between datasets representing rats with tracer injected into the same brain region. These findings highlight the potential of PINN as a promising tool for comprehensively exploring molecular transport within the ECS.
△ Less
Submitted 23 January, 2024; v1 submitted 22 January, 2024;
originally announced January 2024.
-
Learning based numerical methods for Helmholtz equation with high frequency
Authors:
Yu Chen,
** Cheng,
Tingyue Li,
Yun Miao
Abstract:
High-frequency issues have been remarkably challenges in numerical methods for partial differential equations. In this paper, a learning based numerical method (LbNM) is proposed for Helmholtz equation with high frequency. The main novelty is using Tikhonov regularization method to stably learn the solution operator by utilizing relevant information especially the fundamental solutions. Then apply…
▽ More
High-frequency issues have been remarkably challenges in numerical methods for partial differential equations. In this paper, a learning based numerical method (LbNM) is proposed for Helmholtz equation with high frequency. The main novelty is using Tikhonov regularization method to stably learn the solution operator by utilizing relevant information especially the fundamental solutions. Then applying the solution operator to a new boundary input could quickly update the solution. Based on the method of fundamental solutions and the quantitative Runge approximation, we give the error estimate. This indicates interpretability and generalizability of the present method. Numerical results validates the error analysis and demonstrates the high-precision and high-efficiency features.
△ Less
Submitted 17 January, 2024;
originally announced January 2024.
-
Two-Stage Distributionally Robust Edge Node Placement Under Endogenous Demand Uncertainty
Authors:
Jiaming Cheng,
Duong Thuy Anh Nguyen,
Duong Tung Nguyen
Abstract:
Edge computing (EC) promises to deliver low-latency and ubiquitous computation to numerous devices at the network edge. This paper aims to jointly optimize edge node (EN) placement and resource allocation for an EC platform, considering demand uncertainty. Diverging from existing approaches treating uncertainties as exogenous, we propose a novel two-stage decision-dependent distributionally robust…
▽ More
Edge computing (EC) promises to deliver low-latency and ubiquitous computation to numerous devices at the network edge. This paper aims to jointly optimize edge node (EN) placement and resource allocation for an EC platform, considering demand uncertainty. Diverging from existing approaches treating uncertainties as exogenous, we propose a novel two-stage decision-dependent distributionally robust optimization (DRO) framework to effectively capture the interdependence between EN placement decisions and uncertain demands. The first stage involves making EN placement decisions, while the second stage optimizes resource allocation after uncertainty revelation. We present an exact mixed-integer linear program reformulation for solving the underlying ``min-max-min" two-stage model. We further introduce a valid inequality method to enhance computational efficiency, especially for large-scale networks. Extensive numerical experiments demonstrate the benefits of considering endogenous uncertainties and the advantages of the proposed model and approach.
△ Less
Submitted 15 January, 2024;
originally announced January 2024.
-
Hadamard integrators for wave equations in time and frequency domain: Eulerian formulations via butterfly algorithms
Authors:
Yuxiao Wei,
** Cheng,
Shingyu Leung,
Robert Burridge,
Jianliang Qian
Abstract:
Starting from the Kirchhoff-Huygens representation and Duhamel's principle of time-domain wave equations, we propose novel butterfly-compressed Hadamard integrators for self-adjoint wave equations in both time and frequency domain in an inhomogeneous medium. First, we incorporate the leading term of Hadamard's ansatz into the Kirchhoff-Huygens representation to develop a short-time valid propagato…
▽ More
Starting from the Kirchhoff-Huygens representation and Duhamel's principle of time-domain wave equations, we propose novel butterfly-compressed Hadamard integrators for self-adjoint wave equations in both time and frequency domain in an inhomogeneous medium. First, we incorporate the leading term of Hadamard's ansatz into the Kirchhoff-Huygens representation to develop a short-time valid propagator. Second, using the Fourier transform in time, we derive the corresponding Eulerian short-time propagator in frequency domain; on top of this propagator, we further develop a time-frequency-time (TFT) method for the Cauchy problem of time-domain wave equations. Third, we further propose the time-frequency-time-frequency (TFTF) method for the corresponding point-source Helmholtz equation, which provides Green's functions of the Helmholtz equation for all angular frequencies within a given frequency band. Fourth, to implement TFT and TFTF methods efficiently, we introduce butterfly algorithms to compress oscillatory integral kernels at different frequencies. As a result, the proposed methods can construct wave field beyond caustics implicitly and advance spatially overturning waves in time naturally with quasi-optimal computational complexity and memory usage. Furthermore, once constructed the Hadamard integrators can be employed to solve both time-domain wave equations with various initial conditions and frequency-domain wave equations with different point sources. Numerical examples for two-dimensional wave equations illustrate the accuracy and efficiency of the proposed methods.
△ Less
Submitted 4 June, 2024; v1 submitted 2 January, 2024;
originally announced January 2024.
-
The Wave Equation on Lattices and Oscillatory Integrals
Authors:
Cheng Bi,
Jiawei Cheng,
Bobo Hua
Abstract:
In this paper, we establish sharp dispersive estimates for the linear wave equation on the lattice $\mathbb{Z}^d$ with dimension $d=4$. Combining the singularity theory with results in uniform estimates of oscillatory integrals, we prove that the optimal time decay rate of the fundamental solution is of order $|t|^{-\frac{3}{2}}\log |t|$, which is the first extension of P. Schultz's results \cite{…
▽ More
In this paper, we establish sharp dispersive estimates for the linear wave equation on the lattice $\mathbb{Z}^d$ with dimension $d=4$. Combining the singularity theory with results in uniform estimates of oscillatory integrals, we prove that the optimal time decay rate of the fundamental solution is of order $|t|^{-\frac{3}{2}}\log |t|$, which is the first extension of P. Schultz's results \cite{S98} in $d=2,3$ to the higher dimension. Moreover, we notice that the Newton polyhedron can be used not only to interpret the decay rates for $d=2,3,4$, but also to study the most degenerate case for all odd $d\geq 3$. Furthermore, we prove $l^p\rightarrow l^q$ estimates as well as Strichartz estimates and give applications to nonlinear wave equations.
△ Less
Submitted 15 February, 2024; v1 submitted 7 December, 2023;
originally announced December 2023.
-
Exact Solutions for the NP-hard Wasserstein Barycenter Problem using a Doubly Nonnegative Relaxation and a Splitting Method
Authors:
Abdo Alfakih,
Jeffery Cheng,
Woosuk L. Jung,
Walaa M. Moursi,
Henry Wolkowicz
Abstract:
The simplified Wasserstein barycenter problem consists in selecting one point from $k$ given sets, each set consisting of $n$ points, with the aim of minimizing the sum of distances to the barycenter of the $k$ points chosen. This problem is known to be NP-hard. We compute the Wasserstein barycenter by exploiting the Euclidean distance matrix structure to obtain a facially reduced doubly nonnegati…
▽ More
The simplified Wasserstein barycenter problem consists in selecting one point from $k$ given sets, each set consisting of $n$ points, with the aim of minimizing the sum of distances to the barycenter of the $k$ points chosen. This problem is known to be NP-hard. We compute the Wasserstein barycenter by exploiting the Euclidean distance matrix structure to obtain a facially reduced doubly nonnegative relaxation (DNN). The facial reduction provides a natural splitting for applying the symmetric alternating directions method of multipliers (sADMM) to the DNN relaxation. The sADMM method exploits structure in the subproblems to find strong upper and lower bounds.
The purpose of this paper is twofold. First we want to illustrate the strength of this DNN relaxation with a splitting approach. Our numerical tests then illustrate the surprising success on random problems, as we generally, efficiently, find the provable exact solution of this NP-hard problem. Comparisons with current commercial software illustrate this surprising efficiency. However, we demonstrate and prove that there is a duality gap for problems with enough multiple optimal solutions, and that this arises from problems with highly symmetrized structure.
△ Less
Submitted 8 November, 2023;
originally announced November 2023.
-
Optimal Workload Allocation for Distributed Edge Clouds With Renewable Energy and Battery Storage
Authors:
Duong Thuy Anh Nguyen,
Jiaming Cheng,
Ni Trieu,
Duong Tung Nguyen
Abstract:
This paper studies an optimal workload allocation problem for a network of renewable energy-powered edge clouds that serve users located across various geographical areas. Specifically, each edge cloud is furnished with both an on-site renewable energy generation unit and a battery storage unit. Due to the discrepancy in electricity pricing and the diverse temporal-spatial characteristics of renew…
▽ More
This paper studies an optimal workload allocation problem for a network of renewable energy-powered edge clouds that serve users located across various geographical areas. Specifically, each edge cloud is furnished with both an on-site renewable energy generation unit and a battery storage unit. Due to the discrepancy in electricity pricing and the diverse temporal-spatial characteristics of renewable energy generation, how to optimally allocate workload to different edge clouds to minimize the total operating cost while maximizing renewable energy utilization is a crucial and challenging problem. To this end, we introduce and formulate an optimization-based framework designed for Edge Service Providers (ESPs) with the overarching goal of simultaneously reducing energy costs and environmental impacts through the integration of renewable energy sources and battery storage systems, all while maintaining essential quality-of-service standards. Numerical results demonstrate the effectiveness of the proposed model and solution in maintaining service quality as well as reducing operational costs and emissions. Furthermore, the impacts of renewable energy generation and battery storage on optimal system operations are rigorously analyzed.
△ Less
Submitted 21 October, 2023; v1 submitted 1 October, 2023;
originally announced October 2023.
-
Interpolation, Approximation and Controllability of Deep Neural Networks
Authors:
**gpu Cheng,
Qianxiao Li,
Ting Lin,
Zuowei Shen
Abstract:
We investigate the expressive power of deep residual neural networks idealized as continuous dynamical systems through control theory. Specifically, we consider two properties that arise from supervised learning, namely universal interpolation - the ability to match arbitrary input and target training samples - and the closely related notion of universal approximation - the ability to approximate…
▽ More
We investigate the expressive power of deep residual neural networks idealized as continuous dynamical systems through control theory. Specifically, we consider two properties that arise from supervised learning, namely universal interpolation - the ability to match arbitrary input and target training samples - and the closely related notion of universal approximation - the ability to approximate input-target functional relationships via flow maps. Under the assumption of affine invariance of the control family, we give a characterisation of universal interpolation, showing that it holds for essentially any architecture with non-linearity. Furthermore, we elucidate the relationship between universal interpolation and universal approximation in the context of general control systems, showing that the two properties cannot be deduced from each other. At the same time, we identify conditions on the control family and the target function that ensures the equivalence of the two notions.
△ Less
Submitted 12 September, 2023;
originally announced September 2023.
-
A characterization of homogeneous three-dimensional CR manifolds
Authors:
Jih-Hsin Cheng,
Andrea Malchiodi,
Paul Yang
Abstract:
We characterize homogeneous three-dimensional CR manifolds, in particular Rossi spheres, as critical points of a certain energy functional that depends on the Webster curvature and torsion of the pseudohermitian structure.
We characterize homogeneous three-dimensional CR manifolds, in particular Rossi spheres, as critical points of a certain energy functional that depends on the Webster curvature and torsion of the pseudohermitian structure.
△ Less
Submitted 5 September, 2023;
originally announced September 2023.
-
Hadamard integrator for time-dependent wave equations: Lagrangian formulation via ray tracing
Authors:
Yuxiao Wei,
** Cheng,
Robert Burridge,
Jianliang Qian
Abstract:
We propose a novel Hadamard integrator for the self-adjoint time-dependent wave equation in an inhomogeneous medium. First, we create a new asymptotic series based on the Gelfand-Shilov function, dubbed Hadamard's ansatz, to approximate the Green's function of the time-dependent wave equation. Second, incorporating the leading term of Hadamard's ansatz into the Kirchhoff-Huygens representation, we…
▽ More
We propose a novel Hadamard integrator for the self-adjoint time-dependent wave equation in an inhomogeneous medium. First, we create a new asymptotic series based on the Gelfand-Shilov function, dubbed Hadamard's ansatz, to approximate the Green's function of the time-dependent wave equation. Second, incorporating the leading term of Hadamard's ansatz into the Kirchhoff-Huygens representation, we develop an original Hadamard integrator for the Cauchy problem of the time-dependent wave equation and derive the corresponding Lagrangian formulation in geodesic polar coordinates. Third, to construct the Hadamard integrator in the Lagrangian formulation efficiently, we use a short-time ray tracing method to obtain wavefront locations accurately, and we further develop fast algorithms to compute Chebyshev-polynomial based low-rank representations of both wavefront locations and variants of Hadamard coefficients. Fourth, equipped with these low-rank representations, we apply the Hadamard integrator to efficiently solve time-dependent wave equations with highly oscillatory initial conditions, where the time step size is independent of the initial conditions. By judiciously choosing the medium-dependent time step, our new Hadamard integrator can propagate wave field beyond caustics implicitly and advance spatially overturning waves in time naturally. Moreover, since the integrator is independent of initial conditions, the Hadamard integrator can be applied to many different initial conditions once it is constructed. Both two-dimensional and three-dimensional numerical examples illustrate the accuracy and performance of the proposed method.
△ Less
Submitted 25 August, 2023; v1 submitted 17 August, 2023;
originally announced August 2023.
-
On the multi-parameter Fourier integral operator
Authors:
**hua Cheng,
Zipeng Wang
Abstract:
We study a family of Fourier integral operators whose symbol and phase function satisfy a multi-parameter characteristics. We consider symbol function $σ(x,y,ξ)$ with compact support in $~(x,y)$ and such that $|\partial_ξ^α\partial_{x,y}^βσ(x,y,ξ)|\le \mathfrak{C} (1+|ξ|)^m\prod_{i=1}^n(1+|ξ^i|)^{-α_i}$. We require that phase function $Φ(x,ξ)=Φ_1(x^1,ξ^1)+Φ_2(x^2,ξ^2)+\cdots+Φ_n(x^n,ξ^n)~$, and ea…
▽ More
We study a family of Fourier integral operators whose symbol and phase function satisfy a multi-parameter characteristics. We consider symbol function $σ(x,y,ξ)$ with compact support in $~(x,y)$ and such that $|\partial_ξ^α\partial_{x,y}^βσ(x,y,ξ)|\le \mathfrak{C} (1+|ξ|)^m\prod_{i=1}^n(1+|ξ^i|)^{-α_i}$. We require that phase function $Φ(x,ξ)=Φ_1(x^1,ξ^1)+Φ_2(x^2,ξ^2)+\cdots+Φ_n(x^n,ξ^n)~$, and each of them satisfies the same conditions as before. As a result, we get a desired better $L^p$-regularity result.
△ Less
Submitted 7 August, 2023; v1 submitted 26 July, 2023;
originally announced July 2023.
-
Discrete analogues of fractional integrals on product space
Authors:
**hua Cheng
Abstract:
We study the discrete analogue of Stein-Weiss inequality and other variants of fractional integrals on product space, we prove some $\ell^p\rightarrow\ell^q$ bounds for these operators via iteration methods and Fourier transform. In the last section, we involve a Dirichlet character in a discrete fractional integral, then prove the regularity theorem by Hardy-Littlewood circle method.
We study the discrete analogue of Stein-Weiss inequality and other variants of fractional integrals on product space, we prove some $\ell^p\rightarrow\ell^q$ bounds for these operators via iteration methods and Fourier transform. In the last section, we involve a Dirichlet character in a discrete fractional integral, then prove the regularity theorem by Hardy-Littlewood circle method.
△ Less
Submitted 20 July, 2023;
originally announced July 2023.
-
On the variation of the Einstein-Hilbert action in pseudohermitian geometry
Authors:
Claudio Afeltra,
Jih-Hsin Cheng,
Andrea Malchiodi,
Paul Yang
Abstract:
In this paper we compute the first and second variation of the normalized Einstein-Hilbert functional on CR manifolds. We characterize critical points as pseudo-Einstein structures. We then turn to the second variation on standard spheres. While the situation is quite similar to the Riemannian case in dimension greater or equal to five, in three dimension we observe a crucial difference, which mai…
▽ More
In this paper we compute the first and second variation of the normalized Einstein-Hilbert functional on CR manifolds. We characterize critical points as pseudo-Einstein structures. We then turn to the second variation on standard spheres. While the situation is quite similar to the Riemannian case in dimension greater or equal to five, in three dimension we observe a crucial difference, which mainly depends on the embeddable character of the perturbed CR structure.
△ Less
Submitted 12 June, 2023;
originally announced June 2023.
-
Harmonic Measures and Numerical Computation of Cauchy Problems for Laplace Equations
Authors:
Yu Chen,
** Cheng,
Shuai Lu,
Masahiro Yamamoto
Abstract:
It is well known that Cauchy problem for Laplace equations is an ill-posed problem in Hadamard's sense. Small deviations in Cauchy data may lead to large errors in the solutions. It is observed that if a bound is imposed on the solution, there exists a conditional stability estimate. This gives a reasonable way to construct stable algorithms. However, it is impossible to have good results at all p…
▽ More
It is well known that Cauchy problem for Laplace equations is an ill-posed problem in Hadamard's sense. Small deviations in Cauchy data may lead to large errors in the solutions. It is observed that if a bound is imposed on the solution, there exists a conditional stability estimate. This gives a reasonable way to construct stable algorithms. However, it is impossible to have good results at all points in the domain. Although numerical methods for Cauchy problems for Laplace equations have been widely studied for quite a long time, there are still some unclear points, for example, how to evaluate the numerical solutions, which means whether we can approximate the Cauchy data well and keep the bound of the solution, and at which points the numerical results are reliable? In this paper, we will prove the conditional stability estimate which is quantitatively related to harmonic measures. The harmonic measure can be used as an indicate function to pointwisely evaluate the numerical result, which further enables us to find a reliable subdomain where the local convergence rate is higher than a certain order.
△ Less
Submitted 23 May, 2023;
originally announced May 2023.
-
Optimized Dimensionality Reduction for Moment-based Distributionally Robust Optimization
Authors:
Shiyi Jiang,
Jianqiang Cheng,
Kai Pan,
Zuo-Jun Max Shen
Abstract:
Moment-based distributionally robust optimization (DRO) provides an optimization framework to integrate statistical information with traditional optimization approaches. Under this framework, one assumes that the underlying joint distribution of random parameters runs in a distributional ambiguity set constructed by moment information and makes decisions against the worst-case distribution within…
▽ More
Moment-based distributionally robust optimization (DRO) provides an optimization framework to integrate statistical information with traditional optimization approaches. Under this framework, one assumes that the underlying joint distribution of random parameters runs in a distributional ambiguity set constructed by moment information and makes decisions against the worst-case distribution within the set. Although most moment-based DRO problems can be reformulated as semidefinite programming (SDP) problems that can be solved in polynomial time, solving high-dimensional SDPs is still time-consuming. Unlike existing approximation approaches that first reduce the dimensionality of random parameters and then solve the approximated SDPs, we propose an optimized dimensionality reduction (ODR) approach. We first show that the ranks of the matrices in the SDP reformulations are small, by which we are then motivated to integrate the dimensionality reduction of random parameters with the subsequent optimization problems. Such integration enables two outer and one inner approximations of the original problem, all of which are low-dimensional SDPs that can be solved efficiently. More importantly, these approximations can theoretically achieve the optimal value of the original high-dimensional SDPs. As these approximations are nonconvex SDPs, we develop modified Alternating Direction Method of Multipliers (ADMM) algorithms to solve them efficiently. We demonstrate the effectiveness of our proposed ODR approach and algorithm in solving two practical problems. Numerical results show significant advantages of our approach on the computational time and solution quality over the three best possible benchmark approaches. Our approach can obtain an optimal or near-optimal (mostly within 0.1%) solution and reduce the computational time by up to three orders of magnitude.
△ Less
Submitted 31 October, 2023; v1 submitted 6 May, 2023;
originally announced May 2023.
-
Graphical distances & inertia
Authors:
Jeffrey Cheng,
Ian Malcolm Johnson McInnis,
Matthew Yee
Abstract:
We study the inertia of distance matrices of weighted graphs. Our novel congruence-based proof of the inertia of weighted trees extends to a proof for the inertia of weighted unicyclic graphs whose cycle is a triangle. Partial results are given on the inertia of other rationally weighted unicylic graphs.
We study the inertia of distance matrices of weighted graphs. Our novel congruence-based proof of the inertia of weighted trees extends to a proof for the inertia of weighted unicyclic graphs whose cycle is a triangle. Partial results are given on the inertia of other rationally weighted unicylic graphs.
△ Less
Submitted 25 April, 2023;
originally announced April 2023.
-
Isometric embedding and spectral constraints for weighted graph metrics
Authors:
Jeffrey Cheng,
Ian Malcolm Johnson McInnis,
Matthew Yee
Abstract:
A weighted graph $φG$ encodes a finite metric space $D_{φG}$. When is $D$ totally decomposable? When does it embed in $\ell_1$ space? When does its representing matrix have $\leq 1$ positive eigenvalue? We give useful lemmata and prove that these questions can be answered without examining $φ$ if and only if $G$ has no $K_{2,3}$ minor. We also prove results toward the following conjecture.…
▽ More
A weighted graph $φG$ encodes a finite metric space $D_{φG}$. When is $D$ totally decomposable? When does it embed in $\ell_1$ space? When does its representing matrix have $\leq 1$ positive eigenvalue? We give useful lemmata and prove that these questions can be answered without examining $φ$ if and only if $G$ has no $K_{2,3}$ minor. We also prove results toward the following conjecture. $D_{φG}$ has $\leq n$ positive eigenvalues for all $φ$, if and only if $G$ has no $K_{2,3,...,3}$ minor, with $n$ threes.
△ Less
Submitted 25 April, 2023;
originally announced April 2023.
-
Follower Agnostic Methods for Stackelberg Games
Authors:
Chinmay Maheshwari,
James Cheng,
S. Shankar Sasty,
Lillian Ratliff,
Eric Mazumdar
Abstract:
In this paper, we present an efficient algorithm to solve online Stackelberg games, featuring multiple followers, in a follower-agnostic manner. Unlike previous works, our approach works even when leader has no knowledge about the followers' utility functions or strategy space. Our algorithm introduces a unique gradient estimator, leveraging specially designed strategies to probe followers. In a d…
▽ More
In this paper, we present an efficient algorithm to solve online Stackelberg games, featuring multiple followers, in a follower-agnostic manner. Unlike previous works, our approach works even when leader has no knowledge about the followers' utility functions or strategy space. Our algorithm introduces a unique gradient estimator, leveraging specially designed strategies to probe followers. In a departure from traditional assumptions of optimal play, we model followers' responses using a convergent adaptation rule, allowing for realistic and dynamic interactions. The leader constructs the gradient estimator solely based on observations of followers' actions. We provide both non-asymptotic convergence rates to stationary points of the leader's objective and demonstrate asymptotic convergence to a \emph{local Stackelberg equilibrium}. To validate the effectiveness of our algorithm, we use this algorithm to solve the problem of incentive design on a large-scale transportation network, showcasing its robustness even when the leader lacks access to followers' demand.
△ Less
Submitted 26 March, 2024; v1 submitted 2 February, 2023;
originally announced February 2023.
-
Differential Analysis for Networks Obeying Conservation Laws
Authors:
Anirudh Rayas,
Rajasekhar Anguluri,
Jiajun Cheng,
Gautam Dasarathy
Abstract:
Networked systems that occur in various domains, such as the power grid, the brain, and opinion networks, are known to obey conservation laws. For instance, electric networks obey Kirchoff's laws, and social networks display opinion consensus. Such conservation laws are often modeled as balance equations that relate appropriate injected flows and potentials at the nodes of the networks. A recent l…
▽ More
Networked systems that occur in various domains, such as the power grid, the brain, and opinion networks, are known to obey conservation laws. For instance, electric networks obey Kirchoff's laws, and social networks display opinion consensus. Such conservation laws are often modeled as balance equations that relate appropriate injected flows and potentials at the nodes of the networks. A recent line of work considers the problem of estimating the unknown structure of such networked systems from observations of node potentials (and only the knowledge of the statistics of injected flows). Given the dynamic nature of the systems under consideration, an equally important task is estimating the change in the structure of the network from data -- the so called differential network analysis problem. That is, given two sets of node potential observations, the goal is to estimate the structural differences between the underlying networks. We formulate this novel differential network analysis problem for systems obeying conservation laws and devise a convex estimator to learn the edge changes directly from node potentials. We derive conditions under which the estimate is unique in the high-dimensional regime and devise an efficient ADMM-based approach to perform the estimation. Finally, we demonstrate the performance of our approach on synthetic and benchmark power network data.
△ Less
Submitted 30 January, 2023;
originally announced February 2023.
-
A Fairness-Aware Attacker-Defender Model for Optimal Edge Network Operation and Protection
Authors:
Duong Thuy Anh Nguyen,
Jiaming Cheng,
Ni Trieu,
Duong Tung Nguyen
Abstract:
While various aspects of edge computing (EC) have been studied extensively, the current literature has overlooked the robust edge network operations and planning problem. To this end, this letter proposes a novel fairness-aware attacker-defender model for optimal edge network operation and hardening against possible attacks and disruptions. The proposed model helps EC platforms identify the set of…
▽ More
While various aspects of edge computing (EC) have been studied extensively, the current literature has overlooked the robust edge network operations and planning problem. To this end, this letter proposes a novel fairness-aware attacker-defender model for optimal edge network operation and hardening against possible attacks and disruptions. The proposed model helps EC platforms identify the set of most critical nodes to be protected to mitigate the impact of failures on system performance. Numerical results show that the proposed solution can not only ensure good service quality but also maintain fairness among different areas during disruptions.
△ Less
Submitted 6 February, 2023; v1 submitted 16 January, 2023;
originally announced January 2023.
-
Interior $W^{2,p}$ estimate for small perturbations to the complex Monge-Ampere equation
Authors:
**grui Cheng,
Yulun Xu
Abstract:
Let $w_0$ be a bounded, $C^3$, strictly plurisubharmonic function defined on $B_1\subset \mathbb{C}^n$. Then $w_0$ has a neighborhood in $L^{\infty}(B_1)$ with the following property: for any continuous, plurisubharmonic function $u$ in this neighborhood solving $1-\eps \le MA(u)\le 1+\eps$, one has $u\in W^{2,p}(B_{\frac{1}{2}})$, as long as $\eps>0$ is small enough depending only on $n$ and $p$.…
▽ More
Let $w_0$ be a bounded, $C^3$, strictly plurisubharmonic function defined on $B_1\subset \mathbb{C}^n$. Then $w_0$ has a neighborhood in $L^{\infty}(B_1)$ with the following property: for any continuous, plurisubharmonic function $u$ in this neighborhood solving $1-\eps \le MA(u)\le 1+\eps$, one has $u\in W^{2,p}(B_{\frac{1}{2}})$, as long as $\eps>0$ is small enough depending only on $n$ and $p$. This partially generalizes Caffarelli's interior $W^{2,p}$ estimates for real Monge-Ampere to the complex version.
△ Less
Submitted 2 January, 2023;
originally announced January 2023.
-
High Dimensional Binary Classification under Label Shift: Phase Transition and Regularization
Authors:
Jiahui Cheng,
Minshuo Chen,
Hao Liu,
Tuo Zhao,
Wen**g Liao
Abstract:
Label Shift has been widely believed to be harmful to the generalization performance of machine learning models. Researchers have proposed many approaches to mitigate the impact of the label shift, e.g., balancing the training data. However, these methods often consider the underparametrized regime, where the sample size is much larger than the data dimension. The research under the overparametriz…
▽ More
Label Shift has been widely believed to be harmful to the generalization performance of machine learning models. Researchers have proposed many approaches to mitigate the impact of the label shift, e.g., balancing the training data. However, these methods often consider the underparametrized regime, where the sample size is much larger than the data dimension. The research under the overparametrized regime is very limited. To bridge this gap, we propose a new asymptotic analysis of the Fisher Linear Discriminant classifier for binary classification with label shift. Specifically, we prove that there exists a phase transition phenomenon: Under certain overparametrized regime, the classifier trained using imbalanced data outperforms the counterpart with reduced balanced data. Moreover, we investigate the impact of regularization to the label shift: The aforementioned phase transition vanishes as the regularization becomes strong.
△ Less
Submitted 7 December, 2022; v1 submitted 1 December, 2022;
originally announced December 2022.
-
Deep unfolding as iterative regularization for imaging inverse problems
Authors:
Zhuo-Xu Cui,
Qingyong Zhu,
**g Cheng,
Dong Liang
Abstract:
Recently, deep unfolding methods that guide the design of deep neural networks (DNNs) through iterative algorithms have received increasing attention in the field of inverse problems. Unlike general end-to-end DNNs, unfolding methods have better interpretability and performance. However, to our knowledge, their accuracy and stability in solving inverse problems cannot be fully guaranteed. To bridg…
▽ More
Recently, deep unfolding methods that guide the design of deep neural networks (DNNs) through iterative algorithms have received increasing attention in the field of inverse problems. Unlike general end-to-end DNNs, unfolding methods have better interpretability and performance. However, to our knowledge, their accuracy and stability in solving inverse problems cannot be fully guaranteed. To bridge this gap, we modified the training procedure and proved that the unfolding method is an iterative regularization method. More precisely, we jointly learn a convex penalty function adversarially by an input-convex neural network (ICNN) to characterize the distance to a real data manifold and train a DNN unfolded from the proximal gradient descent algorithm with this learned penalty. Suppose the real data manifold intersects the inverse problem solutions with only the unique real solution. We prove that the unfolded DNN will converge to it stably. Furthermore, we demonstrate with an example of MRI reconstruction that the proposed method outperforms conventional unfolding methods and traditional regularization methods in terms of reconstruction quality, stability and convergence speed.
△ Less
Submitted 24 November, 2022;
originally announced November 2022.
-
Theta functions and adiabatic curvature on an Abelian variety
Authors:
Ching-Hao Chang,
Jih-Hsin Cheng,
I-Hsun Tsai
Abstract:
For an ample line bundle $L$ on an Abelian variety $M$, we study the theta functions associated with the family of line bundles $L\otimes T$ on $M$ indexed by $T\in \text{Pic}^{0}(M)$. Combined with an appropriate differential geometric setting, this leads to an explicit curvature computation of the direct image bundle $E$ on $\text{Pic}^{0}(M)$, whose fiber $E_{T}$ is the vector space spanned by…
▽ More
For an ample line bundle $L$ on an Abelian variety $M$, we study the theta functions associated with the family of line bundles $L\otimes T$ on $M$ indexed by $T\in \text{Pic}^{0}(M)$. Combined with an appropriate differential geometric setting, this leads to an explicit curvature computation of the direct image bundle $E$ on $\text{Pic}^{0}(M)$, whose fiber $E_{T}$ is the vector space spanned by the theta functions for the line bundle $L\otimes T$ on $M$. Some algebro-geometric properties of $E$ are also remarked.
△ Less
Submitted 10 February, 2024; v1 submitted 24 October, 2022;
originally announced October 2022.
-
Regularization Of $m$-subharmonic Functions And HÖlder Continuity
Authors:
**grui Cheng,
Yulun Xu
Abstract:
We use sup-convolution to find upper approximations of a bounded $m$-subharmonic function on a compact Kähler manifold with nonnegative holomorphic bisectional curvature. As an application, we show the Hölder continuity of solutions to $σ_m$ equation when the right hand side is in $L^p$, $p>\frac{n}{m}$. All these results generalize to more general complex Hessian equations.
We use sup-convolution to find upper approximations of a bounded $m$-subharmonic function on a compact Kähler manifold with nonnegative holomorphic bisectional curvature. As an application, we show the Hölder continuity of solutions to $σ_m$ equation when the right hand side is in $L^p$, $p>\frac{n}{m}$. All these results generalize to more general complex Hessian equations.
△ Less
Submitted 30 August, 2022;
originally announced August 2022.
-
Global existence and finite time blowup for a mixed pseudo-parabolic $p$-Laplacian type equation
Authors:
Jiazhuo Cheng,
Qiru Wang
Abstract:
This paper concerns the initial-boundary value problem for a mixed pseudo-parabolic $p$-Laplacian type equation. By constructing a family of potential wells, we first present the explicit expression for the depth of potential well, and then prove the existence, uniqueness and decay estimate of global solutions and the blowup phenomena of solutions with subcritical initial energy. Next, we extend p…
▽ More
This paper concerns the initial-boundary value problem for a mixed pseudo-parabolic $p$-Laplacian type equation. By constructing a family of potential wells, we first present the explicit expression for the depth of potential well, and then prove the existence, uniqueness and decay estimate of global solutions and the blowup phenomena of solutions with subcritical initial energy. Next, we extend parallelly these results to the critical initial energy. Lastly, the existence, uniqueness and asymptotic behavior of global solutions with supercritical initial energy are proved by further analyzing the properties of $ω$-limits of solutions.
△ Less
Submitted 5 August, 2022;
originally announced August 2022.
-
Efficient Private SCO for Heavy-Tailed Data via Clip**
Authors:
Chenhan **,
Kaiwen Zhou,
Bo Han,
Ming-Chang Yang,
James Cheng
Abstract:
We consider stochastic convex optimization for heavy-tailed data with the guarantee of being differentially private (DP). Prior work on this problem is restricted to the gradient descent (GD) method, which is inefficient for large-scale problems. In this paper, we resolve this issue and derive the first high-probability bounds for the private stochastic method with clip**. For general convex pro…
▽ More
We consider stochastic convex optimization for heavy-tailed data with the guarantee of being differentially private (DP). Prior work on this problem is restricted to the gradient descent (GD) method, which is inefficient for large-scale problems. In this paper, we resolve this issue and derive the first high-probability bounds for the private stochastic method with clip**. For general convex problems, we derive excess population risks $\Tilde{O}\left(\frac{d^{1/7}\sqrt{\ln\frac{(n ε)^2}{βd}}}{(nε)^{2/7}}\right)$ and $\Tilde{O}\left(\frac{d^{1/7}\ln\frac{(nε)^2}{βd}}{(nε)^{2/7}}\right)$ under bounded or unbounded domain assumption, respectively (here $n$ is the sample size, $d$ is the dimension of the data, $β$ is the confidence level and $ε$ is the private level). Then, we extend our analysis to the strongly convex case and non-smooth case (which works for generalized smooth objectives with H$\ddot{\text{o}}$lder-continuous gradients). We establish new excess risk bounds without bounded domain assumption. The results above achieve lower excess risks and gradient complexities than existing methods in their corresponding cases. Numerical experiments are conducted to justify the theoretical improvement.
△ Less
Submitted 15 July, 2022; v1 submitted 26 June, 2022;
originally announced June 2022.
-
An Adaptive Incremental Gradient Method With Support for Non-Euclidean Norms
Authors:
Binghui Xie,
Chenhan **,
Kaiwen Zhou,
James Cheng,
Wei Meng
Abstract:
Stochastic variance reduced methods have shown strong performance in solving finite-sum problems. However, these methods usually require the users to manually tune the step-size, which is time-consuming or even infeasible for some large-scale optimization tasks. To overcome the problem, we propose and analyze several novel adaptive variants of the popular SAGA algorithm. Eventually, we design a va…
▽ More
Stochastic variance reduced methods have shown strong performance in solving finite-sum problems. However, these methods usually require the users to manually tune the step-size, which is time-consuming or even infeasible for some large-scale optimization tasks. To overcome the problem, we propose and analyze several novel adaptive variants of the popular SAGA algorithm. Eventually, we design a variant of Barzilai-Borwein step-size which is tailored for the incremental gradient method to ensure memory efficiency and fast convergence. We establish its convergence guarantees under general settings that allow non-Euclidean norms in the definition of smoothness and the composite objectives, which cover a broad range of applications in machine learning. We improve the analysis of SAGA to support non-Euclidean norms, which fills the void of existing work. Numerical experiments on standard datasets demonstrate a competitive performance of the proposed algorithm compared with existing variance-reduced methods and their adaptive variants.
△ Less
Submitted 7 October, 2023; v1 submitted 28 April, 2022;
originally announced May 2022.
-
The $L^{\infty}$ estimates for parabolic complex Monge-Ampere and Hessian equations
Authors:
Xiuxiong Chen,
**grui Cheng
Abstract:
In this paper, we consider a version of parabolic complex Monge-Ampere equations, and use a PDE approach similar to Phong et al to establish $L^{\infty}$ and Hölder estimates. We also generalize the $L^{\infty}$ estimates to parabolic Hessian equations.
In this paper, we consider a version of parabolic complex Monge-Ampere equations, and use a PDE approach similar to Phong et al to establish $L^{\infty}$ and Hölder estimates. We also generalize the $L^{\infty}$ estimates to parabolic Hessian equations.
△ Less
Submitted 31 January, 2022;
originally announced January 2022.
-
Gradient estimate for complex Monge-Ampere equation with continuous right hand side
Authors:
Xiuxiong Chen,
**grui Cheng
Abstract:
In this note, we consider complex Monge-Ampere equation posed on a compact Kähler manifold. We show how to get $L^p$($p<\infty$) and $L^{\infty}$ estimate for the gradient of the solution in terms of the continuity of the right hand side.
In this note, we consider complex Monge-Ampere equation posed on a compact Kähler manifold. We show how to get $L^p$($p<\infty$) and $L^{\infty}$ estimate for the gradient of the solution in terms of the continuity of the right hand side.
△ Less
Submitted 31 January, 2022;
originally announced January 2022.
-
Internal symmetry of the $L_{\leqslant 3}$ algebra arising from a Lie pair
Authors:
Dadi Ni,
Jiahao Cheng,
Zhuo Chen,
Chen He
Abstract:
A Lie pair is an inclusion $A$ to $L$ of Lie algebroids over the same base manifold. In an earlier work, the third author with Bandiera, Stiénon, and Xu introduced a canonical $L_{\leqslant 3}$ algebra $Γ(\wedge^\bullet A^\vee \otimes L/A)$ whose unary bracket is the Chevalley-Eilenberg differential arising from every Lie pair $(L,A)$. In this note, we prove that to such a Lie pair there is an ass…
▽ More
A Lie pair is an inclusion $A$ to $L$ of Lie algebroids over the same base manifold. In an earlier work, the third author with Bandiera, Stiénon, and Xu introduced a canonical $L_{\leqslant 3}$ algebra $Γ(\wedge^\bullet A^\vee \otimes L/A)$ whose unary bracket is the Chevalley-Eilenberg differential arising from every Lie pair $(L,A)$. In this note, we prove that to such a Lie pair there is an associated Lie algebra action by $\mathrm{Der}(L)$ on the $L_{\leqslant 3}$ algebra $Γ(\wedge^\bullet A^\vee \otimes L/A)$. Here $\mathrm{Der}(L)$ is the space of derivations on the Lie algebroid $L$, or infinitesimal automorphisms of $L$. The said action gives rise to a larger scope of gauge equivalences of Maurer-Cartan elements in $Γ(\wedge^\bullet A^\vee \otimes L/A)$, and for this reason we elect to call the $\mathrm{Der}(L)$-action internal symmetry of $Γ(\wedge^\bullet A^\vee \otimes L/A)$.
△ Less
Submitted 4 July, 2022; v1 submitted 31 January, 2022;
originally announced January 2022.
-
Accelerating Perturbed Stochastic Iterates in Asynchronous Lock-Free Optimization
Authors:
Kaiwen Zhou,
Anthony Man-Cho So,
James Cheng
Abstract:
We show that stochastic acceleration can be achieved under the perturbed iterate framework (Mania et al., 2017) in asynchronous lock-free optimization, which leads to the optimal incremental gradient complexity for finite-sum objectives. We prove that our new accelerated method requires the same linear speed-up condition as the existing non-accelerated methods. Our core algorithmic discovery is a…
▽ More
We show that stochastic acceleration can be achieved under the perturbed iterate framework (Mania et al., 2017) in asynchronous lock-free optimization, which leads to the optimal incremental gradient complexity for finite-sum objectives. We prove that our new accelerated method requires the same linear speed-up condition as the existing non-accelerated methods. Our core algorithmic discovery is a new accelerated SVRG variant with sparse updates. Empirical results are presented to verify our theoretical findings.
△ Less
Submitted 30 September, 2021;
originally announced September 2021.
-
Determination of source terms in diffusion and wave equations by observations after incidents: uniqueness and stability
Authors:
** Cheng,
Shuai Lu,
Masahiro Yamamoto
Abstract:
We consider a diffusion and a wave equations: $$ \partial_t^ku(x,t) = Δu(x,t) + μ(t)f(x), \quad x\in Ω, \, t>0, \quad k=1,2 $$ with the zero initial and boundary conditions, where $Ω\subset \mathbb{R}^d$ is a bounded domain. We establish uniqueness and/or stability results for inverse problems of 1. determining $μ(t)$, $0<t<T$ with given $f(x)$; 2. determining $f(x)$, $x\in Ω$ with given $μ(t)$ \e…
▽ More
We consider a diffusion and a wave equations: $$ \partial_t^ku(x,t) = Δu(x,t) + μ(t)f(x), \quad x\in Ω, \, t>0, \quad k=1,2 $$ with the zero initial and boundary conditions, where $Ω\subset \mathbb{R}^d$ is a bounded domain. We establish uniqueness and/or stability results for inverse problems of 1. determining $μ(t)$, $0<t<T$ with given $f(x)$; 2. determining $f(x)$, $x\in Ω$ with given $μ(t)$ \end{itemize} by data of $u$: $u(x_0,\cdot)$ with fixed point $x_0\in Ω$ or Neumann data on subboundary over time interval. In our inverse problems, data are taken over time interval $T_1<t<T_1$, by assuming that $T<T_1<T_2$ and $μ(t)=0$ for $t\ge T$, which means that the source stops to be active after the time $T$ and the observations are started only after $T$. This assumption is practical by such a posteriori data after incidents, although inverse problems had been well studied in the case of $T=0$. We establish the non-uniqueness, the uniqueness and conditional stability for a diffusion and a wave equations. The proofs are based on eigenfunction expansions of the solutions $u(x,t)$, and we rely on various knowledge of the generalized Weierstrass theorem on polynomial approximation, almost periodic functions, Carleman estimate, non-harmonic Fourier series.
△ Less
Submitted 16 July, 2021;
originally announced July 2021.
-
Data-Driven Robust Optimization Using Scenario-Induced Uncertainty Sets
Authors:
Meysam Cheramin,
Richard Li-Yang Chen,
Jianqiang Cheng,
Ali Pinar
Abstract:
Uncertainty sets are at the heart of robust optimization (RO) because they play a key role in determining the RO models' tractability, robustness, and conservativeness. Different types of uncertainty sets have been proposed that model uncertainty from various perspectives. Among them, polyhedral uncertainty sets are widely used due to their simplicity and flexible structure to model the underlying…
▽ More
Uncertainty sets are at the heart of robust optimization (RO) because they play a key role in determining the RO models' tractability, robustness, and conservativeness. Different types of uncertainty sets have been proposed that model uncertainty from various perspectives. Among them, polyhedral uncertainty sets are widely used due to their simplicity and flexible structure to model the underlying uncertainty. However, the conventional polyhedral uncertainty sets present certain disadvantages; some are too conservative while others lead to computationally expensive RO models. This paper proposes a systematic approach to develop data-driven polyhedral uncertainty sets that mitigate these drawbacks. The proposed uncertainty sets are polytopes induced by a given set of scenarios, capture correlation information between uncertain parameters, and allow for direct trade-offs between tractability and conservativeness issue of conventional polyhedral uncertainty sets. To develop these uncertainty sets, we use principal component analysis (PCA) to transform the correlated scenarios into their uncorrelated principal components and to shrink the uncertainty space dimensionality. Thus, decision-makers can use the number of the leading principal components as a tool to trade-off tractability, conservativeness, and robustness of RO models. We quantify the quality of the lower bound of a static RO problem with a scenario-induced uncertainty set by deriving a theoretical bound on the optimality gap. Additionally, we derive probabilistic guarantees for the performance of the proposed scenario-induced uncertainty sets by develo** explicit lower bounds on the number of scenarios. Finally, we demonstrate the practical applicability of the proposed uncertainty sets to trade-off tractability, robustness, and conservativeness by examining a range of knapsack and power grid problems.
△ Less
Submitted 11 July, 2021;
originally announced July 2021.
-
Resilient Edge Service Placement under Demand and Node Failure Uncertainties
Authors:
Jiaming Cheng,
Duong Tung Nguyen,
Vijay K. Bhargava
Abstract:
Resiliency plays a critical role in designing future communication networks. How to make edge computing systems resilient against unpredictable failures and fluctuating demand is an important and challenging problem. To this end, this paper investigates a resilient service placement and workload allocation problem for a service provider (SP) who can procure resources from numerous edge nodes to se…
▽ More
Resiliency plays a critical role in designing future communication networks. How to make edge computing systems resilient against unpredictable failures and fluctuating demand is an important and challenging problem. To this end, this paper investigates a resilient service placement and workload allocation problem for a service provider (SP) who can procure resources from numerous edge nodes to serve its users, considering both resource demand and node failure uncertainties. We introduce a novel two-stage adaptive robust model to capture this problem. The service placement and resource procurement decisions are optimized in the first stage while the workload allocation decision is determined in the second stage after the uncertainty realization. By exploiting the special structure of the uncertainty set, we develop an efficient iterative algorithm that can converge to an exact optimal solution within a finite number of iterations. We further present an affine decision rule approximation approach for solving large-scale problem instances in a reasonable time. Extensive numerical results demonstrate the advantages of the proposed model and approaches, which can help the SP make proactive decisions to mitigate the impacts of the uncertainties.
△ Less
Submitted 27 June, 2023; v1 submitted 9 July, 2021;
originally announced July 2021.
-
Positive mass theorem and the CR Yamabe equation on 5-dimensional contact spin manifolds
Authors:
Jih-Hsin Cheng,
Hung-Lin Chiu
Abstract:
We consider the CR Yamabe equation with critical Sobolev exponent on a closed contact manifold M of dimension 2n + 1. The problem of finding solutions with minimum energy has been resolved for all dimensions except dimension 5 (n = 2). In this paper we prove the existence of minimum energy solutions in the 5-dimensional case when M is spin. The proof is based on a positive mass theorem built up th…
▽ More
We consider the CR Yamabe equation with critical Sobolev exponent on a closed contact manifold M of dimension 2n + 1. The problem of finding solutions with minimum energy has been resolved for all dimensions except dimension 5 (n = 2). In this paper we prove the existence of minimum energy solutions in the 5-dimensional case when M is spin. The proof is based on a positive mass theorem built up through a spinorial approach.
△ Less
Submitted 9 July, 2021;
originally announced July 2021.
-
Practical Schemes for Finding Near-Stationary Points of Convex Finite-Sums
Authors:
Kaiwen Zhou,
Lai Tian,
Anthony Man-Cho So,
James Cheng
Abstract:
In convex optimization, the problem of finding near-stationary points has not been adequately studied yet, unlike other optimality measures such as the function value. Even in the deterministic case, the optimal method (OGM-G, due to Kim and Fessler (2021)) has just been discovered recently. In this work, we conduct a systematic study of algorithmic techniques for finding near-stationary points of…
▽ More
In convex optimization, the problem of finding near-stationary points has not been adequately studied yet, unlike other optimality measures such as the function value. Even in the deterministic case, the optimal method (OGM-G, due to Kim and Fessler (2021)) has just been discovered recently. In this work, we conduct a systematic study of algorithmic techniques for finding near-stationary points of convex finite-sums. Our main contributions are several algorithmic discoveries: (1) we discover a memory-saving variant of OGM-G based on the performance estimation problem approach (Drori and Teboulle, 2014); (2) we design a new accelerated SVRG variant that can simultaneously achieve fast rates for minimizing both the gradient norm and function value; (3) we propose an adaptively regularized accelerated SVRG variant, which does not require the knowledge of some unknown initial constants and achieves near-optimal complexities. We put an emphasis on the simplicity and practicality of the new schemes, which could facilitate future work.
△ Less
Submitted 22 February, 2022; v1 submitted 25 May, 2021;
originally announced May 2021.
-
Estimate the spectrum of affine dynamical systems from partial observations of a single trajectory data
Authors:
Jiahui Cheng,
Sui Tang
Abstract:
In this paper, we study the nonlinear inverse problem of estimating the spectrum of a system matrix, that drives a finite-dimensional affine dynamical system, from partial observations of a single trajectory data. In the noiseless case, we prove an annihilating polynomial of the system matrix, whose roots are a subset of the spectrum, can be uniquely determined from data. We then study which eigen…
▽ More
In this paper, we study the nonlinear inverse problem of estimating the spectrum of a system matrix, that drives a finite-dimensional affine dynamical system, from partial observations of a single trajectory data. In the noiseless case, we prove an annihilating polynomial of the system matrix, whose roots are a subset of the spectrum, can be uniquely determined from data. We then study which eigenvalues of the system matrix can be recovered and derive various sufficient and necessary conditions to characterize the relationship between the recoverability of each eigenvalue and the observation locations. We propose various reconstruction algorithms, with theoretical guarantees, generalizing the classical Prony method, ESPIRIT, and matrix pencil method. We test the algorithms over a variety of examples with applications to graph signal processing, disease modeling and a real-human motion dataset. The numerical results validate our theoretical results and demonstrate the effectiveness of the proposed algorithms, even when the data did not follow an exact linear dynamical system.
△ Less
Submitted 6 May, 2021;
originally announced May 2021.
-
A Tikhonov Regularization Based Algorithm for Scattered Data with Random Noise
Authors:
Jiantang Zhang,
** Cheng,
Min Zhong
Abstract:
With the rapid growth of data, how to extract effective information from data is one of the most fundamental problems. In this paper, based on Tikhonov regularization, we propose an effective method for reconstructing the function and its derivative from scattered data with random noise. Since the noise level is not assumed small, we will use the amount of data for reducing the random error, and u…
▽ More
With the rapid growth of data, how to extract effective information from data is one of the most fundamental problems. In this paper, based on Tikhonov regularization, we propose an effective method for reconstructing the function and its derivative from scattered data with random noise. Since the noise level is not assumed small, we will use the amount of data for reducing the random error, and use a relatively small number of knots for interpolation. An indicator function for our algorithm is constructed. It indicates where the numerical results are good or may not be good. The corresponding error estimates are obtained. We show how to choose the number of interpolation knots in the reconstruction process for balancing the random errors and interpolation errors. Numerical examples show the effectiveness and rapidity of our method. It should be remarked that the algorithm in this paper can be used for on-line data.
△ Less
Submitted 3 May, 2021;
originally announced May 2021.
-
Extract the information from the big data with randomly distributed noise
Authors:
** Cheng,
Jiantang Zhang,
Min Zhong
Abstract:
In this manuscript, a purely data driven statistical regularization method is proposed for extracting the information from big data with randomly distributed noise. Since the variance of the noise maybe large, the method can be regarded as a general data preprocessing method in ill-posed problems, which is able to overcome the difficulty that the traditional regularization method unable to solve,…
▽ More
In this manuscript, a purely data driven statistical regularization method is proposed for extracting the information from big data with randomly distributed noise. Since the variance of the noise maybe large, the method can be regarded as a general data preprocessing method in ill-posed problems, which is able to overcome the difficulty that the traditional regularization method unable to solve, and has superior advantage in computing efficiency. The unique solvability of the method is proved and a number of conditions are given to characterize the solution. The regularization parameter strategy is discussed and the rigorous upper bound estimation of confidence interval of the error in $L^2$ norm is established. Some numerical examples are provided to illustrate the appropriateness and effectiveness of the method.
△ Less
Submitted 17 February, 2021;
originally announced February 2021.
-
The Linearized Hellinger--Kantorovich Distance
Authors:
Tianji Cai,
Junyi Cheng,
Bernhard Schmitzer,
Matthew Thorpe
Abstract:
In this paper we study the local linearization of the Hellinger--Kantorovich distance via its Riemannian structure. We give explicit expressions for the logarithmic and exponential map and identify a suitable notion of a Riemannian inner product. Samples can thus be represented as vectors in the tangent space of a suitable reference measure where the norm locally approximates the original metric.…
▽ More
In this paper we study the local linearization of the Hellinger--Kantorovich distance via its Riemannian structure. We give explicit expressions for the logarithmic and exponential map and identify a suitable notion of a Riemannian inner product. Samples can thus be represented as vectors in the tangent space of a suitable reference measure where the norm locally approximates the original metric. Working with the local linearization and the corresponding embeddings allows for the advantages of the Euclidean setting, such as faster computations and a plethora of data analysis tools, whilst still enjoying approximately the descriptive power of the Hellinger--Kantorovich metric.
△ Less
Submitted 24 September, 2021; v1 submitted 17 February, 2021;
originally announced February 2021.
-
Oblique Injection of incompressible ideal fluid from a slot into a free stream
Authors:
Jianfeng Cheng,
Lili Du
Abstract:
This paper deals with a two-phase fluid free boundary problem in a slot-film cooling. We give two well-posedness results on the existence and uniqueness of the incompressible inviscid two-phase fluid with a jump relation on free interface. The problem formulates the oblique injection of an incompressible ideal fluid from a slot into a free stream. From the mathematical point of view, this work is…
▽ More
This paper deals with a two-phase fluid free boundary problem in a slot-film cooling. We give two well-posedness results on the existence and uniqueness of the incompressible inviscid two-phase fluid with a jump relation on free interface. The problem formulates the oblique injection of an incompressible ideal fluid from a slot into a free stream. From the mathematical point of view, this work is motivated by the pioneer work [13] by A. Friedman, in which some well-posedness results are obtained in some special case. Furthermore, A. Friedman proposed an open problem in [14] on the existence and uniqueness of the injection flow problem for more general case. The main results in this paper solve the open problem and establish the well-posedness results on the physical problem.
△ Less
Submitted 18 December, 2020;
originally announced December 2020.
-
Existence and uniqueness of axially symmetric compressible subsonic jet im**ing on an infinite wall
Authors:
Jianfeng Cheng,
Lili Du,
Qin Zhang
Abstract:
This paper is concerned with the well-posedness theory of the impact of a subsonic axially symmetric jet emerging from a semi-infinitely long nozzle, onto a rigid wall. The fluid motion is described by the steady isentropic Euler system. We showed that there exists a critical value $M_{cr}>0$, if the given mass flux is less than $M_{cr}$, there exists a unique smooth subsonic axially symmetric jet…
▽ More
This paper is concerned with the well-posedness theory of the impact of a subsonic axially symmetric jet emerging from a semi-infinitely long nozzle, onto a rigid wall. The fluid motion is described by the steady isentropic Euler system. We showed that there exists a critical value $M_{cr}>0$, if the given mass flux is less than $M_{cr}$, there exists a unique smooth subsonic axially symmetric jet issuing from the given semi-infinitely long nozzle and hitting a given uneven wall. The surface of the axially symmetric im**ing jet is a free boundary, which detaches from the edge of the nozzle smoothly. It is showed that a unique suitable choice of the pressure difference between the chamber and the atmosphere guarantees the continuous fit condition of the free boundary. Moreover, the asymptotic behaviors and the decay properties of the im**ing jet and the free surface in downstream were also obtained. The main results in this paper solved the open problem on the well-posedness of the compressible axially symmetric im**ing jet, which has proposed by A. Friedman in Chapter 16 in [FA2]. The key ingredient of our proof is based on the variational method to the quasilinear elliptic equation with the Bernoulli's type free boundaries.
△ Less
Submitted 14 December, 2020; v1 submitted 13 December, 2020;
originally announced December 2020.
-
Uniqueness and numerical reconstruction for inverse problems dealing wit interval size search
Authors:
J. Apraiz,
J. Cheng,
A. Doubova,
E. Fernández-Cara,
M. Yamamoto
Abstract:
We consider a heat equation and a wave equation in a spatial interval over a time interval. This article deals with inverse problems of determining sizes of spatial intervals by extra boundary data of solutions of the governing equations. Under several different circumstances, we prove the uniqueness, the non-uniqueness and some size estimate. Moreover, we numerically solve the inverse problems an…
▽ More
We consider a heat equation and a wave equation in a spatial interval over a time interval. This article deals with inverse problems of determining sizes of spatial intervals by extra boundary data of solutions of the governing equations. Under several different circumstances, we prove the uniqueness, the non-uniqueness and some size estimate. Moreover, we numerically solve the inverse problems and compute accurate approximations of the sizes. This is illustrated with satisfactory numerical experiments.
△ Less
Submitted 7 September, 2020;
originally announced September 2020.
-
A free boundary problem for semi-linear elliptic equation and its applications
Authors:
Jianfeng Cheng,
Lili Du
Abstract:
In this paper, we consider a free boundary problem of a semilinear nonhomogeneous elliptic equation with Bernoulli's type free boundary. The existence and regularity of the solution to the free boundary problem are established by use of the variational approach. In particular, we establish the Lipschitz continuity and non-degeneracy of a minimum, and regularity of the free boundary. As a direct an…
▽ More
In this paper, we consider a free boundary problem of a semilinear nonhomogeneous elliptic equation with Bernoulli's type free boundary. The existence and regularity of the solution to the free boundary problem are established by use of the variational approach. In particular, we establish the Lipschitz continuity and non-degeneracy of a minimum, and regularity of the free boundary. As a direct and important application, the well-posedness results on the steady, incompressible inviscid jet and cavitational flow with general vorticity are also obtained in this paper.
△ Less
Submitted 3 June, 2020;
originally announced June 2020.