Showing 1–50 of 168 results for author: Moreno, M

Bergman projection induced by radial weight acting on growth spaces

Authors: Álvaro Miguel Moreno, José Ángel Peláez, Jari Taskinen

Abstract: Let $ω$ be a radial weight on the unit disc of the complex plane $\mathbb{D}$ and denote $ω_x =\int_0^1 s^x ω(s)\,ds$, $x\ge 0$, for the moments of $ω$ and $\widehatω(r)=\int_r^1 ω(s)\,ds$ for the tail integrals. A radial weight $ω$ belongs to the class $\widehat{\mathcal{D}}$ if satisfies the upper doubling condition… ▽ More Let $ω$ be a radial weight on the unit disc of the complex plane $\mathbb{D}$ and denote $ω_x =\int_0^1 s^x ω(s)\,ds$, $x\ge 0$, for the moments of $ω$ and $\widehatω(r)=\int_r^1 ω(s)\,ds$ for the tail integrals. A radial weight $ω$ belongs to the class $\widehat{\mathcal{D}}$ if satisfies the upper doubling condition $$\sup_{0<r<1}\frac{\widehatω(r)}{\widehatω\left(\frac{1+r}{2}\right)}<\infty.$$ If $ν$ or $ω$ belongs to $\widehat{\mathcal{D}}$, it is described the boundedness of the Bergman projection $P_ω$ induced by $ω$ on the growth space $L^\infty_{\widehatν} =\{ f: \|f\|_{\infty,v}={ esssup}_{z\in\mathbb{D}} |f(z)|\widehatν(z)<\infty\}$ in terms of neat conditions on the moments and/or the tail integrals of $ω$ and $ν$. Moreover, it is solved the analogous problem for $P_ω$ from $L^\infty_{\widehatν}$ to the Bloch type space $B^\infty_{\widehatν}$ of analytic functions such that $\sup_{z\in \mathbb{D}}(1-|z|)\widehatν(z) |f'(z)|<\infty.$ We also study similar questions for exponentially decreasing radial weights. △ Less

Submitted 26 June, 2024; originally announced June 2024.

Did I Vet You Before? Assessing the Chrome Web Store Vetting Process through Browser Extension Similarity

Authors: José Miguel Moreno, Narseo Vallina-Rodriguez, Juan Tapiador

Abstract: Web browsers, particularly Google Chrome and other Chromium-based browsers, have grown in popularity over the past decade, with browser extensions becoming an integral part of their ecosystem. These extensions can customize and enhance the user experience, providing functionality that ranges from ad blockers to, more recently, AI assistants. Given the ever-increasing importance of web browsers, di… ▽ More Web browsers, particularly Google Chrome and other Chromium-based browsers, have grown in popularity over the past decade, with browser extensions becoming an integral part of their ecosystem. These extensions can customize and enhance the user experience, providing functionality that ranges from ad blockers to, more recently, AI assistants. Given the ever-increasing importance of web browsers, distribution marketplaces for extensions play a key role in kee** users safe by vetting submissions that display abusive or malicious behavior. In this paper, we characterize the prevalence of malware and other infringing extensions in the Chrome Web Store (CWS), the largest distribution platform for this type of software. To do so, we introduce SimExt, a novel methodology for detecting similarly behaving extensions that leverages static and dynamic analysis, Natural Language Processing (NLP) and vector embeddings. Our study reveals significant gaps in the CWS vetting process, as 86% of infringing extensions are extremely similar to previously vetted items, and these extensions take months or even years to be removed. By characterizing the top kinds of infringing extension, we find that 83% are New Tab Extensions (NTEs) and raise some concerns about the consistency of the vetting labels assigned by CWS analysts. Our study also reveals that only 1% of malware extensions flagged by the CWS are detected as malicious by anti-malware engines, indicating a concerning gap between the threat landscape seen by CWS moderators and the detection capabilities of the threat intelligence community. △ Less

Submitted 1 June, 2024; originally announced June 2024.

MetaCURL: Non-stationary Concave Utility Reinforcement Learning

Authors: Bianca Marin Moreno, Margaux Brégère, Pierre Gaillard, Nadia Oudjane

Abstract: We explore online learning in episodic loop-free Markov decision processes on non-stationary environments (changing losses and probability transitions). Our focus is on the Concave Utility Reinforcement Learning problem (CURL), an extension of classical RL for handling convex performance criteria in state-action distributions induced by agent policies. While various machine learning problems can b… ▽ More We explore online learning in episodic loop-free Markov decision processes on non-stationary environments (changing losses and probability transitions). Our focus is on the Concave Utility Reinforcement Learning problem (CURL), an extension of classical RL for handling convex performance criteria in state-action distributions induced by agent policies. While various machine learning problems can be written as CURL, its non-linearity invalidates traditional Bellman equations. Despite recent solutions to classical CURL, none address non-stationary MDPs. This paper introduces MetaCURL, the first CURL algorithm for non-stationary MDPs. It employs a meta-algorithm running multiple black-box algorithms instances over different intervals, aggregating outputs via a slee** expert framework. The key hurdle is partial information due to MDP uncertainty. Under partial information on the probability transitions (uncertainty and non-stationarity coming only from external noise, independent of agent state-action pairs), we achieve optimal dynamic regret without prior knowledge of MDP changes. Unlike approaches for RL, MetaCURL handles full adversarial losses, not just stochastic ones. We believe our approach for managing non-stationarity with experts can be of interest to the RL community. △ Less

Submitted 30 May, 2024; originally announced May 2024.

DendroPy 5: a mature Python library for phylogenetic computing

Authors: Matthew Andres Moreno, Mark T. Holder, Jeet Sukumaran

Abstract: Contemporary bioinformatics has seen in profound new visibility into the composition, structure, and history of the natural world around us. Arguably, the central pillar of bioinformatics is phylogenetics -- the study of hereditary relatedness among organisms. Insight from phylogenetic analysis has touched nearly every corner of biology. Examples range across natural history, population genetics a… ▽ More Contemporary bioinformatics has seen in profound new visibility into the composition, structure, and history of the natural world around us. Arguably, the central pillar of bioinformatics is phylogenetics -- the study of hereditary relatedness among organisms. Insight from phylogenetic analysis has touched nearly every corner of biology. Examples range across natural history, population genetics and phylogeography, conservation biology, public health, medicine, in vivo and in silico experimental evolution, application-oriented evolutionary algorithms, and beyond. High-throughput genetic and phenotypic data has realized groundbreaking results, in large part, through conjunction with open-source software used to process and analyze it. Indeed, the preceding decades have ushered in a flourishing ecosystem of bioinformatics software applications and libraries. Over the course of its nearly fifteen-year history, the DendroPy library for phylogenetic computation in Python has established a generalist niche in serving the bioinformatics community. Here, we report on the recent major release of the library, DendroPy version 5. The software release represents a major milestone in transitioning the library to a sustainable long-term development and maintenance trajectory. As such, this work positions DendroPy to continue fulfilling a key supporting role in phyloinformatics infrastructure. △ Less

Submitted 30 May, 2024; v1 submitted 22 May, 2024; originally announced May 2024.

A Guide to Tracking Phylogenies in Parallel and Distributed Agent-based Evolution Models

Authors: Matthew Andres Moreno, Anika Ranjan, Emily Dolson, Luis Zaman

Abstract: Computer simulations are an important tool for studying the mechanics of biological evolution. In particular, in silico work with agent-based models provides an opportunity to collect high-quality records of ancestry relationships among simulated agents. Such phylogenies can provide insight into evolutionary dynamics within these simulations. Existing work generally tracks lineages directly, yield… ▽ More Computer simulations are an important tool for studying the mechanics of biological evolution. In particular, in silico work with agent-based models provides an opportunity to collect high-quality records of ancestry relationships among simulated agents. Such phylogenies can provide insight into evolutionary dynamics within these simulations. Existing work generally tracks lineages directly, yielding an exact phylogenetic record of evolutionary history. However, direct tracking can be inefficient for large-scale, many-processor evolutionary simulations. An alternate approach to extracting phylogenetic information from simulation that scales more favorably is post hoc estimation, akin to how bioinformaticians build phylogenies by assessing genetic similarities between organisms. Recently introduced ``hereditary stratigraphy'' algorithms provide means for efficient inference of phylogenetic history from non-coding annotations on simulated organisms' genomes. A number of options exist in configuring hereditary stratigraphy methodology, but no work has yet tested how they impact reconstruction quality. To address this question, we surveyed reconstruction accuracy under alternate configurations across a matrix of evolutionary conditions varying in selection pressure, spatial structure, and ecological dynamics. We synthesize results from these experiments to suggest a prescriptive system of best practices for work with hereditary stratigraphy, ultimately guiding researchers in choosing appropriate instrumentation for large-scale simulation studies. △ Less

Submitted 16 May, 2024; originally announced May 2024.

Phylotrack: C++ and Python libraries for in silico phylogenetic tracking

Authors: Emily Dolson, Santiago Rodriguez-Papa, Matthew Andres Moreno

Abstract: In silico evolution instantiates the processes of heredity, variation, and differential reproductive success (the three "ingredients" for evolution by natural selection) within digital populations of computational agents. Consequently, these populations undergo evolution, and can be used as virtual model systems for studying evolutionary dynamics. This experimental paradigm -- used across biologic… ▽ More In silico evolution instantiates the processes of heredity, variation, and differential reproductive success (the three "ingredients" for evolution by natural selection) within digital populations of computational agents. Consequently, these populations undergo evolution, and can be used as virtual model systems for studying evolutionary dynamics. This experimental paradigm -- used across biological modeling, artificial life, and evolutionary computation -- complements research done using in vitro and in vivo systems by enabling experiments that would be impossible in the lab or field. One key benefit is complete, exact observability. For example, it is possible to perfectly record all parent-child relationships across simulation history, yielding complete phylogenies (ancestry trees). This information reveals when traits were gained or lost, and also facilitates inference of underlying evolutionary dynamics. The Phylotrack project provides libraries for tracking and analyzing phylogenies in in silico evolution. The project is composed of 1) Phylotracklib: a header-only C++ library, developed under the umbrella of the Empirical project, and 2) Phylotrackpy: a Python wrapper around Phylotracklib, created with Pybind11. Both components supply a public-facing API to attach phylogenetic tracking to digital evolution systems, as well as a stand-alone interface for measuring a variety of popular phylogenetic topology metrics. Underlying design and C++ implementation prioritizes efficiency, allowing for fast generational turnover for agent populations numbering in the tens of thousands. Several explicit features (e.g., phylogeny pruning and abstraction, etc.) are provided for reducing the memory footprint of phylogenetic information. △ Less

