[논문 리뷰] Grassmann--Plücker functions for orthogonal matroids

Changxin Ding, Donggyu Kim|arXiv (Cornell University)|2026. 01. 27.

Matrix Theory and Algorithms인용 수 0

한 줄 요약

논문은 restricted Grassmann–Plücker 함수 유형 D를 사용하여 트랙트 위의 직교 매트로이드에 대한 새로운 크립토모픽 정의를 도입하고 Wick 함수를 GP 데이터와 연결한다.

ABSTRACT

We present a new cryptomorphic definition of orthogonal matroids with coefficients using Grassmann--Plücker functions. The equivalence is motivated by Cayley's identities expressing principal and almost-principal minors of a skew-symmetric matrix in terms of its Pfaffians. As a corollary of the new cryptomorphism, we deduce that each component of the orthogonal Grassmannian is parameterized by certain part of the Plücker coordinates.

연구 동기 및 목표

• Grassmann–Plücker 데이터로 계수와 함께 직교 매트로이드에 대한 암호화된(cryptomorphisms) 정의를 동기부여하고 통합한다.
• 원지 및 거의-주된 마이너를 Cayley 유형의 항등식을 통해 포착하는 제한된 GP 함수 프레임워크를 개발한다.
• 직교 F-매트로이드, 제한 GP 함수 유형 D, 그리고 직교 F-서명을 자연스러운 일대일 대응으로 확립한다.

제안 방법

• 트랙 F 위에 유형 D의 제한된 Grassmann–Plücker 함수(rGP)을 정의한다.
• 비자명한 함수가 존재하도록 rGP(제한된 GP) 관계를 증명하고, 짝수-홀수 조건(rGP3)과 부호 일관성(rGP4)을 도입한다.
• Wick F-함수가 명시적 구성으로 제한된 GP 함수를 결정함을 보인다.
• 일대일 대응을 구성한다: orthogonal F-matroids <-> orthogonal F-signatures <-> restricted GP F-functions (Theorem 1.1).
• 복소수 realizations를 직교 Grassmannian OG(n,2n)의 제한된 Plücker 임베딩 및 그 두 구성 요소와 연결한다(Corollary 1.2).
• 약한 버전 및 그 대응(정리 1.3)을 다룬다.

실험 결과

연구 질문

• RQ1 Can orthogonal F-matroids be fully captured by restricted GP functions of type D?
• RQ2 How do Wick coordinates, restricted GP data, and orthogonal F-signatures correspond as cryptomorphisms?
• RQ3 What are the implications for the restricted Plücker embedding of OG(n,2n) and its connected components?
• RQ4 Do weak orthogonal F-matroids admit analogous bijections to restricted GP data and weak F-circuit signatures?

주요 결과

• There are natural bijections between orthogonal F-matroids, restricted GP F-functions of type D, and orthogonal F-signatures (Theorem 1.1).
• There are corresponding bijections in the weak setting among weak orthogonal F-matroids, weak restricted GP F-functions, and weak F-circuit sets (Theorem 1.3).
• The restricted Plücker embedding of OG(n,2n) shows that each connected component image is cut out by restricted Plücker relations plus certain linear relations (Corollary 1.2).
• Restricted GP functions satisfy parity-based and sign-consistency constraints that reflect the two connected components of OG(n,2n) (Remarks and Corollaries).
• The framework generalizes previous cryptomorphisms for orthogonal matroids over tracts and mirrors known type C/Lagrangian cases in a type D setting.