Invisible pushdown languages

Context free languages allow one to express data with hierarchical structure, at the cost of losing some of the useful properties of languages recognized by finite automata on words. However, it is possible to restore some of these properties by making the structure of the tree visible, such as is done by visibly pushdown languages, or finite automata on trees. In this paper, we show that the structure given by such approaches remains invisible when it is read by a finite automaton (on word). In particular, we show that separability with a regular language is undecidable for visibly pushdown languages, just as it is undecidable for general context free languages

A volumetric Penrose inequality for conformally flat manifolds

We consider asymptotically flat Riemannian manifolds with nonnegative scalar curvature that are conformal to $\R^{n}\setminus \Omega, n\ge 3$, and so that their boundary is a minimal hypersurface. (Here, $\Omega\subset \R^{n}$ is open bounded with smooth mean-convex boundary.) We prove that the ADM mass of any such manifold is bounded below by $(V/\beta_{n})^{(n-2)/n}$, where $V$ is the Euclidean volume of $\Omega$ and $\beta_{n}$ is the volume of the Euclidean unit $n$-ball. This gives a partial proof to a conjecture of Bray and Iga \cite{brayiga}. Surprisingly, we do not require the boundary to be outermost.Comment: 7 page

Frequency shifts and depth dependence of premotor beta band activity during perceptual decision-making

Neural activity in the premotor and motor cortices shows prominent structure in the beta frequency range (13–30 Hz). Currently, the behavioral relevance of this beta band activity (BBA) is debated. The underlying source of motor BBA and how it changes as a function of cortical depth are also not completely understood. Here, we addressed these unresolved questions by investigating BBA recorded using laminar electrodes in the dorsal premotor cortex of 2 male rhesus macaques performing a visual reaction time (RT) reach discrimination task. We observed robust BBA before and after the onset of the visual stimulus but not during the arm movement. While poststimulus BBA was positively correlated with RT throughout the beta frequency range, prestimulus correlation varied by frequency. Low beta frequencies (∼12–20 Hz) were positively correlated with RT, and high beta frequencies (∼22–30 Hz) were negatively correlated with RT. Analysis and simulations suggested that these frequency-dependent correlations could emerge due to a shift in the component frequencies of the prestimulus BBA as a function of RT, such that faster RTs are accompanied by greater power in high beta frequencies. We also observed a laminar dependence of BBA, with deeper electrodes demonstrating stronger power in low beta frequencies both prestimulus and poststimulus. The heterogeneous nature of BBA and the changing relationship between BBA and RT in different task epochs may be a sign of the differential network dynamics involved in cue expectation, decision-making, motor preparation, and movement execution.Published versio

Phase Ordering Dynamics of the O(n) Model - Exact Predictions and Numerical Results

We consider the pair correlation functions of both the order parameter field and its square for phase ordering in the $O(n)$ model with nonconserved order parameter, in spatial dimension $2\le d\le 3$ and spin dimension $1\le n\le d$. We calculate, in the scaling limit, the exact short-distance singularities of these correlation functions and compare these predictions to numerical simulations. Our results suggest that the scaling hypothesis does not hold for the $d=2$ $O(2)$ model. Figures (23) are available on request - email [email protected]: 23 pages, Plain LaTeX, M/C.TH.93/2

Drowsy Cheetah Hunting Antelopes: A Diffusing Predator Seeking Fleeing Prey

We consider a system of three random walkers (a `cheetah' surrounded by two `antelopes') diffusing in one dimension. The cheetah and the antelopes diffuse, but the antelopes experience in addition a deterministic relative drift velocity, away from the cheetah, proportional to their distance from the cheetah, such that they tend to move away from the cheetah with increasing time. Using the backward Fokker-Planck equation we calculate, as a function of their initial separations, the probability that the cheetah has caught neither antelope after infinite time.Comment: 5 page

Phase Ordering Kinetics with External Fields and Biased Initial Conditions

The late-time phase-ordering kinetics of the O(n) model for a non-conserved order parameter are considered for the case where the O(n) symmetry is broken by the initial conditions or by an external field. An approximate theoretical approach, based on a `gaussian closure' scheme, is developed, and results are obtained for the time-dependence of the mean order parameter, the pair correlation function, the autocorrelation function, and the density of topological defects [e.g. domain walls ($n=1$), or vortices ($n=2$)]. The results are in qualitative agreement with experiments on nematic films and related numerical simulations on the two-dimensional XY model with biased initial conditions.Comment: 35 pages, latex, no figure

Comment on "General Method to Determine Replica Symmetry Breaking Transitions"

In a recent letter Marinari et al [Phys. Rev. Lett. 81, 1698 (1998)] introduced a new method to study spin glass transitions and argued that by probing replica symmetry (RS) as opposed to time reversal symmetry (TRS), their method unambiguously shows that replica symmetry breaking (RSB) occurs in short-range spin glasses. In this comment we show that while the new method is indeed useful for studying transitions in systems where TRS is absent (such as the p-spin model studied by them), the conclusion that it shows the existence of RSB in short-range spin glasses is wrong.Comment: 1 page, RevTe

IUS guidance algorithm gamma guide assessment

The Gamma Guidance Algorithm which controls the inertial upper stage is described. The results of an independent assessment of the algorithm's performance in satisfying the NASA missions' targeting objectives are presented. The results of a launch window analysis for a Galileo mission, and suggested improvements are included

Is the droplet theory for the Ising spin glass inconsistent with replica field theory?

Symmetry arguments are used to derive a set of exact identities between irreducible vertex functions for the replica symmetric field theory of the Ising spin glass in zero magnetic field. Their range of applicability spans from mean field to short ranged systems in physical dimensions. The replica symmetric theory is unstable for d>8, just like in mean field theory. For 6<d<8 and d<6 the resummation of an infinite number of terms is necessary to settle the problem. When d<8, these Ward-like identities must be used to distinguish an Almeida-Thouless line from the replica symmetric droplet phase.Comment: 4 pages. Accepted for publication in J.Phys.A. This is the accepted version with the following minor changes: one extra sentence in the abstract; footnote 2 slightly extended; last paragraph somewhat reformulate