Submitted 15 May, 2024; originally announced May 2024.

Ecology, Spatial Structure, and Selection Pressure Induce Strong Signatures in Phylogenetic Structure

Authors: Matthew Andres Moreno, Santiago Rodriguez-Papa, Emily Dolson

Abstract: Evolutionary dynamics are shaped by a variety of fundamental, generic drivers, including spatial structure, ecology, and selection pressure. These drivers impact the trajectory of evolution, and have been hypothesized to influence phylogenetic structure. Here, we set out to assess (1) if spatial structure, ecology, and selection pressure leave detectable signatures in phylogenetic structure, (2) t… ▽ More Evolutionary dynamics are shaped by a variety of fundamental, generic drivers, including spatial structure, ecology, and selection pressure. These drivers impact the trajectory of evolution, and have been hypothesized to influence phylogenetic structure. Here, we set out to assess (1) if spatial structure, ecology, and selection pressure leave detectable signatures in phylogenetic structure, (2) the extent, in particular, to which ecology can be detected and discerned in the presence of spatial structure, and (3) the extent to which these phylogenetic signatures generalize across evolutionary systems. To this end, we analyze phylogenies generated by manipulating spatial structure, ecology, and selection pressure within three computational models of varied scope and sophistication. We find that selection pressure, spatial structure, and ecology have characteristic effects on phylogenetic metrics, although these effects are complex and not always intuitive. Signatures have some consistency across systems when using equivalent taxonomic unit definitions (e.g., individual, genotype, species). Further, we find that sufficiently strong ecology can be detected in the presence of spatial structure. We also find that, while low-resolution phylogenetic reconstructions can bias some phylogenetic metrics, high-resolution reconstructions recapitulate them faithfully. Although our results suggest potential for evolutionary inference of spatial structure, ecology, and selection pressure through phylogenetic analysis, further methods development is needed to distinguish these drivers' phylometric signatures from each other and to appropriately normalize phylogenetic metrics. With such work, phylogenetic analysis could provide a versatile toolkit to study large-scale evolving populations. △ Less

Submitted 12 May, 2024; originally announced May 2024.

Case Study of Novelty, Complexity, and Adaptation in a Multicellular System

Authors: Matthew Andres Moreno, Santiago Rodriguez Papa, Charles Ofria

Abstract: Continuing generation of novelty, complexity, and adaptation are well-established as core aspects of open-ended evolution. However, it has yet to be firmly established to what extent these phenomena are coupled and by what means they interact. In this work, we track the co-evolution of novelty, complexity, and adaptation in a case study from the DISHTINY simulation system, which is designed to stu… ▽ More Continuing generation of novelty, complexity, and adaptation are well-established as core aspects of open-ended evolution. However, it has yet to be firmly established to what extent these phenomena are coupled and by what means they interact. In this work, we track the co-evolution of novelty, complexity, and adaptation in a case study from the DISHTINY simulation system, which is designed to study the evolution of digital multicellularity. In this case study, we describe ten qualitatively distinct multicellular morphologies, several of which exhibit asymmetrical growth and distinct life stages. We contextualize the evolutionary history of these morphologies with measurements of complexity and adaptation. Our case study suggests a loose -- sometimes divergent -- relationship can exist among novelty, complexity, and adaptation. △ Less

Submitted 12 May, 2024; originally announced May 2024.

Trackable Island-model Genetic Algorithms at Wafer Scale

Authors: Matthew Andres Moreno, Connor Yang, Emily Dolson, Luis Zaman

Abstract: Emerging ML/AI hardware accelerators, like the 850,000 processor Cerebras Wafer-Scale Engine (WSE), hold great promise to scale up the capabilities of evolutionary computation. However, challenges remain in maintaining visibility into underlying evolutionary processes while efficiently utilizing these platforms' large processor counts. Here, we focus on the problem of extracting phylogenetic infor… ▽ More Emerging ML/AI hardware accelerators, like the 850,000 processor Cerebras Wafer-Scale Engine (WSE), hold great promise to scale up the capabilities of evolutionary computation. However, challenges remain in maintaining visibility into underlying evolutionary processes while efficiently utilizing these platforms' large processor counts. Here, we focus on the problem of extracting phylogenetic information from digital evolution on the WSE platform. We present a tracking-enabled asynchronous island-based genetic algorithm (GA) framework for WSE hardware. Emulated and on-hardware GA benchmarks with a simple tracking-enabled agent model clock upwards of 1 million generations a minute for population sizes reaching 16 million. This pace enables quadrillions of evaluations a day. We validate phylogenetic reconstructions from these trials and demonstrate their suitability for inference of underlying evolutionary conditions. In particular, we demonstrate extraction of clear phylometric signals that differentiate wafer-scale runs with adaptive dynamics enabled versus disabled. Together, these benchmark and validation trials reflect strong potential for highly scalable evolutionary computation that is both efficient and observable. Kernel code implementing the island-model GA supports drop-in customization to support any fixed-length genome content and fitness criteria, allowing it to be leveraged to advance research interests across the community. △ Less

Submitted 6 May, 2024; originally announced May 2024.

Comments: arXiv admin note: substantial text overlap with arXiv:2404.10861

Trackable Agent-based Evolution Models at Wafer Scale

Authors: Matthew Andres Moreno, Connor Yang, Emily Dolson, Luis Zaman

Abstract: Continuing improvements in computing hardware are poised to transform capabilities for in silico modeling of cross-scale phenomena underlying major open questions in evolutionary biology and artificial life, such as transitions in individuality, eco-evolutionary dynamics, and rare evolutionary events. Emerging ML/AI-oriented hardware accelerators, like the 850,000 processor Cerebras Wafer Scale En… ▽ More Continuing improvements in computing hardware are poised to transform capabilities for in silico modeling of cross-scale phenomena underlying major open questions in evolutionary biology and artificial life, such as transitions in individuality, eco-evolutionary dynamics, and rare evolutionary events. Emerging ML/AI-oriented hardware accelerators, like the 850,000 processor Cerebras Wafer Scale Engine (WSE), hold particular promise. However, practical challenges remain in conducting informative evolution experiments that efficiently utilize these platforms' large processor counts. Here, we focus on the problem of extracting phylogenetic information from agent-based evolution on the WSE platform. This goal drove significant refinements to decentralized in silico phylogenetic tracking, reported here. These improvements yield order-of-magnitude performance improvements. We also present an asynchronous island-based genetic algorithm (GA) framework for WSE hardware. Emulated and on-hardware GA benchmarks with a simple tracking-enabled agent model clock upwards of 1 million generations a minute for population sizes reaching 16 million agents. We validate phylogenetic reconstructions from these trials and demonstrate their suitability for inference of underlying evolutionary conditions. In particular, we demonstrate extraction, from wafer-scale simulation, of clear phylometric signals that differentiate runs with adaptive dynamics enabled versus disabled. Together, these benchmark and validation trials reflect strong potential for highly scalable agent-based evolution simulation that is both efficient and observable. Developed capabilities will bring entirely new classes of previously intractable research questions within reach, benefiting further explorations within the evolutionary biology and artificial life communities across a variety of emerging high-performance computing platforms. △ Less

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

Methods to Estimate Cryptic Sequence Complexity

Authors: Matthew Andres Moreno

Abstract: Complexity is a signature quality of interest in artificial life systems. Alongside other dimensions of assessment, it is common to quantify genome sites that contribute to fitness as a complexity measure. However, limitations to the sensitivity of fitness assays in models with implicit replication criteria involving rich biotic interactions introduce the possibility of difficult-to-detect ``crypt… ▽ More Complexity is a signature quality of interest in artificial life systems. Alongside other dimensions of assessment, it is common to quantify genome sites that contribute to fitness as a complexity measure. However, limitations to the sensitivity of fitness assays in models with implicit replication criteria involving rich biotic interactions introduce the possibility of difficult-to-detect ``cryptic'' adaptive sites, which contribute small fitness effects below the threshold of individual detectability or involve epistatic redundancies. Here, we propose three knockout-based assay procedures designed to quantify cryptic adaptive sites within digital genomes. We report initial tests of these methods on a simple genome model with explicitly configured site fitness effects. In these limited tests, estimation results reflect ground truth cryptic sequence complexities well. Presented work provides initial steps toward development of new methods and software tools that improve the resolution, rigor, and tractability of complexity analyses across alife systems, particularly those requiring expensive in situ assessments of organism fitness. △ Less

Submitted 31 May, 2024; v1 submitted 16 April, 2024; originally announced April 2024.

Optimal Bell inequalities for qubit-qudit systems

Authors: Alexander Bernal, J. Alberto Casas, Jesus M. Moreno

Abstract: We evaluate the maximal Bell violation for a generic qubit-qudit system, obtaining easily computable expressions in arbitrary qudit dimension. This work generalizes the well-known Horodeckis's result for a qubit-qubit system. We also give simple lower and upper bounds on that violation and study the possibility of improving the amount of Bell-violation by embedding the qudit Hilbert space in one o… ▽ More We evaluate the maximal Bell violation for a generic qubit-qudit system, obtaining easily computable expressions in arbitrary qudit dimension. This work generalizes the well-known Horodeckis's result for a qubit-qubit system. We also give simple lower and upper bounds on that violation and study the possibility of improving the amount of Bell-violation by embedding the qudit Hilbert space in one of larger dimension. The results are illustrated with a family of density matrices in the context of a qubit-qutrit system. △ Less

Submitted 19 April, 2024; v1 submitted 2 April, 2024; originally announced April 2024.

Comments: 11 pages, 1 figure, minor changes, references added

Algorithms for Efficient, Compact Online Data Stream Curation

Authors: Matthew Andres Moreno, Santiago Rodriguez Papa, Emily Dolson

