Crossing numbers of simplicial complexes

Let X be an arbitrary d-dimensional simplicial complex and f\colon X \to \mathbb S^{2d} be a map that minimizes crossings; f can be assumed to be a generic map. Moreover, if d\neq 2, by Lemma 26, we can assume that there do not exist any two simplices \sigma,\sigma'\in X(d) which share at least one vertex and such that the relative interior of f(\sigma) intersects the relative interior of f(\sigma'). In the case of d=2 and facewise affine or spherically geodesic triangles, the previous property is immediately satisfied as soon as the vertices are in general position, which can be assumed for a map that minimizes the number of crossings. In all cases that we treat, it can be assumed that crossings only arise between vertex-disjoint simplices. This is precisely why the assumption that d\neq 2 is important.

Corollary 25 and Lemma 26 imply that, for d\neq 2, \operatorname{\mathrm{cr}}_\iota(X)\geq |X(d)|-(d+2)|X(d-1)|.

Let R_p be a random induced subcomplex where each vertex of X is included with probability p independently from the rest. Thus,

Using independence, the above inequality, and linearity of expectation,

Hence

Let us set p=\frac{a|X(d-1)|}{|X(d)|} (the assumption |X(d)|\ge a|X(d-1)| implies that p\leq 1). Replacing p in the previous formula and simplifying, we obtain the claimed bound.

Let X be a 2-complex with \operatorname{\mathrm{cr}}_\iota(X)=0. Consider Y=X*[q]; it has |Y(3)|=q|X(2)|, |Y(2)|=|X(2)|+q|X(1)|, and \operatorname{\mathrm{cr}}_\iota(Y)=0. Hence, by Adiprasito’s theorem for d=3, combined with Lemma 26, |Y(3)|\leq 5|Y(2)|. This yields q|X(2)|\leq 5(|X(2)|+q|X(1)|) or, in other words, |X(2)|\leq 5 \frac{q}{q-5}|X(1)|. Since this is true for all q, |X(2)|\leq 5|X(1)|. The contrapositive is that if |X(2)|> 5|X(1)|, then \operatorname{\mathrm{cr}}_{\iota}(X)>0. Arguing as in Corollary 25 we derive \operatorname{\mathrm{cr}}_\iota(X)\geq |X(2)|-5|X(1)|. Lemma 27 finishes the proof.

The Van-Kampen theorem tells us that \operatorname{\mathrm{cr}}_\iota(\Delta_{(d)}^{2d+2})=1. A double counting argument gives

which implies that

For the upper bound we use the probabilistic method. We show that for a certain random drawing \phi \colon\Delta^{n-1}_{(d)} \to \mathbb S^{2d}, the expected crossing number satisfies

This will conclude the proof, as there exists some deterministic map \phi_0 for which \operatorname{\mathrm{cr}}_\iota(\phi_0) \leq \mathbb E[\operatorname{\mathrm{cr}}(\phi)], and

Approximating terms of the form {\binom nk} for k fixed and n large by \frac{n^k}{k!} and then doing some simple calculations yields the claimed bound on the crossing constant.

The random drawing \phi is defined as follows. The points representing the vertices are chosen independently at random from the uniform distribution on \mathbb S^{2d} (in fact, any centrally symmetric distribution which is absolutely continuous with respect to the surface measure gives the same bound by the same argument) and, for every d+1 points v_1,v_2, \ldots ,v_{d+1} that have been chosen, the simplex is drawn as the geodesic spherical simplex

where \operatorname{pos}(u_1,\dots,u_k) is the positive cone \operatorname{pos}(u_1,\dots,u_k):=\{\sum_{i=1}^{k} \lambda_i u_i: \lambda_i\geq 0\ \forall\ i\}. It is enough to show that the probability that two random simplices intersect is \frac{1}{2^{2d+1}}.

To see this, let v_1,v_2, \ldots v_{d+1},u_1,u_2,\ldots u_{d+1} be chosen independently at random from the uniform measure on \mathbb S^{2d}. Put V:=\operatorname{sph}(v_1,v_2, \ldots v_{d+1}) and U:=\operatorname{sph}(u_1,u_2, \ldots u_{d+1}). Let

be arbitrary generic points on \mathbb S^{2d}. For each i, condition v_i to be either a_i or -a_i with equal probability and u_i to be either b_i or -b_i with equal probability. The set of spherical d-simplices with vertices in the set

spans an equatorial d-dimensional sphere that is triangulated with 2^{d+1} simplices. In fact, this triangulation is isomorphic to the (d+1)-fold join (\mathbb S^0)^{*(d+1)}. A similar argument applies to the (d+1)-tuples of points in \{b_1,-b_1,b_2,-b_2, \ldots b_{d+1},-b_{d+1}\}. Here, by equatorial sphere we mean the intersection of the standard sphere with a linear subspace. Two generic (d+1)-dimensional linear subspaces of \mathbb R^{2d+1} intersect in a line, hence two d-dimensional equatorial spheres in \mathbb S^{2d} intersect at exactly two antipodal points. It follows that, for a generic choice of a_1,a_2, \ldots,a_{d+1}, b_1,b_2,\ldots b_{d+1},

Now, if each a_i and b_i is independently sampled from the uniform measure on \mathbb S^{2d}, then

Since a_1,a_2, \ldots,a_{d+1}, b_1,b_2,\ldots b_{d+1} are generic almost surely, we can conclude that

as promised.

