Related papers: Separating Bounded Arithmetics by Herbrand Consist…
The Everett-interpretation description of isolated measurements, i.e., measurements involving interaction between a measuring apparatus and a measured system but not interaction with the environment, is shown to be unambiguous, claims in…
We study the isoperimetric problem in product spaces equipped with the uniform distance. Our main result is a characterization of isoperimetric inequalities which, when satisfied on a space, are still valid for the product spaces, up a to a…
We develop a sharp boundary trace theory in arbitrary bounded Lipschitz domains which, in contrast to classical results, allows "forbidden" endpoints and permits the consideration of functions exhibiting very limited regularity. This is…
In recent years, several numerical methods for solving the unique continuation problem for the wave equation in a homogeneous medium with given data on the lateral boundary of the space-time cylinder have been proposed. This problem enjoys…
Higher order conservation laws, associated with conserved antisymmetric tensors $j^{\mu_1 ... \mu_k}$ fulfilling $\partial_{\mu_1} j^{\mu_1 ... \mu_k} \approx 0$, are shown to define rigid symmetries of the master equation. They thus lead…
Though the sharp Heisenberg Uncertainty Principle has been extensively studied in the entire Euclidean spaces, the counterpart on the half spaces or more general orthants has been missing in the literature. We investigate the sharp…
An inverse problem of finding an obstacle and the boundary condition on its surface from the fixed-energy scattering data is studied. A new method is developed for a proof of the uniqueness results. The method does not use the discreteness…
The categorical models of the differential lambda-calculus are additive categories because of the Leibniz rule which requires the summation of two expressions. This means that, as far as the differential lambda-calculus and differential…
We study an elementary inequality supporting the classical Hermite-Hadamard inequality in the matrix setting. This leads to a number of interesting matrix inequalities such new Schatten p-norm estimates and new majorization
Considering the deeper reasons of the appearance of a remarkable counterexample by J.~Kaad and M.~Skeide [17] we consider situations in which two Hilbert C*-modules $M \subset N$ with $M^\bot = \{ 0 \}$ over a fixed C*-algebra $A$ of…
We redevelop persistent homology (topological persistence) from a categorical point of view. The main objects of study are diagrams, indexed by the poset of real numbers, in some target category. The set of such diagrams has an interleaving…
Khinchin proved that the arithmetic mean of continued fraction digits of Lebesgue almost every irrational number in $(0,1)$ diverges to infinity. Hence, none of the classical limit theorems such as the weak and strong laws of large numbers…
We extend the Gibbs conditioning principle to an abstract setting combining infinitely many linear equality constraints and non-linear inequality constraints, which need not be convex. A conditional large large deviation principle (LDP) is…
We develop a framework that systematically casts the solvability and uniqueness conditions of linearized geometric boundary-value problems into cohomological terms. The theory is designed to be applicable without assumptions on the…
Let H be the homogeneous space associated to the group PGL_3(R). Let X=\Gamma/H where \Gamma=SL_3(Z) and consider the first non-trivial eigenvalue \lambda_1 of the Laplacian on L^2(X). Using geometric considerations, we prove the inequality…
We prove that the Hausdorff dimension of the set of points where a function in the Zygmund class in the euclidean space has bounded divided differences, is bigger or equal to 1. A similar result for functions in the Small Zygmund class is…
Herbrand's theorem is one of the most fundamental insights in logic. From the syntactic point of view, it suggests a compact representation of proofs in classical first- and higher-order logic by recording the information of which instances…
Let $H_1$ and $H_2$ be selfadjoint operators or relations (multivalued operators) acting on a separable Hilbert space and assume that the inequality $H_1 \leq H_2$ holds. Then the validity of the inequalities $-H_1^{-1} \leq -H_2^{-1}$ and…
For a class of systems of semi-linear elliptic equations, including \[ -\Delta u_i=f_i(x,u_i) - \beta u_i\sum_{j\neq i}a_{ij}u_j^p,\qquad i=1,\dots,k, \] for $p=2$ (variational-type interaction) or $p = 1$ (symmetric-type interaction), we…
Recall that the Hilbert (Riemann-Hilbert) boundary value problem was recently solved in \cite{R1} for arbitrary measurable coefficients and for arbitrary measurable boundary data in terms of nontangential limits and principal asymptotic…