Showing 1–50 of 63 results for author: Facchini, A

Designing for Complementarity: A Conceptual Framework to Go Beyond the Current Paradigm of Using XAI in Healthcare

Authors: Elisa Rubegni, Omran Ayoub, Stefania Maria Rita Rizzo, Marco Barbero, Guenda Bernegger, Francesca Faraci, Francesca Mangili, Emiliano Soldini, Pierpaolo Trimboli, Alessandro Facchini

Abstract: The widespread use of Artificial Intelligence-based tools in the healthcare sector raises many ethical and legal problems, one of the main reasons being their black-box nature and therefore the seemingly opacity and inscrutability of their characteristics and decision-making process. Literature extensively discusses how this can lead to phenomena of over-reliance and under-reliance, ultimately lim… ▽ More The widespread use of Artificial Intelligence-based tools in the healthcare sector raises many ethical and legal problems, one of the main reasons being their black-box nature and therefore the seemingly opacity and inscrutability of their characteristics and decision-making process. Literature extensively discusses how this can lead to phenomena of over-reliance and under-reliance, ultimately limiting the adoption of AI. We addressed these issues by building a theoretical framework based on three concepts: Feature Importance, Counterexample Explanations, and Similar-Case Explanations. Grounded in the literature, the model was deployed within a case study in which, using a participatory design approach, we designed and developed a high-fidelity prototype. Through the co-design and development of the prototype and the underlying model, we advanced the knowledge on how to design AI-based systems for enabling complementarity in the decision-making process in the healthcare domain. Our work aims at contributing to the current discourse on designing AI systems to support clinicians' decision-making processes. △ Less

Submitted 6 April, 2024; originally announced April 2024.

Addressing Social Misattributions of Large Language Models: An HCXAI-based Approach

Authors: Andrea Ferrario, Alberto Termine, Alessandro Facchini

