[논문 리뷰] Two Generalizations of Tensor Products, Beyond Vector Spaces

Elemér E Rosinger|ArXiv.org|2008. 07. 09.

Computability, Logic, AI Algorithms참고 문헌 4인용 수 8

한 줄 요약

이 논문은 벡터 공간을 초월해 텐서 곱을 일반화하기 위해 두 가지 새로운 구성법을 제안한다: 첫째, 임의의 집합에 이항 연산이 부여된 경우이며, 둘째, 임의의 생성자에 기반한 경우이다. 주요 기여는 원래의 연산이 이러한 성질을 갖지 않더라도, 구조적 대칭성과 연산 호환성에 기반한 동치 관계를 통해 항상 결합법칙과 교환법칙을 유지하는 보편적인 텐서 곱을 제공한다는 점이다.

ABSTRACT

Two successive generalizations of the usual tensor products are given. One can be constructed for arbitrary binary operations, and not only for semigroups, groups or vector spaces. The second one, still more general, is constructed for arbitrary generators on sets.

연구 동기 및 목표

• 벡터 공간을 초월해 임의의 집합에 이항 연산이 부여된 경우에도 텐서 곱의 개념을 확장하는 것.
• 이항 연산 대신 임의의 생성자를 사용하여 텐서 곱을 일반화함으로써 더 넓은 구조적 일반성을 확보하는 것.
• 이러한 일반화된 텐서 곱에 대해 보편 성질을 수립하여 고전적인 선형 대수학에서의 보편 성질을 모방하는 것.
• 결과로 얻어진 텐서 곱 공간이 원래 연산의 성질과는 무관하게 교환법칙과 결합법칙을 상속하는 것을 보여주는 것.
• 양자 계산 및 비선형 또는 비결합 대수계열과 같은 비벡터 공간 구조에 적용 가능한 기초 프레임워크를 제공하는 것.

제안 방법

• 이항 연산 $ \gamma $를 갖춘 유한한 쌍 $ (x_i, y_i) $의 순서열로 이루어진 집합 $ Z $를 정의하며, 여기서 $ x_i \in X $, $ y_i \in Y $이다.
• 쌍의 순서를 바꾸거나, $ (\alpha(x_1,x_1'),y_1) \gamma \cdots $를 $ (x_1,y_1) \gamma (x_1',y_1) \gamma \cdots $로 치환하는 방식으로 생성되는 동치 관계 $ \approx_{\alpha,\beta} $를 도입한다. 이는 $ \beta $에 대해서도 동일하게 적용된다.
• 일반화된 텐서 곱을 몫공간 $ X \bigotimes_{\alpha,\beta} Y = Z / \approx_{\alpha,\beta} $로 구성하며, 여기서 원소는 동치류 $ x \bigotimes_{\alpha,\beta} y $ 로 표현된다.
• 집합 $ Z $에서의 연산 $ \gamma $ 가 몫공간에서 잘 정의된, 교환법칙과 결합법칙을 갖는 이항 연산으로 내림려는 것을 보여준다.
• 대칭 관계의 추이적 폐쇄를 이용하여 동치 관계 $ \approx_{\alpha,\beta} $ 를 공식적으로 정의함으로써, 이것이 실제로 동치 관계임을 보장한다.
• 이 구성법이 보편 성질을 만족함을 수립하며, 고전적인 텐서 보편 성질을 임의의 이항 연산과 생성자로 일반화한다.

실험 결과

연구 질문

• RQ1 임의의 집합에 임의의 이항 연산이 부여된 경우에도 텐서 곱을 정의할 수 있는가? 특히 군 또는 벡터 공간이 아닌 경우에도 가능한가?
• RQ2 결과로 얻어진 텐서 곱 공간은 어떤 대수적 구조를 갖는가? 그리고 언제 교환법칙과 결합법칙을 갖는가?
• RQ3 텐서 곱 구성법을 이항 연산을 초월해 임의의 생성자에 기반한 집합으로 더 일반화할 수 있는가?
• RQ4 이 일반화된 텐서 곱의 보편 성질은 무엇이며, 고전적인 텐서 보편 성질과 어떻게 관련되어 있는가?
• RQ5 이 구성법은 양자 계산이나 비선형 대수계열과 같은 비결합 또는 비교환 시스템에도 적용 가능한가?

주요 결과

• 임의의 두 집합 $ X $와 $ Y $에 대해 각각 이항 연산 $ \alpha $와 $ \beta $ 가 부여된 경우, 텐서 곱 $ X \bigotimes_{\alpha,\beta} Y $ 는 항상 잘 정의된다.
• 결과로 얻어진 텐서 곱 공간은 원래의 연산 $ \alpha $와 $ \beta $ 가 결합법칙이나 교환법칙을 갖지 않더라도, 여전히 교환법칙과 결합법칙을 갖는 이항 연산 $ \gamma $ 를 상속한다.
• 표준 사상 $ X \times Y \to X \bigotimes_{\alpha,\beta} Y $, 즉 $ (x,y) \mapsto x \bigotimes_{\alpha,\beta} y $ 는 단사적이다.
• 동치 관계 $ \approx_{\alpha,\beta} $ 는 대칭 관계의 추이적 폐쇄를 통해 엄밀히 구성되어 있으며, 이는 동치 관계임을 보장한다.
• 이 구성법은 일반화된 보편 성질을 만족하며, 고전적인 텐서 곱의 보편 성질을 임의의 이항 연산으로 확장한다.
• 두 번째 일반화는 집합에 대한 임의의 생성자로 구성법을 확장하여, 더 넓은 범위의 대수적 및 조합적 구조에 적용 가능하게 한다.