Discrete cosine transform
A discrete cosine transform expresses a finite sequence of data points in terms of a sum of cosine functions oscillating at different frequencies. The DCT, first proposed by Nasir Ahmed in 1972, is a widely used transformation technique in signal processing and data compression. It is used in most digital media, including digital images, digital video, digital audio, digital television, digital radio, and speech coding. DCTs are also important to numerous other applications in science and engineering, such as digital signal processing, communications devices, reducing network bandwidth usage, and spectral methods for the numerical solution of partial differential equations.
The use of cosine rather than sine functions is critical for compression, since it turns out that fewer cosine functions are needed to approximate a typical signal, whereas for differential equations the cosines express a particular choice of boundary conditions. In particular, a DCT is a Fourier-related transform similar to the discrete Fourier transform, but using only real numbers. The DCTs are generally related to Fourier Series coefficients of a periodically and symmetrically extended sequence whereas DFTs are related to Fourier Series coefficients of a periodically extended sequence. DCTs are equivalent to DFTs of roughly twice the length, operating on real data with even symmetry, whereas in some variants the input and/or output data are shifted by half a sample. There are eight standard DCT variants, of which four are common.
The most common variant of discrete cosine transform is the type-II DCT, which is often called simply "the DCT". This was the original DCT as first proposed by Ahmed. Its inverse, the type-III DCT, is correspondingly often called simply "the inverse DCT" or "the IDCT". Two related transforms are the discrete sine transform, which is equivalent to a DFT of real and odd functions, and the modified discrete cosine transform, which is based on a DCT of overlapping data. Multidimensional DCTs are developed to extend the concept of DCT on MD signals. There are several algorithms to compute MD DCT. A variety of fast algorithms have been developed to reduce the computational complexity of implementing DCT. One of these is the integer DCT, an integer approximation of the standard DCT, used in several ISO/IEC and ITU-T international standards.
DCT compression, also known as block compression, compresses data in sets of discrete DCT blocks. DCT blocks can have a number of sizes, including 8x8 pixels for the standard DCT, and varied integer DCT sizes between 4x4 and 32x32 pixels. The DCT has a strong "energy compaction" property, capable of achieving high quality at high data compression ratios. However, blocky compression artifacts can appear when heavy DCT compression is applied.
History
The discrete cosine transform was first conceived by Nasir Ahmed, while working at Kansas State University, and he proposed the concept to the National Science Foundation in 1972. He originally intended DCT for image compression. Ahmed developed a practical DCT algorithm with his PhD student T. Natarajan and friend K. R. Rao at the University of Texas at Arlington in 1973, and they found that it was the most efficient algorithm for image compression. They presented their results in a January 1974 paper, titled "Discrete Cosine Transform". It described what is now called the type-II DCT, as well as the type-III inverse DCT. It was a benchmark publication, and has been cited as a fundamental development in thousands of works since its publication. The basic research work and events that led to the development of the DCT were summarized in a later publication by Ahmed, "How I Came Up with the Discrete Cosine Transform".Since its introduction in 1974, there has been significant research on the DCT. In 1977, Wen-Hsiung Chen published a paper with C. Harrison Smith and Stanley C. Fralick presenting a fast DCT algorithm, and he founded Compression Labs to commercialize DCT technology. Further developments include a 1978 paper by M.J. Narasimha and A.M. Peterson, and a 1984 paper by B.G. Lee. These research papers, along with the original 1974 Ahmed paper and the 1977 Chen paper, were cited by the Joint Photographic Experts Group as the basis for JPEG's lossy image compression algorithm in 1992.
In 1975, John A. Roese and Guner S. Robinson adapted the DCT for inter-frame motion-compensated video coding. They experimented with the DCT and the fast Fourier transform, developing inter-frame hybrid coders for both, and found that the DCT is the most efficient due to its reduced complexity, capable of compressing image data down to 0.25-bit per pixel for a videotelephone scene with image quality comparable to an intra-frame coder requiring 2-bit per pixel. The DCT was applied to video encoding by Wen-Hsiung Chen, who developed a fast DCT algorithm with C.H. Smith and S.C. Fralick in 1977, and founded Compression Labs to commercialize DCT technology. In 1979, Anil K. Jain and Jaswant R. Jain further developed motion-compensated DCT video compression, also called block motion compensation. This led to Chen developing a practical video compression algorithm, called motion-compensated DCT or adaptive scene coding, in 1981. Motion-compensated DCT later became the standard coding technique for video compression from the late 1980s onwards.
The integer DCT is used in Advanced Video Coding, introduced in 2003, and High Efficiency Video Coding, introduced in 2013. The integer DCT is also used in the High Efficiency Image Format, which uses a subset of the HEVC video coding format for coding still images.
A DCT variant, the modified discrete cosine transform, was developed by John P. Princen, A.W. Johnson and Alan B. Bradley at the University of Surrey in 1987, following earlier work by Princen and Bradley in 1986. The MDCT is used in most modern audio compression formats, such as Dolby Digital, MP3, Advanced Audio Coding, and Vorbis.
The discrete sine transform was derived from the DCT, by replacing the Neumann condition at x=0 with a Dirichlet condition. The DST was described in the 1974 DCT paper by Ahmed, Natarajan and Rao. A type-I DST was later described by Anil K. Jain in 1976, and a type-II DST was then described by H.B. Kekra and J.K. Solanka in 1978.
Nasir Ahmed also developed a lossless DCT algorithm with Giridhar Mandyam and Neeraj Magotra at the University of New Mexico in 1995. This allows the DCT technique to be used for lossless compression of images. It is a modification of the original DCT algorithm, and incorporates elements of inverse DCT and delta modulation. It is a more effective lossless compression algorithm than entropy coding. Lossless DCT is also known as LDCT.
Wavelet coding, the use of wavelet transforms in image compression, began after the development of DCT coding. The introduction of the DCT led to the development of wavelet coding, a variant of DCT coding that uses wavelets instead of DCT's block-based algorithm. Discrete wavelet transform coding is used in the JPEG 2000 standard, developed from 1997 to 2000, and in the BBC’s Dirac video compression format released in 2008. Wavelet coding is more processor-intensive, and it has yet to see widespread deployment in consumer-facing use.
Applications
The DCT is the most widely used transformation technique in signal processing, and by far the most widely used linear transform in data compression. DCT data compression has been fundamental to the Digital Revolution. Uncompressed digital media as well as lossless compression had impractically high memory and bandwidth requirements, which was significantly reduced by the highly efficient DCT lossy compression technique, capable of achieving data compression ratios from 8:1 to 14:1 for near-studio-quality, up to 100:1 for acceptable-quality content. The wide adoption of DCT compression standards led to the emergence and proliferation of digital media technologies, such as digital images, digital photos, digital video, streaming media, digital television, streaming television, video-on-demand, digital cinema, high-definition video, and high-definition television.The DCT, and in particular the DCT-II, is often used in signal and image processing, especially for lossy compression, because it has a strong "energy compaction" property: in typical applications, most of the signal information tends to be concentrated in a few low-frequency components of the DCT. For strongly correlated Markov processes, the DCT can approach the compaction efficiency of the Karhunen-Loève transform. As explained below, this stems from the boundary conditions implicit in the cosine functions.
DCTs are also widely employed in solving partial differential equations by spectral methods, where the different variants of the DCT correspond to slightly different even/odd boundary conditions at the two ends of the array.
DCTs are also closely related to Chebyshev polynomials, and fast DCT algorithms are used in Chebyshev approximation of arbitrary functions by series of Chebyshev polynomials, for example in Clenshaw–Curtis quadrature.
The DCT is the coding standard for multimedia communications devices. It is widely used for bit rate reduction, and reducing network bandwidth usage. DCT compression significantly reduces the amount of memory and bandwidth required for digital signals.
General applications
The DCT is widely used in many applications, which include the following.DCT visual media standards
The DCT-II, also known as simply the DCT, is the most important image compression technique. It is used in image compression standards such as JPEG, and video compression standards such as H.26x, MJPEG, MPEG, DV, Theora and Daala. There, the two-dimensional DCT-II of blocks are computed and the results are quantized and entropy coded. In this case, is typically 8 and the DCT-II formula is applied to each row and column of the block. The result is an 8 × 8 transform coefficient array in which the element is the DC component and entries with increasing vertical and horizontal index values represent higher vertical and horizontal spatial frequencies.Advanced Video Coding uses the integer DCT, an integer approximation of the DCT. It uses 4x4 and 8x8 integer DCT blocks. High Efficiency Video Coding and the High Efficiency Image Format use varied integer DCT block sizes between 4x4 and 32x32 pixels., AVC is by far the most commonly used format for the recording, compression and distribution of video content, used by 91% of video developers, followed by HEVC which is used by 43% of developers.
Image formats
Video formats
MDCT audio standards
General audio
Speech coding
MD DCT
Multidimensional DCTs have several applications, mainly 3-D DCTs such as the 3-D DCT-II, which has several new applications like Hyperspectral Imaging coding systems, variable temporal length 3-D DCT coding, video coding algorithms, adaptive video coding and 3-D Compression. Due to enhancement in the hardware, software and introduction of several fast algorithms, the necessity of using M-D DCTs is rapidly increasing. DCT-IV has gained popularity for its applications in fast implementation of real-valued polyphase filtering banks, lapped orthogonal transform and cosine-modulated wavelet bases.Digital signal processing
DCT plays a very important role in digital signal processing. By using the DCT, the signals can be compressed. DCT can be used in electrocardiography for the compression of ECG signals. DCT2 provides a better compression ratio than DCT.The DCT is widely implemented in digital signal processors, as well as digital signal processing software. Many companies have developed DSPs based on DCT technology. DCTs are widely used for applications such as encoding, decoding, video, audio, multiplexing, control signals, signaling, and analog-to-digital conversion. DCTs are also commonly used for high-definition television encoder/decoder chips.
Compression artifacts
A common issue with DCT compression in digital media are blocky compression artifacts, caused by DCT blocks. The DCT algorithm can cause block-based artifacts when heavy compression is applied. Due to the DCT being used in the majority of digital image and video coding standards, DCT-based blocky compression artifacts are widespread in digital media. In a DCT algorithm, an image is divided into square blocks which are processed independently from each other, then the DCT of these blocks is taken, and the resulting DCT coefficients are quantized. This process can cause blocking artifacts, primarily at high data compression ratios. This can also cause the "mosquito noise" effect, commonly found in digital video.DCT blocks are often used in glitch art. The artist Rosa Menkman makes use of DCT-based compression artifacts in her glitch art, particularly the DCT blocks found in most digital media formats such as JPEG digital images and MP3 digital audio. Another example is Jpegs by German photographer Thomas Ruff, which uses intentional JPEG artifacts as the basis of the picture's style.
Informal overview
Like any Fourier-related transform, discrete cosine transforms express a function or a signal in terms of a sum of sinusoids with different frequencies and amplitudes. Like the discrete Fourier transform, a DCT operates on a function at a finite number of discrete data points. The obvious distinction between a DCT and a DFT is that the former uses only cosine functions, while the latter uses both cosines and sines. However, this visible difference is merely a consequence of a deeper distinction: a DCT implies different boundary conditions from the DFT or other related transforms.The Fourier-related transforms that operate on a function over a finite domain, such as the DFT or DCT or a Fourier series, can be thought of as implicitly defining an extension of that function outside the domain. That is, once you write a function as a sum of sinusoids, you can evaluate that sum at any, even for where the original was not specified. The DFT, like the Fourier series, implies a periodic extension of the original function. A DCT, like a cosine transform, implies an even extension of the original function.
However, because DCTs operate on finite, discrete sequences, two issues arise that do not apply for the continuous cosine transform. First, one has to specify whether the function is even or odd at both the left and right boundaries of the domain. Second, one has to specify around what point the function is even or odd. In particular, consider a sequence abcd of four equally spaced data points, and say that we specify an even left boundary. There are two sensible possibilities: either the data are even about the sample a, in which case the even extension is dcbabcd, or the data are even about the point halfway between a and the previous point, in which case the even extension is dcbaabcd.
These choices lead to all the standard variations of DCTs and also discrete sine transforms.
Each boundary can be either even or odd and can be symmetric about a data point or the point halfway between two data points, for a total of 2 × 2 × 2 × 2 = 16 possibilities. Half of these possibilities, those where the left boundary is even, correspond to the 8 types of DCT; the other half are the 8 types of DST.
These different boundary conditions strongly affect the applications of the transform and lead to uniquely useful properties for the various DCT types. Most directly, when using Fourier-related transforms to solve partial differential equations by spectral methods, the boundary conditions are directly specified as a part of the problem being solved. Or, for the MDCT, the boundary conditions are intimately involved in the MDCT's critical property of time-domain aliasing cancellation. In a more subtle fashion, the boundary conditions are responsible for the "energy compactification" properties that make DCTs useful for image and audio compression, because the boundaries affect the rate of convergence of any Fourier-like series.
In particular, it is well known that any discontinuities in a function reduce the rate of convergence of the Fourier series, so that more sinusoids are needed to represent the function with a given accuracy. The same principle governs the usefulness of the DFT and other transforms for signal compression; the smoother a function is, the fewer terms in its DFT or DCT are required to represent it accurately, and the more it can be compressed. However, the implicit periodicity of the DFT means that discontinuities usually occur at the boundaries: any random segment of a signal is unlikely to have the same value at both the left and right boundaries. In contrast, a DCT where both boundaries are even always yields a continuous extension at the boundaries. This is why DCTs, and in particular DCTs of types I, II, V, and VI generally perform better for signal compression than DFTs and DSTs. In practice, a type-II DCT is usually preferred for such applications, in part for reasons of computational convenience.
Formal definition
Formally, the discrete cosine transform is a linear, invertible function , or equivalently an invertible N × N square matrix. There are several variants of the DCT with slightly modified definitions. The N real numbers x0,..., xN-1 are transformed into the N real numbers X0,..., XN-1 according to one of the formulas:DCT-I
Some authors further multiply the x0 and xN-1 terms by, and correspondingly multiply the X0 and XN-1 terms by 1/. This makes the DCT-I matrix orthogonal, if one further multiplies by an overall scale factor of, but breaks the direct correspondence with a real-even DFT.The DCT-I is exactly equivalent, to a DFT of real numbers with even symmetry. For example, a DCT-I of N=5 real numbers abcde is exactly equivalent to a DFT of eight real numbers , divided by two.
Note, however, that the DCT-I is not defined for N less than 2.
Thus, the DCT-I corresponds to the boundary conditions: xn is even around n = 0 and even around n = N−1; similarly for Xk.
DCT-II
The DCT-II is probably the most commonly used form, and is often simply referred to as "the DCT".This transform is exactly equivalent to a DFT of real inputs of even symmetry where the even-indexed elements are zero. That is, it is half of the DFT of the inputs, where, for,, and for. DCT II transformation is also possible using 2N signal followed by a multiplication by half shift. This is demonstrated by Makhoul.
Some authors further multiply the X0 term by 1/ and multiply the resulting matrix by an overall scale factor of . This makes the DCT-II matrix orthogonal, but breaks the direct correspondence with a real-even DFT of half-shifted input. This is the normalization used by Matlab, for example. In many applications, such as JPEG, the scaling is arbitrary because scale factors can be combined with a subsequent computational step, and a scaling can be chosen that allows the DCT to be computed with fewer multiplications.
The DCT-II implies the boundary conditions: xn is even around n = −1/2 and even around n = N−1/2; Xk is even around k = 0 and odd around k = N.
DCT-III
Because it is the inverse of DCT-II, this form is sometimes simply referred to as "the inverse DCT".Some authors divide the x0 term by instead of by 2 and multiply the resulting matrix by an overall scale factor of , so that the DCT-II and DCT-III are transposes of one another. This makes the DCT-III matrix orthogonal, but breaks the direct correspondence with a real-even DFT of half-shifted output.
The DCT-III implies the boundary conditions: xn is even around n = 0 and odd around n = N; Xk is even around k = −1/2 and even around k = N−1/2.
DCT-IV
The DCT-IV matrix becomes orthogonal if one further multiplies by an overall scale factor of.A variant of the DCT-IV, where data from different transforms are overlapped, is called the modified discrete cosine transform.
The DCT-IV implies the boundary conditions: xn is even around n = −1/2 and odd around n = N−1/2; similarly for Xk.
DCT V-VIII
DCTs of types I-IV treat both boundaries consistently regarding the point of symmetry: they are even/odd around either a data point for both boundaries or halfway between two data points for both boundaries. By contrast, DCTs of types V-VIII imply boundaries that are even/odd around a data point for one boundary and halfway between two data points for the other boundary.In other words,
DCT types I-IV are equivalent to real-even DFTs of even order, since the corresponding DFT is of length 2 or 4N or 8N. The four additional types of discrete cosine transform correspond essentially to real-even DFTs of logically odd order, which have factors of N ± ½ in the denominators of the cosine arguments.
However, these variants seem to be rarely used in practice. One reason, perhaps, is that FFT algorithms for odd-length DFTs are generally more complicated than FFT algorithms for even-length DFTs, and this increased intricacy carries over to the DCTs as described below.
Inverse transforms
Using the normalization conventions above, the inverse of DCT-I is DCT-I multiplied by 2/. The inverse of DCT-IV is DCT-IV multiplied by 2/N. The inverse of DCT-II is DCT-III multiplied by 2/N and vice versa.Like for the DFT, the normalization factor in front of these transform definitions is merely a convention and differs between treatments. For example, some authors multiply the transforms by so that the inverse does not require any additional multiplicative factor. Combined with appropriate factors of , this can be used to make the transform matrix orthogonal.
Multidimensional DCTs
Multidimensional variants of the various DCT types follow straightforwardly from the one-dimensional definitions: they are simply a separable product of DCTs along each dimension.M-D DCT-II
For example, a two-dimensional DCT-II of an image or a matrix is simply the one-dimensional DCT-II, from above, performed along the rows and then along the columns. That is, the 2D DCT-II is given by the formula :The 3-D DCT-II is only the extension of 2-D DCT-II in three dimensional space and mathematically can be calculated by the formula
The inverse of 3-D DCT-II is 3-D DCT-III and can be computed from the formula given by
Technically, computing a two-, three- dimensional DCT by sequences of one-dimensional DCTs along each dimension is known as a row-column algorithm. As with multidimensional FFT algorithms, however, there exist other methods to compute the same thing while performing the computations in a different order. Owing to the rapid growth in the applications based on the 3-D DCT, several fast algorithms are developed for the computation of 3-D DCT-II. Vector-Radix algorithms are applied for computing M-D DCT to reduce the computational complexity and to increase the computational speed. To compute 3-D DCT-II efficiently, a fast algorithm, Vector-Radix Decimation in Frequency algorithm was developed.
3-D DCT-II VR DIF
In order to apply the VR DIF algorithm the input data is to be formulated and rearranged as follows. The transform size N x N x N is assumed to be 2.The figure to the adjacent shows the four stages that are involved in calculating 3-D DCT-II using VR DIF algorithm. The first stage is the 3-D reordering using the index mapping illustrated by the above equations. The second stage is the butterfly calculation. Each butterfly calculates eight points together as shown in the figure just below, where.
The original 3-D DCT-II now can be written as
where .
If the even and the odd parts of and and are considered, the general formula for the calculation of the 3-D DCT-II can be expressed as
where
Arithmetic complexity
The whole 3-D DCT calculation needs stages, and each stage involves butterflies. The whole 3-D DCT requires butterflies to be computed. Each butterfly requires seven real multiplications and 24 real additions. Therefore, the total number of real multiplications needed for this stage is, and the total number of real additions i.e. including the post-additions which can be calculated directly after the butterfly stage or after the bit-reverse stage are given by.The conventional method to calculate MD-DCT-II is using a Row-Column-Frame approach which is computationally complex and less productive on most advanced recent hardware platforms. The number of multiplications required to compute VR DIF Algorithm when compared to RCF algorithm are quite a few in number. The number of Multiplications and additions involved in RCF approach are given by and respectively. From Table 1, it can be seen that the total number
| Transform Size | 3D VR Mults | RCF Mults | 3D VR Adds | RCF Adds |
| 8 x 8 x 8 | 2.625 | 4.5 | 10.875 | 10.875 |
| 16 x 16 x 16 | 3.5 | 6 | 15.188 | 15.188 |
| 32 x 32 x 32 | 4.375 | 7.5 | 19.594 | 19.594 |
| 64 x 64 x 64 | 5.25 | 9 | 24.047 | 24.047 |
of multiplications associated with the 3-D DCT VR algorithm is less than that associated with the RCF approach by more than 40%. In addition, the RCF approach involves matrix transpose and more indexing and data swapping than the new VR algorithm. This makes the 3-D DCT VR algorithm more efficient and better suited for 3-D applications that involve the 3-D DCT-II such as video compression and other 3-D image processing applications. The main consideration in choosing a fast algorithm is to avoid computational and structural complexities. As the technology of computers and DSPs advances, the execution time of arithmetic operations is becoming very fast, and regular computational structure becomes the most important factor. Therefore, although the above proposed 3-D VR algorithm does not achieve the theoretical lower bound on the number of multiplications, it has a simpler computational structure as compared to other 3-D DCT algorithms. It can be implemented in place using a single butterfly and possesses the properties of the Cooley–Tukey FFT algorithm in 3-D. Hence, the 3-D VR presents a good choice for reducing arithmetic operations in the calculation of the 3-D DCT-II while keeping the simple structure that characterize butterfly style Cooley–Tukey FFT algorithms.The image to the right shows a combination of horizontal and vertical frequencies for an 8 x 8 two-dimensional DCT. Each step from left to right and top to bottom is an increase in frequency by 1/2 cycle.
For example, moving right one from the top-left square yields a half-cycle increase in the horizontal frequency. Another move to the right yields two half-cycles. A move down yields two half-cycles horizontally and a half-cycle vertically. The source data is transformed to a linear combination of these 64 frequency squares.
MD-DCT-IV
The M-D DCT-IV is just an extension of 1-D DCT-IV on to M dimensional domain. The 2-D DCT-IV of a matrix or an image is given byWe can compute the MD DCT-IV using the regular row-column method or we can use the polynomial transform method for the fast and efficient computation. The main idea of this algorithm is to use the Polynomial Transform to convert the multidimensional DCT into a series of 1-D DCTs directly. MD DCT-IV also has several applications in various fields.
Computation
Although the direct application of these formulas would require O operations, it is possible to compute the same thing with only O complexity by factorizing the computation similarly to the fast Fourier transform. One can also compute DCTs via FFTs combined with O pre- and post-processing steps. In general, O methods to compute DCTs are known as fast cosine transform algorithms.The most efficient algorithms, in principle, are usually those that are specialized directly for the DCT, as opposed to using an ordinary FFT plus O extra operations. However, even "specialized" DCT algorithms are typically closely related to FFT algorithms—since DCTs are essentially DFTs of real-even data, one can design a fast DCT algorithm by taking an FFT and eliminating the redundant operations due to this symmetry. This can even be done automatically. Algorithms based on the Cooley–Tukey FFT algorithm are most common, but any other FFT algorithm is also applicable. For example, the Winograd FFT algorithm leads to minimal-multiplication algorithms for the DFT, albeit generally at the cost of more additions, and a similar algorithm was proposed by Feig & Winograd for the DCT. Because the algorithms for DFTs, DCTs, and similar transforms are all so closely related, any improvement in algorithms for one transform will theoretically lead to immediate gains for the other transforms as well.
While DCT algorithms that employ an unmodified FFT often have some theoretical overhead compared to the best specialized DCT algorithms, the former also have a distinct advantage: highly optimized FFT programs are widely available. Thus, in practice, it is often easier to obtain high performance for general lengths N with FFT-based algorithms. Specialized DCT algorithms, on the other hand, see widespread use for transforms of small, fixed sizes such as the DCT-II used in JPEG compression, or the small DCTs typically used in audio compression.
In fact, even the DCT algorithms using an ordinary FFT are sometimes equivalent to pruning the redundant operations from a larger FFT of real-symmetric data, and they can even be optimal from the perspective of arithmetic counts. For example, a type-II DCT is equivalent to a DFT of size with real-even symmetry whose even-indexed elements are zero. One of the most common methods for computing this via an FFT was described by and, and this method in hindsight can be seen as one step of a radix-4 decimation-in-time Cooley–Tukey algorithm applied to the "logical" real-even DFT corresponding to the DCT II. Because the even-indexed elements are zero, this radix-4 step is exactly the same as a split-radix step; if the subsequent size- real-data FFT is also performed by a real-data split-radix algorithm, then the resulting algorithm actually matches what was long the lowest published arithmetic count for the power-of-two DCT-II. A recent reduction in the operation count to also uses a real-data FFT. So, there is nothing intrinsically bad about computing the DCT via an FFT from an arithmetic perspective—it is sometimes merely a question of whether the corresponding FFT algorithm is optimal.
Example of IDCT
Consider this 8x8 grayscale image of capital letter A.Each basis function is multiplied by its coefficient and then this product is added to the final image.