YM
Yang–Mills Research
Kütle aralığı · spektral koersivite araştırma arayüzüMass gap · spectral-coercivity research interface
GitHub
Bilimsel kapsam:Scientific scope: Yang–Mills varlık ve kütle aralığı problemi açıktır. Bu arayüz varsayımsal bir araştırma programını ve T0 açıklayıcı modelleri inceler; kanıt iddiasında bulunmaz. The Yang–Mills existence and mass-gap problem remains open. This interface inspects a hypothetical research program and T0 illustrative models; it does not claim a proof.
v6.0.0v6.0.0 • Research Instruments & Advanced Analysis Concept DOI ↗ ORCID ↗ GitHub ↗
Arşiv DOI ↗Archive DOI ↗
Varsayımsal araştırma programıHypothetical research program Açık Milenyum ProblemiOpen Millennium Problem

Kütle aralığı, spektral bir alt sınır problemi.Mass gap as a spectral lower-bound problem.

Merkez soru kütlenin kökeni değil; vakumdan farklı fiziksel spektral bileşenlerin enerjisinin sıfıra keyfî biçimde yaklaşmasını neyin engellediğidir. The central question is not the origin of mass, but what can prevent physical spectral components distinct from the vacuum from approaching zero energy arbitrarily closely.

Hedef spektrumTarget spectrum Spec(H) ∩ (0, Δ) = ∅ Δ > 0
Kritik köprüCritical bridge RG reflection-back Düşük enerjili fiziksel modun coarse-graining altında kaybolmaması.No low-energy physical mode may disappear under coarse-graining.
Araştırma biçimiResearch mode Denetlenebilir ispat mimarisiAuditable proof architecture Bağımlılıklar · kırılma noktaları · kaynaklarDependencies · failure points · provenance
EQ-H1-COERCIVITYH1 · önerilen eşitsizlikproposed inequality
\[P_{\perp} H P_{\perp} \ge C_G \Lambda_{\mathrm{YM}}\, P_{\perp} > 0\]

Hedef, vakum-ortogonal fiziksel sektörde pozitif bir spektral alt sınırdır. Bu ifade kanıtlanmış bir teorem değildir.The target is a positive spectral lower bound on the vacuum-orthogonal physical sector. This statement is not a proved theorem.

01Fiziksel sektörPhysical sectorGauge tekrarını ayırRemove gauge redundancy
02ΛYMDinamik ölçekDynamical scale
03Geri-yansıtımReflection-backGizli düşük mod yokNo hidden low mode
04Continuum + OSLimite taşıCarry to the limit
Bu arayüz bir kanıt sunmaz; varsayımsal programın iddialarını, araçlarını ve açık borçlarını denetlenebilir biçimde düzenler.This interface does not present a proof; it organizes the hypothetical program's claims, instruments, and open obligations for inspection.

Argüman bağımlılık haritası

Argument dependency map

Her düğümün rolünü, statüsünü, bağımlılıklarını ve başarısız olursa zincirde neyi kırdığını denetle.

Inspect each node's role, status, dependencies, and downstream failure effect.

Kaynak-temelli mimariSource-grounded architecture
GörünümView
N1Physical sectorGauge reduction N2ΛYM > 0Dynamic scale N3Coarse gap+ coercivity bridge N4RG reflection-backNo hidden soft mode[hypothetical] N5Uniform coercivitya→0, L→∞ N6Continuum + OSℋphys, Ω, H⇒ spectral gap

Varsayım laboratuvarı

Assumption lab

Bu fizik simülasyonu değildir. İspat zincirindeki mantıksal bağımlılıkları, kırılma noktalarını ve aday alt sınırın davranışını denetler.

This is not a physics simulation. It audits logical dependencies, breakpoints, and the behavior of the candidate lower bound.

Senaryo

Scenario

