[논문 리뷰] Fooling sets (a.k.a. cross-free matchings) and rank in non-zero characteristic

Mirjam Friesen, Dirk Oliver Theis|arXiv (Cornell University)|2012. 08. 14.

Graph theory and applications인용 수 3

한 줄 요약

이 논문은 이분 그래프에서의 속임셋(교차 없는 매칭)에 관해 오랫동안 남아있던 문제를 해결하며, 비영 특성(특히 특성 2)의 체 위에서 인cidency 행렬의 질량을 계산할 때, 이러한 매칭의 크기 상한이 점점 더 가까워진다는 것을 보여준다. 선형 재귀로 정의된 순환 행렬을 사용하여, 저자들은 Dietzfelbinger 등(1994)의 상한이 특성 2에서 향상될 수 없음을 증명하고, 다른 비영 특성에서는 가중치가 부여된 행렬에 대해 더 강력한 부등식이 성립한다는 것을 확인한다.

ABSTRACT

In a bipartite graph, a or fooling set is a matching no two of whose edges induce a C_4. Dietzfelbinger, Hromkovi\v{c}, and Schnitger (1994) showed that the maximum cardinality of a cross-free matching is at most the square of the rank of the bipartite adjacency matrix of the graph (regardless of over which field the rank is computed), and asked, whether this bound can be improved. We show that if the rank is taken in characteristic 2, then the bound is asymptotically tight. For other non-zero characteristic, we show that a stronger form of Dietzfelbinger et al.'s inequality (implicit in their proof) for weighted adjacency matrices is tight. We use cyclic matrices defined by a linear recurrence relation.

연구 동기 및 목표

• 이전에 행렬 질량의 제곱 이하로 속임셋 크기 상한이 존재한다는 것이 입증된 이분 그래프에서의 속임셋 크기 상한이 향상될 수 있는지 여부를 규명하는 것.
• 특히 특성 2에서 질량을 계산할 때 이 상한이 얼마나 타당한지 조사하는 것.
• Dietzfelbinger 등에 의한 증명에 암묵적으로 포함된 더 강력한 부등식이 특성 2 이외의 비영 특성에서 가중치가 부여된 인cidency 행렬에 대해 성립하는지 검토하는 것.
• 선형 재귀 관계로 정의된 순환 행렬과 같은 대수적 구조를 사용하여 이론적 상한에 도달하는 명시적 행렬 가족을 구성하는 것.

제안 방법

• 저자들은 비영 특성의 유한체 위에서 선형 재귀 관계를 사용하여 순환 행렬을 정의한다.
• 특성 2의 체 위에서 이러한 행렬의 질량을 분석하고, 최대 속임셋 크기가 질량의 제곱에 점점 더 가까워진다는 것을 보여준다.
• 다른 비영 특성에서는 분석을 가중치가 부여된 인cidency 행렬로 확장하고, Dietzfelbinger 등에 의한 원래 증명에서 유도된 더 강력한 부등식의 타당성을 검증한다.
• 구성은 순환 행렬의 대수적 성질과 그 유한체 내 고유값에 의존한다.
• 증명은 C_4-무작위성 매칭과 행렬 질량 간의 관계를 연결하기 위해 간선 유도 부분그래프에 대한 조합적 추론을 사용한다.
• 재귀의 대칭성과 주기성을 활용하여, 속임셋 크기 대비 질량이 최소화됨을 보장한다.

실험 결과

연구 질문

• RQ1 특성 2의 체 위에서 질량을 계산할 때, 속임셋 크기 상한이 질량의 제곱으로서 타당한가?
• RQ2 Dietzfelbinger 등(1994)의 상한은 비영 특성에서 향상될 수 있는가, 아니면 점근적으로 최적인가?
• RQ3 원래 증명에 암묵적으로 포함된 더 강력한 부등식이 특성 2 이외의 특성에서 가중치가 부여된 인cidency 행렬에 대해 성립하는가?
• RQ4 비영 특성에서 이론적 최대 속임셋 크기를 도달하는 명시적 행렬 구성이 가능한가?

주요 결과

• 특성 2의 체 위에서 질량을 계산할 때, 속임셋 크기 상한이 질량의 제곱으로서 점근적으로 타당하다.
• 특성 2 이외의 비영 특성에서, Dietzfelbinger 등에 의한 증명에서 도출된 더 강력한 부등식은 가중치가 부여된 인cidency 행렬에 대해 타당하다.
• 선형 재귀 관계로 정의된 순환 행렬은 특성 2에서 질량에 비례하여 최대 속임셋 크기를 도달한다.
• 구성은 일반적으로 비영 특성 체에서 상한을 향상시킬 수 없음을 보여준다.
• 결과적으로, 유한체의 비영 특성에서 이분 그래프의 속임셋에 대해 질량 기반 상한이 점근적으로 최적임을 확인한다.