계산 관점
선형시간 scan과 고정 크기 state가 throughput·memory 측면의 이점을 제공한다.
Attraction, clustering, and the first empirical attention sink in a state-space language model
좁은 화면에서는 다이어그램을 좌우로 스크롤할 수 있습니다.
핵심은 고정 크기 상태가 “무엇을 기억하는가”뿐 아니라, 깊이가 증가할 때 토큰 표현이 “어느 방향으로 몰리는가”를 함께 분석해야 한다는 것이다.
Attention이 없는 모델에서도 왜 맨 앞 토큰이 깊은 층의 정보 흐름을 독점할 수 있는가?
2026년 11월 5일 arXiv에 최초 공개된 v1 First-Token Attraction in Mamba Dynamics는 Mamba 토큰 표현을 고차원 구면 위의 연속시간 흐름으로 해석한다. 저자들은 첫 토큰의 극한 방향이 후속 토큰을 끌어당겨 clustering을 만들고, Falcon-Mamba-7B의 깊은 층에서 첫 위치에 대한 hidden-attention 집중이 커진다고 보고한다. 논문 표지에는 NeurIPS 2026이 명시돼 있지만, 조사 시점에 별도 proceedings 페이지는 확인하지 못했다.
LFM은 Liquid AI의 모델군이고, Mamba는 입력 의존 선택성을 가진 상태공간 아키텍처다. LFM2는 입력 의존 gated short convolution과 일부 GQA를 결합하며, LFM3는 별도의 tri-hybrid 제품군이다. LFM=LTC=LNN=Mamba라는 동일시는 틀리며, 이번 Mamba·Mamba-2 분석을 모든 LFM 세대에 소급해서는 안 된다.
Recurrent state는 과거 입력을 압축한 내부 메모리이고, token representation은 층을 거치며 갱신되는 각 위치의 표현이다. 이 논문은 상태 용량 자체보다 후자의 깊이 방향 동역학을 본다. Attention sink는 여러 후속 위치의 유효 상호작용이 한 위치—여기서는 첫 토큰—에 과도하게 집중되는 현상이다. Mamba에는 softmax attention head가 없으므로 저자들은 S6의 입력–출력 전개로 얻은 hidden attention matrix를 사용한다.
긴 이력, 낮은 비용, 높은 정확도를 함께 달성하려는 목표는 여전히 다목적 최적화다. 이번 연구는 여기에 토큰 다양성 보존과 위치 독점 억제를 추가한다.
표준 full attention의 prefill은 길이에 대해 이차 연산이며 KV cache는 선형으로 증가하고, decode 한 토큰의 attention 연산은 이력 길이에 선형이다. 고정 상태 순수 SSM은 총 선형 연산과 길이에 독립적인 순환 상태를 갖는다. 그러나 고정 상태의 계산 효율은 깊은 층에서 표현이 한 위치로 수렴하지 않는다는 보장이 아니다.
| 모델/관점 | 상호작용 객체 | 길이 비용 | 집중 위험 | 이번 논문의 범위 |
|---|---|---|---|---|
| Full attention | positive scalar softmax weights | prefill O(T²), KV O(T) | attention sink가 직접 관측됨 | 비교 이론의 출발점 |
| 순수 selective SSM | input-dependent matrix coefficients | 총 O(T), recurrent state O(1) in T | hidden interaction의 first-token concentration | 주 분석 대상 |
| Hybrid / LFM류 | convolution·state·attention 혼합 | operator 배치에 의존 | attention과 recurrence의 복합 집중 | 직접 검증 없음 |
선택성은 입력마다 무엇을 쓰고, 잊고, 읽을지 조절한다. 추론 중 가중치를 학습한다는 뜻이 아니다. 순환 상태 크기가 문맥 길이에 독립이라는 말 역시 무한한 정보를 완전 보존한다는 뜻이 아니다.
상태를 제거해 출력을 전개하면 현재 토큰 yl은 과거 토큰들의 가중 합 형태로 쓸 수 있다. 하지만 계수 Alj(x)는 softmax scalar가 아니라 채널별 대각 성분을 가진 입력 의존 행렬이다. 양수성과 definiteness가 자동으로 성립하지 않으므로, Transformer 동역학에 쓰던 monotone-system 도구를 그대로 적용할 수 없다.
RMS normalization을 반영해 각 토큰을 단위 구면 위의 점으로 보고, 층 깊이를 연속시간으로 보낸다. 저자들의 invariant box는 궤적이 머무는 고차원 영역을 만들고, sharp exit-time argument는 그 영역을 벗어날 수 있는 조건을 통제해 유효한 부호 구조를 회복한다.
Mamba 연구는 attention의 계산 병목 없이 content-aware sequence modeling을 달성하는 데서 출발했다. 그러나 효율적인 recurrence도 위치별 영향력이 균등하다는 보장은 없다. 첫 토큰은 causal ordering에서 과거 토큰을 갖지 않는 특수한 경계 조건이고, 이 비대칭이 깊이에 따라 증폭될 수 있다.
새 논문은 이를 세 단계로 연결한다. 첫째, 첫 토큰의 가능한 equilibrium과 limit point를 분류한다. 둘째, 일반적인 초기 조건에서 후속 토큰이 ±x₁로 지수 수렴함을 보인다. 셋째, 실제 Falcon-Mamba-7B에서 첫 위치 sink score가 층 깊이에 따라 증가하는지 확인한다.
2023년 최초 공개된 Mamba 원논문과 2024년 Mamba-2는 본 글의 배경 연구다. 전자는 입력 의존 선택성과 hardware-aware scan을, 후자는 structured state-space duality를 통해 SSM과 attention의 수학적 연결을 제시했다. Falcon-Mamba-7B도 2024년 공개된 배경 기술보고서다.
2025–2026년 연구 흐름은 빠른 연산자 자체에서 장거리 회수, 상태 추적, 음의 고유값, hybrid 배치, 양자화 안정성, serving 메모리와 해석 가능성으로 이동했다. 이번 연구는 여기에 깊이에 따른 토큰 공간의 수렴을 더한다. 이는 “무엇을 저장할 것인가”와 “저장된 정보를 어떤 위치가 대표하게 되는가”가 서로 다른 문제임을 보여준다.
선형시간 scan과 고정 크기 state가 throughput·memory 측면의 이점을 제공한다.
유한 state는 정보를 압축하므로 정확 회수와 state tracking 사이에 trade-off가 생긴다.
깊이가 늘며 표현이 attractor에 모이면 token diversity와 위치별 영향력이 바뀐다.
CPU/GPU/NPU kernel, precision, sequence length가 이론적 현상의 실제 영향도를 조절한다.
| 난제 | 논문의 처리 | 남은 간극 | 필요한 검증 |
|---|---|---|---|
| 행렬 계수의 비양수성 | invariant box + exit time | 모든 학습된 계수에 조건이 성립하지 않음 | checkpoint별 조건 위반률 |
| 연속시간 근사 | 구면 위 ODE와 exponential convergence | 유한 층·discrete residual block와 차이 | depth scaling 및 step-size sweep |
| 실제 Mamba-2 검증 | shared-weight block, batch 64 | conv·projection·activation·inner residual 제거 | 완전한 pretrained block ablation |
| Falcon-Mamba-7B | 170 samples, T=16, 200/4096 channels | 짧은 문맥·부분 채널·단일 checkpoint | 장문·다중 모델·전 채널 분석 |
| 현장 결과 | sink score와 시각화 | 정확도·회수·에너지·p95와 연결 안 됨 | 개입 실험과 downstream task |
이론은 첫 토큰 attraction의 가능성과 조건부 수렴을 설명하지만, 실제 장문 Mamba가 정보적으로 붕괴한다고 증명하지는 않는다. 논문도 핵심 한계로 연속시간·점근 분석과 이산 대규모 구현 사이의 bridge를 명시한다.
저자들은 recurrent hidden state를 제거해 각 출력 토큰을 이전 토큰들의 입력 의존 행렬 가중 합으로 나타낸다. RMS normalization과 skip connection을 반영한 연속시간 한계는 단위 구면의 tangent space에 투영된 flow가 된다.
첫 토큰의 equilibrium을 분류하고, 적절한 대칭성·양의 정부호·각도 조건 아래 후속 토큰이 ±x₁로 지수 수렴함을 증명한다. 더 강한 positive-angle 조건에서는 하나의 cluster인 x₁로 정렬된다. 시간 의존 파라미터가 극한값으로 지수 수렴하는 경우에도 일반화를 제시한다.
랜덤 파라미터의 연속시간 시스템에서 100개 첫-token 초기화 중 94개가 좌표 단위벡터 ±ed로 수렴했다. 별도의 32-token 및 16-token sequence simulation에서도 후속 토큰 clustering을 시각화했다. 이는 실제 모델 성능이 아니라 정리 조건하의 수치 예시다.
shared-weight block에서 causal convolution, input/output projection, activation, inner residual을 제거하고 64개 sequence를 처리했다. 첫 토큰의 non-near-zero 성분이 하나뿐인지 10−4 threshold로 측정했다. 저자들은 다수 sequence가 1-element representation으로 수렴했다고 보고한다.
길이 16인 170개 표본, 각 층의 4096 channels 중 200개 균등 표본을 사용했다. first-token 중요도가 ε=0.3을 넘는 채널 비율을 layer-wise sink rate로 정의했다. 저자 보고상 first-token sink score는 깊이에 따라 증가하고 마지막 층에서 지배적이었다.
검색된 증거 위치별 hidden contribution과 first-token concentration을 함께 계측해 “상태에 저장됨”과 “출력에서 사용됨”을 구분한다.
센서·음성 stream에서 BOS anchor의 영향이 시간이 지나며 drift하는지 관측하고 reset 정책을 설계한다.
저정밀·긴 세션에서 sink score, retrieval accuracy, p95 latency, energy/task를 같은 실기기 시험에 넣는다.
attention layer를 sink가 임계치를 넘는 깊이에 배치하는 hardware-in-the-loop 탐색을 검증한다.
연구 제안ETRI/Physical AI에서는 센서 상태 추적, 로봇 고수준 계획, 엣지 운영지능의 장기 세션을 대상으로 첫 위치·최근 위치·외부 memory의 기여도를 분리 측정할 수 있다. 다만 이는 연구 제안이며, 저수준 제어 안전성은 별도 formal verification과 실기기 fail-safe가 필요하다.
단일 sink score는 설명 변수일 뿐 운영 지표가 아니다. 정확도·근거 회수율·calibration·에너지와 함께 볼 때만 의미가 있다.
압축 state + 필요한 구간 attention + 외부 증거 memory를 결합하고, first-token concentration이 높아질 때 최근 증거 또는 외부 memory로 read path를 전환한다. 이는 제안이며 논문의 실험 결과가 아니다.
모든 token에 같은 memory budget을 쓰지 않고, retrieval uncertainty·sink concentration·state drift가 임계치를 넘을 때 state rank나 attention window를 늘린다. 평균 FLOPs뿐 아니라 peak memory와 p95를 함께 보고해야 한다.
단순 관측을 넘어 BOS 교체, prefix permutation, sink regularization, residual scaling, attention insertion을 randomize해 downstream task 변화를 측정한다. 지표는 성공 작업당 Joule, p95 latency, 근거 회수율, 오류 복구율, sink concentration, state contamination recovery를 포함한다.
수치와 도식은 원문 저자 보고를 재구성했다. 별도 코드·독립 재현·장문 실기기 검증은 조사 기준일까지 확인되지 않았다.