相关论文: Linear Programming and Kantorovich Spaces
This two-parts paper offers a survey of linear logic and ludics, which were introduced by Girard in 1986 and 2001, respectively. Both theories revisit mathematical logic from first principles, with inspiration from and applications to…
In this paper, the compact linearization approach originally proposed for binary quadratic programs with assignment constraints is generalized to such programs with arbitrary linear equations and inequalities that have positive coefficients…
The successive approximations method allows us to solve problems concerning existence and uniqueness of fixed points of wide classes of operators. The classical result in this field, such as Banach -- Caccioppoli principle together with…
In this brief note, there is a short recollection of my scientific interactions with the great Russian mathematician Sergey Konstantinovich Godunov.
We propose relational linear programming, a simple framework for combing linear programs (LPs) and logic programs. A relational linear program (RLP) is a declarative LP template defining the objective and the constraints through the logical…
Some achievements of the late Andrzej Kossakowski in the field of statistical physics and quantum theory are presented. We recall his attempt to find an analytical solution of the 3-dimensional Ising model and present a problem concerning…
A well-known result going back to the 1930s states that all bounded linear operators mapping scalar-valued $L^1$-spaces into $L^\infty$-spaces are kernel operators and that in fact this relation induces an isometric isomorphism between the…
Linear Logic refines Intuitionnistic Logic by taking into account the resources used during the proof and program computation. In the past decades, it has been extended to various frameworks. The most famous are indexed linear logics which…
We define Conradian left-preorders and the space of Conradian left-preorders. We show that this space is either finite or uncountable. We describe conditions that are equivalent to say that the space of Conradian left-preorders is finite.…
A nonlinear equation in a Banach space is written as a linear equation with a linear operator depending on the unknown solution. This method, which we call a global linearization method, differs essentially from the local linearization…
In memory of Polish mathematicians murdured by the Soviets and the Nazis. The total record of accomplishments of Marcinkiewicz in his short life, his talent, perceptions rich in concepts, and technical novelties, go far beyond my ability to…
The aim of this paper is to establish some results regarding Infinite Iterated Function Systems with the help of the Tarski-Kantorovitch fixed-point principles for maps on partially ordered sets. To this end we introduce two new classes of…
We discuss the significance of some interesting results by Barbara Rokowska about combinatorial constructions. Her interest in finite mathematics and number theory began with an embellishment and detailing of some work by Erdos. Rokowska…
In the paper of Uwano [Czech. J. of Phys., vol.56, pp.1311-1316 (2006)], a gradient system is found on the space of density matrices endowed with the quantum SLD Fisher metric (to be referred to as the quantum information space) that…
The purpose of this paper is to generalize a very famous result on products of normal operators, due to I. Kaplansky. The context of generalization is that of bounded hyponormal and unbounded normal operators on complex separable Hilbert…
A new definition of the $\mathcal{H}_2$ norm for linear switched systems is introduced. It is based on appropriately defined time-domain kernels, or equivalently, on infinite controllability and observability Gramian matrices. Furthermore,…
We show that if the probabilistic logarithmic-space solver or the deterministic nearly logarithmic-space solver for undirected Laplacian matrices can be extended to solve slightly larger subclasses of linear systems, then they can be use to…
We revisit the mean field parametrization of shallow neural networks, using signed measures on unbounded parameter spaces and duality pairings that take into account the regularity and growth of activation functions. This setting directly…
A system of linear equations is normally understood as a linear mapping between two vector spaces. However, most direct solutions (e.g., QR, LU, ...) rely on the inelegant approach of back-substitution: a significant departure from such a…
In this paper, we construct generalized Baskakov Kantorovich operators. We establish some direct results and then study weighted approximation, simultaneous approximation and statistical convergence properties for these operators. Finally,…