Search

In AI planning, it is common to distinguish between planning domains and problem instances, where a "domain" is generally understood as a set of related problem instances. This distinction is important, for example, in generalised planning, which aims to find a single, general plan or policy that solves all instances of a given domain. In PDDL, domains and problem instances are clearly separated: the domain defines the types, predicate symbols, and action schemata, while the problem instance specifies the concrete set of (typed) objects, the initial state, and the goal condition. In this paper, we show that it is quite easy to define a PDDL domain such that any propositional planning problem instance, from any domain, becomes an instance of this (lifted) "universal" domain. We construct different formulations of the universal domain, and discuss their implications for the complexity of lifted domain-dependent or generalised planning.

The widespread application of Artificial Intelligence (AI) techniques has significantly influenced the development of new therapeutic agents. These computational methods can be used to design and predict the properties of generated molecules. Multi-target Drug Discovery (MTDD) is an emerging paradigm for discovering drugs against complex disorders that do not respond well to more traditional target-specific treatments, such as central nervous system, immune system, and cardiovascular diseases. Still, there is yet to be an established benchmark suite for assessing the effectiveness of AI tools for designing multi-target compounds. Standardized benchmarks allow for comparing existing techniques and promote rapid research progress. Hence, this work proposes an evaluation framework for molecule generation techniques in MTDD scenarios, considering brain diseases as a case study. Our methodology involves using large language models to select the appropriate molecular targets, gathering and preprocessing the bioassay datasets, training quantitative structure-activity relationship models to predict target modulation, and assessing other essential drug-likeness properties for implementing the benchmarks. Additionally, this work will assess the performance of four deep generative models and evolutionary algorithms over our benchmark suite. In our findings, both evolutionary algorithms and generative models can achieve competitive results across the proposed benchmarks., Comment: 8 pages, 1 figure, published in 2024 IEEE Congress on Evolutionary Computation (CEC)

In the following paper, we will study a charged scalar field under an electromagnetic external field taking into account the spatial confining of the system. We shall use the Coleman-Weinberg method in one-loop approximation to obtain the effective potential of the model in the proper time representation. Through generalized Matsubara formalism, we applied several kinds of boundary conditions on the frontier of the system. The regularization of the model is performed by a scheme independent of the external electromagnetic applied field. The model presents phase transition and we carry out its analysis by the free energy density functional of the bosonic system. The findings show magnetic catalysis, electric catalysis, and inverse electric catalysis phenomena, all of them depending on the thickness of the system., Comment: In this paper, we have studied phase transition in a scalar model under an external electromagnetic field taking into account several kinds of boundary conditions

One key decision for heuristic search algorithms is how to balance exploration and exploitation. In classical planning, novelty search has come out as the most successful approach in this respect. The idea is to favor states that contain previously unseen facts when searching for a plan. This is done by maintaining a record of the tuples of facts observed in previous states. Then the novelty of a state is the size of the smallest previously unseen tuple. The most successful version of novelty search is best-first width search (BFWS), which combines novelty measures with heuristic estimates. An orthogonal approach to balance exploration-exploitation is to use several open-lists. These open-lists are ordered using different heuristic estimates, which diversify the information used in the search. The search algorithm then alternates between these open-lists, trying to exploit these different estimates. This is the approach used by LAMA, a classical planner that, a decade after its release, is still considered state-of-the-art in agile planning. In this paper, we study how to combine LAMA and BFWS. We show that simply adding the strongest open-list used in BFWS to LAMA harms performance. However, we show that combining only parts of each planner leads to a new state-of-the-art agile planner.

We investigate the combined finite-size and thermo-magnetic effects on the properties of the quark matter, in the context of the two-flavored Nambu--Jona-Lasinio model. In particular, by using the mean-field approximation and the Schwinger proper time method in a toroidal topology with periodic or antiperiodic conditions, we evaluate the chiral phase transition, the constituent quark mass and the thermal and spatial susceptibilities under the change of the size, temperature and strength of external magnetic field. To take into account the inverse magnetic catalysis phenomenon, we make use of a recently proposed magnetized coupling constant. The findings suggest that the observables are strongly affected by the variation of the variables and also by the periodicity of the boundary conditions, with the final outcomes depending on the balance of these competing phenomena., Comment: 26 pages, 7 figures; revised version incorporating reviewer comments

