[논문 리뷰] Probabilities of random monomial ideals associated to large graphs

Daniel George, Humberto Muñoz-George외 1명|arXiv (Cornell University)|2026. 01. 11.

Geometry and complex manifolds인용 수 0

한 줄 요약

논문은 Erdős–Rényi 그래프에서 유도된 확률적 모델을 사용하여 랜덤 간선 및 커버 몬omial 이데일에 대해 분석하고, 점근적 정규성, Krull 차원, 규칙성 및 v-number를 분석한다. 그래프 특성들이 이 대수 불변량들을 결정하는 임계 함수를 확립한다.

ABSTRACT

Inspired by the Erdős Rényi model, we propose a new model for freesquare random monomial ideals generated by edges and covers of a graph. This permit us to investigate the conditions of normality for which we obtain asymptotic results. We also elaborate on asymptotic results for other invariants such as the Krull dimension (for which we obtain threshold function), the regularity and the $v$-number.

연구 동기 및 목표

• 그래프와 연관된 몬omial 이데일의 평균 거동을 이해하기 위한 난수 사용의 동기를 제시한다.
• 그래프의 간선 이내와 커버 이데일에 대해 Erdős–Rényi에서 영감을 받은 모델을 도입하고 이들 이데일이 정상(normal)인 때를 연구한다.
• Krull 차원의 임계 함수를 결정하고 규칙성 및 v-number의 점근적 특성을 도출한다.

제안 방법

• 변수에 대응하는 정점 집합과 간선이 확률 p로 선택된 랜덤 그래프 G를 정의한다.
• G로부터 squarefree 몫모듈 I(G)와 Ic(G)를 간선 이데일로 정의한다.
• p, q=1-p의 조건 하에서 I(G)와 Ic(G)에 대한 점근적 정규성 기준을 증명한다.
• 독립성 수 β0(G)와 dim(S/I(G)) 간의 관련성을 통해 Krull 차원을 도출하고 임계 함수를 산출한다.
• Hochster 구성을 이용한 이중성 기준으로 Ic(G)의 정규성을 G와 그 여집합의 특성과 연결한다.
• T와 Et와 같은 유도된 부분그래프들을 확률적으로 계산하여 정규성과 차원을 좌우하는 사건들을 추정한다.

실험 결과

연구 질문

• RQ1 Erdős–Rényi 분포 하에서 I(G)와 Ic(G)가 정상일 확률은 어떤가?
• RQ2 S/I(G)의 Krull 차원은 점근적으로 어떻게 거동하고, β0(G)≥t의 임계 함수는 무엇인가?
• RQ3 다양한 p에서 이 무작위 몬omial 이데일의 규칙성 및 v-number의 점근은 어떻게 되는가?
• RQ4 그래프의 Hochster 구성과 같은 특성이 이중성에 의해 정규성에 어떤 영향을 주는가?

주요 결과

• For I(G) ~ IER(n,p), normality occurs with probability approaching 1 when p = o(1/n) and tends to 0 when pq^{3/2} = ω(1/n).
• For Ic(G) ~ IERc(n,p), normality holds with probability 1 if p = o(1/n).
• If q = 1-p = o(1/n), then Ic(G) is not normal with β0(G)≤2 has probability approaching 0.
• The Krull dimension of S/I(G) equals the independence number β0(G), with a threshold q ~ n^{-2/(t-1)} for dim(S/I(G))≥t; thus dim equals t asymptotically almost surely when q lies between o(n^{-2/t}) and ω(n^{-2/(t-1)}).
• Corollaries give reg(S/I(G)) ≤ t-1 and v(I(G)) ≤ t-1 under q = o(n^{-2/(t-1)}).