We consider a possibility of the existence of intersection homology morphism, which would be associated to a map of analytic varieties. We assume that the map is an inclusion of codimension one. Then the existence of a morphism follows from Saito’s decomposition theorem. For varieties with conical singularities we show, that the existence of intersection homology morphism is exactly equivalent ...

Using a Riemann-Lebesgue lemma for the Fourier transform over the class of bounded variation functions that vanish at infinity, we prove the Dirichlet–Jordan theorem for functions on this class. Our proof is in the Henstock–Kurzweil integral context and is different to that of Riesz-Livingston [Amer. Math. Monthly 62 (1955), 434–437]. As consequence, we obtain the Dirichlet–Jordan theorem for f...

A quantum version of Bochner’s theorem characterising Fourier transforms of probability measures on locally compact Abelian groups gives a characterisation of the Fourier transforms of Wigner quasi-joint distributions of position and momentum. An analogous quantum Bochner theorem characterises quasi-joint distributions of components of spin. In both cases quantum states in which a true distribu...

We introduce new modal logical calculi that describe subtyping properties of Cartesian product and disjoint union type constructors as well as mutually-recursive types defined using those type constructors. Basic Logic of Subtyping S extends classical propositional logic by two new binary modalities ⊗ and ⊕. An interpretation of S is a function that maps standard connectives into set-theoretica...

In 1974, Mark Goresky and Robert MacPherson began their development of intersection homology theory (see [24] in these volumes), and their first paper on this topic appeared in 1980; see [12]. At that time, they were missing a fundamental tool which was available for the study of smooth manifolds; they had no Morse Theory for stratified spaces. Goresky and MacPherson wished to have a Stratified...

Every continuous linear functional defined on a vector subspace of a real normed space can be extended to the whole space so as to remain linear and continuous, and with the same norm(2). The extension of continuous linear transformations between two real normed spaces has been studied by several authors and for a long time it has been recognized that this problem has a close connection with th...

The weighted matroid intersection problem has recently been extended to the valuated matroid intersection problem: Given a pair of valuated matroids Mi = (V,Bi, ωi) (i = 1, 2) defined on a common ground set V , find a common base B ∈ B1∩B2 that maximizes ω1(B)+ω2(B). This paper develops a Fenchel-type duality theory related to this problem with a view to establishing a convexity framework for n...