Alchemical free energy calculations via molecular dynamics have been widely used to obtain thermodynamic properties related to protein-ligand binding and solute-solvent interactions. Although soft-core modeling is the most common approach, the linear basis function (LBF) methodology [Naden, L. N.; et al. J. Chem. Theory Comput. 2014, 10 (3), 1128; 2015, 11 (6), 2536] has emerged as a suitable alternative. It overcomes the end-point singularity of the scaling method while maintaining essential advantages such as ease of implementation and high flexibility for postprocessing analysis. In the present work, we propose a simple LBF variant and formulate an efficient protocol for evaluating van der Waals and Coulomb components of an alchemical transformation in tandem, in contrast to the prevalent sequential evaluation mode. To validate our proposal, which results from a careful optimization study, we performed solvation free energy calculations and obtained octanol-water partition coefficients of small organic molecules. Comparisons with results obtained via the sequential mode using either another LBF approach or the soft-core model attest to the effectiveness and correctness of our method. In addition, we show that a reaction field model with an infinite dielectric constant can provide very accurate hydration free energies when used instead of a lattice-sum method to model solute-solvent electrostatics., Comment: 19 pages, 9 figures, 6 tables

In this work we investigate the combined finite-size and thermomagnetic effects on the properties of neutral mesons in a hot medium, in the context of the Nambu--Jona-Lasinio model. In particular, by using the mean-field approximation and the Schwinger proper time method in a toroidal topology with antiperiodic conditions, we evaluate the chiral phase transition, the constituent quark mass and meson observables like the $\pi ^0$ and $\sigma$ meson masses and pion decay constant under the change of the size, temperature, chemical potential and strength of external magnetic field. The results indicate that the observables are strongly affected by the conjoint effects of relevant variables, and the net result will depend on the balance of these competing phenomena., Comment: 15 pages; 18 figures. In the second version of the manuscript, we have obtained results with both periodic and antiperiodic boundary conditions; a new Subsection (III.A) has been included with a discussion of the behavior of the critical coupling constant concerning the different boundary conditions; the physical discussion of the results has been enriched

For the development of porous materials with improved transport properties, a key missing ingredient is to determine the relations between growth kinetics, structure, and transport parameters. Here, we address these relations by studying solute diffusion through three-dimensional porous films produced by simple deposition models with controlled thickness and porosity. We simulate growing films with competitive aggregation rules that incorporate lateral aggregation (relative rate proportional to $p$), which leads to pore formation, and surface relaxation ($1-p$) that favors compaction. By connecting a solute source at the basis and a drain at the top outer surface of the films, we extract the effective diffusion coefficients from steady-state simulations. We find that for a given film thickness, the larger the $p$, the larger the effective porosity and diffusivity, but the smaller the tortuosity. Keeping constant growth conditions (i.e., same $p$), the increase of thickness always leads to an increase of effective porosity, but a nontrivial behavior in the diffusivity occurs: for $p\leq 0.7$, the diffusion coefficient is larger in thicker films; this is accompanied by a decrease of the tortuosity with the thickness, thus indicating that growth continuously improves pore structure for diffusion. Microscopically, such a result is associated with narrower distributions of local solute currents at higher points of films. Particularly for $p\geq 0.9$, in which film porosity is $\sim 0.65-0.7$, the tortuosity is between $1.3$ and $2$, increases with the thickness, and has maximal changes near $25\%$. Pairs of values of porosity and tortuosity that we obtain here, for the thickest films, agree with those experimentally measured in some porous electrodes. Noteworthy, the increase of film thickness is generally favorable for diffusion in their pores, and exceptions have small losses in tortuosity., Comment: Main: 37 pages, 11 figures, 2 tables. Suppl. Mat.: 7 pages, 4 figures. Paper written by F. Reis

