Una matriz constante a lo largo de cada diagonal descendente de izquierda a derecha; la entrada (i,j) depende solo de la diferencia i-j, apareciendo con frecuencia en sistemas lineales invariantes en el tiempo y procesos estacionarios.

Principio

La estructura Toeplitz codifica invariancia por desplazamiento: aplicar la misma relación lineal a entradas desplazadas produce salidas desplazadas correspondientes, conduciendo a almacenamiento eficiente, algoritmos rápidos y conexiones espectrales con funciones generadoras.

Demostración

Una matriz Toeplitz T con primera fila [t_0, t_1, t_2,...] y primera columna [t_0, t_{-1}, t_{-2},...] tiene entradas T_{ij}=t_{i-j}; operadores de convolución discretizados en mallas uniformes generan matrices de Toeplitz.

Aplicación incorrecta

Tratar una matriz empírica casi Toeplitz como exactamente Toeplitz y usar solucionadores rápidos de Toeplitz sin tener en cuenta correcciones de frontera o no estacionariedad, produce soluciones sesgadas.

Consecuencia

Aprovechar la estructura Toeplitz reduce la complejidad computacional (p. ej., mediante recurrencia de Levinson o aproximaciones circulantes basadas en FFT) y conecta sistemas lineales con multiplicadores en el dominio de la frecuencia.

Inversión

Una matriz de Hankel tiene anti-diagonales constantes (entradas dependen de i+j) en lugar de diferencias; invertir la simetría de índices cambia la invariancia por desplazamiento asociada y las propiedades espectrales.

Límite

La suposición Toeplitz es apropiada para problemas con invariancia por traslación en dominios infinitos o periódicos; efectos de frontera, muestreo no uniforme o inhomogeneidades rompen la estructura y requieren modelos modificados.

Tensión semántica

Relacionado con matrices circulantes que son Toeplitz con periodicidad (wrap-around); las matrices circulantes se diagonalizan con la transformada discreta de Fourier, mientras que las Toeplitz generales no lo hacen exactamente.

Síntesis

Una matriz de Toeplitz es una matriz de diagonales constantes que representa operadores lineales discretos invariantes por traslación; su estructura permite aceleraciones algorítmicas y análisis espectral cuando la invariancia o estacionariedad se cumple aproximadamente.