First, a little bit of background: Since 2012, Canada has decided to phase out the penny for its coinage system. Product prices may still use arbitrary cents, especially since prices do not typically include taxes, but cash payments and transactions are now rounded up/down to the closest multiple of 5 cents. For instance, if two products A and B are worth 67¢ and 1\$21¢ respectively, one would have to pay 1\$80¢ to buy them together, instead of their accumulated price 1\$78¢. In this particular instance, the seller wins 2¢ more than expected in the transaction.

With my wife, we were wondering whether a supermarket could manipulate the prices of its products in such a way that the rounded totals translate, on average, into a benefit for the company. Not overly paranoid about it, but a fun problem to think about during the holidays...

In a very simple model, we may assume that a consumer chooses a product uniformly at random within a collection ${\cal A}=\{a_i\}_{i=1}^k$ of products, each being assigned a price $p_i$. Consider now the Markov chain over states $Q=\{q_0, ..., q_4\}$, which 'remembers' the value of the grand total modulo 5¢. Its transitions are $$q_i \to q_{i+a_j\textbf{ mod }5} \text{ with probability } 1/|{\cal A}|, \forall i\in[0,4],\forall j\in[1,k].$$ For non-degenerate collections $\cal A$ (i.e. unless $a \textbf{ mod }5= 0, \forall a\in{\cal A}$), this Markov chain is ergodic but not reversible with respect to the uniform distribution.

Let $G$ be the random variable that denotes the "rounding-off" gain of the supermarket, then its asymptotic expected value can be expressed in term of the stationary distribution $\pi(\cdot)$ of the Markov model, as: $$ \mathbb{E}(G) = \pi(q_1)+2\pi(q_2)-2\pi(q_3)-\pi(q_4).$$

For any given collection ${\cal A}$, it is possible to determine $\pi(\cdot)$ exactly, using a variety of methods (I personally favor basic enumerative combinatorics/singularity analysis *a la* Flajolet/Sedgewick). For any non-degenerate collection ${\cal A}$ ($\exists a\in{\cal A} \text{ such that } a \textbf{ mod }5\neq 0$), I obtained (and subsequently conjecture) that
$$ \pi(q_0) = \pi(q_1) = \pi(q_2) = \pi(q_3)= \pi(q_4) = 1/5.$$

Is there a simple/elegant argument to (dis)prove this conjecture?

A corollary of such a result is that, under these (fairly unrealistic, but amenable to an exact analysis) hypotheses, being a smart supermarket simply wouldn't pay off...