[논문 리뷰] Circuits with arbitrary gates for random operators

Stasys Jukna, Georg Schnitger|arXiv (Cornell University)|2010. 04. 29.

Complexity and Algorithms in Graphs참고 문헌 15인용 수 3

한 줄 요약

이 논문은 임의의 게이트를 사용할 때 랜덤 및 선형 부울 연산자 계산을 위한 회로 복잡도에 대해 강력한 하한을 설정한다. 일반 회로에서 거의 모든 n-연산자는 Ω(n²) 본드가 필요하며, 중간층 또는 출력 게이트가 선형 함수로 제한된 깊이-2 회로에서는 선형 연산자가 Ω(n²/log n) 본드가 필요하다. 이는 콜모고로프 복잡도와 정보 이론적 추론을 사용하여 증명된다.

ABSTRACT

We consider boolean circuits computing n-operators f:{0,1}^n --> {0,1}^n. As gates we allow arbitrary boolean functions; neither fanin nor fanout of gates is restricted. An operator is linear if it computes n linear forms, that is, computes a matrix-vector product y=Ax over GF(2). We prove the existence of n-operators requiring about n^2 wires in any circuit, and linear n-operators requiring about n^2/\log n wires in depth-2 circuits, if either all output gates or all gates on the middle layer are linear.

연구 동기 및 목표

• 임의의 게이트가 허용될 때 랜덤 n-연산자가 이차 크기의 회로를 필요로 하는지 여부라는 열린 문제를 해결하기 위해.
• GF(2)에서의 선형 연산자 f_A(x) = Ax의 깊이-2 회로에서 게이트 유형이 제한된 경우의 복잡도를 분석하기 위해.
• 불가약성과 정보 이론적 기법을 사용하여 본드 수에 대한 날카로운 하한을 설정하기 위해.
• 심지어 임의의 게이트가 허용되더라도, 일부 연산자는 본질적으로 근접한 이차적 배선을 요구한다는 것을 보여주기 위해.

제안 방법

• L 본드를 사용할 수 있는 n-연산자의 수를 상한으로 제시하여, 모든 2^{n2^n}개의 연산자를 커버하기 위해 L가 Ω(n²)여야 한다는 것을 보여주는 수세기적 추론을 사용한다.
• 콜모고로프 복잡도에 기반한 불가약성 추론을 적용하여, 일부 행렬 A가 기술하기 위해 n² 비트가 필요함을 보여주며, 이는 높은 회로 복잡도를 의미한다.
• 회로 분석을 깊이-2 아키텍처로 제한하고, 직접적인 입력-출력 본드가 없음을 가정하여 인코딩을 단순화한다.
• 접근 행렬 B와 C, 그리고 이미지 부분공간의 기저 벡터에서 출력 함수의 행동을 저장하여, 총 O(L log n) 비트로 회로를 인코딩한다.
• 이미지 부분공간에서 출력 함수의 선형성을 이용하여, 기저 값 평가로부터 전체 연산자를 재구성한다.
• 부분공간에서 선형 함수는 기저에서의 값으로 완전히 기술될 수 있음을 활용하여 기술 길이를 단축시킨다.

실험 결과

연구 질문

• RQ1 임의의 게이트가 허용되는 일반 회로에서 랜덤 n-연산자는 Ω(n²) 본드가 필요한가?
• RQ2 중간층 게이트가 선형인 깊이-2 회로에서 GF(2)에서의 선형 연산자 f_A(x) = Ax는 o(n²/log n) 본드로 계산될 수 있는가?
• RQ3 중간층에 임의의 게이트가 허용되더라도, 깊이-2 회로에서 선형 연산자의 복잡도는 본질적으로 높은가?
• RQ4 정보 이론적 또는 콜모고로프 복잡도 추론을 사용하여 일반 회로 모델에서 강력한 하한을 확립할 수 있는가?
• RQ5 게이트 유형에 대한 구조적 제약 조건이 있는 깊이-2 회로에서, 무작위 또는 선형 연산자를 계산하기 위해 필요한 최소 본드 수는 얼마인가?

주요 결과

• 거의 모든 n-연산자에 대해 최소 본드 수 s(f)는 Ω(n²)이며, 이는 임의의 게이트가 허용되더라도 이차 복잡도가 필수적임을 보여준다.
• 모든 출력 게이트가 선형인 깊이-2 회로에서 선형 n-연산자는 Ω(n²/log n) 본드가 필요하다.
• 모든 중간층 게이트가 선형인 깊이-2 회로에서 선형 n-연산자는 Ω(n²/log n) 본드가 필요하다.
• 이 하한은 회로가 직접적인 입력-출력 본드를 사용하지 않는다는 가정 하에 성립하며, 최적의 회로에 대해 손실 없이 일반화 가능하다.
• 증명 기법은 본드 수 L에 대해 O(L log n) 비트로 회로를 인코딩하고, 이와 행렬 A의 콜모고로프 복잡도를 비교하는 데 기반한다.
• 저자들은 깊이-2 회로에서 게이트 유형에 대한 제약 조건이 없더라도 동일한 Ω(n²/log n) 하한이 성립할 것이라 추측한다.