Related papers: Inequalities on Six Points in a $\mathrm{CAT}(0)$ …
Lineability is a property enjoyed by some subsets within a vector space X. A subset A of X is called lineable whenever A contains, except for zero, an infinite dimensional vector subspace. If, additionally, X is endowed with richer…
Here is a square problem: in a unit square, is there a point with four rational distances to the vertices? A probability argument suggests a negative answer. This paper proves several special cases of the square problem: if the point sits…
Bell inequalities play a central role in the study of quantum non-locality and entanglement, with many applications in quantum information. Despite the huge literature on Bell inequalities, it is not easy to find a clear conceptual answer…
A linear system of difference equations and a nonlinear perturbation are considered, we obtain sufficient conditions to ensure the topological equivalence between them, namely, the linear part satisfies a property of dichotomy on the…
The goal of this paper is to establish certain inequalities between the numbers of convex polytopes in the d-dimensional space "containing" and "avoiding" zero provided that their vertex sets are subsets of a given finite set of points in…
Ballmann's Rank Rigidity Conjecture predicts that a CAT(0) space of higher rank with a geometric group action is rigid -- isometric to a Riemannian symmetric space, a Euclidean building, or splits as a direct product. We confirm this…
We show that a homeomorphism of a semi-locally connected compact metric space is equicontinuous if and only if the distance between the iterates of a given point and a given subcontinuum (not containing that point) is bounded away from…
We consider a Banach space, which comes naturally from c0 and it appears in the literature, and we prove that this space has the fixed point property for non-expansive mappings.
We affirm the rigidity conjecture of the spacetime positive mass theorem in dimensions less than eight. Namely, if an asymptotically flat initial data set satisfies the dominant energy condition and has $E=|P|$, then $E=|P|=0$, where $(E,…
In quantum information theory, entropic inequalities act as the necessary and sufficient conditions to noncontextuality. Here, we first experimentally demonstrate the violation of the entropic noncontextual inequality in a four-level…
We investigate the non-local properties of graph states. To this aim, we derive a family of Bell inequalities which require three measurement settings for each party and are maximally violated by graph states. In turn, for each graph state…
Quantum inequalities are lower bounds for local averages of quantum observables that have positive classical counterparts, such as the energy density or the Wick square. We establish such inequalities in general (possibly interacting)…
We define shadowable points for homeomorphism on metric spaces. In the compact case we will prove the following results: The set of shadowable points is invariant, possibly nonempty or noncompact. A homeomorphism has the pseudo-orbit…
Two geometric inequalities are established for Einstein totally real submanifolds in a complex space form. As immediate applications of these inequalities, some non-existence results are obtained.
Motivated by the well-known cases of the real Hilbert ball and complete R-trees, being both particular cases of CAT(-1) spaces, we give an affirmative answer to the question of whether the geodesically boundedness property is a necessary…
We discuss quantum inequalities for minimally coupled scalar fields in static spacetimes. These are inequalities which place limits on the magnitude and duration of negative energy densities. We derive a general expression for the quantum…
A general fixed point theorem for isometries in terms of metric functionals is proved under the assumption of the existence of a conical bicombing. It is new even for isometries of Banach spaces as well as for non-locally compact…
We study a generalization of the classical Marcinkiewicz-Zygmund inequalities. We relate this problem to the sampling sequences in the Paley-Wiener space and by using this analogy we give sharp necessary and sufficient computable conditions…
Motivated by problems arising in the relative trace formula and arithmetic invariant theory we prove the existence of rational points on orbits arising from certain infinitesimal symmetric spaces. As an application, we prove analogous…
Whenever the mapping class group of a closed orientable surface of genus g acts by semisimple isometries on a complete CAT(0) space of dimension less than g it fixes a point.