In mathematics, more specifically in harmonic analysis, Walsh functions form a complete orthogonal set of functions that can be used to represent any discrete function—just like trigonometric functions can be used to represent any continuous function in Fourier analysis.  They can thus be viewed as a discrete, digital counterpart of the continuous, analog system of trigonometric functions on the unit interval. But unlike the sine and cosine functions, which are continuous, Walsh functions are piecewise constant. They take the values −1 and +1 only, on sub-intervals defined by dyadic fractions.
 The system of Walsh functions is known as the Walsh system. It is an extension of the Rademacher system of orthogonal functions.
 Walsh functions, the Walsh system, the Walsh series, and the fast Walsh–Hadamard transform are all named after the American mathematician Joseph L. Walsh. They find various applications in physics and engineering when analyzing digital signals.
 Historically, various numerations of Walsh functions have been used; none of them is particularly superior to another. This articles uses the Walsh–Paley numeration.
 We define the sequence of Walsh functions 
  
    
      
        
          W
          
            k
          
        
        :
        [
        0
        ,
        1
        ]
        →
        {
        −
        1
        ,
        1
        }
      
    
    {\displaystyle W_{k}:[0,1]\rightarrow \{-1,1\}}
  
, 
  
    
      
        k
        ∈
        
          N
        
      
    
    {\displaystyle k\in \mathbb {N} }
  
 as follows.
 For any natural number k, and real number 
  
    
      
        x
        ∈
        [
        0
        ,
        1
        ]
      
    
    {\displaystyle x\in [0,1]}
  
, let
 Then, by definition
 In particular, 
  
    
      
        
          W
          
            0
          
        
        (
        x
        )
        =
        1
      
    
    {\displaystyle W_{0}(x)=1}
  
 everywhere on the interval, since all bits of k are zero.
 Notice that 
  
    
      
        
          W
          
            
              2
              
                m
              
            
          
        
      
    
    {\displaystyle W_{2^{m}}}
  
 is precisely the Rademacher function rm.
Thus, the Rademacher system is a subsystem of the Walsh system. Moreover, every Walsh function is a product of Rademacher functions:
 Walsh functions and trigonometric functions are both systems that form a complete, orthonormal set of functions, an orthonormal basis in the Hilbert space 
  
    
      
        
          L
          
            2
          
        
        [
        0
        ,
        1
        ]
      
    
    {\displaystyle L^{2}[0,1]}
  
 of the square-integrable functions on the unit interval. Both are systems of bounded functions, unlike, say, the Haar system or the Franklin system.
 Both trigonometric and Walsh systems admit natural extension by periodicity from the unit interval to the real line. Furthermore, both Fourier analysis on the unit interval (Fourier series) and on the real line (Fourier transform) have their digital counterparts defined via Walsh system, the Walsh series analogous to the Fourier series, and the Hadamard transform analogous to the Fourier transform.
 The Walsh system 
  
    
      
        {
        
          W
          
            k
          
        
        }
        ,
        k
        ∈
        
          
            N
          
          
            0
          
        
      
    
    {\displaystyle \{W_{k}\},k\in \mathbb {N} _{0}}
  
 is an abelian multiplicative discrete group isomorphic to 
  
    
      
        
          ∐
          
            n
            =
            0
          
          
            ∞
          
        
        
          Z
        
        
          /
        
        2
        
          Z
        
      
    
    {\displaystyle \coprod _{n=0}^{\infty }\mathbb {Z} /2\mathbb {Z} }
  
, the Pontryagin dual of the Cantor group 
  
    
      
        
          ∏
          
            n
            =
            0
          
          
            ∞
          
        
        
          Z
        
        
          /
        
        2
        
          Z
        
      
    
    {\displaystyle \prod _{n=0}^{\infty }\mathbb {Z} /2\mathbb {Z} }
  
. Its identity is 
  
    
      
        
          W
          
            0
          
        
      
    
    {\displaystyle W_{0}}
  
, and every element is of order two (that is, self-inverse).
 The Walsh system is an orthonormal basis of the Hilbert space 
  
    
      
        
          L
          
            2
          
        
        [
        0
        ,
        1
        ]
      
    
    {\displaystyle L^{2}[0,1]}
  
. Orthonormality means
 and being a basis means that if, for every 
  
    
      
        f
        ∈
        
          L
          
            2
          
        
        [
        0
        ,
        1
        ]
      
    
    {\displaystyle f\in L^{2}[0,1]}
  
, we set 
  
    
      
        
          f
          
            k
          
        
        =
        
          ∫
          
            0
          
          
            1
          
        
        f
        (
        x
        )
        
          W
          
            k
          
        
        (
        x
        )
        d
        x
      
    
    {\displaystyle f_{k}=\int _{0}^{1}f(x)W_{k}(x)dx}
  
 then
 It turns out that for every 
  
    
      
        f
        ∈
        
          L
          
            2
          
        
        [
        0
        ,
        1
        ]
      
    
    {\displaystyle f\in L^{2}[0,1]}
  
