[논문 리뷰] Asynchronous iterations in ultrametric spaces

Alexander J. T. Gurney|arXiv (Cornell University)|2017. 01. 25.

advanced mathematical theories참고 문헌 9인용 수 4

한 줄 요약

이 논문은 초등적 거리공간을 사용하여 새로운 특성화를 도입함으로써, 异상적 반복(iteration)이 동기적 반복과 동일한 고정점에 수렴하기 위한 필수 및 필요조건을 확립한다. 이는 반복이 초등적 거리공간에 대해 궤도 위에서 엄격한 수축(contraction)이 되는 것과 동치임을 증명하며, 독립적인 프로세서의 최대 수는 공간의 차원과 일치함을 보이며, 이는 새로운 이방성 라우팅 및 논리 프로그래밍의 구현 가능성을 열어준다.

ABSTRACT

Some iterative calculations can be carried out by parallel communicating processors, and yield the same results whether or not the processors are synchronized. We show that this is the case if and only if the iteration is a contraction that is strict on orbits, with respect to an ultrametric defined on the state space. The maximum number of independent processors is given by the dimension of the space. We apply this theorem to interdomain routing, and are able to provide two advances over the previous state of the art. Firstly, multipath routing problems have unique solutions, if certain conditions are satisfied that are analogous to known correctness conditions for the single-path case. Secondly, these solutions can be computed asynchronously in a variety of ways, which go beyond methods that are currently used.

연구 동기 및 목표

• 초등적 거리공간을 사용하여 이방성 수축 연산자(ACOs)를 완전히 특성화하기 위해.
• 특정 충분조건 외에 일반적이고 검증 가능한 이방성 안전성 조건이 부족한 문제를 해결하기 위해.
• 수치 데이터를 초월하여 라우팅 경로나 논리 프로그램의 해석과 같은 이산 구조로 이방성 반복 이론을 확장하기 위해.
• 다중 경로 도메인 간 라우팅과 논리 프로그램 평가가 수렴 보장 조건 하에 이방성으로 계산될 수 있음을 보여주기 위해.

제안 방법

• 상태 공간에 초등적 거리공간을 정의하여, 구가 중첩된 상자처럼 계층적 반복 정밀도의 구조를 반영하도록 한다.
• 자기사상이 ACO임과 동시에 이 초등적 거리공간에 대해 궤도 위에서 엄격한 수축임이 동치임을 증명한다.
• 초등적 거리공간에서의 바나흐 고정점 정리(Banach fixed point theorem)를 적용하여 이러한 조건 하에서 고정점의 존재성과 유일성을 보장한다.
• 독립적인 프로세서의 수가 초등적 거리공간의 위상적 구조에서 유도된 차원에 의해 제한됨을 보인다.
• 도메인 간 라우팅에 이 프레임워크를 적용하기 위해, 경로 집합을 곱 초등적 거리공간의 원소로 모델링하고, 각 경로 또는 경로 구성 요소를 별개의 프로세서에 할당한다.
• 논리 프로그래밍으로의 확장을 위해, 계층적 순위 기반으로 해석에 대해 초등적 거리공간을 정의함으로써 수축성과 수렴성을 보장한다.

실험 결과

연구 질문

• RQ1 분산 프로세서에서 이방성으로 안전하게 실행될 수 있는 반복 알고리즘을 위한 필수 및 필요조건은 무엇인가?
• RQ2 이방성 반복 이론은 실수 값 데이터를 초월하여 라우팅 경로나 논리적 해석과 같은 이산 데이터 구조로 어떻게 일반화될 수 있는가?
• RQ3 이방성 반복에서 수렴에 영향을 주지 않고 사용할 수 있는 독립적 프로세서의 최대 수는 무엇에 의해 결정되는가?
• RQ4 단일 경로 정확성과 유사한 조건 하에서 다중 경로 도메인 간 라우팅이 유일한 해를 가짐을 증명할 수 있는가?
• RQ5 완벽 모델 의미론을 가진 논리 프로그램은 분산된 비동기 아키텍처에서 이방성으로 계산될 수 있는가?

주요 결과

• 반복이 초등적 거리공간에 대해 궤도 위에서 엄격한 수축이 되는 것과 동치로, 이는 이방성으로 안전함을 보장한다.
• 이방성 구현에서 사용할 수 있는 독립적 프로세서의 최대 수는 초등적 거리공간의 차원과 같다.
• 일부 조건 하에서 다중 경로 도메인 간 라우팅은 고정점이 유일하며, 이 해는 이방성으로 계산될 수 있다.
• 이방성 실행 중에 수렴에 영향을 주지 않고, 소스, 소스-대상 쌍, 다음 점(next-hop), 또는 지리적 영역 단위로 라우팅 경로 계산을 다중 계층에서 분해할 수 있다.
• 국소적으로 계층화된 문법을 가진 논리 프로그램은 고유한 완벽 모델을 가지며, 초등적 거리공간 기반 수축 프레임워크를 통해 이방성 반복으로 계산될 수 있다.
• 이 프레임워크는 이방성 실행 중 간섭 상태의 일시적 불일치를 허용하나, 최종적으로 일관된 고정점으로 수렴하는 것을 방해하지 않는다.