Pre- and post-selection paradoxes in quantum walks

Many features of single-partite quantum walks can be simulated by classical waves. However, it was recently experimentally shown that some temporal sequences of measurements on a quantum walker do not admit a classical description in terms of macro-realistic theories. Here, we extend this observation and present pre- and post-selection scenarios in quantum walks leading to logical paradoxes. Such paradoxes were recently shown to be equivalent to proofs of contextuality, therefore we provide an additional argument for non-classicality of a quantum walk model. The assumptions behind the claims of non-classicality (including contextuality and violations of macro-realism) are also discussed.


Introduction
In a classical random walk a particle's path is determined by consecutive coin tosses. Such a process generates a diffusive Gaussian spread. A quantum analogue of this process uses a quantum coin and a quantum particle. A unitary coin toss and an outcome dependent shift leave the system in a superposition of moving to the right with the coin showing heads and moving to the left with the coin showing tails. After many unitary coin tosses and shifts a peculiar ballistic spatial distribution is obtained [1,2,3,4,5].
Although the above model arose within quantum physics, it soon became clear that many quantum walk features can be simulated with classical waves [6,7,8,9]. But does it mean that such model does not exhibit any non-classical effects? The answer appears to be negative because in a recent experiment [10] it was shown that single-particle quantum walks can be used to observe a violation of the temporal Bell inequalities of the Leggett-Garg type. This means that, unlike huge classical macroscopic objects, quantum walkers do not admit a macro-realistic description [11].
To further understand classical and quantum features of the quantum walk model one should try to observe within it other effects that are deemed non-classical. Here, we focus on observation of the pre-and post-selection paradoxes [12], that were recently shown to be equivalent to proofs of contextuality [13,14]. In fact, we show that singleparticle quantum walks are natural models to study the pre-and post-selection (PPS) arXiv:1905.13501v1 [quant-ph] 31 May 2019 scenarios since due to their discrete-time dynamics PPS paradoxes can be observed at every time step.
The PPS scenarios are based on preparing (pre-selecting) the system in some state |ψ and later measuring it (post-selecting) in some other state |φ . Next, one tries to predict outcomes of measurements that could be in principle performed after preselection and before post-selection. These counterfactual predictions were shown to lead to bizarre effects, such as the 3-box paradox [15].
Note that PPS scenarios were already discussed in the quantum walk setting. In the seminal work by Aharonov, Davidovich and Zagury [1] it was shown that a particular preparation and well designed measurement can result in a counterintuitive distortion of the spatial probability distribution after a single step. Here, we go further and propose a collection of logical and dynamical pre-and post-selection paradoxes. We show that such paradoxes can occur at every step of the quantum walk. In addition, we show that PPS quantum walks give rise to a peculiar counterfactual discrete-time dynamics.
Finally, we need to mention that by linking non-classical quantum walk features with PPS effects we enter a controversial territory [16,17,18,19,20,21]. It may seem that works [13,14] liberate the PPS effects from at least some controversies by equating it to the well established non-classical feature such as contextuality [22] (or more precisely, as argued in [14], contextuality as defined by Spekkens [23]). Nevertheless, one needs to be aware that the problem of contextuality in quantum physics, as well as the problem of macro-realism [11] studied in the aforementioned quantum walk experiment [10], is itself not free from controversies. We are going to discuss this in more details below.

Discrete-time quantum walks
A discrete-time quantum walk (DTQW) in its standard version consists of a particle, whose position is determined by a single integer (x ∈ Z), and a two-state coin described by a binary variable (c = 0, 1). The state of the system is where α x,c are probability amplitudes. Its evolution is governed by a unitary transformation where I x is the identity operator on the position space, S is a conditional translation operator and C is a coin 'toss' operator. The operator C is often taken to be the Hadamard transformation H  Figure 1. Spatial probability distributions of the Hadamard walk (blue) and the classical random walk (orange) after 100 steps. Both processes start at x = 0 and the initial coin state of the Hadamard walk is 1 hence the corresponding DTQW is dubbed the Hadamard walk. After T steps the initial state |ψ 0 is transformed into The corresponding spatial probability distribution is where I c is the two-dimensional identity operator on the coin space. This distribution differs from the classical Gaussian one (see Fig. 1). Apart from its anti-Gaussian shape, the DTQW distribution is ballistic, i.e., its standard deviation is proportional to T .

