More Like this

1. Linking Numbers in Three-Manifolds

   https://doi.org/10.1007/s00454-021-00287-3  

   Cahn, Patricia; Kjuchukova, Alexandra (July 2021, Discrete & Computational Geometry)

   Abstract LetMbe a connected, closed, oriented three-manifold andK, Ltwo rationally null-homologous oriented simple closed curves in M. We give an explicit algorithm for computing the linking number betweenKandLin terms of a presentation of Mas an irregular dihedral three-fold cover of $$S^3$$ $S^3$branched along a knot$$\alpha \subset S^3$$ $\alpha \subset S^3$. Since every closed, oriented three-manifold admits such a presentation, our results apply to all (well-defined) linking numbers in all three-manifolds. Furthermore, ribbon obstructions for a knot $$\alpha $$ $\alpha$can be derived from dihedral covers of $$\alpha $$ $\alpha$. The linking numbers we compute are necessary for evaluating one such obstruction. This work is a step toward testing potential counter-examples to the Slice-Ribbon Conjecture, among other applications. 

   more » « less
2. Spherical convex hull of random points on a wedge

   https://doi.org/10.1007/s00208-023-02704-9  

   Besau, Florian; Gusakova, Anna; Reitzner, Matthias; Schütt, Carsten; Thäle, Christoph; Werner, Elisabeth_M (August 2023, Mathematische Annalen)

   Abstract Consider two half-spaces$$H_1^+$$ $H_1^{+}$and$$H_2^+$$ $H_2^{+}$in$${\mathbb {R}}^{d+1}$$ $R^{d+1}$whose bounding hyperplanes$$H_1$$ $H_1$and$$H_2$$ $H_2$are orthogonal and pass through the origin. The intersection$${\mathbb {S}}_{2,+}^d:={\mathbb {S}}^d\cap H_1^+\cap H_2^+$$ $S_{2,+}^d:=S^d\cap H_1^{+}\cap H_2^{+}$is a spherical convex subset of thed-dimensional unit sphere$${\mathbb {S}}^d$$ $S^d$, which contains a great subsphere of dimension$$d-2$$ $d-2$and is called a spherical wedge. Choosenindependent random points uniformly at random on$${\mathbb {S}}_{2,+}^d$$ $S_{2,+}^d$and consider the expected facet number of the spherical convex hull of these points. It is shown that, up to terms of lower order, this expectation grows like a constant multiple of$$\log n$$ $logn$. A similar behaviour is obtained for the expected facet number of a homogeneous Poisson point process on$${\mathbb {S}}_{2,+}^d$$ $S_{2,+}^d$. The result is compared to the corresponding behaviour of classical Euclidean random polytopes and of spherical random polytopes on a half-sphere. 

   more » « less
3. Random 3-manifolds have no totally geodesic submanifolds

   https://doi.org/10.1007/s10455-025-09998-9  

   El-Hasan, Hasan M; Wilhelm, Frederick (May 2025, Annals of Global Analysis and Geometry)

   Agricola, Ilka; Bögelein, Verena (Ed.)

   Abstract Murphy and the second author showed that a generic closed Riemannian manifold has no totally geodesic submanifolds, provided the ambient space is at least four dimensional. Lytchak and Petrunin established a similar result in dimension 3. For the higher dimensional result, the “generic set” is open and dense in the$$C^{q}$$ $C^q$–topology for any$$q\ge 2.$$ $q\ge 2.$In Lytchak and Petrunin’s work, the “generic set” is a dense$$G_{\delta }$$ $G_{\delta }$in the$$C^{q}$$ $C^q$–topology for any$$q\ge 2.$$ $q\ge 2.$Here we show that the set of such metrics on a compact 3–manifold actually contains a set that is that is open and dense set in the$$C^{q}$$ $C^q$–topology, provided$$q\ge 3.$$ $q\ge 3.$ 

   more » « less
