Related papers: The SQInstructor: a guide to SQIsign and the Deuri…
In this paper, we adapt the differential signature construction to the equivalence problem for complex plane algebraic curves under the actions of the projective group and its subgroups. Given an action of a group $G$, a signature map…
In this paper, we introduce the notion of developments of curves with respect to symmetric tensors and use it to prove the existence of isometric immersions into a general ambient space with prescribed second fundamental form. Our method…
Isogenies, the mappings of elliptic curves, have become a useful tool in cryptology. These mathematical objects have been proposed for use in computing pairings, constructing hash functions and random number generators, and analyzing the…
Considering anyonic oscillators in a two-dimensional lattice, we realize the quantum semi-group $sl_{(q,s)}(2)$ by means of a generalized Schwinger construction. We find that the parameter $q$ of the algebra is connected to the statistical…
In superconducting quantum circuits, decoherence improvements are frequently obtained through process interventions that simultaneously modify surface chemistry, microstructural topology, and device geometry, leaving mechanistic attribution…
We contribute to the program of extending computable structure theory to the realm of metric structures by investigating lowness for isometric isomorphism of metric structures. We show that lowness for isomorphism coincides with lowness for…
We establish equalities between cochain and chain type levels of maps by making use of exact functors which connect appropriate derived and coderived categories. Relevant conditions for levels of maps to be finite are extracted from the…
In this PhD thesis, we give a new geometric approach to higher Teichm\"uller theory. In particular we construct a geometric structure on surfaces, generalizing the complex structure, and we explore its link to Hitchin components. The…
An SPQR-tree is a data structure that efficiently represents all planar embeddings of a biconnected planar graph. It is a key tool in a number of constrained planarity testing algorithms, which seek a planar embedding of a graph subject to…
We initiate the computability-theoretic study of ringed spaces and schemes. In particular, we show that any Turing degree may occur as the least degree of an isomorphic copy of a structure of these kinds. We also show that these structures…
Communication between practitioners is essential for the system's quality in the DevOps context. To improve this communication, practitioners often use informal diagrams to represent the components of a system. However, as systems evolve,…
Synchronisation between coupled oscillatory systems is a common phenomenon in many natural as well as technical systems. Varying the strength of coupling often leads to qualitative changes in the complex dynamics of the mutually coupled…
We are interested in comparing properties of symplectic mapping class groups of symplectic manifolds of dimension four or higher with properties of classical mapping class groups of surfaces. For $n \geq 2$, consider a configuration of…
A complete list of Uq(sl2)-module algebra structures on the quantum plane is produced and the (uncountable family of) isomorphism classes of these structures are described. The composition series of representations in question are computed.…
In this paper we give a general geometrical framework for working with problems that can be described as a structure-preserving submersion defined on a suitable space with a geometrical structure. We give many examples of how to formulate…
We introduce a framework that allows for the construction of sequent systems for expressive description logics extending ALC. Our framework not only covers a wide array of common description logics, but also allows for sequent systems to be…
Generalized complex geometry was classically formulated by the language of differential geometry. In this paper, we reformulated a generalized complex manifold as a holomorphic symplectic differentiable formal stack in a homotopical sense.…
In this survey, symmetry provides a framework for classification of manifolds with differential-geometric structures. We highlight pseudo-Riemannian metrics, conformal structures, and projective structures. A range of techniques have been…
Hierarchies of evolution equations of pseudo-spherical type are introduced, generalizing the notion of a single equation describing pseudo-spherical surfaces due to S.S. Chern and K. Tenenblat, and providing a connection between…
A type of prolongation structure for several general systems is discussed. They are based on a set of one-forms in which the underlying structure group of the integrability condition corresponds to the Lie-algebra of SL (2,R), O(3), or…