AdımStep
0.650
1.000
0.120
Yerel referans: henüz yakalanmadı.Local baseline: not captured yet.
CGΛYM0.65
r(a,L)0.12
Aday alt sınırCandidate bound0.53
T0 marj rejimiT0 margin regime——
−0blockedfragilemoderaterobust
Eşikler yalnız arayüzdeki T0 hassasiyet bantlarıdır; fiziksel kritik sabitler değildir.Bands are T0 interface sensitivity thresholds only; they are not physical critical constants.
N1Fiziksel sektörPhysical sector
N2ΛYM
N3KöprüBridge
N4RG
N5UniformUniform
N6Continuum + OS

Sayısal değerler fiziksel tahmin değildir; yalnızca ispat mimarisindeki \(C_G\Lambda_{\mathrm{YM}}-r(a,L)\) rolünü görünür kılar.

Numerical values are not physical estimates; they only expose the role of \(C_G\Lambda_{\mathrm{YM}}-r(a,L)\) in the proof architecture.

T0 · Türetilmiş açıklayıcı sonuç. A1–A6 varsayımsal öncülleri çözmez; uniform continuum alt sınırı kanıtlamaz.T0 · Derived illustrative result. It does not discharge A1–A6 hypothetical premises or prove a uniform continuum lower bound.
Yapısal okumaStructural readingNicelik ≠ çıkarım lisansıQuantity ≠ inference license

Koruduğu

Preserves

Pozitif bir nicelik ile o niceliğin hangi öncül konfigürasyonu altında sonuca taşınabildiğini ayrı tutar.

Separates a positive quantity from the premise configuration under which it can support a downstream conclusion.

İhmal ettiği

Ignores

Gerçek alan konfigürasyonlarını, continuum limitini ve dinamik RG hesabını üretmez.

Does not produce field configurations, the continuum limit, or a dynamical RG calculation.

Nasıl okunmalı?

How to read it

Pozitif aday sınır, yapısal blokaj varsa yalnız aritmetik bir T0 durumudur.

A positive candidate bound remains only a T0 arithmetic state when the structural chain is blocked.

Spektrum laboratuvarı

Spectrum lab

Norm yakınlığı ile spektral boşluğu ayır; vakum-ortogonal sektördeki pozitif alt sınırın ne demek olduğunu gör.

Separate norm closeness from a spectral gap and inspect the positive lower bound in the vacuum-orthogonal sector.

Vakuma normca yaklaşmak gap'i bozmaz

Norm closeness to vacuum does not destroy the gap

EQ-T0-MIXTURET0 · normalize örneknormalized example
\[\psi_{\varepsilon}=\sqrt{1-\varepsilon^2}\,\Omega+\varepsilon\phi,\qquad \phi\perp\Omega,\qquad \lVert\Omega\rVert=\lVert\phi\rVert=1\]
AdımStep
0.250
Bileşim rejimiComposition regime—
Vakum ağırlığıVacuum weight 0.94Ortogonal bileşenOrthogonal component 0.06

Yorum

Interpretation

Yasak spektral bant

Forbidden spectral band

Δ sağlanan veya laboratuvar modeline bağlanan açıklayıcı bir sınırdır.Δ is an illustrative boundary, either supplied or linked to the lab model.

T0 · supplied
Δ
E / Λ = 0 … 1.00şematik eksenschematic axis
yasak bantexcluded band
Δ
0.020
0.100
0.350
→
0
VakumVacuum
Δ = 0.42
izin verilen fiziksel spektral destekallowed physical spectral support
0.420
Bant rejimiBand regime——
closedcriticalnarrowopenwide
0.020 / 0.100 / 0.350 yalnız görsel T0 rejim sınırlarıdır.0.020 / 0.100 / 0.350 are visual T0 regime boundaries only.
Yerel referans: henüz yakalanmadı.Local baseline: not captured yet.
KaynakOriginsupplied
Görünen aralıkDisplayed interval(0, 0.42)
ModelModelspectrum-schematic-1

Spektral yorum

Spectral interpretation

