Deliberation Among Informed Citizens
- The Value of Exploring Alternative Thinking Frames -

Ariane Lambert-Mogiliansky and Irénée Frérot Paris School of Economics, 48 Boulevard Jourdan, Paris 75014. ([email protected])I thank François Dubois et Zeno Toffano for very useful discussions and suggestions in the early stages of the project. Laboratoire Kastler, Brossel, Sorbonne Université, CNRS, ENS-PSL Research University, Collège de France, 4 Place Jussieu, 75005 Paris, France. ([email protected])
Abstract

In this paper we investigate the potential of deliberation to create consensus among fully informed citizens. Our approach relies on two cognitive assumptions: i. citizens need a thinking frame (or perspective) to consider an issue; and ii. citizens cannot consider all relevant perspectives simultaneously, they are incompatible in the mind. These assumptions imply that opinions are intrinsically contextual.

Formally, we capture contextuality in a simple quantum-like cognitive model. We consider a binary voting problem, in which two citizens with incompatible thinking frames and initially opposite voting intentions deliberate under the guidance of a benevolent facilitator. We find that when citizens consider alternative perspectives, their opinion may change. When the citizens’ perspectives are two-dimensional and maximally uncorrelated, the probability for consensus after two rounds of deliberation reaches 75%; and this probability increases proportionally with the dimensionality (namely, the richness) of the perspectives. When dealing with a population of citizens, we also elaborate a novel rationale for working in subgroups.

The contextuality approach delivers a number of insights. First, the diversity of perspectives is beneficial and even necessary for deliberations to overcome initial disagreement. Second, successful deliberation demand the active participation of citizens in terms of “putting themselves in the other’s shoes”. Third, well-designed procedures managed by a facilitator are necessary to secure increased probability for consensus. A last insight is that the richness of citizens’ thinking frames is beneficial, while the optimal strategy entails focusing deliberation on a properly reduced problem.

JEL: D71, D83, D91, C65
Keywords: deliberation, thinking frame, quantum-like, contextuality, facilitator

1 Introduction

Recently representative democracy has been questioned and is widely perceived as being in crisis in most developed countries. At the same time, more participative forms of democracy are gaining interest ([10]). They are most often framed as direct democracy (in restricted contexts) and based on sortition (in larger contexts) and they always rely on deliberations. ”Deliberative democracy is now arguably the main theme in both democratic theory and the practice of democratic innovations”([40]). Theories of collective decision-making are traditionally partitioned into two major fields: those dealing with issues related to the aggregation of diverse preferences (Social choice) and those dealing with citizen’s active participation aiming at fostering reciprocal understanding and compromise and move toward consensus(see [38] for a review)111Deliberative institutional experimentation is flourishing throughout the world (a catalog is available at https://participedia.net/ )..

Social choice theory is repleted of impossibility theorems which have their foundations in the early work of Condorcet about voting cycles which was generalized by Arrow ([43]) fundamental results showing that every voting mechanism will fail to satisfy at least one among widely accepted conditions of fairness and rationality.222When there are at least three alternatives and the domain of preferences is unrestricted, the following axioms are inconsistent: Pareto Efficiency, Independence of Irrelevant Alternatives, Non dictatorship, and Social Rationality. According to Jon Elster ([25]), social choice theory view the political process as instrumental and the decisive political act is a private action, an individual secret vote. The goal of politics is the optimal compromise between given and irreducably opposed private interests. Social choice theories investigate the properties of aggregation rules and procedures. In contrast other views deny the private character of political behavior and its pure instrumental nature. According to Jurgen Habermas the goal of politics should be rational agreement and the decisive political act is that of engaging in public debate with the objective of reaching consensus. For participatory democrats from John Stuart Mills to Carole Pateman, the goal of politics is the transformation and education of participants so that politics is an end in itself ([25]). Data from Deliberative Polls support the hypothesis that people do change their opinion and this happens not only under the impact of better information ([37]; [29]). J. Dryzek writes that a “defining feature of deliberative democracy is that individuals participating in democratic processes are amenable to changing their minds and their preferences as a result of the reflection induced by deliberation.” ([20])

Deliberative democratic theory is founded on the basic principle that “outcomes are democratically legitimate if and only if they could be the object of a free and reasoned agreement among equals” ([11]). The question is how does this process of presenting arguments leads to agreement among equals. Some scholars have argued that reasoned public deliberation lends legitimacy because the proposals that are sustained and survive through the process of deliberation are simply better in terms of their overall quality. This way of explaining the value of public deliberation and its connection to political justification presumes that there exist some procedure independent criteria of rightness or correctness. Many epistemic democrats ([26]; [36]) hold this view. Other have proposed that post-deliberation outcomes are more justified than simple non-deliberative aggregated outcomes because the very procedure of reasoned public deliberation embodies or manifests core values of basic human morality and political justice, and it forces participants to be attentive toward the common good ([13]; [11]; [35]; [42]). Finally, a number of scholars have argued that reasoned public deliberation may also complement (or even nullify the need for) aggregative voting mechanisms: by generating unanimous agreement; by “inducing a shared understanding regarding the dimensions of conflict” ([34]); or by inducing “single peaked preferences” among the voters, which prevents majority rule from generating majority cycles ([21]; [37]). Bohman emphasizes both the transformative and epistemic benefits of confronting a diversity perspectives in deliberations.[5] Our approach is, in its spirit, close to that of Bohman’s. We view the process of deliberation as a procedure that invites citizens to explore alternative perspectives.

The central hypotheses of this paper is that i. to be able to consider an issue, people have to build a representation of that issue. Building a representation requires selecting a perspective or a thinking frame (a model), ii. there exist perspectives that people cannot consider simultaneously, they are incompatible in the mind. This has the crucial implication that no single perspective can aggregate all relevant information: opinions are contextual. In a close spirit Niemeyer et al. write ”Deliberative reasoning as we characterize it, recognizes the possibility of identifying the set of relevant considerations, while falling short by failing actively to take all of them into account to capture the complete picture” ([40] p. 347). To focus on the evolution of opinions due to their contextuality, we consider deliberation exclusively as a process of confronting alternative models with no improvement in information. Kinder (2003) writes: ”frames supply no new information. Rather, by offering a particular perspective, frames organize - or better reorganize - information that citizens already have in mind”[33]. Frames suggest how politics should be thought about, encouraging citizens to think in particular ways”333This reminds of Aragones et al. [1]. They establish that finding the best functional rule to explain a set of data is an NP-complete problem. Fully informed people may have different, mutually incompatible, predictions without it being possible to establish that some prediction is better than another. The truth of a prediction depends on the correlation that is being investigated i.e., it is ”contextual”. To address the contextuality of opinions, we turn to the most widely recognized formal approach that features the co-existence of alternative representations of one and the same object: the Hilbert space model of Quantum Mechanics (QM)444In quantum Physics, the property values that define a system depend on how you measure them, the system is contextual to the measurement apparatus.There exists however of stable objective truth in the larger space that includes the system and all possible measurements which is formalized in the Hilbert space model of QM.. Under the last decades, quantum-like models of contextuality have been developed in Social Sciences to explain a variety of behavioral anomalies (for overviews, see refs. [8], [44], [41]) We briefly introduce the quantum cognition approach in section 1.2. We immediately reassure the reader that no prior knowledge of QM or Hilbert space is needed to read the present paper.

To fix idea consider a collective decision issue related to the introduction of Individual Carbon Budget (ICB). One perspective or thinking frame is the environmental one i.e., ICB properties to reduce green house gas (GHG) emissions . Another thinking frame relates to individual liberties i.e., ICB’s impact of individuals’ freedom of choice. People can very well consider those two perspectives in sequence. However, they may have difficulties to consider them simultaneously. As a consequence, they cannot aggregate information from the environmental and the liberty frames in a stable way instead a citizen’s opinion depends on the order in which the two (incompatible) perspectives are explored (probed). This instability is the expression of intrinsic contextuality i.e., an opinion does not exist independently of a frame (its context) and that it is impossible to integrate all frames into a unique ”super frame”555Instead, there exists an irreducible multiplicity of alternative frames that are equally valid to characterize an issue. In physics this is a defining feature of sub-atomic particle i.e., some properties are Bohr complementary and cannot have a definite value simultaneously. In psychology and social sciences this is proposed as a defining feature of mental constructs like the representation of an issue..

There exists, to the best of our knowledge, no formal approach that features the impact of the variety of thinking frames on the outcome of deliberations. However, recent theoretical and experimental works on quantum persuasion by Danilov et al.([14], [15]) can be relevant to the context of deliberation. In line with Danilov et al., we view a person’s opinion as a non-classical (quantum) object characterized by its state. Alternative thinking frames are modelled as alternative basis of the opinion space. The deliberative process is modelled as a structured sequence of measurements i.e., an ordered sequence of ”exploration” of different perspectives by the citizens. By force of the intrinsic contextuality of opinion, measurements move the opinion state in non-deterministic manner that reflects the correlations between the bases (the thinking frames). Given this technology, we investigate the properties of procedures that satisfy some requirements of deliberation put forward in the political philosophical literature. Deliberation should be a respectful, open-minded, fair and equitable communicative process which aims at achieving maximal consensus with respect to the decision at stake.

We consider a setting where there is a Yes or No  decision to be made666The voting issue is two dimensional implying that we are not addressing the impossibility theorems of collective choice (Arrow 1951).. The objective of deliberation is to achieve democratic legitimacy in the following sens. First, the procedure should give a fair chance to everyone’s opinion to affect the decision. Second, full consensus is the overarching goal which translates in maximizing the support for the final decision. In this context, the paper addresses two central questions: 1. How can (fact-free i.e., without additional information) deliberation affect citizens’ voting behavior? 2. How should we structure deliberation to maximize the probability for consensus? A central assumption is that citizens are willing to explore alternative thinking frames before deciding how to vote. These alternatives frames can be provided by the citizens themselves and/or experts. The procedure is managed by a facilitator. We find that in the two-person case when starting from opposite voting intentions, fact-free deliberation procedure always achieves some extent of consensus. The largest chance of consensus obtains when the citizens’ perspective are maximally uncorrelated777Perspective A and B are said to be distant (uncorrelated) whenever a citizen’s opinion in perspective A has no(little) predictive power for her opinion in perspective B.. For the case the perspectives are two-dimensional consensus can be reached with probability 3/4343/43 / 4. The results generalize to n-dimensional perspectives where we show that the more fine-grained the opinion, the easier to reach consensus. A first central insight is that citizens’ willingness to seriously consider an alternative perspective by ”putting themselves in someone else’s shoes” can have a very significant impact on opinions. And secondly the more ”distant” the considerations of the other citizen from the own perspective, the more powerful the impact. We next extend to a population of citizens and to multiple perspectives. An important finding is that to maximize the probability of convergence to consensus, the facilitator tends to discriminate between citizens i.e., in each round some are active while others remain passive. In addition, we find that it may be optimal to target the standing minority option as the projected consensus. In the Discussion section we address epistemic considerations and the performance of our model with respect to the ideal pf deliberative democracy.

The main takeaways from our account of thinking frames in the analysis of fact-free deliberations are: i. The diversity of thinking frames among citizens not only is no obstacle but a necessary condition for deliberation to deliver consensus; ii. Deliberations can exhibit a powerful transformative power that hinges on a true willingness of participants to explore other thinking frames; iii. Well-designed procedures monitored by a facilitator are needed to move toward consensus.

This paper contributes to the literature on the value of pre-voting deliberation by providing a formalisation of opinion formation appealing to the intrinsic contextuality of opinions. Most formal approaches to deliberation belong the epistemic tradition which postulate a single (common) correct decision. Among the most recent ones Dietrich and Spiekermann introduce some behavioral dimensions (sharing and absorbing) to the information theoretic approaches (see e.g., [22]). The other formal strand of literature is game-theoretic which emphasize incentive to share of withhold information (see e.g., [18]). The (quantum) contextuality revolution recasted the issue of objective truth and knowledge as witnessed by the wealth of the epistemological literature under the last century (see e.g., [17]). Our approach based on the most standard formalisation of intrinsic contextuality is closely related to Bohman’s experiential perspective approach in [5]. He emphasizes the transformative and epistemic benefits of confronting the diversity perspectives in deliberations. We provide a formal mechanism for this transformation and derive procedures managed by a facilitator to increase consensus. Because our deliberation involves no improvement in information, it is complementary to classical epistemic approaches. Because intrinsic contextuality precludes the uniqueness of truth, it bring us close to procedural approaches to deliberation (see e.g., [2]) which recognize a value to deliberations in terms of actualizing basic values of democracy. Our results also contribute with new results with respect to the tension between efficiency and legitimacy within the process of deliberations itself [19].

2 Contextuality

In this section, we illustrate with a story the kind of situation we have in mind and introduce the quantum cognitive approach.

2.1 A story

A community needs to decide whether or not to introduce an Individual Carbon Budget (ICB) scheme. To be able to relate to the issue, citizens build a mental representation using a thinking frame. Various aspects are of relevance to citizens, environmental efficacy, impact on individual liberties, legal feasibility etc… each corresponding to specific thinking frames. The citizens participating in the deliberations are open-minded. They are willing explore frames alternative to their own. An environmentalist discovers how she thinks about ICB in terms of individual liberties etc… As a result of exploration, the citizens discover that their initial opinion has evolved. They have not learned new facts but experiencing a new frame i.e., ”putting themselves in the shoes of someone who thinks in different terms” modifies their state of mind. After some rounds of (guided) deliberation, they find that they agree to a significantly larger extent.

2.2 Quantum cognition

It is a common place that human beings are not capable of holding very complex pictures in mind. We consider reality focusing on one perspective (or thinking frame) at a time and show difficulties in combining perspectives in a stable way. This inability to seize reality in its full richness suggests that the process of developing an understanding of the world may not look like a puzzle that is assembled progressively. Instead, the human mind may exhibit structural ”limitations” in terms of the incompatibility of perspectives in a way similar to properties in quantum mechanics. Ambiguous pictures of the kind provided in Fig. 1 provides a suggestive illustration of this phenomenon. You may see a duck or a rabbit (you may oscillate between the two as for the Necker cube) both are correct but you cannot see both simultaneously.

Refer to caption
Figure 1: What do you see?

To many people it may appear artificial to turn to quantum mechanics (QM) when investigating human behavioral phenomena. However, the founders of QM, including Bohr and Heisenberg recognized an essential similarity between the two fields888In particular, Bohr was influenced by the psychology and philosophy of knowledge of Harald Höffding (see Bohr (1991) and the Introduction in Bitbol (2009) for an insightful discussion).. In both fields the object of investigation cannot (always) be separated from the process of investigation. QM and in particular its mathematical formalism was developed to respond to a general epistemological challenge: how can one study an object that is being modified by the measurement of its properties? QM is a general paradigm for intrinsic contextuality (i.e., non-separability between the object and the operation of investigation). It should, therefore, be viewed as truly legitimate to explore the value of the mathematical formalism of QM in the study of human behavioral phenomena - without reference to Physics.

The quantum paradigm has been proposed in decision theory and psychology to describe preferences, beliefs, attitudes, judgements and opinions (see [8], [44], [16][41] among others). The approach has allowed providing a unified framework that accommodates a large variety of, so called, behavioral anomalies: preference reversal, disjunction effect, cognitive dissonance, framing effects, order effects etc. (see e.g. [32] and for empirical work [24],[9]).

In this paper, we recognize that our representation of the world is a mental object (a representation) which may exhibit non-classical features and we derive some implications of this hypothesis for the dynamics of opinion formation in the process of deliberation. The most important element that we borrow from QM is the notion of Bohr-complementarity applied to mental perspectives999It parallels the Bohr complementarity of properties for sub-atomic particles e.g., spin along different angles.. In line with QC, we propose that Bohr complementarity of perspectives captures the cognitive limitations that are responsible for our difficulties to syntheses information along different perspectives into a single stable picture. Just as in QM, the system (here our mental picture) makes discrete jumps when attempting to find a determinate value along distinct incompatible perspectives.

Recently theoretical and experimental applications to persuasion have shown how fruitful this approach could be ([14], [15],[9]). This paper is in continuation with those works. A citizen’s opinion is a non-classical (quantum) object characterized by its state. Alternative thinking frames are modelled as alternative basis (incompatible properties) of the representation of the decision issue. Deliberation amounts to a sequence of measurements (probing arguments). Measurements moves the opinion state in a non-deterministic way that reflects the correlations between the bases (the thinking frames). With this formal description of the process of deliberation, we investigate procedures that satisfy some requirements on deliberation put forward in the literature.

We emphasize that the quantum cognition approach does not assume a quantum physical nature to the determinants of our opinions. Neither do we dwell into the psychology or neurology of the transformation of belief/opinion and preferences101010The approach is an abstract way of capturing the fact that experiencing another perspective may have neurological, emotional and other impacts with consequences for opinion.. A presumption is that the correlations between perspectives which structure the mind exhibit some extent of regularity across individuals. As in Physics, the quantification of correlations is an empirical question.

3 Model

3.1 Basic structure

We shall formulate our model of deliberation in terms of a mediated communication game. There is a set ΩΩ\Omegaroman_Ω of deliberator-citizens who may alternatively be in one of two roles R (Receiver) and S (Sender), one facilitator and a pool of experts. The interaction between the citizens and the facilitator is simplified by assumption 0 below. We are interested in deliberation aimed at influencing Receivers’ vote over uncertain options which we model as quantum lotteries following Danilov et al. 2018 ([16]). The formal model shares significant features with the quantum persuasion model ([14], [15]).

Assumption 1

Citizens taking part in deliberation are willing to explore alternative thinking frames. They follow the recommendations of the facilitator.

Citizens participating in deliberation are willing to engaged in real mental experiences with an open mind. This capture their respect for each other and their trust in the procedures as a legitimate way to reach a collective decision. The facilitator’s recommendations relates exclusively to invitations to present an argument and invitation to probe a perspective (see below for definition). In this paper, we are not addressing possible incentive issues related to these operations. Instead, we consistently with the normative literature on deliberation assume goodwill from the side of citizens.

The description of a quantum system starts with the fixation of a Hilbert space H𝐻Hitalic_H (over the field \mathbb{R}blackboard_R of real numbers or the field   of complex number). Physicists usually work with the complex field \mathbb{C}blackboard_C. We, for simplicity, shall work with the real field \mathbb{R}blackboard_R, although everything goes with minor changes for the complex case. Let (·, ·) denote the scalar product in Hilbert space H𝐻H\ italic_H(in our case a finite dimensional space).

We shall be interested not so much in the Hilbert space as in operators, that is linear mappings A:HH:𝐴𝐻𝐻A:H\rightarrow Hitalic_A : italic_H → italic_H. Such an operator A𝐴Aitalic_A is Hermitian(or symmetric over \mathbb{R}blackboard_R) if (Ax,y)=(x,Ay)𝐴𝑥𝑦𝑥𝐴𝑦(Ax,y)=(x,Ay)\ ( italic_A italic_x , italic_y ) = ( italic_x , italic_A italic_y )for all x,yH𝑥𝑦𝐻x,y\in Hitalic_x , italic_y ∈ italic_H. A Hermitian operator A𝐴Aitalic_A is non-negative if (Ax,x)0𝐴𝑥𝑥0(Ax,x)\geq 0\ ( italic_A italic_x , italic_x ) ≥ 0for any xH𝑥𝐻x\in Hitalic_x ∈ italic_H111111General Hermitian operators play the role of classical random variables. In fact for any Hermitian operator A𝐴A\ italic_Aand opinion O,𝑂O,\ italic_O ,we can define the ‘expected value’ of A𝐴Aitalic_A in state O𝑂O\ italic_Oas Tr(AO)Tr𝐴𝑂{\rm Tr}(AO)roman_Tr ( italic_A italic_O ).The expected utility of voting action yes𝑦𝑒𝑠yesitalic_y italic_e italic_s (to ICB) are presented by operator Y𝑌Yitalic_Y in an opinion state O𝑂Oitalic_O is expressed as Tr(YO{\rm Tr}(YOroman_Tr ( italic_Y italic_O) and this number linearly depends on O𝑂Oitalic_O. In this way, Receiver’s preferences over voting options are determined by her opinion state O𝑂Oitalic_O..

3.2 Opinion State and perspectives

Each individual j𝑗jitalic_j is characterized by her opinion state Ojsuperscript𝑂𝑗O^{j}italic_O start_POSTSUPERSCRIPT italic_j end_POSTSUPERSCRIPT and her thinking frame, operator Pjsuperscript𝑃𝑗P^{j}italic_P start_POSTSUPERSCRIPT italic_j end_POSTSUPERSCRIPT (perspective).

Opinion state

With the help of the trace one can introduce the notion of state of a quantum system. The trace TrTr{\rm Tr}roman_Tr of a matrix can be defined as the sum of its diagonal elements. It is known that the trace does not depend on the choice of basis. Let o𝑜oitalic_o (for opinion) be an element of H𝐻Hitalic_H with length 1 (that is (o,o)=1𝑜𝑜1(o,o)=1( italic_o , italic_o ) = 1). Let Posubscript𝑃𝑜P_{o}italic_P start_POSTSUBSCRIPT italic_o end_POSTSUBSCRIPT be the orthogonal projector121212A projector is an Hermitian operator such that P2=P)P^{2}=P)italic_P start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = italic_P ) on o𝑜oitalic_o, that is Po(x)=(x,o)osubscript𝑃𝑜𝑥𝑥𝑜𝑜P_{o}(x)=(x,o)oitalic_P start_POSTSUBSCRIPT italic_o end_POSTSUBSCRIPT ( italic_x ) = ( italic_x , italic_o ) italic_o for any xH,Tr(Po)=(o,o)=1formulae-sequence𝑥𝐻Trsubscript𝑃𝑜𝑜𝑜1x\in H,\ {\rm Tr}(P_{o})=(o,o)=1italic_x ∈ italic_H , roman_Tr ( italic_P start_POSTSUBSCRIPT italic_o end_POSTSUBSCRIPT ) = ( italic_o , italic_o ) = 1, therefore Posubscript𝑃𝑜P_{o}italic_P start_POSTSUBSCRIPT italic_o end_POSTSUBSCRIPT is a state also denoted by operator O(=Po)annotated𝑂absentsubscript𝑃𝑜O(=P_{o})italic_O ( = italic_P start_POSTSUBSCRIPT italic_o end_POSTSUBSCRIPT ). Such states are called pure, we shall be exclusively dealing with pure states131313This is by distinction with mixed states. Pure state are complete information state but because of intrinsic indeterminacy, the values along alternative (incompatible) perspectives can never be sorted out simultaneously, they remain stochastic.. The non-negativity of the operator O𝑂Oitalic_O is analogous to the non-negativity of a probability measure, and the trace 1 to the sum of probabilities which equals 1. This means that an opinion state is formally identical to a (subjective) belief state [15].

