Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

A Deterministic Reconstruction of Finite-Dimensional Quantum Mechanics

Zayn Blore

Published Dec 30, 2025• 0 citations
Publisher

Abstract

This paper reconstructs the operational content of finite-dimensional quantum mechanics from deterministic Hamiltonian dynamics defined on a compact Kähler manifold Σ. An ontic microstate evolves under a Liouville-preserving flow generated by a Hamiltonian vector field, while observable statistics arise only after applying a smooth many-to-one projection π:Σ→CPⁿ⁻¹ to epistemic coordinates. The induced epistemic measure is taken to be absolutely continuous with respect to the Fubini–Study measure, which is selected as the canonical invariant density under the symmetry and regularity assumptions developed in companion work. For a class of Hamiltonians compatible with the projection structure, the projected dynamics on CPⁿ⁻¹ defines a holomorphic vector field. By the Ashtekar–Schilling correspondence, this reproduces the standard Schrödinger form of unitary evolution on the operational state space. Measurement interactions are modelled as Hamiltonian evolution on a joint system–apparatus surface, with outcomes represented by context-dependent regions on CPⁿ⁻¹ defined relative to the measurement setting. When evaluated with the Fubini–Study measure, the resulting region weights reproduce Born-form outcome statistics for the measurement constructions considered. Composite systems are represented by joint ontic structures that need not factorise, while the operational projection recovers the usual reduced-state formalism and subsystem dynamics. Overall, the analysis shows how unitary evolution, measurement statistics, mixed-state structure, and contextual dependence in finite-dimensional quantum mechanics can be realised within a deterministic geometric framework, without introducing fundamental stochastic processes or additional collapse postulates. Programme background: https://www.constraintsurfacedynamics.com — Glossary: https://glossary.constraintsurfacedynamics.com

DOI
10.5281/zenodo.18098064

Related papers

An Ontological Completion of Geometric Quantum Mechanics

Zayn Blore

Decades of work in geometric quantum mechanics and decoherence theory have clarified how quantum behaviour arises from underlying symplectic and dynamical structures, yet both leave unresolved why measurements yield definite outcomes with |ψ|² frequencies. This paper proposes a deterministic geometric account that retains the strengths of those approaches while eliminating the need for stochastic collapse or multiple-world postulates. The result is a unified description in which observed statistics follow from conserved geometry rather than from probabilistic axioms. Physical reality is represented by a single trajectory ω(t) evolving under Hamiltonian flow on a compact symplectic manifold Σ. Interaction with an environment imposes new constraints that dynamically partition Σ into isolated outcome regions {Ωᵢ}, whose invariant volume ratios μ(Ωᵢ)/μ(Ω₀) reproduce Born weights. Outcome definiteness arises from trajectory confinement within an isolated region, and the framework predicts a quantitative correspondence between interference visibility V and the dynamical separation I of outcome regions. In the macroscopic limit, V ≈ 1 − I, so high separation (I → 1) corresponds to classical definiteness and negligible remaining visibility. The exact functional form, together with parameter-free calculations and proposed experimental tests, is developed in the forthcoming Paper C and a companion note (2025–2026). The paper establishes a complete ontological basis for deterministic quantum measurement, defines how isolation and re-isolation govern the appearance of classicality, and clarifies compliance with Bell, Kochen–Specker, Fine, and PBR constraints. It shows that a finite, measure-preserving geometry can reproduce the statistical structure of quantum theory while remaining open to empirical refutation. This framework, termed Constraint-Surface Dynamics, thus offers a deterministic and falsifiable alternative foundation for quantum mechanics.

•Nov 3, 2025•0 citations

Quantum Paradoxes and the Quantum-Classical Transition under Unitary Measurement Dynamics with Random Hamiltonians

Alexey A. Kryukov

