Showing 1–50 of 143 results for author: López, J

A Combinatorial Study of the Fixed Point Index

Authors: Jesús A. Álvarez López, Alejandro O. Majadas-Moure, David Mosquera-Lois

Abstract: We introduce a theory of integration with respect to the fixed point index, offering a substantial improvement over previous approaches based on the Lefschetz number. This framework eliminates several restrictive assumptions -- such as the need for definability, openness, or f-invariance of subspaces -- thereby allowing broader applicability. We also present a natural combinatorial adaptation of t… ▽ More We introduce a theory of integration with respect to the fixed point index, offering a substantial improvement over previous approaches based on the Lefschetz number. This framework eliminates several restrictive assumptions -- such as the need for definability, openness, or f-invariance of subspaces -- thereby allowing broader applicability. We also present a natural combinatorial adaptation of the fixed point index that extends the combinatorial Lefschetz number. This extension yields new topological and homotopical invariance results and facilitates the integration of real-valued functions with respect to fixed points. △ Less

Submitted 30 May, 2025; originally announced May 2025.

Lp boundedness, r-nuclearity and approximation of pseudo-differential operators on $\hbar\mathbb{Z}^n$

Authors: Juan Pablo Lopez

Abstract: In this work sufficient conditions on the order of the symbol are developed to ensure boundedness, compactness and r-nuclearity of pseudo-differential operators in $\hbar\mathbb{Z}^n$. In addition, these conditions allow us to obtain growth estimates for the eigenvalues of some elliptic operators, in particular perturbed discrete Schrödinger operator. In this work sufficient conditions on the order of the symbol are developed to ensure boundedness, compactness and r-nuclearity of pseudo-differential operators in $\hbar\mathbb{Z}^n$. In addition, these conditions allow us to obtain growth estimates for the eigenvalues of some elliptic operators, in particular perturbed discrete Schrödinger operator. △ Less

Submitted 22 May, 2025; originally announced May 2025.

The basic component of the mean curvature of Riemannian foliations

Authors: Jesús A. Álvarez López

Abstract: For a Riemannian foliation $F$ on a compact manifold $M$ with a bundle-like metric, the de Rham complex of $M$ is $C^{\infty}$-splitted as the direct sum of the basic complex and its orthogonal complement. Then the basic component $κ_{b}$ of the mean curvature form of $F$ is closed and defines a class $ξ(F)$ in the basic cohomology that is invariant under any change of the bundle-like metric. More… ▽ More For a Riemannian foliation $F$ on a compact manifold $M$ with a bundle-like metric, the de Rham complex of $M$ is $C^{\infty}$-splitted as the direct sum of the basic complex and its orthogonal complement. Then the basic component $κ_{b}$ of the mean curvature form of $F$ is closed and defines a class $ξ(F)$ in the basic cohomology that is invariant under any change of the bundle-like metric. Moreover, any element in $ξ(F)$ can be realized as the basic component of the mean curvature of some bundle-like metric. It is also proved that $ξ(F)$ vanishes iff there exists some bundle-like metric on $M$ for which the leaves are minimal submanifolds. As a consequence, this tautness property is verified in any of the following cases: (a) when the Ricci curvature of the transverse Riemannian structure is positive, or (b) when $F$ is of codimension one. In particular, a compact manifold with a Riemannian foliation of codimension one has infinite fundamental group. A small correction of a lemma from the original manuscript is included as an addendum, written in collaboration with Ken Richardson. △ Less

Submitted 11 May, 2025; originally announced May 2025.

Comments: An addendum with a small correction is included, written in collaboration with Ken Richardson

MSC Class: 57R30

Stochastic ordering, attractiveness and couplings in non-conservative particle systems

Authors: Raúl Gouet, F. Javier López, Gerardo Sanz

Abstract: We analyse the stochastic comparison of interacting particle systems allowing for multiple arrivals, departures and non-conservative jumps of individuals between sites. That is, if $k$ individuals leave site $x$ for site $y$, a possibly different number $l$ arrive at destination. This setting includes new models, when compared to the conservative case, such as metapopulation models with deaths dur… ▽ More We analyse the stochastic comparison of interacting particle systems allowing for multiple arrivals, departures and non-conservative jumps of individuals between sites. That is, if $k$ individuals leave site $x$ for site $y$, a possibly different number $l$ arrive at destination. This setting includes new models, when compared to the conservative case, such as metapopulation models with deaths during migrations. It implies a sharp increase of technical complexity, given the numerous changes to consider. Known results are significantly generalised, even in the conservative case, as no particular form of the transition rates is assumed. We obtain necessary and sufficient conditions on the rates for the stochastic comparison of the processes and prove their equivalence with the existence of an order-preserving Markovian coupling. As a corollary, we get necessary and sufficient conditions for the attractiveness of the processes. A salient feature of our approach lies in the presentation of the coupling in terms of solutions to network flow problems. We illustrate the applicability of our results to a flexible family of population models described as interacting particle systems, with a range of parameters controlling births, deaths, catastrophes or migrations. We provide explicit conditions on the parameters for the stochastic comparison and attractiveness of the models, showing their usefulness in studying their limit behaviour. Additionally, we give three examples of constructing the coupling. △ Less

Submitted 4 April, 2025; originally announced April 2025.

Comments: 28 pages, 0 figures

MSC Class: 60K35; 82C22 (Primary) 60J25; 92D25 (Secondary)

Characterisation of distributions through $δ$-records and martingales

Authors: Raúl Gouet, Miguel Lafuente, F. Javier López, Gerardo Sanz

Abstract: Given parameters $c>0, δ\ne0$ and a sequence $(X_n)$ of real-valued, integrable, independent and identically $F$-distributed random variables, we characterise distributions $F$ such that $(N_n-cM_n)$ is a martingale, where $N_n$ denotes the number of observations $X_k$ among $X_1,\ldots,X_n$ such that $X_k>M_{k-1}+δ$, called $δ$-records, and $M_k=\max\{X_1,\ldots, X_k\}$. The problem is recast a… ▽ More Given parameters $c>0, δ\ne0$ and a sequence $(X_n)$ of real-valued, integrable, independent and identically $F$-distributed random variables, we characterise distributions $F$ such that $(N_n-cM_n)$ is a martingale, where $N_n$ denotes the number of observations $X_k$ among $X_1,\ldots,X_n$ such that $X_k>M_{k-1}+δ$, called $δ$-records, and $M_k=\max\{X_1,\ldots, X_k\}$. The problem is recast as $1-F(x+δ)=c\int_{x}^{\infty}(1-F)(t)dt$, for $x\in T$, with $F(T)=1$. Unlike standard functional equations, where the equality must hold for all $x$ in a fixed set, our problem involves a domain that depends on $F$ itself, introducing complexity but allowing for more possibilities of solutions. We find the explicit expressions of all solutions when $δ< 0$ and, when $δ> 0$, for distributions with bounded support. In the unbounded support case, we focus attention on continuous and lattice distributions. In the continuous setting, with support $\mathbb{R}_+$, we reduce the problem to a delay differential equation, showing that, besides particular cases of the exponential distribution, mixtures of exponential and gamma distributions and many others are solutions as well. The lattice case, with support $\mathbb{Z}_+$ is treated analogously and reduced to the study of a difference equation. Analogous results are obtained; in particular, mixtures of geometric and negative binomial distributions are found to solve the problem. △ Less

Submitted 2 April, 2025; originally announced April 2025.

Comments: 30 pages, 2 figures

MSC Class: 60G70 (Primary) 60G42; 62E10; 34K06 (Secondary)

Estimating hazard rates from $δ$-records in discrete distributions

Authors: Martín Alcalde, Miguel Lafuente, F. Javier López, Lina Maldonado, Gerardo Sanz

Abstract: This paper focuses on nonparametric statistical inference of the hazard rate function of discrete distributions based on $δ$-record data. We derive the explicit expression of the maximum likelihood estimator and determine its exact distribution, as well as some important characteristics such as its bias and mean squared error. We then discuss the construction of confidence intervals and goodness-o… ▽ More This paper focuses on nonparametric statistical inference of the hazard rate function of discrete distributions based on $δ$-record data. We derive the explicit expression of the maximum likelihood estimator and determine its exact distribution, as well as some important characteristics such as its bias and mean squared error. We then discuss the construction of confidence intervals and goodness-of-fit tests. The performance of our proposals is evaluated using simulation methods. Applications to real data are given, as well. The estimation of the hazard rate function based on usual records has been studied in the literature, although many procedures require several samples of records. In contrast, our approach relies on a single sequence of $δ$-records, simplifying the experimental design and increasing the applicability of the methods. △ Less

