propagation.cc

Go to the documentation of this file.

/*
 *
 *    Copyright (c) 2015-2023
 *      SMASH Team
 *
 *    GNU General Public License (GPLv3 or later)
 *
 */
 
#include "smash/propagation.h"
 
#include "smash/boxmodus.h"
#include "smash/collidermodus.h"
#include "smash/listmodus.h"
#include "smash/logging.h"
#include "smash/spheremodus.h"
 
namespace smash {
static constexpr int LPropagation = LogArea::Propagation::id;
 
double calc_hubble(double time, const ExpansionProperties &metric) {
  double h;  // Hubble parameter
 
  switch (metric.mode_) {
    case ExpansionMode::NoExpansion:
      h = 0.;
      break;
    case ExpansionMode::MasslessFRW:
      h = metric.b_ / (2 * (metric.b_ * time + 1));
      break;
    case ExpansionMode::MassiveFRW:
      h = 2 * metric.b_ / (3 * (metric.b_ * time + 1));
      break;
    case ExpansionMode::Exponential:
      h = metric.b_ * time;
      break;
    default:
      h = 0.;
  }
 
  return h;
}
 
double propagate_straight_line(Particles *particles, double to_time,
                               const std::vector<FourVector> &beam_momentum) {
  bool negative_dt_error = false;
  double dt = 0.0;
  for (ParticleData &data : *particles) {
    const double t0 = data.position().x0();
    dt = to_time - t0;
    if (dt < 0.0 && !negative_dt_error) {
      // Print error message once, not for every particle
      negative_dt_error = true;
      logg[LPropagation].error("propagate_straight_line - negative dt = ", dt);
    }
    assert(dt >= 0.0);
    /* "Frozen Fermi motion": Fermi momenta are only used for collisions,
     * but not for propagation. This is done to avoid nucleus flying apart
     * even if potentials are off. Initial nucleons before the first collision
     * are propagated only according to beam momentum.
     * Initial nucleons are distinguished by data.id() < the size of
     * beam_momentum, which is by default zero except for the collider modus
     * with the fermi motion == frozen.
     * todo(m. mayer): improve this condition (see comment #11 issue #4213)*/
    assert(data.id() >= 0);
    const bool avoid_fermi_motion =
        (static_cast<uint64_t>(data.id()) <
         static_cast<uint64_t>(beam_momentum.size())) &&
        (data.get_history().collisions_per_particle == 0);
    ThreeVector v;
    if (avoid_fermi_motion) {
      const FourVector vbeam = beam_momentum[data.id()];
      v = vbeam.velocity();
    } else {
      v = data.velocity();
    }
    const FourVector distance = FourVector(0.0, v * dt);
    logg[LPropagation].debug("Particle ", data, " motion: ", distance);
    FourVector position = data.position() + distance;
    position.set_x0(to_time);
    data.set_4position(position);
  }
  return dt;
}
 
void expand_space_time(Particles *particles,
                       const ExperimentParameters &parameters,
                       const ExpansionProperties &metric) {
  const double dt = parameters.labclock->timestep_duration();
  for (ParticleData &data : *particles) {
    // Momentum and position modification to ensure appropriate expansion
    const double h = calc_hubble(parameters.labclock->current_time(), metric);
    FourVector delta_mom = FourVector(0.0, h * data.momentum().threevec() * dt);
    FourVector expan_dist =
        FourVector(0.0, h * data.position().threevec() * dt);
 
    logg[LPropagation].debug("Particle ", data,
                             " expansion motion: ", expan_dist);
    // New position and momentum
    FourVector position = data.position() + expan_dist;
    FourVector momentum = data.momentum() - delta_mom;
 
    // set the new momentum and position variables
    data.set_4position(position);
    data.set_4momentum(momentum);
    // force the on shell condition to ensure correct energy
    data.set_4momentum(data.pole_mass(), data.momentum().threevec());
  }
}
 
void update_momenta(
    std::vector<Particles> &ensembles, double dt, const Potentials &pot,
    RectangularLattice<std::pair<ThreeVector, ThreeVector>> *FB_lat,
    RectangularLattice<std::pair<ThreeVector, ThreeVector>> *FI3_lat,
    RectangularLattice<std::pair<ThreeVector, ThreeVector>> *EM_lat,
    DensityLattice *jB_lat) {
  // Copy particles from ALL ensembles to a single list before propagation
  // and calculate potentials from this list
  ParticleList plist;
  for (Particles &particles : ensembles) {
    const ParticleList tmp = particles.copy_to_vector();
    plist.insert(plist.end(), tmp.begin(), tmp.end());
  }
 
  bool possibly_use_lattice =
      (pot.use_skyrme() ? (FB_lat != nullptr) : true) &&
      (pot.use_vdf() ? (FB_lat != nullptr) : true) &&
      (pot.use_symmetry() ? (FI3_lat != nullptr) : true);
  std::pair<ThreeVector, ThreeVector> FB, FI3, EM_fields;
  double min_time_scale = std::numeric_limits<double>::infinity();
 
  for (Particles &particles : ensembles) {
    for (ParticleData &data : particles) {
      // Only baryons and nuclei will be affected by the potentials
      if (!(data.is_baryon() || data.is_nucleus())) {
        continue;
      }
      const auto scale = pot.force_scale(data.type());
      const ThreeVector r = data.position().threevec();
      /* Lattices can be used for calculation if 1-2 are fulfilled:
       * 1) Required lattices are not nullptr - possibly_use_lattice
       * 2) r is not out of required lattices */
      const bool use_lattice =
          possibly_use_lattice &&
          (pot.use_skyrme() ? FB_lat->value_at(r, FB) : true) &&
          (pot.use_vdf() ? FB_lat->value_at(r, FB) : true) &&
          (pot.use_symmetry() ? FI3_lat->value_at(r, FI3) : true);
      if (!use_lattice && !pot.use_potentials_outside_lattice()) {
        continue;
      }
      if (!pot.use_skyrme() && !pot.use_vdf()) {
        FB = std::make_pair(ThreeVector(0., 0., 0.), ThreeVector(0., 0., 0.));
      }
      if (!pot.use_symmetry()) {
        FI3 = std::make_pair(ThreeVector(0., 0., 0.), ThreeVector(0., 0., 0.));
      }
      if (!use_lattice) {
        const auto tmp = pot.all_forces(r, plist);
        FB = std::make_pair(std::get<0>(tmp), std::get<1>(tmp));
        FI3 = std::make_pair(std::get<2>(tmp), std::get<3>(tmp));
      }
      /* Floating point traps should be raised if the force is not overwritten
       * with a meaningful value */
      const auto sNaN = std::numeric_limits<double>::signaling_NaN();
      ThreeVector force(sNaN, sNaN, sNaN);
      if (pot.use_momentum_dependence()) {
        ThreeVector energy_grad = pot.single_particle_energy_gradient(
            jB_lat, data.position().threevec(), data.momentum().threevec(),
            data.effective_mass(), plist);
        force = -energy_grad * scale.first;
        force +=
            scale.second * data.type().isospin3_rel() *
            (FI3.first + data.momentum().velocity().cross_product(FI3.second));
      } else {
        force = scale.first *
                    (FB.first +
                     data.momentum().velocity().cross_product(FB.second)) +
                scale.second * data.type().isospin3_rel() *
                    (FI3.first +
                     data.momentum().velocity().cross_product(FI3.second));
      }
      // Potentially add Lorentz force
      if (pot.use_coulomb() && EM_lat->value_at(r, EM_fields)) {
        // factor hbar*c to convert fields from 1/fm^2 to GeV/fm
        force += hbarc * data.type().charge() * elementary_charge *
                 (EM_fields.first +
                  data.momentum().velocity().cross_product(EM_fields.second));
      }
      logg[LPropagation].debug("Update momenta: F [GeV/fm] = ", force);
      data.set_4momentum(data.effective_mass(),
                         data.momentum().threevec() + force * dt);
 
      // calculate the time scale of the change in momentum
      const double Force_abs = force.abs();
      if (Force_abs < really_small) {
        continue;
      }
      const double time_scale = data.momentum().x0() / Force_abs;
      if (time_scale < min_time_scale) {
        min_time_scale = time_scale;
      }
    }
  }
  // warn if the time step is too big
  constexpr double safety_factor = 0.1;
  if (dt > safety_factor * min_time_scale) {
    logg[LPropagation].warn()
        << "The time step size is too large for an accurate propagation "
        << "with potentials. Maximum safe value: "
        << safety_factor * min_time_scale << " fm.\n"
        << "In case of Triangular or Discrete smearing you may additionally "
        << "need to increase the number of ensembles or testparticles.";
  }
}
 
}  // namespace smash