A hash proof system (HPS) is a form of implicit proof of membership to a language. Out of the very few existing post-quantum HPS, most are based on languages of ciphertexts of code-based or lattice-based cryptosystems and inherently suffer from a gap cause ...
A toric variety is called fibered if it can be represented as a total space of fibre bundle over toric base and with toric fiber. Fibered toric varieties form a special case of toric variety bundles. In this note we first give an introduction to the class ...
Representing and reconstructing 3D deformable shapes are two tightly linked problems that have long been studied within the computer vision field. Deformable shapes are truly ubiquitous in the real world, whether be it specific object classes such as human ...
The geodesic flows are studied on real forms of complex semi-simple Lie groups with respect to a left-invariant (pseudo-)Riemannian metric of rigid body type. The Williamson types of the isolated relative equilibria on generic adjoint orbits are determined ...
The US National Institute of Standards and Technology (NIST) recently announced the public-key cryptosystems (PKC) that have passed to the second round of the post-quantum standardization process. Most of these PKC come in two flavours: a weak IND-CPA vers ...
Every principal G-bundle over X is classified up to equivalence by a homotopy class X -> BG, where BG is the classifying space of G. On the other hand, for every nice topological space X Milnor constructed a strict model of its loop space (Omega) over tild ...
Bi-Jacobi fields are generalized Jacobi fields, and are used to efficiently compute approximations to Riemannian cubic splines in a Riemannian manifold M. Calculating bi-Jacobi fields is straightforward when M is a symmetric space such as bi-invariant SO(3 ...
This note is motivated by a recently published paper (Biswas and Mukherjee in Commun Math Phys 322(2):373-384, 2013). We prove a no-go result for the existence of suitable solutions of the Strominger system in a compact complex parallelizable manifold . Fo ...
A finite element study of MWCNT pullout from a ceramic matrix with a rough fibre-matrix interface is presented. MWCNT pullout differs in several ways from pullout of solid, micro-scale fibres, and has not been studied before. Interfacial roughness, due to ...
Given a fiber bundle of GKM spaces, pi: M -> B, we analyze the structure of the equivariant K-ring of M as a module over the equivariant K-ring of B by translating the fiber bundle, pi, into a fiber bundle of GKM graphs and constructing, by combinatorial t ...
This thesis is a study of harmonic maps in two different settings. The first part is concerned with harmonic maps from smooth metric measure spaces to Riemannian manifolds. The second part is study of harmonic maps from Riemannian polyhedra to non-positive ...
Numerous dimensionality reduction problems in data analysis involve the recovery of low-dimensional models or the learning of manifolds underlying sets of data. Many manifold learning methods require the estimation of the tangent space of the manifold at a ...
The matrix completion problem consists of finding or approximating a low-rank matrix based on a few samples of this matrix. We propose a new algorithm for matrix completion that minimizes the least-square distance on the sampling set over the Riemannian ma ...
Given a principal bundle G hooked right arrow P -> B (each being compact, connected and oriented) and a G-invariant metric h(P) on P which induces a volume form mu(P), we consider the group of all unimodular automorphisms SAut(P, mu(P)) := {phi is an eleme ...
This paper introduces a subgradient descent algorithm to compute a Riemannian metric that minimizes an energy involving geodesic distances. The heart of the method is the Subgradient Marching Algorithm to compute the derivative of the geodesic distance wit ...
The real homology of a compact Riemannian manifold M is naturally endowed with the stable norm. The stable norm on H-1 (M. R) arises from the Riemannian length functional by homogenization. It is difficult and interesting to decide which norms on the finit ...
In this paper, involutions without fixed points on hyperbolic closed Riemann surface are discussed. For an orientable surface X of even genus with an arbitrary Riemannian metric d admitting an involution tau, it is known that min (p is an element of X) d(p ...
A weak metric on a set is a function that satisfies the axioms of a metric except the symmetry and the separation axioms. The aim of this paper is to present some interesting weak metrics and to study some of their properties. In particular, we introduce a ...
The effect of sizing on bending rigidity in fibre bundles was investigated. Particular attention was paid to the effect of film formers and anti-static agents on the behaviour of glass fibre bundles under forced packing conditions. The bending rigidity of ...