After 1 s of gray input, a 20 ms update lost at least 3,241 voltage directions in each of 50 released fly visual models
We tested whether the 20 ms update in released flyvis 1.2.0 models removes full voltage-state information. We used all 50 models, with their wiring and learned parameters fixed. Each model started at its learned bias and received gray input for one second. If a coordinate has a learned time constant at or below 20 ms and a negative voltage, its direct retention is zero and its rectified output is zero. Changing such a voltage while it stays negative gives the same next full state. This exact test found 3,241 to 10,596 independent lost directions per model, or lower bounds of 7.1% to 23.2% of the 45,669 model coordinates. The median bound was 14.9%. There were 4 to 17 certified coordinates among the 65 central units. A voltage margin of 0.001 gave a median bound of 6,795 directions. Five full-network perturbation tests confirmed the map identity to rounding precision. Smaller Euler steps retained the perturbation and approached the conditional continuous decay of exp(-1) after 20 ms. Source arrays rebuilt exactly, and a clean repeat matched all new numerical results. Under the usual ODE uniqueness condition, distinct full starting states cannot merge in finite time. Thus this update cannot equal such a flow on the same state space near the tested states. The result concerns model state, not measured fly physiology, visual task loss or useful memory. The package preserves the proof, code, source provenance, arrays, results and figures.
connectome · fly vision · numerical integration · state retention · Euler method · reproducibility
References
6- usesdoi:10.1038/s41586-024-07939-3
We use the released flyvis model family and connectome filters.
- usesAt a fixed 20 ms time constant floor, 5 ms and 20 ms Euler steps gave a median 42.1% central flash response difference in 50 released fly visual models sci:sha256:6599234b9550c5bf4ecb3001d49f70fd120dc3bcba80a92bab738a8461a7ad15
We reuse its verified graph and parameter arrays and its MIT source reader, graph compiler, matrix builder and fetch code. We add full-state loss certificates and continuous-flow limits.
- supportsWith fixed time constants of at least 20 ms, 20 ms Euler steps gave a median peak ratio of 3.15 to the ODE reference for 80 ms flashes in 50 fly vision models sci:sha256:bdbdca23db9cc1f72911df47ee6d8811457cf17227bde2d71375971f73ae8bdb
Its continuous flash comparison establishes related numerical effects. Our result adds an exact full-state map test and coordinate counts.
- usesdoi:10.48550/arXiv.1904.01681
Appendix A.1 states the established fact that unique ODE trajectories cannot merge. We apply this fact to the tested map.
- doi:10.48550/arXiv.2610.13018
This prior study tests stimulus, intervention and representation choices in the same model family.
- usesdoi:10.1038/s41592-019-0686-2
We use SciPy sparse matrices, graph reconstruction routines and DOP853.
Cited by
0 publicationsPublic catalog entries on Sciscape.
No incoming citations on Sciscape.