We present an extension to indexicals to describe propagators for global constraints. The resulting language is compiled into actual propagators for different solvers, and is solver-independent. In addition, we show how this high-level description eases the proof of propagator properties, such as correctness and monotonicity. Experimental results show that propagators compiled from their indexi...

When implementing a propagator for a constraint, one must decide about variants: When implementing min, should one also implement max? Should one implement linear equations both with and without coefficients? Constraint variants are ubiquitous: implementing them requires considerable (if not prohibitive) effort and decreases maintainability, but will deliver better performance. This paper shows...

Smeared Abelian and center gauges are introduced in pure non-Abelian lattice gauge theories. Popular Abelian and center gauges are limits of smeared gauges. Smeared gauges are also shown to be equivalent to Higgs theories. As a result, distributions and interactions of monopoles and vortices, which are objects responsible for confinement in pure gauge theories, can be studied by investigating c...

We study propagators of the lattice 3d adjoint Higgs model, considered as an effective theory of 4d SU (2) gauge theory at high temperature. The propagators are calculated in so-called λ-gauges. From the long distance behaviour of the propagators we extract the screening masses. It is shown that the pole masses extracted from the propagators agree well with the screening masses obtained recentl...

We investigate the large distance behavior of the electric and magnetic propagators of hot SU(2) gauge theory in different gauges using lattice simulations of the full 4d theory and the effective, dimensionally reduced 3d theory. A comparison of the 3d and 4d data for the propagators suggests that dimensional reduction works surprisingly well down to temperatures T ∼ 2Tc. A detailed study of th...

The quantum mechanical propagators of the linear automorphisms of the two-torus (cat maps) determine a projective unitary representation of the theta group Γ θ ⊂ SL(2, Z). We prove that there exists an appropriate choice of phases in the propagators that defines a proper representation of Γ θ. We also give explicit formulae for the propagators in this representation.

Special-purpose propagators speed up solving logic programs by inferring facts that are hard to deduce otherwise. However, implementing special-purpose propagators is a non-trivial task and requires expert knowledge of solvers. This paper proposes a novel approach in logic programming that allows (1) logical specification of both the problem itself and its propagators and (2) automatic incorpor...