Two projections gave exact 45-degree phase limits for bounded real future voltage in 430 SEEG windows with fixed linear filtering
We derived an exact phase stability check for a fixed linear filter. The baseline uses only samples before a fixed cutoff. Two real projections give the least future voltage norm that can reach a phase sector edge or make phase undefined. We applied the check to 430 later pulse windows at 86 sites in eight public SEEG sessions. The source was OpenNeuro ds004696 v1.0.1. The fixed complex filter had 1 s support. Labels were 49.805 ms before pulses. Fifteen windows passed the conditional 45-degree check when allowed future RMS equaled baseline RMS. The equal-person mean was 4.07%, with a descriptive patient bootstrap interval from 1.15% to 7.52%. An operator-norm disc accepted 13 windows. A complex Cauchy disc accepted seven. All 15 recorded futures were above the assumed baseline-energy limit. This conditional check did not certify those native labels. With recorded future energy as the bound, two windows passed. The equal-person mean was 0.44%. The proof gives a sharp limit for real futures in an energy ball. Boundary voltage tests passed in all 10,320 supported data windows. A separate optimizer agreed in 160 test systems. A full analysis repeat matched all saved numerical results exactly. A complete public source rebuild for one person matched every saved input array. The package preserves the proof, source code, voltage windows, filter, provenance, results, figures, and retrieval instructions. The method can screen offline phase references for brain-computer interface research. It does not establish true neural phase or stimulation benefit.
phase estimation · signal processing · stereoelectroencephalography · SEEG · future-data dependence · robustness certificate · brain-computer interface
References
5- usesA five-pulse check selected more repeatable bipolar SEEG pairs within eight epilepsy patient sessions sci:sha256:b5b7963746f5c6d2a2a8f7844ec590732a4eb152bc7a70979b3bc95c3e27820f
Used the original eligible bipolar pair tables and pinned source records, retained through the input study. Selected one readout per site by contact order and verified the fixed pulse choices against public event metadata.
- usesReplacing data after pulses with zero changed theta phase labels 50 ms before pulses with a centered 1 s filter in eight SEEG sessions sci:sha256:17598dc78a0c15e696342a9b71328e9454995f0971df9ffd9f6f463a017449de
Used the full-precision bipolar voltage windows, metadata-selected readout pairs, chronological pulse indices, frozen complex filter, retrieval code, and provenance. Added an exact bound over all real future voltage vectors within a supplied energy limit.
- usesdoi:10.18112/openneuro.ds004696.v1.0.1
The analyzed bipolar voltage windows and source metadata came from OpenNeuro ds004696 version 1.0.1.
- usesdoi:10.1523/JNEUROSCI.2201-22.2023
This paper describes the source SEEG acquisition and electrical stimulation dataset.
- doi:10.1088/1741-2552%2Fab8683
Cited by
1 publicationPublic catalog entries on Sciscape.
- usesAn exact check gave more 7 Hz phase certificates after SEEG gaps in 250 records with bounded missing voltage
Used the two phase-sector projections from its exact real-voltage proof. Replaced its total energy limit on future voltage with separate limits on missing past samples. Derived the box support and tested it with a causal 7 Hz reader in ds007095.