Abstract: Data stream algorithms tackle operations on high-volume sequences of read-once data items. Data stream scenarios include inherently real-time systems like sensor networks and financial markets. They also arise in purely-computational scenarios like ordered traversal of big data or long-running iterative simulations. In this work, we develop methods to maintain running archives of stream data that… ▽ More Data stream algorithms tackle operations on high-volume sequences of read-once data items. Data stream scenarios include inherently real-time systems like sensor networks and financial markets. They also arise in purely-computational scenarios like ordered traversal of big data or long-running iterative simulations. In this work, we develop methods to maintain running archives of stream data that are temporally representative, a task we call "stream curation." Our approach contributes to rich existing literature on data stream binning, which we extend by providing stateless (i.e., non-iterative) curation schemes that enable key optimizations to trim archive storage overhead and streamline processing of incoming observations. We also broaden support to cover new trade-offs between curated archive size and temporal coverage. We present a suite of five stream curation algorithms that span $\mathcal{O}(n)$, $\mathcal{O}(\log n)$, and $\mathcal{O}(1)$ orders of growth for retained data items. Within each order of growth, algorithms are provided to maintain even coverage across history or bias coverage toward more recent time points. More broadly, memory-efficient stream curation can boost the data stream mining capabilities of low-grade hardware in roles such as sensor nodes and data logging devices. △ Less

Submitted 29 February, 2024; originally announced March 2024.

Analysis of Phylogeny Tracking Algorithms for Serial and Multiprocess Applications

Authors: Matthew Andres Moreno, Santiago Rodriguez Papa, Emily Dolson

Abstract: Since the advent of modern bioinformatics, the challenging, multifaceted problem of reconstructing phylogenetic history from biological sequences has hatched perennial statistical and algorithmic innovation. Studies of the phylogenetic dynamics of digital, agent-based evolutionary models motivate a peculiar converse question: how to best engineer tracking to facilitate fast, accurate, and memory-e… ▽ More Since the advent of modern bioinformatics, the challenging, multifaceted problem of reconstructing phylogenetic history from biological sequences has hatched perennial statistical and algorithmic innovation. Studies of the phylogenetic dynamics of digital, agent-based evolutionary models motivate a peculiar converse question: how to best engineer tracking to facilitate fast, accurate, and memory-efficient lineage reconstructions? Here, we formally describe procedures for phylogenetic analysis in both serial and distributed computing scenarios. With respect to the former, we demonstrate reference-counting-based pruning of extinct lineages. For the latter, we introduce a trie-based phylogenetic reconstruction approach for "hereditary stratigraphy" genome annotations. This process allows phylogenetic relationships between genomes to be inferred by comparing their similarities, akin to reconstruction of natural history from biological DNA sequences. Phylogenetic analysis capabilities significantly advance distributed agent-based simulations as a tool for evolutionary research, and also benefit application-oriented evolutionary computing. Such tracing could extend also to other digital artifacts that proliferate through replication, like digital media and computer viruses. △ Less

Submitted 4 March, 2024; v1 submitted 29 February, 2024; originally announced March 2024.

Runtime phylogenetic analysis enables extreme subsampling for test-based problems

Authors: Alexander Lale**i, Marcos Sanson, Jack Garbus, Matthew Andres Moreno, Emily Dolson

Abstract: A phylogeny describes the evolutionary history of an evolving population. Evolutionary search algorithms can perfectly track the ancestry of candidate solutions, illuminating a population's trajectory through the search space. However, phylogenetic analyses are typically limited to post-hoc studies of search performance. We introduce phylogeny-informed subsampling, a new class of subsampling metho… ▽ More A phylogeny describes the evolutionary history of an evolving population. Evolutionary search algorithms can perfectly track the ancestry of candidate solutions, illuminating a population's trajectory through the search space. However, phylogenetic analyses are typically limited to post-hoc studies of search performance. We introduce phylogeny-informed subsampling, a new class of subsampling methods that exploit runtime phylogenetic analyses for solving test-based problems. Specifically, we assess two phylogeny-informed subsampling methods -- individualized random subsampling and ancestor-based subsampling -- on three diagnostic problems and ten genetic programming (GP) problems from program synthesis benchmark suites. Overall, we found that phylogeny-informed subsampling methods enable problem-solving success at extreme subsampling levels where other subsampling methods fail. For example, phylogeny-informed subsampling methods more reliably solved program synthesis problems when evaluating just one training case per-individual, per-generation. However, at moderate subsampling levels, phylogeny-informed subsampling generally performed no better than random subsampling on GP problems. Our diagnostic experiments show that phylogeny-informed subsampling improves diversity maintenance relative to random subsampling, but its effects on a selection scheme's capacity to rapidly exploit fitness gradients varied by selection scheme. Continued refinements of phylogeny-informed subsampling techniques offer a promising new direction for scaling up evolutionary systems to handle problems with many expensive-to-evaluate fitness criteria. △ Less

Submitted 2 February, 2024; originally announced February 2024.

Comments: Conference submission

Streamlining Advanced Taxi Assignment Strategies based on Legal Analysis

Authors: Holger Billhardt, José-Antonio Santos, Alberto Fernández, Mar Moreno, Sascha Ossowski, José A. Rodríguez

Abstract: In recent years many novel applications have appeared that promote the provision of services and activities in a collaborative manner. The key idea behind such systems is to take advantage of idle or underused capacities of existing resources, in order to provide improved services that assist people in their daily tasks, with additional functionality, enhanced efficiency, and/or reduced cost. Part… ▽ More In recent years many novel applications have appeared that promote the provision of services and activities in a collaborative manner. The key idea behind such systems is to take advantage of idle or underused capacities of existing resources, in order to provide improved services that assist people in their daily tasks, with additional functionality, enhanced efficiency, and/or reduced cost. Particularly in the domain of urban transportation, many researchers have put forward novel ideas, which are then implemented and evaluated through prototypes that usually draw upon AI methods and tools. However, such proposals also bring up multiple non-technical issues that need to be identified and addressed adequately if such systems are ever meant to be applied to the real world. While, in practice, legal and ethical aspects related to such AI-based systems are seldomly considered in the beginning of the research and development process, we argue that they not only restrict design decisions, but can also help guiding them. In this manuscript, we set out from a prototype of a taxi coordination service that mediates between individual (and autonomous) taxis and potential customers. After representing key aspects of its operation in a semi-structured manner, we analyse its viability from the viewpoint of current legal restrictions and constraints, so as to identify additional non-functional requirements as well as options to address them. Then, we go one step ahead, and actually modify the existing prototype to incorporate the previously identified recommendations. Performing experiments with this improved system helps us identify the most adequate option among several legally admissible alternatives. △ Less

Submitted 22 January, 2024; originally announced January 2024.

ACM Class: I.2.1

Journal ref: Neurocomputing, Volume 438 (2022)

On the geometry and topology of Da Vinci domes

Authors: Nicolé Geyssel, María José Moreno, Andrés Navas

Abstract: We study the famous Leonardo Da Vinci's domes, as well as the variations invented by Rinus Roelofs, from a mathematical viewpoint. In particular, we consider the problem of closing the dome in order to produce a spherical structure. We explain why this problem is related to subtle geometric and topological considerations. This is in contrast with the 1-dimensional analog structure, namely Da Vinci… ▽ More We study the famous Leonardo Da Vinci's domes, as well as the variations invented by Rinus Roelofs, from a mathematical viewpoint. In particular, we consider the problem of closing the dome in order to produce a spherical structure. We explain why this problem is related to subtle geometric and topological considerations. This is in contrast with the 1-dimensional analog structure, namely Da Vinci's bridge, that can be easily closed up to make a circular shape. △ Less

Submitted 30 December, 2023; originally announced January 2024.

Comments: 11 pages, 15 figures. A Spanish version fo this work will be published in Rev. de Educación Matemática de la UMA

Efficient Model-Based Concave Utility Reinforcement Learning through Greedy Mirror Descent

Authors: Bianca Marin Moreno, Margaux Brégère, Pierre Gaillard, Nadia Oudjane

Abstract: Many machine learning tasks can be solved by minimizing a convex function of an occupancy measure over the policies that generate them. These include reinforcement learning, imitation learning, among others. This more general paradigm is called the Concave Utility Reinforcement Learning problem (CURL). Since CURL invalidates classical Bellman equations, it requires new algorithms. We introduce MD-… ▽ More Many machine learning tasks can be solved by minimizing a convex function of an occupancy measure over the policies that generate them. These include reinforcement learning, imitation learning, among others. This more general paradigm is called the Concave Utility Reinforcement Learning problem (CURL). Since CURL invalidates classical Bellman equations, it requires new algorithms. We introduce MD-CURL, a new algorithm for CURL in a finite horizon Markov decision process. MD-CURL is inspired by mirror descent and uses a non-standard regularization to achieve convergence guarantees and a simple closed-form solution, eliminating the need for computationally expensive projection steps typically found in mirror descent approaches. We then extend CURL to an online learning scenario and present Greedy MD-CURL, a new method adapting MD-CURL to an online, episode-based setting with partially unknown dynamics. Like MD-CURL, the online version Greedy MD-CURL benefits from low computational complexity, while guaranteeing sub-linear or even logarithmic regret, depending on the level of information available on the underlying dynamics. △ Less

Submitted 30 November, 2023; originally announced November 2023.

MolecularWebXR: Multiuser discussions about chemistry and biology in immersive and inclusive VR

Authors: Fabio J. Cortes Rodriguez, Gianfranco Frattini, Fernando Teixeira Pinto Meireles, Danae A. Terrien, Sergio Cruz-Leon, Matteo Dal Peraro, Eva Schier, Diego M. Moreno, Luciano A. Abriata

Abstract: MolecularWebXR is our new website for education, science communication and scientific peer discussion in chemistry and biology built on WebXR. It democratizes multi-user, inclusive virtual reality (VR) experiences that are deeply immersive for users wearing high-end headsets, yet allow participation by users with consumer devices such as smartphones, possibly inserted into cardboard goggles for im… ▽ More MolecularWebXR is our new website for education, science communication and scientific peer discussion in chemistry and biology built on WebXR. It democratizes multi-user, inclusive virtual reality (VR) experiences that are deeply immersive for users wearing high-end headsets, yet allow participation by users with consumer devices such as smartphones, possibly inserted into cardboard goggles for immersivity, or even computers or tablets. With no installs as it is all web-served, MolecularWebXR enables multiple users to simultaneously explore, communicate and discuss chemistry and biology concepts in immersive 3D environments, manipulating objects with their bare hands, either present in the same real space or scattered throughout the globe thanks to built-in audio features. A series of preset rooms cover educational material on chemistry and structural biology, and an empty room can be populated with material prepared ad hoc using moleculARweb's VMD-based PDB2AR tool. We verified ease of use and versatility by users aged 12-80 in entirely virtual sessions or mixed real-virtual sessions at science outreach events, student instruction, scientific collaborations, and conference lectures. MolecularWebXR is available for free use without registration at https://molecularwebxr.org, and a blog post version of this preprint with embedded videos is available at https://go.epfl.ch/molecularwebxr-blog-post. △ Less