Submitted 2 April, 2025; originally announced April 2025.

MSC Class: 62G05 (Primary) 62G20; 62G30 (Secondary)

On the Gauss map assignment for minimal surfaces and the Osserman curvature estimate

Authors: Antonio Alarcon, Francisco J. Lopez

Abstract: The Gauss map of a conformal minimal immersion of an open Riemann surface $M$ into $\mathbb{R}^n$, $n\ge 3$, is a holomorphic map $M\to{\bf Q}^{n-2}\subset \mathbb{CP}^{n-1}$. Denote by ${\rm CMI}_{\rm full}(M,\mathbb{R}^n)$ and $\mathscr{O}_{\rm full}(M,{\bf Q}^{n-2})$ the spaces of full conformal minimal immersions $M\to\mathbb{R}^n$ and full holomorphic maps $M\to{\bf Q}^{n-2}$, respectively, e… ▽ More The Gauss map of a conformal minimal immersion of an open Riemann surface $M$ into $\mathbb{R}^n$, $n\ge 3$, is a holomorphic map $M\to{\bf Q}^{n-2}\subset \mathbb{CP}^{n-1}$. Denote by ${\rm CMI}_{\rm full}(M,\mathbb{R}^n)$ and $\mathscr{O}_{\rm full}(M,{\bf Q}^{n-2})$ the spaces of full conformal minimal immersions $M\to\mathbb{R}^n$ and full holomorphic maps $M\to{\bf Q}^{n-2}$, respectively, endowed with the compact-open topology. In this paper we show that the Gauss map assignment $\mathscr{G}:{\rm CMI}_{\rm full}(M,\mathbb{R}^n)\to \mathscr{O}_{\rm full}(M,{\bf Q}^{n-2})$, taking a full conformal minimal immersion to its Gauss map, is an open map. This implies, in view of a result of Forstneric and the authors, that $\mathscr{G}$ is a quotient map. The same results hold for the map $(\mathscr{G},Flux):{\rm CMI}_{\rm full}(M,\mathbb{R}^n)\to \mathscr{O}_{\rm full}(M,{\bf Q}^{n-2})\times H^1(M,\mathbb{R}^n)$, where $Flux:{\rm CMI}_{\rm full}(M,\mathbb{R}^n)\to H^1(M,\mathbb{R}^n)$ is the flux assignment. As application, we establish that the set of maps $G\in \mathscr{O}_{\rm full}(M,{\bf Q}^{n-2})$ such that the family $\mathscr{G}^{-1}(G)$ of all minimal surfaces in $\mathbb{R}^n$ with the Gauss map $G$ satisfies the classical Osserman curvature estimate, is meagre in the space of holomorphic maps $M\to {\bf Q}^{n-2}$. △ Less

Submitted 17 December, 2024; originally announced December 2024.

Generic properties of minimal surfaces

Authors: Antonio Alarcon, Francisco J. Lopez

Abstract: Let $M$ be an open Riemann surface and $n\ge 3$ be an integer. In this paper we establish some generic properties (in Baire category sense) in the space of all conformal minimal immersions $M\to\mathbb{R}^n$ endowed with the compact-open topology, pointing out that a generic such immersion is chaotic in many ways. For instance, we show that a generic conformal minimal immersion… ▽ More Let $M$ be an open Riemann surface and $n\ge 3$ be an integer. In this paper we establish some generic properties (in Baire category sense) in the space of all conformal minimal immersions $M\to\mathbb{R}^n$ endowed with the compact-open topology, pointing out that a generic such immersion is chaotic in many ways. For instance, we show that a generic conformal minimal immersion $u\colon M\to \mathbb{R}^n$ is non-proper, almost proper, and $g$-complete with respect to any given Riemannian metric $g$ in $\mathbb{R}^n$. Further, its image $u(M)$ is dense in $\mathbb{R}^n$ and disjoint from $\mathbb{Q}^3\times \mathbb{R}^{n-3}$, and has infinite area, infinite total curvature, and unbounded curvature on every open set in $\mathbb{R}^n$. In case $n=3$, we also prove that a generic conformal minimal immersion $M\to\mathbb{R}^3$ has infinite index of stability on every open set in $\mathbb{R}^3$. △ Less

Submitted 16 December, 2024; originally announced December 2024.

Regularized determinant formulas for the zeta functions of 3-dimensional Riemannian foliated dynamical systems

Authors: Jesús A. Álvarez López, Junhyeong Kim, Masanori Morishita

Abstract: We prove a regularized determinant formula for the zeta functions of certain 3-dimensional Riemannian foliated dynamical systems, in terms of the infinitesimal operator induced by the flow acting on the reduced leafwise cohomologies. It is the formula conjectured by Deninger. The proof is based on relating the dynamical spectral $ξ$-functions, analogues of the $ξ$-function in analytic number theor… ▽ More We prove a regularized determinant formula for the zeta functions of certain 3-dimensional Riemannian foliated dynamical systems, in terms of the infinitesimal operator induced by the flow acting on the reduced leafwise cohomologies. It is the formula conjectured by Deninger. The proof is based on relating the dynamical spectral $ξ$-functions, analogues of the $ξ$-function in analytic number theory, with the zeta function, by applying the distributional dynamical Lefschetz trace formula. △ Less

Submitted 28 October, 2024; originally announced October 2024.

MSC Class: 37C25; 37C30; 53C12

Learning the Chaotic and Regular Nature of Trajectories in Hamiltonian Systems with Lagrangian descriptors

Authors: Javier Jiménez López, Víctor José García Garrido

Abstract: In this paper, we explore the application of Machine Learning techniques, specifically Support Vector Machines (SVM), to unveil the chaotic and regular nature of trajectories in Hamiltonian systems using Lagrangian descriptors. Traditional chaos indicators, while effective, are computationally expensive and require an exhaustive study of the parameter space to establish the classification threshol… ▽ More In this paper, we explore the application of Machine Learning techniques, specifically Support Vector Machines (SVM), to unveil the chaotic and regular nature of trajectories in Hamiltonian systems using Lagrangian descriptors. Traditional chaos indicators, while effective, are computationally expensive and require an exhaustive study of the parameter space to establish the classification thresholds. By using SVMs trained on a dataset obtained from the analysis of the dynamics of the double pendulum Hamiltonian system, we aim at reducing the complexity of this process. Our trained SVM models demonstrate high accuracy when it comes to classifying trajectories in diverse Hamiltonian systems, such as for example in the four-well Hamiltonian, the Hénon-Heiles system and the Chirikov Standard Map. The results indicate that SVMs, when combined with Lagrangian descriptors, offer a robust and efficient method for chaos classification across different dynamical systems. Our approach not only simplifies the classification process but also is highlighting the potential of Machine Learning algorithms in the study of nonlinear dynamics and chaos. △ Less

Submitted 26 July, 2024; originally announced July 2024.

Closed bounded sets in 1-h-minimal valued fields

Authors: Juan Pablo Acosta López

Abstract: We show that the 1-h-minimal fields satisfy a property of naive compactness for decreasing definable families of closed bounded sets indexed by the value group. We use this to prove that a local topological definable group has a definable family of neighborhoods of the identity consisting of open subgroups. We show that the 1-h-minimal fields satisfy a property of naive compactness for decreasing definable families of closed bounded sets indexed by the value group. We use this to prove that a local topological definable group has a definable family of neighborhoods of the identity consisting of open subgroups. △ Less

Submitted 13 June, 2024; originally announced June 2024.

MSC Class: 03C07

Chaos and Regularity in the Double Pendulum with Lagrangian Descriptors

Authors: Javier Jiménez López, V. J. García-Garrido

