서지주요정보
Delta-matroids with coefficients and linear spaces equipped with a bilinear form = 계수가 주어진 델타매트로이드와 쌍선형 형식이 주어진 선형공간
서명 / 저자 Delta-matroids with coefficients and linear spaces equipped with a bilinear form = 계수가 주어진 델타매트로이드와 쌍선형 형식이 주어진 선형공간 / Donggyu Kim.
발행사항 [대전 : 한국과학기술원, 2025].
Online Access 원문보기 원문인쇄

소장정보

등록번호

8043783

소장위치/청구기호

학술문화관(도서관)2층 학위논문

DMAS 25002

휴대폰 전송

도서상태

이용가능(대출불가)

사유안내

반납예정일

리뷰정보

초록정보

We extend theory on matroids with coefficients in two different manners regarding the Lagrangian orthogonal/symplectic Grassmannians, which are (1) orthogonal matroids with coefficients and (2) antisymmetric matroids with coefficients. Our theory is closely related to delta-matroids, which capture combinatorial properties of symmetric and skew-symmetric matrices and graphs embedded in closed surfaces, whereas matroids capture common properties of linear spaces and graphs. Orthogonal matroids, equivalent to even delta-matroids, are the most important subclass of delta-matroids, which capture combinatorial properties of skew-symmetric matrices and graphs embedded in closed orientable surfaces. Wenzel, in the 1990s, introduced orthogonal matroids with coefficients in fuzzy rings by making use of the Wick relations. The Wick relations are the quadratic identities for pfaffians of skew-symmetric matrices, which generalize Grassmann-Plücker relations. We extend Wenzel’s idea and present several cryptomorphic definitions of orthogonal matroids with coefficients. This cryptomorphism generalizes the Wick embedding, a parameterization of the Lagrangian orthogonal Grassmannian into a projective space. As applications, we show several theorems on the representability of orthogonal matroids and we present Farkas’ Lemma for oriented orthogonal matroids. Additionally, we investigate necessary and sufficient conditions to reduce the size of binary orthogonal matroids under preserving 3-connectivity. We introduce a new matroid-like object called antisymmetric matroids, which generalizes matroids and orthogonal matroids and is compatible with delta-matroids. We establish antisymmetric matroids with coefficients in two different ways, extending a parameterization of the Lagrangian symplectic Grassmannian by Boege et al. in 2019. Our proof of the cryptomorphism involves the homotopy theorem for graphs associated with antisymmetric matroids, which generalizes both Maurer’s Homotopy Theorem for matroids and Wenzel’s Homotopy Theorem for orthogonal matroids.

계수가 주어진 매트로이드에 대한 이론을 라그랑지안 직교/심플렉틱 그래스만니안과 관련하여 두 가지 방법으로 확장한다. 첫째는 계수가 주어진 직교 매트로이드이고, 다른 하나는 계수가 주어진 반대칭 매트로이드이다. 직교 매트로이드는 반대칭 행렬과 닫힌 유향 곡면 위에서 정의된 그래프의 조합적 성질을 포착한다. 우리는 계수가 주어진 직교 매트로이드에 대한 여러 동등한 정의를 제공하며, 이는 라그랑지안 직교 그래스마니안의 사영 공간으로의 매개화인 Wick 매장을 일반화한다. 응용으로 직교 매트로이드에 대한 여러 표현성 정리를 얻으며, Farkas 보조정리의 유향 직교 매트로이드로의 확장 또한 얻는다. 추가적으로 우리는 3-연결성을 유지하면서 이진 직교 매트로이드의 크기를 줄이는 필요충분 조건을 제시한다. 우리는 반대칭 매트로이드라는 매트로이드를 확장하는 새로운 개념을 도입한다. 계수가 주어진 반대칭 매트로이드를 두 가지 동등한 방법으로 제시하며, 두 정의의 동등성은 라그랑지안 심플렉틱 그래스만니안을 매개화하는 방법을 내포한다. 증명은 반대칭 매트로이드에 대한 호모토피 정리를 수반하는데, 해당 정리는 Maurer의 매트로이드에 대한 호모토피 정리를 일반화한다.

서지기타정보

서지기타정보
청구기호 {DMAS 25002
형태사항 v, 155 p. : 삽화 ; 30 cm
언어 영어
일반주기 저자명의 한글표기: 김동규
지도교수의 영문표기: Holmsen, Andreas
지도교수의 한글표기: 안드레아스 홈슨
공동지도교수의 영문표기: Oum, Sang-il
공동지도교수의 한글표기: 엄상일
학위논문 학위논문(박사) - 한국과학기술원 : 수리과학과,
서지주기 References: p. 142-148
주제 Graph
Matroid
Matroids with coefficients
Baker-Bowler theory
Delta-matroid
(Lagrangian) orthogonal matroid
Grassmannian
Lagrangian orthogonal/symplectic Grassmannian
Maurer's homotopy theorem
Tutte's wheel theorem
그래프
매트로이드
계수가 주어진 매트로이드
Baker-Bowler 이론
델타매트로이드
(라그랑지안) 직교 매트로이드
그래스마니안
라그랑지안 직교/심플렉틱 그래스마니안
Maurer의 호모토피 정리
Tutte의 바퀴 정리
QR CODE

책소개

전체보기

목차

전체보기

이 주제의 인기대출도서

Equivalent concepts of orthogonal F-matroids for various tracts F

Related concepts of antisymmetric F-matroids for various tracts F

The organization of main contents. Each line represents the dependency between sections and chapters. For example, Chapter 6 requires an understanding of Section 4.2. We also recommend reading Section 3.2 and Chapter 5 ahead of Chapter 6 for full appreciation.

An oriented graph C) (left),its adjacency matrix (middle),and its incidence matrix (right).

Co is generated by C1,C2,C3.

Local complementation and pivoting.

The Fano plane, where eij =eitej with distinct i,j E [3] and e123 = ej-ez-e.

Two fundamental graphs ofthe Fano matroid F7 defined in Example 3.1.5. Theleftmost one is withrespect to the base B = {ei,e2,e3} and the midle oneis with respect to the base B' = {e12,e2,e3}, where the indices follows Figure 3.1. These two graphs are isomorphic to each other, and moreover every fundamental graph ofF7 is isomorphic to the rightmost graph, which is called the Fano graphand is also d

Examples of tracts and tract homomorphisms

Seven graphs representing binary non-regular even delta-matroids

Five graphs representing binary non-equable delta-matroids, where each box enclosing a vertex indicates a loop.

A 5-wheel W5 and its pivoting.

The base polytope of an antisymmetric matroid M on [3] U [3]* such that B(M) {1*2*3* 12*3*,1*23*,1*2*3,123} UA3· The six mid-points zeij and ek + zeij with ijk = [3] on 1- dimensional faces correspond to the almost-transversals of M.

Summary ofresults in Section 5.1.1-5.1.4. In (a),we assume that FE{T,K} orFisa partial field [6, 102]. In (b), we assume that Fis a field with char(F) #2.

Descriptions of Case I in the proof of Theorem 4.2.29. Solid lines represent edges of weight 1, double lines represent edges of weight 2, and dashed lines represent paths in 9M·

Descriptions of Case II.1 in the proof of Theorem 4.2.29.

Descriptions of Case II.2 in the proof of Theorem 4.2.29.

Two descriptions of the cycle C of weight 6 in 9M in the proofof Lemma 6.4.12. The cycle C can be identified with a 6-cycle in GM, where solid dots represent transversal bases and hollow dots represent almost-transversal bases of M.

An illustration ofacycle C= BjB2B.BiB ofweight 8in 9M together with Si and T, with iE [4] in the proof ofLemma 6.4.14.

The set of non-essential vertices ofGis {01,05,08} and the set of non-pivotal vertices ofG is {01,02,03,U4,05,08}. For instance, G\ U3 is prime and neither G*V3 \ V3 nor GAu203 \ V3 is prime.

Illustrations of H(S) for an isotropic system S whose fundamental graph is C5 or C6.

Five types of partial hypergraphs.

8(01,82,13) with 3 <GS(2 < l3 and its vertex-minors

0(1,02,03) with 4 < l2 < 13 and its vertex-minors.

All graphs locally equivalent to C5 up to isomorphism.

The bowtie graph (left) and the loose bowtie graph (right).