No short hair behaviors of ultra-compact stars

In the black hole spacetime, a no short hair theorem was proved, which states that the effective radius of black hole hairs must extend beyond the null circular orbit. In the present paper, in the horizonless gravity, we find a similar no short hair behavior that the effective radius of matter fields must also extend beyond the null circular orbit of ultra-compact stars.Comment: 6 page

Studies of a general flat space/boson star transition model in a box through a language similar to holographic superconductors

We study a general flat space/boson star transition model in quasi-local ensemble through approaches familiar from holographic superconductor theories. We manage to find a parameter $\psi_{2}$, which is proved to be useful in disclosing properties of phase transitions. In this work, we explore effects of the scalar mass, scalar charge and St$\ddot{u}$ckelberg mechanism on the critical phase transition points and the order of transitions mainly from behaviors of the parameter $\psi_{2}$. We mention that properties of transitions in quasi-local gravity are strikingly similar to those in holographic superconductor models. We also obtain an analytical relation $\psi_{2}\varpropto(\mu-\mu_{c})^{1/2}$, which also holds for the condensed scalar operator in the holographic insulator/superconductor system in accordance with mean field theories.Comment: 11 pages, 6 figure

Scalar condensation behaviors around regular Neuman reflecting stars

We study static massive scalar field condensations in the regular asymptotically flat reflecting star background. We impose Neumann reflecting surface boundary conditions for the scalar field. We show that the no hair theorem holds in the neutral reflecting star background. For charged reflecting stars, we provide bounds for radii of hairy reflecting stars. Below the lower bound, there is no regular compact reflecting star and a black hole will form. Above the upper bound, the scalar field cannot condense around the reflecting star or no hair theorems exist. And in between the bounds, we obtain scalar configurations supported by Neumann reflecting stars.Comment: 9 pages, 1 figur

Extending ACL2 with SMT Solvers

We present our extension of ACL2 with Satisfiability Modulo Theories (SMT) solvers using ACL2's trusted clause processor mechanism. We are particularly interested in the verification of physical systems including Analog and Mixed-Signal (AMS) designs. ACL2 offers strong induction abilities for reasoning about sequences and SMT complements deduction methods like ACL2 with fast nonlinear arithmetic solving procedures. While SAT solvers have been integrated into ACL2 in previous work, SMT methods raise new issues because of their support for a broader range of domains including real numbers and uninterpreted functions. This paper presents Smtlink, our clause processor for integrating SMT solvers into ACL2. We describe key design and implementation issues and describe our experience with its use.Comment: In Proceedings ACL2 2015, arXiv:1509.0552

No hair theorem for massless scalar fields outside asymptotically flat horizonless reflecting compact stars

In a recent paper, Hod started a study on no scalar hair theorem for asymptotically flat spherically symmetric neutral horizonless reflecting compact stars. In fact, Hod's approach only rules out massive scalar fields. In the present paper, for massless scalar fields outside neutral horizonless reflecting compact stars, we provide a rigorous mathematical proof on no hair theorem. We show that asymptotically flat spherically symmetric neutral horizonless reflecting compact stars cannot support exterior massless scalar field hairs.Comment: 7 page