||This article provides insufficient context for those unfamiliar with the subject. (January 2013)|
The system of Walsh functions (or, simply, Walsh system) may be viewed as a discrete, digital counterpart of continuous, analog system of trigonometric functions on the unit interval. Unlike trigonometric functions, Walsh functions are only piecewise-continuous, and, in fact, are piecewise constant. The functions take the values -1 and +1 only, on sub-intervals defined by dyadic fractions.
Both systems form a complete, orthonomal set of functions, an orthonormal basis in Hilbert space of the square-integrable functions on the unit interval. Both are systems of bounded functions, unlike, say, Haar system or 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 former being Walsh series, and the latter - the theory of Hadamard transform.
Walsh functions and corresponding series and transforms find various applications in physics and engineering, in particular, in digital signal processing. They are used in speech recognition, in medical and biological image processing, in digital holography, and other areas.
Historically, various numerations of Walsh functions have been used, none of which could be considered particularly superior to another. In what follows, we will use so called Walsh-Paley numeration.
We define the sequence of Walsh functions , as follows.
For any , let
such that there are only finitely many non-zero kj and no trailing xj all equal to 1, be the canonical binary representations of integer k and real number x, correspondingly. Then, by definition
In particular, everywhere on the interval.
Notice that is precisely 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 system is an orthonormal basis of Hilbert space . Orthonormality means
and being a basis means that if, for every , we set then
It turns out that for every , the series converge to for almost every .
The Walsh system (in Walsh-Paley numeration) forms a Schauder basis in , . Note that, unlike the Haar system, and like the trigonometric system, this basis is not unconditional, nor is the system a Schauder basis in .
Let be the compact Cantor group endowed with Haar measure and let be its discrete group of characters. Elements of are readily identified with Walsh functions. Of course, the characters are defined on 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 let be a strongly continuous, uniformly bounded faithful action of on X. For every , consider its eigenspace . Then X is the closed linear span of the eigenspaces: . Assume that every eigenspace is one-dimensional and pick an element such that . Then the system , or the same system in the Walsh-Paley numeration of the characters is called generalized Walsh system associated with action . Classical Walsh system becomes a special case, namely, for
where is addition modulo 2.
In early nineties, Serge Ferleger and Fyodor Sukochev have shown 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.
Fermion Walsh system
Fermion Walsh system is a non-commutative, or "quantum" analogue 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 will be called Walsh operators.
The word "Fermion" in the name of the system is explained by the fact that the enveloping operator space, so called hyperfinite type II factor may be viewed as the space of observables of the system of countably infinite number of distinct spin fermions. Each Rademacher operator acts on one particular fermion coordinate only, and there it is a Pauli matix. It may be identified with observable measuring spin component of that fermion along one of the axes in spin space. Thus, Walsh operator is measuring spin of a subset of the fermions, each along its own axis.
Precise construction is as follows.
|This section is empty. You can help by adding to it. (August 2014)|
Applications (in mathematics) can be found wherever digit representations are used, e.g. in the analysis of digital quasi-Monte Carlo methods. For those purposes there is the Walsh–Hadamard transform (WHT). Also there exists the fast Walsh–Hadamard transform (FWHT), being more effective than WHT. Besides, for a particular case of the function of two variables the Walsh functions are generalized to binary surfaces. 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 (to the cases of the function of two variables) also. It was proved that piecewise-constant functions are represented within each of nine bases (including Walsh functions basis) as a finite sum of the binary functions, being weighted with the proper coefficients.
Walsh functions are used in Radio Astronomy to reduce the effects of electrical crosstalk between antenna signals. They are used in passive LCD panels as X and Y binary driving waveforms where the autocorelation between X and Y can be made minimal for pixels that are off.
- Romanuke V. V. ON THE POINT OF GENERALIZING THE WALSH FUNCTIONS TO SURFACES
- Romanuke V. V. GENERALIZATION OF THE EIGHT KNOWN ORTHONORMAL BASES OF BINARY FUNCTIONS TO SURFACES
- Romanuke V. V. EQUIDISTANTLY DISCRETE ON THE ARGUMENT AXIS FUNCTIONS AND THEIR REPRESENTATION IN THE ORTHONORMAL BASES SERIES