On the Number of Flats Tangent to Convex Hypersurfaces in Random Position

Motivated by questions in real enumerative geometry (Borcea et al., in Discrete Comput Geom 35(2):287\u2013300, 2006; B\ufcrgisser and Lerario, in J Reine Angew Math, https://doi.org/10.1515/crelle-2018-0009, 2018; Megyesi and Sottile, in Discrete Comput Geom 33(4):617\u2013644, 2005; Megyesi et al., in Discrete Comput Geom 30(4):543\u2013571, 2003; Sottile and Theobald, in Trans Am Math Soc 354(12):4815\u20134829, 2002; Proc Am Math Soc 133(10):2835\u20132844, 2005; in: Goodman et al., in Surveys on discrete and computational geometry. AMS, Providence, 2008) we investigate the problem of the number of flats simultaneously tangent to several convex hypersurfaces in real projective space from a probabilistic point of view (here by \u201cconvex hypersurfaces\u201d we mean that these hypersurfaces are boundaries of convex sets). More precisely, we say that smooth convex hypersurfaces X1,\u2026,Xdk,n 82RPn, where dk,n= (k+ 1) (n- k) , are in random position if each one of them is randomly translated by elements g1,\u2026,gdk,n sampled independently from the orthogonal group with the uniform distribution. Denoting by \u3c4k(X1,\u2026,Xdk,n) the average number of k-dimensional projective subspaces (k-flats) which are simultaneously tangent to all the hypersurfaces we prove that \u3c4k(X1,\u2026,Xdk,n)=\u3b4k,n\ub7 0fi=1dk,n|\u3a9k(Xi)||Sch(k,n)|,where \u3b4k,n is the expected degree from [6] (the average number of k-flats incident to dk,n many random (n- k- 1) -flats), | Sch (k, n) | is the volume of the Special Schubert variety of k-flats meeting a fixed (n- k- 1) -flat (computed in [6]) and | \u3a9 k(X) | is the volume of the manifold \u3a9 k(X) 82 G(k, n) of all k-flats tangent to X. We give a formula for the evaluation of | \u3a9 k(X) | in terms of some curvature integral of the embedding X\u21aa RP n and we relate it with the classical notion of intrinsic volumes of a convex set: |\u3a9k( 02C)||Sch(k,n)|=4Vn-k-1(C),k=0,\u2026,n-1.As a consequence we prove the universal upper bound: \u3c4k(X1,\u2026,Xdk,n) 64\u3b4k,n\ub74dk,n.Since the right hand side of this upper bound does not depend on the specific choice of the convex hypersurfaces, this is especially interesting because already in the case k= 1 , n= 3 for every m> 0 we can provide examples of smooth convex hypersurfaces X1, \u2026 , X4 such that the intersection \u3a9 1(X1) 29 ef 29 \u3a9 1(X4) 82 G(1 , 3) is transverse and consists of at least m lines. Finally, we present analogous results for semialgebraic hypersurfaces (not necessarily convex) satisfying some nondegeneracy assumptions

Minimality of tensors of fixed multilinear rank

We discover a geometric property of the space of tensors of fixed multilinear (Tucker) rank. Namely, it is shown that real tensors of the fixed multilinear rank form a minimal submanifold of the Euclidean space of tensors endowed with the Frobenius inner product. We also establish the absence of local extrema for linear functionals restricted to the submanifold of rank-one tensors, finding application in statistics