Abstract: Human-centered explainable AI (HCXAI) advocates for the integration of social aspects into AI explanations. Central to the HCXAI discourse is the Social Transparency (ST) framework, which aims to make the socio-organizational context of AI systems accessible to their users. In this work, we suggest extending the ST framework to address the risks of social misattributions in Large Language Models (… ▽ More Human-centered explainable AI (HCXAI) advocates for the integration of social aspects into AI explanations. Central to the HCXAI discourse is the Social Transparency (ST) framework, which aims to make the socio-organizational context of AI systems accessible to their users. In this work, we suggest extending the ST framework to address the risks of social misattributions in Large Language Models (LLMs), particularly in sensitive areas like mental health. In fact LLMs, which are remarkably capable of simulating roles and personas, may lead to mismatches between designers' intentions and users' perceptions of social attributes, risking to promote emotional manipulation and dangerous behaviors, cases of epistemic injustice, and unwarranted trust. To address these issues, we propose enhancing the ST framework with a fifth 'W-question' to clarify the specific social attributions assigned to LLMs by its designers and users. This addition aims to bridge the gap between LLM capabilities and user perceptions, promoting the ethically responsible development and use of LLM-based technology. △ Less

Submitted 26 March, 2024; originally announced March 2024.

Comments: Extended version of the manuscript accepted for the ACM CHI Workshop on Human-Centered Explainable AI 2024 (HCXAI24)

Semidirect products in Universal Algebra

Authors: Alberto Facchini, David Stanovský

Abstract: First of all, we recall the well known notion of semidirect product both for classical algebraic structures (like groups and rings) and for more recent ones (digroups, left skew braces, heaps, trusses). Then we analyse the concept of semidirect product for an arbitrary algebra $A$ in a variety $\cal{V}$ of type~$\cal{F}$. An inner semidirect-product decomposition $A=B \ltimesω$ of $A$ consists of… ▽ More First of all, we recall the well known notion of semidirect product both for classical algebraic structures (like groups and rings) and for more recent ones (digroups, left skew braces, heaps, trusses). Then we analyse the concept of semidirect product for an arbitrary algebra $A$ in a variety $\cal{V}$ of type~$\cal{F}$. An inner semidirect-product decomposition $A=B \ltimesω$ of $A$ consists of a subalgebra $B$ of $A$ and a congruence $ω$ on $A$ such that $B$ is a set of representatives of the congruence classes of $A$ modulo $ω$. An outer semidirect product is the restriction to $B$ of a functor from a suitable category $\cal{C}_B$ containing $B$, called the envelo** category of $B$, to the category Set$_*$ of pointed sets. △ Less

Submitted 7 November, 2023; originally announced November 2023.

MSC Class: 08B25

Tracing two decades of carbon emissions using a network approach

Authors: Gianluca Guidi, Rossana Mastrandrea, Angelo Facchini, Tiziano Squartini, Christopher Kennedy

Abstract: Carbon emissions are currently attributed to producers although a consumption-aware accounting is advocated. After constructing the Carbon Trade Network, we trace the flow of emissions over the past two decades. Our analysis reveals the presence of an unexpected, positive feedback: despite individual exchanges have become less carbon-intensive, the increase in trading activity has ultimately risen… ▽ More Carbon emissions are currently attributed to producers although a consumption-aware accounting is advocated. After constructing the Carbon Trade Network, we trace the flow of emissions over the past two decades. Our analysis reveals the presence of an unexpected, positive feedback: despite individual exchanges have become less carbon-intensive, the increase in trading activity has ultimately risen the amount of emissions directed from `net exporters' towards `net importers'. Adopting a consumption-aware accounting would re-distribute responsibility between the two groups, possibly reducing disparities. △ Less

Submitted 4 August, 2023; originally announced August 2023.

Heaps and trusses

Authors: María José Arroyo Paniagua, Alberto Facchini

Abstract: We study commutators of congruences, idempotent endomorphisms and semidirect-product decompositions of heaps and trusses. We study commutators of congruences, idempotent endomorphisms and semidirect-product decompositions of heaps and trusses. △ Less

Submitted 1 August, 2023; originally announced August 2023.

Connecting classical finite exchangeability to quantum theory

Authors: Alessio Benavoli, Alessandro Facchini, Marco Zaffalon

Abstract: Exchangeability is a fundamental concept in probability theory and statistics. It allows to model situations where the order of observations does not matter. The classical de Finetti's theorem provides a representation of infinitely exchangeable sequences of random variables as mixtures of independent and identically distributed variables. The quantum de Finetti theorem extends this result to symm… ▽ More Exchangeability is a fundamental concept in probability theory and statistics. It allows to model situations where the order of observations does not matter. The classical de Finetti's theorem provides a representation of infinitely exchangeable sequences of random variables as mixtures of independent and identically distributed variables. The quantum de Finetti theorem extends this result to symmetric quantum states on tensor product Hilbert spaces. However, both theorems do not hold for finitely exchangeable sequences. The aim of this work is to investigate two lesser-known representation theorems. Developed in classical probability theory, they extend de Finetti's theorem to finitely exchangeable sequences by using quasi-probabilities and quasi-expectations. With the aid of these theorems, we illustrate how a de Finetti-like representation theorem for finitely exchangeable sequences requires a mathematical representation which is formally equivalent to quantum theory (with boson-symmetric density matrices). △ Less

Submitted 6 June, 2023; originally announced June 2023.

Ideals and Congruences in L-algebras and Pre-L-algebras

Authors: Alberto Facchini, Marino Gran, Mara Pompili

Abstract: We link the recent theory of $L$-algebras to previous notions of Universal Algebra and Categorical Algebra concerning subtractive varieties, commutators, multiplicative lattices, and their spectra. We show that the category of $L$-algebras is subtractive and normal in the sense of Zurab Janelidze, but neither the category of $L$-algebras nor that of pre-$L$-algebras are Mal'tsev categories, hence… ▽ More We link the recent theory of $L$-algebras to previous notions of Universal Algebra and Categorical Algebra concerning subtractive varieties, commutators, multiplicative lattices, and their spectra. We show that the category of $L$-algebras is subtractive and normal in the sense of Zurab Janelidze, but neither the category of $L$-algebras nor that of pre-$L$-algebras are Mal'tsev categories, hence in particular they are not semi-abelian. Therefore $L$-algebras are a rather peculiar example of an algebraic structure. △ Less

Submitted 30 May, 2023; originally announced May 2023.

Idempotent Pre-Endomorphisms of Algebras

Authors: Fatma Azmy Ebrahim, Alberto Facchini

Abstract: In the study of pre-Lie algebras, the concept of pre-morphism arises naturally as a generalization of the standard notion of morphism. Pre-morphisms can be defined for arbitrary (not-necessarily associative) algebras over any commutative ring $k$ with identity, and can be dualized in various ways to generalized morphisms (related to pre-Jordan algebras) and anti-pre-morphisms (related to anti-pre-… ▽ More In the study of pre-Lie algebras, the concept of pre-morphism arises naturally as a generalization of the standard notion of morphism. Pre-morphisms can be defined for arbitrary (not-necessarily associative) algebras over any commutative ring $k$ with identity, and can be dualized in various ways to generalized morphisms (related to pre-Jordan algebras) and anti-pre-morphisms (related to anti-pre-Lie algebras). We consider idempotent pre-endomorphisms (generalized endomorphisms, anti-pre-endomorphisms). Idempotent pre-endomorphisms are related to semidirect-product decompositions of the sub-adjacent anticommutative algebra. △ Less

Submitted 11 April, 2023; originally announced April 2023.

MSC Class: 17D05; 17D25

Semidirect products of skew braces

Authors: Alberto Facchini, Mara Pompili

Abstract: We study the notions of action, semidirect product and commutator of ideals for digroups and skew braces. We study the notions of action, semidirect product and commutator of ideals for digroups and skew braces. △ Less

Submitted 25 August, 2023; v1 submitted 22 January, 2023; originally announced January 2023.

MSC Class: 16T25; 18E13; 20N99

Pre-Lie algebras, their multiplicative lattice, and idempotent endomorphisms

Authors: Michela Cerqua, Alberto Facchini

Abstract: We introduce the notions of pre-morphism and pre-derivation for arbitrary non-associative algebras over a commutative ring $k$ with identity. These notions are applied to the study of pre-Lie $k$-algebras and, more generally, Lie-admissible $k$-algebras. Associating with any algebra $(A,\cdot)$ its sub-adjacent anticommutative algebra $(A,[-,-])$ is a functor from the category of $k$-algebras with… ▽ More We introduce the notions of pre-morphism and pre-derivation for arbitrary non-associative algebras over a commutative ring $k$ with identity. These notions are applied to the study of pre-Lie $k$-algebras and, more generally, Lie-admissible $k$-algebras. Associating with any algebra $(A,\cdot)$ its sub-adjacent anticommutative algebra $(A,[-,-])$ is a functor from the category of $k$-algebras with pre-morphisms to the category of anticommutative $k$-algebras. We describe the commutator of two ideals of a pre-Lie algebra, showing that the condition (Huq=Smith) holds for pre-Lie algebras. This allows to make use of all the notions concerning multiplicative lattices in the study of the multiplicative lattice of ideals of a pre-Lie algebra. We study idempotent endomorphisms of a pre-Lie algebra $L$, i.e., semidirect-product decompositions of $L$ and bimodules over $L$. △ Less

Submitted 6 January, 2023; originally announced January 2023.

MSC Class: 17D25; 16W99

Algebras with a bilinear form, and Idempotent endomorphisms

Authors: Alberto Facchini, Leila Heidari Zadeh

Abstract: The category of all $k$-algebras with a bilinear form, whose objects are all pairs $(R,b)$ where $R$ is a $k$-algebra and $b\colon R\times R\to k$ is a bilinear map**, is equivalent to the category of unital $k$-algebras $A$ for which the canonical homomorphism $(k,1)\to(A,1_A)$ of unital $k$-algebras is a splitting monomorphism in the category of $k$-modules. Call the left inverses of this spli… ▽ More The category of all $k$-algebras with a bilinear form, whose objects are all pairs $(R,b)$ where $R$ is a $k$-algebra and $b\colon R\times R\to k$ is a bilinear map**, is equivalent to the category of unital $k$-algebras $A$ for which the canonical homomorphism $(k,1)\to(A,1_A)$ of unital $k$-algebras is a splitting monomorphism in the category of $k$-modules. Call the left inverses of this splitting monomorphism "weak augmentations" of the algebra. There is a category isomorphism between the category of $k$-algebras with a weak augmentation and the category of unital $k$-algebras $(A,b_A)$ with a bilinear form $b_A$ compatible with the multiplication of $A$, i.e., such that $b_A(x,y)=b_A(z,w)$ for all $x,y,z,w\in A$ for which $xy=zw$. △ Less

Submitted 15 October, 2022; originally announced October 2022.

MSC Class: 15A63; 17A01

Multiplicative lattices: maximal implies prime and related questions

Authors: Alberto Facchini, Carmelo Antonio Finocchiaro

Abstract: The goal of this paper is to deepen the study of multiplicative lattices in the sense of Facchini, Finocchiaro and Janelidze. We provide a sort of Prime Ideal Principle that guarantees that maximal implies prime in a variety of cases (among them the case of commutative rings with identity). This result is used to study the lattice theoretic counterpart of multiplicative closed sets, that of m-syst… ▽ More The goal of this paper is to deepen the study of multiplicative lattices in the sense of Facchini, Finocchiaro and Janelidze. We provide a sort of Prime Ideal Principle that guarantees that maximal implies prime in a variety of cases (among them the case of commutative rings with identity). This result is used to study the lattice theoretic counterpart of multiplicative closed sets, that of m-systems. The notion of m-system is also studied from the topological point of view. △ Less

Submitted 9 July, 2022; originally announced July 2022.

MSC Class: 06B23; 06B99; 13A15; 16D25

Aspects of the Category SKB of Skew Braces

Authors: Dominique Bourn, Alberto Facchini, Mara Pompili

Abstract: We examine the pointed protomodular category SKB of left skew braces. We study the notion of commutator of ideals in a left skew brace. Notice that in the literature, "product" of ideals of skew braces is often considered. We show that Huq=Smith for left skew braces. Finally, we give a set of generators for the commutator of two ideals, and prove that every ideal of a left skew brace has a central… ▽ More We examine the pointed protomodular category SKB of left skew braces. We study the notion of commutator of ideals in a left skew brace. Notice that in the literature, "product" of ideals of skew braces is often considered. We show that Huq=Smith for left skew braces. Finally, we give a set of generators for the commutator of two ideals, and prove that every ideal of a left skew brace has a centralizer. △ Less

Submitted 9 May, 2022; originally announced May 2022.

Why we should interpret density matrices as moment matrices: the case of (in)distinguishable particles and the emergence of classical reality

Authors: Alessio Benavoli, Alessandro Facchini, Marco Zaffalon

Abstract: We introduce a formulation of quantum theory (QT) as a general probabilistic theory but expressed via quasi-expectation operators (QEOs). This formulation provides a direct interpretation of density matrices as quasi-moment matrices. Using QEOs, we will provide a series of representation theorems, a' la de Finetti, relating a classical probability mass function (satisfying certain symmetries) to a… ▽ More We introduce a formulation of quantum theory (QT) as a general probabilistic theory but expressed via quasi-expectation operators (QEOs). This formulation provides a direct interpretation of density matrices as quasi-moment matrices. Using QEOs, we will provide a series of representation theorems, a' la de Finetti, relating a classical probability mass function (satisfying certain symmetries) to a quasi-expectation operator. We will show that QT for both distinguishable and indistinguishable particles can be formulated in this way. Although particles indistinguishability is considered a truly "weird" quantum phenomenon, it is not special. We will show that finitely exchangeable probabilities for a classical dice are as weird as QT. Using this connection, we will rederive the first and second quantisation in QT for bosons through the classical statistical concept of exchangeable random variables. Using this approach, we will show how classical reality emerges in QT as the number of identical bosons increases (similar to what happens for finitely exchangeable sequences of rolls of a classical dice). △ Less

Submitted 9 March, 2022; v1 submitted 8 March, 2022; originally announced March 2022.

Belief Revision in Sentential Decision Diagrams

Authors: Lilith Mattei, Alessandro Facchini, Alessandro Antonucci

Abstract: Belief revision is the task of modifying a knowledge base when new information becomes available, while also respecting a number of desirable properties. Classical belief revision schemes have been already specialised to \emph{binary decision diagrams} (BDDs), the classical formalism to compactly represent propositional knowledge. These results also apply to \emph{ordered} BDDs (OBDDs), a special… ▽ More Belief revision is the task of modifying a knowledge base when new information becomes available, while also respecting a number of desirable properties. Classical belief revision schemes have been already specialised to \emph{binary decision diagrams} (BDDs), the classical formalism to compactly represent propositional knowledge. These results also apply to \emph{ordered} BDDs (OBDDs), a special class of BDDs, designed to guarantee canonicity. Yet, those revisions cannot be applied to \emph{sentential decision diagrams} (SDDs), a typically more compact but still canonical class of Boolean circuits, which generalizes OBDDs, while not being a subclass of BDDs. Here we fill this gap by deriving a general revision algorithm for SDDs based on a syntactic characterisation of Dalal revision. A specialised procedure for DNFs is also presented. Preliminary experiments performed with randomly generated knowledge bases show the advantages of directly perform revision within SDD formalism. △ Less

Submitted 20 January, 2022; originally announced January 2022.

Comments: Extended version with proofs of a paper under review

A Saliency based Feature Fusion Model for EEG Emotion Estimation

Authors: Victor Delvigne, Antoine Facchini, Hazem Wannous, Thierry Dutoit, Laurence Ris, Jean-Philippe Vandeborre

Abstract: Among the different modalities to assess emotion, electroencephalogram (EEG), representing the electrical brain activity, achieved motivating results over the last decade. Emotion estimation from EEG could help in the diagnosis or rehabilitation of certain diseases. In this paper, we propose a dual model considering two different representations of EEG feature maps: 1) a sequential based represent… ▽ More Among the different modalities to assess emotion, electroencephalogram (EEG), representing the electrical brain activity, achieved motivating results over the last decade. Emotion estimation from EEG could help in the diagnosis or rehabilitation of certain diseases. In this paper, we propose a dual model considering two different representations of EEG feature maps: 1) a sequential based representation of EEG band power, 2) an image-based representation of the feature vectors. We also propose an innovative method to combine the information based on a saliency analysis of the image-based model to promote joint learning of both model parts. The model has been evaluated on four publicly available datasets: SEED-IV, SEED, DEAP and MPED. The achieved results outperform results from state-of-the-art approaches for three of the proposed datasets with a lower standard deviation that reflects higher stability. For sake of reproducibility, the codes and models proposed in this paper are available at https://github.com/VDelv/Emotion-EEG. △ Less

