Modeling Stable Matching Problems with Answer Set Programming

The Stable Marriage Problem (SMP) is a well-known matching problem first introduced and solved by Gale and Shapley (1962). Several variants and extensions to this problem have since been investigated to cover a wider set of applications. Each time a new variant is considered, however, a new algorithm needs to be developed and implemented. As an alternative, in this paper we propose an encoding of the SMP using Answer Set Programming (ASP). Our encoding can easily be extended and adapted to the needs of specific applications. As an illustration we show how stable matchings can be found when individuals may designate unacceptable partners and ties between preferences are allowed. Subsequently, we show how our ASP based encoding naturally allows us to select specific stable matchings which are optimal according to a given criterion. Each time, we can rely on generic and efficient off-the-shelf answer set solvers to find (optimal) stable matchings.Comment: 26 page

A determination of the strange quark mass for unquenched clover fermions using the AWI

Using the O(a) Symanzik improved action an estimate is given for the strange quark mass for unquenched (nf=2) QCD. The determination is via the axial Ward identity (AWI) and includes a non-perturbative evaluation of the renormalisation constant. Numerical results have been obtained at several lattice spacings, enabling the continuum limit to be taken. Results indicate a value for the strange quark mass (in the MSbar-scheme at a scale of 2GeV) in the range 100 - 130MeV.Comment: 6 pages, contribution to Lattice2005(Hadron spectrum and quark masses), uses PoS.cl

A Determination of the Lambda Parameter from Full Lattice QCD

We present a determination of the QCD parameter Lambda in the quenched approximation (n_f=0) and for two flavours (n_f=2) of light dynamical quarks. The calculations are performed on the lattice using O(a) improved Wilson fermions and include taking the continuum limit. We find Lambda_{n_f=0} = 259(1)(20) MeV and Lambda_{n_f=2} = 261(17)(26) MeV}, using r_0 = 0.467 fm to set the scale. Extrapolating our results to five flavours, we obtain for the running coupling constant at the mass of the Z boson alpha_s(m_Z) = 0.112(1)(2). All numbers refer to the MSbar scheme.Comment: 25 pages, 9 figure

Calculation of Finite Size Effects on the Nucleon Mass in Unquenched QCD using Chiral Perturbation Theory

The finite size effects on nucleon masses are calculated in relativistic chiral perturbation theory. Results are compared with two-flavor lattice results.Comment: talk at Confinement03, 5 pages latex, 3 figures. Assignment of 2 data points to incorrect data sets in plot 1 and of 1 data point in plot 2 corrected. 1 fm lattice result updated. Conclusions unchange

Determination of Lambda in quenched and full QCD - an update

We present an update on our previous determination of the Lambda parameter in QCD. The main emphasis is on results for two flavours of light dynamical quarks, where we can now almost double the amount of data used, including values at smaller lattice spacings. The calculations are performed using $O(a)$ improved Wilson fermions. Little change is found to previous numerical values.Comment: Lattice2004(spectrum), Fermilab, June 21-26, 2004, 3 page

International Lattice Data Grid

We propose the co-ordination of lattice QCD grid developments in different countries to allow transparent exchange of gauge configurations in future, should participants wish to do so. We describe briefly UKQCD's XML schema for labelling and cataloguing the data. A meeting to further develop these ideas will be held in Edinburgh on 19/20 December 2002, and will be available over AccessGrid.Comment: Lattice2002(plenary

The strong coupling constant from lattice QCD with N_f=2 dynamical quarks

We compute $\Lambda_{\bar{MS}}$ for two flavors of light dynamical quarks using non-perturbatively $O(a)$ improved Wilson fermions. We improve on a recent calculation by employing Pad\'e-improved two-loop and three-loop perturbation theory to convert the lattice numbers to the $\bar{MS}$ scheme.Comment: Contribution to Lattice 2001 (matrix elements), typo correcte