, the series 
  
    
      
        
          ∑
          
            k
            =
            0
          
          
            ∞
          
        
        
          f
          
            k
          
        
        
          W
          
            k
          
        
        (
        x
        )
      
    
    {\displaystyle \sum _{k=0}^{\infty }f_{k}W_{k}(x)}
  
 converges to 
  
    
      
        f
        (
        x
        )
      
    
    {\displaystyle f(x)}
  
 for almost every 
  
    
      
        x
        ∈
        [
        0
        ,
        1
        ]
      
    
    {\displaystyle x\in [0,1]}
  
.
 The Walsh system (in Walsh-Paley numeration) forms a Schauder basis in 
  
    
      
        
          L
          
            p
          
        
        [
        0
        ,
        1
        ]
      
    
    {\displaystyle L^{p}[0,1]}
  
,   
  
    
      
        1
        <
        p
        <
        ∞
      
    
    {\displaystyle 1<p<\infty }
  
. Note that, unlike the Haar system, and like the trigonometric system, this basis is not unconditional, nor is the system a Schauder basis in 
  
    
      
        
          L
          
            1
          
        
        [
        0
        ,
        1
        ]
      
    
    {\displaystyle L^{1}[0,1]}
  
.
 Let 
  
    
      
        
          D
        
        =
        
          ∏
          
            n
            =
            1
          
          
            ∞
          
        
        
          Z
        
        
          /
        
        2
        
          Z
        
      
    
    {\displaystyle \mathbb {D} =\prod _{n=1}^{\infty }\mathbb {Z} /2\mathbb {Z} }
  
 be the compact Cantor group endowed with Haar measure and let 
  
    
      
        
          
            
              
                D
              
              ^
            
          
        
        =
        
          ∐
          
            n
            =
            1
          
          
            ∞
          
        
        
          Z
        
        
          /
        
        2
        
          Z
        
      
    
    {\displaystyle {\hat {\mathbb {D} }}=\coprod _{n=1}^{\infty }\mathbb {Z} /2\mathbb {Z} }
  
 be its discrete group of characters. Elements of 
  
    
      
        
          
            
              
                D
              
              ^
            
          
        
      
    
    {\displaystyle {\hat {\mathbb {D} }}}
  
 are readily identified with Walsh functions. Of course, the characters are defined on 
  
    
      
        
          D
        
      
    
    {\displaystyle \mathbb {D} }
  
 while Walsh functions are defined on the unit interval, but since there exists a modulo zero isomorphism between these measure spaces, measurable functions on them are identified via isometry.
 Then basic representation theory suggests the following broad generalization of the concept of Walsh system.
 For an arbitrary Banach space 
  
    
      
        (
        X
        ,
        
          |
        
        
          |
        
        ⋅
        
          |
        
        
          |
        
        )
      
    
    {\displaystyle (X,||\cdot ||)}
  
 let 
  
    
      
        {
        
          R
          
            t
          
        
        
          }
          
            t
            ∈
            
              D
            
          
        
        ⊂
        Aut
        ⁡
        X
      
    
    {\displaystyle \{R_{t}\}_{t\in \mathbb {D} }\subset \operatorname {Aut} X}
  
 be a strongly continuous, uniformly bounded faithful action of 
  
    
      
        
          D
        
      
    
    {\displaystyle \mathbb {D} }
  
 on X. For every 
  
    
      
        γ
        ∈
        
          
            
              
                D
              
              ^
            
          
        
      
    
    {\displaystyle \gamma \in {\hat {\mathbb {D} }}}
  
, consider its eigenspace 
  
    
      
        
          X
          
            γ
          
        
        =
        {
        x
        ∈
        X
        :
        
          R
          
            t
          
        
        x
        =
        γ
        (
        t
        )
        x
        }
      
    
    {\displaystyle X_{\gamma }=\{x\in X:R_{t}x=\gamma (t)x\}}
  
. Then  X is the closed linear span of the eigenspaces: 
  
    
      
        X
        =
        
          
            Span
            ¯
          
        
        (
        
          X
          
            γ
          
        
        ,
        γ
        ∈
        
          
            
              
                D
              
              ^
            
          
        
        )
      
    
    {\displaystyle X={\overline {\operatorname {Span} }}(X_{\gamma },\gamma \in {\hat {\mathbb {D} }})}
  
. Assume that every eigenspace is one-dimensional and pick an element 
  
    
      
        
          w
          
            γ
          
        
        ∈
        
          X
          
            γ
          
        
      
    
    {\displaystyle w_{\gamma }\in X_{\gamma }}
  
 such that 
  
    
      
        ‖
        
          w
          
            γ
          
        
        ‖
        =
        1
      
    
    {\displaystyle \|w_{\gamma }\|=1}
  
