Related papers: Independence, infinite dimension, and operators
This paper considers the existence and multiplicity of fixed points for the integral operator \begin{equation*} {\mathcal{T}}u(t)=\lambda \,\int_{0}^{T}k(t,s)\,f(s,u(s),u^{\prime }(s),\dots ,u^{(m)}(s))\,\dif s,\quad t\in \lbrack 0,T]\equiv…
We generalize Franz' independence in tensor categories with inclusions from two morphisms (which represent generalized random variables) to arbitrary ordered families of morphisms. We will see that this only works consistently if the unit…
We provide an operator algebraic proof of a classical theorem of Thoma which characterizes the extremal characters of the infinite symmetric group $\mathbb{S}_\infty$. Our methods are based on noncommutative conditional independence…
Fix $N\in\mathbb N$ and assume that for every $n\in\{1,\ldots, N\}$ the functions $f_n\colon[0,1]\to[0,1]$ and $g_n\colon[0,1]\to\mathbb R$ are Lebesgue measurable, $f_n$ is almost everywhere approximately differentiable with…
Suppose M is a hyperfinite von Neumann algebra with a tracial state $\phi$ and $\{a_1,...,a_n\}$ is a set of selfadjoint generators for M. We calculate $\delta_0(a_1,...,a_n)$, the modified free entropy dimension of $\{a_1,...,a_n\}$.…
Let $\mathcal{L}(X;Y)$ be the space of bounded linear operators from a Banach space $X$ to a Banach space $Y$. Given an operator-valued function $u:\mathbb{R}_{\geq 0}\rightarrow \mathcal{L}(X;Y)$, suppose that every orbit $t\mapsto u(t)x$…
We consider a class of singular Schr\"odinger operators $H$ that act in $L^2(0,\infty)$, each of which is constructed from a positive function $\phi$ on $(0,\infty)$. Our analysis is direct and elementary. In particular it does not mention…
Free tensors are tensors which, after a change of bases, have free support: any two distinct elements of its support differ in at least two coordinates. They play a distinguished role in the theory of bilinear complexity, in particular in…
We establish several results regarding dividing and forking in NTP2 theories. We show that dividing is the same as array-dividing. Combining it with existence of strictly invariant sequences we deduce that forking satisfies the chain…
In this article, we conduct a study of integral operators defined in terms of non-convolution type kernels with singularities of various degrees. The operators that fall within our scope of research include fractional integrals, fractional…
A seminal result in the ICA literature states that for $AY = \varepsilon$, if the components of $\varepsilon$ are independent and at most one is Gaussian, then $A$ is identified up to sign and permutation of its rows (Comon, 1994). In this…
In the case of finite measures on finite spaces, we state conditions under which {\phi}- projections are continuously differentiable. When the set on which one wishes to {\phi}- project is convex, we show that the required assumptions are…
We show that there are no non-trivial linear dependencies among p-norms of vectors in finite dimensions that hold for all p. The proof is by complex analytic continuation.
The tetrad constraint is widely used to test whether four observed variables are conditionally independent given a latent variable, based on the fact that if four observed variables following a linear model are mutually independent after…
We initiate the study of a generalization of Kim-independence, Conant-independence, based on the "strong Kim-dividing" of Kaplan, Ramsey and Shelah. We introduce an axiom on stationary independence relations essentially generalizing the…
An operational probabilistic theory where all systems are classical, and all pure states of composite systems are entangled, is constructed. The theory is endowed with a rule for composing an arbitrary number of systems, and with a…
In this note, we consider a Fourier integral operator defined by \begin{align*} T_{\phi,a}f(x) = \int_{\mathbb{R}^{n}}e^{i\phi(x,\xi)}a(x,\xi)\widehat{f} \xi)d\xi, \end{align*}here $a$ is the amplitude, and $\phi$ is the phase. Let…
The \emph{Continuity Problem} is the question whether effective operators are continuous, where an effective operator $F$ is a function on a space of constructively given objects $x$, defined by mapping construction instructions for $x$ to…
The ultrapower $T^{\ast}$ of an arbitrary ordered set $T$ is introduced as an infinitesimal extension of $T$. It is obtained as the set of equivalence classes of the sequences in $T$, where the corresponding relation is generated by an…
We present a framework for studying the concept of independence in a general context covering database theory, algebra and model theory as special cases. We show that well-known axioms and rules of independence for making inferences…