Recent Submissions

  • sVote with control components voting protocol: computational proof of complete verifiability and privacy 

    Larraia, Enrique; Finogina, Tamara; Costa Mirada, Nuria (2022-11-07)
    Research report
    Open Access
    sVote with Control components is a cryptographic voting protocol that provides complete verifiability and guarantees voting secrecy and the non-disclosure of early provisional results. This report demonstrates that sVote ...
  • Splitting of separatrices for rapid degenerate perturbations of the classical pendulum 

    Baldomá Barraca, Inmaculada; Martínez-Seara Alonso, M. Teresa; Moreno González, Román (2023-02-16)
    Research report
    Open Access
    In this work we study the splitting distance of a rapidly perturbed pendulum H(x, y, t) = 1 2 y 2 + (cos(x) - 1) + µ(cos(x) - 1)g t e with g(t ) = P |k|>1 g [k] e ikt a 2p-periodic function and µ, e 1. Systems of this ...
  • The Arnold conjecture for singular symplectic manifolds 

    Brugués Mora, Joaquin; Miranda Galcerán, Eva; Oms, Cedric (2022-12-02)
    Research report
    Open Access
    In this article, we study the Hamiltonian dynamics on singular symplectic manifolds and prove the Arnold conjecture for a large class of bm-symplectic manifolds. More precisely, we prove a lower bound on the number 1-periodic ...
  • 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, 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 ...