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

The eta' meson from lattice QCD

We study the flavour singlet pseudoscalar mesons from first principles using lattice QCD. With N_f=2 flavours of light quark, this is the so-called eta_2 meson and we discuss the phenomenological status of this. Using maximally twisted-mass lattice QCD, we extract the mass of the eta_2 meson at two values of the lattice spacing for lighter quarks than previously discussed in the literature. We are able to estimate the mass value in the limit of light quarks with their physical masses.Comment: 16 pages: version accepted for publicatio

Bond breaking in vibrationally excited methane on transition metal catalysts

The role of vibrational excitation of a single mode in the scattering of methane is studied by wave packet simulations of oriented CH4 and CD4 molecules from a flat surface. All nine internal vibrations are included. In the translational energy range from 32 up to 128 kJ/mol we find that initial vibrational excitations enhance the transfer of translational energy towards vibrational energy and increase the accessibility of the entrance channel for dissociation. Our simulations predict that initial vibrational excitations of the asymmetrical stretch (nu_3) and especially the symmetrical stretch (nu_1) modes will give the highest enhancement of the dissociation probability of methane.Comment: 4 pages REVTeX, 2 figures (eps), to be published in Phys. Rev. B. (See also arXiv:physics.chem-ph/0003031). Journal version at http://publish.aps.org/abstract/PRB/v61/p1565

O(a^2) cutoff effects in lattice Wilson fermion simulations

In this paper we propose to interpret the large discretization artifacts affecting the neutral pion mass in maximally twisted lattice QCD simulations as O(a^2) effects whose magnitude is roughly proportional to the modulus square of the (continuum) matrix element of the pseudoscalar density operator between vacuum and one-pion state. The numerical size of this quantity is determined by the dynamical mechanism of spontaneous chiral symmetry breaking and turns out to be substantially larger than its natural magnitude set by the value of Lambda_QCD.Comment: 38 pages, 1 figure, 2 table

{\eta} and {\eta}' mesons from Nf=2+1+1 twisted mass lattice QCD

We determine mass and mixing angles of eta and eta' states using Nf=2+1+1 Wilson twisted mass lattice QCD. We describe how those flavour singlet states need to be treated in this lattice formulation. Results are presented for three values of the lattice spacing, a=0.061 fm, a=0.078 fm and a=0.086 fm, with light quark masses corresponding to values of the charged pion mass in a range of 230 to 500 MeV and fixed bare strange and charm quark mass values. We obtain 557(15)(45) MeV for the eta mass (first error statistical, second systematic) and 44(5) degrees for the mixing angle in the quark flavour basis, corresponding to -10(5) degrees in the octet-singlet basis.Comment: 28 pages, 9 figures, version to appear in JHEP, extended discussion of autocorrelation times and comparison to results available in the literature, added a comment for FS-effects and clarified the description of our blocking procedur

Nucleon scalar and tensor charges using lattice QCD simulations at the physical value of the pion mass

We present results on the light, strange and charm nucleon scalar and tensor charges from lattice QCD, using simulations with $N_f=2$ flavors of twisted mass Clover-improved fermions with a physical value of the pion mass. Both connected and disconnected contributions are included, enabling us to extract the isoscalar, strange and charm charges for the first time directly at the physical point. Furthermore, the renormalization is computed non-perturbatively for both isovector and isoscalar quantities. We investigate excited state effects by analyzing several sink-source time separations and by employing a set of methods to probe ground state dominance. Our final results for the scalar charges are $g_S^u = 5.20(42)(15)(12)$, $g_S^d = 4.27(26)(15)(12)$, $g_S^s=0.33(7)(1)(4)$, $g_S^c=0.062(13)(3)(5)$ and for the tensor charges $g_T^u = 0.782(16)(2)(13)$, $g_T^d = -0.219(10)(2)(13)$, $g_T^s=-0.00319(69)(2)(22)$, $g_T^c=-0.00263(269)(2)(37)$ in the $\overline{\rm MS}$ scheme at 2~GeV. The first error is statistical, the second is the systematic error due to the renormalization and the third the systematic arising from possible contamination due to the excited states.Comment: 20 pages and 13 figure

f_B and f_Bs with maximally twisted Wilson fermions

We present a lattice QCD calculation of the heavy-light decay constants f_B and f_Bs performed with Nf=2 maximally twisted Wilson fermions, at four values of the lattice spacing. The decay constants have been also computed in the static limit and the results are used to interpolate the observables between the charm and the infinite-mass sectors, thus obtaining the value of the decay constants at the physical b quark mass. Our preliminary results are f_B=191(14) MeV, f_Bs=243(14) MeV, f_Bs/f_B=1.27(5). They are in good agreement with those obtained with a novel approach, recently proposed by our Collaboration (ETMC), based on the use of suitable ratios having an exactly known static limit.Comment: Proceedings of the 27th International Symposium on Lattice Field Theory (Lattice 2009), Beijing, China, 2009 July 26-31. 8 pages, 3 figure

The continuum limit of the static-light meson spectrum

We investigate the continuum limit of the low lying static-light meson spectrum using Wilson twisted mass lattice QCD with N_f = 2 dynamical quark flavours. We consider three values of the lattice spacing a ~ 0.051 fm, 0.064 fm, 0.080 fm and various values of the pion mass in the range 280 MeV < m_PS < 640 MeV. We present results in the continuum limit for light cloud angular momentum j = 1/2, 3/2, 5/2 and for parity P = +, -. We extrapolate our results to physical quark masses, make predictions regarding the spectrum of B and B_s mesons and compare with available experimental results.Comment: 18 pages, 3 figure

Bulk antiferromagnetism in Na0.82CoO2\bf Na_{0.82}CoO_2 single crystals

Susceptibility, specific heat, and muon spin rotation measurements on high-quality single crystals of $\rm Na_{0.82}CoO_2$ have revealed bulk antiferromagnetism with N\'{e}el temperature $\rm T_N = 19.8 \pm 0.1$ K and an ordered moment perpendicular to the $\rm CoO_2$ layers. The magnetic order encompasses nearly 100% of the crystal volume. The susceptibility exhibits a broad peak around 30 K, characteristic of two-dimensional antiferromagnetic fluctuations. The in-plane resistivity is metallic at high temperatures and exhibits a minimum at $\rm T_N$.Comment: published versio