More Like this

1. Rates of convergence for regression with the graph poly-Laplacian

   https://doi.org/10.1007/s43670-023-00075-5  

   Trillos, Nicolás García; Murray, Ryan; Thorpe, Matthew (November 2023, Sampling Theory, Signal Processing, and Data Analysis)

   Abstract In the (special) smoothing spline problem one considers a variational problem with a quadratic data fidelity penalty and Laplacian regularization. Higher order regularity can be obtained via replacing the Laplacian regulariser with a poly-Laplacian regulariser. The methodology is readily adapted to graphs and here we consider graph poly-Laplacian regularization in a fully supervised, non-parametric, noise corrupted, regression problem. In particular, given a dataset$$\{x_i\}_{i=1}^n$$ ${\left\{x_i\right\}}_{i=1}^n$and a set of noisy labels$$\{y_i\}_{i=1}^n\subset \mathbb {R}$$ ${\left\{y_i\right\}}_{i=1}^n\subset R$we let$$u_n{:}\{x_i\}_{i=1}^n\rightarrow \mathbb {R}$$ $u_n:{\left\{x_i\right\}}_{i=1}^n\to R$be the minimizer of an energy which consists of a data fidelity term and an appropriately scaled graph poly-Laplacian term. When$$y_i = g(x_i)+\xi _i$$ $y_i=g\left(x_i\right)+{\xi }_i$, for iid noise$$\xi _i$$ ${\xi }_i$, and using the geometric random graph, we identify (with high probability) the rate of convergence of$$u_n$$ $u_n$togin the large data limit$$n\rightarrow \infty $$ $n\to \infty$. Furthermore, our rate is close to the known rate of convergence in the usual smoothing spline model. 

   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. 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
4. Instantaneous everywhere-blowup of parabolic SPDEs

   https://doi.org/10.1007/s00440-024-01263-7  

   Foondun, Mohammud; Khoshnevisan, Davar; Nualart, Eulalia (October 2024, Probability Theory and Related Fields)

   Abstract We consider the following stochastic heat equation$$\begin{aligned} \partial _t u(t,x) = \tfrac{1}{2} \partial ^2_x u(t,x) + b(u(t,x)) + \sigma (u(t,x)) {\dot{W}}(t,x), \end{aligned}$$ $\begin{array}{c}{\partial }_{t}u(t,x)=\frac{1}{2}{\partial }_x^{2}u(t,x)+b\left(u(t,x)\right)+\sigma \left(u(t,x)\right)\dot{W}(t,x),\end{array}$defined for$$(t,x)\in (0,\infty )\times {\mathbb {R}}$$ $(t,x)\in (0,\infty )\times R$, where$${\dot{W}}$$ $\dot{W}$denotes space-time white noise. The function$$\sigma $$ $\sigma$is assumed to be positive, bounded, globally Lipschitz, and bounded uniformly away from the origin, and the functionbis assumed to be positive, locally Lipschitz and nondecreasing. We prove that the Osgood condition$$\begin{aligned} \int _1^\infty \frac{\textrm{d}y}{b(y)}<\infty \end{aligned}$$ $\begin{array}{c}{\int }_1^{\infty }\frac{\text{d}y}{b\left(y\right)}<\infty \end{array}$implies that the solution almost surely blows up everywhere and instantaneously, In other words, the Osgood condition ensures that$$\textrm{P}\{ u(t,x)=\infty \quad \hbox { for all } t>0 \hbox { and } x\in {\mathbb {R}}\}=1.$$ $\text{P}\left\{u\right(t,x)=\infty \text{for all}t>0\text{and}x\in R\}=1.$The main ingredients of the proof involve a hitting-time bound for a class of differential inequalities (Remark 3.3), and the study of the spatial growth of stochastic convolutions using techniques from the Malliavin calculus and the Poincaré inequalities that were developed in Chen et al. (Electron J Probab 26:1–37, 2021, J Funct Anal 282(2):109290, 2022). 

   more » « less
5. VC-Dimension of Hyperplanes Over Finite Fields

   https://doi.org/10.1007/s00373-025-02909-6  

   Ascoli, Ruben; Betti, Livia; Cheigh, Justin; Iosevich, Alex; Jeong, Ryan; Liu, Xuyan; McDonald, Brian; Milgrim, Wyatt; Miller, Steven_J; Romero_Acosta, Francisco; et al (March 2025, Graphs and Combinatorics)

   Abstract Let$$\mathbb {F}_q^d$$ $F_q^d$be thed-dimensional vector space over the finite field withqelements. For a subset$$E\subseteq \mathbb {F}_q^d$$ $E\subseteq F_q^d$and a fixed nonzero$$t\in \mathbb {F}_q$$ $t\in F_q$, let$$\mathcal {H}_t(E)=\{h_y: y\in E\}$$ $H_t\left(E\right)=\{h_y:y\in E\}$, where$$h_y:E\rightarrow \{0,1\}$$ $h_y:E\to \{0,1\}$is the indicator function of the set$$\{x\in E: x\cdot y=t\}$$ $\{x\in E:x·y=t\}$. Two of the authors, with Maxwell Sun, showed in the case$$d=3$$ $d=3$that if$$|E|\ge Cq^{\frac{11}{4}}$$ $\left|E\right|\ge C{q}^{\frac{11}{4}}$andqis sufficiently large, then the VC-dimension of$$\mathcal {H}_t(E)$$ $H_t\left(E\right)$is 3. In this paper, we generalize the result to arbitrary dimension by showing that the VC-dimension of$$\mathcal {H}_t(E)$$ $H_t\left(E\right)$isdwhenever$$E\subseteq \mathbb {F}_q^d$$ $E\subseteq F_q^d$with$$|E|\ge C_d q^{d-\frac{1}{d-1}}$$ $\left|E\right|\ge C_d{q}^{d-\frac{1}{d-1}}$. 

   more » « less