Related papers: Oracle computability of conditional expectations o…
We define an extension of lambda-calculus with dependents types that enables us to encode transparent and opaque probabilistic programs and prove a strong normalisation result for it by a reducibility technique. While transparent…
A certain class of matrix-valued Borel matrix functions is introduced and it is shown that all functions of that class naturally operate on any operator T in a finite type I von Neumann algebra M in a way such that uniformly bounded…
In this paper, we investigate the convergence of products of conditional expectation operators. We show that if $(\Omega,\cal{F},P)$ is a probability space that is not purely atomic, then divergent sequences of products of conditional…
We show that the existence of a continuous conditional expectation from a Fell bundle to a Fell subbundle implies that the full cross-sectional C*-algebra of the subbundle is contained in the full cross-sectional C*-algebra of the bundle,…
This paper introduces a more restrictive notion of feasibility of functionals on Baire space than the established one from second-order complexity theory. Thereby making it possible to consider functions on the natural numbers as running…
Given a graph $G$ that can be partitioned into $k$ disjoint expanders with outer conductance upper bounded by $\epsilon\ll 1$, can we efficiently construct a small space data structure that allows quickly classifying vertices of $G$…
We prove that if a separable II$_1$ factor $M$ is existentially closed, then every $M$-bimodule is weakly contained in the trivial $M$-bimodule, $\text{L}^2(M)$, and, equivalently, every normal completely positive map on $M$ is a pointwise…
We study conjugacy orbits of certain types of subalgebras in tracial von Neumann algebras. For any separable II$_1$ factor $N_0$ we construct a highly indecomposable non Gamma II$_1$ factor $N$ such that $N_0 \subset N$ and moreover every…
In this paper, we show how a construction of an implicit complexity model can be implemented using concepts coming from the core of von Neumann algebras. Namely, our aim is to gain an understanding of classical computation in terms of the…
Expectiles are statistical parameters which also provide a class of sublinear risk measures in finance. They are solutions of continuous optimization problems. The corresponding first order condition provides two different fixed point…
We use here a recent idea of studying functions of free random variables using Boolean cumulants. We develop idea of explicit calculations of conditional expectation using Boolean cumulants. We demonstrate Boolean cumulants approach allows…
We study the spectrum generating closed nonlinear superconformal algebra that describes $\mathcal{N}=2$ super-extensions of rationally deformed quantum harmonic oscillator and conformal mechanics models with coupling constant $g=m(m+1)$,…
The paper presents some results for reducing the computation of the M\"obius functon of a M\"obius category that arises from a combinatorial inverse semigroup to that of locally finite partially ordered sets. We illustrate the computation…
We introduce Neural Conditional Probability (NCP), an operator-theoretic approach to learning conditional distributions with a focus on statistical inference tasks. NCP can be used to build conditional confidence regions and extract key…
Different mathematical models of recognition processes are known. In the present paper we consider a pattern recognition algorithm as an oracle computation on a Turing machine. Such point of view seems to be useful in pattern recognition as…
The unbounded bicommutant $(\mathfrak M_{E'})''$ of the {\em reduction} of an O*-algebra $\MM$ via a given projection $E'$ weakly commuting with $\mathfrak M$ is studied, with the aim of finding conditions under which the reduction of a…
The existence of Voiculescu's subordination functions in the context of non-tracial operator-valued C*-probability spaces has been established using analytic function theory methods. We use a matrix construction to show that the…
In this work we present a theoretical model for differentiable programming. We construct an algebraic language that encapsulates formal semantics of differentiable programs by way of Operational Calculus. The algebraic nature of Operational…
We show that empirical risk minimization procedures and regularized empirical risk minimization procedures satisfy nonexact oracle inequalities in an unbounded framework, under the assumption that the class has a subexponential envelope…
We study the operator product expansions in the chiral algebra $\mathcal{W}_{\infty}$, first using the associativity conditions in the basis of primary generating fields and second using a different basis coming from the free field…