This section develops the complete FSD algorithm. The emphasis is on the signal-processing rationale behind each design choice: why the demixing stage is posed in the STFT domain, why multi-block CPSD matrices are jointly diagonalized, and why the separating filters are regularized in the time domain after each frequency-domain update. The target setting remains the same throughout: determined underwater array observations corrupted by long-delay multipath, overlapping source spectra, and additive noise over the to 30 dB range.
4.2. Multi-Block CPSD Joint Diagonalization
Conventional second-order BSS methods typically diagonalize either one covariance matrix or a small set of fixed time-lagged covariances. FSD instead works with multiple CPSD matrices [
22] extracted from successive temporal segments of the same recording. That distinction is important in underwater acoustics. Ship-radiated noise is rarely stationary over the full observation interval: propeller loading changes with motion, machinery signatures pulse, and bioacoustic emissions appear intermittently. The spatial covariance structure therefore drifts from block to block even when the propagation geometry remains approximately fixed. Joint diagonalization across those blocks turns that drift into a separation cue.
Let denote the STFT coefficient vector at frequency bin f and time frame t. The STFT was implemented with a Hamming window and a hop size of , corresponding to 75% overlap. The FFT size is configuration-specific and is reported with the corresponding audited experiment. The total number of frames is denoted by .
To capture temporal variations, the frames are divided into
K consecutive blocks. The block count controls a performance–complexity trade-off: smaller
K gives longer blocks and lower per-block estimation variance, whereas larger
K captures finer non-stationarity but increases runtime and may increase the variance of each local CPSD estimate. The audited compact configuration uses
as a practical compromise, not as a universal optimum; the sensitivity to
K is reported in
Section 5.4. For the
k-th block (
), the CPSD matrix at frequency
f is estimated as
where
,
, and
denotes the Hermitian transpose. Each frequency bin therefore carries
K CPSD matrices, each tied to a different portion of the observation window and hence to a different local source-activity pattern.
The separation matrix
is applied to the observed coefficients to obtain the separated components:
Ideally, the output CPSD matrices become diagonal for every block k. In that case, the separated components are mutually uncorrelated within each local time segment, which is precisely the second-order condition FSD tries to enforce.
We quantify the degree of diagonalization by the sum of squared off-diagonal elements across all blocks. The cost function for frequency
f is defined as:
Minimizing encourages to diagonalize all K CPSD matrices simultaneously. A single block supplies only one local second-order estimate. Several blocks, if their second-order structure differs enough, can sharpen the demixing problem, but the empirical effect depends on the tested protocol and the cost of estimating additional CPSD matrices.
Numerical conditioning varies strongly across frequency because underwater source spectra and channel transfer functions are highly uneven. We therefore assign each frequency bin a normalization factor
that normalizes the aggregate CPSD power:
where
denotes the Frobenius norm and
prevents division by zero. This factor enters the gradient update so that a few high-energy bands do not dominate the optimization.
The objective is non-convex, so no useful closed-form solution is available. FSD therefore updates iteratively through a complex-valued gradient descent.
We define the transformed CPSD matrix for block
k as
. The off-diagonal part of
is obtained by setting its diagonal entries to zero:
The gradient of
with respect to the complex matrix
(treating
and its conjugate
as independent variables) can be derived as:
In practice, we compute the gradient matrix
as:
A raw gradient step may perturb the diagonal terms of
even though those terms do not contribute to the cost. That perturbation adds numerical clutter without helping separation. We therefore remove the diagonal part of
before updating:
The separation matrix is then updated using a learning rate
:
The frequency-domain demixing matrices alone do not guarantee physically sensible separating filters. To constrain their effective support, we map
back to the time domain after each update. Let
denote the corresponding impulse response. We retain only the first
L taps and set the remainder to zero:
The constrained matrix
is then recomputed by the FFT. The parameter
L is the compact support imposed on the demixing filters and is therefore a regularization parameter rather than the physical BELLHOP channel length. This distinction is important because the current ShipsEarBSS benchmark applies BELLHOP arrivals through arrival-based filtering and does not materialize a fixed-length channel impulse response for each path. At 16 kHz, the tested values
and 512 correspond to approximately 4, 8, 16, and 32 ms, respectively. The ablation in
Section 5.4 evaluates this sensitivity; it does not imply that
L covers the full physical propagation memory or that one value is universally optimal.
The resulting optimization problem lives in a non-convex complex domain, and the time-domain truncation makes strict convergence analysis difficult. Still, the frequency-wise normalization by acts as an effective pre-conditioner, keeping the gradient scale under control across bands. We therefore use a fixed learning rate rather than an elaborate decay schedule. In the audited experiments reported below, iteration stops once the relative change in the cost falls below or the update count reaches . No numerical divergence or case-level failure was observed in the audited runs with this fixed setting, so it is retained as a reproducible engineering choice rather than a general convergence guarantee.
4.3. Optional Output Ordering and Scale Ambiguity Handling
The separation matrices produced by the gradient descent stage still inherit the familiar ordering and scaling ambiguities of frequency-domain BSS. In this manuscript, output ordering is treated as an optional algorithmic mechanism for standardizing the raw order of reconstructed outputs. Scale ambiguity is handled consistently in the evaluation stage through gain alignment before computing SDR and correlation; algorithmic scaling restoration is not treated as an independent contribution in this study.
Many underwater man-made sources are visibly non-Gaussian, whereas ambient background fluctuations often lie closer to Gaussian behavior. This contrast motivates the use of complex-domain kurtosis as one possible output-ordering heuristic. For a complex random variable
Y, the normalized kurtosis is
For super-Gaussian sources, ; for Gaussian noise, . Cavitation and rotating machinery often generate impulsive waveforms with heavy-tailed amplitude statistics, so large positive kurtosis values are physically plausible for several ship-radiated components. For each frequency bin f and output channel i, we compute from . Sorting channels by descending before iSTFT changes the raw algorithmic output order. It should be interpreted as an output-ordering heuristic, not as a solution to the general frequency-domain permutation ambiguity. The evaluation-time reference assignment used for SDR, correlation, MSE and the SIR is a metric-computation step.
Because blind source separation has inherent scale ambiguity, separated components may have arbitrary gains. Rather than claiming an algorithmic scaling-restoration module, this study applies the same gain alignment to all evaluated methods before computing scale-sensitive metrics. This convention makes the reported SDR and correlation comparable across algorithms without treating scaling correction as a separate FSD contribution.
With the final , the separated STFT coefficients are computed first. If optional ordering postprocessing is enabled, the output channels of are re-ordered before synthesis. An inverse STFT with the same Hamming-window and -hop settings then returns the time-domain source estimates .
4.4. Methodological Rationale for Underwater Acoustic Scenarios
The design choices embedded in FSD address several features that recur in underwater array recordings and are often troublesome for generic BSS methods.
By operating in the frequency domain and jointly diagonalizing multiple CPSD matrices, FSD can address long multipath channels without explicit identification of the channel impulse responses themselves. That stands in contrast to time-domain ICA methods such as FastICA and JADE, whose instantaneous-mixing assumptions are poorly matched to delayed underwater propagation. It also differs from SOBI, whose time-lagged covariances become less discriminative when delay spread is large and source activity changes within the analysis window.
Second-order criteria also interact more favorably with additive Gaussian noise than higher-order ones, because Gaussian noise contributes primarily to the diagonal of the CPSD matrices and does not directly bias the off-diagonal terms that drive the objective. This point is especially relevant in low-SNR underwater recordings, where fourth-order statistics are often poorly estimated. The explicit time-domain truncation adds a second layer of protection by discouraging demixing filters from chasing narrow, noise-dominated spectral fluctuations.
Many underwater sources are strongly non-stationary over the time scale of a few STFT blocks: fishing boats show pulsed harmonics, drilling platforms generate rhythmic impacts, and whale calls appear intermittently. FSD exploits that fact directly. The same separation matrix must diagonalize second-order statistics extracted from different time intervals, so temporal variability becomes an ally rather than a nuisance.
When enabled, complex-domain kurtosis provides a lightweight ordering heuristic rooted in the non-Gaussian statistics of many man-made underwater sources. Unlike correlation-based schemes, it does not require reference signals or exhaustive pair-wise matching across bins. Its role here remains limited, however. The repeated-trial conclusions in
Section 5.3 depend on the audited full-rerun configuration and should not be read as evidence that kurtosis ranking resolves cross-frequency ambiguity in general.
FSD does require iterative optimization, but the resulting cost remains manageable for the array sizes considered here (
). The dominant per-iteration expense is the set of
K matrix multiplications of size
, yielding the familiar
scaling. For fixed
K,
N, and STFT resolution, the method remains suitable for structured offline analysis and batch evaluation; the empirical runtime consequences of the audited configurations are reported in
Section 5.3.
The next section evaluates these claims experimentally and then restricts the formal quantitative comparison to the traceable algorithmic baseline set retained in the revised evidence chain.