SearcharxivSearch

arXiv subjects

Alessio Troiani

Publications and source records attributed to Alessio Troiani.

14 recordsLinked to original sources

Network node immunization: improving Netshield algorithm through random rooted forests

We are interested in the so-called multiple-node immunization problem for complex networks under attack by a viral agent. It consists in identifying and removing a set of nodes of size $k$ in a graph to maximize the impeding of virus spread. A few approaches have been proposed in the literature based on numerical and theoretical insights on how classical models for virus spread evolve on graphs. Based on the analysis of these models, the maximal eigenvalue of the adjacency matrix of the graph has become a classical measure of how resilient the network is. Thus, a clear, well-explored approach for multiple-node immunization consists of identifying a set of $k$ nodes in such a way that the reduced network, obtained by removing these nodes, has a minimal largest eigenvalue. This spectral optimization problem turns out to be a computationally hard problem for which only greedy algorithms offer good solutions at efficient computational time. Among those, the so-called Netshield algorithm represents one of the reference choices. The latter is, in fact, a clearly defined algorithm aiming at optimizing a certain sub-modular functional, called shield-value, which approximates the original optimization problem. We propose here a novel procedure, based on random walk kernels and related random spanning forests, to build a new algorithm, referred to as K-shield, which enhances Netshield searching performance at the same computational complexity. We give theoretical insights behind this novel method, which could also be used for other optimization problems, and then test it via numerical showcase experiments on various benchmarks.

cs.SI

Bayesian Inversion via Probabilistic Cellular Automata: an application to image denoising

We propose using Probabilistic Cellular Automata (PCA) to address inverse problems with the Bayesian approach. In particular, we use PCA to sample from an approximation of the posterior distribution. The peculiar feature of PCA is their intrinsic parallel nature, which allows for a straightforward parallel implementation that allows the exploitation of parallel computing architecture in a natural and efficient manner. We compare the performance of the PCA method with the standard Gibbs sampler on an image denoising task in terms of Peak Signal-to-Noise Ratio (PSNR) and Structural Similarity (SSIM). The numerical results and the large speedups obtained with this approach suggest that PCA-based algorithms are a promising alternative for Bayesian inference in high-dimensional inverse problems.

stat.CO

Microwave Remote Sensing of Soil Moisture, Above Ground Biomass and Freeze-Thaw Dynamic: Modeling and Empirical Approaches

Human actions have accelerated changes in global temperature, precipitation patterns, and other critical Earth systems. Key markers of these changes can be linked to the dynamic of Essential Climate Variables (ECVs) and related quantities, such as Soil Moisture (SM), Above Ground Biomass (AGB), and Freeze-Thaw (FT) Dynamics. These variables are crucial for understanding global climate changes, hydrological and carbon cycles included. Monitoring these variables helps to validate climate models and inform policy decisions. Technologies like microwave remote sensing provide critical tools for monitoring the effects of human activities on these variables at a global scale. Other than proper tachenological developments, the study of ECVs requires suitable theoretical retrieval tools, which leads to the solutions of inverse problems. In this brief survey, we analyze and summarize the main retrieval techniques available in the literature for SM, AGB, and FT, performed on data collected with microwave remote sensing sensors. Such methods will be some of the fundamental algorithms that can find applications in the research activities of the interdisciplinary, curiosity-driven, project {\it REmote sensing daTa INversion with multivariate functional modeling for essential climAte variables characterization (RETINA)}, recently funded by the European Union under the Italian National Recovery and Resilience Plan of NextGenerationEU, under the Italian Ministry of University and Research. The main goal of RETINA, in which three research units from three different italian universities are involved, is to create innovative techniques for analyzing data generated by the interaction of electromagnetic waves with the Earth's surface, applying theoretical insights to address real-world challenges.

math.NA

On some features of Quadratic Unconstrained Binary Optimization with random coefficients