Abstract: In this paper we apply the method of Lagrangian descriptors as an indicator to study the chaotic and regular behavior of trajectories in the phase space of the classical double pendulum system. In order to successfully quantify the degree of chaos with this tool, we first derive Hamilton's equations of motion for the problem in non-dimensional form, showing that they can be written compactly using… ▽ More In this paper we apply the method of Lagrangian descriptors as an indicator to study the chaotic and regular behavior of trajectories in the phase space of the classical double pendulum system. In order to successfully quantify the degree of chaos with this tool, we first derive Hamilton's equations of motion for the problem in non-dimensional form, showing that they can be written compactly using matrix algebra. Once the dynamical equations are obtained, we carry out a parametric study in terms of the system's total energy and the other model parameters (lengths and masses of the pendulums, and gravity), to determine the extent of the chaotic and regular regions in the phase space. Our numerical results show that for a given mass ratio, the maximum chaotic fraction of phase space trajectories is attained when the pendulums have equal lengths. Moreover, we give a characterization of the growth and decay of chaos in the system in terms of the model parameters, and explore the hypothesis that the chaotic fraction follows an exponential law over different energy regimes. △ Less

Submitted 5 March, 2024; originally announced March 2024.

Comments: 17 pages, 7 figures

A trace formula for foliated flows

Authors: Jesús A. Álvarez López, Yuri A. Kordyukov, Eric Leichtnam

Abstract: Let $F$ be a transversely oriented foliation of codimension 1 on a closed manifold $M$, and let $φ=\{φ^t\}$ be a foliated flow on $(M,F)$. Assume the closed orbits of $φ$ are simple and its preserved leaves are transversely simple. In this case, there are finitely many preserved leaves, which are compact. Let $M^0$ denote their union, $M^1=M\setminus M^0$ and $F^1=F|_{M^1}$. We consider two topolo… ▽ More Let $F$ be a transversely oriented foliation of codimension 1 on a closed manifold $M$, and let $φ=\{φ^t\}$ be a foliated flow on $(M,F)$. Assume the closed orbits of $φ$ are simple and its preserved leaves are transversely simple. In this case, there are finitely many preserved leaves, which are compact. Let $M^0$ denote their union, $M^1=M\setminus M^0$ and $F^1=F|_{M^1}$. We consider two topological vector spaces, $I(F)$ and $I'(F)$, consisting of the leafwise currents on $M$ that are conormal and dual-conormal to $M^0$, respectively. They become topological complexes with the differential operator $d_{F}$ induced by the de~Rham derivative on the leaves, and they have an $\mathbb{R}$-action $φ^*=\{φ^{t\,*}\}$ induced by $φ$. Let $\bar H^\bullet I(F)$ and $\bar H^\bullet I'(F)$ denote the corresponding leafwise reduced cohomologies, with the induced $\mathbb{R}$-action $φ^*=\{φ^{t\,*}\}$. We define some kind of Lefschetz distribution $L_{\text{\rm dis}}(φ)$ of the actions $φ^*$ on both $\bar H^\bullet I(F)$ and $\bar H^\bullet I'(F)$, whose value is a distribution on $\mathbb{R}$. Its definition involves several renormalization procedures, the main one being the b-trace of some smoothing b-pseudodifferential operator on the compact manifold with boundary obtained by cutting $M$ along $M^0$. We also prove a trace formula describing $L_{\text{\rm dis}}(φ)$ in terms of infinitesimal data from the closed orbits and preserved leaves. This solves a conjecture of C.~Deninger involving two leafwise reduced cohomologies instead of a single one. △ Less

Submitted 13 February, 2024; v1 submitted 7 February, 2024; originally announced February 2024.

Comments: 176 pages

MSC Class: 58A14; 58G11; 57R30

Discriminatory or Samaritan -- which AI is needed for humanity? An Evolutionary Game Theory Analysis of Hybrid Human-AI populations

Authors: Tim Booker, Manuel Miranda, Jesús A. Moreno López, José María Ramos Fernández, Max Reddel, Valeria Widler, Filippo Zimmaro, Alberto Antonioni, The Anh Han

Abstract: As artificial intelligence (AI) systems are increasingly embedded in our lives, their presence leads to interactions that shape our behaviour, decision-making, and social interactions. Existing theoretical research has primarily focused on human-to-human interactions, overlooking the unique dynamics triggered by the presence of AI. In this paper, resorting to methods from evolutionary game theory,… ▽ More As artificial intelligence (AI) systems are increasingly embedded in our lives, their presence leads to interactions that shape our behaviour, decision-making, and social interactions. Existing theoretical research has primarily focused on human-to-human interactions, overlooking the unique dynamics triggered by the presence of AI. In this paper, resorting to methods from evolutionary game theory, we study how different forms of AI influence the evolution of cooperation in a human population playing the one-shot Prisoner's Dilemma game in both well-mixed and structured populations. We found that Samaritan AI agents that help everyone unconditionally, including defectors, can promote higher levels of cooperation in humans than Discriminatory AI that only help those considered worthy/cooperative, especially in slow-moving societies where change is viewed with caution or resistance (small intensities of selection). Intuitively, in fast-moving societies (high intensities of selection), Discriminatory AIs promote higher levels of cooperation than Samaritan AIs. △ Less

Submitted 3 July, 2023; v1 submitted 30 June, 2023; originally announced June 2023.

Comments: This work is the result of the Complexity72h 2023 workshop

Topology of the space of conormal distributions

Authors: Jesús A. Álvarez López, Yuri A. Kordyukov, Eric Leichtnam

Abstract: Given a closed manifold $M$ and a closed regular submanifold $L$, consider the corresponding locally convex space $I=I(M,L)$ of conormal distributions, with its natural topology, and the strong dual $I'=I'(M,L)=I(M,L;Ω)'$ of the space of conormal densities. It is shown that $I$ is a barreled, ultrabornological, webbed, Montel, acyclic LF-space, and $I'$ is a complete Montel space, which is a proje… ▽ More Given a closed manifold $M$ and a closed regular submanifold $L$, consider the corresponding locally convex space $I=I(M,L)$ of conormal distributions, with its natural topology, and the strong dual $I'=I'(M,L)=I(M,L;Ω)'$ of the space of conormal densities. It is shown that $I$ is a barreled, ultrabornological, webbed, Montel, acyclic LF-space, and $I'$ is a complete Montel space, which is a projective limit of bornological barreled spaces. In the case of codimension one, similar properties and additional descriptions are proved for the subspace $K\subset I$ of conormal distributions supported in $L$ and for its strong dual $K'$. We construct a locally convex Hausdoff space $J$ and a continuous linear map $I\to J$ such that the sequence $0\to K\to I\to J\to 0$ as well as the transpose sequence $0\to J'\to I'\to K'\to 0$ are short exact sequences in the category of continuous linear maps between locally convex spaces. Finally, it is shown that $I\cap I'=C^\infty(M)$ in the space of distributions. In another publication, these results are applied to prove a Lefschetz trace formula for a simple foliated flow $φ=\{φ^t\}$ on a compact foliated manifold $(M,F)$. It describes a Lefschetz distribution $L_{\text{\rm dis}}(φ)$ defined by the induced action $φ^*=\{φ^{t\,*}\}$ on the reduced cohomologies $\bar H^\bullet I(F)$ and $\bar H^\bullet I'(F)$ of the complexes of leafwise currents that are conormal and dual-conormal at the leaves preserved by $φ$. △ Less

Submitted 1 June, 2024; v1 submitted 3 April, 2023; originally announced April 2023.

Comments: 55 pages, index of notation

MSC Class: 46F05; 46A13; 46M40

A property equivalent to being semi-Kelley

Authors: Mauricio Chacón-Tirado, María de J. López, Ivon Vidal-Escobar

Abstract: We present a property equivalent to the property of being semi-Kelley. Using this equivalence we prove that being semi-Kelley is a hereditary property for atriodic continua. We prove that semi-Kelley remainders are atriodic, moreover, we prove that semi-Kelley continua are semi-Kelley remainders for chainable continua, circularly chainable continua, and arc continua, and we give an example of an a… ▽ More We present a property equivalent to the property of being semi-Kelley. Using this equivalence we prove that being semi-Kelley is a hereditary property for atriodic continua. We prove that semi-Kelley remainders are atriodic, moreover, we prove that semi-Kelley continua are semi-Kelley remainders for chainable continua, circularly chainable continua, and arc continua, and we give an example of an atriodic Kelley continuum which is a semi-Kelley remainder and not a Kelley remainder. We also prove that hereditarily semi-Kelley dendroids are smooth. △ Less

Submitted 23 November, 2022; originally announced November 2022.