Perspectives

The formal account of thinking frames is a key building block of our theory. It is intimately linked with our cognitive assumptions:

Assumption 2
  1. i

    Citizens cannot address reality immediately. They need to build a representation of the voting issue using a thinking frame;

  2. ii

    Citizens cannot resort to a ”super frame” that aggregates all relevant aspects.

Assumption 2 implies that, for the citizens, the voting issue admits a finite number k𝑘kitalic_k of equally valid (Bohr complementary) thinking frames, the perspectives. Formally, there is a set 𝒫𝒫\mathcal{P}caligraphic_P of perspectives (or thinking frames, we use the terms interchangeably). A perspective P=(P1,,Pn),Pv:HH:𝑃subscript𝑃1subscript𝑃𝑛subscript𝑃𝑣𝐻𝐻P=\left(P_{1},...,P_{n}\right),\ P_{v}:H\rightarrow H\ \ italic_P = ( italic_P start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , … , italic_P start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ) , italic_P start_POSTSUBSCRIPT italic_v end_POSTSUBSCRIPT : italic_H → italic_His a Hermitian operator. We focus on a limited subset of operators referred to as direct (or von Neumann) measurements. These simple devices are sufficient for the purpose of the present paper. Such a device is given by a family of projectors (Pv,vV,subscript𝑃𝑣𝑣𝑉P_{v},v\in V,\ italic_P start_POSTSUBSCRIPT italic_v end_POSTSUBSCRIPT , italic_v ∈ italic_V , V𝑉Vitalic_V is the set of values of the device.) with the property Pv=Esubscript𝑃𝑣𝐸\sum P_{v}=E∑ italic_P start_POSTSUBSCRIPT italic_v end_POSTSUBSCRIPT = italic_E, where E𝐸E\ italic_Eis the identity operator on H𝐻Hitalic_H. The probability pvsubscript𝑝𝑣p_{v}italic_p start_POSTSUBSCRIPT italic_v end_POSTSUBSCRIPT to obtain outcome v𝑣v\ italic_v(in a state oSt𝑜𝑆𝑡o\in Stitalic_o ∈ italic_S italic_t) is equal to Tr(PvO)Trsubscript𝑃𝑣𝑂{\rm Tr}(P_{v}O)roman_Tr ( italic_P start_POSTSUBSCRIPT italic_v end_POSTSUBSCRIPT italic_O ) and if we obtained v,𝑣v,\ italic_v ,the revised opinion-state is Ov=Pvsubscript𝑂𝑣subscript𝑃𝑣O_{v}=P_{v}\ italic_O start_POSTSUBSCRIPT italic_v end_POSTSUBSCRIPT = italic_P start_POSTSUBSCRIPT italic_v end_POSTSUBSCRIPT because projector Pvsubscript𝑃𝑣P_{v}italic_P start_POSTSUBSCRIPT italic_v end_POSTSUBSCRIPT is one-dimensional (that is, a pure state). If we repeat the measurement, we obtain the same outcome v𝑣vitalic_v and the state does not change141414This type of measurement is repeatable or “first kind”.. An important feature that we want to emphasize is that the expected revised opinion Oex=vVPvOv=vVPvOPvsubscript𝑂𝑒𝑥subscript𝑣𝑉subscript𝑃𝑣subscript𝑂𝑣subscript𝑣𝑉subscript𝑃𝑣𝑂subscript𝑃𝑣O_{ex}=\sum_{v\in V}P_{v}O_{v}=\sum_{v\in V}P_{v}OP_{v}\ italic_O start_POSTSUBSCRIPT italic_e italic_x end_POSTSUBSCRIPT = ∑ start_POSTSUBSCRIPT italic_v ∈ italic_V end_POSTSUBSCRIPT italic_P start_POSTSUBSCRIPT italic_v end_POSTSUBSCRIPT italic_O start_POSTSUBSCRIPT italic_v end_POSTSUBSCRIPT = ∑ start_POSTSUBSCRIPT italic_v ∈ italic_V end_POSTSUBSCRIPT italic_P start_POSTSUBSCRIPT italic_v end_POSTSUBSCRIPT italic_O italic_P start_POSTSUBSCRIPT italic_v end_POSTSUBSCRIPTis generally different from the initial opinion-state O𝑂Oitalic_O. That is, although the opinion state has the structure of a probability distribution, the revised opinion in the non-classical context is not subject to Bayesian plausibility as noted in [15]. This feature plays an important role in the analysis.

Probing a perspective

Probing a perspective, is formalized as an operation whereby one applies some perspective P𝑃Pitalic_P to an opinion state O.𝑂O.italic_O . In practical terms, it corresponds to questioning oneself in the terms of perspective P𝑃Pitalic_P i.e., which specific value do I agree with? We focus exclusively on complete measurements that is probing operations that fully resolves uncertainty with respect to the P𝑃Pitalic_P perspective. The outcome of probing a perspective is one of its eigenvalues.

Assume citizen j𝑗jitalic_j is characterized by O𝑂O\ italic_OandPjsuperscript𝑃𝑗\ P^{j}italic_P start_POSTSUPERSCRIPT italic_j end_POSTSUPERSCRIPT such that O=Pij,𝑂superscriptsubscript𝑃𝑖𝑗O=P_{i}^{j},\ italic_O = italic_P start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_j end_POSTSUPERSCRIPT ,probing an argument in an alternative (i.e., incompatible) perspective Q𝑄Qitalic_Q with arguments Qisubscript𝑄𝑖Q_{i}italic_Q start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT is called challenging one’s opinion. Challenging an opinion with Q𝑄Q\ italic_Qgenerates an new state O{Q1,Qn}superscript𝑂subscript𝑄1subscript𝑄𝑛O^{{}^{\prime}}\in\left\{Q_{1},...Q_{n}\right\}italic_O start_POSTSUPERSCRIPT start_FLOATSUPERSCRIPT ′ end_FLOATSUPERSCRIPT end_POSTSUPERSCRIPT ∈ { italic_Q start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , … italic_Q start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT } and, as a consequence, it upsets her previously held value visubscript𝑣𝑖v_{i}\ italic_v start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPTin Pjsuperscript𝑃𝑗P^{j}italic_P start_POSTSUPERSCRIPT italic_j end_POSTSUPERSCRIPT151515In quantum mechanics, it is postulated that the state (of a measured system) changes in accordance with the von Neumann–Lüders postulate. More precisely, a system that was in state O𝑂Oitalic_O transits to the state O=POP/Tr(POPO^{\prime}=POP/{\rm Tr}(POPitalic_O start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT = italic_P italic_O italic_P / roman_Tr ( italic_P italic_O italic_P) as a result of performing a measurement that yields event P𝑃Pitalic_P. In our simplified setting, we say that the opinion state transits into (pure state) P.𝑃P.\ italic_P .. For instance the individual is confronted with the liberty perspective and reflects over whether she thinks that ICB is contrary to fundamental individual liberties Q1subscript𝑄1Q_{1}italic_Q start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT or implies acceptable limitations Q2subscript𝑄2Q_{2}italic_Q start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT or has no implication for individual liberty Q3subscript𝑄3Q_{3}italic_Q start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT. After the process of probing, the revised opinion is either Q1,Q2subscript𝑄1subscript𝑄2Q_{1},Q_{2}italic_Q start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_Q start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT or Q3.subscript𝑄3Q_{3}.italic_Q start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT . A central feature of the model is that if the citizen started from O=P2j𝑂superscriptsubscript𝑃2𝑗O=P_{2}^{j}italic_O = italic_P start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_j end_POSTSUPERSCRIPT so she thinks/believes ICB are environmentally useless, probing argument Q𝑄Qitalic_Q and obtaining for instance iQ=1subscript𝑖𝑄1i_{Q}=1italic_i start_POSTSUBSCRIPT italic_Q end_POSTSUBSCRIPT = 1 changes her previously held opinion into Q1.subscript𝑄1Q_{1}.\ italic_Q start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT .So if the citizen probes P𝑃P\ italic_Panew Tr(Q1Pi)>0Trsubscript𝑄1subscript𝑃𝑖0{\rm Tr}\left(Q_{1}P_{i}\right)>0roman_Tr ( italic_Q start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_P start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ) > 0 for Pi2subscript𝑃𝑖2P_{i}\neq 2italic_P start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ≠ 2, the citizen has changed her mind from initial P2subscript𝑃2P_{2}\ italic_P start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPTand now believes (with positive probability) that ICB are environmentally valuable P1subscript𝑃1P_{1}italic_P start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT. This is the crucial property that generates a potential for opinions to evolve without additional information. This is illustrated in Fig. 2 in the two-dimensional case. With initial opinion state given by P1subscript𝑃1P_{1}italic_P start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ,our citizen probes the liberty perspective Q𝑄Qitalic_Q and with probability Tr(P1Q1)Trsubscript𝑃1subscript𝑄1{\rm Tr}\left(P_{1}Q_{1}\right)roman_Tr ( italic_P start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_Q start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) she finds that in that perspective her opinion is Q1subscript𝑄1Q_{1}italic_Q start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT (and with the complementary probability Q2).Q_{2}).italic_Q start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) . She then update her opinion (to be able to evaluate the voting options see below) and with probability Tr(Q1P2)Trsubscript𝑄1subscript𝑃2{\rm Tr}\left(Q_{1}P_{2}\right)roman_Tr ( italic_Q start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_P start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) she does not recover her initial opinion instead she now holds opinion P2.subscript𝑃2P_{2}.italic_P start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT .

Refer to caption
Figure 2: Probing perspectives

Throughout, we use the term probing for a measurement of an alternative perspective to the citizen’s own perspective. While updating refers to the measurement operation of the own perspective.

3.3 Utility and voting 

Voting is binary, a Yes or No choice. Citizens are endowed with preferences that allow evaluating the utility value of the two options given their individual opinion state. .

Assumption 3

Citizen jΩ𝑗Ωj\in\Omegaitalic_j ∈ roman_Ω exclusively attributes utility to voting options in one of the eigenstates of her own frame i.e. in some state Oj{Pij},superscript𝑂𝑗superscriptsubscript𝑃𝑖𝑗O^{j}\in\left\{P_{i}^{j}\right\},italic_O start_POSTSUPERSCRIPT italic_j end_POSTSUPERSCRIPT ∈ { italic_P start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_j end_POSTSUPERSCRIPT } , where Pjsuperscript𝑃𝑗P^{j}italic_P start_POSTSUPERSCRIPT italic_j end_POSTSUPERSCRIPT is her own perspective.

Assumption 3 captures a central feature of thinking in frames. A citizen is only capable to evaluate her utility in terms of her own perspective. Citizens can explore other perspectives and adopt any possible opinion. However, an opinion state can guide voting only when formulated in terms of the own perspective. The frame is an essential part of the citizen’s identity, it is the language in which she can formulate the value of the voting options and make decisions.

Formally, consider a citizen with perspective 𝒫=(P1,,Pn)𝒫subscript𝑃1subscript𝑃𝑛\mathcal{P}=(P_{1},...,P_{n})caligraphic_P = ( italic_P start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , … , italic_P start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ). Her utility ”function” is represented by a tuple {u1Y,..,unY,u1N,,unN}\left\{u_{1}^{Y},..,u_{n}^{Y},u_{1}^{N},...,u_{n}^{N}\right\}{ italic_u start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_Y end_POSTSUPERSCRIPT , . . , italic_u start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_Y end_POSTSUPERSCRIPT , italic_u start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_N end_POSTSUPERSCRIPT , … , italic_u start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_N end_POSTSUPERSCRIPT } which associates a real number to option Yes respectively No to each possible opinion state. Generally, for any arbitrary opinion state O𝑂Oitalic_O, we can formulate the expected utility for the two voting options as a ”quantum lottery” (see [16]), with the probability for each of the states Pisubscript𝑃𝑖P_{i}italic_P start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT given by Tr(OPi)Tr𝑂subscript𝑃𝑖{\rm Tr}(OP_{i})roman_Tr ( italic_O italic_P start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ). The general formula for the expected utility is then

EU(Y;O)=iTr(OPi)uiYEU𝑌𝑂subscript𝑖Tr𝑂subscript𝑃𝑖superscriptsubscript𝑢𝑖𝑌\mathrm{EU}\left(Y;O\right)=\sum_{i}\mathrm{Tr}\left(OP_{i}\right)u_{i}^{Y}roman_EU ( italic_Y ; italic_O ) = ∑ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT roman_Tr ( italic_O italic_P start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ) italic_u start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_Y end_POSTSUPERSCRIPT (1)

and similarly EU(N;O)=iTr(OPi)uiNEU𝑁𝑂subscript𝑖Tr𝑂subscript𝑃𝑖superscriptsubscript𝑢𝑖𝑁\mathrm{EU}\left(N;O\right)=\sum_{i}\mathrm{Tr}\left(OP_{i}\right)u_{i}^{N}roman_EU ( italic_N ; italic_O ) = ∑ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT roman_Tr ( italic_O italic_P start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ) italic_u start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_N end_POSTSUPERSCRIPT. When EU(Y;O)EU(N;O)EU𝑌𝑂EU𝑁𝑂\mathrm{EU}\left(Y;O\right)\geq\mathrm{EU}(N;O)roman_EU ( italic_Y ; italic_O ) ≥ roman_EU ( italic_N ; italic_O ), the citizen prefers the Yes option. Note that in order for the expression in Eq. (1) to guide voting behavior the citizens must be able to compute tr(OPi)𝑡𝑟𝑂subscript𝑃𝑖tr\left(OP_{i}\right)italic_t italic_r ( italic_O italic_P start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ) for any O.𝑂O.\ italic_O .This is very demanding. In particular, it requires that citizens have knowledge about the correlations between all alternative perspectives and their own. We do not make that assumption, instead whenever in OPi,𝑂subscript𝑃𝑖O\neq P_{i},italic_O ≠ italic_P start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT , she will have to ”go back” to her own thinking frame before voting (see below).

Citizens’ utility for the voting options defines two complementary subsets:

𝒴𝒴\displaystyle\mathcal{Y}caligraphic_Y \displaystyle\equiv {P;EU(Y;P)EU(N;P)}𝑃EU𝑌𝑃EU𝑁𝑃\displaystyle\left\{P;\ \mathrm{EU}(Y;P)\geq\mathrm{EU}(N;P)\right\}{ italic_P ; roman_EU ( italic_Y ; italic_P ) ≥ roman_EU ( italic_N ; italic_P ) }
𝒩𝒩\displaystyle\mathcal{N}caligraphic_N \displaystyle\equiv {P;EU(Y;P)EU(N;P)}.𝑃EU𝑌𝑃EU𝑁𝑃\displaystyle\left\{P;\ \mathrm{EU}(Y;P)\leq\mathrm{EU}(N;P)\right\}.{ italic_P ; roman_EU ( italic_Y ; italic_P ) ≤ roman_EU ( italic_N ; italic_P ) } .
Assumption 4

A citizen is endowed with a thinking frame that allows separating between voting options, namely 𝒴𝒴\mathcal{Y}caligraphic_Y and 𝒩𝒩\mathcal{N}caligraphic_N are nonempty.

Assumption 4 excludes citizens whose voting decision is fixed and therefore cannot be affected by deliberation. For any citizen j,𝑗j,italic_j , the own thinking frame Pjsuperscript𝑃𝑗P^{j}italic_P start_POSTSUPERSCRIPT italic_j end_POSTSUPERSCRIPT, allows separating among voting alternatives.

The voting behavior is most simple. We know by Assumption 3 that citizen j𝑗j\ italic_jmust be one of her perspective’s eigenstates say Pjsuperscript𝑃𝑗P^{j}italic_P start_POSTSUPERSCRIPT italic_j end_POSTSUPERSCRIPT then if u(Y;Pij)𝑢𝑌superscriptsubscript𝑃𝑖𝑗absentu\left(Y;P_{i}^{j}\right)\geqitalic_u ( italic_Y ; italic_P start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_j end_POSTSUPERSCRIPT ) ≥ u(N;Pij),𝑢𝑁superscriptsubscript𝑃𝑖𝑗u\left(N;P_{i}^{j}\right),italic_u ( italic_N ; italic_P start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_j end_POSTSUPERSCRIPT ) , citizen j𝑗jitalic_j cast a Yes vote otherwise she casts a No vote, i.e., voting is sincere (non-strategic). The winning option is the one that has obtained the largest number of votes.

3.4 Deliberation