Submitted 4 April, 2022; v1 submitted 11 January, 2022; originally announced January 2022.

Algebraic structures from the point of view of complete multiplicative lattices

Authors: Alberto Facchini

Abstract: General results on multiplicative lattices found recently by Facchini, Finocchiaro and Janelidze have been studied in the particular case of groups by Facchini, de Giovanni and Trombetti. In this paper we prove that these results hold not only for the multiplicative lattices of all normal subgroups of a group, but also for much more general multiplicative lattices. Therefore they can be applied to… ▽ More General results on multiplicative lattices found recently by Facchini, Finocchiaro and Janelidze have been studied in the particular case of groups by Facchini, de Giovanni and Trombetti. In this paper we prove that these results hold not only for the multiplicative lattices of all normal subgroups of a group, but also for much more general multiplicative lattices. Therefore they can be applied to other algebraic structures, for instance to braces. △ Less

Submitted 23 April, 2022; v1 submitted 10 January, 2022; originally announced January 2022.

MSC Class: 06B75; 16T25; 20A99; 22F05

Who are the arbitrageurs? Empirical evidence from Bitcoin traders in the Mt. Gox exchange platform

Authors: Pietro Saggese, Alessandro Belmonte, Nicola Dimitri, Angelo Facchini, Rainer Böhme

Abstract: We mine the leaked history of trades on Mt. Gox, the dominant Bitcoin exchange from 2011 to early 2014, to detect the triangular arbitrage activity conducted within the platform. The availability of user identifiers per trade allows us to focus on the historical record of 440 investors, detected as arbitrageurs, and consequently to describe their trading behavior. We begin by showing that a consid… ▽ More We mine the leaked history of trades on Mt. Gox, the dominant Bitcoin exchange from 2011 to early 2014, to detect the triangular arbitrage activity conducted within the platform. The availability of user identifiers per trade allows us to focus on the historical record of 440 investors, detected as arbitrageurs, and consequently to describe their trading behavior. We begin by showing that a considerable difference appears between arbitrageurs when indicators of their expertise are taken into account. In particular, we distinguish between those who conducted arbitrage in a single or in multiple markets: using this element as a proxy for trade ability, we find that arbitrage actions performed by expert users are on average non-profitable when transaction costs are accounted for, while skilled investors conduct arbitrage at a positive and statistically significant premium. Next, we show that specific trading strategies, such as splitting orders or conducting arbitrage non aggressively, are further indicators of expertise that increase the profitability of arbitrage. Most importantly, we exploit within-user (across hours and markets) variation and document that expert users make profits on arbitrage by reacting quickly to plausible exogenous variations on the official exchange rates. We present further evidence that such differences are chiefly due to a better ability of the latter in incorporating information, both on the transactions costs and on the exchange rates volatility, eventually resulting in a better timing choice at small time scale intervals. Our results support the hypothesis that arbitrageurs are few and sophisticated users. △ Less

Submitted 22 September, 2021; originally announced September 2021.

Circular City Index: An Open Data analysis to assess the urban circularity preparedness of cities to address the green transition -- A study on the Italian municipalities

Authors: Alessio Muscillo, Simona Re, Sergio Gambacorta, Giuseppe Ferrara, Nicola Tagliafierro, Emiliano Borello, Alessandro Rubino, Angelo Facchini

Abstract: We present a circularity transition index based on open data principles and circularity of energy, material, and information. The aim of the Circular City Index is to provide data and a succinct measurement of the attributes related to municipalities performances that can support the definition of green policies at national and local level. We have identified a set of key performance indicators, d… ▽ More We present a circularity transition index based on open data principles and circularity of energy, material, and information. The aim of the Circular City Index is to provide data and a succinct measurement of the attributes related to municipalities performances that can support the definition of green policies at national and local level. We have identified a set of key performance indicators, defined at municipality level, measuring factors that, directly and indirectly, could influence circularity and green transition, with a focus on the green new deal vision embraced by the European Union. The CCI is tested on a open dataset that collects data covering 100% of the Italian municipalities (7,904). Our results show that the computation of the CCI on a large sample leads to a normal distribution of the index, suggesting disparities both under the territorial point of view and under the point of view of city size. Results provide useful information to practitioner, policy maker and experts from academia alike, to define effective tools able to underpin a careful planning of investments supported by the national recovery and resilience plan recently issued by the Italian government. This may be particularly useful to enhance enabling factors of the green transition that may differ across territories, hel** policymakers to promote a smooth and fair transition by fostering the preparedness of municipalities in addressing the challenge. △ Less

Submitted 22 September, 2021; originally announced September 2021.

Comments: 46 pages

Structural Learning of Probabilistic Sentential Decision Diagrams under Partial Closed-World Assumption

Authors: Alessandro Antonucci, Alessandro Facchini, Lilith Mattei

Abstract: Probabilistic sentential decision diagrams are a class of structured-decomposable probabilistic circuits especially designed to embed logical constraints. To adapt the classical LearnSPN scheme to learn the structure of these models, we propose a new scheme based on a partial closed-world assumption: data implicitly provide the logical base of the circuit. Sum nodes are thus learned by recursively… ▽ More Probabilistic sentential decision diagrams are a class of structured-decomposable probabilistic circuits especially designed to embed logical constraints. To adapt the classical LearnSPN scheme to learn the structure of these models, we propose a new scheme based on a partial closed-world assumption: data implicitly provide the logical base of the circuit. Sum nodes are thus learned by recursively clustering batches in the initial data base, while the partitioning of the variables obeys a given input vtree. Preliminary experiments show that the proposed approach might properly fit training data, and generalize well to test data, provided that these remain consistent with the underlying logical base, that is a relaxation of the training data base. △ Less

Submitted 26 July, 2021; originally announced July 2021.

Journal ref: 4th Workshop on Tractable Probabilistic Modeling (TPM 2021)

Quantum indistinguishability through exchangeable desirable gambles

Authors: Alessio Benavoli, Alessandro Facchini, Marco Zaffalon

Abstract: Two particles are identical if all their intrinsic properties, such as spin and charge, are the same, meaning that no quantum experiment can distinguish them. In addition to the well known principles of quantum mechanics, understanding systems of identical particles requires a new postulate, the so called symmetrization postulate. In this work, we show that the postulate corresponds to exchangeabi… ▽ More Two particles are identical if all their intrinsic properties, such as spin and charge, are the same, meaning that no quantum experiment can distinguish them. In addition to the well known principles of quantum mechanics, understanding systems of identical particles requires a new postulate, the so called symmetrization postulate. In this work, we show that the postulate corresponds to exchangeability assessments for sets of observables (gambles) in a quantum experiment, when quantum mechanics is seen as a normative and algorithmic theory guiding an agent to assess her subjective beliefs represented as (coherent) sets of gambles. Finally, we show how sets of exchangeable observables (gambles) may be updated after a measurement and discuss the issue of defining entanglement for indistinguishable particle systems. △ Less