We develop a dynamical framework for quantum measurement based on stochastic but unitary evolution in projective state space. Random Hamiltonians drawn from the Gaussian Unitary Ensemble generate stochastic unitary dynamics of the quantum state, while equivalence classes reflecting finite detector resolution define classical observables as well as classical configuration-space and phase-space submanifolds. When the evolution is constrained to the phase-space submanifold, free Schrödinger dynamics reduces to Newtonian motion, while stochastic motion constrained to the classical configuration-space submanifold yields ordinary Brownian motion in classical space. Transition probabilities under the stochastic dynamics satisfy the Born rule, whereas the constrained classical evolution produces the normal probability distributions characteristic of classical measurements. We show that, in this setting, measurement, state reduction, and the quantum-classical transition emerge from unitary dynamics alone, without invoking nonunitary collapse or additional postulates. Entanglement and EPR correlations arise geometrically from the evolution of joint states in composite state space, preserving locality in spacetime. The framework provides a unified dynamical account of measurement and classicality compatible with the structure of quantum mechanics.

quant-pharXiv:2601.17976•Jan 27, 2026•0 citations

Fixing the Measure: Deriving |Ψ|² From Symmetry in Deterministic Geometry

Zayn Blore

We present a symmetry-first account of Born weights for finite-dimensional quantum systems that does not take probabilistic postulates as primitive. The core observation is geometric: pure states are rays in \({\mathbb{C}}^{n}\), hence the operational state space is complex projective space \(CP^{n - 1}\), equipped with its natural \(SU{(n)}\) action. We show that this symmetry fixes, up to normalisation, a unique \(SU{(n)}\)-invariant Borel probability measure on \(CP^{n - 1}\), namely the Fubini–Study measure \(\mu_{FS}\)[1] (Ashtekar & Schilling 1999). Symmetry alone, however, does not determine how weights attach to specific outcome projectors. To close this gap without appealing to stochastic axioms, we introduce minimal operational consistency requirements for a probability assignment \(p{({P \mid \psi})}\) over projectors: normalisation on orthonormal resolutions, additivity on orthogonal projectors, noncontextuality, and unitary covariance. For \(n \geq 3\) these assumptions imply the quadratic form \({p{({P \mid \psi})}} = {\langle\psi|P|\psi\rangle}\) by a Gleason-class theorem[2], and the qubit case is handled by a standard strengthening such as extension to POVMs (Busch 2003). Finally, combining these Born weights with deterministic volume-typicality results from our companion work (Paper A) yields observed outcome frequencies as long-run volume ratios under measure-preserving dynamics. The result is a compact, finite-dimensional foundation in which Born statistics arise from symmetry plus operational consistency, with empirical content residing in the typicality and invariance assumptions.

Qeios•Jan 8, 2026•0 citations

Quantum Mechanics as Dimensional Projection: A Geometric Derivation from Compact Extra Dimensions

Abraham J. Letter

This paper proves that quantum mechanics emerges as a mathematical necessity when a deterministic classical system possesses compact Kähler dimensions inaccessible to observation. The proof rests on three independent results from established mathematics: Spectral discreteness: The spectral theorem for elliptic operators on compact manifolds guarantees a discrete eigenspectrum, producing superposition and complex phase structure. The uncertainty principle: The Gromov non-squeezing theorem establishes an irreducible lower bound on observable uncertainties, with Planck's constant identified as the symplectic capacity of the compact space. The Born rule: The unique Kähler-compatible L² inner product determines the probability rule P = |ψ|² with no alternatives. Together, these results demonstrate that the complete axiomatic structure of quantum mechanics — complex Hilbert space, superposition, interference, the uncertainty principle, the Born rule, and entanglement — is a necessary consequence of dimensional projection rather than a set of independent postulates. The paper further shows that: The complex numbers in quantum mechanics originate from the complex structure (J) of the compact manifold, providing a geometric explanation for recent experiments ruling out real-valued quantum mechanics (Renou et al., Nature 2021; Chen et al., PRL 2022). Unitary time evolution arises because the complex structure converts what would otherwise be dissipative dynamics into probability-preserving oscillation. The number field of quantum mechanics (real, complex, or quaternionic) is determined by the topology of the compact dimensions (Riemannian, Kähler, or hyperkähler respectively), making laboratory quantum experiments probes of extra-dimensional geometry. CPT symmetry corresponds to orientation-invariance of the compact manifold, connecting discrete symmetry tests to the topology of the extra dimensions. The theorem requires no physical assumptions beyond the existence of inaccessible compact Kähler dimensions. It applies to any number of dimensions, any compact Kähler geometry, and any deterministic dynamics. The paper concludes that quantum mechanics is not a law of nature but a law of perspective — the second such law in physics, following relativity. Where relativity revealed that the separation of spacetime into space and time is observer-dependent, this work shows that the separation of dynamics into deterministic and probabilistic is equally observer-dependent. Originally submitted to Foundations of Physics on March 16, 2026