Flores’ theorem yields \operatorname{\mathrm{cr}}_\iota([3]^{*(d+1)})=1. There are {\binom n3}^{d+1} distinct copies of it, and every pair that crosses lies in exactly (n-2)^{d+1}, which yields at least \frac{{\binom n3}^{d+1}}{(n-2)^{d+1}} different crossing pairs. Double counting as in the previous theorem yields the lower bound.

Consider an optimal spherical drawing of \Delta^{n(d+1)-1}_{(d)} and sample a uniform random subcomplex isomorphic to [n]^{*(d+1)}. There are

such subcomplexes, where this denotes the multinomial coefficient. For each choice of 2d+2 vertices spanning a pair of crossing simplices, there are (d+1)! ways to place the first d+1 vertices as a simplex of [n]^{*(d+1)} and another (d+1)! ways for the second simplex. Finally, once the 2d+2 vertices have been chosen and distributed in the different factors of [n] in the join, there are

ways to complete this into a copy of [n]^{*(d+1)} inside of \Delta^{n(d+1)-1}_{(d)}. Double counting, we get the inequality

where

Taking the limit, we obtain

The complete complex has \binom{(d+1)n}{d} (d-1)-faces and \binom{(d+1)n}{d+1} d-faces, whereas the partite complex has (d+1)n^d (d-1)-faces and n^{d+1} d-faces. Hence,

In particular, Theorem 6 yields

Assuming Conjecture 9, Proposition 33 gives

as m\to\infty. Since \Delta_{(d)}^{m-1} has \binom md faces of dimension d-1 and \binom m{d+1} faces of dimension d, we obtain

We first prove the lower bound. Fix a rectilinear drawing of X given by a bijection f:[n]\to V, where

is the corresponding vertex set in affine general position. Suppose that f and V are such that \mathrm{cr}_{\mathbb R^{2d}}(f)=\mathrm{cr}_{\mathbb R^{2d}}(X). Apply Theorem 35 to V, with parameter \eta>0, obtaining an equitable partition

Here K is bounded above by M=M(d,\eta). We say that a collection of 2d+2 distinct parts of this partition is same-type if the parts have same-type transversals, and we say that it is non-same-type otherwise.

Call a crossing pair of d-faces in the complete complex bad if either two of its 2d+2 vertices lie in the same part V_i, or the 2d+2 parts it uses form a non-same-type tuple.

The number of crossing pairs using some part twice is at most

The number of crossing pairs whose corresponding 2d+2 parts form a non-same-type tuple is at most

Thus, if \mathcal T denotes the collection of unordered pairs

such that I\cup J is same-type and every I-transversal d-simplex crosses every J-transversal d-simplex, then

Now we apply Lemma 34. Since K is fixed and the partition is equitable, every part has size

Because p n^d\to\infty, with high probability, uniformly over all disjoint (d+1)-tuples of parts,

Fix (I,J)\in\mathcal T. Every d-face of X using one vertex from each part V_i with i\in I crosses every d-face of X using one vertex from each part V_j with j\in J. Therefore, this pair (I,J) contributes

crossings of X. Summing over (I,J)\in\mathcal T, we obtain

Hence

Letting \eta\to0, and then K=K(d,\eta)\to\infty accordingly, we get

It remains to prove the upper bound. Take an optimal rectilinear drawing of the complete complex \Delta_{(d)}^{n-1}, so that the number of crossing pairs of d-faces is exactly \operatorname{cr}_{\mathbb R^{2d}}(\Delta_{(d)}^{n-1}). Draw X on the same vertex set by mapping the vertices of X in a fixed manner, independently of the randomness involved in the construction of the complex. Let \mathcal C be the set of crossing pairs of d-faces in this drawing of \Delta_{(d)}^{n-1}. We have

For c=\{\sigma,\tau\}\in\mathcal C, let I_c be the indicator that both \sigma and \tau belong to X. The number of crossings in this fixed drawing of X is

Hence

We claim that

where o_{\mathbb P}\bigl(p^2 n^{2d+2}\bigr) denotes an error term which goes to 0 in probability after being divided by p^2n^{2d+2}. Indeed,

The first term comes from the variances of the individual indicators. For the covariance term, two indicators can be dependent only if their two crossing pairs share a d-face. There are O_d(n^{d+1}) choices for the shared d-face, and then O_d(n^{d+1}) choices for each of the two other d-faces, giving O_d(n^{3d+3}) dependent pairs, each with covariance at most O(p^3).

Since p n^d\to\infty, we have that

Hence,

By Chebyshev’s inequality,

Since \operatorname{cr}_{\mathbb R^{2d}}(X)\leq Z for every realization, we get

Combining the lower and upper bounds gives

Fix a generic \mathbb Z_2-equivariant drawing f of (\mathbb S^0)^{*n}_{(d)}. Consider two disjoint \mathbb Z_2-invariant subspheres \Sigma_1,\Sigma_2 of (\mathbb S^0)^{*(n)}_{(d)}, both of them of dimension d, so that we have the following combinatorial equivalences \Sigma_1\cong \Sigma_2\cong (\mathbb S^0)^{*(d+1)} \cong \mathbb S^d. The map f restricts to two \mathbb Z_2-equivariant maps f_1\colon \Sigma_1 \to \mathbb S^{2d} and f_2\colon \Sigma_2 \to \mathbb S^{2d}. By the previous lemma, this implies that there are at least two crossings between these spheres. Moreover, crossings induced by different pairs of spheres of this kind are distinct: each crossing occurs between two d-faces, and each of these faces determines its d+1 antipodal vertex pairs. The number of pairs of disjoint (\mathbb S^0)^{*(d+1)}_{(d)} factors is \frac{1}{2}{\binom{n}{d+1}}{\binom{n-(d+1)}{d+1}}. All in all we have at least {\binom{n}{d+1}}{\binom{n-(d+1)}{d+1}} distinct crossings. The argument for the partite complex is exactly the same, except that there are \frac{1}{2}n^{d+1} (n-1)^{d+1} vertex-disjoint pairs of (\mathbb S^0)^{*(d+1)}_{(d)} factors.