T0 · Bu grafik Hamiltonyen spektrumu hesaplamaz ve özdeğer üretmez. Renkli bölge yalnız beyan edilen açıklayıcı aralığı gösterir.T0 · This graphic does not compute a Hamiltonian spectrum or eigenvalues. The colored region only represents the declared illustrative interval.
Yapısal okumaStructural readingNorm yakınlığı ≠ spektral ayrımNorm closeness ≠ spectral separation

Koruduğu

Preserves

Vakum ile vakum-ortogonal spektral desteğin ayrımını ve yasak aralık konfigürasyonunu görünür tutar.

Keeps the distinction between vacuum and vacuum-orthogonal spectral support, together with the excluded-interval configuration.

İhmal ettiği

Ignores

Özdeğerleri, spektral ölçüyü, alan çözümünü ve dinamik oluşumu hesaplamaz.

Does not compute eigenvalues, the spectral measure, field solutions, or dynamical formation.

Nasıl okunmalı?

How to read it

Δ bir köken açıklaması değil, beyan edilen yapısal ayrımın T0 görsel sınırıdır.

Δ is not an origin story; it is the T0 visual boundary of the declared structural separation.

RG Transfer Console

Varsayımsal geri-yansıtım eşitsizliğinde işaretli tek-adım aktarım ve kusur bütçesini incele; RG yörüngesi hesaplanmaz.

Inspect the signed single-step transfer and defect budget in the hypothetical reflection-back inequality; no RG trajectory is computed.

EQ-H1-RGH1 · geri-yansıtım hedefireflection-back target
\[\mathcal{E}_{f}(\psi) \ge Z\,\mathcal{E}_{c}(R\psi)-\varepsilon_{R}\,\lVert\psi\rVert^2\]

v6 burada yalnız işaretli tek-adım aktarım/kusur bütçesini gösterir; çok-ölçekli RG akışı hesaplamaz.v6 displays only the signed single-step transfer/defect budget here; it does not compute a multiscale RG flow.

AdımStep
0.850
0.800
0.120
Yerel referans: henüz yakalanmadı.Local baseline: not captured yet.
Z·𝔈c0.68
εR0.12
Net alt sınırNet bound0.56
İşaretSignPOSITIVE
Tek-adım rejimiSingle-step regime——
strong−fragile−0fragile+moderate+robust+blocked
Rejim bantları net marjın tek-adım bütçe ölçeğine oranından türetilen T0 arayüz eşikleridir.Regime bands are T0 interface thresholds derived from the net margin relative to the single-step budget scale.
−0+
Z·𝔈c
+0.6800
−εR
−0.1200
NetNet
+0.5600

Tek-adım bütçe yorumu

Single-step budget interpretation

T0 · İşaretli tek-adım aktarım/kusur bütçesi. Bu görünüm çok-ölçekli bir RG akışı, iterasyon veya continuum kanıtı hesaplamaz.T0 · Signed single-step transfer/defect budget. This view does not compute a multiscale RG flow, iteration, or continuum proof.
Yapısal okumaStructural readingAktarım − kusur = işaretli bütçeTransfer − defect = signed budget

Koruduğu

Preserves

Aktarım katkısı ile kusur katkısını aynı işaretli bütçe içinde ayrı gösterir ve sıfır geçişini açık tutar.

Keeps transfer and defect contributions distinct inside one signed budget and exposes the zero crossing.

İhmal ettiği

Ignores

Gerçek çok-ölçekli RG akışını, ölçekler arası yörüngeyi veya continuum limitini hesaplamaz.

Does not compute a real multiscale RG flow, an inter-scale trajectory, or the continuum limit.

Nasıl okunmalı?

How to read it

Pozitif tek-adım bütçe, reflection-back varsayımını doğrulamaz; yalnız belirtilen girdiler altında işaret durumunu gösterir.

A positive single-step budget does not validate reflection-back; it only reports the sign under the declared inputs.

İspat borcu ve kalite kapıları

Proof debt and quality gates

Profesyonel bir araştırma programı yalnızca iddia üretmez; hangi kapıların kapanmadığını görünür tutar.

