A pearl on SAT solving in Prolog

A succinct SAT solver is presented that exploits the control provided by delay declarations to implement watched literals and unit propagation. Despite its brevity the solver is surprisingly powerful and its elegant use of Prolog constructs is presented as a programming pearl

Penrose limits of Lie Branes and a Nappi--Witten braneworld

Departing from the observation that the Penrose limit of AdS_3 x S^3 is a group contraction in the sense of Inonu and Wigner, we explore the relation between the symmetric D-branes of AdS_3 x S^3 and those of its Penrose limit, a six-dimensional symmetric plane wave analogous to the four-dimensional Nappi--Witten spacetime. Both backgrounds are Lie groups admitting bi-invariant lorentzian metrics and symmetric D-branes wrap their (twisted) conjugacy classes. We determine the (twisted and untwisted) symmetric D-branes in the plane wave background and we prove the existence of a space-filling D5-brane and, separately, of a foliation by D3-branes with the geometry of the Nappi--Witten spacetime which can be understood as the Penrose limit of the AdS_2 x S^2 D3-brane in AdS_3 x S^3. Parenthetically we also derive a simple criterion for a symmetric plane wave to be isometric to a lorentzian Lie group. In particular we observe that the maximally supersymmetric plane wave in IIB string theory is isometric to a lorentzian Lie group, whereas the one in M-theory is not.Comment: 21 pages (v2: references added

Particle and Antiparticle sectors in DSR1 and kappa-Minkowski space-time

In this paper we explore the problem of antiparticles in DSR1 and $\kappa$-Minkowski space-time following three different approaches inspired by the Lorentz invariant case: a) the dispersion relation, b) the Dirac equation in space-time and c) the Dirac equation in momentum space. We find that it is possible to define a map $S_{dsr}$ which gives the antiparticle sector from the negative frequency solutions of the wave equation. In $\kappa$-Poincar\'e, the corresponding map $S_{kp}$ is the antipodal mapping, which is different from $S_{dsr}$. The difference is related to the composition law, which is crucial to define the multiparticle sector of the theory. This discussion permits to show that the energy of the antiparticle in DSR is the positive root of the dispersion relation, which is consistent with phenomenological approaches.Comment: 15 pages, no figures, some references added, typos correcte

Multicomponent Determination of Chlorinated Hydrocarbons Using a Reaction-Based Chemical Sensor. 3. Medium-Rank Second-Order Calibration with Restricted Tucker Models

The calibration of a chemical sensor for chlorinated hydrocarbon analytes based on the Fujiwara reaction is described. This sensor generates a particular type of data: medium-rank second-order data. With this type of data it is possible to calibrate the sensor in such a way that quantitation for the analytes in the presence of unknown interferents is possible. The calibration method developed is a new approach based on so-called restricted Tucker models that utilize all available chemical informatio

The holonomy of the supercovariant connection and Killing spinors

We show that the holonomy of the supercovariant connection for M-theory backgrounds with $N$ Killing spinors reduces to a subgroup of SL(32-N,\bR)\st (\oplus^N \bR^{32-N}). We use this to give the necessary and sufficient conditions for a background to admit $N$ Killing spinors. We show that there is no topological obstruction for the existence of up to 22 Killing spinors in eleven-dimensional spacetime. We investigate the symmetry superalgebras of supersymmetric backgrounds and find that their structure constants are determined by an antisymmetric matrix. The Lie subalgebra of bosonic generators is related to a real form of a symplectic group. We show that there is a one-one correspondence between certain bases of the Cartan subalgebra of sl(32, \bR) and supersymmetric planar probe M-brane configurations. A supersymmetric probe configuration can involve up to 31 linearly independent planar branes and preserves one supersymmetry. The space of supersymmetric planar probe M-brane configurations is preserved by an SO(32,\bR) subgroup of SL(32, \bR).Comment: 27 pages, a key reference was added. v3: minor change