Again, every pair of vertex-disjoint \mathbb Z_2-invariant subspheres isomorphic to (\mathbb S^0)^{*(d+1)} induces at least two crossings in any generic equivariant drawing. As before, crossings induced by different pairs of this kind are distinct.

Since the action is free, no face contains an antipodal vertex pair, so we can view X_n as a subcomplex of (\mathbb S^0)^{*n}_{(d)}. For each of its \binom{n}{d+1} coordinate subspheres isomorphic to (\mathbb S^0)^{*(d+1)}, count how many facets belong to X_n. This number is even. Let A_1 denote the number of subspheres such that all 2^{d+1} facets are contained in X_n, and A_2 the number such that at most 2^{d+1}-2 facets are contained in X_n. Then A_1+A_2=\binom{n}{d+1} and

Consequently, A_1\geq\left(\frac{\alpha2^{d+1}-(2^{d+1}-2)}{2}+o(1)\right)\binom{n}{d+1}. Only O_d(n^{2d+1}) pairs of coordinate subspheres share a vertex, so the number of vertex-disjoint pairs fully contained in X_n is at least \binom{A_1}{2}-O_d(n^{2d+1}). Thus

For the normalization, observe that each (d-1)-face is contained in at most 2(n-d) d-faces. Double counting incidences gives |X_n(d-1)|\geq\frac{d+1}{2(n-d)}|X_n(d)|, and hence

Letting n\to\infty proves the claim.

Every image of every (\mathbb S^0)^{*2}-factor is a (not necessarily simple) curve that defines two open sets A and -A in the sphere, and for each vertex v \in A, -v\in -A. Thus, any arc joining v to -v will intersect \partial A at least once; this is an intersection with the (\mathbb S^0)^{(*2)}-factor. In the case of 2n vertices, in total we have {\binom n2}{\binom{n-2}2} intersections coming from pairs of (\mathbb S^0)^{(*2)} factors and n {\binom{n-1}2} coming from edges joining antipodal points intersecting (\mathbb S^0)^{*2} factors. In the case of 2n+1 vertices, one of the vertices must stay unmatched; the computation is almost identical except that we now add another n {\binom{n-1}2} crossings coming from intersections between (\mathbb S^0)^{*2} factors and edges incident to the unmatched vertex. Moreover, the unmatched vertex and any two antipodal pairs form a K_5, which has at least one crossing between independent edges that was not counted before. In total we have

crossings, as desired.

Fix a sufficiently large a, and choose n such that

For every positive integer k, take k disjoint copies of X_{n+1}, drawn so that different copies do not intersect. The resulting complex has ks_{n+1} (d-1)-faces, kt_{n+1} d-faces, and at most k\operatorname{\mathrm{cr}}_\iota(X_{n+1}) crossing pairs.

Since a\geq a_n,

Taking the \limsup as a\to\infty and using a_{n+1}/a_n\to1 proves the claim.

Fix \varepsilon\in(0,1). We may assume that C\geq1, since increasing C weakens the hypotheses. Firstly, for every positive a and every d-complex Z, such that |Z(d)|\geq a|Z(d-1)|, we have

To see this, consider k disjoint copies of Z. By definition, \kappa_d(k|Z(d-1)|,ak|Z(d-1)|) are bounded from above by k\operatorname{\mathrm{cr}}_\iota(Z). Dividing this inequality by a^{d+2}k|Z(d-1)| and taking the limit when k\to \infty yields the claimed inequality. Let \delta=\varepsilon/(100(d+2)) and choose a_0 large enough that b_d(a_0)\geq(1-\varepsilon/10)B_d. Set A=(1+4\delta)a_0 and choose N>A. Notice that the lower bound on A depends only on d,\varepsilon and C.

Assume that X satisfies the hypothesis of the lemma, put s=|X(d-1)|, t=|X(d)|, and as in the proof of the crossing lemma, let Y be a random induced subcomplex in which every vertex is included independently at random with probability p=\frac{As}{t}. As in the crossing lemma, we have

For a face \tau, let \deg_r(\tau) be the number of r-faces containing it. Two distinct (d-1)-faces whose intersection has j vertices have covariance at most p^{2d-j}, whereas disjoint faces have covariance zero. Moreover, \deg_{d-1}(\tau)\leq |X(d-j-1)| when |\tau|=j, and \sum_{\tau\in X(j-1)}\deg_{d-1}(\tau)=\binom dj s. Hence,

By assumption, |X(d-j-1)|\leq Cs(s/t)^j. Therefore

Similarly,

so

