Related papers: The SQInstructor: a guide to SQIsign and the Deuri…
This paper is a continuation of Part I where the general setup was developed. Here we discuss the general equivalence problem for geometric structures and provide criteria for the equivalence, local and global, of transitive structures.…
We present a proposal for an undeniable signature scheme based in supersingular hyperelliptic curves of genus 2.
The ordinary Structure Identity Principle states that any property of set-level structures (e.g., posets, groups, rings, fields) definable in Univalent Foundations is invariant under isomorphism: more specifically, identifications of…
We generalize Poisson-Nijenhuis structures. We prove that on a manifold endowed with a Nijenhuis tensor and a Jacobi structure which are compatible, there is a hierarchy of pairwise compatible Jacobi structures. Furthermore, we study the…
Architecture styles characterise families of architectures sharing common characteristics. We have recently proposed configuration logics for architecture style specification. In this paper, we study a graphical notation to enhance…
The conformal geometry of the Schwarzian Davey-Stewartson II hierarchy and its discrete analogue is investigated. Connections with discrete and continuous isothermic surfaces and generalised Clifford configurations are recorded. An…
The connection between the strictly isospectral construction in supersymmetric quantum mechanics and the general zero mode solutions of the Schroedinger equation is explained by introducing slightly generalized first-order intertwining…
In this paper we study higher level Deligne--Lusztig representations of reductive groups over discrete valuation rings, with finite residue field $\mathbb{F}_q$. In previous work we proved that, at even levels, these geometrically…
We investigate two constructive approaches to defining quasi-compact and quasi-separated schemes (qcqs-schemes), namely qcqs-schemes as locally ringed lattices and as functors from rings to sets. We work in Homotopy Type Theory and…
Calculi of string diagrams are increasingly used to present the syntax and algebraic structure of various families of circuits, including signal flow graphs, electrical circuits and quantum processes. In many such approaches, the semantic…
We analyze geometrical structures necessary to represent bulk and surface interactions of standard and substructural nature in complex bodies. Our attention is mainly focused on the influence of diffuse interfaces on sharp discontinuity…
We study contact structures on nonnegatively-graded manifolds equipped with homological contact vector fields. In the degree 1 case, we show that there is a one-to-one correspondence between such structures (with fixed contact form) and…
We obtain several results concerning the concept of isotypic structures. Namely we prove that any field of finite transcendence degree over a prime subfield is defined by types; then we construct isotypic but not isomorphic structures with…
We develop a unifying framework for the treatment of various persistent homology architectures using the notion of correspondence modules. In this formulation, morphisms between vector spaces are given by partial linear relations, as…
We analyse the problem of solving Boolean equation systems through the use of structure graphs. The latter are obtained through an elegant set of Plotkin-style deduction rules. Our main contribution is that we show that equation systems…
The Dynkin isomorphism associates a Gaussian field to a Markov chain. These Gaussian fields can be used as priors for prediction and time series analysis. Dynkin's construction gives Gaussian fields with all non-negative covariances. We…
Generative models and inferential autoencoders mostly make use of $\ell_2$ norm in their optimization objectives. In order to generate perceptually better images, this short paper theoretically discusses how to use Structural Similarity…
Basic concepts of quantum integrable systems (QIS) are presented stressing on the unifying structures underlying such diverse models. Variety of ultralocal and nonultralocal models is shown to be described by a few basic relations defining…
We consider the problem of learning the structure of ferromagnetic Ising models Markov on sparse Erdos-Renyi random graph. We propose simple local algorithms and analyze their performance in the regime of correlation decay. We prove that an…
Sign languages are visual languages, with vocabularies as rich as their spoken language counterparts. However, current deep-learning based Sign Language Production (SLP) models produce under-articulated skeleton pose sequences from…