-
A Constraint Opinion Model
Authors:
Fabio Gadducci,
Carlos Olarte,
Frank Valencia
Abstract:
This paper introduces a generalised opinion model that extends the standard DeGroot model by representing agents' opinions and influences as soft constraints rather than single real values. This allows for modelling scenarios beyond the scope of the DeGroot model, such as agents sharing partial information and preferences, engaging in discussions on multiple topics simultaneously, and representing…
▽ More
This paper introduces a generalised opinion model that extends the standard DeGroot model by representing agents' opinions and influences as soft constraints rather than single real values. This allows for modelling scenarios beyond the scope of the DeGroot model, such as agents sharing partial information and preferences, engaging in discussions on multiple topics simultaneously, and representing opinions with different degrees of uncertainty. By considering soft constraints as influences, the proposed model captures also situations where agents impose conditions on how others' opinions are integrated during belief revision. Finally, the flexibility offered by soft constraints allows us to introduce a novel polarisation measure that takes advantage of this generalised framework.
△ Less
Submitted 24 April, 2025;
originally announced April 2025.
-
The Sound of Silence in Social Networks
Authors:
Jesús Aranda,
Juan Francisco Díaz,
David Gaona,
Frank Valencia
Abstract:
We generalize the classic multi-agent DeGroot model for opinion dynamics to incorporate the Spiral of Silence theory from political science. This theory states that individuals may withhold their opinions when they perceive them to be in the minority. As in the DeGroot model, a community of agents is represented as a weighted directed graph whose edges indicate how much agents influence one anothe…
▽ More
We generalize the classic multi-agent DeGroot model for opinion dynamics to incorporate the Spiral of Silence theory from political science. This theory states that individuals may withhold their opinions when they perceive them to be in the minority. As in the DeGroot model, a community of agents is represented as a weighted directed graph whose edges indicate how much agents influence one another. However, agents whose current opinions are in the minority become silent (i.e., they do not express their opinion). Two models for opinion update are then introduced. In the memoryless opinion model ($\mbox{SOM}^-$), agents update their opinion by taking the weighted average of their non-silent neighbors' opinions. In the memory based opinion model ($\mbox{SOM}^+$), agents update their opinions by taking the weighted average of the opinions of all their neighbors, but for silent neighbors, their most recent opinion is considered.
We show that for $\mbox{SOM}^-$ convergence to consensus is guaranteed for clique graphs but, unlike for the classic DeGroot, not guaranteed for strongly-connected aperiodic graphs. In contrast, we show that for $\mbox{SOM}^+$ convergence to consensus is not guaranteed even for clique graphs. We showcase our models through simulations offering experimental insights that align with key aspects of the Spiral of Silence theory. These findings reveal the impact of silence dynamics on opinion formation and highlight the limitations of consensus in more nuanced social models.
△ Less
Submitted 25 October, 2024;
originally announced October 2024.
-
Consensus in Models for Opinion Dynamics with Generalized-Bias
Authors:
Juan Paz,
Camilo Rocha,
Luis Tobòn,
Frank Valencia
Abstract:
Interest is growing in social learning models where users share opinions and adjust their beliefs in response to others. This paper introduces generalized-bias opinion models, an extension of the DeGroot model, that captures a broader range of cognitive biases. These models can capture, among others, dynamic (changing) influences as well as ingroup favoritism and out-group hostility, a bias where…
▽ More
Interest is growing in social learning models where users share opinions and adjust their beliefs in response to others. This paper introduces generalized-bias opinion models, an extension of the DeGroot model, that captures a broader range of cognitive biases. These models can capture, among others, dynamic (changing) influences as well as ingroup favoritism and out-group hostility, a bias where agents may react differently to opinions from members of their own group compared to those from outside. The reactions are formalized as arbitrary functions that depend, not only on opinion difference, but also on the particular opinions of the individuals interacting. Under certain reasonable conditions, all agents (despite their biases) will converge to a consensus if the influence graph is strongly connected, as in the original DeGroot model. The proposed approach combines different biases, providing deeper insights into the mechanics of opinion dynamics and influence within social networks.
△ Less
Submitted 16 September, 2024;
originally announced September 2024.
-
Double extension of flat pseudo-Riemannian $F$-Lie algebras
Authors:
Alexander Torres-Gomez,
Fabricio Valencia
Abstract:
We define the concept of a flat pseudo-Riemannian $F$-Lie algebra and construct its corresponding double extension. This algebraic structure can be interpreted as the infinitesimal analogue of a Frobenius Lie group devoid of Euler vector fields. We show that the double extension provides a framework for generating all weakly flat Lorentzian non-abelian bi-nilpotent $F$-Lie algebras possessing one…
▽ More
We define the concept of a flat pseudo-Riemannian $F$-Lie algebra and construct its corresponding double extension. This algebraic structure can be interpreted as the infinitesimal analogue of a Frobenius Lie group devoid of Euler vector fields. We show that the double extension provides a framework for generating all weakly flat Lorentzian non-abelian bi-nilpotent $F$-Lie algebras possessing one dimensional light-cone subspaces. A similar result can be established for nilpotent Lie algebras equipped with flat scalar products of signature $(2,n-2)$ where $n\geq 4$. Furthermore, we use this technique to construct Poisson algebras exhibiting compatibility with flat scalar products.
△ Less
Submitted 28 November, 2024; v1 submitted 3 May, 2024;
originally announced May 2024.
-
A Multi-Agent Model for Opinion Evolution under Cognitive Biases
Authors:
Mário S. Alvim,
Artur Gaspar da Silva,
Sophia Knight,
Frank Valencia
Abstract:
We generalize the DeGroot model for opinion dynamics to better capture realistic social scenarios. We introduce a model where each agent has their own individual cognitive biases. Society is represented as a directed graph whose edges indicate how much agents influence one another. Biases are represented as the functions in the square region $[-1,1]^2$ and categorized into four sub-regions based o…
▽ More
We generalize the DeGroot model for opinion dynamics to better capture realistic social scenarios. We introduce a model where each agent has their own individual cognitive biases. Society is represented as a directed graph whose edges indicate how much agents influence one another. Biases are represented as the functions in the square region $[-1,1]^2$ and categorized into four sub-regions based on the potential reactions they may elicit in an agent during instances of opinion disagreement. Under the assumption that each bias of every agent is a continuous function within the region of receptive but resistant reactions ($\mathbf{R}$), we show that the society converges to a consensus if the graph is strongly connected. Under the same assumption, we also establish that the entire society converges to a unanimous opinion if and only if the source components of the graph-namely, strongly connected components with no external influence-converge to that opinion. We illustrate that convergence is not guaranteed for strongly connected graphs when biases are either discontinuous functions in $\mathbf{R}$ or not included in $\mathbf{R}$. We showcase our model through a series of examples and simulations, offering insights into how opinions form in social networks under cognitive biases.
△ Less
Submitted 27 February, 2024;
originally announced February 2024.
-
Unified Opinion Dynamic Modeling as Concurrent Set Relations in Rewriting Logic
Authors:
Carlos Olarte,
Carlos Ramírez,
Camilo Rocha,
Frank Valencia
Abstract:
Social media platforms have played a key role in weaponizing the polarization of social, political, and democratic processes. This is, mainly, because they are a medium for opinion formation. Opinion dynamic models are a tool for understanding the role of specific social factors on the acceptance/rejection of opinions because they can be used to analyze certain assumptions on human behaviors. This…
▽ More
Social media platforms have played a key role in weaponizing the polarization of social, political, and democratic processes. This is, mainly, because they are a medium for opinion formation. Opinion dynamic models are a tool for understanding the role of specific social factors on the acceptance/rejection of opinions because they can be used to analyze certain assumptions on human behaviors. This work presents a framework that uses concurrent set relations as the formal basis to specify, simulate, and analyze social interaction systems with dynamic opinion models. Standard models for social learning are obtained as particular instances of the proposed framework. It has been implemented in the Maude system as a fully executable rewrite theory that can be used to better understand how opinions of a system of agents can be shaped. This paper also reports an initial exploration in Maude on the use of reachability analysis, probabilistic simulation, and statistical model checking of important properties related to opinion dynamic models.
△ Less
Submitted 14 February, 2024;
originally announced February 2024.
-
Fairness and Consensus in an Asynchronous Opinion Model for Social Networks (Technical Report)
Authors:
Jesús Aranda,
Sebastián Betancourt,
Juan Fco. Díaz,
Frank Valencia
Abstract:
We introduce a DeGroot-based model for opinion dynamics in social networks. A community of agents is represented as a weighted directed graph whose edges indicate how much agents influence one another. The model is formalized using labeled transition systems, henceforth called opinion transition systems (OTS), whose states represent the agents' opinions and whose actions are the edges of the influ…
▽ More
We introduce a DeGroot-based model for opinion dynamics in social networks. A community of agents is represented as a weighted directed graph whose edges indicate how much agents influence one another. The model is formalized using labeled transition systems, henceforth called opinion transition systems (OTS), whose states represent the agents' opinions and whose actions are the edges of the influence graph. If a transition labeled $(i,j)$ is performed, agent $j$ updates their opinion taking into account the opinion of agent $i$ and the influence $i$ has over $j$. We study (convergence to) opinion consensus among the agents of strongly-connected graphs with influence values in the interval $(0,1)$. We show that consensus cannot be guaranteed under the standard strong fairness assumption on transition systems. We derive that consensus is guaranteed under a stronger notion from the literature of concurrent systems; bounded fairness. We argue that bounded-fairness is too strong of a notion for consensus as it almost surely rules out random runs and it is not a constructive liveness property. We introduce a weaker fairness notion, called $m$-bounded fairness, and show that it guarantees consensus. The new notion includes almost surely all random runs and it is a constructive liveness property. Finally, we consider OTS with dynamic influence and show convergence to consensus holds under $m$-bounded fairness if the influence changes within a fixed interval $[L,U]$ with $0<L<U<1$. We illustrate OTS with examples and simulations, offering insights into opinion formation under fairness and dynamic influence.
△ Less
Submitted 6 September, 2024; v1 submitted 19 December, 2023;
originally announced December 2023.
-
On the monodromy action for $f(x,y)=g(x)+h(y)$
Authors:
Daniel López Garcia,
Fabricio Valencia
Abstract:
We solve the problem of determining under which conditions the monodromy of a vanishing cycle generates the whole homology of a regular fiber for a polynomial $f(x,y)=g(x)+h(y)$ where $h$ and $g$ are polynomials with real coefficients having real critical points and satisfying $deg(g)\cdot deg(h)\leq 2500$ and $\gcd(deg(g),deg(h))\leq 2$. As an application, under the same assumptions we solve the…
▽ More
We solve the problem of determining under which conditions the monodromy of a vanishing cycle generates the whole homology of a regular fiber for a polynomial $f(x,y)=g(x)+h(y)$ where $h$ and $g$ are polynomials with real coefficients having real critical points and satisfying $deg(g)\cdot deg(h)\leq 2500$ and $\gcd(deg(g),deg(h))\leq 2$. As an application, under the same assumptions we solve the tangential-center problem which is known to be linked to the weak 16th Hilbert problem.
△ Less
Submitted 30 September, 2024; v1 submitted 9 November, 2023;
originally announced November 2023.
-
Novikov type inequalities for orbifolds
Authors:
Fabricio Valencia
Abstract:
We propose a natural extension of the Novikov numbers for the basic cohomology class of a closed basic $1$-form on a proper Lie groupoid of finitely generated type. As an application, we prove corresponding Novikov inequalities for compact orbifolds.
We propose a natural extension of the Novikov numbers for the basic cohomology class of a closed basic $1$-form on a proper Lie groupoid of finitely generated type. As an application, we prove corresponding Novikov inequalities for compact orbifolds.
△ Less
Submitted 15 May, 2025; v1 submitted 9 June, 2023;
originally announced June 2023.
-
Counting and Computing Join-Endomorphisms in Lattices (Revisited)
Authors:
Carlos Pinzón,
Santiago Quintero,
Sergio Ramírez,
Camilo Rueda,
Frank Valencia
Abstract:
Structures involving a lattice and join-endomorphisms on it are ubiquitous in computer science. We study the cardinality of the set $\mathcal{E}(L)$ of all join-endomorphisms of a given finite lattice $L$. In particular, we show for $\mathbf{M}_n$, the discrete order of $n$ elements extended with top and bottom, $| \mathcal{E}(\mathbf{M}_n) | =n!\mathcal{L}_n(-1)+(n+1)^2$ where $\mathcal{L}_n(x)$…
▽ More
Structures involving a lattice and join-endomorphisms on it are ubiquitous in computer science. We study the cardinality of the set $\mathcal{E}(L)$ of all join-endomorphisms of a given finite lattice $L$. In particular, we show for $\mathbf{M}_n$, the discrete order of $n$ elements extended with top and bottom, $| \mathcal{E}(\mathbf{M}_n) | =n!\mathcal{L}_n(-1)+(n+1)^2$ where $\mathcal{L}_n(x)$ is the Laguerre polynomial of degree $n$. We also study the following problem: Given a lattice $L$ of size $n$ and a set $S\subseteq \mathcal{E}(L)$ of size $m$, find the greatest lower bound ${\large\sqcap}_{\mathcal{E}(L)} S$. The join-endomorphism ${\large\sqcap}_{\mathcal{E}(L)} S$ has meaningful interpretations in epistemic logic, distributed systems, and Aumann structures. We show that this problem can be solved with worst-case time complexity in $O(mn)$ for distributive lattices and $O(mn + n^3)$ for arbitrary lattices. In the particular case of modular lattices, we present an adaptation of the latter algorithm that reduces its average time complexity. We provide theoretical and experimental results to support this enhancement. The complexity is expressed in terms of the basic binary lattice operations performed by the algorithm.
△ Less
Submitted 1 November, 2022;
originally announced November 2022.
-
On the Computation of Distributed Knowledge as the Greatest Lower Bound of Knowledge
Authors:
Santiago Quintero,
Carlos Pinzón,
Sergio Ramírez,
Frank Valencia
Abstract:
Let $L$ be a finite lattice and $\mathcal{E}(L)$ be the set of join endomorphisms of $L$. We consider the problem of given $L$ and $f,g \in \mathcal{E}(L)$, finding the greatest lower bound $f \sqcap_{{\scriptsize \mathcal{E}(L)}} g$ in the lattice $\mathcal{E}(L)$. (1) We show that if $L$ is distributive, the problem can be solved in time $O(n)$ where $n=| L |$. The previous upper bound was…
▽ More
Let $L$ be a finite lattice and $\mathcal{E}(L)$ be the set of join endomorphisms of $L$. We consider the problem of given $L$ and $f,g \in \mathcal{E}(L)$, finding the greatest lower bound $f \sqcap_{{\scriptsize \mathcal{E}(L)}} g$ in the lattice $\mathcal{E}(L)$. (1) We show that if $L$ is distributive, the problem can be solved in time $O(n)$ where $n=| L |$. The previous upper bound was $O(n^2)$. (2) We provide new algorithms for arbitrary lattices and give experimental evidence that they are significantly faster than the existing algorithm. (3) We characterize the standard notion of distributed knowledge of a group as the greatest lower bound of the join-endomorphisms representing the knowledge of each member of the group. (4) We show that deciding whether an agent has the distributed knowledge of two other agents can be computed in time $O(n^2)$ where $n$ is the size of the underlying set of states. (5) For the special case of $S5$ knowledge, we show that it can be decided in time $O(nα_{n})$ where $α_{n}$ is the inverse of the Ackermann function.
△ Less
Submitted 24 October, 2022; v1 submitted 14 October, 2022;
originally announced October 2022.
-
Isometric Lie 2-group actions on Riemannian groupoids
Authors:
Juan Sebastian Herrera-Carmona,
Fabricio Valencia
Abstract:
We study isometric actions of Lie $2$-groups on Riemannian groupoids by exhibiting some of their immediate properties and implications. Firstly, we prove an existence result which allows both to obtain 2-equivariant versions of the Slice Theorem and the Equivariant Tubular Neighborhood Theorem and to construct bi-invariant groupoid metrics on compact Lie $2$-groups. We provide natural examples, tr…
▽ More
We study isometric actions of Lie $2$-groups on Riemannian groupoids by exhibiting some of their immediate properties and implications. Firstly, we prove an existence result which allows both to obtain 2-equivariant versions of the Slice Theorem and the Equivariant Tubular Neighborhood Theorem and to construct bi-invariant groupoid metrics on compact Lie $2$-groups. We provide natural examples, transfer some classical constructions and explain how this notion of isometric $2$-action yields a way to develop a 2-equivariant Morse theory on Lie groupoids. Secondly, we give an infinitesimal description of an isometric Lie $2$-group action. We define an algebra of transversal infinitesimal isometries associated to any Riemannian $n$-metric on a Lie groupoid which in turn gives rise to a notion of geometric Killing vector field on a quotient Riemannian stack. If our Riemannian stack is separated then we prove that the algebra formed by such geometric Killing vector fields is always finite dimensional.
△ Less
Submitted 18 July, 2023; v1 submitted 18 September, 2022;
originally announced September 2022.
-
Morse theory on Lie groupoids
Authors:
Cristian Ortiz,
Fabricio Valencia
Abstract:
In this paper we introduce Morse Lie groupoid morphisms and study their main properties. We show that this notion is Morita invariant which gives rise to a well defined notion of Morse function on differentiable stacks. We show a groupoid version of the Morse lemma which is used to describe the topological behavior of the critical subgroupoid levels of a Morse Lie groupoid morphism around its nond…
▽ More
In this paper we introduce Morse Lie groupoid morphisms and study their main properties. We show that this notion is Morita invariant which gives rise to a well defined notion of Morse function on differentiable stacks. We show a groupoid version of the Morse lemma which is used to describe the topological behavior of the critical subgroupoid levels of a Morse Lie groupoid morphism around its nondegenerate critical orbits. We also prove Morse type inequalities for certain separated differentiable stacks and construct a Morse double complex whose total cohomology is isomorphic to the Bott-Shulman-Stasheff cohomology of the underlying Lie groupoid. We provide several examples and applications.
△ Less
Submitted 2 June, 2024; v1 submitted 15 July, 2022;
originally announced July 2022.
-
Radiation resistance in simulated metallic core-shell nanoparticles
Authors:
D. R. Tramontina,
O. R. Deluigi,
R. Pinzon,
J. Rojas-Nuñez,
F. J. Valencia,
R. C. Pasianot,
S. E. Baltazar,
R. I. Gonzalez,
E. M. Bringa
Abstract:
We present molecular dynamics (MD) simulations of radiation damage in pure Fe nanoparticles (NP) and bimetallic FeCu core-shell nanoparticles (CSNP). The CSNP includes a perfect body centered cubic (bcc) Fe core coated with a face-centered cubic (fcc) Cu shell. Irradiation with Fe Primary Knock-on Atoms (PKA) with energies between 1 and 7 keV leads to point defects, without clustering beyond divac…
▽ More
We present molecular dynamics (MD) simulations of radiation damage in pure Fe nanoparticles (NP) and bimetallic FeCu core-shell nanoparticles (CSNP). The CSNP includes a perfect body centered cubic (bcc) Fe core coated with a face-centered cubic (fcc) Cu shell. Irradiation with Fe Primary Knock-on Atoms (PKA) with energies between 1 and 7 keV leads to point defects, without clustering beyond divacancies and very few slightly larger vacancy clusters, and without interstitial clusters, unlike what happens in bulk at the same PKA energies. The Fe-Cu interface and shell can act as a defect sink, absorbing radiation-induced damage and, therefore, the final number of defects in the Fe core is significantly lower than in the Fe NP. In addition, the Cu shell substantially diminishes the number of sputtered Fe atoms, acting as a barrier for recoil ejection. Structurally, the Cu shell responds to the stress generated by the collision cascade by creating and destroying stacking faults across the shell width, which could also accommodate further irradiation defects. Sputtering yield (Y) is underestimated by BCA, which is also expected since the simulation is for a thin film at normal incidence. We also compare MD defect production to bulk predictions of the analytic Athermal Recombination Corrected Displacements Per Atom (arc-dpa) model. The number of vacancies in the Fe core is only slightly lower than arc-dpa predictions, but the number of interstitials is reduced by about one order of magnitude compared to vacancies, at 5 keV. According to the radiation resistance found for FeCu CSNP in our simulations, this class of nanomaterial could be suitable for developing new radiation resistant coatings, nanostructured components, and shields for use in extreme environments, for instance, in nuclear energy and astrophysical applications.
△ Less
Submitted 8 September, 2022; v1 submitted 17 June, 2022;
originally announced June 2022.
-
Temperature-dependent magnetism in Fe foams via spin-lattice dynamics
Authors:
Robert Meyer,
Felipe Valencia,
Gonzalo dos Santos,
Romina Aparicio,
Eduardo M. Bringa,
Herbert M. Urbassek
Abstract:
Spin-lattice dynamics is used to study the magnetic properties of Fe foams. The temperature dependence of the magnetization in foams is determined as a function of the fraction of surface atoms in foams, nsurf. The Curie temperature of foams decreases approximately linearly with nsurf, while the critical exponent of the magnetization increases considerably more strongly. If the data are plotted as…
▽ More
Spin-lattice dynamics is used to study the magnetic properties of Fe foams. The temperature dependence of the magnetization in foams is determined as a function of the fraction of surface atoms in foams, nsurf. The Curie temperature of foams decreases approximately linearly with nsurf, while the critical exponent of the magnetization increases considerably more strongly. If the data are plotted as a function of the fraction of surface atoms, reasonable agreement with recent data on vacancy-filled Fe crystals and novel data on void-filled crystals is observed for the critical . Critical temperature and critical exponent also depend on the coordination of surface atoms. Although the decrease we find is relatively small, it hints to the possibility of improved usage of topology to taylor magnetic properties.
△ Less
Submitted 21 April, 2022;
originally announced April 2022.
-
A Formal Model for Polarization under Confirmation Bias in Social Networks
Authors:
Mário S. Alvim,
Bernardo Amorim,
Sophia Knight,
Santiago Quintero,
Frank Valencia
Abstract:
We describe a model for polarization in multi-agent systems based on Esteban and Ray's standard family of polarization measures from economics. Agents evolve by updating their beliefs (opinions) based on an underlying influence graph, as in the standard DeGroot model for social learning, but under a confirmation bias; i.e., a discounting of opinions of agents with dissimilar views. We show that ev…
▽ More
We describe a model for polarization in multi-agent systems based on Esteban and Ray's standard family of polarization measures from economics. Agents evolve by updating their beliefs (opinions) based on an underlying influence graph, as in the standard DeGroot model for social learning, but under a confirmation bias; i.e., a discounting of opinions of agents with dissimilar views. We show that even under this bias polarization eventually vanishes (converges to zero) if the influence graph is strongly-connected. If the influence graph is a regular symmetric circulation, we determine the unique belief value to which all agents converge. Our more insightful result establishes that, under some natural assumptions, if polarization does not eventually vanish then either there is a disconnected subgroup of agents, or some agent influences others more than she is influenced. We also prove that polarization does not necessarily vanish in weakly-connected graphs under confirmation bias. Furthermore, we show how our model relates to the classic DeGroot model for social learning. We illustrate our model with several simulations of a running example about polarization over vaccines and of other case studies. The theoretical results and simulations will provide insight into the phenomenon of polarization.
△ Less
Submitted 6 March, 2023; v1 submitted 17 December, 2021;
originally announced December 2021.
-
Invariant generalized almost complex structures on real flag manifolds
Authors:
Fabricio Valencia,
Carlos Varea
Abstract:
We characterize those real flag manifolds that can be endowed with invariant generalized almost complex structures. We show that no $GM_2$-maximal real flag manifolds admit integrable invariant generalized almost complex structures. We give a concrete description of the generalized complex geometry on the maximal real flags of type $B_2$, $G_2$, $A_3$, and $D_l$ with $l\geq 5$, where we prove that…
▽ More
We characterize those real flag manifolds that can be endowed with invariant generalized almost complex structures. We show that no $GM_2$-maximal real flag manifolds admit integrable invariant generalized almost complex structures. We give a concrete description of the generalized complex geometry on the maximal real flags of type $B_2$, $G_2$, $A_3$, and $D_l$ with $l\geq 5$, where we prove that the space of invariant generalized almost complex structures under invariant $B$-transformations is homotopy equivalent to a torus and we classify all invariant generalized almost Hermitian structures on them.
△ Less
Submitted 18 August, 2022; v1 submitted 16 November, 2021;
originally announced November 2021.
-
On the impossibility of non-trivial accuracy under fairness constraints
Authors:
Carlos Pinzón,
Catuscia Palamidessi,
Pablo Piantanida,
Frank Valencia
Abstract:
One of the main concerns about fairness in machine learning (ML) is that, in order to achieve it, one may have to trade off some accuracy. To overcome this issue, Hardt et al. proposed the notion of equality of opportunity (EO), which is compatible with maximal accuracy when the target label is deterministic with respect to the input features.
In the probabilistic case, however, the issue is mor…
▽ More
One of the main concerns about fairness in machine learning (ML) is that, in order to achieve it, one may have to trade off some accuracy. To overcome this issue, Hardt et al. proposed the notion of equality of opportunity (EO), which is compatible with maximal accuracy when the target label is deterministic with respect to the input features.
In the probabilistic case, however, the issue is more complicated: It has been shown that under differential privacy constraints, there are data sources for which EO can only be achieved at the total detriment of accuracy, in the sense that a classifier that satisfies EO cannot be more accurate than a trivial (i.e., constant) classifier. In our paper we strengthen this result by removing the privacy constraint. Namely, we show that for certain data sources, the most accurate classifier that satisfies EO is a trivial classifier. Furthermore, we study the trade-off between accuracy and EO loss (opportunity difference), and provide a sufficient condition on the data source under which EO and non-trivial accuracy are compatible.
△ Less
Submitted 23 November, 2021; v1 submitted 14 July, 2021;
originally announced July 2021.
-
A Multi-Agent Model for Polarization under Confirmation Bias in Social Networks
Authors:
Mário S. Alvim,
Bernardo Amorim,
Sophia Knight,
Santiago Quintero,
Frank Valencia
Abstract:
We describe a model for polarization in multi-agent systems based on Esteban and Ray's standard measure of polarization from economics. Agents evolve by updating their beliefs (opinions) based on an underlying influence graph, as in the standard DeGroot model for social learning, but under a confirmation bias; i.e., a discounting of opinions of agents with dissimilar views. We show that even under…
▽ More
We describe a model for polarization in multi-agent systems based on Esteban and Ray's standard measure of polarization from economics. Agents evolve by updating their beliefs (opinions) based on an underlying influence graph, as in the standard DeGroot model for social learning, but under a confirmation bias; i.e., a discounting of opinions of agents with dissimilar views. We show that even under this bias polarization eventually vanishes (converges to zero) if the influence graph is strongly-connected. If the influence graph is a regular symmetric circulation, we determine the unique belief value to which all agents converge. Our more insightful result establishes that, under some natural assumptions, if polarization does not eventually vanish then either there is a disconnected subgroup of agents, or some agent influences others more than she is influenced. We also show that polarization does not necessarily vanish in weakly-connected graphs under confirmation bias. We illustrate our model with a series of case studies and simulations, and show how it relates to the classic DeGroot model for social learning.
△ Less
Submitted 23 April, 2021;
originally announced April 2021.
-
Enhancing User' s Income Estimation with Super-App Alternative Data
Authors:
Gabriel Suarez,
Juan Raful,
Maria A. Luque,
Carlos F. Valencia,
Alejandro Correa-Bahnsen
Abstract:
This paper presents the advantages of alternative data from Super-Apps to enhance user' s income estimation models. It compares the performance of these alternative data sources with the performance of industry-accepted bureau income estimators that takes into account only financial system information; successfully showing that the alternative data manage to capture information that bureau income…
▽ More
This paper presents the advantages of alternative data from Super-Apps to enhance user' s income estimation models. It compares the performance of these alternative data sources with the performance of industry-accepted bureau income estimators that takes into account only financial system information; successfully showing that the alternative data manage to capture information that bureau income estimators do not. By implementing the TreeSHAP method for Stochastic Gradient Boosting Interpretation, this paper highlights which of the customer' s behavioral and transactional patterns within a Super-App have a stronger predictive power when estimating user' s income. Ultimately, this paper shows the incentive for financial institutions to seek to incorporate alternative data into constructing their risk profiles.
△ Less
Submitted 3 August, 2021; v1 submitted 12 April, 2021;
originally announced April 2021.
-
Polarization and Belief Convergence of Agents in Strongly-Connected Influence Graphs
Authors:
Mário S. Alvim,
Bernardo Amorim,
Sophia Knight,
Santiago Quintero,
Frank Valencia
Abstract:
We describe a model for polarization in multi-agent systems based on Esteban and Ray's classic measure of polarization from economics. Agents evolve by updating their beliefs (opinions) based on the beliefs of others and an underlying influence graph. We show that polarization eventually disappears (converges to zero) if the influence graph is strongly-connected. If the influence graph is a circul…
▽ More
We describe a model for polarization in multi-agent systems based on Esteban and Ray's classic measure of polarization from economics. Agents evolve by updating their beliefs (opinions) based on the beliefs of others and an underlying influence graph. We show that polarization eventually disappears (converges to zero) if the influence graph is strongly-connected. If the influence graph is a circulation we determine the unique belief value all agents converge to. For clique influence graphs we determine the time after which agents will reach a given difference of opinion. Our results imply that if polarization does not disappear then either there is a disconnected subgroup of agents or some agent influences others more than she is influenced. Finally, we show that polarization does not necessarily vanish in weakly-connected graphs, and illustrate the model with a series of case studies and simulations giving some insights about polarization.
△ Less
Submitted 4 December, 2020;
originally announced December 2020.
-
Algebraic Structures from Concurrent Constraint Programming Calculi for Distributed Information in Multi-Agent Systems
Authors:
Michell Guzmán,
Sophia Knight,
Santiago Quintero,
Sergio Ramírez,
Camilo Rueda,
Frank Valencia
Abstract:
Spatial constraint systems (scs) are semantic structures for reasoning about spatial and epistemic information in concurrent systems. We develop the theory of scs to reason about the distributed information of potentially infinite groups. We characterize the notion of distributed information of a group of agents as the infimum of the set of join-preserving functions that represent the spaces of th…
▽ More
Spatial constraint systems (scs) are semantic structures for reasoning about spatial and epistemic information in concurrent systems. We develop the theory of scs to reason about the distributed information of potentially infinite groups. We characterize the notion of distributed information of a group of agents as the infimum of the set of join-preserving functions that represent the spaces of the agents in the group. We provide an alternative characterization of this notion as the greatest family of join-preserving functions that satisfy certain basic properties. For completely distributive lattices, we establish that distributed information of a group is the greatest information below all possible combinations of information in the spaces of the agents in the group that derive a given piece of information. We show compositionality results for these characterizations and conditions under which information that can be obtained by an infinite group can also be obtained by a finite group. Finally, we provide an application on mathematical morphology where dilations, one of its fundamental operations, define an scs on a powerset lattice. We show that distributed information represents a particular dilation in such scs.
△ Less
Submitted 8 February, 2021; v1 submitted 20 October, 2020;
originally announced October 2020.
-
Understanding Contagion Dynamics through Microscopic Processes in Active Brownian Particles
Authors:
Ariel Norambuena,
Felipe Valencia,
Francisca Guzmán-Lastra
Abstract:
Together with the universally recognized SIR model, several approaches have been employed to understand the contagious dynamics of interacting particles. Here, Active Brownian particles (ABP) are introduced to model the contagion dynamics of living agents that spread an infectious disease in space and time. Simulations were performed for several population densities and contagious rates. Our resul…
▽ More
Together with the universally recognized SIR model, several approaches have been employed to understand the contagious dynamics of interacting particles. Here, Active Brownian particles (ABP) are introduced to model the contagion dynamics of living agents that spread an infectious disease in space and time. Simulations were performed for several population densities and contagious rates. Our results show that ABP not only reproduces the time dependence observed in traditional SIR models, but also allows us to explore the critical densities, contagious radius, and random recovery times that facilitate the virus spread. Furthermore, we derive a first-principles analytical expression for the contagion rate in terms of microscopic parameters, without the assumption of free parameters as the classical SIR-based models. This approach offers a novel alternative to incorporate microscopic processes into the analysis of SIR-based models with applications in a wide range of biological systems
△ Less
Submitted 26 July, 2020;
originally announced July 2020.
-
Left invariant special Kähler structures
Authors:
Fabricio Valencia
Abstract:
We construct left invariant special Kähler structures on the cotangent bundle of a flat pseudo-Riemannian Lie group. We introduce the twisted cartesian product of two special Kähler Lie algebras according to two linear representations by infinitesimal Kähler transformations. We also exhibit a double extension process of a special Kähler Lie algebra which allows us to get all simply connected speci…
▽ More
We construct left invariant special Kähler structures on the cotangent bundle of a flat pseudo-Riemannian Lie group. We introduce the twisted cartesian product of two special Kähler Lie algebras according to two linear representations by infinitesimal Kähler transformations. We also exhibit a double extension process of a special Kähler Lie algebra which allows us to get all simply connected special Kähler Lie groups with bi-invariant symplectic connections. All Lie groups constructed by performing this double extension process can be identified with a subgroup of symplectic (or Kähler) affine transformations of its Lie algebra containing a nontrivial $1$-parameter subgroup formed by central translations. We show a characterization of left invariant flat special Kähler structures using étale Kähler affine representations, exhibit some immediate consequences of the constructions mentioned above, and give several non-trivial examples.
△ Less
Submitted 13 December, 2021; v1 submitted 19 May, 2020;
originally announced May 2020.
-
Invariant generalized complex geometry on maximal flag manifolds and their moduli
Authors:
Elizabeth Gasparim,
Fabricio Valencia,
Carlos Varea
Abstract:
We describe moduli spaces of invariant generalized complex structures and moduli spaces of invariant generalized Kähler structures on maximal flag manifolds under $B$-transformations. We give an alternative description of the moduli space of generalized complex structures using pure spinors, and describe a cell decomposition of these moduli spaces induced by the action of the Weyl group.
We describe moduli spaces of invariant generalized complex structures and moduli spaces of invariant generalized Kähler structures on maximal flag manifolds under $B$-transformations. We give an alternative description of the moduli space of generalized complex structures using pure spinors, and describe a cell decomposition of these moduli spaces induced by the action of the Weyl group.
△ Less
Submitted 15 January, 2021; v1 submitted 18 December, 2019;
originally announced December 2019.
-
A Rewriting Logic Approach to Stochastic and Spatial Constraint System Specification and Verification
Authors:
Miguel Romero,
Sergio Ramírez,
Camilo Rocha,
Frank Valencia
Abstract:
This paper addresses the issue of specifying, simulating, and verifying reactive systems in rewriting logic. It presents an executable semantics for probabilistic, timed, and spatial concurrent constraint programming -- here called stochastic and spatial concurrent constraint systems (SSCC) -- in the rewriting logic semantic framework. The approach is based on an enhanced and generalized model of…
▽ More
This paper addresses the issue of specifying, simulating, and verifying reactive systems in rewriting logic. It presents an executable semantics for probabilistic, timed, and spatial concurrent constraint programming -- here called stochastic and spatial concurrent constraint systems (SSCC) -- in the rewriting logic semantic framework. The approach is based on an enhanced and generalized model of concurrent constraint programming (CCP) where computational hierarchical spaces can be assigned to belong to agents. The executable semantics faithfully represents and operationally captures the highly concurrent nature, uncertain behavior, and spatial and epistemic characteristics of reactive systems with flow of information. In SSCC, timing attributes -- represented by stochastic duration -- can be associated to processes, and exclusive and independent probabilistic choice is also supported. SMT solving technology, available from the Maude system, is used to realize the underlying constraint system of SSCC with quantifier-free formulas over integers and reals. This results in a fully executable real-time symbolic specification that can be used for quantitative analysis in the form of statistical model checking. The main features and capabilities of SSCC are illustrated with examples throughout the paper. This contribution is part of a larger research effort aimed at making available formal analysis techniques and tools, mathematically founded on the CCP approach, to the research community.
△ Less
Submitted 2 November, 2022; v1 submitted 9 September, 2019;
originally announced September 2019.
-
Semantic Structures for Spatially-Distributed Multi-Agent Systems
Authors:
Frank Valencia
Abstract:
Spatial constraint systems (scs) are semantic structures for reasoning about spatial and epistemic information in concurrent systems. They have been used to reason about beliefs, lies, and group epistemic behaviour inspired by social networks. They have also been used for proving new results about modal logics and giving semantics to process calculi. In this paper we will discuss the theory and ma…
▽ More
Spatial constraint systems (scs) are semantic structures for reasoning about spatial and epistemic information in concurrent systems. They have been used to reason about beliefs, lies, and group epistemic behaviour inspired by social networks. They have also been used for proving new results about modal logics and giving semantics to process calculi. In this paper we will discuss the theory and main results about scs.
△ Less
Submitted 22 August, 2019;
originally announced August 2019.
-
Notes on flat pseudo-Riemannian manifolds
Authors:
Fabricio Valencia
Abstract:
In these notes we survey basic concepts of affine geometry and their interaction with Riemannian geometry. We give a characterization of affine manifolds which has as counterpart those pseudo-Riemannian manifolds whose Levi-Civita connection is flat. We show that no connected semisimple Lie group admits a left invariant flat affine connection. We characterize flat pseudo-Riemannian Lie groups. For…
▽ More
In these notes we survey basic concepts of affine geometry and their interaction with Riemannian geometry. We give a characterization of affine manifolds which has as counterpart those pseudo-Riemannian manifolds whose Levi-Civita connection is flat. We show that no connected semisimple Lie group admits a left invariant flat affine connection. We characterize flat pseudo-Riemannian Lie groups. For a flat left-invariant pseudo-metric on a Lie group, we show the equivalence between the completeness of the Levi-Civita connection and unimodularity of the group. We emphasize the case of flat left invariant hyperbolic metrics on the cotangent bundle of a simply connected flat affine Lie group. We also discuss Lie groups with bi-invariant pseudo-metrics and the construction of orthogonal Lie algebras.
△ Less
Submitted 21 March, 2019;
originally announced March 2019.
-
Infinitesimally Tight Lagrangian Orbits
Authors:
Elizabeth Gasparim,
Luiz A. B. San Martin,
Fabricio Valencia
Abstract:
We describe isotropic orbits for the restricted action of a subgroup of a Lie group acting on a symplectic manifold by Hamiltonian symplectomorphisms and admitting an Ad*-equivariant moment map. We obtain examples of Lagrangian orbits of complex flag manifolds, of cotangent bundles of orthogonal Lie groups, and of products of flags. We introduce the notion of infinitesimally tight and study the in…
▽ More
We describe isotropic orbits for the restricted action of a subgroup of a Lie group acting on a symplectic manifold by Hamiltonian symplectomorphisms and admitting an Ad*-equivariant moment map. We obtain examples of Lagrangian orbits of complex flag manifolds, of cotangent bundles of orthogonal Lie groups, and of products of flags. We introduce the notion of infinitesimally tight and study the intersection theory of such Lagrangian orbits, giving many examples.
△ Less
Submitted 3 August, 2020; v1 submitted 8 March, 2019;
originally announced March 2019.
-
Flat affine symplectic Lie groups
Authors:
Fabricio Valencia
Abstract:
We give a new characterization of flat affine manifolds in terms of an action of the Lie algebra of classical infinitesimal affine transformations on the bundle of linear frames. We characterize flat affine symplectic Lie groups using symplectic étale affine representations and as a consequence of this, we show that a flat affine symplectic Lie group with bi-invariant symplectic connection contain…
▽ More
We give a new characterization of flat affine manifolds in terms of an action of the Lie algebra of classical infinitesimal affine transformations on the bundle of linear frames. We characterize flat affine symplectic Lie groups using symplectic étale affine representations and as a consequence of this, we show that a flat affine symplectic Lie group with bi-invariant symplectic connection contains a nontrivial one parameter subgroup formed by central translations. We give two methods for constructing flat affine symplectic Lie groups, thus obtaining all those having bi-invariant symplectic connections. We get nontrivial examples of simply connected flat affine symplectic Lie groups in every even dimension.
△ Less
Submitted 3 August, 2020; v1 submitted 5 February, 2019;
originally announced February 2019.
-
High Rate RPC detector for LHC
Authors:
F. Lagarde,
A. Fagot,
M. Gul,
C. Roskas,
M. Tytgat,
N. Zaganidis,
S. Fonseca De Souza,
A. Santoro,
F. Torres Da Silva De Araujo,
A. Aleksandrov,
R. Hadjiiska,
P. Iaydjiev,
M. Rodozov,
M. Shopova,
G. Sultanov,
A. Dimitrov,
L. Litov,
B. Pavlov,
P. Petkov,
A. Petrov,
S. J. Qian,
D. Han,
W. Yi,
C. Avila,
A. Cabrera
, et al. (77 additional authors not shown)
Abstract:
The High Luminosity LHC (HL-LHC) phase is designed to increase by an order of magnitude the amount of data to be collected by the LHC experiments. The foreseen gradual increase of the instantaneous luminosity of up to more than twice its nominal value of $10\times10^{34}\
{\rm cm}^{-1}{\rm s}^{-2}$ during Phase I and Phase II of the LHC running, presents special challenges for the experiments. The…
▽ More
The High Luminosity LHC (HL-LHC) phase is designed to increase by an order of magnitude the amount of data to be collected by the LHC experiments. The foreseen gradual increase of the instantaneous luminosity of up to more than twice its nominal value of $10\times10^{34}\
{\rm cm}^{-1}{\rm s}^{-2}$ during Phase I and Phase II of the LHC running, presents special challenges for the experiments. The region with high pseudo rapidity ($η$) region of the forward muon spectrometer ($2.4 > |η| > 1.9$) is not equipped with RPC stations. The increase of the expected particles rate up to 2 kHz cm$^{-1}$ ( including a safety factor 3 ) motivates the installation of RPC chambers to guarantee redundancy with the CSC chambers already present. The current CMS RPC technology cannot sustain the expected background level. A new generation of Glass-RPC (GRPC) using low-resistivity glass was proposed to equip the two most far away of the four high $η$ muon stations of CMS. In their single-gap version they can stand rates of few kHz cm$^{-1}$. Their time precision of about 1 ns can allow to reduce the noise contribution leading to an improvement of the trigger rate. The proposed design for large size chambers is examined and some preliminary results obtained during beam tests at Gamma Irradiation Facility (GIF++) and Super Proton Synchrotron (SPS) at CERN are shown. They were performed to validate the capability of such detectors to support high irradiation environment with limited consequence on their efficiency.
△ Less
Submitted 16 July, 2018;
originally announced July 2018.
-
Ion implantation in nanodiamonds: size effect and energy dependence
Authors:
Andrey A. Shiryaev,
Jonathan A. Hinks,
Nigel A. Marks,
Graeme Greaves,
Felipe J. Valencia,
Stephen E. Donnelly,
Rafael I. González,
Miguel Kiwi,
Alexander L. Trigub,
Eduardo M. Bringa,
Jason L. Fogg,
Igor I. Vlasov
Abstract:
Nanoparticles are ubiquitous in nature and are increasingly important for technology. They are subject to bombardment by ionizing radiation in a diverse range of environments. In particular, nanodiamonds represent a variety of nanoparticles of significant fundamental and applied interest. Here we present a combined experimental and computational study of the behaviour of nanodiamonds under irradia…
▽ More
Nanoparticles are ubiquitous in nature and are increasingly important for technology. They are subject to bombardment by ionizing radiation in a diverse range of environments. In particular, nanodiamonds represent a variety of nanoparticles of significant fundamental and applied interest. Here we present a combined experimental and computational study of the behaviour of nanodiamonds under irradiation by xenon ions. Unexpectedly, we observed a pronounced size effect on the radiation resistance of the nanodiamonds: particles larger than 8 nm behave similarly to macroscopic diamond (i.e. characterized by high radiation resistance) whereas smaller particles can be completely destroyed by a single impact from an ion in a defined energy range. This latter observation is explained by extreme heating of the nanodiamonds by the penetrating ion. The obtained results are not limited to nanodiamonds, making them of interest for several fields, putting constraints on processes for the controlled modification of nanodiamonds, on the survival of dust in astrophysical environments, and on the behaviour of actinides released from nuclear waste into the environment.
△ Less
Submitted 24 March, 2018;
originally announced March 2018.
-
R&D towards the CMS RPC Phase-2 upgrade
Authors:
A. Fagot,
A. Cimmino,
S. Crucy,
M. Gul,
A. A. O. Rios,
M. Tytgat,
N. Zaganidis,
S. Aly,
Y. Assran,
A. Radi,
A. Sayed,
G. Singh,
M. Abbrescia,
G. Iaselli,
M. Maggi,
G. Pugliese,
P. Verwilligen,
W. Van Doninck,
S. Colafranceschi,
A. Sharma,
L. Benussi,
S. Bianco,
D. Piccolo,
F. Primavera,
V. Bhatnagar
, et al. (71 additional authors not shown)
Abstract:
The high pseudo-rapidity region of the CMS muon system is covered by Cathode Strip Chambers (CSC) only and lacks redundant coverage despite the fact that it is a challenging region for muons in terms of backgrounds and momentum resolution. In order to maintain good efficiency for the muon trigger in this region additional RPCs are planned to be installed in the two outermost stations at low angle…
▽ More
The high pseudo-rapidity region of the CMS muon system is covered by Cathode Strip Chambers (CSC) only and lacks redundant coverage despite the fact that it is a challenging region for muons in terms of backgrounds and momentum resolution. In order to maintain good efficiency for the muon trigger in this region additional RPCs are planned to be installed in the two outermost stations at low angle named RE3/1 and RE4/1. These stations will use RPCs with finer granularity and good timing resolution to mitigate background effects and to increase the redundancy of the system.
△ Less
Submitted 14 June, 2016;
originally announced June 2016.
-
Performance of Resistive Plate Chambers installed during the first long shutdown of the CMS experiment
Authors:
M. Shopova,
A. Aleksandrov,
R. Hadjiiska,
P. Iaydjiev,
G. Sultanov,
M. Rodozov,
S. Stoykova,
Y. Assran,
A. Sayed,
A. Radi,
S. Aly,
G. Singh,
M. Abbrescia,
G. Iaselli,
M. Maggi,
G. Pugliese,
P. Verwilligen,
W. Van Doninck,
S. Colafranceschi,
A. Sharma,
L. Benussi,
S. Bianco,
D. Piccolo,
F. Primavera,
A. Cimmino
, et al. (71 additional authors not shown)
Abstract:
The CMS experiment, located at the CERN Large Hadron Collider, has a redundant muon system composed by three different detector technologies: Cathode Strip Chambers (in the forward regions), Drift Tubes (in the central region) and Resistive Plate Chambers (both its central and forward regions). All three are used for muon reconstruction and triggering. During the first long shutdown (LS1) of the L…
▽ More
The CMS experiment, located at the CERN Large Hadron Collider, has a redundant muon system composed by three different detector technologies: Cathode Strip Chambers (in the forward regions), Drift Tubes (in the central region) and Resistive Plate Chambers (both its central and forward regions). All three are used for muon reconstruction and triggering. During the first long shutdown (LS1) of the LHC (2013-2014) the CMS muon system has been upgraded with 144 newly installed RPCs on the forth forward stations. The new chambers ensure and enhance the muon trigger efficiency in the high luminosity conditions of the LHC Run2. The chambers have been successfully installed and commissioned. The system has been run successfully and experimental data has been collected and analyzed. The performance results of the newly installed RPCs will be presented.
△ Less
Submitted 22 May, 2016;
originally announced May 2016.
-
Radiation Tests of Real-Sized Prototype RPCs for the Future CMS RPC Upscope
Authors:
K. S. Lee,
S. Choi,
B. S. Hong,
M. Jo,
J. W. Kang,
M. Kang,
H. Kim,
K. Lee,
S. K. Parka,
A. Cimmino,
S. Crucy,
A. Fagot,
M. Gul,
A. A. O. Rios,
M. Tytgat,
N. Zaganidis,
S. Ali,
Y. Assran,
A. Radi,
A. Sayed,
G. Singh,
M. Abbrescia,
G. Iaselli,
M. Maggi,
G. Pugliese
, et al. (71 additional authors not shown)
Abstract:
We report on a systematic study of double-gap and four-gap phenolic resistive plate chambers (RPCs) for future high-η RPC triggers in the CMS. In the present study, we constructed real-sized double-gap and four-gap RPCs with gap thicknesses of 1.6 and 0.8 mm, respectively, with 2-mm-thick phenolic high-pressure-laminated (HPL) plates. We examined the prototype RPCs for cosmic rays and 100 GeV muon…
▽ More
We report on a systematic study of double-gap and four-gap phenolic resistive plate chambers (RPCs) for future high-η RPC triggers in the CMS. In the present study, we constructed real-sized double-gap and four-gap RPCs with gap thicknesses of 1.6 and 0.8 mm, respectively, with 2-mm-thick phenolic high-pressure-laminated (HPL) plates. We examined the prototype RPCs for cosmic rays and 100 GeV muons provided by the SPS H4 beam line at CERN. We applied maximum gamma rates of 1.5 kHz cm-2 provided by 137Cs sources at Korea University and the GIF++ irradiation facility installed at the SPS H4 beam line to examine the rate capabilities of the prototype RPCs. In contrast to the case of the four-gap RPCs, we found the relatively high threshold was conducive to effectively suppressing the rapid increase of strip cluster sizes of muon hits with high voltage, especially when measuring the narrow-pitch strips. The gamma-induced currents drawn in the four-gap RPC were about one-fourth of those drawn in the double-gap RPC. The rate capabilities of both RPC types, proven through the present testing using gamma-ray sources, far exceeded the maximum rate expected in the new high-η endcap RPCs planned for future phase-II LHC runs.
△ Less
Submitted 4 May, 2016; v1 submitted 2 May, 2016;
originally announced May 2016.
-
Observation of the rare $B^0_s\toμ^+μ^-$ decay from the combined analysis of CMS and LHCb data
Authors:
The CMS,
LHCb Collaborations,
:,
V. Khachatryan,
A. M. Sirunyan,
A. Tumasyan,
W. Adam,
T. Bergauer,
M. Dragicevic,
J. Erö,
M. Friedl,
R. Frühwirth,
V. M. Ghete,
C. Hartl,
N. Hörmann,
J. Hrubec,
M. Jeitler,
W. Kiesenhofer,
V. Knünz,
M. Krammer,
I. Krätschmer,
D. Liko,
I. Mikulec,
D. Rabady,
B. Rahbaran
, et al. (2807 additional authors not shown)
Abstract:
A joint measurement is presented of the branching fractions $B^0_s\toμ^+μ^-$ and $B^0\toμ^+μ^-$ in proton-proton collisions at the LHC by the CMS and LHCb experiments. The data samples were collected in 2011 at a centre-of-mass energy of 7 TeV, and in 2012 at 8 TeV. The combined analysis produces the first observation of the $B^0_s\toμ^+μ^-$ decay, with a statistical significance exceeding six sta…
▽ More
A joint measurement is presented of the branching fractions $B^0_s\toμ^+μ^-$ and $B^0\toμ^+μ^-$ in proton-proton collisions at the LHC by the CMS and LHCb experiments. The data samples were collected in 2011 at a centre-of-mass energy of 7 TeV, and in 2012 at 8 TeV. The combined analysis produces the first observation of the $B^0_s\toμ^+μ^-$ decay, with a statistical significance exceeding six standard deviations, and the best measurement of its branching fraction so far. Furthermore, evidence for the $B^0\toμ^+μ^-$ decay is obtained with a statistical significance of three standard deviations. The branching fraction measurements are statistically compatible with SM predictions and impose stringent constraints on several theories beyond the SM.
△ Less
Submitted 17 August, 2015; v1 submitted 17 November, 2014;
originally announced November 2014.
-
Reducing Weak to Strong Bisimilarity in CCP
Authors:
Andrés Aristizábal,
Filippo Bonchi,
Luis Pino,
Frank Valencia
Abstract:
Concurrent constraint programming (ccp) is a well-established model for concurrency that singles out the fundamental aspects of asynchronous systems whose agents (or processes) evolve by posting and querying (partial) information in a global medium. Bisimilarity is a standard behavioural equivalence in concurrency theory. However, only recently a well-behaved notion of bisimilarity for ccp, and a…
▽ More
Concurrent constraint programming (ccp) is a well-established model for concurrency that singles out the fundamental aspects of asynchronous systems whose agents (or processes) evolve by posting and querying (partial) information in a global medium. Bisimilarity is a standard behavioural equivalence in concurrency theory. However, only recently a well-behaved notion of bisimilarity for ccp, and a ccp partition refinement algorithm for deciding the strong version of this equivalence have been proposed. Weak bisimiliarity is a central behavioural equivalence in process calculi and it is obtained from the strong case by taking into account only the actions that are observable in the system. Typically, the standard partition refinement can also be used for deciding weak bisimilarity simply by using Milner's reduction from weak to strong bisimilarity; a technique referred to as saturation. In this paper we demonstrate that, because of its involved labeled transitions, the above-mentioned saturation technique does not work for ccp. We give an alternative reduction from weak ccp bisimilarity to the strong one that allows us to use the ccp partition refinement algorithm for deciding this equivalence.
△ Less
Submitted 16 December, 2012;
originally announced December 2012.
-
Partition Refinement for Bisimilarity in CCP
Authors:
Andrés Aristizábal,
Filippo Bonchi,
Luis Pino,
Frank D. Valencia
Abstract:
Saraswat's concurrent constraint programming (ccp) is a mature formalism for modeling processes (or programs) that interact by telling and asking constraints in a global medium, called the store. Bisimilarity is a standard behavioural equivalence in concurrency theory, but a well-behaved notion of bisimilarity for ccp has been proposed only recently. When the state space of a system is finite, the…
▽ More
Saraswat's concurrent constraint programming (ccp) is a mature formalism for modeling processes (or programs) that interact by telling and asking constraints in a global medium, called the store. Bisimilarity is a standard behavioural equivalence in concurrency theory, but a well-behaved notion of bisimilarity for ccp has been proposed only recently. When the state space of a system is finite, the ordinary notion of bisimilarity can be computed via the well-known partition refinement algorithm, but unfortunately, this algorithm does not work for ccp bisimilarity. In this paper, we propose a variation of the partition refinement algorithm for verifying ccp bisimilarity. To the best of our knowledge this is the first work providing for the automatic verification of program equivalence for ccp
△ Less
Submitted 7 December, 2012;
originally announced December 2012.
-
Hide and New in the Pi-Calculus
Authors:
Marco Giunti,
Catuscia Palamidessi,
Frank D. Valencia
Abstract:
In this paper, we enrich the pi-calculus with an operator for confidentiality (hide), whose main effect is to restrict the access to the object of the communication, thus representing confidentiality in a natural way. The hide operator is meant for local communication, and it differs from new in that it forbids the extrusion of the name and hence has a static scope. Consequently, a communication c…
▽ More
In this paper, we enrich the pi-calculus with an operator for confidentiality (hide), whose main effect is to restrict the access to the object of the communication, thus representing confidentiality in a natural way. The hide operator is meant for local communication, and it differs from new in that it forbids the extrusion of the name and hence has a static scope. Consequently, a communication channel in the scope of a hide can be implemented as a dedicated channel, and it is more secure than one in the scope of a new. To emphasize the difference, we introduce a spy context that represents a side-channel attack and breaks some of the standard security equations for new. To formally reason on the security guarantees provided by the hide construct, we introduce an observational theory and establish stronger equivalences by relying on a proof technique based on bisimulation semantics.
△ Less
Submitted 13 August, 2012;
originally announced August 2012.
-
Proceedings 18th International Workshop on Expressiveness in Concurrency
Authors:
Bas Luttik,
Frank Valencia
Abstract:
This volume contains the proceedings of the 18th International Workshop on Expressiveness in Concurrency (EXPRESS 2011), which took place on 5th September 2011 in Aachen, as a satellite workshop of CONCUR 2011. The EXPRESS workshop series aim at bringing together researchers who are interested in the expressiveness and comparison of formal models that broadly relate to concurrency. In particular,…
▽ More
This volume contains the proceedings of the 18th International Workshop on Expressiveness in Concurrency (EXPRESS 2011), which took place on 5th September 2011 in Aachen, as a satellite workshop of CONCUR 2011. The EXPRESS workshop series aim at bringing together researchers who are interested in the expressiveness and comparison of formal models that broadly relate to concurrency. In particular, this also includes emergent fields such as logic and interaction, game-theoretic models, and service-oriented computing.
△ Less
Submitted 19 August, 2011;
originally announced August 2011.
-
Proceedings 17th International Workshop on Expressiveness in Concurrency
Authors:
Sibylle Fröschle,
Frank D. Valencia
Abstract:
This volume contains the proceedings of the 17th International Workshop on Expressiveness in Concurrency (EXPRESS'10), which took place on 30th August 2010 in Paris, co-located with CONCUR'10. The EXPRESS workshop series aim at bringing together researchers who are interested in the expressiveness and comparison of formal models that broadly relate to concurrency. In particular, this also includes…
▽ More
This volume contains the proceedings of the 17th International Workshop on Expressiveness in Concurrency (EXPRESS'10), which took place on 30th August 2010 in Paris, co-located with CONCUR'10. The EXPRESS workshop series aim at bringing together researchers who are interested in the expressiveness and comparison of formal models that broadly relate to concurrency. In particular, this also includes emergent fields such as logic and interaction, game-theoretic models, and service-oriented computing.
△ Less
Submitted 27 November, 2010;
originally announced November 2010.
-
Three-step master equation: class of parametric stationary solutions
Authors:
H. C. Rosu,
M. A. Reyes,
F. Valencia
Abstract:
We examine the three-step master equation from the standpoint of the general solution of the associated discrete Riccati equation. We report by this means stationary master solutions depending on a free constant parameter, denoted by D, that should be negative in order to assure the positivity of the solution. These solutions correspond to different discrete Markov processes characterized by the…
▽ More
We examine the three-step master equation from the standpoint of the general solution of the associated discrete Riccati equation. We report by this means stationary master solutions depending on a free constant parameter, denoted by D, that should be negative in order to assure the positivity of the solution. These solutions correspond to different discrete Markov processes characterized by the value of D, which is related to specific renormalizations of the transition rates of the chain of states
△ Less
Submitted 6 February, 2005; v1 submitted 24 February, 2004;
originally announced February 2004.
-
Internal Rotation of Disilane and Related Molecules:a Density Functional Study
Authors:
Felipe Valencia,
Aldo H. Romero,
Miguel Kiwi,
Ricardo Ramirez,
Alejandro Toro-Labbe
Abstract:
DFT calculations performed on Si_2H_6, Si_2F_6, Si_2Cl_6, and Si_2Br_6 are reported. The evolution of the energy, the chemical potential and the molecular hardness, as a function of torsion angle, is studied. Results at the DFT-B3LYP/6-311++G** level show that the molecules always favor the stable staggered conformations, with low but significant energy barriers that hinder internal rotation. Th…
▽ More
DFT calculations performed on Si_2H_6, Si_2F_6, Si_2Cl_6, and Si_2Br_6 are reported. The evolution of the energy, the chemical potential and the molecular hardness, as a function of torsion angle, is studied. Results at the DFT-B3LYP/6-311++G** level show that the molecules always favor the stable staggered conformations, with low but significant energy barriers that hinder internal rotation. The chemical potential and hardness of Si_2H_6 remains quite constant as the sylil groups rotate around the Si-Si axis, whereas the other systems exhibit different degrees of rearrangement of the electronic density as a function of the torsion angle. A qualitative analysis of the frontier orbitals shows that the effect of torsional motion on electrophilic attack is negligible, whereas this internal rotation may generate different specific mechanisms for nucleophilic attack.
△ Less
Submitted 23 July, 2002;
originally announced July 2002.