By the Kruskal–Katona theorem, there exists a constant c_d>0 such that t\leq c_ds^{(d+1)/d}. Therefore p^ds=A^ds^{d+1}/t^d\geq c_d^{-d}A^d and p^{d+1}t\geq c_d^{-d}A^{d+1}. For A large enough, both normalized variances are at most \varepsilon\delta^2/20. Applying Chebyshev’s inequality to both normalized variance bounds and taking a union bound we conclude that the event

occurs with probability at least 1-\varepsilon/10. On E, |Y(d-1)|\geq(1-\delta)p^ds and

Hence

Since \delta=\varepsilon/(100(d+2)), \mathbb E[\operatorname{\mathrm{cr}}_\iota(Y)]\leq p^{2d+2}\operatorname{\mathrm{cr}}_\iota(X) and p=As/t, we obtain

as required.

Let \varepsilon>0 and choose \eta\in(0,1) with (1+\eta)(1+2\eta)^{d+2}<1+\varepsilon. Recall that B_d'\geq B_d>0. Moreover, retaining a sufficiently small fixed proportion of the d-faces of complete complexes, depending on C and d, while keeping their entire (d-1)-skeleta, gives complexes satisfying the lower-face inequalities and, since q>d, the equitability condition at sufficiently large densities. Taking disjoint unions of these complexes and using the upper bound from Theorem 6 then yields B_d'<\infty. Since B'_d=\limsup_{a\to\infty}b'_d(a) (where the limit is taken over rational a) and q<d+1, we can choose a rational a_0 large enough that b'_d(a_0)\leq(1+\eta/4)B'_d and (d+1)^{q+1}a_0^{q-d-1}\leq(\eta/4)B'_d. Then, choose s_0 so that a_0s_0 is an integer and

Let X be a complex realizing \kappa'_d(s_0,a_0s_0). Thus X is q-equitable, |X(d-1)|=s_0, |X(d)|=t_0:=a_0s_0, and \operatorname{\mathrm{cr}}_\iota(X)=\kappa'_d(s_0,a_0s_0). We first bound \operatorname{\mathrm{cr}}_\iota(X\centerdot m). Let f\colon X\to\mathbb R^{2d} be a generic PL map with \operatorname{\mathrm{cr}}_\iota(f)=\operatorname{\mathrm{cr}}_\iota(X). Choose a common subdivision on which f\circ\varphi is linear, and let g\colon X\centerdot m\to\mathbb R^{2d} be a sufficiently small generic PL perturbation of this map. Since disjoint compact sets have positive distance, the perturbation preserves the disjointness of every pair of lifted faces whose images under f\circ\varphi are disjoint. Hence, a pair of facets of X\centerdot m can intersect only if its image under \varphi is an intersecting independent pair of f, or a pair of d-faces of X sharing a vertex (the faces are allowed to coincide). Each such base pair has at most m^{2d+2} lifted pairs, and at most \sum_v\deg_d(v)^2 pairs share a vertex. Since X is q-equitable and \sum_v\deg_d(v)=(d+1)t_0,

Let s,t be as in the statement, and set

As t/s and s^{d+1}/t^d tend to infinity, both m and k tend to infinity. Thus, for sufficiently large N, we have that 1+\eta\leq ma_0s/t\leq1+2\eta, k\geq1/\eta, and all terms of the form O(k^{-1}) below are smaller than \eta. Draw k disjoint copies of X\centerdot m in disjoint balls, and denote their union by Y. Then

Delete |Y(d)|-t faces of dimension d, retaining the entire (d-1)-skeleton. To supply the missing s-ks_0m^d<s_0m^d faces of dimension d-1, take a complex P generated by exactly that many distinct d-element subsets of a new vertex set. These subsets can be chosen on at most \lceil(d!s_0)^{1/d}m\rceil+d-1=O(m) vertices. Consequently, |P(i)|=O(m^{i+1}) for 0\leq i\leq d-1, and P has no d-faces. Add P in a separate ball and denote the resulting complex by Z. We have |Z(d-1)|=s, |Z(d)|=t, and \operatorname{\mathrm{cr}}_\iota(Z)\leq k\operatorname{\mathrm{cr}}_\iota(X\centerdot m).

We claim that Z is admissible, since deletion does not increase d-degrees, and the new vertices have d-degree zero. Since X is q-equitable and q>d,

Thus Z is q-equitable for sufficiently large N. Moreover, |Z(i)|=km^{i+1}|X(i)|+|P(i)| for 0\leq i\leq d-1, so the lower-face inequalities for X give

for all 1\leq i\leq d-1. The case i=0, with |Z(-1)|=1, follows from

All implicit constants depend only on X and d.

We can therefore apply the definition of \kappa'_d to Z. Using the preceding estimate

we obtain

Let d\geq2400 and take \theta_d from the preceding lemma. By the expression for the ratio of the construction constants and (?),

For the last inequality, put y=e^{-d/400} and consider the logarithm of the ratio of the two sides, \log16-d/115+(d+1)/200-(d+2)\log(1-y). It is negative at d=2400. It is decreasing for d\geq2400, since -1/115+1/200<0 and the derivative of -(d+2)\log(1-y) is at most y/(1-y)-(d+2)y/(400(1-y))<0 there. Proposition 42 therefore proves

