Intereting Posts

Coin problem with $6$ and $10$
What's the difference between convolution and crosscorrelation?
Laplace transform of $1/t$
If $p\equiv 1,9 \pmod{20}$ is a prime number, then there exist $a,b\in\mathbb{Z}$ such that $p=a^{2}+5b^{2}$.
What is the least number of (fixed) parameters I can ask for, when calculating area of a triangle of unknown type?
Formal definition for indexed family of sets
Find $x$: $5\cos(x) = 2\sec(x)-3$
Unlike Jensen's Inequality, can we upper bound $\log \sum_{i}{u_i \exp(x_i)}$?
Interview riddle
Defining an “additive” group structure on $$
How to divide aleph numbers
Does there exist a nowhere differentiable, everywhere continous, monotone somewhere function?
Show that: $\int_{0}^{\infty} \frac{\sin{x^{q}}}{x^{q}} dx = \frac{\Gamma{\frac{1}{q}}}{q-1}\cos{\frac{\pi}{2q}} \mbox{, q > 1}$
Why seven out of eight Primary pseudoperfect numbers only have odd prime factors which are congruent to $3 \pmod{4}$?
group of units in a topological ring

The embedded torus in $\mathbb R^3$ can be described by the set of points in $(x,y,z)\in \mathbb R^3$ satisfying $T(x,y,z)=0$, where $T$ is the polynomial $T(x,y,z)=(x^2+y^2+z^2+R^2-r^2)^2-4R^2(x^2+y^2)$ for $R>r>0$.

Is it possible to find a polynomial that describes the sum of two (or $n$) tori? That is, is there a polynomial (or even a smooth function) $P$ such that the embedded double torus can be described as the set where $P(x,y,z)=0$?

- What Does Homogenisation Of An Equation Actually Mean?
- How to transform (rotate) this hyperbola?
- Navigating though the surface of a hypersphere in a computer game
- Get the equation of a circle when given 3 points
- Conic Sections and Complex numbers
- Why it is sufficient to show $|f'(z)-1|<1$?

- Calculating the Lie algebra of $SO(2,1)$
- Smooth curves on a path connected smooth manifold
- Hopf's theorem on CMC surfaces
- Difference between the Jacobian matrix and the metric tensor
- Conditions for intersection of parabolas?
- Bijective local isometry to global isometry
- Why is the determinant of the Jacobian the change of volume factor that comes from changing variables?
- solenoid and irrotational vector
- Proving two lines trisects a line
- homomorphisms of $C^{\infty}(\mathbb R^{n})$

Here is a general recipe for a polynomial whose level set is an $n$-torus in $\mathbb R^3$.

First, take the polynomial $$\begin{align}f(x) &= \prod_{i=1}^n (x-(i-1))(x-i) \\ &= x(x-1)^2(x-2)^2\cdots(x-(n-1))^2(x-n)\end{align}$$ which is positive as $x\to\pm\infty$, crosses zero at $x=0$ and $x=n$, and touches zero from below at $i = 1, 2, \ldots, n-1$. Examples: $n=1$, $n=2$, $n=5$.

Then let $$g(x,y) = f(x) + y^2,$$ so that the set of points $g(x,y)=0$ forms $n$ connected loops ($n=1$, $n=2$, $n=5$). Finally, define $$h(x,y,z) = g(x,y)^2 + z^2 – r^2,$$ which “inflates” the loops in three dimensions. For small enough $r$, the level set $h(x,y,z) = 0$ is an $n$-torus. For example, here’s $n=2$ and $r=0.1$, for which the zero level set of $h(x,y,z) = \left(x(x-1)^2(x-2)+y^2\right)^2+z^2 – 0.01$ is plotted:

Here’s another way to obtain a “double torus”: you can start from the implicit equation of a lemniscate, which is a curve shaped like a figure-eight. One could, for instance, choose to use the lemniscate of Gerono:

$$x^4-a^2(x^2-y^2)=0$$

or the hyperbolic lemniscate, which is the inverse curve of the hyperbola:

$$(x^2+y^2)^2-a^2x^2+b^2y^2=0$$

(the famous lemniscate of Bernoulli is a special case of this, corresponding to the inversion of an equilateral hyperbola).

Now, to generate a double torus from these lemniscates, if you have the implicit Cartesian equation in the form $F(x,y)=0$, you can perform the “inflation” step of Rahul’s approach; that is, form the equation

$$F(x,y)^2+z^2=\varepsilon$$

where $\varepsilon$ is a tiny number.

For instance, here’s a double torus formed from the lemniscate of Bernoulli: $$((x^2+y^2)^2-x^2+y^2)^2+z^2=\frac1{100}$$

For surfaces of higher genus, one might want to use sinusoidal spirals instead as the base curve.

Yet another possibility to generate surfaces of genus $n\geq 2$ is to consider the surface $F_1(x,y,z)F_2(x,y,z)\dots F_n(x,y,z)=0$ where the $F_i$ are the implicit Cartesian equations for the usual torus, suitably translated and/or rotated. One can then replace $0$ with a tiny number $\varepsilon$.

- Approximate closed form of Integration involving a lot of terms
- Is $e^e$ irrational?
- Prove that $F(xy) =F(x) + F(y)$ when $F(x)$ is not $\ln(x)$
- Is there a general solution for the “Spider and the Fly Problem”?
- Can contractible subspace be ignored/collapsed when computing $\pi_n$ or $H_n$?
- Show that this polynomial is positive
- Given an exact differential; How do you find the function that satisfies the differential?
- Show that ${(F_n^2+F_{n+1}^2+F_{n+2}^2)^2\over F_{n}^4+F_{n+1}^4+F_{n+2}^4}=2$
- Structure of antiautomorphisms of a group
- Metrizability of weak convergence by the bounded Lipschitz metric
- Notation for “vectorized” function
- How many edges does an undirected tree with $n$ nodes have?
- Elliptic partial differential equations and elliptic operators
- $p$ prime, $1 \le k \le p-2$ there exists $x \in \mathbb{Z} \ : \ x^k \neq 0,1 $ (mod p)
- (Baby Rudin) To show the set of all condensation points of a set in Euclidean space is perfect