Related papers: Independence, infinite dimension, and operators

Let $E$ be the attractor of an iterated function system $\{\phi_i(x)=\rho R_ix+a_i\}_{i=1}^N$ on $\Bbb R^d$, where $0<\rho<1$, $a_i\in \Bbb R^d$ and $R_i$ are orthogonal transformations on $\Bbb R^d$. Suppose that $\{\phi_i\}_{i=1}^N$…

In this paper we mainly study the necessary conditions for the existence of functionally independent generalized rational first integrals of ordinary differential systems via the resonances. The main results extend some of the previous…

Let $R$ be an integral domain of characteristic zero. We prove that a function $D\colon R\to R$ is a derivation of order $n$ if and only if $D$ belongs to the closure of the set of differential operators of degree $n$ in the product…

We are concerned with solvability of nonlinear systems involving a discrete singular $\phi$-Laplacian operator of type \begin{equation*} u \mapsto \Delta\left[\phi(\Delta u(n-1))\right] \qquad (n\in \{1, \dots, T\}), \end{equation*}…

Uniqueness and independence are two fundamental properties of data. Their enforcement in database systems can lead to higher quality data, faster data service response time, better data-driven decision making and knowledge discovery from…

We study the well-posedness and stability of an impedance passive infinite-dimensional linear system under nonlinear feedback of the form $u(t)=\phi(v(t)-y(t))$, where $\phi$ is a monotone function. Our first main result introduces…

There are several kinds of universal Taylor series. In one such kind the universal approximation is required at every boundary point of the domain of definition $\OO$ of the universal function $f$. In another kind the universal…

We prove general de Finetti type theorems for classical and free independence. The de Finetti type theorems work for all non-easy quantum groups, which generalize a recent work of Banica, Curran and Speicher. We determine maximal…

For a given rational number $x$ and an integer $s\geq 1$, let us consider a generalized polylogarithmic function, often called the Lerch function, defined by $$\Phi_{s}(x,z)= \sum_{k=0}^{\infty}\frac{z^{k+1}}{(k+x+1)^s}\enspace.$$ We prove…

Let $B$ be a star-algebra with a state $\phi$, and $t > 0$. Through a Fock space construction, we define two states $\Phi_t$ and $\Psi_t$ on the tensor algebra $T(B, \phi)$ such that under the natural map $(B, \phi) \rightarrow (T(B, \phi),…

We establish, for $1 < p < \infty$, higher order $\mathcal{S}^p$-differentiability results of the function $\varphi : t\in \mathbb{R} \mapsto f(A+tK) - f(A)$ for selfadjoint operators $A$ and $K$ on a separable Hilbert space $\mathcal{H}$…

Given a quantum system consisting of many parts, we show that symmetry of the system's state, i.e., invariance under swappings of the subsystems, implies that almost all of its parts are virtually identical and independent of each other.…

We introduce syntactic modal operator $\BOX$ for \textit{being a thesis} into first-order logic. This logic is a modern realization of R. Carnap's old ideas on modality, as logical necessity (J. Symb. Logic, 1946) \cite{Ca46}. We place it…

In certain circumstances, the uncertainty, $\Delta S [\phi]$, of a quantum observable, $S$, can be bounded from below by a finite overall constant $\Delta S>0$, \emph{i.e.}, $\Delta S [\phi] \geq \Delta S$, for all physical states $\phi$.…

We identify complete fragments of the Simple Theory of Types with Infinity ($\mathrm{TSTI}$) and Quine's $\mathrm{NF}$ set theory. We show that $\mathrm{TSTI}$ decides every sentence $\phi$ in the language of type theory that is in one of…

The main goal of the paper is to prove that the sequence of functions $f(x), Df(x), \dots, D^{2n+1}f(x)$, where $f(x)$ is $x^n\sin x$ or $x^n\cos x$ are linearly independent. Or more generally: that the sequence of functions $D^kf(x),…

We study expansions of NSOP$_1$ theories that preserve NSOP$_1$. We prove that if $T$ is a model complete NSOP$_1$ theory eliminating the quantifier $\exists^{\infty}$, then the generic expansion of $T$ by arbitrary constant, function, and…

In this paper, we are interested in the spectral properties of the generalised principal eigenvalue of some nonlocal operator. That is, we look for the existence of some particular solution $(\lambda,\phi)$ of a nonlocal operator.…

Identifying dependency in multivariate data is a common inference task that arises in numerous applications. However, existing nonparametric independence tests typically require computation that scales at least quadratically with the sample…

Given a compact of ${\bf R}^n$, there is always a doubling measure having it as its support. We use this fact to construct an integral operator that extends differentiable functions defined on any compact set of ${\bf R}^n$ to the whole of…