Related papers: Extensional Independence

Let $M(\phi)=T(\phi)+H(\phi)$ be the Toeplitz plus Hankel operator acting on $H^p(\T)$ with generating function $\phi\in L^\iy(\T)$. In a previous paper we proved that $M(\phi)$ is invertible if and only if $\phi$ admits a factorization…

We consider the problem of recovering conditional independence relationships between $p$ jointly distributed Hilbertian random elements given $n$ realizations thereof. We operate in the sparse high-dimensional regime, where $n \ll p$ and no…

Fix a positive integer $N$. Select an additive composition $\xi$ of $N$ uniformly out of $2^{N-1}$ possibilities. The interplay between the number of parts in $\xi$ and the maximum part in $\xi$ is our focus. It is not surprising that…

Let F be a totally real field, v an unramified place of F dividing p and rho a continuous irreducible two-dimensional mod p representation of G_F such that the restriction of rho to G_{F_v} is reducible and sufficiently generic. If rho is…

We review a minimum set of notions from our previous paper on structural properties of SAT at arXiv:0802.1790 that will allow us to define and discuss the "complete internal independence" of a decision problem. This property is strictly…

A novel theoretical approach to the problem of the compositeness ($X$) of a resonance or bound state is developed on the basis of the expectation values of the number operators of the free particles in the continuum. This formalism is…

Using the harmonic map heat flow, we construct an energy class for wave maps $\phi$ from two-dimensional Minkowski space $\R^{1+2}$ to hyperbolic spaces $\H^m$, and then show (conditionally on a large data well-posedness claim for such wave…

We investigate the decidability and computational complexity of conservative extensions and the related notions of inseparability and entailment in Horn description logics (DLs) with inverse roles. We consider both query conservative…

This thesis studies the extension problem for higher-order fractional powers of the heat operator $H=\Delta-\partial_t$ in $\mathbb{R}^{n+1}$. Specifically, given $s>0$ and indicating with $[s]$ its integral part, we study the following…

Let $\xi$ be a real irrational number. We are interested in sequences of linear forms in 1 and $\xi$, with integer coefficients, which tend to 0. Does such a sequence exist such that the linear forms are small (with given rate of decrease)…

Dependently typed proof assistant rely crucially on definitional equality, which relates types and terms that are automatically identified in the underlying type theory. This paper extends type theory with definitional functor laws,…

Given a dissipative operator $A$ on a complex Hilbert space $\mathcal{H}$ such that the quadratic form $f\mapsto \mbox{Im}\langle f,Af\rangle$ is closable, we give a necessary and sufficient condition for an extension of $A$ to still be…

We consider an abstract system of Timoshenko type $$ \begin{cases} \rho_1{{\ddot \varphi}} + a A^{\frac12}(A^{\frac12}\varphi + \psi) =0\\ \rho_2{{\ddot \psi}} + b A \psi + a (A^{\frac12}\varphi + \psi) - \delta A^\gamma {\theta} = 0\\…

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…

Extended Wigner's friend no-go theorems provide a modern lens for investigating the measurement problem, by making precise the challenges that arise when one attempts to model agents as dynamical quantum systems. Most such no-go theorems…

We prove an effective form of Wilkie's conjecture in the structure generated by restricted sub-Pfaffian functions: the number of rational points of height $H$ lying in the transcendental part of such a set grows no faster than some power of…

We show that there can be no finite list of conditional independence relations which can be used to deduce all conditional independence implications among Gaussian random variables. To do this, we construct, for each $n> 3$ a family of $n$…

We obtain asymptotic expansions for local probabilities of partial sums for uniformly bounded independent but not necessarily identically distributed integer-valued random variables. The expansions involve products of polynomials and…

It is shown that if T is a ternary ring of operators (TRO), X is a nondegenerate sub-TRO of T and there exists a contractive idempotent surjective map P:T-->X, then P has a unique, explicitly described extension to a conditional expectation…

Finsler's lemma is a classic mathematical result with applications in control and optimization. When the lemma is applied to parameter-dependent LMIs, as such those that arise from problems of robust stability, the extra variables…