Consider a drawing f:X\to\mathbb R^{2d} attaining \operatorname{cr}(X). Let Y\subset X be a simplicial complex which is maximal with the property that \operatorname{\mathrm{cr}}(f(Y))=0 (so that, in particular, \operatorname{\mathrm{cr}}(Y)=0). Since the map f can be assumed to be generic, Y_{(d-1)}=X_{(d-1)}. By Theorem 3, |Y(d)|\leq (d+2)|Y(d-1)|. Now, for each d-face \sigma \in X(d)\setminus Y(d), let Y' be the smallest subcomplex of X that contains Y and \sigma. By maximality of Y, \operatorname{\mathrm{cr}}(f(Y'))>0. Thus, the image of \sigma under f must intersect some other d-face of Y in its relative interior. Repeating this for every such \sigma, each of these faces contributes at least one crossing, and hence

View \mathbb S^{2d+2} as the unit sphere in \mathbb R^{2d+1}\oplus\mathbb R^2. It contains the equatorial sphere \mathbb S^{2d}\times\{0\} and the orthogonal circle \{0\}\times\mathbb S^1. Given f\colon X\to\mathbb S^{2d}, place its image in the first sphere and choose distinct points y_1,\ldots,y_q on the orthogonal circle. Starting from f, we construct F\colon X*[q]\to\mathbb S^{2d+2} by mapping each cone X*\{y_i\} to the spherical cone with base f(X) and apex y_i: each segment from y_i to x is mapped to the shorter great-circle arc from y_i to f(x). Explicitly, writing y_i for its \mathbb R^2 coordinate,

where t=0 is the apex and t=1 is the base. The formula is well defined under the join identifications and takes values in \mathbb S^{2d+2}. Distinct cones meet only along their common base, and within each cone the formula is injective whenever f is injective. Thus F is an embedding if f is.

Now suppose that \operatorname{\mathrm{cr}}_\iota(X)=0, and choose f with no independent crossings. Two vertex-disjoint (d+1)-faces of X*[q] have the form \sigma*\{y_i\} and \tau*\{y_j\}, where i\neq j and \sigma,\tau\in X(d) are vertex-disjoint. Their images can meet only in the common base, where their intersection is f(\sigma)\cap f(\tau)=\varnothing. A sufficiently close generic PL approximation of F preserves these finitely many disjointness relations, since the relevant images are compact. Thus, \operatorname{\mathrm{cr}}_\iota(X*[q])=0.

Let n>2d+3 be relatively prime to d+1, and label the vertices of the cyclic polytope P=C(n,2d) by 0,1,\ldots,n-1 in their moment-curve order (see [Gunter_polytopes_lectures, Chapter 0] for background on cyclic polytopes). Call a (d+1)-element vertex set separated if it contains no cyclically consecutive vertices, including the pair \{n-1,0\}. By Gale’s evenness criterion, every set of at most d vertices is a boundary face, and a (d+1)-element set spans a boundary d-face exactly when it is not separated. Also, the unique affine dependence among 2d+2 moment-curve vertices has alternating signs. Thus, two vertex-disjoint d-simplices cross exactly when their vertices alternate in cyclic order, in which case their relative interiors meet transversely in one point. Simplices sharing vertices meet only in their common face, since any 2d+1 vertices are affinely independent.

For r\in\mathbb Z/n\mathbb Z, let \mathcal A_r consist of the separated sets whose labels sum to r modulo n. There are \frac{n}{d+1}\binom{n-d-2}{d} separated sets: mark one vertex and count the d+1 cyclic gaps, which are at least two and sum to n, then divide by d+1. Cyclic translation A\mapsto A+1 maps \mathcal A_r bijectively to \mathcal A_{r+d+1}. Our choice of n therefore gives |\mathcal A_r|=\frac{1}{d+1}\binom{n-d-2}{d} for every r.

Let A and B be (d+1)-element sets and suppose that they alternate in cyclic order. Choose integer lifts a_0<b_0<a_1<b_1<\cdots<a_d<b_d<a_0+n of their \mathbb Z/n\mathbb Z-valued labels. Summing the inequalities 1\leq b_i-a_i\leq a_{i+1}-a_i-1, where a_{d+1}=a_0+n, gives

The sum is congruent modulo n to the difference of the residue classes of B and A. Consequently, among the simplices in \mathcal A_r\cup\cdots\cup\mathcal A_{r+d+1}, where 0\leq r\leq n-d-2, crossings occur only between the first and last classes. Writing A for the set in the first class, equality holds on the left, so B=A+1. Conversely, every separated A alternates with A+1. Thus the crossing pairs in this block are precisely \{A,A+1\} with A\in\mathcal A_r.

Glue two copies of P along their boundary to obtain a PL 2d-sphere, and draw the whole d-skeleton of \partial P on their common boundary. In the first copy, we draw the affine simplices from \mathcal A_0\cup\cdots\cup\mathcal A_d, and in the second we draw those from \mathcal A_{d+2}\cup\cdots\cup\mathcal A_{2d+2}. The proper faces of all these simplices already lie on the common boundary of the two copies of P, their relative interiors lie in their assigned open half, and the preceding observation shows that this drawing has no crossings. We may now add any selection of the simplices of \mathcal A_{d+1} in the first copy and of \mathcal A_{2d+3} in the second. Each added simplex crosses exactly one previously drawn simplex, its translate by -1, and no two added simplices cross. All these vertex sets are distinct. Removing a point outside the drawing gives the required PL drawing in \mathbb R^{2d}.

To obtain asymptotic density a, add exactly \left\lfloor(a-d-2)\binom{n-d-2}{d}\right\rfloor of these simplices, which is possible throughout the stated interval, and call the resulting complex X_n. Since the nonseparated sets are precisely the boundary d-faces, the number of such faces is