Multi-coin quantum walks
Multi-coin quantum walks (MCQWs) were introduced in [24,25]. This time the system consists of a particle and more than one coin. Here, we focus on a special case for which the number of coins is equal to the number of steps T . The state of the system is of the form where each c j = 0, 1. The i-th step of the evolution is governed by a unitary transformation where S i is the position shift conditioned on the i-th coin and C i is the coin toss of the i-th coin. After T steps we get Due to commutation relations between conditional shifts and coin toss operations all of the latter can be applied before the particle starts to move. Note, that for i = j the following holds This allows us to write In fact, coin toss operations can be included in the preparation of the initial state which gives

Walking automaton
From now on we skip coin toss operations and use the initial state |φ 0 . The evolution given by (15) allows us to interpret MCQW as an automaton capable of moving left or right depending on the binary input that is fed into it (see Fig. 2). A bit string encodes a path the automaton is going to follow. For example, the string 00101 . . . fed into the automaton will cause it to move: right, right, left, right, left, . . . If instead of a bit string one prepared a string of qubits (encoded on the initial multi-coin state) then the automaton would go into superposition and would coherently walk along many paths. Note that the string of qubits could be prepared in a multi-partite entangled state. Such a preparation would lead to visible differences in the resulting spatial distribution [26]. Finally, note that if the scenario considers automaton moving all the time left, all the time right, or a superposition of these two possibilities, the MCQW can be replaced by the DTQW in which the coin toss operation C = I c . In this case the path is encoded on a single qubit that is repeatedly fed into the automaton.

