More Like this

1. A cluster of results on amplituhedron tiles

   https://doi.org/10.1007/s11005-024-01854-4  

   Even-Zohar, Chaim; Lakrec, Tsviqa; Parisi, Matteo; Sherman-Bennett, Melissa; Tessler, Ran; Williams, Lauren (September 2024, Letters in Mathematical Physics)

   Abstract The amplituhedron is a mathematical object which was introduced to provide a geometric origin of scattering amplitudes in$$\mathcal {N}=4$$ $N=4$super Yang–Mills theory. It generalizescyclic polytopesand thepositive Grassmannianand has a very rich combinatorics with connections to cluster algebras. In this article, we provide a series of results about tiles and tilings of the$$m=4$$ $m=4$amplituhedron. Firstly, we provide a full characterization of facets of BCFW tiles in terms of cluster variables for$$\text{ Gr}_{4,n}$$ ${\text{Gr}}_{4,n}$. Secondly, we exhibit a tiling of the$$m=4$$ $m=4$amplituhedron which involves a tile which does not come from the BCFW recurrence—thespuriontile, which also satisfies all cluster properties. Finally, strengthening the connection with cluster algebras, we show that each standard BCFW tile is the positive part of a cluster variety, which allows us to compute the canonical form of each such tile explicitly in terms of cluster variables for$$\text{ Gr}_{4,n}$$ ${\text{Gr}}_{4,n}$. This paper is a companion to our previous paper “Cluster algebras and tilings for the$$m=4$$ $m=4$amplituhedron.” 

   more » « less
2. Characterizing Schwarz maps by tracial inequalities

   https://doi.org/10.1007/s11005-023-01636-4  

   Carlen, Eric; Müller-Hermes, Alexander (February 2023, Letters in Mathematical Physics)

   Abstract Let$$\phi $$ $\varphi$be a positive map from the$$n\times n$$ $n\times n$matrices$$\mathcal {M}_n$$ $M_n$to the$$m\times m$$ $m\times m$matrices$$\mathcal {M}_m$$ $M_m$. It is known that$$\phi $$ $\varphi$is 2-positive if and only if for all$$K\in \mathcal {M}_n$$ $K\in M_n$and all strictly positive$$X\in \mathcal {M}_n$$ $X\in M_n$,$$\phi (K^*X^{-1}K) \geqslant \phi (K)^*\phi (X)^{-1}\phi (K)$$ $\varphi \left(K^{\ast }{X}^{-1}K\right)⩾\varphi {\left(K\right)}^{\ast }\varphi {\left(X\right)}^{-1}\varphi \left(K\right)$. This inequality is not generally true if$$\phi $$ $\varphi$is merely a Schwarz map. We show that the corresponding tracial inequality$${{\,\textrm{Tr}\,}}[\phi (K^*X^{-1}K)] \geqslant {{\,\textrm{Tr}\,}}[\phi (K)^*\phi (X)^{-1}\phi (K)]$$ $\text{Tr}\left[\varphi \left(K^{\ast }{X}^{-1}K\right)\right]⩾\text{Tr}\left[\varphi {\left(K\right)}^{\ast }\varphi {\left(X\right)}^{-1}\varphi \left(K\right)\right]$holds for a wider class of positive maps that is specified here. We also comment on the connections of this inequality with various monotonicity statements that have found wide use in mathematical physics, and apply it, and a close relative, to obtain some new, definitive results. 

   more » « less
3. Equality Conditions for the Fractional Superadditive Volume Inequalities

   https://doi.org/10.1007/s00454-024-00672-8  

   Meyer, Mark (July 2025, Discrete & Computational Geometry)

   Abstract While studying set function properties of Lebesgue measure, F. Barthe and M. Madiman proved that Lebesgue measure is fractionally superadditive on compact sets in$$\mathbb {R}^n$$ $R^n$. In doing this they proved a fractional generalization of the Brunn–Minkowski–Lyusternik (BML) inequality in dimension$$n=1$$ $n=1$. In this paper we will prove the equality conditions for the fractional superadditive volume inequalites for any dimension. The non-trivial equality conditions are as follows. In the one-dimensional case we will show that for a fractional partition$$(\mathcal {G},\beta )$$ $(G,\beta )$and nonempty sets$$A_1,\dots ,A_m\subseteq \mathbb {R}$$ $A_1,\cdots ,A_m\subseteq R$, equality holds iff for each$$S\in \mathcal {G}$$ $S\in G$, the set$$\sum _{i\in S}A_i$$ ${\sum }_{i\in S}{A}_i$is an interval. In the case of dimension$$n\ge 2$$ $n\ge 2$we will show that equality can hold if and only if the set$$\sum _{i=1}^{m}A_i$$ ${\sum }_{i=1}^m{A}_i$has measure 0. 

   more » « less
