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: Ricci flow does not preserve positive sectional curvature in dimension four
Abstract We find examples of cohomogeneity one metrics on$$S^4$$ S 4 and$$\mathbb {C}P^2$$ C P 2 with positive sectional curvature that lose this property when evolved via Ricci flow. These metrics are arbitrarily small perturbations of Grove–Ziller metrics with flat planes that become instantly negatively curved under Ricci flow.  more » « less
Award ID(s):
2142575 1904342
PAR ID:
10378857
Author(s) / Creator(s):
;
Publisher / Repository:
Springer Science + Business Media
Date Published:
Journal Name:
Calculus of Variations and Partial Differential Equations
Volume:
62
Issue:
1
ISSN:
0944-2669
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. 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
  2. Abstract We report on a measurement of Spin Density Matrix Elements (SDMEs) in hard exclusive$$\rho ^0$$ ρ 0 meson muoproduction at COMPASS using 160 GeV/cpolarised$$ \mu ^{+}$$ μ + and$$ \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 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 T the transverse momentum of the$$\rho ^0$$ ρ 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$$ γ T 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$$ ρ 0 production. 
    more » « less
  3. Abstract We show that there exists a quantity, depending only on C 0 C^{0}data of a Riemannian metric, that agrees with the usual ADM mass at infinity whenever the ADM mass exists, but has a well-defined limit at infinity for any continuous Riemannian metric that is asymptotically flat in the C 0 C^{0}sense and has nonnegative scalar curvature in the sense of Ricci flow.Moreover, the C 0 C^{0}mass at infinity is independent of choice of C 0 C^{0}-asymptotically flat coordinate chart, and the C 0 C^{0}local mass has controlled distortion under Ricci–DeTurck flow when coupled with a suitably evolving test function. 
    more » « less
  4. Agricola, Ilka; Bögelein, Verena (Ed.)
    Abstract Murphy and the second author showed that a generic closed Riemannian manifold has no totally geodesic submanifolds, provided the ambient space is at least four dimensional. Lytchak and Petrunin established a similar result in dimension 3. For the higher dimensional result, the “generic set” is open and dense in the$$C^{q}$$ C q –topology for any$$q\ge 2.$$ q 2 . In Lytchak and Petrunin’s work, the “generic set” is a dense$$G_{\delta }$$ G δ in the$$C^{q}$$ C q –topology for any$$q\ge 2.$$ q 2 . Here we show that the set of such metrics on a compact 3–manifold actually contains a set that is that is open and dense set in the$$C^{q}$$ C q –topology, provided$$q\ge 3.$$ q 3 .  
    more » « less
  5. Abstract We propose a generic compiler that can convert any zero-knowledge (ZK) proof for SIMD circuits to general circuits efficiently, and an extension that can preserve the space complexity of the proof systems. Our compiler can immediately produce new results improving upon state of the art.By plugging in our compiler to Antman, an interactive sublinear-communication protocol, we improve the overall communication complexity for general circuits from$$\mathcal {O}(C^{3/4})$$ O ( C 3 / 4 ) to$$\mathcal {O}(C^{1/2})$$ O ( C 1 / 2 ) . Our implementation shows that for a circuit of size$$2^{27}$$ 2 27 , it achieves up to$$83.6\times $$ 83.6 × improvement on communication compared to the state-of-the-art implementation. Its end-to-end running time is at least$$70\%$$ 70 % faster in a 10Mbps network.Using the recent results on compressed$$\varSigma $$ Σ -protocol theory, we obtain a discrete-log-based constant-round zero-knowledge argument with$$\mathcal {O}(C^{1/2})$$ O ( C 1 / 2 ) communication and common random string length, improving over the state of the art that has linear-size common random string and requires heavier computation.We improve the communication of a designatedn-verifier zero-knowledge proof from$$\mathcal {O}(nC/B+n^2B^2)$$ O ( n C / B + n 2 B 2 ) to$$\mathcal {O}(nC/B+n^2)$$ O ( n C / B + n 2 ) .To demonstrate the scalability of our compilers, we were able to extract a commit-and-prove SIMD ZK from Ligero and cast it in our framework. We also give one instantiation derived from LegoSNARK, demonstrating that the idea of CP-SNARK also fits in our methodology. 
    more » « less