collaborators

7 papers

cs.LO2026

Spectral Stability, Fatou Basin Contraction, and Machine-Checked Multipliers in Holomorphic Extensions of Generalized Syracuse Dynamics

Volkan Dağlı, Zerrin Dağlı, Dağhan Dağlı +2

We embed the Syracuse operator (even ), (odd ) and the Collatz map into via entire functions of exponential type : $f(z)…

cs.CC2026

Bipartite Carrier Compression and Machine-Certified Bounds in Schönhage Trilinear Multiplication Tensors

Volkan Dağlı, Zerrin Dağlı, Dağhan Dağlı

Under the conditional framework breaking the longstanding O(n log n) integer multiplication barrier (originating from OpenAI Preprint #109), the asymptotic time complexity exponent…

cs.LO2026

Machine-Checked Computational Group Theory in Lean 4: Operational Schreier-Sims Stabilizer Chains, BSGS Sifting, and Backtrack Ordered Partitions

Volkan Dağlı, Zerrin Dağlı, Dağhan Dağlı

We present gap-lean4-port (Release v0.2.0), a machine-checked formalization of foundational algorithms in computational discrete algebra and permutation group theory within the Lea…

cs.LG2026

Zero-Storage Procedural Neural Synthesis via Boundary Dynamics: Formal Verification in Lean 4 and Bare-Metal Gauntlet Validation

Volkan Dağlı, Zerrin Dağlı, Dağhan Dağlı

Contemporary neural inference architectures rely on dense floating-point weight matrices stored in high-bandwidth memory (VRAM), incurring severe memory-wall bottlenecks and preven…

cs.CR2026

Werracle: Sub-Cent Intra-Block AI Reflex Oracles and Flash-Loan Circuit Breakers for EVM Smart Contracts

Volkan Dağlı, Zerrin Dağlı, Dağhan Dağlı

Contemporary on-chain artificial intelligence (AI) encounters an intractable Von Neumann memory and latency wall. Storing static floating-point neural weight matrices inside Ethere…

cs.NE2026

Orbital Error Dynamics: Self-Organized Criticality, Ephemeral Parameter Resonance, and Non-Linear Biological Ontologies in Zero-Storage Neural Synthesis

Volkan Dağlı, Zerrin Dağlı, Dağhan Dağlı

Modern deep neural networks treat parameters as static floating-point matrices stored in physical memory, incurring Von Neumann memory bottlenecks and representation collapse. We f…

cs.NE2026

Universal Fractal Natural Language Decision Map: Real-Time Edge Triage Across Heterogeneous Domains

Volkan Dağlı, Zerrin Dağlı, Dağhan Dağlı

Deploying Large Language Models for runtime operational triage incurs prohibitive latency (>100-500 ms), high VRAM requirements (>4-8 GB), and excessive energy dissipation. Extendi…