Formation and Alignment of Elongated, Fractal-like Water-ice Grains in Extremely Cold, Weakly Ionized Plasma

Elongated, fractal-like water-ice grains are observed to form spontaneously when water vapor is injected into a weakly ionized laboratory plasma formed in a background gas cooled to an astrophysically relevant temperature. The water-ice grains form in 1–2 minutes, levitate with regular spacing, and are aligned parallel to the sheath electric field. Water-ice grains formed in plasma where the neutrals and ions have low mass, such as hydrogen and helium, are larger, more elongated, and more fractal-like than water-ice grains formed in plasmas where the neutrals and ions have high mass such as argon and krypton. Typical aspect ratios (length to width ratio) are as great as 5 while typical fractal dimensions are ~1.7. Water-ice grain lengths in plasmas with low neutral and ion masses can be several hundred microns long. Infrared absorption spectroscopy reveals that the water-ice grains are crystalline and so are similar in constitution to the water-ice grains in protoplanetary disks, Saturn's rings, and mesospheric clouds. The properties and behavior of these laboratory water-ice grains may provide insights into morphology and alignment behavior of water-ice grains in astrophysical dusty plasmas

Vortex motion of dust particles due to non-conservative ion drag force in a plasma

Vortex motion of the dust in a dusty plasma is shown to result because non-parallelism of the ion density gradient and the gradient of the magnitude of the ion ambipolar velocity cause the ion drag force on dust grains to be non-conservative. Dust grain poloidal vortices consistent with the model predictions are experimentally observed, and the vortices change character with imposed changes in the ion temperature profile as predicted. For a certain ion temperature profile, two adjacent co-rotating poloidal vortices have a well-defined X-point analogous to the X-point in magnetic reconnection

Spontaneous formation of nonspherical water ice grains in a plasma environment

Saturn's rings, terrestrial polar mesospheric clouds, and astrophysical molecular clouds are all dusty plasma environments where tiny grains of water ice are an important constituent. Existing models typically assume that the ice grains are spherical and then invoke various arguments about the normal distribution or the power law dependence of grain number density on grain radius. Using a laboratory plasma in which water ice grains spontaneously form, we investigated the validity of the traditional assumption that these grains are spherical. We found that in certain cases at low ambient pressures, water ice grains in the laboratory dusty plasma are not spherical but instead are highly elongated, i.e., ellipsoidal. Preliminary analysis suggests that electrical forces associated with the dusty plasma environment are responsible for the nonspherical shape

Extreme ultra-violet burst, particle heating, and whistler wave emission in fast magnetic reconnection induced by kink-driven Rayleigh-Taylor instability

A spatially localized energetic extreme ultra-violet (EUV) burst is imaged at the presumed position of fast magnetic reconnection in a plasma jet produced by a coaxial helicity injection source; this EUV burst indicates strong localized electron heating. A circularly polarized high frequency magnetic field perturbation is simultaneously observed at some distance from the reconnection region indicating that the reconnection emits whistler waves and that Hall dynamics likely governs the reconnection. Spectroscopic measurement shows simultaneous fast ion heating. The electron heating is consistent with Ohmic dissipation, while the ion heating is consistent with ion trajectories becoming stochastic

An Equational Theory for Weak Bisimulation via Generalized Parameterized Coinduction

Coinductive reasoning about infinitary structures such as streams is widely applicable. However, practical frameworks for developing coinductive proofs and finding reasoning principles that help structure such proofs remain a challenge, especially in the context of machine-checked formalization. This paper gives a novel presentation of an equational theory for reasoning about structures up to weak bisimulation. The theory is both compositional, making it suitable for defining general-purpose lemmas, and also incremental, meaning that the bisimulation can be created interactively. To prove the theory's soundness, this paper also introduces generalized parameterized coinduction, which addresses expressivity problems of earlier works and provides a practical framework for coinductive reasoning. The paper presents the resulting equational theory for streams, but the technique applies to other structures too. All of the results in this paper have been proved in Coq, and the generalized parameterized coinduction framework is available as a Coq library.Comment: To be published in CPP 202

