이 연구는 2015년 Marcus, Spielman, Srivastava가 존재성만 증명했던 Kadison-Singer 분할 문제에 대해 다항시간 알고리즘 두 가지를 제시한다. 랭크 1 이하의 에르미트 행렬들에 대해 결정론적 알고리즘은 상수 C=3.3443의 근사비를 O~(mn^2+n^4.75) 연산으로 달성하고, 무작위화 알고리즘은 C=4.8628을 O~(mn^2+n^3.58) 기대 연산으로 달성한다. 벡터 조건을 만족하는 경우로 일반화하면 두 집합으로의 분할이 항등행렬의 절반에서 벗어나는 정도를 제어된 범위 안으로 보장한다. 이는 이론적으로만 존재가 알려졌던 결과를 실제로 계산 가능하게 만든 알고리즘적 기여다.
- •Kadison-Singer 분할 문제에 대해 다항시간으로 작동하는 결정론적·무작위 알고리즘을 각각 제시했다.
- •결정론적 알고리즘은 근사상수 C=3.3443을 O~(mn²+n^4.75) 연산으로 달성한다.
- •무작위 알고리즘은 근사상수 C=4.8628을 더 적은 O~(mn²+n^3.58) 기대 연산으로 달성한다.
0단 자동
AI가 규칙대로 쓰고 그대로 게시했습니다. 사람이 따로 보지 않았습니다.
- 규칙 판
- 규칙 판 도입 이전 기사입니다.
- 남기는 것
- 규칙 판 · 모델 · 시각
- 판 기록
- 아직 없습니다.
Polynomial Time Algorithms for the Kadison-Singer Problem
- 1.Kadison-Singer 분할 문제를 다항시간에 푸는 두 알고리즘 제시
- 2.결정론적 알고리즘은 상수 C=3.3443, 연산량 Õ(mn²+n^4.75)
- 3.무작위 알고리즘은 C=4.8628로 더 빠른 Õ(mn²+n^3.58) 연산량
- 4.2015년 MSS 존재성 증명을 실제 계산 가능한 구성으로 전환
왜 중요한가?
2015년 마커스-스필만-스리바스타바가 존재성만 증명했던 Kadison-Singer 분할을 실제 다항시간에 계산 가능하게 만들어, 그래프 스파시화·샘플링 등 응용 알고리즘의 실용화 가능성을 높인다.
카디슨-싱어 문제에 대한 다항 시간 알고리즘의 개발은 순수 수학 및 이론 컴퓨터 과학 분야에서 중요한 진보를 의미합니다. 이는 장기적으로 블록체인 시스템의 최적화, 효율성 및 확장성 개선을 위한 새로운 접근 방식을 탐색하는 데 기초적인 영향을 줄 수 있습니다.
본문 미리보기
Marcus, Spielman, and Srivastava [MSS15] established the existence of Kadison--Singer partitions. We provide polynomial-time algorithms for the Kadison--Singer problem. For Hermitian matrices $A_1,\ldots,A_m\in\mathbb C^{n\times n}$ of rank at most one, we give two algorithms that find signs $\sigma\in\{\pm1\}^m$ satisfying $\|\sum_i \sigma_iA_i\|\le C\|\sum_i A_i^2\|^{1/2}$. The deterministic algorithm achieves $C=3.3443$ using $\widetilde O(mn^2+n^{4.75})$ arithmetic operations. The randomized
전체 내용이 궁금하다면?
원문을 직접 읽어보세요
이 글이 만들어진 과정
- 11:24AI 초안
