相关论文: Linear Programming and Kantorovich Spaces
Utilizing the notion of positive multilinear mappings, we give some matrix inequalities. In particular, Choi--Davis--Jensen and Kantorovich type inequalities including positive multilinear mappings are presented.
In connection with his interest in selfdistributive algebra, Richard Laver established two deep results with potential applications in low-dimensional topology, namely the existence of what is now known as the Laver tables and the…
Artificial neural network operators (ANNOs) have been widely used for approximating deterministic input-output functions; however, their extension to random dynamics remains comparatively unexplored. In this paper, we construct a new class…
Variational formulations of time-dependent PDEs in space and time yield $(d+1)$-dimensional problems to be solved numerically. This increases the number of unknowns as well as the storage amount. On the other hand, this approach enables…
Isaak Moiseevich Yaglom deduced complete classification of geometric spaces. In this work, supposed to your attention, author formalizes Yaglom's approach and constructs uniform theory of geometric spaces on analytic level. Among its…
The space of Minkowski valuations on an m-dimensional complex vector space which are continuous, translation invariant and contravariant under the complex special linear group is explicitly described. Each valuation with these properties is…
In the 1980s, category theorists introduced the Lawvere-Tierney $(\leq_{\mathrm{LT}})$ order in the Effective Topos, known to effectively embed the Turing degrees. Understanding its structure is a longstanding open problem in the area. In…
Alexander Andreevich Andrianov was a remarkable personality in Russian physics during the last decades. A member of th prestigious school of theoretical physics in Saint Petersburg, he made relevant contributions to a number of topics along…
Given a quadratic two-parameter matrix polynomial Q, we develop a systematic approach to generating a vector space of linear two-parameter matrix polynomials. We identify a set of linearizations of Q that lie in the vector space. Finally,…
The purpose of this paper is to construct a bivariate generalization of new family of Kantorovich type sampling operators $(K_w^{\varphi}f)_{w>0}.$ First, we give the pointwise convergence theorem and a Voronovskaja type theorem for these…
R\'esum\'e Apr\`es un bref aper\c{c}u permettant de situer notre travail, nous proposons une nouvelle voie pour aborder la programmation lin\'eaire en proposant un algorithme \'elabor\'e \`a partir d'une id\'ee simple qui permet d'obtenir…
An infinite set is orbit-finite if, up to permutations of the underlying structure of atoms, it has only finitely many elements. We study a generalisation of linear programming where constraints are expressed by an orbit-finite system of…
We consider linear programming (LP) problems in infinite dimensional spaces that are in general computationally intractable. Under suitable assumptions, we develop an approximation bridge from the infinite-dimensional LP to tractable finite…
In 1990 Lazard proposed an improved projection operation for cylindrical algebraic decomposition (CAD). For the proof he introduced a certain notion of valuation of a multivariate Puiseux series at a point. However a gap in one of the key…
This paper is the second part of an introduction to linear logic and ludics, both due to Girard. It is devoted to proof nets, in the limited, yet central, framework of multiplicative linear logic and to ludics, which has been recently…
In this paper, we analyze the convergence behavior of Hermite-type sampling Kantorovich operators in the context of mixed norm spaces. We prove certain direct approximation theorems, including the uniform convergence theorem, the…
This is a short review of the Kadomtsev-Petviashvili hierarchies of types B and C. The main objects are the $L$-operator, the wave operator, the auxiliary linear problems for the wave function, the bilinear identity for the wave function…
In mathematical aspect, we introduce quantum algorithm and the mathematical structure of quantum computer. Quantum algorithm is expressed by linear algebra on a finite dimensional complex inner product space. The mathematical formulations…
While behavioural equivalences among systems of the same type, such as Park/Milner bisimilarity of labelled transition systems, are an established notion, a systematic treatment of relationships between systems of different type is…
In a recent work, Girard proposed a new and innovative approach to computational complexity based on the proofs-as-programs correspondence. In a previous paper, the authors showed how Girard proposal succeeds in obtaining a new…