N-body simulations of galactic collisions are employed to investigate the formation of elliptical rings in disk galaxies. The relative inclination between disk and dwarf galaxies is studied with a fine step of five degrees. It is confirmed that the e
ccentricity of elliptical ring is linearly proportional to the inclination angle. Deriving from the simulational results, an analytic formula which expresses the eccentricity as a function of time and inclination angle is obtained. This formula shall be useful for the interpretations of the observations of ring systems, and therefore reveals the merging histories of galaxies.
The binary system PSR B1259-63/LS 2883 is well sampled in radio, X-rays, and TeV gamma-rays, and shows orbital phase-dependent variability in these frequencies. The first detection of GeV gamma-rays from the system was made around the 2010 periastron
passage. In this Letter, we present an analysis of X-ray and gamma-ray data obtained by the Swift/XRT, NuSTAR/FPM, and Fermi/LAT, through the recent periastron passage which occurred on 2014 May 4. While PSR B1259-63/LS 2883 was not detected by the LAT before and during this passage, we show that the GeV flares occurred at a similar orbital phase as in early 2011, thus establishing the repetitive nature of the post-periastron GeV flares. Multiple flares each lasting for a few days have been observed and short-term variability is seen as well. We also found X-ray flux variation contemporaneous with the GeV flare for the first time. A strong evidence of the keV-to-GeV connection came from the broadband high-energy spectra, which we interpret as synchrotron radiation from the shocked pulsar wind.
I review the basics of perturbative QCD, including infrared divergences and safety, collinear and $k_T$ factorization theorems, and various evolution equations and resummation techniques for single- and double-logarithmic corrections. I then elaborat
e its applications to studies of jet substructures and hadronic two-body heavy-quark decays.
Complementation of Buchi automata has been studied for over five decades since the formalism was introduced in 1960. Known complementation constructions can be classified into Ramsey-based, determinization-based, rank-based, and slice-based approache
s. Regarding the performance of these approaches, there have been several complexity analyses but very few experimental results. What especially lacks is a comparative experiment on all of the four approaches to see how they perform in practice. In this paper, we review the four approaches, propose several optimization heuristics, and perform comparative experimentation on four representative constructions that are considered the most efficient in each approach. The experimental results show that (1) the determinization-based Safra-Piterman construction outperforms the other three in producing smaller complements and finishing more tasks in the allocated time and (2) the proposed heuristics substantially improve the Safra-Piterman and the slice-based constructions.
A register automaton is a finite automaton with finitely many registers ranging from an infinite alphabet. Since the valuations of registers are infinite, there are infinitely many configurations. We describe a technique to classify infinite register
automata configurations into finitely many exact representative configurations. Using the finitary representation, we give an algorithm solving the reachability problem for register automata. We moreover define a computation tree logic for register automata and solve its model checking problem.
The dynamics of galactic systems with central binary black holes is studied. The model is a modification from the restricted three body problem, in which a galactic potential is added as an external potential. Considering the case with an equal mass
binary black holes, the conditions of existence of equilibrium points, including Lagrange Points and additional new equilibrium points, i.e. Jiang-Yeh Points, are investigated. A critical mass is discovered to be fundamentally important. That is, Jiang-Yeh Points exist if and only if the galactic mass is larger than the critical mass. The stability analysis is performed for all equilibrium points. The results that Jiang-Yeh Points are unstable could lead to the core formation in the centers of galaxies.
IC 3418 is a dwarf irregular galaxy falling into the Virgo cluster, and a 17 kpc long trail is seen behind the galaxy, which is considered to have formed due to ram pressure stripping. The trail contains compact knots and diffuse blobs of ultraviolet
and blue optical emission and, thus, it is a clear site of recent star formation but in an unusual environment, surrounded by a million degree intra-cluster medium. We report on our optical spectroscopy of a compact source in the trail, SDSS J122952.66+112227.8, and show that the optical spectrum is dominated by emission from a massive blue supergiant star. If confirmed, our report would mark the farthest star with spectroscopic observation. We interpret that a massive O-type star formed in situ in the trail has evolved recently out of the main sequence into this blue supergiant phase, and now lacks any detectable spectral sign of its associated HII region. We argue that turbulence within the ram pressure striped gaseous trail may play a dominant role for the star formation within such trails.
Our goal is to achieve a high degree of fault tolerance through the control of a safety critical systems. This reduces to solving a game between a malicious environment that injects failures and a controller who tries to establish a correct behavior.
We suggest a new control objective for such systems that offers a better balance between complexity and precision: we seek systems that are k-resilient. In order to be k-resilient, a system needs to be able to rapidly recover from a small number, up to k, of local faults infinitely many times, provided that blocks of up to k faults are separated by short recovery periods in which no fault occurs. k-resilience is a simple but powerful abstraction from the precise distribution of local faults, but much more refined than the traditional objective to maximize the number of local faults. We argue why we believe this to be the right level of abstraction for safety critical systems when local faults are few and far between. We show that the computational complexity of constructing optimal control with respect to resilience is low and demonstrate the feasibility through an implementation and experimental results.
We derive an accurate mass distribution of the galaxy cluster MACS J1206.2-0847 (z=0.439) from a combined weak-lensing distortion, magnification, and strong-lensing analysis of wide-field Subaru BVRIz imaging and our recent 16-band Hubble Space Teles
cope observations taken as part of the Cluster Lensing And Supernova survey with Hubble (CLASH) program. We find good agreement in the regions of overlap between several weak and strong lensing mass reconstructions using a wide variety of modeling methods, ensuring consistency. The Subaru data reveal the presence of a surrounding large scale structure with the major axis running approximately north-west south-east (NW-SE), aligned with the cluster and its brightest galaxy shapes, showing elongation with a sim 2:1 axis ratio in the plane of the sky. Our full-lensing mass profile exhibits a shallow profile slope dlnSigma/dlnRsim -1 at cluster outskirts (R>1Mpc/h), whereas the mass distribution excluding the NW-SE excess regions steepens further out, well described by the Navarro-Frenk-White form. Assuming a spherical halo, we obtain a virial mass M_{vir}=(1.1pm 0.2pm 0.1)times 10^{15} M_{sun}/h and a halo concentration c_{vir} = 6.9pm 1.0pm 1.2 (sim 5.7 when the central 50kpc/h is excluded), which falls in the range 4< <c> <7 of average c(M,z) predictions for relaxed clusters from recent Lambda cold dark matter simulations. Our full lensing results are found to be in agreement with X-ray mass measurements where the data overlap, and when combined with Chandra gas mass measurements, yield a cumulative gas mass fraction of 13.7^{+4.5}_{-3.0}% at 0.7Mpc/h (approx 1.7r_{2500}), a typical value observed for high mass clusters.
We present our study of bound states of the fourth generation quarks in the range of 500 to 700 GeV,where we expect binding energies are mainly of Yukawa origin, with QCD subdominant. Near degeneracy of their masses exhibits a new isospin. We find th
e most interesting is the production of a color octet, isosinglet vector meson via $qbar q to omega_8$. Its leading decay modes are $pi_8^pm W^mp$, $pi_8^0Z^0$, and constituent quark decay, with $qbar q$ and $tbar t$ and $bbar b$ subdominant. The color octet, isovector pseudoscalar $pi_8$ meson decays via constituent quark decay, or to $Wg$. This work calls for more detailed study of 4th generation phenomena at LHC.