A professional research program does not just make claims; it keeps unresolved gates explicit.

IDKapıGateGerekli çıktıRequired outputStatüStatus
G1Fiziksel sektörPhysical sectorGauge artefaktından bağımsız ℋphys, ΩGauge-independent ℋphys, ΩGerekliRequired
G2Dinamik ölçekDynamical scaleΛYM > 0ΛYM > 0Yerleşik fikirEstablished idea
G3Kaba gapCoarse gapGauge-invariant başlangıç gap'iGauge-invariant starting gapGerekliRequired
G4RG reflection-backRG reflection-backGizli düşük enerjili mod yokluğuNo hidden low-energy modeVarsayımsal lemmaHypothetical lemma
G5Uniform koersiviteUniform coercivitycGΛYM − r(a,L) > 0cGΛYM − r(a,L) > 0Varsayımsal taşımaHypothetical transfer
G6Continuum + OSContinuum + OSLimit teori + spektral gapLimit theory + spectral gapGerekliRequired

Başarısızlık Modları / Çürütme Ölçütleri

Failure Modes / Falsification Criteria

Araştırma programının profesyonel olması için başarısızlık koşulları da en az hedef teorem kadar açık olmalıdır.

A professional research program should make failure conditions as explicit as the target theorem.

Failure analysisFailure analysis

Zincir etkisi

Chain effect

Kaynak, atıf ve provenans haritası

References, citation and provenance

Resmî problem tanımı, kullanılan klasik yeniden-kurma çerçevesi ve uygulamadaki varsayımsal katman birbirinden ayrılır.

The official problem statement, classical reconstruction framework, and hypothetical layer of the app are kept distinct.

Bu yazılımı atıfla kullanCite this software
Baran Çolakoğlu (2026). Yang–Mills Mass Gap — Interactive Research Console, v6.0.0. Zenodo. DOI: 10.5281/zenodo.22754261
R1OFFICIAL PROBLEM
Clay Mathematics Institute — Yang–Mills & the Mass Gap

Problemin güncel resmî sayfası ve açık-problem statüsü.

Current official problem page and open-problem status.

Birincil kaynakPrimary source
Open official Clay page ↗
R2OFFICIAL DESCRIPTION
Arthur Jaffe & Edward Witten — “Quantum Yang–Mills Theory”

Milenyum Probleminin resmî teknik problem tanımı.

Official technical statement of the Millennium Problem.

Birincil kaynakPrimary source
Open official PDF ↗
R3DOI: 10.1007/BF01645738
K. Osterwalder & R. Schrader (1973)

“Axioms for Euclidean Green's functions.” Commun. Math. Phys. 31, 83–112.

Klasik yeniden-kurma çerçevesiClassical reconstruction framework
Open DOI ↗
R4DOI: 10.1007/BF01608978
K. Osterwalder & R. Schrader (1975)

“Axioms for Euclidean Green's functions II.” Commun. Math. Phys. 42, 281–305.

Klasik yeniden-kurma çerçevesiClassical reconstruction framework
Open DOI ↗
SOURCE PRESENTATION • SLIDES 5, 9, 10–12
Gauge-indirgenmiş koersivite / RG geri-yansıtımıGauge-reduced coercivity / RG reflection-back

Uygulamanın yeni teknik köprüleri kaynak sunumdan gelir; dış kaynaklarda kanıtlanmış teorem olarak sunulmaz.

The app's new technical bridges come from the source presentation and are not presented as externally proved theorems.

Varsayımsal araştırma hedefiHypothetical research target
SOFTWARE • v6.0.0
Interactive Research Console

Simülatördeki sayıların tamamı düşünme/denetim amacıyla normalize edilmiş oyuncak parametrelerdir.

All simulator numbers are normalized toy parameters for reasoning and audit, not physical predictions.

Araç katmanıTooling layer
Open repository ↗
Exact archive DOI: 10.5281/zenodo.22754261 ↗
Concept DOI: 10.5281/zenodo.22739745 ↗

