ADAMTS13 mutations identified in familial TTP patients result in loss of VWF‐cleaving protease activity

Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/106109/1/jth03964.pd

Hypervelocity Stars: Predicting the Spectrum of Ejection Velocities

The disruption of binary stars by the tidal field of the black hole in the Galactic Center can produce the hypervelocity stars observed in the halo. We use numerical models to simulate the full spectrum of observable velocities of stars ejected into the halo by this binary disruption process. Our model includes a range of parameters for binaries with 3-4 M_Solar primaries, consideration of radial orbits of the ejected stars through an approximate mass distribution for the Galaxy, and the impact of stellar lifetimes. We calculate the spectrum of ejection velocities and reproduce previous results for the mean ejection velocity at the Galactic center. The model predicts that the full population of ejected stars includes both the hypervelocity stars with velocities large enough to escape from the Galaxy and a comparable number of ejected, but bound, stars of the same stellar type. The predicted median speeds of the population of ejected stars as a function of distance in the halo are consistent with current observations. Combining the model with the data also shows that interesting constraints on the properties of binaries in the Galactic Center and on the mass distribution in the Galaxy can be obtained even with modest samples of ejected stars.Comment: 26 pages, including 6 figures, accepted for publication in the Astrophysical Journa

Computational Complexity of Atomic Chemical Reaction Networks

Informally, a chemical reaction network is "atomic" if each reaction may be interpreted as the rearrangement of indivisible units of matter. There are several reasonable definitions formalizing this idea. We investigate the computational complexity of deciding whether a given network is atomic according to each of these definitions. Our first definition, primitive atomic, which requires each reaction to preserve the total number of atoms, is to shown to be equivalent to mass conservation. Since it is known that it can be decided in polynomial time whether a given chemical reaction network is mass-conserving, the equivalence gives an efficient algorithm to decide primitive atomicity. Another definition, subset atomic, further requires that all atoms are species. We show that deciding whether a given network is subset atomic is in $\textsf{NP}$, and the problem "is a network subset atomic with respect to a given atom set" is strongly $\textsf{NP}$-$\textsf{Complete}$. A third definition, reachably atomic, studied by Adleman, Gopalkrishnan et al., further requires that each species has a sequence of reactions splitting it into its constituent atoms. We show that there is a $\textbf{polynomial-time algorithm}$ to decide whether a given network is reachably atomic, improving upon the result of Adleman et al. that the problem is $\textbf{decidable}$. We show that the reachability problem for reachably atomic networks is $\textsf{Pspace}$-$\textsf{Complete}$. Finally, we demonstrate equivalence relationships between our definitions and some special cases of another existing definition of atomicity due to Gnacadja

Silent Transitions in Automata with Storage

We consider the computational power of silent transitions in one-way automata with storage. Specifically, we ask which storage mechanisms admit a transformation of a given automaton into one that accepts the same language and reads at least one input symbol in each step. We study this question using the model of valence automata. Here, a finite automaton is equipped with a storage mechanism that is given by a monoid. This work presents generalizations of known results on silent transitions. For two classes of monoids, it provides characterizations of those monoids that allow the removal of \lambda-transitions. Both classes are defined by graph products of copies of the bicyclic monoid and the group of integers. The first class contains pushdown storages as well as the blind counters while the second class contains the blind and the partially blind counters.Comment: 32 pages, submitte

Slow group velocity and Cherenkov radiation

We theoretically study the effect of ultraslow group velocities on the emission of Vavilov-Cherenkov radiation in a coherently driven medium. We show that in this case the aperture of the group cone on which the intensity of the radiation peaks is much smaller than that of the usual wave cone associated with the Cherenkov coherence condition. We show that such a singular behaviour may be observed in a coherently driven ultracold atomic gas.Comment: 4 pages, 4 figure

Interprocedural Reachability for Flat Integer Programs

We study programs with integer data, procedure calls and arbitrary call graphs. We show that, whenever the guards and updates are given by octagonal relations, the reachability problem along control flow paths within some language w1* ... wd* over program statements is decidable in Nexptime. To achieve this upper bound, we combine a program transformation into the same class of programs but without procedures, with an Np-completeness result for the reachability problem of procedure-less programs. Besides the program, the expression w1* ... wd* is also mapped onto an expression of a similar form but this time over the transformed program statements. Several arguments involving context-free grammars and their generative process enable us to give tight bounds on the size of the resulting expression. The currently existing gap between Np-hard and Nexptime can be closed to Np-complete when a certain parameter of the analysis is assumed to be constant.Comment: 38 pages, 1 figur

