More Like this

1. From approximate to exact integer programming

   https://doi.org/10.1007/s10107-024-02084-1  

   Dadush, Daniel ; Eisenbrand, Friedrich ; Rothvoss, Thomas ( April 2024 , Mathematical Programming)

   Approximate integer programming is the following: For a given convex body$$K \subseteq {\mathbb {R}}^n$$$K\subseteq R^n$, either determine whether$$K \cap {\mathbb {Z}}^n$$$K\cap Z^n$is empty, or find an integer point in the convex body$$2\cdot (K - c) +c$$$2·(K-c)+c$which isK, scaled by 2 from its center of gravityc. Approximate integer programming can be solved in time$$2^{O(n)}$$$2^{O\left(n\right)}$while the fastest known methods for exact integer programming run in time$$2^{O(n)} \cdot n^n$$$2^{O\left(n\right)}·n^n$. So far, there are no efficient methods for integer programming known that are based on approximate integer programming. Our main contribution are two such methods, each yielding novel complexity results. First, we show that an integer point$$x^* \in (K \cap {\mathbb {Z}}^n)$$$x^{\ast }\in (K\cap Z^n)$can be found in time$$2^{O(n)}$$$2^{O\left(n\right)}$, provided that theremaindersof each component$$x_i^* \mod \ell $$$x_i^{\ast }mod\ell$for some arbitrarily fixed$$\ell \ge 5(n+1)$$$\ell \ge 5(n+1)$of$$x^*$$$x^{\ast }$are given. The algorithm is based on acutting-plane technique, iteratively halving the volume of the feasible set. The cutting planes are determined via approximate integer programming. Enumeration of the possible remainders gives a$$2^{O(n)}n^n$$$2^{O\left(n\right)}{n}^n$algorithm for general integer programming. This matches the current best bound of an algorithm by Dadush (Integer programming, lattice algorithms, and deterministic, vol. Estimation. Georgia Institute of Technology, Atlanta, 2012) that is considerably more involved. Our algorithm also relies on a newasymmetric approximate Carathéodory theoremthat might be of interest on its own. Our second method concerns integer programming problems in equation-standard form$$Ax = b, 0 \le x \le u, \, x \in {\mathbb {Z}}^n$$$Ax=b,0\le x\le u,x\in Z^n$. Such a problem can be reduced to the solution of$$\prod _i O(\log u_i +1)$$${\prod }_{i}O(log{u}_i+1)$approximate integer programming problems. This implies, for example thatknapsackorsubset-sumproblems withpolynomial variable range$$0 \le x_i \le p(n)$$$0\le x_i\le p\left(n\right)$can be solved in time$$(\log n)^{O(n)}$$${(logn)}^{O\left(n\right)}$. For these problems, the best running time so far was$$n^n \cdot 2^{O(n)}$$$n^n·2^{O\left(n\right)}$.

    

   more » « less
2. 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
3. Monotone Nondecreasing Sequences of the Euler Totient Function

   https://doi.org/10.1007/s44007-024-00115-z  

   Tao, Terence ( May 2024 , La Matematica)

   LetM(x) denote the largest cardinality of a subset of$$\{n \in \mathbb {N}: n \le x\}$$$\{n\in N:n\le x\}$on which the Euler totient function$$\varphi (n)$$$\phi \left(n\right)$is nondecreasing. We show that$$M(x) = \left( 1+O\left( \frac{(\log \log x)^5}{\log x}\right) \right) \pi (x)$$$M\left(x\right)=\left(1,+,O,\left(\frac{{(loglogx)}^5}{logx}\right)\right)\pi \left(x\right)$for all$$x \ge 10$$$x\ge 10$, answering questions of Erdős and Pollack–Pomerance–Treviño. A similar result is also obtained for the sum of divisors function$$\sigma (n)$$$\sigma \left(n\right)$.

    

   more » « less
4. Measurements of the associated production of a W boson and a charm quark in proton–proton collisions at $$\sqrt{s}=8\,\text {TeV} $$

   https://doi.org/10.1140/epjc/s10052-022-10897-7  

   Tumasyan, A. ; Adam, W. ; Bergauer, T. ; Dragicevic, M. ; Erö, J. ; Valle, A. Escalante ; Frühwirth, R. ; Jeitler, M. ; Krammer, N. ; Lechner, L. ; et al ( December 2022 , The European Physical Journal C)

   Measurements of the associated production of a W boson and a charm ($${\text {c}}$$$\text{c}$) quark in proton–proton collisions at a centre-of-mass energy of 8$$\,\text {TeV}$$$\text{TeV}$are reported. The analysis uses a data sample corresponding to a total integrated luminosity of 19.7$$\,\text {fb}^{-1}$$${\text{fb}}^{-1}$collected by the CMS detector at the LHC. The W bosons are identified through their leptonic decays to an electron or a muon, and a neutrino. Charm quark jets are selected using distinctive signatures of charm hadron decays. The product of the cross section and branching fraction$$\sigma (\text {p}\text {p}\rightarrow \text {W}+ {\text {c}}+ \text {X}) {\mathcal {B}}(\text {W}\rightarrow \ell \upnu )$$$\sigma (\text{pp}\to \text{W}+\text{c}+\text{X})B(\text{W}\to \ell \nu )$, where$$\ell = \text {e}$$$\ell =\text{e}$or$$\upmu $$$\mu$, and the cross section ratio$$\sigma (\text {p}\text {p}\rightarrow {{\text {W}}^{+} + \bar{{\text {c}}} + \text {X}}) / \sigma (\text {p}\text {p}\rightarrow {{\text {W}}^{-} + {\text {c}}+ \text {X}})$$$\sigma (\text{pp}\to {\text{W}}^{+}+\overline{\text{c}}+\text{X})/\sigma (\text{pp}\to {\text{W}}^{-}+\text{c}+\text{X})$are measured in a fiducial volume and differentially as functions of the pseudorapidity and of the transverse momentum of the lepton from the W boson decay. The results are compared with theoretical predictions. The impact of these measurements on the determination of the strange quark distribution is assessed.

    

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