On the Swimming of \textit{Dictyostelium} amoebae

Traditionally, the primary mode for locomotion of amoeboid cells was thought to be crawling on a substrate. Recently, it has been experimentally shown that \textit{Dictostelium} amoeba and neutrophils can also swim in a directed fashion. The mechanisms for amoeboid crawling and swimming were hypothesized to be similar. In this letter, we show that the shape changes generated by a crawling \textit{D. discoideum} cell are consistent with swimming.Comment: letter submitted to PNA

Surplus Angle and Sign-flipped Coulomb Force in Projectable Horava-Lifshitz Gravity

We obtain the static spherically symmetric vacuum solutions of Horava-Lifshitz gravity theory, imposing the detailed balance condition only in the UV limit. We find the solutions in two different coordinate systems, the Painlev\'e-Gullstrand coordinates and the Poincare coordinates, to examine the consequences of imposing the projectability condition. The solutions in two coordinate systems are distinct due to the non-relativistic nature of the HL gravity. In the Painleve-Gullstrand coordinates complying with the projectability condition, the solution involves an additional integration constant which yields surplus angle and implies attractive Coulomb force between same charges.Comment: 13 page

Dilaton Stabilization and Inflation in the D-brane World

We study the dilaton stabilization in the D-brane world in which a D-brane constitutes our universe. The dilaton can be stabilized due to the interplay between the D-brane tension and the negative scalar curvature of extra dimensions. Cosmic evolution of the dilaton is investigated with the obtained dilaton potential and it is found that inflation can be realized before the settlement of the dilaton.Comment: 10 pages, abstract correcte

A V-Diagram for the Design of Integrated Health Management for Unmanned Aerial Systems

Designing Integrated Vehicle Health Management (IVHM) for Unmanned Aerial Systems (UAS) is inherently complex. UAS are a system of systems (SoS) and IVHM is a product-service, thus the designer has to take into account many factors, such as: the design of the other systems of the UAS (e.g. engines, structure, communications), the split of functions between elements of the UAS, the intended operation/mission of the UAS, the cost verses benefit of monitoring a system/component/part, different techniques for monitoring the health of the UAS, optimizing the health of the fleet and not just the individual UAS, amongst others. The design of IVHM cannot sit alongside, or after, the design of UAS, but itself be integrated into the overall design to maximize IVHM’s potential. Many different methods exist to help design complex products and manage the process. One method used is the V-diagram which is based on three concepts: decomposition & definition; integration & testing; and verification & validation. This paper adapts the V-diagram so that it can be used for designing IVHM for UAS. The adapted v-diagram splits into different tracks for the different system elements of the UAS and responses to health states (decomposition and definition). These tracks are then combined into an overall IVHM provision for the UAS (integration and testing), which can be verified and validated. The stages of the adapted V-diagram can easily be aligned with the stages of the V-diagram being used to design the UAS bringing the design of the IVHM in step with the overall design process. The adapted V-diagram also allows the design IVHM for a UAS to be broken down in to smaller tasks which can be assigned to people/teams with the relevant competencies. The adapted V-diagram could also be used to design IVHM for other SoS and other vehicles or products

PAMELA's cosmic positron from decaying LSP in SO(10) SUSY GUT

We propose two viable scenarios explaining the recent observations on cosmic positron excess. In both scenarios, the present relic density in the Universe is assumed to be still supported by thermally produced WIMP or LSP (\chi). One of the scenarios is based on two dark matter (DM) components (\chi,X) scenario, and the other is on SO(10) SUSY GUT. In the two DM components scenario, extremely small amount of non-thermally produced meta-stable DM component [O(10^{-10}) < n_X /n_\chi] explains the cosmic positron excess. In the SO(10) model, extremely small R-parity violation for LSP decay to e^\pm is naturally achieved with a non-zero VEV of the superpartner of one right-handed neutrino (\tilde{\nu}^c) and a global symmetry.Comment: 6 pages, Talks presented in PASCOS, SUSY, and COSMO/CosPA in 201

Four-point functions and kaon decays in a minimal AdS/QCD model

We study the predictions of holographic QCD for various observable four-point quark flavour current-current correlators. The dual 5-dimensional bulk theory we consider is a $SU(3)_L \times SU(3)_R$ Yang Mills theory in a slice of $AdS_5$ spacetime with boundaries. Particular UV and IR boundary conditions encode the spontaneous breaking of the dual 4D global chiral symmetry down to the $SU(3)_V$ subgroup. We explain in detail how to calculate the 4D four-point quark flavour current-current correlators using the 5D holographic theory, including interactions. We use these results to investigate predictions of holographic QCD for the $\Delta I = 1/2$ rule for kaon decays and the $B_K$ parameter. The results agree well in comparison with experimental data, with an accuracy of 25% or better. The holographic theory automatically includes the contributions of the meson resonances to the four-point correlators. The correlators agree well in the low-momentum and high-momentum limit, in comparison with chiral perturbation theory and perturbative QCD results, respectively.Comment: Published version, title changed to conform with Journal format, references and clarifying remarks added, 40 pages, 5 figure

Extending the Real-Time Maude Semantics of Ptolemy to Hierarchical DE Models

This paper extends our Real-Time Maude formalization of the semantics of flat Ptolemy II discrete-event (DE) models to hierarchical models, including modal models. This is a challenging task that requires combining synchronous fixed-point computations with hierarchical structure. The synthesis of a Real-Time Maude verification model from a Ptolemy II DE model, and the formal verification of the synthesized model in Real-Time Maude, have been integrated into Ptolemy II, enabling a model-engineering process that combines the convenience of Ptolemy II DE modeling and simulation with formal verification in Real-Time Maude.Comment: In Proceedings RTRTS 2010, arXiv:1009.398

Update of axion CDM energy density

We improve the estimate of the axion CDM energy density by considering the new values of current quark masses, the QCD phase transition effect and a possible anharmonic effect.Comment: 7 pages, 6 figures. References are added. A factor is correcte

Secrecy content of two-qubit states

We analyze the set of two-qubit states from which a secret key can be extracted by single-copy measurements plus classical processing of the outcomes. We introduce a key distillation protocol and give the corresponding necessary and sufficient condition for positive key extraction. Our results imply that the critical error rate derived by Chau, Phys. Rev. A {\bf 66}, 060302 (2002), for a secure key distribution using the six-state scheme is tight. Remarkably, an optimal eavesdropping attack against this protocol does not require any coherent quantum operation.Comment: 5 pages, RevTe

Formal Model Engineering for Embedded Systems Using Real-Time Maude

This paper motivates why Real-Time Maude should be well suited to provide a formal semantics and formal analysis capabilities to modeling languages for embedded systems. One can then use the code generation facilities of the tools for the modeling languages to automatically synthesize Real-Time Maude verification models from design models, enabling a formal model engineering process that combines the convenience of modeling using an informal but intuitive modeling language with formal verification. We give a brief overview six fairly different modeling formalisms for which Real-Time Maude has provided the formal semantics and (possibly) formal analysis. These models include behavioral subsets of the avionics modeling standard AADL, Ptolemy II discrete-event models, two EMF-based timed model transformation systems, and a modeling language for handset software.Comment: In Proceedings AMMSE 2011, arXiv:1106.596