Estevan Muguerza, Asier

Loading...
Profile Picture

Email Address

Birth Date

Job Title

Last Name

Estevan Muguerza

First Name

Asier

person.page.departamento

Estadística, Informática y Matemáticas

person.page.instituteName

INARBE. Institute for Advanced Research in Business and Economics

person.page.observainves

person.page.upna

Name

Search Results

Now showing 1 - 2 of 2
  • PublicationOpen Access
    On fixed point theory in partially ordered sets and an application to asymptotic complexity of algorithms
    (Springer, 2019) Estevan Muguerza, Asier; Miñana, Juan José; Valero, Óscar; Estatistika, Informatika eta Matematika; Institute for Advanced Materials and Mathematics - INAMAT2; Estadística, Informática y Matemáticas
    The celebrated Kleene fixed point theorem is crucial in the mathematical modelling of recursive specifications in Denotational Semantics. In this paper we discuss whether the hypothesis of the aforementioned result can be weakened. An affirmative answer to the aforesaid inquiry is provided so that a characterization of those properties that a self-mapping must satisfy in order to guarantee that its set of fixed points is non-empty when no notion of completeness are assumed to be satisfied by the partially ordered set. Moreover, the case in which the partially ordered set is coming from a quasi-metric space is treated in depth. Finally, an application of the exposed theory is obtained. Concretely, a mathematical method to discuss the asymptotic complexity of those algorithms whose running time of computing fulfills a recurrence equation is presented. Moreover, the aforesaid method retrieves the fixed point based methods that appear in the literature for asymptotic complexity analysis of algorithms. However, our new method improves the aforesaid methods because it imposes fewer requirements than those that have been assumed in the literature and, in addition, it allows to state simultaneously upper and lower asymptotic bounds for the running time computing.
  • PublicationOpen Access
    Quasi-metrics for possibility results: intergenerational preferences and continuity
    (MDPI, 2023) Estevan Muguerza, Asier; Maura, Roberto; Valero, Óscar; Estadística, Informática y Matemáticas; Estatistika, Informatika eta Matematika; Institute for Advanced Research in Business and Economics - INARBE; Universidad Pública de Navarra / Nafarroako Unibertsitate Publikoa JIUPNA19-2022
    In this paper, we provide the counterparts of a few celebrated impossibility theorems for continuous social intergenerational preferences according to P. Diamond, L.G. Svensson and T. Sakai. In particular, we give a topology that must be refined for continuous preferences to satisfy anonymity and strong monotonicity. Furthermore, we suggest quasi-pseudo-metrics as an appropriate quantitative tool for reconciling topology and social intergenerational preferences. Thus, we develop a metric-type method which is able to guarantee the possibility counterparts of the aforesaid impossibility theorems and, in addition, it is able to give numerical quantifications of the improvement of welfare. Finally, a refinement of the previous method is presented in such a way that metrics are involved.