•Apr 13, 2026•0 citations

Deterministic Quantum Mechanics: A Unified Foundational Program

Brian Burch

Deterministic Quantum Mechanics (DQM) is a research program investigating whether the probabilistic content of quantum mechanics can be understood as an emergent statistical description of an underlying deterministic physical theory. This paper consolidates the program’s cumulative results into a single account.The central proposal is that a complete microscopic state evolves deterministically, that the quantum state is a coarse-grained ensemble descriptor rather than the complete physical state, and that measurement outcomes are selected by which deterministic basin of an enlarged phase space a microscopic trajectory occupies. Under this proposal, Born probabilities are basin measures rather than fundamental stochastic laws.For a qubit, this program is realized exactly: a hidden variable λ on the unit sphere, a preparation-dependent density μ_r(λ) = [r·λ]₊/π, and the deterministic response A(n,λ) = sgn(n·λ) reproduce the qubit Born rule P(±|r,n) = (1 ± r·n)/2 exactly, together with sequential-measurement statistics and the associated expectation values. This preparation measure is itself shown to be the deterministic pushforward of a uniformly distributed microscopic preparation coordinate, removing any appeal to fundamental preparation-level stochasticity.Measurement is then developed as deterministic basin selection within a finite-time Hamiltonian architecture, with a finite-time stability theorem governing when microscopic perturbations cannot dislodge a trajectory from its basin. Entangled correlations are reproduced by an autonomous, rotationally covariant Bell Hamiltonian containing dynamical setting registers and a conserved-momentum phase shear; this mechanism reproduces the singlet correlation E(a,b) = −a·b and the CHSH value 2√2 in its ideal limit, while preserving exactly uniform local marginals at finite setting inertia and yielding an explicit, quantitatively bounded finite-inertia correction. A finite Hamiltonian bath (Model-C) supplies a deterministic amplification and record-retention mechanism; its analytic structure — including an exact completed-square cancellation of the static bath backreaction and an exact finite-bath spectral equation — is derived independently of, and is shown to survive, a documented numerical implementation failure (the C14 program), which is retained in the record as a diagnosed, non-Hamiltonian right-hand side rather than as evidence against the underlying construction.Extending the program beyond the qubit exposes a genuine mathematical obstruction: no deterministic basin defined directly on the qutrit pure-state manifold ℂP² can reproduce an arbitrary rank-one Born probability, because positivity forces any exact basin onto a measure-zero point. This is proved rigorously. The resolution is not the abandonment of determinism but the enlargement of the hidden state beyond the quantum ray itself, to a genuine mechanical phase space such as the cotangent bundle T*SU(3), on which the quantum state re-emerges as a coarse-grained moment and on which contextual, Kochen–Specker-compatible measurement dynamics can in principle be realized.Throughout, the paper enforces a strict evidentiary hierarchy — mathematical construction, analytic theorem, numerical validation, and experimental confirmation are never conflated — and closes with an explicit account of what has been proved, what remains open, and what would be required to render the program experimentally falsifiable.

•Aug 11, 2026•0 citations

On the Structural Origin of Quantum Mechanics: A Projection-Based Reconstruction of the Quantum Formalism

Erik Axelkrans

This paper presents a structural reconstruction of the formal core of quantum mechanics fromthe properties of a bounded, linear, distinguishability-reducing projection acting on a generalfunctional space. Effective quantum states are identified with equivalence classes under theprojection ΠQM : H∗ → HQM and the Hilbert-space structure of HQM is induced by a positiveoperator K on the underlying space.Within this framework, the characteristic elements of quantum theory emerge as direct conse-quences of projection geometry and operator structure. Linearity yields superposition, quadraticnorms on equivalence classes give rise to the Born rule, non-factorizability leads to entangle-ment and commuting local algebras ensure no-signalling. Schrödinger-type unitary dynamicsarises from projection of symmetric generators, Dirac-type operators follow from algebraic com-patibility with Clifford structures and violations of classical Bell inequalities together with theTsirelson bound are enforced by operator-norm constraints in the projected C∗-algebra.No hidden variables are introduced and no modification of standard empirical quantummechanics is proposed. Rather than postulating the quantum formalism as axiomatic, theanalysis shows that its defining structures form a highly constrained and stable outcome oflinear projection, equivalence-class geometry, and norm-preserving dynamics.Rather than introducing new physical dynamics, the purpose of this work is to clarify why theestablished quantum formalism admits so little structural freedom once a small set of minimalrequirements is imposed.

