-
Equidistant sets on Alexandrov surfaces
Authors:
Logan S. Fox,
J. J. P. Veerman
Abstract:
We examine properties of equidistant sets determined by nonempty disjoint compact subsets of a compact 2-dimensional Alexandrov space (of curvature bounded below). The work here generalizes many of the known results for equidistant sets determined by two distinct points on a compact Riemannian 2-manifold. Notably, we find that the equidistant set is always a finite simplicial 1-complex. These resu…
▽ More
We examine properties of equidistant sets determined by nonempty disjoint compact subsets of a compact 2-dimensional Alexandrov space (of curvature bounded below). The work here generalizes many of the known results for equidistant sets determined by two distinct points on a compact Riemannian 2-manifold. Notably, we find that the equidistant set is always a finite simplicial 1-complex. These results are applied to answer an open question concerning the Hausdorff dimension of equidistant sets in the Euclidean plane.
△ Less
Submitted 18 May, 2022;
originally announced May 2022.
-
A Remarkable Summation Formula, Lattice Tilings, and Fluctuations
Authors:
J. J. P. Veerman,
L. S. Fox,
P. J. Oberly
Abstract:
We derive and prove an explicit formula for the sum of the fractional parts of certain geometric series. Although the proof is straightforward, we have been unable to locate any reference to this result.
This summation formula allows us to efficiently analyze the average behavior of certain common nonlinear dynamical systems, such as the angle-doubling map, $x \mapsto 2x$ modulo 1. In particular…
▽ More
We derive and prove an explicit formula for the sum of the fractional parts of certain geometric series. Although the proof is straightforward, we have been unable to locate any reference to this result.
This summation formula allows us to efficiently analyze the average behavior of certain common nonlinear dynamical systems, such as the angle-doubling map, $x \mapsto 2x$ modulo 1. In particular, one can use this information to analyze how the behavior of individual orbits deviates from the global average (called fluctuations). More generally, the formula is valid in $\mathbb{R}^m$, where expanding maps give rise to so-called number systems. To illustrate the usefulness in this setting, we compute the fluctuations of a certain map on the plane.
△ Less
Submitted 14 September, 2021;
originally announced September 2021.
-
Geodesic bicombings on some hyperspaces
Authors:
Logan S. Fox
Abstract:
We show that if $(X,d)$ is a metric space which admits a consistent convex geodesic bicombing, then we can construct a conical bicombing on $CB(X)$, the hyperspace of nonempty, closed, bounded, and convex subsets of $X$ (with the Hausdorff metric). If $X$ is a normed space or an $\mathbb{R}$-tree, this same method produces a consistent convex bicombing on $CB(X)$. We follow this by examining a geo…
▽ More
We show that if $(X,d)$ is a metric space which admits a consistent convex geodesic bicombing, then we can construct a conical bicombing on $CB(X)$, the hyperspace of nonempty, closed, bounded, and convex subsets of $X$ (with the Hausdorff metric). If $X$ is a normed space or an $\mathbb{R}$-tree, this same method produces a consistent convex bicombing on $CB(X)$. We follow this by examining a geodesic bicombing on the nonempty compact subsets of $X$, assuming $X$ is a proper metric space.
△ Less
Submitted 23 March, 2022; v1 submitted 23 June, 2021;
originally announced June 2021.
-
Statistics of a Family of Piecewise Linear Maps
Authors:
J. J. P. Veerman,
P. J. Oberly,
L. S. Fox
Abstract:
We study statistical properties of the truncated flat spot map $f_t(x)$. In particular, we investigate whether for large $n$, the deviations $\sum_{i=0}^{n-1} \left(f_t^i(x_0)-\frac 12\right)$ upon rescaling satisfy a $Q$-Gaussian distribution if $x_0$ and $t$ are both independently and uniformly distributed on the unit circle. This was motivated by the fact that if $f_t$ is the rotation by $t$, t…
▽ More
We study statistical properties of the truncated flat spot map $f_t(x)$. In particular, we investigate whether for large $n$, the deviations $\sum_{i=0}^{n-1} \left(f_t^i(x_0)-\frac 12\right)$ upon rescaling satisfy a $Q$-Gaussian distribution if $x_0$ and $t$ are both independently and uniformly distributed on the unit circle. This was motivated by the fact that if $f_t$ is the rotation by $t$, then it has been shown that in this case the rescaled deviations are distributed as a $Q$-Gaussian with $Q=2$ (a Cauchy distribution). This is the only case where a non-trivial (i.e. $Q\neq 1$) $Q$-Gaussian has been analytically established in a conservative dynamical system.
In this note, however, we prove that for the family considered here, $\lim_n S_n/n$ converges to a random variable with a curious distribution which is clearly not a $Q$-Gaussian or any other standard smooth distribution.
△ Less
Submitted 19 July, 2021; v1 submitted 30 September, 2020;
originally announced October 2020.
-
One-Sided Derivative of Distance to a Compact Set
Authors:
Logan S. Fox,
Peter Oberly,
J. J. P. Veerman
Abstract:
We give a complete and self-contained proof of a folklore theorem which says that in an Alexandrov space the distance between a point $γ(t)$ on a geodesic $γ$ and a compact set $K$ is a right-differentiable function of $t$. Moreover, the value of this right-derivative is given by the negative cosine of the minimal angle between the geodesic and any shortest path to the compact set (Theorem 4.3). O…
▽ More
We give a complete and self-contained proof of a folklore theorem which says that in an Alexandrov space the distance between a point $γ(t)$ on a geodesic $γ$ and a compact set $K$ is a right-differentiable function of $t$. Moreover, the value of this right-derivative is given by the negative cosine of the minimal angle between the geodesic and any shortest path to the compact set (Theorem 4.3). Our treatment serves as a general introduction to metric geometry and relies only on the basic elements, such as comparison triangles and upper angles.
△ Less
Submitted 17 September, 2020; v1 submitted 4 January, 2020;
originally announced January 2020.
