Analysis of complete positivity conditions for quantum qutrit channels

We present an analysis of complete positivity (CP) constraints on qutrit quantum channels that have a form of affine transformations of generalized Bloch vector. For diagonal (damping) channels we derive conditions analogous to the ones that in qubit case produce tetrahedron structure in the channel parameter space.Comment: 12 pages, 8 figures (.eps), minor changes in the text and formula

A Tool for Developing Correct Programs by Refinement

This report reviews the requirements for tool support of refinement, and reports on the design and implementation of a new tool to support refinement based on these requirements. The main features of the new tool are close integration of refinement and proof in a single tool, good management of the refinement context, an extensible theory base that allows the tool to be adapted to new application domains, and a flexible user interface

Discovery of 15-second oscillations in Hubble Space Telescope observations of WZ Sagittae following the 2001 outburst

We report the discovery of 15-s oscillations in ultraviolet observations of WZ Sge obtained with the Hubble Space Telescope approximately one month after the peak of the 2001 outburst. This is the earliest detection of oscillations in WZ Sge following an outburst and the first time that a signal near 15 s has been seen to be dominant. The oscillations are quite strong (amplitude about 5%), but not particularly coherent. In one instance, the oscillation period changed by 0.7 s between successive observations separated by less than 1 hour. We have also found evidence for weaker signals with periods near 6.5 s in some of our data. We discuss the implications of our results for the models that have been proposed to account for the 28-s oscillations seen in quiescence. If the periods of the 15-s oscillations can be identified with the periods of revolution of material rotating about the white dwarf, the mass of the white dwarf must satisfy M_WD > 0.71 M_sun. The corresponding limit for the 6.5-s signals is M_WD > 1.03 M_sun.Comment: accepted for publication in ApJ Letters; 13 pages, 4 postscript figures; new version corrects a few typos and matches version that will appear in ApJ

Bipartite partial duals and circuits in medial graphs

It is well known that a plane graph is Eulerian if and only if its geometric dual is bipartite. We extend this result to partial duals of plane graphs. We then characterize all bipartite partial duals of a plane graph in terms of oriented circuits in its medial graph.Comment: v2: minor changes. To appear in Combinatoric

Disease causing mutations in inverted formin 2 regulate its binding to G-actin, F-actin capping protein (CapZ α-1) and profilin 2

Focal segmental glomerulosclerosis (FSGS) is a devastating form of nephrotic syndrome which ultimately leads to end stage renal failure (ESRF). Mutations in inverted formin 2 (INF2), a member of the formin family of actin-regulating proteins, have recently been associated with a familial cause of nephrotic syndrome characterized by FSGS. INF2 is a unique formin that can both polymerize and depolymerize actin filaments. How mutations in INF2 lead to disease is unknown. In the present study, we show that three mutations associated with FSGS, E184K, S186P and R218Q, reduce INF2 auto-inhibition and increase association with monomeric actin. Furthermore using a combination of GFP–INF2 expression in human podocytes and GFP-Trap purification coupled with MS we demonstrate that INF2 interacts with profilin 2 and the F-actin capping protein, CapZ α-1. These interactions are increased by the presence of the disease causing mutations. Since both these proteins are involved in the dynamic turnover and restructuring of the actin cytoskeleton these changes strengthen the evidence that aberrant regulation of actin dynamics underlies the pathogenesis of disease

Impact of kidney function on cardiovascular risk and mortality: a comparison of South Asian and European cohorts