The initial drawing (i.e., the drawing without any elements of \mathcal A_{d+1} or \mathcal A_{2d+3}) contains 2\binom{n-d-2}{d} further d-faces. It follows that |X_n(d-1)|=\binom nd, |X_n(d)|=a\binom nd+O_d(n^{d-1}), and \operatorname{\mathrm{cr}}(X_n)\leq(a-d-2)\binom nd+O_d(n^{d-1}).

Finally, the disjoint-union argument makes a\mapsto a^{d+2}b_d(a) finite and convex, hence continuous on (0,\infty). Taking disjoint copies of X_n bounds its value at |X_n(d)|/|X_n(d-1)| by \operatorname{\mathrm{cr}}(X_n)/|X_n(d-1)|. Letting n tend to infinity proves the claim.

The join \mathbb S^d*\mathbb S^d is homeomorphic to \mathbb S^{2d+1} and \mathbb Z_2 acts on it by mapping tx+(1-t)y \mapsto -tx-(1-t)y. This action is free. By composing with the usual embedding of \mathbb S^{2d} into \mathbb R^{2d+1}, we may think of f_1 and f_2 as taking values in \mathbb R^{2d+1}. We define the map F \colon \mathbb S^d*\mathbb S^d\cong \mathbb S^{2d+1} \to \mathbb R^{2d+1} by

This is a \mathbb Z_2-equivariant map, so it must have a zero by the Borsuk-Ulam theorem. Let x, y and t be such that tf_1(x)=(1-t)f_2(y). Taking norms on both sides, we obtain t=t |f_1(x)|=(1-t)|f_2(y)|=(1-t), hence t=\frac{1}{2} and f_1(x)=f_2(y). This is to say that f_1( \mathbb S^d) \cap f_2( \mathbb S^d)\neq \emptyset and, since the maps are \mathbb Z_2-equivariant, intersections come in antipodal pairs.

Let i_0<\cdots<i_{2d+1} be indices in [m]. The divided difference of order 2d+1 annihilates every polynomial of degree at most 2d, so the vectors \gamma(t_{i_0}),\ldots,\gamma(t_{i_{2d+1}}) satisfy the dependency with coefficients \prod_{k\neq j}(t_{i_j}-t_{i_k})^{-1}, whose sign is (-1)^{j+1}. Thus the dependency among w_{i_0},\ldots,w_{i_{2d+1}} has signs (-1)^{i_j+j+1}. By Lemma 31, these 2d+2 vertices span a crossing pair exactly when i_j-j is even for exactly d+1 indices j.

Put k_j:=i_j-j. This is a bijection between (2d+2)-subsets of [m] and nondecreasing sequences of length 2d+2 in \{1,\ldots,m-2d-1\}. A nondecreasing sequence with exactly d+1 even terms is determined by its multiset of d+1 even values and its multiset of d+1 odd values. There are \lfloor(m-2d-1)/2\rfloor even and \lceil(m-2d-1)/2\rceil odd values available, so

For the second identity, put c_i:=\prod_{j\neq i}(t_i-t_j)^{-1}, so that \operatorname{sign}c_i=(-1)^{m-i}. The identity \sum_i c_it_i^{a}=0 for 0\leq a\leq m-2 shows that \{c_i\gamma(t_i)\} is a Gale dual of \{(1,t_i,\ldots,t_i^{m-2d-2})\}, and the latter has the same sign patterns as V_{m,m-2d-1}. Up to positive rescaling and a global sign, which affect neither f^* nor f, the configuration \{c_i\gamma(t_i)\} is W_m. Lemmas 31 and 32 imply

Finally, let V\subset\mathbb S^{2d} induce any generic facewise spherical drawing of \Delta^{m-1}_{(d)}. By the same two lemmas, its crossing number equals \binom{m}{2d+2}-f_{m-2d-2,\leq d}(V^*), where V^* has rank m-2d-1 and is in linear general position. Conjecture 9, applied with t=d=(m-(m-2d-1)-1)/2, gives f_{m-2d-2,\leq d}(V^*)\leq f_{m-2d-2,\leq d}(V_{m,m-2d-1}). Hence the crossing number is at least \operatorname{\mathrm{cr}}(g_m).

Fix pairwise disjoint sets

Every choice of vertices u_i\in U_i, i=0,\dots,d, determines a potential d-face \{u_0,\dots,u_d\}. Since the sets U_0,\dots,U_d are pairwise disjoint, all these faces are distinct. Therefore

In particular,

By the lower bound on the sizes of the U_i’s,

We now prove concentration uniformly over all admissible choices of U_0,\dots,U_d. Let \varepsilon_n>0 be defined by

Since p n^d\to\infty, we have \varepsilon_n=o(1). By the Chernoff bound, for fixed U_0,\dots,U_d,

for some absolute constant c>0. Using the lower bound on \mu, this is at most

We have that

Since p n^d\to\infty, we have

There are at most 2^{(d+1)n} possible choices of (U_0,\dots,U_d). Hence, by the union bound, the probability that the desired estimate fails for at least one admissible (d+1)-tuple is at most

Because

this quantity tends to 0. Therefore, with high probability, for every admissible pairwise disjoint collection U_0,\dots,U_d,

Since \varepsilon_n=o(1), this gives

uniformly over all admissible choices of U_0,\dots,U_d.

