On the Shift Operator, Graph Frequency and Optimal Filtering in Graph Signal Processing
Abstract
Defining a sound shift operator for signals existing on a certain graph structure, similar to the welldefined shift operator in classical signal processing, is a crucial problem in graph signal processing, since almost all operations, such as filtering, transformation, prediction, are directly related to the graph shift operator. We define a set of energypreserving shift operators that satisfy many properties similar to their counterparts in classical signal processing. Our definition of the graph shift operator negates the shift operators defined in the literature, such as the graph adjacency matrix and Laplacian matrix based shift operators, which modify the energy of a graph signal. We decouple the graph structure represented by eigengraphs and the eigenvalues of the adjacency matrix or the Laplacian matrix. We show that the adjacency matrix of a graph is indeed a linear shift invariant (LSI) graph filter with respect to the defined shift operator. We introduce graph finite impulse response (GFIR) and graph infinite impulse response (GIIR) filters and obtain explicit forms for such filters. We further define autocorrelation and crosscorrelation functions of signals on the graph, enabling us to obtain the solution to the optimal filtering on graphs, i.e., the corresponding Wiener filtering on graphs and the efficient spectra analysis and frequency domain filtering in parallel with those in classical signal processing. This new shift operator based GSP framework enables the signal analysis along a correlation structure defined by a graph shift manifold as opposed to classical signal processing operating on the assumption of the correlation structure with a linear time shift manifold. We further provide the solution to the optimal linear predictor problem over general graphs. Several illustrative simulations are presented to validate the performance of the designed optimal LSI filters.
I Introduction
Graph signal processing (GSP) is an emerging field, focusing on representing signals as evolving entities on graphs and analyzing the signals based on the structure of the graph [1, 2, 3, 4]. The temporally evolving measured data from variety of sources in a network, such as the measured data from sensors in wireless sensor networks, body area sensor networks, transportation networks and weather networks, are compatible with signal representation on certain graphs. For instance, a network of sensors implanted in a human body to measure the temperatures of different tissues can be viewed as a graph in which the sensor nodes are the graph nodes and the graph structure shows the connection between the sensor nodes. Moreover, the measured temperatures by the nodes are the signals existing on the corresponding graph. Hence, GSP can be a powerful tool for analyzing and interpreting such signals existing on graphs.
Classical signal processing has provided a wide range of tools to analyze, transform and reconstruct signals regardless of the true nature of the signals evolution. Indeed, classical signal processing may not provide an effective way to represent and analyze the signals that exist on a graph structure. GSP is an attempt to develop a universal tool to process signals on graphs. More specifically, GSP benefits from algebraic and graph theoretic concepts, such as graph spectrum and graph connectivity, to analyze structured data [1, 5, 6].
Two major approaches have been developed for signal processing on graphs. The first approach is to use the graph Laplacian matrix as the underlying building block for the definitions and tools in GSP [1]. The second approach is to use the adjacency matrix of the underlying graph as the shift operator on graph [2, 3, 4]. Both approaches define fundamental signal processing concepts on graphs, such as filtering, transformation, downsampling.
Graph wavelet transforms are discussed in [7, 8, 9]. The idea of graph filter banks is developed in [10] with the design of criticallysampled waveletfilter banks on graphs. Authors in [11] introduce twochannel (lowpass and highpass), criticallysampled, perfectreconstruction filterbanks for signals defined on circulant graphs. The authors in [12] extend the framework of sampling and reconstructing signals with a finite rate of innovation (FRI) to the graph domain. Authors in [13] present novel families of wavelets and associated filterbanks for the analysis and representation of functions defined on circulant graphs and generalize to arbitrary graphs in the form of graph approximations. In [14], the authors present a method to decompose an arbitrary graph or filter into a combination of circulant structures. In [15, 16, 17], the authors focus on recovering the graph structure, i.e., the graph adjacency matrix, via formulating a design problem. The obtained graph structure can then be used to obtain the graph Fourier basis, the new graph shift operator and graph filters. In this paper, we assume that the graph structure is already obtained, e.g., using any of these approaches, and we aim to define a graph shift operator that satisfies certain properties.
When the structure of a graph is known, the common effort in GSP is to define a shift operator on the graph and then introduce the concepts of filtering, transformation, denoising, prediction, compression and other operations similar to the conventional counterparts in classical signal processing, based on the shift operator. It is defined in [1] as the translation on graph via generalized convolution with a delta centered at vertex . In [2], the graph shift operator is the adjacency matrix of the graph and simple justification of such a choice is presented. However, none of these operators satisfy the energypreserving property similar to their counterpart in classical signal processing. More specifically, applying the shift operator in [1, 2] to a graph signal several times will change the energy content of the graph signal and its frequency components, making it difficult to justify and design the filter frequency response as in classical signal processing. An isometric shift operator has recently been introduced in [18, 19, 20], which satisfies the energypreserving property. This shift operator is a matrix whose eigenvalues are derived from the graph Laplacian matrix. The limitation of this approach is that its phase shifts are structuredependent and do not satisfy some other desired properties leading to computationally efficient spectral analysis.
Motivated by the graph shift matrix defined in [2], but fundamentally different, we introduce a unique set of graph shift operators that satisfy the properties of the shift operator in classical signal processing. The new shift operator preserves the energy content of the graph signal in the frequency domain. We essentially decompose the graph adjacency matrix (the Laplacian matrix can be handled the same way) into two parts. The first part is the graph structure part represented by eigengraphs associated with frequency components of a graph. The second part is the filtering part represented by the eigenvalues of the adjacency matrix, which changes the amplitude of the frequency components. The eigenvalues of the new shift operators therefore only represent phase shift of frequency components that can be flexibly constructed. A special construction of these phase shift eigenvalues with nice properties is also given.
We then elaborate on the structure of linear shift invariant (LSI) graph filters and show that any adjacency matrix can indeed be written as an LSI graph filter using the presented new shift operator. Furthermore, we define the graph finite impulse response (GFIR) and graph infinite impulse filters (GIIR), similar to the classical signal processing counterparts, and obtain an explicit form for such filters. Based on the defined shift operator, we introduce autocorrelation and crosscorrelation functions on graph. We then formulate the optimal filtering and spectrum analysis on graph, i.e., the corresponding WienerHopf equation and Wiener filtering on graphs, and obtain the structure of such filters for any arbitrary graph structure. We finally elaborate on the best linear predictor graph filters and provide several illustrative simulation setups to verify the performance improvements of optimal filtering using our new graph shift operator.
The contribution of this paper can be summarized as follows:

