Related papers: Public Key Protocol Based on Amalgamated Free Prod…
We give a presentation in terms of generators and relations of Hopf algebras generated by skew-primitive elements and abelian group of group-like elements with action given via characters. This class of pointed Hopf algebras has shown great…
The notion of associativity (which differs from the straightforward generalization of the usual associativity given by the move of parentheses in the relevant expression) for operations of high arity is introduced. It is proved that the…
An important problem of modern cryptography concerns secret public-key computations in algebraic structures. We construct homomorphic cryptosystems being (secret) epimorphisms f:G --> H, where G, H are (publically known) groups and H is…
This is a study on pattern Hopf algebras in combinatorial structures. We introduce the notion of combinatorial presheaf, by adapting the algebraic framework of species to the study of substructures in combinatorics. Afterwards, we consider…
Informal arguments that cryptographic protocols are secure can be made rigorous using inductive definitions. The approach is based on ordinary predicate calculus and copes with infinite-state systems. Proofs are generated using…
We propose an algorithm which for any recursive group $G$, given by its effectively enumerable generators and recursively enumerable relations, outputs an explicit embedding of $G$ into a finitely presented group directly written by its…
We introduce a family of maps parametrised by certain ribbon graphs. It is based on a connection in non-commutative geometry and contains the double divergence as a special case. Applying the construction to the case of the group algebra of…
As an instance of a linear action of a Hopf algebra on a free associative algebra, we consider finite group gradings of a free algebra induced by gradings on the space spanned by the free generators. The homogeneous component corresponding…
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…
In this paper, we present an approach to the definition of multiparameter quantum groups by studying Hopf algebras with triangular decomposition. Classifying all of these Hopf algebras which are of what we call weakly separable type over a…
There are several public key establishment protocols as well as complete public key cryptosystems based on allegedly hard problems from combinatorial (semi)group theory known by now. Most of these problems are search problems, i.e., they…
We consider certain decision problems for the free model of the theory of Cartesian monoids. We introduce a model of computation based on the notion of a single stack one-way PDA due to Ginsburg, Greibach and Harrison. This model allows us…
Thom polynomial describes the cohomology class Poincar\'e dual to the locus of particular singularity of a generic holomorphic map. In this paper we derive a closed formula for the generating function of its coefficients. The method is…
We construct a generalized version for the free product of unital C*-algebras over a family of unital C*-subalgebras, starting from the group-analogue. When all the subalgebras are the same, we recover the free product with amalgamation…
We introduce a general class of combinatorial objects, which we call \emph{multi-complexes}, which simultaneously generalizes graphs, multigraphs, hypergraphs and simplicial and delta complexes. We introduce a natural algebra of…
Several techniques together with some partial answers are given to the questions of factoriality, type classification and fullness for amalgamated free product von Neumann algebras.
It is an old and challenging topic to investigate for which discrete groups G the full group C*-algebra C*(G) is residually finite-dimensional (RFD). In particular not much is known about how the RFD property behaves under fundamental…
We show that an amalgamated free product $G*_{A}H$ admits a discrete isolated ordering, under some assumptions of $G,H$ and $A$. This generalizes the author's previous construction of isolated orderings, and unlike known constructions of…
We introduce a new algebraic framework based on the deformation of pre-Lie products. This allows us to provide a new construction of the algebraic objects at play in Regularity Structures in the work arXiv:1610.08468 and in arXiv:2005.01649…
The proalgebraic fundamental group of a connected topological space $X$, recently introduced by the first author, is an affine group scheme whose representations classify local systems of finite-dimensional vector spaces on $X$. In this…