SearcharxivSearch

arXiv subjects

Carles Bona

Publications and source records attributed to Carles Bona.

At least 19 recordsLinked to original sources

MHDuet : a high-order General Relativistic Radiation MHD code for CPU and GPU architectures

We present MHDuet, an open source evolution code for general relativistic magnetohydrodynamics with neutrino transport. The code solves the full set of Einstein equations coupled to a relativistic, magnetized fluid with an M1 neutrino radiation scheme using advanced techniques, including adaptive mesh and large eddy simulation techniques, to achieve high accuracy. The Simflowny platform generates the code from a high-level specification of the computational system, producing code that runs with either the SAMRAI or AMReX infrastructure. The choice of AMReX enables compilation and execution on GPUs, running an order of magnitude faster than on CPUs at the node level. We validate the code against benchmark tests, reproducing previous results obtained with the SAMRAI infrastructure, and demonstrate its capabilities with simulations of neutron stars employing realistic tabulated equations of state. Resolution studies clearly demonstrate convergence faster than second order in the grid spacing. Scaling tests reveal excellent strong and weak scaling performance when running on GPUs. The goal of the code is to provide a powerful tool for studying the dynamics of compact objects within multi-messenger astrophysics.

gr-qc

The horizon problem as a clue: a smooth big bang?

The necessary and sufficient condition for the absence of particle horizons in a big bang Friedmann-Robertson-Walker universe is provided. It happens to be a "smooth big bang" initial condition: the proper time derivative of the expansion factor $a(t)$ must be finite at the big bang. Equivalently, the energy density must not diverge faster than $a^{-2}$ at the big bang. This is just an initial condition: only the scale factor asymptotic behavior at the very moment of the big bang matters. The causal connection between remote space regions could then take place immediately after the big bang. Even $10^{-36}$ seconds of proper time, would allow for an infinite number of light crossing times between any two space regions, no matter how far apart. This justifies inflationary scenarios starting from a quasi-homogeneous scalar field close to equilibrium. The high degree of homogeneity of the Cosmological Background Radiation can be seen then not as a problem, but rather as a clue to the equation of state in the big bang limit.

gr-qc

Kaluza-Klein Cosmology: the bulk metric

The Cosmological Principle is applied to a five-dimensional vacuum manifold. The general (non-trivial) solution is explicitly given. The result is a unique metric, parametrized with the sign of the space curvature ($k=0,\pm 1$) and the signature of the fifth coordinate. Friedmann-Robertson-Walker (FRW) metrics can be obtained from this single 'mother' metric (M-metric), by projecting onto different space-homogeneous four-dimensional hypersurfaces. The expansion factor $R$ is used as time coordinate in order to get full control of the equation of state of the resulting projection. The embedding of a generic (equilibrium) mixture of matter, radiation and cosmological constant is given, modulo a quadrature, although some signature-dependent restrictions must be accounted for. In the 4+1 case, where the extra coordinate is spacelike, the condition ensuring that the projected hypersurface is of Lorentzian type is explicitly given. An example showing a smooth transition from an Euclidian to a Lorentzian 4D metric is provided. This dynamical signature change can be considered a classical counterpart of the Hartle-Hawking 'no-boundary' proposal. The resulting FRW model shows an initial singularity at a finite value of the expansion factor $R$. It can be termed as a 'Big unfreeze', as it is produced just by the beginning of time, without affecting space geometry. The model can be extended in order to fit the present value of the density parameters.

gr-qc

3+2 Cosmology: unifying FRW metrics in the bulk

