Tracking ocean heat uptake during the surface warming hiatus.

Ocean heat uptake is observed to penetrate deep into the Atlantic and Southern Oceans during the recent hiatus of global warming. Here we show that the deep heat penetration in these two basins is not unique to the hiatus but is characteristic of anthropogenic warming and merely reflects the depth of the mean meridional overturning circulation in the basin. We find, however, that heat redistribution in the upper 350 m between the Pacific and Indian Oceans is closely tied to the surface warming hiatus. The Indian Ocean shows an anomalous warming below 50 m during hiatus events due to an enhanced heat transport by the Indonesian throughflow in response to the intensified trade winds in the equatorial Pacific. Thus, the Pacific and Indian Oceans are the key regions to track ocean heat uptake during the surface warming hiatus

Godel Metrics with Chronology Protection in Horndeski Gravities

G\"odel universe, one of the most interesting exact solutions predicted by General Relativity, describes a homogeneous rotating universe containing naked closed time-like curves (CTCs). It was shown that such CTCs are the consequence of the null energy condition in General Relativity. In this paper, we show that the G\"odel-type metrics with chronology protection can emerge in Einstein-Horndeski gravity. We construct such exact solutions also in Einstein-Horndeski-Maxwell and Einstein-Horndeski-Proca theories.Comment: Latex, 11 pages, references adde

Remove-Win: a Design Framework for Conflict-free Replicated Data Collections

Internet-scale distributed systems often replicate data within and across data centers to provide low latency and high availability despite node and network failures. Replicas are required to accept updates without coordination with each other, and the updates are then propagated asynchronously. This brings the issue of conflict resolution among concurrent updates, which is often challenging and error-prone. The Conflict-free Replicated Data Type (CRDT) framework provides a principled approach to address this challenge. This work focuses on a special type of CRDT, namely the Conflict-free Replicated Data Collection (CRDC), e.g. list and queue. The CRDC can have complex and compound data items, which are organized in structures of rich semantics. Complex CRDCs can greatly ease the development of upper-layer applications, but also makes the conflict resolution notoriously difficult. This explains why existing CRDC designs are tricky, and hard to be generalized to other data types. A design framework is in great need to guide the systematic design of new CRDCs. To address the challenges above, we propose the Remove-Win Design Framework. The remove-win strategy for conflict resolution is simple but powerful. The remove operation just wipes out the data item, no matter how complex the value is. The user of the CRDC only needs to specify conflict resolution for non-remove operations. This resolution is destructed to three basic cases and are left as open terms in the CRDC design skeleton. Stubs containing user-specified conflict resolution logics are plugged into the skeleton to obtain concrete CRDC designs. We demonstrate the effectiveness of our design framework via a case study of designing a conflict-free replicated priority queue. Performance measurements also show the efficiency of the design derived from our design framework.Comment: revised after submissio

Toolbox for entanglement detection and fidelity estimation

The determination of the state fidelity and the detection of entanglement are fundamental problems in quantum information experiments. We investigate how these goals can be achieved with a minimal effort. We show that the fidelity of GHZ and W states can be determined with an effort increasing only linearly with the number of qubits. We also present simple and robust methods for other states, such as cluster states and states in decoherence-free subspaces.Comment: 5 pages, no figures, v3: final version, to appear as a Rapid Communication in PR