Submitted 1 November, 2023; originally announced November 2023.

Comments: 13 pages, 3 figures

MSC Class: 68U05 (Primary) ACM Class: I.3.7

Note on power hypergraphs with equal domination and matching numbers

Authors: María José Chávez de Diego, Pablo Montero Moreno, María Trinidad Villar-Liñán

Abstract: We present some examples that refute two recent results in the literature concerning the equality of the domination and matching numbers for power and generalized power hypergraphs. In this note we pinpoint the flaws in the proofs and suggest how they may be mended. We present some examples that refute two recent results in the literature concerning the equality of the domination and matching numbers for power and generalized power hypergraphs. In this note we pinpoint the flaws in the proofs and suggest how they may be mended. △ Less

Submitted 27 October, 2023; originally announced October 2023.

Comments: 7 pages, 1 figure, XIII Encuentro Andaluz de Matemática Discreta, (Cádiz) Spain, july, 2023

MSC Class: 05C65; 05C69; 05C70

Existence and stability of steady states solutions of Flat Vlasov-Poisson system with a central mass density

Authors: Matias Moreno

Abstract: We study a Newtonian model which allows us to describe some extremely flat objects in galactic dynamics. This model is described by a partial differential equation system called Vlasov-Poisson, whose solutions describe the temporal evolution of a collisionless particle system in the phase space, subject to a self interacting gravitational potential. We treat the Flat VlasovPoisson system with an e… ▽ More We study a Newtonian model which allows us to describe some extremely flat objects in galactic dynamics. This model is described by a partial differential equation system called Vlasov-Poisson, whose solutions describe the temporal evolution of a collisionless particle system in the phase space, subject to a self interacting gravitational potential. We treat the Flat VlasovPoisson system with an external gravitational potential induced by a fixed mass density. The aim of this article is the study of the existence, regularity, and stability of steady states solutions of the Flat Vlasov-Poisson system in this case. We solved a variational problem to find minimizers for the Casimir-Energy functional in a suitable set of functions. The minimization problem is solved through a reduction of the original optimization problem with a scheme used in [FR06], but instead of a concentration-compactness argument, we use a symmetrization argument to construct a spherically symmetric solution for the reduced problem. It was proven that this minimizer induces a solution for the original minimization problem. The regularity of the gravitational potential was also obtained, implying that the solutions are steady states of the Flat Vlasov-Poisson system. The minimization problem also works as a key to give us a similar non-linear stability result. △ Less

Submitted 13 October, 2023; originally announced October 2023.

Comments: 21 pages

MSC Class: 35Q83 (Primary) 35Q85 (Secondary)

Learning From Peers: A Survey of Perception and Utilization of Online Peer Support Among Informal Dementia Caregivers

Authors: Zhijun Yin, Lauren Stratton, Qingyuan Song, Congning Ni, Lijun Song, Patricia A. Commiskey, Qingxia Chen, Monica Moreno, Sam Fazio, Bradley A. Malin

Abstract: Informal dementia caregivers are those who care for a person living with dementia (PLWD) without receiving payment (e.g., family members, friends, or other unpaid caregivers). These informal caregivers are subject to substantial mental, physical, and financial burdens. Online communities enable these caregivers to exchange caregiving strategies and communicate experiences with other caregivers who… ▽ More Informal dementia caregivers are those who care for a person living with dementia (PLWD) without receiving payment (e.g., family members, friends, or other unpaid caregivers). These informal caregivers are subject to substantial mental, physical, and financial burdens. Online communities enable these caregivers to exchange caregiving strategies and communicate experiences with other caregivers whom they generally do not know in real life. Research has demonstrated the benefits of peer support in online communities, but they are limited in focusing merely on caregivers who are already online users. In this paper, we designed and administered a survey to investigate the perception and utilization of online peer support from 140 informal dementia caregivers (with 100 online-community caregivers). Our findings show that the behavior to access any online community is only significantly associated with their belief in the value of online peer support (p = 0.006). Moreover, 33 (83%) of the 40 non-online-community caregivers had a belief score above 24, a score assigned when a neutral option is selected for each belief question. The reasons most articulated for not accessing any online community were no time to do so (14; 10%), and insufficient online information searching skills (9; 6%). Our findings suggest that online peer support is valuable, but practical strategies are needed to assist informal dementia caregivers who have limited time or searching skills. △ Less

Submitted 31 August, 2023; originally announced September 2023.

Shelah's Main Gap and the generalized Borel-reducibility

Authors: Miguel Moreno

Abstract: We answer one of the main questions in generalized descriptive set theory, the Friedman-Hyttinen-Kulikov conjecture on the Borel reducibility of the Main Gap. We show a correlation between Shelah's Main Gap and generalized Borel reducibility notions of complexity. For any $κ$ satisfying $κ=λ^+=2^λ$ and $2^{\mathfrak{c}}\leqλ=λ^{ω_1}$, we show that if $T$ is a classifiable theory and $T'$ is a non-… ▽ More We answer one of the main questions in generalized descriptive set theory, the Friedman-Hyttinen-Kulikov conjecture on the Borel reducibility of the Main Gap. We show a correlation between Shelah's Main Gap and generalized Borel reducibility notions of complexity. For any $κ$ satisfying $κ=λ^+=2^λ$ and $2^{\mathfrak{c}}\leqλ=λ^{ω_1}$, we show that if $T$ is a classifiable theory and $T'$ is a non-classifiable theory, then the isomorphism of models of $T'$ is strictly above the isomorphism of models of $T$ with respect to Borel-reducibility. We also show that the following can be forced: for any countable first-order theory in a countable vocabulary, $T$, the isomorphism of models of $T$ is either analytic co-analytic, or analytically-complete. △ Less

Submitted 5 December, 2023; v1 submitted 14 August, 2023; originally announced August 2023.

A Polystore Architecture Using Knowledge Graphs to Support Queries on Heterogeneous Data Stores

Authors: Leonardo Guerreiro Azevedo, Renan Francisco Santos Souza, Elton F. de S. Soares, Raphael M. Thiago, Julio Cesar Cardoso Tesolin, Ann C. Oliveira, Marcio Ferreira Moreno

