[논문 리뷰] What did Ryser Conjecture?

Darcy Best, Ian M. Wanless|arXiv (Cornell University)|2018. 01. 09.

Digital Image Processing Techniques참고 문헌 5인용 수 4

한 줄 요약

이 논문은 허버트 J. 라이저의 1967년 옥스퍼드 회의에서 발표한 논문을 번역하고 분석함으로써 역사적 오기인 잘못된 기여를 바로잡는다. 이 중 두 개의 널리 알려진 추측 중 하나인 홀수 차수 라틴 제곱에서의 전이(Transversal)에 관한 추측만이 원본 논문에 실제로 존재하며, 다른 하나인 초그래프의 커버링 수와 매칭 수 사이의 관계에 관한 추측은 1967년 라이저의 논문이 아니라 이후의 학위 논문에서 유래된 것으로 밝혀졌다.

ABSTRACT

Two prominent conjectures by Herbert J. Ryser have been falsely attributed to a somewhat obscure conference proceedings that he wrote in German. Here we provide a translation of that paper and try to correct the historical record at least as far as what was conjectured in it. The two conjectures relate to transversals in Latin squares of odd order and to the relationship between the covering number and the matching number of multipartite hypergraphs.

연구 동기 및 목표

• 1967년 허버트 J. 라이저의 회의 논문에 잘못 기여된 것으로 알려진 두 개의 주요 추측에 대한 역사적 기록을 명확히 하기 위해.
• 원본 독일어 논문 [Rys67]을 영어로 번역하고 분석하여 실제로 포함된 추측을 파악하기 위해.
• 라이저의 1967년 작업에 잘못 기여된 것으로 알려진 추측 1(전이 수가 2로 나눈 나머지와 같음)과 추측 3(초그래프 커버링 수에 관한 것)을 바로잡기 위해.
• 홀수 차수 라틴 제곱이 항상 전이를 가진다는 추측 2의 진정한 기원을 확인하기 위해, 이는 [Rys67]에 실제로 존재함을 확인함.
• 라이저의 학생인 J. R. 헨더슨의 이후 학위 논문에서 유래된 것으로 밝혀진 초그래프 추측 τ ≤ (r−1)ν의 기원을 추적하기 위해.

제안 방법

• 라이저의 1967년 독일어 논문 [Rys67]을 영어로 번역하며, 모국어 사용자와 구글 번역 등의 도구를 활용함.
• 번역된 텍스트에 포함된 추측들을 이후 수학 문헌에서의 등장과 대조하여 역사적 기원을 확인함.
• [Rys67]의 내용을 분석하여 추측 1(전이 수가 n mod 2 와 동치임) 또는 추측 3(정점 수가 r-파트라이트 초그래프에서 τ ≤ (r−1)ν)이 포함되어 있는지 판단함.
• [Rys67]의 추측들과 이후의 알려진 자료, 특히 헨더슨의 1971년 학위 논문을 비교하여 각 추측의 정확한 기원을 추적함.
• 학술적 참고문헌과 인용을 활용하여 추측의 시기와 기원을 검증함. 특히 추측 1이 자주 기여된 바에도 불구하고 [Rys67]에 존재하지 않음이 확인됨.
• 원본 독일어 텍스트의 모호하거나 전문적인 문장들을 명확히 하기 위해 각주와 해설을 통합함.

실험 결과

연구 질문

• RQ1 허버트 J. 라이저의 1967년 회의 논문 [Rys67]이 실제로 라틴 제곱의 차수 n에 대해 전이 수가 n mod 2 와 동치라는 추측을 포함하고 있는가?
• RQ2 홀수 차수 라틴 제곱이 적어도 하나의 전이를 가진다는 추측이 라이저의 1967년 논문에 정확히 기여된 것인가?
• RQ3 r-파트라이트 초그래프에서 커버링 수 τ와 매칭 수 ν 사이의 관계 τ ≤ (r−1)ν에 관한 추측이 라이저의 1967년 논문에서 유래되었는가?
• RQ4 τ ≤ (r−1)ν에 관한 초그래프 추측의 진정한 기원은 무엇인가? 이는 라이저의 이름으로 자주 기여되지만 사실은 그렇지 않다.
• RQ5 이 추측들이 원본 텍스트에 증거가 없음에도 불구하고 왜 반복적으로 [Rys67]에 잘못 기여된 것인가?

주요 결과

• 추측 1 — 즉, 라틴 제곱의 차수 n에 대해 전이 수가 n mod 2 와 동치라는 추측 — 은 실제로 라이저의 1967년 논문 [Rys67]에 존재하지 않는다.
• 추측 1의 짝수 케이스(n이 짝수일 때)는 발라수브라마니안에 의해 증명되었지만, 홀수 케이스는 잘못된 것으로 밝혀졌으며, 7 이상의 차수에 대해 반례가 알려져 있다.
• 추측 2 — 홀수 차수 라틴 제곱이 적어도 하나의 전이를 가진다는 것 — 은 라이저의 논문에 정확히 포함되어 있으므로 올바르게 기여된 것으로 확인된다.
• 추측 3 — r-파트라이트 초그래프에서 τ ≤ (r−1)ν — 는 [Rys67]에 존재하지 않으며, 이는 자주 잘못 기여된 바이다.
• 초그래프 추측 τ ≤ (r−1)ν 는 라이저의 학생인 J. R. 헨더슨의 1971년 학위 논문에 등장하며, [Rys67]에는 존재하지 않는다.
• 이 논문은 역사적 기록이 왜곡되었으며, [Rys67]은 추측 1과 3의 기원으로 인용되어서는 안 된다고 결론을 내린다.