•Feb 1, 2026•0 citations
This paper reconstructs the operational content of finite-dimensional quantum mechanics from deterministic Hamiltonian dynamics defined on a compact Kähler manifold Σ. An ontic microstate evolves under a Liouville-preserving flow generated by a Hamiltonian vector field, while observable statistics arise only after applying a smooth many-to-one projection π:Σ→CPⁿ⁻¹ to epistemic coordinates. The induced epistemic measure is taken to be absolutely continuous with respect to the Fubini–Study measure, which is selected as the canonical invariant density under the symmetry and regularity assumptions developed in companion work. For a class of Hamiltonians compatible with the projection structure, the projected dynamics on CPⁿ⁻¹ defines a holomorphic vector field. By the Ashtekar–Schilling correspondence, this reproduces the standard Schrödinger form of unitary evolution on the operational state space. Measurement interactions are modelled as Hamiltonian evolution on a joint system–apparatus surface, with outcomes represented by context-dependent regions on CPⁿ⁻¹ defined relative to the measurement setting. When evaluated with the Fubini–Study measure, the resulting region weights reproduce Born-form outcome statistics for the measurement constructions considered. Composite systems are represented by joint ontic structures that need not factorise, while the operational projection recovers the usual reduced-state formalism and subsystem dynamics. Overall, the analysis shows how unitary evolution, measurement statistics, mixed-state structure, and contextual dependence in finite-dimensional quantum mechanics can be realised within a deterministic geometric framework, without introducing fundamental stochastic processes or additional collapse postulates. Programme background: https://www.constraintsurfacedynamics.com — Glossary: https://glossary.constraintsurfacedynamics.com
Decades of work in geometric quantum mechanics and decoherence theory have clarified how quantum behaviour arises from underlying symplectic and dynamical structures, yet both leave unresolved why measurements yield definite outcomes with |ψ|² frequencies. This paper proposes a deterministic geometric account that retains the strengths of those approaches while eliminating the need for stochastic collapse or multiple-world postulates. The result is a unified description in which observed statistics follow from conserved geometry rather than from probabilistic axioms. Physical reality is represented by a single trajectory ω(t) evolving under Hamiltonian flow on a compact symplectic manifold Σ. Interaction with an environment imposes new constraints that dynamically partition Σ into isolated outcome regions {Ωᵢ}, whose invariant volume ratios μ(Ωᵢ)/μ(Ω₀) reproduce Born weights. Outcome definiteness arises from trajectory confinement within an isolated region, and the framework predicts a quantitative correspondence between interference visibility V and the dynamical separation I of outcome regions. In the macroscopic limit, V ≈ 1 − I, so high separation (I → 1) corresponds to classical definiteness and negligible remaining visibility. The exact functional form, together with parameter-free calculations and proposed experimental tests, is developed in the forthcoming Paper C and a companion note (2025–2026). The paper establishes a complete ontological basis for deterministic quantum measurement, defines how isolation and re-isolation govern the appearance of classicality, and clarifies compliance with Bell, Kochen–Specker, Fine, and PBR constraints. It shows that a finite, measure-preserving geometry can reproduce the statistical structure of quantum theory while remaining open to empirical refutation. This framework, termed Constraint-Surface Dynamics, thus offers a deterministic and falsifiable alternative foundation for quantum mechanics.
We develop a dynamical framework for quantum measurement based on stochastic but unitary evolution in projective state space. Random Hamiltonians drawn from the Gaussian Unitary Ensemble generate stochastic unitary dynamics of the quantum state, while equivalence classes reflecting finite detector resolution define classical observables as well as classical configuration-space and phase-space submanifolds. When the evolution is constrained to the phase-space submanifold, free Schrödinger dynamics reduces to Newtonian motion, while stochastic motion constrained to the classical configuration-space submanifold yields ordinary Brownian motion in classical space. Transition probabilities under the stochastic dynamics satisfy the Born rule, whereas the constrained classical evolution produces the normal probability distributions characteristic of classical measurements. We show that, in this setting, measurement, state reduction, and the quantum-classical transition emerge from unitary dynamics alone, without invoking nonunitary collapse or additional postulates. Entanglement and EPR correlations arise geometrically from the evolution of joint states in composite state space, preserving locality in spacetime. The framework provides a unified dynamical account of measurement and classicality compatible with the structure of quantum mechanics.
We present a symmetry-first account of Born weights for finite-dimensional quantum systems that does not take probabilistic postulates as primitive. The core observation is geometric: pure states are rays in Cn{\mathbb{C}}^{n}Cn, hence the operational state space is complex projective space CPn−1CP^{n - 1}CPn−1, equipped with its natural SU(n)SU{(n)}SU(n) action. We show that this symmetry fixes, up to normalisation, a unique SU(n)SU{(n)}SU(n)-invariant Borel probability measure on CPn−1CP^{n - 1}CPn−1, namely the Fubini–Study measure μFS\mu_{FS}μFS​[1] (Ashtekar & Schilling 1999). Symmetry alone, however, does not determine how weights attach to specific outcome projectors. To close this gap without appealing to stochastic axioms, we introduce minimal operational consistency requirements for a probability assignment p(P∣ψ)p{({P \mid \psi})}p(P∣ψ) over projectors: normalisation on orthonormal resolutions, additivity on orthogonal projectors, noncontextuality, and unitary covariance. For n≥3n \geq 3n≥3 these assumptions imply the quadratic form p(P∣ψ)=⟨ψ∣P∣ψ⟩{p{({P \mid \psi})}} = {\langle\psi|P|\psi\rangle}p(P∣ψ)=⟨ψ∣P∣ψ⟩ by a Gleason-class theorem[2], and the qubit case is handled by a standard strengthening such as extension to POVMs (Busch 2003). Finally, combining these Born weights with deterministic volume-typicality results from our companion work (Paper A) yields observed outcome frequencies as long-run volume ratios under measure-preserving dynamics. The result is a compact, finite-dimensional foundation in which Born statistics arise from symmetry plus operational consistency, with empirical content residing in the typicality and invariance assumptions.
This paper proves that quantum mechanics emerges as a mathematical necessity when a deterministic classical system possesses compact Kähler dimensions inaccessible to observation. The proof rests on three independent results from established mathematics: Spectral discreteness: The spectral theorem for elliptic operators on compact manifolds guarantees a discrete eigenspectrum, producing superposition and complex phase structure. The uncertainty principle: The Gromov non-squeezing theorem establishes an irreducible lower bound on observable uncertainties, with Planck's constant identified as the symplectic capacity of the compact space. The Born rule: The unique Kähler-compatible L² inner product determines the probability rule P = |ψ|² with no alternatives. Together, these results demonstrate that the complete axiomatic structure of quantum mechanics — complex Hilbert space, superposition, interference, the uncertainty principle, the Born rule, and entanglement — is a necessary consequence of dimensional projection rather than a set of independent postulates. The paper further shows that: The complex numbers in quantum mechanics originate from the complex structure (J) of the compact manifold, providing a geometric explanation for recent experiments ruling out real-valued quantum mechanics (Renou et al., Nature 2021; Chen et al., PRL 2022). Unitary time evolution arises because the complex structure converts what would otherwise be dissipative dynamics into probability-preserving oscillation. The number field of quantum mechanics (real, complex, or quaternionic) is determined by the topology of the compact dimensions (Riemannian, Kähler, or hyperkähler respectively), making laboratory quantum experiments probes of extra-dimensional geometry. CPT symmetry corresponds to orientation-invariance of the compact manifold, connecting discrete symmetry tests to the topology of the extra dimensions. The theorem requires no physical assumptions beyond the existence of inaccessible compact Kähler dimensions. It applies to any number of dimensions, any compact Kähler geometry, and any deterministic dynamics. The paper concludes that quantum mechanics is not a law of nature but a law of perspective — the second such law in physics, following relativity. Where relativity revealed that the separation of spacetime into space and time is observer-dependent, this work shows that the separation of dynamics into deterministic and probabilistic is equally observer-dependent. Originally submitted to Foundations of Physics on March 16, 2026
Deterministic Quantum Mechanics (DQM) is a research program investigating whether the probabilistic content of quantum mechanics can be understood as an emergent statistical description of an underlying deterministic physical theory. This paper consolidates the program’s cumulative results into a single account.The central proposal is that a complete microscopic state evolves deterministically, that the quantum state is a coarse-grained ensemble descriptor rather than the complete physical state, and that measurement outcomes are selected by which deterministic basin of an enlarged phase space a microscopic trajectory occupies. Under this proposal, Born probabilities are basin measures rather than fundamental stochastic laws.For a qubit, this program is realized exactly: a hidden variable λ on the unit sphere, a preparation-dependent density μ_r(λ) = [r·λ]₊/π, and the deterministic response A(n,λ) = sgn(n·λ) reproduce the qubit Born rule P(±|r,n) = (1 ± r·n)/2 exactly, together with sequential-measurement statistics and the associated expectation values. This preparation measure is itself shown to be the deterministic pushforward of a uniformly distributed microscopic preparation coordinate, removing any appeal to fundamental preparation-level stochasticity.Measurement is then developed as deterministic basin selection within a finite-time Hamiltonian architecture, with a finite-time stability theorem governing when microscopic perturbations cannot dislodge a trajectory from its basin. Entangled correlations are reproduced by an autonomous, rotationally covariant Bell Hamiltonian containing dynamical setting registers and a conserved-momentum phase shear; this mechanism reproduces the singlet correlation E(a,b) = −a·b and the CHSH value 2√2 in its ideal limit, while preserving exactly uniform local marginals at finite setting inertia and yielding an explicit, quantitatively bounded finite-inertia correction. A finite Hamiltonian bath (Model-C) supplies a deterministic amplification and record-retention mechanism; its analytic structure — including an exact completed-square cancellation of the static bath backreaction and an exact finite-bath spectral equation — is derived independently of, and is shown to survive, a documented numerical implementation failure (the C14 program), which is retained in the record as a diagnosed, non-Hamiltonian right-hand side rather than as evidence against the underlying construction.Extending the program beyond the qubit exposes a genuine mathematical obstruction: no deterministic basin defined directly on the qutrit pure-state manifold ℂP² can reproduce an arbitrary rank-one Born probability, because positivity forces any exact basin onto a measure-zero point. This is proved rigorously. The resolution is not the abandonment of determinism but the enlargement of the hidden state beyond the quantum ray itself, to a genuine mechanical phase space such as the cotangent bundle T*SU(3), on which the quantum state re-emerges as a coarse-grained moment and on which contextual, Kochen–Specker-compatible measurement dynamics can in principle be realized.Throughout, the paper enforces a strict evidentiary hierarchy — mathematical construction, analytic theorem, numerical validation, and experimental confirmation are never conflated — and closes with an explicit account of what has been proved, what remains open, and what would be required to render the program experimentally falsifiable.
This paper presents a structural reconstruction of the formal core of quantum mechanics fromthe properties of a bounded, linear, distinguishability-reducing projection acting on a generalfunctional space. Effective quantum states are identified with equivalence classes under theprojection ΠQM : H∗ → HQM and the Hilbert-space structure of HQM is induced by a positiveoperator K on the underlying space.Within this framework, the characteristic elements of quantum theory emerge as direct conse-quences of projection geometry and operator structure. Linearity yields superposition, quadraticnorms on equivalence classes give rise to the Born rule, non-factorizability leads to entangle-ment and commuting local algebras ensure no-signalling. Schrödinger-type unitary dynamicsarises from projection of symmetric generators, Dirac-type operators follow from algebraic com-patibility with Clifford structures and violations of classical Bell inequalities together with theTsirelson bound are enforced by operator-norm constraints in the projected C∗-algebra.No hidden variables are introduced and no modification of standard empirical quantummechanics is proposed. Rather than postulating the quantum formalism as axiomatic, theanalysis shows that its defining structures form a highly constrained and stable outcome oflinear projection, equivalence-class geometry, and norm-preserving dynamics.Rather than introducing new physical dynamics, the purpose of this work is to clarify why theestablished quantum formalism admits so little structural freedom once a small set of minimalrequirements is imposed.