Identification of Accretion as Grain Growth Mechanism in Astrophysically Relevant Water–Ice Dusty Plasma Experiment

The grain growth process in the Caltech water–ice dusty plasma experiment has been studied using a high-speed camera and a long-distance microscope lens. It is observed that (i) the ice grain number density decreases fourfold as the average grain major axis increases from 20 to 80 μm, (ii) the major axis length has a log-normal distribution rather than a power-law dependence, and (iii) no collisions between ice grains are apparent. The grains have a large negative charge resulting in strong mutual repulsion and this, combined with the fractal character of the ice grains, prevents them from agglomerating. In order for the grain kinetic energy to be sufficiently small to prevent collisions between ice grains, the volumetric packing factor (i.e., ratio of the actual volume to the volume of a circumscribing ellipsoid) of the ice grains must be less than ~0.1 depending on the exact relative velocity of the grains in question. Thus, it is concluded that direct accretion of water molecules is very likely to dominate the observed ice grain growth

Impact of a web-based treatment decision aid for early-stage prostate cancer on shared decision-making and health outcomes:Study protocol for a randomized controlled trial

Background:  At an early stage, prostate cancer patients are often eligible for more than one treatment option, ormay choose to defer curative treatment. Without a pre-existing superior option, a patient has to weigh his personal preferences against the risks and benefits of each alternative to select the most appropriate treatment. Given this context, in prostate cancer treatment decision-making, it is particularly suitable to follow the principles of shared decision-making (SDM), especially with the support of specific instruments like decision aids (DAs). Although several alternatives are available, present tools are not sufficiently compatible with routine clinical practice. To overcome existing barriers and to stimulate structural implementation of DAs and SDM in clinical practice, a web-based prostate cancer treatment DA was developed to fit clinical workflow. Following the structure of an existing DA,Dutch content was developed, and values clarification methods (VCMs) were added. The aim of this study is to investigate the effect of this DA on (shared) treatment choice and patient-reported outcomes. Methods/design:  Nineteen Dutch hospitals are included in a pragmatic, cluster randomized controlled trial, with an intervention and a control arm. In the intervention group, the DA will be offered after diagnosis, and a summary of the patients’ preferences, which were identified with the DA, can be discussed by the patient and his clinician during later consultation. Patients in the control group will receive information and decisional support as usual. Results from both groups on decisional conflict, treatment choice and the experience with involvement in the decision-making process are compared. Patients are requested to fill in questionnaires after treatment decision-making but before treatment is started,and 6 and 12 months later. This will allow the development of treatment satisfaction, decisional regret, and quality of life to be monitored. Clinicians from both groups will evaluate their practice of information provision and decisional support. Discussion:  This study will describe a web-based prostate cancer treatment DA with VCMs. The effect of this DA on the decision-making process and subsequent patient reported outcomes will be evaluated. Keywords: Prostate cancer, decision aid, shared decision-making, implementation, values clarification methods,decisional conflict, decisional regret, treatment choice, information provisio

Extreme ultra-violet burst, particle heating, and whistler wave emission in fast magnetic reconnection induced by kink-driven Rayleigh-Taylor instability

A spatially localized energetic extreme ultra-violet (EUV) burst is imaged at the presumed position of fast magnetic reconnection in a plasma jet produced by a coaxial helicity injection source; this EUV burst indicates strong localized electron heating. A circularly polarized high frequency magnetic field perturbation is simultaneously observed at some distance from the reconnection region indicating that the reconnection emits whistler waves and that Hall dynamics likely governs the reconnection. Spectroscopic measurement shows simultaneous fast ion heating. The electron heating is consistent with Ohmic dissipation, while the ion heating is consistent with ion trajectories becoming stochastic