More Like this

1. The half-volume spectrum of a manifold

   https://doi.org/10.1007/s00526-025-02949-z  

   Mazurowski, Liam; Zhou, Xin (May 2025, Calculus of Variations and Partial Differential Equations)

   Abstract We define the half-volume spectrum$$\{{\tilde{\omega }_p\}_{p\in \mathbb {N}}}$$ $\{{\tilde{\omega }}_p{\}}_{p\in N}$of a closed manifold$$(M^{n+1},g)$$ $(M^{n+1},g)$. This is analogous to the usual volume spectrum ofM, except that we restrict top-sweepouts whose slices each enclose half the volume ofM. We prove that the Weyl law continues to hold for the half-volume spectrum. We define an analogous half-volume spectrum$$\tilde{c}(p)$$ $\tilde{c}\left(p\right)$in the phase transition setting. Moreover, for$$3 \le n+1 \le 7$$ $3\le n+1\le 7$, we use the Allen–Cahn min-max theory to show that each$$\tilde{c}(p)$$ $\tilde{c}\left(p\right)$is achieved by a constant mean curvature surface enclosing half the volume ofMplus a (possibly empty) collection of minimal surfaces with even multiplicities. 

   more » « less
2. An algorithm and computation to verify Legendre’s conjecture up to $$7\cdot 10^{13}$$

   https://doi.org/10.1007/s40993-024-00589-4  

   Sorenson, Jonathan; Webster, Jonathan (March 2025, Research in Number Theory)

   Abstract We state a general purpose algorithm for quickly finding primes in evenly divided sub-intervals. Legendre’s conjecture claims that for every positive integern, there exists a prime between$$n^2$$ $n^2$and$$(n+1)^2$$ ${(n+1)}^2$. Oppermann’s conjecture subsumes Legendre’s conjecture by claiming there are primes between$$n^2$$ $n^2$and$$n(n+1)$$ $n(n+1)$and also between$$n(n+1)$$ $n(n+1)$and$$(n+1)^2$$ ${(n+1)}^2$. Using Cramér’s conjecture as the basis for a heuristic run-time analysis, we show that our algorithm can verify Oppermann’s conjecture, and hence also Legendre’s conjecture, for all$$n\le N$$ $n\le N$in time$$O( N \log N \log \log N)$$ $O(NlogNloglogN)$and space$$N^{O(1/\log \log N)}$$ $N^{O(1/loglogN)}$. We implemented a parallel version of our algorithm and improved the empirical verification of Oppermann’s conjecture from the previous$$N = 2\cdot 10^{9}$$ $N=2·{10}^9$up to$$N = 7.05\cdot 10^{13} > 2^{46}$$ $N=7.05·{10}^{13}>2^{46}$, so we were finding 27 digit primes. The computation ran for about half a year on each of two platforms: four Intel Xeon Phi 7210 processors using a total of 256 cores, and a 192-core cluster of Intel Xeon E5-2630 2.3GHz processors. 

   more » « less
