Istar Algebraic Collapse Ising

---
name: istar-algebraic-collapse-ising
description: "iSTAR methodology exploiting algebraic collapse in continuous Ising solvers — detects stabilized coordinates during late-stage simulated bifurcation and eliminates them via variational frozen-set identity, removing 64%+ of dense interaction work."
---

# iSTAR Algebraic Collapse for Ising Solvers

## Description
iSTAR (Ising Stable-set Tail-Aware Reduction) exploits algebraic collapse in continuous Ising solvers during late-stage simulated bifurcation. Detects stabilized coordinates, eliminates saturated variables via variational frozen-set identity, and continues optimization only on the active tail — removing on average 64.4% of dense interaction work.

## Activation Keywords
- iSTAR Ising solver reduction
- algebraic collapse continuous Ising
- simulated bifurcation optimization
- variational frozen-set identity
- continuous Ising tail-aware
- dense interaction elimination
- algebraic reduction Ising solver
- 代数坍缩伊辛求解器
- 连续伊辛优化
- 变分冻结集恒等式

## Core Concepts

### Continuous Ising Solvers
- Embed discrete optimization (Ising model) into continuous dynamical system
- Recover spin configuration by sign readout after dynamics converge
- **Problem**: Dense interaction evaluation gives O(N²)-per-step cost

### Algebraic Collapse
- During late-stage simulated bifurcation, trajectory collapses onto lower-dimensional active subspace
- Saturated coordinates (variables near ±1) can be eliminated exactly
- **Variational frozen-set identity**: Couplings from eliminated variables fold into induced field on unresolved subsystem

### iSTAR Algorithm
1. **Detect**: Identify stabilized coordinates during optimization
2. **Eliminate**: Apply frozen-set identity to remove saturated variables
3. **Continue**: Optimize only on the active tail (remaining unfrozen variables)
4. **Certify**: Online certification ensures baseline solution quality preserved

### Theoretical Guarantees
- Large-parameter recovery proven for external-field quartic model
- Hard-box limit of ballistic confinement recovery
- Robust-margin freezing criterion

## Usage Patterns

### Pattern 1: Applying iSTAR to Ising Optimization
1. Start with standard continuous Ising solver (simulated bifurcation)
2. Monitor coordinate saturation: detect when |x_i| approaches 1
3. Apply variational frozen-set identity to eliminate saturated variables
4. Continue optimization on reduced active subsystem
5. Reconstruct full solution from active tail solution + frozen assignments

### Pattern 2: Certification and Verification
1. Preserve same-seed baseline for verification
2. Check that iSTAR solution matches baseline in all runs
3. Measure work reduction: (N_original² - N_active²) / N_original²

## Instructions for Agents

### Step 1: Set Up Continuous Ising Solver
- Define Ising Hamiltonian H = -Σ J_ij x_i x_j - Σ h_i x_i
- Choose continuous dynamics (simulated bifurcation algorithm)
- Set parameters (external field strength, time step)

### Step 2: Run with iSTAR Detection
- Track coordinate values during optimization
- When |x_i| > threshold (robust-margin criterion): mark as frozen
- Apply frozen-set identity: h'_j = h_j + Σ_{frozen i} J_ij * sign(x_i)

### Step 3: Continue on Active Tail
- Remove frozen variables from system
- Update Hamiltonian with induced fields
- Continue optimization on reduced system
- Repeat until all variables frozen or convergence

### Step 4: Verify Solution Quality
- Reconstruct full spin configuration
- Compare energy with baseline (full system) solver
- Verify all runs match same-seed baseline

## Error Handling

### No Coordinates Saturate
- Problem may not exhibit algebraic collapse
- iSTAR provides no benefit; use standard solver
- Check if parameters are in appropriate regime

### Incorrect Freezing
- Threshold too aggressive: may freeze variables prematurely
- Use robust-margin criterion: require sustained saturation over multiple steps
- Backtrack if solution quality degrades

### Induced Field Computation Error
- Ensure correct sign convention for frozen variable contributions
- Verify h'_j = h_j + Σ J_ij * sign(x_i) is correctly implemented

## Pitfalls
- **Late-stage only**: Collapse occurs during late-stage dynamics, not from the beginning
- **64.4% average**: Work reduction varies by problem instance; G-set benchmark showed this average
- **Certification is key**: Without same-seed baseline verification, cannot guarantee solution quality
- **Not applicable to all Ising variants**: Theoretical guarantees proven for specific models (quartic external field, hard-box limit)

## Resources
- arXiv:2607.05448 — "iSTAR: an algebraic-collapse framework for variational reduction in quantum-inspired continuous Ising solvers"
- Simulated bifurcation algorithm literature
- G-set benchmark for MaxCut

## Related Skills
- `iSTAR-algebraic-collapse-ising` (self-reference for cross-referencing)
- `quantum-optimization-qaoa` (quantum optimization)
- `quantum-inspired-optimization` (quantum-inspired classical optimization)