Showing 1–35 of 35 results for author: Martinez, D

On monotonicity of heat kernels: a new example and counterexamples

Authors: Almut Burchard, Ángel D. Martínez

Abstract: We discover a new, non-radial example of a manifold whose heat kernel decreases monotonically along all minimal geodesics. We also classify the flat tori with this monotonicity property. Furthermore, we show that for a generic metric on any smooth manifold the monotonicity property fails at large times. This answers a recent question of Alonso-Orán, Chamizo, Martínez, and Mas. We discover a new, non-radial example of a manifold whose heat kernel decreases monotonically along all minimal geodesics. We also classify the flat tori with this monotonicity property. Furthermore, we show that for a generic metric on any smooth manifold the monotonicity property fails at large times. This answers a recent question of Alonso-Orán, Chamizo, Martínez, and Mas. △ Less

Submitted 12 February, 2025; originally announced February 2025.

C*-rigidity of bounded geometry metric spaces

Authors: Diego Martínez, Federico Vigolo

Abstract: We prove that uniformly locally finite metric spaces with isomorphic Roe algebras must be coarsely equivalent. As an application, we also prove that the outer automorphism group of the Roe algebra of a metric space of bounded geometry is canonically isomorphic to the group of coarse equivalences of the space up to closeness. We prove that uniformly locally finite metric spaces with isomorphic Roe algebras must be coarsely equivalent. As an application, we also prove that the outer automorphism group of the Roe algebra of a metric space of bounded geometry is canonically isomorphic to the group of coarse equivalences of the space up to closeness. △ Less

Submitted 6 January, 2025; originally announced January 2025.

Comments: An extract of [arxiv:2403.13624], proving a particular case of its main theorem in the special case of bounded geometry metric spaces. 15 pages

MSC Class: 53C24; 48L89; 51F30; 52C25; 51K05

Essential groupoid amenability and nuclearity of groupoid C*-algebras

Authors: Alcides Buss, Diego Martínez

Abstract: We give an alternative construction of the essential $C^*$-algebra of an étale groupoid, along with an ``amenability'' notion for such groupoids that is implied by the nuclearity of this essential $C^*$-algebra. In order to do this we first introduce a maximal version of the essential $C^*$-algebra, and prove that every function with dense co-support can only be supported on the set of ``dangerous… ▽ More We give an alternative construction of the essential $C^*$-algebra of an étale groupoid, along with an ``amenability'' notion for such groupoids that is implied by the nuclearity of this essential $C^*$-algebra. In order to do this we first introduce a maximal version of the essential $C^*$-algebra, and prove that every function with dense co-support can only be supported on the set of ``dangerous'' arrows. We then introduce an essential amenability condition for a groupoid, which is (strictly) weaker than its (topological) amenability. As an application, we describe the Bruce-Li algebras arising from algebraic actions of cancellative semigroups as exotic essential $C^*$-algebras. △ Less

Submitted 17 April, 2025; v1 submitted 3 January, 2025; originally announced January 2025.

Comments: 47 pages; new version with substantial changes, fixing previous errors

MSC Class: 20L05; 46L52; 46L05

Symplectic Geometry, Poisson Geometry, and Beyond

Authors: Ivan Contreras, Diego Martinez, Nicolas Martinez, Diego Rodriguez

