Applying ACO To Large Scale TSP Instances

Ant Colony Optimisation (ACO) is a well known metaheuristic that has proven successful at solving Travelling Salesman Problems (TSP). However, ACO suffers from two issues; the first is that the technique has significant memory requirements for storing pheromone levels on edges between cities and second, the iterative probabilistic nature of choosing which city to visit next at every step is computationally expensive. This restricts ACO from solving larger TSP instances. This paper will present a methodology for deploying ACO on larger TSP instances by removing the high memory requirements, exploiting parallel CPU hardware and introducing a significant efficiency saving measure. The approach results in greater accuracy and speed. This enables the proposed ACO approach to tackle TSP instances of up to 200K cities within reasonable timescales using a single CPU. Speedups of as much as 1200 fold are achieved by the technique

The exact radiation-reaction equation for a classical charged particle

An unsolved problem of classical mechanics and classical electrodynamics is the search of the exact relativistic equations of motion for a classical charged point-particle subject to the force produced by the action of its EM self-field. The problem is related to the conjecture that for a classical charged point-particle there should exist a relativistic equation of motion (RR equation) which results both non-perturbative, in the sense that it does not rely on a perturbative expansion on the electromagnetic field generated by the charged particle and non-asymptotic, i.e., it does not depend on any infinitesimal parameter. In this paper we intend to propose a novel solution to this well known problem, and in particular to point out that the RR equation is necessarily variational. The approach is based on two key elements: 1) the adoption of the relativistic hybrid synchronous Hamilton variational principle recently pointed out (Tessarotto et al, 2006). Its basic feature is that it can be expressed in principle in terms of arbitrary "hybrid" variables (i.e., generally non-Lagrangian and non-Hamiltonian variables); 2) the variational treatment of the EM self-field, taking into account the exact particle dynamics.Comment: Contributed paper at RGD26 (Kyoto, Japan, July 2008

Higgs Pair Production: Choosing Benchmarks With Cluster Analysis

New physics theories often depend on a large number of free parameters. The precise values of those parameters in some cases drastically affect the resulting phenomenology of fundamental physics processes, while in others finite variations can leave it basically invariant at the level of detail experimentally accessible. When designing a strategy for the analysis of experimental data in the search for a signal predicted by a new physics model, it appears advantageous to categorize the parameter space describing the model according to the corresponding kinematical features of the final state. A multi-dimensional test statistic can be used to gauge the degree of similarity in the kinematics of different models; a clustering algorithm using that metric may then allow the division of the space into homogeneous regions, each of which can be successfully represented by a benchmark point. Searches targeting those benchmark points are then guaranteed to be sensitive to a large area of the parameter space. In this document we show a practical implementation of the above strategy for the study of non-resonant production of Higgs boson pairs in the context of extensions of the standard model with anomalous couplings of the Higgs bosons. A non-standard value of those couplings may significantly enhance the Higgs pair production cross section, such that the process could be detectable with the data that the Large Hadron Collider will collect in Run 2.Comment: Editorial changes, improvements in figures and changes in the appendi

Vegetation anomalies caused by antecedent precipitation in most of the world

Quantifying environmental controls on vegetation is critical to predict the net effect of climate change on global ecosystems and the subsequent feedback on climate. Following a non-linear Granger causality framework based on a random forest predictive model, we exploit the current wealth of multi-decadal satellite data records to uncover the main drivers of monthly vegetation variability at the global scale. Results indicate that water availability is the most dominant factor driving vegetation globally: about 61% of the vegetated surface was primarily water-limited during 1981-2010. This included semiarid climates but also transitional ecoregions. Intraannually, temperature controls Northern Hemisphere deciduous forests during the growing season, while antecedent precipitation largely dominates vegetation dynamics during the senescence period. The uncovered dependency of global vegetation on water availability is substantially larger than previously reported. This is owed to the ability of the framework to (1) disentangle the co-linearities between radiation/temperature and precipitation, and (2) quantify non-linear impacts of climate on vegetation. Our results reveal a prolonged effect of precipitation anomalies in dry regions: due to the long memory of soil moisture and the cumulative, nonlinear, response of vegetation, water-limited regions show sensitivity to the values of precipitation occurring three months earlier. Meanwhile, the impacts of temperature and radiation anomalies are more immediate and dissipate shortly, pointing to a higher resilience of vegetation to these anomalies. Despite being infrequent by definition, hydro-climatic extremes are responsible for up to 10% of the vegetation variability during the 1981-2010 period in certain areas, particularly in water-limited ecosystems. Our approach is a first step towards a quantitative comparison of the resistance and resilience signature of different ecosystems, and can be used to benchmark Earth system models in their representations of past vegetation sensitivity to changes in climate

A non-linear Granger-causality framework to investigate climate-vegetation dynamics

Satellite Earth observation has led to the creation of global climate data records of many important environmental and climatic variables. These come in the form of multivariate time series with different spatial and temporal resolutions. Data of this kind provide new means to further unravel the influence of climate on vegetation dynamics. However, as advocated in this article, commonly used statistical methods are often too simplistic to represent complex climate-vegetation relationships due to linearity assumptions. Therefore, as an extension of linear Granger-causality analysis, we present a novel non-linear framework consisting of several components, such as data collection from various databases, time series decomposition techniques, feature construction methods, and predictive modelling by means of random forests. Experimental results on global data sets indicate that, with this framework, it is possible to detect non-linear patterns that are much less visible with traditional Granger-causality methods. In addition, we discuss extensive experimental results that highlight the importance of considering non-linear aspects of climate-vegetation dynamics

Analyzing Trails in Complex Networks

Even more interesting than the intricate organization of complex networks are the dynamical behavior of systems which such structures underly. Among the many types of dynamics, one particularly interesting category involves the evolution of trails left by moving agents progressing through random walks and dilating processes in a complex network. The emergence of trails is present in many dynamical process, such as pedestrian traffic, information flow and metabolic pathways. Important problems related with trails include the reconstruction of the trail and the identification of its source, when complete knowledge of the trail is missing. In addition, the following of trails in multi-agent systems represent a particularly interesting situation related to pedestrian dynamics and swarming intelligence. The present work addresses these three issues while taking into account permanent and transient marks left in the visited nodes. Different topologies are considered for trail reconstruction and trail source identification, including four complex networks models and four real networks, namely the Internet, the US airlines network, an email network and the scientific collaboration network of complex network researchers. Our results show that the topology of the network influence in trail reconstruction, source identification and agent dynamics.Comment: 10 pages, 16 figures. A working manuscript, comments and criticisms welcome

Vector bundles on the projective line and finite domination of chain complexes

Finitely dominated chain complexes over a Laurent polynomial ring in one indeterminate are characterised by vanishing of their Novikov homology. We present an algebro-geometric approach to this result, based on extension of chain complexes to sheaves on the projective line. We also discuss the K-theoretical obstruction to extension.Comment: v1: 11 page

Solving Optimization Problems by the Public Goods Game

This document is the Accepted Manuscript version of the following article: Marco Alberto Javarone, ‘Solving optimization problems by the public goods game’, The European Physical Journal B, 90:17, September 2017. Under embargo. Embargo end date: 18 September 2018. The final, published version is available online at doi: https://doi.org/10.1140/epjb/e2017-80346-6. Published by Springer Berlin Heidelberg.We introduce a method based on the Public Goods Game for solving optimization tasks. In particular, we focus on the Traveling Salesman Problem, i.e. a NP-hard problem whose search space exponentially grows increasing the number of cities. The proposed method considers a population whose agents are provided with a random solution to the given problem. In doing so, agents interact by playing the Public Goods Game using the fitness of their solution as currency of the game. Notably, agents with better solutions provide higher contributions, while those with lower ones tend to imitate the solution of richer agents for increasing their fitness. Numerical simulations show that the proposed method allows to compute exact solutions, and suboptimal ones, in the considered search spaces. As result, beyond to propose a new heuristic for combinatorial optimization problems, our work aims to highlight the potentiality of evolutionary game theory beyond its current horizons.Peer reviewedFinal Accepted Versio

Set-Based Invariants over Polynomial Systems

Dynamical systems model the time evolution of both natural and engineered processes. The automatic analysis of such models relies on different techniques ranging from reachability analysis, model checking, theorem proving, and abstractions. In this context, invariants are subsets of the state space containing all the states reachable from themself. The verification and synthesis of invariants is still a challenging problem over many classes of dynamical systems, since it involves the analysis of an infinite time horizon. In this paper we propose a method for computing invariants through sets of trajectories propagation. The method has been implemented and tested in the tool Sapo which provides reachability methods over discrete time polynomial dynamical systems

CD24 signalling through macrophage Siglec-10 is a target for cancer immunotherapy.

Ovarian cancer and triple-negative breast cancer are among the most lethal diseases affecting women, with few targeted therapies and high rates of metastasis. Cancer cells are capable of evading clearance by macrophages through the overexpression of anti-phagocytic surface proteins called 'don't eat me' signals-including CD471, programmed cell death ligand 1 (PD-L1)2 and the beta-2 microglobulin subunit of the major histocompatibility class I complex (B2M)3. Monoclonal antibodies that antagonize the interaction of 'don't eat me' signals with their macrophage-expressed receptors have demonstrated therapeutic potential in several cancers4,5. However, variability in the magnitude and durability of the response to these agents has suggested the presence of additional, as yet unknown 'don't eat me' signals. Here we show that CD24 can be the dominant innate immune checkpoint in ovarian cancer and breast cancer, and is a promising target for cancer immunotherapy. We demonstrate a role for tumour-expressed CD24 in promoting immune evasion through its interaction with the inhibitory receptor sialic-acid-binding Ig-like lectin 10 (Siglec-10), which is expressed by tumour-associated macrophages. We find that many tumours overexpress CD24 and that tumour-associated macrophages express high levels of Siglec-10. Genetic ablation of either CD24 or Siglec-10, as well as blockade of the CD24-Siglec-10 interaction using monoclonal antibodies, robustly augment the phagocytosis of all CD24-expressing human tumours that we tested. Genetic ablation and therapeutic blockade of CD24 resulted in a macrophage-dependent reduction of tumour growth in vivo and an increase in survival time. These data reveal CD24 as a highly expressed, anti-phagocytic signal in several cancers and demonstrate the therapeutic potential for CD24 blockade in cancer immunotherapy