Comments: 22 pages, 1 figure

MSC Class: Primary 54B20; Secondary 54F15

The lexicographically least square-free word with a given prefix

Authors: Siddharth Berera, Andrés Gómez-Colunga, Joey Lakerdas-Gayle, John López, Mauditra Matin, Daniel Roebuck, Eric Rowland, Noam Scully, Juliet Whidden

Abstract: The lexicographically least square-free infinite word on the alphabet of non-negative integers with a given prefix $p$ is denoted $L(p)$. When $p$ is the empty word, this word was shown by Guay-Paquet and Shallit to be the ruler sequence. For other prefixes, the structure is significantly more complicated. In this paper, we show that $L(p)$ reflects the structure of the ruler sequence for several… ▽ More The lexicographically least square-free infinite word on the alphabet of non-negative integers with a given prefix $p$ is denoted $L(p)$. When $p$ is the empty word, this word was shown by Guay-Paquet and Shallit to be the ruler sequence. For other prefixes, the structure is significantly more complicated. In this paper, we show that $L(p)$ reflects the structure of the ruler sequence for several words $p$. We provide morphisms that generate $L(n)$ for letters $n=1$ and $n\geq3$, and $L(p)$ for most families of two-letter words $p$. △ Less

Submitted 2 November, 2022; v1 submitted 2 October, 2022; originally announced October 2022.

Journal ref: The Electronic Journal of Combinatorics 30 (2023) #P3.11 (43 pages)

Proper harmonic embeddings of open Riemann surfaces into $\mathbb{R}^4$

Authors: Antonio Alarcon, Francisco J. Lopez

Abstract: We prove that every open Riemann surface admits a proper embedding into $\mathbb{R}^4$ by harmonic functions. This reduces by one the previously known embedding dimension in this framework, dating back to a theorem by Greene and Wu from 1975. We prove that every open Riemann surface admits a proper embedding into $\mathbb{R}^4$ by harmonic functions. This reduces by one the previously known embedding dimension in this framework, dating back to a theorem by Greene and Wu from 1975. △ Less

Submitted 7 June, 2022; originally announced June 2022.

Deformation of the myocardium during CPR

Authors: Jafar Moradicheghamahi, Gerard Fortuny, Josep M. López, Joan Herrero, Dolors Puigjaner

Abstract: Cardiopulmonary resuscitation (CPR) is an emergency procedure performed on patients during cardiac and respiratory arrest. This procedure externally activates the cardiac and respiratory systems via the delivery of chest compression and artificial ventilation. As the main purpose of CPR is to recirculate the blood flow, prediction of the myocardium behavior has great importance. This prediction al… ▽ More Cardiopulmonary resuscitation (CPR) is an emergency procedure performed on patients during cardiac and respiratory arrest. This procedure externally activates the cardiac and respiratory systems via the delivery of chest compression and artificial ventilation. As the main purpose of CPR is to recirculate the blood flow, prediction of the myocardium behavior has great importance. This prediction allows us to have a better understanding of the needed force to recirculate blood without hurting the heart. Finite element method offer the possibility of noninvasive quantification of myocardial deformation. This method is attractive to use for the assessment of myocardial function. To investigate the behavior of the heart wall, a 3D model of thoracic organs has been prepared using medical images. In this study, to simulate the behavior of different organs, Code-Aster open software is used. For every organ, the material properties are defined. The most important parameters in the study are displacement, normal stress, and Von-Mises stress in the myocardium. Using these parameters, displacement and stress distribution have been predicted. Effects of the applied force on the chest during CPR and deformation of the myocardium have been predicted by the finite element model. A linear deformation is observable for each organ during force application. Besides, the final location of the heart and ribs and also involved parameters in predicting myocardium deformation are extracted from the model simulations. This finite element model enables us to have a good vision of the deformation of the myocardium during CPR. Using this method, it is possible to predict the deformation of every part of the heart, especially right and left ventricles. △ Less

Submitted 31 May, 2022; originally announced May 2022.

Comments: 9 pages, 9 figures, 1 table

MSC Class: 65-04 (Primary)

Zeta invariants of Morse forms

Authors: Jesús A. Álvarez López, Yuri A. Kordyukov, Eric Leichtnam

Abstract: Let $η$ be a closed real 1-form on a closed Riemannian $n$-manifold $(M,g)$. Let $d_z$, $δ_z$ and $Δ_z$ be the induced Witten's type perturbations of the de~Rham derivative and coderivative and the Laplacian, parametrized by $z=μ+iν\in\mathbb C$ ($μ,ν\in\mathbb{R}$, $i=\sqrt{-1}$). Let $ζ(s,z)$ be the zeta function of $s\in\mathbb{C}$, defined as the meromorphic extension of the function… ▽ More Let $η$ be a closed real 1-form on a closed Riemannian $n$-manifold $(M,g)$. Let $d_z$, $δ_z$ and $Δ_z$ be the induced Witten's type perturbations of the de~Rham derivative and coderivative and the Laplacian, parametrized by $z=μ+iν\in\mathbb C$ ($μ,ν\in\mathbb{R}$, $i=\sqrt{-1}$). Let $ζ(s,z)$ be the zeta function of $s\in\mathbb{C}$, defined as the meromorphic extension of the function $ζ(s,z)=\operatorname{Str}({η\wedge}\,δ_zΔ_z^{-s})$ for $\Re s\gg0$. We prove that $ζ(s,z)$ is smooth at $s=1$ and establish a formula for $ζ(1,z)$ in terms of the associated heat semigroup. For a class of Morse forms, $ζ(1,z)$ converges to some $\mathbf{z}\in\mathbb{R}$ as $μ\to+\infty$, uniformly on $ν$. We describe $\mathbf{z}$ in terms of the instantons of an auxiliary Smale gradient-like vector field $X$ and the Mathai-Quillen current on $TM$ defined by $g$. Any real 1-cohomology class has a representative $η$ satisfying the hypothesis. If $n$ is even, we can prescribe any real value for $\mathbf{z}$ by perturbing $g$, $η$ and $X$, and achieve the same limit as $μ\to-\infty$. This is used to define and describe certain tempered distributions induced by $g$ and $η$. These distributions appear in another publication as contributions from the preserved leaves in a trace formula for simple foliated flows, giving a solution to a problem of C.~Deninger. △ Less

Submitted 30 September, 2024; v1 submitted 6 December, 2021; originally announced December 2021.

Comments: 61 pages, 1 figure

MSC Class: 58A12; 58A14; 58J20; 57R58

First- and Second-Order Analysis for Optimization Problems with Manifold-Valued Constraints

Authors: Ronny Bergmann, Roland Herzog, Julián Ortiz López, Anton Schiela

Abstract: We consider optimization problems with manifold-valued constraints. These generalize classical equality and inequality constraints to a setting in which both the domain and the codomain of the constraint mapping are smooth manifolds. We model the feasible set as the preimage of a submanifold with corners of the codomain. The latter is a subset which corresponds to a convex cone locally in suitable… ▽ More We consider optimization problems with manifold-valued constraints. These generalize classical equality and inequality constraints to a setting in which both the domain and the codomain of the constraint mapping are smooth manifolds. We model the feasible set as the preimage of a submanifold with corners of the codomain. The latter is a subset which corresponds to a convex cone locally in suitable charts. We study first- and second-order optimality conditions for this class of problems. We also show the invariance of the relevant quantities with respect to local representations of the problem. △ Less

Submitted 29 April, 2022; v1 submitted 10 October, 2021; originally announced October 2021.

Journal ref: J.Optim.Theory.Appl. 195 (2022) 596-623

The repetends of reduced fractions $a/b^k$ approach full complexity with an increasing $k$

Authors: Josefina López, Peter Stoll

Abstract: In this paper, we prove a criterion for complexity in $g$-ary expansions of a rational fraction $a/b<1$ with gcd$(a,b)=1$. We prove that for any purely periodic proper fraction $a/b$ and all $j\geq 1$, each sequence of $j$ digits occurs in the $g$-ary repetend of $a/b^k$ with a relative frequency that approaches $1/g^j$ with an increasing $k$. The absolute frequencies can be calculated by means of… ▽ More In this paper, we prove a criterion for complexity in $g$-ary expansions of a rational fraction $a/b<1$ with gcd$(a,b)=1$. We prove that for any purely periodic proper fraction $a/b$ and all $j\geq 1$, each sequence of $j$ digits occurs in the $g$-ary repetend of $a/b^k$ with a relative frequency that approaches $1/g^j$ with an increasing $k$. The absolute frequencies can be calculated by means of a simple transition matrix. Let $(a_k)$ be a sequence of positive integers relatively prime to $b$. We prove that each sequence of $j$ digits occurs in the $g$-ary repetend of $a_k/b^k$ with a relative frequency that approaches $1/g^j$ with an increasing $k$, unless all prime factors of $b$ divide the base $g\geq 2$. △ Less

