[論文レビュー] Lexicographic metric spaces: basic properties and the metric dimension

Juan A. Rodríguez‐Velázquez|arXiv (Cornell University)|Jun 28, 2018

Graph Labeling and Dimension Problems参考文献 10被引用数 3

ひとこと要約

本稿では、辞書的積グラフの一般化としての辞書的距離空間を導入し、完備性、有界性、分離可能性といった基礎的性質を確立する。任意の辞書的距離空間の距離次元について明確な公式を導出し、基本空間の正の近接性を満たす場合、その距離次元は成分の重力的距離空間の距離次元の和に等しいことを示す。

ABSTRACT

In this article, we introduce the concept of lexicographic metric space and, after discussing some basic properties of these metric spaces, such as completeness, boundedness, compactness and separability, we obtain a formula for the metric dimension of any lexicographic metric space.

研究の動機と目的

• 辞書的積グラフの一般化としての辞書的距離空間を形式化し、その性質を研究すること。
• これらの空間における完備性、有界性、コンパクト性、分離可能性といった基本的位相的性質を調査すること。
• 辞書的距離空間の距離次元を特定し、その成分空間の構造と関連付けること。
• 構成過程において生じる関連クラスである重力的距離空間を導入・分析すること。
• グラフおよび重み付き距離空間に適用可能な、辞書的構成における距離次元を統一的に計算する枠組みを提供すること。

提案手法

• 2つの距離空間 M=(X,d_X) と M'=(Y,d_Y) の直積 X×Y に、ρ((x,y),(x',y')) = d_X(x,x') (x≠x' のとき)、ρ((x,y),(x',y')) = min{2η(x), d_Y(y,y')} (x=x' のとき) で定義される辞書的距離 ρ を定義する。
• 離散的距離空間を特徴付けるために、近接性 η(x) = inf{d(x,y) : y∈X\{x}} および η(M) = inf{η(x) : x∈X} を導入する。
• 各 x∈X に対して関連する M' のコピー M'_x を、有界性を保証するようにスケーリングされた距離を備えて定義する。
• D(M'') < η(M) の性質を用いて、キーレス（補題21）を適用し、距離次元を |X|·dim(M'') に単純化する。
• M' 上に d* = η(M)·d_Y / (η(M) + d_Y) で定義される有界距離 d* を構成し、距離次元を保ちつつ D(M'') < η(M) を満たすようにすることで、次元公式の適用を可能にする。
• M が二重自由であり η(M)>0 であるとき、M∘M' の距離次元は、すべての x∈X における重力的距離空間 M'_x の距離次元の和に等しいことを証明する。

実験結果

リサーチクエスチョン

• RQ1 辞書的距離空間はどのように正式に定義され、その基本的位相的性質は何か？
• RQ2 どのような条件下で、辞書的距離空間は完備的、有界的、コンパクト的、または分離的となるか？
• RQ3 辞書的距離空間の距離次元は、その成分空間にどのように依存するか？
• RQ4 重力的距離空間は辞書的距離空間とどのように関係し、距離次元の計算において果たす役割は何か？
• RQ5 非有界または重み付き距離空間において、辞書的構成によって距離次元が保存されるか？

主な発見

• 辞書的距離空間 M∘M' は、η(M) > 0 である場合に限り完備である。これは、すべてのコーシー列が最終的に定数列になることを保証するためである。
• |X| = ∞ であるか、ある重力的距離空間 M'_x が無限の距離次元を持つ場合、M∘M' の距離次元は無限大である。
• M が非有界であり η(M) > 0 である場合、M' にかかわらず dim(M∘M') = ∞ である。
• M が二重自由であり η(M) > 0 であるとき、M∘M' の距離次元は、すべての x∈X における重力的距離空間 M'_x の距離次元の和に等しい。
• D(M') < η(M) である場合、dim(M∘M') = |X|·dim(M') が成り立ち、有界近似を用いて次元を計算することが可能になる。
• 距離 d_Y を d* = η(M)d_Y / (η(M) + d_Y) に変換することで、dim(M'') = dim(M') かつ D(M'') < η(M) を満たす有界距離空間 M'' が得られ、dim(M∘M'') = |X|·dim(M') = |X|·dim(M'') が成り立つ。