lm_space.py 4.76 KB
Newer Older
1
2
3
4
5
6
7
8
9
10
11
12
# This program is free software: you can redistribute it and/or modify
# it under the terms of the GNU General Public License as published by
# the Free Software Foundation, either version 3 of the License, or
# (at your option) any later version.
#
# This program is distributed in the hope that it will be useful,
# but WITHOUT ANY WARRANTY; without even the implied warranty of
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
# GNU General Public License for more details.
#
# You should have received a copy of the GNU General Public License
# along with this program.  If not, see <http://www.gnu.org/licenses/>.
Theo Steininger's avatar
Theo Steininger committed
13
#
14
# Copyright(C) 2013-2019 Max-Planck-Society
Theo Steininger's avatar
Theo Steininger committed
15
#
16
# NIFTy is being developed at the Max-Planck-Institut fuer Astrophysik.
Philipp Arras's avatar
Philipp Arras committed
17

csongor's avatar
csongor committed
18
import numpy as np
Philipp Arras's avatar
Philipp Arras committed
19

20
from ..field import Field
Philipp Arras's avatar
Philipp Arras committed
21
from .structured_domain import StructuredDomain
Theo Steininger's avatar
Theo Steininger committed
22

csongor's avatar
csongor committed
23

Martin Reinecke's avatar
Martin Reinecke committed
24
class LMSpace(StructuredDomain):
Martin Reinecke's avatar
Martin Reinecke committed
25
26
    """NIFTy subclass for sets of spherical harmonic coefficients.

Philipp Arras's avatar
Philipp Arras committed
27
28
    Its harmonic partner spaces are :class:`~nifty5.domains.hp_space.HPSpace`
    and :class:`~nifty5.domains.gl_space.GLSpace`.
Martin Reinecke's avatar
Martin Reinecke committed
29
30
31
32

    Parameters
    ----------
    lmax : int
Martin Reinecke's avatar
Martin Reinecke committed
33
34
        The maximum :math:`l` value of any spherical harmonic coefficient
        :math:`a_{lm}` that is represented by this object.
Martin Reinecke's avatar
Martin Reinecke committed
35
        Must be :math:`\\ge 0`.
Martin Reinecke's avatar
Martin Reinecke committed
36
37
38
39
40

    mmax : int, optional
        The maximum :math:`m` value of any spherical harmonic coefficient
        :math:`a_{lm}` that is represented by this object.
        If not supplied, it is set to `lmax`.
Martin Reinecke's avatar
Martin Reinecke committed
41
        Must be :math:`\\ge 0` and :math:`\\le` `lmax`.
csongor's avatar
csongor committed
42
43
    """

Martin Reinecke's avatar
Martin Reinecke committed
44
45
    _needed_for_hash = ["_lmax", "_mmax"]

46
    def __init__(self, lmax, mmax=None):
Martin Reinecke's avatar
Martin Reinecke committed
47
        self._lmax = int(lmax)
48
49
50
51
        if self._lmax < 0:
            raise ValueError("lmax must be >=0.")
        if mmax is None:
            mmax = self._lmax
Martin Reinecke's avatar
Martin Reinecke committed
52
        self._mmax = int(mmax)
53
54
        if self._mmax < 0 or self._mmax > self._lmax:
            raise ValueError("mmax must be >=0 and <=lmax.")
csongor's avatar
csongor committed
55

56
    def __repr__(self):
Martin Reinecke's avatar
Martin Reinecke committed
57
        return "LMSpace(lmax={}, mmax={})".format(self.lmax, self.mmax)
58

csongor's avatar
csongor committed
59
60
61
    @property
    def harmonic(self):
        return True
csongor's avatar
csongor committed
62
63

    @property
64
    def shape(self):
Martin Reinecke's avatar
Martin Reinecke committed
65
        return (self.size,)
csongor's avatar
csongor committed
66
67

    @property
Martin Reinecke's avatar
Martin Reinecke committed
68
    def size(self):
Martin Reinecke's avatar
Martin Reinecke committed
69
        l, m = self._lmax, self._mmax
70
        # the LMSpace consists of the full triangle (including -m's!),
Theo Steininger's avatar
Theo Steininger committed
71
        # minus two little triangles if mmax < lmax
72
        return (l+1)**2 - (l-m)*(l-m+1)
