Yapılandırılmış bilişsel çalışma olarak güzellik — eksiksiz matematiksel çekirdek

Bu, slogan değil gerçek mekanizmayı isteyen okuyucular için yazılmış olan TITI'nin bilimsel katmanıdır. Fabrikanın diğer her şeyi yayınladığı gibi, motorun estetik çekirdeğini de eksiksiz olarak, formülleriyle ve neyi iddia edip neyi etmediğine dair açık bir çerçeveyle ortaya koyar. Merkezi iddia bir yeniden çerçevelemedir. Güzellik, bir nesnenin statik, skaler bir özelliği olarak ele alınmaz. Nesne kaynaklı bir potansiyel alanın, gözlemcinin öngörücü modeli üzerinde, bir bilgi manifoldundaki yörünge boyunca, sınırlı disipasyon ve evre uyumu altında gerçekleştirdiği yapılandırılmış bilişsel çalışma olarak modellenir. Model, beynin kanıtlanmış bir fiziksel yasası olarak değil, tutarlı bir teorik çerçeve ve teşhis aracı olarak sunulmaktadır. Amacı operasyoneldir: estetik deneyimi ölçülebilir tasarım hipotezlerine — bilişsel maliyet, yapılandırılmış gizem, evre hizalaması, yorumlama kapasitesi ve yörüngenin kendi değerine — dönüştürmektir.

Ontoloji: nesne, özne ve model uzayında bir yol

Estetik bir nesne — bir görüntü, bir müzik parçası, bir arayüz, bir bina, bir marka sistemi, hatta matematiksel bir formül — kendi başına asla güzel olarak değerlendirilmez. Bunun yerine nesne, gözlemcinin içsel öngörücü modeller uzayında bir alan indükler. Özne, sabit bir tercih vektörü olarak değil, içsel model durumlarına sahip öngörücü bir bilişsel sistem olarak temsil edilir. Model durumu, manifold üzerinde bir noktadır,

m(t)\in\mathcal{M}

ve estetik deneyim, gözlemci nesneyle etkileşime girerken bu durumun bir yörüngesidir:

\gamma(t):[0,T]\to\mathcal{M},\qquad \gamma(0)=m_{0},\ \ \gamma(T)=m_{T}

Bu ilk ve taşıyıcı adımdır: estetik değer sadece nesnenin değil, gözlemcinin modelinin katettiği yolun bir özelliğidir.

Bilgi manifoldu ve Fisher-Rao metriği

Gözlemcinin içsel modelleri parametrik bir dağılımlar ailesi olarak kabul edilir, bu nedenle model uzayı istatistiğin doğal geometrisini taşır. Metrik, Fisher bilgi matrisidir:

g_{ij}(\theta)=\mathbb{E}_{x\sim p(x\mid\theta)}\!\left[\frac{\partial\log p(x\mid\theta)}{\partial\theta_{i}}\,\frac{\partial\log p(x\mid\theta)}{\partial\theta_{j}}\right]

Bu metrik, gözlemcinin birbirine yakın öngörücü durumları ayırt etmesinin ne kadar zor olduğunu ölçer. Fisher-Rao metriğine göre birbirine yakın olan durumlar arasında düşük bilişsel maliyetle geçiş yapılabilir; birbirinden uzak durumlar ise daha fazla çalışma gerektirir. Bu nedenle estetik mesafe düz değildir — aynı görsel fark, içsel manifoldları farklı eğriliklere sahip olduğu için bir gözlemci için kolay, diğeri için zor olabilir. İki bilişsel durum arasındaki mesafe jeodezik uzunluktur:

D_{g}(m_{a},m_{b})=\inf_{\gamma}\int_{0}^{T}\!\sqrt{g_{ij}(\gamma(t))\,\dot{\gamma}^{i}(t)\,\dot{\gamma}^{j}(t)}\;dt

Nesne kaynaklı estetik potansiyel

Nesne, model uzayı üzerinde skaler bir potansiyel alan indükler. Her bir model durumunda bu değer, nesnenin yarattığı çözülmemiş serbest enerji gerilimini, öngörücü uyumsuzluğu veya yorumlama potansiyelini temsil eder. Gözlemci modelinin nesne girdisine göre varyasyonel serbest enerjisi ile özdeşleştirilebilir:

\Phi_{O}:\mathcal{M}\to\mathbb{R},\qquad \Phi_{O}(m)=\mathcal{F}(O,m)