We define a general set of graph shift operators that satisfy the energypreserving property in the frequency domain and other properties in classical signal processing. These shift operators only change the phase of frequency components. Especially, we design a specific shift operator with the desired periodicity property as in classical signal processing. The shift operation can then be considered as discretetime lossless information flowing structure on a graph.

For a given graph, we construct a set of eigengraphs that represent basic correlation structures of a graph frequency component. When applied on any graph signal, each eigengraph is a projection operator that projects the signal to a single graph frequency component subject to only a phase shift. The new shift operator is a linear combination of eigengraphs.

We investigate the properties of the presented shift operator for linear shift invariant filtering and show that the adjacency matrix is indeed a LSI filter based on our new graph shift operator.

We define autocorrelation and crosscorrelation functions of a signal on graph. We then obtain a closedform solution to the Wiener filtering problem and show that it has efficient powerspectrum representation in certain graphs similar to classical signal processing. Such a power spectral analysis can only be obtained using our new shift operator. This new shift operator based GSP framework enables the signal analysis along a correlation structure defined by a graph shift manifold as opposed to classical signal processing operating on the assumption of the correlation structure with a linear time shift manifold.
The paper is organized as follows. In section II, we discuss the basics of GSP and present a new set of shift operators. Section III introduces graph filters and Fourier transforms based on the new shift operator. We derive the optimal LSI graph filters in section IV. Section V presents the simulations and section VI concludes of the paper.
Notations: Matrices and vectors are represented by uppercase and lowercase boldface letters, respectively. Transpose and Hermitian (conjugate transpose) operations are represented by and , respectively. The notation stands for the identity matrix, and and are the circular and aperiodic convolution operators, respectively.
Ii A New Set of Shift Operators and Graph Frequency Components
Iia Signals on Graph
Consider a dataset with distinct elements, where some information regarding the relations between data elements is available. One can represent such a dataset and the corresponding relational information as a graph. A graph can be denoted by a , where is the set of all vertices of the graph, representing the elements in the dataset, and is the weighted adjacency matrix that represents the relation between nodes. More specifically, if there is a relation between nodes and , then , otherwise . We note that the elements of the adjacency matrix is not restricted to a specific set of values. In this paper, we consider a general graph with realvalued adjacency matrix , either directed or undirected, and assume that data elements take complex scalar values. We define a graph signal as a onetoone mapping from the set of all vertices to the set of complex numbers:
(1) 
Without loss of generality, we represent a graph signal as a vector whose elements are complex numbers assigned to the nodes, , where stands for the transpose operator.
As a special case, a directed cyclic graph is shown in Fig. 1.
Such a graph is compatible with the graph representation of a periodic time series signal, , with signal points, i.e., one can assign a node to each signal point and the relation between the signal points is the time shift. One can easily show that the graph adjacency matrix for the directed cyclic graph is given by
(2) 
There are two fundamental components in GSP: the signals represented by the values on vertices, and the signal correlation structure represented by the connections between vertices.
IiB Graph Shift Operator, Information Flow and Filtering
A graph shift operator allows us to define the notion of information flow over a graph. Indeed, it represents one elementary discrete step on how the information propagates (shifts) from one node to its neighbors. In classical signal processing, i.e., the case where the graph structure is a cyclic graph, the information flow is unidirectional, i.e., from each node to only its next neighbor. In a more complicated graph structure, the information flow will neither be restricted to unidirectional structure nor to a limited number of physical neighbors but depend on the graph adjacency matrix. Therefore, the notion of shift operator on graph must be clarified.
IiB1 Graph shift
In [3], the notion of shift operator is defined as a local operation that replaces a signal value at each node of a graph with the linear combination of the signal values at the neighbors of that node. Shift operator is a fundamental element in digital signal processing. Specifically, for a shift operator and a graph signal , the onestep shifted version of the graph signal, which is a new graph signal, is . And the step shifted version of the signal is .
IiB2 Graph signal state change
A graph shift operator is a linear operator such that when it applies to a graph signal at state (or time) , it changes the graph signal into a new graph signal at step . We use the index to show the state of the graph signal. Equivalently, when a graph shift operator is applied to a graph signal, the state of the original graph signal is shifted to a new state by one unit of shift.
Note that this is similar to time series analysis, when a signal is shifted in time by a certain amount , , the signal at timestate will be mapped to at timestate . The state of the signal at a certain time stamp is updated by the shift operator. Similarly, we defined the th state of the vector of the graph signal, i.e., , as the th shifted version of . For instance, when the graph shift operator applies to a graph signal at state , i.e., , and it changes the graph signal to . More specifically, .
Also note that in time series analysis, a time shift corresponds to a local shift in the cyclic graph. For a general graph shift, there is no such straightforward relationship.
IiB3 Graph signal filtering
A linear filtering is defined by a matrix operation on the graph signal such that the result is also a graph signal. If we define the filter matrix as , the filtered graph signal can be written as . We will show later that if the filtering operation also satisfies the shift invariance property, the filter can be written as a polynomial of the new graph shift operator and the filter operation is indeed a modification of the amplitudes of existing signal frequency components, as in classical signal processing.
IiC The New Graph Shift Operator
We now define a set of energypreserving shift operators for an arbitrary graph structure.
: Given the adjacency matrix for an arbitrary graph, assume that it is diagonalizable and its eigen decomposition is , where and , and and are column vectors of and , respectively. We define the matrix to be the shift operator with
(3) 
where , is an arbitrary phase in where for , , is defined as the pointwise absolute value operator. Thus,
(4) 
where and . In essence, the shift operator preserves all the eigenvectors of the adjacency matrix , but replaces all the eigenvalues of with pure phase shifts.
: We further define a special new shift operator as
(5) 
where . One can write
(6) 
where can be any arbitrary constant phase shift. Without loss of generality, we will assume in the rest of this paper. The shift operator and satisfies the following properties:
Property 1: , where is frequency representation of graph signal defined by .
Proof.
Note that th shifted version of the graph signal in the Fourier domain is
(7) 
Thus its energy
(8) 
i.e., the energy of the graph signal in the frequency domain for any amount of shift is constant. ∎
Note that for a unitary graph Fourier operator, , then . The new graph operator of an undirected graph has such property since is symmetric. We will further discuss the general graph Fourier transform and its energypreserving in next subsection.
Property 2: .
The first property is energypreserving. The second property specific for is consistent with classic signal processing for an important phase shift property of the shift operator.
Property 1 is of great importance in frequency domain graph signals filtering. From (7) and (8), it can be seen that if the modulus of the eigenvalues of the shift operator is not 1, the frequency components with small eigenvalues will disappear after several shifts. Indeed, only the frequency component with the largest eigenvalue will remain after many shifts. This is apparently undesirable. Property 1 implies that the new energypreserving graph shift operator will preserve the energy of all frequency components. Moreover, as will be discussed later in this paper, linear shift invariant graph filter is defined by a polynomial of the graph shift operator, i.e., , where the following properties hold true:
 Shift operator does not change the energy of the signal in the frequency domain. It only changes the phases of its frequency components
 Filter coefficients can modify the energy contents of the graph signal in the frequency domain.
