author: G. Wuchterl ; C. Ptolemy[^1]
date: Received September 15, 1996; accepted March 16, 1997
subtitle: I. Overviewing the $\kappa$-mechanism
title: Hydrodynamics of giant planet formation

To investigate the physical nature of the 'nucleated instability' of proto giant planets, the stability of layers in static, radiative gas spheres is analysed on the basis of Baker's standard one-zone model. It is shown that stability depends only upon the equations of state, the opacities and the local thermodynamic state in the layer. Stability and instability can therefore be expressed in the form of stability equations of state which are universal for a given composition. The stability equations of state are calculated for solar composition and are displayed in the domain $-14 \leq \lg \rho / \mathrm{[g\, cm^{-3}]} \leq 0$, $8.8 \leq \lg e / \mathrm{[erg\, g^{-1}]} \leq 17.7$. These displays may be used to determine the one-zone stability of layers in stellar or planetary structure models by directly reading off the value of the stability equations for the thermodynamic state of these layers, specified by state quantities as density $\rho$, temperature $T$ or specific internal energy $e$. Regions of instability in the $(\rho,e)$-plane are described and related to the underlying microphysical processes. Vibrational instability is found to be a common phenomenon at temperatures lower than the second He ionisation zone. The $\kappa$-mechanism is widespread under 'cool' conditions.

# Introduction

In the *nucleated instability* (also called core instability) hypothesis of giant planet formation, a critical mass for static core envelope protoplanets has been found. Mizuno () determined the critical mass of the core to be about $12 \,M_\oplus$ ($M_\oplus=5.975 \times 10^{27}\,\mathrm{g}$ is the Earth mass), which is independent of the outer boundary conditions and therefore independent of the location in the solar nebula. This critical value for the core mass corresponds closely to the cores of today's giant planets.

Although no hydrodynamical study has been available many workers conjectured that a collapse or rapid contraction will ensue after accumulating the critical mass. The main motivation for this article is to investigate the stability of the static envelope at the critical mass. With this aim the local, linear stability of static radiative gas spheres is investigated on the basis of Baker's () standard one-zone model.

Phenomena similar to the ones described above for giant planet formation have been found in hydrodynamical models concerning star formation where protostellar cores explode (Tscharnuter , Balluch ), whereas earlier studies found quasi-steady collapse flows. The similarities in the (micro)physics, i.e., constitutive relations of protostellar cores and protogiant planets serve as a further motivation for this study.

# Baker's standard one-zone model

In this section the one-zone model of Baker (), originally used to study the Cepheı̈d pulsation mechanism, will be briefly reviewed. The resulting stability criteria will be rewritten in terms of local state variables, local timescales and constitutive relations.

Baker () investigates the stability of thin layers in self-gravitating, spherical gas clouds with the following properties:

-   hydrostatic equilibrium,

-   thermal equilibrium,

-   energy transport by grey radiation diffusion.

For the one-zone-model Baker obtains necessary conditions for dynamical, secular and vibrational (or pulsational) stability (Eqs. (34a, b, c) in Baker ). Using Baker's notation: $$\begin{array}{lp{0.8\linewidth}}
         M_{r}  & mass internal to the radius $r$     \\
         m               & mass of the zone                    \\
         r_0             & unperturbed zone radius             \\
         \rho_0          & unperturbed density in the zone     \\
         T_0             & unperturbed temperature in the zone \\
         L_{r0}          & unperturbed luminosity              \\
         E_{\mathrm{th}} & thermal energy of the zone
      \end{array}$$ and with the definitions of the *local cooling time* (see Fig. ) $$\tau_{\mathrm{co}} = \frac{E_{\mathrm{th}}}{L_{r0}} \,,$$ and the *local free-fall time* $$\tau_{\mathrm{ff}} =
         \sqrt{ \frac{3 \pi}{32 G} \frac{4\pi r_0^3}{3 M_{\mathrm{r}}}
}\,,$$ Baker's $K$ and $\sigma_0$ have the following form: $$\begin{aligned}
      \sigma_0 & = & \frac{\pi}{\sqrt{8}}
                     \frac{1}{ \tau_{\mathrm{ff}}} \\
      K        & = & \frac{\sqrt{32}}{\pi} \frac{1}{\delta}
                        \frac{ \tau_{\mathrm{ff}} }
                             { \tau_{\mathrm{co}} }\,;