Two-state vector formalism
Quantum dynamics of a closed system is usually formulated in the following way. At time t = 0 the system is initialized in a state |ψ 0 , then it evolves for time T , where the evolution is governed by a unitary operator U (T )|ψ 0 = |ψ T , and finally it is measured. If the measurement is represented by a set of projectors {|χ i χ i |}, then after the measurement the state of the system is |χ i with probability p χ i (T ) = | χ i |ψ T | 2 . Note that apart from probabilistic measurement process the evolution of the system is deterministic and time symmetric, therefore it can be reversed U † (T )|ψ T = |ψ 0 . It is commonly accepted that the complete description of the system at time 0 < t < T is given by |ψ t = U (t)|ψ 0 . Hence, given the unitary evolution operator U (t), prior to the measurement the properties of the system are fully determined by the initial conditions |ψ 0 .
However, it was suggested that |ψ 0 may not be enough to describe the properties of the system prior to the measurement [27,12]. It was proposed that one should also take into account the post-measurement state. Let us assume that the result of the measurement was |χ i . In this case one is given two temporal boundary conditions |ψ 0 ≡ |pre , which is called the pre-selected state, and |χ i ≡ |post , which is called the post-selected state. Given two empirical facts, namely that the system was prepared in the state |pre and later measured in the state |post , one infers what were the properties of the system after the preparation and before the measurement. Since the state |pre can be evolved forward in time |pre(t) = U (t)|pre and the state |post can be evolved backward in time |post(t) = U † (T − t)|post , the full description of the system at time t is given by both, |pre(t) and |post(t) . This approach is known as the two-state vector formalism (TSVF) [12].
One of such controversies is related to contextuality. Initially the TSVF was thought to impose direct contextuality of quantum theory in a sense that the probabilities of certain events derived for PPS states (see Eq. (16) below) were shown to depend on which other compatible measurements were performed at the same time [33]. However, Bub and Brown [34] rejected such a possibility by showing that a generalization of this scenario to a spatially separated bipartite setting would imply direct nonlocality of quantum theory allowing for superluminal communication.
Almost two decades later Leifer and Spekkens showed [35] that PPS paradoxes are linked to proofs of contextuality of quantum theory, i.e., an inability of a theory to be described by a non-contextual hidden variable model [22,23]. Interestingly, this inability can occur in theories in which probabilities do not depend on the measurement context, which is a generalization of the no-signalling principle. Quantum mechanics is a flagship example of such a theory. Still, the authors of the above result noted that PPS paradoxes can be simulated by non-contextual theories once measurement disturbance is included [18].
However, recently Pusey [13] and then Pusey and Leifer [14] proved that disturbances caused by quantum measurements are not strong enough to be solely responsible for the PPS paradox and thus such paradox is equivalent to a proof of contextuality. In particular, here we focus on the result presented in [14], where it was shown that the above is true under three specific conditions. These conditions are: 1) non-orthogonality of the pre-selected state and the post-selected one, 2) intermediate measurements cause wave-function collapse according to the von Neumann-Lüders rule, 3) the conditional probabilities assigned to the intermediate measurements are either zero or one.
The name 'logical PPS paradox' originates from condition 3) [35,14]. In this case the possible intermediate measurements are assigned deterministic conditional outcomes. Imagine that at time t one can choose to measure either an event A or an event B. The corresponding measurements are described by pairs of projectors {Π A , I − Π A } and {Π B , I − Π B }, respectively. Moreover, assume that these two events are exclusive, which implies Π A Π B = 0. The conditional probability that event X (X = A, B) is registered at time t, given PPS states, is [12] The logical PPS paradox consists of states {|pre(t) , |post(t) } ( post(t)|pre(t) = 0) and projectors {Π A , Π B } such that probabilities (16) take values either 0 or 1. The paradox occurs when conditional probabilities of both exclusive events are assigned value 1 This happens when Let us recall the renowned 3-box paradox [15]. In this scenario there is no time evolution between pre-and post-selection, i.e., U (t) = I. The system consists of a single particle that can be localized either in box A, or box B, or C and the corresponding quantum states are {|A , |B , |C }. The system is pre-selected in the state and then it is measured and post-selected in the state The probability of post-selection is | pre|post | 2 = 1/9. What if between pre-and post-selection somebody opened box A? According to pre-selection, if the particle was found there, the state of the system would collapse onto |A . If not, the system would collapse onto |Ā = 1 √ 2 (|B + |C ). This collapse rule is known as the von Neumann-Lüders rule. However, since it is guaranteed that the system is post-selected in the state |post and Ā |post = 0 we conclude that the particle would certainly be found in A. This conclusion stems from the conditional probability p(Π A |pre, post) = 1, where Π A = |A A|. But what if somebody opened box B instead of A? Using similar arguments, if the particle was not found in B the state of the system would collapse onto |B = 1 √ 2 (|A + |C ). However, since B |post = 0 we conclude that the particle would be found in B. Again, this stems from the conditional probability p(Π B |pre, post) = 1, where Π B = |B B|. The paradoxical observation is that a single particle is concluded to be in two different boxes at the same time, which according to [14] is also a proof of contextuality.
Before we proceed, let us discuss one important issue mentioned earlier. The works [13,14] show that under certain conditions PPS paradoxes can be equated to proofs of contextuality. This result is probably interpreted by many as an elevation of PPS paradoxes to a level of truly non-classical phenomena. Nevertheless, one needs to be aware that the non-classicality of contextuality [22], as well as non-classicality of violations of macro-realism [11] (observed in the quantum walk experiment [10]), is also a delicate subject. The reason is that both, non-contextuality and macro-realism, rely on an assumption that the measurements only reveal the state of the system. In fact, the same assumption holds for local realism that is tested in Bell scenarios [36].
However, unlike in Bell scenarios, it is much harder to support this assumption since different measurements are done on the same system, not on the spatially separated ones, therefore the system can in principle remember which measurement was performed and adapt its responses to future measurements. One can simulate contextuality and violations of macro-realism on classical systems with additional memory. Therefore, local measurements lead to non-classical phenomena under the assumption that the system has no (or limited) memory [37,38]. This is similar to the Bell scenario assumption that there is no superluminal communication between the subsystems, since violation of local realism can be simulated if classical systems are allowed to communicate (locality loophole is not closed).

Results
We are going to consider MCQWs and DTQWs initialized in the state |pre , then evolving for T steps and finally measured and post-selected in the state |post . Next, we are going to infer what would happen if some measurement was done after the preselection and before the post-selection. Although in principle any measurement can be considered, we limit ourselves to position measurements since they are the most natural ones in the quantum walk model. More precisely, we are going to consider events A, B, . . . that correspond to finding the particle at position x A , x B , . . .. These events will be represented by projectors Π x = |x x| ⊗ I c , where as before I c is the identity on the coin/multi-coin register. Below we present four scenarios.

