[논문 리뷰] A Generalized Faulhaber Inequality, Improved Bracketing Covers, and Applications to Discrepancy

Michael Gnewuch, Hendrik Pasing외 1명|arXiv (Cornell University)|2020. 10. 22.

Mathematical Approximation and Integration참고 문헌 55인용 수 9

한 줄 요약

이 논문은 원점에 고정된 d차원 축에 평행한 상자에 대한 괄호 수의 경계를 향상시키기 위해 일반화된 Faulhaber 부등식을 도입한다. 이 부등식을 활용하여, 음의 상관관계를 가진 랜덤 점 집합의 스타-불일치도 및 가중 스타-불일치도에 대해 더 날카운 상한을 도출하며, 이는 사전 점점적 경계를 크게 향상시키고, 더 나은 불일치도 추정 및 저불일치도 점 집합의 알고리즘적 구성을 가능하게 한다.

ABSTRACT

We prove a generalized Faulhaber inequality to bound the sums of the $j$-th powers of the first $n$ (possibly shifted) natural numbers. With the help of this inequality we are able to improve the known bounds for bracketing numbers of $d$-dimensional axis-parallel boxes anchored in $0$ (or, put differently, of lower left orthants intersected with the $d$-dimensional unit cube $[0,1]^d$). We use these improved bracketing numbers to establish new bounds for the star-discrepancy of negatively dependent random point sets and its expectation. We apply our findings also to the weighted star-discrepancy.

연구 동기 및 목표

• 0 ≤ r ≤ 1일 때 이동된 거듭제곱 (i + r)^j의 합을 위한 일반화된 Faulhaber 부등식을 도출하는 것.
• 0에 고정된 d차원 축에 평행한 상자에 대한 괄호 수 N[ ](d, δ)의 상한을 개선하는 것.
• 음의 상관관계를 가진 랜덤 점 집합의 스타-불일치도에 대한 더 날카운 사전 점점적 경계를 확립하는 것.
• 이러한 결과를 가중 스타-불일치도로 확장하고 기존의 확률적 불일치도 경계를 향상시키는 것.

제안 방법

• 일반화된 Faulhaber 부등식 유도: 0 ≤ r ≤ 1일 때 ∑_{i=1}^n (i + r)^j ≤ (n + r)^{j+1}/(j+1) + (n + r)^j /2 + j(n + r)^{j-1}/12.
• 이 부등식을 사용하여 [0,1]^d에 대한 명시적이고 개선된 δ-커버 및 괄호 커버를 구성하는 것.
• 개선된 괄호 수 경계를 활용해 음의 상관관계를 가진 랜덤 점 집합의 스타-불일치도를 분석하는 것.
• 이중 체이닝 방법과 농도 불등식을 활용하여 γ-음의 상관관계 하에서의 확률적 불일치도 경계를 도출하는 것.
• 개선된 괄호 수를 활용해 기존의 가중 스타-불일치도 및 산란에 대한 경계를 정교화하는 것.
• 결과를 몬테카를로 및 준몬테카를로 점 집합에 적용하여 통합 오차와 알고리즘 효율성에 대한 더 날카운 경계를 이끌어내는 것.

실험 결과

연구 질문

• RQ1 이동된 합 (i + r)^j에 대한 일반화된 Faulhaber 부등식이 고차원에서 괄호 수 경계를 향상시킬 수 있는가?
• RQ2 개선된 괄호 수 경계가 음의 상관관계를 가진 점 집합의 사전 점점적 불일치도 경계에 어떤 영향을 미치는가?
• RQ3 일반화된 Faulhaber 부등식을 사용해 기존의 가중 스타-불일치도 경계를 더 견고하게 만들 수 있는가?
• RQ4 γ-음의 상관관계가 랜덤 점 집합의 확률적 불일치도 경계에 어떤 영향을 미치는가?
• RQ5 개선된 괄호 수는 불일치도 계산 또는 저불일치도 집합의 구성에 더 효율적인 알고리즘을 가능하게 하는가?

주요 결과

• 일반화된 Faulhaber 부등식은 양의 계수를 가진 ∑_{i=1}^n (i + r)^j에 대해 날카운 상한을 제공하며, 괄호 수 분석을 더 엄밀하게 가능하게 한다.
• 괄호 수 N[ ](d, δ)는 max{1.1^{d-101}, 1} · d^d / d! · (δ^{-1} + 1)^d로 경계지어지며, 이는 이전 경계보다 크게 향상되었다.
• 몬테카를로 점 집합의 경우, 가중 스타-불일치도는 0.7723 / √N · max_{∅≠u⊆[d]} γ_u · √(11.78864 + log(d) − (1 + 1/(2|u|)) log(|u|)) / √|u|로 경계지어진다.
• γ-음의 상관관계 하에서, 스타-불일치도는 고확률로 c · max_u γ_u · √(|u|/N) 이하로 제한되며, 확률 경계는 c, d, ρ에 의존한다.
• 개선된 괄호 수는 더 날카운 사전 점점적 경계를 이끌어내며, 불일치도 계산과 저불일치도 집합의 구성에 더 효율적인 방법을 가능하게 한다.
• 결과는 극한 불일치도 및 산란으로까지 확장되어, 수치 적분 및 최적화 분야에서 더 넓은 적용 가능성을 시사한다.