Bu durum bilinçli olarak Serbest Enerji İlkesi (Free Energy Principle) ile çakışmaz. Bu ilke, bir organizmanın homeostasiyi korumak için serbest enerjiyi nasıl en aza indirdiğini sorgular; buradaki soru ise bir nesnenin serbest enerji manzarasında bir yörüngeyi nasıl şekillendirerek yolun bilişsel açıdan değerli, evre uyumlu ve önemsiz bir şekilde çözülmemiş kalmasını sağladığıdır. Motor, mümkün olan en düşük serbest enerjiyi ödüllendirmez — zengin bir manzara boyunca yapılandırılmış hareketi ödüllendirir. Nesnenin yorumlama üzerinde uyguladığı kuvvet, potansiyelin metrik gradyanıdır:

F_{\mathrm{aest}}=-\nabla_{g}\Phi_{O},\qquad (\nabla_{g}\Phi)^{i}=g^{ij}\frac{\partial\Phi}{\partial q^{j}}

Sıkıcı bir nesne sığ ve sıradan bir alana; kaotik bir nesne uyumsuz bir alana; bir başyapıt ise derin, yapılandırılmış, çoklu çekicili bir alana sahiptir.

Gürültüden ayrıştırılmış yapılandırılmış gizem

Sürpriz zamanla söner — eğer güzellik sadece sürprizden ibaret olsaydı, tanıdık bir başyapıt tüm değerini yitirirdi. Bu yüzden modelin statik ama yapılandırılmış bir bileşene ihtiyacı vardır. Yorumlama katmanları istatistiksel olarak bağımlı olduğundan, basit bir ağırlıklı toplam mükerrer sayıma yol açar; düzeltilmiş form entropi zincir kuralını kullanır:

H_{\mathrm{mystery}}(O,S)=H(L_{1})+\sum_{i=2}^{n}H\!\bigl(L_{i}\mid L_{i-1},\dots,L_{1}\bigr)

burada L_1, L_2, …, L_n yorumlama katmanları kompozisyonel, sembolik, bağlamsal, arketipsel, kültürel ve daha yüksek dereceli yorumlama belirsizliğini taşır (semboller, entropinin entropisi şeklinde bir okumayı önlemek için H_i yerine L_i olarak yazılmıştır). Her bir koşullu terim, yalnızca alt katmanlar hesaba katıldıktan sonra geriye kalan yapılandırılmış belirsizliği ekler, böylece hiçbir şey mükerrer sayılmaz. Gizem, gürültüden kesin bir şekilde ayrılır. Gürültü, tutarlı bir yorum eklemeden maliyeti artıran sıkıştırılamaz bir rastgeleliktir; gizem ise daha fazla yoruma davet eden, sıkıştırılabilir ancak henüz tüketilmemiş bir yapıdır:

H_{\mathrm{mystery}}=H_{\mathrm{total}}-H_{\mathrm{noise}}-H_{\mathrm{resolved}}

Üretken yorumlama kapasitesi

Bir nesnenin bir öznede oluşturduğu kararlı yorumlar kümesi yorumlama uzayı olsun; her bir kararlı yorum, gözlemcinin bilişsel dinamiklerinin bir çekicisi olsun. Yorumlama hacminin üretici karmaşıklığına olan basit oranı, üretici sıradan olduğunda ıraksar — bu da rastgele çağrışım tetikleyicilerini yapay olarak sonsuz değerliymiş gibi gösterir. Düzenlileştirilmiş form bunu düzeltir ve tutarlı zenginliği ödüllendirir:

\mathrm{GIC}^{*}(O,S)=\frac{\mathrm{Vol}\bigl(\Omega(O,S)\bigr)\cdot \mathrm{Coh}(\Omega)}{K_{\mathrm{gen}}(O)+\varepsilon}

Bu orandaki terimler isimlendirilmiştir ancak henüz kesin olarak sabitlenmemiştir: yorumlama hacmi Vol(Ω) ve üretici karmaşıklığı K_gen — ister Kolmogorov karmaşıklığı, ister açıklama/uygulama uzunluğu, ister bileşen sayısı veya bir bağımlılık grafiği ölçüsü olarak gerçekleştirilsin — her ortama göre operasyonel hale getirilmelidir. Yazıldığı şekliyle bu oran, bitmiş bir kestirici değil, iyi yapılandırılmış bir hipotezdir; kapanış çerçevesi bu ayrımı açık tutar.

