Showing 1–50 of 189 results for author: Aguiar, M

Chaos in undamped, forced oscillators via stroboscopic maps

Authors: Ronaldo S. S. Vieira, Luiz H. R. Daniel, Marcus A. M. de Aguiar

Abstract: Non-linear dynamics is not a usually covered topic in undergraduate physics courses. However, its importance within classical mechanics and the general theory of dynamical systems is unquestionable. In this work we show that this subject can be included in the schedule of an introductory classical mechanics course without the need to develop a robust theory of chaotic dynamics. To do this, we take… ▽ More Non-linear dynamics is not a usually covered topic in undergraduate physics courses. However, its importance within classical mechanics and the general theory of dynamical systems is unquestionable. In this work we show that this subject can be included in the schedule of an introductory classical mechanics course without the need to develop a robust theory of chaotic dynamics. To do this, we take as examples conservative non-linear oscillators subject to time-dependent periodic forces. By introducing the concept of stroboscopic maps we show that it is possible to visualize the appearance of chaos in these systems. We also address the example of the forced simple pendulum applying the same treatment. Finally, we briefly comment on the more general theory of chaos in conservative Hamiltonian systems. △ Less

Submitted 29 June, 2024; originally announced July 2024.

Comments: 14 pages, 16 figures. Accepted for publication in "Revista Brasileira de Ensino de Física". Written in Portuguese

Analysis of optical pattern formation on glass

Authors: Maressa P Sampaio, Renan G Alvim, Felipe K Kalil, Maria C O Aguiar, Ubirajara Agero

Abstract: We investigate the formation of particular patterns when light passes through glass. Experimentally, we use various glass plates, registering each reflected and transmitted outcome. Thus, we find the condition to form a common pattern, namely, randomly scratched plates produce the halos. We engineer other optical patterns by means of the specular holography method. Using the Defocusing Microscopy… ▽ More We investigate the formation of particular patterns when light passes through glass. Experimentally, we use various glass plates, registering each reflected and transmitted outcome. Thus, we find the condition to form a common pattern, namely, randomly scratched plates produce the halos. We engineer other optical patterns by means of the specular holography method. Using the Defocusing Microscopy technique, we study the geometric properties of the glass, establishing the physical and mathematical model for a simulation. Our computational results agree well with the experimental ones, leading us to conclude that the pattern formation is governed by specular reflection on various points along the scratches. Our findings give an initial explanation for the pattern formation on glass, in particular for the halo design. △ Less

Submitted 31 May, 2024; originally announced July 2024.

Classification of 3-Node Restricted Excitatory-Inhibitory Networks

Authors: Manuela Aguiar, Ana Dias, Ian Stewart