Abstract: Symplectic and Poisson geometry emerged as a tool to understand the mathematical structure behind classical mechanics. However, due to its huge development over the past century, it has become an independent field of research in differential geometry. In this lecture notes, we will introduce the essential objects and techniques in symplectic geometry (e.g Darboux coordinates, Lagrangian submanifol… ▽ More Symplectic and Poisson geometry emerged as a tool to understand the mathematical structure behind classical mechanics. However, due to its huge development over the past century, it has become an independent field of research in differential geometry. In this lecture notes, we will introduce the essential objects and techniques in symplectic geometry (e.g Darboux coordinates, Lagrangian submanifolds, cotangent bundles) and Poisson geometry (e.g symplectic foliations, some examples of Poisson structures). This geometric approach will be motivated by examples from classical physics, and at the end we will explore applications of symplectic and Poisson geometry to Lie theory and other fields of mathematical physics. △ Less

Submitted 19 November, 2024; originally announced November 2024.

Comments: 30 pages, 3 figures

$C^{1,1-ε}$ Isometric embeddings

Authors: Ángel D. Martínez

Abstract: In this paper we use the convex integration technique enhanced by an extra iteration originally due to Källén and revisited by Kröner to provide a local $h$-principle for isometric embeddings in the class $C^{1,1-ε}$ for $n$-dimensional manifolds in codimension $\frac{1}{2}n(n+1)$. In this paper we use the convex integration technique enhanced by an extra iteration originally due to Källén and revisited by Kröner to provide a local $h$-principle for isometric embeddings in the class $C^{1,1-ε}$ for $n$-dimensional manifolds in codimension $\frac{1}{2}n(n+1)$. △ Less

Submitted 31 August, 2024; originally announced September 2024.

An abstract generalization of Källen-Kröner's interation

Authors: Ángel D. Martínez

Abstract: We devote this paper to provide an abstract generalization of an iteration originally due to Källén, and revisited later by Kröner, that might be of independent interest. We devote this paper to provide an abstract generalization of an iteration originally due to Källén, and revisited later by Kröner, that might be of independent interest. △ Less

Submitted 31 August, 2024; originally announced September 2024.

Comments: This has been published as an Appendix to another paper, namely Trans. Amer. Math. Soc. 377 (2024), pp. 5411-5444

A Matheuristic Multi-Start Algorithm for a Novel Static Repositioning Problem in Public Bike-Sharing Systems

Authors: Julio-Mario Daza-Escorcia, David Álvarez Martínez

Abstract: This paper investigates a specific instance of the static repositioning problem within station-based bike-sharing systems. Our study incorporates operational and damaged bikes, a heterogeneous fleet, and multiple visits between stations and the depot. The objective is to minimize the weighted sum of the deviation from the target number of bikes for each station, the number of damaged bikes not rem… ▽ More This paper investigates a specific instance of the static repositioning problem within station-based bike-sharing systems. Our study incorporates operational and damaged bikes, a heterogeneous fleet, and multiple visits between stations and the depot. The objective is to minimize the weighted sum of the deviation from the target number of bikes for each station, the number of damaged bikes not removed, and the total time used by vehicles. To solve this problem, we propose a matheuristic approach based on a randomized multi-start algorithm integrated with an integer programming model for optimizing the number of operatives and damaged bikes that will be moved between stations and/or the depot (loading instructions). The algorithm's effectiveness was assessed using instances derived from real-world data, yielding encouraging results. Furthermore, we adapted our algorithm to a simpler problem studied in the literature, achieving competitive outcomes compared to other existing methods. The experimental results in both scenarios demonstrate that this algorithm can generate high-quality solutions within a short computational time. △ Less

Submitted 24 July, 2024; originally announced July 2024.

Comments: Conference Paper, 15th Metaheuristic International Conference, MIC2024

MSC Class: 90B06 90B06

Journal ref: Lecture Notes in Computer Science, 2024

Optimal Hospital Capacity Management During Demand Surges

Authors: Felix Parker, Fardin Ganjkhanloo, Diego A. Martínez, Kimia Ghobadi

Abstract: Effective hospital capacity management is pivotal for enhancing patient care quality, operational efficiency, and healthcare system resilience, notably during demand spikes like those seen in the COVID-19 pandemic. However, devising optimal capacity strategies is complicated by fluctuating demand, conflicting objectives, and multifaceted practical constraints. This study presents a data-driven fra… ▽ More Effective hospital capacity management is pivotal for enhancing patient care quality, operational efficiency, and healthcare system resilience, notably during demand spikes like those seen in the COVID-19 pandemic. However, devising optimal capacity strategies is complicated by fluctuating demand, conflicting objectives, and multifaceted practical constraints. This study presents a data-driven framework to optimize capacity management decisions within hospital systems during surge events. Two key decisions are optimized over a tactical planning horizon: allocating dedicated capacity to surge patients and transferring incoming patients between emergency departments (EDs) of hospitals to better distribute demand. The optimization models are formulated as robust mixed-integer linear programs, enabling efficient computation of optimal decisions that are robust against demand uncertainty. The models incorporate practical constraints and costs, including setup times and costs for adding surge capacity, restrictions on ED patient transfers, and relative costs of different decisions that reflect impacts on care quality and operational efficiency. The methodology is evaluated retrospectively in a hospital system during the height of the COVID-19 pandemic to demonstrate the potential impact of the recommended decisions. The results show that optimally allocating beds and transferring just 32 patients over a 63 day period around the peak, about one transfer every two days, could have reduced the need for surge capacity in the hospital system by nearly 90%. Overall, this work introduces a practical tool to transform capacity management decision-making, enabling proactive planning and the use of data-driven recommendations to improve outcomes. △ Less

Submitted 29 March, 2024; v1 submitted 23 March, 2024; originally announced March 2024.

A rigidity framework for Roe-like algebras

Authors: Diego Martínez, Federico Vigolo

Abstract: In this memoir we develop a framework to study rigidity problems for Roe-like C*-algebras of countably generated coarse spaces. The main goal is to give a complete and self-contained solution to the problem of C*-rigidity for proper (extended) metric spaces. Namely, we show that (stable) isomorphisms among Roe algebras always give rise to coarse equivalences. The material is organized as to provid… ▽ More In this memoir we develop a framework to study rigidity problems for Roe-like C*-algebras of countably generated coarse spaces. The main goal is to give a complete and self-contained solution to the problem of C*-rigidity for proper (extended) metric spaces. Namely, we show that (stable) isomorphisms among Roe algebras always give rise to coarse equivalences. The material is organized as to provide a unified proof of C*-rigidity for Roe algebras, algebras of operators of controlled propagation, and algebras of quasi-local operators. We also prove a more refined C*-rigidity statement which has several additional applications. For instance, we can put the correspondence between coarse geometry and operator algebras in a categorical framework, and we prove that the outer automorphism groups of these C*-algebras are all isomorphic to the group of coarse equivalences of the coarse space. △ Less

Submitted 10 March, 2025; v1 submitted 20 March, 2024; originally announced March 2024.

Comments: The exposition of the material has been reorganized to a memoir form. More details and examples have been added, some minor issues have been addressed. 108 pages

MSC Class: 53C24; 46L89; 51F30; 52C25; 51K05

Roe algebras of coarse spaces via coarse geometric modules

Authors: Diego Martínez, Federico Vigolo

Abstract: We provide a construction of Roe (C*-)algebras of general coarse spaces in terms of coarse geometric modules. This extends the classical theory of Roe algebras of metric spaces and gives a unified framework to deal with either uniform or non-uniform Roe algebras, algebras of operators of controlled propagation, and algebras of quasi-local operators; both in the metric and general coarse geometric… ▽ More We provide a construction of Roe (C*-)algebras of general coarse spaces in terms of coarse geometric modules. This extends the classical theory of Roe algebras of metric spaces and gives a unified framework to deal with either uniform or non-uniform Roe algebras, algebras of operators of controlled propagation, and algebras of quasi-local operators; both in the metric and general coarse geometric setting. The key new definitions are that of coarse geometric module and coarse support of operators between coarse geometric modules. These let us construct natural bridges between coarse geometry and operator algebras. We then study the general structure of Roe-like algebras, and investigate several structural properties, such as admitting Cartan subalgebras or computing their intersection with the compact operators. Lastly, we prove that assigning to a coarse space the K-theory groups of its Roe algebra(s) is a natural functorial operation. △ Less

Submitted 2 April, 2024; v1 submitted 14 December, 2023; originally announced December 2023.

Comments: Minor improvements and corrected typos throughout the paper, slightly changed the abstract

MSC Class: 46L80; 54E15 (Primary) 46L85; 51K05; 51F30 (Secondary)

Approximation properties of Fell bundles over inverse semigroups and non-Hausdorff groupoids

Authors: Alcides Buss, Diego Martínez

Abstract: In this paper we study the nuclearity and weak containment property of reduced cross-sectional C*-algebras of Fell bundles over inverse semigroups. In order to develop the theory, we first prove an analogue of Fell's absorption trick in the context of Fell bundles over inverse semigroups. In parallel, the approximation property of Exel can be reformulated in this context, and Fell's absorption tri… ▽ More In this paper we study the nuclearity and weak containment property of reduced cross-sectional C*-algebras of Fell bundles over inverse semigroups. In order to develop the theory, we first prove an analogue of Fell's absorption trick in the context of Fell bundles over inverse semigroups. In parallel, the approximation property of Exel can be reformulated in this context, and Fell's absorption trick can be used to prove that the approximation property, as defined here, implies that the full and reduced cross-sectional C*-algebras are isomorphic via the left regular representation, i.e., the Fell bundle has the weak containment property. We then use this machinery to prove that a Fell bundle with the approximation property and nuclear unit fiber has a nuclear cross-sectional \cstar{}algebra. This result gives nuclearity of a large class of C*-algebras, as, remarkably, all the machinery in this paper works for étale non-Hausdorff groupoids just as well. △ Less

Submitted 9 August, 2023; v1 submitted 28 February, 2023; originally announced February 2023.

Comments: Minor typos, version accepted for publication in Adv. Math

MSC Class: 46L55; 46L06; 20M18

Quasi-countable inverse semigroups as metric spaces, and the uniform Roe algebras of locally finite inverse semigroups

Authors: Yeong Chyuan Chung, Diego Martínez, Nóra Szakács

Abstract: Given any quasi-countable, in particular any countable inverse semigroup $S$, we introduce a way to equip $S$ with a proper and right subinvariant extended metric. This generalizes the notion of proper, right invariant metrics for discrete countable groups. Such a metric is shown to be unique up to bijective coarse equivalence of the semigroup, and hence depends essentially only on $S$. This allow… ▽ More Given any quasi-countable, in particular any countable inverse semigroup $S$, we introduce a way to equip $S$ with a proper and right subinvariant extended metric. This generalizes the notion of proper, right invariant metrics for discrete countable groups. Such a metric is shown to be unique up to bijective coarse equivalence of the semigroup, and hence depends essentially only on $S$. This allows us to unambiguously define the uniform Roe algebra of $S$, which we prove can be realized as a canonical crossed product of $\ell^\infty(S)$ and $S$. We relate these metrics to the analogous metrics on Hausdorff étale groupoids. Using this setting, we study those inverse semigroups with asymptotic dimension $0$. Generalizing results known for groups, we show that these are precisely the locally finite inverse semigroups, and are further characterized by having strongly quasi-diagonal uniform Roe algebras. We show that, unlike in the group case, having a finite uniform Roe algebra is strictly weaker and is characterized by $S$ being locally $\mathcal L$-finite, and equivalently sparse as a metric space. △ Less

Submitted 29 February, 2024; v1 submitted 17 November, 2022; originally announced November 2022.

MSC Class: 20M18; 46L05; 46L89

On the blow up of a non-local transport equation in compact manifolds

Authors: Diego Alonso-Orán, Ángel D. Martínez

Abstract: In this note we show finite time blow-up for a class of non-local active scalar equations on compact Riemannian manifolds. The strategy we follow was introduced by Silvestre and Vicol to deal with the one dimensional Córdoba-Córdoba-Fontelos equation and might be regarded as an instance of De Giorgi's method. In this note we show finite time blow-up for a class of non-local active scalar equations on compact Riemannian manifolds. The strategy we follow was introduced by Silvestre and Vicol to deal with the one dimensional Córdoba-Córdoba-Fontelos equation and might be regarded as an instance of De Giorgi's method. △ Less

Submitted 28 May, 2022; originally announced May 2022.

Córdoba's differentation theorem: revisited

Authors: Ángel D. Martínez

Abstract: In this paper we prove an exponential covering lemma implying the three dimensional case of a well-known conjecture formulated by A. Zygmund circa 1935 and solved by A. Córdoba in 1978. Our approach avoids a subtle argument involving the power series of the exponential function. In this paper we prove an exponential covering lemma implying the three dimensional case of a well-known conjecture formulated by A. Zygmund circa 1935 and solved by A. Córdoba in 1978. Our approach avoids a subtle argument involving the power series of the exponential function. △ Less

Submitted 28 May, 2022; originally announced May 2022.

Comments: arXiv admin note: text overlap with arXiv:1711.00803

Sign equidistribution of Legendre polynomials

Authors: Ángel D. Martínez, Francisco Torres de Lizaur

Abstract: We prove {\em sign equidistribution} of Legendre polynomials: the ratio between the lengths of the regions in the interval $[-1, 1]$ where the Legendre polynomial assumes positive versus negative values, converges to one as the degree grows. The proof method also has application to the symmetry conjecture for a basis of eigenfunctions in the sphere. We prove {\em sign equidistribution} of Legendre polynomials: the ratio between the lengths of the regions in the interval $[-1, 1]$ where the Legendre polynomial assumes positive versus negative values, converges to one as the degree grows. The proof method also has application to the symmetry conjecture for a basis of eigenfunctions in the sphere. △ Less

Submitted 28 May, 2022; originally announced May 2022.

Distribution symmetry of toral eigenfunctions

Authors: Ángel D. Martínez, Francisco Torres de Lizaur

Abstract: In this paper we study a number of conjectures on the behavior of the value distribution of eigenfunctions. On the two dimensional torus we observe that the symmetry conjecture holds in the strongest possible sense. On the other hand we provide a counterexample for higher dimensional tori, which relies on a computer assisted argument. Moreover we prove a theorem on the distribution symmetry of a c… ▽ More In this paper we study a number of conjectures on the behavior of the value distribution of eigenfunctions. On the two dimensional torus we observe that the symmetry conjecture holds in the strongest possible sense. On the other hand we provide a counterexample for higher dimensional tori, which relies on a computer assisted argument. Moreover we prove a theorem on the distribution symmetry of a certain class of trigonometric polynomials that might be of independent interest. △ Less

Submitted 28 May, 2022; originally announced May 2022.

Eigenfunction maxima and spherical means

Authors: Ángel D. Martínez

Abstract: The eigenfunctions of the Laplacian are a central object from the realms of analytic number theory to geometric analysis. We prove that Hörmander $L^2$-$L^{\infty}$ estimates are equivalent to restriction estimates to small geodesic spheres for a certain class of manifolds. The eigenfunctions of the Laplacian are a central object from the realms of analytic number theory to geometric analysis. We prove that Hörmander $L^2$-$L^{\infty}$ estimates are equivalent to restriction estimates to small geodesic spheres for a certain class of manifolds. △ Less

Submitted 28 May, 2022; originally announced May 2022.

Comments: This was published as part of the author's PhD thesis

A note on commutation relations and finite dimensional approximations

Authors: Fernando Lledó, Diego Martínez

Abstract: In this article we show that the main C*-algebras describing the canonical commutation relations of quantum physics, i.e., the Weyl and resolvent algebras, are in the class of Følner C*-algebras, a class of C*-algebras admitting a kind of finite approximations of Følner type. In particular, we show that the tracial states of the resolvent algebra are uniform locally finite dimensional. In this article we show that the main C*-algebras describing the canonical commutation relations of quantum physics, i.e., the Weyl and resolvent algebras, are in the class of Følner C*-algebras, a class of C*-algebras admitting a kind of finite approximations of Følner type. In particular, we show that the tracial states of the resolvent algebra are uniform locally finite dimensional. △ Less

Submitted 22 August, 2022; v1 submitted 30 November, 2021; originally announced November 2021.

Comments: 11 pages, minor revision, accepted for publication in Expo. Math

MSC Class: 81T05; 46L05; 47L90

Journal ref: Expositiones Mathematicae, 40 (2022) 947-960

A note on the quasi-diagonality of inverse semigroup reduced C*-algebras

Authors: Diego Martínez

Abstract: In this note we start the study of whether the reduced C*-algebra of an inverse semigroup is quasi-diagonal, making explicit use of the inner structure of this class of semigroups in order to produce quasi-diagonal approximations. Given a discrete inverse semigroup, we detail the relationship between its isolated subgroups and the quasi-diagonality of its reduced C*-algebra, and prove that such su… ▽ More In this note we start the study of whether the reduced C*-algebra of an inverse semigroup is quasi-diagonal, making explicit use of the inner structure of this class of semigroups in order to produce quasi-diagonal approximations. Given a discrete inverse semigroup, we detail the relationship between its isolated subgroups and the quasi-diagonality of its reduced C*-algebra, and prove that such subgroups must be amenable. Moreover, we give a direct characterization of the quasi-diagonality of inverse semigroup whose universal groupoid is minimal. Lastly, we also study the relevance of Green's $\mathcal{D}$-relation when considering quasi-diagonality questions, and give a sufficient condition for the quasi-diagonality of a general inverse semigroup. △ Less

Submitted 22 August, 2022; v1 submitted 30 July, 2021; originally announced July 2021.

Comments: 11 pages; minor revision, accepted for publication in J. Op. Th

MSC Class: 20M18; 46L05; 47A66; 46L89

Farthest sampling segmentation of triangulated surfaces

Authors: Victoria Hernández-Mederos, Dimas Martínez, Jorge Estrada-Sarlabous, Valia Guerra-Ones

Abstract: In this paper we introduce Farthest Sampling Segmentation (FSS), a new method for segmentation of triangulated surfaces, which consists of two fundamental steps: the computation of a submatrix $W^k$ of the affinity matrix $W$ and the application of the k-means clustering algorithm to the rows of $W^k$. The submatrix $W^k$ is obtained computing the affinity between all triangles and only a few spec… ▽ More In this paper we introduce Farthest Sampling Segmentation (FSS), a new method for segmentation of triangulated surfaces, which consists of two fundamental steps: the computation of a submatrix $W^k$ of the affinity matrix $W$ and the application of the k-means clustering algorithm to the rows of $W^k$. The submatrix $W^k$ is obtained computing the affinity between all triangles and only a few special triangles: those which are farthest in the defined metric. This is equivalent to select a sample of columns of $W$ without constructing it completely. The proposed method is computationally cheaper than other segmentation algorithms, since it only calculates few columns of $W$ and it does not require the eigendecomposition of $W$ or of any submatrix of $W$. We prove that the orthogonal projection of $W$ on the space generated by the columns of $W^k$ coincides with the orthogonal projection of $W$ on the space generated by the $k$ eigenvectors computed by Nyström's method using the columns of $W^k$ as a sample of $W$. Further, it is shown that for increasing size $k$, the proximity relationship among the rows of $W^k$ tends to faithfully reflect the proximity among the corresponding rows of $W$. The FSS method does not depend on parameters that must be tuned by hand and it is very flexible, since it can handle any metric to define the distance between triangles. Numerical experiments with several metrics and a large variety of 3D triangular meshes show that the segmentations obtained computing less than the 10% of columns $W$ are as good as those obtained from clustering the rows of the full matrix $W$. △ Less

Submitted 1 December, 2020; originally announced December 2020.

MSC Class: 68U05; 05C50; 15A60; 65F15; 62H30

An improvement to the John-Nirenberg inequality for functions in critical Sobolev spaces

Authors: Ángel D. Martínez, Daniel Spector

Abstract: It is known that functions in a Sobolev space with critical exponent embed into the space of functions of bounded mean oscillation, and therefore satisfy the John-Nirenberg inequality and a corresponding exponential integrability estimate. While these inequalities are optimal for general functions of bounded mean oscillation, the main result of this paper is an improvement for functions in a class… ▽ More It is known that functions in a Sobolev space with critical exponent embed into the space of functions of bounded mean oscillation, and therefore satisfy the John-Nirenberg inequality and a corresponding exponential integrability estimate. While these inequalities are optimal for general functions of bounded mean oscillation, the main result of this paper is an improvement for functions in a class of critical Sobolev spaces. Precisely, we prove the inequality \[\mathcal{H}^β_{\infty}(\{x\in Ω:|I_αf(x)|>t\})\leq Ce^{-ct^{q'}}\] for all $\|f\|_{L^{N/α,q}(Ω)}\leq 1$ and any $β\in (0,N]$, where $Ω\subset \mathbb{R}^N$, $\mathcal{H}^β_{\infty}$ is the Hausdorff content, $L^{N/α,q}(Ω)$ is a Lorentz space with $q \in (1,\infty]$, $q'=q/(q-1)$ is the Hölder conjugate to $q$, and $I_αf$ denotes the Riesz potential of $f$ of order $α\in (0,N)$. △ Less

Submitted 9 July, 2020; originally announced July 2020.

Comments: 25 pages

The uniform Roe algebra of an inverse semigroup

Authors: Fernando Lledó, Diego Martínez

Abstract: Given a discrete and countable inverse semigroup $S$ one can study, in analogy to the group case, its geometric aspects. In particular, we can equip $S$ with a natural metric, given by the path metric in the disjoint union of its Schützenberger graphs. This graph, which we denote by $Λ_S$, inherits much of the structure of $S$. In this article we compare the C*-algebra $\mathcal{R}_S$, generated b… ▽ More Given a discrete and countable inverse semigroup $S$ one can study, in analogy to the group case, its geometric aspects. In particular, we can equip $S$ with a natural metric, given by the path metric in the disjoint union of its Schützenberger graphs. This graph, which we denote by $Λ_S$, inherits much of the structure of $S$. In this article we compare the C*-algebra $\mathcal{R}_S$, generated by the left regular representation of $S$ on $\ell^2(S)$ and $\ell^\infty(S)$, with the uniform Roe algebra over the metric space, namely $C^*_u(Λ_S)$. This yields a chacterization of when $\mathcal{R}_S = C^*_u(Λ_S)$, which generalizes finite generation of $S$. We have termed this by finite labeability (FL), since it holds when the $Λ_S$ can be labeled in a finitary manner. The graph $Λ_S$, and the FL condition above, also allow to analyze large scale properties of $Λ_S$ and relate them with C*-properties of the uniform Roe algebra. In particular, we show that domain measurability of $S$ (a notion generalizing Day's definition of amenability of a semigroup, cf., [5]) is a quasi-isometric invariant of $Λ_S$. Moreover, we characterize property A of $Λ_S$ (or of its components) in terms of the nuclearity and exactness of the corresponding C*-algebras. We also treat the special classes of F-inverse and E-unitary inverse semigroups from this large scale point of view. △ Less

Submitted 5 February, 2021; v1 submitted 4 April, 2020; originally announced April 2020.

Comments: Accepted version for publication; minor changes

MSC Class: 20M18; 46L05; 51F30; 20F65

Journal ref: J. Math. Anal. Appl. 499 (2021) 124996

Amenability and paradoxicality in semigroups and C*-algebras

Authors: Pere Ara, Fernando Lledó, Diego Martínez

Abstract: We analyze the dichotomy amenable/paradoxical in the context of (discrete, countable, unital) semigroups and corresponding semigroup rings. We consider also Følner's type characterizations of amenability and give an example of a semigroup whose semigroup ring is algebraically amenable but has no Følner sequence. In the context of inverse semigroups $S$ we give a characterization of invariant mea… ▽ More We analyze the dichotomy amenable/paradoxical in the context of (discrete, countable, unital) semigroups and corresponding semigroup rings. We consider also Følner's type characterizations of amenability and give an example of a semigroup whose semigroup ring is algebraically amenable but has no Følner sequence. In the context of inverse semigroups $S$ we give a characterization of invariant measures on $S$ (in the sense of Day) in terms of two notions: $domain$ $measurability$ and $localization$. Given a unital representation of $S$ in terms of partial bijections on some set $X$ we define a natural generalization of the uniform Roe algebra of a group, which we denote by $\mathcal{R}_X$. We show that the following notions are then equivalent: (1) $X$ is domain measurable; (2) $X$ is not paradoxical; (3) $X$ satisfies the domain Følner condition; (4) there is an algebraically amenable dense *-subalgebra of $\mathcal{R}_X$; (5) $\mathcal{R}_X$ has an amenable trace; (6) $\mathcal{R}_X$ is not properly infinite and (7) $[0]\not=[1]$ in the $K_0$-group of $\mathcal{R}_X$. We also show that any tracial state on $\mathcal{R}_X$ is amenable. Moreover, taking into account the localization condition, we give several C*-algebraic characterizations of the amenability of $X$. Finally, we show that for a certain class of inverse semigroups, the quasidiagonality of $C_r^*\left(X\right)$ implies the amenability of $X$. The converse implication is false. △ Less

Submitted 25 February, 2020; v1 submitted 30 April, 2019; originally announced April 2019.

Comments: 29 pages, minor corrections. Mistake in the statement of Proposition 4.19 from previous version corrected. Final version to appear in Journal of Functional Analysis

MSC Class: 20M18; 46L05; 43A07

Journal ref: Journal of Functional Analysis 279 (2020) 108530 (43pp.)

A note on the Bilinear Bogolyubov Theorem: Transverse and bilinear sets

Authors: Pierre-Yves Bienvenu, Diego González-Sánchez, Ángel D. Martínez

Abstract: A set $P\subset \mathbb{F}_p^n\times\mathbb{F}_p^n$ is called $\textit{bilinear}$ when it is the zero set of a family of linear and bilinear forms, and $\textit{transverse}$ when it is stable under vertical and horizontal sums. A theorem of the first author provides a generalization of Bogolyubov's theorem to the bilinear setting. Roughly speaking, it implies that any dense transverse set… ▽ More A set $P\subset \mathbb{F}_p^n\times\mathbb{F}_p^n$ is called $\textit{bilinear}$ when it is the zero set of a family of linear and bilinear forms, and $\textit{transverse}$ when it is stable under vertical and horizontal sums. A theorem of the first author provides a generalization of Bogolyubov's theorem to the bilinear setting. Roughly speaking, it implies that any dense transverse set $P\subset \mathbb{F}_p^n\times\mathbb{F}_p^n$ contains a large bilinear set. In this paper, we elucidate the extent to which a transverse set is forced to be (and not only contain) a bilinear set. △ Less

Submitted 24 November, 2018; originally announced November 2018.

Comments: 10 pages, 2 figures

MSC Class: 11B30

Pointwise monotonicity of heat kernels

Authors: Diego Alonso-Orán, Fernando Chamizo, Ángel D. Martínez, Albert Mas

Abstract: In this paper the authors present a proof of a pointwise radial monotonicity property of heat kernels that is shared by the euclidean spaces, spheres and hyperbolic spaces. The main result deals with monotonicity from special points on revolution hypersurfaces from which the aforementioned are deduced. The proof relies on a non straightforward but elementary application of the parabolic maximum pr… ▽ More In this paper the authors present a proof of a pointwise radial monotonicity property of heat kernels that is shared by the euclidean spaces, spheres and hyperbolic spaces. The main result deals with monotonicity from special points on revolution hypersurfaces from which the aforementioned are deduced. The proof relies on a non straightforward but elementary application of the parabolic maximum principle. △ Less

Submitted 25 May, 2019; v1 submitted 29 July, 2018; originally announced July 2018.

A Class of Multiparameter Oscillatory Singular Integral Operators: Endpoint Hardy Space Bounds

Authors: Odysseas Bakas, Eric Latorre, Diana Cristina Rincón Martínez, James Wright

Abstract: We establish endpoint bounds on a Hardy space $H^1$ for a natural class of multiparameter singular integral operators which do not decay away from the support of rectangular atoms. Hence the usual argument via a Journé-type covering lemma to deduce bounds on product $H^1$ is not valid. We consider the class of multiparameter oscillatory singular integral operators given by convolution with the c… ▽ More We establish endpoint bounds on a Hardy space $H^1$ for a natural class of multiparameter singular integral operators which do not decay away from the support of rectangular atoms. Hence the usual argument via a Journé-type covering lemma to deduce bounds on product $H^1$ is not valid. We consider the class of multiparameter oscillatory singular integral operators given by convolution with the classical multiple Hilbert transform kernel modulated by a general polynomial oscillation. Various characterisations are known which give $L^2$ (or more generally $L^p, 1<p<\infty$) bounds. Here we initiate an investigation of endpoint bounds on the rectangular Hardy space $H^1$ in two dimensions; we give a characterisation when bounds hold which are uniform over a given subspace of polynomials and somewhat surprisingly, we discover that the Hardy space and $L^p$ theories for these operators are very different. △ Less

Submitted 2 March, 2018; originally announced March 2018.

A conjecture of Antoni Zygmund

Authors: Antonio Córdoba, Eric Latorre, Ángel D. Martínez

Abstract: In this paper we establish an exponential covering theorem implying a conjecture formulated by A. Zygmund circa 1935 whose three-dimensional case was obtained by the first named author in 1978. In this paper we establish an exponential covering theorem implying a conjecture formulated by A. Zygmund circa 1935 whose three-dimensional case was obtained by the first named author in 1978. △ Less

Submitted 14 February, 2018; v1 submitted 2 November, 2017; originally announced November 2017.

Comments: The final step is not correct

Global well-posedness of critical surface quasigeostrophic equation on the sphere

Authors: Diego Alonso-Oran, Antonio Cordoba, Angel D. Martinez

Abstract: In this paper we prove global well-posedness of the critical surface quasigeostrophic equation on the two dimensional sphere building on some earlier work of the authors. The proof relies on an improving of the previously known pointwise inequality for fractional laplacians as in the work of Constantin and Vicol for the euclidean setting. In this paper we prove global well-posedness of the critical surface quasigeostrophic equation on the two dimensional sphere building on some earlier work of the authors. The proof relies on an improving of the previously known pointwise inequality for fractional laplacians as in the work of Constantin and Vicol for the euclidean setting. △ Less

Submitted 20 April, 2017; originally announced April 2017.

Continuity of weak solutions of the critical quasigeostrophic equation on the sphere

Authors: Diego Alonso-Oran, Antonio Cordoba, Angel D. Martinez

Abstract: In this paper we provide regularity results for active scalars that are weak solutions of almost critical drift-diffusion equations in general surfaces. This includes models of anisotropic non-homogeneous media and the physically motivated case of the two-dimensional sphere. Our finest result deals with the critical surface quasigeostrophic equation on the round sphere. In this paper we provide regularity results for active scalars that are weak solutions of almost critical drift-diffusion equations in general surfaces. This includes models of anisotropic non-homogeneous media and the physically motivated case of the two-dimensional sphere. Our finest result deals with the critical surface quasigeostrophic equation on the round sphere. △ Less

Submitted 20 April, 2017; originally announced April 2017.

Integral representation for fractional Laplace-Beltrami operators

Authors: Diego Alonso-Oran, Antonio Cordoba, Angel D. Martinez

Abstract: In this paper we provide an integral representation of the fractional Laplace-Beltrami operator for general riemannian manifolds which has several interesting applications. We give two different proofs, in two different scenarios, of essentially the same result. One of them deals with compact manifolds with or without boundary, while the other approach treats the case of riemannian manifolds witho… ▽ More In this paper we provide an integral representation of the fractional Laplace-Beltrami operator for general riemannian manifolds which has several interesting applications. We give two different proofs, in two different scenarios, of essentially the same result. One of them deals with compact manifolds with or without boundary, while the other approach treats the case of riemannian manifolds without boundary whose Ricci curvature is uniformly bounded below. △ Less

Submitted 20 April, 2017; originally announced April 2017.

The Shape of Data and Probability Measures

Authors: Diego Hernán Díaz Martínez, Facundo Mémoli, Washington Mio

Abstract: We introduce the notion of multiscale covariance tensor fields (CTF) associated with Euclidean random variables as a gateway to the shape of their distributions. Multiscale CTFs quantify variation of the data about every point in the data landscape at all spatial scales, unlike the usual covariance tensor that only quantifies global variation about the mean. Empirical forms of localized covariance… ▽ More We introduce the notion of multiscale covariance tensor fields (CTF) associated with Euclidean random variables as a gateway to the shape of their distributions. Multiscale CTFs quantify variation of the data about every point in the data landscape at all spatial scales, unlike the usual covariance tensor that only quantifies global variation about the mean. Empirical forms of localized covariance previously have been used in data analysis and visualization, but we develop a framework for the systematic treatment of theoretical questions and computational models based on localized covariance. We prove strong stability theorems with respect to the Wasserstein distance between probability measures, obtain consistency results, as well as estimates for the rate of convergence of empirical CTFs. These results ensure that CTFs are robust to sampling, noise and outliers. We provide numerous illustrations of how CTFs let us extract shape from data and also apply CTFs to manifold clustering, the problem of categorizing data points according to their noisy membership in a collection of possibly intersecting, smooth submanifolds of Euclidean space. We prove that the proposed manifold clustering method is stable and carry out several experiments to validate the method. △ Less

Submitted 27 February, 2017; v1 submitted 15 September, 2015; originally announced September 2015.

Comments: 46 pages, 12 figures, Theorems 1 and 3 have been revised, as well as the results derived from them

Null boundary controllability of a 1-dimensional heat equation with an internal point mass

Authors: Scott W. Hansen, Jose de Jesus Martinez

Abstract: We consider a linear hybrid system composed by two rods of equal length connected by a point mass. We show that the system is null controllable with Dirichlet and Neumann controls. The results are based on a careful spectral spectral analysis together with the moment method. We consider a linear hybrid system composed by two rods of equal length connected by a point mass. We show that the system is null controllable with Dirichlet and Neumann controls. The results are based on a careful spectral spectral analysis together with the moment method. △ Less

Submitted 27 July, 2015; v1 submitted 25 June, 2015; originally announced June 2015.

Comments: 12 pages, typos corrected, added references, matches version to be submitted to Systems and Control Letters

Modeling of a heat equation with a Dirac density

Authors: Scott W. Hansen, Jose de Jesus Martinez

Abstract: We consider a linear hybrid system composed by two rods connected by a thin wall of length 2ε and density 1/2ε. By passing to a limit, we obtain a system describing heat flow of two rods connected by a singular point whose dynamics are governed by a partial differential equation. We prove that solutions of the approximate system converge weakly to solutions of the limiting system. We consider a linear hybrid system composed by two rods connected by a thin wall of length 2ε and density 1/2ε. By passing to a limit, we obtain a system describing heat flow of two rods connected by a singular point whose dynamics are governed by a partial differential equation. We prove that solutions of the approximate system converge weakly to solutions of the limiting system. △ Less

Submitted 23 September, 2015; v1 submitted 25 June, 2015; originally announced June 2015.

Comments: 10 pages, typos corrected, fixed references, matches version to be submitted to Proceedings of Dynamic Systems and Applications

A pointwise inequality for fractional laplacians

Authors: Antonio Cordoba, Angel D. Martinez

Abstract: The fractional laplacian is an operator appearing in several evolution models where diffusion coming from a Lévy process is present but also in the analysis of fluid interphases. We provide an extension of a pointwise inequality that plays a rôle in their study. We begin recalling two scenarios where it has been used. After stating the results, for fractional Laplace-Beltrami and Dirichlet-Neumann… ▽ More The fractional laplacian is an operator appearing in several evolution models where diffusion coming from a Lévy process is present but also in the analysis of fluid interphases. We provide an extension of a pointwise inequality that plays a rôle in their study. We begin recalling two scenarios where it has been used. After stating the results, for fractional Laplace-Beltrami and Dirichlet-Neumann operators, we provide an sketch of their proofs, unravelling the underlying principle to such inequalities. △ Less

Submitted 5 February, 2015; originally announced February 2015.

Asymptotic Spectral Measures, Quantum Mechanics, and E-theory

Authors: Diane Martinez, Jody Trout

Abstract: We study the relationship between POV-measures in quantum theory and asymptotic morphisms in the operator algebra E-theory of Connes-Higson. This is done by introducing the theory of "asymptotic" PV-measures and their integral correspondence with positive asymptotic morphisms on locally compact spaces. Examples and applications involving various aspects of quantum physics, including quantum nois… ▽ More We study the relationship between POV-measures in quantum theory and asymptotic morphisms in the operator algebra E-theory of Connes-Higson. This is done by introducing the theory of "asymptotic" PV-measures and their integral correspondence with positive asymptotic morphisms on locally compact spaces. Examples and applications involving various aspects of quantum physics, including quantum noise models, semiclassical limits, strong deformation quantizations, and pure half-spin particles, are also discussed. △ Less

Submitted 28 March, 2002; v1 submitted 12 July, 2001; originally announced July 2001.

Comments: For journal version, see http://link.springer.de/link/service/journals/00220/bibs/2226001/22260041.htm

MSC Class: 46L80 (Primary) 81R15; 28B05 (Secondary)

Journal ref: Communications in Mathematical Physics, 226 (2002) 41-60