Topological Orthoalgebras

We define topological orthoalgebras (TOAs) and study their properties. While every topological orthomodular lattice is a TOA, the lattice of projections of a Hilbert space is an example of a lattice-ordered TOA that is not a toplogical lattice. On the other hand, we show that every compact Boolean TOA is a topological Boolean algebra. We also show that a compact TOA in which 0 is an isolated point is atomic and of finite height. We identify and study a particularly tractable class of TOAs, which we call {\em stably ordered}: those in which the upper-set generated by an open set is open. This includes all topological OMLs, and also the projection lattices of Hilbert spaces. Finally, we obtain a topological version of the Foulis-Randall representation theory for stably ordered TOAsComment: 16 pp, LaTex. Minor changes and corrections in sections 1; more substantial corrections in section

Iridium-catalyzed C–H borylation of pyridines

The iridium-catalysed C–H borylation is a valuable and attractive method for the preparation of aryl and heteroaryl boronates. However, application of this methodology for the preparation of pyridyl and related azinyl boronates can be challenged by low reactivity and propensity for rapid protodeborylation, particularly for a boronate ester ortho to the azinyl nitrogen. Competition experiments have revealed that the low reactivity is due to inhibition of the active catalyst through coordination of the azinyl nitrogen lone pair at the vacant site on the iridium. This effect can be overcome through the incorporation of a substituent at C-2. Moreover, when this is sufficiently electron-withdrawing protodeborylation is sufficiently slowed to permit isolation and purification of the C-6 boronate ester. Following functionalization, reduction of the directing C-2 substituent provides the product arising from formal ortho borylation of an unhindered pyridine ring

Solution of coupled vertex and propagator Dyson-Schwinger equations in the scalar Munczek-Nemirovsky model

In a scalar $\phi^2\chi$ model, we exactly solve the vertex and $\phi$ propagator Dyson-Schwinger equations under the assumption of a spatially constant (Munczek-Nemirovsky) propagator for the $\chi$ field. Various truncation schemes are also considered.Comment: 7 pages,4 figures, minor changes, reference added for published versio

Quantum Radiation from a 5-Dimensional Rotating Black Hole

We study a massless scalar field propagating in the background of a five-dimensional rotating black hole. We showed that in the Myers-Perry metric describing such a black hole the massless field equation allows the separation of variables. The obtained angular equation is a generalization of the equation for spheroidal functions. The radial equation is similar to the radial Teukolsky equation for the 4-dimensional Kerr metric. We use these results to quantize the massless scalar field in the space-time of the 5-dimensional rotating black hole and to derive expressions for energy and angular momentum fluxes from such a black hole.Comment: references added, accepted for publication in Physical Review

Proximity-induced screening and its magnetic breakdown in mesoscopic hybrid structures

We derive a general microscopic expression for the non-linear diamagnetic current in a clean superconductor-insulator-normal metal structure with an arbitrary interface transmission. In the absence of electron-electron interactions in the normal metal the diamagnetic response increases monotonously with decreasing temperature showing no sign of paramagnetic reentrance down to T=0. We also analyze the magnetic breakdown of proximity induced Meissner screening. We demonstrate that the magnetic breakdown field should be strongly suppressed in the limit of small interface transmissions while the linear diamagnetic current does not depend on the transmission of the insulating barrier at low enough temperatures.Comment: 7 pages, 2 figure

Plasma matrix metalloproteinases in neonates having surgery for congenital heart disease

During cardiopulmonary-bypass matrix-metalloproteinases released may contribute to ventricular dysfunction. This study was to determine plasma matrix-metalloproteinases in neonates after cardiopulmonary-bypass and their relation to post-operative course. A prospective observational study included 18 neonates having cardiac surgery. Plasma matrix-metalloproteinases-2 and 9 activities were measured by gelatin-zymography pre-operatively, on starting cardiopulmonarybypass, 7–8 min after aortic cross-clamp release, and 1h, 4h, 24h, and 3d after cardiopulmonary-bypass. Plasma concentrations of their tissue inhibitors 1 and 2 were determined by enzyme-linked immunosorbent assay. Cardiac function was assessed by serial echocardiography. Paired t-tests and Wilcoxon tests were used to assess temporal changes, and linear correlation with simultaneous clinical and cardiac function parameters were assessed using Pearson's product-moment correlation coefficient. Plasma matrix-metalloproteinases activities and their tissue inhibitor concentrations decreased during cardiopulmonary-bypass. Matrix-metalloproteinase-2 plasma activity increased progressively starting 1h after cardiopulmonarybypass and returned to pre-operative levels at 24h. Matrix-metalloproteinase-9 plasma activity increased significantly after release of aortic cross-clamp, peaked 7–8min later, and returned to baseline at 24h. Plasma tissueinhibitor 1 and 2 concentrations increased 1h after cardiopulmonary-bypass. Cardiac function improved from 4h to 3d after surgery (p<0.05). There was no evidence of significant correlations between matrix-metalloproteinases or their inhibitors and cardiac function, inotrope scores, organ dysfunction scores, ventilation days, or hospital days. The temporal profile of plasma matrix-metalloproteinases and their inhibitors after cardiopulmonary-bypass in neonates are similar to adults. In neonates, further study should determine whether circulating matrix-metalloproteinases are useful biomarkers of disease activity locally within the myocardium, and hence of clinical outcomes

