Related papers: The Intermediate Value Theorem for Linear Transfor…
In this paper we are concerned with a Gordan-type theorem involving an arbitrary number of inequality functions. We not only state its validity under a weak convexity assumption on the functions, but also show it is an optimal result. We…
Linear relations, containing measurement errors in input and output data, are considered. Parameters of these so-called errors-in-variables models can change at some unknown moment. The aim is to test whether such an unknown change has…
Vector-valued discrete Fourier transforms (DFTs) and ambiguity functions are defined. The motivation for the definitions is to provide realistic modeling of multi-sensor environments in which a useful time-frequency analysis is essential.…
Proofs of the fundamental theorem of algebra can be divided up into three groups according to the techniques involved: proofs that rely on real or complex analysis, algebraic proofs, and topological proofs. Algebraic proofs make use of the…
We form a sequence of oblong matrices by evaluating an integrable vector-valued function along the orbit of an ergodic dynamical system. We obtain an almost sure asymptotic result for the permanents of those matrices. We also give an…
Linear processes are defined as a discrete-time convolution between a kernel and an infinite sequence of i.i.d. random variables. We modify this convolution by introducing decimation, that is, by stretching time accordingly. We then…
We show that if a Lagrangian is invariant under a transformation (with the invariance defined in the standard manner), then the equations of motion obtained from it maintain their form under the transformation. We also show that the…
We generalize Loewner's method for proving that matrix monotone functions are operator monotone. The relation x \leq y on bounded operators is our model for a definition for C*-relations of being residually finite dimensional. Our main…
In this report, we consider extended real-valued functions on some real vector space. Gerstewitz functionals are used to construct all translative functions. We derive formulas for translative functions which are lower semicontinuous,…
In the propositional setting, the marginal problem is to find a (maximum-entropy) distribution that has some given marginals. We study this problem in a relational setting and make the following contributions. First, we compare two…
Valuation based systems verifying an idempotent property are studied. A partial order is defined between the valuations giving them a lattice structure. Then, two different strategies are introduced to represent valuations: as infimum of…
We introduce vectorial and topological continuities for functions defined on vector metric spaces and illustrate spaces of such functions. Also, we describe some fundamental classes of vector valued functions and extension theorems.
This paper contains two topics of Fermat reals, as suggested by the title. In the first part, we study the \omega-topology, the order topology and the Euclidean topology on Fermat reals, and their convergence properties, with emphasis on…
Our goal in this work is to present some mean value type theorems that are not studied in classic calculus and analysis courses. They are simple theorems yet with large applicability in mathematical analysis (for example, in the study of…
Let $\mu_p(A,B,t)=(tA^p+(1-t)B^p)^{1/p}$ denote the weighted power mean between positive operators $A$ and $B$. We show that the function $t\to \|A-\mu_p(A,B,t)\|_2$ is monotonically decreasing whenever $1/2 \leq p \leq 1$. Hence showing…
We consider a symmetric matrix, the entries of which depend linearly on some parameters. The domains of the parameters are compact real intervals. We investigate the problem of checking whether for each (or some) setting of the parameters,…
While monotone operator theory is often studied on Hilbert spaces, many interesting problems in machine learning and optimization arise naturally in finite-dimensional vector spaces endowed with non-Euclidean norms, such as…
Electromagnetic phenomena are mathematically described by solutions of boundary value problems. For exploiting symmetries of these boundary value problems in a way that is offered by techniques of dimensional reduction, it needs to be…
A central limit theorem for arrays of symmetric row-wise exchangeable random variables is presented. The result is valid for finite and infinite extendable and non-extendable sequences. Unlike most reported versions of the central limit…
Several matrix/operator inequalies are given. Most of them are unexpected extensions of the Araki Log-majorization theorem, obtained thanks to a new log-majorization for positive linear maps and normal operators (Theorem 2.9). The main idea…