[논문 리뷰] Algebraic Farkas Lemma and Strong Duality for Perturbed Conic Linear Programming

P. D. Khanh, V. V. H. Khoa외 1명|arXiv (Cornell University)|2026. 01. 15.

Optimization and Variational Analysis인용 수 0

한 줄 요약

본 논문은 이중 벡터 공간 쌍에서의 교란된 무한 차원 원뿔 선형 프로그램에 대해 Farkas lemma와 강면대칭을 대수적으로 버전으로 제시하고, 하이퍼그래프/에피그래프 구성들을 사용한다.

ABSTRACT

This paper addresses the study of algebraic versions of Farkas lemma and strong duality results in the very broad setting of infinite-dimensional conic linear programming in dual pairs of vector spaces. To this end, purely algebraic properties of perturbed optimal value functions of both primal and dual problems and their corresponding hypergraph/epigraph are investigated. The newly developed hypergraphical/epigraphical sets, inspired by Kretschmer's closedness conditions \cite{Kretschmer61}, together with their novel convex separation-type characterizations, give rise to various perturbed Farkas-type lemmas which allow us to derive complete characterizations of ``zero duality gap''. Principally, when certain structures of algebraic or topological duals are imposed, illuminating implications of the developed condition are also explored.

연구 동기 및 목표

• 벡터 공간의 이중 쌍에서의 원뿔 선형 프로그래밍에 대한 Farkas lemma의 대수적(토폴로지 무관) 변형과 강면대칭을 동기부여하고 분석한다.
• 교란된 원시/이중 형태와 그 최적값 함수를 도입하여 제로 듀얼리티 간극에 대한 검증 가능한 대수적 조건을 도출한다.
• Kretschmer의 닫힘 조건에서 영감을 얻은 하이퍼그래프/에피그래프 집합을 개발하고 이를 볼록 분리 원리와 연결한다.

제안 방법

• P와 Q를 원뿔로 하는 이중 쌍에서의 원뿔 LP(P)와 LP(D)를 정의한다.
• 교란된 최적값 함수 v_D와 v_P를 구성하고 그들의 에피그래프/하이포그래프 집합 N = epi v_D와 M = hypo v_P를 정의한다.
• 이들 집합에 대한 등가성 및 분리 특성(정리 3.1 및 3.2)을 증명한다.
• 강면대칭의 대수적 기준으로 Condition (D): H = N과 Condition (D*): K = M를 도입한다.
• 타당성, 교란, 이중 가능성의 연결을 다루는 교란된 Farkas 보조정리의 대수적 증명(정리 4.1)을 제공한다.

실험 결과

연구 질문

• RQ1 위상 정보를 전혀 사용하지 않고 순수하게 대수적 조건으로 무한 차원 원뿔 LP에서 강면대칭(제로 듀얼리티 간극)을 보장할 수 있는가?
• RQ2 비용 교란 하에서 교란된 이중성 및 대수적 분리기법이 타당성 및 최적값을 어떻게 특성화하는가?
• RQ3 보조 집합(H, K)의 대수적 닫힘과 epi/hypo 표상(N, M) 사이의 관계는 무엇인가?
• RQ4 교란된 강면대칭에 동등한 검증 가능한 대수적 조건(D)과(D*)을 도출할 수 있는가?

주요 결과

• 에피그래피컬/하이퍼그래피컬 집합 N과 M은 교란된 이중성 정보를 올바르게 인코딩하고 H ⊆ N 및 K ⊆ M을 만족한다.
• val(P) 또는 val(D)가 유한할 때 대응 점들이 N 또는 M에 위치하여 타당성을 교란된 값 함수와 연결한다.
• 본 논문은 Condition (D)와 Condition (D*)를 통해 강면대칭의 대수적 등가를 제시하고 교란된 Farkas 보조정리(정리 4.1)를 증명한다.
• N은 H의 대수적 닫힘 acl(H)을 포함하고 있어 적절한 조건하에서 대수적과 위상적 개념 사이의 연결을 확립한다.