[논문 리뷰] On Groupoids and Hypergraphs

Martin Otto|arXiv (Cornell University)|2012. 11. 24.

semigroups and automata theory참고 문헌 11인용 수 5

한 줄 요약

이 논문은 같은 색상 클래스(코스트) 내부의 순서는 세지 않고, 색상 클래스 간 전이만 세는 할인 거리 측정법을 사용하는 케일리 그래프를 갖는 유한 군oids의 구축을 제안한다. 이러한 군oids는 주어진 겹침 패턴을 갖는 유한 초그래프를 만들기 위한 일반적인 방법을 가능하게 하며, 작은 순환을 포함하지 않도록 하며, 대칭성을 유지하고, 감소된 곱을 통한 전역 유한 닫힘을 지원한다.

ABSTRACT

We present a novel construction of finite groupoids whose Cayley graphs have large girth even w.r.t. a discounted distance measure that contracts arbitrarily long sequences of edges from the same colour class (sub-groupoid), and only counts transitions between colour classes (cosets). These groupoids are employed towards a generic construction method for finite hypergraphs that realise specified overlap patterns and avoid small cyclic configurations. The constructions are based on reduced products with groupoids generated by the elementary local extension steps, and can be made to preserve the symmetries of the given overlap pattern. In particular, we obtain highly symmetric, finite hypergraph coverings without short cycles. The groupoids and their application in reduced products are sufficiently generic to be applicable to other constructions that are specified in terms of local glueing operations and require global finite closure.

연구 동기 및 목표

• 지정된 겹침 패턴을 실현하는 유한 초그래프를 구축하기 위한 일반적인 방법을 개발하는 것.
• 군oids 기반의 구조적 제약 조건을 통해 초그래프에서 작은 순환 구조를 제거하는 것.
• 결과 초그래프 구축 과정에서 원래 겹침 패tern의 대칭성을 유지하는 것.
• 국소 접합 연산으로 정의된 구축에서 전역적으로 유한 닫힘을 가능하게 하는 것.
• 유한하고 대칭적이며 순환 없이 결과가 도출되는 조합적 구축에 군oids와 감소된 곱의 사용을 일반화하는 것.

제안 방법

• 같은 색상 클래스(부군oids) 내부의 반복 엣지 무시하는 할인 거리 측정법을 사용하는 케일리 그래프를 갖는 유한 군oids를 구축하는 것.
• 다른 색상 클래스(코스트) 간 전이만 세는 거리 측정법을 정의하여, 내부 순서보다는 구조적 다양성에 중점을 두는 것.
• 이 군oids의 감소된 곱을 사용하여 겹침 패턴을 제어하는 유한 초그래프를 생성하는 것.
• 기초적인 국소 확장 단계를 사용하여 기초 군oids를 생성함으로써 전역 닫힘과의 호환성을 확보하는 것.
• 이 군oids 프레임워크를 유한하고 대칭적이며 순환 없는 결과를 필요로 하는 초그래프 구축에 적용하는 것.
• 군oids의 구조를 통해 결과 초그래프 커버링이 원래 겹침 패턴의 대칭성을 그대로 이어받을 수 있도록 보장하는 것.

실험 결과

연구 질문

• RQ1 어떻게 하면 같은 색상 클래스 내부의 순서를 무시하는 할인 거리 측정법을 사용할 때, 군oids의 케일리 그래프가 큰 둘레를 갖도록 구축할 수 있는가?
• RQ2 이러한 군oids의 감소된 곱은 특정 겹침 패턴을 갖는 유한 초그래프를 생성하는 데 어떤 역할을 하는가?
• RQ3 이 구축 방법은 주어진 겹침 패턴의 대칭성을 결과 초그래프에서 유지할 수 있는가?
• RQ4 군oids 기반의 구조를 사용하여 국소 접합 연산을 어떻게 표현하고 전역적으로 닫힐 수 있는가?
• RQ5 이 프레임워크는 유한하고 대칭적이며 순환 없는 결과를 필요로 하는 다른 조합적 구축에 얼마나 일반화될 수 있는가?

주요 결과

• 제안된 군oids는 같은 색상 클래스 간 전이만 세는 할인 거리 측정법을 사용할 때, 큰 둘레를 갖는 케일리 그래프를 생성하며, 이는 긴 내부 순서를 효과적으로 억제한다.
• 이 구축 방법은 작은 순환 구조 없이 임의로 지정된 겹침 패턴을 실현하는 유한 초그래프를 생성할 수 있다.
• 결과 초그래프 커버링은 매우 대칭적이며, 원래 겹침 패턴의 대칭성을 그대로 이어받는다.
• 감소된 곱과 구조화된 군oids를 사용함으로써 국소 접합 연산으로 정의된 구축에서 전역적으로 유한 닫힘을 지원한다.
• 이 프레임워크는 군oids 기반의 감소된 곱을 통해 다른 유한하고 대칭적이며 순환 없는 결과를 필요로 하는 구축에 적용 가능한 충분히 일반적인 프레임워크이다.
• 할인 거리 측정법은 긴 단색 경로를 효과적으로 압축하여, 순수한 엣지 수가 아닌 구조적 전이의 관점에서 둘레를 의미 있게 측정할 수 있도록 한다.