Recent Submissions

  • How to avoid repetitions in lattice-based deniable zero-knowledge proofs 

    Arnal i Clemente, Xavier; Cano Aguilera, Abraham; Finogina, Tamara; Herranz Sotoca, Javier (2022-06-23)
    Research report
    Open Access
    Interactive 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 

    Cárdenas Martín, Santiago; Farré Cirera, Rafael (2022-02-13)
    Research report
    Open Access
    Just 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 

    Dempsey Bradell, Roisin Mary; Kiesenhofer, Anna; Miranda Galcerán, Eva (2020-09)
    Research report
    Open Access
    In 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 

    Mir Garcia, Pau; Miranda Galcerán, Eva (2020-05)
    Research report
    Open Access
    In 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 

    Dempsey Bradell, Roisin Mary; Kiesenhofer, Anna; Miranda Galcerán, Eva (2020-09)
    Research report
    Open Access
    We 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 

    Cardona Aguilar, Robert; Miranda Galcerán, Eva (2020-09)
    Research report
    Open Access
    In 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 

    Coltraro Ianniello, Franco (2020)
    Research report
    Open Access
    In 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 

    Cardona Aguilar, Robert; Miranda Galcerán, Eva; Peralta-Salas, Daniel; Presas, Francisco (2019-11-05)
    Research report
    Open Access
    The 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 ...