More Like this

1. 3D Mirror Symmetry for Instanton Moduli Spaces

   https://doi.org/10.1007/s00220-023-04831-5  

   Koroteev, Peter ; Zeitlin, Anton M. ( September 2023 , Communications in Mathematical Physics)

   We prove that the Hilbert scheme ofkpoints on$${\mathbb {C}}^2$$$C^2$($$\hbox {Hilb}^k[{\mathbb {C}}^2]$$${\text{Hilb}}^k\left[C^2\right]$) is self-dual under three-dimensional mirror symmetry using methods of geometry and integrability. Namely, we demonstrate that the corresponding quantum equivariant K-theory is invariant upon interchanging its Kähler and equivariant parameters as well as inverting the weight of the$${\mathbb {C}}^\times _\hbar $$$C_{ħ}^{\times }$-action. First, we find a two-parameter family$$X_{k,l}$$$X_{k,l}$of self-mirror quiver varieties of type A and study their quantum K-theory algebras. The desired quantum K-theory of$$\hbox {Hilb}^k[{\mathbb {C}}^2]$$${\text{Hilb}}^k\left[C^2\right]$is obtained via direct limit$$l\longrightarrow \infty $$$l⟶\infty$and by imposing certain periodic boundary conditions on the quiver data. Throughout the proof, we employ the quantum/classical (q-Langlands) correspondence between XXZ Bethe Ansatz equations and spaces of twisted$$\hbar $$$ħ$-opers. In the end, we propose the 3d mirror dual for the moduli spaces of torsion-free rank-Nsheaves on$${\mathbb {P}}^2$$$P^2$with the help of a different (three-parametric) family of type A quiver varieties with known mirror dual.

    

   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)

   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)

   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. 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)

   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. Enumeration of Rooted Binary Unlabeled Galled Trees

   https://doi.org/10.1007/s11538-024-01270-8  

   Agranat-Tamir, Lily ; Mathur, Shaili ; Rosenberg, Noah A. ( March 2024 , Bulletin of Mathematical Biology)

   Rooted binarygalledtrees generalize rooted binary trees to allow a restricted class of cycles, known asgalls. We build upon the Wedderburn-Etherington enumeration of rooted binary unlabeled trees withnleaves to enumerate rooted binary unlabeled galled trees withnleaves, also enumerating rooted binary unlabeled galled trees withnleaves andggalls,$$0 \leqslant g \leqslant \lfloor \frac{n-1}{2} \rfloor $$$0⩽g⩽\lfloor \frac{n-1}{2}\rfloor$. The enumerations rely on a recursive decomposition that considers subtrees descended from the nodes of a gall, adopting a restriction on galls that amounts to considering only the rooted binarynormalunlabeled galled trees in our enumeration. We write an implicit expression for the generating function encoding the numbers of trees for alln. We show that the number of rooted binary unlabeled galled trees grows with$$0.0779(4.8230^n)n^{-\frac{3}{2}}$$$0.0779(4.{8230}^n)n^{-\frac{3}{2}}$, exceeding the growth$$0.3188(2.4833^n)n^{-\frac{3}{2}}$$$0.3188(2.{4833}^n)n^{-\frac{3}{2}}$of the number of rooted binary unlabeled trees without galls. However, the growth of the number of galled trees with only one gall has the same exponential order 2.4833 as the number with no galls, exceeding it only in the subexponential term,$$0.3910n^{\frac{1}{2}}$$$0.3910n^{\frac{1}{2}}$compared to$$0.3188n^{-\frac{3}{2}}$$$0.3188n^{-\frac{3}{2}}$. For a fixed number of leavesn, the number of gallsgthat produces the largest number of rooted binary unlabeled galled trees lies intermediate between the minimum of$$g=0$$$g=0$and the maximum of$$g=\lfloor \frac{n-1}{2} \rfloor $$$g=\lfloor \frac{n-1}{2}\rfloor$. We discuss implications in mathematical phylogenetics.

    

   more » « less