\end{aligned}$$ where $E_{\mathrm{th}} \approx m (P_0/{\rho_0})$ has been used and $$\begin{array}{l}
      \delta = - \left(
                    \frac{ \partial \ln \rho }{ \partial \ln T }
                 \right)_P \\
      e=mc^2
   \end{array}$$ is a thermodynamical quantity which is of order $1$ and equal to $1$ for nonreacting mixtures of classical perfect gases. The physical meaning of $\sigma_0$ and $K$ is clearly visible in the equations above. $\sigma_0$ represents a frequency of the order one per free-fall time. $K$ is proportional to the ratio of the free-fall time and the cooling time. Substituting into Baker's criteria, using thermodynamic identities and definitions of thermodynamic quantities, $$\Gamma_1      = \left( \frac{ \partial \ln P}{ \partial\ln \rho}
                           \right)_{S}    \, , \;
      \chi^{}_\rho  = \left( \frac{ \partial \ln P}{ \partial\ln \rho}
                           \right)_{T}    \, , \;
      \kappa^{}_{P} = \left( \frac{ \partial \ln \kappa}{ \partial\ln P}
                           \right)_{T}$$ $$\nabla_{\mathrm{ad}} = \left( \frac{ \partial \ln T}
                             { \partial\ln P} \right)_{S} \, , \;
      \chi^{}_T       = \left( \frac{ \partial \ln P}
                             { \partial\ln T} \right)_{\rho} \, , \;
      \kappa^{}_{T}   = \left( \frac{ \partial \ln \kappa}
                             { \partial\ln T} \right)_{T}$$ one obtains, after some pages of algebra, the conditions for *stability* given below: $$\begin{aligned}
      \frac{\pi^2}{8} \frac{1}{\tau_{\mathrm{ff}}^2}
                ( 3 \Gamma_1 - 4 )
         & > & 0 \label{ZSDynSta} \\
      \frac{\pi^2}{\tau_{\mathrm{co}}
                   \tau_{\mathrm{ff}}^2}
                   \Gamma_1 \nabla_{\mathrm{ad}}
                   \left[ \frac{ 1- 3/4 \chi^{}_\rho }{ \chi^{}_T }
                          ( \kappa^{}_T - 4 )
                        + \kappa^{}_P + 1
                   \right]
        & > & 0 \label{ZSSecSta} \\
     \frac{\pi^2}{4} \frac{3}{\tau_{ \mathrm{co} }
                              \tau_{ \mathrm{ff} }^2
                             }
         \Gamma_1^2 \, \nabla_{\mathrm{ad}} \left[
                                   4 \nabla_{\mathrm{ad}}
                                   - ( \nabla_{\mathrm{ad}} \kappa^{}_T
                                     + \kappa^{}_P
                                     )
                                   - \frac{4}{3 \Gamma_1}
                                \right]
        & > & 0   \label{ZSVibSta}

\end{aligned}$$ For a physical discussion of the stability criteria see Baker () or Cox ().

We observe that these criteria for dynamical, secular and vibrational stability, respectively, can be factorized into

1.  a factor containing local timescales only,

2.  a factor containing only constitutive relations and their derivatives.