Scenario 1: Long-distance leaps
We consider an MCQW scenario that partially resembles the 3-box paradox, but is different due to non-trivial time evolution and entanglement between the position and the multi-coin register. Let us pre-select the system in the state where |A , |B and |C are multi-coin states that encode three paths. The particle is initially localized at x = 0 and the multi-coin states, although different, all lead from x = 0 to x = s. The system takes T steps, therefore the encoded paths correspond to bit strings of length T , each having T +s After τ 1 = T 3 steps the system is in the state After Finally, after T steps the system is in the state Next, the system is post-selected in the following state The probability of post selection is | pre(T )|post(T ) | 2 = 1 9 . The state |post(T ) can be evolved backward in time which allows to make counterfactual predictions about the properties of the system for times 0 ≤ t ≤ T . In particular, consider what would happen if one measured the position of the particle at times τ 1 and τ 2 . The backward evolution implies and It is straightforward to evaluate using formula (16) that if at time τ 1 the particle were measured at position x = −T /3 it would definitely be found there. The corresponding conditional probability is p(Π x=−T /3 |pre(τ 1 ), post(τ 1 )) = 1. On the other hand, at time τ 2 the particle would definitely be found at position x = 2T /3, since the respective conditional probability is p(Π x=2T /3 |pre(τ 1 ), post(τ 1 )) = 1.
The above leads to the following paradoxical observation. At time τ 1 the particle was at x = −T /3 and at time τ 2 it was at x = 2T /3. However, the model allows the particle to jump only to neighbouring positions, therefore the distance travelled during the period ∆τ = τ 2 − τ 1 = T 3 could be at most |∆x| ≤ T 3 . Nevertheless, the concluded distance travelled by the particle is greater because ∆x = T . Therefore, between τ 1 and τ 2 the average velocity would have to be v = ∆x ∆τ = 3, i.e., the particle would have to jump three positions at a time.
Note that according to the MCQW model the event corresponding to measuring the particle at x = −T /3 at time τ 1 is exclusive to the event corresponding to measuring the particle at x = 2T /3 at time τ 2 . Although the two events happen at different times, one can easily show their exclusivity using the Heisenberg picture where according to (13) Therefore, the above scenario constitutes a logical PPS paradox which implies contextuality of the MCQW model. Unlike in the 3-box scenario, here the system consists of two elements -position and multi-coin register. It resembles a scenario studied in [29], where a superluminal velocity of a particle was inferred from a proper pre-and post-selection. However, here the effect strongly depends on the form of entanglement between the position and the multi-coin register. This is because the intermediate measurements need to be considered at times when paths corresponding to two different multi-coin states meet at the same location. In this case the corresponding PPS states have Schmidt rank two, whereas in general the evolution takes the system to the state with Schmidt rank three.

Scenario 2: Long-distance oscillations
In the next MCQW scenario we choose The particle is uniformly distributed over even positions in the region 0 ≤ x ≤ 2s and the multi-coin states |RL and |LR are These states lead to oscillations therefore at even time steps the state of the system is the same as (33), i.e., |pre even ≡ |pre , whereas at odd time steps it is Next, assume that after an even number of steps T the system is measured and post-selected in the state The probability of post-selection is pre|post = 1 s+1 . As before, the state |post can be evolved backward in time. One finds that for even time steps |post even ≡ |post , whereas for odd time steps it yields What would be the position of the particle if it were measured at time τ (0 ≤ τ ≤ T )? Given position x (0 < x < 2s + 1) one finds that at arbitrary τ the pre-selected state implies the multi-coin state of the form |RL + |LR , whereas the post-selected state implies |RL −|LR . Since these states are orthogonal the particle cannot be found at these positions. The only possibility is that at even times the particle is at x = 0, whereas at odd times it is at x = 2s + 1. Note that p(Π x=0 |pre even , post even ) = 1 and p(Π x=2s+1 |pre odd , post odd ) = 1. This resembles the effect from the previous example. Although the model allows the particle to move only to neighbouring positions, one predicts that it oscillates between x = 0 and x = 2s + 1 and the period of oscillations is just two steps. As before, these two events are exclusive, therefore the scenario constitutes a logical PPS paradox.
Apart from counterintuitive leaps, the above example exhibits another interesting feature. The pre-and post-selection allows to make definite predictions about the particle's position at all times τ = 0, 1, . . . , T . In other words, for any time step τ there exists at least a single position at which the particle can be found with probability one. Therefore, for each time step one can pick a single position for which the PPS probability is one and create a sequence {x 0 , x 1 , . . . , x T }. Such a sequence (in the above case {0, 2s + 1, 0, . . . , 2s + 1}) is a deterministic description of the particle's trajectory and the underlying process can be interpreted as a counterfactual dynamics. More precisely, although in an actual experiment the measurements are limited only to preand post-selection, one can predict that if at time τ the particle were looked for at position x τ it would be found there with certainty.