Metodoloji ve epistemik etiketleme

Methodology and epistemic labeling

Uygulama, resmî problem ifadesi ile varsayımsal araştırma köprülerini aynı epistemik düzeyde göstermemek üzere tasarlanmıştır.

The app is designed not to place the official problem statement and hypothetical research bridges at the same epistemic level.

v6.0.0 • research instruments / analysis / audit layer
LEVEL E0

Resmî hedef

Official target

Clay/Jaffe–Witten problem ifadesi gibi doğrudan birincil kaynağa bağlanan içerik.

Content tied directly to primary sources such as the Clay/Jaffe–Witten problem statement.

Official / required
LEVEL E1

Yerleşik matematiksel çerçeve

Established mathematical framework

Asimptotik özgürlük, spektral dil ve Osterwalder–Schrader yeniden-kurma gibi arka plan yapıları.

Background structures such as asymptotic freedom, spectral language, and Osterwalder–Schrader reconstruction.

Established framework
LEVEL H1

Varsayımsal araştırma hedefi

Hypothetical research target

Temsil-Yansıtıcı Koersivite Lemması ve uniform continuum taşıması gibi henüz kanıtlanmamış köprüler.

Unproved bridges such as the Representation-Reflective Coercivity Lemma and uniform continuum transfer.

Hypothetical
LEVEL T0

Oyuncak etkileşim

Toy interaction

C_G, Λ_YM, r(a,L), Z ve ε_R slider'ları fiziksel tahmin değildir; mantık bağımlılıklarını görünür kılar.

C_G, Λ_YM, r(a,L), Z and ε_R sliders are not physical estimates; they expose logical dependencies.

Visualization only
Bir iddia siteye nasıl eklenir?How is a claim admitted?
İddia önce E0/E1/H1/T0 sınıfına atanır; kaynak gerektiriyorsa birincil bağlantı eklenir; simülasyon çıktısı ise fiziksel sonuç olarak etiketlenemez.
A claim is first assigned E0/E1/H1/T0; primary evidence is attached where required; simulator output cannot be labeled as a physical result.
Ne “çözüm” sayılmaz?What does not count as a solution?
Sadece finite-lattice gap, yalnızca Λ_YM ölçeği, clustering veya bir global gauge seçimine bağlı gap tek başına Clay hedefini kapatmaz.
A finite-lattice gap alone, Λ_YM alone, clustering alone, or a gap depending on global gauge fixing does not close the Clay target.

Bilimsel inceleme ve hata bildirimi

Scientific review and issue reporting

Programı güçlendirmenin yolu yalnızca yeni fikir eklemek değil; yanlış köprüleri, kaynak hatalarını ve ispat borçlarını dışarıdan denetlenebilir kılmaktır.

Strengthening the program means not only adding ideas but making bad bridges, source errors, and proof debts externally auditable.

Matematiksel / bilimsel itiraz gönder

Submit a mathematical / scientific objection

Bir lemma, çıkarım, tanım veya kaynak eşlemesi konusunda sorun görüyorsan yapılandırılmış bilimsel inceleme formunu aç.

If you identify a problem in a lemma, inference, definition, or source mapping, open the structured scientific-review form.

Yazılım hatası bildir

Report a software bug

Kırık buton, yanlış URL durumu, mobil görünüm veya tarayıcı problemi için ayrı bug formu kullan.

Use the separate bug form for broken controls, URL-state errors, mobile layout, or browser issues.

Katkı protokolü

Contribution protocol

Yeni bilimsel içerik, mevcut epistemik sınıflandırmayı ve kaynak/provenans kurallarını korumalıdır.

New scientific content should preserve the epistemic classification and provenance rules.

Sürüm ve değişiklik geçmişi

Version and change history

Yayınlanmış sürümlerin hangi bilimsel veya yazılımsal değişiklikleri içerdiğini changelog üzerinden izle.

Track scientific and software changes across released versions through the changelog.