. Then the system 
  
    
      
        {
        
          w
          
            γ
          
        
        
          }
          
            γ
            ∈
            
              
                
                  
                    D
                  
                  ^
                
              
            
          
        
      
    
    {\displaystyle \{w_{\gamma }\}_{\gamma \in {\hat {\mathbb {D} }}}}
  
, or the same system in the Walsh-Paley numeration of the characters 
  
    
      
        {
        
          w
          
            k
          
        
        
          }
          
            k
            ∈
            
              
                
                  N
                
              
              
                0
              
            
          
        
      
    
    {\displaystyle \{w_{k}\}_{k\in {\mathbb {N} }_{0}}}
  
 is called generalized Walsh system associated with action 
  
    
      
        {
        
          R
          
            t
          
        
        
          }
          
            t
            ∈
            
              D
            
          
        
      
    
    {\displaystyle \{R_{t}\}_{t\in \mathbb {D} }}
  
. Classical Walsh system becomes a special case, namely, for
 where 
  
    
      
        ⊕
      
    
    {\displaystyle \oplus }
  
 is addition modulo 2.
 In the early 1990s, Serge Ferleger and Fyodor Sukochev showed that in a broad class of Banach spaces (so called UMD spaces) generalized Walsh systems have many properties similar to the classical one: they form a Schauder basis and a uniform finite-dimensional decomposition in the space, have property of random unconditional convergence.
One important example of generalized Walsh system is Fermion Walsh system in non-commutative Lp spaces associated with hyperfinite type II factor.
 The Fermion Walsh system is a non-commutative, or "quantum" analog of the classical Walsh system. Unlike the latter, it consists of operators, not functions. Nevertheless, both systems share many important properties, e.g., both form an orthonormal basis in corresponding Hilbert space, or Schauder basis in corresponding symmetric spaces. Elements of the Fermion Walsh system are called Walsh operators.
 The term Fermion in the name of the system is explained by the fact that the enveloping operator space, the so-called hyperfinite type II factor 
  
    
      
        
          
            R
          
        
      
    
    {\displaystyle {\mathcal {R}}}
  
, may be viewed as the space of observables of the system of countably infinite number of distinct spin 
  
    
      
        1
        
          /
        
        2
      
    
    {\displaystyle 1/2}
  
 fermions. Each Rademacher operator acts on one particular fermion coordinate only, and there it is a Pauli matrix. It may be identified with the observable measuring spin component of that fermion along one of the axes 
  
    
      
        {
        x
        ,
        y
        ,
        z
        }
      
    
    {\displaystyle \{x,y,z\}}
  
 in spin space. Thus, a Walsh operator measures the spin of a subset of fermions, each along its own axis.
 Fix a sequence 
  
    
      
        α
        =
        (
        
          α
          
            1
          
        
        ,
        
          α
          
            2
          
        
        ,
        .
        .
        .
        )
      
    
    {\displaystyle \alpha =(\alpha _{1},\alpha _{2},...)}
  
 of integers with 
  
    
      
        
          α
          
            k
          
        
        ≥
        2
        ,
        k
        =
        1
        ,
        2
        ,
        …
      
    
    {\displaystyle \alpha _{k}\geq 2,k=1,2,\dots }
  
 and let 
  
    
      
        
          G
        
        =
        
          
            G
          
          
            α
          
        
        =
        
          ∏
          
            n
            =
            1
          
          
            ∞
          
        
        
          Z
        
        
          /
        
        
          α
          
            k
          
        
        
          Z
        
      
    
    {\displaystyle \mathbb {G} =\mathbb {G} _{\alpha }=\prod _{n=1}^{\infty }\mathbb {Z} /\alpha _{k}\mathbb {Z} }
  
 endowed with the product topology and the normalized Haar measure. Define 
  
    
      
        
          A
          
            0
          
        
        =
        1
      
    
    {\displaystyle A_{0}=1}
  
 and 
  
    
      
        
          A
          
            k
          
        
        =
        
          α
          
            1
          
        
        
          α
          
            2
          
        
        …
        
          α
          
            k
            −
            1
          
        
      
    
    {\displaystyle A_{k}=\alpha _{1}\alpha _{2}\dots \alpha _{k-1}}
  
. Each 
  
    
      
        x
        ∈
        
          G
        
      
    
    {\displaystyle x\in \mathbb {G} }
  
 can be associated with the real number
 This correspondence is a module zero isomorphism between 
  
    
      
        
          G
        
      
    
    {\displaystyle \mathbb {G} }
  
 and the unit interval. It also defines a norm which generates the topology of 
  
    
      
        
          G
        
      
    
    {\displaystyle \mathbb {G} }
  
