Related papers: On $v$-Positive Type Transformations in Infinite M…

We prove a theorem about positive-operator-valued measures (POVMs) that is an analog of the Kolmogorov extension theorem, a standard theorem of probability theory. According to our theorem, if a sequence of POVMs G_n on $\mathbb{R}^n$…

We consider a discrete-time temporally-homogeneous conservative Markov process. We show that extremality of reversible measure implies extremality of invariant measure. Using analogue of Dirichlet form, we modify a proof that in stochastic…

For a set $E$ of positive and finite length, we prove that if the Huovinen transform (the convolution operator with kernel $z^k/|z|^{k+1}$ for an odd number $k$) associated to $E$ exists in principal value, then $E$ is rectifiable.

Markov categories have recently emerged as a powerful high-level framework for probability theory and theoretical statistics. Here we study a quantum version of this concept, called involutive Markov categories. These are equivalent to…

The notion of a $v$-palindrome is recently introduced by the author. Later, the author defined the notion of the type of a $v$-palindrome $n$ with respect to a number $m$ which can be repeatedly concatenated to form $n$. We prove that this…

We study a class of strongly irreducible, multidimensional, topological Markov shifts, comparing two notions of "symmetric measure": exchangeability and the Gibbs (or conformal) property. We show that equilibrium measures for such shifts…

For a class of linear maps on a von Neumann factor, we associate two objects, bounded operators and trace class operators, both of which play the roles of Choi matrices. Each of them is positive if and only if the original map on the factor…

Denotational models of type theory, such as set-theoretic, domain-theoretic, or category-theoretic models use (actual) infinite sets of objects in one way or another. The potential infinite, seen as an extensible finite, requires a dynamic…

We extend some of the results of Agler, Knese, and McCarthy [1] to $n$-tuples of commuting isometries for $n>2$. Let $\mathbb{V}=(V_1,\dots,V_n)$ be an $n$-tuple of a commuting isometries on a Hilbert space and let Ann$(\mathbb{V})$ denote…

In supersymmetric quantum mechanics, exact-solvability of one-dimensional quantum systems can be classified only with an additional assumption of integrability, the so-called shape invariance condition. In this paper we show that in the…

We construct inhomogenous Markov measures for which the shift is of Kreiger type ${\rm III}_{1}$. These measures are fully supported on a toplogical markov shift space of the hyperbolic toral automorphism…

We define a model for rank one measure preserving transformations in the sense of [2]. This is done by defining a new Polish topology on the space of codes, which are infinite rank one words, for symbolic rank one systems. We establish that…

We investigate envelopes of positive metrics with a prescribed singularity type. First we generalise work of Berman to this setting, proving C^{1,1} regularity of such envelopes, showing their Monge-Ampere measure is supported on a certain…

Given a topological group $G$ and a unitary representation $U$ of $G$, we consider the problem of classifying the positive operator measures which are based on a $G$-homogeneous space $X$ and covariant with respect to the representation…

Starting with Zhang's theorem on the infinitude of prime doubles, we give an inductive argument that there exists an infinite number of prime $k$-tuples for at least one admissible set $\mathcal{H}_k=\{h_1,\ldots,h_k\}$ for each $k$.

In 1974, Vegh proved that if $k$ is a prime and $m$ a positive integer, there is an $m$ term permutation chain of $k$th power residue for infinitely many primes [E.Vegh, $k$th power residue chains, J.Number Theory, 9(1977), 179-181]. In…

We give a set of equivalent conditions for a potential on a Countable Markov Shift to have strong positive recurrence, which is also equivalent to having exponential decay of correlations. A key ingredient of our proofs is quantifying how…

Using the integral representations of the solutions of Schr\"odinger equation, which are the essential ingredients of the Gel'fand-Levitan and Marchenko integral equations of inverse scattering theory, we obtain a general theorem on the…

We introduce a new computable invariant for strong shift equivalence of shifts of finite type. The invariant is based on an invariant introduced by Trow, Boyle, and Marcus, but has the advantage of being readily computable. We summarize…

We generalize the notion of proof term to the realm of transfinite reduction. Proof terms represent reductions in the first-order term format, thereby facilitating their formal analysis. We show that any transfinite reduction can be…