От формализма Дирака к первичному интерфейсу различияFrom Dirac formalism to the primary interface of distinction
Математический каркас здесь Дираковский: представление группы Лоренца, алгебра Клиффорда и уравнение Дирака. Онтологическая постановка — наша: можно ли читать эту структуру как внутреннее отношение первичного интерфейса, не подменяя стандартную теорию авторской интерпретацией?The mathematical frame here is Dirac's: a Lorentz-group representation, Clifford algebra, and the Dirac equation. The ontological question is ours: can this structure be read as an internal relation of a primary interface without replacing standard theory with an authorial interpretation?
Стандартная теория отвечает, как Дираковское спинорное поле преобразуется, какой алгебре подчиняются гамма-матрицы и как задаётся релятивистская динамика. Она не обязана отвечать на авторский метафизический вопрос, является ли спинор «внутренним отношением первичного интерфейса».Standard theory answers how a Dirac spinor field transforms, which algebra the gamma matrices obey, and how relativistic dynamics is defined. It need not answer the authorial metaphysical question whether the spinor is an “internal relation of a primary interface.”
Можно ли построить точный мост от луча в гильбертовом пространстве и представления группы вращений к языку интерфейса, различия и события — так, чтобы мост давал новые проверяемые следствия?Can one build an exact bridge from a ray in Hilbert space and a representation of the rotation group to the language of interface, distinction, and event—such that the bridge yields new testable consequences?
Если новых следствий нет, TMI-чтение может оставаться полезной интерпретацией или организационной схемой, но не становится новой физической теорией.If there are no new consequences, the TMI reading may remain a useful interpretation or organizational scheme, but it does not become a new physical theory.
Формула кубита ниже используется только как минимальная входная интуиция о комплексной суперпозиции и проективном состоянии. Дираковский спинор — более богатый релятивистский объект; он не сводится к кубиту.The qubit formula below is used only as a minimal entry point for complex superposition and projective state. A Dirac spinor is a richer relativistic object and is not reduced to a qubit.
Запись |ψ⟩ даёт представителя состояния в комплексном линейном пространстве. Его масштаб и общая фаза содержат избыточность для чистого физического состояния.The notation |ψ⟩ gives a representative in a complex linear space. Its scale and global phase contain redundancy for a pure physical state.
vector ≠ unique physical stateНенулевые кратные λ|ψ⟩ описывают тот же чистый физический луч. Нормировка выбирает удобного представителя, но не создаёт отдельную онтологию.Nonzero multiples λ|ψ⟩ describe the same pure physical ray. Normalization chooses a convenient representative but does not create a separate ontology.
ray ≠ interpretationИзмерительное чтение требует наблюдаемой, правила вероятностей и физической реализации. Абстрактная функция Projection сама по себе не является экспериментом.A measurement readout requires an observable, a probability rule, and a physical realization. An abstract Projection function is not by itself an experiment.
typed event ≠ laboratory eventВсе карточки этого раздела имеют статус STANDARD THEORY. Они приводятся с учебными источниками и не доказываются в новом Lean-модуле.Every card in this section has STANDARD THEORY status. Each is tied to an academic teaching source and is not proved in the new Lean module.
|ψ⟩ = α|0⟩ + β|1⟩
|α|² + |β|² = 1Это координатная запись нормированного чистого состояния в выбранном ортонормированном базисе двумерного комплексного пространства.This is the coordinate form of a normalized pure state in a chosen orthonormal basis of a two-dimensional complex space. [R-01 ↗]
ψ ∼ λψ · λ ∈ ℂ, λ ≠ 0Физическое чистое состояние связывают с лучом: ненулевое комплексное масштабирование не меняет состояние. Для нормированных представителей остаётся общая фаза.A physical pure state is associated with a ray: nonzero complex rescaling does not change the state. For normalized representatives, only a global phase remains. [R-02 ↗]
S = (ℏ/2) σ
H1/2 ≅ ℂ²Для спина 1/2 операторы компонент спина представляются матрицами Паули, умноженными на ℏ/2. Спинорное действие связано с двумерным представлением SU(2), двойного накрытия SO(3).For spin 1/2, spin-component operators are represented by the Pauli matrices multiplied by ℏ/2. Spinor action is tied to the two-dimensional representation of SU(2), the double cover of SO(3). [R-03 ↗]
U(θ,n) = exp(−i θ n·σ / 2)Это стандартный оператор активного вращения при указанной знаковой конвенции. Поворот на 2π меняет знак спинора, но не физический луч; иные соглашения могут менять знак в экспоненте.This is the standard active-rotation operator under the stated sign convention. A 2π rotation changes the spinor sign but not the physical ray; other conventions may reverse the exponential sign. [R-04 ↗]
(iγμ∂μ − m)ψ = 0
ℏ = c = 1Свободное уравнение Дирака задаёт релятивистскую динамику четырёхкомпонентного Дираковского спинора. Это не та же сущность, что абстрактный двухуровневый кубит.The free Dirac equation gives relativistic dynamics for a four-component Dirac spinor. It is not the same object as an abstract two-level qubit. [R-05 ↗]
{γμ,γν} = γμγν + γνγμ
= 2ημν1Формула использует метрику η = diag(+1,−1,−1,−1). Алгебра Клиффорда обеспечивает нужное спинорное представление группы Лоренца и связь уравнения Дирака с уравнением Клейна—Гордона.The formula uses η = diag(+1,−1,−1,−1). The Clifford algebra supplies the relevant spinor representation of the Lorentz group and connects the Dirac equation to the Klein–Gordon equation. [R-05 ↗]
TMI предлагает рассматривать измерительное чтение как прохождение сохраняемого различия через интерфейс. Это может дисциплинировать вопросы, но пока не идентифицирует математический спинор с физически первичным интерфейсом.TMI proposes reading measurement as the passage of a maintained distinction through an interface. This may discipline the questions, but it does not yet identify a mathematical spinor with a physically primary interface.
TMI-ИНТЕРПРЕТАЦИЯ / TMI INTERPRETATION. Слова «первичный», «внутренний» и «проекция» здесь не добавляют физического содержания автоматически. Для перехода из интерпретации в теорию нужны явное отображение на стандартные объекты, динамика, вероятностный закон и независимо проверяемое отличие от существующего формализма.The words “primary,” “internal,” and “projection” do not automatically add physical content. To move from interpretation to theory, one needs an explicit mapping to standard objects, dynamics, a probability law, and an independently testable difference from existing formalism.
| УЗЕЛNODE | СТАНДАРТНЫЙ ЯЗЫКSTANDARD LANGUAGE | TMI-ЧТЕНИЕTMI READING | ОТКРЫТЫЙ ШОВOPEN SEAM |
|---|---|---|---|
| State | Луч в комплексном гильбертовом пространстве.A ray in a complex Hilbert space. | Состояние носителя различия.A state of the distinction carrier. | Нет доказанного взаимно-однозначного соответствия.No proved bijective correspondence. |
| Rotation | SU(2) представляет вращения спина 1/2.represents spin-1/2 rotations. | Внутренний переход.An internal transition. | Не задано действие группы на TMI-носителе.No group action on the TMI carrier is supplied. |
| Projection | Наблюдаемые, спектральные проекторы, правило Борна.Observables, spectral projectors, Born rule. | Чтение через границу.A readout across a boundary. | Абстрактная функция не выводит вероятности.An abstract function does not derive probabilities. |
| Dirac spinor | Представление группы Лоренца и уравнение поля.Lorentz-group representation and field equation. | Возможный расширенный носитель.A possible extended carrier. | Гамма-матрицы и ковариантность не формализованы.Gamma matrices and covariance are not formalized. |
Модуль TMI.SpinorOntology является отдельным opt-in корнем. Он использует уже собираемые InterfaceFoundationsAlpha.TwoSidedLanguage и BoundaryEventContext, но не меняет их и не импортируется стабильным TMI.Library.The TMI.SpinorOntology module is a separate opt-in root. It reuses the buildable InterfaceFoundationsAlpha.TwoSidedLanguage and BoundaryEventContext without changing them and is not imported by stable TMI.Library.
PrimaryInterfaceВыбирает границу существующего двустороннего языка.Selects a boundary in the existing two-sided language.
DistinctionСобирает bounds ∧ separated.Packages bounds ∧ separated.
TransitionИсточник, цель и свидетель допустимости.Source, target, and admissibility witness.
InternalRelationАбстрактное отношение без скрытых законов.An abstract relation with no hidden laws.
SpinorCarrierТип состояний, допуск и эквивалентность лучей.State type, admission, and ray equivalence.
ProjectionЧтение, инвариантное по представителю луча.A readout invariant under ray representative.
MeasurementEventПереход, внутреннее отношение и записанный результат.Transition, internal relation, and recorded outcome.
SpinorOntologyModelЗависимый пакет интерфейса, носителя и проекции.Dependent bundle of interface, carrier, and projection.
structure SpinorCarrier where State : Type admitted : State → Prop rayEquivalent : State → State → Prop ray_refl : Reflexive rayEquivalent ray_symm : Symmetric rayEquivalent ray_trans : Transitive rayEquivalent internal : InternalRelation State structure Projection ... where observe : carrier.State → Observation respectsRay : ψ ≈ φ → observe ψ = observe φ theorem measurement_event_is_recorded_boundary_event (event : MeasurementEvent ...) : RecordedBoundaryEvent context event
ФОРМАЛЬНОЕ СОДЕРЖАНИЕ.FORMAL CONTENT. Lean проверяет: проекция одинакова на эквивалентных представителях; Distinction сохраняет различимость и содержит оба контактных направления; каждый сконструированный MeasurementEvent адаптируется к существующему RecordedBoundaryEvent. Эти теоремы следуют из полей структур и не подтверждают их физическую реализацию.Lean checks that projection agrees on equivalent representatives; Distinction preserves distinguishability and contains both contact directions; and every constructed MeasurementEvent adapts to the existing RecordedBoundaryEvent. These theorems follow from structure fields and do not establish physical realization.
MIT, Spring 2013. Общий двухуровневый вектор состояния, коэффициенты α и β, нормировка.MIT, Spring 2013. General two-level state vector, α and β coefficients, normalization.
MIT PDF ↗COVERS · |ψ⟩ = α|0⟩ + β|1⟩ · NORMALIZATIONВолновая функция, нормировка, суперпозиция и эквивалентность ψ ≡ λψ для ненулевого комплексного λ.Wavefunction, normalization, superposition, and ψ ≡ λψ equivalence for nonzero complex λ.
CAMBRIDGE HTML ↗COVERS · PROJECTIVE EQUIVALENCE · SUPERPOSITIONСпин 1/2, двухкомпонентное состояние, матрицы Паули, формула S = ℏσ/2 и проективные представления вращений.Spin 1/2, two-component state, Pauli matrices, S = ℏσ/2, and projective representations of rotations.
CAMBRIDGE PDF ↗COVERS · SPIN-1/2 REPRESENTATION · PAULI MATRICESДвойное накрытие группы вращений и явная формула U(θn) = exp(−iθn·σ/2).The double cover of the rotation group and the explicit U(θn) = exp(−iθn·σ/2) formula.
CAMBRIDGE PDF ↗COVERS · ROTATION OPERATOR · 2π SIGNАлгебра Клиффорда, гамма-матрицы, спинорное представление группы Лоренца и свободное уравнение Дирака.Clifford algebra, gamma matrices, the spinor representation of the Lorentz group, and the free Dirac equation.
CAMBRIDGE HTML ↗COVERS · {γμ,γν}=2ημν1 · DIRAC EQUATIONНи один из R-01—R-05 не утверждает TMI-онтологию спинора, первичность интерфейса или физическую тождественность MeasurementEvent квантовому измерению.None of R-01–R-05 asserts a TMI ontology of the spinor, the primacy of an interface, or the physical identity of MeasurementEvent with quantum measurement.
BOUNDARY · STANDARD THEORY ≠ TMI VALIDATIONПравило чтения: R-01—R-05 поддерживают только формулы и стандартный контекст, возле которых они стоят. TMI-перевод остаётся отдельно маркированной интерпретацией.Reading rule: R-01–R-05 support only the formulas and standard context beside which they appear. The TMI translation remains a separately marked interpretation.
Построить в Lean ℂ² с внутренним произведением, ненулевыми векторами и фактором по ненулевому комплексному масштабу.Construct ℂ² in Lean with an inner product, nonzero vectors, and quotient by nonzero complex scaling.EXIT · RAY EQUIVALENCE IS CONSTRUCTED, NOT POSTULATED
Задать матрицы Паули, экспоненту и доказать, что вращение сохраняет норму и согласуется с проективным чтением.Define Pauli matrices and the exponential, then prove rotation preserves norm and respects projective readout.EXIT · ROTATION LAW KERNEL-CHECKED
Отделить наблюдаемую, спектральный проектор, распределение результатов и запись события; не прятать правило Борна в поле структуры.Separate observable, spectral projector, outcome distribution, and event record; do not hide the Born rule in a structure field.EXIT · PROBABILITY BRIDGE EXPLICIT
Создать отдельный модуль для алгебры Клиффорда и Дираковских спиноров, не смешивая его с кубитом.Create a separate Clifford-algebra and Dirac-spinor module without conflating it with a qubit.EXIT · GAMMA RELATIONS CHECKED
Задать сохраняющее структуру отображение между стандартным носителем и TMI-моделью и перечислить, что оно забывает.Define a structure-preserving map between the standard carrier and the TMI model, and list exactly what it forgets.EXIT · LOSS AND PRESERVATION THEOREMS
До эмпирического заявления зафиксировать предсказание, отличающее TMI от стандартной теории, допуск ошибки и критерий опровержения.Before any empirical claim, freeze a prediction that differs from standard theory, an error tolerance, and a falsification criterion.EXIT · PROSPECTIVE TEST, NOT RETROFIT