相关论文: Aubin Property and Strong Regularity Are Equivalen…

This paper is devoted to studying the robust isolated calmness of the Karush-Kuhn-Tucker (KKT) solution mapping for a large class of interesting conic programming problems (including most commonly known ones arising from applications) at a…

We show that kernel-based quadrature rules for computing integrals can be seen as a special case of random feature expansions for positive definite kernels, for a particular decomposition that always exists for such kernels. We provide a…

Shape constraints, such as non-negativity, monotonicity, convexity or supermodularity, play a key role in various applications of machine learning and statistics. However, incorporating this side information into predictive models in a hard…

We show that a class of semidefinite programs (SDP) admits a solution that is a positive semidefinite matrix of rank at most $r$, where $r$ is the rank of the matrix involved in the objective function of the SDP. The optimization problems…

Let $M$ be a smooth manifold with boundary $\partial M$ and bounded geometry, $\partial_D M \subset \partial M$ be an open and closed subset, $P$ be a second order differential operator on $M$, and $b$ be a first order differential operator…

In the paper we provide new conditions ensuring the isolated calmness property and the Aubin property of parameterized variational systems with constraints depending, apart from the parameter, also on the solution itself. Such systems…

This paper presents a twice continuously differentiable penalty function for nonlinear semidefinite programming problems. In some optimization methods, such as penalty methods and augmented Lagrangian methods, their convergence property can…

We deal with linear parabolic (in sense of Petrovskii) systems of order 2b with discontinuous principal coefficients. A'priori estimates in Sobolev and Sobolev--Morrey spaces are proved for the strong solutions by means of potential…

We establish existence, uniqueness, and arbitrary order Sobolev regularity results for the second order parabolic equations with measurable coefficients defined on the conic domains $D$ of the type $$ D(M):=\left\{x\in R^d…

We consider the nonlinear Schrodinger equation with defocusing, smooth, nonlinearity. Below the critical Sobolev regularity, it is known that the Cauchy problem is ill-posed. We show that this is even worse: there is a loss of regularity,…

The Cartan-Hadamard conjecture states that, on every $n$-dimensional Cartan-Hadamard manifold $ \mathbb{M}^n $, the isoperimetric inequality holds with Euclidean optimal constant, and any set attaining equality is necessarily isometric to a…

The recent literature has discussed the use of the relaxed Second Order Cone Programming (SOCP) to formulate Optimal Power Flow problems (OPF) for radial power grids. However, if the shunt parameters of the lines, composing the power grid,…

This article deals with the study of the following singular quasilinear equation: \begin{equation*} (P) \left\{ \ -\Delta_{p}u -\Delta_{q}u = f(x) u^{-\delta},\; u>0 \text{ in }\; \Om; \; u=0 \text{ on } \pa\Om, \right. \end{equation*}…

Property Specification Patterns (PSPs) have been proposed to solve recurring specification needs, to ease the formalization of requirements, and enable automated verification thereof. In this paper, we extend PSPs by considering Boolean as…

This article investigates the interplay of rounding objective coefficients in binary programs and almost symmetries. Empirically, reducing the number of significant bits through rounding often leads to instances that are easier to solve.…

Solutions to $p$-Laplace equations are not, in general, of class $C^2$. The study of Sobolev regularity of the second derivatives is, therefore, a crucial issue. An important contribution by Cianchi and Maz'ya shows that, if the source term…

Finding an approximate second-order stationary point (SOSP) is a well-studied and fundamental problem in stochastic nonconvex optimization with many applications in machine learning. However, this problem is poorly understood in the…

We propose a new method for linear second-order cone programs. It is based on the sequential quadratic programming framework for nonlinear programming. In contrast to interior point methods, it can capitalize on the warm-start capabilities…

Asymptotic stationarity and regularity conditions turned out to be quite useful to study the qualitative properties of numerical solution methods for standard nonlinear and complementarity-constrained programs. In this paper, we first…

We design an algorithm which finds an $\epsilon$-approximate stationary point (with $\|\nabla F(x)\|\le \epsilon$) using $O(\epsilon^{-3})$ stochastic gradient and Hessian-vector products, matching guarantees that were previously available…