lumpability.tex

Paper VI: Transfer Semigroups: Stochastic, Bayesian, Fractional, and PDE Realizations

lumpability.tex

Download original file

This is the original TeX manuscript source. Use the paper’s PDF for typeset equations.

Read the typeset paper

Skip source text

1 \begin{tikzpicture}[x=1cm,y=1cm,>=Stealth,line cap=round,line join=round]
2 \path[use as bounding box] (0,-.6) rectangle (14,4.8);
3 \node[font=\small,align=center,font=\small] at (2.17,4.45) {$8K$};
4 \path[draw=black!30,fill=black!8] (0.65,2.99) rectangle (1.41,3.75);
5 \node[font=\small,align=center,font=\small] at (1.03,3.37) {$5$};
6 \path[draw=black!30,fill=black!8] (1.41,2.99) rectangle (2.17,3.75);
7 \node[font=\small,align=center,font=\small] at (1.79,3.37) {$1$};
8 \path[draw=black!30,fill=black!8] (2.17,2.99) rectangle (2.93,3.75);
9 \node[font=\small,align=center,font=\small] at (2.55,3.37) {$2$};
10 \path[draw=black!30,fill=white] (2.93,2.99) rectangle (3.69,3.75);
11 \node[font=\small,align=center,font=\small] at (3.31,3.37) {$0$};
12 \path[draw=black!30,fill=black!8] (0.65,2.23) rectangle (1.41,2.99);
13 \node[font=\small,align=center,font=\small] at (1.03,2.61) {$1$};
14 \path[draw=black!30,fill=black!8] (1.41,2.23) rectangle (2.17,2.99);
15 \node[font=\small,align=center,font=\small] at (1.79,2.61) {$5$};
16 \path[draw=black!30,fill=white] (2.17,2.23) rectangle (2.93,2.99);
17 \node[font=\small,align=center,font=\small] at (2.55,2.61) {$0$};
18 \path[draw=black!30,fill=black!8] (2.93,2.23) rectangle (3.69,2.99);
19 \node[font=\small,align=center,font=\small] at (3.31,2.61) {$2$};
20 \path[draw=black!30,fill=black!8] (0.65,1.47) rectangle (1.41,2.23);
21 \node[font=\small,align=center,font=\small] at (1.03,1.85) {$2$};
22 \path[draw=black!30,fill=white] (1.41,1.47) rectangle (2.17,2.23);
23 \node[font=\small,align=center,font=\small] at (1.79,1.85) {$0$};
24 \path[draw=black!30,fill=black!8] (2.17,1.47) rectangle (2.93,2.23);
25 \node[font=\small,align=center,font=\small] at (2.55,1.85) {$5$};
26 \path[draw=black!30,fill=black!8] (2.93,1.47) rectangle (3.69,2.23);
27 \node[font=\small,align=center,font=\small] at (3.31,1.85) {$1$};
28 \path[draw=black!30,fill=white] (0.65,0.71) rectangle (1.41,1.47);
29 \node[font=\small,align=center,font=\small] at (1.03,1.09) {$0$};
30 \path[draw=black!30,fill=black!8] (1.41,0.71) rectangle (2.17,1.47);
31 \node[font=\small,align=center,font=\small] at (1.79,1.09) {$2$};
32 \path[draw=black!30,fill=black!8] (2.17,0.71) rectangle (2.93,1.47);
33 \node[font=\small,align=center,font=\small] at (2.55,1.09) {$1$};
34 \path[draw=black!30,fill=black!8] (2.93,0.71) rectangle (3.69,1.47);
35 \node[font=\small,align=center,font=\small] at (3.31,1.09) {$5$};
36 \node[font=\small,align=center,anchor=east,font=\scriptsize] at (0.5,3.37) {0};
37 \node[font=\small,align=center,anchor=east,font=\scriptsize] at (0.5,2.61) {1};
38 \node[font=\small,align=center,anchor=east,font=\scriptsize] at (0.5,1.85) {2};
39 \node[font=\small,align=center,anchor=east,font=\scriptsize] at (0.5,1.09) {3};
40 \node[font=\small,align=center,font=\scriptsize] at (1.03,3.98) {0};
41 \node[font=\small,align=center,font=\scriptsize] at (1.79,3.98) {1};
42 \node[font=\small,align=center,font=\scriptsize] at (2.55,3.98) {2};
43 \node[font=\small,align=center,font=\scriptsize] at (3.31,3.98) {3};
44 \node[font=\small,align=center,font=\small] at (7.56,4.35) {$CK$: aggregate transition columns};
45 \path[draw=black!30,fill=black!8] (5.4,2.57) rectangle (6.48,3.65);
46 \node[font=\small,align=center,font=\small] at (5.94,3.11) {$\frac{3}{4}$};
47 \path[draw=black!30,fill=black!8] (6.48,2.57) rectangle (7.56,3.65);
48 \node[font=\small,align=center,font=\small] at (7.02,3.11) {$\frac{3}{4}$};
49 \path[draw=black!30,fill=black!8] (7.56,2.57) rectangle (8.64,3.65);
50 \node[font=\small,align=center,font=\small] at (8.1,3.11) {$\frac{1}{4}$};
51 \path[draw=black!30,fill=black!8] (8.64,2.57) rectangle (9.72,3.65);
52 \node[font=\small,align=center,font=\small] at (9.18,3.11) {$\frac{1}{4}$};
53 \path[draw=black!30,fill=black!8] (5.4,1.49) rectangle (6.48,2.57);
54 \node[font=\small,align=center,font=\small] at (5.94,2.03) {$\frac{1}{4}$};
55 \path[draw=black!30,fill=black!8] (6.48,1.49) rectangle (7.56,2.57);
56 \node[font=\small,align=center,font=\small] at (7.02,2.03) {$\frac{1}{4}$};
57 \path[draw=black!30,fill=black!8] (7.56,1.49) rectangle (8.64,2.57);
58 \node[font=\small,align=center,font=\small] at (8.1,2.03) {$\frac{3}{4}$};
59 \path[draw=black!30,fill=black!8] (8.64,1.49) rectangle (9.72,2.57);
60 \node[font=\small,align=center,font=\small] at (9.18,2.03) {$\frac{3}{4}$};
61 \node[font=\small,align=center,anchor=east,font=\scriptsize] at (5.25,3.11) {A};
62 \node[font=\small,align=center,anchor=east,font=\scriptsize] at (5.25,2.03) {B};
63 \node[font=\small,align=center,font=\scriptsize] at (5.94,3.88) {0};
64 \node[font=\small,align=center,font=\scriptsize] at (7.02,3.88) {1};
65 \node[font=\small,align=center,font=\scriptsize] at (8.1,3.88) {2};
66 \node[font=\small,align=center,font=\scriptsize] at (9.18,3.88) {3};
67 \node[font=\small,align=center,font=\small] at (7.55,0.6) {Columns 0 and 1 agree; columns 2 and 3 agree.};
68 \node[font=\small,align=center] at (12,3.55) {$\bar K=\begin{pmatrix}3/4&1/4\\1/4&3/4\end{pmatrix}$};
69 \node[font=\small,align=center,text width=2.5cm,font=\small] at (12,1.6) {Fine trajectories differ.\\Coarse predictions agree.};
70 \end{tikzpicture}

Back to source controls

Other PDFs for this work

Original file and source record

This copy matches the recorded source file. Its publication here does not change the work’s review status.

SHA-256: 0168bb4d118842c4e96fa3c8f69a74c46048eff4e089ec98605b3130ef433505

Original source on GitHub

Back to Paper VI: Transfer Semigroups: Stochastic, Bayesian, Fractional, and PDE Realizations