The first factors, depending on only timescales, are positive by definition. The signs of the left hand sides of the inequalities (), () and () therefore depend exclusively on the second factors containing the constitutive relations. Since they depend only on state variables, the stability criteria themselves are *functions of the thermodynamic state in the local zone*. The one-zone stability can therefore be determined from a simple equation of state, given for example, as a function of density and temperature. Once the microphysics, i.e. the thermodynamics and opacities (see Table ), are specified (in practice by specifying a chemical composition) the one-zone stability can be inferred if the thermodynamic state is specified. The zone – or in other words the layer – will be stable or unstable in whatever object it is imbedded as long as it satisfies the one-zone-model assumptions. Only the specific growth rates (depending upon the time scales) will be different for layers in different objects.

$$\begin{array}{p{0.5\linewidth}l}
            \hline
            \noalign{\smallskip}
            Source      &  T / {[\mathrm{K}]} \\
            \noalign{\smallskip}
            \hline
            \noalign{\smallskip}
            Yorke 1979, Yorke 1980a & \leq 1700^{\mathrm{a}}     \\
%           Yorke 1979, Yorke 1980a & \leq 1700             \\
            Kr\"ugel 1971           & 1700 \leq T \leq 5000 \\
            Cox \& Stewart 1969     & 5000 \leq             \\
            \noalign{\smallskip}
            \hline
         \end{array}$$

We will now write down the sign (and therefore stability) determining parts of the left-hand sides of the inequalities (), () and () and thereby obtain *stability equations of state*.

The sign determining part of inequality () is $3\Gamma_1 - 4$ and it reduces to the criterion for dynamical stability $$\Gamma_1 > \frac{4}{3}\,\cdot$$ Stability of the thermodynamical equilibrium demands $$\chi^{}_\rho > 0, \;\;  c_v > 0\, ,$$ and $$\chi^{}_T > 0$$ holds for a wide range of physical situations. With $$\begin{aligned}
      \Gamma_3 - 1 = \frac{P}{\rho T} \frac{\chi^{}_T}{c_v}&>&0\\
      \Gamma_1     = \chi_\rho^{} + \chi_T^{} (\Gamma_3 -1)&>&0\\
      \nabla_{\mathrm{ad}}  = \frac{\Gamma_3 - 1}{\Gamma_1}         &>&0

\end{aligned}$$ we find the sign determining terms in inequalities () and () respectively and obtain the following form of the criteria for dynamical, secular and vibrational *stability*, respectively: $$\begin{aligned}
      3 \Gamma_1 - 4 =: S_{\mathrm{dyn}}      > & 0 & \label{DynSta}  \\
%
      \frac{ 1- 3/4 \chi^{}_\rho }{ \chi^{}_T } ( \kappa^{}_T - 4 )
         + \kappa^{}_P + 1 =: S_{\mathrm{sec}} > & 0 & \label{SecSta} \\
%
      4 \nabla_{\mathrm{ad}} - (\nabla_{\mathrm{ad}} \kappa^{}_T
                             + \kappa^{}_P)
                             - \frac{4}{3 \Gamma_1} =: S_{\mathrm{vib}}
                                      > & 0\,.& \label{VibSta}

\end{aligned}$$ The constitutive relations are to be evaluated for the unperturbed thermodynamic state (say $(\rho_0, T_0)$) of the zone. We see that the one-zone stability of the layer depends only on the constitutive relations $\Gamma_1$, $\nabla_{\mathrm{ad}}$, $\chi_T^{},\,\chi_\rho^{}$, $\kappa_P^{},\,\kappa_T^{}$. These depend only on the unperturbed thermodynamical state of the layer. Therefore the above relations define the one-zone-stability equations of state $S_{\mathrm{dyn}},\,S_{\mathrm{sec}}$ and $S_{\mathrm{vib}}$. See Fig.  for a picture of $S_{\mathrm{vib}}$. Regions of secular instability are listed in Table 1.

# Conclusions

1.  The conditions for the stability of static, radiative layers in gas spheres, as described by Baker's () standard one-zone model, can be expressed as stability equations of state. These stability equations of state depend only on the local thermodynamic state of the layer.

2.  If the constitutive relations – equations of state and Rosseland mean opacities – are specified, the stability equations of state can be evaluated without specifying properties of the layer.

