Related papers: Checking atomicity of conformal ending measures fo…
A locally compact groupoid is said to be exact if its associated reduced crossed product functor is exact. In this paper, we establish some permanence properties of exactness, including generalizations of some known results for exact…
We consider the problem of characterizing the set of input-output correlations that can be generated by an arbitrarily given quantum measurement. Our main result is to provide a closed-form, full characterization of such a set for any qubit…
We study stability of metric approximations of countable groups with respect to groups endowed with ultrametrics, the main case study being a $p$-adic analogue of Ulam stability, where we take $GL_n(\mathbb{Z}_p)$ as approximating groups…
In order to claim that one has experimentally tested whether a noncontextual ontological model could underlie certain measurement statistics in quantum theory, it is necessary to have a notion of noncontextuality that applies to unsharp…
Using the classical technique of condensation of singularities, we prove that, for every zero-dimensional, complete separable metric space $G$, there exists a Suslinian, chainable metric continuum whose set of end points is homeomorphic to…
A new criterion is developed which provides a check as to whether a chosen set of polarization observables is complete with respect to the determination of all independent $T$-matrix elements of a reaction of the type $a+b\to c+d+...$. As…
We investigated the possibility that a single measurement run with a definite outcome is a joint unitary evolution of all the participating systems, and measurement runs with different definite outcomes correspond to different unitary maps.…
We formulate a local picture of strongly correlated systems as a Feynman sum over atomic configurations. The hopping amplitudes between these atomic configurations are identified as the renormalization group charges, which describe the…
This study first defines a new metric with normal structure on C(H,K) and then a new technique to prove fixed point theorems for families of non-expansive maps on this metric space. Indeed, it shows that the presence of a bounded orbit…
The standard approach to quantum measurements is to assume that they lead to effectively instantaneous collapse of the quantum state. However, if we assume that we are unable to enforce at what exact moment of time the measurement occurs…
Concolic testing is a popular dynamic validation technique that can be used for both model checking and automatic test case generation. We have recently introduced concolic testing in the context of logic programming. In contrast to…
This review consists of three parts: (a) what every atomic physicist needs to know about the physics of light nuclei; (b) what nuclear physicists can do for atomic physics; (c) what atomic physicists can do for nuclear physics. A brief…
We consider periodically perforated unbounded open sets and prove existence of extremals for the relevant sharp Poincar\'e-Sobolev embedding constant. The existence result holds no matter the shape or the regularity of the hole: it is…
In various research areas related to decision making, problems and their solutions frequently rely on certain functions being monotonic. In the case of non-monotonic functions, one would then wish to quantify their lack of monotonicity. In…
We study the closed group of homeomorphisms of the boundary of real hyperbolic space generated by a cocompact Kleinian group $G_1$ and a quasiconformal conjugate $h^{-1}G_2 h$ of a cocompact group $G_2$. We show that if the conjugacy $h$ is…
We prove the necessary and sufficient condition for the removability of the fundamental singularity, and equivalently for the unique solvability of the singular Dirichlet problem for the heat equation. In the measure-theoretical context the…
We present necessary and sufficient conditions for the termination of linear homogeneous programs. We also develop a complete method to check termination for this class of programs. Our complete characterization of termination for such…
In some particular cases we give criteria for morphic sequences to be almost periodic (=uniformly recurrent). Namely, we deal with fixed points of non-erasing morphisms and with automatic sequences. In both cases a polynomial-time algorithm…
We prove that various classical conformal diffeomorphism groups, which are known to be essential [1], are in fact properly essential. This is a consequence of a local criterion on a conformal diffeomorphism in the form of a cohomological…
Center foliations of partially hyperbolic diffeomorphisms may exhibit pathological behavior from a measure-theoretical viewpoint: quite often, the disintegration of the ambient volume measure along the center leaves consists of atomic…