sugar.py 9.57 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
#
Martin Reinecke's avatar
Martin Reinecke committed
14
# Copyright(C) 2013-2018 Max-Planck-Society
Theo Steininger's avatar
Theo Steininger committed
15
16
17
#
# NIFTy is being developed at the Max-Planck-Institut fuer Astrophysik
# and financially supported by the Studienstiftung des deutschen Volkes.
18

19
import numpy as np
Martin Reinecke's avatar
Martin Reinecke committed
20
from . import Space, PowerSpace, Field, DiagonalOperator,\
Martin Reinecke's avatar
Martin Reinecke committed
21
22
              PowerProjectionOperator, FFTOperator, sqrt, DomainTuple, dobj,\
              utilities
23

Martin Reinecke's avatar
Martin Reinecke committed
24
25
__all__ = ['PS_field',
           'power_analyze',
26
           'power_synthesize',
Martin Reinecke's avatar
tweaks    
Martin Reinecke committed
27
           'power_synthesize_nonrandom',
28
           'create_power_field',
29
           'create_power_operator',
30
           'create_composed_fft_operator']
31
32


Martin Reinecke's avatar
Martin Reinecke committed
33
34
35
36
37
38
def PS_field(pspace, func, dtype=None):
    if not isinstance(pspace, PowerSpace):
        raise TypeError
    data = dobj.from_global_data(func(pspace.k_lengths))
    return Field(pspace, val=data, dtype=dtype)

Martin Reinecke's avatar
Martin Reinecke committed
39

40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
def _single_power_analyze(field, idx, binbounds):
    power_domain = PowerSpace(field.domain[idx], binbounds)
    ppo = PowerProjectionOperator(field.domain, power_domain, idx)
    return ppo(field.weight(-1))


def power_analyze(field, spaces=None, binbounds=None,
                  keep_phase_information=False):
    """ Computes the square root power spectrum for a subspace of `field`.

    Creates a PowerSpace for the space addressed by `spaces` with the given
    binning and computes the power spectrum as a Field over this
    PowerSpace. This can only be done if the subspace to  be analyzed is a
    harmonic space. The resulting field has the same units as the initial
    field, corresponding to the square root of the power spectrum.

    Parameters
    ----------
    field : Field
        The field to be analyzed
    spaces : int *optional*
Martin Reinecke's avatar
tweaks    
Martin Reinecke committed
61
        The set of subspaces for which the powerspectrum shall be computed.
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
        (default : None).
    binbounds : array-like *optional*
        Inner bounds of the bins (default : None).
        if binbounds==None : bins are inferred.
    keep_phase_information : boolean, *optional*
        If False, return a real-valued result containing the power spectrum
        of the input Field.
        If True, return a complex-valued result whose real component
        contains the power spectrum computed from the real part of the
        input Field, and whose imaginary component contains the power
        spectrum computed from the imaginary part of the input Field.
        The absolute value of this result should be identical to the output
        of power_analyze with keep_phase_information=False.
        (default : False).

    Returns
    -------
    out : Field
        The output object. Its domain is a PowerSpace and it contains
        the power spectrum of 'field'.
    """

    for sp in field.domain:
        if not sp.harmonic and not isinstance(sp, PowerSpace):
Martin Reinecke's avatar
Martin Reinecke committed
86
87
            dobj.mprint("WARNING: Field has a space in `domain` which is "
                        "neither harmonic nor a PowerSpace.")
88

89
    spaces = utilities.parse_spaces(spaces, len(field.domain))
90
91
92
93

    if len(spaces) == 0:
        raise ValueError("No space for analysis specified.")

94
95
96
97
    field_real = not np.issubdtype(field.dtype, np.complexfloating)
    if (not field_real) and keep_phase_information:
        raise ValueError("cannot keep phase from real-valued input Field")

98
99
100
    if keep_phase_information:
        parts = [field.real*field.real, field.imag*field.imag]
    else:
101
102
103
104
        if field_real:
            parts = [field**2]
        else:
            parts = [field.real*field.real + field.imag*field.imag]
105
106
107
108
109
110
111
112
113
114
115

    parts = [part.weight(1, spaces) for part in parts]
    for space_index in spaces:
        parts = [_single_power_analyze(field=part,
                                       idx=space_index,
                                       binbounds=binbounds)
                 for part in parts]

    return parts[0] + 1j*parts[1] if keep_phase_information else parts[0]


Martin Reinecke's avatar
tweaks    
Martin Reinecke committed
116
def power_synthesize_nonrandom(field, spaces=None):
117
    spaces = utilities.parse_spaces(spaces, len(field.domain))
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166

    result_domain = list(field.domain)
    spec = sqrt(field)
    for i in spaces:
        result_domain[i] = field.domain[i].harmonic_partner
        ppo = PowerProjectionOperator(result_domain, field.domain[i], i)
        spec = ppo.adjoint_times(spec)

    return spec


def power_synthesize(field, spaces=None, real_power=True, real_signal=True):
    """ Yields a sampled field with `field`**2 as its power spectrum.

    This method draws a Gaussian random field in the harmonic partner
    domain of this field's domains, using this field as power spectrum.

    Parameters
    ----------
    field : Field
        The input field containing the square root of the power spectrum
    spaces : {tuple, int, None} *optional*
        Specifies the subspace containing all the PowerSpaces which
        should be converted (default : None).
        if spaces==None : Tries to convert the whole domain.
    real_power : boolean *optional*
        Determines whether the power spectrum is treated as intrinsically
        real or complex (default : True).
    real_signal : boolean *optional*
        True will result in a purely real signal-space field
        (default : True).

    Returns
    -------
    out : Field
        The output object. A random field created with the power spectrum
        stored in the `spaces` in `field`.

    Notes
    -----
    For this the spaces specified by `spaces` must be a PowerSpace.
    This expects this field to be the square root of a power spectrum, i.e.
    to have the unit of the field to be sampled.

    Raises
    ------
    ValueError : If domain specified by `spaces` is not a PowerSpace.
    """

