Related papers: A General Framework for Extending Means to Higher …

Loewner partial order plays a very important role in metric topology and operator inequality on the open convex cone of positive invertible operators. In this paper we consider a family G of the ordered means for positive invertible…

In [1], Theorem 3, the authors proved, in one dimension, a generalization of the Hopf Lemma, and the question arose if it could be extended to higher dimensions. In this paper we present two conjectures as possible extensions, and give a…

We describe a framework for reformulating and solving optimization problems that generalizes the well-known framework originally introduced by Benders. We discuss details of the application of the procedures to several classes of…

We consider operators acting on a Hilbert space that can be written as the sum of a shift and a diagonal operator and determine when the operator is hyponormal. The condition is presented in terms of the norm of an explicit block Jacobi…

We use automated theorem provers to significantly shorten a formal development in higher order set theory. The development includes many standard theorems such as the fundamental theorem of arithmetic and irrationality of square root of…

The form method as popularised by Lions and Kato is a successful device to associate m-sectorial operators with suitable elliptic or sectorial forms. McIntosh generalised the form method to an accretive setting, thereby allowing to…

Although Regge finite element functions are not continuous, useful generalizations of nonlinear derivatives like the curvature, can be defined using them. This paper is devoted to studying the convergence of the finite element lifting of a…

We give a self-contained and introductory account of some basic functional analytic tools needed to understand maximal monotone operators in Hilbert spaces. We review domains of (possibly unbounded) operators, closed sets and closed…

In this work, we generalize the integer enumeration basis. We also construct bijections between the elements of special sets and the elements of some groups, and treat the special case of the hyperoctohedral groups. Then, we find a code…

We extend the nonlocal operator method to higher order scheme by using a higher order Taylor series expansion of the unknown field. Such a higher order scheme improves the original nonlocal operator method proposed by the authors in [A…

Parametric Gr\"obner bases have been studied for more than 15 years and are now a further developed subject. Here we propose a general study of parametric standard bases, that is with local orders. We mainly focus on the commutative case…

A generalization of classical determinant inequalities like Hadamard's inequality and Fischer's inequality is studied. For a version of the inequalities originally proved by Arveson for positive operators in von Neumann algebras with a…

The seminal work of Kubo and Ando from 1980 provided us with an axiomatic approach to means of positive operators. As most of their axioms are algebraic in nature, this approach has a clear algebraic flavor. On the other hand, it is highly…

It is known that complementary oblique projections $\hat{P}_0 + \hat{P}_1 = I$ on a Hilbert space $\mathscr{H}$ have the same standard operator norm $\|\hat{P}_0\| = \|\hat{P}_1\|$ and the same singular values, but for the multiplicity of…

We extend several well-known tools from the theory of second-order divergence-form elliptic equations to the case of higher-order equations. These tools are the Caccioppoli inequality, Meyers's reverse Holder inequality for gradients, and…

Lax extensions of set functors play a key role in various areas including topology, concurrent systems, and modal logic, while predicate liftings provide a generic semantics of modal operators. We take a fresh look at the connection between…

Differential geometry may be generalized to allow infinitesimals to any order. The purpose of the present contribution is to show that the theory so developed expands received geometrical ideas in an interesting way, rich in potential for…

Momentum-based gradients are essential for optimizing advanced machine learning models, as they not only accelerate convergence but also advance optimizers to escape stationary points. While most state-of-the-art momentum techniques utilize…

The article is devoted to a new proof of the expansion for iterated Ito stochastic integrals with respect to the components of a multidimensional Wiener process. The above expansion is based on Hermite polynomials and generalized multiple…

We broaden the framework of metric abstract elementary classes (mAECs) in several essential ways, chiefly by allowing the metric to take values in a well-behaved quantale. As a proof of concept we show that the result of Boney and Zambrano…