Quadratic Unconstrained Binary Optimization (QUBO or UBQP) is concerned with maximizing/minimizing the quadratic form $H(J, \eta) = W \sum_{i,j} J_{i,j} \eta_{i} \eta_{j}$ with $J$ a matrix of coefficients, $\eta \in \{0, 1\}^N$ and $W$ a normalizing constant. In the statistical mechanics literature, QUBO is a lattice gas counterpart to the (generalized) Sherrington--Kirkpatrick spin glass model. Finding the optima of $H$ is an NP-hard problem. Several problems in combinatorial optimization and data analysis can be mapped to QUBO in a straightforward manner. In the combinatorial optimization literature, random instances of QUBO are often used to test the effectiveness of heuristic algorithms. Here we consider QUBO with random independent coefficients and show that if the $J_{i,j}$'s have zero mean and finite variance then, after proper normalization, the minimum and maximum \emph{per particle} of $H$ do not depend on the details of the distribution of the couplings and are concentrated around their expected values. Further, with the help of numerical simulations, we study the minimum and maximum of the objective function and provide some insight into the structure of the minimizer and the maximizer of $H$. We argue that also this structure is rather robust. Our findings hold also in the diluted case where each of the $J_{i,j}$'s is allowed to be zero with probability going to $1$ as $N \to \infty$ in a suitable way.

math.PR

Shaken Dynamics on the 3-D Cubic Lattice

On the space of $\pm 1$ spin configurations on the 3$d$-square lattice, we consider the \emph{shaken dynamics}, a parallel Markovian dynamics that can be interpreted in terms of Probabilistic Cellular Automata. The transition probabilities are defined in terms of pair ferromagnetic Ising-type Hamiltonians with nearest neighbor interaction $J$, depending on an additional parameter $q$, measuring the tendency of the system to remain locally in the same state. Odd times and even times have different transition probabilities. We compute the stationary measure of the shaken dynamics and we investigate its relation with the Gibbs measure for the 3$d$ Ising model. It turns out that the two parameters $J$ and $q$ tune the geometry of the underlying lattice. We conjecture the existence of unique line of critical points in $J-q$ plane. By a judicious use of perturbative methods we delimit the region where such curve must lie and we perform numerical simulation to determine it. Our method allows us to find in a unified way the critical values of $J$ for Ising model with first neighbors interaction, defined on a whole class of lattices, intermediate between the two-dimensional hexagonal and the three-dimensional cubic one, such as, for example, the tetrahedral lattice. Finally we estimate the critical exponents of the magnetic susceptibility and show that our model captures a dimensional transition in the geometry of the system at $q = 0$.

cond-mat.stat-mech

Lonely planets and light belts: the Statistical Mechanics of Gravitational Systems

In this paper we propose a notion of stability, that we call $ε-N$-stability, for systems of particles interacting via Newton's gravitational potential, and orbiting a much bigger object. For these systems the usual thermodynamical stability condition, ensuring the possibility to perform the thermodynamical limit, fails, but one can use as relevant parameter the maximum number of particles $N$ that guarantees the $ε-N$-stability. With some judicious but not particularly optimized estimates, borrowed from the classical theory of equilibrium statistical mechanics, we show that our model has a good fit with the data observed in the Solar System, and it gives a reasonable interpretation of some of its global properties.

math-ph

Shaken dynamics: an easy way to parallel Markov Chain Monte Carlo

We define a class of Markovian parallel dynamics for spin systems on arbitrary graphs with nearest neighbor interaction described by a Hamiltonian function $H(σ)$. These dynamics turn out to be reversible and their stationary measure is explicitly determined. Convergence to equilibrium and relation of the stationary measure to the usual Gibbs measure are discussed when the dynamics is defined on $\mathbb{Z}^2$. Further it is shown how these dynamics can be used to define natively parallel algorithms to face problems in the context of combinatorial optimization.

math-ph

Metastability for the Ising model on the hexagonal lattice

We consider the Ising model on the hexagonal lattice evolving according to Metropolis dynamics. We study its metastable behavior in the limit of vanishing temperature when the system is immersed in a small external magnetic field. We determine the asymptotic properties of the transition time from the metastable to the stable state up to a multiplicative factor and study the mixing time and the spectral gap of the Markov process. We give a geometrical description of the critical configurations and show how not only their size but their shape varies depending on the thermodynamical parameters. Finally we provide some results concerning polyiamonds of maximal area and minimal perimeter.

math.PR

Tides and dumbbell dynamics

We discuss a model describing the effects of tidal dissipation on satellite's orbits. Tidal bulges are described in terms of a dumbbell, coupled to the rotation by a dissipative interaction. The assumptions on this dissipative coupling turns out to be crucial in the evolution of the system.

astro-ph.EP

Parallel simulation of two--dimensional Ising models using Probabilistic Cellular Automata

