부울 복잡성에 대한 동종 학적 접근법


33

몇 년 전, Joel Friedman은 Grothendieck cohomology와 관련한 하위 회로 한계에 관한 연구를 수행했습니다 ( http://arxiv.org/abs/cs/0512008 , http://arxiv.org/abs/cs/0604024). ). 이 사고 방식이 부울 복잡성에 대한 새로운 통찰력을 가져 왔습니까, 아니면 수학적인 호기심으로 남아 있습니까?


4
나는 이것에 대한 답을 매우 궁금합니다. 물론, 가장 쉬운 방법은 Joel Friedman에게 이메일을 보내는 것입니다 :)
Suresh Venkat

답변:


28

나는이 주제에 관해 약 3 년 전에 Joel Friedman과 연락했습니다. 당시 그는 자신의 접근 방식이 복잡성 이론에 대한 중요한 새로운 통찰력을 얻지 못했지만 여전히 유망한 방법이라고 생각했습니다.

기본적으로 Friedman은 Grothendieck 토폴로지에서 시브 언어의 회로 복잡도 문제를 다시 표현하려고합니다. 이 프로세스를 통해 회로 하한을 찾는 문제에 기하학적 직관을 적용 할 수 있기를 바랍니다. 이 경로가 어디에서나 이어지는 지 확인해야 할 가치가 있지만 회의적인 휴리스틱 이유가 있습니다. 기하학적 직관은 부드러운 품종 또는 직관이 완전히 분해되지 않은 부드러운 품종과 충분히 유사한 상황에서 가장 잘 작동합니다. 다시 말해, 기하학적 직관이 발판을 잡기 위해서는 약간의 구조 가 필요합니다 . 그러나 회로 하한은 본질적으로 임의의 계산에 직면해야합니다.구조가없는 것처럼 보이기 때문에 정확하게 분석하기가 어렵습니다. Friedman은 그가 생각하는 Grothendieck 토폴로지는 매우 조합 적이며 대수 기하학에서 일반적인 연구 대상에서 멀리 떨어져 있다고 인정합니다.

부수적으로, 나는 아이디어가 익숙하지 않은 고성능 기계를 사용하기 때문에 너무 흥분하지 않는 것이 중요하다고 말하고 싶습니다. 이 기계는 설계된 문제를 해결하는 데 매우 효과적 일 수 있지만 다른 영역에서 알려진 어려운 문제를 공격하는 데 유용하려면 외국 기계가 근본적인 문제를 해결하기에 적합한 이유에 대해 설득력있는 주장이 필요합니다. 관심있는 문제의 장애물.


4
물론 Mulmuley의 노력은 "부드러운 구조"를 사용한다는 의미에서 "유사한"선을 따르고 있지만, 처음에는 멋진 기하학적 불변을 허용하는 문제를보고 있습니다.
Suresh Venkat

2
@Suresh : Mulmuley-Sohoni 접근 방식은 다르다는 것이 옳지 만, 임의 계산에 대처하는 근본적인 문제는 여전히 배경에 숨어 있기 때문에 어떻게 처리해야하는지 묻는 것이 공정합니다. 지금은 아무도 모른다고 생각합니다. 이것이 바로 GCT 사람들이 곧 놀라운 돌파구를 약속하지 않는 이유입니다.
디모데 차우

과연. 행렬 곱셈 경계에 GCT를 사용하는 STOC 2011 논문을 보는 것이 흥미 롭습니다 (그리고 Ketan은 FOCS에서 그의 자습서에서이 결과를 언급했습니다)
Suresh Venkat

1
@Suresh : Buergisser / Ikenmeyer 논문에 대해 이야기한다면, 하한을 증명하는 방법보다는 GCT 접근법의 한계에 대해 훨씬 더 많은 정보가 있다고 생각합니다.
5501

1
@Neel, 나는 대답이 없지만 이것이 자신의 질문에 가치가 있는지 궁금합니다.
Suresh Venkat

16

Timothy Chow가 옳다고 생각합니다. 나는 "부드러운"품종과 관련된 아이디어, 또는 "cohomology ladder"의 최하위의 렁과 함께 연결되는 구성 요소 또는 모노마 일을 세는 것과 같은 개념에 대한 개인 세탁 목록을 가지고 있습니다. 다양한 GCT 관련 문제의 EXPSPACE- 완전성을 보여주는 Mayr-Meyer 구성. 그의 마지막 단락에 내 하나의 리프 내가 생각이다 일부 높은 전원 장치의 종류가 필요합니다 ...!

당사 사이트를 사용함과 동시에 당사의 쿠키 정책개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.