相关论文: Saddle stresses for generic theories with a prefer…

We consider cosmological models based on the scalar-torsion gravity implying non-minimal coupling between torsion and the scalar field with certain relations between model's parameters. Based on observational constraints on the values of…

The orbital Lense-Thirring precession is considered in the context of constraints for weak-field General Relativity involving the cosmological constant $\Lambda$. It is shown that according to the current accuracy of satellite measurements…

The cosmological dynamics of multiple scalar/pseudoscalar fields are difficult to solve, especially when the field-space metric is curved. This presents a challenge in determining whether a given model can support cosmic acceleration,…

Analytical expressions for the orbital precessions affecting the relative motion of the components of a local binary system induced by Lorentz-violating Preferred Frame Effects (PFE) are explicitly computed in terms of the PPN parameters…

We review a set of the possible ways to constrain extended gravity models at Galaxy clusters scales (the regime of dark energy explanations and comparison with $\Lambda CDM$), for black hole shadows, gravitational wave astronomy, binary…

We examine general physical parameterisations for viable gravitational models in the $f(R)$ framework. This is related to the mass of an additional scalar field, called the scalaron, that is introduced by the theories. Using a simple…

Large extra dimensions lower the Planck scale to values soon accessible. Motivated by String Theory, the models of large extra dimensions predict a vast number of new effects in the energy range of the lowered Planck scale, among them the…

We study the evolution of density perturbations for a class of $f(R)$ models which closely mimic $\Lambda$CDM background cosmology. Using the quasi-static approximation, and the fact that these models are equivalent to scalar-tensor…

We use $Planck$ 2018 data to constrain the simplest models of scalar-tensor theories characterized by a coupling to the Ricci scalar of the type $F(\sigma) R$ with $F(\sigma) = N_{pl}^2 + \xi \sigma^2$. We update our results with previous…

To reduce the time-to-market of future aircraft, it is crucial to predict the flight envelope accurately before building prototypes for flight tests. The High-Lift Prediction Workshop (HLPW) series aims to assess the numerical prediction…

We extend known saddlepoint tail probability approximations to multivariate cases, including multivariate conditional cases. Our approximation applies to both continuous and lattice variables, and requires the existence of a cumulant…

We generalize previous work by considering a novel gravitational model with an action given by an arbitrary function of the Ricci scalar, the matter Lagrangian density, a scalar field and a kinetic term constructed from the gradients of the…

The perturbation theory based on typicality introduced in Ref. [1] and further refined in Refs. [2, 3] provides a powerful tool since it is intended to be applicable to a wide range of scenarios while relying only on a few parameters. Even…

The Special Issue on "Modified Gravity Approaches to the Tensions of $\Lambda$CDM"} in the Universe journal tackles significant challenges faced by the $\Lambda$CDM model, including discrepancies in the Hubble constant, growth rate of…

We describe a novel technique that renders theories of $N$ axions tractable, and more generally can be used to efficiently analyze a large class of periodic potentials of arbitrary dimension. Such potentials are complex energy landscapes…

Structured, procedural reasoning is essential for Large Language Models (LLMs), especially in mathematics. While post-training methods have improved LLM performance, they still fall short in capturing deep procedural logic on complex tasks.…

We study the constraint on $f(R)$ gravity that can be obtained by photometric primary probes of the Euclid mission. Our focus is the dependence of the constraint on the theoretical modelling of the nonlinear matter power spectrum. In the…

Linear temporal logic (LTL) is a specification language for finite sequences (called traces) widely used in program verification, motion planning in robotics, process mining, and many other areas. We consider the problem of learning LTL…

Speculative Decoding (SD) is a key technique for accelerating Large Language Model (LLM) inference, but it typically requires training a draft model on a large dataset. We approach this problem from a data-centric perspective, finding that…

The temporal logics LTLf+ and PPLTL+ have recently been proposed to express objectives over infinite traces. These logics are appealing because they match the expressive power of LTL on infinite traces while enabling efficient DFA-based…