-
Optimizing Social Network Interventions via Hypergradient-Based Recommender System Design
Authors:
Marino Kühne,
Panagiotis D. Grontas,
Giulia De Pasquale,
Giuseppe Belgioioso,
Florian Dörfler,
John Lygeros
Abstract:
Although social networks have expanded the range of ideas and information accessible to users, they are also criticized for amplifying the polarization of user opinions. Given the inherent complexity of these phenomena, existing approaches to counteract these effects typically rely on handcrafted algorithms and heuristics. We propose an elegant solution: we act on the network weights that model us…
▽ More
Although social networks have expanded the range of ideas and information accessible to users, they are also criticized for amplifying the polarization of user opinions. Given the inherent complexity of these phenomena, existing approaches to counteract these effects typically rely on handcrafted algorithms and heuristics. We propose an elegant solution: we act on the network weights that model user interactions on social networks (e.g., frequency of communication), to optimize a performance metric (e.g., polarization reduction), while users' opinions follow the classical Friedkin-Johnsen model. Our formulation gives rise to a challenging large-scale optimization problem with non-convex constraints, for which we develop a gradient-based algorithm. Our scheme is simple, scalable, and versatile, as it can readily integrate different, potentially non-convex, objectives. We demonstrate its merit by: (i) rapidly solving complex social network intervention problems with 3 million variables based on the Reddit and DBLP datasets; (ii) significantly outperforming competing approaches in terms of both computation time and disagreement reduction.
△ Less
Submitted 18 February, 2025;
originally announced February 2025.
-
Safe Time-Varying Optimization based on Gaussian Processes with Spatio-Temporal Kernel
Authors:
Jialin Li,
Marta Zagorowska,
Giulia De Pasquale,
Alisa Rupenyan,
John Lygeros
Abstract:
Ensuring safety is a key aspect in sequential decision making problems, such as robotics or process control. The complexity of the underlying systems often makes finding the optimal decision challenging, especially when the safety-critical system is time-varying. Overcoming the problem of optimizing an unknown time-varying reward subject to unknown time-varying safety constraints, we propose TVSaf…
▽ More
Ensuring safety is a key aspect in sequential decision making problems, such as robotics or process control. The complexity of the underlying systems often makes finding the optimal decision challenging, especially when the safety-critical system is time-varying. Overcoming the problem of optimizing an unknown time-varying reward subject to unknown time-varying safety constraints, we propose TVSafeOpt, a new algorithm built on Bayesian optimization with a spatio-temporal kernel. The algorithm is capable of safely tracking a time-varying safe region without the need for explicit change detection. Optimality guarantees are also provided for the algorithm when the optimization problem becomes stationary. We show that TVSafeOpt compares favorably against SafeOpt on synthetic data, both regarding safety and optimality. Evaluation on a realistic case study with gas compressors confirms that TVSafeOpt ensures safety when solving time-varying optimization problems with unknown reward and safety functions.
△ Less
Submitted 26 September, 2024;
originally announced September 2024.
-
Fairness in Social Influence Maximization via Optimal Transport
Authors:
Shubham Chowdhary,
Giulia De Pasquale,
Nicolas Lanzetti,
Ana-Andreea Stoica,
Florian Dorfler
Abstract:
We study fairness in social influence maximization, whereby one seeks to select seeds that spread a given information throughout a network, ensuring balanced outreach among different communities (e.g. demographic groups). In the literature, fairness is often quantified in terms of the expected outreach within individual communities. In this paper, we demonstrate that such fairness metrics can be m…
▽ More
We study fairness in social influence maximization, whereby one seeks to select seeds that spread a given information throughout a network, ensuring balanced outreach among different communities (e.g. demographic groups). In the literature, fairness is often quantified in terms of the expected outreach within individual communities. In this paper, we demonstrate that such fairness metrics can be misleading since they overlook the stochastic nature of information diffusion processes. When information diffusion occurs in a probabilistic manner, multiple outreach scenarios can occur. As such, outcomes such as ``In 50% of the cases, no one in group 1 gets the information, while everyone in group 2 does, and in the other 50%, it is the opposite'', which always results in largely unfair outcomes, are classified as fair by a variety of fairness metrics in the literature. We tackle this problem by designing a new fairness metric, mutual fairness, that captures variability in outreach through optimal transport theory. We propose a new seed-selection algorithm that optimizes both outreach and mutual fairness, and we show its efficacy on several real datasets. We find that our algorithm increases fairness with only a minor decrease (and at times, even an increase) in efficiency.
△ Less
Submitted 30 January, 2025; v1 submitted 25 June, 2024;
originally announced June 2024.
-
Control Strategies for Recommendation Systems in Social Networks
Authors:
Ben Sprenger,
Giulia De Pasquale,
Raffaele Soloperto,
John Lygeros,
Florian Dörfler
Abstract:
A closed-loop control model to analyze the impact of recommendation systems on opinion dynamics within social networks is introduced. The core contribution is the development and formalization of model-free and model-based approaches to recommendation system design, integrating the dynamics of social interactions within networks via an extension of the Friedkin-Johnsen (FJ) model. Comparative anal…
▽ More
A closed-loop control model to analyze the impact of recommendation systems on opinion dynamics within social networks is introduced. The core contribution is the development and formalization of model-free and model-based approaches to recommendation system design, integrating the dynamics of social interactions within networks via an extension of the Friedkin-Johnsen (FJ) model. Comparative analysis and numerical simulations demonstrate the effectiveness of the proposed control strategies in maximizing user engagement and their potential for influencing opinion formation processes.
△ Less
Submitted 10 March, 2024;
originally announced March 2024.
-
A Classification of Feedback Loops and Their Relation to Biases in Automated Decision-Making Systems
Authors:
Nicolò Pagan,
Joachim Baumann,
Ezzat Elokda,
Giulia De Pasquale,
Saverio Bolognani,
Anikó Hannák
Abstract:
Prediction-based decision-making systems are becoming increasingly prevalent in various domains. Previous studies have demonstrated that such systems are vulnerable to runaway feedback loops, e.g., when police are repeatedly sent back to the same neighborhoods regardless of the actual rate of criminal activity, which exacerbate existing biases. In practice, the automated decisions have dynamic fee…
▽ More
Prediction-based decision-making systems are becoming increasingly prevalent in various domains. Previous studies have demonstrated that such systems are vulnerable to runaway feedback loops, e.g., when police are repeatedly sent back to the same neighborhoods regardless of the actual rate of criminal activity, which exacerbate existing biases. In practice, the automated decisions have dynamic feedback effects on the system itself that can perpetuate over time, making it difficult for short-sighted design choices to control the system's evolution. While researchers started proposing longer-term solutions to prevent adverse outcomes (such as bias towards certain groups), these interventions largely depend on ad hoc modeling assumptions and a rigorous theoretical understanding of the feedback dynamics in ML-based decision-making systems is currently missing. In this paper, we use the language of dynamical systems theory, a branch of applied mathematics that deals with the analysis of the interconnection of systems with dynamic behaviors, to rigorously classify the different types of feedback loops in the ML-based decision-making pipeline. By reviewing existing scholarly work, we show that this classification covers many examples discussed in the algorithmic fairness community, thereby providing a unifying and principled framework to study feedback loops. By qualitative analysis, and through a simulation example of recommender systems, we show which specific types of ML biases are affected by each type of feedback loop. We find that the existence of feedback loops in the ML-based decision-making pipeline can perpetuate, reinforce, or even reduce ML biases.
△ Less
Submitted 10 May, 2023;
originally announced May 2023.
-
ROPfuscator: Robust Obfuscation with ROP
Authors:
Giulio De Pasquale,
Fukutomo Nakanishi,
Daniele Ferla,
Lorenzo Cavallaro
Abstract:
Software obfuscation plays a crucial role in protecting intellectual property in software from reverse engineering attempts. While some obfuscation techniques originate from the obfuscation-reverse engineering arms race, others stem from different research areas, such as binary software exploitation. Return-oriented programming (ROP) gained popularity as one of the most effective exploitation tech…
▽ More
Software obfuscation plays a crucial role in protecting intellectual property in software from reverse engineering attempts. While some obfuscation techniques originate from the obfuscation-reverse engineering arms race, others stem from different research areas, such as binary software exploitation. Return-oriented programming (ROP) gained popularity as one of the most effective exploitation techniques for memory error vulnerabilities. ROP interferes with our natural perception of a process control flow, inspiring us to repurpose ROP as a robust and effective form of software obfuscation. Although previous work already explores ROP's effectiveness as an obfuscation technique, evolving reverse engineering research raises the need for principled reasoning to understand the strengths and limitations of ROP-based mechanisms against man-at-the-end (MATE) attacks. To this end, we present ROPfuscator, a compiler-driven obfuscation pass based on ROP for any programming language supported by LLVM. We incorporate opaque predicates and constants and a novel instruction hiding technique to withstand sophisticated MATE attacks. More importantly, we introduce a realistic and unified threat model to thoroughly evaluate ROPfuscator and provide principled reasoning on ROP-based obfuscation techniques that answer to code coverage, incurred overhead, correctness, robustness, and practicality challenges.
△ Less
Submitted 3 April, 2023; v1 submitted 16 December, 2020;
originally announced December 2020.
-
Mechanical Fatigue on Gold MEMS Devices: Experimental Results
Authors:
Giorgio De Pasquale,
Aurelio Somà,
Alberto Ballestra
Abstract:
The effect of mechanical fatigue on structural performances of gold devices is investigated. The pull-in voltage of special testing micro-systems is monitored during the cyclical load application. The mechanical collapse is identified as a dramatic loss of mechanical strength of the specimen. The fatigue limit is estimated through the stair-case method by means of the pull-in voltage measurement…
▽ More
The effect of mechanical fatigue on structural performances of gold devices is investigated. The pull-in voltage of special testing micro-systems is monitored during the cyclical load application. The mechanical collapse is identified as a dramatic loss of mechanical strength of the specimen. The fatigue limit is estimated through the stair-case method by means of the pull-in voltage measurements. Measurements are performed by means of the optical interferometric technique.
△ Less
Submitted 7 May, 2008;
originally announced May 2008.
-
RF-MEMS beam components : FEM modelling and experimental identification of pull-in in presence of residual stress
Authors:
Alberto Ballestra,
Eugenio Brusa,
Giorgio De Pasquale,
Mircea Gh. Munteanu,
Aurelio Somà
Abstract:
In this paper an experimental validation of numerical approaches aimed to predict the coupled behaviour of microbeams for out-of-plane bending tests is performed. This work completes a previous investigation concerning in plane microbeams bending. Often out-of-plane microcantilevers and clamped-clamped microbeams suffer the presence of residual strain and stress, which affect the value of pull-i…
▽ More
In this paper an experimental validation of numerical approaches aimed to predict the coupled behaviour of microbeams for out-of-plane bending tests is performed. This work completes a previous investigation concerning in plane microbeams bending. Often out-of-plane microcantilevers and clamped-clamped microbeams suffer the presence of residual strain and stress, which affect the value of pull-in voltage. In case of microcantilever an accurate modelling includes the effect of the initial curvature due to microfabrication. In double clamped microbeams a preloading applied by tensile stress is considered. Geometrical onlinearity caused by mechanical coupling between axial and flexural behaviour is detected and modelled. Experimental results demonstrate a good agreement between FEM approaches proposed and tests. A fairly fast and accurate prediction of pull-in condition is performed, thus numerical models can be used to identify residual stress in microbridges by reverse analysis from the measured value of pull-in voltage.
△ Less
Submitted 7 May, 2008;
originally announced May 2008.
-
Comparison Between Damping Coefficients of Measured Perforated Micromechanical Test Structures and Compact Models
Authors:
T. Veijola,
Giorgio De Pasquale,
Aurelio Somà
Abstract:
Measured damping coefficients of six different perforated micromechanical test structures are compared with damping coefficients given by published compact models. The motion of the perforated plates is almost translational, the surface shape is rectangular, and the perforation is uniform validating the assumptions made for compact models. In the structures, the perforation ratio varies from 24%…
▽ More
Measured damping coefficients of six different perforated micromechanical test structures are compared with damping coefficients given by published compact models. The motion of the perforated plates is almost translational, the surface shape is rectangular, and the perforation is uniform validating the assumptions made for compact models. In the structures, the perforation ratio varies from 24% - 59%. The study of the structure shows that the compressibility and inertia do not contribute to the damping at the frequencies used (130kHz - 220kHz). The damping coefficients given by all four compact models underestimate the measured damping coefficient by approximately 20%. The reasons for this underestimation are discussed by studying the various flow components in the models.
△ Less
Submitted 7 May, 2008;
originally announced May 2008.
-
Identification of Test Structures for Reduced Order Modeling of the Squeeze Film Damping in Mems
Authors:
A. Soma,
G. De Pasquale
Abstract:
In this study the dynamic behaviour of perforated microplates oscillating under the effect of squeeze film damping is analyzed. A numerical approach is adopted to predict the effects of damping and stiffness transferred from the surrounding ambient air to oscillating structures ; the effect of hole's cross section and plate's extension is observed. Results obtained by F.E.M. models are compared…
▽ More
In this study the dynamic behaviour of perforated microplates oscillating under the effect of squeeze film damping is analyzed. A numerical approach is adopted to predict the effects of damping and stiffness transferred from the surrounding ambient air to oscillating structures ; the effect of hole's cross section and plate's extension is observed. Results obtained by F.E.M. models are compared with experimental measurements performed by an optical interferometric microscope.
△ Less
Submitted 21 February, 2008;
originally announced February 2008.