3. 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
4. Photo-response of the $$N=Z$$ nucleus $$^{24}$$Mg

   https://doi.org/10.1140/epja/s10050-023-01111-7  

   Deary, J; Scheck, M; Schwengner, R; O’Donnell, D; Bemmerer, D; Beyer, R; Hensel, Th; Junghans, A R; Kögler, T; Müller, S E; et al (September 2023, The European Physical Journal A)

   Abstract The electricE1 and magneticM1 dipole responses of the$$N=Z$$ $N=Z$nucleus$$^{24}$$ ${}^{24}$Mg were investigated in an inelastic photon scattering experiment. The 13.0 MeV electrons, which were used to produce the unpolarised bremsstrahlung in the entrance channel of the$$^{24}$$ ${}^{24}$Mg($$\gamma ,\gamma ^{\prime }$$ $\gamma ,{\gamma }^{\prime }$) reaction, were delivered by the ELBE accelerator of the Helmholtz-Zentrum Dresden-Rossendorf. The collimated bremsstrahlung photons excited one$$J^{\pi }=1^-$$ $J^{\pi }=1^{-}$, four$$J^{\pi }=1^+$$ $J^{\pi }=1^{+}$, and six$$J^{\pi }=2^+$$ $J^{\pi }=2^{+}$states in$$^{24}$$ ${}^{24}$Mg. De-excitation$$\gamma $$ $\gamma$rays were detected using the four high-purity germanium detectors of the$$\gamma $$ $\gamma$ELBE setup, which is dedicated to nuclear resonance fluorescence experiments. In the energy region up to 13.0 MeV a total$$B(M1)\uparrow = 2.7(3)~\mu _N^2$$ $B\left(M1\right)\uparrow =2.7\left(3\right){\mu }_N^2$is observed, but this$$N=Z$$ $N=Z$nucleus exhibits only marginalE1 strength of less than$$\sum B(E1)\uparrow \le 0.61 \times 10^{-3}$$ $\sum B\left(E1\right)\uparrow \le 0.61\times {10}^{-3}$ e$$^2 \, $$ ${}^2$fm$$^2$$ ${}^2$. The$$B(\varPi 1, 1^{\pi }_i \rightarrow 2^+_1)/B(\varPi 1, 1^{\pi }_i \rightarrow 0^+_{gs})$$ $B(\Pi 1,1_i^{\pi }\to 2_1^{+})/B(\Pi 1,1_i^{\pi }\to 0_{\mathrm{gs}}^{+})$branching ratios in combination with the expected results from the Alaga rules demonstrate thatKis a good approximative quantum number for$$^{24}$$ ${}^{24}$Mg. The use of the known$$\rho ^2(E0, 0^+_2 \rightarrow 0^+_{gs})$$ ${\rho }^2(E0,0_2^{+}\to 0_{\mathrm{gs}}^{+})$strength and the measured$$B(M1, 1^+ \rightarrow 0^+_2)/B(M1, 1^+ \rightarrow 0^+_{gs})$$ $B(M1,1^{+}\to 0_2^{+})/B(M1,1^{+}\to 0_{\mathrm{gs}}^{+})$branching ratio of the 10.712 MeV$$1^+$$ $1^{+}$level allows, in a two-state mixing model, an extraction of the difference$$\varDelta \beta _2^2$$ $\Delta {\beta }_2^2$between the prolate ground-state structure and shape-coexisting superdeformed structure built upon the 6432-keV$$0^+_2$$ $0_2^{+}$level. 

   more » « less
5. Transversality of holomorphic maps into hyperquadrics

   https://doi.org/10.1007/s00208-025-03134-5  

   Huang, Xiaojun; Zhu, Weixia (March 2025, Mathematische Annalen)

   Abstract We study holomorphic mapsFfrom a smooth Levi non-degenerate real hypersurface$$ M_{\ell }\subset {\mathbb {C}}^n $$ $M_{\ell }\subset C^n$into a hyperquadric$$ {\mathbb {H}}_{\ell '}^N $$ $H_{{\ell }^{\prime }}^N$with signatures$$ \ell \le (n-1)/2 $$ $\ell \le (n-1)/2$and$$ \ell '\le (N-1)/2,$$ ${\ell }^{\prime }\le (N-1)/2,$respectively. Assuming that$$ N - n < n - 1,$$ $N-n<n-1,$we prove that if$$ \ell = \ell ',$$ $\ell ={\ell }^{\prime },$thenFis either CR transversal to$$ {\mathbb {H}}_{\ell }^N $$ $H_{\ell }^N$at every point of$$ M_{\ell },$$ $M_{\ell },$or it maps a neighborhood of$$ M_{\ell } $$ $M_{\ell }$in$$ {\mathbb {C}}^n $$ $C^n$into$$ {\mathbb {H}}_{\ell }^N.$$ $H_{\ell }^N.$Furthermore, in the case where$$ \ell ' > \ell ,$$ ${\ell }^{\prime }>\ell ,$we show that ifFis not CR transversal at$$0\in M_\ell ,$$ $0\in M_{\ell },$then it must be transversally flat. The latter is best possible. 

   more » « less