Hypervelocity Stars from the Andromeda Galaxy

Hypervelocity stars (HVSs) discovered in the Milky Way (MW) halo are thought to be ejected from near the massive black hole (MBH) at the galactic centre. In this paper we investigate the spatial and velocity distributions of the HVSs which are expected to be similarly produced in the Andromeda galaxy (M31). We consider three different HVS production mechanisms: (i) the disruption of stellar binaries by the galactocentric MBH; (ii) the ejection of stars by an in-spiraling intermediate mass black hole; and (iii) the scattering of stars off a cluster of stellar-mass black holes orbiting around the MBH. While the first two mechanisms would produce large numbers of HVSs in M31, we show that the third mechanism would not be effective in M31. We numerically calculate 1.2*10^6 trajectories of HVSs from M31 within a simple model of the Local Group and hence infer the current distribution of these stars. Gravitational focusing of the HVSs by the MW and the diffuse Local Group medium leads to high densities of low mass (~ solar mass) M31 HVSs near the MW. Within the virialized MW halo, we expect there to be of order 1000 HVSs for the first mechanism and a few hundred HVSs for the second mechanism; many of these stars should have distinctively large approach velocities (< -500 km/s). In addition, we predict ~5 hypervelocity RGB stars within the M31 halo which could be identified observationally. Future MW astrometric surveys or searches for distant giants could thus find HVSs from M31.Comment: 14 pages, 6 figures, changed to match version accepted by MNRA

Model for initiation of quality factor degradation at high accelerating fields in superconducting radio-frequency cavities

A model for the onset of the reduction in SRF cavity quality factor, the so-called Q-drop, at high accelerating electric fields is presented. Breakdown of the surface barrier against magnetic flux penetration at the cavity equator is considered to be the critical event that determines the onset of Q-drop. The worst case of triangular grooves with low field of first flux penetration Hp, as analyzed previously by Buzdin and Daumens, [1998 Physica C 294: 257], was adapted. This approach incorporates both the geometry of the groove and local contamination via the Ginzburg-Landau parameter kappa, so the proposed model allows new comparisons of one effect in relation to the other. The model predicts equivalent reduction of Hp when either roughness or contamination were varied alone, so smooth but dirty surfaces limit cavity performance about as much as rough but clean surfaces do. When in combination, contamination exacerbates the negative effects of roughness and vice-versa. To test the model with actual data, coupons were prepared by buffered chemical polishing and electropolishing, and stylus profilometry was used to obtain distributions of angles. From these data, curves for surface resistance generated by simple flux flow as a function of magnetic field were generated by integrating over the distribution of angles for reasonable values of kappa. This showed that combined effects of roughness and contamination indeed reduce the Q-drop onset field by ~30%, and that that contamination contributes to Q-drop as much as roughness. The latter point may be overlooked by SRF cavity research, since access to the cavity interior by spectroscopy tools is very difficult, whereas optical images have become commonplace. The model was extended to fit cavity test data, which indicated that reduction of the superconducting gap by contaminants may also play a role in Q-drop.Comment: 15 pages with 7 figure

Suppression and enhancement of the critical current in multiterminal S/N/S mesoscopic structures

We analyse the measured critical current $I_{m\text{}}$ in a mesoscopic 4-terminal S/N/S structure. The current through the S/N interface is shown to consist not only of the Josephson component $I_{c}\sin \phi ,$ but also a phase-coherent part $I_{sg}\cos \phi$ of the subgap current. The current $I_{m}$ is determined by the both components $I_{c}$ and $I_{sg},$ and depends in a nonmonotonic way on the voltage $V$ between superconductors and normal reservoirs reaching a maximum at $V\cong \Delta /e$. The obtained theoretical resultas are in qualitative agreement with recent experimental data.Comment: 4 page, 3 figures. To be puplished in PRB Rapid co

Representing addition and subtraction : learning the formal conventions

The study was designed to test the effects of a structured intervention in teaching children to represent addition and subtraction. In a post-test only control group design, 90 five-year-olds experienced the intervention entitled Bi-directional Translation whilst 90 control subjects experienced typical teaching. Post-intervention testing showed some significant differences between the two groups both in terms of being able to effect the addition and subtraction operations and in being able to determine which operation was appropriate. The results suggest that, contrary to historical practices, children's exploration of real world situations should precede practice in arithmetical symbol manipulation