Uniqueness of M-theory PP-Wave Background with Extra Supersymmetries

We examine Killing spinor equations of the general eleven-dimensional pp-wave backgrounds, which contain a scalar H(x^m,x^-) in the metric and a three-form \xi(x^m,x^-) in the flux. Considering non-harmonic extra Killing spinors, we show that if the backgrounds admit at least one extra Killing spinor in addition to the standard 16 Killing spinors, they can be reduced to the form with H=A_{mn}(x^-)x^mx^n and \xi(x^-) modulo coordinate transformations. We further examine the cases in which the extra Killing spinor is characterized by a set of Cartan matrices. The super-isometry algebras of the resulting backgrounds are also derived.Comment: 25 pages, LaTeX2e, comments added, version to appear in PR

Scalar field in the Bianchi I: Non commutative classical and Quantum Cosmology

Using the ADM formalism in the minisuperspace, we obtain the commutative and noncommutative exact classical solutions and exact wave function to the Wheeler-DeWitt equation with an arbitrary factor ordering, for the anisotropic Bianchi type I cosmological model, coupled to a scalar field, cosmological term and barotropic perfect fluid. We introduce noncommutative scale factors, considering that all minisuperspace variables $\rm q^i$ do not commute, so the symplectic structure was modified. In the classical regime, it is shown that the anisotropic parameter $\rm \beta_{\pm nc}$ and the field $\phi$, for some value in the $\lambda_{eff}$ cosmological term and noncommutative $\theta$ parameter, present a dynamical isotropization up to a critical cosmic time $t_{c}$; after this time, the effects of isotropization in the noncommutative minisuperspace seems to disappear. In the quantum regimen, the probability density presents a new structure that corresponds to the value of the noncommutativity parameter.Comment: 17 pages, 6 figures, Acepted in IJT

The stress-energy tensor for trans-Planckian cosmology

This article presents the derivation of the stress-energy tensor of a free scalar field with a general non-linear dispersion relation in curved spacetime. This dispersion relation is used as a phenomelogical description of the short distance structure of spacetime following the conventional approach of trans-Planckian modes in black hole physics and in cosmology. This stress-energy tensor is then used to discuss both the equation of state of trans-Planckian modes in cosmology and the magnitude of their backreaction during inflation. It is shown that gravitational waves of trans-Planckian momenta but subhorizon frequencies cannot account for the form of cosmic vacuum energy density observed at present, contrary to a recent claim. The backreaction effects during inflation are confirmed to be important and generic for those dispersion relations that are liable to induce changes in the power spectrum of metric fluctuations. Finally, it is shown that in pure de Sitter inflation there is no modification of the power spectrum except for a possible magnification of its overall amplitude independently of the dispersion relation.Comment: 18 pages, 2 figures. Version to appear in PRD (minor modifications

Complementarity in classical dynamical systems

The concept of complementarity, originally defined for non-commuting observables of quantum systems with states of non-vanishing dispersion, is extended to classical dynamical systems with a partitioned phase space. Interpreting partitions in terms of ensembles of epistemic states (symbols) with corresponding classical observables, it is shown that such observables are complementary to each other with respect to particular partitions unless those partitions are generating. This explains why symbolic descriptions based on an \emph{ad hoc} partition of an underlying phase space description should generally be expected to be incompatible. Related approaches with different background and different objectives are discussed.Comment: 18 pages, no figure

Supersymmetric Intersections of M-branes and pp-waves

We study supersymmetric intersections of M2 and M5 branes with different pp-waves of M-theory. We consider first M-brane probes in the background of pp-waves and determine under which conditions the embedding is supersymmetric. We particularize our formalism to the case of pp-waves with 32, 24 and 20 supersymmetries. We also construct supergravity solutions for the brane-wave system. Generically these solutions are delocalised along some directions transverse to the brane and preserve the same number of supersymmetries as in the brane probe approach.Comment: 41 pages, LaTeX; v2 references adde