相关论文: The SQInstructor: a guide to SQIsign and the Deuri…

We associate a tower with an infinitesimal algebraic skeleton to the (2+1)-dimensional (compact and noncompact) Heisenberg spin model. In particular, we construct the absolute parallelism defining the tower and the corresponding extension…

Working in the framework of nilpotent geometry, we give a unified scheme for the equivalence problem of geometric structures which extends and integrates the earlier works by Cartan, Singer-Sternberg, Tanaka, and Morimoto. By giving a new…

We prove that every closed orientable surface S of negative Euler characteristic admits a pair of finite-degree covers which are length isospectral over S but generically not simple length isospectral over S. To do this, we first…

Given a positively graded commutative coherent ring A which is finitely generated as an A_0-algebra, a bijection between the tensor Serre subcategories of qgr A and the set of all subsets Y\subseteq Proj A of the form…

We will present a relation between real equiangular frames and certain special sets in groups which we call signature sets and show that many equiangular frames arise in this manner. Then we will define quasi-signature sets and will examine…

We develop a geometric framework for generalized Milnor classifying spaces in the setting of diffeological spaces and infinite-dimensional geometry. Starting from Milnor's construction, we introduce spherical and projective models endowed…

Key substitution vulnerable signature schemes are signature schemes that permit an intruder, given a public verification key and a signed message, to compute a pair of signature and verification keys such that the message appears to be…

The aim of this article is to compare two different definitions of level-structers of Drinfeld modules and to prove that they are equivalent.

Complex systems can be effectively modeled via graphs that encode networked interactions, where relations between entities or nodes are often quantified by signed edge weights, e.g., promotion/inhibition in gene regulatory networks, or…

In this paper we prove some orthogonality relations for representations arising from deep level Deligne--Lusztig schemes of Coxeter type. This generalizes previous results of Lusztig (2004), and of Chan and the second author (2019).…

In this paper we formulate and prove necessary and sufficient geometric conditions for existence of generic tensegrities in the plane for arbitrary graphs. The conditions are written in terms of "meet-join" relations for the configuration…

We explore a general diagrammatic framework to understand qudits and their braiding, especially in its relation to entanglement. This involves understanding the role of isotopy in interpreting diagrams that implement entangling gates as…

We study the interaction of structural subtyping with parametric polymorphism and recursively defined type constructors. Although structural subtyping is undecidable in this setting, we describe a notion of parametricity for type…

We prove isoperimetric inequalities for quotients of $n$-dimensional Affine buildings. We use these inequalities to prove topological overlapping for the 2-dimensional skeletons of these buildings.

We construct three compatible quadratic Poisson structures such that generic linear combination of them is associated with Elliptic Sklyanin algebra in n generators. Symplectic leaves of this elliptic Poisson structure is studied. Explicit…

We construct explicit generators for the higher scissors congruence K-theory of the line. We use this to derive an explicit generating set for the homology of the group of interval exchange transformations. Our proof makes use of an…

This article explores a generic framework of well-typed and well-scoped syntaxes, with a signature-axiom approach resembling traditional abstract algebra. The boilerplate code needed in defining operations on syntaxes is identified and…

In this paper we introduce a general framework for the study of limits of relational structures in general and graphs in particular, which is based on a combination of model theory and (functional) analysis. We show how the various…

Skeleton-based isolated sign language recognition (ISLR) demands fine-grained understanding of articulated motion across multiple spatial scales, from subtle finger movements to global body dynamics. Existing approaches typically rely on…

Threshold digital signatures enable a distributed execution of signature functionalities and will play a crucial role in the security of emerging decentralized next-generation networked systems and applications. In this paper, we provide a…