Submitted 12 October, 2022; v1 submitted 13 May, 2021; originally announced May 2021.

Comments: 28 pages, 3 tables

MSC Class: 11A07; 11A05; 11A41; 11B50; 11A15; 11A67 ACM Class: G.0

Journal ref: Integers 22 (2022), #A75

The 3x+1 Periodicity Conjeture in $\mathbb{R}$

Authors: Josefina López, Peter Stoll

Abstract: The $3x+1$ map $T$ is defined on the $2$-adic integers $\mathbb{Z}_2$ by $T(x)=x/2$ for even $x$ and $T(x)=(3x+1)/2$ for odd $x$. It is still unproved that under iteration of $T$ the trajectory of any rational $2$-adic integer is eventually cyclic. A $2$-adic integer is rational if and only if its representation with $1$'s and $0$'s is eventually periodic. We prove that the $3x+1$ conjugacy $Φ$ ma… ▽ More The $3x+1$ map $T$ is defined on the $2$-adic integers $\mathbb{Z}_2$ by $T(x)=x/2$ for even $x$ and $T(x)=(3x+1)/2$ for odd $x$. It is still unproved that under iteration of $T$ the trajectory of any rational $2$-adic integer is eventually cyclic. A $2$-adic integer is rational if and only if its representation with $1$'s and $0$'s is eventually periodic. We prove that the $3x+1$ conjugacy $Φ$ maps aperiodic $v\in\mathbb{Z}_2$ onto aperiodic $2$-adic integers provided that $\underline{\lim}\;(\frac{h}{\ell})_{\ell=1}^{\infty} > \frac{\ln(2)}{\ln(3)}$ where $h$ is the number of $1$'s in the first $\ell$ digits of $v$ with the following constraint: if there is a rational $2$-adic integer with a non-cyclic trajectory, then necessarily $\underline{\lim}\;(\frac{h}{\ell})_{\ell=1}^{\infty}=\frac{\ln(2)}{\ln(3)}$. We study $Φ$ as an infinite series in $\mathbb{R}$ and obtain negative irrational numbers for which we compute their aperiodic $2$-adic expansion. We find prominent behaviors of the orbit of $x$ taking Sturmian words as parity vector. We also found amazing results of the terms of $Φ$ in $\mathbb{R}$. We define the $\ell$'th iterate of $T$ for $\ell\rightarrow \infty$ in the ring of $3$-adic integers and obtain positive irrational numbers for which we compute their aperiodic $3$-adic expansion. △ Less

Submitted 29 January, 2021; originally announced January 2021.

Comments: 51 pages, 18 figures

MSC Class: 11A41; 11B50; 11A07 ACM Class: G.0

Derived heat trace asymptotics for the de Rham and Dolbeault complexes

Authors: Jesús A. Álvarez López, Peter B. Gilkey

Abstract: We examine the derived heat trace asymptotics in both the real and the complex settings for a generalized Witten perturbation. If the dimension is even, in the real context we show the integral of the local density for the derived heat trace asymptotics is half the Euler characteristic of the underlying manifold. In the complex context, we assume the underlying geometry is Kähler and show the inte… ▽ More We examine the derived heat trace asymptotics in both the real and the complex settings for a generalized Witten perturbation. If the dimension is even, in the real context we show the integral of the local density for the derived heat trace asymptotics is half the Euler characteristic of the underlying manifold. In the complex context, we assume the underlying geometry is Kähler and show the integral of the local density for the derived heat trace asymptotics defined by the Dolbeault complex is a characteristic number of the complex tangent bundle and the twisting vector bundle. We identify this characteristic number if the real dimension is $2$ or $4$. In both the real and complex settings, the local density differs from the corresponding characteristic class by a divergence term. △ Less

Submitted 8 November, 2020; v1 submitted 2 October, 2020; originally announced October 2020.

Comments: 16 pages

MSC Class: 58J20

Wild Cantor actions

Authors: Jesús Álvarez López, Ramón Barral Lijó, Olga Lukina, Hiraku Nozawa

Abstract: The discriminant group of a minimal equicontinuous action of a group $G$ on a Cantor set $X$ is the subgroup of the closure of the action in the group of homeomorphisms of $X$, consisting of homeomorphisms which fix a given point. The stabilizer and the centralizer groups associated to the action are obtained as direct limits of sequences of subgroups of the discriminant group with certain propert… ▽ More The discriminant group of a minimal equicontinuous action of a group $G$ on a Cantor set $X$ is the subgroup of the closure of the action in the group of homeomorphisms of $X$, consisting of homeomorphisms which fix a given point. The stabilizer and the centralizer groups associated to the action are obtained as direct limits of sequences of subgroups of the discriminant group with certain properties. Minimal equicontinuous group actions on Cantor sets admit a classification by the properties of the stabilizer and centralizer direct limit groups. In this paper, we construct new families of examples of minimal equicontinuous actions on Cantor sets, which illustrate certain aspects of this classification. These examples are constructed as actions on rooted trees. The acting groups are countable subgroups of the product or of the wreath product of groups. We discuss applications of our results to the study of attractors of dynamical systems and of minimal sets of foliations. △ Less

Submitted 26 November, 2020; v1 submitted 1 October, 2020; originally announced October 2020.

Comments: 20 pages, 1 figure. The condition of finite generation in Thm 1.9 was replaced by countability. The proof of Thm 1.9 has been simplified. The notation used in 5 has been modified. Several minor corrections across the paper

MSC Class: 2020: 37B05; 37E25; 20E08; 20E15; 20E18; 20E22; 22F05; 22F50 (Primary); 20F22; 57R30; 57R50 (Secondary)

The Witten deformation of the Dolbeault complex

Authors: Jesús Álvarez López, Peter Gilkey

Abstract: We introduce a Witten-Novikov type perturbation $\bar\partial_{\barω}$ of the Dolbeault complex of any complex Kähler manifold, defined by a form $ω$ of type $(1,0)$ with $\partialω=0$. We give an explicit description of the associated index density which shows that it exhibits a nontrivial dependence on $ω$. The heat invariants of lower order are shown to be zero. We introduce a Witten-Novikov type perturbation $\bar\partial_{\barω}$ of the Dolbeault complex of any complex Kähler manifold, defined by a form $ω$ of type $(1,0)$ with $\partialω=0$. We give an explicit description of the associated index density which shows that it exhibits a nontrivial dependence on $ω$. The heat invariants of lower order are shown to be zero. △ Less

Submitted 8 November, 2020; v1 submitted 31 July, 2020; originally announced July 2020.

Comments: 15 pages

MSC Class: 58J20

Exact and asymptotic properties of $δ$-records in the linear drift model

Authors: Raúl Gouet, Miguel Lafuente, F. Javier López, Gerardo Sanz

Abstract: The study of records in the Linear Drift Model (LDM) has attracted much attention recently due to applications in several fields. In the present paper we study $δ$-records in the LDM, defined as observations which are greater than all previous observations, plus a fixed real quantity $δ$. We give analytical properties of the probability of $δ$-records and study the correlation between $δ$-record e… ▽ More The study of records in the Linear Drift Model (LDM) has attracted much attention recently due to applications in several fields. In the present paper we study $δ$-records in the LDM, defined as observations which are greater than all previous observations, plus a fixed real quantity $δ$. We give analytical properties of the probability of $δ$-records and study the correlation between $δ$-record events. We also analyse the asymptotic behaviour of the number of $δ$-records among the first $n$ observations and give conditions for convergence to the Gaussian distribution. As a consequence of our results, we solve a conjecture posed in J. Stat. Mech. 2010, P10013, regarding the total number of records in a LDM with negative drift. Examples of application to particular distributions, such as Gumbel or Pareto are also provided. We illustrate our results with a real data set of summer temperatures in Spain, where the LDM is consistent with the global-warming phenomenon. △ Less

