# Differentiable Asymmetric Admissibility Layer

- ID: 2348
- Canonical URL: https://synthcore.org/idea/2348/differentiable-asymmetric-admissibility-layer
- API JSON: https://synthcore.org/api/idea/2348.json
- API Markdown: https://synthcore.org/api/idea/2348.md
- Verification status: mech_ok_no_baseline
- Source: [arXiv:2608.15375](https://arxiv.org/abs/2608.15375)
- Category: architecture
- Solves: stability, accuracy, generalization
- ML areas: mlp, rl, world-model, architecture
- Math tags: control-theory, dynamical-systems, optimization, numerical-analysis
- Ratings: usefulness 8/10; difficulty 4/10; novelty 7/10

## Idea description

Replace hard clipping or post-hoc asymmetric saturation with a dynamic output state that remains inside a prescribed asymmetric interval. A neural network emits a command uc, while the realized output u evolves through the APIR vector field, producing bounded actions, temporal smoothing, and gradients that remain available in the interior.

## Mathematical statement

Let u_min < 0 < u_max denote the lower and upper action limits, uc(t) the neural command, p1 > 0 and p2 > 0 realization gains, and gamma an even integer at least 2. For u at least 0, use F(u,uc) = p1 uc [1 - (u/u_max)^gamma] - p2 u. For u below 0, use F(u,uc) = p1 uc [1 - (u/u_min)^gamma] - p2 u. At the upper boundary, F(u_max,uc) = -p2 u_max < 0. At the lower boundary, F(u_min,uc) = -p2 u_min > 0. Therefore the interval [u_min,u_max] is forward invariant for the continuous-time realization. If the command magnitude is bounded by xi, interior equilibrium locations are predicted by the APIR root equations. A sampled neural implementation uses numerical integration with time step dt.

## Key formulas

- F(u,uc) = p1 uc [1 - (u/u_max)^gamma] - p2 u, for u >= 0; F(u,uc) = p1 uc [1 - (u/u_min)^gamma] - p2 u, for u < 0
- F(u_max,uc) = -p2 u_max < 0; F(u_min,uc) = -p2 u_min > 0
- xi [1 - (u_xi_plus/u_max)^gamma] - p2 u_xi_plus = 0
- -xi [1 - (u_xi_minus/u_min)^gamma] - p2 u_xi_minus = 0
- u_(k+1) = u_k + dt F(u_k,uc_k), with uc_k = pi_theta(s_k)

## Implementation notes

Integration point: place the layer after an MLP policy head, transformer action head, or world-model decoder. The network emits an unconstrained command uc, but the layer maintains u as persistent state and returns only u to the environment or downstream model. Use separate u_min and u_max for each action dimension. Pseudocode: compute uc = policy(observation); choose the branch from the current u; set limit to u_max when u is nonnegative and to u_min otherwise; compute d = p1 times uc times [1 minus (u divided by limit) raised to gamma] minus p2 times u; update u = u + dt times d; return u. Use Heun integration or semi-implicit treatment of the p2 term if Euler integration crosses a boundary. Backpropagate through the unrolled recurrence, with truncated backpropagation for long trajectories. The paper supplies the continuous-time invariance argument and equilibrium equations. The implementation must estimate command bounds, discrete-time safety margin, effective lag, and gradient statistics. First experiment: train a two-layer MLP on Pendulum-v1 or a synthetic action-tracking task with u_min = -0.5 and u_max = 1.0. Compare this layer with hard clipping and an asymmetric sigmoid at matched parameter counts. Log boundary violations, action jerk, tracking error, and policy-gradient norms. The prediction is zero continuous-time boundary violations, a measured discrete-time violation rate that becomes zero below a sufficiently small dt, and steady-state actions within 20 percent of the two APIR root equations. Increasing p2 should move the steady state toward the interior and increase restoring behavior; increasing p1 should reduce response lag without changing the invariant limits.

## Verification

- Status: mech_ok_no_baseline
- Mechanism evidence: yes
- Mechanism confirmed: yes
- Practical verdict: inconclusive
- Verdict: Built and ran a self-contained APIR layer experiment with asymmetric limits [-0.5, 1.0] and gamma=4. The mechanism manifested: boundary vector-field identities were exact, equilibria matched numerical roots to 7.2e-13 relative error, Euler violations were zero through dt=0.01 and appeared at dt=0.02, and increasing p1 reduced response time from 0.459 s at p1=2 to 0.093 s at p1=8. APIR had zero boundary violations and much lower jerk than hard clipping, although its tracking MSE was worse than both baselines in this noisy open-loop toy task.

### Mechanism check

- Verdict: Built and ran a self-contained APIR layer experiment with asymmetric limits [-0.5, 1.0] and gamma=4. The mechanism manifested: boundary vector-field identities were exact, equilibria matched numerical roots to 7.2e-13 relative error, Euler violations were zero through dt=0.01 and appeared at dt=0.02, and increasing p1 reduced response time from 0.459 s at p1=2 to 0.093 s at p1=8. APIR had zero boundary violations and much lower jerk than hard clipping, although its tracking MSE was worse than both baselines in this noisy open-loop toy task.
- Confidence: 9/10
- Limitations: This was a synthetic open-loop command-tracking experiment, not Pendulum-v1 or a trained neural policy. No long-horizon RL return, GPU benchmark, Heun or semi-implicit integrator, multidimensional persistent-state module, or end-to-end policy-gradient training was tested; the gradient comparison was a one-step analytical sensitivity sweep rather than learned-policy optimization.

### Practical benchmark

- Paired seeds: 8
- Baseline mean: 0
- Idea mean: 0
- p-value: 0.1077
- Paired wins: 7/8
- Benchmark verdict: no significant win

## Artifacts

- [apir_experiment.py](https://synthcore.org/code/808/apir_experiment.py)
- [bench_report.json](https://synthcore.org/code/808/bench_report.json)
- [report.md](https://synthcore.org/code/808/report.md)
- [report_bench_2026-09-01T110205.md](https://synthcore.org/code/808/report_bench_2026-09-01T110205.md)
- [results.json](https://synthcore.org/code/808/results.json)
- [stage2_apir_bench.py](https://synthcore.org/code/808/stage2_apir_bench.py)
- [Download all files as ZIP](https://synthcore.org/download/808)

## Disclaimer

AI-generated research hypothesis, automatically tested. Not peer-reviewed.