Didymos and Dimorphos are primary and secondary, respectively, asteroids who compose a binary system that make up the set of Near Earth Asteroids (NEAs). They are targets of the Double Asteroid Redirection Test (DART), the first test mission dedicated to study of planetary defense, for which the main goal is to measure the changes caused after the secondary body is hit by a kinect impactor. The present work intends to conduct a study, through numerical integrations, on the dynamics of massless particles distributed in the vicinity of the two bodies. An approximate shape for the primary body was considered as a model of mass concentrations (mascons) and the secondary was considered as a massive point. Our results show the location and size of stable regions, and also their lifetime.

Free binary systems are shown not to admit idempotent means. This refutes a conjecture of the author. It is also shown that the extension of Hindman’s theorem to nonassociative binary systems formulated and conjectured by the author is false.

For the observed 18 pairs of double neutron star (DNS) systems, we find that DNS mass distribution is very narrow and its mean value (about 1.34 solar mass) is less than the mean of all measured pulsars of about 1.4 solar mass. To interpret the special DNS mass characteristics, we analyze the DNS formation process, via the phases of HMXBs, by investigating the evolution of massive binary stars. Moreover, in DNSs, two classes of NSs are taken into account, formed by supernova (SN) and electron capture (EC), respectively, and generally the NS mass by SN is bigger than that by EC. Quantitatively, with various initial conditions of binary stars, the observed special DNS distribution can be satisfactorily explained.

We call `bits' a sequence of devices indexed by positive integers, where every device can be in two states: 0 (idle) and 1 (active). Start from the `ground state' of the system when all bits are in 0-state. In our first binary flipping (BF) model the evolution of the system behaves as follows. At each time step choose one bit from a given distribution P on the positive integers independently of anything else, then flip the state of this bit to the opposite state. In our second damaged bits (DB) model a `damaged' state is added: each selected idling bit changes to active, but selecting an active bit changes its state to damaged in which it then stays forever. In both models we analyse the recurrence of the system's ground state when no bits are active. We present sufficient conditions for both the BF and DB models to show recurrent or transient behaviour, depending on the properties of the distribution P. We provide a bound for fractional moments of the return time to the ground state for the BF model, and prove a central limit theorem for the number of active bits for both models.

186 binary pulsars are shown in the magnetic field versus spin period (B-P) diagram, and their relations to the millisecond pulsars can be clearly seen. We declaim a minimum accretion rate for the millisecond pulsar formation both from the observation and theory. If the accretion rate is lower than the minimum accretion rate, the pulsar in binary system will not become a millisecond pulsar after the evolution.

In this paper we attempt to develop an axiomatic theory of binary structure functions with dependent components. This is an important problem, hitherto largely ignored. The concept of coherent structure in probability is introduced and studied. The relationship to the classical coherent structure is discussed. In the new concept the relevancy is defined through reliability of the system, while in the classical concept it is defined through the structure function.