Abstract: Deterministic Boolean networks are a type of discrete dynamical systems widely used in the modeling of genetic networks. The dynamics of such systems is characterized by the local activation functions and the update schedule, i.e., the order in which the nodes are updated. In this paper, we address the problem of knowing the different dynamics of a Boolean network when the update schedule is changed. We begin by proving that the problem of the existence of a pair of update schedules with different dynamics is NP-complete. However, we show that certain structural properties of the interaction digraph are sufficient for guaranteeing distinct dynamics of a network. In [1] the authors define equivalence classes which have the property that all the update schedules of a given class yield the same dynamics. In order to determine the dynamics associated to a network, we develop an algorithm to efficiently enumerate the above equivalence classes by selecting a representative update schedule for each class with a minimum number of blocks. Finally, we run this algorithm on the well known Arabidopsis thaliana network to determine the full spectrum of its different dynamics. (C) 2013 Elsevier Inc. All rights reserved.

Abstract: Many social phenomena can be viewed as processes in which individuals in social groups develop agreement (e.g., public opinion, the spreading of rumor, the formation of social and linguistic conventions). Conceptual Agreement Theory (CAT) models social agreement as a simplified communicational event in which an Observer and Actor exchange ideas about a concept , and where uses that information to infer whether 's conceptual state is the same as its own (i.e., to infer agreement). Agreement may be true (when infers that is thinking and this is in fact the case, event ) or illusory (when infers that is thinking and this is not the case, event ). In CAT, concepts that afford or become more salient in the minds of members of social groups. Results from an agent-based model (ABM) and probabilistic model that implement CAT show that, as our conceptual analyses suggested would be the case, the simulated social system selects concepts according to their usefulness to agents in promoting agreement among them (Experiment 1). Furthermore, the ABM exhibits more complex dynamics where similar minded agents cluster and are able to retain useful concepts even when a different group of agents discards them (Experiment 2). We discuss the relevance of CAT and the current findings for analyzing different social communication events, and suggest ways in which CAT could be put to empirical test.

Abstract: Macroscopic magnets can easily be manipulated and positioned so that interactions between themselves and with external fields induce interesting dynamics and equilibrium configurations. In this work, we use rotating magnets positioned in a line or at the vertices of a regular polygon. The rotation planes of the magnets can be modified at will. The rich structure of stable and unstable configurations is dictated by symmetry and the side of the polygon. We show that both symmetric solutions and their symmetry-breaking bifurcations can be explained with group theory. Our results suggest that the predicted magnetic textures should emerge at any length scale as long as the interaction is polar, and the system is endowed with the same symmetries.

Abstract: This paper investigates the dynamic stability of an adaptive learning procedure in a traffic game. Using the Routh-Hurwitz criterion we study the stability of the rest points of the corresponding mean field dynamics. In the special case with two routes and two players we provide a full description of the number and nature of these rest points as well as the global asymptotic behavior of the dynamics. Depending on the parameters of the model, we find that there are either one, two or three equilibria and we show that in all cases the mean field trajectories converge towards a rest point for almost all initial conditions.

Abstract: In this paper we study the family of freezing cellular automata (FCA) in the context of asynchronous updating schemes. A cellular automaton is called freezing if there exists an order of its states, and the transitions are only allowed to go from a lower to a higher state. A cellular automaton is asynchronous if at each time-step only one cell is updated. We define the problem ASYNCUNSTABILITY, which consists in deciding there exists a sequential updating scheme that changes the state of a given cell.
We begin showing that ASYNCUNSTABILITY is in NL for any one-dimensional FCA. Then we focus on the family of life-like freezing CA (LFCA). We study the complexity of ASYNCUNSTABILITY for all LFCA in the triangular and square grids, showing that almost all of them can be solved in NC, except for one rule for which the problem is NP-Complete. (C) 2021 Elsevier Inc. All rights reserved.

Abstract: Analyzing all the deterministic dynamics of a Boolean regulatory network is a difficult problem since it grows exponentially with the number of nodes. In this paper, we present mathematical and computational tools for analyzing the complete deterministic dynamics of Boolean regulatory networks. For this, the notion of alliance is introduced, which is a subconfiguration of states that remains fixed regardless of the values of the other nodes. Also, equivalent classes are considered, which are sets of updating schedules which have the same dynamics. Using these techniques, we analyze two yeast cell cycle models. Results show the effectiveness of the proposed tools for analyzing update robustness as well as the discovery of new information related to the attractors of the yeast cell cycle models considering all the possible deterministic dynamics, which previously have only been studied considering the parallel updating scheme.

