Reports de recerca
Recent Submissions
-
How to avoid repetitions in lattice-based deniable zero-knowledge proofs
(2022-06-23)
Research report
Open AccessInteractive zero-knowledge systems are a very important cryptographic primitive, used in many applications, especially when deniability (also known as non-transferability) is desired. In the lattice-based setting, the ... -
Rank axioms and supersimplicity
(2022-02-13)
Research report
Open AccessJust as Lascar’s notion of abstract rank axiomatizes the U rank, we propose axioms for the ranks SUd and SUf , the foundation ranks of dividing and forking. We study the relationships between these axioms. As with superstable, ... -
A b-symplectic slice theorem
(2020-09)
Research report
Open AccessIn this article, motivated by the study of symplectic structures on manifolds with bound-ary and the systematic study ofb-symplectic manifolds started in [10], we prove a slice theorem forLie group actions onb-symplectic manifolds -
Rigidity of cotangent lifts and integrable systems
(2020-05)
Research report
Open AccessIn this article we generalize a theorem by Palais on the rigidity ofcompact group actions to cotangent lifts. We use this result to prove rigidity forintegrable systems on symplectic manifolds including sytems with ... -
b-Structures on Lie groups and Poisson reduction
(2020-09)
Research report
Open AccessWe introduce the notion of b-Lie group as a pair(G, H) where Gis a Lie group and H is a codimension-one Lie subgroup, and study the associated canonical b-symplectic structure on the b-cotangent bundle bT*G together with ... -
Integrable systems on singular symplectic manifolds: from local to global
(2020-09)
Research report
Open AccessIn this article we consider integrable systems on manifolds endowed with singular sym-plectic structures of order one. By singular symplectic structures of order one we mean structureswhich are symplectic away from an ... -
Experimental validation of an inextensible cloth model
(2020)
Research report
Open AccessIn this technical report we present a framework for the empirical validation of a physical cloth model. First, we introduce the model to be validated and its parameters, next we explain how to obtain real world data of the ... -
Universality of Euler flows and flexibility of Reeb embeddings
(2019-11-05)
Research report
Open AccessThe dynamics of an inviscid and incompressible fluid flow on a Riemannian manifold is governed by the Euler equations. Recently, Tao launched a programme to address the global existence problem for the Euler and Navier ...