P-model Alternative to the T-model

Standard linguistic analysis of syntax uses the T-model. This model requires the ordering: D-structure $>$ S-structure $>$ LF, where D-structure is the deep structure, S-structure is the surface structure, and LF is logical form. Between each of these representations there is movement which alters the order of the constituent words; movement is achieved using the principles and parameters of syntactic theory. Psychological analysis of sentence production is usually either serial or connectionist. Psychological serial models do not accommodate the T-model immediately so that here a new model called the P-model is introduced. The P-model is different from previous linguistic and psychological models. Here it is argued that the LF representation should be replaced by a variant of Frege's three qualities (sense, reference, and force), called the Frege representation or F-representation. In the F-representation the order of elements is not necessarily the same as that in LF and it is suggested that the correct ordering is: F-representation $>$ D-structure $>$ S-structure. This ordering appears to lead to a more natural view of sentence production and processing. Within this framework movement originates as the outcome of emphasis applied to the sentence. The requirement that the F-representation precedes the D-structure needs a picture of the particular principles and parameters which pertain to movement of words between representations. In general this would imply that there is a preferred or optimal ordering of the symbolic string in the F-representation. The standard ordering is retained because the general way of producing such an optimal ordering is unclear. In this case it is possible to produce an analysis of movement between LF and D-structure similar to the usual analysis of movement between S-structure and LF. It is suggested that a maximal amount of information about a language's grammar and lexicon is stored, because of the necessity of analyzing corrupted data

Representing Isabelle in LF

LF has been designed and successfully used as a meta-logical framework to represent and reason about object logics. Here we design a representation of the Isabelle logical framework in LF using the recently introduced module system for LF. The major novelty of our approach is that we can naturally represent the advanced Isabelle features of type classes and locales. Our representation of type classes relies on a feature so far lacking in the LF module system: morphism variables and abstraction over them. While conservative over the present system in terms of expressivity, this feature is needed for a representation of type classes that preserves the modular structure. Therefore, we also design the necessary extension of the LF module system.Comment: In Proceedings LFMTP 2010, arXiv:1009.218

Polarized electron-deuteron deep-inelastic scattering with spectator nucleon tagging

Background: DIS on the polarized deuteron with detection of a proton in the nuclear breakup region (spectator tagging) represents a unique method for extracting the neutron spin structure functions and studying nuclear modifications. The tagged proton momentum controls the nuclear configuration during the DIS process and enables a differential analysis of nuclear effects. Such measurements could be performed with the future electron-ion collider (EIC) and forward proton detectors if deuteron beam polarization could be achieved. Purpose: Develop theoretical framework for polarized deuteron DIS with spectator tagging. Formulate procedures for neutron spin structure extraction. Methods: A covariant spin density matrix formalism is used to describe general deuteron polarization in collider experiments (vector/tensor, pure/mixed). Light-front (LF) quantum mechanics is employed to factorize nuclear and nucleonic structure in the DIS process. A 4-dimensional representation of LF spin structure is used to construct the polarized deuteron LF wave function and efficiently evaluate the spin sums. Free neutron structure is extracted using the impulse approximation and analyticity in the tagged proton momentum (pole extrapolation). Results: General expressions of the polarized tagged DIS observables in collider experiments. Analytic and numerical study of the polarized deuteron LF spectral function and nucleon momentum distributions. Practical procedures for neutron spin structure extraction from the tagged deuteron spin asymmetries. Conclusions: Spectator tagging provides new tools for precise neutron spin structure measurements. D-wave depolarization and nuclear binding effects can be eliminated through the tagged proton momentum dependence. The methods can be extended to tensor-polarized observables, spin-orbit effects, and diffractive processes.Comment: 52 pages, 19 figure

Detailed comparison of Milky Way models based on stellar population synthesis and SDSS star counts at the north Galactic pole

We test the ability of the TRILEGAL and Besancon models to reproduce the CMD of SDSS data at the north Galactic pole (NGP). We show that a Hess diagram analysis of colour-magnitude diagrams is much more powerful than luminosity functions (LFs) in determining the Milky Way structure. We derive a best-fitting TRILEGAL model to simulate the NGP field in the (g-r, g) CMD of SDSS filters via Hess diagrams. For the Besancon model, we simulate the LFs and Hess diagrams in all SDSS filters. We use a chi2 analysis and determine the median of the relative deviations in the Hess diagrams to quantify the quality of the fits by the TRILEGAL models and the Besancon model in comparison and compare this with the Just-Jahreiss model. The input isochrones in the colour-absolute magnitude diagrams of the thick disc and halo are tested via the observed fiducial isochrones of globular clusters (GCs). We find that the default parameter set lacking a thick disc component gives the best representation of the LF in TRILEGAL. The Hess diagram reveals that a metal-poor thick disc is needed. In the Hess diagram, the median relative deviation of the TRILEGAL model and the SDSS data amounts to 25 percent, whereas for the Just-Jahreiss model the deviation is only 5.6 percent. The isochrone analysis shows that the representation of the MS of (at least metal-poor) stellar populations in the SDSS system is reliable. In contrast, the RGBs fail to match the observed fiducial sequences of GCs. The Besancon model shows a similar median relative deviation of 26 percent in (g-r, g). In the u band, the deviations are larger. There are significant offsets between the isochrone set used in the Besancon model and the observed fiducial isochrones. In contrast to Hess diagrams, LFs are insensitive to the detailed structure of the Milky Way components due to the extended spatial distribution along the line of sight.Comment: 21 pages, 17 figures and 5 tables. Accepted by publication of A&

