[논문 리뷰] A Note on M-convex Functions on Jump Systems

Kazuo Murota|arXiv (Cornell University)|2019. 07. 14.

Advanced Graph Theory Research참고 문헌 17인용 수 4

한 줄 요약

이 논문은 점프 M♮-볼록 함수를 도입하고 특성화하며, 더 넓은 범위의 점프 시스템에 대한 점프 M-볼록 함수의 일반화를 다룬다. 이는 n개의 변수를 가진 점프 M♮-볼록 함수를 n+1개의 변수를 가진 점프 M-볼록 함수로의 단사 통합을 수립하여 그 상등성을 증명하고, 기존 결과의 이행을 가능하게 한다. 논문은 또한 점프 M♮-볼록 함수가 집계, 투영, 콘볼루션, 합성, 네트워크 변환과 같은 핵심 연산에 대해 닫혀 있음을 보여준다.

ABSTRACT

A jump system is defined as a set of integer points (vectors) with a certain exchange property, generalizing the concepts of matroids, delta-matroids, and base polyhedra of integral polymatroids (or submodular systems). A discrete convexity concept is defined for functions on constant-parity jump systems and it has been used in graph theory and algebra. In this paper we call it "jump M-convexity" and extend it to "jump M-natural-convexity" for functions defined on a larger class of jump systems. By definition, every jump M-convex function is a jump M-natural-convex function, and we show the equivalence of these concepts by establishing an (injective) embedding of jump M-natural-convex functions in n variables into the set of jump M-convex functions in n+1 variables. Using this equivalence we show further that jump M-natural-convex functions admit a number of natural operations such as aggregation, projection (partial minimization), convolution, composition, and transformation by a network.

연구 동기 및 목표

• 상수-짝수성 점프 시스템에서 점프 M-볼록성의 개념을 더 넓은 범위의 점프 시스템으로 확장하기 위해, 동시에 교환 성질을 만족하는 점프 시스템으로의 일반화를 목적으로 한다.
• 점프 M♮-볼록 함수를 정의하고, M-볼록 함수 및 밸류에이티드 델타-마트로이드 개념을 일반화하여 그 성질을 연구한다.
• 하나의 차원 높은 공간으로의 단사 통합을 통해 점프 M♮-볼록 함수와 점프 M-볼록 함수 간의 상등성을 수립한다.
• 집계, 투영, 콘볼루션, 합성, 네트워크 변환과 같은 기본 연산들이 점프 M♮-볼록 함수에 대해 유지되는지 보여준다.
• 기존 점프 M-볼록 함수에 대한 결과를 더 넓은 범위의 점프 M♮-볼록 함수에 적용할 수 있도록 한다.

제안 방법

• 동시 교환 성질을 만족하는 점프 시스템에서 점프 M♮-볼록 함수의 개념을 도입하여 M-볼록성의 일반화를 시도한다.
• n개의 변수를 가진 점프 M♮-볼록 함수를 n+1개의 변수를 가진 점프 M-볼록 함수로의 단사 통합을 정의하고, 그 상등성을 증명한다.
• 이 통합을 통해 점프 M-볼록 함수에서 알려진 구조적 및 알고리즘적 결과를 점프 M♮-볼록 함수로 이행한다.
• 점프 M-볼록 함수에 대한 기존 결과와 통합을 통해 집계, 투영(부분 최소화), 콘볼루션, 합성, 네트워크 변환과 같은 연산을 분석한다.
• 정리 4.7을 통해 콘볼루션에 대한 닫힘성을 증명하여, 두 점프 M♮-볼록 함수의 최소 콘볼루션도 점프 M♮-볼록 함수임을 보인다.
• 정리 4.12를 통해 네트워크 변환에 대한 닫힘성을 확립하여, 간선 비용 함수가 볼록일 경우 네트워크를 통한 점프 M♮-볼록 함수의 변환 결과 역시 점프 M♮-볼록 함수가 됨을 보여준다.

실험 결과

연구 질문

• RQ1 상수-짝수성 시스템을 초월하여 점프 M-볼록성을 더 넓은 범위의 점프 시스템으로 확장할 수 있는가?
• RQ2 점프 M♮-볼록 함수는 더 높은 차원 공간에서 점프 M-볼록 함수로 단사 통합될 수 있는가?
• RQ3 집계, 투영, 콘볼루션, 합성, 네트워크 변환과 같은 기본 연산들이 점프 M♮-볼록성에 대해 유지되는가?
• RQ4 점프 M♮-볼록성과 점프 M-볼록성 간의 상등성이 존재함으로써, 후자의 기존 결과를 전자로 이행할 수 있는가?
• RQ5 네트워크 변환은 점프 시스템에 정의된 M♮-볼록 함수의 성질을 유지하는가?

주요 결과

• 점프 M♮-볼록 함수는 n+1개의 변수로의 단사 통합을 통해 점프 M-볼록 함수와 상등하며, 이는 일대일 대응을 수립한다.
• 모든 점프 M-볼록 함수는 점프 M♮-볼록 함수이며, 그 역도 통합 구조를 통해 성립한다.
• 점프 M♮-볼록 함수는 집계에 대해 닫혀 있으며, 통합과 기존 점프 M-볼록 함수의 결과를 통해 이를 보였다.
• 두 점프 M♮-볼록 함수의 콘볼루션은 자체적으로 점프 M♮-볼록 함수이며, 정리 4.7에서 이를 증명하였다.
• 간선 비용 함수가 볼록일 경우, 네트워크를 통한 점프 M♮-볼록 함수의 변환 결과 역시 점프 M♮-볼록 함수가 되며, 정리 4.12에 의해 기술되어 있다.
• 점프 M♮-볼록 함수의 분할 또한 점프 M♮-볼록 함수이며, 점프 M-볼록 함수의 기존 결과를 더 넓은 범위로 확장한 것이다.