Relaxation rates and collision integrals for Bose-Einstein condensates

Near equilibrium, the rate of relaxation to equilibrium and the transport properties of excitations (bogolons) in a dilute Bose-Einstein condensate (BEC) are determined by three collision integrals, $\mathcal{G}^{12}$, $\mathcal{G}^{22}$, and $\mathcal{G}^{31}$. All three collision integrals conserve momentum and energy during bogolon collisions, but only $\mathcal{G}^{22}$ conserves bogolon number. Previous works have considered the contribution of only two collision integrals, $\mathcal{G}^{22}$ and $\mathcal{G}^{12}$. In this work, we show that the third collision integral $\mathcal{G}^{31}$ makes a significant contribution to the bogolon number relaxation rate and needs to be retained when computing relaxation properties of the BEC. We provide values of relaxation rates in a form that can be applied to a variety of dilute Bose-Einstein condensates.Comment: 18 pages, 4 figures, accepted by Journal of Low Temperature Physics 7/201

Transport coefficients from the Boson Uehling-Uhlenbeck Equation

We derive microscopic expressions for the bulk viscosity, shear viscosity and thermal conductivity of a quantum degenerate Bose gas above $T_C$, the critical temperature for Bose-Einstein condensation. The gas interacts via a contact potential and is described by the Uehling-Uhlenbeck equation. To derive the transport coefficients, we use Rayleigh-Schrodinger perturbation theory rather than the Chapman-Enskog approach. This approach illuminates the link between transport coefficients and eigenvalues of the collision operator. We find that a method of summing the second order contributions using the fact that the relaxation rates have a known limit improves the accuracy of the computations. We numerically compute the shear viscosity and thermal conductivity for any boson gas that interacts via a contact potential. We find that the bulk viscosity remains identically zero as it is for the classical case.Comment: 10 pages, 2 figures, submitted to Phys. Rev.

Formal change impact analyses for emulated control software

Processor emulators are a software tool for allowing legacy computer programs to be executed on a modern processor. In the past emulators have been used in trivial applications such as maintenance of video games. Now, however, processor emulation is being applied to safety-critical control systems, including military avionics. These applications demand utmost guarantees of correctness, but no verification techniques exist for proving that an emulated system preserves the original system’s functional and timing properties. Here we show how this can be done by combining concepts previously used for reasoning about real-time program compilation, coupled with an understanding of the new and old software architectures. In particular, we show how both the old and new systems can be given a common semantics, thus allowing their behaviours to be compared directly

Coherent Propagation of Polaritons in Semiconductor Heterostructures: Nonlinear Pulse Transmission in Theory and Experiment

The influence of coherent optical nonlinearities on polariton propagation effects is studied within a theory-experiment comparison. A novel approach that combines a microscopic treatment of the boundary problem in a sample of finite thickness with excitonic and biexcitonic nonlinearities is introduced. Light-polarization dependent spectral changes are analyzed for single-pulse transmission and pump-probe excitation

A molecule-based 1 : 2 digital demultiplexer

A trichromophoric molecule consisting of a porphyrin linked to both a dihydropyrene and a dihydroindolizine-type photochrome, in combination with a third harmonic generating crystal, functions as a 1:2 digital demultiplexer with photonic inputs and outputs. Each of the two photochromes may be cycled independently between two metastable forms, leading to four photoisomers, three of which are used in the demultiplexer. These isomers interact photochemically with the porphyrin in order to yield the demultiplexer function. With the address input (1064-nm light) turned off, one Output of the device (porphyrin fluorescence) tracks the state of the data input (532-nm light). When the address input is turned on, the second output (absorbance at 572 nm) tracks the state of the data input, while the first output remains off. The demultiplexer does not require chemical or electrical inputs, and can cycle through its operational sequences multiple times

Recognition of envelope and tat protein synthetic peptide analogs by HIV positive sera or plasma

AbstractA series of synthetic peptides corresponding to segments of HIV encoded proteins were selected using criteria described by Welling et al. [(1985) FEBS Lett. 188, 215]. Synthetic peptide analogs to gpl20 (2–13), (55–65), gp41 (582–596) (659–670) and tatIII (71–83) were recognized by 41–67% of sera or plasma from individuals known to be infected with HIV on the basis of virus isolation or Western blot screening. The peptide which reacted with most sera or plasma was gp41 (582–596), a conserved region in the transmembrane glycoprotein. An extended peptide analog, gp41 (579–599), tested against the same samples showed almost 100% reactivity, confirming independent studies identifying a highly immunodominant region of gp41. There was an unexpected high prevalence of antibodies (52%) to the tatIII peptide

Medicare Payments for Common Inpatient Procedures: Implications for Episode-Based Payment Bundling

Aiming to align provider incentives toward improving quality and efficiency, the Center for Medicare and Medicaid Services is considering broader bundling of hospital and physician payments around episodes of inpatient surgery. Decisions about bundled payments would benefit from better information about how payments are currently distributed among providers of different perioperative services and how payments vary across hospitals.Using the national Medicare database, we identified patients undergoing one of four inpatient procedures in 2005 (coronary artery bypass [CABG], hip fracture repair, back surgery, and colectomy). For each procedure, price-standardized Medicare payments from the date of admission for the index procedure to 30 days postdischarge were assessed and categorized by payment type (hospital, physician, and postacute care) and subtype.Average total payments for inpatient surgery episodes varied from U.S.$26,515 for back surgery to U.S.$45,358 for CABG. Hospital payments accounted for the largest share of total payments (60–80 percent, depending on procedure), followed by physician payments (13–19 percent) and postacute care (7–27 percent). Overall episode payments for hospitals in the lowest and highest payment quartiles differed by U.S.$16,668 for CABG, U.S.$18,762 for back surgery, U.S.$10,615 for hip fracture repair, and U.S.$12,988 for colectomy. Payments to hospitals accounted for the largest share of variation in payments. Among specific types of payments, those associated with 30-day readmissions and postacute care varied most substantially across hospitals.Fully bundled payments for inpatient surgical episodes would need to be dispersed among many different types of providers. Hospital payments—both overall and for specific services—vary considerably and might be reduced by incentives for hospitals and physicians to improve quality and efficiency.Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/79298/1/j.1475-6773.2010.01150.x.pdfhttp://deepblue.lib.umich.edu/bitstream/2027.42/79298/2/HESR_1150_sm_authormatrix.pd