Deliberation is modelled in terms of a multiple round mediated communication game. The facilitator is the sole true player in this game. By Assumption 1 the citizens follow the facilitator’s recommendations. In each round, he chooses an argument Piksuperscriptsubscript𝑃𝑖𝑘P_{i}^{k}\ italic_P start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_k end_POSTSUPERSCRIPTthat will be exposed by citizen k𝑘kitalic_k and a selection of citizens (defined as being active) whom he invites to probe the corresponding perspective Pksuperscript𝑃𝑘P^{k}italic_P start_POSTSUPERSCRIPT italic_k end_POSTSUPERSCRIPT. All other citizens remain ”passive”, they only listen. When hearing an argument, an active citizen not only decides for herself whether or not she agree with the specific argument Piksuperscriptsubscript𝑃𝑖𝑘P_{i}^{k}\ italic_P start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_k end_POSTSUPERSCRIPT, she explores Pksuperscript𝑃𝑘P^{k}italic_P start_POSTSUPERSCRIPT italic_k end_POSTSUPERSCRIPT by thinking in its terms so as to determine which argument she agrees with. Formally, the probing operation is a complete measurement resulting in a complete information (pure) state i.e. one of the eigenstates of Pksuperscript𝑃𝑘P^{k}italic_P start_POSTSUPERSCRIPT italic_k end_POSTSUPERSCRIPT161616This is more demanding than simply deciding to agree or reject the presented argument. Indeed if the argument is rejected, the revised state will not be an eigenstate of the perspective under exploration but a superposition of states.. After challenging her opinion by probing Pksuperscript𝑃𝑘P^{k}italic_P start_POSTSUPERSCRIPT italic_k end_POSTSUPERSCRIPT, the citizen ”updates” her opinion by reassessing her position in her own perspective where she can evaluate the utility value of voting options.

The facilitator strategy

In each round the facilitator chooses two things: a perspective P𝒫𝑃𝒫P\in\mathcal{P}\ italic_P ∈ caligraphic_P(𝒫𝒫\mathcal{P}caligraphic_P is the set of all perspectives including the experts’) and ω𝜔absent\omega\subsetitalic_ω ⊂ ΩΩ\Omegaroman_Ω, where ΩΩ\Omegaroman_Ω is the set of all citizens, who are called to be active. The facilitator’s objective is to maximize the support for the most supported voting option. Let ΩYtsuperscriptΩ𝑌𝑡\Omega^{Yt}roman_Ω start_POSTSUPERSCRIPT italic_Y italic_t end_POSTSUPERSCRIPT and ΩNtsuperscriptΩ𝑁𝑡\Omega^{Nt}roman_Ω start_POSTSUPERSCRIPT italic_N italic_t end_POSTSUPERSCRIPT be the subsets of citizens that support the Yes respectively the No vote in period t,𝑡t,\ italic_t ,with |ΩYt|(|ΩNt|)=yt(nt)superscriptΩ𝑌𝑡superscriptΩ𝑁𝑡superscript𝑦𝑡superscript𝑛𝑡\left|\Omega^{Yt}\right|(\left|\Omega^{Nt}\right|)=y^{t}\left(n^{t}\right)| roman_Ω start_POSTSUPERSCRIPT italic_Y italic_t end_POSTSUPERSCRIPT | ( | roman_Ω start_POSTSUPERSCRIPT italic_N italic_t end_POSTSUPERSCRIPT | ) = italic_y start_POSTSUPERSCRIPT italic_t end_POSTSUPERSCRIPT ( italic_n start_POSTSUPERSCRIPT italic_t end_POSTSUPERSCRIPT ) the number of Yes(No) supporters. Deliberation is a finite period game aimed at maximizing the probability for consensus among citizens before period T,T1.𝑇𝑇1T,T\geq 1.italic_T , italic_T ≥ 1 . While consensus in larger groups is difficult to reach, it can be approached. We operationalize this with a ”score function” st(.)=max{yt,nt},st(.)s^{t}\left(.\right)=\max\left\{y^{t},n^{t}\right\},\ s^{t}\left(.\right)italic_s start_POSTSUPERSCRIPT italic_t end_POSTSUPERSCRIPT ( . ) = roman_max { italic_y start_POSTSUPERSCRIPT italic_t end_POSTSUPERSCRIPT , italic_n start_POSTSUPERSCRIPT italic_t end_POSTSUPERSCRIPT } , italic_s start_POSTSUPERSCRIPT italic_t end_POSTSUPERSCRIPT ( . ) is simply the score of the most supported option in period t𝑡titalic_t. Next, in a multi-period game a strategy must generally describe what to do in each period tT1𝑡𝑇1t\leq T-1\ italic_t ≤ italic_T - 1after each possible history. A first crucial remark is that the vector of opinions 𝐎t=(P1t,,PNt)superscript𝐎𝑡superscript𝑃1𝑡superscript𝑃𝑁𝑡\mathbf{O}^{t}\mathbf{=(}P^{1t},...,P^{Nt})bold_O start_POSTSUPERSCRIPT italic_t end_POSTSUPERSCRIPT = ( italic_P start_POSTSUPERSCRIPT 1 italic_t end_POSTSUPERSCRIPT , … , italic_P start_POSTSUPERSCRIPT italic_N italic_t end_POSTSUPERSCRIPT ) captures all relevant information about history at time t𝑡titalic_t. This follows from the fact that the probability for a citizen’s opinion change, Tr(OPi),Tr𝑂subscript𝑃𝑖{\rm Tr}(OP_{i}),\ roman_Tr ( italic_O italic_P start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ) ,only depends on the current state of opinion - not on history. Next, we shall restrict attention to strategies that maximize the expected score in each period. This is not fully without loss of generality as we discuss in Section 4.3. Hence, a strategy is defined as a function from a vector of opinions 𝐎tsuperscript𝐎𝑡\mathbf{O}^{t}bold_O start_POSTSUPERSCRIPT italic_t end_POSTSUPERSCRIPT to a pair (P,ω)𝑃𝜔\left(P,\omega\right)( italic_P , italic_ω ) including a perspective P𝑃Pitalic_P and a set of active citizens ω::𝜔absent\omega:italic_ω : 𝐎t𝒫×(2N1)superscript𝐎𝑡𝒫superscript2𝑁1\mathbf{O}^{t}\rightarrow\mathcal{P}\times\left(2^{N}-1\right)bold_O start_POSTSUPERSCRIPT italic_t end_POSTSUPERSCRIPT → caligraphic_P × ( 2 start_POSTSUPERSCRIPT italic_N end_POSTSUPERSCRIPT - 1 ). The facilitator objective function in each period tT1𝑡𝑇1t\leq T-1italic_t ≤ italic_T - 1

maxP𝒫,ωΩEst(P,ω;𝐎t1)=maxP𝒫,ωΩ{max{Eyt,Ent}}subscriptformulae-sequence𝑃𝒫𝜔Ω𝐸superscript𝑠𝑡𝑃𝜔superscript𝐎𝑡1subscriptformulae-sequence𝑃𝒫𝜔Ω𝐸superscript𝑦𝑡𝐸superscript𝑛𝑡\max_{P\in\mathcal{P},\omega\subset\Omega}Es^{t}\left(P,\omega;\mathbf{O}^{t-1% }\right)=\max_{P\in\mathcal{P},\omega\subset\Omega}\left\{\max\left\{Ey^{t},En% ^{t}\right\}\right\}roman_max start_POSTSUBSCRIPT italic_P ∈ caligraphic_P , italic_ω ⊂ roman_Ω end_POSTSUBSCRIPT italic_E italic_s start_POSTSUPERSCRIPT italic_t end_POSTSUPERSCRIPT ( italic_P , italic_ω ; bold_O start_POSTSUPERSCRIPT italic_t - 1 end_POSTSUPERSCRIPT ) = roman_max start_POSTSUBSCRIPT italic_P ∈ caligraphic_P , italic_ω ⊂ roman_Ω end_POSTSUBSCRIPT { roman_max { italic_E italic_y start_POSTSUPERSCRIPT italic_t end_POSTSUPERSCRIPT , italic_E italic_n start_POSTSUPERSCRIPT italic_t end_POSTSUPERSCRIPT } } (2)

where 𝐎t1superscript𝐎𝑡1\mathbf{O}^{t-1}bold_O start_POSTSUPERSCRIPT italic_t - 1 end_POSTSUPERSCRIPT is the vector of opinions inherited from the previous period and Eyt,Ent𝐸superscript𝑦𝑡𝐸superscript𝑛𝑡Ey^{t},En^{t}italic_E italic_y start_POSTSUPERSCRIPT italic_t end_POSTSUPERSCRIPT , italic_E italic_n start_POSTSUPERSCRIPT italic_t end_POSTSUPERSCRIPT is the expected number of citizen who support the Yes respectively No vote at the end of the t𝑡titalic_t round. We note that the formulation in Eq. (2) implies that facilitator has no preference over voting options. The facilitator’s indifference is a non-innocuous assumption. We leave issues related to safeguards against possible manipulation for further research.

We make the following informational assumption:

Assumption 5

The deliberation facilitator has knowledge about all perspective and the correlations between them.

The facilitator has an informational advantage compared to citizens in terms of knowing the full structure of the opinion state space. He is aware of all possible perspectives and how they correlate to each other. This is the critical resource that allows to him to optimize the deliberation process. We also assume that he has access to a pool of experts who can present arguments from any possible perspective Pe.superscript𝑃𝑒P^{e}.italic_P start_POSTSUPERSCRIPT italic_e end_POSTSUPERSCRIPT . Experts are simply ”tools” that the facilitator can call upon whenever he wants. This implies that the facilitator is not constrained by the perspectives represented in the population of citizens. However, since the spirit of deliberation is (also) to give voice to citizens, we shall give particular attention to what can be achieve without appealing to experts.

4 Analysis

For the ease of presentation we start the analysis with deliberation between two citizens. This allows to derive basic results before moving to the case when deliberation involves larger groups of citizens.

4.1 2 citizens

We have 2 citizens Alice and Bob who face a binary collective decision about e.g., the introduction of a Individual Carbon Budget scheme. There exist two relevant aspects: environmental efficacy and individual liberty. These 2 aspects cannot be considered simultaneously by our citizens, they are assumed incompatible in the mind.

The perspectives are nlimit-from𝑛n-italic_n -dimensional, the larger n,𝑛n,italic_n , the finer the characterization of the opinions. In term of our lead example, the environmental perspective can have several possible values (each associated with its own eigenstate) e.g., ICB is the best solution ot reducing GHG (greenhouse gas), ICB is one among the better solutions to reduce GHG, ICB is a good solution etc.. until ICB is worthless to reduce GHG. So expanding the dimensionality corresponds to allowing for ”finer” opinions.

The citizens are endowed with

i.

An opinion state OA(B)superscript𝑂𝐴𝐵O^{A(B)}italic_O start_POSTSUPERSCRIPT italic_A ( italic_B ) end_POSTSUPERSCRIPT;

ii.

An own nlimit-from𝑛n-italic_n -dimensional perspective. Denote A𝐴Aitalic_A the operator representing Alice’s perspective with eigenstates (A1,,An)subscript𝐴1subscript𝐴𝑛\left(A_{1},...,A_{n}\right)( italic_A start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , … , italic_A start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ) and by B𝐵Bitalic_B the Hermitian operator representing Bob’s perspective with eigenstates (B1,,,Bn)\left(B_{1},...,,B_{n}\right)( italic_B start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , … , , italic_B start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ) ;

iii.

A set of utility values associated with the own perspective’s eigenstates: {uA1,Y,,uAn,Y,uA1,N,,uAn,N}superscript𝑢subscript𝐴1𝑌superscript𝑢subscript𝐴𝑛𝑌superscript𝑢subscript𝐴1𝑁superscript𝑢subscript𝐴𝑛𝑁\left\{u^{A_{1},Y},...,u^{A_{n},Y},u^{A_{1},N},...,u^{A_{n},N}\right\}{ italic_u start_POSTSUPERSCRIPT italic_A start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_Y end_POSTSUPERSCRIPT , … , italic_u start_POSTSUPERSCRIPT italic_A start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT , italic_Y end_POSTSUPERSCRIPT , italic_u start_POSTSUPERSCRIPT italic_A start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_N end_POSTSUPERSCRIPT , … , italic_u start_POSTSUPERSCRIPT italic_A start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT , italic_N end_POSTSUPERSCRIPT } for Alice, with uAi,Ysuperscript𝑢subscript𝐴𝑖𝑌u^{A_{i},Y}italic_u start_POSTSUPERSCRIPT italic_A start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT , italic_Y end_POSTSUPERSCRIPT the utility value for Alice corresponding to the Yes vote in opinion state Aisubscript𝐴𝑖A_{i}italic_A start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT, similarly for uAi,Nsuperscript𝑢subscript𝐴𝑖𝑁u^{A_{i},N}italic_u start_POSTSUPERSCRIPT italic_A start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT , italic_N end_POSTSUPERSCRIPT corresponding to the No vote. We define similarly uBj,Y,uBj,N,superscript𝑢subscript𝐵𝑗𝑌superscript𝑢subscript𝐵𝑗𝑁u^{B_{j},Y},\ u^{B_{j},N},italic_u start_POSTSUPERSCRIPT italic_B start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT , italic_Y end_POSTSUPERSCRIPT , italic_u start_POSTSUPERSCRIPT italic_B start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT , italic_N end_POSTSUPERSCRIPT , j=1,,n𝑗1𝑛j=1,...,nitalic_j = 1 , … , italic_n for Bob.

Deliberation protocol.– Before Bob and Alice start deliberating, they update their own opinion namely they probe their own perspective171717This is most natural since they expect to be invited to expose their opinion. The initial opinion states are therefore always eigenstates of the own perspective: some Aisubscript𝐴𝑖A_{i}italic_A start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT for Alice and some Bjsubscript𝐵𝑗B_{j}italic_B start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT for Bob. and similarly for Bob. We consider a process where the facilitator does not appeal to experts in the first 2 rounds (we call it the ”voice phase”).

Timing

t=0𝑡0t=0italic_t = 0 The facilitator asks for initial voting intentions. And if Alice and Bob agree, the procedure requires no deliberation, they vote; If they disagree the first round starts:

Round 1

t=1𝑡1t=1italic_t = 1 A random draw determines who will present his/her argument first, say Alice;

t=2𝑡2t=2italic_t = 2 Alice’s argues for Bob in her terms (frame) and Bob responds by probing Alice’s perspective;

t=3𝑡3t=3\ italic_t = 3Bob updates his opinion by probing his own perspective. If he now agrees with Alice, they vote. If disagreement remains, the second round starts:

Round 2

t=4𝑡4t=4italic_t = 4 Bob exposes his opinion in his own frame and Alice responds by probing Bob’s perspective;

t=5𝑡5t=5\ italic_t = 5 Alice updates her opinion by probing her own perspective.

t=6𝑡6t=6italic_t = 6 Out of the resulting opinion states if they agree, they vote. If they do not the process 1-3 is repeated - possibly appealing to experts.

t=8𝑡8t=8italic_t = 8 if disagreement persists at t=T𝑡𝑇t=Titalic_t = italic_T, the decision is determined by a random device (to break the tie).

4.1.1 The two-dimensional case (n=2𝑛2n=2italic_n = 2)

For the ease of presentation, we start with the case where the citizens’ perspectives are 2-dimensional which allows establishing some results which we later extend. Since our facilitated communication game proceeds by (quantum) updating, and the facilitator maximizes the score in each round, we adopt a forward inductive approach.

Alices’s and Bob’s respective opinion states are independent so the global system is characterized by the following 4 possible (combined ) opinion states {(A1B1),(A1,B2),(A2,B1),(A2,B2)}subscript𝐴1subscript𝐵1subscript𝐴1subscript𝐵2subscript𝐴2subscript𝐵1subscript𝐴2subscript𝐵2\left\{\left(A_{1}B_{1}\right),\left(A_{1},B_{2}\right),\left(A_{2},B_{1}% \right),\left(A_{2},B_{2}\right)\right\}{ ( italic_A start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_B start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) , ( italic_A start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_B start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) , ( italic_A start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT , italic_B start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) , ( italic_A start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT , italic_B start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) }181818Formally, we are dealing with tensor products so A1B1=A×BH4subscript𝐴1subscript𝐵1𝐴𝐵superscript𝐻4A_{1}B_{1}=A\times{B}\in{H^{4}}italic_A start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_B start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT = italic_A × italic_B ∈ italic_H start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT. By Assumption 4 and since Alice and Bob only have two possible opinions, we may, without loss of generality, define A1subscript𝐴1A_{1}italic_A start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT, B1subscript𝐵1B_{1}italic_B start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT as the opinion states leading to a Yes vote; and A2subscript𝐴2A_{2}italic_A start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT, B2subscript𝐵2B_{2}italic_B start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT as the opinion states leading to a No vote. The voting agreement is then entirely defined by the fact that either Alice and Bob have respective opinion states A1,B1subscript𝐴1subscript𝐵1A_{1},B_{1}italic_A start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_B start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT, or they have respective opinion states A2,B2subscript𝐴2subscript𝐵2A_{2},B_{2}italic_A start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT , italic_B start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT. In both case the facilitator’s score is maximal and equal to 2. When the vector of opinion states 𝐎{(A1B1),(A2,B2)},𝐎subscript𝐴1subscript𝐵1subscript𝐴2subscript𝐵2\mathbf{O\notin}\left\{\left(A_{1}B_{1}\right),\left(A_{2},B_{2}\right)\right\},bold_O ∉ { ( italic_A start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_B start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) , ( italic_A start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT , italic_B start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) } , to maximize the score, the facilitator needs one of the citizen to change his or her opinion. Maximizing the expected score is equivalent to maximizing the probability that this happens. In the two-dimensional case, the probability for Alice or Bob to change opinion when probing the other’s perspective is entirely governed by a single parameter: x=Tr(A1B1)𝑥Trsubscript𝐴1subscript𝐵1x=\mathrm{Tr}(A_{1}B_{1})italic_x = roman_Tr ( italic_A start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_B start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ). Indeed, as A1+A2=E=B1+B2subscript𝐴1subscript𝐴2𝐸subscript𝐵1subscript𝐵2A_{1}+A_{2}=E=B_{1}+B_{2}italic_A start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT + italic_A start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT = italic_E = italic_B start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT + italic_B start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT, with E𝐸Eitalic_E the identity operator, we have Tr(A2B1)=Tr(A1B2)=1xTrsubscript𝐴2subscript𝐵1Trsubscript𝐴1subscript𝐵21𝑥\mathrm{Tr}(A_{2}B_{1})=\mathrm{Tr}(A_{1}B_{2})=1-xroman_Tr ( italic_A start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT italic_B start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) = roman_Tr ( italic_A start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_B start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) = 1 - italic_x, and Tr(A2B2)=xTrsubscript𝐴2subscript𝐵2𝑥\mathrm{Tr}(A_{2}B_{2})=xroman_Tr ( italic_A start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT italic_B start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) = italic_x.

We consider deliberation starting from initial disagreement, say Alice and Bob have respective opinion states A1,B2subscript𝐴1subscript𝐵2A_{1},B_{2}italic_A start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_B start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT. From the facilitator point of view the 2 two consensus states are fully symmetric Let the initial random draw give Alice the initiative. The facilitator invites her to present her argument. Bob is then invited by the facilitator to probe Alice’s perspective, and his opinion state changes to A1subscript𝐴1A_{1}italic_A start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT with probability Tr(A1B2)=(1x)Trsubscript𝐴1subscript𝐵21𝑥\mathrm{Tr}(A_{1}B_{2})=(1-x)roman_Tr ( italic_A start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_B start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) = ( 1 - italic_x ), and to A2subscript𝐴2A_{2}italic_A start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT with probability Tr(A2B2)=xTrsubscript𝐴2subscript𝐵2𝑥\mathrm{Tr}(A_{2}B_{2})=xroman_Tr ( italic_A start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT italic_B start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) = italic_x. Bob then updates his opinion by probing his own perspective. The probability for reaching consensus is the probability that Bob’s final state is now B1subscript𝐵1B_{1}italic_B start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT, instead of his initial state B2subscript𝐵2B_{2}italic_B start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT. This state is reached with probability:

prob(B2B1)probsubscript𝐵2subscript𝐵1\displaystyle\mathrm{prob}(B_{2}\rightarrow B_{1})roman_prob ( italic_B start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT → italic_B start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) =\displaystyle== Tr(B2A1)Tr(A1B1)+Tr(B2A2)Tr(A2B1)Trsubscript𝐵2subscript𝐴1Trsubscript𝐴1subscript𝐵1Trsubscript𝐵2subscript𝐴2Trsubscript𝐴2subscript𝐵1\displaystyle\mathrm{Tr}(B_{2}A_{1})\mathrm{Tr}(A_{1}B_{1})+\mathrm{Tr}(B_{2}A% _{2})\mathrm{Tr}(A_{2}B_{1})roman_Tr ( italic_B start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT italic_A start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) roman_Tr ( italic_A start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_B start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) + roman_Tr ( italic_B start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT italic_A start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) roman_Tr ( italic_A start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT italic_B start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) (3)
=\displaystyle== 2x(1x)2𝑥1𝑥\displaystyle 2x(1-x)2 italic_x ( 1 - italic_x ) (4)

Since only Bob’s opinion has been challenged, the other consensual state (namely, A2subscript𝐴2A_{2}italic_A start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT for Alice and B2subscript𝐵2B_{2}italic_B start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT for Bob) cannot have emerged.

Maximally-uncorrelated perspectives.– Generally, A𝐴Aitalic_A and B𝐵Bitalic_B perspectives are said to be maximally uncorrelated when Tr(BiAj)=1/nTrsubscript𝐵𝑖subscript𝐴𝑗1𝑛\mathrm{Tr}(B_{i}A_{j})=1/nroman_Tr ( italic_B start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT italic_A start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ) = 1 / italic_n for all i,j𝑖𝑗i,jitalic_i , italic_j (with n=2𝑛2n=2italic_n = 2 in the present case, n𝑛nitalic_n is the dimensionality of the perspective), probing the 𝒜𝒜\mathcal{A}caligraphic_A perspective gives Bob equal chance to move into any of the states Aisubscript𝐴𝑖A_{i}italic_A start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT (here, Bob reaches A1subscript𝐴1A_{1}italic_A start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT or A2subscript𝐴2A_{2}italic_A start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT with probability 1/2121/21 / 2). Updating then his opinion by probing the \mathcal{B}caligraphic_B perspective, Bob reaches any of the opinion states Bjsubscript𝐵𝑗B_{j}italic_B start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT with equal probability. Effectively, Bob’s initial opinion state has been completely randomized by the (intermediate) probing of Alice’s completely uncorrelated perspective 𝒜𝒜\mathcal{A}caligraphic_A. In such a case, starting from initial disagreement, the chance for reaching consensus after one round is equal to 1/2121/21 / 2.

The second round following disagreement proceeds similarly, generating a probability for consensus in states A2,B2subscript𝐴2subscript𝐵2A_{2},B_{2}italic_A start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT , italic_B start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT with the same probability 2x(1x)2𝑥1𝑥2x(1-x)2 italic_x ( 1 - italic_x ). Hence after the two rounds the probability for reaching consensus is 2x(1x)+(12x(1x))2x(1x)=4x(1x)[1x(1x)]2𝑥1𝑥12𝑥1𝑥2𝑥1𝑥4𝑥1𝑥delimited-[]1𝑥1𝑥2x\left(1-x\right)+\left(1-2x\left(1-x\right)\right)2x\left(1-x\right)=4x\left% (1-x\right)\left[1-x\left(1-x\right)\right]2 italic_x ( 1 - italic_x ) + ( 1 - 2 italic_x ( 1 - italic_x ) ) 2 italic_x ( 1 - italic_x ) = 4 italic_x ( 1 - italic_x ) [ 1 - italic_x ( 1 - italic_x ) ].

We have the following

Proposition 1

Starting from disagreement on vote between two citizens,

i. fact-free deliberation with fully correlated perspectives has no impact at all;

ii. with distinct perspectives consensus is reached with strictly positive probability after a first round;

iii The probability for consensus is largest when the perspectives are uncorrelated, it reaches 3/4343/43 / 4 after two rounds.

Proof. i. When the two perspectives are fully correlated, we have Tr(AiBj){0,1}Trsubscript𝐴𝑖subscript𝐵𝑗01\mathrm{Tr}(A_{i}B_{j})\in\left\{0,1\right\}roman_Tr ( italic_A start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT italic_B start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ) ∈ { 0 , 1 }: the opinion state are either equal (A1=B1subscript𝐴1subscript𝐵1A_{1}=B_{1}italic_A start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT = italic_B start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT and A2=B2subscript𝐴2subscript𝐵2A_{2}=B_{2}italic_A start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT = italic_B start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT) or orthogonal (A1=B2subscript𝐴1subscript𝐵2A_{1}=B_{2}italic_A start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT = italic_B start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT and A2=B1subscript𝐴2subscript𝐵1A_{2}=B_{1}italic_A start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT = italic_B start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT): Bob’s and Alice’s perspectives are formally indistinguishable. In this case, no transition B1AiB2subscript𝐵1subscript𝐴𝑖subscript𝐵2B_{1}\rightarrow A_{i}\rightarrow B_{2}italic_B start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT → italic_A start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT → italic_B start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT or B2AiB1subscript𝐵2subscript𝐴𝑖subscript𝐵1B_{2}\rightarrow A_{i}\rightarrow B_{1}italic_B start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT → italic_A start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT → italic_B start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT can ever occur by probing the intermediate 𝒜𝒜\mathcal{A}caligraphic_A perspective: letting Bob probe Alice’s perspective has no impact whatsoever on Bob’s opinion state (2x(1x)=02𝑥1𝑥02x\left(1-x\right)=02 italic_x ( 1 - italic_x ) = 0). Initial disagreement cannot be overcome through deliberation.

ii. First note that from the point  of view of the facilitator, the 2 two consensus states are fully symmetric prob(B2B1)=prob(A1A2)=2x(1x))\mathrm{prob}(B_{2}\rightarrow B_{1})=\mathrm{prob}(A_{1}\rightarrow A_{2})=2x% \left(1-x)\right)roman_prob ( italic_B start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT → italic_B start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) = roman_prob ( italic_A start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT → italic_A start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) = 2 italic_x ( 1 - italic_x ) ) so a random draw is optimal for the facilitator. The result in 1.ii. follows from Eq. (3), which shows that the probability to reach consensus is strictly positive whenever 0<x<10𝑥10<x<10 < italic_x < 1, namely when perspectives 𝒜𝒜\mathcal{A}caligraphic_A and \mathcal{B}caligraphic_B are distinct.

iii. The probability for consensus in the first round is maximal at x=.5𝑥.5x=.5\ italic_x = .5wherex2(1x)x=0,x[0,1].formulae-sequence𝑥21𝑥𝑥0𝑥01\ \frac{\partial}{\partial x}2\left(1-x\right)x\ =0,x\in\left[0,1\right].\ divide start_ARG ∂ end_ARG start_ARG ∂ italic_x end_ARG 2 ( 1 - italic_x ) italic_x = 0 , italic_x ∈ [ 0 , 1 ] .The total probability for success after the second round, conditional on failure in the first round, is 4x(1x)[12x(1x)]4𝑥1𝑥delimited-[]12𝑥1𝑥4x\left(1-x\right)\left[1-2x\left(1-x\right)\right]4 italic_x ( 1 - italic_x ) [ 1 - 2 italic_x ( 1 - italic_x ) ] which reaches its maximum for uncorrelated perspective as well i.e., x=1/2𝑥12x=1/2italic_x = 1 / 2. For two rounds the maximum chance for consensus is 3/4343/43 / 4.   

Result 1.i. is quite remarkable because it shows that sharing the same thinking frame is an obstacle to achieving consensus when starting from disagreement. Indeed, within a common thinking frame, citizens can only update their opinion in response to new information (by Bayesian updating) which we preclude in this paper. However, when citizens are endowed with alternative perspectives new opportunities for opinion to evolve arise. By actively exploring a perspective incompatible with ones’ own, intrinsic contextuality reveals its transformative power. Exploring an alternative perspective changes the opinion state because the possible outcomes of that operation do no exist in the own perspective. The opinion state is forced into a new state. This result about the value of diversity is truly novel and a main contribution of this paper. It is important at this point to recall 1, the transformative value of deliberation demands a true mental experience i.e., sincerely putting oneself in someone else shoes - the probing operation.

Result 1.ii quantifies how the diversity of perspectives allows opinions to evolve toward consensus. The weaker the correlation between perspectivesx.5𝑥.5\ x\rightarrow.5italic_x → .5, the more impactful the probing operation. Starting from disagreement A1B2,subscript𝐴1subscript𝐵2A_{1}B_{2},\ italic_A start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_B start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ,the probability that Alice changes her opinion from A1subscript𝐴1A_{1}italic_A start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPTto A2subscript𝐴2A_{2}\ italic_A start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPTis given by Tr(A1B1)Tr(B1A2)+Tr(A1B2)Tr(B2A2)=2x(1x)Trsubscript𝐴1subscript𝐵1Trsubscript𝐵1subscript𝐴2Trsubscript𝐴1subscript𝐵2Trsubscript𝐵2subscript𝐴22𝑥1𝑥{\rm Tr}\left(A_{1}B_{1}\right){\rm Tr}\left(B_{1}A_{2}\right)+{\rm Tr}\left(A% _{1}B_{2}\right){\rm Tr}\left(B_{2}A_{2}\right)=2x\left(1-x\right)roman_Tr ( italic_A start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_B start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) roman_Tr ( italic_B start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_A start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) + roman_Tr ( italic_A start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_B start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) roman_Tr ( italic_B start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT italic_A start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) = 2 italic_x ( 1 - italic_x ) which tends to zero as x𝑥xitalic_x tends to 1(or 0) and it is maximized at x=.5𝑥.5x=.5italic_x = .5. The intuition is that the more closely related the perspectives the more likely that probing Bob’s frame takes Alice to the closest opinion state in Bob’s frame and when probing her own perspective anew she is most likely confirmed in her initial opinion. Similarly for Bob, so disagreement is more likely to persist. Nevertheless with some positive probability at least one of the two citizens will end up having changed her/his mind which implies consensus on voting. Interestingly, the result that uncorrelated perspectives give the best chance for deliberation to achieve consensus, reminds of a result in quantum persuasion ([15]). They show that distraction understood as bringing attention to a perspective uncorrelated to the targeted state is an efficient way to persuade Receiver.

Result iii. says, without surprise, that starting from dissensus additional rounds following failure to reach agreement increase the probability for consensus. While a single round can already achieve consensus with probability 2(1x)x,21𝑥𝑥2\left(1-x\right)x,2 ( 1 - italic_x ) italic_x , with two rounds and uncorrelated perspective case (x=.5)x=.5)italic_x = .5 ), we reach consensus in 75% of the case. Of course we do not expect citizens to repeat the same argument from round to round if citizens are short of arguments that can be the time for experts with suitable perspectives to be called in.

Corollary 1

The first moving citizen has larger chance to see consensus on her initial voting preferences than the one who moves second.

Proof. As earlier noted that the chance is the same whoever is selected: prob(A1B1;A1B2)=2x(1x)=prob(A2B2;A1B2)𝑝𝑟𝑜𝑏subscript𝐴1subscript𝐵1subscript𝐴1subscript𝐵22𝑥1𝑥𝑝𝑟𝑜𝑏subscript𝐴2subscript𝐵2subscript𝐴1subscript𝐵2prob\left(A_{1}B_{1};A_{1}B_{2}\right)=2x\left(1-x\right)=prob\left(A_{2}B_{2}% ;A_{1}B_{2}\right)italic_p italic_r italic_o italic_b ( italic_A start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_B start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ; italic_A start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_B start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) = 2 italic_x ( 1 - italic_x ) = italic_p italic_r italic_o italic_b ( italic_A start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT italic_B start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ; italic_A start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_B start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ). But since the second is only probed in case of failure in the first round, the other consensual state has less chance to be selected in the vote.   

The procedure gives more chance to the first selected citizen. The introduction of a random draw restores the equality of chance between citizens.

Corollary 2

When citizens’s perspectives are correlated, relying on experts with perspective uncorrelated to the current round’s active citizen increases the chance for reaching consensus in any given round.

This follows from result ii. When Alice and Bob have correlated perspectives, the probability for reaching consensus when probing each other perspectives is lower than 75% after two rounds. The facilitator could choose instead the following strategy. First, a random draw designates the active citizen. The procedure then proceeds as above except that only experts are presenting arguments belonging to a perspective maximally uncorrelated with the active citizen’s.

Corollary 2 implies that there exists a tension between letting citizen expose and probe each other’s argument and the objective to maximize the score. This is not surprising given result 1.ii. In order to preserve the democratic character of deliberation so it gives voice to citizens, a mixture of citizen arguments and expert arguments can be chosen at the cost of delaying consensus however.

4.1.2 Deliberations n>2𝑛2n>2italic_n > 2

We now consider the case when the perspectives have more than two dimensions that is we have a finer characterization of the opinions. We remind that probing a perspective corresponds to performing a complete measurement i.e., asking oneself which of the several possible (orthogonal) opinions you agree with. The outcome of a probe is therefore always one of the possible eigenstates of the probed perspective. Our main interest is for the facilitator’s choice of perspective to maximize the chance of consensus in such a context. By Assumption 4, citizens’ utility for the voting options divides the nlimit-from𝑛n-italic_n -dimensional state space into two subspaces. The Yes subspace and the No subspace:

Yjsuperscript𝑌𝑗\displaystyle Y^{j}italic_Y start_POSTSUPERSCRIPT italic_j end_POSTSUPERSCRIPT \displaystyle\equiv {Pk;EUj(Y;Pk)EUj(N;Pk)}subscript𝑃𝑘𝐸superscript𝑈𝑗𝑌subscript𝑃𝑘𝐸superscript𝑈𝑗𝑁subscript𝑃𝑘\displaystyle\left\{P_{k};\ EU^{j}\left(Y;P_{k}\right)\geq EU^{j}\left(N;P_{k}% \right)\right\}{ italic_P start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ; italic_E italic_U start_POSTSUPERSCRIPT italic_j end_POSTSUPERSCRIPT ( italic_Y ; italic_P start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ) ≥ italic_E italic_U start_POSTSUPERSCRIPT italic_j end_POSTSUPERSCRIPT ( italic_N ; italic_P start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ) }
Njsuperscript𝑁𝑗\displaystyle N^{j}italic_N start_POSTSUPERSCRIPT italic_j end_POSTSUPERSCRIPT \displaystyle\equiv {Pl;EUj(N;Pl)>EUj(Y;Pl)},j=A,B,k,l{1,..,n}\displaystyle\left\{P_{l};\ EU^{j}\left(N;P_{l}\right)>EU^{j}\left(Y;P_{l}% \right)\right\},j=A,B,\ k,l\in\left\{1,..,n\right\}{ italic_P start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT ; italic_E italic_U start_POSTSUPERSCRIPT italic_j end_POSTSUPERSCRIPT ( italic_N ; italic_P start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT ) > italic_E italic_U start_POSTSUPERSCRIPT italic_j end_POSTSUPERSCRIPT ( italic_Y ; italic_P start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT ) } , italic_j = italic_A , italic_B , italic_k , italic_l ∈ { 1 , . . , italic_n }

In constrast with the 2 dimensional case each citizens has a multiplicity of opinion eigenstates which are consistent with the same voting option.

Consider a situation where Alice and Bob initially disagree on the voting, say Bob votes Yes and Alice votes No. Assume that the random draw determines consensus is first sought on Bob’s position. So the first round of deliberation is aimed at modifying Alice’s voting intention from No to Yes. Alice’s opinion states 𝒜=(A1,An)𝒜subscript𝐴1subscript𝐴𝑛\mathcal{A}=(A_{1},\dots A_{n})caligraphic_A = ( italic_A start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , … italic_A start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ) are such that all Aisubscript𝐴𝑖A_{i}italic_A start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT are all pairwise orthogonal projectors in nsuperscript𝑛\mathbb{H}^{n}blackboard_H start_POSTSUPERSCRIPT italic_n end_POSTSUPERSCRIPT (that is: AiAj=0subscript𝐴𝑖subscript𝐴𝑗0A_{i}A_{j}=0italic_A start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT italic_A start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT = 0 for all i,j=1,,nformulae-sequence𝑖𝑗1𝑛i,j=1,\dots,nitalic_i , italic_j = 1 , … , italic_n). We define the subspace of Alice’s opinion states leading to a Yes vote as YA=(A1,,Ak)superscript𝑌𝐴subscript𝐴1subscript𝐴𝑘Y^{A}=(A_{1},\dots,A_{k})italic_Y start_POSTSUPERSCRIPT italic_A end_POSTSUPERSCRIPT = ( italic_A start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , … , italic_A start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ) and similarly for opinion states leading to a No vote as NA=(Ak+1,,An)superscript𝑁𝐴subscript𝐴𝑘1subscript𝐴𝑛N^{A}=(A_{k+1},\dots,A_{n})italic_N start_POSTSUPERSCRIPT italic_A end_POSTSUPERSCRIPT = ( italic_A start_POSTSUBSCRIPT italic_k + 1 end_POSTSUBSCRIPT , … , italic_A start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ). Without loss of generality, we assume that Alice’s initial opinion state is Ak+1subscript𝐴𝑘1A_{k+1}italic_A start_POSTSUBSCRIPT italic_k + 1 end_POSTSUBSCRIPT. Hence, the aim of the facilitator is to lead Alice to change her opinion state from Ak+1subscript𝐴𝑘1A_{k+1}italic_A start_POSTSUBSCRIPT italic_k + 1 end_POSTSUBSCRIPT (corresponding to an initial Yes vote), to any of the states Aisubscript𝐴𝑖A_{i}italic_A start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT with i=1,,k𝑖1𝑘i=1,\dots,kitalic_i = 1 , … , italic_k (corresponding to a targeted No vote, in agreement with Bob’s vote).

We shall characterize the optimal strategy for the facilitator in terms of the perspective that he invites Alice to probe. Typically, that will not be Bob’s perspective but a one that can be deployed by an expert191919We could see this exercise as following two unsuccessful rounds where the citizens probe each other’s perspective.  This is in order to preserve the ideal that citizens’ are invited to present their own argument to each other.. Because the expert’s perspective is distinct (and incompatible) from Bob’s, Alice is the only active citizen. Bob listens to the expert’s argument but remains passive (see Lemma 1 below). The general strategy of the facilitator is to propose an (expert) perspective 𝒞=(C1,,Cn)𝒞subscript𝐶1subscript𝐶𝑛\mathcal{C}=(C_{1},\dots,C_{n})caligraphic_C = ( italic_C start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , … , italic_C start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ), incompatible with Alice’s perspective (namely, [Ai,Cj]0subscript𝐴𝑖subscript𝐶𝑗0[A_{i},C_{j}]\neq 0[ italic_A start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT , italic_C start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ] ≠ 0 for some of the opinion states Aisubscript𝐴𝑖A_{i}italic_A start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT and Cjsubscript𝐶𝑗C_{j}italic_C start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT). As in the n=2𝑛2n=2italic_n = 2 case, there is a first transition Ak+1Cjsubscript𝐴𝑘1subscript𝐶𝑗A_{k+1}\rightarrow C_{j}italic_A start_POSTSUBSCRIPT italic_k + 1 end_POSTSUBSCRIPT → italic_C start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT with probability Tr(Ak+1Cj)Trsubscript𝐴𝑘1subscript𝐶𝑗\mathrm{Tr}(A_{k+1}C_{j})roman_Tr ( italic_A start_POSTSUBSCRIPT italic_k + 1 end_POSTSUBSCRIPT italic_C start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ); then Alice updates her opinion leading to a second transition CjAisubscript𝐶𝑗subscript𝐴𝑖C_{j}\rightarrow A_{i}italic_C start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT → italic_A start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT with probability Tr(CjAi)Trsubscript𝐶𝑗subscript𝐴𝑖\mathrm{Tr}(C_{j}A_{i})roman_Tr ( italic_C start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT italic_A start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ). The probability for Ak+1Aisubscript𝐴𝑘1subscript𝐴𝑖A_{k+1}\rightarrow A_{i}italic_A start_POSTSUBSCRIPT italic_k + 1 end_POSTSUBSCRIPT → italic_A start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT is given by:

prob[Ak+1Ai]=j=1nTr(Ak+1Cj)Tr(CjAi)probdelimited-[]subscript𝐴𝑘1subscript𝐴𝑖superscriptsubscript𝑗1𝑛Trsubscript𝐴𝑘1subscript𝐶𝑗Trsubscript𝐶𝑗subscript𝐴𝑖\mathrm{prob}[A_{k+1}\rightarrow A_{i}]=\sum_{j=1}^{n}\mathrm{Tr}(A_{k+1}C_{j}% )\mathrm{Tr}(C_{j}A_{i})roman_prob [ italic_A start_POSTSUBSCRIPT italic_k + 1 end_POSTSUBSCRIPT → italic_A start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ] = ∑ start_POSTSUBSCRIPT italic_j = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_n end_POSTSUPERSCRIPT roman_Tr ( italic_A start_POSTSUBSCRIPT italic_k + 1 end_POSTSUBSCRIPT italic_C start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ) roman_Tr ( italic_C start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT italic_A start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ) (5)

where the sum is over the intermediate opinion states Cjsubscript𝐶𝑗C_{j}italic_C start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT in the perspective 𝒞𝒞\mathcal{C}caligraphic_C proposed by (the expert selected by) the facilitator.

We now investigate the optimal choice of perspective 𝒞𝒞\mathcal{C}caligraphic_C in order to maximize an opinion change Ak+1Aisubscript𝐴𝑘1subscript𝐴𝑖A_{k+1}\rightarrow A_{i}italic_A start_POSTSUBSCRIPT italic_k + 1 end_POSTSUBSCRIPT → italic_A start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT with i=1,,k𝑖1𝑘i=1,\dots,kitalic_i = 1 , … , italic_k (namely, a change from an initial No vote to a target Yes vote). We below show that the facilitator can achieve such a change with probability psuccess=kk+1subscript𝑝success𝑘𝑘1p_{\mathrm{success}}=\frac{k}{k+1}italic_p start_POSTSUBSCRIPT roman_success end_POSTSUBSCRIPT = divide start_ARG italic_k end_ARG start_ARG italic_k + 1 end_ARG. This is obtained by choosing a perspective 𝒞=(C1,Ck+1,Ak+2,,An)𝒞subscript𝐶1subscript𝐶𝑘1subscript𝐴𝑘2subscript𝐴𝑛\mathcal{C}=(C_{1},\dots C_{k+1},A_{k+2},\dots,A_{n})caligraphic_C = ( italic_C start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , … italic_C start_POSTSUBSCRIPT italic_k + 1 end_POSTSUBSCRIPT , italic_A start_POSTSUBSCRIPT italic_k + 2 end_POSTSUBSCRIPT , … , italic_A start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ), with uniform transition probabilities Tr(Ak+1Cj)=1k+1Trsubscript𝐴𝑘1subscript𝐶𝑗1𝑘1\mathrm{Tr}(A_{k+1}C_{j})=\frac{1}{k+1}roman_Tr ( italic_A start_POSTSUBSCRIPT italic_k + 1 end_POSTSUBSCRIPT italic_C start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ) = divide start_ARG 1 end_ARG start_ARG italic_k + 1 end_ARG for all j=1,,k+1𝑗1𝑘1j=1,\dots,k+1italic_j = 1 , … , italic_k + 1 (see Appendix A for an illustration). In this case, we have:

prob[Ak+1Ai]=j=1k+1Tr(Ak+1Cj)Tr(CjAi)+j=k+2nTr(Ak+1Aj)Tr(AjAi)probdelimited-[]subscript𝐴𝑘1subscript𝐴𝑖superscriptsubscript𝑗1𝑘1Trsubscript𝐴𝑘1subscript𝐶𝑗Trsubscript𝐶𝑗subscript𝐴𝑖superscriptsubscript𝑗𝑘2𝑛Trsubscript𝐴𝑘1subscript𝐴𝑗Trsubscript𝐴𝑗subscript𝐴𝑖\mathrm{prob}[A_{k+1}\rightarrow A_{i}]=\sum_{j=1}^{k+1}\mathrm{Tr}(A_{k+1}C_{% j})\mathrm{Tr}(C_{j}A_{i})+\sum_{j=k+2}^{n}\mathrm{Tr}(A_{k+1}A_{j})\mathrm{Tr% }(A_{j}A_{i})roman_prob [ italic_A start_POSTSUBSCRIPT italic_k + 1 end_POSTSUBSCRIPT → italic_A start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ] = ∑ start_POSTSUBSCRIPT italic_j = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_k + 1 end_POSTSUPERSCRIPT roman_Tr ( italic_A start_POSTSUBSCRIPT italic_k + 1 end_POSTSUBSCRIPT italic_C start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ) roman_Tr ( italic_C start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT italic_A start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ) + ∑ start_POSTSUBSCRIPT italic_j = italic_k + 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_n end_POSTSUPERSCRIPT roman_Tr ( italic_A start_POSTSUBSCRIPT italic_k + 1 end_POSTSUBSCRIPT italic_A start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ) roman_Tr ( italic_A start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT italic_A start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ) (6)

where the second sum vanishes thanks to the orthogonality of Aisubscript𝐴𝑖A_{i}italic_A start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT projectors: Tr(Ak+1Aj)=0Trsubscript𝐴𝑘1subscript𝐴𝑗0\mathrm{Tr}(A_{k+1}A_{j})=0roman_Tr ( italic_A start_POSTSUBSCRIPT italic_k + 1 end_POSTSUBSCRIPT italic_A start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ) = 0 for all j=k+2,,n𝑗𝑘2𝑛j=k+2,\dots,nitalic_j = italic_k + 2 , … , italic_n. Furthermore, we notice that the transitions Ak+1Aisubscript𝐴𝑘1subscript𝐴𝑖A_{k+1}\rightarrow A_{i}italic_A start_POSTSUBSCRIPT italic_k + 1 end_POSTSUBSCRIPT → italic_A start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT with i=k+2,,n𝑖𝑘2𝑛i=k+2,\dots,nitalic_i = italic_k + 2 , … , italic_n are impossible, because in the first sum Tr(CjAi)=0Trsubscript𝐶𝑗subscript𝐴𝑖0\mathrm{Tr}(C_{j}A_{i})=0roman_Tr ( italic_C start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT italic_A start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ) = 0 for j=1,,k+1𝑗1𝑘1j=1,\dots,k+1italic_j = 1 , … , italic_k + 1 and i=k+2,,n𝑖𝑘2𝑛i=k+2,\dots,nitalic_i = italic_k + 2 , … , italic_n (this property is a consequence of the context 𝒞𝒞\mathcal{C}caligraphic_C being composed of pairwise orthogonal projectors). Only transitions Ak+1Aisubscript𝐴𝑘1subscript𝐴𝑖A_{k+1}\rightarrow A_{i}italic_A start_POSTSUBSCRIPT italic_k + 1 end_POSTSUBSCRIPT → italic_A start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT with i=1,,k+1𝑖1𝑘1i=1,\dots,k+1italic_i = 1 , … , italic_k + 1 are possible. Hence, Alice maintains her initial voting intention only when moving back to Ak+1subscript𝐴𝑘1A_{k+1}italic_A start_POSTSUBSCRIPT italic_k + 1 end_POSTSUBSCRIPT which happens with probability:

prob[Ak+1\displaystyle\mathrm{prob}[A_{k+1}roman_prob [ italic_A start_POSTSUBSCRIPT italic_k + 1 end_POSTSUBSCRIPT \displaystyle\rightarrow Ak+1]=j=1k+1Tr(Ak+1Cj)Tr(CjAk+1)\displaystyle A_{k+1}]=\sum_{j=1}^{k+1}\mathrm{Tr}(A_{k+1}C_{j})\mathrm{Tr}(C_% {j}A_{k+1})italic_A start_POSTSUBSCRIPT italic_k + 1 end_POSTSUBSCRIPT ] = ∑ start_POSTSUBSCRIPT italic_j = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_k + 1 end_POSTSUPERSCRIPT roman_Tr ( italic_A start_POSTSUBSCRIPT italic_k + 1 end_POSTSUBSCRIPT italic_C start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ) roman_Tr ( italic_C start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT italic_A start_POSTSUBSCRIPT italic_k + 1 end_POSTSUBSCRIPT )
=\displaystyle== j=1k+1(1k+1)2=1k+1superscriptsubscript𝑗1𝑘1superscript1𝑘121𝑘1\displaystyle\sum_{j=1}^{k+1}\left(\frac{1}{k+1}\right)^{2}=\frac{1}{k+1}∑ start_POSTSUBSCRIPT italic_j = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_k + 1 end_POSTSUPERSCRIPT ( divide start_ARG 1 end_ARG start_ARG italic_k + 1 end_ARG ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = divide start_ARG 1 end_ARG start_ARG italic_k + 1 end_ARG

In this case, the facilitator fails to reach an agreement between Alice and Bob. In all other cases, Alice’s new opinion state Aisubscript𝐴𝑖A_{i}italic_A start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT with i=1,,k𝑖1𝑘i=1,\dots,kitalic_i = 1 , … , italic_k leads to a Yes vote, hence consensus is achieved, and this happens with probability psucces=11/(k+1)=k/(k+1)subscript𝑝succes11𝑘1𝑘𝑘1p_{\mathrm{succes}}=1-1/(k+1)=k/(k+1)italic_p start_POSTSUBSCRIPT roman_succes end_POSTSUBSCRIPT = 1 - 1 / ( italic_k + 1 ) = italic_k / ( italic_k + 1 ).

Proposition 2 below collects these insights

Proposition 2

When citizens’ perspective are nlimit-from𝑛n-italic_n -dimensional and the dimensionality of the subspace of the projected consensus for the active citizen is k𝑘kitalic_k,

i. consensus can be reached a success probability equal psuccess=k/(k+1);subscript𝑝success𝑘𝑘1p_{\mathrm{success}}=k/(k+1);italic_p start_POSTSUBSCRIPT roman_success end_POSTSUBSCRIPT = italic_k / ( italic_k + 1 ) ;

ii. the perspective 𝒞𝒞\mathcal{C}caligraphic_C that delivers psuccess=k/(k+1)subscript𝑝success𝑘𝑘1p_{\mathrm{success}}=k/(k+1)\ italic_p start_POSTSUBSCRIPT roman_success end_POSTSUBSCRIPT = italic_k / ( italic_k + 1 )is of the form 𝒞=(C1,,Ck+1,Ak+2,An)𝒞subscript𝐶1subscript𝐶𝑘1subscript𝐴𝑘2subscript𝐴𝑛\mathcal{C}=(C_{1},\dots,C_{k+1},A_{k+2},\dots A_{n})caligraphic_C = ( italic_C start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , … , italic_C start_POSTSUBSCRIPT italic_k + 1 end_POSTSUBSCRIPT , italic_A start_POSTSUBSCRIPT italic_k + 2 end_POSTSUBSCRIPT , … italic_A start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ),with Tr(Ak+1Cj)=1/(k+1)Trsubscript𝐴𝑘1subscript𝐶𝑗1𝑘1\mathrm{Tr}(A_{k+1}C_{j})=1/(k+1)roman_Tr ( italic_A start_POSTSUBSCRIPT italic_k + 1 end_POSTSUBSCRIPT italic_C start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ) = 1 / ( italic_k + 1 ) for all j=1,,k+1𝑗1𝑘1j=1,\dots,k+1italic_j = 1 , … , italic_k + 1.

iii. C𝐶Citalic_C is optimal within a natural class of perspectives.

Proof. see Appendix B   

Proposition 2.i and 2.ii establish that our results from Proposition 1 generalize to multidimensional perspectives. Indeed letting k=1,𝑘1k=1,italic_k = 1 , we recover our previous result namely that x=Tr(Ak+1Cj)=1/(k+1)=1/2𝑥Trsubscript𝐴𝑘1subscript𝐶𝑗1𝑘112x=\mathrm{Tr}(A_{k+1}C_{j})=1/(k+1)=1/2italic_x = roman_Tr ( italic_A start_POSTSUBSCRIPT italic_k + 1 end_POSTSUBSCRIPT italic_C start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ) = 1 / ( italic_k + 1 ) = 1 / 2 that is uniformally uncorrelated perspectives maximize the chance of consensus.absent.\ .We also find that the multiplicity of dimensions increases the chance of consensus when properly addressed. The probability of success is proportional to the dimensionality of the subspace associated with the projected consensus vote, k/(k+1)𝑘𝑘1k/(k+1)italic_k / ( italic_k + 1 ). So it is easier for people to reach agreement the finer their initial (own) perspective and the larger the set of opinion states consistent with the projected consensus vote (here Yes).

A new result in 2.ii is that the optimal perspective is characterized by effectively reducing the dimensionality of the problem. This is done by selecting C𝐶Citalic_C such that Ck+1subscript𝐶𝑘1C_{k+1}italic_C start_POSTSUBSCRIPT italic_k + 1 end_POSTSUBSCRIPT to Cnsubscript𝐶𝑛C_{n}italic_C start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT are identical to Ak+1subscript𝐴𝑘1A_{k+1}italic_A start_POSTSUBSCRIPT italic_k + 1 end_POSTSUBSCRIPT to Ansubscript𝐴𝑛{A}_{n}italic_A start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT implying that there is no chance that deliberation results in a new opinion state that yields a No vote except for moving back to the initial state Ak+1subscript𝐴𝑘1A_{k+1}italic_A start_POSTSUBSCRIPT italic_k + 1 end_POSTSUBSCRIPT. We can say that the dimensionality (in the probing operations) is effectively reduced from n𝑛nitalic_n to nk.𝑛𝑘n-k\ .italic_n - italic_k . This reminds of an often heard argument saying that deliberation should aim at reducing the scope of disagreement.

To conclude that this strategy is globally optimal, one must show that other structures of the perspective 𝒞𝒞\mathcal{C}caligraphic_C namely those allowing for transitions Ak+1Aisubscript𝐴𝑘1subscript𝐴𝑖A_{k+1}\rightarrow A_{i}italic_A start_POSTSUBSCRIPT italic_k + 1 end_POSTSUBSCRIPT → italic_A start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT with i=k+2,,n𝑖𝑘2𝑛i=k+2,\dots,nitalic_i = italic_k + 2 , … , italic_n cannot increase the probability to achieve a transition Ak+1Aisubscript𝐴𝑘1subscript𝐴𝑖A_{k+1}\rightarrow A_{i}italic_A start_POSTSUBSCRIPT italic_k + 1 end_POSTSUBSCRIPT → italic_A start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT with i=1,,k𝑖1𝑘i=1,\dots,kitalic_i = 1 , … , italic_k. This conjecture is intuitive, but remains to be formally proved.

Corollary 3

To maximize the probability for consensus, the facilitator should ask the citizen who has the largest chance to change her voting intention to be the active one. This is the citizen whose alternative to her current voting intention is supported by a larger set of opinion states than the corresponding set for the other citizen.

This means that in a multidimensional case, the two possible consensus states are not symmetric which contrast with the 2-dimensional case. In particular, if dimYAlice<dimNBob,dimensionsuperscript𝑌𝐴𝑙𝑖𝑐𝑒dimensionsuperscript𝑁𝐵𝑜𝑏\dim Y^{Alice}<\dim N^{Bob},roman_dim italic_Y start_POSTSUPERSCRIPT italic_A italic_l italic_i italic_c italic_e end_POSTSUPERSCRIPT < roman_dim italic_N start_POSTSUPERSCRIPT italic_B italic_o italic_b end_POSTSUPERSCRIPT , it is easier to achieve consensus by having Bob change opinion from Yes to No than Alice from No to Yes: k(k(k+1))>0𝑘𝑘𝑘10\frac{\partial}{\partial k}\left(\frac{k}{\left(k+1\right)}\right)>0divide start_ARG ∂ end_ARG start_ARG ∂ italic_k end_ARG ( divide start_ARG italic_k end_ARG start_ARG ( italic_k + 1 ) end_ARG ) > 0. We shall see below that asymmetry between voting options in terms of ease to reach consensus arise for different reasons. Therefore, we introduce a new feature that we call projected consensus state corresponding to the consensus state that the facilitator projects to reach.

Definition

We refer to as projected consensus state, the consensus state that is targeted by the facilitator.

Finally, One may want to question the practical value of the result in Proposition 2. First, it is of course very unlikely that a citizen’s perspective exhibits the desired properties of the optimal perspective. Therefore, the facilitator should consider turning to an expert - possibly after two unsuccessful rounds of reciprocal probing between Alice and Bob. Constructing the optimal C𝐶Citalic_C which is a new perspective implies the ”relabelling” of some opinion states from another perspective. Basically when C1=A1subscript𝐶1subscript𝐴1C_{1}=A_{1}italic_C start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT = italic_A start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT it means that the two opinions while being represented by the same state are expressed ”in two different languages”202020For instance, if A1subscript𝐴1A_{1}italic_A start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT is opinion ”ICB is the environmentally best way to reduce GHG”, C1subscript𝐶1C_{1}italic_C start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT could be ”providing proper incentives to individuals is the most efficient way to reduce GHG”..

4.2 Deliberation in a population of citizens |Ω|>2Ω2\left|\Omega\right|>2| roman_Ω | > 2

We next analyze deliberation in a population of voters like a citizen assembly. We consider the simpler but most relevant case when the population is divided into two groups each with its own frame of the voting issue. The ICB example is a suitable one as it relates to quite well establish ideologies a left leaning social and environmental ideology (L)L)\ italic_L )and a right leaning conservative libertarian ideology (R)R)italic_R ).

We first establish a simple Lemma

Lemma 1

Assume that two citizens with alternative perspectives agree on voting, inviting any of them to probe the other’s perspective jeopardizes consensus.