. For 
  
    
      
        k
        =
        1
        ,
        2
        ,
        …
      
    
    {\displaystyle k=1,2,\dots }
  
, let 
  
    
      
        
          ρ
          
            k
          
        
        :
        
          G
        
        →
        
          C
        
      
    
    {\displaystyle \rho _{k}:\mathbb {G} \to \mathbb {C} }
  
 where
 The set 
  
    
      
        {
        
          ρ
          
            k
          
        
        }
      
    
    {\displaystyle \{\rho _{k}\}}
  
 is called generalized Rademacher system. The Vilenkin system is the group 
  
    
      
        
          
            
              
                G
              
              ^
            
          
        
        =
        
          ∐
          
            n
            =
            1
          
          
            ∞
          
        
        
          Z
        
        
          /
        
        
          α
          
            k
          
        
        
          Z
        
      
    
    {\displaystyle {\hat {\mathbb {G} }}=\coprod _{n=1}^{\infty }\mathbb {Z} /\alpha _{k}\mathbb {Z} }
  
 of (complex-valued) characters of 
  
    
      
        
          G
        
      
    
    {\displaystyle \mathbb {G} }
  
, which are all finite products of 
  
    
      
        {
        
          ρ
          
            k
          
        
        }
      
    
    {\displaystyle \{\rho _{k}\}}
  
. For each non-negative integer 
  
    
      
        n
      
    
    {\displaystyle n}
  
 there is a unique sequence 
  
    
      
        
          n
          
            0
          
        
        ,
        
          n
          
            1
          
        
        ,
        …
      
    
    {\displaystyle n_{0},n_{1},\dots }
  
 such that 
  
    
      
        0
        ≤
        
          n
          
            k
          
        
        <
        
          α
          
            k
            +
            1
          
        
        ,
        k
        =
        0
        ,
        1
        ,
        2
        ,
        …
      
    
    {\displaystyle 0\leq n_{k}<\alpha _{k+1},k=0,1,2,\dots }
  
 and
 Then 
  
    
      
        
          
            
              
                G
              
              ^
            
          
        
        =
        
          
            χ
            
              n
            
          
          
            |
          
          n
          =
          0
          ,
          1
          ,
          …
        
      
    
    {\displaystyle {\hat {\mathbb {G} }}={\chi _{n}|n=0,1,\dots }}
  
 where
 In particular, if 
  
    
      
        
          α
          
            k
          
        
        =
        2
        ,
        k
        =
        1
        ,
        2...
      
    
    {\displaystyle \alpha _{k}=2,k=1,2...}
  
, then 
  
    
      
        
          G
        
      
    
    {\displaystyle \mathbb {G} }
  
 is the Cantor group and 
  
    
      
        
          
            
              
                G
              
              ^
            
          
        
        =
        
          {
          
            
              χ
              
                n
              
            
            
              |
            
            n
            =
            0
            ,
            1
            ,
            …
          
          }
        
      
    
    {\displaystyle {\hat {\mathbb {G} }}=\left\{\chi _{n}|n=0,1,\dots \right\}}
  
 is the (real-valued) Walsh-Paley system.
 The Vilenkin system is a complete orthonormal system on 
  
    
      
        
          G
        
      
    
    {\displaystyle \mathbb {G} }
  
 and forms a Schauder basis in 
  
    
      
        
          L
          
            p
          
        
        (
        
          G
        
        ,
        
          C
        
        )
      
    
    {\displaystyle L^{p}(\mathbb {G} ,\mathbb {C} )}
  
,  
  
    
      
        1
        <
        p
        <
        ∞
      
    
    {\displaystyle 1<p<\infty }
  
.
 Romanuke showed that Walsh functions can be generalized to binary surfaces in a particular case of function of two variables. There also exist eight Walsh-like bases of orthonormal binary functions, whose structure is nonregular (unlike the structure of Walsh functions). These eight bases are generalized to surfaces (in the case of the function of two variables) also. It was proved that piecewise-constant functions can be represented within each of nine bases (including the Walsh functions basis) as finite sums of binary functions, when weighted with proper coefficients.
 Nonlinear phase extensions of discrete Walsh-Hadamard transform were developed. It was shown that the nonlinear phase basis functions with improved cross-correlation properties significantly outperform the traditional Walsh codes in code division multiple access (CDMA) communications.
 Applications of the Walsh functions can be found wherever digit representations are used, including speech recognition, medical and biological image processing, and digital holography.
 For example, the fast Walsh–Hadamard transform (FWHT) may be used in the analysis of digital quasi-Monte Carlo methods. In radio astronomy, Walsh functions can help reduce the effects of electrical crosstalk between antenna signals. They are also used in passive LCD panels as X and Y binary driving waveforms where the autocorrelation between X and Y can be made minimal for pixels that are off.