We will see additional important property of in filtering and spectral analysis in later sections.
We note that our definition of the graph shift operator brings us the benefit to express the filtering operations in a more compact and meaningful form, similar to their counterparts in classical signal processing. For the choice of , the shift operator may not be sparse. Also may not be realvalued. Therefore, a large memory may be needed to save the corresponding operator and conduct the filtering operation in the shift domain. We note that such large memory may not be necessary if the filtering operation is conducted in the Fourier domain. We will also show that an LSI filter with a nonsparse shift operator may be represented by a polynomial of a sparse graph operator and thus has efficient shift domain implementation.
Remark: Most of existing shift operators in the literature do not satisfy the energypreserving property. For instance, in [2], the graph shift operator is the adjacency matrix of the graph. When such a shift operator applies to a graph signal, the energy content of the graph signal changes. To show this, note that . Applying the graph shift operator times to the graph signal results in . Since the magnitude of the diagonal elements of in general are not equal to 1, as becomes larger, some of the eigenvalues of grow exponentially and the other eigenvalues approach zero. This means that the energy content of the signal is not preserved.
We also note that there exist other definitions of the graph shift operator in the literature such as as the normalized graph shift matrix [3] where is the maximum eigenvalue of or Laplacian matrix based shift operators [1, 21]. Not only do these shift operators not preserve the energy, but also they actually filter the signals in that they modify the relative strength of different eigenvectors (frequency components). In [1], the translation on graph is defined via generalized convolution with a delta centered at vertex . However, this translation operator aims to produce a geometrically localized shift in the vertex domain and does not preserve the energy. In [18, 20], a new isometric shift operator has recently been introduced that satisfies the energypreserving property with a similar general expression. It is indeed a special case of . Its eigenvalues are derived from the eigenvalue of the graph Laplacian matrix. Note that in our definition of graph shift operator, the eigenvalues (phase shifts) are detached from the eigenvalues of the graph adjacency matrix or Laplacian matrix and therefore are more flexible to accommodate other properties such as property 2 above. We will further show that our new shift operators have properties leading to computationally efficient spectral analysis and filtering through the detailed formulations of graph Fourier analysis in the next subsection.
IiD Frequency Content of Graphs, Eigengraphs and Graph Fourier Basis
Consider the graph adjacency matrix and its eigenvalue decomposition as , where is a diagonal matrix whose th diagonal element is the th eigenvalue of . Note that in this paper, we will always assume that is diagonalizable and eigenspaces have dimension equal to one for simplicity.
In graph theory, the eigenvalues of the graph adjacency matrix are called the spectrum of the graph [22].
IiD1 Graph frequency content
Defining and , where and are column vectors of and , respectively, one can show that
(9) 
The rank one matrix is called the th eigengraph, and is the th frequency component, of . Moreover, if none of the elements of and are zero, the corresponding eigengraph is a complete graph, meaning that all nodes are connected to each other. However, the original graph that is a linear combination of the eigengraphs, stated in (9), may not be complete.
Remark: The eigengraphs of the graph shift operator are the same as those of the adjacency matrix by definition.
IiD2 Eigengraph structure
To elaborate more on eigengraph structures, let us define and . The corresponding th eigengraph is given by the rank one matrix
(10) 
where . The adjacency matrix of an eigengraph can be viewed as a signal/information transition matrix, where the weight is the transition weight from node to node . For instance, the eigengraph of a three node graph and the transition (bipartite) graph is shown in Fig. 3(a) and Fig. 3(b). A more general node eigengraph is shown in Fig. 3(c). Note that for the th rank one eigengraph, the outgoing weight of node is and the incoming weight of node is , see Fig. 3(b). and Fig. 3(c). We note that in these figures, is the signal transition weight from node to node .
Note that an eigengraph is a special graph such that . Although an eigengraph is generally a complete graph, a linear combination of the eigengraphs may not be complete, as is evident for the cyclic graph.
IiD3 Graph Fourier basis and Graph Fourier transform (GFT)
We refer to as the graph Fourier transform (GFT) operator since its rows, span a basis to represent the graph signal. The Fourier transform of a graph signal is . Thus is the inverse graph Fourier transform (IGFT) operator.
Note that the rows of are not orthogonal (unitary) for a general shape graph. However, one can easily verify that the vector space of the columns of and the vector space of the columns of construct a biorthogonal basis, i.e., . We further note that the corresponding eigengraph of the th frequency component is constructed by a pair of meaning that they are constructed by the Fourier basis of the graph. This interpretation also confirms that the eigengraphs are the graph structures of graph frequency components, in which one can decompose a graph signal that is generated by the same graph structure, on those Fourier bases without any loss.
For biorthogonal GFT, we further define a dual GFT: and an inverse dual GFT . As such, we have the inner product preservation: , where .
Note that such biorthogonal transform satisfies the frame theory [23]. More specifically, the energy of a graph signal in the Fourier domain, i.e., , is bounded by
(11) 
where and . In other words,
(12) 
Furthermore, for unitary transform operator, i.e., , . Therefore, such a transform preserves the energy in both shift and transform domains. The graph shift operator of an undirected graph has such property since its adjacency matrix is symmetric and the corresponding is unitary operator. Therefore for an undirected graph is a unitary operator by construction.
The shift operator is a linear combination of eigengraphs. It may not be a local (sparse) operator, meaning that most entries of this matrix may be nonzero. This means that the complexity of applying to a graph signal of size is of order of . However, once the signal is transformed to the Fourier domain, several other operations such as filtering are computationally efficient, as will be discussed later in section IVB. Also, we will show in Theorem 3 that can be represented as a polynomial of the adjacency matrix in certain condition and thus has efficient local implementation.
Remark: For a) the adjacency matrix of the undirected graph, b) the combinatorial graph Laplacian, and c) the normalized Laplacian matrix, the GFT matrix V is unitary and the GFT becomes orthogonal.
IiD4 Linear operator, projection operator and graph shift operator
We note that a linear operator on a graph signal can be defined as such that if it applies to a graph signal , the result is also a graph signal in which . A projection operator satisfies
(13) 
It can be shown that, eigengraph operator, i.e., , satisfy this property and thus a projection operator. The eigengraph operator represents the th basis for decomposition of the graph adjacency matrix . It means that, a graph structure, i.e., the graph adjacency matrix, is composed of a linear combination of independent eigengraphs (as we assume that all eigenvalues of are distinct, thus eigenvectors are linearly independent). Moreover, applying an eigengraph operator to a graph signal will select the corresponding frequency component of the graph signal. This operation is in accordance with the classical signal processing interpretation of a filter operation. More specifically, if a frequency selective filter applies to a signal several times, it returns the same frequency components of the signal similar to the case where the operator applies once. By defining the as the th frequency component of the graph, we interpret the in as the significance of the corresponding frequency component. We further note that, indeed the frequency interpretation of timeseries data comes from the linear cyclic graph structure of the time series data.
We emphasize that, a graph shift operator should preserve the frequency contents of a graph. Therefore, it should be an equally weighted linear combination of the eigengraphs with only phase shifts. In other words, , where . This left us with the choice that , where . We further note that, to have a graph shift operator with independent eigengraph representation, we assume that , for all . This result is in accordance with the definition of graph shift operator as we defined earlier.
: Consider the directed cyclic graph with three node as shown in Fig. 2. The adjacency matrix of this graph is given by
(14) 
where is the discrete Fourier (DFT) transform matrix. The eigengraphs and the signal transition (bipartite) graphs of the graph structure in Fig. 2 are shown in Fig. 3(a) and Fig. 3(b)., where , . Also note that the is of the form of the special defined in (6) and the adjacency matrix is exactly .
Iii Graph Filters based on the New Shift Operator
In classical signal processing, filters are referred to operators that apply on a signal as input, and produce another signal as output. Filters can be categorized into different classes, e.g., continues time or discrete time, linear and nonlinear, time invariant and timevarying. The compatible category of filter classes to graph signals is discrete time linear filters. Linear filtering on graphs is represented by multiplying the input signal vector by a matrix , called filter matrix. The filtered output signal vector . This filter operates on graph signals similar to the shift operator, i.e., the filtered signal at the th vertex is a linear combination of the value of the original signal . More specifically, .
Iiia Linear Shift Invariant Graph Filters
If we consider the shift operator on a graph to be , then the linear shift invariant property (LSI) of filters is . Indeed, this property implies that, the filter and the shift operator are commutable. It is straightforward to show that the following theorem in [2, 3] still hold for a graph LSI filter defined by shift operator .
Theorem 1.
Every polynomial of a square matrix is a graph LSI filter and every graph LSI filter is a polynomial of a square matrix .
This theorem shows that every LSI graph filter is a polynomial in the graph shift matrix, i.e.,
(15) 
where is called the th tap of the graph filter and is the order of the polynomial representation of the LSI filter.
We therefore can prove the following theorem:
Theorem 2.
Any arbitrary adjacency matrix is an LSI filter under .
Proof.
: We know from the definition of the graph shift operator that , and hence the LSI filter . ∎
Remark: Indeed, one can write . We note that when the shift matrix is , one can show that , i.e., is the th coefficient of the IDFT of the eigenvalue vector , where is the th eigenvalue of . This result allows us to compute the filter coefficients more efficiently. Theorem 2 shows that the adjacency matrix can be decomposed into two parts. The first part is the energypreserving graph shift operator , i.e., frequency components of a graph. The second part is the filtering part represented by eigenvalues of the adjacency matrix, which changes the amplitudes of the frequency components.
Theorem 3.
The graph shift operator can be written as a polynomial of the graph adjacency matrix , if the eigenvalues of are all distinct.
Proof.
See Appendix A. ∎
Remark: The adjacency matrix is often sparse (local). We can design an LSI filter using since it has good mathematical properties. We can then convert the LSI filter as a polynomial of such that it has an efficient graph domain implementations. Note that using can have efficient in graph frequency domain as we will discuss in section IV.
: Let us consider the discrete time circular convolution in classical signal processing for periodic time series data. Such an operator can be cast into the matrix form where and are the input and output signal vectors, respectively. The filter matrix has the following Toeplitz form
(16) 
Note that, with a small abuse of notation, we will use in the graph representation instead of in the classical signal processing counterpart. Using some matrix calculation, one can show that the filter matrix can be written as a polynomial of the circulant adjacency matrix (2) as . Note that in the cyclic graph, the adjacency matrix is exactly the defined in (5), . This means that the circular convolution is equivalent to the LSI graph filtering based on the graph representation of the periodic time series data. We note that every Toeplitz graph filter matrix can be considered as a linear time invariant filter for time series periodic data.
: Let us now consider filtering aperiodic time series data in classical signal processing. We show that such a filtering operation is also equivalent to the LSI graph filtering. To show this, let us start with the traditional signal processing filtering as . Without loss of generality, we assume that , for and , for , and . Defining , and , one can rewrite the filtering equation as where is defined in (IIIA).
(17) 
The output of such a filtering operation, i.e., , is equivalent to that of the , where . Note that, in this example is the circulant matrix defined in (2). One can easily show that can be written as (18).
(18) 
This result shows that filtering aperiodic discrete time signals by the filter operator is equivalent to filtering the zeropadded graph signal by the graph filter . Note that convolution for aperiodic signals is equivalent to circular convolution of the zeropadded periodic versions of the input signal, and hence it is equivalent to graph filtering where the graph filter is defined by the filter matrix . More specifically, let us consider the zeropadded periodic versions of the aperiodic signal and filter as and where
(19) 
then, , for all . Hence, filtering aperiodic time series data can be written as the graph LSI filtering of the zeropadded graph signals.
Theorem 4.
When , for a LSI filter there exists an equivalent form for the LSI filter in (15) as , where is the degree of the minimal polynomial of . Moreover, there exist a closedform expression for the filter taps as a function of .
Proof.
See Appendix B for a constructive proof. ∎
Finite/infinite impulse response (FIR/IIR) filters are certain types of filters with great importance in classical signal processing and have simple frequency domain interpretation. We herein aim to bring those concepts to the graph signal processing as GFIR and GIIR filters where G stands for graph representation. As we have shown in Theorem 4, any LSI filter can be written as a polynomial of the graph shift operator with the maximum order of . We therefore can define the GFIR and GIIR filters.
: We define a GFIR filter to be where and a GIIR filter to be where .
IiiB Frequency domain interpretation of filtering
The derivation of the results presented earlier in this section is in the time domain for time series data or the shift domain for graph signals. One can also describe the filtering process, equivalently, in the frequency domain obtained by the Fourier transform operator. More specifically, if is the filtering operation in the time/shift domain, it can also be represented in the frequency domain as , where the subscript stands for Fourier transformed versions of the corresponding signals/filters. Note that we have used , and . Note that the filtering process (matrix and vector multiplication) in the shift domain has a simpler representation in the Fourier domain as suggested by . To show this, we note that
(20) 
Therefore, the filtering in the Fourier domain is a simple pointwise multiplication. More specifically, . However, .
Note that for ,
(21) 
and for , , and thus
(22) 
Interestingly, with the new set of energypreserving shift operators , the GFT coefficient of a LSI filter can be computed using tap discretetime Fourier transforms (DTFT).
We further note that, the filtering equation (IIIB) is composed of two components; the filter coefficients ’s and the complex exponentials that are the eigenvalues of our defined graph shift operator. Since the magnitude of ’s are one, does not change the magnitude of the th component of the graph filter , i.e., . This suggests that the filter coefficients ’s are the source of the change of the th component of . In contrast, the magnitude of the eigenvalues of arbitrary graph shift operators proposed in the literature are not normalized to one. Thus, the role of the filter coefficients (controlling the signal level/energy) are diminished. It leads to a saturating filtering performance, which is illustrated in the simulation section.
Iv Correlation Functions of Graph Signals and Optimal LSI Graph Filters
In this section, we assume that the structure of the graph is known, meaning that the graph adjacency matrix and the related shift operator is given. Assuming that is known, we aim to obtain the structure of the graph LSI filters such that a certain set of constraints are satisfied. We discuss several filter design problems in GSP in the sequel that arise in classical signal processing.
Iva Wiener Filter for Directed Cyclic Graph Data (Time Series)
We will first reformulate the time series signal Wiener filter using GSP representation and then generalize it to arbitrary graph signals. Consider the graph representation of the time series data in Fig. 1. Assume that is the graph signal and is a noisy measurement of the graph signal : , where is i.i.d. zero mean white Gaussian noise. A conventional question in denoising problems is to design an LSI filter such that the residual error is minimum. Strictly speaking, when and are given, we aim to solve the following optimization problem
(23) 
Since is shift invariant, it can be written as , where is defined earlier. Note that the filtered signal can be rewritten as where
(24) 
Rewrite (23) by replacing by its equivalent ,
(25) 
Since is the degree of minimal polynomial of the graph shift matrix, we only consider the cases where (Note that when , the matrix is full rank, hence the solution to the optimization problem (25) can be written as ). If , the solution of least square optimization problem (25) can be obtained by solving
(26) 
where is the Hermitian operator. Such a solution has an interesting interpretation for time series data as will be shown in the sequel. We note that (26) can be written as
or, equivalently, as (27).
(27) 
We note that the circulant matrix has the unitary property, i.e., , . Moreover, we claim that is the autocorrelation of the vector at lag . To show this, we first note that is the circularly shifted version of the by amount . Defining the autocorrelation function of as
(28) 
one can easily show that
(29) 
where is the th element of the vector and is the conjugation operator. We also define the crosscorrelation between the input and output vectors and , as
(30) 
The linear equations (27) can hence be rewritten as
(31) 
i.e.,
(32) 
Eq. (32) is indeed the WienerHopf equation. Note that is a Toeplitz matrix.
Note that the LSI property of graph filters for time series data leads to the Wiener filtering in the classic signal processing. One can also compute the autocorrelation and crosscorrelation more efficiently as
(33)  
(34) 
which has lower computational complexity than calculating the autocorrelation and the crosscorrelation using the definition directly. Note that and are the Fourier (DFT) representations of the output and input signals, respectively, and .