Answer Sets for Logic Programs with Arbitrary Abstract Constraint Atoms

In this paper, we present two alternative approaches to defining answer sets for logic programs with arbitrary types of abstract constraint atoms (c-atoms). These approaches generalize the fixpoint-based and the level mapping based answer set semantics of normal logic programs to the case of logic programs with arbitrary types of c-atoms. The results are four different answer set definitions which are equivalent when applied to normal logic programs. The standard fixpoint-based semantics of logic programs is generalized in two directions, called answer set by reduct and answer set by complement. These definitions, which differ from each other in the treatment of negation-as-failure (naf) atoms, make use of an immediate consequence operator to perform answer set checking, whose definition relies on the notion of conditional satisfaction of c-atoms w.r.t. a pair of interpretations. The other two definitions, called strongly and weakly well-supported models, are generalizations of the notion of well-supported models of normal logic programs to the case of programs with c-atoms. As for the case of fixpoint-based semantics, the difference between these two definitions is rooted in the treatment of naf atoms. We prove that answer sets by reduct (resp. by complement) are equivalent to weakly (resp. strongly) well-supported models of a program, thus generalizing the theorem on the correspondence between stable models and well-supported models of a normal logic program to the class of programs with c-atoms. We show that the newly defined semantics coincide with previously introduced semantics for logic programs with monotone c-atoms, and they extend the original answer set semantics of normal logic programs. We also study some properties of answer sets of programs with c-atoms, and relate our definitions to several semantics for logic programs with aggregates presented in the literature

Logic Programming for Finding Models in the Logics of Knowledge and its Applications: A Case Study

The logics of knowledge are modal logics that have been shown to be effective in representing and reasoning about knowledge in multi-agent domains. Relatively few computational frameworks for dealing with computation of models and useful transformations in logics of knowledge (e.g., to support multi-agent planning with knowledge actions and degrees of visibility) have been proposed. This paper explores the use of logic programming (LP) to encode interesting forms of logics of knowledge and compute Kripke models. The LP modeling is expanded with useful operators on Kripke structures, to support multi-agent planning in the presence of both world-altering and knowledge actions. This results in the first ever implementation of a planner for this type of complex multi-agent domains.Comment: 16 pages, 1 figure, International Conference on Logic Programming 201

Domain walls of high-density QCD

We show that in very dense quark matter there must exist metastable domain walls where the axial U(1) phase of the color-superconducting condensate changes by 2pi. The decay rate of the domain walls is exponentially suppressed and we compute it semiclassically. We give an estimate of the critical chemical potential above which our analysis is under theoretical control.Comment: 4 pages; Eq. (16) corrected, 2 new references added, published versio

Asymptotic deconfinement in high-density QCD

We discuss QCD with two light flavors at large baryon chemical potential mu. Color superconductivity leads to partial breaking of the color SU(3) group. We show that the infrared physics is governed by the gluodynamics of the remaining SU(2) group with an exponentially soft confinement scale Lambda_QCD' Delta*exp[-a*mu/(g*Delta)], where Delta<<mu is the superconducting gap, g is the strong coupling, and a=0.81... We estimate that at moderate baryon densities Lambda_QCD' is O(10 MeV) or smaller. The confinement radius increases exponentially with density, leading to "asymptotic deconfinement." The velocity of the SU(2) gluons is small due to the large dielectric constant of the medium.Comment: 4 pages; restructured, published versio

Pion Propagation near the QCD Chiral Phase Transition

We point out that, in analogy with spin waves in antiferromagnets, all parameters describing the real-time propagation of soft pions at temperatures below the QCD chiral phase transition can be expressed in terms of static correlators. This allows, in principle, the determination of the soft pion dispersion relation on the lattice. Using scaling and universality arguments, we determine the critical behavior of the parameters of pion propagation. We predict that when the critical temperature is approached from below, the pole mass of the pion drops despite the growth of the pion screening mass. This fact is attributed to the decrease of the pion velocity near the phase transition.Comment: 8 pages (single column), RevTeX; added references, version to be published in PR

Charged and superconducting vortices in dense quark matter

Quark matter at astrophysical densities may contain stable vortices due to the spontaneous breaking of hypercharge symmetry by kaon condensation. We argue that these vortices could be both charged and electrically superconducting. Current carrying loops (vortons) could be long lived and play a role in the magnetic and transport properties of this matter. We provide a scenario for vorton formation in protoneutron stars.Comment: Replaced with the published version. A typographical error in Eq. 2 is correcte

Real-time pion propagation in finite-temperature QCD

We argue that in QCD near the chiral limit, at all temperatures below the chiral phase transition, the dispersion relation of soft pions can be expressed entirely in terms of three temperature-dependent quantities: the pion screening mass, a pion decay constant, and the axial isospin susceptibility. The definitions of these quantities are given in terms of equal-time (static) correlation functions. Thus, all three quantities can be determined directly by lattice methods. The precise meaning of the Gell-Mann--Oakes--Renner relation at finite temperature is given.Comment: 25 pages, 2 figures; v2: discussion on the region of applicability expanded, to be published in PR

Classical stability of U(1)_A domain walls in dense matter QCD

It was recently shown that there exists metastable U(1)_A domain wall configurations in high-density QCD (\mu >> 1 GeV). In the following we will assess the stability of such non-trivial field configurations at intermediate densities (\mu < 1 GeV). The existence of such configurations at intermediate densities could have interesting consequences for the physics of neutron stars with high core density.Comment: 13 pages, 2 Postscript figures, typos correcte

Application of theoretical models to active and passive remote sensing of saline ice

The random medium model is used to interpret the polarimetric active and passive measurements of saline ice. The ice layer is described as a host ice medium embedded with randomly distributed inhomogeneities, and the underlying sea water is considered as a homogeneous half-space. The scatterers in the ice layer are modeled with an ellipsoidal correlation function. The orientation of the scatterers is vertically aligned and azimuthally random. The strong permittivity fluctuation theory is employed to calculate the effective permittivity and the distorted Born approximation is used to obtain the polarimetric scattering coefficients. We also calculate the thermal emissions based on the reciprocity and energy conservation principles. The effects of the random roughness at the air-ice, and ice-water interfaces are accounted for by adding the surface scattering to the volume scattering return incoherently. The above theoretical model, which has been successfully applied to analyze the radar backscatter data of the first-year sea ice near Point Barrow, AK, is used to interpret the measurements performed in the CRRELEX program