Uyum faktörü, rastgele çağrışım patlamalarını cezalandırır: yüksek değer, çok sayıda bağımsız çağrışım değil, birçok yorum ve bunlar arasında yapılandırılmış bir uyum gerektirir. Üstel ifadenin boyutsuz olması için karakteristik bir yorum mesafesi ölçeği olan τ ile normalize edilir ve ortalama, tüm kararlı yorum çiftleri üzerinden alınır:

\mathrm{Coh}(\Omega)=\exp\!\left(-\frac{1}{\tau}\,\mathbb{E}_{i,j}\bigl[D_{g}(x_{i}^{*},x_{j}^{*})\bigr]\right),\qquad \mathbb{E}_{i,j}[\,\cdot\,]=\frac{1}{\mathrm{Vol}(\Omega)^{2}}\int_{\Omega}\!\int_{\Omega}(\cdot)\,d\mu(x_{i}^{*})\,d\mu(x_{j}^{*})

Evre uyumu — zamanlama, zamanlamanın var olduğu yerde

Her dinamik estetik özellik, karmaşık bir genlik ve evre sinyali olarak yazılır. Evre bir metafor değildir: yalnızca gerçek zamanlama, ritim veya salınımın olduğu durumlarda kabul edilir — müzik, animasyon zamanlaması, kaydırma ritmi, sakadik zamanlama, etkileşim gecikmesi, görünme zamanlaması, dikkat döngüleri.

z_{k}(t)=A_{k}(t)\,e^{i\theta_{k}(t)}

Nesne ve özne dinamik durumlarını bir Hilbert uzayında temsil eden normalize edilmiş evre uyumu, bunların sınırlı iç çarpım hizalamasıdır:

\mathrm{PC}(O,S,t)=\frac{\bigl|\langle z_{O}(t),z_{S}(t)\rangle\bigr|}{\lVert z_{O}(t)\rVert\,\lVert z_{S}(t)\rVert},\qquad 0\le \mathrm{PC}\le 1

Dinamik sistemler için bu, gerçek zamanlama hizalamasını ölçer — bir arayüzde, yüksek evre uyumu; hareket, ortaya çıkma ve tepkinin tam olarak kullanıcının dikkati onları almaya hazır olduğunda gerçekleşmesi anlamına gelir. Statik bir yapıt için evre doğrudan uygulanmaz: yalnızca yapıtın indüklediği dikkat yörüngesi üzerinden — gözün kompozisyonu okuma sırası ve katmanlarının zaman içinde açılmasıyla — dahil olur. Bu tür bir dikkat sıralamasının ölçülemediği durumlarda, evre uyumu hareketsiz bir görüntüye zorla uygulanmak yerine yapısal hizalama ile ikame edilir.

Hamiltonian formülasyonu

Bilişsel model konumu genelleştirilmiş koordinat olarak alındığında, genelleştirilmiş bilişsel momentum, manifoldun yerel eğriliği ile ağırlıklandırılmış hızdır — böylece yüksek düzeyde eğri bir bölgedeki küçük bir kavramsal hareket büyük bir momentum taşıyabilir:

p_{i}=g_{ij}(q)\,\dot{q}^{j}

Kinetik bilişsel enerji, model hareketinin enerjisidir — yüksek değerler, gözlemcinin öngörülerinin hızlı bir şekilde yeniden yapılandırılmasına karşılık gelir. Aynı enerji iki eşdeğer şekilde yazılır: hızlar üzerinde etkiyen metrik ile (kovaryant g_{ij}) ve — hızı yukarıdaki eşlenik momentuma indirdikten sonra — momentumlar üzerinde etkiyen ters metrik ile (kontravaryant g^{ij}). Momentum formundaki yükseltilmiş indis, tam olarak p_i içindeki indirilmiş indisi geri alan şeydir:

T(q,\dot{q})=\tfrac{1}{2}\,g_{ij}(q)\,\dot{q}^{i}\dot{q}^{j}\qquad\text{(velocity form, covariant metric)}

T(q,p)=\tfrac{1}{2}\,g^{ij}(q)\,p_{i}\,p_{j}\qquad\text{(momentum form, inverse metric)}

Estetik potansiyel, nesne alanını gizem ve evre uyumu ile birleştirir; negatif işaretler, yüksek gizem ve yüksek evre uyumunun, bilişi daha derin bir etkileşime çeken çekici kuyular oluşturduğu anlamına gelir:

V(q,O,S)=\Phi_{O}(q)-\kappa\,H_{\mathrm{mystery}}(O,S,q)-\rho\,\mathrm{PC}(O,S,q)