In this paper, we will calculate the bosonic as well as fermionic propagators under classical homogeneous and constant magnetic and electric fields in a Euclidean space. For this, we will reassess the Ritus' method for calculating the Feynman propagator.

In this work we investigate the finite-size effects on the phase structure of a two-flavor four-fermion interaction model with a flavor-mixing four-body interaction and in the presence of a magnetic background, taking into account different boundary conditions. We employ mean-field approximation and Schwinger's proper-time method in a toroidal topology with antiperiodic and periodic boundary conditions. The chiral susceptibility and constituent quark masses are studied under the change of the relevant parameters: size of compactified coordinates, temperature, chemical potential and magnetic field strength, within the different scenarios of boundary conditions and the value of flavor-mixing parameter. The findings suggest that the thermodynamic behavior of this system is strongly affected by the combined effects of relevant variables, depending on the range of their change, the value of flavor-mixing parameter and the choice of boundary conditions., Comment: 31 pages, 16 Figures. To appear in Physica A. arXiv admin note: text overlap with arXiv:1903.09249

In this work we analyze the finite-volume and magnetic effects on the phase structure of a generalized version of Nambu--Jona-Lasinio model with three quark flavors. By making use of mean-field approximation and Schwinger's proper-time method in a toroidal topology with antiperiodic conditions, we investigate the gap equation solutions under the change of the size of compactified coordinates, strength of magnetic field, temperature and chemical potential. The 't Hooft interaction contributions are also evaluated. The thermodynamic behavior is strongly affected by the combined effects of relevant variables. The findings suggest that the broken phase is disfavored due to both increasing of temperature and chemical potential, and the drop of the cubic volume of size $L$, whereas it is stimulated with the augmentation of magnetic field. In particular, the reduction of $L$ (remarkably at $L\approx 0.5 - 3 $~fm) engenders a reduction of the constituent masses for $u,d,s$-quarks through a crossover phase transition to the their corresponding current quark masses. On the other hand, the presence of a magnetic background generates greater values constituent quark masses, inducing smaller sizes and greater temperatures at which the constituent quark masses drop to the respective current ones., Comment: 27 pages; 9 figures; accepted for publication in Phys. Rev. D

We present a model to study effects from an external magnetic field, chemical potential, and finite size, on the phase structure of a massive four- and six-fermion interacting system. These effects are introduced by a method of compactification of coordinates, a generalization of the standard Matsubara prescription. Through the compactification of the $z$ coordinate and of imaginary time, we describe a heated system with the shape of a film of thickness $L$, at temperature $\beta^{-1}$ undergoing first- or second-order phase transition. We have found a strong dependence of the temperature transition on the constants couplings $\lambda$ and $\eta$. Besides magnetic catalysis and symmetry breaking for both kinds of transition, we have found an inverse symmetry breaking phenomenon with respect to first-order phase transition.

We perform a study about effects of an applied magnetic field and a finite chemical potential on the size-dependent phase structure of a first-order transition. These effects are introduced by using methods of quantum fields defined on toroidal spaces, and we study in particular the case of two compactified dimensions, imaginary time and a spatial one (a heated film). It is found that for any value of the applied field, there is a minimal size of the system, independent of the chemical potential, below which the transition disappears., Comment: 19 pages, 3 figures, version accepted for publication in Phys. Lett. A

We canonically quantize the Proca field in the Rindler wedge and compute the total response rate of a uniformly accelerated current interacting with massive vector Rindler particles from the Unruh thermal bath. We explicitly verify that the result obtained is exactly the same as the emission rate of massive vector particles in the Minkowski vacuum as analyzed by inertial observers. Eventually our results are interpreted in terms of the interaction of static electrons coupled to $Z^0$ bosons present in Hawking radiation close to the event horizon of a black hole., Comment: 5 pages, no figures