정의
격자(格子, lattice)란 유클리드 공간 ℝⁿ(보통 n=2,3) 안에 일정한 주기성을 가지고 반복되는 점들의 배열을 말한다. 격자를 이루는 점들은 한 개 혹은 여러 개의 선형 독립인 벡터 b₁, b₂, …, bₙ(기저 벡터)로 생성되는 정수 선형 결합 형태
$$
\Lambda = {, k₁\mathbf{b}_1 + k₂\mathbf{b}_2 + \dots + k_n\mathbf{b}_n \mid k_i \in \mathbb{Z},}
$$
으로 표현된다. 즉, 격자는 ℤⁿ와 선형 변환에 의해 서로 동형인 무한히 규칙적인 점군이다.
1. 주요 종류
| 종류 | 정의·특징 | 대표적인 예 |
|---|---|---|
| 정사각격자 (Square lattice) | 2차원에서 두 기저 벡터가 서로 직교하고 길이가 같은 경우 | 체스판, 정사각형 격자 |
| 직사각격자 (Rectangular lattice) | 2차원에서 기저 벡터가 직교하지만 길이가 서로 다를 때 | 직사각형 타일링 |
| 육각격자 (Hexagonal lattice) | 2차원에서 기저 벡터가 60° 각을 이루고 길이가 같은 경우 | 그래핀, 벌집 구조 |
| 체격자 (Cubic lattice) | 3차원에서 세 기저 벡터가 서로 직교하고 길이가 같은 경우 | 단순 입방격자 |
| 체심입방격자 (Body‑centered cubic, BCC) | 3차원 격자에 격자점 외에 각 셀의 중심에도 점이 존재 | 금속 Fe(철) 등 |
| 면심입방격자 (Face‑centered cubic, FCC) | 각 면의 중앙에도 점이 존재 | 알루미늄, 금속 Au 등 |
| 사방격자 (Tetragonal lattice) | 두 축이 같은 길이, 나머지 한 축이 다른 경우 | 일부 결정 구조 |
| 정방격자 (Orthorhombic lattice) | 세 축이 서로 직교하지만 각각 길이가 서로 다름 | 다양한 광물 구조 |
| 단위 격자 (Unit cell) | 격자를 구성하는 최소 반복 단위; 부피·면적이 최소인 평행육면체 |
2. 성질 및 수학적 특징
-
선형 독립성
기저 벡터 {bᵢ}는 ℝⁿ에서 선형 독립이며, 이를 통해 격자는 n차원 벡터공간 전체를 ℤ-선형 결합으로 전부 채운다. -
밀도와 부피
격자를 생성하는 기저 행렬 B = [b₁ … bₙ]의 절대 행렬식 |det B| 은 단위 셀(기저 평행다각형/평행육면체)의 부피를 나타낸다. 부피가 작을수록 격자 점들의 밀도는 높아진다. -
디오판트스(듀얼) 격자
격자 Λ의 듀얼(대칭) 격자 Λ* 은
$$ \Lambda^{*}= {, \mathbf{y}\in \mathbb{R}^{n} \mid \langle \mathbf{y},\mathbf{x}\rangle\in\mathbb{Z}\ \forall \mathbf{x}\in\Lambda ,} $$
로 정의된다. 정사각격자와 정사각격자는 서로의 듀얼이며, BCC와 FCC는 상호 듀얼 관계에 있다. -
대칭군
격자의 대칭성을 기술하는 군은 격자군(space group) 으로, 회전·반사·전단·평행이동 등으로 이루어진 230개의 3차원 결정군이 있다. -
라티스 라디스(Lattice radius)와 최소 거리
격자 점 사이의 최소 거리 dₘᵢₙ 은 기저 벡터들의 조합 중 가장 짧은 비영벡터의 길이이며, 이는 격자 포장 밀도와 직접 연관된다.
3. 응용 분야
| 분야 | 구체적 활용 사례 |
|---|---|
| 결정학·재료과학 | 금속, 반도체, 광물의 원자 배열 해석; X‑ray 회절 패턴 예측 |
| 암호학 | 격자 기반 난이도 문제(LWE, SIS 등)를 이용한 포스트‑양자 암호 체계 |
| 컴퓨터 그래픽 | 텍스처 매핑, 폴리곤 메쉬의 정규화, 샘플링 그리드 |
| 수학·수론 | 정수론적 격자 (예: 라그랑주 최소점, 베버 정리) |
| 통계·데이터 과학 | 격자 기반 분포 approximation, 히트맵 및 격자 모델링 |
| 신호 처리 | 다중채널 샘플링, 격자 필터(예: 격자 기반 FIR 필터) |
| 양자물리·양자컴퓨팅 | 격자 모델(이징 모델 등) 통해 상전이와 양자 얽힘 연구 |
| 전산유체역학(CFD) | 구조화 격자(Structured mesh)와 비구조 격자(Unstructured mesh) 사용 |
4. 역사적 배경
- 고대: 격자 개념은 고대 그리스·이집트의 건축과 토지 측량에서 이미 사용되었으며, ‘격자 무늬(그리드)’라는 용어는 고전 기하학에 뿌리를 둔다.
- 19세기: 프랑스 수학자 오귀스트 푸아송(Auguste Poincaré) 와 독일의 에른스트 베르스틸(G. B. B. B. J. B. J.—실제로는 페르디난드 라우어(Ferdinand Georg Frobenius)와 에른스트 베터(E. Betti) 등)이 격자와 그 대칭군을 체계화하였다.
- 20세기: 맥스웰(Maxwell) 과 브라그(Bragg) 가 X‑ray 회절을 통해 결정 격자를 실험적으로 확인했으며, 히르시히(Hermann Minkowski) 가 수학적으로 격자 이론을 정립(특히 라티스 포인트와 디오판트스 격자)하였다.
- 21세기: 격자 기반 암호학(LWE, NTRU 등)과 양자 시뮬레이션에 핵심 도구로 자리 잡으며, 고성능 컴퓨팅에서 ‘격자’는 병렬 처리와 메모리 정렬에도 필수적이다.
5. 관련 개념·용어
- 단위 셀(Unit cell): 격자를 가장 작은 반복 단위로 만든 다면체.
- 브래베리(Brauer) 격자: 모듈러 형식과 연관된 격자 구조.
- 라그랑주 최소점(Lagrange minimum): 격자 안에서 가장 짧은 비영벡터의 길이.
- 볼록 몸체(Convex body)와 Minkowski’s theorem: 격자와 볼록 몸체 사이의 관계를 다룬 정리.
- 점군(Point group): 격자의 회전·반사 대칭성만을 고려한 군.
- 격자 기반 최적화(Lattice reduction): LLL 알고리즘 등, 격자를 더 ‘짧고 거의 직교’한 형태로 변환하는 과정.
6. 참고문헌
- J. H. Conway & N. J. A. Sloane, Sphere Packings, Lattices and Groups, 3rd ed., Springer, 1999.
- M. Baake & U. Grimm, Aperiodic Order. Vol. 1: A Mathematical Invitation, Cambridge University Press, 2013.
- D. Micciancio & S. Goldwasser, Complexity of Lattice Problems: A Cryptographic Perspective, Springer, 2002.
- C. Kittel, Introduction to Solid State Physics, 8th ed., Wiley, 2004.
- H. Minkowski, Geometrie der Zahlen, Teubner, 1910 (reprint).
위 내용은 격자(기하학)의 정의부터 주요 종류, 수학적 성질, 응용 분야, 역사적 전개, 관련 용어 및 참고문헌까지 포괄적으로 정리한 백과사전 수준의 정보이다.