AMOC Recovery in a Multicentennial Scenario Using a Coupled Atmosphere‐Ocean‐Ice Sheet Model

We simulate the two Coupled Model Intercomparison Project scenarios RCP4.5 and RCP8.5, to assess the effects of melt‐induced fresh water on the Atlantic meridional overturning circulation (AMOC). We use a newly developed climate model with high resolution at the coasts, resolving the complex ocean dynamics. Our results show an AMOC recovery in simulations run with and without an included ice sheet model. We find that the ice sheet adds a strong decadal variability on the freshwater release, resulting in intervals in which it reduces the surface runoff by high accumulation rates. This compensating effect is missing in climate models without dynamic ice sheets. Therefore, we argue to assess those freshwater hosing experiments critically, which aim to parameterize Greenland's freshwater release. We assume the increasing net evaporation over the Atlantic and the resulting increase in ocean salinity, to be the main driver of the AMOC recovery

A view of canonical extension

This is a short survey illustrating some of the essential aspects of the theory of canonical extensions. In addition some topological results about canonical extensions of lattices with additional operations in finitely generated varieties are given. In particular, they are doubly algebraic lattices and their interval topologies agree with their double Scott topologies and make them Priestley topological algebras.Comment: 24 pages, 2 figures. Presented at the Eighth International Tbilisi Symposium on Language, Logic and Computation Bakuriani, Georgia, September 21-25 200

Tuning independently Fermi energy and spin splitting in Rashba systems: Ternary surface alloys on Ag(111)

By detailed first-principles calculations we show that the Fermi energy and the Rashba splitting in disordered ternary surface alloys (BiPbSb)/Ag(111) can be independently tuned by choosing the concentrations of Bi and Pb. The findings are explained by three fundamental mechanisms, namely the relaxation of the adatoms, the strength of the atomic spin-orbit coupling, and band filling. By mapping the Rashba characteristics,i.e.the splitting and the Rashba energy, and the Fermi energy of the surface states in the complete range of concentrations. Our results suggest to investigate experimentally effects which rely on the Rashba spin-orbit coupling in dependence on spin-orbit splitting and band filling.Comment: 11 pages, 3 figure

Brief communication: An ice surface melt scheme including the diurnal cycle of solar radiation

We propose a surface melt scheme for glaciated land surfaces, which only requires monthly mean short-wave radiation and temperature as inputs, yet implicitly accounts for the diurnal cycle of short-wave radiation. The scheme is deduced from the energy balance of a daily melt period, which is defined by a minimum solar elevation angle. The scheme yields a better spatial representation of melting than common empirical schemes when applied to the Greenland Ice Sheet, using a 1948–2016 regional climate and snowpack simulation as a reference. The scheme is physically constrained and can be adapted to other regions or time periods.</p

Complete partial metric spaces have partially metrizable computational models

