From 82118d79148e1babe4aa2f57f4b12542f7fb1bc3 Mon Sep 17 00:00:00 2001
From: rriyakumar <47288819+rriyakumar@users.noreply.github.com>
Date: Tue, 19 Apr 2022 15:42:41 -0400
Subject: [PATCH] Changes for PTR-BCR-4

Added in the following proof for PTR-BCR-4:


%% Pg. 21, PTR-BCR-2

b = dec2bin(2^6-1:-1:0)-'0';
b1=b(:,1);b2=b(:,2);b3=b(:,3);b4=b(:,4);ba1=b(:,5);ba2=b(:,6);
LHS = min(reshape (b1.*b2.*b3.*b4,2,[]));
RHS = min(reshape (1/2*(4 + b1 + b2 + b3 + b4 - ba1 - 2.*ba2).*(3 + b1 + b2 + b3 + b4 - ba1 - 2.*ba2),2,[]));
isequal(LHS,RHS);
---
 everything_else/reproducing.m | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/everything_else/reproducing.m b/everything_else/reproducing.m
index 8b03efc..f3e8235 100644
--- a/everything_else/reproducing.m
+++ b/everything_else/reproducing.m
@@ -155,6 +155,13 @@
 RHS = 1/2*(b1 + b2 + b3 + b4 - 2*ba1).*(b1 + b2 + b3 + b4 - 2*ba1 - 1);
 
 %% Pg. 21, PTR-BCR-2
+
+b = dec2bin(2^6-1:-1:0)-'0';
+b1=b(:,1);b2=b(:,2);b3=b(:,3);b4=b(:,4);ba1=b(:,5);ba2=b(:,6);
+LHS = min(reshape (b1.*b2.*b3.*b4,2,[]));
+RHS = min(reshape (1/2*(4 + b1 + b2 + b3 + b4 - ba1 - 2.*ba2).*(3 + b1 + b2 + b3 + b4 - ba1 - 2.*ba2),2,[]));
+isequal(LHS,RHS);
+
 %% Pg. 22, PTR-BCR-3 (example appears to be the same as PTR-BCR-1, and may have to be redone)
 %% Pg. 23, PTR-BCR-4 
 %% Pg. 24, PTR-KZ (needs an example!)