Estetik Hamiltonian, kinetik ve potansiyel terimlerin toplamıdır — estetik durumun teşhis edici enerjisidir:

\mathcal{H}_{\mathrm{aest}}(q,p)=\tfrac{1}{2}\,g^{ij}(q)\,p_{i}p_{j}+\Phi_{O}(q)-\kappa\,H_{\mathrm{mystery}}(O,S,q)-\rho\,\mathrm{PC}(O,S,q)

İdeal, disipasyonsuz durumda dinamikler Hamilton denklemlerini takip eder; bu, yorgunluk ve rahatsızlığın olmadığı saf tefekkürün idealizasyonudur:

\dot{q}^{i}=\frac{\partial\mathcal{H}_{\mathrm{aest}}}{\partial p_{i}},\qquad \dot{p}_{i}=-\frac{\partial\mathcal{H}_{\mathrm{aest}}}{\partial q^{i}}

Açık, disipatif denge — merkezi denge denklemi

Gerçek biliş ideal değildir. Disipatif bir maliyet oranının ve yapılandırılmış bir girdi akısının eklenmesi, sistemi modelin kalbindeki açık sistem denge denklemi tarafından yönetilen açık bir sisteme dönüştürür (termodinamik bir dengeye benzetmedir, fiziksel termodinamik iddiası değildir):

\frac{d\mathcal{H}_{\mathrm{aest}}}{dt}=-\lambda\,C(t)+\mathcal{I}_{\mathrm{input}}(t)

Güzellik, nesne bilişsel disipasyonu telafi etmek için uyumu bozmadan yeterli yapılandırılmış girdi sağladığında kalıcı olur. Bu tek dengeden yola çıkarak, bilişsel rejimler özel durumlar olarak türetilir.

Bilişsel rejimler

Sıkıntı aşinalık değildir; disipatif dengesizliktir — nesne artık dikkat maliyetini karşılamaz hale gelir ve yörünge sıradan bir minimuma çöker:

\mathcal{I}_{\mathrm{input}}(t)<\lambda\,C(t)\ \Rightarrow\ \dot{q}\to 0,\ p\to 0,\ H_{\mathrm{mystery}}\to 0

Aşırı yükleme yalnızca yüksek karmaşıklık demek değildir; tutarlı yorum kaybıdır — çok hızlı gelen çok fazla bilgi yüzünden gözlemci evre kilitlemesi yapamaz, yorumlar kararsızlaşır:

\mathcal{I}_{\mathrm{input}}(t)\gg\lambda\,C(t)\ \Rightarrow\ \mathrm{PC}\to 0,\ \mathrm{Coh}(\Omega)\to 0

Estetik akış dengeli açık sistem dinamikleridir: girdi ve maliyet dengede, gizem hala yapılandırılmış, evre uyumu yüksek, gözlemci estetik alanın içinde tutulur. Kalıcı güzellik, tekrar eden maruz kalmalarda hayatta kalan aynı dengedir — sonsuz sürpriz ürettiği için değil, kararlı yapılandırılmış gizem ve tutarlı yorumlama kapasitesini koruduğu için sürer:

\frac{d\mathcal{H}_{\mathrm{aest}}}{dt}\approx 0,\qquad H_{\mathrm{mystery}}>0,\ \ \mathrm{PC}\to 1,\ \ \mathrm{GIC}^{*}\gg 0

Eksiksiz estetik eylem fonksiyoneli

Terimler toplandığında, bir algısal aralık boyunca gerçekleşen estetik değer, yörüngeyle bütünleşik bilişsel çalışmanın tutarlı yorumlama kapasitesi ile çarpımıdır:

\mathcal{B}_{v2.6}[\gamma]=\mathrm{GIC}^{*}(O,S)\int_{0}^{T}\!\left[\alpha\!\left(-\frac{d\Phi_{O}(\gamma(t))}{dt}\right)+\beta\,\frac{H_{\mathrm{mystery}}(O,S,t)}{T_{\mathrm{char}}}+\eta\,\nu_{\mathrm{res}}\,\mathrm{PC}(O,S,t)-\lambda\,C(t)\right]dt

Her terim, bir bilgi akısı oranına (saniye başına nat) dönüşen bir boyut taşır: bilişsel maliyet oranına karşı potansiyel akış terimi, yapılandırılmış gizem serbest kalma oranı, evre uyumu örnekleme oranı. İntegral, nat cinsinden toplam estetik çalışmadır; yorumlama kapasitesi çarpanı ise boyutsudur.

