A conjugation-free geometric presentation of fundamental groups of arrangements II: Expansion and some properties

A conjugation-free geometric presentation of a fundamental group is a presentation with the natural topological generators $x_1, ..., x_n$ and the cyclic relations: $x_{i_k}x_{i_{k-1}} ... x_{i_1} = x_{i_{k-1}} ... x_{i_1} x_{i_k} = ... = x_{i_1} x_{i_k} ... x_{i_2}$ with no conjugations on the generators. We have already proved that if the graph of the arrangement is a disjoint union of cycles, then its fundamental group has a conjugation-free geometric presentation. In this paper, we extend this property to arrangements whose graphs are a disjoint union of cycle-tree graphs. Moreover, we study some properties of this type of presentations for a fundamental group of a line arrangement's complement. We show that these presentations satisfy a completeness property in the sense of Dehornoy, if the corresponding graph of the arrangement has no edges. The completeness property is a powerful property which leads to many nice properties concerning the presentation (such as the left-cancellativity of the associated monoid and yields some simple criterion for the solvability of the word problem in the group).Comment: 17 pages, 9 figures; final version, which corrects a mistake in the published versio

A Family of matroid intersection algorithms for the computation of approximated symbolic network functions

In recent years, the technique of simplification during generation has turned out to be very promising for the efficient computation of approximate symbolic network functions for large transistor circuits. In this paper it is shown how symbolic network functions can be simplified during their generation with any well-known symbolic network analysis method. The underlying algorithm for the different techniques is always a matroid intersection algorithm. It is shown that the most efficient technique is the two-graph method. An implementation of the simplification during generation technique with the two-graph method illustrates its benefits for the symbolic analysis of large analog circuits

Comparison of matroid intersection algorithms for large circuit analysis

This paper presents two approaches to symbolic analysis of large analog integrated circuits via simplification during the generation of the symbolic expressions. Both techniques are examined from the point of view of matroid theory. Finally, a new approach which combines the positive features of both approaches is introduced