# Tagged Questions

The tag has no usage guidance.

72 views

### GKZ decomposition for spherical varieties

If $X$ is a complete toric variety the GKZ decomposition of the effective cone $Eff(X)$ of $X$ corresponds to its Mori Chamber Decomposition, and therefore it encodes the birational geometry of $X$. ...
117 views

### The reproducing kernel for harmonics on compact manifolds

Page 39, proposition 1.1.3 here, http://www.cis.upenn.edu/~cis610/sharmonics.pdf clearly explains how for every level" (the parameter $k$ in the proposition) one can construct a function ("kernel") ...
53 views

### Bounds on the the spherical harmonics on $S^{p-1}$

The only reference I could find in this regard is for upper bounding the n-homogeneous spherical harmonics on $S^{p-1}$ as in equation 4.29 here, http://www.fen.bilkent.edu.tr/~gurses/...
94 views

### Compressing a hypersurface on the sphere

Let $M^n$ be a compact, connected, orientable hypersurface of the unit sphere $S^{n+1} \subset \mathbb{R}^{n+2}$. Suppose $M$ is contained in the northern hemisphere $S_+^{n+1}$ and has nonzero ...
37 views

### Largest disk inside a spherical domain

It is known (Pestov-Ionin theorem) that if $k_{max}$ is the maximum curvature of a smooth planar loop $\gamma$, then there is a disk of radius $1/k_{max}$ inside $\gamma$. I wonder is there any ...
47 views

### Distinguishing (possibly lower dimensional) $1$-skeleton of a regular graph inscribed in a sphere

Consider you have two (possibly same) convex $1$-skeleton of a regular graph $A$ and $B$ in $m$-dimensions inscribed in a sphere with possibly exponential number of vertices in $n$-dimension with ...
87 views

### An inequality with spherical triangles

Let ABC be a spherical triangle, where the spherical distance (or angle) AB is $\pi/2$ and $C\neq -A$. For $t\in[0,1]$, let $B(t)$ (resp. $C(t)$) be the only point on the segment $[AB]$ (resp. $[AC]$) ...
26 views

### Covering the sphere with sectors

Let $S^{d-1} \subseteq \mathbb{R}^d$ denote the $d$-dimensional sphere. For a point $x \in S^{d-1}$, let $A_x = \{y \in S^{d-1}: (x,y) \geq p \}$, where $(x,y)$ is the euclidean inner product. For my ...
278 views

### The mean of points on a unit n-sphere $S^n$

A unit n-sphere is defined as $$\mathcal{S}^n = \{\mathbf{p} \in \mathbb{R}^{n+1}: \|\mathbf{p}\| = 1\}$$ The distance between two points $\mathbf{p}$, $\mathbf{q}$ on $\mathcal{S}^n$ is the great-...
145 views

### Regions on a sphere that avoid a fixed point set

Let $P$ be a finite set of points on a unit-radius sphere $S$ in $\mathbb{R}^3$. Treat $P$ as a fixed pattern that can be rigidly slid around $S$ as a unit (no reflection). Let $R$ be a subset of $S$....
86 views

### Numerical integration error bounds on the unit sphere

