[논문 리뷰] Algebraic independence of (cyclotomic) harmonic sums.

Jakob Ablinger, Carsten Schneider|arXiv (Cornell University)|2015. 10. 13.

Coding theory and cryptography참고 문헌 31인용 수 6

한 줄 요약

이 논문은 (순환적) 조화합의 쿼asi-shuffle 대수의 기저 합을 포함하는 차분환추적의 탑으로 매장함으로써, 이 기저 합들이 대수적으로 독립적임을 증명한다. 이 매장은 상수를 유지하는 바탕이 되며, 이는 유리수 수열과 부호가 번갈아가는 수열을 포함한 수열의 링을 구성하는 데 기여한다. 이로 인해 이러한 기저 합에 의해 생성된 수열들이 유리수 수열과 부호가 번갈아가는 수열을 포함한 체 위에서 대수적으로 독립적임을 증명할 수 있다.

ABSTRACT

An expression in terms of (cyclotomic) harmonic sums can be simplified by the quasi-shuffle algebra in terms of the so-called basis sums. By construction, these sums are algebraically independent within the quasi-shuffle algebra. In this article we show that the basis sums can be represented within a tower of difference ring extensions where the constants remain unchanged. This property enables one to embed this difference ring for the (cyclotomic) harmonic sums into the ring of sequences. This construction implies that the sequences produced by the basis sums are algebraically independent over the rational sequences adjoined with the alternating sequence.

연구 동기 및 목표

• 쿼아시-쉬플 대수의 (순환적) 조화합에서 유도된 기저 합의 대수적 독립성을 확립하기 위해.
• 기저 합을 충실하게 표현하면서도 상수를 유지하는 차분환추적의 탑을 구성하기 위해.
• (순환적) 조화합의 링을 수열의 링에 매장하기 위해.
• 기저 합의 결과 수열들이 유리수 수열과 부호가 번갈아가는 수열을 포함한 체 위에서 대수적으로 독립적임을 보여주기 위해.

제안 방법

• 쿼아시-쉬플 대수를 활용하여 (순환적) 조화합을 포함하는 표현을 기저 합으로 정의하고 단순화하기 위해.
• 기저 합을 충실하게 표현하면서도 상수를 유지하는 차분환추적의 탑을 구성하기 위해.
• 확장 탑의 구조를 이용하여 결과 차분환추적을 수열의 링에 매장하기 위해.
• 확장 과정에서 상수가 불변임을 활용하여, 수열 표현이 대수적 독립성을 유지함을 보장하기 위해.
• 기존의 수열 링 내에서의 대수적 독립성 결과를 적용하여, 유리수 수열과 부호가 번갈아가는 수열을 포함한 체 위에서의 독립성을 결론짓기 위해.
• 매장 과정이 대수적 관계와 상수를 유지함으로써, 독립성 진술의 정확성을 보장하기 위해.

실험 결과

연구 질문

• RQ1 (순환적) 조화합의 기저 합이 유리수 수열 위에서 대수적으로 독립적인가?
• RQ2 상수를 유지하면서 (순환적) 조화합의 링을 수열의 링에 매장할 수 있는가?
• RQ3 기저 합을 표현하기 위해 사용된 차분환추적의 탑이, 그 수열 이미지의 대수적 독립성을 유지하는가?
• RQ4 부호가 번갈아가는 수열이 수열 링 내에서 독립성을 확보하기 위해 필요한 상수를 충분히 생성하는가?
• RQ5 차분환추적의 확장 구조에서 어떤 구조적 성질이 수열 매장 과정에서 대수적 독립성이 유지되도록 보장하는가?

주요 결과

• 기저 합이 수열 링에 매장될 때, 유리수 수열 위에서 (순환적) 조화합의 기저 합은 대수적으로 독립적이다.
• 차분환추적의 탑을 구성함으로써, 기저 합을 표현하는 동안 상수가 그대로 유지됨을 보장할 수 있다.
• 차분환추적을 수열의 링에 매장함으로써, 기저 합의 대수적 구조와 독립성 관계가 유지된다.
• 기저 합에 의해 생성된 수열들은 유리수 수열에 부호가 번갈아가는 수열을 추가한 체 위에서 대수적으로 독립적이다.
• 확장 탑 내에서 상수의 유지가 수열 링 내에서의 대수적 독립성을 유지하는 데 핵심적이다.
• 결과적으로, 기저 합의 수열 이미지들 사이에 비자명한 다항식 관계가 존재하지 않음을 확인한다.