3.  For solar composition gas the $\kappa$-mechanism is working in the regions of the ice and dust features in the opacities, the $\mathrm{H}_2$ dissociation and the combined H, first He ionization zone, as indicated by vibrational instability. These regions of instability are much larger in extent and degree of instability than the second He ionization zone that drives the Cepheı̈d pulsations.

[^1]: Just to show the usage of the elements in the author field


abstract: The Pixon method is a high-performance, nonlinear image reconstruction method that provides statistically unbiased photometry and robust rejection of spurious sources. Relative to other methods, it can increase linear spatial resolution by a factor of a few and sensitivity by an order of magnitude or more. All of these benefits are achieved in computation times that can be orders of magnitude faster than its best competitors.
author: Richard C. Puetter; Amos Yahil
title: The Pixon Method of Image Reconstruction

# Introduction

Optimal extraction of the underlying quantities from measured data requires the removal of measurement defects such as noise and limited instrumental resolution. When the underlying quantity is an image, this process is known as image reconstruction (sometimes called image restoration, if the data are also in the form of an image).

The original Pixon method (Piña & Puetter 1993; Puetter & Piña 1993; Puetter 1995, 1997) was developed to eliminate problems with existing image reconstruction techniques, particularly signal-correlated residuals and the production of spurious sources. This was followed by the accelerated Pixon method that vastly increased the computational speed (Yahil and Puetter 1995, unpublished). Recently, a quick Pixon method was developed that is even faster, at the expense of some photometric inaccuracy for low signal-to-noise-ratio features (Puetter and Yahil 1998, unpublished). Nevertheless, the quick Pixon method provides excellent results for a wide range of imagery and, with special-purpose hardware now under design, is capable of real-time video image reconstruction.

Since its inception, the Pixon method in its various forms has been applied to a wide variety of astronomical, surveillance, and medical image reconstructions (spanning all wavelengths from $\gamma$-rays to radio), as well as to spectroscopic data. In all cases tested so far, both by the authors and by a variety of other workers, the Pixon method has proved superior in quality to all other methods and computationally much faster than its best competitors.

A patent for the Pixon method is pending, restricting its commercial use. For individual scientific purposes, the original Pixon method is freely available in IDL and C++ from the http://pixon.sdsc.edu. The accelerated and quick Pixon methods are sold by our company, http://www.pixon.com, but special arrangements for their free use in selected scientific projects can be made.

The next sections discuss image reconstruction in general (§), describe the Pixon method (§), and give some examples (§). The HTML and PDF versions of this paper contain numerous additional examples via clickable hyperlinks. The complete set of public image reconstructions, including http://www.pixon.com/brochure.html#Movies, can be seen on our Web site at http://www.pixon.com.

# Image Reconstruction Methods

For data taken with linear detectors, image reconstruction often becomes a matter of inverting an integral relation of the form $$D({\bf x}) = \int {\bf dy} H({\bf x},{\bf y}) I({\bf y}) + N({\bf x})
\quad. \label{eq:convolve}$$ Here $D$ are the data, $I$ is the sought underlying image model, $H$ is the point-spread function (PSF) due to instrumental and possibly atmospheric blurring, and $N$ is the noise. To avoid confusion, we use the term image to refer exclusively to the true underlying image or its model. Contrary to common parlance, the data are never called the image. We clearly distinguish between abstract image space and real data space, with the PSF transforming from the former to the latter.

If the PSF is only a function of the displacement, $H({\bf x},{\bf y}) = H({\bf
x - y})$, then the integral in equation () becomes a convolution, but in general the PSF can vary across the field. Note that the data need not have the same resolution as the image, or even the same dimensionality. For example, the Infrared Astronomical Satellite (IRAS) provided 1–D scans across the 2–D sky, and tomography data consist of multiple 2–D projections of 3–D images. Another common case is of data consisting of multiple, dithered, exposures of the same field, which all need to be modeled by a single image, possibly with PSFs that vary from one exposure to another.