A sequence of points $x_1,x_2,\dots$ on the unit sphere $S^{D-1}$ is said to be uniformly distributed if \begin{align} \lim_{N \rightarrow \infty} \frac{1}{N} \sum_{j=1}^N f(x_j) = \int_{x \in S^{D-...
99 views

### Is there any counterpart to Thales' semicircle theorem in higher dimensions?

It was established by TMA, @WillSawin, and @DouglasZare, in their responses to the MO question, "Thales' semicircle theorem in higher dimensions," that the natural generalization of Thales' semicircle ...
52 views

### Analytical value for the first eigenvalue of a certain spherical triangle

I am testing some numerical algorithms for computing the Laplace-Beltrami eigenvalues on the sphere. One thing that came up was computing the first eigenvalue of the "equilateral" spherical triangle ...
126 views

### Determining orientation of spherical polygons

Does anyone have a general algorithm for determining the orientation (CW/CCW) of a spherical polygon? Polygon orientation is an easy problem in cartesian space, but much tricker on the sphere. I'm ...
301 views

### Regular paths along surface of sphere

I'm trying to create a program where a small ball is supposed to move along the surface of a sphere, which is given by its radius $r$ and the center $c$. The movement should be repetitive, so that ...
1k views

### Formula for the Perimeter of a spherical triangle?

Consider the ordinary sphere $\mathbb{S}^2\subset \mathbb{R}^3$ and a spherical triangle $T\subset \mathbb{S}^2.$ I'm looking for a formula from which the perimeter $P$ of $T$ is "computable" given ...
3k views

### Randall Munroe's Lost Immortals

In Randall Munroe's book What If?, the "Lost Immortals" question asks: If two immortal people were placed on opposite sides of an uninhabited Earthlike planet, how long would it take them to find ...
687 views

### what-if.xkcd.com: stabbing (simply connected) regions on the 2-sphere with few geodesics

In the latest what-if Randall Munroe ask for the smallest number of geodesics that intersect all regions of a map. The following shows that five paths of satellites suffice to cover the 50 states of ...
613 views

### Calculate GPS coordinates at x meters [closed]

I want to calculate a pair of GPS coordinates(lat,long) that is at x meters N/S/E/W from a known point (lat_old,long_old). I have found the Haversine formula http://upload.wikimedia.org/math/0/5/5/...
544 views

### why most of the angles are right

The Coxeter–Dynkin diagrams tell us that in a spherical Coxeter simplex most of the dihedral angles are right. Say among $\tfrac{n{\cdot}(n+1)}2$ dihedral angles we can have at most $n$ angles which ...
254 views

131 views

### spherical orthoscheme content above 4 dimensions

I know how to compute the content of orthoschemes in 3- and 4-dimensional spherical space from dihedral angles using Schlafli series computations. Can anyone direct me to a textbook description of the ...
809 views

### Actions on Sⁿ with quotient Sⁿ

What is known about isometric actions on $\mathbb S^n$ such that the quotient space is homeomorphic to $\mathbb S^n$? Comments. I am mostly interested in (maybe trivial) properties of such actions ...
1k views

### The Area of Spherical Polygons

I am interested in finding a canonical general expression for the area of a spherical polygon in $\mathbb{S}^2$ knowing the side lengths of the polygon and a bound on the internal angles (we can ...
238 views

1k views

### For which $b$ it is possible that $S^n$ can have a Lorentz metric? Why?

It is possible that on a sphere $S^n$ there is a natural Riemannian metric in $R^(n+1)$. But it is not always possible for pseudo Riemann metric since the sum of two symmetric matrix which are not ...
1k views

### Probability of a Point on a Unit Sphere lying within a Cube

Suppose we have a (n-1 dimensional) Unit Sphere centered at the origin: $$\sum_{i=1}^{n}{x_i}^2 = 1$$ What is the probability that a randomly selected point on the sphere, $(x_1,x_2,x_3,...,x_n)$, ...
948 views

### Plotting path between sphere or ellipsoid points?

Hi, my apologies if this is not the right place to ask this- I am not a mathematician (I'm a software engineer) and Im working on some 3D applications. My situation is this- given an origin of 0,0,0 ...
2k views

### how to construct a spherical dodecahedron?

using only a spherical ruler (to construct great lines) and a pair of compasses, how can you construct a regular dodecahedron on the surface of the sphere? thank you very much.
665 views

1k views

### Intersection of two rhumb line segments

Short Version: How would one find the point of intersection of two rhumb line segments defined by two pairs of points on the globe? Assumptions such as a spherical Earth and following the shortest-...
714 views

### Find the subset of a line on a sphere “far” from a set of points on the sphere.

I have some code where the "hot part" relies on an inefficient solution to this problem. Problem: I have 3 inputs: a. A collection of N points on the surface of a sphere. b. A line segment on the ...
1k views

### Tetrahedra with prescribed face angles

I am looking for an analogue for the following 2 dimensional fact: Given 3 angles $\alpha,\beta,\gamma\in (0;\pi)$ there is always a triangle with these prescribed angles. It is spherical/euclidean/...
192 views

### Recentering a Spherical Coordinate Sytem

How do you recenter a spherical coordinate system. For example, if the center were at $\left (0, 0, 0 \right )$ and I wanted to move the center of the spherical coordinate system to \$\left (\rho_{1}, \...