The Goldstone solar system radar: A science instrument for planetary research

The Goldstone Solar System Radar (GSSR) station at NASA's Deep Space Communications Complex in California's Mojave Desert is described. A short chronological account of the GSSR's technical development and scientific discoveries is given. This is followed by a basic discussion of how information is derived from the radar echo and how the raw information can be used to increase understanding of the solar system. A moderately detailed description of the radar system is given, and the engineering performance of the radar is discussed. The operating characteristics of the Arcibo Observatory in Puerto Rico are briefly described and compared with those of the GSSR. Planned and in-process improvements to the existing radar, as well as the performance of a hypothetical 128-m diameter antenna radar station, are described. A comprehensive bibliography of referred scientific and engineering articles presenting results that depended on data gathered by the instrument is provided

Useful entanglement can be extracted from all nonseparable states

We consider entanglement distillation from a single-copy of a multipartite state, and instead of rates we analyze the "quality" of the distilled entanglement. This "quality" is quantified by the fidelity with the GHZ-state. We show that each not fully-separable state $\sigma$ can increase the "quality" of the entanglement distilled from other states, no matter how weakly entangled is $\sigma$. We also generalize this to the case where the goal is distilling states different than the GHZ. These results provide new insights on the geometry of the set of separable states and its dual (the set of entanglement witnesses).Comment: 7 page

Uniform Substitution for Differential Game Logic

This paper presents a uniform substitution calculus for differential game logic (dGL). Church's uniform substitutions substitute a term or formula for a function or predicate symbol everywhere. After generalizing them to differential game logic and allowing for the substitution of hybrid games for game symbols, uniform substitutions make it possible to only use axioms instead of axiom schemata, thereby substantially simplifying implementations. Instead of subtle schema variables and soundness-critical side conditions on the occurrence patterns of logical variables to restrict infinitely many axiom schema instances to sound ones, the resulting axiomatization adopts only a finite number of ordinary dGL formulas as axioms, which uniform substitutions instantiate soundly. This paper proves soundness and completeness of uniform substitutions for the monotone modal logic dGL. The resulting axiomatization admits a straightforward modular implementation of dGL in theorem provers

Schur Q-functions and degeneracy locus formulas for morphisms with symmetries

We give closed-form formulas for the fundamental classes of degeneracy loci associated with vector bundle maps given locally by (not necessary square) matrices which are symmetric (resp. skew-symmetric) w.r.t. the main diagonal. Our description uses essentially Schur Q-polynomials of a bundle, and is based on a certain push-forward formula for these polynomials in a Grassmann bundle.Comment: 22 pages, AMSTEX, misprints corrected, exposition improved. to appear in the Proceedings of Intersection Theory Conference in Bologna, "Progress in Mathematics", Birkhause

The free energy in a class of quantum spin systems and interchange processes

We study a class of quantum spin systems in the mean-field setting of the complete graph. For spin $S=\tfrac12$ the model is the Heisenberg ferromagnet, for general spin $S\in\tfrac12\mathbb{N}$ it has a probabilistic representation as a cycle-weighted interchange process. We determine the free energy and the critical temperature (recovering results by T\'oth and by Penrose when $S=\tfrac12$). The critical temperature is shown to coincide (as a function of $S$) with that of the $q=2S+1$ state classical Potts model, and the phase transition is discontinuous when $S\geq1$.Comment: 22 page

The three-quark static potential in perturbation theory

We study the three-quark static potential in perturbation theory in QCD. A complete next-to-leading order calculation is performed in the singlet, octets and decuplet channels and the potential exponentiation is demonstrated. The mixing of the octet representations is calculated. At next-to-next-to-leading order, the subset of diagrams producing three-body forces is identified in Coulomb gauge and its contribution to the potential calculated. Combining it with the contribution of the two-body forces, which may be extracted from the quark-antiquark static potential, we obtain the complete next-to-next-to-leading order three-quark static potential in the colour-singlet channel.Comment: 36 pages, 11 figures, version published in Phys.Rev.

Integral Grothendieck-Riemann-Roch theorem

We show that, in characteristic zero, the obvious integral version of the Grothendieck-Riemann-Roch formula obtained by clearing the denominators of the Todd and Chern characters is true (without having to divide the Chow groups by their torsion subgroups). The proof introduces an alternative to Grothendieck's strategy: we use resolution of singularities and the weak factorization theorem for birational maps.Comment: 24 page

Free-field Representations and Geometry of some Gepner models

The geometry of $k^{K}$ Gepner model, where $k+2=2K$ is investigated by free-field representation known as "bc\bet\gm"-system. Using this representation it is shown directly that internal sector of the model is given by Landau-Ginzburg $\mathbb{C}^{K}/\mathbb{Z}_{2K}$-orbifold. Then we consider the deformation of the orbifold by marginal anti-chiral-chiral operator. Analyzing the holomorphic sector of the deformed space of states we show that it has chiral de Rham complex structure of some toric manifold, where toric dates are given by certain fermionic screening currents. It allows to relate the Gepner model deformed by the marginal operator to the $\sigma$-model on CY manifold realized as double cover of $\mathbb{P}^{K-1}$ with ramification along certain submanifold.Comment: LaTex, 14 pages, some acknowledgments adde

Euler characteristic of coherent sheaves on simplicial torics via the Stanley-Reisner ring

We combine work of Cox on the total coordinate ring of a toric variety and results of Eisenbud-Mustata-Stillman and Mustata on cohomology of toric and monomial ideals to obtain a formula for computing the Euler characteristic of a Weil divisor D on a complete simplicial toric variety in terms of graded pieces of the Cox ring and Stanley-Reisner ring. The main point is to use Alexander duality to pass from the toric irrelevant ideal, which appears in the computation of the Euler characteristic of D, to the Stanley-Reisner ideal of the fan, which is used in defining the Chow ring. The formula also follows from work of Maclagan-Smith.Comment: 9 pages 1 figur