[論文レビュー] Is the Multiset of $n$ Integers Uniquely Determined by the Multiset of Its $s$-sums?

Dmitri Fomin|arXiv (Cornell University)|Sep 18, 2017

Analytic Number Theory Research参考文献 6被引用数 3

ひとこと要約

本稿では、$ n $ 個の整数の多重集合が、その $ s $-和（$ s $ 個の異なる要素の和のすべての組み合わせ）の多重集合から一意に回復可能かどうかを調査する。対称多項式、母関数、組合せ的構成を用いて、回復が不可能（つまり、$ s $-同値な異なる多重集合が存在する）となるのは、$ s = 2 $ の場合、$ n $ が2の累乗であるときであり、これをより高い $ s $ へと拡張し、代数的数論と組合せ論との深い関係を明らかにする。

ABSTRACT

In 1957 Leo Moser published a problem in American Mathematical Monthly asking whether knowing the set of all pairwise sums of five numbers one could determine the original numbers. Problem was quickly generalized as "Is it always possible to restore a collection of $n$ numbers from the collection of its $s$-sums?"; it turned out to be a very interesting and nontrivial question in additive number theory and combinatorics. On its sixtieth anniversary we present here a survey of all the known research, results and techniques used in various attempts to solve this problem. Some new findings and open questions are presented as well.

研究の動機と目的

• $ n $ 個の整数の多重集合が、その $ s $-和多重集合からいつ一意に回復可能かを特定すること。
• 回復に失敗する、すなわち異なる多重集合が同一の $ s $-和多重集合を生成するようなすべてのペア $ (n, s) $ を特徴づけること。
• 60年にわたる多重集合回復問題に関する研究を統合的かつ包括的に調査し、基礎的結果と未解決の問題を提示すること。
• $ s > 2 $ に対して $ s $-同値性と特異対に関する新しい発見を、代数的および組合せ的道具を用いて提示すること。
• 数論および組合せ論におけるこの問題の歴史、主要な定理、未解決の予想について包括的な概説を提供すること。

提案手法

• 対称多項式と母関数を用いて、$ s $-和多重集合の代数的構造を分析する。
• 初等対称多項式の理論を応用し、多重集合 $ A $ とその $ s $-和多重集合 $ A^{(s)} $ の関係を確立することで、特定の条件下での再構成を可能にする。
• $ s $-同値性の概念を適用：2つの多重集合 $ A $ と $ B $ が $ A^{(s)} = B^{(s)} $ を満たすとき、$ s $-同値と呼ぶ。この非一意性が生じる条件を分析する。
• Lambek-Moserの定理と補完的数列を用いて、多重集合回復における構造的類似性を探る。
• $ n = 2^k $、$ s = 2 $ の場合に明示的な反例を構成し、$ n $ が2の累乗であるときのみ回復が失敗することを示す。
• $ s = 2 $ を超える場合に、母関数の恒等式および単位根の性質を用いて、高階の $ s $-和を分析することで、結果を拡張する。

実験結果

リサーチクエスチョン

• RQ1 どのペア $ (n, s) $ に対して、$ n $ 個の整数の多重集合がその $ s $-和多重集合から一意に決定可能か？
• RQ2 $ n > s $ かつ $ A^{(s)} = B^{(s)} $ を満たす異なる多重集合 $ A $ と $ B $ が存在するような特異対 $ (n, s) $ の完全な特徴づけは何か？
• RQ3 $ s > 2 $ の場合に多重集合回復問題が解けるか。また、このような回復を支配する代数的または組合せ的不変量は何か？
• RQ4 対称多項式と母関数は、多重集合再構成の一意性を決定するために果たす役割は何か？
• RQ5 $ s = 2 $ の場合を越えて、構造的または数論的障害が回復を妨げるか。それらはどのように一般化されるか？

主な発見

• $ s = 2 $ の場合、多重集合 $ A $ は $ A^{(2)} $ から一意に回復可能である。ただし、$ n $ が2の累乗でない場合に限る。つまり、$ \binom{n}{2} $ 個のペアワイズ和が、$ n = 2^k $（$ k > 1 $）でない限り、$ A $ を一意に決定する。
• ペア $ (n, 2) $ が特異であるのは、$ n $ が2の累乗であるときであり、$ \binname{M}_2 = \{4, 8, 16, 32, \dots\} $ である。これはSelfridgeとStrausの1958年の結果を確認する。
• $ s > 2 $ の場合、一般には未解決のままだが、本稿では単位根と対称関数の恒等式を通じて、$ s $-同値性が生じる構造的条件を同定する。
• 本稿では、$ s = 2 $、$ n = 4 $ の場合に明示的な $ s $-同値なペアを構成し、4つの数がその6個のペアワイズ和から一意に回復できないことを示す。
• 母関数と初等対称多項式の使用により、多項式の根に関する必要十分条件を導出可能となる。
• 本稿は、多重集合回復問題が、特に根の置換に関する不変性を有する対称多項式の研究を通じて、代数的数論と深く結びついていることを強調する。