-
Pushforward monads
Authors:
Adrián Doña Mateo
Abstract:
Given a monad $T$ on $\mathcal{C}$ and a functor $G \colon \mathcal{C} \to \mathcal{D}$, one can construct a monad $G_\#T$ on $\mathcal{D}$ subject to the existence of a certain Kan extension; this is the pushforward of $T$ along $G$. We develop the general theory of this construction, and relate it to the concept of codensity monads, showing that each is a special case of the other. We study seve…
▽ More
Given a monad $T$ on $\mathcal{C}$ and a functor $G \colon \mathcal{C} \to \mathcal{D}$, one can construct a monad $G_\#T$ on $\mathcal{D}$ subject to the existence of a certain Kan extension; this is the pushforward of $T$ along $G$. We develop the general theory of this construction, and relate it to the concept of codensity monads, showing that each is a special case of the other. We study several examples of pushforwards, the most notable being that the pushforward of the powerset monad from finite sets to sets gives the theory of continuous lattices. We also identify the category of algebras of the codensity monad of the inclusion of fields into rings, which turns out to be the free product completion of the category of fields. Lastly, for a set $E$, we identify the category of algebras of the codensity monad of the $(\cdot) + E$ functor on sets.
△ Less
Submitted 21 June, 2024;
originally announced June 2024.
-
Magnitude homology equivalence of Euclidean sets
Authors:
Adrián Doña Mateo,
Tom Leinster
Abstract:
Magnitude homology is an $\mathbf{R}^+$-graded homology theory of metric spaces that captures information on the complexity of geodesics. Here we address the question: when are two metric spaces magnitude homology equivalent, in the sense that there exist back-and-forth maps inducing mutually inverse maps in homology? We give a concrete geometric necessary and sufficient condition in the case of c…
▽ More
Magnitude homology is an $\mathbf{R}^+$-graded homology theory of metric spaces that captures information on the complexity of geodesics. Here we address the question: when are two metric spaces magnitude homology equivalent, in the sense that there exist back-and-forth maps inducing mutually inverse maps in homology? We give a concrete geometric necessary and sufficient condition in the case of closed Euclidean sets. Along the way, we introduce the convex-geometric concepts of inner boundary and core, and prove a strengthening for closed convex sets of the classical theorem of Carathéodory.
△ Less
Submitted 17 June, 2024;
originally announced June 2024.
-
Urban Dynamics Through the Lens of Human Mobility
Authors:
Yanyan Xu,
Luis E. Olmos,
David Mateo,
Alberto Hernando,
Xiaokang Yang,
Marta C. Gonzalez
Abstract:
The urban spatial structure represents the distribution of public and private spaces in cities and how people move within them. While it usually evolves slowly, it can change fast during large-scale emergency events, as well as due to urban renewal in rapidly develo** countries. This work presents an approach to delineate such urban dynamics in quasi-real-time through a human mobility metric, th…
▽ More
The urban spatial structure represents the distribution of public and private spaces in cities and how people move within them. While it usually evolves slowly, it can change fast during large-scale emergency events, as well as due to urban renewal in rapidly develo** countries. This work presents an approach to delineate such urban dynamics in quasi-real-time through a human mobility metric, the mobility centrality index $ΔKS$. As a case study, we tracked the urban dynamics of eleven Spanish cities during the COVID-19 pandemic. Results revealed that their structures became more monocentric during the lockdown in the first wave, but kept their regular spatial structures during the second wave. To provide a more comprehensive understanding of mobility from home, we also introduce a dimensionless metric, $KS_{HBT}$, which measures the extent of home-based travel and provides statistical insights into the transmission of COVID-19. By utilizing individual mobility data, our metrics enable the detection of changes in the urban spatial structure.
△ Less
Submitted 26 May, 2023;
originally announced May 2023.
-
Decentralized Multi-Floor Exploration by a Swarm of Miniature Robots Teaming with Wall-Climbing Units
Authors:
Jabez L. Kit,
Audelia G. Dharmawan,
David Mateo,
Shaohui Foong,
Gim Song Soh,
Roland Bouffanais,
Kristin L. Wood
Abstract:
In this paper, we consider the problem of collectively exploring unknown and dynamic environments with a decentralized heterogeneous multi-robot system consisting of multiple units of two variants of a miniature robot. The first variant-a wheeled ground unit-is at the core of a swarm of floor-map** robots exhibiting scalability, robustness and flexibility. These properties are systematically tes…
▽ More
In this paper, we consider the problem of collectively exploring unknown and dynamic environments with a decentralized heterogeneous multi-robot system consisting of multiple units of two variants of a miniature robot. The first variant-a wheeled ground unit-is at the core of a swarm of floor-map** robots exhibiting scalability, robustness and flexibility. These properties are systematically tested and quantitatively evaluated in unstructured and dynamic environments, in the absence of any supporting infrastructure. The results of repeated sets of experiments show a consistent performance for all three features, as well as the possibility to inject units into the system while it is operating. Several units of the second variant-a wheg-based wall-climbing unit-are used to support the swarm of map** robots when simultaneously exploring multiple floors by expanding the distributed communication channel necessary for the coordinated behavior among platforms. Although the occupancy-grid maps obtained can be large, they are fully distributed. Not a single robotic unit possesses the overall map, which is not required by our cooperative path-planning strategy.
△ Less
Submitted 15 August, 2019;
originally announced August 2019.
-
A Decentralized Mobile Computing Network for Multi-Robot Systems Operations
Authors:
Jabez Leong Kit,
David Mateo,
Roland Bouffanais
Abstract:
Collective animal behaviors are paradigmatic examples of fully decentralized operations involving complex collective computations such as collective turns in flocks of birds or collective harvesting by ants. These systems offer a unique source of inspiration for the development of fault-tolerant and self-healing multi-robot systems capable of operating in dynamic environments. Specifically, swarm…
▽ More
Collective animal behaviors are paradigmatic examples of fully decentralized operations involving complex collective computations such as collective turns in flocks of birds or collective harvesting by ants. These systems offer a unique source of inspiration for the development of fault-tolerant and self-healing multi-robot systems capable of operating in dynamic environments. Specifically, swarm robotics emerged and is significantly growing on these premises. However, to date, most swarm robotics systems reported in the literature involve basic computational tasks---averages and other algebraic operations. In this paper, we introduce a novel Collective computing framework based on the swarming paradigm, which exhibits the key innate features of swarms: robustness, scalability and flexibility. Unlike Edge computing, the proposed Collective computing framework is truly decentralized and does not require user intervention or additional servers to sustain its operations. This Collective computing framework is applied to the complex task of collective map**, in which multiple robots aim at cooperatively map a large area. Our results confirm the effectiveness of the cooperative strategy, its robustness to the loss of multiple units, as well as its scalability. Furthermore, the topology of the interconnecting network is found to greatly influence the performance of the collective action.
△ Less
Submitted 13 October, 2018;
originally announced October 2018.
-
Gradual Collective Upgrade of a Swarm of Autonomous Buoys for Dynamic Ocean Monitoring
Authors:
Francesco Vallegra,
David Mateo,
Grgur Tokić,
Roland Bouffanais,
Dick K. P. Yue
Abstract:
Swarms of autonomous surface vehicles equipped with environmental sensors and decentralized communications bring a new wave of attractive possibilities for the monitoring of dynamic features in oceans and other waterbodies. However, a key challenge in swarm robotics design is the efficient collective operation of heterogeneous systems. We present both theoretical analysis and field experiments on…
▽ More
Swarms of autonomous surface vehicles equipped with environmental sensors and decentralized communications bring a new wave of attractive possibilities for the monitoring of dynamic features in oceans and other waterbodies. However, a key challenge in swarm robotics design is the efficient collective operation of heterogeneous systems. We present both theoretical analysis and field experiments on the responsiveness in dynamic area coverage of a collective of 22 autonomous buoys, where 4 units are upgraded to a new design that allows them to move 80\% faster than the rest. This system is able to react on timescales of the minute to changes in areas on the order of a few thousand square meters. We have observed that this partial upgrade of the system significantly increases its average responsiveness, without necessarily improving the spatial uniformity of the deployment. These experiments show that the autonomous buoy designs and the cooperative control rule described in this work provide an efficient, flexible, and scalable solution for the pervasive and persistent monitoring of water environments.
△ Less
Submitted 31 August, 2018;
originally announced August 2018.
-
Optimal Network Topology for Effective Collective Response
Authors:
David Mateo,
Nikolaj Horsevad,
Vahid Hassani,
Mohammadreza Chamanbaz,
Roland Bouffanais
Abstract:
Natural, social, and artificial multi-agent systems usually operate in dynamic environments, where the ability to respond to changing circumstances is a crucial feature. An effective collective response requires suitable information transfer among agents, and thus is critically dependent on the agents' interaction network. In order to investigate the influence of the network topology on collective…
▽ More
Natural, social, and artificial multi-agent systems usually operate in dynamic environments, where the ability to respond to changing circumstances is a crucial feature. An effective collective response requires suitable information transfer among agents, and thus is critically dependent on the agents' interaction network. In order to investigate the influence of the network topology on collective response, we consider an archetypal model of distributed decision-making---the leader-follower linear consensus---and study the collective capacity of the system to follow a dynamic driving signal (the "leader") for a range of topologies and system sizes. The analysis reveals a nontrivial relationship between optimal topology and frequency of the driving signal. Interestingly, the response is optimal when each individual interacts with a certain number of agents which decreases monotonically with the frequency and, for large enough systems, is independent of the size of the system. This phenomenology is investigated in experiments of collective motion using a swarm of land robots. The emergent collective response to both a slow- and a fast-changing leader is measured and analyzed for a range of interaction topologies. These results have far-reaching practical implications for the design and understanding of distributed systems, since they highlight that a dynamic rewiring of the interaction network is paramount to the effective collective operations of multi-agent systems at different time-scales.
△ Less
Submitted 21 December, 2018; v1 submitted 10 July, 2018;
originally announced July 2018.
-
Density Functional Theory of doped superfluid liquid helium and nanodroplets
Authors:
Francesco Ancilotto,
Manuel Barranco,
Francois Coppens,
Jussi Eloranta,
Nadine Halberstadt,
Alberto Hernando,
David Mateo,
Marti Pi
Abstract:
During the last decade, density function theory (DFT) in its static and dynamic time dependent forms, has emerged as a powerful tool to describe the structure and dynamics of doped liquid helium and droplets. In this review, we summarize the activity carried out in this field within the DFT framework since the publication of the previous review article on this subject [M. Barranco et al., J. Low T…
▽ More
During the last decade, density function theory (DFT) in its static and dynamic time dependent forms, has emerged as a powerful tool to describe the structure and dynamics of doped liquid helium and droplets. In this review, we summarize the activity carried out in this field within the DFT framework since the publication of the previous review article on this subject [M. Barranco et al., J. Low Temp. Phys. 142, 1 (2006)]. Furthermore, a comprehensive presentation of the actual implementations of helium DFT is given, which have not been discussed in the individual articles or are scattered in the existing literature. This is an Accepted Manuscript of an article published on August 2, 2017 by Taylor & Francis Group in Int. Rev. Phys. Chem. 36, 621 (2017), available online: http://dx.doi.org/10.1080/0144235X.2017.1351672
△ Less
Submitted 5 August, 2017;
originally announced August 2017.
-
Swarm-Enabling Technology for Multi-Robot Systems
Authors:
Mohammadreza Chamanbaz,
David Mateo,
Brandon M. Zoss,
Grgur Tokić,
Erik Wilhelm,
Roland Bouffanais,
and Dick K. P. Yue
Abstract:
Swarm robotics has experienced a rapid expansion in recent years, primarily fueled by specialized multi-robot systems developed to achieve dedicated collective actions. These specialized platforms are in general designed with swarming considerations at the front and center. Key hardware and software elements required for swarming are often deeply embedded and integrated with the particular system.…
▽ More
Swarm robotics has experienced a rapid expansion in recent years, primarily fueled by specialized multi-robot systems developed to achieve dedicated collective actions. These specialized platforms are in general designed with swarming considerations at the front and center. Key hardware and software elements required for swarming are often deeply embedded and integrated with the particular system. However, given the noticeable increase in the number of low-cost mobile robots readily available, practitioners and hobbyists may start considering to assemble full-fledged swarms by minimally retrofitting such mobile platforms with a swarm-enabling technology. Here, we report one possible embodiment of such a technology designed to enable the assembly and the study of swarming in a range of general-purpose robotic systems. This is achieved by combining a modular and transferable software toolbox with a hardware suite composed of a collection of low-cost and off-the-shelf components. The developed technology can be ported to a relatively vast range of robotic platforms with minimal changes and high levels of scalability. This swarm-enabling technology has successfully been implemented on two distinct distributed multi-robot systems, a swarm of mobile marine buoys and a team of commercial terrestrial robots. We have tested the effectiveness of both of these distributed robotic systems in performing collective exploration and search scenarios, as well as other classical cooperative behaviors. Experimental results on different swarm behaviors are reported for the two platforms in uncontrolled environments and without any supporting infrastructure. The design of the associated software library allows for a seamless switch to other cooperative behaviors, and also offers the possibility to simulate newly designed collective behaviors prior to their implementation onto the platforms.
△ Less
Submitted 11 May, 2017;
originally announced May 2017.
-
Excess of Social Behavior Reduces the Capacity to Respond to Perturbations
Authors:
David Mateo,
Yoke Kong Kuan,
Roland Bouffanais
Abstract:
Social interaction increases significantly the performance of a wide range of cooperative systems. However, evidence that natural swarms limit the number of social connections suggests potentially detrimental consequences of excessive social activity. Using a canonical model of collective motion, we find that the responsiveness of a swarm to local perturbations is reduced when the social interacti…
▽ More
Social interaction increases significantly the performance of a wide range of cooperative systems. However, evidence that natural swarms limit the number of social connections suggests potentially detrimental consequences of excessive social activity. Using a canonical model of collective motion, we find that the responsiveness of a swarm to local perturbations is reduced when the social interaction exceeds a certain threshold. We uncover a similar effect for two distinct collective decision-making models of distributed consensus operating over a range of static networks. While increasing the amount of interaction always increases the capacity of these systems to adapt to slow changes, an excess of social behavior can hinder the swiftness of their response to fast perturbations. These results have far-reaching implications for the design of artificial swarms or interaction networks.
△ Less
Submitted 8 September, 2016; v1 submitted 27 September, 2015;
originally announced September 2015.
-
Correlations in the low-density Fermi gas: Fermi-Liquid state, Dimerization, and BCS Pairing
Authors:
H. H. Fan,
E. Krotscheck,
T. Lichtenegger,
D. Mateo,
R. E. Zillich
Abstract:
We present ground state calculations for low-density Fermi gases described by two model interactions, an attractive square-well potential and a Lennard-Jones potential, of varying strength. We use the optimized Fermi-Hypernetted Chain integral equation method which has been proved to provide, in the density regimes of interest here, an accuracy better than one percent. We first examine the low-den…
▽ More
We present ground state calculations for low-density Fermi gases described by two model interactions, an attractive square-well potential and a Lennard-Jones potential, of varying strength. We use the optimized Fermi-Hypernetted Chain integral equation method which has been proved to provide, in the density regimes of interest here, an accuracy better than one percent. We first examine the low-density expansion of the energy and compare with the exact answer by Huang and Yang (H. Huang and C. N. Yang, {\em Phys. Rev.\/} {\bf 105}, 767 (1957)). It is shown that a locally correlated wave function of the Jastrow-Feenberg type does not recover the quadratic term in the expansion of the energy in powers of $\a0\KF$, where $\a0$ is the vacuum $s$-wave scattering length and $\KF$ the Fermi wave number. The problem is cured by adding second-order perturbation corrections in a correlated basis. Going to higher densities and/or more strongly coupled systems, we encounter an instability of the normal state of the system which is characterized by a divergence of the {\em in-medium\/} scattering length. We interpret this divergence as a phonon-exchange driven dimerization of the system, similar to what one has at zero density when the vacuum scattering length $\a0$ diverges. We then study, in the stable regime, the superfluid gap and its dependence on the density and the interaction strength. We identify two different corrections to low-density expansions: One is medium corrections to the pairing interaction, and the other one finite-range corrections. We show that the most important finite-range corrections are a direct manifestation of the many-body nature of the system.
△ Less
Submitted 3 November, 2016; v1 submitted 19 September, 2014;
originally announced September 2014.
-
Desorption Dynamics of Heavy Alkali Metal Atoms (Rb, Cs) off the Surface of Helium Nanodroplets
Authors:
J. von Vangerow,
A. Sieg,
F. Stienkemeier,
M. Mudrich,
A. Leal,
D. Mateo,
A. Hernando,
M. Barranco,
M. Pi
Abstract:
We present a combined ion imaging and density functional theory study of the dynamics of the desorption process of rubidium and cesium atoms off the surface of helium nanodroplets upon excitation of the perturbed $6s$ and $7s$ states, respectively. Both experimental and theoretical results are well represented by the pseudodiatomic model for effective masses of the helium droplet in the desorption…
▽ More
We present a combined ion imaging and density functional theory study of the dynamics of the desorption process of rubidium and cesium atoms off the surface of helium nanodroplets upon excitation of the perturbed $6s$ and $7s$ states, respectively. Both experimental and theoretical results are well represented by the pseudodiatomic model for effective masses of the helium droplet in the desorption reaction of m_eff/m_He~10 (Rb) and 13 (Cs). Deviations from this model are found for Rb excited to the 6p state. Photoelectron spectra indicate that the dopant-droplet interaction induces relaxation into low-lying electronic states of the desorbed atoms in the course of the ejection process.
△ Less
Submitted 18 June, 2014;
originally announced June 2014.
-
Solvation of Intrinsic Positive Charge in Superfluid Helium
Authors:
David Mateo,
Jussi Eloranta
Abstract:
Based on electronic structure calculations, the structure of intrinsic positive charge solvated in superfluid helium is identified as triatomic He3^+ ion, which is bound to the surrounding ground state helium atoms through the charge - charge induced dipole interaction in a pairwise additive manner. Bosonic density functional theory calculations show that this ion forms the well-known Atkins' snow…
▽ More
Based on electronic structure calculations, the structure of intrinsic positive charge solvated in superfluid helium is identified as triatomic He3^+ ion, which is bound to the surrounding ground state helium atoms through the charge - charge induced dipole interaction in a pairwise additive manner. Bosonic density functional theory calculations show that this ion forms the well-known Atkins' snowball solvation structure where the first rigid helium shell is effectively disconnected from the rest of the liquid. Evaluation of the total energy vs. helium droplet size N shows distinct regions related to the completion of solvent shells near N=16 and N=47. These regions can be assigned to magic numbers observed in positively charged helium droplets appearing at N=15 and in the range between 20-50 helium atoms. The calculated added mass for the positive ion in bulk superfluid helium (18 m_He) is much smaller than the previous experiments suggest (30-40 m_He) indicating that there may be yet some unidentified additional factor contributing to the measured effective mass. Both previous experiments and the present calculations agree on the effective mass of the negative charge (240-250 m_He). The main difference between the solvated negative and positive charges in liquid helium is that the latter forms a chemically bound triatomic molecule surrounded by highly inhomogeneous liquid structure whereas the former remains as a separated charge with a smoothly varying liquid density around it.
△ Less
Submitted 25 March, 2014;
originally announced March 2014.
-
Mg impurity in helium droplets
Authors:
J. Navarro,
D. Mateo,
M. Barranco,
A. Sarsa
Abstract:
Within the diffusion Monte Carlo approach, we have determined the structure of isotopically pure and mixed helium droplets doped with one magnesium atom. For pure 4He clusters, our results confirm those of M. Mella et al. [J. Chem. Phys. 123, 054328 (2005)] that the impurity experiences a transition from a surface to a bulk location as the number of helium atoms in the droplet increases. Contraril…
▽ More
Within the diffusion Monte Carlo approach, we have determined the structure of isotopically pure and mixed helium droplets doped with one magnesium atom. For pure 4He clusters, our results confirm those of M. Mella et al. [J. Chem. Phys. 123, 054328 (2005)] that the impurity experiences a transition from a surface to a bulk location as the number of helium atoms in the droplet increases. Contrarily, for pure 3He clusters Mg resides in the bulk of the droplet due to the smaller surface tension of this isotope. Results for mixed droplets are presented. We have also obtained the absorption spectrum of Mg around the 3s3p 1P_1 <-- 3s2 1S_0 transition.
△ Less
Submitted 20 December, 2011;
originally announced December 2011.
-
Excited electron-bubble states in superfluid helium-4: a time-dependent density functional approach
Authors:
David Mateo,
Dafei **,
Manuel Barranco,
Martí Pi
Abstract:
We present a systematic study on the excited electron-bubble states in superfluid helium-4 using a time-dependent density functional approach. For the evolution of the 1P bubble state, two different functionals accompanied with two different time-development schemes are used, namely an accurate finite-range functional for helium with an adiabatic approximation for electron versus an efficient zero…
▽ More
We present a systematic study on the excited electron-bubble states in superfluid helium-4 using a time-dependent density functional approach. For the evolution of the 1P bubble state, two different functionals accompanied with two different time-development schemes are used, namely an accurate finite-range functional for helium with an adiabatic approximation for electron versus an efficient zero-range functional for helium with a real-time evolution for electron. We make a detailed comparison between the quantitative results obtained from the two methods, which allows us to employ with confidence the optimal method for suitable problems. Based on this knowledge, we use the finite-range functional to calculate the time-resolved absorption spectrum of the 1P bubble, which in principle can be experimentally determined, and we use the zero-range functional to real-time evolve the 2P bubble for several hundreds of picoseconds, which is theoretically interesting due to the break down of adiabaticity for this state. Our results discard the physical realization of relaxed, metastable 2P electron-bubbles
△ Less
Submitted 9 November, 2010;
originally announced November 2010.
-
Evolution of the excited electron bubble in liquid 4He and the appearance of fission-like processes
Authors:
David Mateo,
Martí Pi,
Manuel Barranco
Abstract:
We have studied the evolution of an excited electron bubble in superfluid 4He for several tens of picoseconds combining the dynamics of the liquid with an adiabatic evolution for the electron. The path followed by the excited bubble in its decay to the ground state is shown to strongly depend on pressure. While for pressures below 1 bar the 1P excited electron bubble has allowance for radiatively…
▽ More
We have studied the evolution of an excited electron bubble in superfluid 4He for several tens of picoseconds combining the dynamics of the liquid with an adiabatic evolution for the electron. The path followed by the excited bubble in its decay to the ground state is shown to strongly depend on pressure. While for pressures below 1 bar the 1P excited electron bubble has allowance for radiatively decay to the deformed ground state, evolving then non-radiatively towards the ground state of the spherical electron bubble, we have found that above 1 bar two distinct baby bubbles appear in the course of the dynamical evolution, pointing to a different relaxation path in which the electron may be localized in one of the baby bubbles while the other collapses, allowing for a pure radiationless de-excitation. Our calculations are in agreement with experiments indicating that relaxed 1P bubbles are only observed for pressures smaller than a critical one, of the order of 1 bar, and that above this value the decay of the excited bubble has to proceed differently. A similar analysis carried out for the 2P bubble shows that the adiabatic approximation fails at an early stage of its dynamical evolution due to the crossing of the 2P and 1F states.
△ Less
Submitted 28 April, 2010;
originally announced April 2010.
-
Ca impurity in small mixed $^4$He-$^3$He clusters
Authors:
R. Guardiola,
J. Navarro,
D. Mateo,
M. Barranco
Abstract:
The structure of small mixed helium clusters doped with one calcium atom has been determined within the diffusion Monte Carlo framework. The results show that the calcium atom sits at the $^4$He-$^3$He interface. This is in agreement with previous studies, both experimental and theoretical, performed for large clusters. A comparison between the results obtained for the largest cluster we have co…
▽ More
The structure of small mixed helium clusters doped with one calcium atom has been determined within the diffusion Monte Carlo framework. The results show that the calcium atom sits at the $^4$He-$^3$He interface. This is in agreement with previous studies, both experimental and theoretical, performed for large clusters. A comparison between the results obtained for the largest cluster we have considered for each isotope shows a clear tendency of the Ca atom to reside in a deep dimple at the surface of the cluster for $^4$He clusters, and to become fully solvated for $^3$He clusters. We have calculated the absorption spectrum of Ca around the $4s4p \leftarrow 4s^2$ transition and have found that it is blue-shifted from that of the free-atom transition by an amount that depends on the size and composition of the cluster.
△ Less
Submitted 14 October, 2009;
originally announced October 2009.