-
Convergence and Robustness Bounds for Distributed Asynchronous Shortest-Path
Authors:
Jared Miller,
Mattia Bianchi,
Florian Dörfler
Abstract:
This work analyzes convergence times and robustness bounds for asynchronous distributed shortest-path computation. We focus on the Adaptive Bellman--Ford algorithm, a self-stabilizing method in which each agent updates its shortest-path estimate based only on the estimates of its neighbors and forgetting its previous estimate. In the asynchronous framework considered in this paper, agents are allo…
▽ More
This work analyzes convergence times and robustness bounds for asynchronous distributed shortest-path computation. We focus on the Adaptive Bellman--Ford algorithm, a self-stabilizing method in which each agent updates its shortest-path estimate based only on the estimates of its neighbors and forgetting its previous estimate. In the asynchronous framework considered in this paper, agents are allowed to idle or encounter race conditions during their execution of the Adaptive Bellman--Ford algorithm. We build on Lyapunov-based results that develop finite-time convergence and robustness bounds for the synchronous shortest-path setting, in order to produce finite-time convergence and robustness bounds for the asynchronous setting. We also explore robustness against interval-bounded noise processes and establish convergence and robustness guarantees for asynchronous most-probable-path algorithms.
△ Less
Submitted 9 July, 2025;
originally announced July 2025.
-
Online Feedback Optimization for Monotone Systems without Timescale Separation
Authors:
Mattia Bianchi,
Florian Dörfler
Abstract:
Online Feedback Optimization (OFO) steers a dynamical plant to a cost-efficient steady-state, only relying on input-output sensitivity information, rather than on a full plant model. Unlike traditional feedforward approaches, OFO leverages real-time measurements from the plant, thereby inheriting the robustness and adaptability of feedback control. Unfortunately, existing theoretical guarantees fo…
▽ More
Online Feedback Optimization (OFO) steers a dynamical plant to a cost-efficient steady-state, only relying on input-output sensitivity information, rather than on a full plant model. Unlike traditional feedforward approaches, OFO leverages real-time measurements from the plant, thereby inheriting the robustness and adaptability of feedback control. Unfortunately, existing theoretical guarantees for OFO assumes that the controller operates on a slower timescale than the plant, which can affect responsiveness and transient performance. In this paper, we focus on relaxing this ``timescale separation'' assumption. Specifically, we consider the class of monotone systems, and we prove that OFO can achieve an optimal operating point, regardless of the time constants of controller and plant. By leveraging a small gain theorem for monotone systems, we derive several sufficient conditions for global convergence. Notably, these conditions depend only on the steady-state behavior of the plant, and they are entirely independent of the transient dynamics.
△ Less
Submitted 19 June, 2025;
originally announced June 2025.
-
BN-Pool: a Bayesian Nonparametric Approach to Graph Pooling
Authors:
Daniele Castellana,
Filippo Maria Bianchi
Abstract:
We introduce BN-Pool, the first clustering-based pooling method for Graph Neural Networks (GNNs) that adaptively determines the number of supernodes in a coarsened graph. By leveraging a Bayesian non-parametric framework, BN-Pool employs a generative model capable of partitioning graph nodes into an unbounded number of clusters. During training, we learn the node-to-cluster assignments by combinin…
▽ More
We introduce BN-Pool, the first clustering-based pooling method for Graph Neural Networks (GNNs) that adaptively determines the number of supernodes in a coarsened graph. By leveraging a Bayesian non-parametric framework, BN-Pool employs a generative model capable of partitioning graph nodes into an unbounded number of clusters. During training, we learn the node-to-cluster assignments by combining the supervised loss of the downstream task with an unsupervised auxiliary term, which encourages the reconstruction of the original graph topology while penalizing unnecessary proliferation of clusters. This adaptive strategy allows BN-Pool to automatically discover an optimal coarsening level, offering enhanced flexibility and removing the need to specify sensitive pooling ratios. We show that BN-Pool achieves superior performance across diverse benchmarks.
△ Less
Submitted 16 January, 2025;
originally announced January 2025.
-
A Stability Condition for Online Feedback Optimization without Timescale Separation
Authors:
Mattia Bianchi,
Florian Dörfler
Abstract:
Online Feedback Optimization (OFO) is a control approach to drive a dynamical plant to an optimal steady state. By interconnecting optimization algorithms with real-time plant measurements, OFO provides all the benefits of feedback control, yet without requiring exact knowledge of plant dynamics for computing a setpoint. On the downside, existing stability guarantees for OFO require the controller…
▽ More
Online Feedback Optimization (OFO) is a control approach to drive a dynamical plant to an optimal steady state. By interconnecting optimization algorithms with real-time plant measurements, OFO provides all the benefits of feedback control, yet without requiring exact knowledge of plant dynamics for computing a setpoint. On the downside, existing stability guarantees for OFO require the controller to evolve on a sufficiently slower timescale than the plant, possibly affecting transient performance and responsiveness to disturbances. In this paper, we prove that, under suitable conditions, OFO ensures stability without any timescale separation. In particular, the condition we propose is independent of the time constant of the plant, hence it is scaling-invariant. Our analysis leverages a composite Lyapunov function, which is the $\max$ of plant-related and controller-related components. We corroborate our theoretical results with numerical examples.
△ Less
Submitted 11 July, 2025; v1 submitted 14 December, 2024;
originally announced December 2024.
-
On non self-normalizing subgroups
Authors:
Mariagrazia Bianchi,
Rachel D. Camina,
Mark L. Lewis,
Emanuele Pacifici,
Lucia Sanus
Abstract:
Let $n$ be a non negative integer, and define $D_n$ to be the family of all finite groups having precisely $n$ conjugacy classes of nontrivial subgroups that are not self-normalizing. We are interested in studying the behavior of $D_n$ and its interplay with solvability and nilpotency. We first show that if $G$ belongs to $D_n$ with $n \le 3$, then $G$ is solvable of derived length at most 2. We a…
▽ More
Let $n$ be a non negative integer, and define $D_n$ to be the family of all finite groups having precisely $n$ conjugacy classes of nontrivial subgroups that are not self-normalizing. We are interested in studying the behavior of $D_n$ and its interplay with solvability and nilpotency. We first show that if $G$ belongs to $D_n$ with $n \le 3$, then $G$ is solvable of derived length at most 2. We also show that $A_5$ is the unique nonsolvable group in $D_4$, and that $SL_2(3)$ is the unique solvable group in $D_4$ whose derived length is larger than 2. For a group $G$, we define $D(G)$ to be the number of conjugacy classes of nontrivial subgroups that are not self-normalizing. We determine the relationship between $D(H \times K)$ and $D(H)$ and $D(K)$. We show that if $G$ is nilpotent and lies in $D_n$, then $G$ has nilpotency class at most $n/2$ and its derived length is at most $\log_2 (n/2) + 1$. We consider $D_n$ for several classes of Frobenius groups, and we use this classification to classify the groups in $D_0$, $D_1$, $D_2$, and $D_3$. Finally, we show that if $G$ is solvable and lies in $D_n$ with $n \ge 3$, then $G$ has derived length at most the minimum of $n-1$ and $3 \log_2 (n+1) + 9$.
△ Less
Submitted 27 November, 2024;
originally announced November 2024.
-
Contractivity and linear convergence in bilinear saddle-point problems: An operator-theoretic approach
Authors:
Colin Dirren,
Mattia Bianchi,
Panagiotis D. Grontas,
John Lygeros,
Florian Dörfler
Abstract:
We study the convex-concave bilinear saddle-point problem $\min_x \max_y f(x) + y^\top Ax - g(y)$, where both, only one, or none of the functions $f$ and $g$ are strongly convex, and suitable rank conditions on the matrix $A$ hold. The solution of this problem is at the core of many machine learning tasks. By employing tools from monotone operator theory, we systematically prove the contractivity…
▽ More
We study the convex-concave bilinear saddle-point problem $\min_x \max_y f(x) + y^\top Ax - g(y)$, where both, only one, or none of the functions $f$ and $g$ are strongly convex, and suitable rank conditions on the matrix $A$ hold. The solution of this problem is at the core of many machine learning tasks. By employing tools from monotone operator theory, we systematically prove the contractivity (in turn, the linear convergence) of several first-order primal-dual algorithms, including the Chambolle-Pock method. Our approach results in concise proofs, and it yields new convergence guarantees and tighter bounds compared to known results.
△ Less
Submitted 21 April, 2025; v1 submitted 18 October, 2024;
originally announced October 2024.
-
Estimation Network Design framework for efficient distributed optimization
Authors:
Mattia Bianchi,
Sergio Grammatico
Abstract:
Distributed decision problems features a group of agents that can only communicate over a peer-to-peer network, without a central memory. In applications such as network control and data ranking, each agent is only affected by a small portion of the decision vector: this sparsity is typically ignored in distributed algorithms, while it could be leveraged to improve efficiency and scalability. To a…
▽ More
Distributed decision problems features a group of agents that can only communicate over a peer-to-peer network, without a central memory. In applications such as network control and data ranking, each agent is only affected by a small portion of the decision vector: this sparsity is typically ignored in distributed algorithms, while it could be leveraged to improve efficiency and scalability. To address this issue, our recent paper introduces Estimation Network Design (END), a graph theoretical language for the analysis and design of distributed iterations. END algorithms can be tuned to exploit the sparsity of specific problem instances, reducing communication overhead and minimizing redundancy, yet without requiring case-by-case convergence analysis. In this paper, we showcase the flexility of END in the context of distributed optimization. In particular, we study the sparsity-aware version of many established methods, including ADMM, AugDGM and Push-Sum DGD. Simulations on an estimation problem in sensor networks demonstrate that END algorithms can boost convergence speed and greatly reduce the communication and memory cost.
△ Less
Submitted 23 April, 2024;
originally announced April 2024.
-
Constrained multi-cluster game: Distributed Nash equilibrium seeking over directed graphs
Authors:
Duong Thuy Anh Nguyen,
Mattia Bianchi,
Florian Dörfler,
Duong Tung Nguyen,
Angelia Nedić
Abstract:
Motivated by the complex dynamics of cooperative and competitive interactions within networked agent systems, multi-cluster games provide a framework for modeling the interconnected goals of self-interested clusters of agents. For this setup, the existing literature lacks comprehensive gradient-based solutions that simultaneously consider constraint sets and directed communication networks, both o…
▽ More
Motivated by the complex dynamics of cooperative and competitive interactions within networked agent systems, multi-cluster games provide a framework for modeling the interconnected goals of self-interested clusters of agents. For this setup, the existing literature lacks comprehensive gradient-based solutions that simultaneously consider constraint sets and directed communication networks, both of which are crucial for many practical applications. To address this gap, this paper proposes a distributed Nash equilibrium seeking algorithm that integrates consensus-based methods and gradient-tracking techniques, where inter-cluster and intra-cluster communications only use row- and column-stochastic weight matrices, respectively. To handle constraints, we introduce an averaging procedure, which can effectively address the complications associated with projections. In turn, we can show linear convergence of our algorithm, focusing on the contraction property of the optimality gap. We demonstrate the efficacy of the proposed algorithm through a microgrid energy management application.
△ Less
Submitted 22 April, 2024;
originally announced April 2024.
-
Location-Domination Type Problems Under the Mycielski Construction
Authors:
Silvia M. Bianchi,
Dipayan Chakraborty,
Yanina Lucarini,
Annegret K. Wagler
Abstract:
We consider the following variants of the classical minimum dominating set problem in graphs: locating-dominating set, locating total-dominating set and open locating-dominating set. All these problems are known to be hard for general graphs. A typical line of attack, therefore, is to either determine the minimum cardinalities of such sets in general or to establish bounds on these minimum cardina…
▽ More
We consider the following variants of the classical minimum dominating set problem in graphs: locating-dominating set, locating total-dominating set and open locating-dominating set. All these problems are known to be hard for general graphs. A typical line of attack, therefore, is to either determine the minimum cardinalities of such sets in general or to establish bounds on these minimum cardinalities in special graph classes. In this paper, we study the minimum cardinalities of these variants of the dominating set under a graph operation defined by Mycielski in~\cite{Mycielski1955} and is called the Mycielski construction. We provide some general lower and upper bounds on the minimum sizes of the studied sets under the Mycielski construction. We apply the Mycielski construction to stars, paths and cycles in particular, and provide lower and upper bounds on the minimum cardinalities of such sets in these graph classes. Our results either improve or attain the general known upper bounds.
△ Less
Submitted 23 November, 2023;
originally announced November 2023.
-
Linear convergence in time-varying generalized Nash equilibrium problems
Authors:
Mattia Bianchi,
Emilio Benenati,
Sergio Grammatico
Abstract:
We study generalized games with full row rank equality constraints and we provide a strikingly simple proof of strong monotonicity of the associated KKT operator. This allows us to show linear convergence to a variational equilibrium of the resulting primal-dual pseudo-gradient dynamics. Then, we propose a fully-distributed algorithm with linear convergence guarantee for aggregative games under pa…
▽ More
We study generalized games with full row rank equality constraints and we provide a strikingly simple proof of strong monotonicity of the associated KKT operator. This allows us to show linear convergence to a variational equilibrium of the resulting primal-dual pseudo-gradient dynamics. Then, we propose a fully-distributed algorithm with linear convergence guarantee for aggregative games under partial-decision information. Based on these results, we establish stability properties for online GNE seeking in games with time-varying cost functions and constraints. Finally, we illustrate our findings numerically on an economic dispatch problem for peer-to-peer energy markets.
△ Less
Submitted 19 April, 2023;
originally announced April 2023.
-
On Projected Solutions for Quasi Equilibrium Problems with Non-self Constraint Map
Authors:
Monica Bianchi,
Enrico Miglierina,
Maede Ramazannejad
Abstract:
In a normed space setting, this paper studies the conditions under which the projected solutions to a quasi equilibrium problem with non-self constraint map exist. Our approach is based on an iterative algorithm which gives rise to a sequence such that, under the assumption of asymptotic regularity, its limit points are projected solutions. Finally, as a particular case, we discuss the existence o…
▽ More
In a normed space setting, this paper studies the conditions under which the projected solutions to a quasi equilibrium problem with non-self constraint map exist. Our approach is based on an iterative algorithm which gives rise to a sequence such that, under the assumption of asymptotic regularity, its limit points are projected solutions. Finally, as a particular case, we discuss the existence of projected solutions to a quasi variational inequality problem.
△ Less
Submitted 4 September, 2023; v1 submitted 15 March, 2023;
originally announced March 2023.
-
Power Availability of PV plus Thermal Batteries in real-world electric power grids
Authors:
Odin Foldvik Eikeland,
Colin C. Kelsall,
Kyle Buznitsky,
Shomik Verma,
Filippo Maria Bianchi,
Matteo Chiesa,
Asegun Henry
Abstract:
As variable renewable energy sources comprise a growing share of total electricity generation, energy storage technologies are becoming increasingly critical for balancing energy generation and demand.
In this study, we modeled an existing thermal energy storage unit with estimated capital costs that are sufficiently low to enable large-scale deployment in the electric power system. Our analysis…
▽ More
As variable renewable energy sources comprise a growing share of total electricity generation, energy storage technologies are becoming increasingly critical for balancing energy generation and demand.
In this study, we modeled an existing thermal energy storage unit with estimated capital costs that are sufficiently low to enable large-scale deployment in the electric power system. Our analysis emphasizes the value of using such units to cost-effectively improve renewable energy dispatchability. This study modeled an existing real-world grid rather than simulating hypothetical future electric power systems. The storage unit coupled with a photovoltaic (PV) system was modeled with different storage capacities, whereas each storage unit size had various discharge capacities.
The modeling was performed under a baseline case with no emission constraints and under hypothetical scenarios in which CO$_2$ emissions were reduced. The results show that power availability increases with increasing storage size and vastly increases in the hypothetical CO$_2$ reduction scenarios, as the storage unit is utilized differently. When CO$_2$ emissions are reduced, the power system must be less dependent on fossil fuel technologies that currently serve the grid, and thus rely more on the power that is served from the PV + storage unit.
The proposed approach can provide increased knowledge to power system planners regarding how adding PV + storage systems to existing grids can contribute to the efficient stepwise decarbonization of electric power systems.
△ Less
Submitted 29 January, 2023;
originally announced February 2023.
-
Data-driven stabilization of switched and constrained linear systems
Authors:
Mattia Bianchi,
Sergio Grammatico,
Jorge Cortés
Abstract:
We consider the design of state feedback control laws for both the switching signal and the continuous input of an unknown switched linear system, given past noisy input-state trajectories measurements. Based on Lyapunov-Metzler inequalities, we derive data-dependent bilinear programs whose solution directly returns a provably stabilizing controller and ensures $\mathcal{H}_2$ or…
▽ More
We consider the design of state feedback control laws for both the switching signal and the continuous input of an unknown switched linear system, given past noisy input-state trajectories measurements. Based on Lyapunov-Metzler inequalities, we derive data-dependent bilinear programs whose solution directly returns a provably stabilizing controller and ensures $\mathcal{H}_2$ or $\mathcal{H}_{\infty}$ performance. We further present relaxations that considerably reduce the computational cost, still without requiring stabilizability of any of the switching modes. Finally, we showcase the flexibility of our approach on the constrained stabilization problem for a perturbed linear system. We validate our theoretical findings numerically, demonstrating the favourable trade-off between conservatism and tractability achieved by the proposed relaxations.
△ Less
Submitted 4 June, 2025; v1 submitted 24 August, 2022;
originally announced August 2022.
-
The END: Estimation Network Design for games under partial-decision information
Authors:
Mattia Bianchi,
Sergio Grammatico
Abstract:
Multi-agent decision problems are typically solved via distributed iterative algorithms, where the agents only communicate between themselves on a peer-to-peer network. Each agent usually maintains a copy of each decision variable, while agreement among the local copies is enforced via consensus protocols. Yet, each agent is often directly influenced by a small portion of the decision variables on…
▽ More
Multi-agent decision problems are typically solved via distributed iterative algorithms, where the agents only communicate between themselves on a peer-to-peer network. Each agent usually maintains a copy of each decision variable, while agreement among the local copies is enforced via consensus protocols. Yet, each agent is often directly influenced by a small portion of the decision variables only: neglecting this sparsity results in redundancy, poor scalability with the network size, communication and memory overhead. To address these challenges, we develop Estimation Network Design (END), a framework for the design and analysis of distributed algorithms, generalizing several recent approaches. END algorithms can be tuned to exploit problem-specific sparsity structures, by optimally allocating copies of each variable only to a subset of agents, to improve efficiency and minimize redundancy. We illustrate the END's potential by designing new algorithms for generalised Nash equilibrium (GNE) seeking under partial-decision information, that can leverage the sparsity in cost functions, constraints and aggregation values. Finally, we test numerically our methods on a unicast rate allocation problem, revealing greatly reduced communication and memory costs.
△ Less
Submitted 29 November, 2023; v1 submitted 24 August, 2022;
originally announced August 2022.
-
Nash equilibrium seeking under partial decision information: Monotonicity, smoothness and proximal-point algorithms
Authors:
Mattia Bianchi,
Sergio Grammatico
Abstract:
We address Nash equilibrium problems in a partial-decision information scenario, where each agent can only exchange information with some neighbors, while its cost function possibly depends on the strategies of all agents. We characterize the relation between several monotonicity and smoothness conditions postulated in the literature. Furthermore, we prove convergence of a preconditioned proximal…
▽ More
We address Nash equilibrium problems in a partial-decision information scenario, where each agent can only exchange information with some neighbors, while its cost function possibly depends on the strategies of all agents. We characterize the relation between several monotonicity and smoothness conditions postulated in the literature. Furthermore, we prove convergence of a preconditioned proximal point algorithm, under a restricted monotonicity property that allows for a non-Lipschitz, non-continuous game mapping.
△ Less
Submitted 23 June, 2022;
originally announced June 2022.
-
Conjugacy classes of maximal cyclic subgroups of metacyclic $p$-groups
Authors:
M. Bianchi,
R. D. Camina,
Mark L. Lewis
Abstract:
In this paper, we set $η(G)$ to be the number of conjugacy classes of maximal cyclic subgroups of a finite group $G$. We compute $η(G)$ for all metacyclic $p$-groups. We show that if $G$ is a metacyclic $p$-group of order $p^n$ that is not dihedral, generalized quaternion, or semi-dihedral, then $η(G) \ge n-2$, and we determine when equality holds.
In this paper, we set $η(G)$ to be the number of conjugacy classes of maximal cyclic subgroups of a finite group $G$. We compute $η(G)$ for all metacyclic $p$-groups. We show that if $G$ is a metacyclic $p$-group of order $p^n$ that is not dihedral, generalized quaternion, or semi-dihedral, then $η(G) \ge n-2$, and we determine when equality holds.
△ Less
Submitted 9 June, 2022;
originally announced June 2022.
-
Conjugacy classes of maximal cyclic subgroups and nilpotence class of $p$-groups
Authors:
M. Bianchi,
R. D. Camina,
Mark L. Lewis
Abstract:
In this paper, we set $η(G)$ to be the number of conjugacy classes of maximal cyclic subgroups of $G$. We prove that if $G$ is a $p$-group of order $p^n$ and nilpotence class $l$, then $η(G)$ is bounded below by a linear function in $n/l$.
In this paper, we set $η(G)$ to be the number of conjugacy classes of maximal cyclic subgroups of $G$. We prove that if $G$ is a $p$-group of order $p^n$ and nilpotence class $l$, then $η(G)$ is bounded below by a linear function in $n/l$.
△ Less
Submitted 14 January, 2022;
originally announced January 2022.
-
Conjugacy classes of maximal cyclic subgroups
Authors:
M. Bianchi,
R. D. Camina,
Mark L. Lewis,
E. Pacifici
Abstract:
In this paper, we set $η(G)$ to be the number of conjugacy classes of maximal cyclic subgroups of $G$. We consider $η$ and direct and semi-direct products. We characterize the normal subgroups $N$ so that $η(G/N) = η(G)$. We set $G^- = \{ g \in G \mid \langle g \rangle {\rm ~is~not ~maximal~cyclic} \}$. We show if $\langle G^- \rangle < G$, then $G/\langle G^- \rangle$ is either (1) an elementary…
▽ More
In this paper, we set $η(G)$ to be the number of conjugacy classes of maximal cyclic subgroups of $G$. We consider $η$ and direct and semi-direct products. We characterize the normal subgroups $N$ so that $η(G/N) = η(G)$. We set $G^- = \{ g \in G \mid \langle g \rangle {\rm ~is~not ~maximal~cyclic} \}$. We show if $\langle G^- \rangle < G$, then $G/\langle G^- \rangle$ is either (1) an elementary abelian $p$-group for some prime $p$, (2) a Frobenius group whose Frobenius kernel is a $p$-group of exponent $p$ and a Frobenius complement has order $q$ for distinct primes $p$ and $q$, or (3) isomorphic to $A_5$.
△ Less
Submitted 14 January, 2022;
originally announced January 2022.
-
Resolution a la Kronheimer of $\mathbb{C}^3/Γ$ singularities and the Monge-Ampere equation for Ricci-flat Kaehler metrics in view of D3-brane solutions of supergravity
Authors:
Massimo Bianchi,
Ugo Bruzzo,
Pietro Fré,
Dario Martelli
Abstract:
We analyze the relevance of the generalized Kronheimer construction for the gauge-gravity correspondence. We study the general structure of IIB supergravity D3-brane solutions on crepant resolutions $Y$ of singularities $\mathbb{C}^3/Γ$ with $Γ$ a finite subgroup of $SU(3)$. Next we concentrate on another essential item for the D3-brane construction, i.e., the existence of a Ricci-flat metric on…
▽ More
We analyze the relevance of the generalized Kronheimer construction for the gauge-gravity correspondence. We study the general structure of IIB supergravity D3-brane solutions on crepant resolutions $Y$ of singularities $\mathbb{C}^3/Γ$ with $Γ$ a finite subgroup of $SU(3)$. Next we concentrate on another essential item for the D3-brane construction, i.e., the existence of a Ricci-flat metric on $Y$, with particular attention to the case $Γ=\mathbb{Z}_4$. We conjecture that on the exceptional divisor the Kronheimer Kähler metric and the Ricci-flat one, that is locally flat at infinity, coincide. The conjecture is shown to be true in the case of the Ricci-flat metric on ${\rm tot} K_{{\mathbb WP}[112]}$ that we construct, which is a partial resolution of $\mathbb{C}^3/\mathbb{Z}_4$. For the full resolution we have $Y=\operatorname{tot} K_{\mathbb{F}_{2}}$, where $\mathbb{F}_2$ is the second Hizebruch surface. We try to extend the proof of the conjecture to this case using the one-parameter Kähler metric on $\mathbb{F}_2$ produced by the Kronheimer construction as initial datum in a Monge-Ampère (MA) equation. We exhibit three formulations of this MA equation, one in terms of the Kähler potential, the other two in terms of the symplectic potential; in all cases one can establish a series solution in powers of the fiber variable of the canonical bundle. The main property of the MA equation is that it does not impose any condition on the initial geometry of the exceptional divisor, but uniquely determines all the subsequent terms as local functionals of the initial datum. While a formal proof is still missing, numerical and analytical results support the conjecture. As a by-product of our investigation we have identified some new properties of this type of MA equations that we believe to be so far unknown.
△ Less
Submitted 25 May, 2021;
originally announced May 2021.
-
The distributed dual ascent algorithm is robust to asynchrony
Authors:
Mattia Bianchi,
Wicak Ananduta,
Sergio Grammatico
Abstract:
The distributed dual ascent is an established algorithm to solve strongly convex multi-agent optimization problems with separable cost functions, in the presence of coupling constraints. In this paper, we study its asynchronous counterpart. Specifically, we assume that each agent only relies on the outdated information received from some neighbors. Differently from the existing randomized and dual…
▽ More
The distributed dual ascent is an established algorithm to solve strongly convex multi-agent optimization problems with separable cost functions, in the presence of coupling constraints. In this paper, we study its asynchronous counterpart. Specifically, we assume that each agent only relies on the outdated information received from some neighbors. Differently from the existing randomized and dual block-coordinate schemes, we show convergence under heterogeneous delays, communication and update frequencies. Consequently, our asynchronous dual ascent algorithm can be implemented without requiring any coordination between the agents.
△ Less
Submitted 4 May, 2021;
originally announced May 2021.
-
Nash equilibrium seeking under partial-decision information over directed communication networks
Authors:
Mattia Bianchi,
Sergio Grammatico
Abstract:
We consider the Nash equilibrium problem in a partial-decision information scenario. Specifically, each agent can only receive information from some neighbors via a communication network, while its cost function depends on the strategies of possibly all agents. In particular, while the existing methods assume undirected or balanced communication, in this paper we allow for non-balanced, directed g…
▽ More
We consider the Nash equilibrium problem in a partial-decision information scenario. Specifically, each agent can only receive information from some neighbors via a communication network, while its cost function depends on the strategies of possibly all agents. In particular, while the existing methods assume undirected or balanced communication, in this paper we allow for non-balanced, directed graphs. We propose a fully-distributed pseudo-gradient scheme, which is guaranteed to converge with linear rate to a Nash equilibrium, under strong monotonicity and Lipschitz continuity of the game mapping. Our algorithm requires global knowledge of the communication structure, namely of the Perron-Frobenius eigenvector of the adjacency matrix and of a certain constant related to the graph connectivity. Therefore, we adapt the procedure to setups where the network is not known in advance, by computing the eigenvector online and by means of vanishing step sizes.
△ Less
Submitted 10 September, 2020;
originally announced September 2020.
-
On solvable groups with one vanishing class size
Authors:
Mariagrazia Bianchi,
Rachel D. Camina,
Mark L. Lewis,
Emanuele Pacifici
Abstract:
Let $G$ be a finite group, and let cs$(G)$ be the set of conjugacy class sizes of $G$. Recalling that an element $g$ of $G$ is called a \emph{vanishing element} if there exists an irreducible character of $G$ taking the value $0$ on $g$, we consider one particular subset of cs$(G)$, namely, the set vcs$(G)$ whose elements are the conjugacy class sizes of the vanishing elements of $G$. Motivated by…
▽ More
Let $G$ be a finite group, and let cs$(G)$ be the set of conjugacy class sizes of $G$. Recalling that an element $g$ of $G$ is called a \emph{vanishing element} if there exists an irreducible character of $G$ taking the value $0$ on $g$, we consider one particular subset of cs$(G)$, namely, the set vcs$(G)$ whose elements are the conjugacy class sizes of the vanishing elements of $G$. Motivated by the results in \cite{BLP}, we describe the class of the finite groups $G$ such that vcs$(G)$ consists of a single element \emph{under the assumption that $G$ is supersolvable or $G$ has a normal Sylow $2$-subgroup} (in particular, groups of odd order are covered). As a particular case, we also get a characterization of finite groups having a single vanishing conjugacy class size \emph{which is either a prime power or square-free}.
△ Less
Submitted 14 August, 2020; v1 submitted 7 May, 2020;
originally announced May 2020.
-
Fully distributed Nash equilibrium seeking over time-varying communication networks with linear convergence rate
Authors:
Mattia Bianchi,
Sergio Grammatico
Abstract:
We design a distributed algorithm for learning Nash equilibria over time-varying communication networks in a partial-decision information scenario, where each agent can access its own cost function and local feasible set, but can only observe the actions of some neighbors. Our algorithm is based on projected pseudo-gradient dynamics, augmented with consensual terms. Under strong monotonicity and L…
▽ More
We design a distributed algorithm for learning Nash equilibria over time-varying communication networks in a partial-decision information scenario, where each agent can access its own cost function and local feasible set, but can only observe the actions of some neighbors. Our algorithm is based on projected pseudo-gradient dynamics, augmented with consensual terms. Under strong monotonicity and Lipschitz continuity of the game mapping, we provide a very simple proof of linear convergence, based on a contractivity property of the iterates. Compared to similar solutions proposed in literature, we also allow for a time-varying communication and derive tighter bounds on the step sizes that ensure convergence. In fact, in our numerical simulations, our algorithm outperforms the existing gradient-based methods, when the step sizes are set to their theoretical upper bounds. Finally, to relax the assumptions on the network structure, we propose a different pseudo-gradient algorithm, which is guaranteed to converge on time-varying balanced directed graphs.
△ Less
Submitted 10 September, 2020; v1 submitted 22 March, 2020;
originally announced March 2020.
-
Fast generalized Nash equilibrium seeking under partial-decision information
Authors:
Mattia Bianchi,
Giuseppe Belgioioso,
Sergio Grammatico
Abstract:
We address the generalized Nash equilibrium seeking problem in a partial-decision information scenario, where each agent can only exchange information with some neighbors, although its cost function possibly depends on the strategies of all agents. The few existing methods build on projected pseudo-gradient dynamics, and require either double-layer iterations or conservative conditions on the step…
▽ More
We address the generalized Nash equilibrium seeking problem in a partial-decision information scenario, where each agent can only exchange information with some neighbors, although its cost function possibly depends on the strategies of all agents. The few existing methods build on projected pseudo-gradient dynamics, and require either double-layer iterations or conservative conditions on the step sizes. To overcome both these flaws and improve efficiency, we design the first fully-distributed single-layer algorithms based on proximal best-response. Our schemes are fixed-step and allow for inexact updates, which is crucial for reducing the computational complexity. Under standard assumptions on the game primitives, we establish convergence to a variational equilibrium (with linear rate for games without coupling constraints) by recasting our algorithms as proximal-point methods, opportunely preconditioned to distribute the computation among the agents. Since our analysis hinges on a restricted monotonicity property, we also provide new general results that significantly extend the domain of applicability of proximal-point methods. Besides, the operator-theoretic approach favors the implementation of provably correct acceleration schemes that can further improve the convergence speed. Finally, the potential of our algorithms is demonstrated numerically, revealing much faster convergence with respect to projected pseudo-gradient methods and validating our theoretical findings.
△ Less
Submitted 11 December, 2021; v1 submitted 20 March, 2020;
originally announced March 2020.
-
Conjugacy class sizes in arithmetic progression
Authors:
Mariagrazia Bianchi,
Cheryl E. Praeger,
S. P. Glasby
Abstract:
Let ${\rm cs}(G)$ denote the set of conjugacy class sizes of a group $G$, and let ${\rm cs}^*(G)={\rm cs}(G)\setminus\{1\}$ be the sizes of non-central classes. We prove three results. We classify all finite groups $G$ with ${\rm cs}(G)=\{a, a+d, \dots ,a+rd\}$ an arithmetic progression with $r\geqslant 2$. (We show that ${\rm cs}(G)=\{1,2,3\}$.) Our most substantial result classifies all $G$ with…
▽ More
Let ${\rm cs}(G)$ denote the set of conjugacy class sizes of a group $G$, and let ${\rm cs}^*(G)={\rm cs}(G)\setminus\{1\}$ be the sizes of non-central classes. We prove three results. We classify all finite groups $G$ with ${\rm cs}(G)=\{a, a+d, \dots ,a+rd\}$ an arithmetic progression with $r\geqslant 2$. (We show that ${\rm cs}(G)=\{1,2,3\}$.) Our most substantial result classifies all $G$ with ${\rm cs}^*(G)=\{2,4,6\}$. Finally, we classify all groups $G$ whose largest two non-central conjugacy class sizes are coprime. (Here it is not obvious but it is true that ${\rm cs}^*(G)$ has two elements, and so is an arithmetic progression.)
△ Less
Submitted 6 June, 2020; v1 submitted 8 March, 2020;
originally announced March 2020.
-
Continuous-time fully distributed generalized Nash equilibrium seeking for multi-integrator agents
Authors:
Mattia Bianchi,
Sergio Grammatico
Abstract:
We consider strongly monotone games with convex separable coupling constraints, played by dynamical agents, in a partial-decision information scenario. We start by designing continuous-time fully distributed feedback controllers, based on consensus and primal-dual gradient dynamics, to seek a generalized Nash equilibrium in networks of single-integrator agents. Our first solution adopts a fixed ga…
▽ More
We consider strongly monotone games with convex separable coupling constraints, played by dynamical agents, in a partial-decision information scenario. We start by designing continuous-time fully distributed feedback controllers, based on consensus and primal-dual gradient dynamics, to seek a generalized Nash equilibrium in networks of single-integrator agents. Our first solution adopts a fixed gain, whose choice requires the knowledge of some global parameters of the game. To relax this requirement, we conceive a controller that can be tuned in a completely decentralized fashion, thanks to the use of uncoordinated integral adaptive weights. We further introduce algorithms specifically devised for generalized aggregative games. Finally, we adapt all our control schemes to deal with heterogeneous multi-integrator agents and, in turn, with nonlinear feedback-linearizable dynamical systems. For all the proposed dynamics, we show convergence to a variational equilibrium, by leveraging monotonicity properties and stability theory for projected dynamical systems.
△ Less
Submitted 19 March, 2021; v1 submitted 26 November, 2019;
originally announced November 2019.
-
A fully-distributed proximal-point algorithm for Nash equilibrium seeking with linear convergence rate
Authors:
Mattia Bianchi,
Giuseppe Belgioioso,
Sergio Grammatico
Abstract:
We address the Nash equilibrium problem in a partial-decision information scenario, where each agent can only observe the actions of some neighbors, while its cost possibly depends on the strategies of other agents. Our main contribution is the design of a fully-distributed, single-layer, fixed-step algorithm, based on a proximal best-response augmented with consensus terms. To derive our algorith…
▽ More
We address the Nash equilibrium problem in a partial-decision information scenario, where each agent can only observe the actions of some neighbors, while its cost possibly depends on the strategies of other agents. Our main contribution is the design of a fully-distributed, single-layer, fixed-step algorithm, based on a proximal best-response augmented with consensus terms. To derive our algorithm, we follow an operator-theoretic approach. First, we recast the Nash equilibrium problem as that of finding a zero of a monotone operator. Then, we demonstrate that the resulting inclusion can be solved in a fully-distributed way via a proximal-point method, thanks to the use of a novel preconditioning matrix. Under strong monotonicity and Lipschitz continuity of the game mapping, We prove linear convergence of our algorithm to a Nash equilibrium. Furthermore, we show that our method outperforms the fastest known gradient-based schemes, both in terms of guaranteed convergence rate, via theoretical analysis, and in practice, via numerical simulations.
△ Less
Submitted 10 September, 2020; v1 submitted 25 October, 2019;
originally announced October 2019.
-
A continuous-time distributed generalized Nash equilibrium seeking algorithm over networks for double-integrator agents
Authors:
Mattia Bianchi,
Sergio Grammatico
Abstract:
We consider a system of single- or double integrator agents playing a generalized Nash game over a network, in a partial-information scenario. We address the generalized Nash equilibrium seeking problem by designing a fully-distributed dynamic controller, based on continuous-time consensus and primal-dual gradient dynamics. Our main technical contribution is to show convergence of the closed-loop…
▽ More
We consider a system of single- or double integrator agents playing a generalized Nash game over a network, in a partial-information scenario. We address the generalized Nash equilibrium seeking problem by designing a fully-distributed dynamic controller, based on continuous-time consensus and primal-dual gradient dynamics. Our main technical contribution is to show convergence of the closed-loop system to a variational equilibrium, under strong monotonicity and Lipschitz continuity of the game mapping, by leveraging monotonicity properties and stability theory for projected dynamical systems.
△ Less
Submitted 2 March, 2020; v1 submitted 25 October, 2019;
originally announced October 2019.
-
Hierarchical Representation Learning in Graph Neural Networks with Node Decimation Pooling
Authors:
Filippo Maria Bianchi,
Daniele Grattarola,
Lorenzo Livi,
Cesare Alippi
Abstract:
In graph neural networks (GNNs), pooling operators compute local summaries of input graphs to capture their global properties, and they are fundamental for building deep GNNs that learn hierarchical representations. In this work, we propose the Node Decimation Pooling (NDP), a pooling operator for GNNs that generates coarser graphs while preserving the overall graph topology. During training, the…
▽ More
In graph neural networks (GNNs), pooling operators compute local summaries of input graphs to capture their global properties, and they are fundamental for building deep GNNs that learn hierarchical representations. In this work, we propose the Node Decimation Pooling (NDP), a pooling operator for GNNs that generates coarser graphs while preserving the overall graph topology. During training, the GNN learns new node representations and fits them to a pyramid of coarsened graphs, which is computed offline in a pre-processing stage. NDP consists of three steps. First, a node decimation procedure selects the nodes belonging to one side of the partition identified by a spectral algorithm that approximates the \maxcut{} solution. Afterwards, the selected nodes are connected with Kron reduction to form the coarsened graph. Finally, since the resulting graph is very dense, we apply a sparsification procedure that prunes the adjacency matrix of the coarsened graph to reduce the computational cost in the GNN. Notably, we show that it is possible to remove many edges without significantly altering the graph structure. Experimental results show that NDP is more efficient compared to state-of-the-art graph pooling operators while reaching, at the same time, competitive performance on a significant variety of graph classification tasks.
△ Less
Submitted 20 April, 2024; v1 submitted 24 October, 2019;
originally announced October 2019.
-
On vanishing class sizes in finite groups
Authors:
Mariagrazia Bianchi,
Julian M. A. Brough,
Rachel D. Camina,
Emanuele Pacifici
Abstract:
Let $G$ be a finite group. An element $g$ of $G$ is called a vanishing element if there exists an irreducible character $χ$ of $G$ such that $χ(g) = 0$; in this case, we say that the conjugacy class of $g$ is a vanishing conjugacy class. In this paper, we discuss some arithmetical properties concerning the sizes of the vanishing conjugacy classes in a finite group.
Let $G$ be a finite group. An element $g$ of $G$ is called a vanishing element if there exists an irreducible character $χ$ of $G$ such that $χ(g) = 0$; in this case, we say that the conjugacy class of $g$ is a vanishing conjugacy class. In this paper, we discuss some arithmetical properties concerning the sizes of the vanishing conjugacy classes in a finite group.
△ Less
Submitted 18 June, 2017;
originally announced June 2017.
-
Local Short Term Electricity Load Forecasting: Automatic Approaches
Authors:
The-Hien Dang-Ha,
Filippo Maria Bianchi,
Roland Olsson
Abstract:
Short-Term Load Forecasting (STLF) is a fundamental component in the efficient management of power systems, which has been studied intensively over the past 50 years. The emerging development of smart grid technologies is posing new challenges as well as opportunities to STLF. Load data, collected at higher geographical granularity and frequency through thousands of smart meters, allows us to buil…
▽ More
Short-Term Load Forecasting (STLF) is a fundamental component in the efficient management of power systems, which has been studied intensively over the past 50 years. The emerging development of smart grid technologies is posing new challenges as well as opportunities to STLF. Load data, collected at higher geographical granularity and frequency through thousands of smart meters, allows us to build a more accurate local load forecasting model, which is essential for local optimization of power load through demand side management. With this paper, we show how several existing approaches for STLF are not applicable on local load forecasting, either because of long training time, unstable optimization process, or sensitivity to hyper-parameters. Accordingly, we select five models suitable for local STFL, which can be trained on different time-series with limited intervention from the user. The experiment, which consists of 40 time-series collected at different locations and aggregation levels, revealed that yearly pattern and temperature information are only useful for high aggregation level STLF. On local STLF task, the modified version of double seasonal Holt-Winter proposed in this paper performs relatively well with only 3 months of training data, compared to more complex methods.
△ Less
Submitted 26 February, 2017;
originally announced February 2017.
-
Temporal Overdrive Recurrent Neural Network
Authors:
Filippo Maria Bianchi,
Michael Kampffmeyer,
Enrico Maiorino,
Robert Jenssen
Abstract:
In this work we present a novel recurrent neural network architecture designed to model systems characterized by multiple characteristic timescales in their dynamics. The proposed network is composed by several recurrent groups of neurons that are trained to separately adapt to each timescale, in order to improve the system identification process. We test our framework on time series prediction ta…
▽ More
In this work we present a novel recurrent neural network architecture designed to model systems characterized by multiple characteristic timescales in their dynamics. The proposed network is composed by several recurrent groups of neurons that are trained to separately adapt to each timescale, in order to improve the system identification process. We test our framework on time series prediction tasks and we show some promising, preliminary results achieved on synthetic data. To evaluate the capabilities of our network, we compare the performance with several state-of-the-art recurrent architectures.
△ Less
Submitted 18 January, 2017;
originally announced January 2017.
-
Multiplex visibility graphs to investigate recurrent neural networks dynamics
Authors:
Filippo Maria Bianchi,
Lorenzo Livi,
Cesare Alippi,
Robert Jenssen
Abstract:
A recurrent neural network (RNN) is a universal approximator of dynamical systems, whose performance often depends on sensitive hyperparameters. Tuning of such hyperparameters may be difficult and, typically, based on a trial-and-error approach. In this work, we adopt a graph-based framework to interpret and characterize the internal RNN dynamics. Through this insight, we are able to design a prin…
▽ More
A recurrent neural network (RNN) is a universal approximator of dynamical systems, whose performance often depends on sensitive hyperparameters. Tuning of such hyperparameters may be difficult and, typically, based on a trial-and-error approach. In this work, we adopt a graph-based framework to interpret and characterize the internal RNN dynamics. Through this insight, we are able to design a principled unsupervised method to derive configurations with maximized performances, in terms of prediction error and memory capacity. In particular, we propose to model time series of neurons activations with the recently introduced horizontal visibility graphs, whose topological properties reflect important dynamical features of the underlying dynamic system. Successively, each graph becomes a layer of a larger structure, called multiplex. We show that topological properties of such a multiplex reflect important features of RNN dynamics and are used to guide the tuning procedure. To validate the proposed method, we consider a class of RNNs called echo state networks. We perform experiments and discuss results on several benchmarks and real-world dataset of call data records.
△ Less
Submitted 20 January, 2017; v1 submitted 10 September, 2016;
originally announced September 2016.
-
Finite groups with non-trivial intersections of kernels of all but one irreducible characters
Authors:
Mariagrazia Bianchi,
Marcel Herzog
Abstract:
In this paper we consider finite groups G satisfying the following condition: G has two columns in its character table which differ by exactly one entry. It turns out that such groups exist and they are exactly the finite groups with a non-trivial intersection of the kernels of all but one irreducible characters or, equivalently, finite groups with an irreducible character vanishing on all but two…
▽ More
In this paper we consider finite groups G satisfying the following condition: G has two columns in its character table which differ by exactly one entry. It turns out that such groups exist and they are exactly the finite groups with a non-trivial intersection of the kernels of all but one irreducible characters or, equivalently, finite groups with an irreducible character vanishing on all but two conjugacy classes. We investigate such groups and in particular we characterize their subclass, which properly contains all finite groups with non-linear characters of distinct degrees, which were characterized by Berkovich, Chillag and Herzog in 1992.
△ Less
Submitted 5 May, 2016;
originally announced May 2016.
-
Representative functions of maximal monotone operators and bifunctions
Authors:
Monica Bianchi,
Nicolas Hadjisavvas,
Rita Pini
Abstract:
The aim of this paper is to show that every representative function of a maximal monotone operator is the Fitzpatrick transform of a bifunction corresponding to the operator. In this way we exhibit the relation between the recent theory of representative functions, and the much older theory of saddle functions initiated by Rockafellar.
The aim of this paper is to show that every representative function of a maximal monotone operator is the Fitzpatrick transform of a bifunction corresponding to the operator. In this way we exhibit the relation between the recent theory of representative functions, and the much older theory of saddle functions initiated by Rockafellar.
△ Less
Submitted 31 July, 2015;
originally announced July 2015.
-
A note on drastic product logic
Authors:
Stefano Aguzzoli,
Matteo Bianchi,
Diego Valota
Abstract:
The drastic product $*_D$ is known to be the smallest $t$-norm, since $x *_D y = 0$ whenever $x, y < 1$. This $t$-norm is not left-continuous, and hence it does not admit a residuum. So, there are no drastic product $t$-norm based many-valued logics, in the sense of [EG01]. However, if we renounce standard completeness, we can study the logic whose semantics is provided by those MTL chains whose m…
▽ More
The drastic product $*_D$ is known to be the smallest $t$-norm, since $x *_D y = 0$ whenever $x, y < 1$. This $t$-norm is not left-continuous, and hence it does not admit a residuum. So, there are no drastic product $t$-norm based many-valued logics, in the sense of [EG01]. However, if we renounce standard completeness, we can study the logic whose semantics is provided by those MTL chains whose monoidal operation is the drastic product. This logic is called ${\rm S}_{3}{\rm MTL}$ in [NOG06]. In this note we justify the study of this logic, which we rechristen DP (for drastic product), by means of some interesting properties relating DP and its algebraic semantics to a weakened law of excluded middle, to the $Δ$ projection operator and to discriminator varieties. We shall show that the category of finite DP-algebras is dually equivalent to a category whose objects are multisets of finite chains. This duality allows us to classify all axiomatic extensions of DP, and to compute the free finitely generated DP-algebras.
△ Less
Submitted 27 June, 2014;
originally announced June 2014.
-
Solving the Hard Problem of Bertrand's Paradox
Authors:
Diederik Aerts,
Massimiliano Sassoli de Bianchi
Abstract:
Bertrand's paradox is a famous problem of probability theory, pointing to a possible inconsistency in Laplace's principle of insufficient reason. In this article we show that Bertrand's paradox contains two different problems: an "easy" problem and a "hard" problem. The easy problem can be solved by formulating Bertrand's question in sufficiently precise terms, so allowing for a non ambiguous mode…
▽ More
Bertrand's paradox is a famous problem of probability theory, pointing to a possible inconsistency in Laplace's principle of insufficient reason. In this article we show that Bertrand's paradox contains two different problems: an "easy" problem and a "hard" problem. The easy problem can be solved by formulating Bertrand's question in sufficiently precise terms, so allowing for a non ambiguous modelization of the entity subjected to the randomization. We then show that once the easy problem is settled, also the hard problem becomes solvable, provided Laplace's principle of insufficient reason is applied not to the outcomes of the experiment, but to the different possible "ways of selecting" an interaction between the entity under investigation and that producing the randomization. This consists in evaluating a huge average over all possible "ways of selecting" an interaction, which we call a 'universal average'. Following a strategy similar to that used in the definition of the Wiener measure, we calculate such universal average and therefore solve the hard problem of Bertrand's paradox. The link between Bertrand's problem of probability theory and the measurement problem of quantum mechanics is also briefly discussed.
△ Less
Submitted 27 June, 2014; v1 submitted 8 March, 2014;
originally announced March 2014.
-
Trakhtenbrot theorem and first-order axiomatic extensions of MTL
Authors:
Matteo Bianchi
Abstract:
In 1950, B.A. Trakhtenbrot showed that the set of first-order tautologies associated to finite models is not recursively enumerable. In 1999, P. Hájek generalized this result to the first-order versions of Łukasiewicz, Gödel and Product logics. In this paper we extend the analysis to the first-order axiomatic extensions of MTL. Our main result is the following. Let L be an axiomatic extension L of…
▽ More
In 1950, B.A. Trakhtenbrot showed that the set of first-order tautologies associated to finite models is not recursively enumerable. In 1999, P. Hájek generalized this result to the first-order versions of Łukasiewicz, Gödel and Product logics. In this paper we extend the analysis to the first-order axiomatic extensions of MTL. Our main result is the following. Let L be an axiomatic extension L of MTL s.t. TAUT$_\text{L}$ is decidable, and whose corresponding variety is generated by a chain: for every generic L-chain $\mathcal{A}$ the set fTAUT$^\mathcal{A}_{\forall}$ (the set of first-order tautologies associated to the finite $\mathcal{A}$-models) is $Π_1$. Moreover, if in addition L is an extension of BL or an extension of SMTL or an extension of WNM, then for every generic L-chain $\mathcal{A}$ the set fTAUT$^\mathcal{A}_{\forall}$ is $Π_1$-complete. More in general, for every axiomatic extension L of MTL s.t. TAUT$_\text{L}$ is decidable there is no L-chain $\mathcal{A}$ such that L$\forall$ is complete w.r.t. the class of finite $\mathcal{A}$-models. We have negative results also if we expand the language with the $Δ$ operator.
△ Less
Submitted 9 July, 2014; v1 submitted 4 March, 2014;
originally announced March 2014.
-
New bounds of degree-based topological indices for some classes of $c$-cyclic graphs
Authors:
Monica Bianchi,
Alessandra Cornaro,
José Luis Palacios,
Anna Torriero
Abstract:
Making use of a majorization technique for a suitable class of graphs, we derive upper and lower bounds for some topological indices depending on the degree sequence over all vertices, namely the first general Zagreb index and the first multiplicative Zagreb index. Specifically, after characterizing $c-$cyclic graphs $(0\leq c\leq 6)$ as those whose degree sequence belongs to particular subsets of…
▽ More
Making use of a majorization technique for a suitable class of graphs, we derive upper and lower bounds for some topological indices depending on the degree sequence over all vertices, namely the first general Zagreb index and the first multiplicative Zagreb index. Specifically, after characterizing $c-$cyclic graphs $(0\leq c\leq 6)$ as those whose degree sequence belongs to particular subsets of $\mathbb{R}^{n}$, we identify the maximal and minimal vectors of these subsets with respect to the majorization order. This technique allows us to determine lower and upper bounds of the above indices recovering those existing in the literature as well obtaining new ones.
△ Less
Submitted 22 November, 2013;
originally announced November 2013.
-
New upper and lower bounds for the additive degree-Kirchhoff index
Authors:
Monica Bianchi,
Alessandra Cornaro,
José Luis Palacios,
Anna Torriero
Abstract:
Given a simple connected graph on $N$ vertices with size $|E|$ and degree sequence $d_{1}\leq d_{2}\leq ...\leq d_{N}$, the aim of this paper is to exhibit new upper and lower bounds for the additive degree-Kirchhoff index in closed forms, not containing effective resistances but a few invariants $(N,|E|$ and the degrees $d_{i}$) and applicable in general contexts. In our arguments we follow a dua…
▽ More
Given a simple connected graph on $N$ vertices with size $|E|$ and degree sequence $d_{1}\leq d_{2}\leq ...\leq d_{N}$, the aim of this paper is to exhibit new upper and lower bounds for the additive degree-Kirchhoff index in closed forms, not containing effective resistances but a few invariants $(N,|E|$ and the degrees $d_{i}$) and applicable in general contexts. In our arguments we follow a dual approach: along with a traditional toolbox of inequalities we also use a relatively newer method in Mathematical Chemistry, based on the majorization and Schur-convex functions. Some theoretical and numerical examples are provided, comparing the bounds obtained here and those previously known in the literature.
△ Less
Submitted 13 November, 2013;
originally announced November 2013.
-
A temporal semantics for Nilpotent Minimum logic
Authors:
Matteo Bianchi
Abstract:
In [Ban97] a connection among rough sets (in particular, pre-rough algebras) and three-valued Łukasiewicz logic Ł3 is pointed out. In this paper we present a temporal like semantics for Nilpotent Minimum logic NM ([Fod95, EG01]), in which the logic of every instant is given by Ł3: a completeness theorem will be shown. This is the prosecution of the work initiated in [AGM08] and [ABM09], in which t…
▽ More
In [Ban97] a connection among rough sets (in particular, pre-rough algebras) and three-valued Łukasiewicz logic Ł3 is pointed out. In this paper we present a temporal like semantics for Nilpotent Minimum logic NM ([Fod95, EG01]), in which the logic of every instant is given by Ł3: a completeness theorem will be shown. This is the prosecution of the work initiated in [AGM08] and [ABM09], in which the authors construct a temporal semantics for the many-valued logics of Gödel ([Göd32], [Dum59]) and Basic Logic ([Háj98]).
△ Less
Submitted 22 October, 2013;
originally announced October 2013.
-
Conjugacy classes of finite groups and graph regularity
Authors:
Mariagrazia Bianchi,
Rachel D. Camina,
Marcel Herzog,
Emanuele Pacifici
Abstract:
Given a finite group $G$, denote by $Γ(G)$ the simple undirected graph whose vertices are the distinct sizes of noncentral conjugacy classes of $G$, and set two vertices of $Γ(G)$ to be adjacent if and only if they are not coprime numbers. In this note we prove that, if $Γ(G)$ is a $k$-regular graph with $k\geq 1$, then $Γ(G)$ is a complete graph with $k+1$ vertices.
Given a finite group $G$, denote by $Γ(G)$ the simple undirected graph whose vertices are the distinct sizes of noncentral conjugacy classes of $G$, and set two vertices of $Γ(G)$ to be adjacent if and only if they are not coprime numbers. In this note we prove that, if $Γ(G)$ is a $k$-regular graph with $k\geq 1$, then $Γ(G)$ is a complete graph with $k+1$ vertices.
△ Less
Submitted 6 June, 2013;
originally announced June 2013.
-
The Minor inequalities in the description of the Set Covering Polyhedron of Circulant Matrices
Authors:
Silvia M. Bianchi,
Graciela L. Nasini,
Paola B. Tolomei
Abstract:
In this work we give a complete description of the set covering polyhedron of circulant matrices $C^k_{sk}$ with $s = 2,3$ and $k\geq 3 $ by linear inequalities. In particular, we prove that every non boolean facet defining inequality is associated with a circulant minor of the matrix. We also give a polynomial time separation algorithm for inequalities involved in the description.
In this work we give a complete description of the set covering polyhedron of circulant matrices $C^k_{sk}$ with $s = 2,3$ and $k\geq 3 $ by linear inequalities. In particular, we prove that every non boolean facet defining inequality is associated with a circulant minor of the matrix. We also give a polynomial time separation algorithm for inequalities involved in the description.
△ Less
Submitted 6 June, 2012;
originally announced June 2012.
-
On some logical and algebraic properties of axiomatic extensions of the monoidal t-norm based logic MTL related with single chain completeness
Authors:
Matteo Bianchi
Abstract:
In [Mon11] are studied, for the axiomatic extensions of the monoidal t-norm based logic ([EG01]), the properties of single chain completeness. On the other side, in [GJKO07, Chapter 5] are studied many logical and algebraic properties (like Halldén completeness, variable separation properties, amalgamation property etc.), in the context of substructural logics. The aim of this paper is twofold: fi…
▽ More
In [Mon11] are studied, for the axiomatic extensions of the monoidal t-norm based logic ([EG01]), the properties of single chain completeness. On the other side, in [GJKO07, Chapter 5] are studied many logical and algebraic properties (like Halldén completeness, variable separation properties, amalgamation property etc.), in the context of substructural logics. The aim of this paper is twofold: first of all we will specialize the properties studied in [GJKO07, Chapter 5] from the case of substructural logics to the one of extensions of MTL, by obtaining some general characterization. Moreover we will show that some of these properties are indeed strictly connected to the topics developed in [Mon11]. This will help to have a better intuition concerning some open problems of [Mon11].
△ Less
Submitted 21 May, 2012;
originally announced May 2012.
-
Some results on condition numbers in convex multiobjective optimization
Authors:
Monica Bianchi,
Enrico Miglierina,
Elena Molho,
Rita Pini
Abstract:
Various notions of condition numbers are used to study some sensitivity aspects of scalar optimization problems. The aim of this paper is to introduce a notion of condition number to study the case of a multiobjective optimization problem defined via m convex C^1,1 objective functions on a given closed ball in R^n. Two approaches are proposed: the first one adopts a local point of view around a gi…
▽ More
Various notions of condition numbers are used to study some sensitivity aspects of scalar optimization problems. The aim of this paper is to introduce a notion of condition number to study the case of a multiobjective optimization problem defined via m convex C^1,1 objective functions on a given closed ball in R^n. Two approaches are proposed: the first one adopts a local point of view around a given solution point, whereas the second one considers the solution set as a whole. A comparison between the two notions of well-conditioned problem is developed. We underline that both the condition numbers introduced in the present work reduce to the same of condition number proposed by Zolezzi in 2003, in the special case of the scalar optimization problem considered there. A pseudodistance between functions is defined such that the condition number provides an upper bound on how far from a well-conditioned function f a perturbed function g can be chosen in order that g is well-conditioned too. For both the local and the global approach an extension of classical Eckart-Young distance theorem is proved, even if only a special class of perturbations is considered.
△ Less
Submitted 27 January, 2012;
originally announced January 2012.
-
A majorization method for localizing graph topological indices
Authors:
Alessandra Cornaro,
Monica Bianchi,
Anna Torriero
Abstract:
This paper presents a unified approach for localizing some relevant graph topological indices via majorization techniques. Through this method, old and new bounds are derived and numerical examples are provided, showing how former results in the literature could be improved.
This paper presents a unified approach for localizing some relevant graph topological indices via majorization techniques. Through this method, old and new bounds are derived and numerical examples are provided, showing how former results in the literature could be improved.
△ Less
Submitted 18 May, 2011;
originally announced May 2011.
-
Majorization under constraints and bounds of the second Zagreb index
Authors:
Monica Bianchi,
Alessandra Cornaro,
Anna Torriero
Abstract:
In this paper we present a theoretical analysis in order to establish maximal and minimal vectors with respect to the majorization order of particular subsets of \Re ^n: Afterwards we apply these issues to the calcula- tion of bounds for a topological descriptor of a graph known as the second Zagreb index. Finally, we show how our bounds may improve the re- sults obtained in the literature, provid…
▽ More
In this paper we present a theoretical analysis in order to establish maximal and minimal vectors with respect to the majorization order of particular subsets of \Re ^n: Afterwards we apply these issues to the calcula- tion of bounds for a topological descriptor of a graph known as the second Zagreb index. Finally, we show how our bounds may improve the re- sults obtained in the literature, providing some theoretical and numerical examples.
△ Less
Submitted 10 May, 2011;
originally announced May 2011.
-
First-order Nilpotent Minimum Logics: first steps
Authors:
Matteo Bianchi
Abstract:
Following the lines of the analysis done in [BPZ07, BCF07] for first-order Gödel logics, we present an analogous investigation for Nilpotent Minimum logic NM. We study decidability and reciprocal inclusion of various sets of first-order tautologies of some subalgebras of the standard Nilpotent Minimum algebra. We establish a connection between the validity in an NM-chain of certain first-order for…
▽ More
Following the lines of the analysis done in [BPZ07, BCF07] for first-order Gödel logics, we present an analogous investigation for Nilpotent Minimum logic NM. We study decidability and reciprocal inclusion of various sets of first-order tautologies of some subalgebras of the standard Nilpotent Minimum algebra. We establish a connection between the validity in an NM-chain of certain first-order formulas and its order type. Furthermore, we analyze axiomatizability, undecidability and the monadic fragments.
△ Less
Submitted 2 July, 2012; v1 submitted 30 March, 2011;
originally announced March 2011.
-
The variety generated by all the ordinal sums of perfect MV-chains
Authors:
Matteo Bianchi
Abstract:
We present the logic BL_Chang, an axiomatic extension of BL (see P. Hájek - Metamathematics of fuzzy logic - 1998, Kluwer) whose corresponding algebras form the smallest variety containing all the ordinal sums of perfect MV-chains. We will analyze this logic and the corresponding algebraic semantics in the propositional and in the first-order case. As we will see, moreover, the variety of BL_Chang…
▽ More
We present the logic BL_Chang, an axiomatic extension of BL (see P. Hájek - Metamathematics of fuzzy logic - 1998, Kluwer) whose corresponding algebras form the smallest variety containing all the ordinal sums of perfect MV-chains. We will analyze this logic and the corresponding algebraic semantics in the propositional and in the first-order case. As we will see, moreover, the variety of BL_Chang-algebras will be strictly connected to the one generated by Chang's MV-algebra (that is, the variety generated by all the perfect MV-algebras): we will also give some new results concerning these last structures and their logic.
△ Less
Submitted 4 April, 2012; v1 submitted 30 March, 2011;
originally announced March 2011.
