Quantum measurement
From count availability to a definite physical record. MQ supplies a count-to-record framework and an ideal conditioning rule. A detector-specific realization remains additional physical input.
Relational count structure
n subscript I of xi and A is the nonnegative integer multiplicity at relational cell xi and primitive update index A. Omega prime is a bounded relational region, and N subscript I is its total count. A is not physical time and is distinct from outcome-region label A subscript k. The Internal Frame is a relational count-configuration domain without primitive physical space or elapsed time.
MQ0542 and MQ0759 record this measure. Conservation in a bounded region requires the declared boundary balance, rather than following from nonnegative counts alone. MQ0273 and MQ0293 retain boundary flux; zero flux gives a constant regional total under the stated balance. The primitive count description is pre-probabilistic.
Specified realization and outcome partition
Given a realization map and encoding, the count measure is represented by measurable System Frame availability density rho subscript S of spatial coordinate r in metres and physical time t in seconds. The Frames mapping connects these representations. A specified measurement uses pairwise disjoint measurable outcome regions A subscript k covering output domain Omega subscript out, up to measure-zero sets. N subscript S of a region and t is its availability integral. Its total must be positive and finite.
MQKB-EQ-1534, MQKB-EQ-1535 and MQKB-EQ-1565 record these weights. The normalized weights do not by themselves select a unique outcome partition or determine a detector interaction. P subscript k is the weight of outcome region k, and k is a record index.
Completed interaction and record assignment
M subscript c is a specified completed-interaction realization map from primitive interaction domain E to the output domain. Kappa assigns each outcome region its stable record label o subscript k. R is their record-map composition.
mu subscript E is the interaction measure, P subscript E is that measure normalized by its positive finite total, and mu subscript S is its compatible pushforward under M subscript c. The subscript star denotes pushforward; inverse superscript minus one here denotes an event preimage, not a reciprocal.
MQKB-EQ-1538, MQKB-EQ-1540, MQKB-EQ-1721, MQKB-EQ-1722 and MQKB-EQ-1724 give the composition and probability identity. Equality with P subscript k requires the realized measure and availability weights to be compatible representations of this same construction. The identity transports an already specified measure through a specified record map. It does not independently construct which complete interaction occurs, the apparatus dynamics, or a unique partition from marginal counts. CLM4383, CLM4386, CLM4639 and CLM5877 retain that distinction. For a finite uniform or integer-weighted preparation, record probabilities are rational count ratios. Recovering ideal continuum probabilities requires a justified completion; fundamental counts cannot silently be subdivided. CLM4748 retains this exact finite-versus-continuum distinction.
Ideal post-measurement state
Psi subscript MQ is a normalized position-space encoded pure state. Chi subscript A subscript k is the indicator of the selected region: one inside and zero outside. With the prescribed ideal phase-preserving restriction and positive outcome probability, the conditioned state is:
MQ0624, MQ0638, MQ0706 and MQ0757 give the normalized restriction. For the compatible Born/availability encoding, P subscript k equals the integral of the normalized squared amplitude over A subscript k, so the displayed square-root probability denominator is equivalent to the source integral form in MQKB-EQ-1531. A zero-probability event has no normalized conditional state under this rule.
This is the stated ideal operation, not a derivation of a unique physical state update from count conservation, record repeatability or the pushforward identity. Degenerate record regions can preserve a label without fixing all within-region coherences. CLM3293, CLM4293, CLM4298 and CLM4378 explicitly retain the representation-level and implementation qualifications. Stable-record construction and detector-specific dynamics remain separate physical requirements.
Numerical, equation and semantic authority is MQKB523.zip. No empirical detector data or new outcome probability prediction is asserted. The lattice, availability surface, colored partitions and detector images are edited conceptual illustrations, not measured configurations or a physical time evolution of the Internal Frame.
Quantum Measurement
From Count Availability to a Definite Physical Record
A detector can leave one definite record even when quantum mechanics assigns probabilities to several possible records. The measurement problem asks how that definiteness arises when the system and apparatus are described together by linear, unitary evolution. A superposition of input states can evolve into a superposition of correlated system and apparatus states. Unitary evolution alone supplies no rule that selects one of those records.
Measurement Quantization (MQ) starts with one axiom, measure is discrete. Its Internal Frame describes relational count structure. The Frames mapping is the relational realization that gives rise to measurable quantities and geometry in the System Frame. At cosmological scale, MQ uses this geometry to anchor an expanding frame of information.
MQ uses four physical inputs to specify our universe’s fundamental-measure realization. The fine-structure constant calibrates the radial coefficient, the speed of light normalizes length and time and has an exact numerical value in SI, and the electron mass and Bohr radius anchor the cross-dimensional normalization. These quantities have shared dependencies. The laboratory measurement construction below additionally specifies a preparation, an admissible interaction domain and a measurement context.
From Relational Counts to Outcome Weights
In the finite count model, each relational element carries a nonnegative integer multiplicity. The multiplicities add over a region, and admissible redistribution conserves the total in a closed count domain. If elementary count units are exchangeable and the weight is additive, each unit has equal weight. Normalizing on a nonempty finite domain makes the weight of a subset its share of the total count. Multiplicity allows different configurations to contain different numbers of units. The MQ Frames of Reference page describes the distinction between the count domain and its realized measures.
The Count-to-Record Identity
Fix a preparation and measurement context, indexed by . Let be the nonempty finite multiset of elementary count units in the complete admissible interaction domain. Let be the record map, which assigns each unit the distinguishable record of its associated completed interaction. Each completed configuration lies in exactly one outcome class for this map. For a set of record labels , let be the units that give a record in that set, counted with multiplicity. The induced record weight is
The ratio is dimensionless. An empty preimage has weight zero, the complete record space has weight one, and disjoint record sets have additive weights. Under the Frames mapping, the same ratio can be computed as the mapped measure of the selected outcome regions divided by the mapped measure of the complete output domain, provided both measures are inherited from the same finite ensemble.
From Weights to Observed Frequencies
For a specified ensemble and record map, the identity gives a probability law on record labels. To use that law for an experiment, MQ must identify the count ensemble and show that the proposed map and weights describe the apparatus. If independently repeated trials under the same preparation follow that law, their relative frequencies tend to the corresponding weights. The counting identity leaves the physical realization of the detector and the choice of ensemble to be established.
Why the Wave Function Comes Later
In an admitted continuum position representation, let be the nonnegative System Frame availability density at position and time . Let be its total integral over the represented position domain at that time, assumed finite and positive. Let denote the MQ wave function and the real phase used to represent mapped redistribution. The symbol is the base of natural logarithms, and is the imaginary unit. The amplitude representation is
Because the phase factor has unit modulus, the squared magnitude is the availability density divided by its total and integrates to one. Integrating over a position region gives its normalized availability. This continuum encoding is a separate step from pushing a finite count measure to discrete record labels. The position-space amplitude representation can be placed in a Hilbert space. With a specified apparatus observable or specified positive effects, that representation supports the corresponding projective or generalized Born probabilities.
What Happens After a Record Is Realized?
MQ distinguishes the physical production of a distinguishable record from conditioning predictions on the record. In the ideal position-region case, let denote the realized region, with indexing the outcome. Let be its indicator, equal to one inside the region and zero outside it. Let denote the conditioned amplitude. The integration uses the three-dimensional volume element . For a positive-weight region, restriction and renormalization give
Squaring and integrating the conditioned amplitude over the region gives one. An immediate ideal repetition of the same position partition therefore returns that outcome, provided there is no intervening evolution that moves support outside the region. A general detector can have additional state changes that require a specification of its measurement instrument. In MQ, conditioning the prediction does not change the conserved total of the closed underlying count domain.
Coherence, Dynamics and Bell Correlations
Coherent alternatives can yield interference because the squared magnitude of their summed amplitudes contains a term that depends on their relative phase. The sum must be normalized for use as a probability amplitude when its norm differs from one. In Controlled double-slit electron diffraction, Bach and colleagues observed individual electron detections build up a double-slit interference pattern.1 This establishes the interference phenomenon that the MQ representation must reproduce. It leaves open how the underlying count model realizes a particular detector record.
The preprint Measurement Quantization: A Count-Based Resolution of the Quantum Measurement Problem3 also develops Schrödinger-form evolution under additional nonrelativistic assumptions about the admissible dynamics. Its kinematic construction uses a covariant translation representation and an action scale to relate the generator to physical momentum. These are additional steps beyond the record identity. See Determinism and the Foundations of Quantum Behavior, Physical Significance of Measure, and Planck’s Constant.
For composite systems, MQ allows a joint availability that need not factor into independent subsystem weights. In the preprint’s ideal two-channel polarization construction, a norm-preserving channel rotation gives the angular response used for Bell–CHSH correlations. The model’s single-wing marginals are independent of the other wing’s setting in that construction. These results concern the specified channel model and its joint weights.
Testing the Measurement Account
A test of MQ’s count-to-record account would specify the preparation, the admissible counts, the detector and the observable before comparing predicted record weights with measured frequencies and their uncertainties. A reproducible mismatch under those conditions would challenge that physical identification. Agreement with a standard quantum prediction would establish consistency for the tested observable. A test that distinguishes the two accounts would require different predictions for the same conditions.
The MQ measurement analysis also proposes a frequency-shift comparison for gravitational quantum transitions. In Realization of a gravity-resonance-spectroscopy technique, Jenke and colleagues observed transitions between gravitational states of ultracold neutrons.2 Testing the proposed shift requires a matched transition, a baseline and a treatment of the experimental frequency uncertainties.
Measurement as Realization
MQ proposes that a completed interaction produces one referenceable physical record from underlying relational availability. Its count-to-record identity shows how the weights of possible records follow from a specified ensemble and realization map. Once the record exists, conditioning describes what to predict next.
1. R. Bach, D. Pope, S.-H. Liou and H. Batelaan, Controlled double-slit electron diffraction, New Journal of Physics 15, 033018 (2013). Paper.
2. T. Jenke, P. Geltenbort, H. Lemmel and H. Abele, Realization of a gravity-resonance-spectroscopy technique, Nature Physics 7, 468–472 (2011). Paper.
3. Jody A. Geiger, Measurement Quantization: A Count-Based Resolution of the Quantum Measurement Problem, ResearchGate preprint (2025). See also Fundamental Measures.
Related Journalist Briefs
Follow the measurement argument from possible outcomes to a definite record in these three briefs.
- Definite Measurement RecordsHow MQ separates the formation of a physical record from the update to future predictions.
- Born Rule and Measurement AvailabilityHow MQ connects normalized availability to outcome weights.
- Many-to-One RealizationHow different completed configurations can give the same record label.
