Multilevel blocking approach to the fermion sign problem in path-integral Monte Carlo simulations

A general algorithm toward the solution of the fermion sign problem in finite-temperature quantum Monte Carlo simulations has been formulated for discretized fermion path integrals with nearest-neighbor interactions in the Trotter direction. This multilevel approach systematically implements a simple blocking strategy in a recursive manner to synthesize the sign cancellations among different fermionic paths throughout the whole configuration space. The practical usefulness of the method is demonstrated for interacting electrons in a quantum dot.Comment: 4 pages RevTeX, incl. two figure

The seaweeds of Kenya: Checklist, history of seaweed study, coastal environment, and analysis of seaweed diversity and biogeography

The seaweeds of Kenya are relatively well documented in comparison with the marine floras of other countries in the Indian Ocean. A checklist is provided of the seaweeds recorded, which includes a total of 386 species (214 red algae, 116 green algae and 56 brown algae), plus an additional 19 infra-specific taxa. This is the first detailed list for almost 30 years, with a 29% increase in species compared to the previous listing. The history of seaweed study in Kenya and the Kenyan coastal environment as a habitat for seaweeds are discussed in detail. An ordination analysis of the global biogeographic relationships of the Kenyan seaweed flora shows clearly the internal consistency of the Indo-Pacific seaweed flora at this large scale. Data on Indian Ocean relationships show that the Kenyan flora produces a distinct grouping of seaweed floras from Tanzania, Madagascar, Mozambique and the Indian Ocean coast of South Africa, which is somewhat separated from the floras of the rest of the Indian Ocean. The data reveal that Mozambiquan seaweeds are seriously understudied, with only 26% of the Kenyan flora having been recorded in that country, compared with 68% in Tanzania, 41% in Madagascar, and 43% in South Africa

Initial impacts of the transformation of a large introductory lab course focused on developing experimental skills and expert epistemology

Recently, there has been increased attention to improving laboratory instruction at all levels. At the introductory level, research results have shown differing levels of success based on the nature of the desired learning outcomes. In response to these findings, the University of Colorado's introductory physics lab course was transformed to improve students' development of experimental skills and experimental physics epistemology. We describe the details of the transformation process and initial self-reported learning gains from the first implementation of the transformed course

Prediction of Random Incidence Transmission Loss based on Normal Incidence Four-Microphone Measurements

The use of the four-microphone standing wave tube to assess the acoustical properties of sound absorbing materials is becoming increasingly popular. The objective of the present work was to demonstrate that it is possible, under certain conditions, to predict the random incidence transmission loss of sound absorbing materials based on normal incidence measurements in a four-microphone standing wave tube. If a porous material may be modeled as being isotropic and either perfectly rigid or limp, it may be characterized as an effective fluid in terms of its complex density and wave number. The latter quantities may then be used in conjunction with plane wave theories to predict random incidence properties. That procedure is demonstrated here by using two different porous media. Good agreement was found between the estimated and directly measured random incidence transmission losses. The accuracy of the procedure may however, be limited at both low and high frequencies. At low frequencies, the estimated material properties may be affected by the constraint of the sample around its edge. At high frequencies, higher order mode propagation within the sample may affect the results owing to the typically subsonic wave speeds in porous media

Ultraviolet observations of the X-ray photoionized wind of Cygnus X-1 during X-ray soft/high state

(Shortened) Ultraviolet observations of the black hole X-ray binary Cygnus X-1 were obtained using the STIS on HSTubble. We detect P Cygni line features show strong, broad absorption components when the X-ray source is behind the companion star and noticeably weaker absorption when the X-ray source is between us and the companion star. We fit the P Cygni profiles using the SEI method applied to a spherically symmetric stellar wind subject to X-ray photoionization from the black hole. The Si IV doublet provides the most reliable estimates of the parameters of the wind and X-ray illumination. The velocity $v$ increases with radius $r$ according to $v=v_\infty(1-r_\star/r)^\beta$, with$\beta\approx0.75$ and $v_\infty\approx1420$ km s$^{-1}$.The microturbulent velocity was $\approx160$ km s$^{-1}$. Our fit implies a ratio of X-ray luminosity to wind mass-loss rate of L$_{X,38}/\dot M_{-6} \approx 0.33$, measured at $\dot M_{-6}$ = 4.8. Our models determine parameters that may be used to estimate the accretion rate onto the black hole and independently predict the X-ray luminosity. Our predicted L$_x$ matches that determined by contemporaneous RXTE ASM remarkably well, but is a factor of 3 lower than the rate according to Bondi-Hoyle-Littleton spherical wind accretion. We suggest that some of the energy of accretion may go into powering a jet.Comment: 34 pages, 21 figures, 4 tables, accepted for publication in Ap