Image reconstruction differs from standard solutions of integral equations due to the noise term, $N$, whose nature is only known statistically. Methods for solving such an equation fall under two broad categories. (1) Direct methods apply explicit operators to the data to provide estimates of the image. These methods are often linear, or have very simple nonlinear components. Their advantage is speed, but they typically amplify noise, particularly at high frequencies. (2) By contrast, indirect methods model the noiseless image, transform it only forward to provide a noise-free data model, and fit the parameters of the image to minimize the residuals between the real data and the noise-free data model. The advantage of indirect methods is that noise is supposedly excluded (but see §). Their disadvantage is the required modeling of the image. If a good parametric form for the image is known *a priori*, the result can be superb. If not, either the derived image badly fits the data or, conversely, it overfits the data, interpreting noise as real features. Indirect methods are typically significantly nonlinear and much slower than direct methods.

The Pixon method is a nonparametric, indirect, reconstruction method. It avoids the pitfalls of other indirect methods, while achieving a computational speed on a par with direct methods. To appreciate its advantages we therefore first provide a brief description of some competing direct and indirect methods.

## Direct Methods

In the case of a position-independent PSF, naive image deconvolution is obtained by inverting the integral equation () in Fourier space, ignoring the noise: $$\tilde I({\bf k}) = \tilde D({\bf k})/\tilde H({\bf k}) \quad,
\label{eq:deconvolve}$$ where the tilde designates Fourier transform, and ${\bf k}$ is the spatial wavenumber. This method amplifies noise at high frequencies, since $H({\bf
k})$ is a rapidly declining function of $|{\bf k}|$, while $D({\bf k})$, which includes high-frequency noise, is not.

To minimize noise amplification, nonlinear filtering is often applied to the data prior to Fourier inversion. Common filters are those due to Wiener (1949; see also Press et al. 1992) and thresholding of wavelet transforms (e.g., Donoho & Johnstone 1994; Donoho 1995). The Wiener filter has the advantage of being applied in Fourier space. Wavelet thresholding requires a wavelet transform, thresholding, and a back wavelet transform, all followed by Fourier inversion. Demonstrations of the superior performance of the Pixon method relative to Wiener-filtered Fourier inversions can be seen on our http://www.pixon.com in the reconstruction of the http://www.pixon.com/figures/FIG_Lena_comparison.html image and an aerial view of http://www.pixon.com/figures/FIG_NYC_comparison.html.

## Parametric Least-Squares Fit

The simplest indirect image reconstruction is a least-squares fit of a parametric model with a small number of parameters compared to the number of data points. Originally due to Gauss, this method is always superior to other methods, provided that the image can be so modeled. It is equivalent to a maximum-likelihood optimization in which the residuals are assumed to be Gaussian distributed. All models within the restricted parameterization are considered equally likely, and the likelihood function maximized is $P(D|I)$, the conditional probability of the data, given the model image. For this reason, the method is also known as maximum *a posteriori* probability (MAP) image reconstruction.

## Nonnegative Least-Squares Fit

When no parametric model of the image is known, the number of image model parameters can quickly become comparable to, or exceed, the number of data points. In this case, a MAP solution becomes inappropriate. For example, if the number of points in the image model equals the number of data points, then the nonsingular nature of the linear integral transform in equation () assures that there is a solution for which the data, including the noise, are exactly modeled with zero residuals. This is clearly the same poor solution, with all its noise amplification, obtained by the naive Fourier deconvolution.

The above example shows that an unrestricted indirect method is no better at controlling noise than a direct method, and therefore the model image must be restricted in some way. The indirect methods described below all restrict the image model and differ only in the specifics of image restriction.