Submitted 10 May, 2021; originally announced May 2021.

Abstractly constructed prime spectra

Authors: Alberto Facchini, Carmelo Antonio Finocchiaro, George Janelidze

Abstract: The main purpose of this paper is a wide generalization of one of the results abstract algebraic geometry begins with, namely of the fact that the prime spectrum $\mathrm{Spec}(R)$ of a unital commutative ring $R$ is always a spectral (=coherent) topological space. In this generalization, which includes several other known ones, the role of ideals of $R$ is played by elements of an abstract comple… ▽ More The main purpose of this paper is a wide generalization of one of the results abstract algebraic geometry begins with, namely of the fact that the prime spectrum $\mathrm{Spec}(R)$ of a unital commutative ring $R$ is always a spectral (=coherent) topological space. In this generalization, which includes several other known ones, the role of ideals of $R$ is played by elements of an abstract complete lattice $L$ equipped with binary multiplication with $xy\leqslant x\wedge y$ for all $x,y\in L$. In fact when no further conditions on $L$ are required, the resulting space can be and is only shown to be sober, and we discuss further conditions sufficient to make it spectral. This discussion involves establishing various comparison theorems on so-called prime, radical, solvable, and locally solvable elements of $L$; we also make short additional remarks on semiprime elements. We consider categorical and universal-algebraic applications involving general theory of commutators, and an application to ideals in what we call the commutative world. The cases of groups and of non-commutative rings are briefly considered separately. △ Less

Submitted 30 November, 2021; v1 submitted 20 April, 2021; originally announced April 2021.

MSC Class: 06F99; 13A15; 14A05; 06D05; 16Y60; 20M12; 16D25; 18E13; 06D22; 54D30; 08A30; 08B99; 08B10; 16Y30

Robust Model Checking with Imprecise Markov Reward Models

Authors: Alberto Termine, Alessandro Antonucci, Alessandro Facchini, Giuseppe Primiero

Abstract: In recent years probabilistic model checking has become an important area of research because of the diffusion of computational systems of stochastic nature. Despite its great success, standard probabilistic model checking suffers the limitation of requiring a sharp specification of the probabilities governing the model behaviour. The theory of imprecise probabilities offers a natural approach to… ▽ More In recent years probabilistic model checking has become an important area of research because of the diffusion of computational systems of stochastic nature. Despite its great success, standard probabilistic model checking suffers the limitation of requiring a sharp specification of the probabilities governing the model behaviour. The theory of imprecise probabilities offers a natural approach to overcome such limitation by a sensitivity analysis with respect to the values of these parameters. However, only extensions based on discrete-time imprecise Markov chains have been considered so far for such a robust approach to model checking. We present a further extension based on imprecise Markov reward models. In particular, we derive efficient algorithms to compute lower and upper bounds of the expected cumulative reward and probabilistic bounded rewards based on existing results for imprecise Markov chains. These ideas are tested on a real case study involving the spend-down costs of geriatric medicine departments. △ Less

Submitted 18 May, 2021; v1 submitted 8 March, 2021; originally announced March 2021.

Comments: Forthcoming in the proceedings of ISIPTA 2021 (International Symposium of Imprecise Probability: Theory and Applications)

COVID-19 and Unemployment Risk: Lessons for the Vaccination Campaign

Authors: Valentina Pieroni, Angelo Facchini, Massimo Riccaboni

Abstract: Assessing the economic impact of COVID-19 pandemic and public health policies is essential for a rapid recovery. In this paper, we analyze the impact of mobility contraction on furloughed workers and excess deaths in Italy. We provide a link between the reduction of mobility and excess deaths, confirming that the first countrywide lockdown has been effective in curtailing the COVID-19 epidemics. O… ▽ More Assessing the economic impact of COVID-19 pandemic and public health policies is essential for a rapid recovery. In this paper, we analyze the impact of mobility contraction on furloughed workers and excess deaths in Italy. We provide a link between the reduction of mobility and excess deaths, confirming that the first countrywide lockdown has been effective in curtailing the COVID-19 epidemics. Our analysis points out that a mobility contraction of 10% leads to a mortality reduction of 5% whereas it leads to an increase of 50% in full time equivalent furloughed workers. Based on our results, we propose a prioritizing policy for the most advanced stage of the COVID-19 vaccination campaign, considering the unemployment risk of the healthy active population. Keywords: COVID-19 mortality; Furlough schemes; Economic impact of lockdowns; Vaccination rollout: Unemployment risk △ Less

Submitted 25 March, 2021; v1 submitted 6 February, 2021; originally announced February 2021.

Comments: version 2, 32 pages

Tractable Inference in Credal Sentential Decision Diagrams

Authors: Lilith Mattei, Alessandro Antonucci, Denis Deratani Mauá, Alessandro Facchini, Julissa Villanueva Llerena

Abstract: Probabilistic sentential decision diagrams are logic circuits where the inputs of disjunctive gates are annotated by probability values. They allow for a compact representation of joint probability mass functions defined over sets of Boolean variables, that are also consistent with the logical constraints defined by the circuit. The probabilities in such a model are usually learned from a set of o… ▽ More Probabilistic sentential decision diagrams are logic circuits where the inputs of disjunctive gates are annotated by probability values. They allow for a compact representation of joint probability mass functions defined over sets of Boolean variables, that are also consistent with the logical constraints defined by the circuit. The probabilities in such a model are usually learned from a set of observations. This leads to overconfident and prior-dependent inferences when data are scarce, unreliable or conflicting. In this work, we develop the credal sentential decision diagrams, a generalisation of their probabilistic counterpart that allows for replacing the local probabilities with (so-called credal) sets of mass functions. These models induce a joint credal set over the set of Boolean variables, that sharply assigns probability zero to states inconsistent with the logical constraints. Three inference algorithms are derived for these models, these allow to compute: (i) the lower and upper probabilities of an observation for an arbitrary number of variables; (ii) the lower and upper conditional probabilities for the state of a single variable given an observation; (iii) whether or not all the probabilistic sentential decision diagrams compatible with the credal specification have the same most probable explanation of a given set of variables given an observation of the other variables. These inferences are tractable, as all the three algorithms, based on bottom-up traversal with local linear programming tasks on the disjunctive gates, can be solved in polynomial time with respect to the circuit size. For a first empirical validation, we consider a simple application based on noisy seven-segment display images. The credal models are observed to properly distinguish between easy and hard-to-detect instances and outperform other generative models not able to cope with logical constraints. △ Less

Submitted 19 August, 2020; originally announced August 2020.

Comments: To appear in the International Journal of Approximate Reasoning (IJAR Volume 125)

Unusual spectral categories

Authors: María José Arroyo Paniagua, Alberto Facchini, Marino Gran, George Janelidze

Abstract: The paper is devoted to a kind of `very non-abelian' spectral categories. Under strong conditions on a category $\mathcal{X}$, we prove, among other things, that, for a given faithful localization $\mathcal{C}\to\mathcal{X}$, we have canonical equivalences $\mathrm{Spec}(\mathcal{C})\sim\mathcal{X}\sim(\mathrm{Category\,\,of\,\,injective\,\,objects\,\,in}\,\, \mathcal{C})$, and that $\mathcal{C}$… ▽ More The paper is devoted to a kind of `very non-abelian' spectral categories. Under strong conditions on a category $\mathcal{X}$, we prove, among other things, that, for a given faithful localization $\mathcal{C}\to\mathcal{X}$, we have canonical equivalences $\mathrm{Spec}(\mathcal{C})\sim\mathcal{X}\sim(\mathrm{Category\,\,of\,\,injective\,\,objects\,\,in}\,\, \mathcal{C})$, and that $\mathcal{C}$ has natural injective envelopes. △ Less

Submitted 19 February, 2020; originally announced February 2020.

Comments: 10 pages

MSC Class: 18A20; 18A40; 18B30; 18G05

Journal ref: Rendiconti del Seminario Matematico dell'Università di Padova, Vol.144, 2020, 13-25

Covering classes and uniserial modules

Authors: Alberto Facchini, Zahra Nazemian, Pavel Prihoda