Submitted 11 June, 2020; v1 submitted 9 June, 2020; originally announced June 2020.

Comments: 30 pages, 12 figures

Coarse distinguishability of graphs with symmetric growth

Authors: Jesús Antonio Álvarez López, Ramón Barral Lijó, Hiraku Nozawa

Abstract: Let $X$ be a connected, locally finite graph with symmetric growth. We prove that there is a vertex coloring $φ\colon X\to\{0,1\}$ and some $R\in\mathbb{N}$ such that every automorphism $f$ preserving $φ$ is $R$-close to the identity map; this can be seen as a coarse geometric version of symmetry breaking. We also prove that the infinite motion conjecture is true for graphs where at least one vert… ▽ More Let $X$ be a connected, locally finite graph with symmetric growth. We prove that there is a vertex coloring $φ\colon X\to\{0,1\}$ and some $R\in\mathbb{N}$ such that every automorphism $f$ preserving $φ$ is $R$-close to the identity map; this can be seen as a coarse geometric version of symmetry breaking. We also prove that the infinite motion conjecture is true for graphs where at least one vertex stabilizer $S_x$ satisfies the following condition: for every non-identity automorphism $f\in S_x$, there is a sequence $x_n$ such that $\lim d(x_n,f(x_n))=\infty$. △ Less

Submitted 19 May, 2020; originally announced May 2020.

MSC Class: 05C15 (Primary); 51F99 (Secondary)

Erratum to "Interpolation and optimal hitting for complete minimal surfaces with finite total curvature"

Authors: Antonio Alarcon, Ildefonso Castro-Infantes, Francisco J. Lopez

Abstract: We correct a mistake in the paper with the mentioned title and reference: Calc. Var. Partial Differential Equations 58 (2019), no. 1, 58:21. It corresponds with the preprint arXiv:1712.04727. We correct a mistake in the paper with the mentioned title and reference: Calc. Var. Partial Differential Equations 58 (2019), no. 1, 58:21. It corresponds with the preprint arXiv:1712.04727. △ Less

Submitted 3 April, 2020; originally announced April 2020.

Realization of manifolds as leaves using graph colorings

Authors: Jesús A. Álvarez López, Ramón Barral Lijó

Abstract: It is proved that any (repetitive) Riemannian manifold of bounded geometry can be realized as a leaf of some (minimal) Riemannian matchbox manifold without holonomy. Our methods can be adapted to achieve Cantor transversals or a prescribed holonomy covering, but then the manifold may not be realized as a dense leaf. It is proved that any (repetitive) Riemannian manifold of bounded geometry can be realized as a leaf of some (minimal) Riemannian matchbox manifold without holonomy. Our methods can be adapted to achieve Cantor transversals or a prescribed holonomy covering, but then the manifold may not be realized as a dense leaf. △ Less

Submitted 16 December, 2024; v1 submitted 20 February, 2020; originally announced February 2020.

Comments: 25 pages. Version accepted for publication in the Journal of the Mathematical Society of Japan

MSC Class: 57R30

Chaotic Delone sets

Authors: Jesús Antonio Álvarez López, Ramón Barral Lijó, John Hunton, Hiraku Nozawa, John R. Parker

Abstract: We present a definition of chaotic Delone set, and establish the genericity of chaos in the space of $(ε,δ)$-Delone sets for $ε\geq δ$. We also present a hyperbolic analogue of the cut-and-project method that naturally produces examples of chaotic Delone sets. We present a definition of chaotic Delone set, and establish the genericity of chaos in the space of $(ε,δ)$-Delone sets for $ε\geq δ$. We also present a hyperbolic analogue of the cut-and-project method that naturally produces examples of chaotic Delone sets. △ Less

Submitted 17 December, 2020; v1 submitted 11 December, 2019; originally announced December 2019.

Comments: 16 pages, 6 figures. Corrections to previous version: miscellanous editorial changes, we have added section 5 where we explain how to obtain chaotic Delone sets on R^n by taking products. To appear on Discrete and Continuous Dynamical Systems A

MSC Class: 37D45; 52C23; 37B50

Transversal hard Lefschetz theorem on transversely symplectic foliations

Authors: Jesús A. Álvarez López, Seoung Dal Jung

Abstract: We study the transversal hard Lefschetz theorem on a transversely symplectic foliation. This article extends the results of transversally symplectic flows (H.K.~Pak, "Transversal harmonic theory for transversally symplectic flows", J. Aust. Math. Soc. 84 (2008), 233--245) to the general transversely symplectic foliation. We study the transversal hard Lefschetz theorem on a transversely symplectic foliation. This article extends the results of transversally symplectic flows (H.K.~Pak, "Transversal harmonic theory for transversally symplectic flows", J. Aust. Math. Soc. 84 (2008), 233--245) to the general transversely symplectic foliation. △ Less

Submitted 14 January, 2020; v1 submitted 21 October, 2019; originally announced October 2019.

Comments: This is revised version

MSC Class: 53C12; 53C27; 57R30

Simple foliated flows

Authors: Jesús A. Álvarez López, Yuri A. Kordyukov, Eric Leichtnam

Abstract: We describe transversely oriented foliations of codimension one on closed manifolds that admit simple foliated flows. We describe transversely oriented foliations of codimension one on closed manifolds that admit simple foliated flows. △ Less

Submitted 16 June, 2019; originally announced June 2019.

Comments: 31 pages

MSC Class: 57R30

Algebraic approximation and the Mittag-Leffler theorem for minimal surfaces

Authors: Antonio Alarcon, Francisco J. Lopez

Abstract: In this paper, we prove a uniform approximation theorem with interpolation for complete conformal minimal surfaces with finite total curvature in the Euclidean space $\mathbb{R}^n$ $(n\ge 3)$. As application, we obtain a Mittag-Leffler type theorem for complete conformal minimal immersions $M\to\mathbb{R}^n$ on any open Riemann surface $M$. In this paper, we prove a uniform approximation theorem with interpolation for complete conformal minimal surfaces with finite total curvature in the Euclidean space $\mathbb{R}^n$ $(n\ge 3)$. As application, we obtain a Mittag-Leffler type theorem for complete conformal minimal immersions $M\to\mathbb{R}^n$ on any open Riemann surface $M$. △ Less

Submitted 28 October, 2020; v1 submitted 5 June, 2019; originally announced June 2019.

Comments: To appear in Analysis & PDE

Analysis on Riemannian foliations of bounded geometry

Authors: Jesús A. Álvarez López, Yuri A. Kordyukov, Eric Leichtnam

Abstract: A leafwise Hodge decomposition was proved by Sanguiao for Riemannian foliations of bounded geometry. Its proof is explained again in terms of our study of bounded geometry for Riemannian foliations. It is used to associate smoothing operators to foliated flows, and describe their Schwartz kernels. All of this is extended to a leafwise version of the Novikov differential complex. A leafwise Hodge decomposition was proved by Sanguiao for Riemannian foliations of bounded geometry. Its proof is explained again in terms of our study of bounded geometry for Riemannian foliations. It is used to associate smoothing operators to foliated flows, and describe their Schwartz kernels. All of this is extended to a leafwise version of the Novikov differential complex. △ Less

Submitted 23 January, 2020; v1 submitted 30 May, 2019; originally announced May 2019.

Comments: 46 pages

MSC Class: 58A14; 58J10; 57R30

Groups definable in Presburger arithmetic

Authors: Juan Pablo Acosta López

Abstract: We determine all groups definable in Presburger arithmetic, up to a finite index subgroup. We determine all groups definable in Presburger arithmetic, up to a finite index subgroup. △ Less

Submitted 3 December, 2021; v1 submitted 30 March, 2019; originally announced April 2019.

Uniformly convergent expansions for the generalized hypergeometric functions of the Bessel and Kummer types

Authors: Jose L. Lopez, Pedro J. Pagola, Dmitrii B. Karp