A simple restriction is to constrain the model image to be positive. Since even a delta-function image is broadened by the PSF, it follows that the exact inverse of any noisy data with fluctuations on scales smaller than the PSF must be both positive and negative. By preventing the image from becoming negative, the noise-free data model cannot fluctuate on scales smaller than the PSF, which is equivalent to smoothing the data on the scale of the PSF.

While smoothing over the scale of the PSF helps to reduce noise fitting, it does not go far enough. The Pixon method (§) smoothes further where possible, and is therefore able to eliminate noise fitting on larger scales. Demonstrations of its superior performance relative to nonnegative least squares can be seen on our http://www.pixon.com in the reconstruction of $\gamma$-ray imaging in the direction of http://www.pixon.com/figures/FIG_OSSE_Virgo.html, as well as in the http://www.pixon.com/figures/FIG_Lena_comparison.html and http://www.pixon.com/figures/FIG_NYC_comparison.html reconstructions.

## Maximum-Entropy Method

Bayesian methods go a step further by assigning explicit *a priori* probabilities to different models and then maximizing the joint probability of the model and the data: $$P(I\cap D) = P(D|I)P(I) = P(I|D)P(D) \quad. \label{eq:Bayes}$$ The model probability function, $P(I)$, is known as the prior. For example, the nonnegative least-squares method (§) is a Bayesian method with all nonnegative models assigned equal nonzero probability and all other models zero probability.

The rationale behind Bayesian methods is to optimize $P(I|D)$, the conditional probability of the image given the data. This probability is proportional to the joint probability $P(I\cap D)$, since the data are fixed, and $P(D)$ can be viewed as a constant. However, it is important to recognize that, unlike $P(D|I)$ which depends on the instrumental response function and noise statistics, $P(I|D)$ is not known from first principles. In practice, therefore, computing $P(I\cap D)$ requires the specification of a completely arbitrary prior, $P(I)$.

The maximum-entropy method (MEM) is the most popular Bayesian image reconstruction technique. It uses the prior $$P(I) = \exp\left( - \alpha \sum_i I_i \ln I_i \right) \quad, \label{eq:MEM}$$ where the sum is over the image pixels, and $\alpha$ is an adjustable parameter designed to strike a balance between image smoothness and goodness of fit. (See Gull 1989 and Skilling 1989 for a discussion of a "natural" choice for $\alpha$.)

The sum in equation () approximates the information entropy of Shannon (1948), which is maximized for a homogeneous image. By favoring a flat image, MEM therefore eliminates structure not required by the data and suppresses noise fitting. The fundamental difficulty with this approach is that the MEM prior is a global constraint. (Specifically, the prior is invariant under random scrambling of the pixels.) MEM therefore enforces an average smoothness on the entire image and does not recognize that the density of information content in the image varies from location to location. Hence, MEM must necessarily oversmooth the image in some regions and undersmooth it in others. More sophisticated MEM schemes try to remedy this situation by applying separate MEM priors in different parts of the image, or by modifying the logarithmic term to $\ln(I_i/M_ie)$, where $M$ is some preassigned model and $e$ is the base of the natural logarithm (Burch, Gull, & Skilling 1983), but there is additional arbitrariness in the choice of $M$.

By contrast, the Pixon method (§) adapts itself to the distribution of information content in the image. Demonstrations of its superior performance relative to MEM are given below (§) and on our http://www.pixon.com in a reconstruction of hard X-ray observations of a http://www.pixon.com/figures/FIG_YOHKOH.html.

# The Pixon Method

Unlike Bayesian methods, the Pixon method (Piña & Puetter 1993; Puetter & Piña 1993; Puetter 1995, 1997) does not assign explicit prior probabilities to image models. Instead, it restricts them by seeking minimum complexity (Solomonoff 1964; Kolmogorov 1965; Chaitin 1966), which not only enables an efficient representation of the image but is also the best way to separate signal from noise.