The Cosmological Problem is considered in a five-dimensional (bulk) manifold with two time coordinates, obeying vacuum Einstein field equations. The evolution formalism is used there, in order to get a simple form of the resulting constraints. In the spatially flat case, this approach allows to find out the general solution, which happens to consist in a single metric. All the embedded Friedmann-Robertson-Walker (FRW) metrics can be obtained from this 'mother' metric ('M-metric') in the bulk, by projecting onto different four-dimensional hypersurfaces (branes). Having a time plane in the bulk allows to devise the specific curve which will be kept as the physical time coordinate in the brane. This method is applied for identifying FRW regular solutions, evolving from the infinite past (no Big Bang), even with an asymptotic initial state with non-zero radius (emergent universes). Explicit counter-examples are provided, showing that not every spatially-flat FRW metric can actually be embedded in a 3+2 bulk manifold. This implies that the extension of the Campbell theorem to the General Relativity case works only in its weaker form in this case, requiring as an extra assumption that the constraint equations hold at least in a single 4D hypersurface.

gr-qc

A Simflowny-based high-performance 3D code for the generalized induction equation

In the interior of neutron stars, the induction equation regulates the long-term evolution of the magnetic fields by means of resistivity, Hall dynamics and ambipolar diffusion. Despite the apparent simplicity and compactness of the equation, the dynamics it describes is not trivial and its understanding relies on accurate numerical simulations. While a few works in 2D have reached a mature stage and a consensus on the general dynamics at least for some simple initial data, only few attempts have been performed in 3D, due to the computational costs and the need for a proper numerical treatment of the intrinsic non-linearity of the equation. Here, we carefully analyze the general induction equation, studying its characteristic structure, and we present a new Cartesian 3D code, generated by the user-friendly, publicly available {\em Simflowny} platform. The code uses high-order numerical schemes for the time and spatial discretization, and relies on the highly-scalable {\em SAMRAI} architecture for the adaptive mesh refinement. We present the application of the code to several benchmark tests, showing the high order of convergence and accuracy achieved and the capabilities in terms of magnetic shock resolution and three-dimensionality. This paper paves the way for the applications to a realistic, 3D long-term evolution of neutron stars interior and, possibly, of other astrophysical sources.

astro-ph.IM

A Simflowny-based finite-difference code for high-performance computing in Relativity

The tremendous challenge of comparing our theoretical models with the gravitational-wave observations in the new era of multimessenger astronomy requires accurate and fast numerical simulations of complicated physical systems described by the Einstein and the matter equations. These requirements can only be satisfied if the simulations can be parallelized efficiently on a large number of processors and advanced computational strategies are adopted. To achieve this goal we have developed Simflowny, an open platform for scientific dynamical models which automatically generates parallel code for different simulation frameworks, allowing the use of HPC infrastructures to non-specialist scientists. One of these frameworks is SAMRAI, a mature patch-based structured adaptive mesh refinement infrastructure, capable of reaching exascale in some specific problems. Here we present the numerical techniques that we have implemented on this framework by using Simflowny in order to perform fast, efficient, accurate and highly-scalable simulations. These techniques involve high-order schemes for smooth and non-smooth solutions, Adaptive Mesh Refinement with arbitrary resolution ratios and an optimal strategy for the sub-cycling in time. We validate the automatically generated codes for the SAMRAI infrastructure with some simple test examples (i.e., wave equation and Newtonian MHD) and finally with the Einstein equations.

physics.comp-ph

On the final fate of compact boson star mergers

Boson stars, self-gravitating objects made of a complex scalar field, have been proposed as simple models for very different scenarios, ranging from galaxy dark matter to black hole mimickers. Here we focus on a very compact type of boson stars to study binary mergers by varying different parameters, namely the phase shift, the direction of rotation and the angular momentum. Our aim is to investigate the properties of the object resulting from the merger in these different scenarios by means of numerical evolutions. These simulations, performed by using a modification of the covariant conformal Z4 (CCZ4) formalism of the Einstein Equations that does not require the algebraic enforcing of any constraint, indicate that the final state after a head-on collision of low mass boson stars is another boson star. However, almost complete annihilation of the stars occurs during the merger of a boson-antiboson pair. The merger of orbiting boson stars form a rotating bar that quickly relaxes to a non-rotating boson star.

