15 papers
Radial Interaction Tomography: Recognizing Non-Transitive Evolutionary Games from One Range-Expansion Image
Faruk Alpay, Baris Basaran
Colored sectors in a microbial range expansion encode more than lineage survival counts. We formulate a computer-vision inverse problem: from one endpoint image of an accretive mul…
Interface-Variant Dynamics in Software Ecosystems: Resolver-Induced Selection and Adoption in Package Graphs
Faruk Alpay, Baris Basaran
Compatibility research usually treats an interface change as a local writer-reader decision. Distributed software stacks make that decision population structured: an RPC, telemetry…
Detector-Output Instability near the Kesten-Stigum Boundary: Separating Hard Readout, Relaxation, and Fixed-Point Dispersion
Faruk Alpay, Baris Basaran
Community-detection algorithms usually return a single partition, even when independent initializations or small data perturbations yield several plausible outputs. We probe this o…
Dipole Diffusion Error in Thin Geometry: Optical Thickness Laws for Grid-Free Subsurface Scattering
Faruk Alpay, Baris Basaran
The dipole and its descendants model subsurface scattering with a radial reflectance profile fitted to a flat, semi-infinite slab. This assumption introduces a systematic geometry…
Self-Verifying Measurement Records: Hash-Linked Evidence Graphs for Hardware Benchmarking
Faruk Alpay, Baris Basaran
Performance numbers reported for hardware are accepted on trust: the reader cannot recompute them, the apparatus is gone, and the silicon itself can be silently wrong, with fleet s…
Residual GPU Cache State on Apple M4 Pro
Faruk Alpay, Baris Basaran
Apple silicon exposes unified CPU-GPU memory, but the cache state left after a completed GPU command is not documented. This paper characterizes that phase boundary on a 14-core Ap…
Naturalness Predicts but Does Not Cause Transferability in Image Encodings of Real-World Streams
Faruk Alpay, Baris Basaran
A common practice converts a one-dimensional signal into an image so that a vision backbone pretrained on natural photographs can be reused for recognition, yet the encoded image i…
Exact Local Annotations for Regular Languages
Faruk Alpay, Baris Basaran
A regular language is recognized by a finite monoid, but a locally checkable explanation of that recognition can have a nontrivial update geometry. We study exact bounded-arity ann…
Non-Uniform L2 Cache Latency Across the Streaming Multiprocessors of an NVIDIA L40
Faruk Alpay, Baris Basaran
The NVIDIA L40 exposes a 96 MiB L2 cache usually modeled as one uniform pool with a single hit latency. We show this is wrong at the granularity a kernel sees: L2-hit latency depen…
Single-Event Upsets in 3D Gaussian Splatting Rendering: Bit-Level Criticality, Spatial Extent, and a Parallel Support Guard
Faruk Alpay, Baris Basaran
Three-dimensional Gaussian splatting is a standard real-time scene representation increasingly deployed on hardware exposed to transient faults, such as spaceborne processors and r…
Rendering Separoid Information: Rate-Distortion Reconstruction of Convex Apartness Scenes
Faruk Alpay, Baris Basaran
A convex scene communicates more than shape: the pattern of which groups of objects are mutually apart and which cross is a discrete relational payload. We treat the apartness tabl…
GPU-Accelerated Search and Certification of Bounded Indistinguishability in Finite Kripke Semantics
Faruk Alpay, Baris Basaran
We study finite Kripke semantics as an explicit search and certification problem for modal formulas. Sets of worlds are encoded as integer bitmasks, so Boolean connectives, ,…
A Calculus of Apartness over Separoids: Effective Convex Representation, Stratified Conservativity, and the Complexity of Entailment
Faruk Alpay, Baris Basaran
Every finite family of compact convex bodies in Euclidean space induces an apartness relation between disjoint index sets: two sets are apart when the convex hulls of the correspon…
Cone-Induced Observation Congruences for Vector-Valued Quantitative Languages
Faruk Alpay, Baris Basaran
We study the observation congruences induced by rational polyhedral cones on vector-valued quantitative languages. The extreme rays of the dual cone define intrinsic covectors, and…
Biprofile Deviation Logic: Report-Replacement Frames and Audit Witnesses
Faruk Alpay, Baris Basaran
Biprofile deviation logic models strategic social choice states as pairs , where is the true profile used for welfare comparisons and is the submitted report profile…