Proof. Consider starting from (L1,R1)subscript𝐿1subscript𝑅1(L_{1},R_{1})( italic_L start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_R start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) and letting the {\cal R}caligraphic_R-citizen probes the {\cal L}caligraphic_L perspective, we are back in (L1,R1)subscript𝐿1subscript𝑅1(L_{1},R_{1})( italic_L start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_R start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) with probability Tr(R1L1)Tr(L1R1)+Tr(R1L2)Tr(L2R1)=x2+(1x)2<1Trsubscript𝑅1subscript𝐿1Trsubscript𝐿1subscript𝑅1Trsubscript𝑅1subscript𝐿2Trsubscript𝐿2subscript𝑅1superscript𝑥2superscript1𝑥21{\rm Tr}(R_{1}L_{1}){\rm Tr}\left(L_{1}R_{1}\right)+{\rm Tr}(R_{1}L_{2}){\rm Tr% }\left(L_{2}R_{1}\right)=x^{2}+(1-x)^{2}<1roman_Tr ( italic_R start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_L start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) roman_Tr ( italic_L start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_R start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) + roman_Tr ( italic_R start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_L start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) roman_Tr ( italic_L start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT italic_R start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) = italic_x start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + ( 1 - italic_x ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT < 1, so consensus is lost with positive probability for x{0,1}𝑥01x\notin\{0,1\}italic_x ∉ { 0 , 1 } that is when the two perspective are distinct from each other.   

Lemma 1 shows that having citizens explore alternative perspectives can be harmful to existing agreement among citizens. This result underscores the central role of the facilitator in our context. There is no necessity that deliberations lead to consensus. Instead, the path of opinion change depends of the process itself; more precisely it hinges on which citizens are active and which perspective they probe in each round. We note that Lemma 1 is consistent with much criticism appealing to cognitive biases that emphasizes that interacting politically can have ”negative” impact on citizens’ beliefs and preferences [31, 25].

Let the two groups be of sizel𝑙\ litalic_l respectively r𝑟ritalic_r. Typically the population is characterized by disagreement both within and between the two groups. In each group the citizens have probed their own perspective, so we have two distributions (l1,l2),l1+l2=lsubscript𝑙1subscript𝑙2subscript𝑙1subscript𝑙2𝑙\left(l_{1},l_{2}\right),\ l_{1}+l_{2}=l( italic_l start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_l start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) , italic_l start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT + italic_l start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT = italic_l and similarly (r1,r2),r1+r2=rsubscript𝑟1subscript𝑟2subscript𝑟1subscript𝑟2𝑟\left(r_{1},r_{2}\right),\ r_{1}+r_{2}=r( italic_r start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_r start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) , italic_r start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT + italic_r start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT = italic_r. Let the two consensual states be (L1,R1)subscript𝐿1subscript𝑅1(L_{1},R_{1})( italic_L start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_R start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) and (L2,R2(L_{2},R_{2}( italic_L start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT , italic_R start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT. In each round the facilitator seeks to maximize the expected score. Consider the case when citizens (rather than experts) present their own arguments, we have:

Proposition 3

Starting from disagreement within and/or between 2 groups, in any round
i. the projected consensus need not be the standing majority;
ii. the facilitator invites citizens disagreeing with the projected consensus to explore the other perspective, while the remaining citizens remain passive until next round.

Proof. 3.i. We know from Proposition 1 that the probability for opinion change is 2x(1x)=Δ2𝑥1𝑥Δ2x(1-x)=\Delta2 italic_x ( 1 - italic_x ) = roman_Δ. The expected change is thus ΔliΔsubscript𝑙𝑖\Delta l_{i}roman_Δ italic_l start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT (or ΔrjΔsubscript𝑟𝑗\Delta r_{j}roman_Δ italic_r start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT) where i,j=1,2formulae-sequence𝑖𝑗12i,j=1,2italic_i , italic_j = 1 , 2 depending on the group invited for probing. Consider a case where (l1+r1)>(l2+r2)subscript𝑙1subscript𝑟1subscript𝑙2subscript𝑟2(l_{1}+r_{1})>(l_{2}+r_{2})( italic_l start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT + italic_r start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) > ( italic_l start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT + italic_r start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ), so the majority supports Yes. Then whenever l1+r1+Δmax(l2,r2)<(l2+r2)+Δmax(l1,r1)subscript𝑙1subscript𝑟1Δsubscript𝑙2subscript𝑟2subscript𝑙2subscript𝑟2Δsubscript𝑙1subscript𝑟1l_{1}+r_{1}+\Delta\max(l_{2},r_{2})<(l_{2}+r_{2})+\Delta\max(l_{1},r_{1})italic_l start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT + italic_r start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT + roman_Δ roman_max ( italic_l start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT , italic_r start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) < ( italic_l start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT + italic_r start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) + roman_Δ roman_max ( italic_l start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_r start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ), that is (l2+r2)(l1+r1)>Δ[max(l2,r2)max(l1,r1)]subscript𝑙2subscript𝑟2subscript𝑙1subscript𝑟1Δdelimited-[]subscript𝑙2subscript𝑟2subscript𝑙1subscript𝑟1(l_{2}+r_{2})-(l_{1}+r_{1})>\Delta[\max(l_{2},r_{2})-\max(l_{1},r_{1})]( italic_l start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT + italic_r start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) - ( italic_l start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT + italic_r start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) > roman_Δ [ roman_max ( italic_l start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT , italic_r start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) - roman_max ( italic_l start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_r start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) ], the optimal projected state corresponds to the No (minority) vote. When the inequality goes the other way the standing majority is the optimal projected consensus state. 3.ii Given 3.i the largest group of citizens disagreeing with the projected consensus is identified. Because of Lemma 1, no other citizen from that perspective group is invited to probe.   

Clearcut quantitative predictions echoing our results in 1 can be formulated:

Corollary 4

With maximally uncorrelated perspectives, starting with two perspective groups of the same size and with evenly distributed voting intentions, deliberation delivers a (expected) majority of 3/4 of the population after two rounds.

Proof. Let l1=l2=l/2subscript𝑙1subscript𝑙2𝑙2l_{1}=l_{2}=l/2italic_l start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT = italic_l start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT = italic_l / 2 and similarly r1=r2=l/2subscript𝑟1subscript𝑟2𝑙2r_{1}=r_{2}=l/2italic_r start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT = italic_r start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT = italic_l / 2 with Δ=1/2Δ12\Delta=1/2roman_Δ = 1 / 2. Any of the two consensus states can be reached with the support of a population of size l/2+r/2+l/4+r/4=(3/4)(l+r)𝑙2𝑟2𝑙4𝑟434𝑙𝑟l/2+r/2+l/4+r/4=(3/4)(l+r)italic_l / 2 + italic_r / 2 + italic_l / 4 + italic_r / 4 = ( 3 / 4 ) ( italic_l + italic_r ).   

The results in Proposition 3 invite multiple remarks. First, we learn that the projected consensus state need not be the standing majority. It is quite a remarkable result because it applies when the facilitator is “myopic” i.e., maximizes the score at each step. We view this as a nice property of our deliberation procedure, in the sense that it gives some chance to the minority voting option. We return below to other circumstances where the minority can be given the chance.

A second important remark is that the optimal strategy relies on the distinction between active and passive citizens. Because of Lemma 1, when both opinions are present in a perspective group, it is optimal for the facilitator to proceed selectively. Those from the targeted perspective group already agreeing with the projected consensus state should refrain from probing, as they could change their mind and reduce the score. This means that the optimal procedure demands some extent of differentiation between citizens, which is unfortunate from a democratic ideal point of view. Note however that full publicity of debates can be preserved because with contextual opinions, only the operation of probing can induce change. In our model, simply listening to an argument without making the effort of thinking in the terms of the alternative perspective has no effect on opinions.

Our analysis of the population case provides a novel rationale (and guiding principles) for the practice of parallel working groups encountered in real life deliberations.212121Obviously, the practice also speeds up the process which is presumably a main motivation. Our approach suggests that this practice also responds to the risks that deliberation “breeds confusion” in people’s mind. With well-composed parallel working groups, one can prevent unwanted opinion switch when citizens make probing operations without being invited to.

4.3 Deliberation with more than two competing perspectives

Let us now consider the case with citizens representing more than two competing perspectives. Assume three citizens are endowed each with their own two-dimensional thinking frame. This context will also allow addressing the restriction on the facilitator’s strategies that asks him to maximize the score in each round.

Continuing on our ICB example, we now have Greg with a perspective concerned with legal/practical feasibility of ICB and two eigenstates e.g., G1::subscript𝐺1absentG_{1}:\ italic_G start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT :ICB can be integrated in the current set of laws and regulation with reasonable adaptation costs; G2subscript𝐺2G_{2}italic_G start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT enforcing ICB requires major costly legal adaptation.

As in the population case, since the vote is binary, we initially always have at least two citizens who agree on voting. Hence the two consensus states, let them be (A1B1G1)subscript𝐴1subscript𝐵1subscript𝐺1(A_{1}B_{1}G_{1})( italic_A start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_B start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_G start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) and (A2B2G2),subscript𝐴2subscript𝐵2subscript𝐺2(A_{2}B_{2}G_{2}),( italic_A start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT italic_B start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT italic_G start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) , are not symmetric  with respect to the initial state. This feature was also encountered in the nlimit-from𝑛n-italic_n -dimensional and population case.

4.3.1 Maximizing the probability for consensus in each round

We first investigate the facilitator’s strategy when restricted as before to maximizing the score in each round – we thereafter relax that constraint and consider maximization over two rounds. In this context, it seems fair and common sense to demand that the same perspective not be presented twice. By Proposition 3, we expect the facilitator to select the majority voting option as the projected consensus state. If the initial opinion state is (A1B2G1),subscript𝐴1subscript𝐵2subscript𝐺1(A_{1}B_{2}G_{1}),\ ( italic_A start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_B start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT italic_G start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) ,the natural candidate strategy entails focusing on the sole disagreeing citizen, Bob. As we focus on the voice phase where citizens expose their own views and appealing to Lemma 1, the disagreeing citizen (Bob) is the sole active citizen, Alice and Greg should never take active part in the deliberations. We have the following result:

Proposition 4

Assume that disagreement with respect to voting characterizes a group of three citizens belonging to three distinct perspectives. Consensus can be approached with selective targeted deliberation. It entails i. selecting the majority voting option as the projected consensus state in ii. targeted deliberation where only the disagreeing citizen is active in all rounds. To maximize the probability of consensus in the first round, the disagreeing citizen should be first exposed to the least correlated perspective. Yet, the order in which the two perspectives of the majority citizens are exposed to the disagreeing citizen is irrelevant to the overall probability of consensus.

Proof. See appendix C.   

The results in Proposition 4 invites two remarks. First, we find that the presence of more than two perspectives in a population of citizens does not change the facilitator’s problem significantly. He optimally orders the perspectives that he invites Bob to probe so as to start with the least correlated. So the multiplicity of perspectives neither facilitates the task of the facilitator nor is it an obstacle. As in Proposition 3, the deliberative process is skewed towards the opinion which is initially majoritarian. The process essentially amounts to persuading Bob to change opinion while Alice and Greg listen to new arguments but refrain from exploring any new perspective. Result 4.ii contradicts the principle of equity as Bob is never offered the opportunity to convince Alice and Greg to change their initial opinion, and reach the alternative consensus state A2B2G2subscript𝐴2subscript𝐵2subscript𝐺2A_{2}B_{2}G_{2}italic_A start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT italic_B start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT italic_G start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT. We next consider relaxing the restriction on the facilitator. If his task is not to maximize the probability of consensus in each round but over a fixed number of rounds, may he choose to upset the standing majority? opening the way to reach the alternative consensus state A2B2G2subscript𝐴2subscript𝐵2subscript𝐺2A_{2}B_{2}G_{2}italic_A start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT italic_B start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT italic_G start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT. We next consider the two-rounds case

4.3.2 Maximizing the consensus probability over two rounds

As in the previous subsection, we let the initial vector of opinion state be (A1B2G1subscript𝐴1subscript𝐵2subscript𝐺1A_{1}B_{2}G_{1}italic_A start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_B start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT italic_G start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT). We consider an alternative strategy for the facilitator, where in the first round two citizens are active e.g., Bob and Greg who are invited to probe Alice’s perspective. There are four possible outcomes of this first round: (A1B1G1),(A1B2G1),(A1B2G2),(A1B1G2)subscript𝐴1subscript𝐵1subscript𝐺1subscript𝐴1subscript𝐵2subscript𝐺1subscript𝐴1subscript𝐵2subscript𝐺2subscript𝐴1subscript𝐵1subscript𝐺2(A_{1}B_{1}G_{1}),(A_{1}B_{2}G_{1}),(A_{1}B_{2}G_{2}),(A_{1}B_{1}G_{2})( italic_A start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_B start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_G start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) , ( italic_A start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_B start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT italic_G start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) , ( italic_A start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_B start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT italic_G start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) , ( italic_A start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_B start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_G start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ). This implies that in the second round, where the facilitator maximizes the immediate probability for consensus, the two consensus states (A1B1G1)subscript𝐴1subscript𝐵1subscript𝐺1(A_{1}B_{1}G_{1})( italic_A start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_B start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_G start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) and (A2B2G2)subscript𝐴2subscript𝐵2subscript𝐺2(A_{2}B_{2}G_{2})( italic_A start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT italic_B start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT italic_G start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) may emerge. We have the following Proposition

Proposition 5

Assume that disagreement with respect to voting characterizes a group of three citizens belonging to three distinct perspectives. When the facilitator is aiming at reaching consensus within a 2-period time frame using the citizens’ perspective exclusively, shortsighted maximization is not always optimal. Instead, jeopardizing the standing majority may give higher chance for consensus and anyone of the two voting options may prevail.

Proof. See Appendix D.   

In Appendix D we characterize the conditions under which letting Bob challenge both Alice and Greg can generate a better outcome than focusing on persuading Bob. The conditions corresponds to a case where Bob is closer (his perspective is more correlated) to both Alice and Greg than Greg is to Alice. This is illustrated with a numerical example

Numerical illustration.– For a concrete characterization of this situation in the quantum formalism, we introduce the angle θ𝜃\thetaitalic_θ such that Tr(A1B1)=x=cos2(θ/2)Trsubscript𝐴1subscript𝐵1𝑥superscript2𝜃2\mathrm{Tr}(A_{1}B_{1})=x=\cos^{2}(\theta/2)roman_Tr ( italic_A start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_B start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) = italic_x = roman_cos start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_θ / 2 ). We also assume that Tr(B1G1)=xTrsubscript𝐵1subscript𝐺1𝑥\mathrm{Tr}(B_{1}G_{1})=xroman_Tr ( italic_B start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_G start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) = italic_x; and we assume that Tr(A1G1)=y=cos2(θ)Trsubscript𝐴1subscript𝐺1𝑦superscript2𝜃\mathrm{Tr}(A_{1}G_{1})=y=\cos^{2}(\theta)roman_Tr ( italic_A start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_G start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) = italic_y = roman_cos start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_θ ), namely, the unit vector representing A1subscript𝐴1A_{1}italic_A start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT opinion state forms an angle θ/2𝜃2\theta/2italic_θ / 2 with the vector representing B1subscript𝐵1B_{1}italic_B start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT opinion state, which forms itself an angle θ𝜃\thetaitalic_θ with the vector representing the G1subscript𝐺1G_{1}italic_G start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT opinion state. The whole correlations between Alice’s, Bob’s and Greg’s perspectives are therefore entirely defined via a single parameter θ𝜃\thetaitalic_θ, which allows for a simplified illustration of the different possibilities. We focus on the parameter regime θ[0,π/2]𝜃0𝜋2\theta\in[0,\pi/2]italic_θ ∈ [ 0 , italic_π / 2 ], relevant to describe the two cases described above. We introduce p0subscript𝑝0p_{0}italic_p start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT as the probability to reach consensus (A1B1G1)subscript𝐴1subscript𝐵1subscript𝐺1(A_{1}B_{1}G_{1})( italic_A start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_B start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_G start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) by letting Bob probe first Alice’s and then Greg’s perspective. p1subscript𝑝1p_{1}italic_p start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT is the probability to reach consensus (A1B1G1)subscript𝐴1subscript𝐵1subscript𝐺1(A_{1}B_{1}G_{1})( italic_A start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_B start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_G start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) if both Bob and Greg actively probe Alice’s perspective in the first round; and p2subscript𝑝2p_{2}italic_p start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT is the probability to reach consensus (A2B2G2)subscript𝐴2subscript𝐵2subscript𝐺2(A_{2}B_{2}G_{2})( italic_A start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT italic_B start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT italic_G start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) in this same case. The dependence with θ𝜃\thetaitalic_θ of p0subscript𝑝0p_{0}italic_p start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT, p1subscript𝑝1p_{1}italic_p start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT, p2subscript𝑝2p_{2}italic_p start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT and p1+p2subscript𝑝1subscript𝑝2p_{1}+p_{2}italic_p start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT + italic_p start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT is plotted on Fig. 3.

Refer to caption
Figure 3: Two-rounds deliberation with three citizens in the two-dimensional case, starting from state (A1B2G1)subscript𝐴1subscript𝐵2subscript𝐺1(A_{1}B_{2}G_{1})( italic_A start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_B start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT italic_G start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ). pisubscript𝑝𝑖p_{i}italic_p start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT are probabilities to reach consensus states after two rounds in different scenarios. See text for a definition of p0,p1,p2subscript𝑝0subscript𝑝1subscript𝑝2p_{0},p_{1},p_{2}italic_p start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT , italic_p start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_p start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT, and Appendix D for their relation to θ𝜃\thetaitalic_θ.

Our main finding is that for θ[0,π/4]𝜃0𝜋4\theta\in[0,\pi/4]italic_θ ∈ [ 0 , italic_π / 4 ], we have p1+p2p0subscript𝑝1subscript𝑝2subscript𝑝0p_{1}+p_{2}\geq p_{0}italic_p start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT + italic_p start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ≥ italic_p start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT, namely it is better to let both Bob and Greg be active during the first round where Alice exposes her perspective. In this scenario, the majority (Alice and Greg) can been converted to the minority’s initial opinion (Bob’s) through the deliberation procedure with a sizable probability p2subscript𝑝2p_{2}italic_p start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT (green-dotted line in Fig. 3); and this allows to reach consensus with a higher success rate (p1+p2subscript𝑝1subscript𝑝2p_{1}+p_{2}italic_p start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT + italic_p start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT, blue dashed-dotted line) than insisting twice in converting the minority opinion (in our case, Bob) to the majority view (Alice and Greg) (p0subscript𝑝0p_{0}italic_p start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT, black-solid line). On the other hand, for θ[π/4,π/2]𝜃𝜋4𝜋2\theta\in[\pi/4,\pi/2]italic_θ ∈ [ italic_π / 4 , italic_π / 2 ], the facilitator maximizes the consensus probability when trying twice to reverse Bob’s initial opinion, letting Greg and Alice play a less engaged role.

Proposition 5 shows that it can, under some conditions, be optimal to allow for disrupting the standing majority and give chance to the other voting option. As shown in the example (and in the proof of Proposition 5) this happens when the disagreeing citizen’s perspective is more closely correlated to both of the two agreeing citizens’ perspective than the agreeing citizens’ perspectives among themselves. We notice however that the most probable consensus state remains the one consistent with the initial majority (namely p1p2subscript𝑝1subscript𝑝2p_{1}\geq p_{2}italic_p start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ≥ italic_p start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT, respectively dashed-orange and green-dotted lines in Fig. 3).

5 Discussion

5.1 Learning under complete information

In this section, we wish to argue that while we developed the whole analysis in a context of complete information so that at each moment the citizens are endowed with a complete characterization of the issue at stake, some form of learning does nevertheless take place.

The central hypothesis of this paper, is that there exist perspectives that people cannot consider simultaneously, they are Bohr complementary. While incompatible perspectives can be considered in sequence, people cannot aggregate information from two incompatible frames in a stable way. This instability is the expression of intrinsic contextuality meaning that opinions do not ”exist” (have a determinate value) independently of a thinking frame (perspective) and that it is impossible to integrate all frames into a unique ”super frame”. Instead, there exists a multiplicity of alternative frames that are equally valid to fully characterize an issue.

Nevertheless when probing an alternative perspective, the citizen learns something because the new state corresponding one of the eigenvalues of the perspective under exploration does not exist (as a pure state) in the initial perspective. An alternative frame is like a new language that can express something that could not be expressed in the original language (initial frame)222222Of course any state can be expressed in any perspective but except for the eigenstate, they will be mixtures of other (eigen)states.. The exploration of an alternative frame comes at the cost of previously held information: the opinion state is modified by the probing operation. This is why we can speak about learning without learning more. We believe that our application to deliberation sheds a new light on the concept of ”Bohr complementarity”, more specifically on the complementarity of information from incompatible perspective. Niemeyer et al ([39]) speak about ”Intersubjective representational framework” and ”meta representation”. Our approach allows capturing the meta representation as knowledge of the multiplicity of valid ways to structure one and the same issue. Physicist and philosopher, Michel Bitbol talks about the ”second order objectivisation”232323That is a procedure of objectivisation of the methodes of production and anticipation of phenomena that cannot be objectivised as properties belonging to objects. . [4]. The meta-representation which emerges from our deliberation process corresponds to the state space (representing the issue) and the set of associated bases representing different incompatible perspectives together with the correlation between them. So citizens do learn something in deliberation namely how a problem can be considered in ways different from their own (alternative perspectives) and how these ways related to their own (correlation between perspectives) that is they learn elements of the ”super structure” of the opinion space. We believe that apart from having one’s own opinion evolving, this kind of more fundamental knowledge contributes to making deliberation a process that transform people as often reported. This also illustrates what some participatory democrats with John Stuart Mills (see Introduction) have in mind when assessing that deliberative democracy has a value in itself. It educates people as citizens of a democratic society. Learning the super structure of the opinion space from experiencing (and thus recognizing the legitimacy) a variety of perspectives, can be understood in this light.

This does not affect the epistemic value of the decision finally made, however. Our approach cannot provide an answer to that question. In the profession, beyond standard informational arguments, the question remains by large open (see Estlund and Landemore in [27]). With our approach, deliberation actualizes one of the deepest debates in QM (see [17]). Indeed even at the individual level, the ”correctness” of a decision is contextual. What is the right decision from one perspective need not be the right decision for the same individual from another perspective, thus allowing deliberations to lead to changes in preferences. Therefore, the common aggregative argument has no bite on the epistemic value of the resulting decision. It is beyond the scope of this paper to formulate a precise relationship between the epistemic value of deliberations i.e., citizens learn about the super structure of the opinion space, and the epistemic value of the decision. We conjecture that a result in the spirit to L. Hong and S. Page ”Diversity trumps ability” [28] is a promising path to go in a (quantum) non-classical context.

5.2 The deliberative democratic ideal

Our approach has been successful in characterizing the transformative character of deliberations: opinions evolve when exploring alternative thinking frames without improvement in information. The analysis shows not surprisingly that deliberations are subject to a tension between efficiency in terms of the probability to reach consensus and fairness in terms of equal treatment of the citizens. Traditionally, equality in the context of deliberation refers either the problem of including all concerned citizens [19] or of redressing situations of inequality in terms to social cultural resources that affect their ability to participate on equal footing in deliberative exchanges (see [3]). This is not our concerns here. We are interested in inequalities that arise because convergence to consensus may require breaking some symmetry in the treatment of participating citizens.

The approach allows characterizing two main aspects of this inequality: the asymmetry between voting options determined by the initial state of opinions and the distinction between active and passive citizens in the process of deliberation. Regarding voting options, we establish in Proposition 3 and 5 that it may be optimal to give a chance to the standing minority option. In general however, the initial majority option tends to be determinant for the final outcome. As suggested in the text, the procedure could start with a ”voice phase” where citizens are invited to probe each other’s perspectives with no immediate demand to maximize consensus. This phase would determine an initial majority option.242424Additional analysis is needed to determine the structure of the voice phase. It would be followed by an ”expert-led phase” where the facilitator maximizes the support of the most supported option. The latter phase which actualizes the distinction between active and passive citizens implies differentiated treatment. Only minority voters are subjected to persuasion. In defense of this unequal treatment, we wish to emphasize that it involves transparent and public operations of (quantum) persuasion. In addition, the participants would be invited to agree with the terms of the procedures before entering the whole process i.e., before knowing in which role they might be252525The alternative to deliberation for those who reject its terms would be to participate to the vote directly.. Although not ideal, we would like to argue that with a benevolent facilitator, the optimal procedures that we have analyzed are not irreconcilable with the ideal of democratic fairness.

Caveats 1

We have addressed deliberations in terms of the standard quantum formalism. As well-known this formalism entails quite a lot of formal constraints which may not all be meaningful in the context of social sciences. A more general framework e.g., appealing to POVM (positive operator-valued measure) could be more appropriate. We therefore propose the current analysis as an abstract approximation which we believe provides interesting insights and can be submitted to experimental testing.

Caveats 2

In our model the facilitator is fully benevolent. In view of his influence on the outcome, an important issue to investigate is how to secure proper incentives. We leave this important question for future research.

6 Conclusions

In this paper we have developed a formal approach to deliberation based on the behavioral premises and mathematical formalism of quantum cognition. The behavioral premises include i. people need a thinking frame (perspectives) to address reality, ii. Citizens cannot (always) combine all relevant aspects in a single thinking frame; iii. alternative thinking frames are Bohr complementary: they are both incompatible and equally valid perspectives on the issue at stake.

Deliberation is formulated in the context of complete information as a structured communication process managed by a facilitator with the aim of maximizing the probability for consensus in a binary collective choice problem. The process includes a sequence of rounds in which some citizen or experts develop an argument belonging to some perspective and other citizens are invited by the facilitator to probe that perspective. Probing involves a true action from citizens, they actively ”put themselves in someone else’s shoes” and decide how they position themselves in a perspective alternative to their own.

A first central result is that the incompatibility of perspectives, that is the diversity of view points between disagreeing citizens is what permits opinions to evolve. Our second central result is that the correlation between perspectives is the key property that determines the pace of evolution toward consensus. In the two citizens, two perspectives and two dimensional case, starting from disagreement, consensus is reachable with 75% chance after two rounds only. This result generalizes to the case when perspectives have more than 2 dimensions. In that context, consensus is achievable after one round with a probability that can approach 1. The highest rate of convergence to consensus is achieved when the citizen’s initial perspective and the one she is invited to probe are maximally uncorrelated that is when having an opinion in one perspective give equal chance for any opinion in the other perspective. In the multidimensional case, the strategy of the facilitator also involves reducing the dimensionality of the problem.

The results generalize to more than 2 citizens where the facilitator’s strategy involves selective targeting in the sense that while deliberation remain fully public only a selected subset is invited to actively probe the presented perspective in each round. The others simply listen. In the larger population context and in the presence of multiple perspectives, the facilitator may choose to challenge the standing majority in particular when he does not maximize the score myopically.

We thus find that the quantum cognition approach allows giving sense to a number of empirical features put forward in the literature. Most importantly, it delivers the transformative character of deliberation which goes far beyond Bayesian updating. In our model, people go through real (mental) experiences (probing) which transform their opinion and deepen their understanding of each others. While in the model they always are in a situation of complete information, they learn how the issue at stake can be approached from equally valid alternative perspectives and how these relate to their own. Our analysis is also consistent with the proposition often put forward that deliberation requires serious engagement and fosters the respect for each others as a practical school of democracy. In our context this is captured by the ”effort” of ”putting oneself in someone else’s shoes” which implies the respect of other citizens’ perspective. Finally, Our approach characterizes the determinant role of the facilitator(s) who plays a central role in most actual experiments such as the ”Convention Citoyenne pour le climat” (2021) in France. Finally and importantly, it offers an approach to reaching consensus in deliberation not based on improved information.

References

  • [1] Aragones, E., Gilboa, I., Postlewaite, A., & Schmeidler, D. (2005). Fact-free learning. American Economic Review, 95(5), 1355-1368.
  • [2] Beauvais, E., & Baechtiger, A. (2016). Taking the goals of deliberation seriously: A differentiated view on equality and equity in deliberative designs and processes. Journal of Deliberative Democracy, 12(2).
  • [3] Beauvais E. (2018) ”Deliberation and Equity” chapter 9 in The Oxford Handbook of Deliberative Democracy ed. A. Bachtinger, J Dryzek, J. Mansbridge and M. Warron, Oxford Unversity press.
  • [4] Bitbol, M. (Ed.) (2009). Physique Quantique et Sciences Humains, Edition CNRS Paris.
  • [5] Bohman, J. (2006). Deliberative democracy and the epistemic benefits of diversity. Episteme, 3(3), 175-191.
  • [6] Bohman, J., & Rehg, W. (Eds.). (1997). Deliberative democracy: Essays on reason and politics. MIT press.
  • [7] Bohr, N. (1991). Physique atomique et connaissance humaine, Gallimard Paris.
  • [8] Busemeyer, J. R., & Bruza, P. D. (2012). Quantum models of cognition and decision. Cambridge University Press.
  • [9] Calmettes A. and A. Lambert-Mogiliansky,(2021) ”Phishing for (Quantum-like) Phools - Theory and Experimental Evidence” Symmetry 13/62.
  • [10] Dryzek J. , A. Bächtiger, S. Chambers, J. Cohen, J N Druckman, A. Felicetti, J. Fishkin, D. Farrell, A. Fung, A. Gutman, H. Landemore, J. Mansbright, S. Marien, M.A Neblo, S. Niemeyer, M; Stelälä, R. Slothuus, J. Suiter, D; Thompson, M. Warren (2019) ” The Crisis of Democracy and the science of deliberation” Science.mag 15 March 2019, vol 363 issue 6432.
  • [11] Cohen J; ”Procedure and Substance in Deliberative Democracy” in Bohman, J., & Rehg, W. (Eds.). (1997). Deliberative democracy: Essays on reason and politics. MIT press.
  • [12] Cohen, J. (1999). Reflections on Habermas on democracy. Ratio Juris, 12(4), 385-416.
  • [13] Thomas Christiano (1997) ”The Signicance of Public Deliberation” in Bohman, J., & Rehg, W. (Eds.). (1997). Deliberative democracy: Essays on reason and politics. MIT press.
  • [14] Danilov, V. I., & Lambert-Mogiliansky, A. (2018). Preparing a (quantum) belief system. Theoretical Computer Science, 752, 97-103.
  • [15] Danilov, V. I., & Lambert-Mogiliansky, A. (2018). Targeting in quantum persuasion problem. Journal of Mathematical Economics, 78, 142-149.
  • [16] Danilov, V. I., Lambert-Mogiliansky, A., & Vergopoulos, V. (2018). Dynamic consistency of expected utility under non-classical (quantum) uncertainty. Theory and Decision, 84, 645-670.
  • [17] d’Espagnat, B. (2012). In search of reality. Springer Science & Business Media.
  • [18] Ding, H., & Pivato, M. (2021). Deliberation and epistemic democracy. Journal of Economic Behavior & Organization, 185, 138-167.
  • [19] Dryzek, J. S. (2001). Legitimacy and economy in deliberative democracy. Political theory, 29(5), 651-669.
  • [20] Dryzek (2002) Deliberative Democracy and Beyond, Oxford Political Theory, Oxford University Press.
  • [21] Dryzek, J. S., & List, C. (2003). Social choice theory and deliberative democracy: A reconciliation. British journal of political science, 33(1), 1-28.
  • [22] Dietrich, F., Spiekermann, K. (2024) ”Deliberation and the wisdom of crowds.” Econ Theory.
  • [23] Busemeyer J., A. Lambert-Mogiliansky and Ephraim Suyat, ”Distinguishing Quantum and Markov models of human decision-making” (2008) Indiana University in Quantum Interaction, College Publication 2008, King College London.
  • [24] Busemeyer J., A. Lambert-Mogiliansky and Zhen Wang (Indiana University)”Empirical Comparison of Markov and Quantum models of decision-making” (2009) Journal of Mathematical Psychology 2009 Vol 53/5 p. 423-433.
  • [25] Elster, J. (2005). The market and the forum: three varieties of political theory. In Debates in contemporary political philosophy (pp. 335-351). Routledge.
  • [26] Estlund, D. (1997). Beyond fairness and deliberation: The epistemic dimension of democratic authority” in Bohman, J., & Rehg, W. (Eds.). (1997). Deliberative democracy: Essays on reason and politics. MIT press.
  • [27] Estlund D and H. Landemore (1918) ” The epistemic value of democratic deliberation” chapter 7 in The Oxford Handbook of Deliberative Democracy ed. A. Bachtinger, J Dryzek, J. Mansbridge and M. Warron, Oxford Unversity press.
  • [28] Hong L. S. Page ” (2004) Groups of diverse problem solvers can outperform groups of high-ability problem solvers” Proceeding of the National Academy of Sciences, 101, 16385-8.
  • [29] Farrar, C., Fishkin, J. S., Green, D. P., List, C., Luskin, R. C., & Paluck, E. L. (2010).
  • [30] Haven, E., & Khrennikov, A. I. (2013). Quantum social science. Cambridge University Press.
  • [31] Janis, I. L. (1982) Groupthink: Psychological studies of policy decisions and fiascoes. Boston, Houghton Mifflin.
  • [32] Lambert-Mogiliansky, A. , Zamir, S., & Zwirn, H. (2009). Type indeterminacy: A model of the KT (Kahneman–Tversky)-man. Journal of Mathematical Psychology, 53(5), 349-361.
  • [33] Kinder, D. R. (2003). Communication and politics in the age of information.
  • [34] Knight, J., & Johnson, J. (1994). Aggregation and deliberation: On the possibility of democratic legitimacy. Political theory, 22(2), 277-296.
  • [35] J. Knight and J. Johnson (1997) ”What Sort of Equality Does Deliberative Democracy Require?” in Bohman, J., & Rehg, W. (Eds.). (1997). Deliberative democracy: Essays on reason and politics. MIT press.
  • [36] Landemore, H. (2013). Deliberation, cognitive diversity, and democratic inclusiveness: an epistemic argument for the random selection of representatives. Synthese, 190, 1209-1231.
  • [37] List, Christian, et al. ”Deliberation, single-peakedness, and the possibility of meaningful democracy: evidence from deliberative polls.” The journal of politics 75.1 (2013): 80-95. Disaggregating deliberation’s effects: An experiment within a deliberative poll. British journal of political science, 40(2), 333-347.
  • [38] List C. (2018) ”Democratic Deliberation and Social Choice: a Review” in The Oxford Handbook in Deliberative Democracy ed. Bachtiger, Dryzek, Mansbridge and Waren.
  • [39] Niemeyer, Simon et Dryzek, John S. (2007) The ends of deliberation: meta-consensus and inter-subjective rationality as ideal outcomes. Swiss political science review, , vol. 13, no 4, p. 497-526.
  • [40] Niemeyer, S., Veri, F., Dryzek, J. S., & Bächtiger, A. (2024). How deliberation happens: enabling deliberative reason. American Political Science Review, 118(1), 345-362.
  • [41] Pothos, E.M., Busemeyer, J. R. (2022) ”Quantum Cognition”. Annual Review of Psychology, 73, 749-778.
  • [42] J. Rawls ”the Idea of Public reason” in Bohman, J., & Rehg, W. (Eds.). (1997). Deliberative democracy: Essays on reason and politics. MIT press.
  • [43] Sen, A. (2014). Arrow and the impossibility theorem. In The Arrow impossibility theorem (pp. 29-42). Columbia University Press.
  • [44] Quantum Cognition and Decision Theories: A Tutorial Yearsley, J. , & Busemeyer, J. R. (2016) Journal of Mathematical Psychology, 74, 99-116.

Appendix A Building an intermediate perspective

We illustrate here that it is indeed possible to build such a perspective 𝒞.𝒞\mathcal{C}.caligraphic_C . Formally, a change of perspective is given by a n×n𝑛𝑛n\times nitalic_n × italic_n unitary matrix U𝑈Uitalic_U, representing a change of orthonormal basis. The opinion states are then the projectors onto the corresponding basis states. If |aiketsubscript𝑎𝑖|a_{i}\rangle| italic_a start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ⟩ are the basis vectors for Alice’s own perspective, and |cjketsubscript𝑐𝑗|c_{j}\rangle| italic_c start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ⟩ are the basis vectors for the intermediate perspective proposed by the facilitator, the property Tr(Ak+1Cj)=|ak+1|cj|2=1/(k+1)Trsubscript𝐴𝑘1subscript𝐶𝑗superscriptinner-productsubscript𝑎𝑘1subscript𝑐𝑗21𝑘1\mathrm{Tr}(A_{k+1}C_{j})=|\langle a_{k+1}|c_{j}\rangle|^{2}=1/(k+1)roman_Tr ( italic_A start_POSTSUBSCRIPT italic_k + 1 end_POSTSUBSCRIPT italic_C start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ) = | ⟨ italic_a start_POSTSUBSCRIPT italic_k + 1 end_POSTSUBSCRIPT | italic_c start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ⟩ | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = 1 / ( italic_k + 1 ) for all j=1,,k𝑗1𝑘j=1,\dots,kitalic_j = 1 , … , italic_k is for instance obtained if

|ak+1=1k+1j=1k+1|cj.ketsubscript𝑎𝑘11𝑘1superscriptsubscript𝑗1𝑘1ketsubscript𝑐𝑗|a_{k+1}\rangle=\frac{1}{\sqrt{k+1}}\sum_{j=1}^{k+1}|c_{j}\rangle~{}.| italic_a start_POSTSUBSCRIPT italic_k + 1 end_POSTSUBSCRIPT ⟩ = divide start_ARG 1 end_ARG start_ARG square-root start_ARG italic_k + 1 end_ARG end_ARG ∑ start_POSTSUBSCRIPT italic_j = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_k + 1 end_POSTSUPERSCRIPT | italic_c start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ⟩ . (8)

Appendix B Proof of proposition 2

Given perspective 𝒞𝒞{\cal C}caligraphic_C, the probability of failure is simply given by the probability that Alice maintains her initial opinion state, namely to make the transition Ak+1Ak+1subscript𝐴𝑘1subscript𝐴𝑘1A_{k+1}\rightarrow A_{k+1}italic_A start_POSTSUBSCRIPT italic_k + 1 end_POSTSUBSCRIPT → italic_A start_POSTSUBSCRIPT italic_k + 1 end_POSTSUBSCRIPT. According to Eq. (4.1.2), this occurs with probability pfailure=j=1k+1wj2subscript𝑝failuresuperscriptsubscript𝑗1𝑘1superscriptsubscript𝑤𝑗2p_{\mathrm{failure}}=\sum_{j=1}^{k+1}w_{j}^{2}italic_p start_POSTSUBSCRIPT roman_failure end_POSTSUBSCRIPT = ∑ start_POSTSUBSCRIPT italic_j = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_k + 1 end_POSTSUPERSCRIPT italic_w start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT where we introduced the notation wj=Tr(Ak+1Cj)subscript𝑤𝑗Trsubscript𝐴𝑘1subscript𝐶𝑗w_{j}=\mathrm{Tr}(A_{k+1}C_{j})italic_w start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT = roman_Tr ( italic_A start_POSTSUBSCRIPT italic_k + 1 end_POSTSUBSCRIPT italic_C start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ), which are such that j=1k+1wj=1superscriptsubscript𝑗1𝑘1subscript𝑤𝑗1\sum_{j=1}^{k+1}w_{j}=1∑ start_POSTSUBSCRIPT italic_j = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_k + 1 end_POSTSUPERSCRIPT italic_w start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT = 1. Hence, we have to optimize the wjsubscript𝑤𝑗w_{j}italic_w start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT such as to minimize pfailuresubscript𝑝failurep_{\mathrm{failure}}italic_p start_POSTSUBSCRIPT roman_failure end_POSTSUBSCRIPT, under the constraint jwj=1subscript𝑗subscript𝑤𝑗1\sum_{j}w_{j}=1∑ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT italic_w start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT = 1. Introduce a Lagrange multiplier λ𝜆\lambdaitalic_λ to enforce the constraint, and introduce the function f(w1,,wk+1)=jwj2λ(jwj1)𝑓subscript𝑤1subscript𝑤𝑘1subscript𝑗superscriptsubscript𝑤𝑗2𝜆subscript𝑗subscript𝑤𝑗1f(w_{1},\dots,w_{k+1})=\sum_{j}w_{j}^{2}-\lambda(\sum_{j}w_{j}-1)italic_f ( italic_w start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , … , italic_w start_POSTSUBSCRIPT italic_k + 1 end_POSTSUBSCRIPT ) = ∑ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT italic_w start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - italic_λ ( ∑ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT italic_w start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT - 1 ). The minimum of f𝑓fitalic_f is achieved when fwj=0𝑓subscript𝑤𝑗0\frac{\partial f}{\partial w_{j}}=0divide start_ARG ∂ italic_f end_ARG start_ARG ∂ italic_w start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT end_ARG = 0 for all j𝑗jitalic_j, namely when wj=λ/2subscript𝑤𝑗𝜆2w_{j}=\lambda/2italic_w start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT = italic_λ / 2 for all j𝑗jitalic_j. That is: the minimum is achieved for a uniform choice of the wjsubscript𝑤𝑗w_{j}italic_w start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT. Since we must have j=1k+1wj=1superscriptsubscript𝑗1𝑘1subscript𝑤𝑗1\sum_{j=1}^{k+1}w_{j}=1∑ start_POSTSUBSCRIPT italic_j = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_k + 1 end_POSTSUPERSCRIPT italic_w start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT = 1, this leads to the result wj=1/(k+1)subscript𝑤𝑗1𝑘1w_{j}=1/(k+1)italic_w start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT = 1 / ( italic_k + 1 ), and to the minimal failure probability pfailure1/(k+1)subscript𝑝failure1𝑘1p_{\mathrm{failure}}\geq 1/(k+1)italic_p start_POSTSUBSCRIPT roman_failure end_POSTSUBSCRIPT ≥ 1 / ( italic_k + 1 ); and correspondingly: psuccessk/(k+1)subscript𝑝success𝑘𝑘1p_{\mathrm{success}}\leq k/(k+1)italic_p start_POSTSUBSCRIPT roman_success end_POSTSUBSCRIPT ≤ italic_k / ( italic_k + 1 ).

Appendix C Proof of Proposition 4

Consider Bob disagreeing because he holds opinion B2subscript𝐵2B_{2}italic_B start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT while Greg holds opinion G1subscript𝐺1G_{1}italic_G start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT and Alice, A1,subscript𝐴1A_{1},italic_A start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , they both vote Yes. Let the facilitator selects A1B1G1subscript𝐴1subscript𝐵1subscript𝐺1A_{1}B_{1}G_{1}italic_A start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_B start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_G start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT as the projected consensus state. The total probability for success is Probt=1(B2B1)+[1Probt=1(B2B1)]Probt=2(B2B1)superscriptProb𝑡1subscript𝐵2subscript𝐵1delimited-[]1superscriptProb𝑡1subscript𝐵2subscript𝐵1superscriptProb𝑡2subscript𝐵2subscript𝐵1\mathrm{Prob}^{t=1}(B_{2}\rightarrow B_{1})+[1-\mathrm{Prob}^{t=1}(B_{2}% \rightarrow B_{1})]\mathrm{Prob}^{t=2}(B_{2}\rightarrow B_{1})roman_Prob start_POSTSUPERSCRIPT italic_t = 1 end_POSTSUPERSCRIPT ( italic_B start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT → italic_B start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) + [ 1 - roman_Prob start_POSTSUPERSCRIPT italic_t = 1 end_POSTSUPERSCRIPT ( italic_B start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT → italic_B start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) ] roman_Prob start_POSTSUPERSCRIPT italic_t = 2 end_POSTSUPERSCRIPT ( italic_B start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT → italic_B start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ). In the first round he chooses among Greg and Alice. Assume Tr(B1A1)>Tr(B1G1)Trsubscript𝐵1subscript𝐴1Trsubscript𝐵1subscript𝐺1\mathrm{Tr}\left(B_{1}A_{1}\right)>\mathrm{Tr}\left(B_{1}G_{1}\right)roman_Tr ( italic_B start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_A start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) > roman_Tr ( italic_B start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_G start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ), then he let’s Alice develop her argument for Bob so he probes her perspective. Global consensus A1B1G1subscript𝐴1subscript𝐵1subscript𝐺1A_{1}B_{1}G_{1}italic_A start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_B start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_G start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT is reached if Bob’s opinion state changes from B1subscript𝐵1B_{1}italic_B start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT to B2subscript𝐵2B_{2}italic_B start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT. This happens with probability Probt=1(B2B1)=Tr(B2A1)Tr(A1B1)+Tr(B1A2)Tr(A2B1)=2x(1x)=asuperscriptProb𝑡1subscript𝐵2subscript𝐵1Trsubscript𝐵2subscript𝐴1Trsubscript𝐴1subscript𝐵1Trsubscript𝐵1subscript𝐴2Trsubscript𝐴2subscript𝐵12𝑥1𝑥𝑎\mathrm{Prob}^{t=1}(B_{2}\rightarrow B_{1})=\mathrm{Tr}\left(B_{2}A_{1}\right)% \mathrm{Tr}\left(A_{1}B_{1}\right)+\mathrm{Tr}\left(B_{1}A_{2}\right)\mathrm{% Tr}\left(A_{2}B_{1}\right)=2x(1-x)=aroman_Prob start_POSTSUPERSCRIPT italic_t = 1 end_POSTSUPERSCRIPT ( italic_B start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT → italic_B start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) = roman_Tr ( italic_B start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT italic_A start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) roman_Tr ( italic_A start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_B start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) + roman_Tr ( italic_B start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_A start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) roman_Tr ( italic_A start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT italic_B start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) = 2 italic_x ( 1 - italic_x ) = italic_a, with x=Tr(A1B1)𝑥Trsubscript𝐴1subscript𝐵1x=\mathrm{Tr}(A_{1}B_{1})italic_x = roman_Tr ( italic_A start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_B start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ). In case consensus fails, the same reasoning applies for the second round: Greg is now invited to present his perspective to Bob, who changes opinion with probability Probt=2(B2B1)=Tr(B2G1)Tr(G1B1)+Tr(B1G2)Tr(G2B1)=2z(1z)=bsuperscriptProb𝑡2subscript𝐵2subscript𝐵1Trsubscript𝐵2subscript𝐺1Trsubscript𝐺1subscript𝐵1Trsubscript𝐵1subscript𝐺2Trsubscript𝐺2subscript𝐵12𝑧1𝑧𝑏\mathrm{Prob}^{t=2}(B_{2}\rightarrow B_{1})=\mathrm{Tr}\left(B_{2}G_{1}\right)% \mathrm{Tr}\left(G_{1}B_{1}\right)+\mathrm{Tr}\left(B_{1}G_{2}\right)\mathrm{% Tr}\left(G_{2}B_{1}\right)=2z(1-z)=broman_Prob start_POSTSUPERSCRIPT italic_t = 2 end_POSTSUPERSCRIPT ( italic_B start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT → italic_B start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) = roman_Tr ( italic_B start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT italic_G start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) roman_Tr ( italic_G start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_B start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) + roman_Tr ( italic_B start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_G start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) roman_Tr ( italic_G start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT italic_B start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) = 2 italic_z ( 1 - italic_z ) = italic_b, with z=Tr(G1B1)𝑧Trsubscript𝐺1subscript𝐵1z=\mathrm{Tr}(G_{1}B_{1})italic_z = roman_Tr ( italic_G start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_B start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ). The total probability for success is Probt=1(B2B1)+(1Probt=1(B2B1)Probt=2(B2B1)=a+(1a)b\mathrm{Prob}^{t=1}(B_{2}\rightarrow B_{1})+(1-\mathrm{Prob}^{t=1}(B_{2}% \rightarrow B_{1})\mathrm{Prob}^{t=2}(B_{2}\rightarrow B_{1})=a+(1-a)broman_Prob start_POSTSUPERSCRIPT italic_t = 1 end_POSTSUPERSCRIPT ( italic_B start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT → italic_B start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) + ( 1 - roman_Prob start_POSTSUPERSCRIPT italic_t = 1 end_POSTSUPERSCRIPT ( italic_B start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT → italic_B start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) roman_Prob start_POSTSUPERSCRIPT italic_t = 2 end_POSTSUPERSCRIPT ( italic_B start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT → italic_B start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) = italic_a + ( 1 - italic_a ) italic_b. If instead Greg exposes first his perspective, and then Alice in case of failure, the total probability of success is b+(1b)a=b+aab𝑏1𝑏𝑎𝑏𝑎𝑎𝑏b+(1-b)a=b+a-abitalic_b + ( 1 - italic_b ) italic_a = italic_b + italic_a - italic_a italic_b, namely the same result. Hence, the order in which Alice and Greg expose their perspectives to Bob is irrelevant to the overall probability of success.

Appendix D Proof of Proposition 5

We define a=2x(1x)𝑎2𝑥1𝑥a=2x(1-x)italic_a = 2 italic_x ( 1 - italic_x ), b=2y(1y)𝑏2𝑦1𝑦b=2y(1-y)italic_b = 2 italic_y ( 1 - italic_y ) and a=2z(1z)superscript𝑎2𝑧1𝑧a^{\prime}=2z(1-z)italic_a start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT = 2 italic_z ( 1 - italic_z ) with x=Tr(A1B1)𝑥Trsubscript𝐴1subscript𝐵1x={\rm Tr}(A_{1}B_{1})italic_x = roman_Tr ( italic_A start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_B start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ), y=Tr(A1G1)𝑦Trsubscript𝐴1subscript𝐺1y={\rm Tr}(A_{1}G_{1})italic_y = roman_Tr ( italic_A start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_G start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) and z=Tr(G1B1)𝑧Trsubscript𝐺1subscript𝐵1z=\mathrm{Tr}(G_{1}B_{1})italic_z = roman_Tr ( italic_G start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_B start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ). a𝑎aitalic_a is the probability that Alice (resp. Bob) changes opinion when exposed to Bob’s (resp. Alice’s) perspective; b𝑏bitalic_b is the probability that Greg (resp. Alice’s) changes opinion when exposed to Alice’s (resp. Greg’s) perspective; etc. Recall that the initial state is (A1B2G1)subscript𝐴1subscript𝐵2subscript𝐺1(A_{1}B_{2}G_{1})( italic_A start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_B start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT italic_G start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ). We consider that Alice’s perspective is exposed first, and compare the case where: 1) only Bob is active in the first round; and 2) both Bob and Greg are active in the first round.

Only Bob is active in the first round.– In this scenario, the probability to reach consensus (consensus state A1B1G1subscript𝐴1subscript𝐵1subscript𝐺1A_{1}B_{1}G_{1}italic_A start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_B start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_G start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT, namely Bob has change his opinion to B1subscript𝐵1B_{1}italic_B start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT) at the first round is a𝑎aitalic_a. If his opinion remains B2subscript𝐵2B_{2}italic_B start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT, then Bob is exposed to Greg’s perspective and changes opinion with probability asuperscript𝑎a^{\prime}italic_a start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT. Overall, the probability to reach consensus over two rounds is p0=a+(1a)asubscript𝑝0𝑎1𝑎superscript𝑎p_{0}=a+(1-a)a^{\prime}italic_p start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT = italic_a + ( 1 - italic_a ) italic_a start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT, where the first term (a𝑎aitalic_a) is the probability that Bob changes opinion at the first round, and the second term ((1a)a1𝑎superscript𝑎(1-a)a^{\prime}( 1 - italic_a ) italic_a start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT) is the probability that Bob changes opinion at the the second round, conditioned on the fact that he did not change opinion at the first round.

Both Bob and Greg are active in the first round.– The probability to reach consensus in the first round is a(1b)𝑎1𝑏a(1-b)italic_a ( 1 - italic_b ), which is obviously smaller than in the previous scenario, as there is now a non-zero probability that Greg also changes opinion, reaching the state (A1B1G2)subscript𝐴1subscript𝐵1subscript𝐺2(A_{1}B_{1}G_{2})( italic_A start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_B start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_G start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) instead of (A1B1G1)subscript𝐴1subscript𝐵1subscript𝐺1(A_{1}B_{1}G_{1})( italic_A start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_B start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_G start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ). But as we shall see, this may allow for a higher overall probability to reach consensus over the two rounds. If (A1B1G1)subscript𝐴1subscript𝐵1subscript𝐺1(A_{1}B_{1}G_{1})( italic_A start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_B start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_G start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) is not reached at the first round, then the facilitator may choose to present either Bob’s or Greg’s perspective; and lets the minority citizen probe that perspective, offering her/him to change opinion. Let us enumerate the possibilities:

  1. 1.

    If the state after the first round is (A1B2G1)subscript𝐴1subscript𝐵2subscript𝐺1(A_{1}B_{2}G_{1})( italic_A start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_B start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT italic_G start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ), which happens with probability (1a)(1b)1𝑎1𝑏(1-a)(1-b)( 1 - italic_a ) ( 1 - italic_b ), then Greg presents his perspective to Bob, while Alice remains passive: consensus (A1B1B1)subscript𝐴1subscript𝐵1subscript𝐵1(A_{1}B_{1}B_{1})( italic_A start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_B start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_B start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) is then reached with probability asuperscript𝑎a^{\prime}italic_a start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT. The overall probability to follow this scenario is hence (1a)(1b)a1𝑎1𝑏superscript𝑎(1-a)(1-b)a^{\prime}( 1 - italic_a ) ( 1 - italic_b ) italic_a start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT.

  2. 2.

    If the state after the first round is (A1B2G2)subscript𝐴1subscript𝐵2subscript𝐺2(A_{1}B_{2}G_{2})( italic_A start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_B start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT italic_G start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ), which happens with probability (1a)b1𝑎𝑏(1-a)b( 1 - italic_a ) italic_b, then the targeted consensus state is (A2B2G2)subscript𝐴2subscript𝐵2subscript𝐺2(A_{2}B_{2}G_{2})( italic_A start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT italic_B start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT italic_G start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ): Alice is now the active citizen, and she is offered to probe either Bob’s or Greg’s perspective. She changes opinion with probability, respectively, a𝑎aitalic_a or b𝑏bitalic_b. Then facilitator hence chooses the perspective which maximizes this probability. Hence, overall, the probability to follow this scenario and end up in the (A2B2G2)subscript𝐴2subscript𝐵2subscript𝐺2(A_{2}B_{2}G_{2})( italic_A start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT italic_B start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT italic_G start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) consensus state is (1a)bmax(a,b)1𝑎𝑏𝑎𝑏(1-a)b\max(a,b)( 1 - italic_a ) italic_b roman_max ( italic_a , italic_b ).

  3. 3.

    3. Finally, the state after the first round may be (A1B1G2)subscript𝐴1subscript𝐵1subscript𝐺2(A_{1}B_{1}G_{2})( italic_A start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_B start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_G start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ), namely both Bob and Greg change opinion while being exposed to Alice’s perspective. This happens with probability ab𝑎𝑏abitalic_a italic_b. The targeted consensus state remains (A1B1G1)subscript𝐴1subscript𝐵1subscript𝐺1(A_{1}B_{1}G_{1})( italic_A start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_B start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_G start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ), and the facilitator has for only option to expose Greg to Bob’s perspective, offering him the opportunity to turn his opinion back to G1subscript𝐺1G_{1}italic_G start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT. This happens with probability asuperscript𝑎a^{\prime}italic_a start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT, so that the overall probability for this scenario is aba𝑎𝑏superscript𝑎aba^{\prime}italic_a italic_b italic_a start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT.

In summary, three of the above scenarios end up in the consensus state (A1B1G1)subscript𝐴1subscript𝐵1subscript𝐺1(A_{1}B_{1}G_{1})( italic_A start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_B start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_G start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ), with total probability p1=a(1b)+(1a)(1b)a+abasubscript𝑝1𝑎1𝑏1𝑎1𝑏superscript𝑎𝑎𝑏superscript𝑎p_{1}=a(1-b)+(1-a)(1-b)a^{\prime}+aba^{\prime}italic_p start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT = italic_a ( 1 - italic_b ) + ( 1 - italic_a ) ( 1 - italic_b ) italic_a start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT + italic_a italic_b italic_a start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT. While the probability to reach consensus state (A2B2G2)subscript𝐴2subscript𝐵2subscript𝐺2(A_{2}B_{2}G_{2})( italic_A start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT italic_B start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT italic_G start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) is given by p2=(1a)bmax(a,b)subscript𝑝21𝑎𝑏𝑎𝑏p_{2}=(1-a)b\max(a,b)italic_p start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT = ( 1 - italic_a ) italic_b roman_max ( italic_a , italic_b ). The total probability to reach consensus over two rounds when both Bob and Greg are active in the first round is hence p1+p2subscript𝑝1subscript𝑝2p_{1}+p_{2}italic_p start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT + italic_p start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT. Recall that if instead only Bob is active in the first round, the probability to reach consensus after two rounds is p0=a+(1a)asubscript𝑝0𝑎1𝑎superscript𝑎p_{0}=a+(1-a)a^{\prime}italic_p start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT = italic_a + ( 1 - italic_a ) italic_a start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT.

Comparison of both scenarios.– We now investigate the possibility that p1+p2p0subscript𝑝1subscript𝑝2subscript𝑝0p_{1}+p_{2}\geq p_{0}italic_p start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT + italic_p start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ≥ italic_p start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT. To simplify the analysis, we consider the case a=a𝑎superscript𝑎a=a^{\prime}italic_a = italic_a start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT, namely Bob’s perspective is as much correlated with Alice’s than with Greg’s. We first consider and b>a𝑏𝑎b>aitalic_b > italic_a, namely the Alice-Bob and Bob-Greg correlation (quantified by a𝑎aitalic_a) is stronger than the Alice-Greg correlation (quantified by b𝑏bitalic_b). A simple calculation shows that in this case, p1+p2=p0+b(1a)(b2a)subscript𝑝1subscript𝑝2subscript𝑝0𝑏1𝑎𝑏2𝑎p_{1}+p_{2}=p_{0}+b(1-a)(b-2a)italic_p start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT + italic_p start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT = italic_p start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT + italic_b ( 1 - italic_a ) ( italic_b - 2 italic_a ). As both b0𝑏0b\geq 0italic_b ≥ 0 and 1a01𝑎01-a\geq 01 - italic_a ≥ 0, we conclude that p1+p2p0subscript𝑝1subscript𝑝2subscript𝑝0p_{1}+p_{2}\geq p_{0}italic_p start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT + italic_p start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ≥ italic_p start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT if and only if b2a𝑏2𝑎b\geq 2aitalic_b ≥ 2 italic_a. When b<a𝑏𝑎b<aitalic_b < italic_a we always find that p0p1+p2subscript𝑝0subscript𝑝1subscript𝑝2p_{0}\geq p_{1}+p_{2}italic_p start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ≥ italic_p start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT + italic_p start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT. In summary, when a=a𝑎superscript𝑎a=a^{\prime}italic_a = italic_a start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT, it is optimal to insist twice on making Bob change opinion if 0b2a0𝑏2𝑎0\leq b\leq 2a0 ≤ italic_b ≤ 2 italic_a; while if b2a𝑏2𝑎b\geq 2aitalic_b ≥ 2 italic_a, it is optimal to have both Bob and Greg active in the first round, allowing to reach any of the consensus states (A1B1G1)subscript𝐴1subscript𝐵1subscript𝐺1(A_{1}B_{1}G_{1})( italic_A start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_B start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_G start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) or (A2B2G2)subscript𝐴2subscript𝐵2subscript𝐺2(A_{2}B_{2}G_{2})( italic_A start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT italic_B start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT italic_G start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ).