marko mitrovic - cpb-us-w2.wpmucdn.com

1
Hilbert Bases Examples of Non‐Hilbert Matroids Marko Mitrovic Acknowledgements Supervisor: Dr. Luis Goddyn Dr. Gordon Royle (University of Western Australia) Dr. Stefan van Zwam (Princeton University) Special thanks to Dr. Tony Huynh and Tanmay Deshpande Hilbert Bases and Graphs Extension to Non‐Hilbert Matroids A matroid can be viewed as a generalization of a graph, where the analogue of a cut-set is called a cocircuit. Below are the steps we took to find all non- Hilbert matroids of at most 8 elements: 1. Generate a list of all matroids up to and including 8 elements. 2. Generate the list of cocircuits for each matroid. 3. For each matroid, compile the characteristic vectors of the cocircuits into a .in file that Normaliz can read. 4. Run each .in file through Normaliz, resulting in a .out file for each .in file. 5. At this point, every matroid will have an associated .out file. Read through each .out file to determine whether or not the associated matroid is Hilbert. A cut of a graph is a partition of the vertices into 2 disjoint subsets. Two possible cuts of G are shown below. Figure 1 Figure 2 Examples of Non‐Hilbert Graphs We define H to be the set of all graphs G such that the set of characteristic vectors of cuts of G is a Hilbert basis. If we input the characteristic vectors of all the cuts of a particular graph G into the Normaliz software package, it will determine whether or not G H .

Upload: others

Post on 16-Nov-2021

8 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: Marko Mitrovic - cpb-us-w2.wpmucdn.com

Hilbert Bases 

Examples of Non‐Hilbert Matroids 

Marko Mitrovic 

Acknowledgements •  Supervisor: Dr. Luis Goddyn •  Dr. Gordon Royle (University of Western

Australia) •  Dr. Stefan van Zwam (Princeton

University) •  Special thanks to Dr. Tony Huynh and

Tanmay Deshpande

Hilbert Bases and Graphs 

Extension to Non‐Hilbert Matroids 

A matroid can be viewed as a generalization of a graph, where the analogue of a cut-set is called a cocircuit. Below are the steps we took to find all non-Hilbert matroids of at most 8 elements:

1.  Generate a list of all matroids up to and including 8 elements.

2.  Generate the list of cocircuits for each matroid. 3.  For each matroid, compile the characteristic

vectors of the cocircuits into a .in file that Normaliz can read.

4.  Run each .in file through Normaliz, resulting in a .out file for each .in file.

5.  At this point, every matroid will have an associated .out file. Read through each .out file to determine whether or not the associated matroid is Hilbert.

A cut of a graph is a partition of the vertices into 2 disjoint subsets. Two possible cuts of G are shown below.

Figure 1 Figure 2

Examples of Non‐Hilbert Graphs 

We define H to be the set of all graphs G such that the set of characteristic vectors of cuts of G is a Hilbert basis.

If we input the characteristic vectors of all the cuts of a particular graph G into the Normaliz software package, it will determine whether or not G ∈H .