Abstract: We apply minimal weakly generating sets to study the existence of Add$(U_R)$-covers for a uniserial module $U_R$. If $U_R$ is a uniserial right module over a ring $R$, then $S:=$End$ (U_R)$ has at most two maximal (right, left, two-sided) ideals: one is the set $I$ of all endomorphisms that are not injective, and the other is the set $K $ of all endomorphisms of $U_R$ that are not surjective. We p… ▽ More We apply minimal weakly generating sets to study the existence of Add$(U_R)$-covers for a uniserial module $U_R$. If $U_R$ is a uniserial right module over a ring $R$, then $S:=$End$ (U_R)$ has at most two maximal (right, left, two-sided) ideals: one is the set $I$ of all endomorphisms that are not injective, and the other is the set $K $ of all endomorphisms of $U_R$ that are not surjective. We prove that if $U_R$ is either finitely generated, or artinian, or $I \subset K$, then the class Add$(U_R)$ is covering if and only if it is closed under direct limit. Moreover, we study endomorphism rings of artinian uniserial modules giving several examples. △ Less

Submitted 9 January, 2020; originally announced January 2020.

MSC Class: Primary 16P70; 16S50. Secondary 16W80

A new Galois structure in the category of internal preorders

Authors: Alberto Facchini, Carmelo Finocchiaro, Marino Gran

Abstract: Let $\mathsf{PreOrd}(\mathbb C)$ be the category of internal preorders in an exact category $\mathbb C$. We show that the pair $(\mathsf{Eq}(\mathbb C), \mathsf{ParOrd}(\mathbb C))$ is a pretorsion theory in $\mathsf{PreOrd}(\mathbb C)$, where $\mathsf{Eq}(\mathbb C)$ and $\mathsf{ParOrd}(\mathbb C)$) are the full subcategories of internal equivalence relations and of internal partial orders in… ▽ More Let $\mathsf{PreOrd}(\mathbb C)$ be the category of internal preorders in an exact category $\mathbb C$. We show that the pair $(\mathsf{Eq}(\mathbb C), \mathsf{ParOrd}(\mathbb C))$ is a pretorsion theory in $\mathsf{PreOrd}(\mathbb C)$, where $\mathsf{Eq}(\mathbb C)$ and $\mathsf{ParOrd}(\mathbb C)$) are the full subcategories of internal equivalence relations and of internal partial orders in $\mathbb C$, respectively. We observe that $\mathsf{ParOrd}(\mathbb C)$ is a reflective subcategory of $\mathsf{PreOrd}(\mathbb C)$ such that each component of the unit of the adjunction is a pullback-stable regular epimorphism. The reflector $F:\mathsf{PreOrd}(\mathbb C)\to \mathsf{ParOrd}(\mathbb C)$ turns out to have stable units in the sense of Cassidy, Hébert and Kelly, thus inducing an admissible categorical Galois structure. In particular, when $\mathbb C$ is the category $\mathsf{Set}$ of sets, we show that this reflection induces a monotone-light factorization system (in the sense of Carboni, Janelidze, Kelly and Paré) in $\mathsf{PreOrd}(\mathsf{Set})$. A topological interpretation of our results in the category of Alexandroff-discrete spaces is also given, via the well-known isomorphism between this latter category and $\mathsf{PreOrd}(\mathsf{Set})$. △ Less

Submitted 6 March, 2020; v1 submitted 19 September, 2019; originally announced September 2019.

Comments: 24 pages, minor corrections

MSC Class: 18E10; 18A40; 18A32; 18E40; 06A15

Journal ref: Theory and Applications of Categories, Vol. 35, 2020, No. 11, 326-349

Pretorsion theories in general categories

Authors: Alberto Facchini, Carmelo Finocchiaro, Marino Gran

Abstract: We present a setting for the study of torsion theories in general categories. The idea is to associate, with any pair ($\mathcal T$, $\mathcal F$) of full replete subcategories in a category $\mathcal C$, the corresponding full subcategory $\mathcal Z = \mathcal T \cap \mathcal F$ of \emph{trivial objects} in $\mathcal C$. The morphisms which factor through $\mathcal Z$ are called $\mathcal Z$-tri… ▽ More We present a setting for the study of torsion theories in general categories. The idea is to associate, with any pair ($\mathcal T$, $\mathcal F$) of full replete subcategories in a category $\mathcal C$, the corresponding full subcategory $\mathcal Z = \mathcal T \cap \mathcal F$ of \emph{trivial objects} in $\mathcal C$. The morphisms which factor through $\mathcal Z$ are called $\mathcal Z$-trivial, and these form an ideal of morphisms, with respect to which one can define $\mathcal Z$-prekernels, $\mathcal Z$-precokernels, and short $\mathcal Z$-preexact sequences. This naturally leads to the notion of pretorsion theory, which is the object of study of this article, and includes the classical one in the abelian context when $\mathcal Z$ is reduced to the $0$-object of $\mathcal C$. We study the basic properties of pretorsion theories, and examine some new examples in the category of all endomap**s of finite sets and in the category of preordered sets. △ Less

Submitted 21 July, 2020; v1 submitted 9 August, 2019; originally announced August 2019.

Comments: 22 pages

MSC Class: 18E40; 18D20; 17A65; 13D30

Journal ref: Journal of Pure and Applied Algebra Volume 225, Issue 2, 2021, 106503

What is the spectral category?

Authors: María José Arroyo Paniagua, Alberto Facchini, Marino Gran, George Janelidze

Abstract: For a category $\mathcal{C}$ with finite limits and a class $\mathcal{S}$ of monomorphisms in $\mathcal{C}$ that is pullback stable, contains all isomorphisms, is closed under composition, and has the strong left cancellation property, we use pullback stable $\mathcal{S}$-essential monomorphisms in $\mathcal{C}$ to construct a spectral category $\mathrm{Spec}(\mathcal{C},\mathcal{S})$. We show tha… ▽ More For a category $\mathcal{C}$ with finite limits and a class $\mathcal{S}$ of monomorphisms in $\mathcal{C}$ that is pullback stable, contains all isomorphisms, is closed under composition, and has the strong left cancellation property, we use pullback stable $\mathcal{S}$-essential monomorphisms in $\mathcal{C}$ to construct a spectral category $\mathrm{Spec}(\mathcal{C},\mathcal{S})$. We show that it has finite limits and that the canonical functor $\mathcal{C}\to \mathrm{Spec}(\mathcal{C},\mathcal{S})$ preserves finite limits. When $\mathcal{C}$ is a normal category, assuming for simplicity that $\mathcal{S}$ is the class of all monomorphisms in $\mathcal{C}$, we show that pullback stable $\mathcal{S}$-essential monomorphisms are the same as what we call subobject-essential monomorphisms. △ Less

Submitted 24 September, 2019; v1 submitted 24 March, 2019; originally announced March 2019.

Comments: 14 pages, the introduction has been changed

MSC Class: 18E15; 16D40; 16D50; 18A20; 18D90

Journal ref: In: Facchini A., Fontana M., Geroldinger A., Olberding B. (eds) Advances in Rings, Modules and Factorizations. Rings and Factorizations 2018. Springer Proceedings in Mathematics & Statistics, vol 321. Springer (2020) 135-152

Bernstein's socks and polynomial-time provable coherence

Authors: Alessio Benavoli, Alessandro Facchini, Marco Zaffalon

Abstract: We recently introduced a bounded rationality approach for the theory of desirable gambles. It is based on the unique requirement that being non-negative for a gamble has to be defined so that it can be provable in polynomial-time. In this paper we continue to investigate properties of this class of models. In particular we verify that the space of Bernstein polynomials in which non-negativity is s… ▽ More We recently introduced a bounded rationality approach for the theory of desirable gambles. It is based on the unique requirement that being non-negative for a gamble has to be defined so that it can be provable in polynomial-time. In this paper we continue to investigate properties of this class of models. In particular we verify that the space of Bernstein polynomials in which non-negativity is specified by the Krivine-Vasilescu certificate is yet another instance of this theory. As a consequence, we show how it is possible to construct in it a thought experiment uncovering entanglement with classical (hence non quantum) coins. △ Less

Submitted 11 March, 2019; originally announced March 2019.

Pretorsion theories, stable category and preordered sets

Authors: Alberto Facchini, Carmelo Finocchiaro

Abstract: We show that in the category of preordered sets, there is a natural notion of pretorsion theory, in which the partially ordered sets are the torsion-free objects and the sets endowed with an equivalence relation are the torsion objects. Correspondingly, it is possible to construct a stable category factoring out the objects that are both torsion and torsion-free. We show that in the category of preordered sets, there is a natural notion of pretorsion theory, in which the partially ordered sets are the torsion-free objects and the sets endowed with an equivalence relation are the torsion objects. Correspondingly, it is possible to construct a stable category factoring out the objects that are both torsion and torsion-free. △ Less

