What is known about the distribution of average edge-degrees for 3-manifold triangulations (with the number of 3-simplices less than a fixed constant)? - MathOverflow most recent 30 from http://mathoverflow.net2013-05-21T05:13:27Zhttp://mathoverflow.net/feeds/question/102835http://www.creativecommons.org/licenses/by-nc/2.5/rdfhttp://mathoverflow.net/questions/102835/what-is-known-about-the-distribution-of-average-edge-degrees-for-3-manifold-trianWhat is known about the distribution of average edge-degrees for 3-manifold triangulations (with the number of 3-simplices less than a fixed constant)?Aaron Trout2012-07-21T18:49:11Z2012-07-23T03:29:42Z
<p>This is my first question on mathoverflow! It relates to a project I'm undertaking with a student.</p>
<p>Work by <a href="http://projecteuclid.org/DPubS?service=UI&version=1.0&verb=Display&handle=euclid.ojm/1200787102" rel="nofollow">Tamura</a> (extending results by <a href="http://www.ams.org/journals/tran/1993-337-02/S0002-9947-1993-1134759-6/S0002-9947-1993-1134759-6.pdf" rel="nofollow">Luo and Stong</a>) shows that for any closed 3-manifold $M$ and any rational number $4.5 < r < 6$ there is a triangulation $T$ of $M$ for which that the average edge-degree $\mu(T)$ is $r$. Here the <em>degree</em> of an edge $e$ is the number of 3-simplices having $e$ as a face.</p>
<p>Now, fix a closed 3-manifold $M$ and consider the (necessarily finite) set of all triangulation of $M$ containing at most $K$ 3-simplices. Call this set $\mathcal{T}_K(M)$.</p>
<blockquote>
<p>QUESTION: Does anyone know of results concerning the "distribution" of the average edge-degree $\mu(T)$ for $T\in \mathcal{T}_K(M)$? That is, what is known about the fraction of triangulations from $\mathcal{T}_K(M)$ for which the edge-degree lies in a given small interval $[r - \epsilon, r+\epsilon] \subset (4.5,6)$? Results concerning <em>any</em> closed 3-manifold $M$ would be fine.</p>
</blockquote>
<p>I suspect this is extremely difficult to answer in a precise way. However, I'd be very interested in knowing any asymptotic ($K\rightarrow \infty$) or approximate results as well. Thanks for your help!</p>
<p>NOTE: For the project we plan to use the Metropolis algorithm to sample from $\mathcal{T}_K(M)$ where $M$ is the 3-torus. Using these samples we hope to empirically estimate the distribution in question. </p>
http://mathoverflow.net/questions/102835/what-is-known-about-the-distribution-of-average-edge-degrees-for-3-manifold-trian/102893#102893Answer by Henry Segerman for What is known about the distribution of average edge-degrees for 3-manifold triangulations (with the number of 3-simplices less than a fixed constant)?Henry Segerman2012-07-22T19:29:46Z2012-07-22T19:29:46Z<p>Below is the data from Ben Burton's census of triangulations of $S^3$ with up to 9 tetrahedra. An Euler characteristic argument shows that the average edge degree is equal to $6\left(\frac{T}{V+T}\right)$, where $T$ is the number of tetrahedra and $V$ is the number of vertices, so the numbers below are all of that form. The data are given in (average edge degree, frequency) pairs. As Bruno guessed, it looks like the distribution weights heavily towards 6.</p>
<p>1 tetrahedron: </p>
<ul>
<li>(2.0000000000000000, 1)</li>
<li>(3.0000000000000000, 1)</li>
</ul>
<p>2 tetrahedra:</p>
<ul>
<li>(2.0000000000000000, 1)</li>
<li>(2.3999999999999999, 1)</li>
<li>(3.0000000000000000, 1)</li>
<li>(4.0000000000000000, 3)</li>
</ul>
<p>3 tetrahedra:</p>
<ul>
<li>(2.5714285714285716, 1)</li>
<li>(3.0000000000000000, 2)</li>
<li>(3.6000000000000001, 9)</li>
<li>(4.5000000000000000, 20)</li>
</ul>
<p>4 tetrahedra:</p>
<ul>
<li>(2.6666666666666665, 2)</li>
<li>(3.0000000000000000, 4)</li>
<li>(3.4285714285714284, 16)</li>
<li>(4.0000000000000000, 48)</li>
<li>(4.7999999999999998, 128)</li>
</ul>
<p>5 tetrahedra:</p>
<ul>
<li>(2.7272727272727271, 1)</li>
<li>(3.0000000000000000, 4)</li>
<li>(3.3333333333333335, 23)</li>
<li>(3.7500000000000000, 110)</li>
<li>(4.2857142857142856, 468)</li>
<li>(5.0000000000000000, 1297)</li>
</ul>
<p>6 tetrahedra:</p>
<ul>
<li>(2.7692307692307692, 1)</li>
<li>(3.0000000000000000, 5)</li>
<li>(3.2727272727272729, 36)</li>
<li>(3.6000000000000001, 199)</li>
<li>(4.0000000000000000, 1103)</li>
<li>(4.5000000000000000, 4931)</li>
<li>(5.1428571428571432, 13660)</li>
</ul>
<p>7 tetrahedra:</p>
<ul>
<li>(2.7999999999999998, 1)</li>
<li>(3.0000000000000000, 3)</li>
<li>(3.2307692307692308, 39)</li>
<li>(3.5000000000000000, 301)</li>
<li>(3.8181818181818183, 2186)</li>
<li>(4.2000000000000002, 13380)</li>
<li>(4.6666666666666667, 62657)</li>
<li>(5.2500000000000000, 169077)</li>
</ul>
<p>8 tetrahedra:</p>
<ul>
<li>(2.8235294117647061, 1)</li>
<li>(3.0000000000000000, 3)</li>
<li>(3.2000000000000002, 51)</li>
<li>(3.4285714285714284, 446)</li>
<li>(3.6923076923076925, 3870)</li>
<li>(4.0000000000000000, 28826)</li>
<li>(4.3636363636363633, 180128)</li>
<li>(4.7999999999999998, 829753)</li>
<li>(5.3333333333333333, 2142197)</li>
</ul>
<p>9 tetrahedra:</p>
<ul>
<li>(2.8421052631578947, 1)</li>
<li>(3.0000000000000000, 3)</li>
<li>(3.1764705882352939, 50)</li>
<li>(3.3750000000000000, 567)</li>
<li>(3.6000000000000001, 6046)</li>
<li>(3.8571428571428572, 54876)</li>
<li>(4.1538461538461542, 422860)</li>
<li>(4.5000000000000000, 2612407)</li>
<li>(4.9090909090909092, 11673471)</li>
<li>(5.4000000000000004, 28691150)</li>
</ul>