We show that the domain of formal balls of a complete partial metric space (X, p) can be endowed with a complete partial metric that extends p and induces the Scott topology. This result, that generalizes well-known constructions of Edalat and Heckmann [A computational model for metric spaces, Theoret. Comput. Sci. 193 (1998), pp. 53-73] and Heckmann [Approximation of metric spaces by partial metric spaces, Appl. Cat. Struct. 7 (1999), pp. 71-83] for metric spaces and improves a recent result of Romaguera and Valero [A quantitative computational model for complete partial metric spaces via formal balls, Math. Struct. Comput. Sci. 19 (2009), pp. 541-563], motivates a notion of a partially metrizable computational model which allows us to characterize those topological spaces that admit a compatible complete partial metric via this model.The authors acknowledge the support of the Spanish Ministry of Science and Innovation, under grant MTM2009-12872-C02-01.Romaguera Bonilla, S.; Tirado Peláez, P.; Valero Sierra, Ó. (2012). Complete partial metric spaces have partially metrizable computational models. International Journal of Computer Mathematics. 89(3):284-290. https://doi.org/10.1080/00207160.2011.559229S284290893ALI-AKBARI, M., HONARI, B., POURMAHDIAN, M., & REZAII, M. M. (2009). The space of formal balls and models of quasi-metric spaces. Mathematical Structures in Computer Science, 19(2), 337-355. doi:10.1017/s0960129509007439Edalat, A., & Heckmann, R. (1998). A computational model for metric spaces. Theoretical Computer Science, 193(1-2), 53-73. doi:10.1016/s0304-3975(96)00243-5Edalat, A., & Sünderhauf, P. (1999). Computable Banach spaces via domain theory. Theoretical Computer Science, 219(1-2), 169-184. doi:10.1016/s0304-3975(98)00288-6Flagg, B., & Kopperman, R. (1997). Computational Models for Ultrametric Spaces. Electronic Notes in Theoretical Computer Science, 6, 151-159. doi:10.1016/s1571-0661(05)80164-1Heckmann, R. (1999). Applied Categorical Structures, 7(1/2), 71-83. doi:10.1023/a:1008684018933Kopperman, R., Künzi, H.-P. A., & Waszkiewicz, P. (2004). Bounded complete models of topological spaces. Topology and its Applications, 139(1-3), 285-297. doi:10.1016/j.topol.2003.12.001Krötzsch, M. (2006). Generalized ultrametric spaces in quantitative domain theory. Theoretical Computer Science, 368(1-2), 30-49. doi:10.1016/j.tcs.2006.05.037Künzi, H.-P. A. (2001). Nonsymmetric Distances and Their Associated Topologies: About the Origins of Basic Ideas in the Area of Asymmetric Topology. History of Topology, 853-968. doi:10.1007/978-94-017-0470-0_3LAWSON, J. (1997). Spaces of maximal points. Mathematical Structures in Computer Science, 7(5), 543-555. doi:10.1017/s0960129597002363Martin, K. (1998). Domain theoretic models of topological spaces. Electronic Notes in Theoretical Computer Science, 13, 173-181. doi:10.1016/s1571-0661(05)80221-xMatthews, S. G.Partial metric topology. Procedings of the 8th Summer Conference on General Topology and Applications, Ann. New York Acad. Sci. 728 (1994), pp. 183–197Rodríguez-López, J., Romaguera, S., & Valero, O. (2008). Denotational semantics for programming languages, balanced quasi-metrics and fixed points. International Journal of Computer Mathematics, 85(3-4), 623-630. doi:10.1080/00207160701210653Romaguera, S., & Valero, O. (2009). A quasi-metric computational model from modular functions on monoids. International Journal of Computer Mathematics, 86(10-11), 1668-1677. doi:10.1080/00207160802691652ROMAGUERA, S., & VALERO, O. (2009). A quantitative computational model for complete partial metric spaces via formal balls. Mathematical Structures in Computer Science, 19(3), 541-563. doi:10.1017/s0960129509007671ROMAGUERA, S., & VALERO, O. (2010). Domain theoretic characterisations of quasi-metric completeness in terms of formal balls. Mathematical Structures in Computer Science, 20(3), 453-472. doi:10.1017/s0960129510000010Rutten, J. J. M. M. (1998). Weighted colimits and formal balls in generalized metric spaces. Topology and its Applications, 89(1-2), 179-202. doi:10.1016/s0166-8641(97)00224-1Schellekens, M. P. (2003). A characterization of partial metrizability: domains are quantifiable. Theoretical Computer Science, 305(1-3), 409-432. doi:10.1016/s0304-3975(02)00705-3Smyth, M. B. (2006). The constructive maximal point space and partial metrizability. Annals of Pure and Applied Logic, 137(1-3), 360-379. doi:10.1016/j.apal.2005.05.032Waszkiewicz, P. (2003). Applied Categorical Structures, 11(1), 41-67. doi:10.1023/a:1023012924892WASZKIEWICZ, P. (2006). Partial metrisability of continuous posets. Mathematical Structures in Computer Science, 16(02), 359. doi:10.1017/s096012950600519

Higher sea surface temperature in the Indian Ocean during the Last Interglacial weakened the South Asian monsoon