Abstract: Modern applications commonly need to manage dataset types composed of heterogeneous data and schemas, making it difficult to access them in an integrated way. A single data store to manage heterogeneous data using a common data model is not effective in such a scenario, which results in the domain data being fragmented in the data stores that best fit their storage and access requirements (e.g., N… ▽ More Modern applications commonly need to manage dataset types composed of heterogeneous data and schemas, making it difficult to access them in an integrated way. A single data store to manage heterogeneous data using a common data model is not effective in such a scenario, which results in the domain data being fragmented in the data stores that best fit their storage and access requirements (e.g., NoSQL, relational DBMS, or HDFS). Besides, organization workflows independently consume these fragments, and usually, there is no explicit link among the fragments that would be useful to support an integrated view. The research challenge tackled by this work is to provide the means to query heterogeneous data residing on distinct data repositories that are not explicitly connected. We propose a federated database architecture by providing a single abstract global conceptual schema to users, allowing them to write their queries, encapsulating data heterogeneity, location, and linkage by employing: (i) meta-models to represent the global conceptual schema, the remote data local conceptual schemas, and map**s among them; (ii) provenance to create explicit links among the consumed and generated data residing in separate datasets. We evaluated the architecture through its implementation as a polystore service, following a microservice architecture approach, in a scenario that simulates a real case in Oil \& Gas industry. Also, we compared the proposed architecture to a relational multidatabase system based on foreign data wrappers, measuring the user's cognitive load to write a query (or query complexity) and the query processing time. The results demonstrated that the proposed architecture allows query writing two times less complex than the one written for the relational multidatabase system, adding an excess of no more than 30% in query processing time. △ Less

Submitted 15 March, 2024; v1 submitted 7 August, 2023; originally announced August 2023.

Comments: Reference the paper as L. G. Azevedo, R. Souza, E. F. de S. Soares, R. M. Thiago, J. C. D. Tesolin, A. C. Oliveira, M. F. Moreno, A Polystore Architecture Using Knowledge Graphs to Support Queries on Heterogeneous Data Stores. Proceedings of 20th Brazilian Symposium in Information Systems, 2024 (to be published)

A Knowledge-Oriented Approach to Enhance Integration and Communicability in the Polkadot Ecosystem

Authors: Marcio Ferreira Moreno, Rafael Rossi de Mello Brandão

Abstract: The Polkadot ecosystem is a disruptive and highly complex multi-chain architecture that poses challenges in terms of data analysis and communicability. Currently, there is a lack of standardized and holistic approaches to retrieve and analyze data across parachains and applications, making it difficult for general users and developers to access ecosystem data consistently. This paper proposes a co… ▽ More The Polkadot ecosystem is a disruptive and highly complex multi-chain architecture that poses challenges in terms of data analysis and communicability. Currently, there is a lack of standardized and holistic approaches to retrieve and analyze data across parachains and applications, making it difficult for general users and developers to access ecosystem data consistently. This paper proposes a conceptual framework that includes a domain ontology called POnto (a Polkadot Ontology) to address these challenges. POnto provides a structured representation of the ecosystem's concepts and relationships, enabling a formal understanding of the platform. The proposed knowledge-oriented approach enhances integration and communicability, enabling a wider range of users to participate in the ecosystem and facilitating the development of AI-based applications. The paper presents a case study methodology to validate the proposed framework, which includes expert feedback and insights from the Polkadot community. The POnto ontology and the roadmap for a query engine based on a Controlled Natural Language using the ontology, provide valuable contributions to the growth and adoption of the Polkadot ecosystem in heterogeneous socio-technical environments. △ Less

Submitted 1 August, 2023; originally announced August 2023.

Understanding the local structure, magnetism and optical properties in layered compounds with d9 ions: Insight into silver fluorides and K2CuF4

Authors: Inés Sánchez-Movellán, Guillermo Santamaría-Fernández, Pablo García-Fernández, José Antonio Aramburu, Miguel Moreno

Abstract: Using first-principles DFT calculations, we analyze the origin of the different crystal structures, optical and magnetic properties of two basic families of layered fluoride materials with formula A2MF4 (M = Ag, Cu, Ni, Mn; A = K, Cs, Rb). On one hand, Cs2AgF4 and K2CuF4 compounds (both with d9 metal cations) crystallize in an orthorhombic structure with Cmca space group and MA - F - MB bridge ang… ▽ More Using first-principles DFT calculations, we analyze the origin of the different crystal structures, optical and magnetic properties of two basic families of layered fluoride materials with formula A2MF4 (M = Ag, Cu, Ni, Mn; A = K, Cs, Rb). On one hand, Cs2AgF4 and K2CuF4 compounds (both with d9 metal cations) crystallize in an orthorhombic structure with Cmca space group and MA - F - MB bridge angle of 180, and they exhibit a weak ferromagnetism (FM) in the layer plane. On the other hand, K2NiF4 or K2MnF4 compounds (with d8 and d5 metal cations, respectively) have a tetragonal I4/mmm space group with 180 bridge angle and exhibit antiferromagnetism (AFM) in the layer plane. Firstly, we show that, contrary to what is claimed in the literature, the Cmca structure of Cs2AgF4 and K2CuF4 is not related to a cooperative Jahn-Teller effect among elongated MF64- units. Instead, first-principles calculations carried out in the I4/mmm parent phase of these two compounds show that MF64- units are axially compressed because the electrostatic potential from the rest of lattice ions force the hole to lie in the 3z2 - r2 molecular orbital (z being perpendicular to the layer plane). This fact increases the metal-ligand distance in the layer plane and makes that covalency in the bridging ligand has a residual character (clearly smaller than in K2NiF4 or KNiF3) stabilizing for only a few meV (7.9 meV for Cs2AgF4) an AFM order. However, this I4/mmm parent phase of Cs2AgF4 is unstable thus evolving towards the experimental Cmca structure with an energy gain of 140 meV, FM ordering and orthorhombic MF64- units. △ Less

Submitted 1 August, 2023; originally announced August 2023.

Comments: 33 pages, special issue in Journal of Physical Chemistry C

Fractional derivative description of the Bloch space

Authors: Álvaro Miguel Moreno, José Ángel Peláez, Elena de la Rosa

Abstract: We establish new characterizations of the Bloch space $\mathcal{B}$ which include descriptions in terms of classical fractional derivatives. Being precise, for an analytic function $f(z)=\sum_{n=0}^\infty \widehat{f}(n) z^n$ in the unit disc $\mathbb{D}$, we define the fractional derivative $ D^μ(f)(z)=\sum\limits_{n=0}^{\infty} \frac{\widehat{f}(n)}{μ_{2n+1}} z^n $ induced by a radial… ▽ More We establish new characterizations of the Bloch space $\mathcal{B}$ which include descriptions in terms of classical fractional derivatives. Being precise, for an analytic function $f(z)=\sum_{n=0}^\infty \widehat{f}(n) z^n$ in the unit disc $\mathbb{D}$, we define the fractional derivative $ D^μ(f)(z)=\sum\limits_{n=0}^{\infty} \frac{\widehat{f}(n)}{μ_{2n+1}} z^n $ induced by a radial weight $μ$, where $μ_{2n+1}=\int_0^1 r^{2n+1}μ(r)\,dr$ are the odd moments of $μ$. Then, we consider the space $ \mathcal{B}^μ$ of analytic functions $f$ in $\mathbb{D}$ such that $\|f\|_{\mathcal{B}^μ}=\sup_{z\in \mathbb{D}} \widehatμ(z)|D^μ(f)(z)|<\infty$, where $\widehatμ(z)=\int_{|z|}^1 μ(s)\,ds$. We prove that $\mathcal{B}^μ$ is continously embedded in $\mathcal{B}$ for any radial weight $μ$, and $\mathcal{B}=\mathcal{B}^μ$ if and only if $μ\in \mathcal{D}=\widehat{\mathcal{D}}\cap\check{\mathcal{D}}$. A radial weight $μ\in \widehat{\mathcal{D}}$ if $\sup_{0\le r <1}\frac{\widehatμ(r)}{\widehatμ\left(\frac{1+r}{2}\right)}<\infty$ and a radial weight $μ\in \check{\mathcal{D}}$ if there exist $K=K(μ)>1$ such that $\inf_{0\le r<1}\frac{\widehatμ(r)}{ \widehatμ\left(1-\frac{1-r}{K}\right)}>1.$ △ Less

Submitted 31 July, 2023; originally announced July 2023.

MSC Class: 26A33; 30H30

Solving differential equations with Deep Learning: a beginner's guide

Authors: Luis Medrano Navarro, Luis Martín Moreno, Sergio G Rodrigo

Abstract: The research in Artificial Intelligence methods with potential applications in science has become an essential task in the scientific community last years. Physics Informed Neural Networks (PINNs) is one of this methods and represent a contemporary technique that is based on the fundamentals of neural networks to solve differential equations. These kind of networks have the potential to improve or… ▽ More The research in Artificial Intelligence methods with potential applications in science has become an essential task in the scientific community last years. Physics Informed Neural Networks (PINNs) is one of this methods and represent a contemporary technique that is based on the fundamentals of neural networks to solve differential equations. These kind of networks have the potential to improve or complement classical numerical methods in computational physics, making them an exciting area of study. In this paper, we introduce PINNs at an elementary level, mainly oriented to physics education so making them suitable for educational purposes at both undergraduate and graduate levels. PINNs can be used to create virtual simulations and educational tools that aid in understating complex physical concepts and processes where differential equations are involved. By combining the power of neural networks with physics principles, PINNs can provide an interactive and engaging learning experience that can improve students' understanding and retention of physics concepts in higher education. △ Less

Submitted 20 July, 2023; originally announced July 2023.

Entanglement and entropy in multipartite systems: a useful approach

Authors: A. Bernal, J. A. Casas, J. M. Moreno

Abstract: Quantum entanglement and quantum entropy are crucial concepts in the study of multipartite quantum systems. In this work we show how the notion of concurrence vector, re-expressed in a particularly useful form, provides new insights and computational tools for the analysis of both. In particular, using this approach for a general multipartite pure state, one can easily prove known relations in an… ▽ More Quantum entanglement and quantum entropy are crucial concepts in the study of multipartite quantum systems. In this work we show how the notion of concurrence vector, re-expressed in a particularly useful form, provides new insights and computational tools for the analysis of both. In particular, using this approach for a general multipartite pure state, one can easily prove known relations in an easy way and to build up new relations between the concurrences associated with the different bipartitions. The approach is also useful to derive sufficient conditions for genuine entanglement in generic multipartite systems that are computable in polynomial time. From an entropy-of-entanglement perspective, the approach is powerful to prove properties of the Tsallis-$2$ entropy, such as the subadditivity, and to derive new ones, e.g. a modified version of the strong subadditivity which is always fulfilled; thanks to the purification theorem these results hold for any multipartite state, whether pure or mixed. △ Less

Submitted 15 February, 2024; v1 submitted 11 July, 2023; originally announced July 2023.

Comments: Version matching the publication in Quantum Information Processing

Journal ref: Quant. Inf. Proc. 23 (2024) 2, 56

Polar coherent states in bilayer graphene under a constant uniform magnetic field

Authors: D. I. Martínez Moreno, J. Negro, L. M. Nieto

Abstract: Symmetries associated with the Hamiltonian describing bilayer graphene subjected to a constant magnetic field perpendicular to the plane of the bilayer are calculated using polar coordinates. These symmetries are then applied to explain some fundamental properties, such as the spectrum and the integer pseudo-spin character of the eigenfunctions. The probability and current densities of the bilayer… ▽ More Symmetries associated with the Hamiltonian describing bilayer graphene subjected to a constant magnetic field perpendicular to the plane of the bilayer are calculated using polar coordinates. These symmetries are then applied to explain some fundamental properties, such as the spectrum and the integer pseudo-spin character of the eigenfunctions. The probability and current densities of the bilayer Hamiltonian have also been calculated in polar coordinates and shown to be gauge invariant and scalar under generalized rotations. We also define appropriate coherent states of this system as eigenfunctions, with complex eigenvalues, of a suitable chose annihilation operator. In this framework, symmetries are also useful to show the meaning of the complex eigenvalue in terms of expected values. The local current density of these coherent states is shown to exhibit a kind of radial component interference effect, something that has gone unnoticed until now. Some of these results that have just been exposed are graphically illustrated throughout the manuscript. △ Less

Submitted 30 June, 2023; originally announced July 2023.

Your Code is 0000: An Analysis of the Disposable Phone Numbers Ecosystem

Authors: José Miguel Moreno, Srdjan Matic, Narseo Vallina-Rodriguez, Juan Tapiador

Abstract: Short Message Service (SMS) is a popular channel for online service providers to verify accounts and authenticate users registered to a particular service. Specialized applications, called Public SMS Gateways (PSGs), offer free Disposable Phone Numbers (DPNs) that can be used to receive SMS messages. DPNs allow users to protect their privacy when creating online accounts. However, they can also be… ▽ More Short Message Service (SMS) is a popular channel for online service providers to verify accounts and authenticate users registered to a particular service. Specialized applications, called Public SMS Gateways (PSGs), offer free Disposable Phone Numbers (DPNs) that can be used to receive SMS messages. DPNs allow users to protect their privacy when creating online accounts. However, they can also be abused for fraudulent activities and to bypass security mechanisms like Two-Factor Authentication (2FA). In this paper, we perform a large-scale and longitudinal study of the DPN ecosystem by monitoring 17,141 unique DPNs in 29 PSGs over the course of 12 months. Using a dataset of over 70M messages, we provide an overview of the ecosystem and study the different services that offer DPNs and their relationships. Next, we build a framework that (i) identifies and classifies the purpose of an SMS; and (ii) accurately attributes every message to more than 200 popular Internet services that require SMS for creating registered accounts. Our results indicate that the DPN ecosystem is globally used to support fraudulent account creation and access, and that this issue is ubiquitous and affects all major Internet platforms and specialized online services. △ Less

Submitted 26 June, 2023; originally announced June 2023.

Phylogeny-informed fitness estimation

Authors: Alexander Lale**i, Matthew Andres Moreno, Jose Guadalupe Hernandez, Emily Dolson

Abstract: Phylogenies (ancestry trees) depict the evolutionary history of an evolving population. In evolutionary computing, a phylogeny can reveal how an evolutionary algorithm steers a population through a search space, illuminating the step-by-step process by which any solutions evolve. Thus far, phylogenetic analyses have primarily been applied as post-hoc analyses used to deepen our understanding of ex… ▽ More Phylogenies (ancestry trees) depict the evolutionary history of an evolving population. In evolutionary computing, a phylogeny can reveal how an evolutionary algorithm steers a population through a search space, illuminating the step-by-step process by which any solutions evolve. Thus far, phylogenetic analyses have primarily been applied as post-hoc analyses used to deepen our understanding of existing evolutionary algorithms. Here, we investigate whether phylogenetic analyses can be used at runtime to augment parent selection procedures during an evolutionary search. Specifically, we propose phylogeny-informed fitness estimation, which exploits a population's phylogeny to estimate fitness evaluations. We evaluate phylogeny-informed fitness estimation in the context of the down-sampled lexicase and cohort lexicase selection algorithms on two diagnostic analyses and four genetic programming (GP) problems. Our results indicate that phylogeny-informed fitness estimation can mitigate the drawbacks of down-sampled lexicase, improving diversity maintenance and search space exploration. However, the extent to which phylogeny-informed fitness estimation improves problem-solving success for GP varies by problem, subsampling method, and subsampling level. This work serves as an initial step toward improving evolutionary algorithms by exploiting runtime phylogenetic analysis. △ Less

Submitted 6 June, 2023; originally announced June 2023.

Comments: Submitted as contribution to GPTP XX

Chrowned by an Extension: Abusing the Chrome DevTools Protocol through the Debugger API

Authors: José Miguel Moreno, Narseo Vallina-Rodriguez, Juan Tapiador

Abstract: The Chromium open-source project has become a fundamental piece of the Web as we know it today, with multiple vendors offering browsers based on its codebase. One of its most popular features is the possibility of altering or enhancing the browser functionality through third-party programs known as browser extensions. Extensions have access to a wide range of capabilities through the use of APIs e… ▽ More The Chromium open-source project has become a fundamental piece of the Web as we know it today, with multiple vendors offering browsers based on its codebase. One of its most popular features is the possibility of altering or enhancing the browser functionality through third-party programs known as browser extensions. Extensions have access to a wide range of capabilities through the use of APIs exposed by Chromium. The Debugger API -- arguably the most powerful of such APIs -- allows extensions to use the Chrome DevTools Protocol (CDP), a capability-rich tool for debugging and instrumenting the browser. In this paper, we describe several vulnerabilities present in the Debugger API and in the granting of capabilities to extensions that can be used by an attacker to take control of the browser, escalate privileges, and break context isolation. We demonstrate their impact by introducing six attacks that allow an attacker to steal user information, monitor network traffic, modify site permissions (\eg access to camera or microphone), bypass security interstitials without user intervention, and change the browser settings. Our attacks work in all major Chromium-based browsers as they are rooted at the core of the Chromium project. We reported our findings to the Chromium Development Team, who already fixed some of them and are currently working on fixing the remaining ones. We conclude by discussing how questionable design decisions, lack of public specifications, and an overpowered Debugger API have contributed to enabling these attacks, and propose mitigations. △ Less

Submitted 31 May, 2023; v1 submitted 19 May, 2023; originally announced May 2023.

Spectrum of the linearized Vlasov--Poisson equation around steady states from galactic dynamics

Authors: Matias Moreno, Paola Rioseco, Hanne Van Den Bosch

Abstract: We study the linearized Vlasov-Poisson equation in the gravitational case around steady states that are decreasing and continuous functions of the energy. We identify the absolutely continuous spectrum and give criteria for the existence of oscillating modes and estimate their number. Our method allows us to take into account an attractive external potential. We study the linearized Vlasov-Poisson equation in the gravitational case around steady states that are decreasing and continuous functions of the energy. We identify the absolutely continuous spectrum and give criteria for the existence of oscillating modes and estimate their number. Our method allows us to take into account an attractive external potential. △ Less

Submitted 11 April, 2024; v1 submitted 9 May, 2023; originally announced May 2023.

Comments: 23 pages, 3 figures. v4: Introduction improved, references added, typos corrected. The main results are unchanged

MSC Class: 35Q83; 35Q85; 35P15; 70K20

Reimagining Demand-Side Management with Mean Field Learning

Authors: Bianca Marin Moreno, Margaux Brégère, Pierre Gaillard, Nadia Oudjane

Abstract: Integrating renewable energy into the power grid while balancing supply and demand is a complex issue, given its intermittent nature. Demand side management (DSM) offers solutions to this challenge. We propose a new method for DSM, in particular the problem of controlling a large population of electrical devices to follow a desired consumption signal. We model it as a finite horizon Markovian mean… ▽ More Integrating renewable energy into the power grid while balancing supply and demand is a complex issue, given its intermittent nature. Demand side management (DSM) offers solutions to this challenge. We propose a new method for DSM, in particular the problem of controlling a large population of electrical devices to follow a desired consumption signal. We model it as a finite horizon Markovian mean field control problem. We develop a new algorithm, MD-MFC, which provides theoretical guarantees for convex and Lipschitz objective functions. What distinguishes MD-MFC from the existing load control literature is its effectiveness in directly solving the target tracking problem without resorting to regularization techniques on the main problem. A non-standard Bregman divergence on a mirror descent scheme allows dynamic programming to be used to obtain simple closed-form solutions. In addition, we show that general mean-field game algorithms can be applied to this problem, which expands the possibilities for addressing load control problems. We illustrate our claims with experiments on a realistic data set. △ Less

Submitted 25 May, 2023; v1 submitted 16 February, 2023; originally announced February 2023.

Reviewing War: Unconventional User Reviews as a Side Channel to Circumvent Information Controls

Authors: José Miguel Moreno, Sergio Pastrana, Jens Helge Reelfs, Pelayo Vallina, Andriy Panchenko, Georgios Smaragdakis, Oliver Hohlfeld, Narseo Vallina-Rodriguez, Juan Tapiador

Abstract: During the first days of the 2022 Russian invasion of Ukraine, Russia's media regulator blocked access to many global social media platforms and news sites, including Twitter, Facebook, and the BBC. To bypass the information controls set by Russian authorities, pro-Ukrainian groups explored unconventional ways to reach out to the Russian population, such as posting war-related content in the user… ▽ More During the first days of the 2022 Russian invasion of Ukraine, Russia's media regulator blocked access to many global social media platforms and news sites, including Twitter, Facebook, and the BBC. To bypass the information controls set by Russian authorities, pro-Ukrainian groups explored unconventional ways to reach out to the Russian population, such as posting war-related content in the user reviews of Russian business available on Google Maps or Tripadvisor. This paper provides a first analysis of this new phenomenon by analyzing the creative strategies to avoid state censorship. Specifically, we analyze reviews posted on these platforms from the beginning of the conflict to September 2022. We measure the channeling of war messages through user reviews in Tripadvisor and Google Maps, as well as in VK, a popular Russian social network. Our analysis of the content posted on these services reveals that users leveraged these platforms to seek and exchange humanitarian and travel advice, but also to disseminate disinformation and polarized messages. Finally, we analyze the response of platforms in terms of content moderation and their impact. △ Less

Submitted 1 February, 2023; originally announced February 2023.

Augmenting a Physics-Informed Neural Network for the 2D Burgers Equation by Addition of Solution Data Points

Authors: Marlon Sproesser Mathias, Wesley Pereira de Almeida, Marcel Rodrigues de Barros, Jefferson Fialho Coelho, Lucas Palmiro de Freitas, Felipe Marino Moreno, Caio Fabricio Deberaldini Netto, Fabio Gagliardi Cozman, Anna Helena Reali Costa, Eduardo Aoun Tannuri, Edson Satoshi Gomi, Marcelo Dottori

Abstract: We implement a Physics-Informed Neural Network (PINN) for solving the two-dimensional Burgers equations. This type of model can be trained with no previous knowledge of the solution; instead, it relies on evaluating the governing equations of the system in points of the physical domain. It is also possible to use points with a known solution during training. In this paper, we compare PINNs trained… ▽ More We implement a Physics-Informed Neural Network (PINN) for solving the two-dimensional Burgers equations. This type of model can be trained with no previous knowledge of the solution; instead, it relies on evaluating the governing equations of the system in points of the physical domain. It is also possible to use points with a known solution during training. In this paper, we compare PINNs trained with different amounts of governing equation evaluation points and known solution points. Comparing models that were trained purely with known solution points to those that have also used the governing equations, we observe an improvement in the overall observance of the underlying physics in the latter. We also investigate how changing the number of each type of point affects the resulting models differently. Finally, we argue that the addition of the governing equations during training may provide a way to improve the overall performance of the model without relying on additional data, which is especially important for situations where the number of known solution points is limited. △ Less

Submitted 18 January, 2023; originally announced January 2023.

Comments: This preprint has not undergone peer review or any post-submission improvements or corrections. The Version of Record of this contribution is published in the Lecture Notes in Computer Science book series (LNAI,volume 13654), and is available online at https://doi.org/10.1007/978-3-031-21689-3_28

Journal ref: Intelligent Systems, Cham, 2022, pp. 388-401

In-situ real-time evolution of intrinsic stresses and microstructure during growth of cathodic arc deposited (Al,Ti)N coatings

Authors: Sanjay Nayak, Tun-Wei Hsu, Lina Rogström, Maiara Moreno, Jon M. Andersson, Mats P. Johansson-Jöesaar, Robert Boyd, Norbert Schell, Jens Gibmeier, Jens Birch, Magnus Odén

Abstract: The residual stress plays a vital role in determination of the device performance that uses thin films coating and thus the accurate determination of stress and its optimization with process parameters is an ongoing research work for many decades. In line with this, the microscopic origin of the stress at the atomic scale and its development during the thin film deposition is a matter of major sci… ▽ More The residual stress plays a vital role in determination of the device performance that uses thin films coating and thus the accurate determination of stress and its optimization with process parameters is an ongoing research work for many decades. In line with this, the microscopic origin of the stress at the atomic scale and its development during the thin film deposition is a matter of major scientific interests. The development of stress is a complex phenomenon and has a complex dependence to process parameters, film microstructure and its morphology. In this work, by utilizing a custom-designed cathodic arc deposition system and synchrotron radiation based 2D x-ray diffraction (XRD) technique, we determine the real-time evolution of stress, crystallite sizes and their preferential orientations of Aluminum-Titanium-Nitride (AlxTi1-xN) films with varied Al-content (x=0.0, 0.25, 0.50, and 0.67) on Si-100 substrate. The energies of incoming ions and hence stress in the films is tuned by applying different direct current substrate bias (Vs = floating potential, -20, -40, -60, -80, and -100 V). The instantaneous stress is evaluated by the well-known d vs. sin2ψ technique, while crystallite sizes are determined by analyzing line profiles of x-ray diffractograms. The evolution of stress and crystallite sizes are modelled with multiple numerical models from which kinetic parameters associated with the thin film depositions are extracted. The ex-situ microstructure characterizations of AlxTi1-xN coatings are carried out by scanning electron microscopy (SEM) and transmission electron microscopy (TEM). The formation of ex-situ microstructure of the films is discussed considering the results obtained from in-situ XRD data. Finally, we demonstrate that the method utilized here is a powerful approach towards estimation of the fracture toughness of thin film coatings. △ Less

Submitted 10 January, 2023; originally announced January 2023.

A Physics-Informed Neural Network to Model Port Channels

Authors: Marlon S. Mathias, Marcel R. de Barros, Jefferson F. Coelho, Lucas P. de Freitas, Felipe M. Moreno, Caio F. D. Netto, Fabio G. Cozman, Anna H. R. Costa, Eduardo A. Tannuri, Edson S. Gomi, Marcelo Dottori

Abstract: We describe a Physics-Informed Neural Network (PINN) that simulates the flow induced by the astronomical tide in a synthetic port channel, with dimensions based on the Santos - São Vicente - Bertioga Estuarine System. PINN models aim to combine the knowledge of physical systems and data-driven machine learning models. This is done by training a neural network to minimize the residuals of the gover… ▽ More We describe a Physics-Informed Neural Network (PINN) that simulates the flow induced by the astronomical tide in a synthetic port channel, with dimensions based on the Santos - São Vicente - Bertioga Estuarine System. PINN models aim to combine the knowledge of physical systems and data-driven machine learning models. This is done by training a neural network to minimize the residuals of the governing equations in sample points. In this work, our flow is governed by the Navier-Stokes equations with some approximations. There are two main novelties in this paper. First, we design our model to assume that the flow is periodic in time, which is not feasible in conventional simulation methods. Second, we evaluate the benefit of resampling the function evaluation points during training, which has a near zero computational cost and has been verified to improve the final model, especially for small batch sizes. Finally, we discuss some limitations of the approximations used in the Navier-Stokes equations regarding the modeling of turbulence and how it interacts with PINNs. △ Less

Submitted 20 December, 2022; originally announced December 2022.

Comments: Published at the Workshop AI: Modeling Oceans and Climate Change (AIMOCC 2022), held in conjunction with the 31st International Joint Conference on Artificial Intelligence and the 25th European Conference on Artificial Intelligence (IJCAI-ECAI 2022)

Structural changes in Ti1-xAlxN coatings during turning: A XANES and EXAFS study of worn tools

Authors: L. Rogström, M. Moreno, J. Andersson, M. Johansson-Jõesaar, M. Odén, K. Klementiev, L. -Å. Näslund, M. Magnuson

Abstract: Structural changes in Ti1-xAlxN coated tool inserts used for turning in 316L stainless steel were investigated by XANES, EXAFS, EDS, and STEM. For coarse-grained fcc-structured Ti1-xAlxN coatings, with 0 \leq x \leq 0.62, the XANES spectrum changes with Al-content. XANES Ti 1s line-scans across the rake face of the worn samples reveals that TiN-enriched domains have formed during turning in Ti0.47… ▽ More Structural changes in Ti1-xAlxN coated tool inserts used for turning in 316L stainless steel were investigated by XANES, EXAFS, EDS, and STEM. For coarse-grained fcc-structured Ti1-xAlxN coatings, with 0 \leq x \leq 0.62, the XANES spectrum changes with Al-content. XANES Ti 1s line-scans across the rake face of the worn samples reveals that TiN-enriched domains have formed during turning in Ti0.47Al0.53N and Ti0.38Al0.62N samples as a result of spinodal decomposition. The XANES spectra reveal the locations on the tool in which the most TiN-rich domains have formed, indicating which part of the tool-chip contact area that experienced the highest temperature during turning. Changes in the pre-edge features in the XANES spectra reveal that structural changes occur also in the w-TiAlN phase in fine-grained Ti0.38Al0.62N during turning. EDS shows that Cr and Fe from the steel adhere to the tool rake face during machining. Cr 1s and Fe 1s XANES show that Cr is oxidized in the end of the contact length while the adhered Fe retains in the same fcc-structure as that of the 316L stainless steel. △ Less

Submitted 8 December, 2022; originally announced December 2022.

Comments: 19 pages, 8 figures

Journal ref: Applied Surface Science 612, 155907, (2022)

Best-Effort Communication Improves Performance and Scales Robustly on Conventional Hardware

Authors: Matthew Andres Moreno, Charles Ofria

Abstract: Here, we test the performance and scalability of fully-asynchronous, best-effort communication on existing, commercially-available HPC hardware. A first set of experiments tested whether best-effort communication strategies can benefit performance compared to the traditional perfect communication model. At high CPU counts, best-effort communication improved both the number of computational steps… ▽ More Here, we test the performance and scalability of fully-asynchronous, best-effort communication on existing, commercially-available HPC hardware. A first set of experiments tested whether best-effort communication strategies can benefit performance compared to the traditional perfect communication model. At high CPU counts, best-effort communication improved both the number of computational steps executed per unit time and the solution quality achieved within a fixed-duration run window. Under the best-effort model, characterizing the distribution of quality of service across processing components and over time is critical to understanding the actual computation being performed. Additionally, a complete picture of scalability under the best-effort model requires analysis of how such quality of service fares at scale. To answer these questions, we designed and measured a suite of quality of service metrics: simulation update period, message latency, message delivery failure rate, and message delivery coagulation. Under a lower communication-intensivity benchmark parameterization, we found that median values for all quality of service metrics were stable when scaling from 64 to 256 process. Under maximal communication intensivity, we found only minor -- and, in most cases, nil -- degradation in median quality of service. In an additional set of experiments, we tested the effect of an apparently faulty compute node on performance and quality of service. Despite extreme quality of service degradation among that node and its clique, median performance and quality of service remained stable. △ Less

Submitted 6 October, 2023; v1 submitted 20 November, 2022; originally announced November 2022.

Exploring the nanoscale origin of performance enhancement in Li$_{1.1}$Ni$_{0.35}$Mn$_{0.55}$O$_2$ batteries due to chemical do**

Authors: Thomas Thersleff, Jordi Jacas Biendicho, Kunkanadu Prakasha, Elias Martinez Moreno, Leif Olav Jøsang, Jekabs Grins, Aleksander Jaworski, Gunnar Svensson

Abstract: Despite significant potential as energy storage materials for electric vehicles due to their combination of high energy density per unit cost and reduced environmental and ethical concerns, Co-free lithium ion batteries based off layered Mn oxides presently lack the longevity and stability of their Co-containing counterparts. Here, we demonstrate a reduction in this performance gap via chemical do… ▽ More Despite significant potential as energy storage materials for electric vehicles due to their combination of high energy density per unit cost and reduced environmental and ethical concerns, Co-free lithium ion batteries based off layered Mn oxides presently lack the longevity and stability of their Co-containing counterparts. Here, we demonstrate a reduction in this performance gap via chemical do**, with Li$_{1.1}$Ni$_{0.35}$Mn$_{0.55}$O$_2$ achieving an initial discharge capacity of 159 mAhg$^{-1}$ at C/3 rate and a corresponding capacity retention of 94.3% after 150 cycles. We subsequently explore the nanoscale origins of this improvement through a combination of advanced diffraction, spectroscopy, and electron microscopy techniques, finding that optimized do** profiles lead to an improved structural and chemical compatibility between the two constituent sub-phases that characterize the layered Mn oxide system, resulting in the formation of unobstructed lithium ion pathways between them. We also directly observe a structural stabilization effect of the host compound near the surface using aberration corrected scanning transmission electron microscopy and integrated differential phase contrast imaging. △ Less

Submitted 15 November, 2022; originally announced November 2022.

Comments: 20 pages, 8 figures

Journal ref: Advanced Energy Materials (2023) 2203889

Testing entanglement and Bell inequalities in $H \to ZZ$

Authors: J. A. Aguilar-Saavedra, A. Bernal, J. A. Casas, J. M. Moreno

Abstract: We discuss quantum entanglement and violation of Bell inequalities in the $H\rightarrow ZZ$ decay, in particular when the two $Z-$bosons decay into light leptons. Although such process implies an important suppression of the statistics, this is traded by clean signals from a "quasi maximally-entangled" system, which makes it very promising to check these crucial phenomena at high energy. In this p… ▽ More We discuss quantum entanglement and violation of Bell inequalities in the $H\rightarrow ZZ$ decay, in particular when the two $Z-$bosons decay into light leptons. Although such process implies an important suppression of the statistics, this is traded by clean signals from a "quasi maximally-entangled" system, which makes it very promising to check these crucial phenomena at high energy. In this paper we devise a novel framework to extract from $H \to ZZ$ data all significant information related to this goal, in particular spin correlation observables. In this context we derive sufficient and necessary conditions for entanglement in terms of only two parameters. Likewise, we obtain a sufficient and improved condition for the violation of Bell-type inequalities. The numerical analysis shows that with a luminosity of $L = 300 \text{fb}^{-1}$ entanglement can be probed at $> 3σ$ level. For $L = 3 \text{ab}^{-1}$ (HL-LHC) entanglement can be probed beyond the $5σ$ level, while the sensitivity to a violation of the Bell inequalities is at the $4.5σ$ level △ Less

Submitted 27 September, 2022; originally announced September 2022.

Enhancing Oceanic Variables Forecast in the Santos Channel by Estimating Model Error with Random Forests

Authors: Felipe M. Moreno, Caio F. D. Netto, Marcel R. de Barros, Jefferson F. Coelho, Lucas P. de Freitas, Marlon S. Mathias, Luiz A. Schiaveto Neto, Marcelo Dottori, Fabio G. Cozman, Anna H. R. Costa, Edson S. Gomi, Eduardo A. Tannuri

Abstract: In this work we improve forecasting of Sea Surface Height (SSH) and current velocity (speed and direction) in oceanic scenarios. We do so by resorting to Random Forests so as to predict the error of a numerical forecasting system developed for the Santos Channel in Brazil. We have used the Santos Operational Forecasting System (SOFS) and data collected in situ between the years of 2019 and 2021. I… ▽ More In this work we improve forecasting of Sea Surface Height (SSH) and current velocity (speed and direction) in oceanic scenarios. We do so by resorting to Random Forests so as to predict the error of a numerical forecasting system developed for the Santos Channel in Brazil. We have used the Santos Operational Forecasting System (SOFS) and data collected in situ between the years of 2019 and 2021. In previous studies we have applied similar methods for current velocity in the channel entrance, in this work we expand the application to improve the SHH forecast and include four other stations in the channel. We have obtained an average reduction of 11.9% in forecasting Root-Mean Square Error (RMSE) and 38.7% in bias with our approach. We also obtained an increase of Agreement (IOA) in 10 of the 14 combinations of forecasted variables and stations. △ Less

Submitted 22 July, 2022; originally announced August 2022.

Softening online extremes organically and at scale

Authors: Elvira Maria Restrepo, Martin Moreno, Lucia Illari, Neil F. Johnson

Abstract: Calls are escalating for social media platforms to do more to mitigate extreme online communities whose views can lead to real-world harms, e.g., mis/disinformation and distrust that increased Covid-19 fatalities, and now extend to monkeypox, unsafe baby formula alternatives, cancer, abortions, and climate change; white replacement that inspired the 2022 Buffalo shooter and will likely inspire oth… ▽ More Calls are escalating for social media platforms to do more to mitigate extreme online communities whose views can lead to real-world harms, e.g., mis/disinformation and distrust that increased Covid-19 fatalities, and now extend to monkeypox, unsafe baby formula alternatives, cancer, abortions, and climate change; white replacement that inspired the 2022 Buffalo shooter and will likely inspire others; anger that threatens elections, e.g., 2021 U.S. Capitol attack; notions of male supremacy that encourage abuse of women; anti-Semitism, anti-LGBQT hate and QAnon conspiracies. But should 'doing more' mean doing more of the same, or something different? If so, what? Here we start by showing why platforms doing more of the same will not solve the problem. Specifically, our analysis of nearly 100 million Facebook users entangled over vaccines and now Covid and beyond, shows that the extreme communities' ecology has a hidden resilience to Facebook's removal interventions; that Facebook's messaging interventions are missing key audience sectors and getting ridiculed; that a key piece of these online extremes' narratives is being mislabeled as incorrect science; and that the threat of censorship is inciting the creation of parallel presences on other platforms with potentially broader audiences. We then demonstrate empirically a new solution that can soften online extremes organically without having to censor or remove communities or their content, or check or correct facts, or promote any preventative messaging, or seek a consensus. This solution can be automated at scale across social media platforms quickly and with minimal cost. △ Less

Submitted 29 May, 2022; originally announced July 2022.

Comments: Comments welcome to [email protected]

Modeling Oceanic Variables with Dynamic Graph Neural Networks

Authors: Caio F. D. Netto, Marcel R. de Barros, Jefferson F. Coelho, Lucas P. de Freitas, Felipe M. Moreno, Marlon S. Mathias, Marcelo Dottori, Fábio G. Cozman, Anna H. R. Costa, Edson S. Gomi, Eduardo A. Tannuri

Abstract: Researchers typically resort to numerical methods to understand and predict ocean dynamics, a key task in mastering environmental phenomena. Such methods may not be suitable in scenarios where the topographic map is complex, knowledge about the underlying processes is incomplete, or the application is time critical. On the other hand, if ocean dynamics are observed, they can be exploited by recent… ▽ More Researchers typically resort to numerical methods to understand and predict ocean dynamics, a key task in mastering environmental phenomena. Such methods may not be suitable in scenarios where the topographic map is complex, knowledge about the underlying processes is incomplete, or the application is time critical. On the other hand, if ocean dynamics are observed, they can be exploited by recent machine learning methods. In this paper we describe a data-driven method to predict environmental variables such as current velocity and sea surface height in the region of Santos-Sao Vicente-Bertioga Estuarine System in the southeastern coast of Brazil. Our model exploits both temporal and spatial inductive biases by joining state-of-the-art sequence models (LSTM and Transformers) and relational models (Graph Neural Networks) in an end-to-end framework that learns both the temporal features and the spatial relationship shared among observation sites. We compare our results with the Santos Operational Forecasting System (SOFS). Experiments show that better results are attained by our model, while maintaining flexibility and little domain knowledge dependency. △ Less

Submitted 25 June, 2022; originally announced June 2022.

Comments: 8 pages

Strong Quantum Turbulence in Bose Einstein Condensates

Authors: H. A. J. Middleton-Spencer, A. D. G. Orozco, L. Galantucci, M. Moreno, N. G. Parker, L. A. Machado, V. S. Bagnato, C. F. Barenghi

Abstract: By combining experiments and numerical simulations which model the dynamics of shaken atomic Bose-Einstein condensates, we reveal the surprising nature of quantum turbulence in these systems. Unlike the tangles of vortex lines described in the superfluid helium literature, we find that our turbulent atomic condensate contains a mixture of strong fragmented density fluctuations and small random vor… ▽ More By combining experiments and numerical simulations which model the dynamics of shaken atomic Bose-Einstein condensates, we reveal the surprising nature of quantum turbulence in these systems. Unlike the tangles of vortex lines described in the superfluid helium literature, we find that our turbulent atomic condensate contains a mixture of strong fragmented density fluctuations and small random vortex loops which are not homogeneously distributed. This unusual form of turbulence, with its own properties and scaling behaviour, which we call strong quantum turbulence, is significantly different from the turbulence which is observed in either classical or other quantum systems, thus posing a new challenge in turbulence research. △ Less

Submitted 13 July, 2023; v1 submitted 18 April, 2022; originally announced April 2022.

Comments: 9 pages, 6 figures

On unsuperstable theories in GDST

Authors: Miguel Moreno

Abstract: We study the $κ$-Borel-reducibility of isomorphism relations of complete first order theories by using coloured trees. Under some cardinality assumptions, we show the following: For all theories T and T', if T is classifiable and T' is unsuperstable, then the isomorphism of models of T' is strictly above the isomorphism of models of T with respect to $κ$-Borel-reducibility. We study the $κ$-Borel-reducibility of isomorphism relations of complete first order theories by using coloured trees. Under some cardinality assumptions, we show the following: For all theories T and T', if T is classifiable and T' is unsuperstable, then the isomorphism of models of T' is strictly above the isomorphism of models of T with respect to $κ$-Borel-reducibility. △ Less

Submitted 27 March, 2022; originally announced March 2022.

Fine-Tuning in the 2HDM

Authors: A. Bernal, J. A. Casas, J. M. Moreno

Abstract: The Two-Higgs Doublet Model (2HDM) is one of the most popular and natural extensions of the Higgs sector; but it has two potential fine-tuning problems, related to the electroweak (EW) breaking and the requirement of alignment with the SM Higgs boson. We have quantified the fine-tunings obtaining analytical expressions, both in terms of the initial 2HDM parameters and the physical ones (masses, mi… ▽ More The Two-Higgs Doublet Model (2HDM) is one of the most popular and natural extensions of the Higgs sector; but it has two potential fine-tuning problems, related to the electroweak (EW) breaking and the requirement of alignment with the SM Higgs boson. We have quantified the fine-tunings obtaining analytical expressions, both in terms of the initial 2HDM parameters and the physical ones (masses, mixing angles, etc.). We also provide simple approximate expressions. We have taken into account that the fine-tunings are not independent and removed the "double counting" by projecting the variations of the alignment onto the constant-${\rm v}^2$ hypersurface. The EW and the alignment fine-tunings become severe in different, even opposite, regions of the parameter space, namely in the regimes of large and small extra-Higgs masses, respectively; emerging an intermediate region, $500\ {\rm GeV} \leq \{m_H, m_A, m_{H^\pm}\} \leq 700\ {\rm GeV}$, where both are acceptably small. We also discuss a remarkable trend that is not obvious at first glance. Namely, for large $\tanβ$ both the EW and the alignment fine-tunings become mitigated. In consequence, the 2HDM becomes quite natural for $\tanβ\geq {\cal O} (10)$, even if $m_H, m_A, m_{H^\pm}$ are as large as 1500 GeV. We explain why this is not the case for the 2HDM stemming from supersymmetry. We have illustrated all these trends by numerically analyzing several representative scenarios. △ Less

Submitted 18 February, 2022; originally announced February 2022.

Entangled two-plasmon generation in carbon nanotubes and graphene coated wires

Authors: Y. Muniz, P. P. Abrantes, L. Martín Moreno, F. A. Pinheiro, C. Farina, W. J. M. Kort-Kamp

Abstract: We investigate the two-plasmon spontaneous decay of a quantum emitter near single-walled carbon nanotubes (SWCNT) and graphene-coated wires (GCWs). We demonstrate efficient, enhanced generation of two-plasmon entangled states in SWCNTs due to the strong coupling between tunable guided plasmons and the quantum emitter. We predict two-plasmon emission rates more than twelve orders of magnitude highe… ▽ More We investigate the two-plasmon spontaneous decay of a quantum emitter near single-walled carbon nanotubes (SWCNT) and graphene-coated wires (GCWs). We demonstrate efficient, enhanced generation of two-plasmon entangled states in SWCNTs due to the strong coupling between tunable guided plasmons and the quantum emitter. We predict two-plasmon emission rates more than twelve orders of magnitude higher than in free-space, with average lifetimes of a few dozens of nanoseconds. Given their low dimensionality, these systems could be more efficient for generating and detecting entangled plasmons in comparison to extended graphene. Indeed, we achieve tunable spectrum of emission in GCWs, where sharp resonances occur precisely at the plasmons' minimum excitation frequencies. We show that, by changing the material properties of the GCW's dielectric core, one could tailor the dominant modes and frequencies of the emitted entangled plasmons while kee** the decay rate ten orders of magnitude higher than in free-space. By unveiling the unique properties of two-plasmon spontaneous emission processes in the presence of low dimensional carbon-based nanomaterials, our findings set the basis for a novel material platform with applications to on-chip quantum information technologies. △ Less

Submitted 19 January, 2022; originally announced January 2022.

Comments: 8 pages, 5 figures