Simplicial minisuperspace models in the presence of a massive scalar field with arbitrary scalar coupling

We extend previous simplicial minisuperspace models to account for arbitrary scalar coupling \eta R\phi^2.Comment: 24 pages and 9 figures. Accepted for publication by Classical and Quantum Gravit

Anisotropic simplicial minisuperspace model

The computation of the simplicial minisuperspace wavefunction in the case of anisotropic universes with a scalar matter field predicts the existence of a large classical Lorentzian universe like our own at late timesComment: 19 pages, Latex, 6 figure

Characterization of curves that lie on a geodesic sphere or on a totally geodesic hypersurface in a hyperbolic space or in a sphere

The consideration of the so-called rotation minimizing frames allows for a simple and elegant characterization of plane and spherical curves in Euclidean space via a linear equation relating the coefficients that dictate the frame motion. In this work, we extend these investigations to characterize curves that lie on a geodesic sphere or totally geodesic hypersurface in a Riemannian manifold of constant curvature. Using that geodesic spherical curves are normal curves, i.e., they are the image of an Euclidean spherical curve under the exponential map, we are able to characterize geodesic spherical curves in hyperbolic spaces and spheres through a non-homogeneous linear equation. Finally, we also show that curves on totally geodesic hypersurfaces, which play the role of hyperplanes in Riemannian geometry, should be characterized by a homogeneous linear equation. In short, our results give interesting and significant similarities between hyperbolic, spherical, and Euclidean geometries.Comment: 15 pages, 3 figures; comments are welcom

Characterization of manifolds of constant curvature by spherical curves

It is known that the so-called rotation minimizing (RM) frames allow for a simple and elegant characterization of geodesic spherical curves in Euclidean, hyperbolic, and spherical spaces through a certain linear equation involving the coefficients that dictate the RM frame motion (da Silva, da Silva in Mediterr J Math 15:70, 2018). Here, we shall prove the converse, i.e., we show that if all geodesic spherical curves on a Riemannian manifold are characterized by a certain linear equation, then all the geodesic spheres with a sufficiently small radius are totally umbilical and, consequently, the given manifold has constant sectional curvature. We also furnish two other characterizations in terms of (i) an inequality involving the mean curvature of a geodesic sphere and the curvature function of their curves and (ii) the vanishing of the total torsion of closed spherical curves in the case of three-dimensional manifolds. Finally, we also show that the same results are valid for semi-Riemannian manifolds of constant sectional curvature.Comment: To appear in Annali di Matematica Pura ed Applicat

SZ scaling relations in Galaxy Clusters: results from hydrodynamical N-body simulations

Observations with the SZ effect constitute a powerful new tool for investigating clusters and constraining cosmological parameters. Of particular interest is to investigate how the SZ signal correlates with other cluster properties, such as the mass, temperature and X-ray luminosities. In this presentation we quantify these relations for clusters found in hydrodynamical simulations of large scale structure and investigate their dependence on the effects of radiative cooling and pre-heating.Comment: 10 pages, 3 figures, LaTeX. To appear in proceedings of the JENAM 2002 conference. For a more detailed analysis see astro-ph/0308074, whose simulations supersede those presented at this conferenc

Self-Adaptive Role-Based Access Control for Business Processes

© 2017 IEEE. We present an approach for dynamically reconfiguring the role-based access control (RBAC) of information systems running business processes, to protect them against insider threats. The new approach uses business process execution traces and stochastic model checking to establish confidence intervals for key measurable attributes of user behaviour, and thus to identify and adaptively demote users who misuse their access permissions maliciously or accidentally. We implemented and evaluated the approach and its policy specification formalism for a real IT support business process, showing their ability to express and apply a broad range of self-adaptive RBAC policies

Characterization of Spherical and Plane Curves Using Rotation Minimizing Frames

In this work, we study plane and spherical curves in Euclidean and Lorentz-Minkowski 3-spaces by employing rotation minimizing (RM) frames. By conveniently writing the curvature and torsion for a curve on a sphere, we show how to find the angle between the principal normal and an RM vector field for spherical curves. Later, we characterize plane and spherical curves as curves whose position vector lies, up to a translation, on a moving plane spanned by their unit tangent and an RM vector field. Finally, as an application, we characterize Bertrand curves as curves whose so-called natural mates are spherical.Comment: 8 pages. This version is an improvement of the previous one. In addition to a study of some properties of plane and spherical curves, it contains a characterization of Bertrand curves in terms of the so-called natural mate

Moving frames and the characterization of curves that lie on a surface

In this work we are interested in the characterization of curves that belong to a given surface. To the best of our knowledge, there is no known general solution to this problem. Indeed, a solution is only available for a few examples: planes, spheres, or cylinders. Generally, the characterization of such curves, both in Euclidean ($E^3$) and in Lorentz-Minkowski ($E_1^3$) spaces, involves an ODE relating curvature and torsion. However, by equipping a curve with a relatively parallel moving frame, Bishop was able to characterize spherical curves in $E^3$ through a linear equation relating the coefficients which dictate the frame motion. Here we apply these ideas to surfaces that are implicitly defined by a smooth function, $\Sigma=F^{-1}(c)$, by reinterpreting the problem in the context of the metric given by the Hessian of $F$, which is not always positive definite. So, we are naturally led to the study of curves in $E_1^3$. We develop a systematic approach to the construction of Bishop frames by exploiting the structure of the normal planes induced by the casual character of the curve, present a complete characterization of spherical curves in $E_1^3$, and apply it to characterize curves that belong to a non-degenerate Euclidean quadric. We also interpret the casual character that a curve may assume when we pass from $E^3$ to $E_1^3$ and finally establish a criterion for a curve to lie on a level surface of a smooth function, which reduces to a linear equation when the Hessian is constant.Comment: 22 pages (23 in the published version), 3 figures; this version is essentially the same as the published on