skip to main content
US FlagAn official website of the United States government
dot gov icon
Official websites use .gov
A .gov website belongs to an official government organization in the United States.
https lock icon
Secure .gov websites use HTTPS
A lock ( lock ) or https:// means you've safely connected to the .gov website. Share sensitive information only on official, secure websites.


Title: Conformally Prescribed Scalar Curvature on Orbifolds
Abstract We study the prescribed scalar curvature problem in a conformal class on orbifolds with isolated singularities. We prove a compactness theorem in dimension 4, and an existence theorem which holds in dimensions$$n \ge 4$$ n 4 . This problem is more subtle than the manifold case since the positive mass theorem does not hold for ALE metrics in general. We also determine the$$\textrm{U}(2)$$ U ( 2 ) -invariant Leray–Schauder degree for a family of negative-mass orbifolds found by LeBrun.  more » « less
Award ID(s):
2105478
PAR ID:
10379767
Author(s) / Creator(s):
;
Publisher / Repository:
Springer Science + Business Media
Date Published:
Journal Name:
Communications in Mathematical Physics
Volume:
398
Issue:
2
ISSN:
0010-3616
Page Range / eLocation ID:
p. 877-923
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. Abstract A model based on a$$U(1)_{T^3_R}$$ U ( 1 ) T R 3 extension of the Standard Model can address the mass hierarchy between generations of fermions, explain thermal dark matter abundance, and the muon$$g - 2$$ g - 2 ,$$R_{(D)}$$ R ( D ) , and$$R_{(D^*)}$$ R ( D ) anomalies. The model contains a light scalar boson$$\phi '$$ ϕ and a heavy vector-like quark$$\chi _\textrm{u}$$ χ u that can be probed at CERN’s large hadron collider (LHC). We perform a phenomenology study on the production of$$\phi '$$ ϕ and$${\chi }_u$$ χ u particles from proton–proton$$(\textrm{pp})$$ ( pp ) collisions at the LHC at$$\sqrt{s}=13.6$$ s = 13.6 TeV, primarily through$$g{-g}$$ g - g and$$t{-\chi _\textrm{u}}$$ t - χ u fusion. We work under a simplified model approach and directly take the$$\chi _\textrm{u}$$ χ u and$$\phi '$$ ϕ masses as free parameters. We perform a phenomenological analysis considering$$\chi _\textrm{u}$$ χ u final states to b-quarks, muons, and neutrinos, and$$\phi '$$ ϕ decays to$$\mu ^+\mu ^-$$ μ + μ - . A machine learning algorithm is used to maximize the signal sensitivity, considering an integrated luminosity of 3000$$\text {fb}^{-1}$$ fb - 1 . The proposed methodology can be a key mode for discovery over a large mass range, including low masses, traditionally considered difficult due to experimental constraints. 
    more » « less
  2. Abstract In a Merlin–Arthur proof system, the proof verifier (Arthur) accepts valid proofs (from Merlin) with probability 1, and rejects invalid proofs with probability arbitrarily close to 1. The running time of such a system is defined to be the length of Merlin’s proof plus the running time of Arthur. We provide new Merlin–Arthur proof systems for some key problems in fine-grained complexity. In several cases our proof systems have optimal running time. Our main results include:Certifying that a list ofnintegers has no 3-SUM solution can be done in Merlin–Arthur time$$\tilde{O}(n)$$ O ~ ( n ) . Previously, Carmosino et al. [ITCS 2016] showed that the problem has a nondeterministic algorithm running in$$\tilde{O}(n^{1.5})$$ O ~ ( n 1.5 ) time (that is, there is a proof system with proofs of length$$\tilde{O}(n^{1.5})$$ O ~ ( n 1.5 ) and a deterministic verifier running in$$\tilde{O}(n^{1.5})$$ O ~ ( n 1.5 ) time).Counting the number ofk-cliques with total edge weight equal to zero in ann-node graph can be done in Merlin–Arthur time$${\tilde{O}}(n^{\lceil k/2\rceil })$$ O ~ ( n k / 2 ) (where$$k\ge 3$$ k 3 ). For oddk, this bound can be further improved for sparse graphs: for example, counting the number of zero-weight triangles in anm-edge graph can be done in Merlin–Arthur time$${\tilde{O}}(m)$$ O ~ ( m ) . Previous Merlin–Arthur protocols by Williams [CCC’16] and Björklund and Kaski [PODC’16] could only countk-cliques in unweighted graphs, and had worse running times for smallk.Computing the All-Pairs Shortest Distances matrix for ann-node graph can be done in Merlin–Arthur time$$\tilde{O}(n^2)$$ O ~ ( n 2 ) . Note this is optimal, as the matrix can have$$\Omega (n^2)$$ Ω ( n 2 ) nonzero entries in general. Previously, Carmosino et al. [ITCS 2016] showed that this problem has an$$\tilde{O}(n^{2.94})$$ O ~ ( n 2.94 ) nondeterministic time algorithm.Certifying that ann-variablek-CNF is unsatisfiable can be done in Merlin–Arthur time$$2^{n/2 - n/O(k)}$$ 2 n / 2 - n / O ( k ) . We also observe an algebrization barrier for the previous$$2^{n/2}\cdot \textrm{poly}(n)$$ 2 n / 2 · poly ( n ) -time Merlin–Arthur protocol of R. Williams [CCC’16] for$$\#$$ # SAT: in particular, his protocol algebrizes, and we observe there is no algebrizing protocol fork-UNSAT running in$$2^{n/2}/n^{\omega (1)}$$ 2 n / 2 / n ω ( 1 ) time. Therefore we have to exploit non-algebrizing properties to obtain our new protocol.Certifying a Quantified Boolean Formula is true can be done in Merlin–Arthur time$$2^{4n/5}\cdot \textrm{poly}(n)$$ 2 4 n / 5 · poly ( n ) . Previously, the only nontrivial result known along these lines was an Arthur–Merlin–Arthur protocol (where Merlin’s proof depends on some of Arthur’s coins) running in$$2^{2n/3}\cdot \textrm{poly}(n)$$ 2 2 n / 3 · poly ( n ) time.Due to the centrality of these problems in fine-grained complexity, our results have consequences for many other problems of interest. For example, our work implies that certifying there is no Subset Sum solution tonintegers can be done in Merlin–Arthur time$$2^{n/3}\cdot \textrm{poly}(n)$$ 2 n / 3 · poly ( n ) , improving on the previous best protocol by Nederlof [IPL 2017] which took$$2^{0.49991n}\cdot \textrm{poly}(n)$$ 2 0.49991 n · poly ( n ) time. 
    more » « less
  3. 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}$$ 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}$$ 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
  4. Abstract The elliptic flow$$(v_2)$$ ( v 2 ) of$${\textrm{D}}^{0}$$ D 0 mesons from beauty-hadron decays (non-prompt$${\textrm{D}}^{0})$$ 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$$ s NN = 5.02  TeV with the ALICE detector at the LHC. The$${\textrm{D}}^{0}$$ D 0 mesons were reconstructed at midrapidity$$(|y|<0.8)$$ ( | y | < 0.8 ) from their hadronic decay$$\mathrm {D^0 \rightarrow K^-\uppi ^+}$$ D 0 K - π + , in the transverse momentum interval$$2< p_{\textrm{T}} < 12$$ 2 < p T < 12  GeV/c. The result indicates a positive$$v_2$$ v 2 for non-prompt$${{\textrm{D}}^{0}}$$ D 0 mesons with a significance of 2.7$$\sigma $$ σ . The non-prompt$${{\textrm{D}}^{0}}$$ D 0 -meson$$v_2$$ v 2 is lower than that of prompt non-strange D mesons with 3.2$$\sigma $$ σ significance in$$2< p_\textrm{T} < 8~\textrm{GeV}/c$$ 2 < p T < 8 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. 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}$$ t u ( t , x ) = 1 2 x 2 u ( t , x ) + b ( u ( t , x ) ) + σ ( u ( t , x ) ) W ˙ ( t , x ) , defined for$$(t,x)\in (0,\infty )\times {\mathbb {R}}$$ ( t , x ) ( 0 , ) × R , where$${\dot{W}}$$ W ˙ denotes space-time white noise. The function$$\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}$$ 1 d y b ( y ) < 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.$$ P { u ( t , x ) = for all t > 0 and x 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