Abstract: We classify connected 3-node restricted excitatory-inhibitory networks, extending our previous paper (`Classification of 2-node Excitatory-Inhibitory Networks', Mathematical Biosciences 373 (2024) 109205). We assume that there are two node-types and two arrow-types, excitatory and inhibitory; all excitatory arrows are identical and all inhibitory arrows are identical; and excitatory (resp. inhibit… ▽ More We classify connected 3-node restricted excitatory-inhibitory networks, extending our previous paper (`Classification of 2-node Excitatory-Inhibitory Networks', Mathematical Biosciences 373 (2024) 109205). We assume that there are two node-types and two arrow-types, excitatory and inhibitory; all excitatory arrows are identical and all inhibitory arrows are identical; and excitatory (resp. inhibitory) nodes can only output excitatory (resp. inhibitory) arrows. The classification is performed under the following two network perspectives: ODE-equivalence and minimality; and valence less or equal to 2. The results of this and the previous work constitute a first step towards analysing dynamics and bifurcations of excitatory-inhibitory networks and have potential applications to biological network models. △ Less

Submitted 25 June, 2024; originally announced June 2024.

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

MSC Class: Primary: 92C42; 37N25; 37C20; Secondary: 92B20

Third order interactions shift the critical coupling in multidimensional Kuramoto models

Authors: Ricardo Fariello, Marcus A. M. de Aguiar

Abstract: The study of higher order interactions in the dynamics of Kuramoto oscillators has been a topic of intense recent research. Arguments based on dimensional reduction using the Ott-Antonsen ansatz show that such interactions usually facilitate synchronization, giving rise to bi-stability and hysteresis. Here we show that three body interactions shift the critical coupling for synchronization towards… ▽ More The study of higher order interactions in the dynamics of Kuramoto oscillators has been a topic of intense recent research. Arguments based on dimensional reduction using the Ott-Antonsen ansatz show that such interactions usually facilitate synchronization, giving rise to bi-stability and hysteresis. Here we show that three body interactions shift the critical coupling for synchronization towards higher values in all dimensions, except $D=2$, where a cancellation occurs. After the transition, three and four body interactions combine to facilitate synchronization. Similar to the 2-dimensional case, bi-stability and hysteresis develop for large enough higher order interactions. We show simulations in $D=3$ and $4$ to illustrate the dynamics. △ Less

Submitted 30 May, 2024; v1 submitted 25 April, 2024; originally announced April 2024.

Comments: 15 pages, 4 figures. New analysis of bi-stability and hysteresis

SEME at SemEval-2024 Task 2: Comparing Masked and Generative Language Models on Natural Language Inference for Clinical Trials

Authors: Mathilde Aguiar, Pierre Zweigenbaum, Nona Naderi

Abstract: This paper describes our submission to Task 2 of SemEval-2024: Safe Biomedical Natural Language Inference for Clinical Trials. The Multi-evidence Natural Language Inference for Clinical Trial Data (NLI4CT) consists of a Textual Entailment (TE) task focused on the evaluation of the consistency and faithfulness of Natural Language Inference (NLI) models applied to Clinical Trial Reports (CTR). We te… ▽ More This paper describes our submission to Task 2 of SemEval-2024: Safe Biomedical Natural Language Inference for Clinical Trials. The Multi-evidence Natural Language Inference for Clinical Trial Data (NLI4CT) consists of a Textual Entailment (TE) task focused on the evaluation of the consistency and faithfulness of Natural Language Inference (NLI) models applied to Clinical Trial Reports (CTR). We test 2 distinct approaches, one based on finetuning and ensembling Masked Language Models and the other based on prompting Large Language Models using templates, in particular, using Chain-Of-Thought and Contrastive Chain-Of-Thought. Prompting Flan-T5-large in a 2-shot setting leads to our best system that achieves 0.57 F1 score, 0.64 Faithfulness, and 0.56 Consistency. △ Less

Submitted 5 April, 2024; originally announced April 2024.

Nuclear compensatory evolution driven by mito-nuclear incompatibilities

Authors: Débora Princepe, Marcus A. M. de Aguiar

Abstract: Mitochondrial function relies on the coordinated expression of mitochondrial and nuclear genes, exhibiting remarkable resilience regardless the susceptibility of mitochondrial DNA (mtDNA) to accumulate harmful mutations. A suggested mechanism for preserving this mito-nuclear compatibility is the nuclear compensation, where deleterious mitochondrial alleles drive compensatory changes in nuclear gen… ▽ More Mitochondrial function relies on the coordinated expression of mitochondrial and nuclear genes, exhibiting remarkable resilience regardless the susceptibility of mitochondrial DNA (mtDNA) to accumulate harmful mutations. A suggested mechanism for preserving this mito-nuclear compatibility is the nuclear compensation, where deleterious mitochondrial alleles drive compensatory changes in nuclear genes. However, prevalence and conditioning factors for this phenomenon remain debated, with empirical evidence supporting and refuting its existence. Here, we investigate how mito-nuclear incompatibilities impact nuclear and mitochondrial substitutions in a model for species radiation under selection for mito-nuclear compatibility, similar to the process of mtDNA introgression. Mating eligibility relies on genetic (nuclear DNA) and spatial proximity, with populations evolving from partially compatible mito-nuclear states. Mutations do not confer advantages nor disadvantages, with no optimal nuclear or mitochondrial types, but individual fitness decreases with increasing incompatibilities, driving the demand for mito-nuclear genetic coordination. We find that selection consistently promotes compensation on incompatible nuclear genes, resulting in more substitutions than compatible or non-interacting genes. Surprisingly, low mitochondrial mutation rates favor compensation, as do increased selective pressure or a higher number of mismatches. High mitochondrial mutation rates boost substitutions in initially compatible nuclear genes, relaxing the selection against mito-nuclear incompatibilities and mirroring the compensatory evolution. Moreover, the presence of incompatibilities accelerates species radiation, but richness at equilibrium is not directly correlated with substitutions' response, revealing the complex dynamics triggered by mitochondrial introgression and mito-nuclear co-evolution. △ Less

Submitted 15 March, 2024; originally announced March 2024.

Comments: 18 pages, 6 figures

Dynamics of matrix coupled Kuramoto oscillators on modular networks: excitable behavior and global decoherence

Authors: Guilherme S. Costa, Marcus A. M. de Aguiar

Abstract: Synchronization is observed in many natural systems, with examples ranging from neuronal activation to walking pedestrians. The models proposed by Winfree and Kuramoto stand as the classic frameworks for investigating these phenomena. The Kuramoto model, in particular, has been extended in different ways since its original formulation to account for more general scenarios. One such extension repla… ▽ More Synchronization is observed in many natural systems, with examples ranging from neuronal activation to walking pedestrians. The models proposed by Winfree and Kuramoto stand as the classic frameworks for investigating these phenomena. The Kuramoto model, in particular, has been extended in different ways since its original formulation to account for more general scenarios. One such extension replaces the coupling parameter with a coupling matrix, describing a form of generalized frustration with broken rotational symmetry. A key feature of this model is the existence of {\it phase tuned states}, characterized by having the phase of the order parameter pointing in the direction of the dominant eigenvector of the coupling matrix. Here we investigate the matrix coupled Kuramoto model on networks with two modules, such that one module is in the phase tuned state and the other in a state where the order parameter rotates. We identified different regimes in which one or the other module dominates the dynamics. We found, in particular, that the phase tuned module can create a bottleneck for the oscillation of the rotating module, leading to a behavior similar to the charge and fire regimes of excitable systems. We also found an extended region in the parameter space where motion is globally disordered, even though one of the modules presented high levels of synchronization when uncoupled. △ Less

Submitted 13 June, 2024; v1 submitted 11 March, 2024; originally announced March 2024.

Comments: completely revised version, with new figures and conclusions; 21 pages and 7 figures

Classification of 2-node Excitatory-Inhibitory Networks

Authors: Manuela Aguiar, Ana Dias, Ian Stewart

Abstract: We classify connected 2-node excitatory-inhibitory networks under various conditions. We assume that, as well as for connections, there are two distinct node-types, excitatory and inhibitory. In our classification we consider four different types of excitatory-inhibitory networks: restricted, partially restricted, unrestricted and completely unrestricted. For each type we give two different classi… ▽ More We classify connected 2-node excitatory-inhibitory networks under various conditions. We assume that, as well as for connections, there are two distinct node-types, excitatory and inhibitory. In our classification we consider four different types of excitatory-inhibitory networks: restricted, partially restricted, unrestricted and completely unrestricted. For each type we give two different classifications. Using results on ODE-equivalence and minimality, we classify the ODE-classes and present a minimal representative for each ODE-class. We also classify all the networks with valence $\le 2$. These classifications are up to renumbering of nodes and the interchange of `excitatory' and `inhibitory' on nodes and arrows.These classifications constitute a first step towards analysing dynamics and bifurcations of excitatory-inhibitory networks. The results have potential applications to biological network models, especially neuronal networks, gene regulatory networks, and synthetic gene networks. △ Less

Submitted 5 March, 2024; originally announced March 2024.

MSC Class: Primary: 92C42; 37N25; 37C20; Secondary: 92B20

Order, chaos, and dimensionality transition in a system of swarmalators

Authors: Joao U. F. Lizarraga, Kevin P. O'Keeffe, Marcus A. M. de Aguiar

Abstract: Similar to sperm, where individuals self-organize in space while also striving for coherence in their tail swinging, several natural and engineered systems exhibit the emergence of swarming and synchronization. The arising and interplay of these phenomena have been captured by collectives of hypothetical particles named swarmalators, each possessing a position and a phase whose dynamics are affect… ▽ More Similar to sperm, where individuals self-organize in space while also striving for coherence in their tail swinging, several natural and engineered systems exhibit the emergence of swarming and synchronization. The arising and interplay of these phenomena have been captured by collectives of hypothetical particles named swarmalators, each possessing a position and a phase whose dynamics are affected reciprocally and also by the space-phase states of their neighbors. In this work, we introduce a solvable model of swarmalators able to move in two-dimensional spaces. We show that several static and active collective states can emerge and derive necessary conditions for each to show up as the model parameters are varied. These conditions elucidate, in some cases, the displaying of multistability among states. Notably, in the active regime, individuals behave chaotically, maintaining spatial correlation under certain conditions, and breaking it under others on what we interpret as a dimensionality transition. △ Less

Submitted 9 November, 2023; originally announced January 2024.

Comments: 18 pages, 6 figures

Journal ref: Phys. Rev. E 109, 044209 (2024)

Learning flow functions of spiking systems

Authors: Miguel Aguiar, Amritam Das, Karl H. Johansson

Abstract: We propose a framework for surrogate modelling of spiking systems. These systems are often described by stiff differential equations with high-amplitude oscillations and multi-timescale dynamics, making surrogate models an attractive tool for system design and simulation. We parameterise the flow function of a spiking system using a recurrent neural network architecture, allowing for a direct cont… ▽ More We propose a framework for surrogate modelling of spiking systems. These systems are often described by stiff differential equations with high-amplitude oscillations and multi-timescale dynamics, making surrogate models an attractive tool for system design and simulation. We parameterise the flow function of a spiking system using a recurrent neural network architecture, allowing for a direct continuous-time representation of the state trajectories. The spiking nature of the signals makes for a data-heavy and computationally hard training process; thus, we describe two methods to mitigate these difficulties. We demonstrate our framework on two conductance-based models of biological neurons, showing that we are able to train surrogate models which accurately replicate the spiking behaviour. △ Less

Submitted 4 July, 2024; v1 submitted 19 December, 2023; originally announced December 2023.

Comments: Accepted to the 6th Annual Learning for Dynamics & Control Conference

A solvable two-dimensional swarmalator model

Authors: Kevin O'Keeffe, Gourab Kumar Sar, Md Sayeed Anwar, Joao U. F. Lizárraga, Marcus A. M. de Aguiar, Dibakar Ghosh

Abstract: Swarmalators are oscillators that swarm through space as they synchronize in time. Introduced a few years ago to model many systems which mix synchrony with self-assembly, they remain poorly understood theoretically. Here we obtain the first analytic results on swarmalators moving in two-dimensional (2D) plane by enforcing periodic boundary conditions; this simpler topology allows expressions for… ▽ More Swarmalators are oscillators that swarm through space as they synchronize in time. Introduced a few years ago to model many systems which mix synchrony with self-assembly, they remain poorly understood theoretically. Here we obtain the first analytic results on swarmalators moving in two-dimensional (2D) plane by enforcing periodic boundary conditions; this simpler topology allows expressions for order parameters, stabilities, and bifurcations to be derived exactly. We suggest some future directions for swarmalator research and point out some connections to the Kuramoto model and the Vicsek model from active matter; these are intended as a call-to-arms for the sync community and other researchers looking for new problems and puzzles to work on. △ Less

Submitted 22 December, 2023; v1 submitted 15 December, 2023; originally announced December 2023.

The Bifurcation Coalescence Problem for Feedforward Coalescence Networks

Authors: Manuela Aguiar, Pedro Soares

Abstract: Consider two networks and combine them through the coalescence operation to get a larger network. Is it possible to study the steady-state bifurcations of the coalescence network by studying the steady-state bifurcations of the component networks? We conclude that this is not possible for general coalescence networks. We show, however, that in the case of feedforward coalescence networks this is p… ▽ More Consider two networks and combine them through the coalescence operation to get a larger network. Is it possible to study the steady-state bifurcations of the coalescence network by studying the steady-state bifurcations of the component networks? We conclude that this is not possible for general coalescence networks. We show, however, that in the case of feedforward coalescence networks this is possible and we cover the simplest cases. In particular, we prove how the growth rate of the bifurcation branches in the feedforward coalescence network depends on the connections from one network to the other. △ Less

Submitted 22 November, 2023; originally announced November 2023.

Exploring the phase diagrams of multidimensional Kuramoto models

Authors: Ricardo Fariello, Marcus A. M. de Aguiar

Abstract: The multidimensional Kuramoto model describes the synchronization dynamics of particles moving on the surface of D-dimensional spheres, generalizing the original model where particles were characterized by a single phase. In this setup, particles are more easily represented by $D$-dimensional unit vectors than by $D-1$ spherical angles, allowing for the coupling constant to be extended to a coupli… ▽ More The multidimensional Kuramoto model describes the synchronization dynamics of particles moving on the surface of D-dimensional spheres, generalizing the original model where particles were characterized by a single phase. In this setup, particles are more easily represented by $D$-dimensional unit vectors than by $D-1$ spherical angles, allowing for the coupling constant to be extended to a coupling matrix acting on the vectors. As in the original Kuramoto model, each particle has a set of $D(D-1)/2$ natural frequencies, drawn from a distribution. The system has a large number of independent parameters, given by the average natural frequencies, the characteristic widths of their distributions plus $D^2$ constants of the coupling matrix. General phase diagrams, indicating regions in parameter space where the system exhibits different behaviors, are hard to derive analytically. Here we obtain the complete phase diagram for $D=2$ and Lorentzian distributions of natural frequencies using the Ott-Antonsen ansatz. We also explore the diagrams numerically for different distributions and some specific choices of parameters for $D=2$, $D=3$ and $D=4$. In all cases the system exhibits at most four different phases: disordered, static synchrony, rotation and active synchrony. Existence of specific phases and boundaries between them depend strongly on the dimension $D$, the coupling matrix and the distribution of natural frequencies. △ Less

Submitted 29 October, 2023; originally announced October 2023.

Comments: 26 pages, 10 figures

Journal ref: Chaos, Solitons & Fractals, 179 (2024) 114431

Interfacial and thickness effects in La$_{2/3}$Sr$_{1/3}$MnO$_3$/YBa$_2$Cu$_3$O$_{7}$ superlattices

Authors: V. A. M. Lima, M. C. O. Aguiar, N. C. Plumb, M. Radovic, W. H. Brito

Abstract: Superlattices of correlated oxides have been used to explore interfacial effects and to achieve additional control over the physical properties of individual constituents. In this work, we present a first-principles perspective of the strain and thickness effects in La$_{2/3}$Sr$_{1/3}$MnO$_3$/YBa$_2$Cu$_3$O$_{7}$ (LSMO/YBCO) superlattices. Our findings indicate that the presence of epitaxial stra… ▽ More Superlattices of correlated oxides have been used to explore interfacial effects and to achieve additional control over the physical properties of individual constituents. In this work, we present a first-principles perspective of the strain and thickness effects in La$_{2/3}$Sr$_{1/3}$MnO$_3$/YBa$_2$Cu$_3$O$_{7}$ (LSMO/YBCO) superlattices. Our findings indicate that the presence of epitaxial strain and LSMO leads to a reduction of buckling parameters of the interfacial CuO$_2$ planes, as well as the transfer of electrons from LSMO to YBCO. In addition, the change in Cu-3$d$ valence is slightly dependent on the LSMO layer thickness. More interestingly, the in-plane ferromagnetic ground state within the CuO$_2$ planes near the interface is induced due to the local moments centered at the copper atoms. These local moments are decoupled from the charge transfer and, according to our calculations, appear mainly due to the Mn $3d$-O $2p$-Cu $3d$ hybridization being restricted to the interfacial region. The induced net magnetic ordering in interfacial copper atoms may have implications in the control of the superconducting state in the LSMO/YBCO superlattices. △ Less

Submitted 29 September, 2023; v1 submitted 27 September, 2023; originally announced September 2023.

Rate-Induced Transitions in Networked Complex Adaptive Systems: Exploring Dynamics and Management Implications Across Ecological, Social, and Socioecological Systems

Authors: Vítor V. Vasconcelos, Flávia M. D. Marquitti, Theresa Ong, Lisa C. McManus, Marcus Aguiar, Amanda B. Campos, Partha S. Dutta, Kristen Jovanelly, Victoria Junquera, Jude Kong, Elisabeth H. Krueger, Simon A. Levin, Wenying Liao, Mingzhen Lu, Dhruv Mittal, Mercedes Pascual, Flávio L. Pinheiro, Juan Rocha, Fernando P. Santos, Peter Sloot, Chenyang, Su, Benton Taylor, Eden Tekwa, Sjoerd Terpstra , et al. (5 additional authors not shown)

Abstract: Complex adaptive systems (CASs), from ecosystems to economies, are open systems and inherently dependent on external conditions. While a system can transition from one state to another based on the magnitude of change in external conditions, the rate of change -- irrespective of magnitude -- may also lead to system state changes due to a phenomenon known as a rate-induced transition (RIT). This st… ▽ More Complex adaptive systems (CASs), from ecosystems to economies, are open systems and inherently dependent on external conditions. While a system can transition from one state to another based on the magnitude of change in external conditions, the rate of change -- irrespective of magnitude -- may also lead to system state changes due to a phenomenon known as a rate-induced transition (RIT). This study presents a novel framework that captures RITs in CASs through a local model and a network extension where each node contributes to the structural adaptability of others. Our findings reveal how RITs occur at a critical environmental change rate, with lower-degree nodes tip** first due to fewer connections and reduced adaptive capacity. High-degree nodes tip later as their adaptability sources (lower-degree nodes) collapse. This pattern persists across various network structures. Our study calls for an extended perspective when managing CASs, emphasizing the need to focus not only on thresholds of external conditions but also the rate at which those conditions change, particularly in the context of the collapse of surrounding systems that contribute to the focal system's resilience. Our analytical method opens a path to designing management policies that mitigate RIT impacts and enhance resilience in ecological, social, and socioecological systems. These policies could include controlling environmental change rates, fostering system adaptability, implementing adaptive management strategies, and building capacity and knowledge exchange. Our study contributes to the understanding of RIT dynamics and informs effective management strategies for complex adaptive systems in the face of rapid environmental change. △ Less

Submitted 14 September, 2023; originally announced September 2023.

Comments: 25 pages, 4 figures, 1 box, supplementary information

MSC Class: 37G; 37N; 91B; 91C; 91D; 91E; 92D; 92D25; 92D40; 92F; 93A; 93A14; 93A16 ACM Class: I.6.3; I.6.m; J.3; J.4; J.m; K.4.2

On the numerical integration of the multidimensional Kuramoto model

Authors: Marcus A. M. de Aguiar

Abstract: The Kuramoto model, describing the synchronization dynamics of coupled oscillators, has been generalized in many ways over the past years. One recent extension of the model replaces the oscillators, originally characterized by a single phase, by particles with D-1 internal phases, represented by a point on the surface of the unit D-sphere. Particles are then more easily represented by D-dimensiona… ▽ More The Kuramoto model, describing the synchronization dynamics of coupled oscillators, has been generalized in many ways over the past years. One recent extension of the model replaces the oscillators, originally characterized by a single phase, by particles with D-1 internal phases, represented by a point on the surface of the unit D-sphere. Particles are then more easily represented by D-dimensional unit vectors than by D-1 spherical angles. However, numerical integration of the state equations should ensure that the propagated vectors remain unit and that particles rotate on the sphere as predicted by the dynamical equations. As discussed in [1] integration of the three-dimensional Kuramoto model using Euler's method with time step $Δt$ not only changes the norm of the vectors but produces a small rotation of the particles around the wrong axis. Importantly, the error in the axis' direction does not vanish in the limit $Δt \rightarrow 0$. Therefore, instead of displacing the unit vectors in the direction of the velocity one should performed a sequence of direct small rotations, as dictated by the equations of motion. This keeps the particles on the sphere at all times, ensuring exact norm preservation, and rotates the particles around the proper axis for small $Δt$ [1]. Here I propose an alternative way to do such integration by rotations in 3D that can be generalized to more dimensions using Cayley-Hamilton's theorem. Explicit formulas are provided for 2, 3 and 4 dimensions. I also compare the results with the forth order Runge-Kutta method, which seems to provide accurate results even requiring renormalization of the vectors after each integration step. △ Less

Submitted 10 August, 2023; v1 submitted 9 June, 2023; originally announced June 2023.

Comments: 18 pages, 3 figures

Intermittent migration can induce pulses of speciation in a two-island system

Authors: Débora Princepe, Simone Czarnobai, Rodrigo A. Caetano, Flavia M. D. Marquitti, Marcus A. M. de Aguiar, Sabrina B. L. Araujo

Abstract: Geographic barriers prevent migration between populations, thereby facilitating speciation through allopatry. However, these barriers can exhibit dynamic behavior in nature, promoting cycles of expansion and contraction of populations. Such oscillations cause temporal variations in migration that do not necessarily prevent speciation; on the contrary, they have been suggested as a driving force fo… ▽ More Geographic barriers prevent migration between populations, thereby facilitating speciation through allopatry. However, these barriers can exhibit dynamic behavior in nature, promoting cycles of expansion and contraction of populations. Such oscillations cause temporal variations in migration that do not necessarily prevent speciation; on the contrary, they have been suggested as a driving force for diversification. Here we present a study on a two-island neutral speciation model in scenarios with intermittent migration driven by sea-level fluctuations. Mating is constrained to genetically compatible individuals inhabiting the same island, and offspring inherit nuclear genomes from both parents with recombination. We observe pulses of speciation that would not occur in strict isolation or continuous migration. According to the seabed height, which modulates the duration of the isolation and connection periods, the maximum richness occurs at different times and in an ephemeral fashion. The expansion-contraction dynamics can accelerate diversification, but a long time in isolation can reduce the richness to one species per island, resembling patterns described by the taxon pulse hypothesis of diversification. Together with other studies, our results support the relevance of research on the impact of variable migration on diversification, suggested to be related to regions of high diversity. △ Less

Submitted 4 June, 2023; originally announced June 2023.

Comments: 18 pages, 4 figures

Raman Response of the Charge Density Wave in Cuprate Superconductors

Authors: Moallison F. Cavalcante, S. Bag, I. Paul, A. Sacuto, M. C. O. Aguiar, M. Civelli

Abstract: We study the Raman response, for $B_{1g}$ and $B_{2g}$ light-polarization symmetries, of the charge density wave phase appearing in the underdoped region of cuprate superconductors. We show that the $B_{2g}$ response provides a distinctive signature of the charge order, independently of the details of the electronic structure and from the concomitant presence of a pseudogap, in sharp contrast with… ▽ More We study the Raman response, for $B_{1g}$ and $B_{2g}$ light-polarization symmetries, of the charge density wave phase appearing in the underdoped region of cuprate superconductors. We show that the $B_{2g}$ response provides a distinctive signature of the charge order, independently of the details of the electronic structure and from the concomitant presence of a pseudogap, in sharp contrast with the behavior of the $B_{1g}$ response. This well accounts for the Raman experimental results. We then clearly identify a charge density wave energy scale, and show that its do** dependence is eventually driven by the monotonic behavior of the pesudogap. This has also been pointed out in Raman experiments, and it is suggestive of a pseudogap ruling the multiple energy scales of the exotic phases appearing in the cuprate phase diagram. △ Less

Submitted 10 October, 2023; v1 submitted 19 May, 2023; originally announced May 2023.

Journal ref: Phys. Rev. B 108, 165111 (2023)

Sakaguchi Swarmalators

Authors: Joao U. F. Lizarraga, Marcus A. M. de Aguiar

Abstract: Swarmalators are phase oscillators that cluster in space, like fireflies flashing on a swarm to attract mates. Interactions between particles, which tend to synchronize their phases and align their motion, decrease with the distance and phase difference between them, coupling the spatial and phase dynamics. In this work, we explore the effects of disorder induced by phase frustration on a system o… ▽ More Swarmalators are phase oscillators that cluster in space, like fireflies flashing on a swarm to attract mates. Interactions between particles, which tend to synchronize their phases and align their motion, decrease with the distance and phase difference between them, coupling the spatial and phase dynamics. In this work, we explore the effects of disorder induced by phase frustration on a system of Swarmalators that move on a one-dimensional ring. Our model is inspired by the well-known Kuramoto-Sakaguchi equations. We find, numerically and analytically, the ordered and disordered states that emerge in the system. The active states, not present in the model without disorder, resemble states found previously in numerical studies for the 2D Swarmalators system. One of these states, in particular, shows similarities to turbulence generated in a flattened media. We show that all ordered states can be generated for any values of the coupling constants by tuning the phase frustration parameters only. Moreover, many of these combinations display multi-stability. △ Less

Submitted 15 May, 2023; originally announced May 2023.

Comments: 14 pages, 5 figures, 3 appendices

Universal approximation of flows of control systems by recurrent neural networks

Authors: Miguel Aguiar, Amritam Das, Karl H. Johansson

Abstract: We consider the problem of approximating flow functions of continuous-time dynamical systems with inputs. It is well-known that continuous-time recurrent neural networks are universal approximators of this type of system. In this paper, we prove that an architecture based on discrete-time recurrent neural networks universally approximates flows of continuous-time dynamical systems with inputs. The… ▽ More We consider the problem of approximating flow functions of continuous-time dynamical systems with inputs. It is well-known that continuous-time recurrent neural networks are universal approximators of this type of system. In this paper, we prove that an architecture based on discrete-time recurrent neural networks universally approximates flows of continuous-time dynamical systems with inputs. The required assumptions are shown to hold for systems whose dynamics are well-behaved ordinary differential equations and with practically relevant classes of input signals. This enables the use of off-the-shelf solutions for learning such flow functions in continuous-time from sampled trajectory data. △ Less

Submitted 19 September, 2023; v1 submitted 1 April, 2023; originally announced April 2023.

Comments: Accepted to the 62nd IEEE Conference on Decision and Control

Learning Flow Functions from Data with Applications to Nonlinear Oscillators

Authors: Miguel Aguiar, Amritam Das, Karl H. Johansson

Abstract: We describe a recurrent neural network (RNN) based architecture to learn the flow function of a causal, time-invariant and continuous-time control system from trajectory data. By restricting the class of control inputs to piecewise constant functions, we show that learning the flow function is equivalent to learning the input-to-state map of a discrete-time dynamical system. This motivates the use… ▽ More We describe a recurrent neural network (RNN) based architecture to learn the flow function of a causal, time-invariant and continuous-time control system from trajectory data. By restricting the class of control inputs to piecewise constant functions, we show that learning the flow function is equivalent to learning the input-to-state map of a discrete-time dynamical system. This motivates the use of an RNN together with encoder and decoder networks which map the state of the system to the hidden state of the RNN and back. We show that the proposed architecture is able to approximate the flow function by exploiting the system's causality and time-invariance. The output of the learned flow function model can be queried at any time instant. We experimentally validate the proposed method using models of the Van der Pol and FitzHugh Nagumo oscillators. In both cases, the results demonstrate that the architecture is able to closely reproduce the trajectories of these two systems. For the Van der Pol oscillator, we further show that the trained model generalises to the system's response with a prolonged prediction time horizon as well as control inputs outside the training distribution. For the FitzHugh-Nagumo oscillator, we show that the model accurately captures the input-dependent phenomena of excitability. △ Less

Submitted 11 April, 2023; v1 submitted 29 March, 2023; originally announced March 2023.

Understanding the main failure scenarios of subsea blowout preventers systems: An approach through Latent Semantic Analysis

Authors: Gustavo Jorge Martins de Aguiar, Ramon Baptista Narcizo, Rodolfo Cardoso, Iara Tammela, Edwin Benito Mitacc Meza, Danilo Colombo, Luiz Antônio de Oliveira Chaves, Jamile Eleutério Delesposte

Abstract: The blowout preventer (BOP) system is one of the most important well safety barriers during the drilling phase because it can prevent the development of blowout events. This paper investigates BOP system's main failures using an LSA-based methodology. A total of 1312 failure records from companies worldwide were collected from the International Association of Drilling Contractors' RAPID-S53 databa… ▽ More The blowout preventer (BOP) system is one of the most important well safety barriers during the drilling phase because it can prevent the development of blowout events. This paper investigates BOP system's main failures using an LSA-based methodology. A total of 1312 failure records from companies worldwide were collected from the International Association of Drilling Contractors' RAPID-S53 database. The database contains recordings of halted drilling operations due to BOP system's failures and component's function deviations. The main failure scenarios of the components annular preventer, shear rams preventer, compensated chamber solenoid valve, and hydraulic regulators were identified using the proposed methodology. The scenarios contained valuable information about corrective maintenance procedures, such as frequently observed failure modes, detection methods used, suspected causes, and corrective actions. The findings highlighted that the major failures of the components under consideration were leakages caused by damaged elastomeric seals. The majority of the failures were detected during function and pressure tests with the BOP system in the rig. This study provides an alternative safety analysis that contributes to understanding blowout preventer system's critical component failures by applying a methodology based on a well-established text mining technique and analyzing failure records from an international database. △ Less

Submitted 2 January, 2023; originally announced January 2023.

ACM Class: H.3; H.3.3; J.2

Generalized frustration in the multidimensional Kuramoto model

Authors: Marcus A. M. de Aguiar

Abstract: The Kuramoto model was recently extended to arbitrary dimensions by reinterpreting the oscillators as particles moving on the surface of unit spheres in a D-dimensional space. Each particle is then represented by a D-dimensional unit vector. For $D=2$ the particles move on the unit circle and the vectors can be described by a single phase, recovering the original Kuramoto model. This multidimensio… ▽ More The Kuramoto model was recently extended to arbitrary dimensions by reinterpreting the oscillators as particles moving on the surface of unit spheres in a D-dimensional space. Each particle is then represented by a D-dimensional unit vector. For $D=2$ the particles move on the unit circle and the vectors can be described by a single phase, recovering the original Kuramoto model. This multidimensional description can be further extended by promoting the coupling constant between the particles to a matrix that acts on the unit vectors, representing a type of generalized frustration. In a recent paper we have analyzed in detail the role of the coupling matrix for $D=2$. Here we extend this analysis to arbitrary dimensions, presenting a study of synchronous states and their stability. We show that when the natural frequencies of the particles are set to zero, the system converges either to a stationary synchronized state with well defined phase, or to an effective two-dimensional dynamics, where the synchronized particles rotate on the sphere. The stability of these states depend on the eigenvalues and eigenvectors of the coupling matrix. When the natural frequencies are not zero, synchronization depends on whether $D$ is even or odd. In even dimensions the transition to synchronization is continuous and rotating states are replaced by active states, where the order parameter rotates while its module oscillates. If $D$ is odd the phase transition is discontinuous and active states are suppressed, occurring only for a restricted class of coupling matrices. △ Less

Submitted 10 January, 2023; v1 submitted 2 January, 2023; originally announced January 2023.

Comments: 23 pages, 3 figures

Journal ref: Physical Review E 107, 044205 (2023)

Silicon anisotropy in a bi-dimensional optomechanical cavity

Authors: Cauê M. Kersul, Rodrigo Benevides, Flávio Moraes, Gabriel H. M. de Aguiar, Andreas Wallucks, Simon Gröblacher, Gustavo S. Wiederhecker, Thiago P. Mayer Alegre

Abstract: In this work, we study the effects of mechanical anisotropy in a 2D optomechanical crystal geometry. We fabricate and measure devices with different orientations, showing the dependence of the mechanical spectrum and the optomechanical coupling with the relative angle of the device to the crystallography directions of silicon. Our results show that the device orientation strongly affects its mecha… ▽ More In this work, we study the effects of mechanical anisotropy in a 2D optomechanical crystal geometry. We fabricate and measure devices with different orientations, showing the dependence of the mechanical spectrum and the optomechanical coupling with the relative angle of the device to the crystallography directions of silicon. Our results show that the device orientation strongly affects its mechanical band structure, which makes the devices more susceptible to fabrication imperfections. Finally, we show that our device is compatible with cryogenic measurements reaching ground state occupancy of 0.2 phonons at mK temperature. △ Less

Submitted 18 November, 2022; originally announced November 2022.

Comments: 5 pages 4 figures

Quench dynamics of the Kondo effect: transport across an impurity coupled to interacting wires

Authors: Moallison F. Cavalcante, Rodrigo G. Pereira, Maria C. O. Aguiar

Abstract: We study the real-time dynamics of the Kondo effect after a quantum quench in which a magnetic impurity is coupled to two metallic Hubbard chains. Using an effective field theory approach, we find that for noninteracting electrons the charge current across the impurity is given by a scaling function that involves the Kondo time. In the interacting case, we show that the Kondo time decreases with t… ▽ More We study the real-time dynamics of the Kondo effect after a quantum quench in which a magnetic impurity is coupled to two metallic Hubbard chains. Using an effective field theory approach, we find that for noninteracting electrons the charge current across the impurity is given by a scaling function that involves the Kondo time. In the interacting case, we show that the Kondo time decreases with the strength of the repulsive interaction and the time dependence of the current reveals signatures of the Kondo effect in a Luttinger liquid. In addition, we verify that the relaxation of the impurity magnetization does not exhibit universal scaling behavior in the perturbative regime below the Kondo time. Our results highlight the role of nonequilibrium dynamics as a valuable tool in the study of quantum impurities in interacting systems. △ Less

Submitted 7 February, 2023; v1 submitted 4 November, 2022; originally announced November 2022.

Report number: Phys. Rev. B 107, 075110 (2023)

Journal ref: Phys. Rev. B 107, 075110 (2023)

Formation of spin and charge ordering in the extended Hubbard model during a finite-time quantum quench

Authors: Isaac M. Carvalho, Helena Bragança, Walber H. Brito, Maria C. O. Aguiar

Abstract: We investigate the formation of charge and spin ordering by starting from a non-interacting state and studying how it evolves in time under a Hamiltonian with finite electronic interactions. We consider the one-dimensional, half-filled extended Hubbard model, which we solve within time-dependent density matrix renormalization group. By employing linear finite-time quenches in the onsite and neares… ▽ More We investigate the formation of charge and spin ordering by starting from a non-interacting state and studying how it evolves in time under a Hamiltonian with finite electronic interactions. We consider the one-dimensional, half-filled extended Hubbard model, which we solve within time-dependent density matrix renormalization group. By employing linear finite-time quenches in the onsite and nearest-neighbor interactions, we find the existence of impulse, intermediate, and adiabatic regimes of time evolution. For the quenches we analyze, we observe that the adiabatic regime is reached with distinct ram** time scales depending on whether the charge density wave (CDW) or the spin density wave (SDW) is formed. The former needs to be slower than the latter to prevent entangled excited states from being accessed during the quench. More interestingly, in the intermediate regime, we observe an enhancement of the entanglement entropy with respect to its initial value, which precedes the formation of the CDW ordering; a similar enhancement is not seen in the quench towards SDW. Our findings also show that the breaking of the system integrability, by turning on the nearest-neighbor interactions, does not give rise to significant changes in the non-equilibrium behavior within the adiabatic approximation. △ Less

Submitted 12 August, 2022; v1 submitted 11 August, 2022; originally announced August 2022.

Journal ref: Phys. Rev. B 106, 195405 (2022)

Optimization of diamond optomechanical crystal cavities

Authors: Flavio Moraes, Gabriel H. M. de Aguiar, Emerson G. de Melo, Gustavo S. Wiederhecker, Thiago P. Mayer Alegre

Abstract: Due to recent development of growing and processing techniques for high-quality single crystal diamond, the large scale production of diamond optomechanical crystal cavities becomes feasible, enabling optomechanical devices that can operate in higher mechanical frequencies and be coupled to two-level systems based on diamond color centers. In this paper we describe a design optimization method to… ▽ More Due to recent development of growing and processing techniques for high-quality single crystal diamond, the large scale production of diamond optomechanical crystal cavities becomes feasible, enabling optomechanical devices that can operate in higher mechanical frequencies and be coupled to two-level systems based on diamond color centers. In this paper we describe a design optimization method to produce diamond optomechanical crystal (OMC) cavities operating at the high-cooperativity regime (close to unity) at room temperature. △ Less

Submitted 3 July, 2022; originally announced July 2022.

Matrix coupling and generalized frustration in Kuramoto oscillators

Authors: Guilhermo L. Buzanello, Ana Elisa D. Barioni, Marcus A. M. de Aguiar

Abstract: The Kuramoto model describes the synchronization of coupled oscillators that have different natural frequencies. Among the many generalizations of the original model, Kuramoto and Sakaguchi (KS) proposed a {\it frustrated} version that resulted in dynamic behavior of the order parameter, even when the average natural frequency of the oscillators is zero. Here we consider a generalization of the fr… ▽ More The Kuramoto model describes the synchronization of coupled oscillators that have different natural frequencies. Among the many generalizations of the original model, Kuramoto and Sakaguchi (KS) proposed a {\it frustrated} version that resulted in dynamic behavior of the order parameter, even when the average natural frequency of the oscillators is zero. Here we consider a generalization of the frustrated KS model that exhibits new transitions to synchronization. The model is identical in form to the original Kuramoto model, but written in terms of unit vectors. Replacing the coupling constant by a coupling matrix breaks the rotational symmetry and forces the order parameter to point in the direction of the eigenvector with highest eigenvalue, when the eigenvalues are real. For complex eigenvalues the module of order parameter oscillates while it rotates around the unit circle, creating active states. We derive the complete phase diagram for Lorentzian distribution of frequencies using the Ott-Antonsen ansatz. We also show that changing the average value of the natural frequencies leads to further phase transitions where the module of the order parameter goes from oscillatory to static. △ Less

Submitted 26 June, 2022; originally announced June 2022.

Comments: 17 pages, 4 figures. arXiv admin note: text overlap with arXiv:2102.02916

Diversity patterns and speciation processes in a two-island system with continuous migration

Authors: Débora Princepe, Simone Czarnobai, Thiago M. Pradella, Rodrigo A. Caetano, Flavia M. D. Marquitti, Marcus A. M. de Aguiar, Sabrina B. L. Araujo

Abstract: Geographic isolation is a central mechanism of speciation, but perfect isolation of populations is rare. Although speciation can be hindered if gene flow is large, intermediate levels of migration can enhance speciation by introducing genetic novelty in the semi-isolated populations or founding small communities of migrants. Here we consider a two island neutral model of speciation with continuous… ▽ More Geographic isolation is a central mechanism of speciation, but perfect isolation of populations is rare. Although speciation can be hindered if gene flow is large, intermediate levels of migration can enhance speciation by introducing genetic novelty in the semi-isolated populations or founding small communities of migrants. Here we consider a two island neutral model of speciation with continuous migration and study diversity patterns as a function of the migration probability, population size, and number of genes involved in reproductive isolation (dubbed as genome size). For small genomes, low levels of migration induce speciation on the islands that otherwise would not occur. Diversity, however, drops sharply to a single species inhabiting both islands as the migration probability increases. For large genomes, sympatric speciation occurs even when the islands are strictly isolated. Then species richness per island increases with the probability of migration, but the total number of species decreases as they become cosmopolitan. For each genome size, there is an optimal migration intensity for each population size that maximizes the number of species. We discuss the observed modes of speciation induced by migration and how they increase species richness in the insular system while promoting asymmetry between the islands and hindering endemism. △ Less

Submitted 7 June, 2022; v1 submitted 23 February, 2022; originally announced February 2022.

Journal ref: Evolution, 2022

Network Dynamics with Higher-Order Interactions: Coupled Cell Hypernetworks for Identical Cells and Synchrony

Authors: Manuela Aguiar, Christian Bick, Ana Dias

Abstract: Network interactions that are nonlinear in the state of more than two nodes - also known as higher-order interactions - can have a profound impact on the collective network dynamics. Here we develop a coupled cell hypernetwork formalism to elucidate the existence and stability of (cluster) synchronization patterns in network dynamical systems with higher-order interactions. More specifically, we d… ▽ More Network interactions that are nonlinear in the state of more than two nodes - also known as higher-order interactions - can have a profound impact on the collective network dynamics. Here we develop a coupled cell hypernetwork formalism to elucidate the existence and stability of (cluster) synchronization patterns in network dynamical systems with higher-order interactions. More specifically, we define robust synchrony subspace for coupled cell hypernetworks whose coupling structure is determined by an underlying hypergraph and describe those spaces for general such hypernetworks. Since a hypergraph can be equivalently represented as a bipartite graph between its nodes and hyperedges, we relate the synchrony subspaces of a hypernetwork to balanced colorings of the corresponding incidence digraph. △ Less

Submitted 23 January, 2022; originally announced January 2022.

Journal ref: Nonlinearity, 36(9), 4641-4673, 2023

Mito-nuclear selection induces a trade-off between species ecological dominance and evolutionary lifespan

Authors: Débora Princepe, Marcus A. M. de Aguiar, Joshua B. Plotkin

Abstract: Mitochondrial and nuclear genomes must be co-adapted to ensure proper cellular respiration and energy production. Mito-nuclear incompatibility reduces individual fitness and induces hybrid infertility, suggesting a possible role in reproductive barriers and speciation. Here we develop a birth-death model for evolution in spatially extended populations under selection for mito-nuclear co-adaptation… ▽ More Mitochondrial and nuclear genomes must be co-adapted to ensure proper cellular respiration and energy production. Mito-nuclear incompatibility reduces individual fitness and induces hybrid infertility, suggesting a possible role in reproductive barriers and speciation. Here we develop a birth-death model for evolution in spatially extended populations under selection for mito-nuclear co-adaptation. Mating is constrained by physical and genetic proximity, and offspring inherit nuclear genomes from both parents, with recombination. The model predicts macroscopic patterns including a community's long-term species diversity, its species abundance distribution, speciation and extinction rates, as well as intra- and inter-specific genetic variation. We explore how these long-term outcomes depend upon the microscopic parameters of reproduction: individual fitness governed by mito-nuclear compatibility, constraints on mating compatibility, and ecological carrying capacity. We find that strong selection for mito-nuclear compatibility reduces the equilibrium number of species after a radiation, increases the species' abundances, while simultaneously increasing both speciation and extinction rates. The negative correlation between species diversity and diversification rates in our model agrees with the broad empirical pattern of lower species diversity and higher speciation/extinction rates in temperate regions, compared to the tropics. We therefore suggest that these empirical patterns may be caused in part by latitudinal variation in metabolic demands, and corresponding variation in selection on mito-nuclear function. △ Less

Submitted 8 June, 2022; v1 submitted 8 November, 2021; originally announced November 2021.

Comments: 26 pages, 6 figures, supplemental material

Journal ref: Nature Ecology & Evolution, 2022

Observations with KIDs Interferometer Spectrum Survey(KISS)

Authors: A. Fasano, A. Catalano, J. F. Macías-Pérez, M. Aguiar, A. Beelen, A. Benoit, A. Bideaud, J. Bounmy, O. Bourrion, G. Bres, M. Calvo, J. A. Castro-Almazán, P. de Bernardis, M. De Petris, A. P. de Taoro, M. Fernández-Torreiro, G. Garde, R. Génova-Santos, A. Gomez, M. F. Gómez-Renasco, J. Goupy, C. Hoarau, R. Hoyland, G. Lagache, J. Marpaud , et al. (11 additional authors not shown)

Abstract: We describe the preliminary on-sky results of the KIDs Interferometer Spectrum Survey (KISS), a spectral imager with a 1 deg field of view (FoV). The instrument operates in the range 120-180 GHz from the 2.25 m Q-U-I JOint TEnerife telescope in Teide Observatory (Tenerife, Canary Islands), at 2 395 m altitude above sea level. Spectra at low resolution, up to 1.45 GHz, are obtained using a fast (3.… ▽ More We describe the preliminary on-sky results of the KIDs Interferometer Spectrum Survey (KISS), a spectral imager with a 1 deg field of view (FoV). The instrument operates in the range 120-180 GHz from the 2.25 m Q-U-I JOint TEnerife telescope in Teide Observatory (Tenerife, Canary Islands), at 2 395 m altitude above sea level. Spectra at low resolution, up to 1.45 GHz, are obtained using a fast (3.72 Hz mechanical frequency) Fourier transform spectrometer, coupled to a continuous dilution cryostat with a stabilized temperature of 170 mK that hosts two 316-pixel arrays of lumped-element kinetic inductance detectors. KISS generates more than 3 000 spectra per second during observations and represents a pathfinder to demonstrate the potential for spectral map** with large FoV. We give an overall description of the spectral map** paradigm and we present recent results from observations, in this paper. △ Less

Submitted 2 November, 2021; originally announced November 2021.

Comments: 6 pages, 3 figures, to appear in the Proceedings of the International Conference entitled "mm Universe @ NIKA2", Rome (Italy), June 2021, EPJ Web of conferences

Generalized Stallings' decomposition theorem for pro-$p$ groups

Authors: Mattheus Aguiar, Pavel Zalesski

Abstract: The celebrated Stallings' decomposition theorem states that the splitting of a finite index subgroup $H$ of a finitely generated group $G$ as an amalgamated free product or an HNN-extension over a finite group implies the same for $G$. We generalize the pro-$p$ version of it proved by Weigel and the second author to splittings over infinite pro-$p$ groups. This generalization does not have any abs… ▽ More The celebrated Stallings' decomposition theorem states that the splitting of a finite index subgroup $H$ of a finitely generated group $G$ as an amalgamated free product or an HNN-extension over a finite group implies the same for $G$. We generalize the pro-$p$ version of it proved by Weigel and the second author to splittings over infinite pro-$p$ groups. This generalization does not have any abstract analogs. We also prove that generalized accessibility of finitely generated pro-$p$ groups is closed for commensurability. △ Less

Submitted 9 October, 2021; originally announced October 2021.

MSC Class: 20E08; 20E18; 20E34

COCO Denoiser: Using Co-Coercivity for Variance Reduction in Stochastic Convex Optimization

Authors: Manuel Madeira, Renato Negrinho, João Xavier, Pedro M. Q. Aguiar

Abstract: First-order methods for stochastic optimization have undeniable relevance, in part due to their pivotal role in machine learning. Variance reduction for these algorithms has become an important research topic. In contrast to common approaches, which rarely leverage global models of the objective function, we exploit convexity and L-smoothness to improve the noisy estimates outputted by the stochas… ▽ More First-order methods for stochastic optimization have undeniable relevance, in part due to their pivotal role in machine learning. Variance reduction for these algorithms has become an important research topic. In contrast to common approaches, which rarely leverage global models of the objective function, we exploit convexity and L-smoothness to improve the noisy estimates outputted by the stochastic gradient oracle. Our method, named COCO denoiser, is the joint maximum likelihood estimator of multiple function gradients from their noisy observations, subject to co-coercivity constraints between them. The resulting estimate is the solution of a convex Quadratically Constrained Quadratic Problem. Although this problem is expensive to solve by interior point methods, we exploit its structure to apply an accelerated first-order algorithm, the Fast Dual Proximal Gradient method. Besides analytically characterizing the proposed estimator, we show empirically that increasing the number and proximity of the queried points leads to better gradient estimates. We also apply COCO in stochastic settings by plugging it in existing algorithms, such as SGD, Adam or STRSAGA, outperforming their vanilla versions, even in scenarios where our modelling assumptions are mismatched. △ Less

Submitted 7 September, 2021; originally announced September 2021.

Comments: 25 pages, 14 figures

Accurate sky signal reconstruction for ground-based spectroscopy with kinetic inductance detectors

Authors: A. Fasano., J. F. Macías-Pérez, A. Benoit, M. Aguiar, A. Beelen, A. Bideaud, J. Bounmy, O. Bourrion, G. Bres, M. Calvo, J. A. Castro-Almazán, A. Catalano, P. de Bernardis, M. De Petris, A. P. de Taoro, M. Fernández-Torreiro, G. Garde, R. Génova-Santos, A. Gomez, M. F. Gómez-Renasco, J. Goupy, C. Hoarau, R. Hoyland, G. Lagache, J. Marpaud , et al. (11 additional authors not shown)

Abstract: Context. Wide-field spectrometers are needed to deal with current astrophysical challenges that require multiband observations at millimeter wavelengths. An example of these is the KIDs Interferometer Spectrum Survey (KISS), which uses two arrays of kinetic inductance detectors (KIDs) coupled to a Martin-Puplett interferometer (MPI). KISS has a wide instantaneous field of view (1 deg in diameter)… ▽ More Context. Wide-field spectrometers are needed to deal with current astrophysical challenges that require multiband observations at millimeter wavelengths. An example of these is the KIDs Interferometer Spectrum Survey (KISS), which uses two arrays of kinetic inductance detectors (KIDs) coupled to a Martin-Puplett interferometer (MPI). KISS has a wide instantaneous field of view (1 deg in diameter) and a spectral resolution up to 1.45 GHz in the 120-180 GHz electromagnetic band. The instrument is installed on the 2.25 m Q-U-I JOint TEnerife telescope in Teide Observatory (Tenerife, Canary Islands), at an altitude of 2395 m above sea level. Aims. This work presents an original readout modulation method developed to improve the sky signal reconstruction accuracy for types of instruments for which a fast sampling frequency is required both to remove atmospheric fluctuations and to perform full spectroscopic measurements on each sampled sky position. Methods. We first demonstrate the feasibility of this technique using simulations. Then, we apply such a scheme to on-sky calibration. Results. We show that the sky signal can be reconstructed to better than 0.5% for astrophysical sources, and to better than 2% for large background variations such as in "skydip", in an ideal noiseless scenario. The readout modulation method is validated by observations on-sky during the KISS commissioning campaign. Conclusions. We conclude that accurate photometry can be obtained for future KID-based MPI. △ Less

Submitted 16 September, 2021; v1 submitted 7 September, 2021; originally announced September 2021.

Comments: 11 pages, 10 figures, accepted for publication in A&A

Journal ref: A&A 656, A116 (2021)

Ott-Antonsen ansatz for the D-dimensional Kuramoto model: a constructive approach

Authors: Ana Elisa D. Barioni, Marcus A. M. de Aguiar

Abstract: Kuramoto's original model describes the dynamics and synchronization behavior of a set of interacting oscillators represented by their phases. The system can also be pictured as a set of particles moving on a circle in two dimensions, which allows a direct generalization to particles moving on the surface of higher dimensional spheres. One of the key features of the 2D system is the presence of a… ▽ More Kuramoto's original model describes the dynamics and synchronization behavior of a set of interacting oscillators represented by their phases. The system can also be pictured as a set of particles moving on a circle in two dimensions, which allows a direct generalization to particles moving on the surface of higher dimensional spheres. One of the key features of the 2D system is the presence of a continuous phase transition to synchronization as the coupling intensity increases. Ott and Antonsen proposed an ansatz for the distribution of oscillators that allowed them to describe the dynamics of the transition's order parameter with a single differential equation. A similar ansatz was later proposed for the D-dimensional model by using the same functional form of the 2D ansatz and adjusting its parameters. In this paper we develop a constructive method to find the ansatz, similarly to the procedure used in 2D. The method is based on our previous work for the 3D Kuramoto model where the ansatz was constructed using the spherical harmonics decomposition of the distribution function. In the case of motion in a D-dimensional sphere the ansatz is based on the hyperspherical harmonics decomposition. Our result differs from the previously proposed ansatz and provides a simpler and more direct connection between the order parameter and the ansatz. △ Less

Submitted 26 August, 2021; originally announced August 2021.

Comments: 31 pages, 5 figures

Journal ref: Chaos 31, 113141 (2021)

Sparse Continuous Distributions and Fenchel-Young Losses

Authors: André F. T. Martins, Marcos Treviso, António Farinhas, Pedro M. Q. Aguiar, Mário A. T. Figueiredo, Mathieu Blondel, Vlad Niculae

Abstract: Exponential families are widely used in machine learning, including many distributions in continuous and discrete domains (e.g., Gaussian, Dirichlet, Poisson, and categorical distributions via the softmax transformation). Distributions in each of these families have fixed support. In contrast, for finite domains, recent work on sparse alternatives to softmax (e.g., sparsemax, $α$-entmax, and fused… ▽ More Exponential families are widely used in machine learning, including many distributions in continuous and discrete domains (e.g., Gaussian, Dirichlet, Poisson, and categorical distributions via the softmax transformation). Distributions in each of these families have fixed support. In contrast, for finite domains, recent work on sparse alternatives to softmax (e.g., sparsemax, $α$-entmax, and fusedmax), has led to distributions with varying support. This paper develops sparse alternatives to continuous distributions, based on several technical contributions: First, we define $Ω$-regularized prediction maps and Fenchel-Young losses for arbitrary domains (possibly countably infinite or continuous). For linearly parametrized families, we show that minimization of Fenchel-Young losses is equivalent to moment matching of the statistics, generalizing a fundamental property of exponential families. When $Ω$ is a Tsallis negentropy with parameter $α$, we obtain ``deformed exponential families,'' which include $α$-entmax and sparsemax ($α=2$) as particular cases. For quadratic energy functions, the resulting densities are $β$-Gaussians, an instance of elliptical distributions that contain as particular cases the Gaussian, biweight, triweight, and Epanechnikov densities, and for which we derive closed-form expressions for the variance, Tsallis entropy, and Fenchel-Young loss. When $Ω$ is a total variation or Sobolev regularizer, we obtain a continuous version of the fusedmax. Finally, we introduce continuous-domain attention mechanisms, deriving efficient gradient backpropagation algorithms for $α\in \{1, 4/3, 3/2, 2\}$. Using these algorithms, we demonstrate our sparse continuous distributions for attention-based audio classification and visual question answering, showing that they allow attending to time intervals and compact regions. △ Less

Submitted 4 August, 2022; v1 submitted 4 August, 2021; originally announced August 2021.

Comments: JMLR 2022 camera ready version. arXiv admin note: text overlap with arXiv:2006.07214

Modeling viral mutations in the spread of epidemics

Authors: Vitor M. Marquioni, Marcus A. M. de Aguiar

Abstract: Although traditional models of epidemic spreading focus on the number of infected, susceptible and recovered individuals, a lot of attention has been devoted to integrate epidemic models with population genetics. Here we develop an individual-based model for epidemic spreading on networks in which viruses are explicitly represented by finite chains of nucleotides that can mutate inside the host. U… ▽ More Although traditional models of epidemic spreading focus on the number of infected, susceptible and recovered individuals, a lot of attention has been devoted to integrate epidemic models with population genetics. Here we develop an individual-based model for epidemic spreading on networks in which viruses are explicitly represented by finite chains of nucleotides that can mutate inside the host. Under the hypothesis of neutral evolution we compute analytically the average pairwise genetic distance between all infecting viruses over time. We also derive a mean-field version of this equation that can be added directly to compartmental models such as SIR or SEIR to estimate the genetic evolution. We compare our results with the inferred genetic evolution of SARS-CoV-2 at the beginning of the epidemic in China and found good agreement with the analytical solution of our model. Finally, using genetic distance as a proxy for different strains, we use numerical simulations to show that the lower the connectivity between communities, e.g., cities, the higher the probability of reinfection. △ Less

Submitted 24 May, 2021; originally announced May 2021.

Comments: 19 pages, 8 figures

Journal ref: PLoS ONE 16(7) (2021) e0255438

Shannon information criterion for low-high diversity transition in Moran and Voter models

Authors: Gabriella D. Franco, Flavia M. D. Marquitti, Lucas D. Fernandes, Dan Braha, Marcus A. M. de Aguiar

Abstract: Mutation and drift play opposite roles in genetics. While mutation creates diversity, drift can cause gene variants to disappear, especially when they are rare. In the absence of natural selection and migration, the balance between the drift and mutation in a well-mixed population defines its diversity. The Moran model captures the effects of these two evolutionary forces and has a counterpart in… ▽ More Mutation and drift play opposite roles in genetics. While mutation creates diversity, drift can cause gene variants to disappear, especially when they are rare. In the absence of natural selection and migration, the balance between the drift and mutation in a well-mixed population defines its diversity. The Moran model captures the effects of these two evolutionary forces and has a counterpart in social dynamics, known as the Voter model with external opinion influencers. Two extreme outcomes of the Voter model dynamics are consensus and coexistence of opinions, which correspond to low and high diversity in the Moran model. Here we use a Shannon's information-theoretic approach to characterize the smooth transition between the states of consensus and coexistence of opinions in the Voter model. Map** the Moran into the Voter model we extend the results to the mutation-drift balance and characterize the transition between low and high diversity in finite populations. Describing the population as a network of connected individuals we show that the transition between the two regimes depends on the network topology of the population and on the possible asymmetries in the mutation rates. △ Less

Submitted 25 November, 2021; v1 submitted 25 April, 2021; originally announced April 2021.

Comments: 13 pages, 8 figures

Journal ref: Phys. Rev. E 104, 024315 (2021)

Synchrony in Gene Regulatory Networks

Authors: Manuela Aguiar, Ana Dias, Haibo Ruan

Abstract: We consider two mathematical dynamical models of gene regulatory networks (GRNs) and obtain results on robust synchronization on these dynamical models based on the existing theoretical results in the coupled cell network formalism. We also explore the concepts of quotient networks and network lifting in the context of GRNs which are related to the process of gene duplication and the phenomenon of… ▽ More We consider two mathematical dynamical models of gene regulatory networks (GRNs) and obtain results on robust synchronization on these dynamical models based on the existing theoretical results in the coupled cell network formalism. We also explore the concepts of quotient networks and network lifting in the context of GRNs which are related to the process of gene duplication and the phenomenon of genetic redundancy. △ Less

Submitted 16 April, 2021; originally announced April 2021.

MSC Class: Primary: 92B20; 92B25; 34C14 Secondary: 34C15; 05C90

Multimodal Continuous Visual Attention Mechanisms

Authors: António Farinhas, André F. T. Martins, Pedro M. Q. Aguiar

Abstract: Visual attention mechanisms are a key component of neural network models for computer vision. By focusing on a discrete set of objects or image regions, these mechanisms identify the most relevant features and use them to build more powerful representations. Recently, continuous-domain alternatives to discrete attention models have been proposed, which exploit the continuity of images. These appro… ▽ More Visual attention mechanisms are a key component of neural network models for computer vision. By focusing on a discrete set of objects or image regions, these mechanisms identify the most relevant features and use them to build more powerful representations. Recently, continuous-domain alternatives to discrete attention models have been proposed, which exploit the continuity of images. These approaches model attention as simple unimodal densities (e.g. a Gaussian), making them less suitable to deal with images whose region of interest has a complex shape or is composed of multiple non-contiguous patches. In this paper, we introduce a new continuous attention mechanism that produces multimodal densities, in the form of mixtures of Gaussians. We use the EM algorithm to obtain a clustering of relevant regions in the image, and a description length penalty to select the number of components in the mixture. Our densities decompose as a linear combination of unimodal attention mechanisms, enabling closed-form Jacobians for the backpropagation step. Experiments on visual question answering in the VQA-v2 dataset show competitive accuracies and a selection of regions that mimics human attention more closely in VQA-HAT. We present several examples that suggest how multimodal attention maps are naturally more interpretable than their unimodal counterparts, showing the ability of our model to automatically segregate objects from ground in complex scenes. △ Less

Submitted 7 April, 2021; originally announced April 2021.

Physics-informed Learning for Identification and State Reconstruction of Traffic Density

Authors: Matthieu Barreau, Miguel Aguiar, John Liu, Karl Henrik Johansson

Abstract: We consider the problem of traffic density reconstruction using measurements from probe vehicles (PVs) with a low penetration rate. In other words, the number of sensors is small compared to the number of vehicles on the road. The model used assumes noisy measurements and a partially unknown first-order model. All these considerations make the use of machine learning to reconstruct the state the o… ▽ More We consider the problem of traffic density reconstruction using measurements from probe vehicles (PVs) with a low penetration rate. In other words, the number of sensors is small compared to the number of vehicles on the road. The model used assumes noisy measurements and a partially unknown first-order model. All these considerations make the use of machine learning to reconstruct the state the only applicable solution. We first investigate how the identification and reconstruction processes can be merged and how a sparse dataset can still enable a good identification. Secondly, we propose a pre-training procedure that aids the hyperparameter tuning, preventing the gradient descent algorithm from getting stuck at saddle points. Examples using numerical simulations and the SUMO traffic simulator show that the reconstructions are close to the real density in all cases. △ Less

Submitted 22 September, 2021; v1 submitted 25 March, 2021; originally announced March 2021.

Comments: 7 pages, 3 figures, conference paper (CDC 2021)

Complexity reduction in the 3D Kuramoto model

Authors: Ana Elisa D. Barioni, Marcus A. M. de Aguiar

Abstract: The dynamics of large systems of coupled oscillators is a subject of increasing importance with prominent applications in several areas such as physics and biology. The Kuramoto model, where a set of oscillators move around a circle representing their phases, is a paradigm in this field, exhibiting a continuous transition between disordered and synchronous motion. Reinterpreting the oscillators as… ▽ More The dynamics of large systems of coupled oscillators is a subject of increasing importance with prominent applications in several areas such as physics and biology. The Kuramoto model, where a set of oscillators move around a circle representing their phases, is a paradigm in this field, exhibiting a continuous transition between disordered and synchronous motion. Reinterpreting the oscillators as rotating unit vectors, the model was extended to allow vectors to move on the surface of D-dimensional spheres, with $D=2$ corresponding to the original model. It was shown that the transition to synchronous dynamics was discontinuous for odd D, raising a lot of interest. Inspired by results in 2D, Ott et al proposed an ansatz for density function describing the oscillators and derived equations for the ansatz parameters, effectively reducing the dimensionality of the system. Here we take a different approach for the 3D system and construct an ansatz based on spherical harmonics decomposition of the distribution function. Our result differs significantly from that proposed in Ott's work and leads to similar but simpler equations determining the dynamics of the order parameter. We derive the phase diagram of equilibrium solutions for several distributions of natural frequencies and find excellent agreement with simulations. We also compare the dynamics of the order parameter with numerical simulations and with the previously derived equations, finding good agreement in all cases. We believe our approach can be generalized to higher dimensions and help to achieve complexity reduction in other systems of equations. △ Less

Submitted 4 February, 2021; originally announced February 2021.

Comments: 24 pages, 5 figures

Journal ref: Chaos, Solitons and Fractals 149 (2021) 111090

Quench dynamics and relaxation of a spin coupled to interacting leads

Authors: Helena Bragança, Moallison F. Cavalcante, R. G. Pereira, Maria C. O. Aguiar

Abstract: We study a quantum quench in which a magnetic impurity is suddenly coupled to Hubbard chains, whose low-energy physics is described by Tomonaga-Luttinger liquid theory. Using the time-dependent density-matrix renormalization-group (tDMRG) technique, we analyze the propagation of charge, spin and entanglement in the chains after the quench and relate the light-cone velocities to the dispersion of h… ▽ More We study a quantum quench in which a magnetic impurity is suddenly coupled to Hubbard chains, whose low-energy physics is described by Tomonaga-Luttinger liquid theory. Using the time-dependent density-matrix renormalization-group (tDMRG) technique, we analyze the propagation of charge, spin and entanglement in the chains after the quench and relate the light-cone velocities to the dispersion of holons and spinons. We find that the local magnetization at the impurity site decays faster if we increase the interaction in the chains, even though the spin velocity decreases. We derive an analytical expression for the relaxation of the impurity magnetization which is in good agreement with the tDMRG results at intermediate timescales, providing valuable insight into the time evolution of the Kondo screening cloud in interacting systems. △ Less

Submitted 25 March, 2021; v1 submitted 22 January, 2021; originally announced January 2021.

Comments: 11 pages, 5 figures

Journal ref: Phys. Rev. B 103, 125152 (2021)

Logic Synthesis Meets Machine Learning: Trading Exactness for Generalization

Authors: Shubham Rai, Walter Lau Neto, Yukio Miyasaka, Xinpei Zhang, Mingfei Yu, Qingyang Yi Masahiro Fujita, Guilherme B. Manske, Matheus F. Pontes, Leomar S. da Rosa Junior, Marilton S. de Aguiar, Paulo F. Butzen, Po-Chun Chien, Yu-Shan Huang, Hoa-Ren Wang, Jie-Hong R. Jiang, Jiaqi Gu, Zheng Zhao, Zixuan Jiang, David Z. Pan, Brunno A. de Abreu, Isac de Souza Campos, Augusto Berndt, Cristina Meinhardt, Jonata T. Carvalho, Mateus Grellert , et al. (15 additional authors not shown)

Abstract: Logic synthesis is a fundamental step in hardware design whose goal is to find structural representations of Boolean functions while minimizing delay and area. If the function is completely-specified, the implementation accurately represents the function. If the function is incompletely-specified, the implementation has to be true only on the care set. While most of the algorithms in logic synthes… ▽ More Logic synthesis is a fundamental step in hardware design whose goal is to find structural representations of Boolean functions while minimizing delay and area. If the function is completely-specified, the implementation accurately represents the function. If the function is incompletely-specified, the implementation has to be true only on the care set. While most of the algorithms in logic synthesis rely on SAT and Boolean methods to exactly implement the care set, we investigate learning in logic synthesis, attempting to trade exactness for generalization. This work is directly related to machine learning where the care set is the training set and the implementation is expected to generalize on a validation set. We present learning incompletely-specified functions based on the results of a competition conducted at IWLS 2020. The goal of the competition was to implement 100 functions given by a set of care minterms for training, while testing the implementation using a set of validation minterms sampled from the same function. We make this benchmark suite available and offer a detailed comparative analysis of the different approaches to learning △ Less

Submitted 15 December, 2020; v1 submitted 4 December, 2020; originally announced December 2020.

Comments: In this 23 page manuscript, we explore the connection between machine learning and logic synthesis which was the main goal for International Workshop on logic synthesis. It includes approaches applied by ten teams spanning 6 countries across the world

Associahedra, cyclohedra and inversion of power series

Authors: Marcelo Aguiar, Jose Bastidas

Abstract: We introduce the Hopf monoid of sets of cycles and paths, which contains the Faà di Bruno Hopf monoid as a submonoid. We give cancellation-free and grou**-free formulas for its antipode, one in terms of tubings and one in terms of \emph{pointed} noncrossing partitions. We provide an explicit description of the group of characters of this Hopf monoid in terms of pairs of power series. Using graph… ▽ More We introduce the Hopf monoid of sets of cycles and paths, which contains the Faà di Bruno Hopf monoid as a submonoid. We give cancellation-free and grou**-free formulas for its antipode, one in terms of tubings and one in terms of \emph{pointed} noncrossing partitions. We provide an explicit description of the group of characters of this Hopf monoid in terms of pairs of power series. Using graph associahedra, we relate paths and cycles to associahedra and cyclohedra, respectively. We give formulas for inversion in the group of characters in terms of the faces of these polytopes. △ Less

Submitted 27 October, 2020; originally announced October 2020.

Comments: 18 pages, 5 figures, comments welcome

MSC Class: 05Exx; 52Bxx; 18M80 (primary) 13F25 (secondary)

The profinite completion of the fundamental group of infinite graphs of groups

Authors: Mattheus Aguiar, Pavel Zalesski

Abstract: Let $(\mathcal{G},Γ)$ be an abstract graph of finite groups. If $Γ$ is finite, we can construct a profinite graph of groups in a natural way $(\hat{\mathcal{G}},Γ)$, where $\hat{\mathcal{G}}(m)$ is the profinite completion of $\mathcal{G}(m)$ for all $m \in Γ$. The main reason for this is that $Γ$ is finite, so it is already profinite. In this paper we deal with the infinite case, by constructing… ▽ More Let $(\mathcal{G},Γ)$ be an abstract graph of finite groups. If $Γ$ is finite, we can construct a profinite graph of groups in a natural way $(\hat{\mathcal{G}},Γ)$, where $\hat{\mathcal{G}}(m)$ is the profinite completion of $\mathcal{G}(m)$ for all $m \in Γ$. The main reason for this is that $Γ$ is finite, so it is already profinite. In this paper we deal with the infinite case, by constructing a profinite graph $\overlineΓ$ where $Γ$ is densely embedded and then defining a profinite graph of groups $(\widehat{\mathcal{G}},\overlineΓ)$. We also prove that the fundamental group $Π_1(\widehat{\mathcal{G}},\overlineΓ)$ is the profinite completion of $Π_1^{abs}(\mathcal{G},Γ)$. This answers Open Question 6.7.1 of the book Profinite Graphs and Groups, published by Luis Ribes in 2017. Later we generalise the main theorem of a paper by Luis Ribes and the second author, proving that if $R$ is a virtually free abstract group and $H$ is a finitely generated subgroup of $R$, then $\overline{N_{R}(H)}=N_{\hat{R}}(\overline{H})$ answering Open Question 15.11.10 of the book of Ribes. Finally, we generalise the main theorem of a paper by Sheila Chagas and the second author, showing that every virtually free group is subgroup conjugacy separable. This answers Open Question 15.11.11 of the same book of Ribes. △ Less

Submitted 6 May, 2021; v1 submitted 23 October, 2020; originally announced October 2020.

Modeling Mito-nuclear Compatibility and its Role in Species Identification

Authors: Debora Princepe, Marcus A. M. de Aguiar

Abstract: Mitochondrial genetic material is widely used for phylogenetic reconstruction and as a barcode for species identification. Here we study how mito-nuclear interactions affect the accuracy of species identification by mtDNA, as well as the speciation process itself. We simulate the evolution of a population of individuals who carry a recombining nuclear genome and a mitochondrial genome inherited ma… ▽ More Mitochondrial genetic material is widely used for phylogenetic reconstruction and as a barcode for species identification. Here we study how mito-nuclear interactions affect the accuracy of species identification by mtDNA, as well as the speciation process itself. We simulate the evolution of a population of individuals who carry a recombining nuclear genome and a mitochondrial genome inherited maternally. We compare a null model fitness landscape that lacks any mito-nuclear interaction against a scenario in which interactions influence fitness. Fitness is assigned to individuals according to their mito-nuclear compatibility, which drives the coevolution of the nuclear and mitochondrial genomes. When the population breaks into distinct species we analyze the accuracy of mtDNA barcode for species identification. Remarkably, we find that species identification by mtDNA is equally accurate in the presence or absence of mito-nuclear coupling and that the success of the DNA barcode derives mainly from population geographical isolation during speciation. Nevertheless, selection imposed by mito-nuclear compatibility influences the diversification process and leaves signatures in the genetic content and spatial distribution of the populations, in three ways: phylogenetic trees are more balanced; clades correlate strongly with the spatial distribution and; there is a substantial increase in the intraspecies mtDNA similarity. We compare the evolutionary patterns observed in our model to empirical data from copepods (\textit{T. californicus}). We find good qualitative agreement in the geographic patterns and the topology of the phylogenetic tree, provided the model includes selection based on mito-nuclear interactions. These results highlight the role of mito-nuclear compatibility in the speciation process and its reconstruction from genetic data. △ Less

Submitted 12 October, 2020; originally announced October 2020.

Comments: 27 pages, 6 figures

Journal ref: Systematic Biology 70(1) pp.133-144, 2021

Measuring Tree Balance with Normalized Tree Area

Authors: T. Araújo Lima, Flavia M. D. Marquitti, Marcus A. M. de Aguiar

Abstract: The study of species organization and their clustering by genetic or phenotypic similarity is carried out with the tools of phylogenetic trees. An important structural property of phylogenetic trees is the balance, which measures how taxa are distributed among clades. Tree balance can be measured using indices such as the Sackin ($S$) and the Total Cophenetic ($Φ$), which are based on the distance… ▽ More The study of species organization and their clustering by genetic or phenotypic similarity is carried out with the tools of phylogenetic trees. An important structural property of phylogenetic trees is the balance, which measures how taxa are distributed among clades. Tree balance can be measured using indices such as the Sackin ($S$) and the Total Cophenetic ($Φ$), which are based on the distance between nodes of the tree and its root. Here, we propose a new metric for tree balance, $\bar{d}$, the Area per Pair (APP) of the tree, which is a re-scaled version of the so called tree area. We compute $\bar{d}$ for the rooted caterpillar and maximally balanced trees and we also obtain exact formulas for its expected value and variance under the Yule model. The variance of APP for Yule trees has the remarkable property of converging to an asymptotic constant value for large trees. We compare the Sackin, Total Cophenetic and APP indices for hundreds of empirical phylogenies and show that APP represents the observed distribution of tree balances better than the two other metrics. △ Less

Submitted 28 August, 2020; originally announced August 2020.

Comments: 17 pages, 14 figures

MSC Class: 92D15 and 92C42 and 92B10

Laplacian Matrices for Extremely Balanced and Unbalanced Phylogenetic Trees

Authors: T. Araújo Lima, Marcus A. M. de Aguiar

Abstract: Phylogenetic trees are important tools in the study of evolutionary relationships between species. Measures such as the index of Sackin, Colless, and Total Cophenetic have been extensively used to quantify tree balance, one key property of phylogenies. Recently a new proposal has been introduced, based on the spectrum of the Laplacian matrix associated with the tree. In this work, we calculate the… ▽ More Phylogenetic trees are important tools in the study of evolutionary relationships between species. Measures such as the index of Sackin, Colless, and Total Cophenetic have been extensively used to quantify tree balance, one key property of phylogenies. Recently a new proposal has been introduced, based on the spectrum of the Laplacian matrix associated with the tree. In this work, we calculate the Laplacian matrix analytically for two extreme cases, corresponding to fully balanced and fully unbalanced trees. For maximally balanced trees no closed form for the Laplacian matrix was derived, but we present an algorithm to construct it. We show that Laplacian matrices of fully balanced trees display self-similar patterns that result in highly degenerated eigenvalues. Degeneracy is the main signature of this topology, since it is totally absent in fully unbalanced trees. We also establish some analytical and numerical results about the largest eigenvalue of Laplacian matrices for these topologies. △ Less

Submitted 28 August, 2020; originally announced August 2020.

Comments: 24 pages, 12 figures

MSC Class: 92D15 and 92C42