Submitted 14 February, 2019; originally announced February 2019.

MSC Class: 06A06; 06A11

An extension of properties of symmetric group to monoids and a pretorsion theory in the category of map**s

Authors: Alberto Facchini, Leila Heidari Zadeh

Abstract: Several elementary properties of the symmetric group $S_n$ extend in a nice way to the full transformation monoid $M_n$ of all maps of the set $X:=\{1,2,3,\dots,n\}$ into itself. The group $S_n$ turns out to be in some sense the torsion part of the monoid $M_n$. More precisely, there is a pretorsion theory in the category of all maps $f\colon X\to X$, $X$ an arbitrary finite non-empty set, in whic… ▽ More Several elementary properties of the symmetric group $S_n$ extend in a nice way to the full transformation monoid $M_n$ of all maps of the set $X:=\{1,2,3,\dots,n\}$ into itself. The group $S_n$ turns out to be in some sense the torsion part of the monoid $M_n$. More precisely, there is a pretorsion theory in the category of all maps $f\colon X\to X$, $X$ an arbitrary finite non-empty set, in which bijections are exactly the torsion objects. △ Less

Submitted 14 February, 2019; originally announced February 2019.

MSC Class: 18A99; 20M20

Computational Complexity and the Nature of Quantum Mechanics

Authors: Alessio Benavoli, Alessandro Facchini, Marco Zaffalon

Abstract: Quantum theory (QT) has been confirmed by numerous experiments, yet we still cannot fully grasp the meaning of the theory. As a consequence, the quantum world appears to us paradoxical. Here we shed new light on QT by being based on two main postulates: 1. the theory should be logically consistent; 2. inferences in the theory should be computable in polynomial time. The first postulate is what we… ▽ More Quantum theory (QT) has been confirmed by numerous experiments, yet we still cannot fully grasp the meaning of the theory. As a consequence, the quantum world appears to us paradoxical. Here we shed new light on QT by being based on two main postulates: 1. the theory should be logically consistent; 2. inferences in the theory should be computable in polynomial time. The first postulate is what we require to each well-founded mathematical theory. The computation postulate defines the physical component of the theory. We show that the computation postulate is the only true divide between QT, seen as a generalised theory of probability, and classical probability. All quantum paradoxes, and entanglement in particular, arise from the clash of trying to reconcile a computationally intractable, somewhat idealised, theory (classical physics) with a computationally tractable theory (QT) or, in other words, from regarding physics as fundamental rather than computation. △ Less

Submitted 20 May, 2019; v1 submitted 12 February, 2019; originally announced February 2019.

Comments: arXiv admin note: substantial text overlap with arXiv:1902.03513

Computational Complexity and the Nature of Quantum Mechanics (Extended version)

Authors: Alessio Benavoli, Alessandro Facchini, Marco Zaffalon

Abstract: Quantum theory (QT) has been confirmed by numerous experiments, yet we still cannot fully grasp the meaning of the theory. As a consequence, the quantum world appears to us paradoxical. Here we shed new light on QT by having it follow from two main postulates (i) the theory should be logically consistent; (ii) inferences in the theory should be computable in polynomial time. The first postulate is… ▽ More Quantum theory (QT) has been confirmed by numerous experiments, yet we still cannot fully grasp the meaning of the theory. As a consequence, the quantum world appears to us paradoxical. Here we shed new light on QT by having it follow from two main postulates (i) the theory should be logically consistent; (ii) inferences in the theory should be computable in polynomial time. The first postulate is what we require to each well-founded mathematical theory. The computation postulate defines the physical component of the theory. We show that the computation postulate is the only true divide between QT, seen as a generalised theory of probability, and classical probability. All quantum paradoxes, and entanglement in particular, arise from the clash of trying to reconcile a computationally intractable, somewhat idealised, theory (classical physics) with a computationally tractable theory (QT) or, in other words, from regarding physics as fundamental rather than computation. △ Less

Submitted 9 February, 2019; originally announced February 2019.

On a partially ordered set associated to ring morphisms

Authors: Alberto Facchini, Leila Heidari Zadeh

Abstract: We associate to any ring $R$ with identity a partially ordered set Hom$(R)$, whose elements are all pairs $(\mathfrak a,M)$, where $\mathfrak a=\ker\varphi$ and $M=\varphi^{-1}(U(S))$ for some ring morphism $\varphi$ of $R$ into an arbitrary ring $S$. Here $U(S)$ denotes the group of units of $S$. The assignment $R\mapsto{}$Hom$(R)$ turns out to be a contravariant functor of the category Ring of a… ▽ More We associate to any ring $R$ with identity a partially ordered set Hom$(R)$, whose elements are all pairs $(\mathfrak a,M)$, where $\mathfrak a=\ker\varphi$ and $M=\varphi^{-1}(U(S))$ for some ring morphism $\varphi$ of $R$ into an arbitrary ring $S$. Here $U(S)$ denotes the group of units of $S$. The assignment $R\mapsto{}$Hom$(R)$ turns out to be a contravariant functor of the category Ring of associative rings with identity to the category ParOrd of partially ordered sets. The maximal elements of Hom$(R)$ constitute a subset Max$(R)$ which, for commutative rings $R$, can be identified with the Zariski spectrum Spec$(R)$ of $R$. Every pair $(\mathfrak a,M)$ in Hom$(R)$ has a canonical representative, that is, there is a universal ring morphism $ψ\colon R\to S_{(R/\mathfrak a,M/\mathfrak a)} $ corresponding to the pair $(\mathfrak a,M)$, where the ring $S_{(R/\mathfrak a,M/\mathfrak a)} $ is constructed as a universal inverting $R/\mathfrak a$-ring in the sense of Cohn. Several properties of the sets Hom$(R)$ and Max$(R)$ are studied. △ Less

Submitted 14 October, 2018; originally announced October 2018.

MSC Class: 16

The Power of the Weak

Authors: Facundo Carreiro, Alessandro Facchini, Yde Venema, Fabio Zanasi

Abstract: A landmark result in the study of logics for formal verification is Janin & Walukiewicz's theorem, stating that the modal $μ$-calculus ($μ\mathrm{ML}$) is equivalent modulo bisimilarity to standard monadic second-order logic (here abbreviated as $\mathrm{smso}$), over the class of labelled transition systems (LTSs for short). Our work proves two results of the same kind, one for the alternation-fr… ▽ More A landmark result in the study of logics for formal verification is Janin & Walukiewicz's theorem, stating that the modal $μ$-calculus ($μ\mathrm{ML}$) is equivalent modulo bisimilarity to standard monadic second-order logic (here abbreviated as $\mathrm{smso}$), over the class of labelled transition systems (LTSs for short). Our work proves two results of the same kind, one for the alternation-free fragment of $μ\mathrm{ML}$ ($μ_D\mathrm{ML}$) and one for weak $\mathrm{mso}$ ($\mathrm{wmso}$). Whereas it was known that $μ_D\mathrm{ML}$ and $\mathrm{wmso}$ are equivalent modulo bisimilarity on binary trees, our analysis shows that the picture radically changes once we reason over arbitrary LTSs. The first theorem that we prove is that, over LTSs, $μ_D\mathrm{ML}$ is equivalent modulo bisimilarity to noetherian $\mathrm{mso}$ ($\mathrm{nmso}$), a newly introduced variant of $\mathrm{smso}$ where second-order quantification ranges over "well-founded" subsets only. Our second theorem starts from $\mathrm{wmso}$, and proves it equivalent modulo bisimilarity to a fragment of $μ_D\mathrm{ML}$ defined by a notion of continuity. Analogously to Janin & Walukiewicz's result, our proofs are automata-theoretic in nature: as another contribution, we introduce classes of parity automata characterising the expressiveness of $\mathrm{wmso}$ and $\mathrm{nmso}$ (on tree models) and of $μ_C\mathrm{ML}$ and $μ_D\mathrm{ML}$ (for all transition systems). △ Less

Submitted 10 September, 2018; originally announced September 2018.

Comments: arXiv admin note: text overlap with arXiv:1401.4374

Model Theory of Monadic Predicate Logic with the Infinity Quantifier

Authors: Facundo Carreiro, Alessandro Facchini, Yde Venema, Fabio Zanasi

