Afterglow upper limits for four short duration, hard spectrum gamma-ray bursts

We present interplanetary network localization, spectral, and time history information for four short-duration, hard spectrum gamma-ray bursts, GRB000607, 001025B, 001204, and 010119. All of these events were followed up with sensitive radio and optical observations (the first and only such bursts to be followed up in the radio to date), but no detections were made, demonstrating that the short bursts do not have anomalously intense afterglows. We discuss the upper limits, and show that the lack of observable counterparts is consistent both with the hypothesis that the afterglow behavior of the short bursts is like that of the long duration bursts, many of which similarly have no detectable afterglows, as well as with the hypothesis that the short bursts have no detectable afterglows at all. Small number statistics do not allow a clear choice between these alternatives, but given the present detection rates of various missions, we show that progress can be expected in the near future.Comment: 19 pages, 4 figures; Revised version, accepted by the Astrophysical Journa

Convexity properties of the condition number II

In our previous paper [SIMAX 31 n.3 1491-1506(2010)], we studied the condition metric in the space of maximal rank matrices. Here, we show that this condition metric induces a Lipschitz-Riemann structure on that space. After investigating geodesics in such a nonsmooth structure, we show that the inverse of the smallest singular value of a matrix is a log-convex function along geodesics (Theorem 1). We also show that a similar result holds for the solution variety of linear systems (Theorem 31). Some of our intermediate results, such as Theorem 12, on the second covariant derivative or Hessian of a function with symmetries on a manifold, and Theorem 29 on piecewise self-convex functions, are of independent interest. Those results were motivated by our investigations on the com- plexity of path-following algorithms for solving polynomial systems.Comment: Revised versio

The maximal acceleration, Extended Relativistic Dynamics and Doppler type shift for an accelerated source

Based on the generalized principle of relativity and the ensuing symmetry, we have shown that there are only two possible types of transformations between uniformly accelerated systems. The first allowable type of transformation holds if and only if the Clock Hypothesis is true. If the Clock Hypothesis is not true, the transformation is of Lorentz-type and implies the existence of a universal maximal acceleration $a_m$. We present an extension of relativistic dynamics for which all admissible solutions will have have a speed bounded by the speed of light $c$ and the acceleration bounded by $a_m$. An additional Doppler type shift for an accelerated source is predicted. The formulas for such shift are the same as for the usual Doppler shift with $v/c$ replaced by $a/a_m$. The W. K\"{u}ndig experiment of measurement of the transverse Doppler shift in an accelerated system was also exposed to a longtitudal shift due to the acceleration. This experiment, as reanalyzed by Kholmetskii et al, shows that the Clock Hypothesis is not valid. Based on the results of this experiment, we predict that the value of the maximal acceleration $a_m$ is of the order $10^{19}m/s^2$. Moreover, our analysis provides a way to measure experimentally the maximal acceleration with existing technology.Comment: 10 pages, 1 figur

The Cleo III Rich Detector

CLEO III upgrade was completed with the integration of Ring Imaging CHerenkov(RICH) detector for charged particle identification. The design of this cylindrical detector consists of LiF crystal radiators and multi-wire proportional chamber photon detectors coupled through a N2 filled expansion gap. Early performance on K/pion separation is presented.Comment: Presented at Meeting of the Division of Particles and Fields of the American Physical Society August, 200

TriCheck: Memory Model Verification at the Trisection of Software, Hardware, and ISA

Memory consistency models (MCMs) which govern inter-module interactions in a shared memory system, are a significant, yet often under-appreciated, aspect of system design. MCMs are defined at the various layers of the hardware-software stack, requiring thoroughly verified specifications, compilers, and implementations at the interfaces between layers. Current verification techniques evaluate segments of the system stack in isolation, such as proving compiler mappings from a high-level language (HLL) to an ISA or proving validity of a microarchitectural implementation of an ISA. This paper makes a case for full-stack MCM verification and provides a toolflow, TriCheck, capable of verifying that the HLL, compiler, ISA, and implementation collectively uphold MCM requirements. The work showcases TriCheck's ability to evaluate a proposed ISA MCM in order to ensure that each layer and each mapping is correct and complete. Specifically, we apply TriCheck to the open source RISC-V ISA, seeking to verify accurate, efficient, and legal compilations from C11. We uncover under-specifications and potential inefficiencies in the current RISC-V ISA documentation and identify possible solutions for each. As an example, we find that a RISC-V-compliant microarchitecture allows 144 outcomes forbidden by C11 to be observed out of 1,701 litmus tests examined. Overall, this paper demonstrates the necessity of full-stack verification for detecting MCM-related bugs in the hardware-software stack.Comment: Proceedings of the Twenty-Second International Conference on Architectural Support for Programming Languages and Operating System

Open String on Symmetric Product

