Related papers: A constructive approach to strengthen algebraic de…
This paper builds upon our prior formalisation of R^n in ACL2(r) by presenting a set of theorems for reasoning about convex functions. This is a demonstration of the higher-dimensional analytical reasoning possible in our metric space…
We provide new necessary and sufficient conditons for ensuring strong quasiconvexity in the nonsmooth case and, as a consequence, we provide a proof for the differentiable case. Furthermore, we improve the quadratic growth property for…
We prove three results concerning convolution operators and lacunary maximal functions associated to dilates of measures. First, we obtain an $H^1$ to $L^{1,\infty}$ bound for lacunary maximal operators under a dimensional assumption on the…
The article examines Nikolskii and Besov spaces with norms defined using $L_p$-averaged mixed moduli of continuity of functions of appropriate orders, instead of mixed moduli of continuity of known orders for certain mixed derivative…
Let $0\leq \alpha<n$, $m\in \mathbb{N}$ and let consider $T_{\alpha,m}$ be a of integral operator, given by kernel of the form $$K(x,y)=k_1(x-A_1y)k_2(x-A_2y)\dots k_m(x-A_my),$$ where $A_i$ are invertible matrices and each $k_i$ satisfies…
In the present paper, we use a generalised shift operator in order to define a generalised modulus of smoothness. By its means, we define generalised Lipschitz classes of functions, and we give their constructive characteristics.…
We prove weighted estimates for singular integral operators which operate on function spaces on a half-line. The class of admissible weights includes Muckenhoupt weights and weights satisfying Sawyer's one-sided conditions. The kernels of…
Constraints are essential for stabilizing reinforcement learning fine-tuning (RFT) and preventing degenerate outputs, yet they inherently conflict with the optimization objective because stronger constraints limit the ability of a…
Lebesgue space bounds $L^{p_1}({\mathbb R}^1) \times L^{p_2}(^1) \to L^q({\mathbb R}^1)$ are established for certain maximal bilinear operators. The proof combines a trilinear smoothing inequality with Calder\'on-Zygmund theory. A reference…
The condition number of a differentiable convex function, namely the ratio of its smoothness to strong convexity constants, is closely tied to fundamental properties of the function. In particular, the condition number of a quadratic convex…
It is well established that formulating an effective constraint model of a problem of interest is crucial to the efficiency with which it can subsequently be solved. Following from the observation that it is difficult, if not impossible, to…
In the context of global optimization of mixed-integer nonlinear optimization formulations, we consider smoothing univariate functions $f$ that satisfy $f(0)=0$, $f$ is increasing and concave on $[0,+\infty)$, $f$ is twice differentiable on…
The goal of this article is to study necessary and sufficient conditions for the exactness of penalty functions and the existence of global saddle points of augmented Lagrangians for well-posed (in a suitable sense) constrained optimization…
While the asymptotic Borel mapping, sending a function into its series of asymptotic expansion in a sector, is known to be surjective for arbitrary openings in the framework of ultraholomorphic classes associated with sequences of rapid…
Abstract convexity generalises classical convexity by considering the suprema of functions taken from an arbitrarily defined set of functions. These are called the abstract linear (abstract affine) functions. The purpose of this paper is to…
We prove the existence of sectors of minimal growth for general closed extensions of elliptic cone operators under natural ellipticity conditions. This is achieved by the construction of a suitable parametrix and reduction to the boundary.…
In the theory of singular integral operators significant effort is often required to rigorously define such an operator. This is due to the fact that the kernels of such operators are not locally integrable on the diagonal, so the integral…
The paper deals with the Dirac operator generated on the finite interval $[0,\pi]$ by the differential expression $-B\mathbf{y}'+Q(x)\mathbf{y}$, where $$ B=\begin{pmatrix}0&1\\-1&0\end{pmatrix},\qquad…
Many problems of theoretical and practical interest involve finding an optimum over a family of convex functions. For instance, finding the projection on the convex functions in $H^k(\Omega)$, and optimizing functionals arising from some…
We examine algebraic conditions for the sectional positivity of the Riemann curvature operator. We describe sufficient conditions for dimension $n=4$, and complete characterization for a dense open subset of the space of operators in…