Related papers: The SQInstructor: a guide to SQIsign and the Deuri…
We give a general constructive proof for hierarchical coordinatizations (Lagrange Decompositions) of permutation groups. The generalization originates from the investigation of how the subgroup chains of finite permutation groups yield…
Echelon-Ferrers is an important method to improve lower bounds for constant-dimension codes, which can be applied on various parameters. Fagang Li [12] combined the linkage construction and echelon-Ferrers to obtain some new lower bounds of…
Friedman and Morgan made the "speculation" that deformation equivalence and diffeomorphism should coincide for algebraic surfaces. Counterexamples, for the hitherto open case of surfaces of general type, have been given in the last years by…
We give down-to-earth proofs of the structure theorems for persistence modules.
Diffie-Hellman key exchange is at the foundations of public-key cryptography, but conventional group-based Diffie-Hellman is vulnerable to Shor's quantum algorithm. A range of "post-quantum Diffie-Hellman" protocols have been proposed to…
This paper presents a new framework for constructing congruence closure of a finite set of ground equations over uninterpreted symbols and interpreted symbols for the group axioms. In this framework, ground equations are flattened into…
Persistence diagrams (PDs), often characterized as sets of death and birth of homology class, have been known for providing a topological representation of a graph structure, which is often useful in machine learning tasks. Prior works rely…
We study the fields of endomorphisms intertwining pairs of symplectic structures. Using these endomorphisms we prove an analogue of Moser's theorem for simultaneous isotopies of two families of symplectic forms. We also consider the…
Leveraging on the underlying low-dimensional structure of data, low-rank and sparse modeling approaches have achieved great success in a wide range of applications. However, in many applications the data can display structures beyond simply…
Higher-dimensional rewriting systems are tools to analyse the structure of formally reducing terms to normal forms, as well as comparing the different reduction paths that lead to those normal forms. This higher structure can be captured by…
In this survey we overview known results and get several new results on digraph compositions which generalize several classes of digraphs, such as quasi-transitive digraphs. After an introductory section, the paper is divided into six…
Any singular level of a completely integrable system (c.i.s.) with non-degenerate singularities has a singular affine structure. We shall show how to construct a simple c.i.s. around the level, having the above affine structure. The…
From descent theory to higher geometry, the idea of gluing has been embedded in many elegant and powerful techniques, proving instrumental for the solution of many problems. In this paper, we introduce a framework that allows to link…
This is the author's Ph.D. thesis. We introduce two related invariants for local (and standard graded) rings called differential and syzygy symmetric signature. These are defined by looking at the maximal free splitting of the module of…
Basic aspects of the equiaffine geometry of level sets are developed systematically. As an application there are constructed families of $2n$-dimensional nondegenerate hypersurfaces ruled by $n$-planes, having equiaffine mean curvature…
A list of generic $U_q(sl_2)$-module algebra structures on the Laurent polynomial algebra over the quantum plane with uncountably many isomorphism classes is produced. Also, a complete list of such structures is presented in which the…
Let $p$ be a prime number. Let $X/E$ be a geometrically connected, smooth, quasi-projective variety over a finite extension $E/\mathbb{Q}_p$. In this paper I demonstrate the existence of isomorphs of the tempered (and hence also \'etale)…
Decoherence-free subsystems have been successfully developed as a tool to preserve fragile quantum information against noises. In this letter, we develop a structure theory for decoherence-free subsystems. Based on it, we present an…
Targeting to use contract-based design for the specification and refinement of extra-functional properties, this research abstract suggests to use type constraints and dependent types to ensure correct and consistent top-down decomposition…
A generalized formal framework for decoherence, that can be used both in open and closed quantum systems, is sketched. In this context, the relationship between the decoherence of a closed system and the decoherence of its subsystems is…