gr-qc

Almost-Killing conserved currents: a general mass function

A new class of conserved currents, describing non-gravitational energy-momentum density, is presented. The proposed currents do not require the existence of a (timelike) Killing vector, and are not restricted to spherically symmetric spacetimes (or similar ones, in which the Kodama vector can be defined). They are based instead on almost-Killing vectors, which could in principle be defined on generic spacetimes. We provide local arguments, based on energy density profiles in highly simplified (stationary, rigidly-rotating) star models, which confirm the physical interest of these 'almost-Killing currents'. A mass function is defined in this way for the spherical case, qualitatively different from the Hernández-Misner mass function. An elliptic equation determining the new mass function is derived for the Tolman-Bondi spherically symmetric dust metrics, including a simple solution for the Oppenheimer-Schneider collapse. The equations for the non-symmetric case are shown to be of a mixed elliptic-hyperbolic nature.

gr-qc

Conformal and covariant formulation of the Z4 system with constraint-violation damping

We present a new formulation of the Einstein equations based on a conformal and traceless decomposition of the covariant form of the Z4 system. This formulation combines the advantages of a conformal decomposition, such as the one used in the BSSNOK formulation (i.e. well-tested hyperbolic gauges, no need for excision, robustness to imperfect boundary conditions) with the advantages of a constraint-damped formulation, such as the generalized harmonic one (i.e. exponential decay of constraint violations when these are produced). We validate the new set of equations through standard tests and by evolving binary black hole systems. Overall, the new conformal formulation leads to a better behavior of the constraint equations and a rapid suppression of the violations when they occur. The changes necessary to implement the new conformal formulation in standard BSSNOK codes are very small as are the additional computational costs.

gr-qc

The role of the ergosphere in the Blandford-Znajek process

The Blandford-Znajek process, one of the most promising model for powering the relativistic jets from black holes, was initially introduced as a mechanism in which the magnetic fields extract energy from a rotating black hole. We study the evolution of force-free electromagnetic fields on regular spacetimes with an ergosphere, which are generated by rapidly rotating stars. Our conclusive results confirm previous works, claiming that the Blandford-Znajek mechanism is not directly related to the horizon of the black hole. We also show that the radiated energy depends exponentially on the compactness of the star.

gr-qc

Robustness of the Blandford-Znajek mechanism

The Blandford-Znajek mechanism has long been regarded as a key ingredient in models attempting to explain powerful jets in AGNs, quasars, blazzars etc. In such mechanism, energy is extracted from a rotating black hole and dissipated at a load at far distances. In the current work we examine the behaviour of the BZ mechanism with respect to different boundary conditions, revealing the mechanism robustness upon variation of these conditions. Consequently, this work closes a gap in our understanding of this important scenario.

astro-ph.HE

Towards a gauge-polyvalent Numerical Relativity code

The gauge polyvalence of a new numerical code is tested, both in harmonic-coordinate simulations (gauge-waves testbed) and in singularity-avoiding coordinates (simple Black-Hole simulations, either with or without shift). The code is built upon an adjusted first-order flux-conservative version of the Z4 formalism and a recently proposed family of robust finite-difference high-resolution algorithms. An outstanding result is the long-term evolution (up to 1000M) of a Black-Hole in normal coordinates (zero shift) without excision.

gr-qc

A new dissipation term for finite-difference simulations in Relativity

We present a new numerical dissipation algorithm, which can be efficiently used in combination with centered finite-difference methods. We start from a formulation of centered finite-volume methods for Numerical Relativity, in which third-order space accuracy can be obtained by employing just piecewise-linear reconstruction. We obtain a simplified version of the algorithm, which can be viewed as a centered finite-difference method plus some 'adaptive dissipation'. The performance of this algorithm is confirmed by numerical results obtained from 3D black hole simulations.

gr-qc

Efficient implementation of finite volume methods in Numerical Relativity

