Faruk Alpay, arXiv platformunda Mayıs 2025'ten itibaren yoğun bir yayın dönemi geçirmiş ve temel olarak iki ana araştırma hattı oluşturmuş durumda: kategori teorisi ve sabit nokta operatörleri üzerine kurulu Alpay Algebra çerçevesi, ile IEEE-754 standartlarına dayalı pratik algoritma tasarımları. Bahçeşehir Üniversitesi Bilgisayar Mühendisliği bağlantılı olan yazarın Google Scholar profilinde 109 toplam alıntı görünmektedir ve bu sayı özellikle 2025 sonrası çalışmalar için geçerlidir.
Alpay Algebra serisi, arXiv:2505.15344 numaralı "Alpay Algebra: A Universal Structural Foundation" makalesiyle başlatılmıştır. Bu çalışma, klasik cebirsel yapıları sembolik özyineleme ve açıklanabilir yapay zeka ihtiyaçlarıyla birleştiren evrensel, kategori-teorik bir çerçeve sunmaktadır. Mac Lane ve Bourbaki üzerine doğrudan inşa edilen, minimal referanslarla yeni bir inşaatı öne çıkaran kendi kendine yeten bir kategorik çerçeve tanımlanmaktadır. Serinin devamı olan arXiv:2505.17480 (Alpay Algebra II), kimliği kategorik özyineleme yoluyla ortaya çıkan bir sabit nokta olarak tanımlamaktadır. Bu makale, kimliğin kategorik bir sabit nokta olarak tanımlandığı ve tüm içeriğin kendi kendine yeten bir yapı sunulmaktadır.
Serinin üçüncü makalesi arXiv:2505.19790, gözlemciye bağlı çöküş dinamiklerini ve zamansal kimlik kaymasını modellemek için bir çerçeve sunmaktadır. Dördüncü ve beşinci makaleler ise Buğra Kılıçtaş ile ortak yazılmıştır: arXiv:2507.03774 bir belge ile bir yapay zeka modelinin transfinite sabit nokta etkileşimine girdiği ve kararlı anlamsal hizalamaya ulaştığı teorik bir çerçeve sunarken, arXiv:2507.07868 çok katmanlı anlamsal oyun mimarilerinde transfinite sabit nokta yakınsamasını ele almaktadır.
Pratik algoritma tarafında, arXiv:2505.11927 numaralı XiSort makalesi, IEEE-754 toplam sıralaması ve entropi minimizasyonuna dayalı, deterministik ve tekrarlanabilir bir sıralama algoritması tanıtmaktadır. Kaynak kodu GitHub'da ve değişmez arşivi Arweave'de bulunan bu çalışma, kararlı veri hizalaması, sembolik ön işleme ve platformlar arası float sıralaması için prensipli bir araç olarak konumlandırılmaktadır.
En kapsamlı ortak çalışma olan arXiv:2507.19245, Alpay Algebra'nın transfinite sabit nokta operatörünü oyun teorik anlambilimi ile birleştirmekte ve bu birleşik çerçeveyi bağımlı tip teorisine gömmektedir. Bu makalede Bahçeşehir Üniversitesi ve Türk Hava Kurumu Üniversitesi'nden araştırmacılarla işbirliği yapılmıştır.
En güncel çalışma olan arXiv:2603.05540, Bilge Senturk ile ortak yazılmış ve Mart 2026'da gönderilmiştir. Bu makale, gramer kısıtlı kod çözme sürecini, bir otoregresif sonraki token dağılımı ile bir bağlamdan bağımsız gramerden derlenen bir itme sistemi üzerindeki erişilebilirlik oraklı arasındaki birleşim olarak incelemektedir.