[논문 리뷰] Discrete low-discrepancy sequences

Omer Angel, Alexander E. Holroyd외 2명|arXiv (Cornell University)|2009. 10. 06.

Benford’s Law and Fraud Detection참고 문헌 16인용 수 11

한 줄 요약

이 논문은 i.i.d. 랜덤 과정을 밀도 있게 모방하는 이산 저불일치도 수열을 생성하기 위한 구조적이고 결정론적인 알고리즘을 제시한다. 마감 기한 기반 선택 규칙을 사용함으로써, 경험 빈도와 목표 확률 사이의 불일치도가 항상 1 미만으로 유지됨을 보장하며, 이는 이전 결과를 무한 집합과 비동일 분포를 가진 수열으로 확장한다.

ABSTRACT

Holroyd and Propp used Hall's marriage theorem to show that, given a probability distribution pi on a finite set S, there exists an infinite sequence s_1,s_2,... in S such that for all integers k >= 1 and all s in S, the number of i in [1,k] with s_i = s differs from k pi(s) by at most 1. We prove a generalization of this result using a simple explicit algorithm. A special case of this algorithm yields an extension of Holroyd and Propp's result to the case of discrete probability distributions on infinite sets.

연구 동기 및 목표

• 유한 및 무한 이산 확률 분포에 대해 저불일치도 수열의 존재성을 구조적이고 알고리즘적으로 증명하는 것.
• Holroyd와 Propp의 i.i.i.d. 수열에서의 유한 불일치도 결과를 비동일 분포를 가진 수열의 경우로 확장하는 것.
• 모든 유한 시간에서 경험 수와 기대 수 사이의 불일치도가 항상 1 미만으로 유지됨을 보장하는 결정론적 알고리즘을 개발하는 것.
• 목표 분포가 유리수일 경우 알고리즘이 주기적 수열을 생성함을 보여주며, 로터-러너 메커니즘과 연결하는 것.

제안 방법

• 알고리즘은 누적 불일치도가 -1 이하로 떨어지지 않는 모든 기호들 중에서 가장 이르게 도래하는 마감 기한을 가진 기호를 선택한다.
• 기호 s가 후보가 되기 위해서는, 선택했을 때 그 불일치도 $ D_{k+1}(s) < 1 $를 유지해야 하며, 여기서 $ D_k(s) = N_k(s) - P_k(s) $이다.
• 후보 기호 s의 마감 기한은 $ D_{k'}(s) \neq 0 $가 되는 최소의 $ k' \neq k+1 $이며, 이는 기호가 부족하게 선택되지 않도록 보장한다.
• 알고리즘은 누적 기대 수 $ P_k(s) = \bigsum_{i=1}^k \nu_i(s) $를 사용하고, 불일치도 $ D_k(s) $를 추적하여 선택을 안내한다.
• 마감 기한이 동일한 경우는 임의로 해결할 수 있지만, 분포가 유리수일 경우 주기성을 보장하기 위해 결정론적으로 처리할 수 있다.
• 이 방법은 향후 분포 $ \nu_i $ 를 알고 있어야 하며, 국소적 결정이 불일치도 범위를 유지하지 못하는 반례를 통해 이는 필수적임을 보여준다.

실험 결과

연구 질문

• RQ1 비i.i.i.d. 이산 분포에 대해 불일치도가 1 이하로 유한한 결정론적, 구조적 알고리즘이 수열을 생성할 수 있는가?
• RQ2 시간에 따라 변화하는 분포를 가진 가чёт한 집합 위에서 i.i.i.d. 수열의 저불일치도 성질을 어떻게 비i.i.i.d. 수열으로 확장할 수 있는가?
• RQ3 과거 분포만에 의존하는 결정론적 알고리즘이 도달할 수 있는 최소 불일치도는 무엇인가?
• RQ4 어떤 조건에서 알고리즘이 주기적 수열을 생성하며, 이는 유리수 확률 측도와 어떻게 관련이 있는가?
• RQ5 불일치도는 수의 수치 외에도 선택된 원소들 간의 간격에 대해서도 제어 가능할 수 있는가?

주요 결과

• 제안된 알고리즘은 모든 $ k \to \text{infty} $ 및 모든 $ s \to \text{in } \text{supp}(\nu) $ 에 대해 불일치도 $ |N_k(s) - P_k(s)| < 1 $을 보장한다. 여기서 $ N_k(s) $ 는 수세기이고 $ P_k(s) $ 는 기대 수이다.
• 알고리즘은 구조적이고 결정론적이며, 확률적 존재 증명에 의존하지 않고 저불일치도 수열을 생성할 수 있는 실용적 방법을 제공한다.
• 유리수 분포의 경우 알고리즘은 분포 확률의 분모들의 최소공배수에 해당하는 주기의 주기적 수열을 생성한다.
• 불일치도 경계는 최적이며, 일반적으로 $ |N_k(s) - P_k(s)| < 1 $ 을 $ \text{const} < 1 $ 으로 개선할 수 없다는 점이 반례를 통해 입증된다.
• 알고리즘은 향후 분포를 알고 있어야 하며, 이는 피할 수 없으며, $ \nu_k $ 가 $ \big{1,\text{...},5\big} $ 에서 균일하게 분포하는 반례를 통해 이를 입증한다.
• 결과는 Holroyd와 Propp의 정리가 무한 집합과 비i.i.i.d. 수열으로 일반화된 것으로, 정리 2는 정리 1을 엄격히 일반화한다.