Авторский предметный словарь калибровочных теорий и конечных спектральных операторов Arxo для набора Yang-Mills existence and mass gap

ru · unofficial · sha256:c55f5b22e91a433ff173871d64f77326ced34e21323a695cdff6caffc4e5e952

Авторский словарь калибровочных теорий и конечных спектральных операторов Arxo, версия 0.1.0. GaugeGroup/Spacetime/LatticeSize/Connection/TheoryCandidate/Hamiltonian/SpectralOperator/EnergyLevel -- сущности словаря. classical_theory_defined(g, s) -- INSTITUTIONAL, стандартная математика (классическое действие Янга-Миллса), НЕ открытая часть задачи. quantum_theory_exists(g, s) -- INSTITUTIONAL, ОБЪЯВЛЕНО и НИКОГДА не выводится ни одним правилом этого словаря -- открытая часть задачи. is_finite_lattice, is_continuum_limit, is_infinite_volume_limit -- ТРИ РАЗДЕЛЬНЫХ факта о Spacetime, ни один не подразумевает другой ни одним правилом словаря. satisfies_qft_axioms(theory) -- INSTITUTIONAL, вычисляется из ШЕСТИ раздельных эмпирических фактов разом (Poincare-ковариантность, единственный вакуум, позитивность энергии, унитарность, кластерное разложение, локальность), не одного непрозрачного флага. positive_mass_gap(theory, num, den) -- INSTITUTIONAL, вычисляется ТОЛЬКО из явно предъявленного положительного рационального свидетельства, раздельно от satisfies_qft_axioms и от quantum_theory_exists. finite_operator_gap_established(op, num, den) -- INSTITUTIONAL факт о КОНЕЧНОМ операторе (SpectralOperator); ни одно правило словаря не связывает его с positive_mass_gap любого TheoryCandidate -- положительная щель конечной матрицы никогда не доказывает щель континуальной теории.

Ссылаются нормы: ClassicalTheoryDefinedFromPresentedPair, Connection, EnergyLevel, FiniteOperatorGapFromWitness, GaugeGroup, Hamiltonian, LatticeSize, PositiveMassGapFromWitness, QftAxiomsFromChecklist, Spacetime, SpectralOperator, TheoryCandidate, classical_theory_defined, continuum_limit_transition_missing, energy_level_of, energy_value, finite_operator_gap_established, gauge_field_on, gauge_group_rank, hamiltonian_of, has_positive_energy_spectrum, has_spacetime_dimension, has_unique_vacuum, identifies_yang_mills_problem, is_continuum_limit, is_finite_dimensional_operator, is_finite_lattice, is_infinite_volume_limit, is_poincare_covariant, is_simple_compact_group, is_special_unitary_group, is_unitary, lattice_extent, mass_gap_witnessed, positive_mass_gap, quantum_theory_exists, satisfies_cluster_decomposition, satisfies_locality, satisfies_qft_axioms, spectral_gap_witnessed, theory_for