Graph-Based Shape Analysis Beyond Context-Freeness

We develop a shape analysis for reasoning about relational properties of data structures. Both the concrete and the abstract domain are represented by hypergraphs. The analysis is parameterized by user-supplied indexed graph grammars to guide concretization and abstraction. This novel extension of context-free graph grammars is powerful enough to model complex data structures such as balanced binary trees with parent pointers, while preserving most desirable properties of context-free graph grammars. One strength of our analysis is that no artifacts apart from grammars are required from the user; it thus offers a high degree of automation. We implemented our analysis and successfully applied it to various programs manipulating AVL trees, (doubly-linked) lists, and combinations of both

Hierarchical Graph Transformation

If systems are specified by graph transformation, large graphs should be structured in order to be comprehensible. In this paper, we present an approach for the rule-based transformation of hierarchically structured (hyper)graphs. In these graphs, distinguished hyperedges contain graphs that can be hierarchical again. Our framework extends the well-known double-pushout approach from at to hierarchical graphs. In particular, we show how pushouts and pushout complements of hierarchical graphs and graph morphisms can be constructed recursively. Moreover, we make rules more expressive by introducing variables which allow to copy and to remove hierarchical subgraphs in a single rule application

Analytic properties of the Landau gauge gluon and quark propagators

We explore the analytic structure of the gluon and quark propagators of Landau gauge QCD from numerical solutions of the coupled system of renormalized Dyson--Schwinger equations and from fits to lattice data. We find sizable negative norm contributions in the transverse gluon propagator indicating the absence of the transverse gluon from the physical spectrum. A simple analytic structure for the gluon propagator is proposed. For the quark propagator we find evidence for a mass-like singularity on the real timelike momentum axis, with a mass of 350 to 500 MeV. Within the employed Green's functions approach we identify a crucial term in the quark-gluon vertex that leads to a positive definite Schwinger function for the quark propagator.Comment: 42 pages, 16 figures, revtex; version to be published in Phys Rev

A Lattice Study of the Gluon Propagator in Momentum Space

We consider pure glue QCD at beta=5.7, beta=6.0 and beta=6.3. We evaluate the gluon propagator both in time at zero 3-momentum and in momentum space. From the former quantity we obtain evidence for a dynamically generated effective mass, which at beta=6.0 and beta=6.3 increases with the time separation of the sources, in agreement with earlier results. The momentum space propagator G(k) provides further evidence for mass generation. In particular, at beta=6.0, for k less than 1 GeV, the propagator G(k) can be fit to a continuum formula proposed by Gribov and others, which contains a mass scale b, presumably related to the hadronization mass scale. For higher momenta Gribov's model no longer provides a good fit, as G(k) tends rather to follow an inverse power law. The results at beta=6.3 are consistent with those at beta=6.0, but only the high momentum region is accessible on this lattice. We find b in the range of three to four hundred MeV and the exponent of the inverse power law about 2.7. On the other hand, at beta=5.7 (where we can only study momenta up to 1 GeV) G(k) is best fit to a simple massive boson propagator with mass m. We argue that such a discrepancy may be related to a lack of scaling for low momenta at beta=5.7. {}From our results, the study of correlation functions in momentum space looks promising, especially because the data points in Fourier space turn out to be much less correlated than in real space.Comment: 19 pages + 12 uuencoded PostScript picture

Neural correlates of enhanced visual short-term memory for angry faces: An fMRI study

Copyright: © 2008 Jackson et al.Background: Fluid and effective social communication requires that both face identity and emotional expression information are encoded and maintained in visual short-term memory (VSTM) to enable a coherent, ongoing picture of the world and its players. This appears to be of particular evolutionary importance when confronted with potentially threatening displays of emotion - previous research has shown better VSTM for angry versus happy or neutral face identities.Methodology/Principal Findings: Using functional magnetic resonance imaging, here we investigated the neural correlates of this angry face benefit in VSTM. Participants were shown between one and four to-be-remembered angry, happy, or neutral faces, and after a short retention delay they stated whether a single probe face had been present or not in the previous display. All faces in any one display expressed the same emotion, and the task required memory for face identity. We find enhanced VSTM for angry face identities and describe the right hemisphere brain network underpinning this effect, which involves the globus pallidus, superior temporal sulcus, and frontal lobe. Increased activity in the globus pallidus was significantly correlated with the angry benefit in VSTM. Areas modulated by emotion were distinct from those modulated by memory load.Conclusions/Significance: Our results provide evidence for a key role of the basal ganglia as an interface between emotion and cognition, supported by a frontal, temporal, and occipital network.The authors were supported by a Wellcome Trust grant (grant number 077185/Z/05/Z) and by BBSRC (UK) grant BBS/B/16178