__author__ = "ntessore"
from functools import partial
from jax import custom_jvp, jvp, jit, lax, numpy as jnp, tree_util
from jaxtronomy.Util.hyp2f1_util import hyp2f1_lopez_temme_8 as hyp2f1
from jaxtronomy.Util.util import rotate, shift_center
import jaxtronomy.Util.param_util as param_util
from jaxtronomy.LensModel.Profiles.spp import SPP
from lenstronomy.LensModel.Profiles.base_profile import LensProfileBase
__all__ = ["EPL", "EPLMajorAxis", "EPLQPhi"]
[docs]
class EPL(LensProfileBase):
"""Elliptical Power Law mass profile.
.. math::
\\kappa(x, y) = \\frac{3-\\gamma}{2} \\left(\\frac{\\theta_{E}}{\\sqrt{q x^2 + y^2/q}} \\right)^{\\gamma-1}
with :math:`\\theta_{E}` is the (circularized) Einstein radius,
:math:`\\gamma` is the negative power-law slope of the 3D mass distributions,
:math:`q` is the minor/major axis ratio,
and :math:`x` and :math:`y` are defined in a coordinate system aligned with the major and minor axis of the lens.
In terms of eccentricities, this profile is defined as
.. math::
\\kappa(r) = \\frac{3-\\gamma}{2} \\left(\\frac{\\theta'_{E}}{r \\sqrt{1 - e*\\cos(2*\\phi)}} \\right)^{\\gamma-1}
with :math:`\\epsilon` is the ellipticity defined as
.. math::
\\epsilon = \\frac{1-q^2}{1+q^2}
And an Einstein radius :math:`\\theta'_{\\rm E}` related to the definition used is
.. math::
\\left(\\frac{\\theta'_{\\rm E}}{\\theta_{\\rm E}}\\right)^{2} = \\frac{2q}{1+q^2}.
The mathematical form of the calculation is presented by Tessore & Metcalf (2015), https://arxiv.org/abs/1507.01819.
The current implementation is using hyperbolic functions. The paper presents an iterative calculation scheme,
converging in few iterations to high precision and accuracy.
A (faster) implementation of the same model using numba is accessible as 'EPL_NUMBA' with the iterative calculation
scheme. An alternative implementation of the same model using a fortran code FASTELL is implemented as 'PEMD'
profile.
"""
param_names = ["theta_E", "gamma", "e1", "e2", "center_x", "center_y"]
lower_limit_default = {
"theta_E": 0,
"gamma": 1.5,
"e1": -0.5,
"e2": -0.5,
"center_x": -100,
"center_y": -100,
}
upper_limit_default = {
"theta_E": 100,
"gamma": 2.5,
"e1": 0.5,
"e2": 0.5,
"center_x": 100,
"center_y": 100,
}
# These static self variables are not used until self.set_static is called
# However these need to be here for the JAX to correctly keep track of them
[docs]
def __init__(self, b=0, t=0, q=0, phi=0, static=False):
self._static = static
self._b_static = b
self._t_static = t
self._q_static = q
self._phi_G_static = phi
# --------------------------------------------------------------------------------
# The following two methods are required to allow the JAX compiler to recognize
# this class. Methods involving the self variable can be jit-decorated.
# Class methods will need to be recompiled each time a variable in the aux_data
# changes to a new value (but there's no need to recompile if it changes to a previous value)
def _tree_flatten(self):
children = (self._b_static, self._t_static, self._q_static, self._phi_G_static)
aux_data = {"static": self._static}
return (children, aux_data)
@classmethod
def _tree_unflatten(cls, aux_data, children):
return cls(*children, **aux_data)
# --------------------------------------------------------------------------------
[docs]
@jit
def param_conv(self, theta_E, gamma, e1, e2):
"""Converts parameters as defined in this class to the parameters used in the
EPLMajorAxis() class.
:param theta_E: Einstein radius as defined in the profile class
:param gamma: negative power-law slope
:param e1: eccentricity modulus
:param e2: eccentricity modulus
:return: b, t, q, phi_G
"""
if self._static is True:
return self._b_static, self._t_static, self._q_static, self._phi_G_static
else:
return self._param_conv(theta_E, gamma, e1, e2)
@staticmethod
@jit
def _param_conv(theta_E, gamma, e1, e2):
"""Convert parameters from :math:`R = \\sqrt{q x^2 + y^2/q}` to :math:`R =
\\sqrt{q^2 x^2 + y^2}`
:param gamma: power law slope
:param theta_E: Einstein radius
:param e1: eccentricity component
:param e2: eccentricity component
:return: critical radius b, slope t, axis ratio q, orientation angle phi_G
"""
t = gamma - 1
phi_G, q = param_util.ellipticity2phi_q(e1, e2)
b = theta_E * jnp.sqrt(q)
return b, t, q, phi_G
# NOTE: Do not jit-decorate this function; it won't work correctly
# This function would also need to be called outside of a jit'd environment
[docs]
def set_static(self, theta_E, gamma, e1, e2, center_x=0, center_y=0):
"""
:param theta_E: Einstein radius
:param gamma: power law slope
:param e1: eccentricity component
:param e2: eccentricity component
:param center_x: profile center
:param center_y: profile center
:return: self variables set
"""
self._static = True
(
self._b_static,
self._t_static,
self._q_static,
self._phi_G_static,
) = EPL._param_conv(theta_E, gamma, e1, e2)
# NOTE: Do not jit-decorate this function; it won't work correctly
# This function would also need to be called outside of a jit'd environment
[docs]
def set_dynamic(self):
"""
:return:
"""
self._static = False
[docs]
@jit
def function(self, x, y, theta_E, gamma, e1, e2, center_x=0, center_y=0):
"""
:param x: x-coordinate in image plane
:param y: y-coordinate in image plane
:param theta_E: Einstein radius
:param gamma: power law slope
:param e1: eccentricity component
:param e2: eccentricity component
:param center_x: profile center
:param center_y: profile center
:return: lensing potential
"""
b, t, q, phi_G = self.param_conv(theta_E, gamma, e1, e2)
# shift and rotate coordinates
x_, y_ = shift_center(x, y, center_x, center_y)
x_, y_ = rotate(x_, y_, phi_G)
# evaluate
f_ = EPLMajorAxis.function(x_, y_, b, t, q)
# rotate back
return f_
[docs]
@jit
def derivatives(self, x, y, theta_E, gamma, e1, e2, center_x=0, center_y=0):
"""
:param x: x-coordinate in image plane
:param y: y-coordinate in image plane
:param theta_E: Einstein radius
:param gamma: power law slope
:param e1: eccentricity component
:param e2: eccentricity component
:param center_x: profile center
:param center_y: profile center
:return: alpha_x, alpha_y
"""
b, t, q, phi_G = self.param_conv(theta_E, gamma, e1, e2)
# shift and rotate coordinates
x_, y_ = shift_center(x, y, center_x, center_y)
x_, y_ = rotate(x_, y_, phi_G)
# evaluate
f__x, f__y = EPLMajorAxis.derivatives(x_, y_, b, t, q)
# rotate back
f_x, f_y = rotate(f__x, f__y, -phi_G)
return f_x, f_y
[docs]
@jit
def hessian(self, x, y, theta_E, gamma, e1, e2, center_x=0, center_y=0):
"""
:param x: x-coordinate in image plane
:param y: y-coordinate in image plane
:param theta_E: Einstein radius
:param gamma: power law slope
:param e1: eccentricity component
:param e2: eccentricity component
:param center_x: profile center
:param center_y: profile center
:return: f_xx, f_xy, f_yx, f_yy
"""
b, t, q, phi_G = self.param_conv(theta_E, gamma, e1, e2)
# shift and rotate coordinates
x_, y_ = shift_center(x, y, center_x, center_y)
x_, y_ = rotate(x_, y_, phi_G)
# evaluate
f__xx, f__xy, f__yx, f__yy = EPLMajorAxis.hessian(x_, y_, b, t, q)
# rotate back
kappa = 1.0 / 2 * (f__xx + f__yy)
gamma1__ = 1.0 / 2 * (f__xx - f__yy)
gamma2__ = f__xy
gamma1 = jnp.cos(2 * phi_G) * gamma1__ - jnp.sin(2 * phi_G) * gamma2__
gamma2 = jnp.sin(2 * phi_G) * gamma1__ + jnp.cos(2 * phi_G) * gamma2__
f_xx = kappa + gamma1
f_yy = kappa - gamma1
f_xy = gamma2
return f_xx, f_xy, f_xy, f_yy
[docs]
@jit
def mass_3d_lens(self, r, theta_E, gamma, e1=None, e2=None):
"""Computes the spherical power-law mass enclosed (with SPP routine)
:param r: radius within the mass is computed
:param theta_E: Einstein radius
:param gamma: power-law slope
:param e1: eccentricity component (not used)
:param e2: eccentricity component (not used)
:return: mass enclosed a 3D radius r.
"""
return SPP.mass_3d_lens(r, theta_E, gamma)
[docs]
@jit
def density_lens(self, r, theta_E, gamma, e1=None, e2=None):
"""Computes the density at 3d radius r given lens model parameterization. The
integral in the LOS projection of this quantity results in the convergence
quantity.
:param r: radius within the mass is computed
:param theta_E: Einstein radius
:param gamma: power-law slope
:param e1: eccentricity component (not used)
:param e2: eccentricity component (not used)
:return: mass enclosed a 3D radius r
"""
return SPP.density_lens(r, theta_E, gamma)
[docs]
class EPLMajorAxis(LensProfileBase):
"""This class contains the function and the derivatives of the elliptical power law.
.. math::
\\kappa = (2-t)/2 * \\left[\\frac{b}{\\sqrt{q^2 x^2 + y^2}}\\right]^t
where with :math:`t = \\gamma - 1` (from EPL class) being the projected power-law slope of the convergence profile,
critical radius b, axis ratio q.
Tessore & Metcalf (2015), https://arxiv.org/abs/1507.01819
"""
param_names = ["b", "t", "q", "center_x", "center_y"]
# Defining multiple hyp2f1 functions like this is required since nmax must be static
# for autodifferentiation to be used
hyp2f1_fastest = partial(hyp2f1, nmax=10)
hyp2f1_faster = partial(hyp2f1, nmax=20)
hyp2f1_fast = partial(hyp2f1, nmax=35)
hyp2f1_norm = partial(hyp2f1, nmax=50)
hyp2f1_slow = partial(hyp2f1, nmax=100)
hyp2f1_slower = partial(hyp2f1, nmax=200)
hyp2f1_slowest = partial(hyp2f1, nmax=500)
hyp2f1_func_list = [
hyp2f1_fastest,
hyp2f1_faster,
hyp2f1_fast,
hyp2f1_norm,
hyp2f1_slow,
hyp2f1_slower,
hyp2f1_slowest,
lambda a, b, c, z: jnp.ones_like(z),
]
@custom_jvp
@staticmethod
@jit
def _hyp2f1_evaluate(f, t, z):
"""The series expansion for hyp2f1 converges faster when |z| is closer to the
origin.
This function decides how many terms to use. By adjusting the number of terms,
the performance for ray-shooting is significantly improved.
"""
B = t / 2.0
C = 2.0 - B
case = jnp.where(f < 0.92, 5, 6) # nmax=200, if f > 0.92 then nmax=500
case = jnp.where(f < 0.86, 4, case) # nmax=100
case = jnp.where(f < 0.73, 3, case) # nmax=50
case = jnp.where(f < 0.6, 2, case) # nmax=35
case = jnp.where(f < 0.4, 1, case) # nmax=20
case = jnp.where(f < 0.12, 0, case) # nmax=10
case = jnp.where(f == 0, 7, case) # simply returns 1
return lax.switch(case, EPLMajorAxis.hyp2f1_func_list, 1, B, C, z)
@staticmethod
@jit
def _hyp2f1_for_autodiff(t, z):
"""This function is the same as above but always uses nmax=100.
When performing autodifferentiation, it is faster to autodifferentiate through
this function rather than the above function, since autodifferentiating through
lax.switch is very slow.
"""
B = t / 2.0
C = 2.0 - B
return EPLMajorAxis.hyp2f1_slow(1, B, C, z)
@jit
@_hyp2f1_evaluate.defjvp
def _hyp2f1_jvp(primals, tangents):
"""This function defines the derivative of _hyp2f1_evaluate, so that when
autodifferentiation is used, it will instead autodifferentiate through
_hyp2f1_for_autodiff, resulting in performance boost."""
return jvp(EPLMajorAxis._hyp2f1_for_autodiff, primals[1:3], tangents[1:3])
[docs]
@staticmethod
@jit
def function(x, y, b, t, q):
"""Returns the lensing potential.
:param x: x-coordinate in image plane relative to center (major axis)
:param y: y-coordinate in image plane relative to center (minor axis)
:param b: critical radius
:param t: projected power-law slope
:param q: axis ratio
:return: lensing potential
"""
x = jnp.asarray(x, dtype=float)
y = jnp.asarray(y, dtype=float)
# deflection from method
alpha_x, alpha_y = EPLMajorAxis.derivatives(x, y, b, t, q)
# deflection potential, eq. (15)
psi = (x * alpha_x + y * alpha_y) / (2 - t)
return psi
[docs]
@staticmethod
@jit
def derivatives(x, y, b, t, q):
"""Returns the deflection angles.
:param x: x-coordinate in image plane relative to center (major axis)
:param y: y-coordinate in image plane relative to center (minor axis)
:param b: critical radius
:param t: projected power-law slope
:param q: axis ratio
:return: f_x, f_y
"""
x = jnp.asarray(x, dtype=float)
y = jnp.asarray(y, dtype=float)
# elliptical radius, eq. (5)
Z = q * x + y * 1j
R = jnp.abs(Z)
R = jnp.maximum(R, 0.000000001)
f = (1.0 - q) / (1.0 + q)
# angular dependency with extra factor of R, eq. (23)
R_omega = Z * EPLMajorAxis._hyp2f1_evaluate(f, t, -f * Z / jnp.conj(Z))
# deflection, eq. (22)
alpha = 2 / (1 + q) * (b / R) ** t * R_omega
# return real and imaginary part
alpha_real = jnp.nan_to_num(alpha.real, posinf=1e10, neginf=-1e10)
alpha_imag = jnp.nan_to_num(alpha.imag, posinf=1e10, neginf=-1e10)
return alpha_real, alpha_imag
[docs]
@staticmethod
@jit
def hessian(x, y, b, t, q):
"""Hessian matrix of the lensing potential.
:param x: x-coordinate in image plane relative to center (major axis)
:param y: y-coordinate in image plane relative to center (minor axis)
:param b: critical radius
:param t: projected power-law slope
:param q: axis ratio
:return: f_xx, f_yy, f_xy
"""
x = jnp.asarray(x, dtype=float)
y = jnp.asarray(y, dtype=float)
R = jnp.hypot(q * x, y)
R = jnp.maximum(R, 0.00000001)
r = jnp.hypot(x, y)
cos, sin = x / r, y / r
cos2, sin2 = cos * cos * 2 - 1, sin * cos * 2
# convergence, eq. (2)
kappa = (2 - t) / 2 * (b / R) ** t
kappa = jnp.nan_to_num(kappa, posinf=1e10, neginf=-1e10)
# deflection via method
alpha_x, alpha_y = EPLMajorAxis.derivatives(x, y, b, t, q)
# shear, eq. (17), corrected version from arXiv/corrigendum
gamma_1 = (1 - t) * (alpha_x * cos - alpha_y * sin) / r - kappa * cos2
gamma_2 = (1 - t) * (alpha_y * cos + alpha_x * sin) / r - kappa * sin2
gamma_1 = jnp.nan_to_num(gamma_1, posinf=1e10, neginf=-1e10)
gamma_2 = jnp.nan_to_num(gamma_2, posinf=1e10, neginf=-1e10)
# second derivatives from convergence and shear
f_xx = kappa + gamma_1
f_yy = kappa - gamma_1
f_xy = gamma_2
return f_xx, f_xy, f_xy, f_yy
[docs]
class EPLQPhi(LensProfileBase):
"""Class to model a EPL sampling over q and phi instead of e1 and e2."""
param_names = ["theta_E", "gamma", "q", "phi", "center_x", "center_y"]
lower_limit_default = {
"theta_E": 0,
"gamma": 1.5,
"q": 0,
"phi": -jnp.pi,
"center_x": -100,
"center_y": -100,
}
upper_limit_default = {
"theta_E": 100,
"gamma": 2.5,
"q": 1,
"phi": jnp.pi,
"center_x": 100,
"center_y": 100,
}
_EPL = EPL()
[docs]
@staticmethod
@jit
def function(x, y, theta_E, gamma, q, phi, center_x=0, center_y=0):
"""
:param x: x-coordinate in image plane
:param y: y-coordinate in image plane
:param theta_E: Einstein radius
:param gamma: power law slope
:param q: axis ratio
:param phi: position angle
:param center_x: profile center
:param center_y: profile center
:return: lensing potential
"""
e1, e2 = param_util.phi_q2_ellipticity(phi, q)
return EPLQPhi._EPL.function(x, y, theta_E, gamma, e1, e2, center_x, center_y)
[docs]
@staticmethod
@jit
def derivatives(x, y, theta_E, gamma, q, phi, center_x=0, center_y=0):
"""
:param x: x-coordinate in image plane
:param y: y-coordinate in image plane
:param theta_E: Einstein radius
:param gamma: power law slope
:param q: axis ratio
:param phi: position angle
:param center_x: profile center
:param center_y: profile center
:return: alpha_x, alpha_y
"""
e1, e2 = param_util.phi_q2_ellipticity(phi, q)
return EPLQPhi._EPL.derivatives(
x, y, theta_E, gamma, e1, e2, center_x, center_y
)
[docs]
@staticmethod
@jit
def hessian(x, y, theta_E, gamma, q, phi, center_x=0, center_y=0):
"""
:param x: x-coordinate in image plane
:param y: y-coordinate in image plane
:param theta_E: Einstein radius
:param gamma: power law slope
:param q: axis ratio
:param phi: position angle
:param center_x: profile center
:param center_y: profile center
:return: f_xx, f_xy, f_yx, f_yy
"""
e1, e2 = param_util.phi_q2_ellipticity(phi, q)
return EPLQPhi._EPL.hessian(x, y, theta_E, gamma, e1, e2, center_x, center_y)
[docs]
@staticmethod
@jit
def mass_3d_lens(r, theta_E, gamma, q=None, phi=None):
"""Computes the spherical power-law mass enclosed (with SPP routine).
:param r: radius within the mass is computed
:param theta_E: Einstein radius
:param gamma: power-law slope
:param q: axis ratio (not used)
:param phi: position angle (not used)
:return: mass enclosed a 3D radius r.
"""
return EPLQPhi._EPL.mass_3d_lens(r, theta_E, gamma)
[docs]
@staticmethod
@jit
def density_lens(r, theta_E, gamma, q=None, phi=None):
"""Computes the density at 3d radius r given lens model parameterization. The
integral in the LOS projection of this quantity results in the convergence
quantity.
:param r: radius within the mass is computed
:param theta_E: Einstein radius
:param gamma: power-law slope
:param q: axis ratio (not used)
:param phi: position angle (not used)
:return: mass enclosed a 3D radius r
"""
return EPLQPhi._EPL.density_lens(r, theta_E, gamma)
tree_util.register_pytree_node(EPL, EPL._tree_flatten, EPL._tree_unflatten)