Addressing and anticipating future South Asian monsoon changes under continuing global warming is of critical importance for the food security and socioeconomic well-being of one-quarter of the world’s population. However, climate model projections show discrepancies in future monsoon variability in South Asian monsoon domains, largely due to our still limited understanding of the monsoon response to warm climate change scenarios. Particularly, climate models are largely based on the assumption that higher solar insolation causes higher rainfall during similar warm climatic regimes, but this has not been verified by proxy data for different interglacial periods. Here, we compare Indian summer monsoon (ISM) variability during the Last Interglacial and Holocene using a sedimentary leaf wax δD and δ13C record from the northern Bay of Bengal, representing the Ganges–Brahmaputra–Meghna (G-B-M) river catchment. In combination with a seawater salinity record, our results show that ISM intensity broadly follows summer insolation on orbital scales, but ISM intensity during the Last Interglacial was lower than during the Holocene despite higher summer insolation and greenhouse gas concentrations. We argue that sustained warmer sea surface temperature in the equatorial and tropical Indian Ocean during the Last Interglacial increased convective rainfall above the ocean but dampened ISM intensity on land. Our study demonstrates that besides solar insolation, internal climatic feedbacks also play an important role for South Asian monsoon variability during warm climate states. This work can help to improve future climate model projections and highlights the importance of understanding controls of monsoonal rainfall under interglacial boundary conditions.Geological Setting and Proxy Records Results - Variations of n-Alkane δD and δ13C Values. - δDivc Values in Sediment Core 17286-1 Reflect ISM Intensity and Rainfall Amount. - ISM Rainfall Shifts in South Asia. - Vegetation Changes in South Asia. Discussion - Climatic Controls on ISM Intensity at Millennial to Orbital Time Scales. - Internal Climatic Feedback of South Asian Monsoon Variability during the Last Interglacial and the Holocene - Mechanisms Controlling Vegetation Variability in South Asia. - Perspectives. Method

On chains in HH-closed topological pospaces

We study chains in an $H$-closed topological partially ordered space. We give sufficient conditions for a maximal chain $L$ in an $H$-closed topological partially ordered space such that $L$ contains a maximal (minimal) element. Also we give sufficient conditions for a linearly ordered topological partially ordered space to be $H$-closed. We prove that any $H$-closed topological semilattice contains a zero. We show that a linearly ordered $H$-closed topological semilattice is an $H$-closed topological pospace and show that in the general case this is not true. We construct an example an $H$-closed topological pospace with a non-$H$-closed maximal chain and give sufficient conditions that a maximal chain of an $H$-closed topological pospace is an $H$-closed topological pospace.Comment: We have rewritten and substantially expanded the manuscrip

A convenient category of locally preordered spaces

As a practical foundation for a homotopy theory of abstract spacetime, we extend a category of certain compact partially ordered spaces to a convenient category of locally preordered spaces. In particular, we show that our new category is Cartesian closed and that the forgetful functor to the category of compactly generated spaces creates all limits and colimits.Comment: 26 pages, 0 figures, partially presented at GETCO 2005; changes: claim of Prop. 5.11 weakened to finite case and proof changed due to problems with proof of Lemma 3.26, now removed; Eg. 2.7, statement before Lem. 2.11, typos, and other minor problems corrected throughout; extensive rewording; proof of Lem. 3.31, now 3.30, adde

From coinductive proofs to exact real arithmetic: theory and applications

Based on a new coinductive characterization of continuous functions we extract certified programs for exact real number computation from constructive proofs. The extracted programs construct and combine exact real number algorithms with respect to the binary signed digit representation of real numbers. The data type corresponding to the coinductive definition of continuous functions consists of finitely branching non-wellfounded trees describing when the algorithm writes and reads digits. We discuss several examples including the extraction of programs for polynomials up to degree two and the definite integral of continuous maps

Ultrafast Charge Separation in Bilayer WS2/Graphene Heterostructure Revealed by Time- and Angle-Resolved Photoemission Spectroscopy

Efficient light harvesting devices need to combine strong absorption in the visible spectral range with efficient ultrafast charge separation. These features commonly occur in novel ultimately thin van der Waals heterostructures with type II band alignment. Recently, ultrafast charge separation was also observed in monolayer WS2/graphene heterostructures with type I band alignment. Here we use time- and angle-resolved photoemission spectroscopy to show that ultrafast charge separation also occurs at the interface between bilayer WS2 and graphene indicating that the indirect band gap of bilayer WS2 does not affect the charge transfer to the graphene layer. The microscopic insights gained in the present study will turn out to be useful for the design of novel optoelectronic devices