terim	anlam	mühendislik gözlemlenebili
$\Phi_{O}$	nesne kaynaklı öngörü uyumsuzluğu alanı	yapıt durumları üzerinden model güncelleme hızı
$H_{\mathrm{mystery}}$	yapılandırılmış, çözülmemiş yorumlama derinliği	daha fazla okumayı ödüllendiren çözülmemiş anlamsal derinlik
$\mathrm{PC}$	nesne ve özne dinamiklerinin zamanlama hizalaması	kullanıcı davranışı ile arayüz hareketinin/ortaya çıkışının hizalanması
$\lambda C(t)$	bilişsel maliyet / disipasyon	gecikme, duraksama, geri adım atma, aşırı yükleme
$\mathrm{GIC}^{*}$	karmaşıklık başına tutarlı yorumlama kapasitesi	uygulama karmaşıklığı başına kararlı yolculuk kapasitesi

Bu matematiğin iddia ettiği ve etmediği şeyler

İddia edilebilecek olanlar

İddia edilebilecek olanlar: estetik deneyimi ölçülebilir tasarım hipotezlerine — bilişsel maliyet, yapılandırılmış gizem, evre hizalaması, yorumlama kapasitesi ve yörünge değeri — dönüştüren, bir Fisher-Rao bilgi manifoldu üzerinde yörüngeyle bütünleşik bilişsel çalışma olarak modellenmiş, teşhis edici bir Hamiltonian, açık disipatif denge denklemi ve yanlışlanabilir bilişsel rejimler (sıkıntı, aşırı yükleme, akış, kalıcı güzellik) içeren tutarlı bir biçimsel çerçeve.

İddia edilemeyecek olanlar

İddia edilemeyecek olanlar: bunun beynin ölçülmüş bir fiziksel yasası olduğu veya estetik Hamiltonian'ın korunan bir fiziksel nicelik olduğu ya da modelin bugün bir hesaplayıcı olarak tamamen tanımlanmış olduğu. Bu, bilişsel estetik dinamikleri modellemek için biçimsel bir teşhis değişmezidir, kanıtlanmış bir korunum yasası değildir.

Açık sınır

Açık sınır: çerçeve kuvvetleri ve dengeleri adlandırır ancak her birinin nasıl ÖLÇÜLECEĞİNİ henüz tam olarak belirtmez. Nesne potansiyeli Φ_O, bilişsel maliyet C(t), girdi akısı I_input(t), gürültü ve çözülmüş entropiler, üretici karmaşıklığı K_gen, yorumlama uzayı Ω ve sabitler ν_res ile T_char, birimleri ve prosedürleri olan sabit operatörler olarak değil, tahmin edilebilir gözlemlenebiller olarak ifade edilmiştir. Bunların her birinin yalnızca telemetriden mi elde edilebileceği yoksa göz izleme gibi araçlara mı ihtiyaç duyacağı açık bir araştırma sınırıdır — ve böyle belirtilmiştir. Bu operatörler sabitlenene kadar, bu sistem bitmiş bir hesaplayıcı değil, bir modelleme çerçevesidir.

Neden eksiksiz yayınlandığı

Yine de neden eksiksiz olarak yayınlandığı: Formülleri ve sınırlarıyla birlikte ifade edilen tutarlı bir teorik çerçeve, bilim katmanının bilimsel dürüstlük sözleşmesidir — pazarlama katmanı TITI'nin ne yaptığını söyler; bu katman ise neden bu şekilde yapılandırıldığını ve kanıtlarının bugün nerede bittiğini söyler.

Modelin en güçlü ve kısa ifadesi: Güzellik, nesne kaynaklı bir bilgi potansiyel alanının ürettiği yörüngeyle bütünleşik bilişsel çalışmanın, tutarlı yorumlama kapasitesiyle çarpılması ve evre hizalaması ile bilişsel disipasyon tarafından sınırlandırılmasıdır.

Referanslar

Amari, S. & Nagaoka, H. — Methods of Information Geometry (Fisher-Rao metriği, istatistiksel manifoldlar) — https://doi.org/10.1090/mmono/191
Friston, K. — The free-energy principle: a unified brain theory? (varyasyonel serbest enerji) — https://doi.org/10.1038/nrn2787
Itti, L. & Baldi, P. — Bayesian surprise attracts human attention (sürpriz ve dikkat) — https://doi.org/10.1016/j.visres.2008.09.007