Related papers: On Second-Order Cone Functions

The class of Basic Feasible Functionals BFF is the second-order counterpart of the class of first-order functions computable in polynomial time. We present several implicit characterizations of BFF based on a typed programming language of…

We introduce a new shape-constrained class of distribution functions on R, the bi-$s^*$-concave class. In parallel to results of D\"umbgen, Kolesnyk, and Wilke (2017) for what they called the class of bi-log-concave distribution functions,…

We extend the standard notion of self-concordance to non-convex optimization and develop a family of second-order algorithms with global convergence guarantees. In particular, two function classes -- \textit{weakly self-concordant}…

Motivated by the Maximum Theorem for convex functions (in the setting of linear spaces) and for subadditive functions (in the setting of Abelian semigroups), we establish a Maximum Theorem for the class of generalized convex functions,…

This study focuses on convex functions and their generalized. Thus, we start this study by giving the definition of convex functions and some of their properties and discussing a simple geometric property. Then we generalize E-convex…

This paper is devoted to the study of the second-order variational analysis of spectral functions. It is well-known that spectral functions can be expressed as a composite function of symmetric functions and eigenvalue functions. We…

In this paper, we obtain two analogues of the Sturm bound for modular forms in the function field setting. In the case of mixed characteristic, we prove that any harmonic cochain is uniquely determined by an explicit finite number of its…

The error bound property for a solution set defined by a set-valued mapping refers to an inequality that bounds the distance between vectors closed to a solution of the given set by a residual function. The error bound property is a…

We present a unified study of first and second order necessary and sufficient optimality conditions for minimax and Chebyshev optimisation problems with cone constraints. First order optimality conditions for such problems can be formulated…

In this paper, a theoretical research on the second-order conservative phase field (SOCPF) equation is presented. The theoretical results include the following three aspects. First, three new derivation methods for the SOCPF equation are…

In this manuscript we study properties of multidimensional shifts. More precisely, we study the necessary and sufficient conditions for a shift to be sofic, i.e. the boundary between sofic shifts and effective ones. To this end, we use…

This paper explores local second-order weak sharp minima for a broad class of nonconvex optimization problems. We propose novel second-order optimality conditions formulated through the use of classical and lower generalized support…

Given a 2-category $\mathcal{A}$, a $2$-functor $\mathcal{A} \overset {F} {\longrightarrow} \mathcal{C}at$ and a distinguished 1-subcategory $\Sigma \subset \mathcal{A}$ containing all the objects, a $\sigma$-cone for $F$ (with respect to…

Let A,B,D,E belong to [-1, 1] and let p(z) be an analytic function with fixed initial coefficient defined in the open unit disk. Conditions on A,B,D,and E are determined so that 1+{\alpha}zp'(z) being subordinated to (1+Dz)/(1+Ez) implies…

In this paper, we introduce and investigate a class P of continuous and periodic functions on R. The class P is defined so that second-order central differences of a function satisfy some concavity-type estimate. Although this definition…

Let D be a strictly convex domain of C^n, f_1 and f_2 be two holomorphic functions defined on a neighborhood of closure of D and set X_l={z, f_l(z)=0}, l=1,2. Suppose that X_l\cap bD is transverse for l=1 and l=2, and that X_1\cap X_2 is a…

The objective of this work is to study weak infeasibility in second order cone programming. For this purpose, we consider a relaxation sequence of feasibility problems that mostly preserve the feasibility status of the original problem.…

Let a finite non-empty X is equipped with discrete topology. We prove that S \subseteq X^\omega is of second category if and only if for each f:\omega -> \bigcup_{n \in \omega} X^n there exists a sequence {a_n}_{n \in \omega} belonging to S…

Given a pair of real functions $(k,f)$, we study the conditions they must satisfy for $k+\lambda f$ to be the curvature in the arc-length of a closed planar curve for all real $\lambda$. Several equivalent conditions are pointed out,…

We prove that convex functions of finite order on the real line and subharmonic functions of finite order on finite dimensional real space, bounded from above outside of some set of zero relative Lebesgue density, are bounded from above…