The equatorial d-spheres spanned by \sigma and \sigma' are independent and uniformly distributed. Almost surely they intersect in two antipodal points x,-x. Conditional on these two spheres, rotation invariance implies that the probability that x belongs to a given one of these simplices is \mathbb E_\mu[\nu_d(\sigma)]/s_d. The simplices remain conditionally independent, so the probability that both contain x is the square of this quantity. The same holds for -x. Since neither simplex contains an antipodal pair, the two events are disjoint.

For every 0\leq k\leq d, we have \mathbb E|X_n(k)|=P_k\binom n{k+1}. Conditional on being admitted, a random d-simplex has a rotation-invariant distribution. The preceding lemma therefore gives probability 2m_d^2 that two independent (d+1)-tuples are both admitted and their simplices intersect. Almost surely, incident faces have no intersections outside their common face, and independent faces intersect in at most one point. Counting unordered pairs gives

The face counts and the crossing count, divided respectively by \binom n{k+1} and \binom n{2d+2}, are U-statistics with bounded kernels. Their variances tend to zero, since only pairs of tuples sharing a vertex can contribute to the covariance. Consequently,

in probability. We note that the event where |X_n(d)|=0 has vanishing probability, so it can simply be ignored (we set the above ratio to be equal to 0 whenever this occurs). We may choose a deterministic realization for each n for which these convergences hold. Its face counts satisfy |X_n(d-1)|\sim P_{d-1}n^d/d! and |X_n(d)|\sim P_dn^{d+1}/(d+1)!.

For completeness, these realizations give the last assertion by the disjoint-union argument used in Lemma 17. Write a_n=|X_n(d)|/|X_n(d-1)|\sim cn, where c=P_d/((d+1)P_{d-1})>0. For fixed \eta>0 and large a, choose n=\lceil(1+\eta)a/c\rceil. Then a_n\geq a. Taking arbitrarily many disjoint PL copies of the drawing, and using that \kappa_d(s,t) is defined over complexes with at least t faces of dimension d, gives

As a\to\infty, we have a_n/a\to1+\eta, so B_d\leq(1+\eta)^{d+2}B_d(\mathcal A). Letting \eta\to0 proves the assertion.

Fix the first point at the north pole, and let r,s be its distances to the other two points. They are independent with density \frac34\sin^3r. The cosine z of the angle between their tangent directions has density \frac2\pi\sqrt{1-z^2}, independently of r,s. The spherical cosine rule gives \cos t=\cos r\cos s+\sin r\sin s\,z, so |dz|=\sin t\,dt/(\sin r\sin s) and 1-z^2=W/(\sin r\sin s)^2. Multiplying the densities and the Jacobian proves the claim.

By symmetry and homogeneity, fixing the largest side gives

and

where T=\{(x,y)\in[0,1]^2:x+y\geq1\}. Put u=x+y and v=x-y. Heron’s formula becomes 16a(1,x,y)^2=(u^2-1)(1-v^2), and consequently

Evaluating these elementary integrals gives the stated values. In the first integral one may first integrate in u, using primitives of \sqrt{u^2-1} and u^2\sqrt{u^2-1}; the second integrand is polynomial.

Take a homogeneous Poisson process of intensity \lambda>0 in [0,L]^4. Join pairs at distance at most one and fill every triangle using affine faces. Let V=L^4. As L\to\infty, the edge count, triangle count, and number of crossings, divided by V, converge in probability to

respectively. To compute these constants, consider a Poisson process of intensity \lambda on the sphere of radius \alpha^{-1}, with distance threshold one. Its volume is V_\alpha=s_4\alpha^{-4}, where s_4=8\pi^2/3. Applying the spherical expectation formulas with angular threshold \alpha and mean vertex count \lambda V_\alpha, then dividing by V_\alpha, gives the displayed constants as \alpha\to0. These limits equal the Euclidean intensities by dominated convergence: after fixing one vertex, every contributing configuration lies in a uniformly bounded neighborhood. Project this neighborhood from the center of the sphere onto the tangent hyperplane at the fixed vertex. This sends geodesic simplices to affine simplices and preserves their intersections. As \alpha\to0, distances and volume elements in these coordinates converge to their Euclidean counterparts. Expected boundary contributions in the box are O(L^3). The variances are O(V), since contributions assigned to unit cubes at a sufficiently large fixed distance are independent and have bounded second moments. This proves the asserted convergence.

Fix a>0 and \eta>0, and choose \lambda=3(1+\eta)a/(32\pi I). The triangle-to-edge ratio then tends to (1+\eta)a. Choose deterministic realizations with the preceding limits; for all sufficiently large L, they have at least \lfloor a|X(1)|\rfloor triangles. Central projection from \mathbb R^4 onto an open hemisphere of \mathbb S^4, given by x\mapsto(x,1)/\sqrt{1+\|x\|^2}, takes affine simplices to geodesic simplices and preserves their intersections. These are therefore admissible spherical drawings, and applying the preceding limits in the definition of b_{2,\mathbb S}(a) gives

Letting \eta\to0 and then taking the limsup as a\to\infty proves the assertion.

This is Proposition 38 with \mathcal A=\mathcal A_\theta. The set \mathcal A_\theta is invariant under permutations and rotations, and its projection onto any d factors is the whole product, so P_{d-1}=1. Moreover P_d=P(\theta)>0 and m_d=m(\theta).

