Related papers: New Improvements to Heron and Heinz Inequality Usi…
We present some reverse Young-type inequalities for the Hilbert-Schmidt norm as well as any unitarily invariant norm. Furthermore, we give some inequalities dealing with operator means. More precisely, we show that if $A, B\in {\mathfrak…
We consider a real interpolation method defined by means of slowly varying functions. We present some reiteration formulae including so called $L$ or $R$ limiting interpolation spaces. These spaces arise naturally in reiteration formulae…
Theory interpolation has found several successful applications in model checking. We present a novel method for computing interpolants for ground formulas in the theory of equality. The method produces interpolants from colored congruence…
We show that a recent interpolative new proof of the Bohnenblust--Hille inequality, when suitably handled, recovers its best known constants. This seems to be unexpectedly surprising since the known interpolative approaches only provide…
For solving linear ill-posed problems regularization methods are required when the right hand side is with some noise. In the present paper regularized solutions are obtained by implicit iteration methods in Hilbert scales. % By exploiting…
We present a new model-based interpolation procedure for satisfiability modulo theories (SMT). The procedure uses a new mode of interaction with the SMT solver that we call solving modulo a model. This either extends a given partial model…
The aim of this paper is to characterize in broad classes of means the so-called Hardy means, i.e., those means $M\colon\bigcup_{n=1}^\infty \mathbb{R}_+^n\to\mathbb{R}_+$ that satisfy the inequality $$ \sum_{n=1}^\infty M(x_1,\dots,x_n)…
This study presents new upper bounds for the numerical radii of operator matrices, with a focus on $n \times n$ and $2 \times 2$ block matrices acting on Hilbert space direct sums. By employing techniques such as the H\"older-McCarthy…
There are various generalizations of the geometric mean $(a,b)\mapsto a^{1/2}b^{1/2}$ for $a,b\in \mathbb{R}^+$ to positive matrices, and we consider the standard positive geometric mean $(X,Y)\mapsto…
The main goal of this paper is to discuss the recent advancements of operator means for accretive matrices in a more general setting. In particular, we present the general form governing the well established definition of geometric mean,…
In this paper we obtain quite general and definitive forms for Hardy-Littlewood type inequalities. Moreover, when restricted to the original particular cases, our approach provides much simpler and straightforward proofs and we are able to…
We present sharp interpolation theorems, including all limiting cases, for a class of quasilinear operators of joint weak type acting between Lorentz-Karamata spaces over $\sigma$-finite measure. This class contains many of the important…
In this paper, we develop a nonlinear reduction framework based on our recently introduced extended group finite element method. By interpolating nonlinearities onto approximation spaces defined with the help of finite elements, the…
An algorithm for generating interpolants for formulas which are conjunctions of quadratic polynomial inequalities (both strict and nonstrict) is proposed. The algorithm is based on a key observation that quadratic polynomial inequalities…
In this paper, we obtain some inequalities by using a kernel and an inequality which is a result of Young inequality. Besides we give some applications to special means.
We extend Carleson's interpolation Theorem to sequences of matrices, by giving necessary and sufficient separation conditions for a sequence of matrices to be interpolating.
We reformulate, modify and extend a comparison criteria of $L^{p}$ norms obtained by Nazarov-Podkorytov and place it in the general setting of interpolation theory and majorization theory. In particular, we give norm comparison criteria for…
The paper concerns with novel first-order methods for monotone variational inequalities. They use a very simple linesearch procedure that takes into account a local information of the operator. Also the methods do not require…
In this paper we shall consider some famous means such as arithmetic, harmonic, geometric, root-square means, etc. Some new means recently studied are also presented. Different kinds of refinement of inequalities among these means are…
As a generalization of Hausdorff's extension theorem of metrics, we prove an interpolation theorem of a family of metrics defined on closed subsets of metrizable spaces. As an application, we investigate typicality of subsets of moduli…