Abstract: In this paper, we analyze the effects of vaccination from a spatial perspective. We propose a spatial deterministic SIRS-V model, which considers a non-linear system of partial differential equations with explicit attrition and diffusion terms for the vaccination process. The model allows us to simulate numerically the spatial and temporal dynamics of an epidemic, considering different spatial strategies for the vaccination policy. In particular, in our first example we analyze the classical SIRS-V evolution with the addition of movements due to diffusion, while in the second one we focus on modeling one ring vaccination policy. We expect this model can improve spatial predictions of SIR vaccination models by taking into account the spatial dimension of the problem. (C) 2020 Elsevier Ltd. All rights reserved.

Abstract: The origin of warm Jupiters (gas giant planets with periods between 10 and 200 days) is an open question in exoplanet formation and evolution. We investigate a particular migration theory in which a warm Jupiter is coupled to a perturbing companion planet that excites secular eccentricity oscillations in the warm Jupiter, leading to periodic close stellar passages that can tidally shrink and circularize its orbit. If such companions exist in warm Jupiter systems, they are likely to be massive and close-in, making them potentially detectable. We generate a set of warm Jupiter-perturber populations capable of engaging in high-eccentricity tidal migration and calculate the detectability of the perturbers through a variety of observational metrics. We show that a small percentage of these perturbers should be detectable in the Kepler light curves, but most should be detectable with precise radial velocity measurements over a 3 month baseline and Gaia astrometry. We find these results to be robust to the assumptions made for the perturber parameter distributions. If a high-precision radial velocity search for companions to warm Jupiters does not find evidence of a significant number of massive companions over a 3 month baseline, it will suggest that perturber-coupled high-eccentricity migration is not the predominant delivery method for warm Jupiters.

Abstract: The White Dwarf Binary Pathways Survey aims at increasing the number of known detached A, F, G, and K main-sequence stars in close orbits with white dwarf companions (WD+AFGK binaries) to refine our understanding about compact binary evolution and the nature of Supernova Ia progenitors. These close WD+AFGK binary stars are expected to form through common envelope evolution, in which tidal forces tend to circularize the orbit. However, some of the identified WD+AFGK binary candidates show eccentric orbits, indicating that these systems are either formed through a different mechanism or perhaps they are not close WD+AFGK binaries. We observed one of these eccentric WD+AFGK binaries with SPHERE and find that the system TYC 7218-934-1 is in fact a triple system where the WD is a distant companion. The inner binary likely consists of the G-type star plus an unseen low-mass companion in an eccentric orbit. Based on this finding, we estimate the fraction of triple systems that could contaminate the WD+AFGK sample. We find that less than 15 per cent of our targets with orbital periods shorter than 100 d might be hierarchical triples.

Abstract: Determining the architecture of multi-planetary systems is one of the cornerstones of understanding planet formation and evolution. Resonant systems are especially important as the fragility of their orbital configuration ensures that no significant scattering or collisional event has taken place since the earliest formation phase when the parent protoplanetary disc was still present. In this context, TOI-178 has been the subject of particular attention since the first TESS observations hinted at the possible presence of a near 2:3:3 resonant chain. Here we report the results of observations from CHEOPS, ESPRESSO, NGTS, and SPECULOOS with the aim of deciphering the peculiar orbital architecture of the system. We show that TOI-178 harbours at least six planets in the super-Earth to mini-Neptune regimes, with radii ranging from
1.152(-0.070)(+0.073)</textual-form>
1.152-0.070+0.073 to
2.87(-0.13)(+0.14)</textual-form> 2.87-0.13+0.14 Earth radii and periods of 1.91, 3.24, 6.56, 9.96, 15.23, and 20.71 days. All planets but the innermost one form a 2:4:6:9:12 chain of Laplace resonances, and the planetary densities show important variations from planet to planet, jumping from
1.02(-0.23)(+0.28)</textual-form> 1.02-0.23+0.28 to
0.177(-0.061)(+0.055)</textual-form> 0.177-0.061+0.055 times the Earth's density between planets c and d. Using Bayesian interior structure retrieval models, we show that the amount of gas in the planets does not vary in a monotonous way, contrary to what one would expect from simple formation and evolution models and unlike other known systems in a chain of Laplace resonances. The brightness of TOI-178 (H = 8.76 mag, J = 9.37 mag, V = 11.95 mag) allows for a precise characterisation of its orbital architecture as well as of the physical nature of the six presently known transiting planets it harbours. The peculiar orbital configuration and the diversity in average density among the planets in the system will enable the study of interior planetary structures and atmospheric evolution, providing important clues on the formation of super-Earths and mini-Neptunes.