Human complement factor H

We isolated cDNA clones coding for the functionally important tryptic N-terminal38- kDa fragment of human complement control protein factor H using polyclonal and monoclonal antibodies to screen a human liver cDNA library cloned in a bacterial expression vector, PEX-1. By testing the reactivity of antibodies specific for the recombinant proteins produced by individual clones with proteolytic fragments of serum H the exact position of these cDNA clones within H was mapped. One clone, H-19, coding for the 38-kDa fragment of H was sequenced and found to code for 289 amino acids derived from the 38-kDa N-terminal fragment as well as for the first 108 amino acids belonging to the complementary 142-kDa tryptic fragment. The derived protein sequence could be arranged in 6 highly homologous repeats of about 60 amino acids each, the homology between the repeats being determined by the characteristic position of cysteine, proline, glycine, tyrosine and tryptophane residues. The region coding for the epitope recognized by one of our monoclonal antibodies was localized by subcloning restriction fragments of H-19 into the expression plasmid and testing for the expression of this epitope

Evidence for a parsec scale X-ray jet from the accreting neutron star Circinus X-1

We analyzed the zero-order image of a 50 ks Chandra gratings observation of Circinus X-1, taken in 2005 during the source's low-flux state. Circinus X-1 is an accreting neutron star that exhibits ultra-relativistic arcsecond-scale radio jets and diffuse arcminute-scale radio jets and lobes. The image shows a clear excess along the general direction of the north-western counter-jet, coincident with the radio emission, suggesting that it originates either in the jet itself or in the shock the jet is driving into its environment. This makes Circinus X-1 the first neutron star for which an extended X-ray jet has been detected. The kinetic jet power we infer is significantly larger than the minimum power required for the jet to inflate the large scale radio nebula.Comment: Added journal reference, corrected on reference and typo in labels for Fig. 1; 5 pages, 3 figures, ApJ Letter, in pres

Premise Selection and External Provers for HOL4

Learning-assisted automated reasoning has recently gained popularity among the users of Isabelle/HOL, HOL Light, and Mizar. In this paper, we present an add-on to the HOL4 proof assistant and an adaptation of the HOLyHammer system that provides machine learning-based premise selection and automated reasoning also for HOL4. We efficiently record the HOL4 dependencies and extract features from the theorem statements, which form a basis for premise selection. HOLyHammer transforms the HOL4 statements in the various TPTP-ATP proof formats, which are then processed by the ATPs. We discuss the different evaluation settings: ATPs, accessible lemmas, and premise numbers. We measure the performance of HOLyHammer on the HOL4 standard library. The results are combined accordingly and compared with the HOL Light experiments, showing a comparably high quality of predictions. The system directly benefits HOL4 users by automatically finding proofs dependencies that can be reconstructed by Metis

Variability of the X-ray P Cygni Line Profiles from Circinus X-1 Near Zero Phase

The luminous X-ray binary Circinus X-1 has been observed twice near zero orbital phase using the High-Energy Transmission Grating Spectrometer (HETGS) onboard Chandra. The source was in a high-flux state during a flare for the first observation, and it was in a low-flux state during a dip for the second. Spectra from both flux states show clear P Cygni lines, predominantly from H-like and He-like ion species. These indicate the presence of a high-velocity outflow from the Cir X-1 system which we interpret as an equatorial accretion-disk wind, and from the blueshifted resonance absorption lines we determine outflow velocities of 200 - 1900 km/s with no clear velocity differences between the two flux states. The line strengths and profiles, however, are strongly variable both between the two observations as well as within the individual observations. We characterize this variability and suggest that it is due to both changes in the amount of absorbing material along the line of sight as well as changes in the ionization level of the wind. We also refine constraints on the accretion-disk wind model using improved plasma diagnostics such as the He-like Mg XI triplet, and we consider the possibility that the X-ray absorption features seen from superluminal jet sources can generally be explained via high-velocity outflows.Comment: 12 pages, 8 figures, accepted by ApJ (Main

Role of Umklapp Processes in Conductivity of Doped Two-Leg Ladders

Recent conductivity measurements performed on the hole-doped two-leg ladder material $\mathrm{Sr_{14-x}Ca_xCu_{24}O_{41}}$ reveal an approximately linear power law regime in the c-axis DC resistivity as a function of temperature for $x=11$. In this work, we employ a bosonic model to argue that umklapp processes are responsible for this feature and for the high spectral weight in the optical conductivity which occurs beyond the finite frequency Drude-like peak. Including quenched disorder in our model allows us to reproduce experimental conductivity and resistivity curves over a wide range of energies. We also point out the differences between the effect of umklapp processes in a single chain and in the two-leg ladder.Comment: 10 pages, 2 figure

Multi-Modes Phonon Softening in Two-Dimensional Electron-Lattice System

Phonon dispersion in a two-dimensional electron-lattice system described by a two-dimensional square-lattice version of Su-Schrieffer-Heeger's model and having the half-filled electronic band is studied theoretically at temperatures higher than the mean field critical temperature of the Peierls transition. When the temperature is lowered from the higher region down to the critical one, softening of multi phonon modes which have wave vectors equal to the nesting vector \vv{Q}=(\pi/a,\pi/a) with $a$ the lattice constant or parallel to \vv{Q} is observed. Although both of the transverse and longitudinal modes are softened at the critical temperature in the case of the wave vector equal to \vv{Q}, only the transverse modes are softened for other wave vectors parallel to \vv{Q}. This behavior is consistent with the Peierls distortions at lower temperatures.Comment: 10 pages, 5 Figure