I show that when the observables (πE, tE, θE, πs, μs) are well measured up to a discrete degeneracy in the microlensing parallax vector πE, the relative likelihood of the di erent solutions can be written in closed form Pi = KHiBi, where Hi is the number of stars (potential lenses) having the mass and kinematics of the inferred parameters of solution i and Bi is an additional factor that is formally derived from the Jacobian of the transformation from Galactic to microlensing parameters. Here tE is the Einstein timescale, θE is the angular Einstein radius, and (πs;μs) are the (parallax, proper motion) of the microlensed source. The Jacobian term Bi constitutes an explicit evaluation of the \Rich Argument", i.e., that there is an extra geometric factor disfavoring large-parallax solutions in addition to the reduced frequency of lenses given by Hi. I also discuss how this analytic expression degrades in the presence of finite errors in the measured observables.

I investigate the origin of arc degeneracies in satellite microlens parallax π E measurements with only late time data, e.g., t > t 0 + t E as seen from the satellite. I show that these are due to partial overlap of a series of osculating, exactly circular, degeneracies in the π E plane, each from a single measurement. In events with somewhat earlier data, these long arcs break up into two arclets, or (with even earlier data) two points, because these earlier measurements give rise to intersecting rather than osculating circles. The two arclets (or points) then constitute one pair of degeneracies in the well-known four-fold degeneracy of space-based microlens parallax. Using this framework of intersecting circles, I show that next-generation microlens satellite experiments could yield good π E determinations with only about five measurements per event, i.e., about 30 observations per day to monitor 1500 events per year. This could plausibly be done with a small (hence cheap, in the spirit of Gould & Yee 2012) satellite telescope, e.g., 20 cm.

Microlensing is generally thought to probe planetary systems only out to a few Einstein radii. Microlensing events generated by bound planets beyond about 10 Einstein radii generally do not yield any trace of their hosts, and so would be classified as free floating planets (FFPs). I show that it is already possible, using adaptive optics (AO), to constrain the presence of potential hosts to FFP candidates at separations comparable to the Oort Cloud. With next-generation telescopes, planets at Kuiper-Belt separations can be probed. Next generation telescopes will also permit routine vetting for all FFP candidates, simply by obtaining second epochs 4--8 years after the event.At present, the search for such hosts is restricted to within the ``confusion limit'' of θconfus ∼ 0.25 〃, but future WFIRST (Wide Field Infrared Survey Telescope) observations will allow one to probe beyond this confusion limit as well.

I show that the WFIRST microlensing survey will enable detection and precision orbit determination of Kuiper Belt Objects (KBOs) down to Hvega = 28.2 over an effective area of ∼ 17 deg2. Typical fractional period errors will be ∼ 1.5% × 100.4(H−28.2) with similar errors in other parameters for roughly 5000 KBOs. Binary companions to detected KBOs can be detected to even fainter limits, Hvega = 29, corresponding to R ∼ 30.5 and effective diameters D ∼ 7 km. For KBOs H ∼ 23, binary companions can be found with separations down to 10 mas. This will provide an unprecedented probe of orbital resonance and KBO mass measurements. More than a thousand stellar occultations by KBOs can be combined to determine the mean size as a function of KBO magnitude down to H ∼ 25. Current ground-based microlensing surveys can make a significant start on finding and characterizing KBOs using existing and soon-to-be-acquired data.

One-dimensional (1-D) microlens parallaxes can be combined with heliocentric lens-source relative proper motion measurements to derive the lens mass and distance, as suggested by Ghosh et al. (2004). Here I present the first mathematical anlysis of this procedure, which I show can be represented as a quadratic equation. Hence, it is formally subject to a two-fold degeneracy. I show that this degeneracy can be broken in many cases using the relatively crude 2-D parallax information that is often available for microlensing events. I also develop an explicit formula for the region of parameter space where it is more difficult to break this degeneracy. Although no mass/distance measurements have yet been made using this technique, it is likely to become quite common over the next decade.

I show that the standard microlensing technique to measure the angular radius of a star using color/surface-brightness relations can be inverted, via late-time proper motion measurements, to calibrate these relations. The method is especially useful for very metal-rich stars because such stars are in short supply in the solar neighborhood where other methods are most effective, but very abundant in Galactic bulge microlensing fields. I provide a list of eight spectroscopically identified high-metallicity bulge stars with the requisite finite-source effects, seven of which will be suitable calibrators when the Giant Magellan Telescope comes on line. Many more such sources can be extracted from current and future microlensing surveys.