Related papers: Change of Variable for Multi-dimensional Integral
A semi-process is an analog of the semi-flow for non-autonomous differential equations or inclusions. We prove an abstract result on the existence of measurable semi-processes in the situations where there is no uniqueness. Also, we allow…
We give a new proof of the decidability of reachability in alternating pushdown systems, showing that it is a simple consequence of a cut-elimination theorem for some natural-deduction style inference systems. Then, we show how this result…
With a new proof approach we prove in a more general setting the classical convergence theorem that almost everywhere convergence of measurable functions on a finite measure space implies convergence in measure. Specifically, we generalize…
In this note we prove that a finite family $\{X_1,\dots,X_d\}$ of real r.v.'s that is exchangeable and such that $(X_1,\dots,X_d)$ is invariant with respect to a subgroup of $SO(d)$ acting irreducibly, is actually invariant with respect to…
We formulate one dimensional many-body integrable systems in terms of a new set of phase space variables involving exchange operators. The hamiltonian in these variables assumes a decoupled form. This greatly simplifies the derivation of…
We study a random dynamical system such that one transformation is randomly selected from a family of transformations and then applied on each iteration. For such random dynamical systems, we consider estimates of absolutely continuous…
Quantum theory is indeterministic, but not completely so. When a system is in a pure state there are properties it possesses with certainty, known as actual properties. The actual properties of a quantum system (in a pure state) fully…
A new approach to disintegration of measures is presented, allowing one to drop the usually taken separability assumption. The main tool is a result on fibers in the spectrum of algebra of essentially bounded functions established recently…
In the current paper we attempt to transfer the notion of the projectional entropy, originally defined for multidimensional subshifts, to the case of actions of amenable groups. The main theorem states that if a system is strongly…
Unimodularity is localized to a complete stationary type, and its properties are analysed. Some variants of unimodularity for definable and type-definable sets are introduced, and the relationship between these different notions is studied.…
In a causal graphical model, an instrument for a variable X and its effect Y is a random variable that is a cause of X and independent of all the causes of Y except X. (Pearl (1995), Spirtes et al (2000)). Instrumental variables can be used…
The paper demonstrates that falsifiability is fundamental to learning. We prove the following theorem for statistical learning and sequential prediction: If a theory is falsifiable then it is learnable -- i.e. admits a strategy that…
This paper presents a type theory in which it is possible to directly manipulate $n$-dimensional cubes (points, lines, squares, cubes, etc.) based on an interpretation of dependent type theory in a cubical set model. This enables new ways…
In this paper we study modules coinvariant under automorphisms of their projective covers. We first provide an alternative, and in fact, a more succinct and conceptual proof for the result that a module $M$ is invariant under automorphisms…
We give an elementary proof of a generalization of Bourgain and Tzafriri's Restricted Invertibility Theorem, which says roughly that any matrix with columns of unit length and bounded operator norm has a large coordinate subspace on which…
By a theorem of Chevalley the image of a morphism of varieties is a constructible set. The algebraic version of this fact is usually stated as a result on "extension of specializations" or "lifting of prime ideals". We present a difference…
A module is called automorphism-invariant if it is invariant under any automorphism of its injective envelope. In this survey article we present the current state of art dealing with such class of modules.
The classical Liouvile integrability means that there exist $n$ independent first integrals in involution for $2n$-dimensional phase space. However, in the infinite-dimensional case, an infinite number of independent first integrals in…
This is an attempt to create a consistent and non-trivial extension of quantum theory, describing in detail the quantum measurement process. A tentative but concrete model is presented, based on the concept of multiple…
Non-closedness of subexponentiality by the convolution operation is well-known. We go a step further and show that subexponentiality and non-subexponentiality are generally changeable by the convolution. We also give several conditions, by…