10
$\begingroup$

Suppose you have $n$ triangles whose corners are random points on a sphere $S$ in $\mathbb{R}^3$. Viewing the triangles as built from rigid bars as edges, two triangles are linked if they cannot be separated without two edges passing through one another. A triangle that is not topologically linked with any other is loose. In the example below of $n=15$ triangles, $11$ are linked to at least one other triangle, and $4$ are loose.


          Tri15_4
          $n=15$. Magenta triangles $\{1,5,10,11\}$ are loose.
It is easy to surmise that the proportion of linked triangles approaches $1$ as $n \to \infty$:
          TangledGraph
          Fraction of triangles linked to at least one other triangle.
But I wonder about the largest linked component, the collection of all triangles linked into one "giant" component, in the sense that if you picked up one triangle all the others would follow. I wonder that when $n \to \infty$, what is the probability that this linked component includes all the triangles.

Q. As $n \to \infty$, what is the probability that every triangle is linked into one giant component?

My sense is that this probability is zero: Even though the probability that each triangle is linked to another approaches $1$, the probability that all triangles are linked to one another approaches $0$. This would contrast with an earlier related question, Random rings linked into one component?, whose answer was the opposite: The rings form one component as $n \to \infty$.

$\endgroup$
4
  • 3
    $\begingroup$ A pointless nitpick: "triangles as built from rigid bars as edges... A triangle that is not linked with any other is loose: it could be removed without disturbing the others." That would be true if the bars were stretchable and bendable. With rigid bars you may easily have metric linkages that are not topological ones (link 2 large equilateral triangles near vertices and surround the linkage by a small equilateral triangle). $\endgroup$
    – fedja
    Commented Apr 28, 2018 at 3:19
  • 2
    $\begingroup$ This reminds me of entanglement percolation (as studied in the thesis of Ander Holroyd). $\endgroup$ Commented Apr 28, 2018 at 4:34
  • $\begingroup$ @fedja: Good point. I removed the misleading phrase. Thanks. $\endgroup$ Commented Apr 28, 2018 at 12:46
  • $\begingroup$ Following @AnthonyQuas' tip: G. R. Grimmett and A. E. Holroyd. "Entanglement in percolation." Proc. London Math. Soc. (3), 81(2):485-512, 2000. "Under what conditions does a set of arcs in $\mathbb{R}^3$ have a large entangled subset?" $\endgroup$ Commented Apr 28, 2018 at 15:38

2 Answers 2

6
$\begingroup$

Here is @fedja's clever example: The magenta triangle is topologically loose but metrically "stuck":


          fedja
          fedja: "(link two large ... triangles [blue & green] near vertices
          and surround the linkage by a small ... triangle [magenta])"


$\endgroup$
3
  • 2
    $\begingroup$ Nice. This might not be achievable with all vertices on the same sphere, but I wouldn't be surprised if there's also a spherical example of this kind with more triangles. $\endgroup$ Commented Apr 29, 2018 at 22:49
  • $\begingroup$ @NoamD.Elkies: That's a nice question in its own right! $\endgroup$ Commented Apr 29, 2018 at 23:16
  • 1
    $\begingroup$ This reminds me of the "Gordian split link" in the theory of physical / length-constrained knots and links arxiv.org/abs/1203.4019 $\endgroup$
    – j.c.
    Commented Apr 29, 2018 at 23:54
2
$\begingroup$

Here is an idea which suggests why the probability is near zero as the number of triangles gets large.

Among the many random triangles, there is one which has the smallest area as measured when embedded in the plane. Let us call this triangle T, and consider how likely that another triangle links with it.

Pick a random point p on the sphere. From the vantage point of p, look at T. For p belonging to much of the sphere, T looks small and tilted, so that a chord from p passing through the interior of (the plane embedded version of ) T will strike the sphere on the other side in a small area. (Bisecting the sphere by the plane of T, such a chord has to have an endpoint in either piece. If the triangle is contained in a small cap, the strike area for much of the sphere is within this small cap.)

However, not only does this point opposite p (call it q) reside in this small cap, it has to "see" a point away from the triangle: if it just connects to another point by a chord passing through the triangle interior again, there is no link. In particular, the chord from q that does not head to p has to live in a minimal cap that contains q and one of the small edges of T. (I am ignoring the case that q is near the boundary of the small cap.)

To measure how unlikely this is, consider the following. For a given T and many points q in "the small cap" of T, compute the area of the three small regions given by that part of a new cap determined by a plane containing q and an edge of T and the region of interest being on that part of the cap "on the other side of the edge from q". If T has small area (and q lies "sufficiently inside" T), the area of these three regions will be even smaller than T. You now need the probability that a point q lands inside of (the small cap part of ) T, with a point r that lands in the special region that would give a link, which intuitively is of the same order as the area of T, multiplied by the probability that p permits a linking triangle with T (which is much larger than the previous probabilities).

This might result in a small but significantly far from zero probability of occurring. But now, take the number of small triangles to be large, and it becomes easy to believe that one of these small triangles is not linked to any other.

Gerhard "See The Lack Of Link?" Paseman, 2018.04.27.

$\endgroup$
2
  • $\begingroup$ Nice idea to focus on the min area triangle. $\endgroup$ Commented Apr 28, 2018 at 12:55
  • $\begingroup$ Even better, once T and its plane are chosen pick two points p and n. Chances are good p and n are both in the larger of the two caps. Look at the triangle from these two points, and look at the symmetric difference of (the projections of) the two interiors of T. The linking point q has to lie in that symmetric difference, which is often (roughly) some less than twice the area of T. Gerhard "Shift Your Perspective For Illumination" Paseman, 2018.04.28. $\endgroup$ Commented Apr 28, 2018 at 20:06

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .