[논문 리뷰] On dibaric and evolution algebras

M. Ladra, B. A. Omirov외 1명|arXiv (Cornell University)|2011. 04. 13.

Advanced Topics in Algebra참고 문헌 6인용 수 5

한 줄 요약

이 논문은 비결합 대수에서 ℝ로의 비영인 호모모르피즘이 없는 대수인 디바릭 대수의 이론을 개발한다. 이를 위해 bq-호모모르피즘(실수로의 선형 함수형의 쌍)을 도입하고, 대수가 디바릭임과 동시에 비영인 bq-호모모르피즘을 가질 때만 성립함을 증명한다. 주요 기여는 이러한 프레임워크를 이배양성 인구 모델의 진화 대수에 적용하여, 이러한 대수가 보존성인지 또는 선형 연산자에 의해 유도되는지의 조건을 규명하고, 유전 계수를 통해 대수 호모모르피즘의 조건을 도출하는 데 있다.

ABSTRACT

We find conditions on ideals of an algebra under which the algebra is dibaric. Dibaric algebras have not non-zero homomorphisms to the set of the real numbers. We introduce a concept of bq-homomorphism (which is given by two linear maps $f, g$ of the algebra to the set of the real numbers) and show that an algebra is dibaric if and only if it admits a non-zero bq-homomorphism. Using the pair $(f,g)$ we define conservative algebras and establish criteria for a dibaric algebra to be conservative. Moreover, the notions of a Bernstein algebra and an algebra induced by a linear operator are introduced and relations between these algebras are studied. For dibaric algebras we describe a dibaric algebra homomorphism and study their properties by bq-homomorphisms of the dibaric algebras. We apply the results to the (dibaric) evolution algebra of a bisexual population. For this dibaric algebra we describe all possible bq-homomorphisms and find conditions under which the algebra of a bisexual population is induced by a linear operator. Moreover, some properties of dibaric algebra homomorphisms of such algebras are studied.

연구 동기 및 목표

• bq-호모모르피즘을 사용하여 디바릭 대수를 특성화하고, 바릭 대수 개념을 일반화한다.
• 성별에 따라 유전되는 인구를 모델링하는 진화 대수의 구조를 연구한다.
• 이러한 진화 대수의 보존성 또는 선형 연산자에 의해 유도되는 조건을 규명한다.
• 이배양성 인구의 진화 대수 간 대수 호모모르피즘을 분석한다.
• 비바릭 대수의 기원이 되는 이배양성 생식의 맥락에서 인구 생물학의 유전 모델에 이 이론을 적용한다.

제안 방법

• 대수에서 ℝ로의 선형 사상 쌍 (f, g)로 구성된 bq-호모모르피즘의 개념을 도입한다. 이는 ℝ로의 호모모르피즘의 일반화이다.
• 대수가 디바릭임과 동시에 비영인 bq-호모모르피즘을 가질 때만 성립함을 증명한다.
• 모든 x에 대해 f(x) = g(x)인 대수를 보존성 대수로 정의하고, 디바릭 대수가 보존성이 되기 위한 기준을 유도한다.
• 유전 계수 P_{ik,j}^{(f)}와 P_{ik,l}^{(m)}를 사용하여 정의된 이배양성 인구의 진화 대수(EABP)에 이 이론을 적용한다. 여기서 f는 여자 자식, m은 남자 자식을 의미한다.
• 기저 {e_i^{(f)}, e_j^{(m)}}를 사용하여 대수 연산을 표현하고, 선형 함수형 X(z) = 여자 계수의 합, Y(z) = 남자 계수의 합으로 정의한다.
• EABP가 선형 연산자 A에 의해 유도됨을 보이기 위한 조건을 유도한다. 이는 A(z) = 2z e_1^{(f)}임을 보이고, 이는 모든 i,j에 대해 e_i^{(f)} e_j^{(m)} = e_1^{(f)} e_j^{(m)}이 성립할 때에만 성립함을 보인다.

실험 결과

연구 질문

• RQ1 디바릭 대수가 비영인 bq-호모모르피즘을 가질 수 있는 조건은 무엇이며, 이러한 조건이 디바릭 대수의 구조를 어떻게 특성화하는가?
• RQ2 디바릭 대수가 보존성이 되는 조건은 무엇이며, 함수형 f와 g는 이러한 특성화에서 어떤 역할을 하는가?
• RQ3 이배양성 인구의 진화 대수가 선형 연산자에 의해 유도되는 데 필요한 조건은 무엇인가?
• RQ4 두 EABP 대수 간 선형 사상이 호모모르피즘임을 보장하기 위한 필수 및 필요 충분 조건은 무엇인가?
• RQ5 유전 계수 P_{ik,j}^{(f)}와 P_{ik,l}^{(m)}는 EABP 대수의 대수적 구조와 호모모르피즘 성질을 어떻게 결정하는가?

주요 결과

• 대수가 디바릭임과 동시에 비영인 bq-호모모르피즘 (f, g)를 가질 때만 성립한다. 여기서 f와 g는 ℝ로의 선형 함수형이다.
• 디바릭 대수가 보존성이 되기 위한 조건은 모든 대수의 원소 x에 대해 f(x) = g(x)임을 만족할 때이다. 이는 함수형 f와 g가 전체 대수에서 동일할 때 성립한다.
• 이배양성 인구의 진화 대수(EABP)가 선형 연산자 A에 의해 유도됨은 모든 i=1,…,n과 j=1,…,ν에 대해 e_i^{(f)} e_j^{(m)} = e_1^{(f)} e_j^{(m)}이 성립할 때에만 성립한다.
• 이러한 유도된 대수의 경우, 연산자는 모든 z에 대해 A(z) = 2z e_1^{(f)}로 주어진다.
• 두 EABP 대수 간 호모모르피즘 h는 모든 i,j에 대해 X(h(e_i^{(f)})) = 1, X(h(e_j^{(m)})) = 0, Y(h(e_i^{(f)})) = 0, Y(h(e_j^{(m)})) = 1를 만족한다.
• EABP 대수 간 비영인 호모모르피즘의 존재는 호모모르피즘 공리에서 유도된 기능적 제약 조건과 일치하는 유전 계수의 일관성에 따라 결정된다.