Related papers: A disintegration theorem
Under a precise nonlinearity-diffusivity assumption we establish the decay of entropy solutions of a degenerate nonlinear parabolic equation with initial data being a sum of periodic function and a function vanishing at infinity (in the…
In this paper, we study the consequences of the fundamental theorem of calculus from an algebraic point of view. For functions with singularities, this leads to a generalized notion of evaluation. We investigate properties of such…
A Hausdorff measure version of W.M. Schmidt's inhomogeneous, linear forms theorem in metric number theory is established. The key ingredient is a `slicing' technique motivated by a standard result in geometric measure theory. In short,…
This is an introduction to the theory of disconjugacy for a second order linear differential equation. We give new proofs of some of basic results and obtain new sufficient conditions for disconjugacy (in particular, on the whole real…
The concept of the derivative-dependent functional separable solution, as a generalization to the functional separable solution, is proposed. As an application, it is used to discuss the generalized nonlinear diffusion equations based on…
We consider a new type of defect in the scope of linear elasticity theory, using geometrical methods. This defect is produced by a spherically symmetric dislocation, or ball dislocation. We derive the induced metric as well as the affine…
We make two theoretical contributions to disentanglement learning by (a) defining precise semantics of disentangled representations, and (b) establishing robust metrics for evaluation. First, we characterize the concept "disentangled…
We investigate the isomorphism problem in the setting of definable sets (equivalent to sets with atoms): given two definable relational structures, are they related by a definable isomorphism? Under mild assumptions on the underlying…
We introduce polar metrics on a product manifold, which have product and warped product metrics as special cases. We prove a de Rham-type theorem characterizing Riemannian manifolds that can be locally decomposed as a product manifold…
We discuss how the diffraction theory of a single translation bounded measure or a family of such measures can be understood within the framework of unitary group representations. This allows us to prove an orthogonality feature of measures…
We extend the theoretical framework of proof mining by establishing general logical metatheorems that allow for the extraction of the computational content of theorems with prima facie "non-computational" proofs from probability theory,…
The spontaneous disentanglement hypothesis is motivated by some outstanding issues in standard quantum mechanics, including the problem of quantum measurement. The current study compares between some possible methods that can be used to…
We apply the techniques of computable model theory to the distance function of a graph. This task leads us to adapt the definitions of several truth-table reducibilities so that they apply to functions as well as to sets, and we prove…
Results of research of possibility of transformation of a difference equation into a system of the first-order difference equation are presented. In contrast to the method used previously, an unknown grid function is split into two new…
In this short note we present several infinite dimensional theorems which generalize corresponding facts from the finite dimensional differential inclusions theory.
A new concept devoted to sensing the depolarization strength of materials from a single measurement is proposed and successfully validated on a variety of samples. It relies on the measurement of the orthogonality breaking between two…
We prove that several results in different areas of number theory such as the divergent series, summation of arithmetic functions, uniform distribution modulo one and summation over prime numbers which are currently considered to be…
We prove that every finite Borel measure $\mu$ in $\mathbb{R}^N$ that is bounded from above by the Hausdorff measure $\mathcal{H}^s$ can be split in countable many parts $\mu\lfloor_{E_k}$ that are bounded from above by the Hausdorff…
We prove an analog of the disintegration theorem for tracial von Neumann algebras in the setting of elementary equivalence rather than isomorphism, showing that elementary equivalence of two direct integrals implies fiberwise elementary…
In this paper, we establish a refined transversality theorem on linear perturbations from a new perspective of Hausdorff measures. Furthermore, we give its applications not only to singularity theory but also to multiobjective optimization.