We develop some basic properties of the open string on the symmetric product which is supposed to describe the open string field theory in discrete lightcone quantization (DLCQ). After preparing the consistency conditions of the twisted boundary conditions for Annulus/M\"obius/Klein Bottle amplitudes in generic non-abelian orbifold, we classify the most general solutions of the constraints when the discrete group is $S_N$. We calculate the corresponding orbifold amplitudes from two viewpoints -- from the boundary state formalism and from the trace over the open string Hilbert space. It is shown that the topology of the world sheet for the short string and that of the long string in general do not coincide. For example the annulus sector for the short string contains all the sectors (torus, annulus, Klein bottle, M\"obius strip) of the long strings. The boundary/cross-cap states of the short strings are classified into three categories in terms of the long string, the ordinary boundary and the cross-cap states, and the ``joint'' state which describes the connection of two short strings. We show that the sum of the all possible boundary conditions is equal to the exponential of the sum of the irreducible amplitude -- one body amplitude of long open (closed) strings. This is typical structure of DLCQ partition function. We examined that the tadpole cancellation condition in our language and derived the well-known gauge group $SO(2^{13})$.Comment: 56 pages, 11 figures, Late

Study of CP violation in Dalitz-plot analyses of B0 --> K+K-KS, B+ --> K+K-K+, and B+ --> KSKSK+

We perform amplitude analyses of the decays $B^0 \to K^+K^-K^0_S$, $B^+ \rightarrow K^+K^-K^+$, and $B^+ \to K^0_S K^0_S K^+$, and measure CP-violating parameters and partial branching fractions. The results are based on a data sample of approximately $470\times 10^6$ $B\bar{B}$ decays, collected with the BABAR detector at the PEP-II asymmetric-energy $B$ factory at the SLAC National Accelerator Laboratory. For $B^+ \to K^+K^-K^+$, we find a direct CP asymmetry in $B^+ \to \phi(1020)K^+$ of $A_{CP}= (12.8\pm 4.4 \pm 1.3)$, which differs from zero by $2.8 \sigma$. For $B^0 \to K^+K^-K^0_S$, we measure the CP-violating phase $\beta_{\rm eff} (\phi(1020)K^0_S) = (21\pm 6 \pm 2)^\circ$. For $B^+ \to K^0_S K^0_S K^+$, we measure an overall direct CP asymmetry of $A_{CP} = (4 ^{+4}_{-5} \pm 2)$. We also perform an angular-moment analysis of the three channels, and determine that the $f_X(1500)$ state can be described well by the sum of the resonances $f_0(1500)$, $f_2^{\prime}(1525)$, and $f_0(1710)$.Comment: 35 pages, 68 postscript figures. v3 - minor modifications to agree with published versio

Weighted Dirac combs with pure point diffraction

A class of translation bounded complex measures, which have the form of weighted Dirac combs, on locally compact Abelian groups is investigated. Given such a Dirac comb, we are interested in its diffraction spectrum which emerges as the Fourier transform of the autocorrelation measure. We present a sufficient set of conditions to ensure that the diffraction measure is a pure point measure. Simultaneously, we establish a natural link to the theory of the cut and project formalism and to the theory of almost periodic measures. Our conditions are general enough to cover the known theory of model sets, but also to include examples such as the visible lattice points.Comment: 44 pages; several corrections and improvement

Measurement of the Bottom-Strange Meson Mixing Phase in the Full CDF Data Set

We report a measurement of the bottom-strange meson mixing phase \beta_s using the time evolution of B0_s -> J/\psi (->\mu+\mu-) \phi (-> K+ K-) decays in which the quark-flavor content of the bottom-strange meson is identified at production. This measurement uses the full data set of proton-antiproton collisions at sqrt(s)= 1.96 TeV collected by the Collider Detector experiment at the Fermilab Tevatron, corresponding to 9.6 fb-1 of integrated luminosity. We report confidence regions in the two-dimensional space of \beta_s and the B0_s decay-width difference \Delta\Gamma_s, and measure \beta_s in [-\pi/2, -1.51] U [-0.06, 0.30] U [1.26, \pi/2] at the 68% confidence level, in agreement with the standard model expectation. Assuming the standard model value of \beta_s, we also determine \Delta\Gamma_s = 0.068 +- 0.026 (stat) +- 0.009 (syst) ps-1 and the mean B0_s lifetime, \tau_s = 1.528 +- 0.019 (stat) +- 0.009 (syst) ps, which are consistent and competitive with determinations by other experiments.Comment: 8 pages, 2 figures, Phys. Rev. Lett 109, 171802 (2012

Magnetic field effects on TcT_c and the pseudogap onset temperature in cuprate superconductors

We study the sensitivity of $T_c$ and the pseudogap onset temperature, $T^*$, to low fields, $H$, for cuprate superconductors, using a BCS-based approach extended to arbitrary coupling. We find that $T^*$ and $T_c$, which are of the same superconducting origin, have very different $H$ dependences. The small coherence length makes $T^*$ rather insensitive to the field. However, the presence of the pseudogap at $T_c$ makes $T_c$ more sensitive to $H$. Our results for the coherence length $\xi$ fit well with existing experiments. We predict that very near the insulator $\xi$ will rapidly increase.Comment: 4 pages, 1 figure, contribution to the PPHMF-IV conference, Oct. 200