Evidence is limited on ethnic differences in associations between kidney function markers and mortality or cardiovascular disease (CVD). Baseline cross-sectional analysis and longitudinal follow-up study of a UK population-based cohort of 1,116 Europeans and 1,104 South Asians of predominantly Indian descent, age 52 ± 7 years at baseline (1988-1991). Kidney function was estimated using Cystatin C and creatinine-based chronic kidney disease (CKD) Epidemiology Collaboration estimated glomerular filtration rate (eGFR) equations, and urinary albumin-creatinine ratio (ACR). Mortality was captured at 27 years, and incident CVD at 22 years, from death certification, medical records and participant report. Longitudinal associations between eGFR/ACR and mortality/incident CVD were examined using Cox models. eGFRcys was lower and ACR higher in South Asians than Europeans. eGFRcys and -eGFRcreat were more strongly associated with outcomes in Europeans than South Asians. Conversely, associations between ACR and outcomes were greater in South Asians than Europeans, for example, for CVD mortality: HRs (95% CI) adjusted for CVD risk factors and ACR/eGFRcys as appropriate, p for ethnicity interaction: eGFRcys: Europeans: 0.76 (0.62-0.92), South Asians: 0.92 (0.78-1.07), p = 0.05, eGFRcreat: Europeans 0.81 (0.67-0.99), South Asians 1.18 (0.97-1.41), p = 0.002, ACR: -Europeans: 1.24 (1.08-1.42), South Asians: 1.39 (1.25-1.57), p= 0.23. Addition of all CKD measures to a standard CVD risk factor model modestly improved prediction capability in -Europeans; in South Asians only ACR contributed to improvement. Strong associations between ACR and outcomes in South Asians of predominantly Indian origin, and null associations for eGFRcys and eGFRcreat, suggest that ACR may have greater utility in CVD risk prediction in South Asians. Further work is needed to validate these -findings. [Abstract copyright: © 2019 S. Karger AG, Basel.

A transiting companion to the eclipsing binary KIC002856960

We present an early result from an automated search of Kepler eclipsing binary systems for circumbinary companions. An intriguing tertiary signal has been discovered in the short period eclipsing binary KIC002856960. This third body leads to transit-like features in the light curve occurring every 204.2 days, while the two other components of the system display eclipses on a 6.2 hour period. The variations due to the tertiary body last for a duration of \sim1.26 days, or 4.9 binary orbital periods. During each crossing of the binary orbit with the tertiary body, multiple individual transits are observed as the close binary stars repeatedly move in and out of alignment with the tertiary object. We are at this stage unable to distinguish between a planetary companion to a close eclipsing binary, or a hierarchical triply eclipsing system of three stars. Both possibilities are explored, and the light curves presented.Comment: Accepted into A&A Letters (5 pages & 3 figures

Reverberation Mapping and the Physics of Active Galactic Nuclei

Reverberation-mapping campaigns have revolutionized our understanding of AGN. They have allowed the direct determination of the broad-line region size, enabled mapping of the gas distribution around the central black hole, and are starting to resolve the continuum source structure. This review describes the recent and successful campaigns of the International AGN Watch consortium, outlines the theoretical background of reverberation mapping and the calculation of transfer functions, and addresses the fundamental difficulties of such experiments. It shows that such large-scale experiments have resulted in a ``new BLR'' which is considerably different from the one we knew just ten years ago. We discuss in some detail the more important new results, including the luminosity-size-mass relationship for AGN, and suggest ways to proceed in the near future.Comment: Review article to appear in Astronomical Time Series, Proceedings of the Wise Observatory 25th Ann. Symposium. 24 pages including 7 figure

Quantum Cryptography using entangled photons in energy-time Bell states

We present a setup for quantum cryptography based on photon pairs in energy-time Bell states and show its feasability in a laboratory experiment. Our scheme combines the advantages of using photon pairs instead of faint laser pulses and the possibility to preserve energy-time entanglement over long distances. Moreover, using 4-dimensional energy-time states, no fast random change of bases is required in our setup : Nature itself decides whether to measure in the energy or in the time base.Comment: 4 pages including 2 figure

Avian oncogenesis induced by lymphoproliferative disease virus: a neglected or emerging retroviral pathogen?

Lymphoproliferative disease virus (LPDV) is an exogenous oncogenic retrovirus that induces lymphoid tumors in some galliform species of birds. Historically, outbreaks of LPDV have been reported from Europe and Israel. Although the virus has previously never been detected in North America, herein we describe the widespread distribution, genetic diversity, pathogenesis, and evolution of LPDV in the United States. Characterization of the provirus genome of the index LPDV case from North America demonstrated an 88% nucleotide identity to the Israeli prototype strain. Although phylogenetic analysis indicated that the majority of viruses fell into a single North American lineage, a small subset of viruses from South Carolina were most closely related to the Israeli prototype. These results suggest that LPDV was transferred between continents to initiate outbreaks of disease. However, the direction (New World to Old World or vice versa), mechanism, and time frame of the transcontinental spread currently remain unknown