Abstract: We derive a convergent expansion of the generalized hypergeometric function ${}_{p-1}F_p$ in terms of the Bessel functions ${}_{0}F_1$ that holds uniformly with respect to the argument in any horizontal strip of the complex plane. We further obtain a convergent expansion of the generalized hypergeometric function ${}_{p}F_p$ in terms of the confluent hypergeometric functions ${}_{1}F_1$ that holds… ▽ More We derive a convergent expansion of the generalized hypergeometric function ${}_{p-1}F_p$ in terms of the Bessel functions ${}_{0}F_1$ that holds uniformly with respect to the argument in any horizontal strip of the complex plane. We further obtain a convergent expansion of the generalized hypergeometric function ${}_{p}F_p$ in terms of the confluent hypergeometric functions ${}_{1}F_1$ that holds uniformly in any right half-plane. For both functions, we make a further step and give convergent expansions in terms of trigonometric, exponential and rational functions that hold uniformly in the same domains. For all four expansions we present explicit error bounds. The accuracy of the approximations is illustrated with some numerical experiments. △ Less

Submitted 19 December, 2018; originally announced December 2018.

Comments: 16 pages, 5 figures

MSC Class: 33C20; 41A58; 41A80

On global solutions to some non-Markovian quantum kinetic models of Fokker-Planck type

Authors: Miguel A. Alejo, José Luis López

Abstract: In this paper, global well-posedness of the non-Markovian Unruh-Zurek and Hu-Paz-Zhang master equations with nonlinear electrostatic coupling is demonstrated. They both consist of a Wigner-Poisson like equation subjected to a dissipative Fokker-Planck mechanism with time-dependent coefficients of integral type, which makes necessary to take into account the full history of the open quantum system… ▽ More In this paper, global well-posedness of the non-Markovian Unruh-Zurek and Hu-Paz-Zhang master equations with nonlinear electrostatic coupling is demonstrated. They both consist of a Wigner-Poisson like equation subjected to a dissipative Fokker-Planck mechanism with time-dependent coefficients of integral type, which makes necessary to take into account the full history of the open quantum system under consideration to describe its present state. From a mathematical viewpoint this feature makes particularly elaborated the calculation of the propagators that take part of the corresponding mild formulations, as well as produces rather strong decays near the initial time ($t=0$) of the magnitudes involved, which would be reflected in the subsequent derivation of a priori estimates and a significant lack of Sobolev regularity when compared with their Markovian counterparts. The existence of local-in-time solutions is deduced from a Banach fixed point argument, while global solvability follows from appropriate kinetic energy estimates. △ Less

Submitted 29 November, 2018; originally announced November 2018.

Comments: 30 pages, 1 figure

One dimensional groups definable in the p-adic numbers

Authors: Juan Pablo Acosta López

Abstract: A complete list of one dimensional groups definable in the p-adic numbers is given, up to a finite index subroup and a quotient by a finite subgroup. A complete list of one dimensional groups definable in the p-adic numbers is given, up to a finite index subroup and a quotient by a finite subgroup. △ Less

Submitted 24 November, 2018; originally announced November 2018.

Journal ref: J. symb. log. 86 (2021) 801-816

Limit aperiodic and repetitive colorings of graphs

Authors: Jesús A. Álvarez López, Ramón Barral Lijó

Abstract: Let $X$ be a (repetitive) infinite connected simple graph with a finite upper bound $Δ$ on the vertex degrees. The main theorem states that $X$ admits a (repetitive) limit aperiodic vertex coloring by $Δ$ colors. This refines a theorem for finite graphs proved by Collins and Trenk, and by Klavžar, Wong and Zhu, independently. It is also related to a theorem of Gao, Jackson and Seward stating that… ▽ More Let $X$ be a (repetitive) infinite connected simple graph with a finite upper bound $Δ$ on the vertex degrees. The main theorem states that $X$ admits a (repetitive) limit aperiodic vertex coloring by $Δ$ colors. This refines a theorem for finite graphs proved by Collins and Trenk, and by Klavžar, Wong and Zhu, independently. It is also related to a theorem of Gao, Jackson and Seward stating that any countable group has a strongly aperiodic coloring by two colors, and to recent research on distinguishing number of graphs by Lehner, Pilśniak and Stawiski, and by Hüning et al. In our theorem, the number of colors is optimal for general graphs of bounded degree. We derive similar results for edge colorings, and for more general graphs, as well as a construction of limit aperiodic and repetitive tilings by finitely many prototiles. In a subsequent paper, this result is also used to improve the construction of compact foliated spaces with a prescribed leaf. △ Less

Submitted 4 March, 2020; v1 submitted 24 July, 2018; originally announced July 2018.

Comments: 37 pages. New simpler version

MSC Class: Primary: 05C15. Secondary: 37B50; 52C23

A note on the asymptotic expansion of the Lerch's transcendent

Authors: Xing Shi Cai, José L. López

Abstract: In a previous paper by Ferreira and López [Journal of Mathematical Analysis and Applications, 298(1), 2004], the authors derived an asymptotic expansion of the Lerch's transcendent $Φ(z,s,a)$ for large $\vert a\vert$, valid for $\mathrm{Re}(a)>0$, $\mathrm{Re}(s)>0$ and $z\in\mathbb{C}\setminus[1,\infty)$. In this paper we study the special case $z\ge 1$ not covered in the previous result, derivin… ▽ More In a previous paper by Ferreira and López [Journal of Mathematical Analysis and Applications, 298(1), 2004], the authors derived an asymptotic expansion of the Lerch's transcendent $Φ(z,s,a)$ for large $\vert a\vert$, valid for $\mathrm{Re}(a)>0$, $\mathrm{Re}(s)>0$ and $z\in\mathbb{C}\setminus[1,\infty)$. In this paper we study the special case $z\ge 1$ not covered in the previous result, deriving a complete asymptotic expansion of the Lerch's transcendent $Φ(z,s,a)$ for $z > 1$ and $\mathrm{Re}(s)>0$ as $\mathrm{Re}(a)$ goes to infinity. We also show that when $a$ is a positive integer, this expansion is convergent for $\mathrm{Re}(z) \ge 1$. As a corollary, we get a full asymptotic expansion for the sum $\sum_{n=1}^{m} z^{n}/n^{s}$ for fixed $z >1 $ as $m \to \infty$. Some numerical results show the accuracy of the approximation. △ Less

Submitted 4 June, 2018; originally announced June 2018.

Comments: 12 page

MSC Class: 11M35

A class of Meijer's G functions and further representations of the generalized hypergeometric functions

Authors: D. B. Karp, J. L. López

Abstract: In this paper we investigate the Meijer's $G$ function $G^{p,1}_{p+1,p+1}$ which for certain parameter values represents the Riemann-Liouville fractional integral of Meijer-Nørlund function $G^{p,0}_{p,p}$. Our results for $G^{p,1}_{p+1,p+1}$ include: a regularization formula for overlapping poles, a connection formula with the Meijer-Nørlund function, asymptotic formulas around the origin and uni… ▽ More In this paper we investigate the Meijer's $G$ function $G^{p,1}_{p+1,p+1}$ which for certain parameter values represents the Riemann-Liouville fractional integral of Meijer-Nørlund function $G^{p,0}_{p,p}$. Our results for $G^{p,1}_{p+1,p+1}$ include: a regularization formula for overlapping poles, a connection formula with the Meijer-Nørlund function, asymptotic formulas around the origin and unity, formulas for the moments, a hypergeometric transform and a sign stabilization theorem for growing parameters. We further employ the properties of $G^{p,1}_{p+1,p+1}$ to calculate the Hadamard finite part of an integral containing the Meijer-Nørlund function that is singular at unity. In the ultimate section, we define an alternative regularization for such integral better suited for representing the Bessel type generalized hypergeometric function ${}_{p-1}F_{p}$. A particular case of this regularization is then used to identify some new facts about the positivity and reality of the zeros of this function. △ Less

Submitted 25 January, 2018; originally announced January 2018.

Comments: 23 pages, no figures

MSC Class: 33C60; 33C20; 26A33; 46F99

Interpolation and optimal hitting for complete minimal surfaces with finite total curvature

Authors: Antonio Alarcon, Ildefonso Castro-Infantes, Francisco J. Lopez