We perform a numerical investigation of the \emph{shaken dynamics}, a parallel Markovian dynamics for spin systems with local interaction and whose transition probabilities depend on two parameters, $q$ and $J$, that tune the geometry of the underlying lattice. We determine a phase transition curve, in the $(q, J)$ plane, separating the disordered phase from the ordered one, study the mixing time of the Markov chain and evaluate the spin-spin correlations as $q$ and $J$ vary. Further, we investigate the relation between the equilibrium measure of the shaken dynamics and the Gibbs measure for the Ising model. Two different approaches are considered for the implementation of the dynamics: a multicore CPU approach, with code written in Julia and a GPU approach with code written in CUDA.

physics.comp-ph

Criticality of measures on 2-d Ising configurations: from square to hexagonal graphs

On the space of Ising configurations on the 2-d square lattice, we consider a family of non Gibbsian measures introduced by using a pair Hamiltonian, depending on an additional inertial parameter $q$. These measures are related to the usual Gibbs measure on $\Z^2$ and turn out to be the marginal of the Gibbs measure of a suitable Ising model on the hexagonal lattice. The inertial parameter $q$ tunes the geometry of the system. The critical behaviour and the decay of correlation functions of these measures are studied thanks to relation with the Random Cluster model.

math-ph

Gaussian Mean Fields Lattice Gas

We study rigorously a lattice gas version of the Sherrington-Kirckpatrick spin glass model. In discrete optimization literature this problem is known as Unconstrained Binary Quadratic Programming (UBQP) and it belongs to the class NP-hard. We prove that the fluctuations of the ground state energy tend to vanish in the thermodynamic limit, and we give a lower bound of such ground state energy. Then we present an heuristic algorithm, based on a probabilistic cellular automaton, which seems to be able to find configurations with energy very close to the minimum, even for quite large instances.

math-ph

Kawasaki dynamics with two types of particles: critical droplets

This is the third in a series of three papers in which we study a two-dimensional lattice gas consisting of two types of particles subject to Kawasaki dynamics at low temperature in a large finite box with an open boundary. Each pair of particles occupying neighboring sites has a negative binding energy provided their types are different, while each particle has a positive activation energy that depends on its type. There is no binding energy between particles of the same type. At the boundary of the box particles are created and annihilated in a way that represents the presence of an infinite gas reservoir. We start the dynamics from the empty box and are interested in the transition time to the full box. This transition is triggered by a critical droplet appearing somewhere in the box. In the first paper we identified the parameter range for which the system is metastable, showed that the first entrance distribution on the set of critical droplets is uniform, computed the expected transition time up to and including a multiplicative factor of order one, and proved that the nucleation time divided by its expectation is exponentially distributed, all in the limit of low temperature. These results were proved under three hypotheses, and involved three model-dependent quantities: the energy, the shape and the number of critical droplets. Here prove the third hypothesis and identify the shape and the number of critical droplets. The geometric properties of subcritical, critical and supercritical droplets, which are crucial in determining the metastable behavior of the system are identified. The geometry turns out to be considerably more complex than for Kawasaki dynamics with one type of particle, for which an extensive literature exists. The main motivation behind our work is to understand metastability of multi-type particle systems.

math.PR

Kawasaki dynamics with two types of particles: stable/metastable configurations and communication heights

This is the second in a series of three papers in which we study a two-dimensional lattice gas consisting of two types of particles subject to Kawasaki dynamics at low temperature in a large finite box with an open boundary. Each pair of particles occupying neighboring sites has a negative binding energy provided their types are different, while each particle has a positive activation energy that depends on its type. There is no binding energy between particles of the same type. At the boundary of the box particles are created and annihilated in a way that represents the presence of an infinite gas reservoir. We start the dynamics from the empty box and are interested in the transition time to the full box. This transition is triggered by a critical droplet appearing somewhere in the box. In the first paper we identified the parameter range for which the system is metastable, showed that the first entrance distribution on the set of critical droplets is uniform, computed the expected transition time up to and including a multiplicative factor of order one, and proved that the nucleation time divided by its expectation is exponentially distributed, all in the limit of low temperature. These results were proved under three hypotheses, and involve three model-dependent quantities: the energy, the shape and the number of critical droplets. In this second paper we prove the first and the second hypothesis and identify the energy of critical droplets. The paper deals with understanding the geometric properties of subcritical, critical and supercritical droplets, which are crucial in determining the metastable behavior of the system. The geometry turns out to be considerably more complex than for Kawasaki dynamics with one type of particle, for which an extensive literature exists. The main motivation behind our work is to understand metastability of multi- type particle systems.

math.PR