Martin Reinecke's avatar
tweaks    
Martin Reinecke committed
167
    spec = power_synthesize_nonrandom(field, spaces)
168
169
170
    self_real = not np.issubdtype(spec.dtype, np.complexfloating)
    if (not real_power) and self_real:
        raise ValueError("can't draw complex realizations from real spectrum")
171
172
173
174
175
176
177
178
179

    # create random samples: one or two, depending on whether the
    # power spectrum is real or complex
    result = [field.from_random('normal', mean=0., std=1.,
                                domain=spec.domain,
                                dtype=np.float if real_signal
                                else np.complex)
              for x in range(1 if real_power else 2)]

180
    result[0] *= spec if self_real else spec.real
181
182
183
184
185
186
    if not real_power:
        result[1] *= spec.imag

    return result[0] if real_power else result[0] + 1j*result[1]


187
def create_power_field(domain, power_spectrum, dtype=None):
Martin Reinecke's avatar
tweaks    
Martin Reinecke committed
188
189
190
191
192
193
194
195
196
197
198
    if not callable(power_spectrum):  # we have a Field living on a PowerSpace
        if not isinstance(power_spectrum, Field):
            raise TypeError("Field object expected")
        if len(power_spectrum.domain) != 1:
            raise ValueError("exactly one domain required")
        if not isinstance(power_spectrum.domain[0], PowerSpace):
            raise TypeError("PowerSpace required")
        power_domain = power_spectrum.domain[0]
        fp = Field(power_domain, val=power_spectrum.val, dtype=dtype)
    else:
        power_domain = PowerSpace(domain)
Martin Reinecke's avatar
Martin Reinecke committed
199
        fp = PS_field(power_domain, power_spectrum, dtype)
200

201
    return PowerProjectionOperator(domain, power_domain).adjoint_times(fp)
202

203

Martin Reinecke's avatar
Martin Reinecke committed
204
def create_power_operator(domain, power_spectrum, space=None, dtype=None):
Theo Steininger's avatar
Theo Steininger committed
205
    """ Creates a diagonal operator with the given power spectrum.
206

207
    Constructs a diagonal operator that lives over the specified domain.
208

209
210
211
    Parameters
    ----------
    domain : DomainObject
212
        Domain over which the power operator shall live.
Martin Reinecke's avatar
Martin Reinecke committed
213
214
215
216
    power_spectrum : callable of Field
        An object that implements the power spectrum as a function of k.
    space : int
            the domain index on which the power operator will work
Theo Steininger's avatar
Theo Steininger committed
217
    dtype : type *optional*
218
        dtype that the field holding the power spectrum shall use
Theo Steininger's avatar
Theo Steininger committed
219
220
221
        (default : None).
        if dtype == None: the dtype of `power_spectrum` will be used.

222
223
    Returns
    -------
Theo Steininger's avatar
Theo Steininger committed
224
    DiagonalOperator : An operator that implements the given power spectrum.
225
    """
Martin Reinecke's avatar
Martin Reinecke committed
226
227
    domain = DomainTuple.make(domain)
    if space is None:
Martin Reinecke's avatar
Martin Reinecke committed
228
        if len(domain) != 1:
Martin Reinecke's avatar
Martin Reinecke committed
229
230
231
232
            raise ValueError("space keyword must be set")
        else:
            space = 0
    space = int(space)
233
    return DiagonalOperator(
Martin Reinecke's avatar
Martin Reinecke committed
234
        create_power_field(domain[space], power_spectrum, dtype).weight(1),
Martin Reinecke's avatar
Martin Reinecke committed
235
236
        domain=domain,
        spaces=space)
237

238

239
240
241
def create_composed_fft_operator(domain, codomain=None, all_to='other'):
    if codomain is None:
        codomain = [None]*len(domain)
Martin Reinecke's avatar
tweaks    
Martin Reinecke committed
242
    tdom = list(domain)
Martin Reinecke's avatar
Martin Reinecke committed
243
    res = None
Martin Reinecke's avatar
Martin Reinecke committed
244
    for i, space in enumerate(domain):
245
246
247
248
249
        if not isinstance(space, Space):
            continue
        if (all_to == 'other' or
                (all_to == 'position' and space.harmonic) or
                (all_to == 'harmonic' and not space.harmonic)):
250
            if codomain[i] is None:
Martin Reinecke's avatar
tweaks    
Martin Reinecke committed
251
                tgt = domain[i].get_default_codomain()
252
            else:
Martin Reinecke's avatar
tweaks    
Martin Reinecke committed
253
                tgt = codomain[i]
Martin Reinecke's avatar
Martin Reinecke committed
254
255
            op = FFTOperator(domain=tdom, target=tgt, space=i)
            res = op if res is None else op*res
Martin Reinecke's avatar
tweaks    
Martin Reinecke committed
256
            tdom[i] = tgt
Martin Reinecke's avatar
Martin Reinecke committed
257
258
259
    if res is None:
        raise ValueError("empty operator")
    return res