Structural quantities of quasi-two-dimensional fluids

Quasi-two-dimensional fluids can be generated by confining a fluid between two parallel walls with narrow separation. Such fluids exhibit an inhomogeneous structure perpendicular to the walls due to the loss of translational symmetry. Taking the transversal degrees of freedom as a perturbation to an appropriate 2D reference fluid we provide a systematic expansion of the $m$-particle density for arbitrary $m$. To leading order in the slit width this density factorizes into the densities of the transversal and lateral degrees of freedom. Explicit expressions for the next-to-leading order terms are elaborated analytically quantifying the onset of inhomogeneity. The case $m=1$ yields the density profile with a curvature given by an integral over the pair-distribution function of the corresponding 2D reference fluid, which reduces to its 2D contact value in the case of pure excluded-volume interactions. Interestingly, we find that the 2D limit is subtle and requires stringent conditions on the fluid-wall interactions. We quantify the rapidity of convergence for various structural quantities to their 2D counterparts.Comment: 12 page

Mode-coupling theory of the glass transition for confined fluids

We present a detailed derivation of a microscopic theory for the glass transition of a liquid enclosed between two parallel walls relying on a mode-coupling approximation. This geometry lacks translational invariance perpendicular to the walls, which implies that the density profile and the density-density correlation function depends explicitly on the distances to the walls. We discuss the residual symmetry properties in slab geometry and introduce a symmetry adapted complete set of two-point correlation functions. Since the currents naturally split into components parallel and perpendicular to the walls the mathematical structure of the theory differs from the established mode-coupling equations in bulk. We prove that the equations for the nonergodicity parameters still display a covariance property similar to bulk liquids.Comment: 16 pages; to be published in PR

Randomisation of Pulse Phases for Unambiguous and Robust Quantum Sensing

We develop theoretically and demonstrate experimentally a universal dynamical decoupling method for robust quantum sensing with unambiguous signal identification. Our method uses randomisation of control pulses to suppress simultaneously two types of errors in the measured spectra that would otherwise lead to false signal identification. These are spurious responses due to finite-width $\pi$ pulses, as well as signal distortion caused by $\pi$ pulse imperfections. For the cases of nanoscale nuclear spin sensing and AC magnetometry, we benchmark the performance of the protocol with a single nitrogen vacancy centre in diamond against widely used non-randomised pulse sequences. Our method is general and can be combined with existing multipulse quantum sensing sequences to enhance their performance

Complexity of Manipulating Sequential Allocation

Sequential allocation is a simple allocation mechanism in which agents are given pre-specified turns and each agents gets the most preferred item that is still available. It has long been known that sequential allocation is not strategyproof. Bouveret and Lang (2014) presented a polynomial-time algorithm to compute a best response of an agent with respect to additively separable utilities and claimed that (1) their algorithm correctly finds a best response, and (2) each best response results in the same allocation for the manipulator. We show that both claims are false via an example. We then show that in fact the problem of computing a best response is NP-complete. On the other hand, the insights and results of Bouveret and Lang (2014) for the case of two agents still hold

14C contamination testing in natural abundance laboratories: a new preparation method using wet chemical oxidation and some experiences

Substances enriched with radiocarbon can easily contaminate samples and laboratories used for natural abundance measurements. We have developed a new method using wet chemical oxidation for swabbing laboratories and equipment to test for 14C contamination. Here, we report the findings of 18 months’ work and more than 800 tests covering studies at multiple locations. Evidence of past and current use of enriched 14C was found at all but one location and a program of testing and communication was used to mitigate its effects. Remediation was attempted with mixed success and depended on the complexity and level of the contamination. We describe four cases from different situations

Local existence of dynamical and trapping horizons

Given a spacelike foliation of a spacetime and a marginally outer trapped surface S on some initial leaf, we prove that under a suitable stability condition S is contained in a ``horizon'', i.e. a smooth 3-surface foliated by marginally outer trapped slices which lie in the leaves of the given foliation. We also show that under rather weak energy conditions this horizon must be either achronal or spacelike everywhere. Furthermore, we discuss the relation between ``bounding'' and ``stability'' properties of marginally outer trapped surfaces.Comment: 4 pages, 1 figure, minor change

A Unified Approach to Boundedness Properties in MSO

In the past years, extensions of monadic second-order logic (MSO) that can specify boundedness properties by the use of operators referring to the sizes of sets have been considered. In particular, the logics costMSO introduced by T. Colcombet and MSO+U by M. Bojanczyk were analyzed and connections to automaton models have been established to obtain decision procedures for these logics. In this work, we propose the logic quantitative counting MSO (qcMSO for short), which combines aspects from both costMSO and MSO+U. We show that both logics can be embedded into qcMSO in a natural way. Moreover, we provide a decidability proof for the theory of its weak variant (quantification only over finite sets) for the natural numbers with order and the infinite binary tree. These decidability results are obtained using a regular cost function extension of automatic structures called resource-automatic structures