Related papers: Dependence and Isolated Extensions
Let H be a complex infinite dimensional Hilbert space. We describe the form of all *-semigroup endomorphisms $\phi$ of B(H) which are uniformly continuous on every commutative C*-subalgebra. In particular, we obtain that if $\phi$ satisfies…
In this tutorial I will present how a combination of linear and dependent type can be useful to describe different properties about higher order programs. Linear types have been proved particularly useful to express properties of functions;…
In this short note we show that if we add predicate for a dense complete indiscernible sequence in a dependent theory then the result is still dependent. This answers a question of Baldwin and Benedikt and implies that every unstable…
The extent of parallelization of a loop is largely determined by the dependences between its statements. While dependence free loops are fully parallelizable, those with loop carried dependences are not. Dependence distance is a measure of…
For a tuple $(\theta_1,..,\theta_M)$ of complex number, buliding on the approximation techniques in earlier papers of this series, this paper engages in deducing lower estimates on the transcendence degree of the field generated by…
We introduce the concepts of dependence and independence in a very general framework. We use a concept of rank to study dependence and independence. By means of the rank we identify (total) dependence with inability to create more…
The stochastic $\phi^4$-theory in $d-$dimensions dynamically develops domain wall structures within which the order parameter is not continuous. We develop a statistical theory for the $\phi^4$-theory driven with a random forcing which is…
Following our previous work on copula-based nonsymmetric dependence measures, we introduce similar measures for discrete random variables. The measures cover the range between two extremes: independence and complete dependence, which take…
Let R be a differential domain finitely generated over a differential field, F, with field of constants, C, of characteristic 0. Let E be the quotient field of R. The paper investigates necessary and sufficient conditions on R's…
A notion of conditionally identically distributed (c.i.d.) sequences has been studied as a form of stochastic dependence that is weaker than exchangeability, but is equivalent to exchangeability for stationary sequences. In this article we…
In this note we develop and clarify some of the basic combinatorial properties of the new notion of $n$-dependence (for $1\leq n < \omega$) recently introduced by Shelah. In the same way as dependence of a theory means its inability to…
We study the scaling dimension $\Delta_{\phi^n}$ of the operator $\phi^n$ where $\phi$ is the fundamental complex field of the $U(1)$ model at the Wilson-Fisher fixed point in $d=4-\varepsilon$. Even for a perturbatively small fixed point…
We present a novel dependent linear type theory in which the multiplicity of some variable-i.e., the number of times the variable can be used in a program-can depend on other variables. This allows us to give precise resource annotations to…
We introduce the Delta-framework, LF-Delta, a dependent type theory based on the Edinburgh Logical Framework LF, extended with the strong proof-functional connectives, i.e. strong intersection, minimal relevant implication and strong union.…
The question studied here is the existence and uniqueness of a non-trivial bounded steady state of a Fisher-KPP equation involving a fractional Laplacian (--$\Delta$)^$\alpha$ in a domain with Dirichlet conditions outside of the domain.…
Refinement types are a well-studied manner of performing in-depth analysis on functional programs. The dependency pair method is a very powerful method used to prove termination of rewrite systems; however its extension to higher order…
Given a symmetric, semi-bounded, second order elliptic differential operator on a bounded domain with $C^{1,1}$ boundary, we provide a Krein-type formula for the resolvent difference between its Friedrichs extension and an arbitrary…
So called pair copula constructions (PCCs), specifying multivariate distributions only in terms of bivariate building blocks (pair copulas), constitute a flexible class of dependence models. To keep them tractable for inference and model…
Let $A:D(A)\subseteq\H\to\H$ be an injective self-adjoint operator and let $\tau:D(A)\to\X$, X a Banach space, be a surjective linear map such that $\|\tau\phi\|_\X\le c \|A\phi\|_\H$. Supposing that \text{\rm Range}$ (\tau')\cap\H'…
Many socio-economic systems require positive economic growth rates to function properly. Given uncertainty about future growth rates and increasing evidence that economic growth is a driver of social and environmental crises, these growth…