Alexander Sakharov

Learn More
Constant propagation is a well-known data flow analysis time calculations and deletion of unreachable code. In this paper, constant propagation is generalized to allow propagation of a wider class of assertions. Along this class includes controlling expressions of assignments. The problem of propagating these assertions monotone data flow analysis(More)
It has been suggested that the interactions of energetic particles with the foamy structure of space-time thought to be generated by quantum-gravitational (QG) effects might violate Lorentz invariance, so that they do not propagate at a universal speed of light. We consider the limits that may be set on a linear or quadratic violation of Lorentz invariance(More)
The collapse of sufficiently large closed domain wall produced during second order phase transition in the vacuum state of a scalar field can lead to the formation of black hole. The origin of domain walls with appropriate size and energy density could be a result of evolution of an effectively massless scalar field at the inflational epoch. We demonstrate(More)
A new mechanism of black hole formation in a first order phase transition is proposed. In vacuum bubble collisions the interaction of bubble walls leads to the formation of nontrivial vacuum configuration. The consequent collapse of this vacuum configuration induces the black hole formation with high probability. The primordial black holes that have been(More)
The existence of macroscopic regions with antibaryon excess in the baryon asymmetric Universe with general baryon excess is the possible consequence of practically all models of baryosynthesis. Diffusion of matter and antimatter to the border of antimatter domains defines the minimal scale of the antimatter domains surviving to the present time. A model of(More)