Centered finite volume methods are considered in the context of Numerical Relativity. A specific formulation is presented, in which third-order space accuracy is reached by using a piecewise-linear reconstruction. This formulation can be interpreted as an 'adaptive viscosity' modification of centered finite difference algorithms. These points are fully confirmed by 1D black-hole simulations. In the 3D case, evidence is found that the use of a conformal decomposition is a key ingredient for the robustness of black hole numerical codes.

gr-qc

Geometrically motivated hyperbolic coordinate conditions for numerical relativity: Analysis, issues and implementations

We study the implications of adopting hyperbolic driver coordinate conditions motivated by geometrical considerations. In particular, conditions that minimize the rate of change of the metric variables. We analyze the properties of the resulting system of equations and their effect when implementing excision techniques. We find that commonly used coordinate conditions lead to a characteristic structure at the excision surface where some modes are not of outflow-type with respect to any excision boundary chosen inside the horizon. Thus, boundary conditions are required for these modes. Unfortunately, the specification of these conditions is a delicate issue as the outflow modes involve both gauge and main variables. As an alternative to these driver equations, we examine conditions derived from extremizing a scalar constructed from Killing's equation and present specific numerical examples.

gr-qc

Toward standard testbeds for numerical relativity

In recent years, many different numerical evolution schemes for Einstein's equations have been proposed to address stability and accuracy problems that have plagued the numerical relativity community for decades. Some of these approaches have been tested on different spacetimes, and conclusions have been drawn based on these tests. However, differences in results originate from many sources, including not only formulations of the equations, but also gauges, boundary conditions, numerical methods, and so on. We propose to build up a suite of standardized testbeds for comparing approaches to the numerical evolution of Einstein's equations that are designed to both probe their strengths and weaknesses and to separate out different effects, and their causes, seen in the results. We discuss general design principles of suitable testbeds, and we present an initial round of simple tests with periodic boundary conditions. This is a pivotal first step toward building a suite of testbeds to serve the numerical relativists and researchers from related fields who wish to assess the capabilities of numerical relativity codes. We present some examples of how these tests can be quite effective in revealing various limitations of different approaches, and illustrating their differences. The tests are presently limited to vacuum spacetimes, can be run on modest computational resources, and can be used with many different approaches used in the relativity community.

gr-qc

Three Dimensional Numerical Relativity with a Hyperbolic Formulation

We discuss a successful three-dimensional cartesian implementation of the Bona-Massó hyperbolic formulation of the 3+1 Einstein evolution equations in numerical relativity. The numerical code, which we call ``Cactus,'' provides a general framework for 3D numerical relativity, and can include various formulations of the evolution equations, initial data sets, and analysis modules. We show important code tests, including dynamically sliced flat space, wave spacetimes, and black hole spacetimes. We discuss the numerical convergence of each spacetime, and also compare results with previously tested codes based on other formalisms, including the traditional ADM formalism. This is the first time that a hyperbolic reformulation of Einstein's equations has been shown appropriate for three-dimensional numerical relativity in a wide variety of spacetimes.

gr-qc

First order hyperbolic formalism for Numerical Relativity

The causal structure of Einstein's evolution equations is considered. We show that in general they can be written as a first order system of balance laws for any choice of slicing or shift. We also show how certain terms in the evolution equations, that can lead to numerical inaccuracies, can be eliminated by using the Hamiltonian constraint. Furthermore, we show that the entire system is hyperbolic when the time coordinate is chosen in an invariant algebraic way, and for any fixed choice of the shift. This is achieved by using the momentum constraints in such as way that no additional space or time derivatives of the equations need to be computed. The slicings that allow hyperbolicity in this formulation belong to a large class, including harmonic, maximal, and many others that have been commonly used in numerical relativity. We provide details of some of the advanced numerical methods that this formulation of the equations allows, and we also discuss certain advantages that a hyperbolic formulation provides when treating boundary conditions.

gr-qc