Write \varepsilon_\theta=\mathbb P(q>\theta) and r_\theta=\mathbb E[q\mid q>\theta]. Simplicial cones can have normalized solid angle arbitrarily close to 1/2, for instance when d of the vertices nearly positively span a hyperplane of their linear span and the last vertex lies slightly off it. By continuity, such configurations have neighborhoods of positive probability, so \varepsilon_\theta>0 for \theta<1/2. Moreover \varepsilon_\theta\to0 as \theta\uparrow1/2, because q<1/2 almost surely, and r_\theta\to1/2, because \theta<r_\theta<1/2. Since P(\theta)=1-\varepsilon_\theta and m(\theta)=\bar q-\varepsilon_\theta r_\theta, we have

The coefficient tends to d+2-2^{d+1}<0, proving the claim.

Write the thin QR decomposition of G^\top as G^\top=QR. Here Q is an (M+1)\times M matrix with orthonormal columns, so Q^\top Q=I_M, and R is an M\times M upper triangular matrix with positive diagonal entries. The orthonormal frame formed by the columns of Q is uniform and independent of R. Conditional on its column space \lambda^\perp, it is still a uniform orthonormal frame of that space. In particular, the kernel line, which is the orthogonal complement of the column space of Q, is uniformly distributed and independent of R, hence of GG^\top=R^\top R. Thus Q^\top x is uniform on the sphere in \mathbb R^M of radius r=\|P_{\lambda^\perp}x\|, independently of R. If U is an independent uniform M\times M orthogonal matrix and e_1 is the first standard basis vector of \mathbb R^M, then, conditional on the kernel line,

The matrices RR^\top and R^\top R have the same eigenvalues, and R^\top R=GG^\top has an orthogonally invariant distribution, independent of the kernel line. Consequently, U^\top RR^\top U has the distribution of GG^\top. Finally, (GG^\top)_{11} is the squared norm of a row of G, and therefore has distribution \chi^2_{M+1}.

The first bound is Markov’s inequality: \mathbb P(q>\theta_d)\leq\bar q/\theta_d=e^{-d/400}.

For the second, let A,B be independent (2d+1)\times(d+1) standard Gaussian matrices. Normalizing their columns gives independent uniform spherical vertices, without changing the positive cones or their normalized solid angles. Let q(A) denote the normalized solid angle of the cone generated by the columns of A, that is, the normalized volume of the corresponding spherical simplex, and let \mathcal E be the event that the cones generated by A and by B meet nontrivially. The argument of Lemma 37, with the first simplex fixed, gives \mathbb P(\mathcal E\mid A)=2\bar q\,q(A) and \mathbb P(\mathcal E)=2\bar q^2. Therefore the law of A conditioned on \mathcal E is its size-biased law. Denoting the ordinary law by \mathbb P and this conditioned law by \mathbb P^*, we have

In particular, under \mathbb P^* the variable q(A) has the law of Q^*, so

The (2d+1)\times(2d+2) matrix G=(A\ B) has a one-dimensional kernel almost surely. The event \mathcal E says precisely that its unit kernel vector can be written as \lambda=(a,-b), where a,b\in\mathbb R^{d+1} have all coordinates positive. In Gale-dual terms, crossing is a sign condition on the kernel of G. For Gaussian vertices, the kernel line is uniform and independent of GG^\top (Lemma 44). This independence is what what allows us to access the size-biased law: conditioning on \mathcal E prescribes only the signs of the kernel vector. Therefore, under the joint law of (A,B) conditioned on \mathcal E,

where the Z_j are independent standard Gaussians.

Set u=(1,\ldots,1)/\sqrt{d+1}\in\mathbb R^{d+1} and R(A)=\|Au\|^2/(2d+1). Under \mathbb P, we have R(A)\stackrel d=\chi_{2d+1}^2/(2d+1). Conditional on the kernel line, Lemma 44, applied to x=(u,0)\in\mathbb R^{d+1}\times\mathbb R^{d+1}, gives

Here the chi-square variable is independent of the kernel line. The identity therefore remains valid under conditioning on \mathcal E, which depends only on that line.

On the event that \sum_{i=1}^{d+1}|Z_i|\geq0.7(d+1) and \sum_{j=1}^{2d+2}Z_j^2\leq2.2(d+1), we have

Write h(x)=x-1-\log x. For a chi-square variable with k degrees of freedom, the Chernoff bound at kx is e^{-kh(x)/2}, for the upper tail when x>1 and the lower tail when 0<x<1. The function \sum_{i=1}^{d+1}|Z_i| is \sqrt{d+1}-Lipschitz with mean (d+1)\sqrt{2/\pi}. By Gaussian concentration, the first condition fails with probability at most \exp\bigl(-(d+1)(\sqrt{2/\pi}-0.7)^2/2\bigr)\leq e^{-d/210}. By the Chernoff bound, the second fails with probability at most e^{-(d+1)h(11/10)}\leq e^{-d/214}.

Let \mathcal T=\{R(A)\leq22/25\}. Since h(22/25)>1/140, the Chernoff bound gives

Under \mathbb P^*, the factor 1-\langle a,u\rangle^2 is at most 4/5 except on an event of probability at most e^{-d/210}+e^{-d/214}. Outside that event, the identity in law above bounds the conditional probability of R(A)>22/25 by

which is at most e^{-d/230} for d\geq130. Hence

Finally, the likelihood-ratio identity gives

because 1/140-1/400>1/230. This is the asserted bound for Q^*.