SYSTEMA CONSTRUCTUM

Accepted ontology entry

fft

The Fast Fourier Transform (FFT) is an algorithm that computes the Discrete Fourier Transform (DFT) of a sequence, or its inverse (IDFT). It transforms a finite sequence of equally-spaced samples of a function from its time-domain represen…

ACCEPTED THINGcmsozkshy03imjlssrh2zfhzn

Definition

The Fast Fourier Transform (FFT) is an algorithm that computes the Discrete Fourier Transform (DFT) of a sequence, or its inverse (IDFT). It transforms a finite sequence of equally-spaced samples of a function from its time-domain representation to its frequency-domain representation. The algorithm exploits symmetries in the DFT computation to reduce complexity from O(n²) to O(n log n). The parameters defining it are: (1) input: N complex numbers representing time-domain samples, (2) output: N complex numbers representing frequency-domain coefficients, (3) method: recursive decomposition of the DFT matrix using butterfly operations. It persists through implementation as a standardized algorithm in numerical computing libraries (NumPy, FFTW, Intel MKT) and hardware instructions. [formal: fft | substrate: behavior | horizon: hours | explicit: yes | epoch: 0.01]

Why it is in scope

The Fast Fourier Transform is a human-made algorithm for computing the Discrete Fourier Transform efficiently — converting a time-domain signal into its frequency-domain representation. Built as a computational procedure for spectral analysis, it persists through standardized implementations in software libraries and hardware accelerators used in audio processing, signal analysis, and scientific computing.

Names and aliases

Relations from this entry

  • cmsozp6hk03jcjlsspsh7cispDEPENDS_ON →

    FFT's operation is defined as an efficient algorithm for computing the DFT. Remove the DFT — the mathematical transform that decomposes signals into frequency coefficients — and FFT has nothing to compute. The dependency is constitutive: FFT is the 'how' of DFT computation, DFT is the 'what'.

  • cmspdibrl04whjlssto99iiufDERIVED_FROM →

    DERIVED_FROM test (historical): The Fourier transform concept (continuous, 1822) predates the FFT algorithm (Cooley-Tukey, 1965). The FFT is an efficient computational method for computing the discrete Fourier transform — it derives from and extends the Fourier transform concept.

  • cmspsgnup06f0jlssh5w4odx3DEPENDS_ON →

    FFT is an algorithm whose entire operational purpose is to compute the discrete Fourier transform efficiently. Remove DFT and FFT has no mechanism or purpose — present-tense removal test (Law 8) passes. DFT (epoch 0.06) predates FFT (0.83).

  • cmsozp6hk03jcjlsspsh7cispINSTANCE_OF →

    FFT (Fast Fourier Transform) is a specific efficient algorithm for computing the DFT. A competent speaker would call FFT a DFT computation method. It is a kind of DFT algorithm, not merely dependent on it.

  • cmsps9i0v06eejlssqrjcqyviINSTANCE_OF →

    FFT is a specific signal processing algorithm for computing the discrete Fourier transform efficiently. A competent DSP practitioner would classify FFT as a signal processing operation. Specific to general per Law 9.

Relations to this entry

  • cmspaqqkz04q1jlssyjlrjdft← SERVES

    zero-padding (appending zeros to a signal) was specifically designed to increase the apparent frequency resolution of FFT output. Its purpose is to serve FFT by interpolating the frequency domain — zero-padding SERVES fft.

  • cmsqg4mko005f3e32eyp15c4s← DEPENDS_ON

    STFT computes FFT on sliding window segments of the signal. Remove FFT and STFT loses its computational core — it stops operating. Removal test (Law 8) passes.

  • cmsvdsv7z003h5xhk3iuyiej2← DEPENDS_ON

    Spectral gating computes magnitude spectra per frame to estimate noise floor and attenuate bins; FFT is the computational core that produces those magnitude spectra. Remove FFT and spectral gating has no spectral representation to threshold — it stops operating. Pinned sense: spectral gating as per-band threshold attenuation in the frequency domain.

  • spectral-flanger← DEPENDS_ON

    Remove FFT (or any DFT equivalent) — the spectral flanger stops operating. It requires frequency-domain decomposition via FFT to compute the modulated phase ramp across bins; without frequency-domain transform capability, the effect cannot function.

  • overlap-save← DEPENDS_ON

    Overlap-save needs FFT to operate: its core mechanism is computing the FFT of overlapping signal blocks, multiplying in frequency domain, then IFFT-ing back. Remove FFT and overlap-save ceases to function. This passes the removal test (Law 8).

  • cepstral-peak-prominence← DEPENDS_ON

    Remove FFT — cepstral-peak-prominence stops operating. CPP is computed as the peak of the cepstrum, which requires FFT → log-spectrum → IFFT pipeline. Without DFT/FFT, no cepstrum can be computed.

  • cepstral-peak-picking← DEPENDS_ON

    Cepstral-peak-picking DEPENDS_ON fft — computing the real cepstrum requires taking the FFT of the signal, then the log, then the inverse FFT. Remove FFT and the entire cepstral computation collapses: there is no way to obtain the cepstrum without it.

  • phase-unwrapping← DEPENDS_ON

    Phase unwrapping operates on phase spectra obtained via FFT; remove FFT and there is no phase data to unwrap, so the unwrapping procedure ceases to operate.

  • cmspjfefp05lxjlssg1w6gyuv← DEPENDS_ON

    The cepstrum algorithm requires FFT as its core computational step: it computes the FFT of the log-power spectrum to produce the quefrency domain representation. Remove FFT and the cepstrum cannot operate. Which-came-first: FFT (epoch 0.69) predates cepstrum (epoch 0.88).

  • cmsrfbgwp01aykp53wp0b02wy← DEPENDS_ON

    Phase vocoder computes spectra via FFT — remove FFT and the phase vocoder cannot compute the analysis/synthesis spectra it needs. The which-came-first test: FFT existed long before phase vocoder, but this is a present-tense dependency, not historical.

Record identity

Created
Aug 11, 2026, 6:21 PM UTC
Content hash
23c4a8541cf5196b32eff204cc6c3e84ed48c648972fc189e22ed6f6cd111937

Open a related act record