Related papers: Sharp coincidences for absolutely summing multilin…
Interpolation of jointly infeasible predicates plays important roles in various program verification techniques such as invariant synthesis and CEGAR. Intrigued by the recent result by Dai et al.\ that combines real algebraic geometry and…
In some fields such as Mathematics Mechanization, automated reasoning and Trustworthy Computing etc., exact results are needed. Symbolic computations are used to obtain the exact results. Symbolic computations are of high complexity. In…
We prove that the multiple summing norm of multilinear operators defined on some $n$-dimensional real or complex vector spaces with the $p$-norm may be written as an integral with respect to stables measures. As an application we show…
In this paper we introduce a new approach to the concept of multipolynomials and generalize several results of the homogeneous polynomials and symmetric multilinear applications. We also present an abstract approach to the concept of…
In this paper we obtain new inclusion and coincidence theorems for absolutely or multiple summing multilinear mappings. In particular, we derive optimal coincidence theorems of Bohnenblust-Hille type for multilinear forms on K-convex Banach…
It is well known that not every summability property for non linear operators leads to a factorization theorem. In this paper we undertake a detailed study of factorization schemes for summing linear and nonlinear operators. Our aim is to…
A family of random matrices is said to converge strongly to a limiting family of operators if the operator norm of every noncommutative polynomial of the matrices converges to that of the limiting operators. Recent developments surrounding…
We construct a general framework that generates classes of multilinear operators between Banach spaces which encompasses, as particular cases, the several classes of summing type multilinear operators that have been studied individually in…
We generalize the optimal coupling theorem to multiple random variables: Given a collection of random variables, it is possible to couple all of them so that any two differ with probability comparable to the total-variation distance between…
Provided a special function of one variable and some of its derivatives can be accurately computed over a finite range, a method is presented to build a series of polynomial approximations of the function with a defined relative error over…
Grothendieck's theorem asserts that every continuous linear operator from $\ell_1$ to $\ell_2$ is absolutely $(1,1)$-summing. This kind of result is commonly called coincidence result. In this paper we investigate coincidence results in the…
We give a concise direct proof of the orthogonality of interpolation Macdonald polynomials with respect to the Fourier pairing and briefly discuss some immediate applications of this orthogonality, such as the symmetry of the Fourier…
We obtain sharp bounds for the number of n-cycles in a finite graph as a function of the number of edges, and prove that the complete graph is optimal in more ways than could be imagined. En route, we prove some sharp estimates on power…
We give the theorem of coincidence of a class of functions defined by a generalised modulus of smoothness with a class of functions defined by the order of the best approximation by algebraic polynomials. We also prove the appropriate…
We establish the exact overlaps conjecture for iterated functions systems on the real line with algebraic contractions and arbitrary translations.
We describe an algorithm for fast multiplication of skew polynomials. It is based on fast modular multiplication of such skew polynomials, for which we give an algorithm relying on evaluation and interpolation on normal bases. Our…
Kwapie\'{n}'s theorem asserts that every continuous linear operator from $\ell_{1}$ to $\ell_{p}$ is absolutely $\left( r,1\right) $-summing for $1/r=1-\left\vert 1/p-1/2\right\vert .$ When $p=2$ it recovers the famous Grothendieck's…
In the space of all entire functions it is solved the problem of interpolation taking into account multiplicities by sums of the series of exponentials with the exponents from a given set. It is found a criterion of solubility of the…
In this paper, we develop the theory of absolutely summing multipolynomials. Among other results, we generalize and unify previous works of G. Botelho and D. Pellegrino concerning absolutely summing polynomials/multilinear mappings in…
Craig interpolation is a fundamental property of classical and non-classic logics with a plethora of applications from philosophical logic to computer-aided verification. The question of which interpolants can be obtained from an…