Tracer Measurements in Growing Sea Ice Support Convective Gravity Drainage Parameterizations

Gravity drainage is the dominant process redistributing solutes in growing sea ice. Modeling gravity drainage is therefore necessary to predict physical and biogeochemical variables in sea ice. We evaluate seven gravity drainage parameterizations, spanning the range of approaches in the literature, using tracer measurements in a sea ice growth experiment. Artificial sea ice is grown to around 17 cm thickness in a new experimental facility, the Roland von Glasow air‐sea‐ice chamber. We use NaCl (present in the water initially) and rhodamine (injected into the water after 10 cm of sea ice growth) as independent tracers of brine dynamics. We measure vertical profiles of bulk salinity in situ, as well as bulk salinity and rhodamine in discrete samples taken at the end of the experiment. Convective parameterizations that diagnose gravity drainage using Rayleigh numbers outperform a simpler convective parameterization and diffusive parameterizations when compared to observations. This study is the first to numerically model solutes decoupled from salinity using convective gravity drainage parameterizations. Our results show that (1) convective, Rayleigh number‐based parameterizations are our most accurate and precise tool for predicting sea ice bulk salinity; and (2) these parameterizations can be generalized to brine dynamics parameterizations, and hence can predict the dynamics of any solute in growing sea ic

On partial order semantics for SAT/SMT-based symbolic encodings of weak memory concurrency

Concurrent systems are notoriously difficult to analyze, and technological advances such as weak memory architectures greatly compound this problem. This has renewed interest in partial order semantics as a theoretical foundation for formal verification techniques. Among these, symbolic techniques have been shown to be particularly effective at finding concurrency-related bugs because they can leverage highly optimized decision procedures such as SAT/SMT solvers. This paper gives new fundamental results on partial order semantics for SAT/SMT-based symbolic encodings of weak memory concurrency. In particular, we give the theoretical basis for a decision procedure that can handle a fragment of concurrent programs endowed with least fixed point operators. In addition, we show that a certain partial order semantics of relaxed sequential consistency is equivalent to the conjunction of three extensively studied weak memory axioms by Alglave et al. An important consequence of this equivalence is an asymptotically smaller symbolic encoding for bounded model checking which has only a quadratic number of partial order constraints compared to the state-of-the-art cubic-size encoding.Comment: 15 pages, 3 figure

Three-boson relativistic bound states with zero-range interaction

For the zero-range interaction providing a given mass M_2 of the two-body bound state, the mass M_3 of the relativistic three-boson state is calculated. We have found that the three-body system exists only when M_2 is greater than a critical value M_c approximately 1.43 m (m is the constituent mass). For M_2=M_c the mass M_3 turns into zero and for M_2<M_c there is no solution with real value of M_3.Comment: 7 pages, 4 figure

Long-range potential fluctuations and 1/f noise in hydrogenated amorphous silicon

We present a microscopic theory of the low-frequency voltage noise (known as "1/f" noise) in micrometer-thick films of hydrogenated amorphous silicon. This theory traces the noise back to the long-range fluctuations of the Coulomb potential produced by deep defects, thereby predicting the absolute noise intensity as a function of the distribution of defect activation energies. The predictions of this theory are in very good agreement with our own experiments in terms of both the absolute intensity and the temperature dependence of the noise spectra.Comment: 8 pages, 3 figures, several new parts and one new figure are added, but no conceptual revision

A novel approach to light-front perturbation theory

We suggest a possible algorithm to calculate one-loop n-point functions within a variant of light-front perturbation theory. The key ingredients are the covariant Passarino-Veltman scheme and a surprising integration formula that localises Feynman integrals at vanishing longitudinal momentum. The resulting expressions are generalisations of Weinberg's infinite-momentum results and are manifestly Lorentz invariant. For n = 2 and 3 we explicitly show how to relate those to light-front integrals with standard energy denominators. All expressions are rendered finite by means of transverse dimensional regularisation.Comment: 10 pages, 5 figure

Transition Form Factors between Pseudoscalar and Vector Mesons in Light-Front Dynamics

We study the transition form factors between pseudoscalar and vector mesons using a covariant fermion field theory model in $(3+1)$ dimensions. Performing the light-front calculation in the $q^+ =0$ frame in parallel with the manifestly covariant calculation, we note that the suspected nonvanishing zero-mode contribution to the light-front current $J^+$ does not exist in our analysis of transition form factors. We also perform the light-front calculation in a purely longitudinal $q^+ > 0$ frame and confirm that the form factors obtained directly from the timelike region are identical to the ones obtained by the analytic continuation from the spacelike region. Our results for the $B \to D^* l \nu_l$ decay process satisfy the constraints on the heavy-to-heavy semileptonic decays imposed by the flavor independence in the heavy quark limit.Comment: 20 pages, 14 figure

Time to positivity of acute and chronic periprosthetic joint infection cultures

Introduction: A prolonged incubation time is generally recommended for diagnosing periprosthetic joint infections (PJI). However, in literature, no distinction is made between acute and chronic infections. Methods: All patients with a PJI that underwent surgical debridement between November 2015 and February 2019 with or without revision of the prosthesis were retrospectively evaluated. Synovial fluid, 5 intraoperative periprosthetic tissue samples, and the sonicated prosthesis were cultured. Results: Fifty-nine patients were analyzed, including 21 acute PJIs (33 isolates) and 38 chronic PJIs (46 isolates). In acute PJIs, all isolates grew within 5 days, while this took 11 days for chronic PJIs. Sonication fluid showed the shortest time to positivity (78% at day 2) for chronic PJIs, but no difference was observed for acute PJIs compared to tissue cultures. Conclusion: In contrast to cultures from chronic PJIs, acute PJIs do not need a prolonged incubation time and no clear benefit is observed for sonication. (C) 2020 The Authors. Published by Elsevier Inc

Impurity effects in superconducting UPt3

Superconducting UPt3 is characterized by a novel and complex magnetic field‐temperature phase diagram, with two superconducting transitions at Tc1 and Tc2 in zero field. We have studied the effects of Pd and Y impurities on the zero field superconducting properties of UPt3. Resistance measurements show that both dopants increase the residual resistivity and decrease the spin fluctuation temperature in the normal state. Tc1 is depressed by both dopants, but more effectively by Pd. ‖Tc1 − Tc2‖ is essentially unaffected by Y doping, but increases dramatically with Pd doping.Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/70706/2/JAPIAU-69-8-5487-1.pd