Verified lifting of stencil computations

This paper demonstrates a novel combination of program synthesis and verification to lift stencil computations from low-level Fortran code to a high-level summary expressed using a predicate language. The technique is sound and mostly automated, and leverages counter-example guided inductive synthesis (CEGIS) to find provably correct translations. Lifting existing code to a high-performance description language has a number of benefits, including maintainability and performance portability. For example, our experiments show that the lifted summaries can enable domain specific compilers to do a better job of parallelization as compared to an off-the-shelf compiler working on the original code, and can even support fully automatic migration to hardware accelerators such as GPUs. We have implemented verified lifting in a system called STNG and have evaluated it using microbenchmarks, mini-apps, and real-world applications. We demonstrate the benefits of verified lifting by first automatically summarizing Fortran source code into a high-level predicate language, and subsequently translating the lifted summaries into Halide, with the translated code achieving median performance speedups of 4.1X and up to 24X for non-trivial stencils as compared to the original implementation.United States. Department of Energy. Office of Science (Award DE-SC0008923)United States. Department of Energy. Office of Science (Award DE-SC0005288

Search for a strongly decaying neutral charmed pentaquark

We present a search for a charmed pentaquark decaying strongly to $D^{(*)-}p$. Finding no evidence for such a state, we set limits on the cross section times branching ratio relative to $D^{*-}$ and $D^-$ under particular assumptions about the production mechanism.Comment: To be published in Physics Letters

EPO does not promote interaction between the erythropoietin and beta-common receptors

A direct interaction between the erythropoietin (EPOR) and the beta-common (βc) receptors to form an Innate Repair Receptor (IRR) is controversial. On one hand, studies have shown a functional link between EPOR and βc receptor in tissue protection while others have shown no involvement of the βc receptor in tissue repair. To date there is no biophysical evidence to confirm a direct association of the two receptors either in vitro or in vivo. We investigated the existence of an interaction between the extracellular regions of EPOR and the βc receptor in silico and in vitro (either in the presence or absence of EPO or EPO-derived peptide ARA290). Although a possible interaction between EPOR and βc was suggested by our computational and genomic studies, our in vitro biophysical analysis demonstrates that the extracellular regions of the two receptors do not specifically associate. We also explored the involvement of the βc receptor gene (Csf2rb) under anaemic stress conditions and found no requirement for the βc receptor in mice. In light of these studies, we conclude that the extracellular regions of the EPOR and the βc receptor do not directly interact and that the IRR is not involved in anaemic stress.Karen S. Cheung Tung Shing, Sophie E. Broughton, Tracy L. Nero, Kevin Gillinder, Melissa D. Ilsley, Hayley Ramshaw, Angel F. Lopez, Michael D. W. Griffin, Michael W. Parker, Andrew C. Perkins, Urmi Dhaga

Search for Λc+→pK+π−\Lambda_c^+ \to p K^+ \pi^- and Ds+→K+K+π−D_s^+ \to K^+ K^+ \pi^- Using Genetic Programming Event Selection

We apply a genetic programming technique to search for the double Cabibbo suppressed decays $\Lambda_c^+ \to p K^+ \pi^-$ and $D_s^+ \to K^+ K^+ \pi^-$. We normalize these decays to their Cabibbo favored partners and find $\text{BR}($\Lambda_c^+ \to p K^+ \pi^-$)/\text{BR}($\Lambda_c^+ \to p K^- \pi^+$) = (0.05 \pm 0.26 \pm 0.02)$ and $\text{BR}($D_s^+ \to K^+ K^+ \pi^-$)/\text{BR}($D_s^+ \to K^+ K^- \pi^+$) = (0.52\pm 0.17\pm 0.11)$ where the first errors are statistical and the second are systematic. Expressed as 90% confidence levels (CL), we find $< 0.46$ and $< 0.78$ respectively. This is the first successful use of genetic programming in a high energy physics data analysis.Comment: 10 page