In simple terms, the Pixon method implements the principle of *Ockham's Razor* to select the simplest plausible model of the image. Clearly, if the signal in the image can be adequately represented by a minimum of $P$ parameters, adding another parameter only serves to introduce artifacts by fitting the noise. Conversely, the removal of a parameter results in an improper representation of the image, since adequate fits to the image require a minimum of $P$ parameters.

While few would dispute that a model with minimum complexity (also called algorithmic information content) is optimal, in practice it is impossible to find such a model for any but the most trivial problems. For example, one might try to model an image as the smallest number of contiguous patches of homogeneous intensity that still adequately fit the data. While there clearly is such a solution, it is quite another matter to find it among the combinatorially large number of possible patch patterns. And we have not even begun to consider patches that are not completely homogeneous.

The Pixon method overcomes this difficulty in the same practical spirit in which other combinatorial problems have been solved, such as the famous traveling salesman problem (e.g., Press et al. 1992). One finds an intelligent scheme in which complexity is reduced significantly in a manageable number of iterations. After that, the decline in complexity per iteration drops sharply, and the process is halted. The solution found in this manner may not have the ultimate minimum complexity, but it is already so superior to other models that it is worth adopting.

The Pixon method minimizes complexity by smoothing the image model *locally* as much as the data allow, thus reducing the number of independent patches, or Pixon elements, in the image. Formally, the image is written as an integral over a pseudoimage $$I({\bf y}) = \int {\bf dz} K({\bf y},{\bf z}) \phi({\bf z}) \quad,
\label{eq:Pixon}$$ with a positive kernel function, $K$, designed to provide the smoothing. As in the case of the nonnegative least-squares fit, requiring the pseudoimage, $\phi$, to be positive eliminates fluctuations in the image, $I$, on scales smaller than the width of $K$. Importantly, this scale is adapted to the data. At each location, it is allowed to increase in size as much as possible without violating the local goodness of fit (GOF). Where the kernel is a delta function, the Pixon element spans one pixel, and the Pixon method reduces to a nonnegative least-squares fit, with the noise-free data model smooth on the scale of the PSF. Where the data allow smoothing on larger scales, however, the Pixon elements become larger. As a result, the overall number of Pixon elements in the image drops, and complexity is reduced.

Complexity can be reduced not only by having kernel functions of different sizes to allow for multiresolution, but also by a judicious choice of their shapes. For example, circularly symmetric kernels, which might be adequate for the reconstruction of most astronomical images, are not the most efficient smoothing kernels for images with elongated features, e.g., an aerial photograph of a city. Altogether the choice of kernels is the language by which the image model is specified, which should be rich enough to characterize all the independent elements of the image. We have found, in practice, that circular kernels spanning 3–5 octaves in size, with 2–4 kernels per octave, are adequate for most image reconstructions. Additional elliptical kernels are needed only for images with clearly elongated features.

The Pixon reconstruction consists of a simultaneous search for the broadest possible kernel functions and their associated pseudoimage values that together provide an adequate fit to the data. In practice, the details of the search vary depending on the flavor of the Pixon method used. Generally, however, one alternately solves for the pseudoimage given a Pixon map of kernel functions and then attempts to increase the scale sizes of the kernel functions given the current image values. The number of iterations required varies depending on the complexity of the image, but for most problems a couple of iterations suffice.

The essence of the Pixon method is the imposition of the local criteria by which the kernel functions are chosen. For each pixel in pseudoimage space, the combination of the Pixon kernel and the PSF define a footprint in data space. We accept the largest Pixon kernel whose GOF and signal-to-noise ratio (SNR) within that footprint pass predetermined acceptance conditions set by the user. If no kernel has adequate GOF we assign a delta-function kernel, provided that the SNR for its footprint is high enough. If the SNR also fails to meet our condition, no kernel is assigned.

The strength of the Pixon method is in its rejection of features that do not meet strict statistical acceptance criteria. Precisely because of this conservatism, which results in a significant lowering of the noise floor, the Pixon reconstruction is able to find weak but significant features missed by other methods and to resolve all features better. Sensitivity is often improved by an order of magnitude or more relative to competing methods and resolution by a factor of a few.

