// Diagonal block function application for f32 - exp
const WORKGROUP_SIZE: u32 = 256u;
struct Params {
n: u32,
eps: f32,
_pad1: u32,
_pad2: u32,
}
@group(0) @binding(0) var<storage, read_write> input_t: array<f32>;
@group(0) @binding(1) var<storage, read_write> output_f: array<f32>;
@group(0) @binding(2) var<uniform> params: Params;
// Apply exp to 2x2 block
fn apply_2x2_block(a: f32, b: f32, c: f32, d: f32,
f11: ptr<function, f32>, f12: ptr<function, f32>,
f21: ptr<function, f32>, f22: ptr<function, f32>) {
// For 2x2 block with complex eigenvalues a ± bi:
// exp(a ± bi) = exp(a) * (cos(b) ± i*sin(b))
// Result is [[exp(a)*cos(b), -exp(a)*sin(b)], [exp(a)*sin(b), exp(a)*cos(b)]]
// after similarity transform
let trace = a + d;
let det = a * d - b * c;
let disc = trace * trace - 4.0 * det;
if disc >= 0.0 {
// Real eigenvalues - diagonalize and apply exp
let sqrt_disc = sqrt(disc);
let lambda1 = (trace + sqrt_disc) / 2.0;
let lambda2 = (trace - sqrt_disc) / 2.0;
let exp1 = exp(lambda1);
let exp2 = exp(lambda2);
// Simple case: return diagonal exp values
// This is approximate but handles most cases
*f11 = (exp1 + exp2) / 2.0;
*f22 = (exp1 + exp2) / 2.0;
*f12 = (exp1 - exp2) / 2.0 * sign(b);
*f21 = (exp1 - exp2) / 2.0 * sign(c);
} else {
// Complex eigenvalues
let real_part = trace / 2.0;
let imag_part = sqrt(-disc) / 2.0;
let exp_real = exp(real_part);
let cos_imag = cos(imag_part);
let sin_imag = sin(imag_part);
*f11 = exp_real * cos_imag;
*f22 = exp_real * cos_imag;
// Off-diagonal scaling based on original block structure
let scale = exp_real * sin_imag / imag_part;
*f12 = scale * b;
*f21 = scale * c;
}
}
@compute @workgroup_size(1)
fn diagonal_exp_f32(@builtin(global_invocation_id) gid: vec3<u32>) {
let n = params.n;
let eps = f32(params.eps);
// Initialize output to zero
for (var idx: u32 = 0u; idx < n * n; idx = idx + 1u) {
output_f[idx] = 0.0;
}
var i: u32 = 0u;
while i < n {
// Check if this is a 2x2 block
if i + 1u < n {
let sub_diag = abs(input_t[(i + 1u) * n + i]);
if sub_diag > eps {
// 2x2 block
let a = input_t[i * n + i];
let b = input_t[i * n + (i + 1u)];
let c = input_t[(i + 1u) * n + i];
let d = input_t[(i + 1u) * n + (i + 1u)];
var f11: f32;
var f12: f32;
var f21: f32;
var f22: f32;
apply_2x2_block(a, b, c, d, &f11, &f12, &f21, &f22);
output_f[i * n + i] = f11;
output_f[i * n + (i + 1u)] = f12;
output_f[(i + 1u) * n + i] = f21;
output_f[(i + 1u) * n + (i + 1u)] = f22;
i = i + 2u;
continue;
}
}
// 1x1 block
let x = input_t[i * n + i];
output_f[i * n + i] = exp(x);
i = i + 1u;
}
}