An extension of Mobius--Lie geometry with conformal ensembles of cycles and its implementation in a GiNaC library

We propose to consider ensembles of cycles (quadrics), which are interconnected through conformal-invariant geometric relations (e.g. ``to be orthogonal'', ``to be tangent'', etc.), as new objects in an extended M\"obius--Lie geometry. It was recently demonstrated in several related papers, that such ensembles of cycles naturally parameterize many other conformally-invariant families of objects, e.g. loxodromes or continued fractions. The paper describes a method, which reduces a collection of conformally in\-vari\-ant geometric relations to a system of linear equations, which may be accompanied by one fixed quadratic relation. To show its usefulness, the method is implemented as a {\CPP} library. It operates with numeric and symbolic data of cycles in spaces of arbitrary dimensionality and metrics with any signatures. Numeric calculations can be done in exact or approximate arithmetic. In the two- and three-dimensional cases illustrations and animations can be produced. An interactive {\Python} wrapper of the library is provided as well.

Fault Detection and Isolation of Nonlinear Systems: An Unknown Input Observer Approach With Sum-of-Squares Techniques

This paper presents a novel nonlinear unknown input observer (UIO) design method for fault detection and isolation (FDI) of a class of nonlinear affine systems. By using sum-of-squares (SOS) theory and Lie geometry as the main tools, we demonstrate how to relax the rank constraint in the traditional UIO approach and simplify the design procedure, especially for the polynomial nonlinear systems. Meanwhile, we show that the detection and isolation thresholds based on the L2 gains can be easily obtained via optimization formulated in terms of SOS. Simulation examples are given to illustrate the design procedure and the advantages.

Isothermic surfaces in sphere geometries as Moutard nets

We give an elaborated treatment of discrete isothermic surfaces and their analogues in different geometries (projective, Möbius, Laguerre and Lie). We find the core of the theory to be a novel characterization of discrete isothermic nets as Moutard nets. The latter are characterized by the existence of representatives in the space of homogeneous coordinates satisfying the discrete Moutard equation. Moutard nets admit also a projective geometric characterization as nets with planar faces with a five-point property: a vertex and its four diagonal neighbours span a three-dimensional space. Restricting the projective theory to quadrics, we obtain Moutard nets in sphere geometries. In particular, Moutard nets in Möbius geometry are shown to coincide with discrete isothermic nets. The five-point property, in this particular case, states that a vertex and its four diagonal neighbours lie on a common sphere, which is a novel characterization of discrete isothermic surfaces. Discrete Laguerre isothermic surfaces are defined through the corresponding five-plane property, which requires that a plane and its four diagonal neighbours share a common touching sphere. Equivalently, Laguerre isothermic surfaces are characterized by having an isothermic Gauss map. S-isothermic surfaces as an instance of Moutard nets in Lie geometry are also discussed.

AFFINE COVERS OF LIE GEOMETRIES AND THE AMALGAMATION PROPERTY

Certain classes of smoothly approximable structures — the class of affine covers of Lie geometries — are shown to have the amalgamation property. In particular, this shows that any affine cover of a Lie geometry has the small index property.2000 Mathematical Subject Classification: 03C45.