quant-iota's picture
Upload app.py
e50a1d1 verified
# SKA Entropy State Explorer - Architecture Comparison
import torch
import torch.nn as nn
import numpy as np
import matplotlib
matplotlib.use('Agg')
import matplotlib.pyplot as plt
from torchvision import datasets, transforms
import gradio as gr
import io
from datetime import datetime
from PIL import Image
# Load MNIST from local data
transform = transforms.Compose([transforms.ToTensor()])
mnist_dataset = datasets.MNIST(root='./data', train=True, download=False, transform=transform)
class SKAModel(nn.Module):
def __init__(self, input_size=784, layer_sizes=[256, 128, 64, 10], K=50):
super(SKAModel, self).__init__()
self.input_size = input_size
self.layer_sizes = layer_sizes
self.K = K
self.weights = nn.ParameterList()
self.biases = nn.ParameterList()
prev_size = input_size
for size in layer_sizes:
self.weights.append(nn.Parameter(torch.randn(prev_size, size) * 0.01))
self.biases.append(nn.Parameter(torch.zeros(size)))
prev_size = size
self.Z = [None] * len(layer_sizes)
self.Z_prev = [None] * len(layer_sizes)
self.D = [None] * len(layer_sizes)
self.D_prev = [None] * len(layer_sizes)
self.delta_D = [None] * len(layer_sizes)
self.entropy = [None] * len(layer_sizes)
self.entropy_history = [[] for _ in range(len(layer_sizes))]
self.cosine_history = [[] for _ in range(len(layer_sizes))]
self.frobenius_history = [[] for _ in range(len(layer_sizes))]
self.weight_frobenius_history = [[] for _ in range(len(layer_sizes))]
self.net_history = [[] for _ in range(len(layer_sizes))]
self.tensor_net_total = [0.0] * len(layer_sizes)
self.output_history = []
def forward(self, x):
batch_size = x.shape[0]
x = x.view(batch_size, -1)
for l in range(len(self.layer_sizes)):
z = torch.mm(x, self.weights[l]) + self.biases[l]
self.frobenius_history[l].append(torch.norm(z, p='fro').item())
d = torch.sigmoid(z)
self.Z[l] = z
self.D[l] = d
x = d
return x
def calculate_entropy(self):
total_entropy = 0
for l in range(len(self.layer_sizes)):
if self.Z[l] is not None and self.D_prev[l] is not None and self.D[l] is not None and self.Z_prev[l] is not None:
self.delta_D[l] = self.D[l] - self.D_prev[l]
delta_Z = self.Z[l] - self.Z_prev[l]
H_lk = (-1 / np.log(2)) * (self.Z[l] * self.delta_D[l])
layer_entropy = torch.sum(H_lk)
self.entropy[l] = layer_entropy.item()
self.entropy_history[l].append(layer_entropy.item())
dot_product = torch.sum(self.Z[l] * self.delta_D[l])
z_norm = torch.norm(self.Z[l])
delta_d_norm = torch.norm(self.delta_D[l])
if z_norm > 0 and delta_d_norm > 0:
self.cosine_history[l].append((dot_product / (z_norm * delta_d_norm)).item())
else:
self.cosine_history[l].append(0.0)
total_entropy += layer_entropy
D_prime = self.D[l] * (1 - self.D[l])
nabla_z_H = (1 / np.log(2)) * self.Z[l] * D_prime
tensor_net_step = torch.sum(delta_Z * (self.D[l] - nabla_z_H))
self.net_history[l].append(tensor_net_step.item())
self.tensor_net_total[l] += tensor_net_step.item()
return total_entropy
def ska_update(self, inputs, learning_rate=0.01):
for l in range(len(self.layer_sizes)):
if self.delta_D[l] is not None:
prev_output = inputs.view(inputs.shape[0], -1) if l == 0 else self.D_prev[l-1]
d_prime = self.D[l] * (1 - self.D[l])
gradient = -1 / np.log(2) * (self.Z[l] * d_prime + self.delta_D[l])
dW = torch.matmul(prev_output.t(), gradient) / prev_output.shape[0]
self.weights[l] = self.weights[l] - learning_rate * dW
self.biases[l] = self.biases[l] - learning_rate * gradient.mean(dim=0)
def initialize_tensors(self, batch_size):
for l in range(len(self.layer_sizes)):
self.Z[l] = None
self.Z_prev[l] = None
self.D[l] = None
self.D_prev[l] = None
self.delta_D[l] = None
self.entropy[l] = None
self.entropy_history[l] = []
self.cosine_history[l] = []
self.frobenius_history[l] = []
self.weight_frobenius_history[l] = []
self.net_history[l] = []
self.tensor_net_total[l] = 0.0
self.output_history = []
def get_mnist_subset(samples_per_class, data_seed=0):
targets = mnist_dataset.targets.numpy()
rng = np.random.RandomState(data_seed)
images_list = []
for digit in range(10):
all_indices = np.where(targets == digit)[0]
rng.shuffle(all_indices)
for idx in all_indices[:samples_per_class]:
img, _ = mnist_dataset[idx]
images_list.append(img)
return torch.stack(images_list)
def plot_convergence_comparison(history):
if not history:
fig, ax = plt.subplots()
ax.text(0.5, 0.5, "No history yet — run at least one architecture.", ha='center', va='center')
buf = io.BytesIO()
fig.savefig(buf, format='png', bbox_inches='tight')
plt.close(fig)
buf.seek(0)
return Image.open(buf)
colors = plt.cm.tab10(np.linspace(0, 1, max(len(history), 1)))
fig = plt.figure(figsize=(14, 30))
ax1 = fig.add_subplot(311, projection='3d') # L1, L2, L3
ax2 = fig.add_subplot(312, projection='3d') # L1, L2, L4
ax3 = fig.add_subplot(313, projection='3d') # L2, L3, L4
for i, run in enumerate(history):
h = run["entropy_history_norm"]
if len(h) < 3:
continue
H1 = np.array(h[0])
H2 = np.array(h[1])
H3 = np.array(h[2])
H4 = np.array(h[3]) if len(h) > 3 else np.zeros_like(H1)
color = colors[i % len(colors)]
label = f"{run['architecture']} K={run['K']} τ={run['tau']:.2f}"
ax1.plot(H1, H2, H3, color=color, linewidth=1.5, alpha=0.8, label=label)
ax1.scatter(H1[0], H2[0], H3[0], color='green', s=60, zorder=5)
ax1.scatter(H1[-1], H2[-1], H3[-1], color='red', s=60, zorder=5)
for k in range(0, len(H1), max(1, len(H1) // 5)):
ax1.scatter(H1[k], H2[k], H3[k], color='black', s=15, zorder=5)
ax2.plot(H1, H2, H4, color=color, linewidth=1.5, alpha=0.8, label=label)
ax2.scatter(H1[0], H2[0], H4[0], color='green', s=60, zorder=5)
ax2.scatter(H1[-1], H2[-1], H4[-1], color='red', s=60, zorder=5)
for k in range(0, len(H1), max(1, len(H1) // 5)):
ax2.scatter(H1[k], H2[k], H4[k], color='black', s=15, zorder=5)
ax3.plot(H2, H3, H4, color=color, linewidth=1.5, alpha=0.8, label=label)
ax3.scatter(H2[0], H3[0], H4[0], color='green', s=60, zorder=5)
ax3.scatter(H2[-1], H3[-1], H4[-1], color='red', s=60, zorder=5)
for k in range(0, len(H2), max(1, len(H2) // 5)):
ax3.scatter(H2[k], H3[k], H4[k], color='black', s=15, zorder=5)
ax1.set_xlabel("Layer 1 (h/n)", fontsize=8)
ax1.set_ylabel("Layer 2 (h/n)", fontsize=8)
ax1.set_zlabel("Layer 3 (h/n)", fontsize=8)
ax1.set_title("3D Trajectory (L1, L2, L3)\n● start ● end", fontsize=10)
ax1.legend(fontsize=6, loc='upper left')
ax2.set_xlabel("Layer 1 (h/n)", fontsize=8)
ax2.set_ylabel("Layer 2 (h/n)", fontsize=8)
ax2.set_zlabel("Layer 4 (h/n)", fontsize=8)
ax2.set_title("3D Trajectory (L1, L2, L4)\n● start ● end", fontsize=10)
ax2.legend(fontsize=6, loc='upper left')
ax3.set_xlabel("Layer 2 (h/n)", fontsize=8)
ax3.set_ylabel("Layer 3 (h/n)", fontsize=8)
ax3.set_zlabel("Layer 4 (h/n)", fontsize=8)
ax3.set_title("3D Trajectory (L2, L3, L4)\n● start ● end", fontsize=10)
ax3.legend(fontsize=6, loc='upper left')
fig.suptitle("4D Entropy State Trajectories — Architecture Comparison", fontsize=12, y=1.01)
fig.tight_layout()
buf = io.BytesIO()
fig.savefig(buf, format='png', dpi=100, bbox_inches='tight')
plt.close(fig)
buf.seek(0)
return Image.open(buf)
def run_ska(n1, n2, n3, n4, K, tau, samples_per_class, data_seed, history):
layer_sizes = [int(n1), int(n2), int(n3), int(n4)]
neurons_str = ", ".join(str(n) for n in layer_sizes)
K = int(K)
samples_per_class = int(samples_per_class)
data_seed = int(data_seed)
learning_rate = tau / K
inputs = get_mnist_subset(samples_per_class, data_seed)
torch.manual_seed(42)
np.random.seed(42)
model = SKAModel(input_size=784, layer_sizes=layer_sizes, K=K)
model.initialize_tensors(inputs.size(0))
for k in range(K):
outputs = model.forward(inputs)
model.output_history.append(outputs.mean(dim=0).detach().cpu().numpy())
if k > 0:
model.calculate_entropy()
model.ska_update(inputs, learning_rate)
for l in range(len(model.layer_sizes)):
model.weight_frobenius_history[l].append(torch.norm(model.weights[l], p='fro').item())
model.D_prev = [d.clone().detach() if d is not None else None for d in model.D]
model.Z_prev = [z.clone().detach() if z is not None else None for z in model.Z]
num_layers = len(layer_sizes)
# Normalized entropy state at convergence (per neuron per layer)
convergence_state = [
model.entropy_history[l][-1] / layer_sizes[l] if model.entropy_history[l] else 0.0
for l in range(num_layers)
]
# Full normalized entropy history per layer
entropy_history_norm = [
[v / layer_sizes[l] for v in model.entropy_history[l]]
for l in range(num_layers)
]
run = {
"timestamp": datetime.now().strftime("%Y-%m-%d %H:%M:%S"),
"architecture": neurons_str,
"K": K,
"tau": tau,
"samples_per_class": samples_per_class,
"seed": data_seed,
"convergence_state": convergence_state,
"entropy_history_norm": entropy_history_norm,
}
history = history + [run]
# Plot 1: normalized entropy trajectory (current run)
fig1, axes1 = plt.subplots(num_layers, 1, figsize=(10, 3 * num_layers), sharex=True)
if num_layers == 1:
axes1 = [axes1]
for l in range(num_layers):
axes1[l].plot(entropy_history_norm[l])
axes1[l].set_title(f"Layer {l+1} ({layer_sizes[l]} neurons): Normalized Entropy", fontsize=11)
axes1[l].set_ylabel("h / n_neurons")
axes1[l].grid(True)
axes1[-1].set_xlabel("Step Index K")
fig1.suptitle(f"Architecture: [{neurons_str}] | K={K} | τ={tau:.2f}", fontsize=12)
fig1.tight_layout()
fig2 = plot_convergence_comparison(history)
return fig1, fig2, history
def clear_history():
return plot_convergence_comparison([]), []
with gr.Blocks(title="SKA Entropy State Explorer") as demo:
gr.Image("logo.png", show_label=False, height=100, container=False)
gr.Markdown("# SKA Entropy State Explorer")
gr.Markdown("Compare the normalized entropy convergence state across different architectures. Each run is archived and compared.")
with gr.Row():
with gr.Column(scale=1):
n1_input = gr.Slider(8, 512, value=256, step=8, label="Layer 1 — neurons")
n2_input = gr.Slider(8, 512, value=128, step=8, label="Layer 2 — neurons")
n3_input = gr.Slider(8, 256, value=64, step=8, label="Layer 3 — neurons")
n4_input = gr.Slider(2, 64, value=10, step=1, label="Layer 4 — neurons")
k_slider = gr.Slider(1, 200, value=50, step=1, label="K (forward steps)")
tau_slider = gr.Slider(0.1, 0.75, value=0.5, step=0.01, label="Learning budget τ (τ = η.K)")
samples_slider = gr.Slider(1, 100, value=100, step=1, label="Samples per class")
seed_slider = gr.Slider(0, 99, value=0, step=1, label="Data seed")
run_btn = gr.Button("Run & Archive", variant="primary")
clear_btn = gr.Button("Clear History", variant="stop")
gr.Markdown("---")
gr.Markdown("### Reference Paper")
gr.HTML('<a href="https://arxiv.org/abs/2503.13942v1" target="_blank">arXiv:2503.13942v1</a>')
gr.Markdown("""
**Abstract**
We introduce the Structured Knowledge Accumulation (SKA) framework, which reinterprets entropy as a dynamic, layer-wise measure of knowledge alignment in neural networks. Instead of relying on traditional gradient-based optimization, SKA defines entropy in terms of knowledge vectors and their influence on decision probabilities across multiple layers. This formulation naturally leads to the emergence of activation functions such as the sigmoid as a consequence of entropy minimization. Unlike conventional backpropagation, SKA allows each layer to optimize independently by aligning its knowledge representation with changes in decision probabilities. As a result, total network entropy decreases in a hierarchical manner, allowing knowledge structures to evolve progressively. This approach provides a scalable, biologically plausible alternative to gradient-based learning, bridging information theory and artificial intelligence while offering promising applications in resource-constrained and parallel computing environments.
""")
gr.Markdown("---")
gr.Markdown("### SKA Explorer Suite")
gr.HTML('<a href="https://huggingface.co/quant-iota" target="_blank">⬅ All Apps</a>')
gr.Markdown("---")
gr.Markdown("### About this App")
gr.Markdown("Each architecture defines a unique path in the 4D entropy state space. Run multiple architectures and compare their trajectories in 3D projections. A small change in one layer visibly shifts the entire path — architecture is geometry.")
with gr.Column(scale=2):
plot_current = gr.Plot(label="Current Run: Normalized Entropy Trajectory")
plot_comparison = gr.Image(label="4D Entropy State Trajectory")
history_state = gr.State([])
run_btn.click(
fn=run_ska,
inputs=[n1_input, n2_input, n3_input, n4_input, k_slider, tau_slider, samples_slider, seed_slider, history_state],
outputs=[plot_current, plot_comparison, history_state],
)
clear_btn.click(
fn=clear_history,
inputs=[],
outputs=[plot_comparison, history_state],
)
demo.launch(server_name="0.0.0.0", server_port=7860, share=True)