이 논문은 모든 유한체 위에서 거의 모든 정방 사차 텐서에 대해 결정론적 정확 복원 알고리즘을 제시한다. n≥2^24이고 소수거듭제곱 q≥2인 모든 경우에 대해 GL_n(F_q)^4-불변 계열이 전체 계수 배열의 1-O((log n)^2/n) 비율을 포괄하며, 소속·동형 판정과 복원이 n과 log q에 대한 다항시간 비트 연산으로 수행됨을 보였다. 증명은 확장체 고유행렬 연결, 행렬과 그 역의 결합 법칙 하의 부분모듈 체, 특이 원본 평탄화의 커널로부터의 복원 기법을 결합했으며, 큰 표수에서는 행렬곱의 부분 트레이스를 이용한 인수분해 없는 알고리즘도 제공한다. 텐서 동형 문제의 암호학적 활용과 관련해 대규모 복원 가능성의 이론적 한계를 명확히 하는 결과다.
- •모든 유한체에서 거의 모든 정방 사차 텐서에 대한 결정론적 정확 복원 알고리즘 제시
- •n≥2^24, q≥2 조건에서 전체 배열의 1-O((log n)^2/n) 비율을 다항시간에 복원
- •확장체 고유행렬, 부분모듈 체, 특이 평탄화 커널 기법을 결합한 증명
- •큰 표수에서 행렬곱 부분 트레이스 기반 인수분해 없는 알고리즘 추가 제공
- •텐서 동형 문제 기반 암호 시스템의 이론적 한계를 조명하는 결과
0단 자동
AI가 규칙대로 쓰고 그대로 게시했습니다. 사람이 따로 보지 않았습니다.
- 규칙 판
- 규칙 판 도입 이전 기사입니다.
- 남기는 것
- 규칙 판 · 모델 · 시각
- 판 기록
- 아직 없습니다.
Deterministic Almost-All Recovery for Square Four-Tensor Isomorphism
- 1.n≥2^24인 모든 소수거듭제곱 체 위 정사각 4-텐서에 대한 결정적 거의전수 복원 알고리즘 제시
- 2.전체 q^(n^4)개 계수배열 중 1-O((log n)²/n) 비율을 다항시간에 소속판별·동형판별·복원 가능
- 3.확장체 고유행렬 연결, 부분모듈 체, 특이 평탄화 커널 복원 기법을 결합해 증명
- 4.소차원에서는 명시적 양의 원천비율 결과 추가 제공, 전수 대비 결정적 폴백으로 완전정확성 보장
왜 중요한가?
텐서 동형성 문제는 격자·부호이론 기반 암호에서 잠재적 어려운 문제로 주목받아 왔는데, 이 결과는 '거의 모든' 인스턴스가 사실은 다항시간에 풀린다는 것을 보여 텐서 기반 암호 가정의 안전성 평가에 중요한 제약을 제공한다.
본문 미리보기
We give deterministic exact recovery for almost all square four-tensors over every finite field. For every \(n \ge 2^{24}\) and prime power \(q \ge 2\), an explicit \(\mathrm{GL}_n(\mathbb{F}_q)^4\)-invariant family contains a \(1-O((\log n)^2/n)\) fraction of all \(q^{n^4}\) coefficient arrays, with an explicit failure bound uniform in \(q\). Membership and isomorphism decision and recovery against every target are deterministic in \(\operatorname{poly}(n,\log q)\) bit time, with four invertibl
전체 내용이 궁금하다면?
원문을 직접 읽어보세요
이 글이 만들어진 과정
- 11:24AI 초안