Scenario 3: Counterintuitive walks on cycles
In this scenario we consider a DTQW on a 7-cycle in which the particle always travels either to the left, or to the right (or is in a superposition of both possibilities). Therefore, we do not need to use the MCQW model. We are going to show that at each step one can always find two locations on the cycle, x A and x B , such that p(Π x=x A |pre(t), post(t)) = p(Π x=x B |pre(t), post(t)) = 1. The 7-cycle is the smallest cycle for which we were able to find such an effect.
We set To shorten the notation we represent the states in the position Hilbert space as |x = n ≡ |n . The above state represents a particle uniformly spread over all seven positions and over both coin states. The amplitudes have either a phase +1 or −1, which will be discussed in more details in a moment. Recall, that in the beginning we assumed that the coin toss operation is C = I c , therefore the single step of the DTQW consists only of the conditional translation which transforms (40) into The next step leads to and so on. Note that the evolution is periodic, i.e., |pre(7) = |pre(0) and in general |pre(t) = |pre(t+7k) , where k is an arbitrary integer. All seven steps are schematically represented in Fig. 3. Next, assume that after an arbitrary number of steps T the system is post-selected in the state which is an eigenstate of the DTQW single step operator, therefore its backward evolution is trivial |post(t) = |post . This choice allows us to radically simplify our search for PPS paradoxes. In addition, note that | pre(t)|post | 2 = 1 49 for all t. In order to observe logical PPS paradoxes in the above system let us note that the post-selected state is an equal superposition of 14 terms, each having the same phase +1. On the other hand, the pre-selected state, although evolving, is always an equal superposition consisting of eight terms with phase +1 and six terms with phase −1. If the particle were found at some position x, the post-selected state would collapse onto 1 and the pre-selected state would collapse onto 1 where α(x, t), β(x, t) = ±1 are position-and time-dependent phase factors. If the particle were looked for at position x, but were not found there, the corresponding states would collapse onto and The crucial observation is that in order to get p(Π x |pre(t), post) = 1 the following must hold: This can only happen if exactly six of the amplitudes α(x , t) and β(x , t) are +1 and the remaining six are −1. However, this implies that if the particle were found at x the pre-selected state and post-selected state would collapse onto the same state (44). In simple words, the following rule applies: in order to get p(Π x |pre(t), post) = 1 the phases of the amplitudes corresponding to |x ⊗ |0 and |x ⊗ |1 in the state |pre(t) need to be both +1. Using this rule one can easily find logical PPS paradoxes using the schematic representation of the evolution in Fig. 3. In this figure the positions for which the particle would be found with certainty are marked with + + . The PPS paradox requires that p(Π x |pre(t), post) = 1 for at least two positions. One can easily find that if at time t one were given a choice to look for the particle at a single position one would find it with certainty at • 1 and 4 for t = 7k, • 3 and 7 for t = 7k + 1, • 5 and 6 for t = 7k + 2, • 4 and 5 for t = 7k + 3, • 3 and 7 for t = 7k + 4, • 2 and 6 for t = 7k + 5, • 1, 2 and 5 for t = 7k + 6.
The paradoxical observation is that at all times the particle seems to be in more than one position simultaneously. Moreover, just like in the previous example, one can also choose a sequence of positions {x 0 , x 1 , . . . , x T } describing a counterfactual dynamics. However, unlike in the previous case, this time there is more than one such sequence, because for each time step one can pick one of two, or three, positions. For example, for T = 7 there are 3 × 2 6 = 192 different sequences. What is important, none of them describes a particle hopping one step to the right, or left, since there is always at least one counterintuitive leap, like {1, 7, 6, 5, 3, 2, 1}. Finally, even though the actual evolution is periodic, the counterfactual dynamics does not need to be so. For example, for T = 14 one can choose the following sequence {1, 7, 6, 5, 3, 2, 1, 1, 3, 5, 4, 7, 6, 2}.