Vertebrate telomere repeat DNAs favor external loop propeller quadruplex structures in the presence of high concentrations of potassium

The circular dichroism, CD, spectra of the telomere repeats of vertebrates, d(TTAGGG), indicate that parallel type quadruplex structures or disordered single-stranded structures are formed in low salt. Anti-parallel quadruplex structures are favored in the presence of high concentrations, 140 mM, of sodium. External loop, also known as propeller, parallel type structures are favored in the presence of high concentrations, 100 mM, of potassium in the presence of either 5 or 140 mM sodium. The cation dependence of the CD spectra of the vertebrate telomere repeat DNAs is distinctly different from that of the telomere repeats of Tetrahymena and Oxytricha as well as that of the thrombin binding aptamer. These results indicate that the external loop structures may be present in vertebrate telomeres under the conditions of high potassium and low sodium concentration found in nuclei

Z2SAL: a translation-based model checker for Z

Despite being widely known and accepted in industry, the Z formal specification language has not so far been well supported by automated verification tools, mostly because of the challenges in handling the abstraction of the language. In this paper we discuss a novel approach to building a model-checker for Z, which involves implementing a translation from Z into SAL, the input language for the Symbolic Analysis Laboratory, a toolset which includes a number of model-checkers and a simulator. The Z2SAL translation deals with a number of important issues, including: mapping unbounded, abstract specifications into bounded, finite models amenable to a BDD-based symbolic checker; converting a non-constructive and piecemeal style of functional specification into a deterministic, automaton-based style of specification; and supporting the rich set-based vocabulary of the Z mathematical toolkit. This paper discusses progress made towards implementing as complete and faithful a translation as possible, while highlighting certain assumptions, respecting certain limitations and making use of available optimisations. The translation is illustrated throughout with examples; and a complete working example is presented, together with performance data

Contrasting alterations to synaptic and intrinsic properties in upper-cervical superficial dorsal horn neurons following acute neck muscle inflammation

Background: Acute and chronic pain in axial structures, like the back and neck, are difficult to treat, and have incidence as high as 15%. Surprisingly, most preclinical work on pain mechanisms focuses on cutaneous structures in the limbs and animal models of axial pain are not widely available. Accordingly, we developed a mouse model of acute cervical muscle inflammation and assessed the functional properties of superficial dorsal horn (SDH) neurons.<p></p> Results: Male C57/Bl6 mice (P24-P40) were deeply anaesthetised (urethane 2.2?g/kg i.p) and the rectus capitis major muscle (RCM) injected with 40??l of 2% carrageenan. Sham animals received vehicle injection and controls remained anaesthetised for 2?hrs. Mice in each group were sacrificed at 2?hrs for analysis. c-Fos staining was used to determine the location of activated neurons. c-Fos labelling in carrageenan-injected mice was concentrated within ipsilateral (87% and 63% of labelled neurons in C1 and C2 segments, respectively) and contralateral laminae I - II with some expression in lateral lamina V. c-Fos expression remained below detectable levels in control and sham animals. In additional experiments, whole cell recordings were obtained from visualised SDH neurons in transverse slices in the ipsilateral C1 and C2 spinal segments. Resting membrane potential and input resistance were not altered. Mean spontaneous EPSC amplitude was reduced by ~20% in neurons from carrageenan-injected mice versus control and sham animals (20.63???1.05 vs. 24.64???0.91 and 25.87???1.32 pA, respectively). The amplitude (238???33 vs. 494???96 and 593???167 pA) and inactivation time constant (12.9???1.5 vs. 22.1???3.6 and 15.3???1.4?ms) of the rapid A type potassium current (IAr), the dominant subthreshold current in SDH neurons, were reduced in carrageenan-injected mice.<p></p> Conclusions: Excitatory synaptic drive onto, and important intrinsic properties (i.e., IAr) within SDH neurons are reduced two hours after acute muscle inflammation. We propose this time point represents an important transition period between peripheral and central sensitisation with reduced excitatory drive providing an initial neuroprotective mechanism during the early stages of the progression towards central sensitisation