More Like this

1. Counterexamples to maximal regularity for operators in divergence form

   https://doi.org/10.1007/s00013-024-02014-9  

   Bechtel, Sebastian; Mooney, Connor; Veraar, Mark (August 2024, Archiv der Mathematik)

   Abstract In this paper, we present counterexamples to maximal$$L^p$$ $L^p$-regularity for a parabolic PDE. The example is a second-order operator in divergence form with space and time-dependent coefficients. It is well-known from Lions’ theory that such operators admit maximal$$L^2$$ $L^2$-regularity on$$H^{-1}$$ $H^{-1}$under a coercivity condition on the coefficients, and without any regularity conditions in time and space. We show that in general one cannot expect maximal$$L^p$$ $L^p$-regularity on$$H^{-1}(\mathbb {R}^d)$$ $H^{-1}\left(R^d\right)$or$$L^2$$ $L^2$-regularity on$$L^2(\mathbb {R}^d)$$ $L^2\left(R^d\right)$. 

   more » « less
2. Undecidable Translational Tilings with Only Two Tiles, or One Nonabelian Tile

   https://doi.org/10.1007/s00454-022-00426-4  

   Greenfeld, Rachel; Tao, Terence (January 2023, Discrete & Computational Geometry)

   Abstract We construct an example of a group$$G = \mathbb {Z}^2 \times G_0$$ $G=Z^2\times G_0$for a finite abelian group $$G_0$$ $G_0$, a subsetEof $$G_0$$ $G_0$, and two finite subsets$$F_1,F_2$$ $F_1,F_2$of G, such that it is undecidable in ZFC whether$$\mathbb {Z}^2\times E$$ $Z^2\times E$can be tiled by translations of$$F_1,F_2$$ $F_1,F_2$. In particular, this implies that this tiling problem isaperiodic, in the sense that (in the standard universe of ZFC) there exist translational tilings ofEby the tiles$$F_1,F_2$$ $F_1,F_2$, but no periodic tilings. Previously, such aperiodic or undecidable translational tilings were only constructed for sets of eleven or more tiles (mostly in $$\mathbb {Z}^2$$ $Z^2$). A similar construction also applies for$$G=\mathbb {Z}^d$$ $G=Z^d$for sufficiently large d. If one allows the group$$G_0$$ $G_0$to be non-abelian, a variant of the construction produces an undecidable translational tiling with only one tile F. The argument proceeds by first observing that a single tiling equation is able to encode an arbitrary system of tiling equations, which in turn can encode an arbitrary system of certain functional equations once one has two or more tiles. In particular, one can use two tiles to encode tiling problems for an arbitrary number of tiles. 

   more » « less
3. Green function estimates on complements of low-dimensional uniformly rectifiable sets

   https://doi.org/10.1007/s00208-022-02379-8  

   David, Guy; Feneuil, Joseph; Mayboroda, Svitlana (March 2022, Mathematische Annalen)

   Abstract It has been recently established in David and Mayboroda (Approximation of green functions and domains with uniformly rectifiable boundaries of all dimensions.arXiv:2010.09793) that on uniformly rectifiable sets the Green function is almost affine in the weak sense, and moreover, in some scenarios such Green function estimates are equivalent to the uniform rectifiability of a set. The present paper tackles a strong analogue of these results, starting with the “flagship degenerate operators on sets with lower dimensional boundaries. We consider the elliptic operators$$L_{\beta ,\gamma } =- {\text {div}}D^{d+1+\gamma -n} \nabla $$ $L_{\beta ,\gamma }=-\text{div}{D}^{d+1+\gamma -n}\nabla$associated to a domain$$\Omega \subset {\mathbb {R}}^n$$ $\Omega \subset R^n$with a uniformly rectifiable boundary$$\Gamma $$ $\Gamma$of dimension$$d < n-1$$ $d<n-1$, the now usual distance to the boundary$$D = D_\beta $$ $D=D_{\beta }$given by$$D_\beta (X)^{-\beta } = \int _{\Gamma } |X-y|^{-d-\beta } d\sigma (y)$$ $D_{\beta }{\left(X\right)}^{-\beta }={\int }_{\Gamma }{|X-y|}^{-d-\beta }d\sigma \left(y\right)$for$$X \in \Omega $$ $X\in \Omega$, where$$\beta >0$$ $\beta >0$and$$\gamma \in (-1,1)$$ $\gamma \in (-1,1)$. In this paper we show that the Green functionGfor$$L_{\beta ,\gamma }$$ $L_{\beta ,\gamma }$, with pole at infinity, is well approximated by multiples of$$D^{1-\gamma }$$ $D^{1-\gamma }$, in the sense that the function$$\big | D\nabla \big (\ln \big ( \frac{G}{D^{1-\gamma }} \big )\big )\big |^2$$ $|D\nabla (ln(\frac{G}{D^{1-\gamma }})){|}^2$satisfies a Carleson measure estimate on$$\Omega $$ $\Omega$. We underline that the strong and the weak results are different in nature and, of course, at the level of the proofs: the latter extensively used compactness arguments, while the present paper relies on some intricate integration by parts and the properties of the “magical distance function from David et al. (Duke Math J, to appear). 

   more » « less
4. Measurement of non-prompt $${{\textrm{D}}^{0}}$$-meson elliptic flow in Pb–Pb collisions at $$\sqrt{s_{\textrm{NN}}} = 5.02$$ TeV

   https://doi.org/10.1140/epjc/s10052-023-12259-3  

   Acharya, S; Adamová, D; Aglieri_Rinella, G; Agnello, M; Agrawal, N; Ahammed, Z; Ahmad, S; Ahn, S U; Ahuja, I; Akindinov, A; et al (December 2023, The European Physical Journal C)

   Abstract The elliptic flow$$(v_2)$$ $\left(v_2\right)$of$${\textrm{D}}^{0}$$ ${\text{D}}^0$mesons from beauty-hadron decays (non-prompt$${\textrm{D}}^{0})$$ ${\text{D}}^0)$was measured in midcentral (30–50%) Pb–Pb collisions at a centre-of-mass energy per nucleon pair$$\sqrt{s_{\textrm{NN}}} = 5.02$$ $\sqrt{s_{\text{NN}}}=5.02$ TeV with the ALICE detector at the LHC. The$${\textrm{D}}^{0}$$ ${\text{D}}^0$mesons were reconstructed at midrapidity$$(|y|<0.8)$$ $\left(\right|y|<0.8)$from their hadronic decay$$\mathrm {D^0 \rightarrow K^-\uppi ^+}$$ $D^0\to K^{-}{\pi }^{+}$, in the transverse momentum interval$$2< p_{\textrm{T}} < 12$$ $2<p_{\text{T}}<12$ GeV/c. The result indicates a positive$$v_2$$ $v_2$for non-prompt$${{\textrm{D}}^{0}}$$ ${\text{D}}^0$mesons with a significance of 2.7$$\sigma $$ $\sigma$. The non-prompt$${{\textrm{D}}^{0}}$$ ${\text{D}}^0$-meson$$v_2$$ $v_2$is lower than that of prompt non-strange D mesons with 3.2$$\sigma $$ $\sigma$significance in$$2< p_\textrm{T} < 8~\textrm{GeV}/c$$ $2<p_{\text{T}}<8\text{GeV}/c$, and compatible with the$$v_2$$ $v_2$of beauty-decay electrons. Theoretical calculations of beauty-quark transport in a hydrodynamically expanding medium describe the measurement within uncertainties. 

   more » « less
5. 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