4. Comprehensive analysis of local and nonlocal amplitudes in the B0 → K*0μ+μ− decay

   https://doi.org/10.1007/JHEP09(2024)026  

   Aaij, R; Abdelmotteleb, A_S W; Abellan_Beteta, C; Abudinén, F; Ackernley, T; Adefisoye, A A; Adeva, B; Adinolfi, M; Adlarson, P; Agapopoulou, C; et al (September 2024, Journal of High Energy Physics)

   A<sc>bstract</sc> A comprehensive study of the local and nonlocal amplitudes contributing to the decayB⁰→K^*0(→K⁺π⁻)μ⁺μ⁻is performed by analysing the phase-space distribution of the decay products. The analysis is based onppcollision data corresponding to an integrated luminosity of 8.4 fb⁻¹collected by the LHCb experiment. This measurement employs for the first time a model of both one-particle and two-particle nonlocal amplitudes, and utilises the complete dimuon mass spectrum without any veto regions around the narrow charmonium resonances. In this way it is possible to explicitly isolate the local and nonlocal contributions and capture the interference between them. The results show that interference with nonlocal contributions, although larger than predicted, only has a minor impact on the Wilson Coefficients determined from the fit to the data. For the local contributions, the Wilson Coefficient$$ {\mathcal{C}}_9 $$ $C_9$, responsible for vector dimuon currents, exhibits a 2.1σdeviation from the Standard Model expectation. The Wilson Coefficients$$ {\mathcal{C}}_{10} $$ $C_{10}$,$$ {\mathcal{C}}_9^{\prime } $$ $C_9^{\prime }$and$$ {\mathcal{C}}_{10}^{\prime } $$ $C_{10}^{\prime }$are all in better agreement than$$ {\mathcal{C}}_9 $$ $C_9$with the Standard Model and the global significance is at the level of 1.5σ. The model used also accounts for nonlocal contributions fromB⁰→ K^*0[τ⁺τ⁻→ μ⁺μ⁻] rescattering, resulting in the first direct measurement of thebsττvector effective-coupling$$ {\mathcal{C}}_{9\tau } $$ $C_{9\tau }$. 

   more » « less
5. Multipliers on bi-parameter Haar system Hardy spaces

   https://doi.org/10.1007/s00208-024-02887-9  

   Lechner, R.; Motakis, P.; Müller, P_F_X; Schlumprecht, Th (May 2024, Mathematische Annalen)

   Abstract Let$$(h_I)$$ $\left(h_I\right)$denote the standard Haar system on [0, 1], indexed by$$I\in \mathcal {D}$$ $I\in D$, the set of dyadic intervals and$$h_I\otimes h_J$$ $h_I\otimes h_J$denote the tensor product$$(s,t)\mapsto h_I(s) h_J(t)$$ $(s,t)\mapsto h_I\left(s\right)h_J\left(t\right)$,$$I,J\in \mathcal {D}$$ $I,J\in D$. We consider a class of two-parameter function spaces which are completions of the linear span$$\mathcal {V}(\delta ^2)$$ $V\left({\delta }^2\right)$of$$h_I\otimes h_J$$ $h_I\otimes h_J$,$$I,J\in \mathcal {D}$$ $I,J\in D$. This class contains all the spaces of the formX(Y), whereXandYare either the Lebesgue spaces$$L^p[0,1]$$ $L^p[0,1]$or the Hardy spaces$$H^p[0,1]$$ $H^p[0,1]$,$$1\le p < \infty $$ $1\le p<\infty$. We say that$$D:X(Y)\rightarrow X(Y)$$ $D:X\left(Y\right)\to X\left(Y\right)$is a Haar multiplier if$$D(h_I\otimes h_J) = d_{I,J} h_I\otimes h_J$$ $D(h_I\otimes h_J)=d_{I,J}{h}_I\otimes h_J$, where$$d_{I,J}\in \mathbb {R}$$ $d_{I,J}\in R$, and ask which more elementary operators factor throughD. A decisive role is played by theCapon projection$$\mathcal {C}:\mathcal {V}(\delta ^2)\rightarrow \mathcal {V}(\delta ^2)$$ $C:V\left({\delta }^2\right)\to V\left({\delta }^2\right)$given by$$\mathcal {C} h_I\otimes h_J = h_I\otimes h_J$$ $C{h}_I\otimes h_J=h_I\otimes h_J$if$$|I|\le |J|$$ $\left|I\right|\le \left|J\right|$, and$$\mathcal {C} h_I\otimes h_J = 0$$ $C{h}_I\otimes h_J=0$if$$|I| > |J|$$ $\left|I\right|>\left|J\right|$, as our main result highlights: Given any bounded Haar multiplier$$D:X(Y)\rightarrow X(Y)$$ $D:X\left(Y\right)\to X\left(Y\right)$, there exist$$\lambda ,\mu \in \mathbb {R}$$ $\lambda ,\mu \in R$such that$$\begin{aligned} \lambda \mathcal {C} + \mu ({{\,\textrm{Id}\,}}-\mathcal {C})\text { approximately 1-projectionally factors through }D, \end{aligned}$$ $\begin{array}{c}\lambda C+\mu (\text{Id}-C)\text{approximately 1-projectionally factors through}D,\end{array}$i.e., for all$$\eta > 0$$ $\eta >0$, there exist bounded operatorsA, Bso thatABis the identity operator$${{\,\textrm{Id}\,}}$$ $\text{Id}$,$$\Vert A\Vert \cdot \Vert B\Vert = 1$$ $\Vert A\Vert ·\Vert B\Vert =1$and$$\Vert \lambda \mathcal {C} + \mu ({{\,\textrm{Id}\,}}-\mathcal {C}) - ADB\Vert < \eta $$ $\Vert \lambda C+\mu (\text{Id}-C)-ADB\Vert <\eta$. Additionally, if$$\mathcal {C}$$ $C$is unbounded onX(Y), then$$\lambda = \mu $$ $\lambda =\mu$and then$${{\,\textrm{Id}\,}}$$ $\text{Id}$either factors throughDor$${{\,\textrm{Id}\,}}-D$$ $\text{Id}-D$. 

   more » « less