skip to main content
US FlagAn official website of the United States government
dot gov icon
Official websites use .gov
A .gov website belongs to an official government organization in the United States.
https lock icon
Secure .gov websites use HTTPS
A lock ( lock ) or https:// means you've safely connected to the .gov website. Share sensitive information only on official, secure websites.


Title: Unit sphere fibrations in Euclidean space
We show that if an open set in $$\mathbb R^d$$ can be fibered by unit $$n$$-spheres, then $$d\le 2n+1$$, and if $d=2n+1$, then the spheres must be pairwise linked, and $$n\in \{0,1,3,7\}$$. For these values of $$n$$, we construct unit $$n$$-sphere fibrations in $$R^{2n+1}$$.  more » « less
Award ID(s):
2042428 1926686
PAR ID:
10534153
Author(s) / Creator(s):
; ; ;
Publisher / Repository:
Cambridge University Press
Date Published:
Journal Name:
Proceedings of the Edinburgh Mathematical Society
Volume:
67
Issue:
2
ISSN:
0013-0915
Page Range / eLocation ID:
287 to 298
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. Abstract Let M be a complete Riemannian manifold and suppose {p\in M} . For each unit vector {v\in T_{p}M} , the Jacobi operator , {\mathcal{J}_{v}:v^{\perp}\rightarrow v^{\perp}} is the symmetric endomorphism, {\mathcal{J}_{v}(w)=R(w,v)v} . Then p is an isotropic point if there exists a constant {\kappa_{p}\in{\mathbb{R}}} such that {\mathcal{J}_{v}=\kappa_{p}\operatorname{Id}_{v^{\perp}}} for each unit vector {v\in T_{p}M} . If all points are isotropic, then M is said to be isotropic; it is a classical result of Schur that isotropic manifolds of dimension at least 3 have constant sectional curvatures. In this paper we consider almost isotropic manifolds , i.e. manifolds having the property that for each {p\in M} , there exists a constant {\kappa_{p}\in\mathbb{R}} such that the Jacobi operators {\mathcal{J}_{v}} satisfy {\operatorname{rank}({\mathcal{J}_{v}-\kappa_{p}\operatorname{Id}_{v^{\perp}}}% )\leq 1} for each unit vector {v\in T_{p}M} . Our main theorem classifies the almost isotropic simply connected Kähler manifolds, proving that those of dimension {d=2n\geqslant 4} are either isometric to complex projective space or complex hyperbolic space or are totally geodesically foliated by leaves isometric to {{\mathbb{C}}^{n-1}} . 
    more » « less
  2. Abstract We provide a set of computational experiments based on ab initio calculations to elucidate whether a cuprate-like antiferromagnetic insulating state can be present in the phase diagram of the low-valence layered nickelate family (R $$_{n+1}$$ n + 1 Ni $$_n$$ n O $$_{2n+2}$$ 2 n + 2 , R= rare-earth, $$n=1-\infty$$ n = 1 - ∞ ) in proximity to half-filling. It is well established that at $$d^9$$ d 9 filling the infinite-layer ( $$n=\infty$$ n = ∞ ) nickelate is metallic, in contrast to cuprates wherein an antiferromagnetic insulator is expected. We show that for the Ruddlesden-Popper (RP) reduced phases of the series (finite n ) an antiferromagnetic insulating ground state can naturally be obtained instead at $$d^9$$ d 9 filling, due to the spacer RO $$_2$$ 2 fluorite slabs present in their structure that block the c -axis dispersion. In the $$n=\infty$$ n = ∞ nickelate, the same type of solution can be derived if the off-plane R-Ni coupling is suppressed. We show how this can be achieved if a structural element that cuts off the c -axis dispersion is introduced (i.e. vacuum in a monolayer of RNiO $$_2$$ 2 , or a blocking layer in multilayers formed by (RNiO $$_2$$ 2 ) $$_1$$ 1 /(RNaO $$_2$$ 2 ) $$_1$$ 1 ). 
    more » « less
  3. We study the problem of robust multivariate polynomial regression: let p\colon\mathbb{R}^n\to\mathbb{R} be an unknown n-variate polynomial of degree at most d in each variable. We are given as input a set of random samples (\mathbf{x}_i,y_i) \in [-1,1]^n \times \mathbb{R} that are noisy versions of (\mathbf{x}_i,p(\mathbf{x}_i)). More precisely, each \mathbf{x}_i is sampled independently from some distribution \chi on [-1,1]^n, and for each i independently, y_i is arbitrary (i.e., an outlier) with probability at most \rho < 1/2, and otherwise satisfies |y_i-p(\mathbf{x}_i)|\leq\sigma. The goal is to output a polynomial \hat{p}, of degree at most d in each variable, within an \ell_\infty-distance of at most O(\sigma) from p. Kane, Karmalkar, and Price [FOCS'17] solved this problem for n=1. We generalize their results to the n-variate setting, showing an algorithm that achieves a sample complexity of O_n(d^n\log d), where the hidden constant depends on n, if \chi is the n-dimensional Chebyshev distribution. The sample complexity is O_n(d^{2n}\log d), if the samples are drawn from the uniform distribution instead. The approximation error is guaranteed to be at most O(\sigma), and the run-time depends on \log(1/\sigma). In the setting where each \mathbf{x}_i and y_i are known up to N bits of precision, the run-time's dependence on N is linear. We also show that our sample complexities are optimal in terms of d^n. Furthermore, we show that it is possible to have the run-time be independent of 1/\sigma, at the cost of a higher sample complexity. 
    more » « less
  4. Given a set S of n points in the plane and a parameter ε>0, a Euclidean (1+ε) -spanner is a geometric graph G=(S,E) that contains a path of weight at most (1+ε)∥pq∥2 for all p,q∈S . We show that the minimum weight of a Euclidean (1+ε)-spanner for n points in the unit square [0,1]2 is O(ε−3/2n−−√), and this bound is the best possible. The upper bound is based on a new spanner algorithm that sparsifies Yao-graphs. It improves upon the baseline O(ε−2n−−√), obtained by combining a tight bound for the weight of an MST and a tight bound for the lightness of Euclidean (1+ε)-spanners, which is the ratio of the spanner weight to the weight of the MST. The result generalizes to d-space for all d∈N : The minimum weight of a Euclidean (1+ε)-spanner for n points in the unit cube [0,1]d is Od(ε(1−d2)/dn(d−1)/d), and this bound is the best possible. For the n×n section of the integer lattice, we show that the minimum weight of a Euclidean (1+ε)-spanner is between Ω(ε−3/4n2) and O(ε−1log(ε−1)n2). These bounds become Ω(ε−3/4n−−√) and O(ε−1log(ε−1)n−−√) when scaled to a grid of n points in [0,1]2. . 
    more » « less
  5. Properly discontinuous actions of a surface group by affine automorphisms of ℝ^d were shown to exist by Danciger-Gueritaud-Kassel. We show, however, that if the linear part of an affine surface group action is in the Hitchin component, then the action fails to be properly discontinuous. The key case is that of linear part in 𝖲𝖮(n,n−1), so that the affine action is by isometries of a flat pseudo-Riemannian metric on ℝ^d of signature (n,n−1). Here, the translational part determines a deformation of the linear part into 𝖯𝖲𝖮(n,n)-Hitchin representations and the crucial step is to show that such representations are not Anosov in 𝖯𝖲𝖫(2n,ℝ) with respect to the stabilizer of an n-plane. We also prove a negative curvature analogue of the main result, that the action of a surface group on the pseudo-Riemannian hyperbolic space of signature (n,n−1) by a 𝖯𝖲𝖮(n,n)-Hitchin representation fails to be properly discontinuous. 
    more » « less