574
J. Appl. Cryst. (1994). 27, 574580
The MaximumEntropy Method without the Positivity Constraint  Applications to the Determination of the DistanceDistribution Function in SmallAngle Scattering BY STIG STEENSTRUP
Niels Bohr Institute, University of Copenhagen, Universitetsparken 5, 2100 KBH O, Denmark AND STEEN nANSEN
Department of Mathematics and Physics, Royal Veterinary and Agricultural University, Thorvaldsensvej 40, 1871 FRB C, Denmark (Received 5 March 1993; accepted 25 January 1994)
Abstract The maximumentropy principle (MaxEnt) is well suited to the solution of underdetermined problems by inclusion of prior knowledge in a logically consistent way. In most applications of MaxEnt, a set of numbers  pixel densities in an image or counts in a spectrum  are determined. In these cases, the set of numbers can be interpreted as a probability distribution and is, as such, all positive. It is the purpose here to show that MaxEnt is able to provide estimates of a set of quantities that cannot necessarily be interpreted as probabilities and that may become negative, as is the case for the correlation function in smallangle scattering. The method is illustrated both by analysis of simulated data and by measurements on sodium dodecylsulfate.
1. Introduction The maximumentropy method (MaxEnt) has proved to be powerful for handling underdetermined problems. Typical uses are encountered when the 'state' of a system, described e.g. by a state vector f, is not uniquely determined by measured data d. The maximumentropy principle may be applied in such cases to provide a probability distribution for the state of the system. From such a probability, a 'best' estimate of the state is provided by the mean value of the state over the probability distribution. For a large class of problems, the state vector f lends itself to being interpreted as a probability distribution (see e.g. Jaynes, 1986). This would be the case, for example, for the number of counts measured in a channel of a onedimensional spectrum or the number of photons detected in a pixel of a twodimensional picture. In these cases, the state vector has often been taken as being proportional to the probability distribution calculated by MaxEnt. It is the aim here to show that MaxEnt does not require such an identification and hence is not © 1994 International Union of Crystallography Printed in Great Britain  all rights reserved
restricted to cases where the estimated state vector has to be positive. It is only the probability distribution of the state vector that necessarily must be nonnegative. Furthermore, this distribution allows evaluation of a goodness of fit as a variance can be calculated. Previously, the maximumentropy method has been applied to nonpositive distributions (see e.g. Laue, Skilling & Staunton, 1985; David, 1990; Sivia, Hamilton, Smith, Rieker & Pynn, 1991) using a splitting of the estimated distribution in a positive and a negative channel. The approach suggested in the present paper is different: by rewriting the fundamental equations for MaxEnt, it is demonstrated how nonpositive states can be included in the original MaxEnt framework, leading to a well known quadratic constraint. The usefulness of the method is shown by the inclusion of examples from smallangle scattering using simulated and experimental data. Intensity in a smallangle scattering experiment is related to the distribution function (correlation function) for the scattering medium. By a suitable normalization, the scattering intensity is the Fourier transform of this distribution function, which can take positive and negative values.
2. Basic equations The basis of MaxEnt has been described extensively, e.g. by Jaynes (1983), and only the main features are given here. It is assumed that data d I . . . . , d m are measured and are related to the state vector ft . . . . , fn by d i = ~ Aijfj + ei,
i = 1 , . . . , m,
(1)
j=l
where A is a given matrix (not necessarily square or invertible) and the data have errors e l , . . . , en so, Journal of Applied Crystallography ISSN 00218898
© 1994
STIG STEENSTRUP
even in the cases where m = n, (1) does not provide a unique determination of f. MaxEnt consists of settling for less, namely in evaluating a probability distribution P(f) by requiring that its entropy is maximum. It is appropriate to include a prior probability distribution po(f); this is in fact mandatory when the components of f are continuous variables, in which case one should use the Kullback directed divergence I[P;P°], namely
I[P;P °] =
~ P(f)In
p(f)/po(f),
(2)
where the sum is over all possible values of f (being replaced by integrals for the continuous case). Note that, for po(f) uniform, lIP; po] is equal to a constant minus the normal entropy S =  ~ P(f) In P(f). Maximizing the entropy or minimizing I[P;P °] is equivalent. The MaxEnt distribution is now obtained by minimizing (2) with the constraints (1), where fj now has to be replaced by (fj>, the mean value. Standard Lagrangemultiplier techniques with Lagrange multipliers 21,...,2m yield for the MaxEnt distribution"
P(fj = Z1P°(f) exp (  ~ ).i ~ Aijfj), i
Z = ~ P°(f) exp (  ~ ~ 2~Aij~). i
f i exp
po(f) = fi [1/(2n)l/2a~] exp or
po(f) =
(7)
(2n),/2(a, ... a,) 1
(4)
(5)
With the assumption of the Gaussian prior, we have an equal probability of a deviation + 6 and a deviation  6 from the expected mean value m. The MaxEnt distribution (3) and the state sum Z [(4)] can now be evaluated in closed form: Z = exp[ ~
then the I[P;P °] for the MaxEnt distribution P has the value ~ [ ( f j ) In ((f~)/mj)  ( f j ) + mj]. (6) j=l
The assumption of Poisson distributions applies well to the situations of counting statistics.
(/a~o.z/2)pjmjl ,
(9)
j=l
and P(O = (2rt)"/z(o.l ... o',) 1 x exp

[fj 
(ms 
~jo'~)]
/2o'j ,
(10)
j=l
where the abbreviation pj = ~7'~ 2iAij has been introduced. From (10), it is seen that ( f j ) = mj  pjo'~. Solving for pj and inserting it into the expression
I[P;P °] =
In
Z  ~ 2idi i=1
=InZ
~ 2, ~ i=1
j=l
I[P;P °] =
mj)2/2a2]
j=l
j
(mj)(m~,/fj!),
[(fj 
j=l
(3)
Determination of the Lagrange multipliers from the constraints now yields the complete probability distribution and a set of best values of f is obtained as a set of the mean values ( f ) = ~ffP(f). In practice, however, it is not very convenient numerically to evaluate a function in n variables. Fortunately, for a number of cases of interest it is possible to solve part of the problem and recast the optimization into one involving only mean values. The ease with which this can be done depends on the space in which f takes values and on the choice of the prior. For instance, it has been shown (Steenstrup & Wilkins, 1984; Steenstrup, 1985) that, if each fj can only take on integer values and the prior is a product of Poisson distributions
po(f) =
Expression (6) (without the mean value signs) has also been obtained by Skilling (1988, 1989) on the basis of four axioms and interpreting f as being proportional to a probability distribution. In many cases, however, the assumptions that f j ~ N and that the prior is a product of Poisson distributions are hardly appropriate. Among other reasons, the fact that the physics of the problem may allow negative values of f is the most important for the example considered in the following section. Furthermore, in this case the measurements (and counting statistics) take place in reciprocal space, while the distribution to be estimated lies in direct space. We instead assume that each fj is a real variable with range from  ~ to ~ and that the prior is a product of Gaussians:
j
where Z is a normalization constant given by
f
575
AND STEEN HANSEN
= 
Aij(f~)
j=l
~ [(#~o'2/2)
~jmj + ]Ai(fj)] ,
(11)
j=l
one obtains the following simple expression for the directed divergence:
I[P;P °] =
~ [( j=l
mj)Z/2cr~.],
(12)
576
MAXIMUMENTROPY
METHOD WITHOUT THE POSITIVITY CONSTRAINT
i.e. a form of the well known quadratic constraint [for an alternative derivation of (6) and (12) see Kullback (1959)]. Instead of evaluating a probability distribution in n variables, it is now possible to work directly with mean values. It suffices to minimize (12) subject to constraints (1) or if errors are included by constraining the value of ;(2:
;(2= ~
d,
A,j(fj)
/2s 2 ,
(13)
i=I
where s i is the standard deviation of the error of data point di. This is obviously done by solving
V{ ~=l [((fj)  mj)2/262] + 2;(2} = O, J
(14)
where 2 is a Lagrange multiplier allowing the ;(2 to reach a predetermined value. This predetermined value should be provided a priori for a simple application of MaxEnt (and will usually be provided from a priori information about the nature of the experiment and experience). Alternatively (and numerically slightly more complicated), the Lagrange multiplier can be found by Bayesian estimation, as shown by Gull (1989). However, as demonstrated by Bryan (1990), the Bayesian estimation of the Lagrange multiplier in MaxEnt has to be performed with caution to avoid over or underfitting the data. Equation (14) can be solved numerically by a successive over/underrelaxation algorithm [as described by Steenstrup (1985)]. For estimation of onedimensional spectra (having just a few hundred points), this is done in seconds on a PC. It is noted that a secondorder Taylor approximation of (6) gives
IEP;P °] ~ ~ [ ( ( f j )  mj)Z/2mj]
(15)
j=l
for ( f ) ~ m. In consequence, (6) and (12) will give identical results when a t2 = mj and ( f ) "~ m, expressing the fact that the Poisson distribution may be approximated by a Gaussian (provided of course that mj is large enough so that integrals over fj can be extended to  o o to a good approximation). We stress that (12) in itself does not give an entropy. It just happens that, for the given space and the given prior, the values given by (12) and for the entropy by (2) are the same when the MaxEnt distribution is inserted in (2) and when the values of ( f j ) minimizing (12) subject to the constraints are inserted in (12). Whatever the nature of the problem, i.e. the space, the prior and the explicit form of the constraints, MaxEnt can be invoked using (2). In
particular cases, simplifications are possible, and as we have shown the simplification can be extended to cases with nonpositive state vectors. When using MaxEnt, it is important first to consider how its basic assumptions apply to the problem addressed. It must be considered whether it is sensible to assume that each fj is Poisson distributed  or if the four axioms of Skilling are fulfilled. If this is not the case, a new prior probability distribution for fj should be found  and, subsequently, the entropy with respect to this probability distribution should be maximized. Second, it is important to express the 'default' values  the prior  m so as to incorporate the maximum possible prior information in P(f). In many of the cases where MaxEnt gives disappointing results, these two points might not have been given sufficient consideration. It is noted that, in the absence of data points, the estimated function will be identical to the a priori estimated mean value, e.g. identically zero if m = 0 has been chosen as the prior estimate.
3. Results for smallangle scattering Among its many possible applications, smallangle scattering (SAS) is used for obtaining structural information about molecules in solution. The interest of performing solution experiments appears, for example, in biophysics, where it may be crucial to preserve the exact and functionally active structure of the biomolecule. The loss of information owing to the random orientation of the molecules in the solution makes it important to extract the maximum information from the measured scattering profile. For interpretation of the experimental results, it is often relevant to represent the scattering data in direct space, which requires a Fourier transformation of the data preserving the full information content of the experimental data. A direct Fourier transform is of limited use, owing to noise, smearing and truncation. Attempts to take these effects into account by indirect Fourier transformation (IFT) have been suggested in the literature (e.g. Glatter, 1977; Moore, 1980; Svergun, Semenyuk & Feigin, 1988; Hansen & Pedersen, 1991). In smallangle scattering, the intensity I is measured as a function of the length of the scattering vector q = 4n sin (0)/2, where 2 is the wavelength of the radiation and 0 is half the scattering angle. For scattering from a dilute solution of monodisperse molecules of maximum dimension D, the intensity can be written in terms of the distance distribution function p(r): D
l(q) = 4n ~ p(r) [sin (qr)/qr] dr. o
(16)
STIG STEENSTRUP AND STEEN HANSEN
The distance distribution function is related to the densitydensity correlation 7(r) of the scatteringlength density p(r) by p ( r ) = r 2 7 ( r ) = r2,
(17)
where p(r) is the scattering contrast, given by the difference in scattering density between the scatterer p~c(r) and the solvent P~o, i.e. p(r)= p~c(r) Pso, < > means averaging over all orientations of the molecule and Vis the volume of the molecule. The possibility of negative contrast may give negative regions in the distancedistribution function, which will also become negative in the region around D for high concentrations of the scatterer (see e.g. Glatter, 1982). For uniform scattering density of the molecule, the distance distribution function is proportional to the probability distribution for the distance between two arbitrary scattering points within the molecule. For the case of polydispersity, the size distribution for the molecules can be calculated by a similar indirect Fourier transformation if the shape of the molecules is known (usually spheres are assumed). The mathematics of this problem is completely analogous to the problem of estimation of the distancedistribution function for monodisperse systems. The actual calculations may cause additional difficulties, as the system of equations to be solved for calculations of a size distribution is often more ill conditioned than for the determination of the distancedistribution function (as will appear by a singular value decomposition of the transformation matrix). However, the numerical problems encountered are similar. The maximumentropy method has been used for estimation of size distributions (Daniell, Potton & Rainford, 1988; Morrison, Corcoran & Lewis, 1992) and distancedistribution functions (Hansen & Pedersen, 1991) in smallangle scattering. These previous applications used (6) as the constraint on the estimated distributions. However, there is nothing in the nature of these problems that requires the estimated distributions to obey Poisson statistics as expressed by maximization of(6). Furthermore, for the estimation of distancedistribution functions, it is frequently possible for the distribution to take negative values, as noted above. Minimizing the square of the distance from a priori estimation as a constraint on IFT in smallangle scattering was previously suggested by Glatter (1977); however, this approach was discarded as the influence of the Lagrange multiplier (balancing the importance of the X2 and the additional constraint) 'was not negligible'. But, according to the derivation above, it should not be negligible as it governs the extent to which the prior estimate is allowed to influence the final solution. The ability to include prior information in an easy, transparent and logically consistent way
577
may be considered the major advantage of maximum entropy compared to other methods of data analysis. This includes the possibility of constraining the solution to be positive if it is known a priori that the scattering contrast has the same sign for all parts of the molecule and that no concentration effects are present. Certainly, for estimation of size distributions, the optional positivity constraint must be considered an advantage. The methods of Tikhonov & Arsenin (1977) allows the inclusion of prior knowledge by the general form of the stabilizer: f2(f, m, p) = I l f  mll 2 + p[lf'll 2.
(18)
The first term minimizes the deviation from the prior estimate with respect to a given norm and the second term imposes a smoothness constraint similar to that of Glatter (1977) on the distribution to be estimated. However, usually only the second term is used when applying Tikhonov regularization to underdetermined problems [see e.g. Svergun, Semenyuk & Feigin (1988) for the application of the method to smallangle scattering]. The above derivation by maximum entropy underlines the importance of the first term of the Tikhonov regularization and furthermore provides guidelines on how to choose the norm by the identification of the o'fs as the individual widths of the Gaussian priors. However, the addition of a smoothness constraint to the maximumentropy method is of course also quite legitimate and has been tested (Charter & Gull, 1991). In many situations, the usually applied smoothness constraint of Glatter (1977) (minimizing the curvature of the distribution function) is a very sensible way of expressing the prior information that a smallangle scattering experiment often has low resolution. What is offered by the maximumentropy method is simply an additional way of expressing prior information. For example, given some prior information about the geometrical shape of the scatterer, MaxEnt is likely to give better results than a mere smoothness constraint and should consequently be considered as an additional analytical tool in smallangle scattering. In MaxEnt, the estimation of the errors can be done in the conventional way using the usual curvature matrix for the Z2 but including the additional entropyregularization term as described by Gull (1989). Examples are given below for both simulated and experimental data. Simulated data
Fig. l(a) shows a simulated scattering profile obtained by adding Gaussian noise to a theoretical scattering profile calculated from a spherical model. The model consists of a sphere of radius 16 A and
578
M A X I M U M  E N T R O P Y M E T H O D W I T H O U T THE POSITIVITY CONSTRAINT
scattering density  1.5 inside a shell of internal radius 16 A, external radius 23 ,~ and scattering density 1. The added noise is shown in the figure by the error bars on simulated data points. The MaxEnt fit is also shown. The corresponding MaxEnt estimate of the distancedistribution function is shown in Fig. l(b) with the original distancedistribution function for the model. The positions of the peaks and the overall shape of the curves show good agreement between the two distancedistribution functions. Another simulated scattering profile constructed as for Fig. l(a) but including an extra shell in the molecule is shown in Fig. 2(a). The radii were now 20, 35 and 50.A and the scattering lengths 1,  2 and 1, respectively. The MaxEnt estimate of the distancedistribution function is presented in Fig. 2(b) and still shows good agreement with the original distribution. The above MaxEnt calculations were done assuming that the maximum length Dma x used for the
IFT was equal to the maximum dimension of the scatterer. Furthermore, the noise level Z2 was assumed to be known. If these two parameters are not known in advance all is not lost but the various methods of IFT mentioned above provide suggestions as to how Dma x and Z 2 c a n be estimated during the calculations (see also Svergun, 1992). Exactly how sensitive the present method is to errors in the estimation of ;t z and Dma x depends of course on the quality of the experimental data. m = 0 was chosen for the prior in both cases. Furthermore, the width of the Gaussian a t in (7) was varied o v e r [ 0 : D m a x ] . Somewhat arbitrarily, the variation itself was chosen as a Gaussian but the main effect of this variation was to 'tie down' the estimate of the distancedistribution function at the end points as it is known a priori that p(0)= p(Dmax)= 0. A similar approach has been suggested by Wilkins, Steenstrup & Varghese (1985). 14
3 I
12
25
1
~
08 06 04 02 0
0 5
= 0
~ 0,1
=
= 02
=
= 0.3
i
i 0.4
05
i
l
005
0,1
i
0 15 q [~'']
q [A"]
i
i
i
0.2
0 25
03
035
(a)
(a) 03
,
,
20
40
,
,
60
80
,
0.2 02
01 01
"~
01
0 1
0.2
0,2
03
o
I
~
,'o
,'~
~
;~
~
;~
,~
,'~
50
r [AI
(h) Fig. 1. (a) Simulated scattering profile for a twophase sphere. Dimensions are as described in the text. Simulated data: error bars connected by full line. MaxEnt fit: dashed line. (b) Distance distribution for the twophase sphere. Original distribution: full line. MaxEnt estimate: dashed line [corresponding to the fit shown in (a)].
03 0
100
r [AI
(b) Fig. 2. (a) Simulated scattering profile for a threephase sphere. Dimensions are as described in the text. Simulated data: error bars connected by full line. MaxEnt fit: dashed line. (b) Distance distribution for the threephase sphere. Original distribution: full line. MaxEnt fit: dashed line [corresponding to the fit shown in (a)].
579
STIG STEENSTRUP AND STEEN HANSEN
In Fig. 3, the result of a previously published MaxEnt estimate obtained using (6) (Hansen & Pedersen, 1991) is compared to one obtained using (12). In this case, the scatterer was an object consisting of eight spheres and the original distancedistribution function was calculated by May & Nowotny (1989). For both of the present calculations, a spherical prior was assumed and the maximum diameter of the scatterer was found by the minimum value of (6) and (12), respectively. For the estimate using (12), it was assumed that o j   m j . It is apparent that the two methods give approximately the same result. This is expected from the comparison of the quadratic approximation for the entropy (15) and (6). 2
subtraction]. Finally, as our present aim is to demonstrate the connection between MaxEnt and the well known quadratic constraint, as well as to investigate the applicability of the quadratic constraint to the analysis of smallangle scattering data, we desist from any attempt to analyze the structural information in Fig. 4(b) in further detail but simply note that the depicted distancedistribution function is in good agreement with the SDS structure obtained from previous experiments (e.g. Cabane, Duplessix & Zemb, 1985; Zemb & Charpin, 1985; Bezzobotnov et al., 1988).
4. Concluding remarks
Experimental data Fig. 4(a) shows data from smallangle Xray scattering measurements on sodium dodecylsulfate (SDS) at a concentration of 1 0 m g m l  t (SamsB, Daban & Jones, 1994). The corresponding estimate of the distancedistribution function is shown in Fig. 4(b). For this calculation, a Dmax of 65 ,& was used and the prior was chosen as for the simulated data. SDS consists of amphiphiles that have the ability to form micelles in solution. The micelles are expected to have an inner spherical region of low scattering density corresponding to the hydrophobic CH 2 tails of the amphiphiles and two outer shells consisting of the hydrophilic polar heads and some ordered structure of solvent around the micelle. The dimensions derived from the distancedistribution function are 16,~ for the radius of the inner sphere, 23 ,/~ for the external radius of the shell of polar heads and an overall maximum correlation length of 65 • owing to the ordering around the micelle. The inner part of the distancedistribution function is seen to correspond well with the simulated example in Fig. 1 [the offset at p(0) is probably due to incorrect background
From the expression for the Kullback directed divergence, it has been demonstrated that MaxEnt includes estimation of nonpositive distributions leading to a well known quadratic constraint. The test examples given for smallangle scattering show good
8
3
"2
, 2
.,
x
.,,' x
/ '.
x
/
\
/ ,,
/ ..,
i 0.05
.
i
"... i 0.15
0 1
i 0.25
l 02 q
i 03
035
[A']
(a)
3
2
20
.g
..
~,
0
15
.1
10
.2
3 5
0
I 10
I 20
I 30
t 40
I 50
t 60
r [AI
0

10
20
30
40
50
60
70
80
r [~]
Fig. 3. Comparison of estimates of p(r) for different constraints. Original distribution: full line. MaxEnt estimate using (6): long dashes. MaxEnt estimate using (12): short dashes.
(b) Fig. 4. (a) Smallangle Xray scattering on SDS micelles. Data points are shown as dots and the MaxEnt fit as dashed line. (b) MaxEnt estimate of distance distribution for SDS [corresponding to the fit shown in (a)].
580
MAXIMUMENTROPY METHOD WITHOUT THE POSITIVITY CONSTRAINT
agreement between original and estimated distributions and illustrate the applicability of M a x E n t within this particular area. The main part of this work was done at C S I R O Division of Materials Science and Technology, Australia, of which the hospitality, inspiration and financial support are greatly appreciated. We thank Stephen Wilkins (CSIRO) for inspiring discussions and Gareth Jones (BSL D a r e s b u r y Laboratory) for m a k i n g SDS data available to us. Financial support from the Danish Natural Science Research Council is also acknowledged.
References
BEZZOBOTNOV, V. Yu, BORBI~LY,S., CSER, L., FARAGO, B., GLADKIH, I. A., OSTANEVICH,YU. M. & VASS,Sz. (1988). J. Phys. Chem. 92, 57385743. BRYAN, R. K. (1990). Eur. Biophys. J. 18, 165174. CABANE,B., DUPLESSlX,R. & ZEMB,T. (1985). J. Phys. (Paris), 46, 21612178. CHARTER, M. K. & GULL, S. F. (1991). J. Pharmacokinet. Biopharm. 19, 497520. DANIELL, G. J., POTTON, J. A. & RAINFORD, B. D. (1988). J. Appl. Cryst. 21,663668, 891897. DAVID, W. I. F. (1990). Nature (London), 346, 731734. GLATTER, O. (1977). J. Appl. Cryst. 10, 415421. GLATTER, O. (1982). SmallAngle Xray Scattering, edited by O. GLATTER& O. KRATKY.London: Academic Press. GULL, S. F. (1989). MaximumEntropy and Bayesian Methods, edited by J. SKILLING, pp. 5371. Dordrecht: Kluwer Academic Publishers. HANSEN, S. & PEDERSEN, J. S. (1991). J. Appl. Cryst. 24, 541548.
JAYNES, E. T. (1983). Papers on Probability, Statistics and Statistical Physics, edited by R. D. ROSENKRANTZ. Dordrecht: Kluwer Academic Publishers. JAYNES, E. T. (1986). Maximum Entropy and Bayesian Methods in Applied Statistics, edited by J. H. JUSTICE, pp. 2658. Cambridge Univ. Press. KULLBACK,A. (1959). Information Theory and Statistics. New York: Wiley. LAUE, E. D., SKILLING,J. & STAUNTON,J. (1985). J. Magn. Reson. 63, 418424. MAY, R. P. & NOWOTNY, V. (1989). J. Appl. Cryst. 22, 231237. MOORE, P. B. (1980). J. Appl. Cryst. 13, 168175. MORRISON, J. D., CORCORAN,J. D. & LEWIS, K. E. (1992). J. Appl. Cryst. 25, 504513. SAMSO,M., DABAN,J.R. & JONES,G. (1994). In preparation. SIV1A, D. S., HAMILTON, W. A., SMITH, G. S., RIEKER, T. P. & PYNN, R. (1991). J. Appl. Phys. 70, 732738. SKILLING, J. (1988). MaximumEntropy and Bayesian Methods in Science and Engineering, Vol. l, edited by G. J. ERICKSON & C. RAY SMITH, pp. 173187. Dordrecht: Kluwer Academic Publishers. SKILLING, J. (1989). MaximumEntropy and Bayesian Methods, edited by J. SKILLING, pp. 4252. Dordrecht: Kluwer Academic Publishers. STEENSTRUP, S. (1985). Aust. J. Phys. 38, 319327. STEENSTRUP, S. & W1LKINS, S. W. (1984). Acta Cryst. 40, 163164. SVERGUN, D. I. (1992). J. Appl. Cryst. 25, 495503. SVERGUN,D. I., SEMENYUK,A. V. & FEIGIN, L. A. (1988). Acta Cryst. A44, 244250. TIKHONOV, A. N. & ARSENIN, V. YA. (1977). Solution of IllPosed Problems. New York: Wiley. WILKINS, S. W., STEENSTRUP, S. & VARGHESE,J. N. (1985). Structure & Statistics in Crystallography, edited by A. J. C. WILSON,pp. 113123. New York: Adenine Press. ZEMB,T. & CHARPINP. (1985). J. Phys. (Paris), 46, 249256.