Recent Submissions

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

    Finogina, Tamara; Herranz Sotoca, Javier; Cano Aguilera, Abraham; Arnal i Clemente, Xavier (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 ...
  • Hamiltonian facets of classical gauge theories on E-manifolds 

    Mir Garcia, Pau; Miranda Galcerán, Eva; Nicolás Martínez, Pablo (2022-09-21)
    Research report
    Open Access
    Manifolds with boundary, with corners, b-manifolds and foliations model configuration spaces for particles moving under constraints and can be described as E-manifolds. E-manifolds were introduced in [NT01] and investigated ...
  • Reduction theory for singular symplectic manifolds and singular forms on moduli spaces 

    Matveeva, Anastasiia; Miranda Galcerán, Eva (2022-05-25)
    Research report
    Open Access
    The investigation of symmetries of b-symplectic manifolds and folded-symplectic manifolds is well-understood when the group under consideration is a torus (see, for instance, [GMPS, GLPR,GMW18a]forb-symplecticmanifoldsand ...
  • Paired and semipaired domination in near-triangulations 

    Hernando Martín, María del Carmen; Claverol Aguas, Mercè; Maureso Sánchez, Montserrat; Mora Giné, Mercè; Tejel Altarriba, Francisco Javier (2022-07-22)
    Research report
    Open Access
    A dominating set of a graph G is a subset D of vertices such that every vertex not in D is adjacent to at least one vertex in D. A dominating set D is paired if the subgraph induced by its vertices has a perfect matching, ...
  • Bohr-Sommerfeld quantization of b-symplectic toric manifolds 

    Miranda Galcerán, Eva; Mir Garcia, Pau; Weitsman, Jonathan (2022-03-07)
    Research report
    Open Access
    We define the Bohr-Sommerfeld quantization via T-modules for a b-symplectic toric manifold and show that it coincides with the formal geometric quantization of [GMW18b]. In particular, we prove that its dimension is given ...
  • 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, ...
  • The [Theta]-operator and the low hierarchy 

    Castro Rabal, Jorge; Seara Ojea, Carlos (1992-07)
    Research report
    Open Access
    Long and Sheu in their paper [LS-91] introduced a refinement of the low hierarchy based on the [Theta]-levels of the polynomial time hierarchy which gives a deeper sight of the internal structure of NP. In this paper we ...
  • Singular cotangent models and complexity in fluids with dissipation 

    Coquinot, Baptiste; Mir Garcia, Pau; Miranda Galcerán, Eva (2022-06-17)
    Research report
    Open Access
    In this article we analyze several mathematical models with singularities where the classical cotangent model is replaced by a b-cotangent model. We provide physical interpretations of the singular symplectic geometry ...
  • Contiguous and internal graph searching 

    Barrière Figueroa, Eulalia; Fraigniaud, Pierre; Santoro, Nicola; Thilikos, Dimitrios M. (2002)
    Research report
    Open Access
    In the graph searching problem, we are given a graph whose edges are all "contaminated", and, via a sequence of "steps" using "searchers", we want to obtain a state of the graph in which all edges are simultaneously "clear". ...
  • Breakdown of homoclinic orbits to L3 in the RPC3BP (II). An asymptotic formula 

    Baldomá Barraca, Inmaculada; Giralt Miron, Mar; Guàrdia Munarriz, Marcel (2021-07-21)
    Research report
    Open Access
    The Restricted 3-Body Problem models the motion of a body of negligible mass under the gravitational influence of two massive bodies called the primaries. If one assumes that the primaries perform circular motions and that ...
  • Breakdown of homoclinic orbits to L3 in the RPC3BP (I). Complex singularities and the inner equation 

    Baldomá Barraca, Inmaculada; Giralt Miron, Mar; Guàrdia Munarriz, Marcel (2022-07-21)
    Research report
    Open Access
    The Restricted 3-Body Problem models the motion of a body of negligible mass under the gravitational influence of two massive bodies, called the primaries. If the primaries perform circular motions and the massless body ...
  • On the singular Weinstein conjecture and the existence of escape orbits for b-Beltrami fields 

    Miranda Galcerán, Eva; Oms, Cédric; Peralta-Salas, Daniel (2021-10-07)
    Research report
    Open Access
    Motivated by Poincare’s orbits going to infinity in the (restricted) three-body problem ´ (see [29] and [7]), we investigate the generic existence of heteroclinic-like orbits in a neighbourhood of the critical set of a ...

View more