Related papers: Independence, infinite dimension, and operators

The continuity problem, i.e., the question whether effective maps between effectively given topological spaces are effectively continuous, is reconsidered. In earlier work it was shown that this is always the case, if the effective map also…

We give a necessary and sufficient condition on a positive compact operator $T$ for the existence of a singular trace (i.e. a trace vanishing on the finite rank operators) which takes a finite non-zero value on $T$. This generalizes…

Dependence logic provides an elegant approach for introducing dependencies between variables into the object language of first-order logic. In [1] generalized quantifiers were introduced in this context. However, a satisfactory account was…

We generalize P. M. Neumann's Lemma to the setting of isometric actions on metric spaces and use it to prove several results in continuous logic related to algebraic independence. In particular, we show that algebraic independence satisfies…

For a permutation $\pi:[k] \to [k]$, a function $f:[n] \to \mathbb{R}$ contains a $\pi$-appearance if there exists $1 \leq i_1 < i_2 < \dots < i_k \leq n$ such that for all $s,t \in [k]$, $f(i_s) < f(i_t)$ if and only if $\pi(s) < \pi(t)$.…

We define and study the independent natural extension of two local uncertainty models for the general case of infinite spaces, using the frameworks of sets of desirable gambles and conditional lower previsions. In contrast to Miranda and…

We prove a quantitative unique continuation principle for infinite dimensional spectral subspaces of Schr\"odinger operators. Let $\Lambda_L = (-L/2,L/2)^d$ and $H_L = -\Delta_L + V_L$ be a Schr\"odinger operator on $L^2 (\Lambda_L)$ with a…

We prove various uniqueness results from null infinity, for linear waves on asymptotically flat space-times. Assuming vanishing of the solution to infinite order on suitable parts of future and past null infinities, we derive that the…

The necessary and sufficient conditions for a function to be totally or partially separable are derived. It is shown that a function is totally separable if and only if each component of the gradient vector of depends only on the…

Let $n\geq 1,0<\rho<1, \max\{\rho,1-\rho\}\leq \delta\leq 1$ and $$m_1=\rho-n+(n-1)\min\{\frac 12,\rho\}+\frac {1-\delta}{2}.$$ If the amplitude $a$ belongs to the H\"{o}rmander class $S^{m_1}_{\rho,\delta}$ and $\phi\in \Phi^{2}$ satisfies…

The independence of the continuum hypothesis is a result of broad impact: it settles a basic question regarding the nature of N and R, two of the most familiar mathematical structures; it introduces the method of forcing that has become the…

This article, which is substantially motivated by the previous joint work with J. McKay [8], establishes the analytic analogues of the relations we found free probability has with Witt vectors. Therefore, we first present a novel analytic…

A classical theorem of von Neumann asserts that every unbounded self-adjoint operator $A$ in a separable Hilbert space $H$ is unitarily equivalent to an operator $B$ in $H$ such that $D(A)\cap D(B)=\{0\}$. Equivalently this can be…

For $\xi \in \big(0, {1/2} \big)$, we denote by $E_{\xi}$ the perfect symmetric set associated to $\xi$, that is $$ E_{\xi} = \Big\{\exp \big(2i \pi (1-\xi) \dsp \sum_{n = 1}^{+\infty} \epsilon_{n} \xi^{n-1} \big) : \epsilon_{n} = 0…

We study the properties of algebraic independence and pointwise algebraic independence in a class of continuous theories, the randomizations $T^R$ of complete first order theories $T$. If algebraic and definable closure coincide in $T$,…

We continue our program of unifying general relativity and quantum mechanics in terms of a noncommutative algebra ${\cal A}$ on a transformation groupoid $\Gamma = E \times G$ where $E$ is the total space of a principal fibre bundle over…

The classes stable, simple and NSOP$_1$ in the stability hierarchy for first-order theories can be characterised by the existence of a certain independence relation. For each of them there is a canonicity theorem: there can be at most one…

Stable basis algebras were introduced by Fountain and Gould and developed in a series of articles. They form a class of universal algebras, extending that of independence algebras. If a stable basis algebra $\mathbb{B}$ of finite rank…

We give lower bounds for the degree of multiplicative combinations of iterates of rational functions (with certain exceptions) over a general field, establishing the multiplicative independence of said iterates. This leads to a…

We provide several crucial technical extensions of the theory of stable independence notions in accessible categories. In particular, we describe circumstances under which a stable independence notion can be transferred from a subcategory…