Related papers: On Second-Order Cone Functions

Fix any $\lambda\in\mathbb{C}$. We say that a set $S\subseteq\mathbb{C}$ is $\lambda$-$convex$ if, whenever $a$ and $b$ are in $S$, the point $(1-\lambda)a+\lambda b$ is also in $S$. If $S$ is also (topologically) closed, then we say that…

It is solved the problem on constructed of separately continuous functions on product of two topological spaces with given restriction. In particular, it is shown that for every topological space $X$ and first Baire class function $g:X\to…

A characterization of rational superconformal field theories (SCFTs) on 1+1 dimensions with Ricci-flat Kahler targets was proposed by S. Gukov and C. Vafa in terms of the Hodge structure of the target space. The article [arXiv:2205.10299]…

This is a conitunation of [1] and [2]. We prove that if function $f$ belongs to the class $\Lambda_{\omega} \overset{\text{def}}{=} \{f: \omega_{f}(\delta)\leq \text{const} \omega(\delta)\} $ for an arbitrary modulus of continuity $\omega$,…

We derive general formula for the fourth coefficient of the functions belonging to the Carath\'{e}odory class involving the parameters lying in the open unit disk. Further, we obtain sharp upper bounds of initial inverse coefficients for…

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…

In this paper, we give a geometric interpretation of optimal functionals in the context of intersection of symmetry planes and cyclic polytopes. For 1D CFTs, we demonstrate that at given derivative order, the functional is given by a…

We consider the conic linear program given by a closed convex cone in an Euclidean space and a matrix, where vector on the right-hand-side of the constraint system and the vector defining the objective function are subject to change. Using…

In this paper we derive new second-order optimality conditions for a very general set-constrained optimization problem where the underlying set may be nononvex. We consider local optimality in specific directions (i.e., optimal in a…

We show that there are functions $f$ in the H\"older class $C^{ { \alpha }}[0,1]$, $1< { \alpha }<2$ such that $f|_{A}$ is not convex, nor concave for any $A { \subset } [0,1]$ with $ { \bar { dim }_M } A> { \alpha }-1$. Our earlier result…

Many automatic theorem-provers rely on rewriting. Using theorems as rewrite rules helps to simplify the subgoals that arise during a proof. LCF is an interactive theorem-prover intended for reasoning about computation. Its implementation of…

In this article we show the following result: if $C$ is an $n$-dimensional convex and compact subset, $f:C\rightarrow[0,\infty)$ is concave, and $\phi:[0,\infty)\rightarrow[0,\infty)$ is a convex function with $\phi(0)=0$, we then…

Let us say that a convex function f\colon C\to[-\infty,\infty] on a convex set C\subseteq\R is infimum-stable if, for any sequence (f_n) of convex functions f_n\colon C\to[-\infty,\infty] converging to f pointwise, one has \inf_C…

Let $\phi$ be a normalized convex function defined on open unit disk $\mathbb{D}$. For a unified class of normalized analytic functions which satisfy the second order differential subordination $f'(z)+ \alpha z f''(z) \prec \phi(z)$ for all…

We consider the scalar second order ODE u + |u | $\alpha$ u + |u| $\beta$ u = 0, where $\alpha$, $\beta$ are two positive numbers and the non-linear semi-group S(t) generated on IR 2 by the system in (u, u). We prove that S(t)IR 2 is…

We provide explicit conditions for a real polynomial $f$ of degree 2d to be a sum of squares (s.o.s.), stated only in terms of the coefficients of $f$, i.e. with no lifting. All conditions are simple and provide an explicit description of a…

This paper presents rigorous forward error bounds for linear conic optimization problems. The error bounds are formulated in a quite general framework; the underlying vector spaces are not required to be finite-dimensional, and the convex…

We call a function $f$ in $C(X)$ to be hard-bounded if $f$ is bounded on every hard subset, a special kind of closed subset, of $X$. We call a subset $T$ of $X$ to be $S$-embedded if every hard-bounded continuous function of $T$ can be…

The conformal algebra provides powerful constraints, which guarantee that renormalized conformally covariant operators exist in the hypothetical conformal limit of the theory, where the $\beta$-function vanishes. Thus, in this limit also…

To demonstrate the discrepancy between second-order cone and semidefinite programming, Hamza Fawzi showed that the cone S_+^3 of symmetric positive semidefinite matrices of size 3 is not second-order cone representable (socr). A slice of…