Scenario 4: Walks on disconnected graphs
In the final example we consider a DTQW on three disconnected 3-cycles, call them A, B and C. As in the previous example, the coin toss operator is I c , therefore the one step evolution operator consists solely of a conditional shift where x X denotes the position x on the 3-cycle X (e.g. 1 A means position x = 1 on the 3-cycle A) and we assume periodic boundary conditions x X ≡ x X mod 3. The above dynamics does not allow to hop from A to B, etc. However, we are going to show a PPS paradox for which the particle can be at two or three different cycles at the same time and can hop between them. This resembles the paradox of a disappearing and reappearing particle [32]. Let us pre-select the state of the system in a uniform superposition It evolves into . The schematic representation of the DCQW evolution on three 3-cycles for the pre-selected state (50). The notation is the same as in Fig. 3.
and then into The evolution is periodic and the period is three |pre(t + 3k) ≡ |pre(t) . It is schematically represented in Fig. 4, where we used the same notation as in the previous example.
After T steps let us post-select the system in the state Just like in the previous example, the post-selected state is the eigenstate of the evolution and | pre(t)|post | 2 = 1 81 for all t. The mechanism behind the PPS paradox is also the same as before. The post-selected state is an even superposition with 18 terms, each having phase +1, whereas the pre-selected state, although evolving, is always an even superposition with ten terms having phase +1 and eight terms having phase −1. Therefore, measurement of the particle at a position x, for which both coin states have phases +1, i.e., |x ⊗ (|0 + |1 ), will always have a conditional probability p(Π x |pre(t), post) = 1. In Fig. 4 such positions are marked by + + . With the help of this graphical representation it is easy to see that if at time t one were given a choice to look for a particle at a single position one would find it with certainty at • 3 A , 3 B and 3 C for t = 3k + 1, • 2 A and 3 C for t = 3k + 2.
The above gives rise to a logical PPS paradox since the particle could be found with certainty at more than one position.
In addition, in the counterfactual dynamics the particle can hop between the 3-cycles, which is not allowed in the actual dynamics. Apart from intuitive periodic counterfactual dynamical sequences of positions, like {1 A , 3 A , 2 A , 1 A , 3 A , 2 A , . . .}, one can find counterintuitive aperiodic ones, like {1 B , 3 C , 2 A , 1 A , 3 B , 3 C , . . .}.
Finally, let us note that although the actual dynamics of the system does not allow to hop between the 3-cycles both pre-selection and post-selection require a joint measurement on all 3-cycles. If preparation and final measurement were limited to a single cycle only, one would never be able to observe the above paradoxical situation.

Conclusions
We showed that logical PPS paradoxes can be observed in quantum walks, which implies contextuality of the model [13,14]. This supports the result in [10] that single-partite quantum walk dynamics is non-classical, however we clearly pointed out that such a claim requires specific assumptions (no hidden memory in the system). The discretetime evolution allows to make paradoxical predictions at every time step and for natural position measurements, which makes quantum walks well suited models to study such effects. The reason is that logical PPS paradoxes require that |pre(t) and |post(t) are of a special form. Discrete dynamics allows to jump from one pair of such states to another in one step, whereas continuous-time dynamics transforms continuously one pair into the other. Therefore, if one is restricted solely to compatible discrete-outcome measurements, the logical paradox cannot be observed while the transformation takes place.
In addition, we were able to define time sequences of position measurements that would certainly detect the particle, if an intermediate measurement was performed. We suggested that such sequences can be interpreted as counterfactual dynamics. Apart from counterfactual description, the question remains whether such dynamics can provide any additional insight into the system's behaviour.
Finally, although for a simplicity of the presentation we chose to consider a special type of quantum walks in which the coin degree of freedom does not evolve, we note that one can also construct PPS logical paradoxes in standard quantum walks. A simple example is a Hadamard walk on 3-cycle. If at t = 0 the system was prepared in the state |pre(0) = 1 √ 6 (|1 + |2 + |1 ) ⊗ (|0 + |1 ) and at t = 3 it was measured in the state then if at time 0 ≤ t ≤ 3 one were given a choice to look for a particle at a single position one would find it with certainty at • 2 and 3 for t = 0, • 1 and 3 for t = 1, • 2 for t = 2, • 3 for t = 3.