• 대한수학회지
• /
• 제59권6호
• /
• pp.1047-1065
• /
• 2022

For two dimensional lattices, a Gaussian basis achieves all two successive minima. For dimension larger than two, constructing a pairwise Gaussian basis is useful to compute short vectors of the lattice. For three dimensional lattices, Semaev showed that one can convert a pairwise Gaussian basis to a basis achieving all three successive minima by one simple reduction. A pairwise Gaussian basis can be obtained from a given basis by executing Gauss algorithm for each pair of basis vectors repeatedly until it returns a pairwise Gaussian basis. In this article, we prove a necessary and sufficient condition for a pairwise Gaussian basis to achieve the first k successive minima for three dimensional lattices for each k ∈ {1, 2, 3} by modifying Semaev's condition. Our condition directly checks whether a pairwise Gaussian basis contains the first k shortest independent vectors for three dimensional lattices. LLL is the most basic lattice basis reduction algorithm and we study how to use LLL to compute a pairwise Gaussian basis. For δ ≥ 0.9, we prove that LLL(δ) with an additional simple reduction turns any basis for a three dimensional lattice into a pairwise SV-reduced basis. By using this, we convert an LLL reduced basis to a pairwise Gaussian basis in a few simple reductions. Our result suggests that the LLL algorithm is quite effective to compute a basis with all three successive minima for three dimensional lattices.

• Journal of the Korean Society for Industrial and Applied Mathematics
• /
• 제19권2호
• /
• pp.171-188
• /
• 2015

In this paper, the efficient column-wise/row-wise lattice reduction (LR) updating and downdating methods are developed and their complexities are analyzed. The well-known LLL algorithm, developed by Lenstra, Lenstra, and Lov${\acute{a}}$sz, is considered as a LR method. When the column or the row is appended/deleted in the given lattice basis matrix H, the proposed updating and downdating methods modify the preconditioning matrix that is primarily computed for the LR with H and provide the initial parameters to reduce the updated lattice basis matrix efficiently. Since the modified preconditioning matrix keeps the information of the original reduced lattice bases, the redundant computational complexities can be eliminated when reducing the lattice by using the proposed methods. In addition, the rounding error analysis of the proposed methods is studied. The numerical results demonstrate that the proposed methods drastically reduce the computational load without any performance loss in terms of the condition number of the reduced lattice basis matrix.

• 대한전자공학회논문지TC
• /
• 제46권6호
• /
• pp.86-93
• /
• 2009

본 논문에서는 다중 사용자 다중 입출력 시스템을 위해 격자 감소 기법 기반 전부호화(preceding) 기법에 대해 연구하였다. 송신 단에서 완벽한 채널 상태 정보(CSI : Channel state information)를 이용할 수 있을 때, 벡터 분산 기법(VP : vector perturbation)은 큰 채널 전송 용량(sum capacity)을 얻을 수 있으면서 간단한 수신기로 구현될 수 있다. 그러나 VP 기법의 부호화는 비결정적 난해(NP-hard : nondeterministic polynomial time-hard) 문제이다. 이에 반해 격자 감소 기법 기반의 VP 기법은 부호화 복잡도를 크게 줄일 수 있다. 본 논문에서는 기본 및 이중 베이시스의 동시 감소를 통한 Seysen 격자 감소 기반 VP 기법(VP-SLR : vector perturbation with Seysen's lattice reduction)을 제안한다. 모의실험 결과는 LLL 기반 VP기법(VP-LLL : vector perturbation with Lenstra-Lenstra-Lovasz lattice reduction)에 비해 제안된 VP-SLR 기법이 더 낮은 비트 오류율(BER : bit error rate)과 더 큰 전송 용량을 가짐을 보여준다.

• Journal of the Korean Society for Industrial and Applied Mathematics
• /
• 제20권2호
• /
• pp.107-121
• /
• 2016

We analyze the complexity of the LLL algorithm, invented by Lenstra, Lenstra, and $Lov{\acute{a}}sz$ as a a well-known lattice reduction (LR) algorithm which is previously known as having the complexity of $O(N^4{\log}B)$ multiplications (or, $O(N^5({\log}B)^2)$ bit operations) for a lattice basis matrix $H({\in}{\mathbb{R}}^{M{\times}N})$ where B is the maximum value among the squared norm of columns of H. This implies that the complexity of the lattice reduction algorithm depends only on the matrix size and the lattice basis norm. However, the matrix structures (i.e., the correlation among the columns) of a given lattice matrix, which is usually measured by its condition number or determinant, can affect the computational complexity of the LR algorithm. In this paper, to see how the matrix structures can affect the LLL algorithm's complexity, we derive a more tight upper bound on the complexity of LLL algorithm in terms of the condition number and determinant of a given lattice matrix. We also analyze the complexities of the LLL updating/downdating schemes using the proposed upper bound.

• 한국통신학회논문지
• /
• 제34권9C호
• /
• pp.915-921
• /
• 2009

LLL (Lenstra-Lenstra-Lovasz) 알고리즘은 보다 좋은 채널 행렬의 기저를 얻기 위하여 주로 사용되는 격자 감소기법이다. 본 논문에서는 LRA (lattice reduction aided) 프리코딩 기법에서 채널 행렬의 기저 (basis) 벡터를 격자 감소시키기 위하여 LLL 알고리즘 대신 Seysen 알고리즘 (SA)을 사용하였으며, 기존의 선형 프리코딩 기법을 SA를 통하여 얻어진 변환된 채널 행렬에 적용하였다. SA를 통하여 LLL 알고리즘보다 높은 직교성을 가진 기저를 얻어낼 수 있으므로, SA 기반의 LRA 프리코딩 기법은 기존의 LLL 기반의 LRA 프리코딩 기법보다 우수한 성능을 가진다. 모의실험 결과를 통하여 LRA 프리코딩에서 격자 감소를 위하여 SA를 사용한 경우, LLL 알고리즘을 사용한 경우보다 target BER $10^{-5}$에서 0.5dB정도의 BER 성능 이득이 얻어짐을 입증한다.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2008년도 하계종합학술대회
• /
• pp.187-188
• /
• 2008

This paper presents a lattice reduction aided (LRA) MIMO receiver using dual basis. By reducing the basis of channel inversion matrix which directly boosts the noise power, the LRA-MIMO receiver using dual basis has better performance than that using primal basis.

• Journal of Communications and Networks
• /
• 제13권5호
• /
• pp.481-493
• /
• 2011

Multiple-input multiple-output (MIMO) technology provides high data rate and enhanced quality of service for wireless communications. Since the benefits from MIMO result in a heavy computational load in detectors, the design of low-complexity suboptimum receivers is currently an active area of research. Lattice-reduction-aided detection (LRAD) has been shown to be an effective low-complexity method with near-maximum-likelihood performance. In this paper, we advocate the use of systolic array architectures for MIMO receivers, and in particular we exhibit one of them based on LRAD. The "Lenstra-Lenstra-Lov$\acute{a}$sz (LLL) lattice reduction algorithm" and the ensuing linear detections or successive spatial-interference cancellations can be located in the same array, which is considerably hardware-efficient. Since the conventional form of the LLL algorithm is not immediately suitable for parallel processing, two modified LLL algorithms are considered here for the systolic array. LLL algorithm with full-size reduction-LLL is one of the versions more suitable for parallel processing. Another variant is the all-swap lattice-reduction (ASLR) algorithm for complex-valued lattices, which processes all lattice basis vectors simultaneously within one iteration. Our novel systolic array can operate both algorithms with different external logic controls. In order to simplify the systolic array design, we replace the Lov$\acute{a}$sz condition in the definition of LLL-reduced lattice with the looser Siegel condition. Simulation results show that for LR-aided linear detections, the bit-error-rate performance is still maintained with this relaxation. Comparisons between the two algorithms in terms of bit-error-rate performance, and average field-programmable gate array processing time in the systolic array are made, which shows that ASLR is a better choice for a systolic architecture, especially for systems with a large number of antennas.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제3권6호
• /
• pp.647-666
• /
• 2009

Multiple-input multiple-output (MIMO) multiplexing is an attractive technology that increases the channel capacity without requiring additional spectral resources. The design of low complexity and high performance detection algorithms capable of accurately demultiplexing the transmitted signals is challenging. In this technical survey, we introduce the state-of-the-art MIMO detection techniques. These techniques are divided into three categories, viz. linear detection (LD), decision-feedback detection (DFD), and tree-search detection (TSD). Also, we introduce the lattice basis reduction techniques that obtain a more orthogonal channel matrix over which the detection is done. Detailed discussions on the advantages and drawbacks of each detection algorithm are also introduced. Furthermore, several recent author contributions related to MIMO detection are revisited throughout this survey.

• Bulletin of the Korean Chemical Society
• /
• 제18권9호
• /
• pp.976-981
• /
• 1997

The magnetic susceptibilities of molybdenum ions with 4d1 electronic configuration in the octahedral crystal field were calculated on the basis of ligand field theory. The experimental magnetic susceptibilities for molybdenum ions, which are stabilized at the octahedral site in the perovskite lattice of Ba2ScMoⅤO6 and Sr2YMoⅤO6, were compared with the theoretical ones. We have tried to fit their temperature dependence of magnetic susceptibility with ligand field parameters, spin-orbit coupling constant ζSO, and orbital reduction parameter κ according to intermediate field coupling and strong field theory. Strong field coupling theory could not explain experimental curves without unrealistically large axial ligand field, since it ignores the mixing up between different state via spin-orbit interaction and ligand field. On the other hand, the intermediate field coupling theory could successfully reproduce experimental data in octahedral and trigonal ligand field. The fitting result demonstrates not only the fact that spin-orbit interaction is primarily responsible for the variation of magnetic behavior but also the fact that effective orbital overlap, enhanced by cubic crystal structure, reduces significantly orbital angular momentum as indicated by κ parameter.

• International Journal of Aeronautical and Space Sciences
• /
• 제14권4호
• /
• pp.310-323
• /
• 2013

In this paper, the aeroelastic static response of flexible wings with arbitrary cross-section geometry via a coupled CUF-XFLR5 approach is presented. Refined structural one-dimensional (1D) models, with a variable order of expansion for the displacement field, are developed on the basis of the Carrera Unified Formulation (CUF), taking into account cross-sectional deformability. A three-dimensional (3D) Panel Method is employed for the aerodynamic analysis, providing more accuracy with respect to the Vortex Lattice Method (VLM). A straight wing with an airfoil cross-section is modeled as a clamped beam, by means of the finite element method (FEM). Numerical results present the variation of wing aerodynamic parameters, and the equilibrium aeroelastic response is evaluated in terms of displacements and in-plane cross-section deformation. Aeroelastic coupled analyses are based on an iterative procedure, as well as a linear coupling approach for different free stream velocities. A convergent trend of displacements and aerodynamic coefficients is achieved as the structural model accuracy increases. Comparisons with 3D finite element solutions prove that an accurate description of the in-plane cross-section deformation is provided by the proposed 1D CUF model, through a significant reduction in computational cost.