相关论文: Variational Properties of Decomposable Functions. …

Order-invariant formulas access an ordering on a structure's universe, but the model relation is independent of the used ordering. Order invariance is frequently used for logic-based approaches in computer science. Order-invariant formulas…

We discuss one parameter families of unimodal maps, with negative Schwarzian derivative, unfolding a saddle-node bifurcation. It was previously shown that for a parameter set of positive Lebesgue density at the bifurcation, the maps possess…

This is the second in a trilogy of papers introducing and studying the notion of decomposition space as a general framework for incidence algebras and M\"obius inversion, with coefficients in $\infty$-groupoids. A decomposition space is a…

In this article it is proved that the dynamical properties of a broad class of semilinear parabolic problems are sensitive to arbitrarily small but smooth perturbations of the nonlinear term, when the spatial dimension is either equal to…

Using a generalization of complexes, called 2-complexes, this paper defines and analyzes new Sobolev spaces of matrix fields and their interrelationships within a commuting diagram. These spaces have very weak second-order derivatives. An…

For linear operators which factor with suitable assumptions concerning commutativity of the factors, we introduce several notions of a decomposition. When any of these hold then questions of null space and range are subordinated to the same…

In this paper, we consider systems of linear ordinary differential equations, with analytic coefficients on big sectorial domains, which are asymptotically diagonal for large values of $|z|$. Inspired by N. Levinson's work [Lev48], we…

We develop and investigate a general theory of representations of second-order functionals, based on a notion of a right comodule for a monad on the category of containers. We show how the notion of comodule representability naturally…

Second-order methods are provably faster than first-order methods, and their efficient implementations for large-scale optimization problems have attracted significant attention. Yet, optimization problems in ML often have nonsmooth…

Recently, it was shown that a rich class of second-order (maximally) superintegrable systems has an underpinning Hesse-Frobenius structure, i.e.\ a Frobenius structure that is compatible with a Hessian structure such that the Hessian…

The supercritical state is currently viewed as uniform on the pressure-temperature phase diagram. Supercritical fluids have the dynamic motions of a gas but are able to dissolve materials like a liquid. They have started to be deployed in…

The paper starts with a concise description of the recently developed semismooth* Newton method for the solution of general inclusions. This method is then applied to a class of variational inequalities of the second kind. As a result, one…

In this work we develop and analyze a semi-smooth Newton method for the general nonlinear conic programming problem. In particular, we study the problem with a generalized simplicial cone, i.e., the image of a symmetric cone under a linear…

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…

Our research focuses on the development of domain decomposition preconditioners tailored for second-order elliptic partial differential equations. Our approach addresses two major challenges simultaneously: i) effectively handling…

In the present paper, we focus on the vector optimization problems with inequality constraints, where objective functions and constrained functions are Fr\'echet differentiable, and whose gradient mapping is locally Lipschitz on an open…

Much is known about when a locally optimal solution depends in a single-valued Lipschitz continuous way on the problem's parameters, including tilt perturbations. Much less is known, however, about when that solution and a uniquely…

This paper solves a fundamental open problem in variational analysis on the equivalence between the Aubin property and the strong regularity for nonlinear second-order cone programming (SOCP) at a locally optimal solution. We achieve this…

In this tutorial, exponentiation and factorization (decomposition) formulas are derived and discussed for common matrix operators that arise in studies of classical dynamics, linear and nonlinear optics, and special relativity. To…

For discretisations of hyperbolic conservation laws, mimicking properties of operators or solutions at the continuous (differential equation) level discretely has resulted in several successful methods. While well-posedness for nonlinear…