Updated logbook

Author: bwbush

Logbook.md

@@ -1,5 +1,16 @@
 # Leios logbook
 
+## 2025-10-11
+
+### Parameter-sweep experiment for Markovian model
+
+We completed the first set of experiments using the [Markovian model for Leios efficiency](analysis/markov/).
+
+|   |   |
+|---|---|
+| ![Committee and quorum without adversary](analysis/markov/experiments/Committee%20and%20quorum%20without%20adversary.svg) | ![Ideal conditions with adversary](analysis/markov/experiments/Ideal%20conditions%20with%20adversary.svg) |
+| ![Non-ideal network without adversary](analysis/markov/experiments/Non-ideal%20network%20without%20adversary.svg) | ![Protocol parameters without adversary](analysis/markov/experiments/Protocol%20parameters%20without%20adversary.svg) |
+
 ## 2025-10-10
 
 ### Extended analysis of ledger operations

analysis/markov/.gitignore

@@ -2,4 +2,3 @@
 .ipynb_checkpoints/
 experiments/*.csv.gz
 experiments/*.png
-experiments/*.svg

analysis/markov/experiments.ipynb

@@ -282,6 +282,18 @@
     "ggsave(paste0(\"experiments/\", label, \".png\"), units=\"in\", dpi=150, width=8, height=6)"
    ]
   },
+  {
+   "cell_type": "code",
+   "execution_count": 7,
+   "id": "b23a123b-d492-4d18-aaf6-501d7aae143a",
+   "metadata": {
+    "tags": []
+   },
+   "outputs": [],
+   "source": [
+    "ggsave(paste0(\"experiments/\", label, \".svg\"), units=\"in\", dpi=150, width=8, height=6)"
+   ]
+  },
   {
    "cell_type": "markdown",
    "id": "561f0810-7f2d-4213-a27a-016062f1ed66",
@@ -292,7 +304,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 7,
+   "execution_count": 8,
    "id": "9860e012-63de-4df1-bc79-5aa6d420b132",
    "metadata": {
     "tags": []
@@ -304,7 +316,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 8,
+   "execution_count": 9,
    "id": "017e4ada-caf6-41fc-b79c-5e07f781c3ef",
    "metadata": {
     "tags": []
@@ -340,7 +352,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 9,
+   "execution_count": 10,
    "id": "356a1173-ee05-441c-82c4-04cdef1cd046",
    "metadata": {
     "tags": []
@@ -350,6 +362,18 @@
     "ggsave(paste0(\"experiments/\", label, \".png\"), units=\"in\", dpi=150, width=8, height=6)"
    ]
   },
+  {
+   "cell_type": "code",
+   "execution_count": 11,
+   "id": "1962603e-adf3-4231-8268-f507368f4395",
+   "metadata": {
+    "tags": []
+   },
+   "outputs": [],
+   "source": [
+    "ggsave(paste0(\"experiments/\", label, \".svg\"), units=\"in\", dpi=150, width=8, height=6)"
+   ]
+  },
   {
    "cell_type": "markdown",
    "id": "684f9824-5a58-4a08-98af-63a6fe5dd4b1",
@@ -360,7 +384,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 10,
+   "execution_count": 12,
    "id": "62e52cfe-cfd8-4f01-a269-366140928429",
    "metadata": {
     "tags": []
@@ -372,7 +396,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 11,
+   "execution_count": 13,
    "id": "ce297a53-8f47-4cee-9428-51545c69de6c",
    "metadata": {
     "tags": []
@@ -408,7 +432,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 12,
+   "execution_count": 14,
    "id": "d726fd28-997b-4cc6-b499-7998b0bcfaf6",
    "metadata": {
     "tags": []
@@ -418,6 +442,18 @@
     "ggsave(paste0(\"experiments/\", label, \".png\"), units=\"in\", dpi=150, width=8, height=6)"
    ]
   },
+  {
+   "cell_type": "code",
+   "execution_count": 15,
+   "id": "b4957b2e-1018-4981-a2f4-f7c84924c106",
+   "metadata": {
+    "tags": []
+   },
+   "outputs": [],
+   "source": [
+    "ggsave(paste0(\"experiments/\", label, \".svg\"), units=\"in\", dpi=150, width=8, height=6)"
+   ]
+  },
   {
    "cell_type": "markdown",
    "id": "9ef76a6c-8656-4ed4-8fdc-8ae7916ce1ec",
@@ -428,7 +464,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 13,
+   "execution_count": 16,
    "id": "8cda9210-5cbb-4ae2-8cba-82c67e5222d6",
    "metadata": {
     "tags": []
@@ -440,7 +476,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 14,
+   "execution_count": 17,
    "id": "36cfb535-f1ef-46dd-b127-a2d613f139ca",
    "metadata": {
     "tags": []
@@ -476,7 +512,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 15,
+   "execution_count": 18,
    "id": "7340a57b-ea46-480c-adbf-149fac506ee8",
    "metadata": {
     "tags": []
@@ -485,6 +521,18 @@
    "source": [
     "ggsave(paste0(\"experiments/\", label, \".png\"), units=\"in\", dpi=150, width=8, height=6)"
    ]
+  },
+  {
+   "cell_type": "code",
+   "execution_count": 19,
+   "id": "ebeded55-1d7d-46c9-801b-c59a2c2fa77e",
+   "metadata": {
+    "tags": []
+   },
+   "outputs": [],
+   "source": [
+    "ggsave(paste0(\"experiments/\", label, \".svg\"), units=\"in\", dpi=150, width=8, height=6)"
+   ]
   }
  ],
  "metadata": {