4. Spin density matrix elements in exclusive $$\rho ^0$$ meson muoproduction

   https://doi.org/10.1140/epjc/s10052-023-11359-4  

   Alexeev, G D; Alexeev, M G; Alice, C; Amoroso, A; Andrieux, V; Anosov, V; Augsten, K; Augustyniak, W; Azevedo, C_D R; Badelek, B; et al (October 2023, The European Physical Journal C)

   Abstract We report on a measurement of Spin Density Matrix Elements (SDMEs) in hard exclusive$$\rho ^0$$ ${\rho }^0$meson muoproduction at COMPASS using 160 GeV/cpolarised$$ \mu ^{+}$$ ${\mu }^{+}$and$$ \mu ^{-}$$ ${\mu }^{-}$beams impinging on a liquid hydrogen target. The measurement covers the kinematic range 5.0 GeV/$$c^2$$ $c^2$$$< W<$$ $<W<$17.0 GeV/$$c^2$$ $c^2$, 1.0 (GeV/c)$$^2$$ ${}^2$$$< Q^2<$$ $<Q^2<$10.0 (GeV/c)$$^2$$ ${}^2$and 0.01 (GeV/c)$$^2$$ ${}^2$$$< p_{\textrm{T}}^2<$$ $<p_{\text{T}}^2<$0.5 (GeV/c)$$^2$$ ${}^2$. Here,Wdenotes the mass of the final hadronic system,$$Q^2$$ $Q^2$the virtuality of the exchanged photon, and$$p_{\textrm{T}}$$ $p_{\text{T}}$the transverse momentum of the$$\rho ^0$$ ${\rho }^0$meson with respect to the virtual-photon direction. The measured non-zero SDMEs for the transitions of transversely polarised virtual photons to longitudinally polarised vector mesons ($$\gamma ^*_T \rightarrow V^{ }_L$$ ${\gamma }_T^{\ast }\to V_L^{}$) indicate a violation ofs-channel helicity conservation. Additionally, we observe a dominant contribution of natural-parity-exchange transitions and a very small contribution of unnatural-parity-exchange transitions, which is compatible with zero within experimental uncertainties. The results provide important input for modelling Generalised Parton Distributions (GPDs). In particular, they may allow one to evaluate in a model-dependent way the role of parton helicity-flip GPDs in exclusive$$\rho ^0$$ ${\rho }^0$production. 

   more » « less
5. On a Traveling Salesman Problem for Points in the Unit Cube

   https://doi.org/10.1007/s00453-024-01257-w  

   Balogh, József; Clemen, Felix Christian; Dumitrescu, Adrian (September 2024, Algorithmica)

   Abstract LetXbe ann-element point set in thek-dimensional unit cube$$[0,1]^k$$ ${[0,1]}^k$where$$k \ge 2$$ $k\ge 2$. According to an old result of Bollobás and Meir (Oper Res Lett 11:19–21, 1992) , there exists a cycle (tour)$$x_1, x_2, \ldots , x_n$$ $x_1,x_2,\dots ,x_n$through thenpoints, such that$$\left( \sum _{i=1}^n |x_i - x_{i+1}|^k \right) ^{1/k} \le c_k$$ ${\left({\sum }_{i=1}^n,{|x_i-x_{i+1}|}^k\right)}^{1/k}\le c_k$, where$$|x-y|$$ $|x-y|$is the Euclidean distance betweenxandy, and$$c_k$$ $c_k$is an absolute constant that depends only onk, where$$x_{n+1} \equiv x_1$$ $x_{n+1}\equiv x_1$. From the other direction, for every$$k \ge 2$$ $k\ge 2$and$$n \ge 2$$ $n\ge 2$, there existnpoints in$$[0,1]^k$$ ${[0,1]}^k$, such that their shortest tour satisfies$$\left( \sum _{i=1}^n |x_i - x_{i+1}|^k \right) ^{1/k} = 2^{1/k} \cdot \sqrt{k}$$ ${\left({\sum }_{i=1}^n,{|x_i-x_{i+1}|}^k\right)}^{1/k}=2^{1/k}·\sqrt{k}$. For the plane, the best constant is$$c_2=2$$ $c_2=2$and this is the only exact value known. Bollobás and Meir showed that one can take$$c_k = 9 \left( \frac{2}{3} \right) ^{1/k} \cdot \sqrt{k}$$ $c_k=9{\left(\frac{2}{3}\right)}^{1/k}·\sqrt{k}$for every$$k \ge 3$$ $k\ge 3$and conjectured that the best constant is$$c_k = 2^{1/k} \cdot \sqrt{k}$$ $c_k=2^{1/k}·\sqrt{k}$, for every$$k \ge 2$$ $k\ge 2$. Here we significantly improve the upper bound and show that one can take$$c_k = 3 \sqrt{5} \left( \frac{2}{3} \right) ^{1/k} \cdot \sqrt{k}$$ $c_k=3\sqrt{5}{\left(\frac{2}{3}\right)}^{1/k}·\sqrt{k}$or$$c_k = 2.91 \sqrt{k} \ (1+o_k(1))$$ $c_k=2.91\sqrt{k}(1+o_k\left(1\right))$. Our bounds are constructive. We also show that$$c_3 \ge 2^{7/6}$$ $c_3\ge 2^{7/6}$, which disproves the conjecture for$$k=3$$ $k=3$. Connections to matching problems, power assignment problems, related problems, including algorithms, are discussed in this context. A slightly revised version of the Bollobás–Meir conjecture is proposed. 

   more » « less