Related papers: On $v$-Positive Type Transformations in Infinite M…
We show an invariance principle for rescaled clocks of positive semi-stable Markov processes, proving a conjecture presented in Remark 4 in Demni, Rouault, Zani [11], 2015.
We study the induced measure obtained from a 1-step Markov measure, supported by a topological Markov chain, after the mapping of the original alphabet onto another one. We give sufficient conditions for the induced measure to be a Gibbs…
In this paper, we propose extensions for the classical Kummer test, which is a very far-reaching criterion that provides sufficient and necessary conditions for convergence and divergence of series of positive terms. Furthermore, we present…
Positive MV-algebras are the subreducts of MV-algebras with respect to the signature $\{\oplus, \odot, \lor, \land, 0, 1\}$. We provide a finite quasi-equational axiomatization for the class of such algebras.
In this paper we present a new approach to studying g-measures which is based upon local absolute continuity. We extend the result in [11] that square summability of variations of g-functions ensures uniqueness of g-measures. The first…
Axiomatic approach to measurement theory is developed. All the possible statistical properties of apparatuses measuring an observable with nondegenerate spectrum allowed in standard quantum mechanics are characterized.
In our previous papers we introduced categorical invariants, which are, roughly speaking, sets of triangulated subcategories in a given triangulated category and their quotients. Here is extended the list of examples, where these sets are…
We propose replacing the instantaneous state reduction in von Neumann selective measurement with continuous nonlinear evolution. Despite its nonlinearity, this evolution preserves the equivalence of quantum ensembles and hence obeys the…
The set of integer number lists with finite length, and the set of binary trees with integer labels are both countably infinite. Many inductively defined types also have countably many elements. In this paper, we formalize the syntax of…
Little effort has been devoted to studying generalised notions or models of (un)predictability, yet is an important concept throughout physics and plays a central role in quantum information theory, where key results rely on the supposed…
This paper introduces an expressive class of quotient-inductive types, called QW-types. We show that in dependent type theory with uniqueness of identity proofs, even the infinitary case of QW-types can be encoded using the combination of…
A simple condition is given that is sufficient to determine whether a measure that is absolutely continuous with respect to a Gau{\ss}ian measure on the space of distributions is reflection positive. It readily generalises conventional…
We construct log resolutions of pairs on the blow-up of the projective space in an arbitrary number of general points and we discuss the semi-ampleness of the strict transforms. As an application we prove that the abundance conjecture holds…
We introduce a multivariate Markov transform which generalizes the well-known one-dimensional Stieltjes transform from the Moment problem and Spectral theory. Our main result states that two measures {\mu} and {\nu} with bounded support…
In this paper, we show that in Hilbert space of any finite dimension N, there are N^2 unit vectors which constitute Symmetric Informationally Complete Positive Operator Valued Measure (SIC-POVM).
We show that for a potential with summable variations on an irreducible sofic shift in one dimension, the equilibrium measures are precisely the shift-invariant Gibbs measures. The main tool in the proof is a preservation of Gibbsianness…
In this paper, the connections between model theory and the theory of infinite permutation groups are used to study the n-existence and the n-uniqueness for n-amalgamation problems of stable theories. We show that, for any n>1, there exists…
Let $p_n$ denote the $n$-th prime number, $\{q_n\}$ be a sequence of positive numbers and $x\in\mathbb{R}$. In this note we prove that the inequality $$q_n p_{n+1}^{x}-q_{n+1}p_{n}^{x}<p_{n}^{x}p_{n+1}^{x-1}, $$ holds for infinitely many…
Infinite types and formulas are known to have really curious and unsound behaviors. For instance, they allow to type {\Omega}, the auto- autoapplication and they thus do not ensure any form of normalization/productivity. Moreover, in most…
Using a recent result of Albini et al. to represent quantum homodyne tomography in terms of a single observable (as a normalized positive operator measure) we construct a generalized Markov kernel which transforms (the measurement outcome…