The full phase moment bound decreased correlation thresholds for all 99,000 cortical pairs. Twenty movie fMRI runs supplied the signals. The data came from ten people in OpenNeuro ds006192 version 1.0.0. Earlier thresholds used a quadratic variance bound. The mean run median decrease was 4.284% at pair error level 0.05. It was 12.470% at pair error level 0.05/4,950. The proof assumes fixed Fourier magnitudes, independent uniform interior phases, and independent fair Nyquist signs. It gives valid two-sided thresholds and a family error bound for one run. Ten million null draws and six million alternative draws tested rejection rates under stated phase models. At phase concentration two, the full bound gave a graph pair rejection rate of 84.794%. The earlier bound gave 55.425%. NORDIC and trimmed signals gave processing checks with the same people. A new source download repeated all 594,000 thresholds. A fixed simulation repeat covered 10% of profiles. Independent series checks covered every stored threshold. Selected checks used 60 decimal digits. The package includes the proof, reusable code, 215 source files, hashes, results, and instructions. Floating point checks are not a formal numerical certificate. Measured-data crossings do not establish neural connections.
Filters: arxiv: math.ST (Statistics Theory) ×
We tested what global HFO ranking AUC can establish about a short SEEG channel list. We counted released STE events at 30 to 60 minutes in 18 public records from OpenNeuro ds005398 version 1.1.3. The list size was ceil(0.10*n). Source seizure onset zone (SOZ) labels were the reference. AUC alone gave a zero SOZ lower bound in 12 records. Each case has a single scored ranking with the same AUC and class counts but no SOZ channel in the list. The observed mean list precision was 30.8%, compared with 15.9% for uniform random selection. We provide exact bounds, proofs, rank witnesses, code, source bytes, and reproduction instructions. All 94 pinned source checks passed. A fresh-source rebuild reproduced all seven numerical files. These results do not establish treatment effects or new-patient performance.
Linear filling shares noise between output rows. We tested a rule that treats these rows as independent in 207 PIOP1 and 224 PIOP2 working memory designs from fixed OpenNeuro sources. The same map acted on retained responses and design rows. Masks were fixed. Retained noise was independent Gaussian noise with known variance one. Geometric mean standard errors were 6.27 percent and 3.72 percent too small. Exact mean null rejection was 6.83 percent and 5.99 percent at a nominal 5 percent cutoff. We prove that an injective linear map preserves retained GLS information when the induced covariance is used. Dense checks under white noise and a fixed AR(1) model matched retained contrast variances in all 431 designs, with relative differences below 8e-14. Fresh downloads matched the source hashes. A separate replay reproduced the numeric outputs. The package contains the fit tool, proof, code, source inputs, fixed versions, hashes, results, and replay commands. These model results do not measure error rates in brain images.
We examined fixed-covariance contrast gain calculations for ds000102 and found no measured covariance bound for five participants whose gains were negative across the tested AR(1) settings. For 182 run-2 designs, an unrestricted positive-definite covariance has a sharp sign threshold K_star=(1+|c|)/(1-|c|), where c is the cosine between contrast columns after common nuisance removal. Every covariance below the threshold preserves the ordinary least-squares sign; at the threshold a construction gives zero, and above it a construction can reverse the sign. The threshold ranged from 1.002983832426255 to 5.99747840679675 (median 1.4013431239841878). All 546 below/at/above threshold GLS checks agreed with the formula within 1e-9; 13 of 910 tested AR(1) cases changed sign. These covariance matrices are inputs, not measurements of image noise. No image-based covariance analysis was done. The source labels conflict, the response model is specified, and participant identity correspondence across releases is uncertain. The repeated designs are not independent participants, and the results do not establish a biological causal effect.
We tested whether a spectrum threshold can limit false correlation calls without simulation to set the threshold. We used public OpenNeuro ds006519 version 1.0.0. The data contain 35 two-second beta windows from 21 participants. Each window has a fixed family of 20 channel pairs. A proof gives a 5% family error limit when Fourier magnitudes are fixed and phases are independent and uniform. We tested 10,000 new null families per record. Each channel kept the same random phase in all its pairs. The mean family false-call rate was 0.66% for the Bessel bound and 4.78% for a phase-rank test. The Bessel threshold was 15% higher than the rank threshold at the median. The bound was conservative. A raw-data rebuild and a second analysis run passed the checks. The package contains the proof, code, Fourier data, figures, source hashes, and retrieval steps. The result applies to the stated phase null. It does not establish neural connections or better BCI performance.
We tested uniform window selection without replacement from fixed posterior EEG power pools. The source was OpenNeuro ds004148 version 1.0.1, with 60 adults, three sessions, and both eye states. The main score was the closed-eye minus open-eye 8–13 Hz log arithmetic mean power contrast. Each state supplied 20 selected windows. The mean expected shift from the full-pool contrast was 0.01975 dB. Its descriptive 95% person bootstrap interval was 0.00748 to 0.03419 dB. A finite pool delete-one correction reduced the shift to 0.00245 dB. Mean absolute pair bias fell from 0.03717 to 0.00334 dB. Mean squared contrast error rose from 0.65563 to 0.68395 dB squared in simulation. This was a 4.32% increase. We give an exact expectation identity, a numerical tool, and a second-order correction proof. The proof does not guarantee zero bias or lower error for general pools. The package preserves all 360 spectra, source hashes, code, results, bootstrap draws, and reproduction instructions. Two fresh source records rebuilt exactly. A full repeat and separate numerical checks passed. The result concerns selection from recorded pools. It does not establish a neural cause, clinical use, or performance on new recordings.
Removal of shared-contact edges after a complete bipolar chain fit left conditional gains between disjoint channels. We proved an exact formula under contact independence. The gain is positive when the target contacts have unequal lag correlations. We used public SEEG from 36 epilepsy patients in OpenNeuro ds004100, version 1.1.3. The model retained contact variances and circular autocovariances and set cross-contact covariance to zero. At 1 to 80 Hz and a nominal 20 ms lag, the mean patient block-median score was 0.000027573 natural log units. The 95 percent patient bootstrap interval was 0.000018658 to 0.000039988. All 36 patient scores were positive. The mean patient fraction of same-chain disjoint edges with gain at least 0.001 was 3.762 percent. Selection of channels with no contact reuse before the fit gave zero off-diagonal gains under the model. The score uses one past value per channel. It does not measure full-history Granger causality or neural direction. The package contains the proof, source code, data moments, all model scores, source records, and a pinned retrieval recipe. All raw feature files and all numeric result files had identical hashes after complete rebuilds.
We tested uniform window selection without replacement in public Parkinson resting EEG from ds002778 version 1.0.5. The main rules selected six medication ON/OFF pairs. The score used C3/C4, 13 through 30 Hz, and average reference. We derived exact selection means and variances with fixed full-pool power weights. The formulas do not require independent EEG windows. At 20 selected windows, the mean session score increased by 70.7 percent. The expected mean ON-minus-OFF contrast changed from -0.000159 to 0.001382. Three of six expected person contrasts changed sign. Recalculation of subset power also gave a positive simulated mean contrast at 20 windows. At five windows, it gave a negative mean where the fixed-power result was positive. The fixed-power formula thus cannot replace the changing power ratio. A distinct-window product score had an expectation that did not depend on the selected count. This property does not prove population unbiasedness. The tool passed 656 exhaustive checks. Fresh extraction reproduced all 30 source derivatives. A full numerical repeat matched all 46 output files byte for byte. The package includes code, proof, derivatives, subset assignments, source hashes, and repeat instructions. These results describe window selection in fixed records. They do not establish a medication effect or neural coupling.
We tested a power-weighted mean frequency in posterior EEG spectra from 60 adults with three visits each. The primary model used closed eyes and fixed 8–13 Hz limits. A lower background and a nonnegative residual sum to each measured spectrum. We held both frequency shapes fixed and reduced residual power to one quarter. The mean centroid change was −0.00047 Hz, with a 95% participant bootstrap interval of −0.03460 to +0.03222 Hz. The primary test showed no clear mean shift. Individual model changes had both signs. Five of 60 people had a change greater than 0.25 Hz in magnitude after averaging their visits. An exact identity and a sharp bound show how relative component power can change the total centroid while the residual centroid stays fixed. The package contains the audit tool, proof, all 360 input spectrum files, all planned checks, 20,000 participant draws, figures, source hashes, and reproduction commands. A new offline run matched all 18 result files by SHA-256. Four complete source EEG downloads rebuilt their stored arrays exactly. The split is a mathematical model. It does not identify a neural source or show a change in neural rhythm frequency. The model results do not establish a causal eye-state effect.
This study tested two interaction terms in the AOMIC PIOP1 gender Stroop task. The terms describe congruency sequence and joint face and word category repetition. They were equal in all 19,665 adjacent pairs from 207 available runs in OpenNeuro ds002785 version 2.0.0. The stated seven-column joint linear model had rank six in every run. A proof shows that a common event transform preserves the equality. Only the sum of the two interaction coefficients can have an estimate without an added restriction. A response-time analysis of 191 participants gave a mean sequence contrast of 17.9 ms. The 95 percent participant bootstrap interval was 6.9 to 29.2 ms. This contrast does not identify a cognitive cause. The result concerns recorded categories, not exact face or word repetition. The package preserves source events, a reusable audit tool, the proof, provenance, results, and reproduction instructions. Independent checks used Boolean logic and exact arithmetic. A second complete offline analysis reproduced all 15 output files byte for byte.