csongor's avatar
csongor committed
73

Martin Reinecke's avatar
Martin Reinecke committed
74
    @property
75
    def scalar_dvol(self):
76
        return 1.
csongor's avatar
csongor committed
77

78
    def get_k_length_array(self):
79
80
        lmax = self._lmax
        mmax = self._mmax
Martin Reinecke's avatar
Martin Reinecke committed
81
        ldist = np.empty((self.size,), dtype=np.float64)
Martin Reinecke's avatar
stage1    
Martin Reinecke committed
82
83
84
85
86
        ldist[0:lmax+1] = np.arange(lmax+1, dtype=np.float64)
        tmp = np.empty((2*lmax+2), dtype=np.float64)
        tmp[0::2] = np.arange(lmax+1)
        tmp[1::2] = np.arange(lmax+1)
        idx = lmax+1
87
88
89
        for m in range(1, mmax+1):
            ldist[idx:idx+2*(lmax+1-m)] = tmp[2*m:]
            idx += 2*(lmax+1-m)
90
        return Field.from_global_data(self, ldist)
91

92
    def get_unique_k_lengths(self):
Martin Reinecke's avatar
Martin Reinecke committed
93
94
        return np.arange(self.lmax+1, dtype=np.float64)

Martin Reinecke's avatar
Martin Reinecke committed
95
96
    @staticmethod
    def _kernel(x, sigma):
97
98
99
        # cf. "All-sky convolution for polarimetry experiments"
        # by Challinor et al.
        # http://arxiv.org/abs/astro-ph/0008228
100
        from ..sugar import exp
Martin Reinecke's avatar
Martin Reinecke committed
101
        return exp((x+1.) * x * (-0.5*sigma*sigma))
Martin Reinecke's avatar
Martin Reinecke committed
102

103
    def get_fft_smoothing_kernel_function(self, sigma):
Martin Reinecke's avatar
Martin Reinecke committed
104
        return lambda x: self._kernel(x, sigma)
105

csongor's avatar
csongor committed
106
107
    @property
    def lmax(self):
Martin Reinecke's avatar
Martin Reinecke committed
108
109
110
111
        """int : maximum allowed :math:`l`

        The maximum :math:`l` value of any spherical harmonic
        coefficient :math:`a_{lm}` that is represented in this domain.
112
        """
csongor's avatar
csongor committed
113
114
115
116
        return self._lmax

    @property
    def mmax(self):
Martin Reinecke's avatar
Martin Reinecke committed
117
118
119
120
        """int : maximum allowed :math:`m`

        The maximum :math:`m` value of any spherical harmonic
        coefficient :math:`a_{lm}` that is represented in this domain.
121
        """
122
        return self._mmax
Martin Reinecke's avatar
Martin Reinecke committed
123
124

    def get_default_codomain(self):
Philipp Arras's avatar
Philipp Arras committed
125
        """Returns a :class:`~nifty5.domains.gl_space.GLSpace` object, which is
Martin Reinecke's avatar
Martin Reinecke committed
126
127
128
129
130
131
        capable of storing an accurate representation of data residing on
        `self`.

        Returns
        -------
        GLSpace
Martin Reinecke's avatar
Martin Reinecke committed
132
            The partner domain
Martin Reinecke's avatar
Martin Reinecke committed
133
        """
Martin Reinecke's avatar
fixes    
Martin Reinecke committed
134
        from ..domains.gl_space import GLSpace
Martin Reinecke's avatar
Martin Reinecke committed
135
136
137
        return GLSpace(self.lmax+1, self.mmax*2+1)

    def check_codomain(self, codomain):
Martin Reinecke's avatar
Martin Reinecke committed
138
139
140
141
142
143
144
145
        """Raises `TypeError` if `codomain` is not a matching partner domain
        for `self`.

        Notes
        -----
        This function only checks whether `codomain` is of type
        :class:`GLSpace` or :class:`HPSpace`.
        """
Martin Reinecke's avatar
fixes    
Martin Reinecke committed
146
147
        from ..domains.gl_space import GLSpace
        from ..domains.hp_space import HPSpace
Martin Reinecke's avatar
Martin Reinecke committed
148
        if not isinstance(codomain, (GLSpace, HPSpace)):
149
            raise TypeError("codomain must be a GLSpace or HPSpace.")