Abstract: We prove that, given a compact Riemann surface $Σ$ and disjoint finite sets $\varnothing\neq E\subsetΣ$ and $Λ\subsetΣ$, every map $Λ\to \mathbb{R}^3$ extends to a complete conformal minimal immersion $Σ\setminus E\to \mathbb{R}^3$ with finite total curvature. This result opens the door to study optimal hitting problems in the framework of complete minimal surfaces in $\mathbb{R}^3$ with finite… ▽ More We prove that, given a compact Riemann surface $Σ$ and disjoint finite sets $\varnothing\neq E\subsetΣ$ and $Λ\subsetΣ$, every map $Λ\to \mathbb{R}^3$ extends to a complete conformal minimal immersion $Σ\setminus E\to \mathbb{R}^3$ with finite total curvature. This result opens the door to study optimal hitting problems in the framework of complete minimal surfaces in $\mathbb{R}^3$ with finite total curvature. To this respect we provide, for each integer $r\ge 1$, a set $A\subset\mathbb{R}^3$ consisting of $12r+3$ points in an affine plane such that if $A$ is contained in a complete nonflat orientable immersed minimal surface $X\colon M\to\mathbb{R}^3$, then the absolute value of the total curvature of $X$ is greater than $4πr$. △ Less

Submitted 10 December, 2018; v1 submitted 13 December, 2017; originally announced December 2017.

Comments: To appear in Calc. Var. Partial Differential Equations

A topological characterization of the omega-limit sets of analytic vector fields on open subsets of the sphere

Authors: José Ginés Espín Buendía, Víctor Jiménez López

Abstract: In [15], V. Jimenez and J. Llibre characterized, up to homeomorphism, the omega limit sets of analytic vector fields on the sphere and the projective plane. The authors also studied the same problem for open subsets of these surfaces. Unfortunately, an essential lemma in their programme for general surfaces has a gap. Although the proof of this lemma can be amended in the case of the sphere, the… ▽ More In [15], V. Jimenez and J. Llibre characterized, up to homeomorphism, the omega limit sets of analytic vector fields on the sphere and the projective plane. The authors also studied the same problem for open subsets of these surfaces. Unfortunately, an essential lemma in their programme for general surfaces has a gap. Although the proof of this lemma can be amended in the case of the sphere, the plane, the projective plane and the projective plane minus one point (and therefore the characterizations for these surfaces in [8] are correct), the lemma is not generally true, see [15]. Consequently, the topological characterization for analytic vector fields on open subsets of the sphere and the projective plane is still pending. In this paper, we close this problem in the case of open subsets of the sphere. △ Less

Submitted 4 November, 2017; v1 submitted 1 November, 2017; originally announced November 2017.

MSC Class: 37E35; 37B99; 37C10

A classification of small operators using graph theory

Authors: Terrence Bisson, Jonathan Lopez

Abstract: Given a real $n \times m$ matrix $B$, its operator norm can be defined as $$|B|=\max_{|v|=1}|Bv|.$$ We consider a matrix "small" if it has non-negative integer entries and its operator norm is less than $2$. These matrices correspond to bipartite graphs with spectral radius less than $2$, which can be classified as disjoint unions of Coxeter graphs. This gives a direct route to an $ADE$-classifica… ▽ More Given a real $n \times m$ matrix $B$, its operator norm can be defined as $$|B|=\max_{|v|=1}|Bv|.$$ We consider a matrix "small" if it has non-negative integer entries and its operator norm is less than $2$. These matrices correspond to bipartite graphs with spectral radius less than $2$, which can be classified as disjoint unions of Coxeter graphs. This gives a direct route to an $ADE$-classification result in terms of very basic mathematical objects. Our goal here is to see these results as part of a general program of classification of small objects, relating quadratic forms, reflection groups, root systems, and Lie algebras. △ Less

Submitted 21 October, 2017; originally announced October 2017.

Comments: 16 pages, the main goal of this paper is to exposit a self-contained ADE-classification result that requires minimal background

MSC Class: 05C50; 15A60; 15B36; 17B20; 17B22; 20F55

A topological classification of plane polynomial systems having a globally attracting singular point

Authors: José Ginés Espín Buendía, Víctor Jiménez López

Abstract: In this paper, plane polynomial systems having a singular point attracting all orbits in positive time are classified up to topological equivalence. This is done by assigning a combinatorial invariant to the system (a so-called "feasible set" consisting of finitely many vectors with components in the set $\{n/3: n=0,1,2,\ldots\}$), so that two such systems are equivalent if and only if (after appr… ▽ More In this paper, plane polynomial systems having a singular point attracting all orbits in positive time are classified up to topological equivalence. This is done by assigning a combinatorial invariant to the system (a so-called "feasible set" consisting of finitely many vectors with components in the set $\{n/3: n=0,1,2,\ldots\}$), so that two such systems are equivalent if and only if (after appropriately fixing an orientation in $\mathbb{R}^2$ and a heteroclinic separatrix) they have the same feasible set. In fact, this classification is achieved in the more general setting of continuous flows having finitely many separatrices. Polynomial representatives for each equivalence class are found, although in a non-constructive way. Since, to the best of our knowledge, the literature does not provide any concrete polynomial system having a non-trivial globally attracting singular point, an explicit example is given as well. △ Less

Submitted 7 March, 2018; v1 submitted 1 August, 2017; originally announced August 2017.

Comments: 30 pages, 9 figures

MSC Class: 34C37; 37C10; 37C15

On the Markus-Neumann theorem

Authors: José Ginés Espín Buendía, Víctor Jiménez Lopéz

Abstract: A well-known result by L. Markus, later extended by D. A. Neumann, states that two continuous flows on a surface are equivalent if and only if there is a surface homeomorphism preserving orbits and time directions of their separatrix configurations. In this paper we present several examples showing that, as originally formulated, the Markus-Neumann theorem needs not work. Besides, we point out t… ▽ More A well-known result by L. Markus, later extended by D. A. Neumann, states that two continuous flows on a surface are equivalent if and only if there is a surface homeomorphism preserving orbits and time directions of their separatrix configurations. In this paper we present several examples showing that, as originally formulated, the Markus-Neumann theorem needs not work. Besides, we point out the gap in its proof and show how to restate it in a correct (and slightly more general) way. △ Less

Submitted 18 July, 2017; originally announced July 2017.

Comments: 14 pages, 4 figures

Corrigendum to "A perturbation of the Dunkl harmonic oscillator on the line", arXiv:1412.4655

Authors: Jesús A. Álvarez López, Manuel Calaza, Carlos Franco

Abstract: We correct the second main theorem of the previous paper "A perturbation of the Dunkl harmonic oscillator on the line", by the first two authors. The corrections concern mainly certain estimates, which were also improved by adding more methods. We correct the second main theorem of the previous paper "A perturbation of the Dunkl harmonic oscillator on the line", by the first two authors. The corrections concern mainly certain estimates, which were also improved by adding more methods. △ Less

Submitted 26 June, 2017; v1 submitted 16 April, 2017; originally announced May 2017.

Comments: The content of this corrigendum was added to the text of the main article arXiv:1412.4655

MSC Class: 47A55; 47B25; 33C45

Global bifurcation map of the homogeneus states in the Gray-Scott model

Authors: Joaquin Delgado, Lucia Ivonne Hernandez Martinez, Javier Perez Lopez

Abstract: We study the spatially homogeneous time dependent solutions and their bifurcations of the Gray-Scott model. We find the global map of bifurcations by a combination of rigorous verification of the existence of Takens Bogdanov and a Bautin bifurcations, in the space of two parameters k and F. With the aid of numerical continuation of local bifurcation curves we give a global description of all the p… ▽ More We study the spatially homogeneous time dependent solutions and their bifurcations of the Gray-Scott model. We find the global map of bifurcations by a combination of rigorous verification of the existence of Takens Bogdanov and a Bautin bifurcations, in the space of two parameters k and F. With the aid of numerical continuation of local bifurcation curves we give a global description of all the possible bifurcations △ Less

Submitted 10 February, 2017; originally announced February 2017.

Comments: 24 pages, 12 figures

Degree theory for discontinuous operators

Authors: Rubén Figueroa, Rodrigo López Pouso, Jorge Rodríguez López

Abstract: We introduce a new definition of topological degree for a meaningful class of operators which need not be continuous. Subsequently, we derive a number of fixed point theorems for such operators. As an application, we deduce a new existence result for first-order ODEs with discontinuous nonlinearities. We introduce a new definition of topological degree for a meaningful class of operators which need not be continuous. Subsequently, we derive a number of fixed point theorems for such operators. As an application, we deduce a new existence result for first-order ODEs with discontinuous nonlinearities. △ Less

Submitted 9 January, 2017; originally announced January 2017.