Development of Tactical and Strategic Operations Software for NASA\u27s Lunar Flashlight Mission

Lunar Flashlight (LF) is an interplanetary CubeSat mission designed to demonstrate the use of a novel green monopropellant propulsion system and characterize lunar surface ice with a near-infrared laser array and reflectometer. LF is also the first Jet Propulsion Laboratory (JPL) mission to be operated entirely by students. While JPL provided baseline tools to Georgia Tech (GT), bespoke tools and software were developed by GT operators. Four tools developed by the author are discussed in this paper: (1) Downlink Helper is a Graphical User Interface (GUI) tool which improves the tactical downlink of recorded spacecraft telemetry. The tool automatically creates and sends downlink commands, displays an intuitive representation of telemetry onboard and downlinked from the spacecraft, and aids operator decision making with predicted downlink times for onboard files. (2) The SeqGen tool suite uses a Python-based object-oriented class structure to parse, generate, and manipulate LF command sequences from minimal input parameters. SeqGen pulls from a database of modular components, performs calculations to insert command parameters, and automatically version controls and archives sequences. SeqGen classes are flexible and are easily ported into other tools and applications, such as the Linter. (3) The Linter is a command line tool that parses LF command sequences and checks them against a database of mission flight rules. Flight rule violations and warnings are automatically detected and displayed for the operator. (4) SMARTS is a GUI tool that enables operator-in-the-loop propulsive burns on LF\u27s highly anomalous propulsion system. Thruster performance is variable and unpredictable, preventing deterministic command sequences from being used to fire the thrusters, and threatening to saturate LF\u27s reaction wheels. To manage spacecraft momentum, the spacecraft is rotated about a thruster\u27s force vector while firing. SMARTS enables operators to tactically calculate, queue, and send command modules such that they execute onboard at precise phases in the rotation. Lessons learned from the development process are condensed and can be used to inform the operations of other student-led interplanetary small satellite missions

Light-Front Holographic Quantum Chromodynamics

Anti-de Sitter space in five dimensions provides an exact geometrical representation of the conformal group. Remarkably, gravity in AdS$_5$ space is holographically dual to frame-independent light-front Hamiltonian theory, derived from the quantization of the QCD Lagrangian at fixed light-front time $\tau = x^0+x^3$. Light-front holography also leads to a precise relation between the bound-state amplitudes in the fifth dimension $z$ of AdS space and the variable $\zeta$, where $\zeta^2 = b^2_\perp x(1-x)$ is the argument of the boost-invariant light-front wavefunctions describing the internal structure of hadrons in physical space-time. The holographic mapping of AdS space with a specific "soft-wall" dilaton yields a confining potential $U(\zeta^2)$ for the light-front Schr\"odinger equation for hadrons with arbitrary spin $J$. Remarkably, $U(\zeta^2)$ has a unique form of a harmonic oscillator potential if one requires that the chiral QCD action remains conformally invariant. One thus obtains an effective light-front effective theory for general spin which respects the conformal symmetry of the four-dimensional classical QCD Lagrangian. The predictions of the LF equations of motion include a zero-mass pion in the chiral $m_q\to 0$ limit, and linear Regge trajectories $M^2(n,L) \propto n+L$ with the same slope in the radial quantum number $n$ and the orbital angular momentum $L$. The light-front AdS/QCD holographic approach gives a frame-independent representation of color-confining dynamics, Regge spectroscopy, as well as the excitation spectra of relativistic light-quark meson and baryon bound states in QCD in terms of a single mass parameter. We also briefly discuss the implications of the underlying conformal template of QCD for renormalization scale-setting, and the implications of light-front quantization for the value of the cosmological constant.Comment: Presented by SJB at the International Conference on Nuclear Theory in the Supercomputing Era (NTSE 2013) in honor of James Vary, May 13 - May 17, 2013, Iowa State University, Ames, Iow