Abstract: This paper establishes model-theoretic properties of $\mathrm{FOE}^{\infty}$, a variation of monadic first-order logic that features the generalised quantifier $\exists^\infty$ (`there are infinitely many'). We provide syntactically defined fragments of $\mathrm{FOE}^{\infty}$ characterising four different semantic properties of $\mathrm{FOE}^{\infty}$-sentences: (1) being monotone and (2) (Scot… ▽ More This paper establishes model-theoretic properties of $\mathrm{FOE}^{\infty}$, a variation of monadic first-order logic that features the generalised quantifier $\exists^\infty$ (`there are infinitely many'). We provide syntactically defined fragments of $\mathrm{FOE}^{\infty}$ characterising four different semantic properties of $\mathrm{FOE}^{\infty}$-sentences: (1) being monotone and (2) (Scott) continuous in a given set of monadic predicates; (3) having truth preserved under taking submodels or (4) invariant under taking quotients. In each case, we produce an effectively defined map that translates an arbitrary sentence $\varphi$ to a sentence $\varphi^{p}$ belonging to the corresponding syntactic fragment, with the property that $\varphi$ is equivalent to $\varphi^{p}$ precisely when it has the associated semantic property. Our methodology is first to provide these results in the simpler setting of monadic first-order logic with ($\mathrm{FOE}$) and without ($\mathrm{FO}$) equality, and then move to $\mathrm{FOE}^{\infty}$ by including the generalised quantifier $\exists^\infty$ into the picture. As a corollary of our developments, we obtain that the four semantic properties above are decidable for $\mathrm{FOE}^{\infty}$-sentences. Moreover, our results are directly relevant to the characterisation of automata and expressiveness modulo bisimilirity for variants of monadic second-order logic. This application is developed in a companion paper. △ Less

Submitted 10 September, 2018; originally announced September 2018.

Covering classes, strongly flat modules, and completions

Authors: Alberto Facchini, Zahra Nazemian

Abstract: We study some closely interrelated notions of Homological Algebra: (1) We define a topology on modules over a not-necessarily commutative ring $R$ that coincides with the $R$-topology defined by Matlis when $R$ is commutative. (2) We consider the class $ \mathcal{SF}$ of strongly flat modules when $R$ is a right Ore domain with classical right quotient ring $Q$. Strongly flat modules are flat. The… ▽ More We study some closely interrelated notions of Homological Algebra: (1) We define a topology on modules over a not-necessarily commutative ring $R$ that coincides with the $R$-topology defined by Matlis when $R$ is commutative. (2) We consider the class $ \mathcal{SF}$ of strongly flat modules when $R$ is a right Ore domain with classical right quotient ring $Q$. Strongly flat modules are flat. The completion of $R$ in its $R$-topology is a strongly flat $R$-module. (3) We consider some results related to the question whether $ \mathcal{SF}$ a covering class implies $ \mathcal{SF}$ closed under direct limit. This is a particular case of the so-called Enochs' Conjecture (whether covering classes are closed under direct limit). Some of our results concerns right chain domains. For instance, we show that if the class of strongly flat modules over a right chain domain $R$ is covering, then $R$ is right invariant. In this case, flat $R$-modules are strongly flat. △ Less

Submitted 7 August, 2018; originally announced August 2018.

Comments: 19 pages

MSC Class: 16

A Credal Extension of Independent Choice Logic

Authors: Alessandro Antonucci, Alessandro Facchini

Abstract: We propose an extension of Poole's independent choice logic based on a relaxation of the underlying independence assumptions. A credal semantics involving multiple joint probability mass functions over the possible worlds is adopted. This represents a conservative approach to probabilistic logic programming achieved by considering all the mass functions consistent with the probabilistic facts. Thi… ▽ More We propose an extension of Poole's independent choice logic based on a relaxation of the underlying independence assumptions. A credal semantics involving multiple joint probability mass functions over the possible worlds is adopted. This represents a conservative approach to probabilistic logic programming achieved by considering all the mass functions consistent with the probabilistic facts. This allows to model tasks for which independence among some probabilistic choices cannot be assumed, and a specific dependence model cannot be assessed. Preliminary tests on an object ranking application show that, despite the loose underlying assumptions, informative inferences can be extracted. △ Less

Submitted 21 June, 2018; originally announced June 2018.

Comments: SUM 2018 (12th International Conference on Scalable Uncertainty Management)

Serial factorizations of right ideals

Authors: Alberto Facchini, Zahra Nazemian

Abstract: In a Dedekind domain $D$, every non-zero proper ideal $A$ factors as a product $A=P_1^{t_1}\cdots P_k^{t_k}$ of powers of distinct prime ideals $P_i$. For a Dedekind domain $D$, the $D$-modules $D/P_i^{t_i}$ are uniserial. We extend this property studying suitable factorizations $A=A_1\dots A_n$ of a right ideal $A$ of an arbitrary ring $R$ as a product of proper right ideals $A_1,\dots,A_n$ with… ▽ More In a Dedekind domain $D$, every non-zero proper ideal $A$ factors as a product $A=P_1^{t_1}\cdots P_k^{t_k}$ of powers of distinct prime ideals $P_i$. For a Dedekind domain $D$, the $D$-modules $D/P_i^{t_i}$ are uniserial. We extend this property studying suitable factorizations $A=A_1\dots A_n$ of a right ideal $A$ of an arbitrary ring $R$ as a product of proper right ideals $A_1,\dots,A_n$ with all the modules $R/A_i$ uniserial modules. When such factorizations exist, they are unique up to the order of the factors. Serial factorizations turn out to have connections with the theory of $h$-local Prüfer domains and that of semirigid commutative GCD domains. △ Less

Submitted 11 February, 2018; originally announced February 2018.

MSC Class: 16D70

Maximal ideals in module categories and applications

Authors: Manuel Cortés-Izurdiaga, Alberto Facchini

Abstract: We study the existence of maximal ideals in preadditive categories defining an order $\preceq$ between objects, in such a way that if there do not exist maximal objects with respect to $\preceq$, then there is no maximal ideal in the category. In our study, it is sometimes sufficient to restrict our attention to suitable subcategories. We give an example of a category $\mathbf C_F$ of modules over… ▽ More We study the existence of maximal ideals in preadditive categories defining an order $\preceq$ between objects, in such a way that if there do not exist maximal objects with respect to $\preceq$, then there is no maximal ideal in the category. In our study, it is sometimes sufficient to restrict our attention to suitable subcategories. We give an example of a category $\mathbf C_F$ of modules over a right noetherian ring $R$ in which there is a unique maximal ideal. The category $\mathbf C_F$ is related to an indecomposable injective module $F$, and the objects of $\mathbf C_F$ are the $R$-modules of finite $F$-rank. △ Less

Submitted 19 October, 2017; originally announced October 2017.

Comments: Accepted for publication in Applied Categorical Structures

MSC Class: 18E05; 16D90; 16P40

Equivalence of Some Homological Conditions for Ring Epimorphisms

Authors: Alberto Facchini, Zahra Nazemian

Abstract: Let $R$ be a right and left Ore ring, $S$ its set of regular elements and $Q = R[S^{-1}] = [S^{-1}] R$ the classical ring of quotients of $R$. We prove that if F.dim$(Q_Q) = 0$, then the following conditions are equivalent: $(i)$ Flat right $R$-modules are strongly flat. $ (ii)$ Matlis-cotorsion right $R$-modules are Enochs-cotorsion. $(iii) $ $h$-divisible right $R$-modules are weak-injective.… ▽ More Let $R$ be a right and left Ore ring, $S$ its set of regular elements and $Q = R[S^{-1}] = [S^{-1}] R$ the classical ring of quotients of $R$. We prove that if F.dim$(Q_Q) = 0$, then the following conditions are equivalent: $(i)$ Flat right $R$-modules are strongly flat. $ (ii)$ Matlis-cotorsion right $R$-modules are Enochs-cotorsion. $(iii) $ $h$-divisible right $R$-modules are weak-injective. $(iv)$ Homomorphic images of weak-injective right $R$-modules are weak-injective. $(v)$ Homomorphic images of injective right $R$-modules are weak-injective. $(vi)$ Right $R$-modules of weak dimension $ \le 1$ are of projective dimension $\le1$. $(vii)$ The cotorsion pairs $(\mathcal{P_1},\mathcal{D})$ and $(\mathcal{F}_1,\mathcal{WI})$ coincide. $(viii)$ Divisible right $R$-modules are weak-injective. This extends a result by Fuchs and Salce (2017) for modules over a commutative ring $R$. △ Less

Submitted 29 September, 2017; originally announced October 2017.

Comments: 18 pages

MSC Class: 13E30

A polarity theory for sets of desirable gambles

Authors: Alessio Benavoli, Alessandro Facchini, Jose Vicente-Perez, Marco Zaffalon

Abstract: Coherent sets of almost desirable gambles and credal sets are known to be equivalent models. That is, there exists a bijection between the two collections of sets preserving the usual operations, e.g. conditioning. Such a correspondence is based on the polarity theory for closed convex cones. Learning from this simple observation, in this paper we introduce a new (lexicographic) polarity theory fo… ▽ More Coherent sets of almost desirable gambles and credal sets are known to be equivalent models. That is, there exists a bijection between the two collections of sets preserving the usual operations, e.g. conditioning. Such a correspondence is based on the polarity theory for closed convex cones. Learning from this simple observation, in this paper we introduce a new (lexicographic) polarity theory for general convex cones and then we apply it in order to establish an analogous correspondence between coherent sets of desirable gambles and convex sets of lexicographic probabilities. △ Less

Submitted 26 May, 2017; originally announced May 2017.

Comments: Accepted at ISIPTA 2017

SOS for bounded rationality

Authors: Alessio Benavoli, Alessandro Facchini, Dario Piga, Marco Zaffalon

Abstract: In the gambling foundation of probability theory, rationality requires that a subject should always (never) find desirable all nonnegative (negative) gambles, because no matter the result of the experiment the subject never (always) decreases her money. Evaluating the nonnegativity of a gamble in infinite spaces is a difficult task. In fact, even if we restrict the gambles to be polynomials in R^n… ▽ More In the gambling foundation of probability theory, rationality requires that a subject should always (never) find desirable all nonnegative (negative) gambles, because no matter the result of the experiment the subject never (always) decreases her money. Evaluating the nonnegativity of a gamble in infinite spaces is a difficult task. In fact, even if we restrict the gambles to be polynomials in R^n , the problem of determining nonnegativity is NP-hard. The aim of this paper is to develop a computable theory of desirable gambles. Instead of requiring the subject to accept all nonnegative gambles, we only require her to accept gambles for which she can efficiently determine the nonnegativity (in particular SOS polynomials). We refer to this new criterion as bounded rationality. △ Less

Submitted 20 November, 2018; v1 submitted 7 May, 2017; originally announced May 2017.

Quantum rational preferences and desirability

Authors: Alessio Benavoli, Alessandro Facchini, Marco Zaffalon

Abstract: We develop a theory of quantum rational decision making in the tradition of Anscombe and Aumann's axiomatisation of preferences on horse lotteries. It is essentially the Bayesian decision theory generalised to the space of Hermitian matrices. Among other things, this leads us to give a representation theorem showing that quantum complete rational preferences are obtained by means of expected utili… ▽ More We develop a theory of quantum rational decision making in the tradition of Anscombe and Aumann's axiomatisation of preferences on horse lotteries. It is essentially the Bayesian decision theory generalised to the space of Hermitian matrices. Among other things, this leads us to give a representation theorem showing that quantum complete rational preferences are obtained by means of expected utility considerations. △ Less

Submitted 7 December, 2016; v1 submitted 21 October, 2016; originally announced October 2016.

A Gleason-type theorem for any dimension based on a gambling formulation of Quantum Mechanics

Authors: Alessio Benavoli, Alessandro Facchini, Marco Zaffalon

Abstract: Based on a gambling formulation of quantum mechanics, we derive a Gleason-type theorem that holds for any dimension n of a quantum system, and in particular for n = 2. The theorem states that the only logically consistent probability assignments are exactly the ones that are definable as the trace of the product of a projector and a density matrix operator. In addition, we detail the reason why di… ▽ More Based on a gambling formulation of quantum mechanics, we derive a Gleason-type theorem that holds for any dimension n of a quantum system, and in particular for n = 2. The theorem states that the only logically consistent probability assignments are exactly the ones that are definable as the trace of the product of a projector and a density matrix operator. In addition, we detail the reason why dispersion-free probabilities are actually not valid, or rational, probabilities for quantum mechanics, and hence should be excluded from consideration. △ Less

Submitted 19 May, 2017; v1 submitted 11 June, 2016; originally announced June 2016.

Comments: ar** is due to the fact that the present paper uses definitions introduced in arXiv:1605.08177

Quantum mechanics: The Bayesian theory generalised to the space of Hermitian matrices

Authors: Alessio Benavoli, Alessandro Facchini, Marco Zaffalon

Abstract: We consider the problem of gambling on a quantum experiment and enforce rational behaviour by a few rules. These rules yield, in the classical case, the Bayesian theory of probability via duality theorems. In our quantum setting, they yield the Bayesian theory generalised to the space of Hermitian matrices. This very theory is quantum mechanics: in fact, we derive all its four postulates from the… ▽ More We consider the problem of gambling on a quantum experiment and enforce rational behaviour by a few rules. These rules yield, in the classical case, the Bayesian theory of probability via duality theorems. In our quantum setting, they yield the Bayesian theory generalised to the space of Hermitian matrices. This very theory is quantum mechanics: in fact, we derive all its four postulates from the generalised Bayesian theory. This implies that quantum mechanics is self-consistent. It also leads us to reinterpret the main operations in quantum mechanics as probability rules: Bayes' rule (measurement), marginalisation (partial tracing), independence (tensor product). To say it with a slogan, we obtain that quantum mechanics is the Bayesian theory in the complex numbers. △ Less

Submitted 23 September, 2016; v1 submitted 26 May, 2016; originally announced May 2016.

Comments: This paper has been accepted to Physics Review A

Journal ref: Phys. Rev. A 94, 042106 (2016)

Index problems for game automata

Authors: Alessandro Facchini, Filip Murlak, Michał Skrzypczak

Abstract: For a given regular language of infinite trees, one can ask about the minimal number of priorities needed to recognize this language with a non-deterministic, alternating, or weak alternating parity automaton. These questions are known as, respectively, the non-deterministic, alternating, and weak Rabin-Mostowski index problems. Whether they can be answered effectively is a long-standing open prob… ▽ More For a given regular language of infinite trees, one can ask about the minimal number of priorities needed to recognize this language with a non-deterministic, alternating, or weak alternating parity automaton. These questions are known as, respectively, the non-deterministic, alternating, and weak Rabin-Mostowski index problems. Whether they can be answered effectively is a long-standing open problem, solved so far only for languages recognizable by deterministic automata (the alternating variant trivializes). We investigate a wider class of regular languages, recognizable by so-called game automata, which can be seen as the closure of deterministic ones under complementation and composition. Game automata are known to recognize languages arbitrarily high in the alternating Rabin-Mostowski index hierarchy; that is, the alternating index problem does not trivialize any more. Our main contribution is that all three index problems are decidable for languages recognizable by game automata. Additionally, we show that it is decidable whether a given regular language can be recognized by a game automaton. △ Less

Submitted 31 May, 2016; v1 submitted 6 June, 2015; originally announced June 2015.

Containment for Conditional Tree Patterns

Authors: Alessandro Facchini, Yoichi Hirai, Maarten Marx, Evgeny Sherkhonov

Abstract: A Conditional Tree Pattern (CTP) expands an XML tree pattern with labels attached to the descendant edges. These labels can be XML element names or Boolean CTPs. The meaning of a descendant edge labelled by A and ending in a node labelled by B is a path of child steps ending in a B node such that all intermediate nodes are A nodes. In effect this expresses the until B, A holds construction from t… ▽ More A Conditional Tree Pattern (CTP) expands an XML tree pattern with labels attached to the descendant edges. These labels can be XML element names or Boolean CTPs. The meaning of a descendant edge labelled by A and ending in a node labelled by B is a path of child steps ending in a B node such that all intermediate nodes are A nodes. In effect this expresses the until B, A holds construction from temporal logic.This paper studies the containment problem for CTP. For tree patterns (TP), this problem is known to be coNP-complete. We show that it is PSPACE-complete for CTP. This increase in complexity is due to the fact that CTP is expressive enough to encode an unrestricted form of label negation: ${*}\setminus a$, meaning "any node except an a-node". Containment of TP expanded with this type of negation is already PSPACE-hard. CTP is a positive, forward, first order fragment of Regular XPath. Unlike TP, CTP expanded with disjunction is not equivalent to unions of CTP's. Like TP, CTP is a natural fragment to consider: CTP is closed under intersections and CTP with disjunction is equally expressive as positive existential first order logic expanded with the until operator. △ Less

Submitted 6 June, 2015; v1 submitted 7 March, 2015; originally announced March 2015.

Journal ref: Logical Methods in Computer Science, Volume 11, Issue 2 (June 9, 2015) lmcs:1564