Design of a Multi-Moon Orbiter

The Multi-Moon Orbiter concept is introduced, wherein a single spacecraft orbits several moons of Jupiter, allowing long duration observations. The ΔV requirements for this mission can be low if ballistic captures and resonant gravity assists by Jupiter’s moons are used. For example, using only 22 m/s, a spacecraft initially injected in a jovian orbit can be directed into a capture orbit around Europa, orbiting both Callisto and Ganymede enroute. The time of flight for this preliminary trajectory is four years, but may be reduced by striking a compromise between fuel and time optimization during the inter-moon transfer phases

Application of dynamical systems theory to a very low energy transfer

We use lobe dynamics in the restricted three-body problem to design orbits with prescribed itineraries with respect to the resonance regions within a Hill’s region. The application we envision is the design of a low energy trajectory to orbit three of Jupiter’s moons using the patched three-body approximation (P3BA). We introduce the “switching region,” the P3BA analogue to the “sphere of influence.” Numerical results are given for the problem of finding the fastest trajectory from an initial region of phase space (escape orbits from moon A) to a target region (orbits captured by moon B) using small controls

A simple proof of the unconditional security of quantum key distribution

Quantum key distribution is the most well-known application of quantum cryptography. Previous proposed proofs of security of quantum key distribution contain various technical subtleties. Here, a conceptually simpler proof of security of quantum key distribution is presented. The new insight is the invariance of the error rate of a teleportation channel: We show that the error rate of a teleportation channel is independent of the signals being transmitted. This is because the non-trivial error patterns are permuted under teleportation. This new insight is combined with the recently proposed quantum to classical reduction theorem. Our result shows that assuming that Alice and Bob have fault-tolerant quantum computers, quantum key distribution can be made unconditionally secure over arbitrarily long distances even against the most general type of eavesdropping attacks and in the presence of all types of noises.Comment: 13 pages, extended abstract. Comments will be appreciate

Designing with Ada for satellite simulation: A case study

A FORTRAN oriented and an Ada oriented design for the same system are compared to learn whether an essentially different design was produced using Ada. The designs were produced by an experiment that involves the parallel development of software for a spacecraft dynamics simulator. Design differences are identified in the use of abstractions, system structure, and simulator operations. Although the designs were vastly different, this result may be influenced by some special characteristics discussed

Constructing a Low Energy Transfer Between Jovian Moons

There has recently been considerable interest in sending a spacecraft to orbit Europa, the smallest of the four Galilean moons of Jupiter. The trajectory design involved in effecting a capture by Europa presents formidable challenges to traditional conic analysis since the regimes of motion involved depend heavily on three-body dynamics. New three-body perspectives are required to design successful and efficient missions which take full advantage of the natural dynamics. Not only does a three-body approach provide low-fuel trajectories, but it also increases the flexibility and versatility of missions. We apply this approach to design a new mission concept wherein a spacecraft "leap-frogs" between moons, orbiting each for a desired duration in a temporary capture orbit. We call this concept the "Petit Grand Tour." For this application, we apply dynamical systems techniques developed in a previous paper to design a Europa capture orbit. We show how it is possible, using a gravitional boost from Ganymede, to go from a jovicentric orbit beyond the orbit of Ganymede to a ballistic capture orbit around Europa. The main new technical result is the employment of dynamical channels in the phase space - tubes in the energy surface which naturally link the vicinity of Ganymede to the vicinity of Europa. The transfer V necessary to jump from one moon to another is less than half that required by a standard Hohmann transfer

Heteroclinic connections between periodic orbits and resonance transitions in celestial mechanics

In this paper we apply dynamical systems techniques to the problem of heteroclinic connections and resonance transitions in the planar circular restricted three-body problem. These related phenomena have been of concern for some time in topics such as the capture of comets and asteroids and with the design of trajectories for space missions such as the Genesis Discovery Mission. The main new technical result in this paper is the numerical demonstration of the existence of a heteroclinic connection between pairs of periodic orbits: one around the libration point L1 and the other around L2, with the two periodic orbits having the same energy. This result is applied to the resonance transition problem and to the explicit numerical construction of interesting orbits with prescribed itineraries. The point of view developed in this paper is that the invariant manifold structures associated to L1 and L2 as well as the aforementioned heteroclinic connection are fundamental tools that can aid in understanding dynamical channels throughout the solar system as well as transport between the "interior" and "exterior" Hill's regions and other resonant phenomena

Invariant Manifolds, the Spatial Three-Body Problem and Space Mission Design

The invariant manifold structures of the collinear libration points for the spatial restricted three-body problem provide the framework for understanding complex dynamical phenomena from a geometric point of view. In particular, the stable and unstable invariant manifold \tubes" associated to libration point orbits are the phase space structures that provide a conduit for orbits between primary bodies for separate three-body systems. These invariant manifold tubes can be used to construct new spacecraft trajectories, such as a \Petit Grand Tour" of the moons of Jupiter. Previous work focused on the planar circular restricted three-body problem. The current work extends the results to the spatial case

Orbital Magnetic Dipole Mode in Deformed Clusters: A Fully Microscopic Analysis

The orbital M1 collective mode predicted for deformed clusters in a schematic model is studied in a self-consistent random-phase-approximation approach which fully exploits the shell structure of the clusters. The microscopic mechanism of the excitation is clarified and the close correlation with E2 mode established. The study shows that the M1 strength of the mode is fragmented over a large energy interval. In spite of that, the fraction remaining at low energy, well below the overwhelming dipole plasmon resonance, is comparable to the strength predicted in the schematic model. The importance of this result in view of future experiments is stressed.Comment: 10 pages, 3 Postscript figures, uses revte

Statistical Theory of Asteroid Escape Rates

Transition states in phase space are identified and shown to regulate the rate of escape of asteroids temporarily captured in circumplanetary orbits. The transition states, similar to those occurring in chemical reaction dynamics, are then used to develop a statistical semianalytical theory for the rate of escape of asteroids temporarily captured by Mars. Theory and numerical simulations are found to agree to better than 1%. These calculations suggest that further development of transition state theory in celestial mechanics, as an alternative to large-scale numerical simulations, will be a fruitful approach to mass transport calculations

Security proof of a three-state quantum key distribution protocol without rotational symmetry

Standard security proofs of quantum key distribution (QKD) protocols often rely on symmetry arguments. In this paper, we prove the security of a three-state protocol that does not possess rotational symmetry. The three-state QKD protocol we consider involves three qubit states, where the first two states, |0_z> and |1_z>, can contribute to key generation and the third state, |+>=(|0_z>+|1_z>)/\sqrt{2}, is for channel estimation. This protocol has been proposed and implemented experimentally in some frequency-based QKD systems where the three states can be prepared easily. Thus, by founding on the security of this three-state protocol, we prove that these QKD schemes are, in fact, unconditionally secure against any attacks allowed by quantum mechanics. The main task in our proof is to upper bound the phase error rate of the qubits given the bit error rates observed. Unconditional security can then be proved not only for the ideal case of a single-photon source and perfect detectors, but also for the realistic case of a phase-randomized weak coherent light source and imperfect threshold detectors. Our result on the phase error rate upper bound is independent of the loss in the channel. Also, we compare the three-state protocol with the BB84 protocol. For the single-photon source case, our result proves that the BB84 protocol strictly tolerates a higher quantum bit error rate than the three-state protocol; while for the coherent-source case, the BB84 protocol achieves a higher key generation rate and secure distance than the three-state protocol when a decoy-state method is used.Comment: 10 pages, 3 figures, 2 column