Note that the SNR required by the Pixon method is not per pixel in the data, but the overall SNR in the data footprint of the Pixon kernel. The Pixon method is just as powerful in detecting large, low-surface-brightness features as small features with higher surface brightness. Acceptance or rejection of the feature is based in both cases on the *statistical significance* demanded by the user. Demonstrations of the ability of the Pixon method to reconstruct images with low SNR can be seen in the mammogram example (Figure below) and in the reconstruction of $\gamma$-ray imaging in the direction of http://www.pixon.com/figures/FIG_OSSE_Virgo.html on our http://www.pixon.com.

Finally, note that with a very terse representation that only has a small number of nonzero pseudoimage values, the image is also represented in a very compressed form. In the field of data compression one normally distinguishes between strong but lossy versus moderate and nonlossy compression. The Pixon method defines a new type of noiseless compression. The signal is preserved and restorable, while the noise is eliminated. This mode of compression is ideal, since compression can easily reach a factor of 100 for a typical image, yet the only loss is that of unwanted noise. A compressed form of the code is now under design; current codes, however, are primarily built for accuracy and speed and do not yet achieve such high compression.

# Examples of Pixon Reconstructions

The Pixon method has now been used in a variety of applications by the authors and others (see, Puetter 1995, 1997 and references therein). In this section we present a few examples of Pixon reconstructions for a variety of applications. Additional examples can be found in the http://www.pixon.com/brochure.html and on our http://www.pixon.com.

## A Synthetic Data Set

The example presented in Figure (or its http://www.pixon.com/figures/FIG_p_and_h.html on our http://www.pixon.com) provides one of the best examples of comparative results of MEM and the Pixon method for a synthetic data set, i.e. a data set with known properties. The MEM algorithm used was MEMSYS 5, the most current release of the MEMSYS algorithms developed by Gull and Skilling (Gull & Skilling 1991). The MEMSYS reconstruction was performed by Nick Weir, and was enhanced by his multichannel correlation method (Weir 1991). As can be seen, the Pixon reconstruction is superior to the multichannel MEMSYS result, and is free of the low-level spurious sources and signal-correlated residuals evident in the MEMSYS reconstruction.

## IRAS Imaging of M51

In Figure we present comparisons of reconstructed images from 60$\mu m$ IRAS scans of the interacting galaxy pair M51. This data set was used in an image reconstruction contest at the 1990 MaxEnt Workshop (Bontekoe 1991). As can be seen, the Lucy-Richardson and maximum-correlation (also known as HIRES) reconstructions fail to reduce image spread in the cross-scan direction, i.e., the rectangular signature of the $1\farcm5\times
4\farcm75$ detectors is still clearly evident. They also do not reconstruct even gross features such as the "hole" (black region) in the emission north of the nucleus—this hole is clearly evident in optical images of M51. The MEMSYS 3 reconstruction is significantly better, recovers the hole, and resolves the NE and SW arms of the galaxy into discrete sources. However, the Pixon result is clearly superior. In fact, its sensitivity is a factor of 200 higher than that of MEMSYS 3, and its linear spatial resolution is improved by a factor of 3. The reality of its minute details can be verified by comparing with images at http://www.pixon.com/figures/FIG_M51_recon.html.

## X-Ray Mammography

Presented in Figure is a Pixon reconstruction of a standard phantom from the American College of Radiology. Here a fiber with a 400 micron diameter was embedded in a piece of material with X-ray absorption properties similar to the human breast. This particular example was selected since it has a low SNR. A family of elliptical Pixon kernel functions was used for the reconstruction. The Pixon method easily detects the presence of the fiber. In some locations, however, the SNR of the fiber is so poor that statistically significant signal is absent. Hence, no detection can be made by the Pixon method.

This work was was supported in part by NASA grants NAG53944 (to RCP) and AR-07551.01-96A (to AY).