Source author record

Ricardo Pérez-Marco

Ricardo Pérez-Marco appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

11works
14topics
3close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

11 published item(s)

preprint2022arXiv

On the definition of higher Gamma functions

We generalize our previous new definition of Euler Gamma function to higher Gamma functions. With this unified approach, we characterize Barnes higher Gamma functions, Mellin Gamma functions, Barnes multiple Gamma functions, Jackson $q$-Gamma function, and Nishizawa higher $q$-Gamma functions. This approach extends to more general functional equations. This generalization reveals the multiplicative group structure of solutions of the functional equation that appears as a cocycle equation. We also generalize Barnes hierarchy of higher Gamma function and multiple Gamma functions. In this new approach, Barnes-Hurwitz zeta functions are no longer required for the definition of Barnes multiple Gamma functions. This simplifies the classical definition, without the necessary analytic preliminaries about the meromorphic extension of Barnes-Hurwitz zeta functions, and defines a larger class of Gamma functions. For some algebraic independence conditions on the parameters, we have uniqueness of the solutions, which implies the coincidence of our multiple Gamma functions with Barnes multiple Gamma functions.

preprint2020arXiv

Ant Routing scalability for the Lightning Network

The ambition of the Lightning Network is to provide a second layer to the Bitcoin network to enable transactions confirmed instantly, securely and anonymously with a world scale capacity using a decentralized protocol. Some of the current propositions and implementations present some difficulties in anonymity, scaling and decentalization. The Ant Routing algorithm for the Lightning Network was proposed in \cite{GrunspanPerez} for maximal decentralization, anonymity and potential scaling. It solves several problems of current implementation, such as channel information update and centralization by beacon nodes. Ant Routing nodes play all the same role and don't require any extra information on the network topology beside for their immediate neighbors. The goal of LN transactions are completed instantaneously and anonymously. We study the scaling of the Ant Routing protocol. We propose a precise implementation, with efficient memory management using AVL trees. We evaluate the efficiency of the algorithm and we estimate the memory usage of nodes by local node workload simulations. We prove that the number of transactions per second that Ant Routing can sustain is of the order of several thousands which is enough for a global payment network.

preprint2020arXiv

Double spend races

We correct the double spend race analysis given in Nakamoto's foundational Bitcoin article and give a closed-form formula for the probability of success of a double spend attack using the Regularized Incomplete Beta Function. We give a proof of the exponential decay on the number of confirmations, often cited in the literature, and find an asymptotic formula. Larger number of confirmations are necessary compared to those given by Nakamoto. We also compute the probability conditional to the known validation time of the blocks. This provides a finer risk analysis than the classical one.

preprint2020arXiv

The mathematics of Bitcoin

We survey recent results on the mathematical stability of Bitcoin protocol. Profitability and probability of a double spend are estimated in closed form with classical special functions. The stability of Bitcoin mining rules is analyzed and several theorems are proved using martingale and combinatorics techniques. In particular, the empirical observation of the stability of the Bitcoin protocol is proved. This survey article on the mathematics of Bitcoin is published by the Newsletter of the European Mathematical Society, vol.115, 2020, p.31-37. Continuation of arXiv:1601.05254 (EMS Newsletter, 100, 2016 p.32).

preprint2019arXiv

On Profitability of Nakamoto double spend

Nakamoto double spend strategy, described in Bitcoin foundational article, leads to total ruin with positive probability and does not make sense from the profitability point of view. The simplest strategy that can be profitable incorporates a stopping threshold when success is unlikely. We solve and compute the exact profitability for this strategy. We compute the minimal amount of the double spend that is profitable. For a given amount of the transaction, we determine the minimal number of confirmations to be requested by the recipient such that this double spend strategy is non-profitable. We find that this number of confirmations is only 1 or 2 for average transactions and a small hashrate of the attacker. This is substantially lower than the original Nakamoto numbers that are widely used and are only based on the success probability instead of the profitability.

preprint2014arXiv

Unified treatment of Explicit and Trace Formulas via Poisson-Newton formula

We prove that a Poisson-Newton formula, in a broad sense, is associated to each Dirichlet series with a meromorphic extension to the whole complex plane of finite order. These formulas simultaneously generalize the classical Poisson formula and Newton formulas for Newton sums. Classical Poisson formulas in Fourier analysis, explicit formulas in number theory and Selberg trace formulas in Riemannian geometry appear as special cases of our general Poisson-Newton formula.

preprint2013arXiv

Poisson-Newton formulas and Dirichlet series

We prove that a Poisson-Newton formula, in a broad sense, is associated to each Dirichlet series with a meromorphic extension to the whole complex plane. These formulas simultaneously generalize the classical Poisson formula and Newton formulas for Newton sums. Classical Poisson formulas in Fourier analysis, classical summation formulas as Euler-McLaurin or Abel-Plana formulas, explicit formulas in number theory and Selberg trace formulas in Riemannian geometry appear as special cases of our general Poisson-Newton formula. We also associate to finite order meromorphic functions general Poisson-Newton formulas that yield many classical integral formulas.