2017 Annual Research Symposium Abstract Book

2017 annual volume of abstracts for science research projects conducted by students at Trinity College

Algebraic matroids with graph symmetry

This paper studies the properties of two kinds of matroids: (a) algebraic matroids and (b) finite and infinite matroids whose ground set have some canonical symmetry, for example row and column symmetry and transposition symmetry. For (a) algebraic matroids, we expose cryptomorphisms making them accessible to techniques from commutative algebra. This allows us to introduce for each circuit in an algebraic matroid an invariant called circuit polynomial, generalizing the minimal poly- nomial in classical Galois theory, and studying the matroid structure with multivariate methods. For (b) matroids with symmetries we introduce combinatorial invariants capturing structural properties of the rank function and its limit behavior, and obtain proofs which are purely combinatorial and do not assume algebraicity of the matroid; these imply and generalize known results in some specific cases where the matroid is also algebraic. These results are motivated by, and readily applicable to framework rigidity, low-rank matrix completion and determinantal varieties, which lie in the intersection of (a) and (b) where additional results can be derived. We study the corresponding matroids and their associated invariants, and for selected cases, we characterize the matroidal structure and the circuit polynomials completely

Representability of Matroids by c-Arrangements is Undecidable

For a natural number $c$, a $c$-arrangement is an arrangement of dimension $c$ subspaces satisfying the following condition: the sum of any subset of the subspaces has dimension a multiple of $c$. Matroids arising as normalized rank functions of $c$-arrangements are also known as multilinear matroids. We prove that it is algorithmically undecidable whether there exists a $c$ such that a given matroid has a $c$-arrangement representation, or equivalently whether the matroid is multilinear. It follows that certain network coding problems are also undecidable. In the proof, we introduce a generalized Dowling geometry to encode an instance of the uniform word problem for finite groups in matroids of rank three. The $c$-arrangement condition gives rise to some difficulties and their resolution is the main part of the paper.Comment: Improved exposition and added application to network codin

LIPIcs, Volume 261, ICALP 2023, Complete Volume

LIPIcs, Volume 261, ICALP 2023, Complete Volum

Paths and walks, forests and planes : arcadian algorithms and complexity

This dissertation is concerned with new results in the area of parameterized algorithms and complexity. We develop a new technique for hard graph problems that generalizes and unifies established methods such as Color-Coding, representative families, labelled walks and algebraic fingerprinting. At the heart of the approach lies an algebraic formulation of the problems, which is effected by means of a suitable exterior algebra. This allows us to estimate the number of simple paths of given length in directed graphs faster than before. Additionally, we give fast deterministic algorithms for finding paths of given length if the input graph contains only few of such paths. Moreover, we develop faster deterministic algorithms to find spanning trees with few leaves. We also consider the algebraic foundations of our new method. Additionally, we investigate the fine-grained complexity of determining the precise number of forests with a given number of edges in a given undirected graph. To wit, this happens in two ways. Firstly, we complete the complexity classification of the Tutte plane, assuming the exponential time hypothesis. Secondly, we prove that counting forests with a given number of edges is at least as hard as counting cliques of a given size.Diese Dissertation befasst sich mit neuen Ergebnissen auf dem Gebiet parametrisierter Algorithmen und Komplexitätstheorie. Wir entwickeln eine neue Technik für schwere Graphprobleme, die etablierte Methoden wie Color-Coding, representative families, labelled walks oder algebraic fingerprinting verallgemeinert und vereinheitlicht. Kern der Herangehensweise ist eine algebraische Formulierung der Probleme, die vermittels passender Graßmannalgebren geschieht. Das erlaubt uns, die Anzahl einfacher Pfade gegebener Länge in gerichteten Graphen schneller als bisher zu schätzen. Außerdem geben wir schnelle deterministische Verfahren an, Pfade gegebener Länge zu finden, falls der Eingabegraph nur wenige solche Pfade enthält. Übrigens entwickeln wir schnellere deterministische Algorithmen, um Spannbäume mit wenigen Blättern zu finden. Wir studieren außerdem die algebraischen Grundlagen unserer neuen Methode. Weiters untersuchen wir die fine-grained-Komplexität davon, die genaue Anzahl von Wäldern einer gegebenen Kantenzahl in einem gegebenen ungerichteten Graphen zu bestimmen. Und zwar erfolgt das auf zwei verschiedene Arten. Erstens vervollständigen wir die Komplexitätsklassifizierung der Tutte-Ebene unter Annahme der Expo- nentialzeithypothese. Zweitens beweisen wir, dass Wälder mit gegebener Kantenzahl zu zählen, wenigstens so schwer ist, wie Cliquen gegebener Größe zu zählen.Cluster of Excellence (Multimodal Computing and Interaction

LIPIcs, Volume 258, SoCG 2023, Complete Volume

LIPIcs, Volume 258, SoCG 2023, Complete Volum