Pac-Learning Recursive Logic Programs: Efficient Algorithms

We present algorithms that learn certain classes of function-free recursive logic programs in polynomial time from equivalence queries. In particular, we show that a single k-ary recursive constant-depth determinate clause is learnable. Two-clause programs consisting of one learnable recursive clause and one constant-depth determinate non-recursive clause are also learnable, if an additional ``basecase'' oracle is assumed. These results immediately imply the pac-learnability of these classes. Although these classes of learnable recursive programs are very constrained, it is shown in a companion paper that they are maximally general, in that generalizing either class in any natural way leads to a computationally difficult learning problem. Thus, taken together with its companion paper, this paper establishes a boundary of efficient learnability for recursive logic programs.Comment: See http://www.jair.org/ for any accompanying file

Constraints in Quantum Geometrodynamics

We compare different treatments of the constraints in canonical quantum gravity. The standard approach on the superspace of 3--geometries treats the constraints as the sole carriers of the dynamic content of the theory, thus rendering the traditional dynamical equations obsolete. Quantization of the constraints in both the Dirac and ADM square root Hamiltonian approaches leads to the well known problems of time evolution. These problems of time are of both an interpretational and technical nature. In contrast, the geometrodynamic quantization procedure on the superspace of the true dynamical variables separates the issues of quantization from the enforcement of the constraints. The resulting theory takes into account states that are off-shell with respect to the constraints, and thus avoids the problems of time. We develop, for the first time, the geometrodynamic quantization formalism in a general setting and show that it retains all essential features previously illustrated in the context of homogeneous cosmologies.Comment: 36 pages, no figures, submitted to IJMPA, Rewording, Fixed Typo

Exact Calculation of the Spatio-temporal Correlations in the Takayasu model and in the q-model of Force Fluctuations in Bead Packs

We calculate exactly the two point mass-mass correlations in arbitrary spatial dimensions in the aggregation model of Takayasu. In this model, masses diffuse on a lattice, coalesce upon contact and adsorb unit mass from outside at a constant rate. Our exact calculation of the variance of mass at a given site proves explicitly, without making any assumption of scaling, that the upper critical dimension of the model is 2. We also extend our method to calculate the spatio-temporal correlations in a generalized class of models with aggregation, fragmentation and injection which include, in particular, the $q$-model of force fluctuations in bead packs. We present explicit expressions for the spatio-temporal force-force correlation function in the $q$-model. These can be used to test the applicability of the $q$-model in experiments.Comment: 15 pages, RevTex, 2 figure

The energy dependence of p_t angular correlations inferred from mean-p_t fluctuation scale dependence in heavy ion collisions at the SPS and RHIC

We present the first study of the energy dependence of pt angular correlations inferred from event-wisemean transverse momentum (pt) fluctuations in heavy ion collisions. We compare our large-acceptancemeasurements at CM energies √^sNN = 19.6, 62.4, 130 and 200 GeV to SPS measurements at 12.3 and 17.3 GeV. p_t angular correlation structure suggests that the principal source of p_t correlations and fluctuations is minijets (minimum-bias parton fragments). We observe a dramatic increase in correlations and fluctuations from SPS to RHIC energies, increasing linearly with ln √^sNN from the onset of observable jet-related (p_t) fluctuations near 10 GeV

The hard scale in the exclusive rho-meson production in diffractive DIS

We re-examine the issue of the pQCD factorization scale in the exclusive rho production in diffractive DIS from the k_t-factorization point of view. We find that this scale differs significantly from, and possesses much flatter Q^2 behavior than widely used value (Q^2 + m_\rho^2)/4. With these results in mind, we discuss the Q^2 shape of the rho meson production cross section. We introduce rescaled cross sections, which might provide further insight into the dynamics of rho production. We also comment on the recent ZEUS observation of energy-independent ratio sigma(gamma* p --> rho p) / sigma_{tot}(gamma*p).Comment: 14 pages, 7 eps figure