Giả sử có một vectơ DFT có độ dài N, biểu thị sự đối xứng liên hợp phức tạp quanh điểm giữa của nó, tức là , và cứ thế. và lần lượt là tần số DC và Nyquist, do đó là các số thực. Các yếu tố còn lại là phức tạp. X ( 1 ) = X ( N - 1 ) ∗ X ( 2 ) = X ( N - 2 ) ∗ X ( 0 ) X ( N / 2 )
Bây giờ, giả sử có một ma trận , với kích thước , nhân với vectơ X. N × N
Câu hỏi là:
Trong điều kiện nào, đối với ma trận , đối xứng liên hợp phức tạp xung quanh điểm giữa của vectơ kết quả được bảo toàn?Y
Động lực cho câu hỏi này là cố gắng đưa ra một ma trận tiền mã hóa dẫn đến một biểu tượng tiền mã hóa (tiền cân bằng) có IFFT là có thật.Y
BIÊN TẬP:
Cảm ơn @MattL. và @niaren. Khó khăn về câu hỏi này là tìm các điều kiện cần thiết. Câu trả lời của Matt thực sự là đủ. Nó cũng là đủ để thực hiện các sửa đổi sau đây:
Hàng đầu tiên và cột đầu tiên không cần bằng không. Thay vào đó, chúng có thể khác không, miễn là các giá trị của nó thể hiện sự đối xứng liên hợp phức tạp quanh điểm giữa, giá trị đầu tiên của nó là có thực và giá trị nó là có thực, giống như ký hiệu. Điều tương tự cũng có thể được ghi cho cột -thứ, các hàng -thứ, và đường chéo chính.( N / 2 + 1 ) ( N / 2 + 1 )
Thứ hai, có thể tạo ra sự tương ứng tương tự giữa ma trận ở góc trên bên trái và góc dưới bên phải giữa góc trên bên phải và góc dưới bên trái, nghĩa là chọn một ma trận bắt đầu từ đến , lật từ trái sang phải, lật ngược và lấy liên hợp, sau đó đặt ở góc dưới bên trái. Trên MATLAB, đó sẽ là:t 2 , N / 2 + 2 t N / 2 , N
T(N/2+2:N,2:N/2) = conj(fliplr(flipud(Tisi(2:(N/2),N/2+2:N))))
Cấu trúc này tương tự như cấu trúc của ma trận DFT. Đó sẽ là một điều kiện cần thiết?
EDIT (2):
Đoạn mã sau thực hiện một toán tử hợp lệ như vậy cho bất kỳ ma trận có giá trị thực :A
N = 8;
A = rand(N,N); %must be real-valued
w = exp(-1j*2*pi/N); % twiddle factor
W = w.^(repmat(0:N-1,N,1).*repmat(0:N-1,N,1).'); % DFT matrix
T = W*A*W'
EDIT (3):
Cũng rất thú vị khi lưu ý trình bày điều kiện đủ. Điều này xuất phát từ thực tế rằng:
W
Vì . Phương trình này trở thành:
Cuối cùng, vì là có giá trị thực, với điều kiện là thứ hạng đầy đủ, là đủ.