[논문 리뷰] Set mappings for general graphs

Lior Gishboliner, Zhihan Jin외 1명|arXiv (Cornell University)|2026. 01. 02.

Limits and Structures in Graph Theory인용 수 0

한 줄 요약

논문은 임의의 그래프 G가 m개의 간선을 가지며 고립점이 없고, 간선들에 대한 서로 겹치지 않는 매핑 f를 모든 간선에 대해 적용했을 때, 임베딩된 정점 집합과의 교차가 없도록 충분히 큰 K_N으로 G를 임베딩할 수 있으며 N = O(m)이다. 이 경계는 특정 그래프에 대해 log 요인만큼 타이트하다.

ABSTRACT

The study of extremal problems for set mappings has a long history. It was introduced in 1958 by Erdős and Hajnal, who considered the case of cliques in graphs and hypergraphs. Recently, Caro, Patkós, Tuza and Vizer revisited this subject, and initiated the systematic study of set mapping problems for general graphs. In this paper, we prove the following result, which answers one of their questions. Let $G$ be a graph with $m$ edges and no isolated vertices and let $f : E(K_N) ightarrow E(K_N)$ such that $f(e)$ is disjoint from $e$ for all $e \in E(K_N)$. Then for some absolute constant $C$, as long as $N \geq C m$, there is a copy $G^*$ of $G$ in $K_N$ such that $f(e)$ is disjoint from $V(G^*)$ for all $e \in E(G^*)$. The bound $N = O(m)$ is tight for cliques and is tight up to a logarithmic factor for all $G$.

연구 동기 및 목표

• 일반 그래프에서 집합 매핑에 대한 극한 문제를 동기 부여하고 연구한다.
• 간선 수 m에 대한 w(G)의 크기 매개변수에 대한 거의 타이트한 상한을 확립한다.
• 임베딩 과정에서 충돌을 피하기 위한 확률적 및 결정적 전략을 개발한다.

제안 방법

• w(G)를 모든 f:E(K_N)→E(K_N)에서 f(e)가 e와 서로 겹치지 않도록 하는 경우 G의 임베딩이 G의 이미지를 만나는 f(e)를 피하도록 하는 최소 N으로 정의한다.
• 정리 1.1를 증명한다: 고립점이 없는 m개의 간선을 가진 그래프에 대해 w(G) ≤ C m를 확률적 임베딩 프레임워크를 사용하여 증명한다.
• 결정적 알고리즘(Algorithm 1)과 충돌을 제어하기 위해 신중하게 구성된 보조 집합 X_j를 통해 임베딩 문제로 환원한다.
• Chernoff 경계와 Lovász 스타일의 확률적 논증을 사용하여 높은 확률로 적합한 입력 집합의 존재를 보장한다.
• 클리크에 대한 알려진 경계와 기존 하한 p_{k,ℓ}(N) 및 w(G) 하한과의 연관성을 이용해 타당성을 보인다.

실험 결과

연구 질문

• RQ1 고립점이 없는 일반 그래프에서 m에 대해 w(G)의 최선의 점근 경계는 무엇인가?
• RQ2 모든 그래프에 대해 w(G) = O(m)가 타이트한가, 아니면 특정 가족(예: 클리크, 희소 그래프)에서만 타이트한가?
• RQ3 메서드를 k-균일 하이퍼그래프에 확장하여 해당 설정에서 w(G) = O(e(G))를 얻을 수 있는가?
• RQ4 K_{n,n}과 같은 특정 그래프에 대해 상수와 상한 사이의 차이가 무엇이고, 다른 하이퍼그래프 확장에서의 가능한 간격은?

주요 결과

• 임의의 상수 C가 존재하여 모든 그래프 G에 대해 m개의 간선을 가지며 고립점이 없는 경우 w(G) ≤ C m이다.
• 이 경계는 로그 m의 차수로 인해 상한이 타이트하며 클리크에 대한 알려진 결과로 인해 여전히 타이트하다.
• 일반화된 설정에서 N ≥ C ℓ m인 경우에 작동하는 구성적 임베딩 접근법을 제공한다(정리 2.1).
• G = K_n인 경우 w(G) = Θ(n^2)로, p_{2,2}(N) 경계와 일치하며 클리크 케이스에서의 타이트함을 보여 준다.
• 결과는 Ω(m/log m) ≤ w(G) ≤ O(m)을 시사하며 K_{n,n}와 가능한 하이퍼그래프 확장에 관한 오픈 질문을 자극한다.