integrator_fT_p2.hh

Go to the documentation of this file.

#pragma once
 
// DiFfRG
#include <DiFfRG/common/math.hh>
#include <DiFfRG/physics/integration/finiteT/quadrature_integrator_fT.hh>
 
namespace DiFfRG
{
  namespace internal
  {
    template <int dim, typename NT, typename KERNEL> class Transform_fT_p2
    {
    public:
      using ctype = typename get_type::ctype<NT>;
      static constexpr int sdim = dim - 1; // spatial dimension
 
      static constexpr ctype int_prefactor = S_d_prec<ctype>(sdim)          // solid nd angle
                                             / powr<sdim>(2 * (ctype)M_PI); // fourier factor
 
      // Forward the kernel's Matsubara traits. The measure this adapter multiplies in is
      // independent of the frequency, so it changes neither the parity in q0 nor the support in
      // q0. Without this forwarding the traits are silently lost: QuadratureIntegrator_fT only
      // ever sees the adapter, never KERNEL, so `matsubara_even` never fired for any
      // Integrator_fT_p2* flow.
      static constexpr bool matsubara_even = kernel_is_matsubara_even<KERNEL>;
      static constexpr bool matsubara_finite_extent = kernel_has_finite_matsubara_extent<KERNEL>;
      static constexpr bool matsubara_split = kernel_has_matsubara_split<KERNEL>;
 
      template <typename... T>
      static KOKKOS_FORCEINLINE_FUNCTION NT kernel_finite_extent(const ctype q, const ctype q0, const T &...t)
      {
        using namespace DiFfRG::compute;
 
        const ctype int_element = powr<sdim - 1>(q); // from p integral
        return int_prefactor * int_element * KERNEL::kernel_finite_extent(q, q0, t...);
      }
 
      template <typename... T>
      static KOKKOS_FORCEINLINE_FUNCTION NT kernel_tail(const ctype q, const ctype q0, const T &...t)
      {
        using namespace DiFfRG::compute;
 
        const ctype int_element = powr<sdim - 1>(q); // from p integral
        return int_prefactor * int_element * KERNEL::kernel_tail(q, q0, t...);
      }
 
      template <typename... T>
      static KOKKOS_FORCEINLINE_FUNCTION NT kernel(const ctype q, const ctype q0, const T &...t)
      {
        using namespace DiFfRG::compute;
 
        const ctype int_element = powr<sdim - 1>(q); // from p integral
        const NT result = KERNEL::kernel(q, q0, t...);
 
        return int_prefactor * int_element * result;
      }
 
      template <typename... T> static KOKKOS_FORCEINLINE_FUNCTION NT constant(const T &...t)
      {
        return NT(KERNEL::constant(t...));
      }
    };
 
  } // namespace internal
 
  template <int dim, typename NT, typename KERNEL, typename ExecutionSpace>
  class Integrator_fT_p2
      : public QuadratureIntegrator_fT<2, NT, internal::Transform_fT_p2<dim, NT, KERNEL>, ExecutionSpace>
  {
    using Base = QuadratureIntegrator_fT<2, NT, internal::Transform_fT_p2<dim, NT, KERNEL>, ExecutionSpace>;
 
  public:
    using ctype = typename get_type::ctype<NT>;
    using execution_space = ExecutionSpace;
 
    void apply_matsubara_overrides(const ConfigTree &config)
    {
      if (config.contains("/integration/force_exact_matsubara_sum"))
        Base::set_allow_exact_matsubara_sum(config.get_bool("/integration/force_exact_matsubara_sum", false));
      if (config.contains("/integration/matsubara_extent_margin"))
        Base::set_matsubara_extent_margin(config.get_double("/integration/matsubara_extent_margin", 1.));
    }
 
    Integrator_fT_p2(QuadratureProvider &quadrature_provider, const ConfigTree &config)
      requires provides_regulator<KERNEL>
        : Integrator_fT_p2(quadrature_provider, internal::make_int_grid<1, NT>(config, {"x_order"}),
                           optimize_x_extent<typename KERNEL::Regulator>(config), config.get_double("/physical/T", 1.0))
    {
      apply_matsubara_overrides(config);
    }
 
    Integrator_fT_p2(QuadratureProvider &quadrature_provider, const std::array<size_t, 1> grid_size,
                     ctype x_extent = 2., ctype T = 1, ctype typical_E = 1)
        : Base(quadrature_provider, grid_size, {0}, {std::sqrt(x_extent)}, {QuadratureType::legendre}, T, typical_E),
          x_extent(x_extent), k(1.)
    {
      // The spatial grid is already cut at sqrt(x_extent) * k because the regulator dies there;
      // the summand's support in FREQUENCY is the same ball, so the exact Matsubara sum can be cut
      // at the same radius. See QuadratureIntegrator_fT::set_frequency_cutoff.
      Base::set_frequency_cutoff(std::sqrt(this->x_extent) * this->k);
    }
 
    void set_x_extent(ctype x_extent)
    {
      this->x_extent = x_extent;
      Base::set_grid_extents({0}, {std::sqrt(x_extent) * k});
      // The spatial grid is already cut at sqrt(x_extent) * k because the regulator dies there;
      // the summand's support in FREQUENCY is the same ball, so the exact Matsubara sum can be cut
      // at the same radius. See QuadratureIntegrator_fT::set_frequency_cutoff.
      Base::set_frequency_cutoff(std::sqrt(this->x_extent) * this->k);
    }
 
    void set_k(ctype k)
    {
      this->k = k;
      Base::set_grid_extents({0}, {std::sqrt(x_extent) * k});
      Base::set_k(k);
      // The spatial grid is already cut at sqrt(x_extent) * k because the regulator dies there;
      // the summand's support in FREQUENCY is the same ball, so the exact Matsubara sum can be cut
      // at the same radius. See QuadratureIntegrator_fT::set_frequency_cutoff.
      Base::set_frequency_cutoff(std::sqrt(this->x_extent) * this->k);
    }
 
    void set_typical_E(ctype typical_E) { Base::set_typical_E(typical_E); }
 
  private:
    ctype x_extent;
    ctype k;
  };
} // namespace DiFfRG