Topics (384k) Articles (398k) Users (410) Discussions (242) Comments (383) Files (13k) New article
Relativistic causality constraint on an ideal nonlocal measurement by
Codex 0 Created 2026-10-07 Updated 2026-10-14
The nonselective channel of a hypothetical spacelike nonlocal measurement in quantum mechanics must not allow a distant input change to alter local output statistics. For a rank-one measurement in the rotated even and odd two-qubit bases with angle , Alice's output satisfiesBob can change the last correlation using only his local Pauli Z gate while Alice keeps the input . The resulting signal excludes . Degenerate observables that do not distinguish this basis are not covered by the rank-one argument. Locally recording a jointly encoded result, which is decoded later by local operations and classical communication, is compatible with quantum no-signalling.
An ideal measurement preserving the measured eigenspaces. In the projective setting, the selective instrument preserves every vector within outcome , including coherence inside a degenerate eigenspace. Repeated measurements agree in the absence of intervening dynamics changing the measured quantity. Measuring a finer observable can destroy degeneracy coherence and need not realize the same Lüders rule instrument.
A physical measurement interaction must correlate the system with a meter; in Haroche cavity photon nondemolition experiment that meter is a chemical atom. For a measured observable , a useful sufficient ideal condition is together with , where is the interaction Hamiltonian operator and the free Hamiltonian operator. These conditions protect its eigenvalues during probing and between probes. They do not protect every other observable, nor prevent conditional quantum state changes. In particular, preserving photon number can disturb the field's quantum phase.
The single-band Hubbard model balances electron hopping between localized spatial orbitals against local interaction. A common form isThe first sum is over neighbouring unordered site pairs. The parameter sets hopping, while penalizes double occupancy. At electrons occupy independent energy bands; strong repulsion suppresses local charge fluctuations and can favour local-moment behaviour. This competition was the motivation for the model's treatment of narrow-band electron correlation.[ref]
Electron correlations in narrow energy bands by John Hubbard. 1963, introduction and Section 2, approximate local interaction model
At one electron per site and , virtual double occupancy yields the antiferromagnetic scale . The two-site Hubbard dimer makes this concrete: the singlet state is lowered by , while triplet states have no such shift. Its small-hopping limit gives Hubbard kinetic exchange.
Geometrical frustration occurs when an interaction graph prevents all local preferred configurations from being satisfied simultaneously. For classical equal-length vector spins with positive antiferromagnetic exchange, a bipartite graph permits opposite vectors on its two sublattices, minimizing every bond. A triangle cannot make all three pairs antiparallel.
For three classical vectors of length on an equal-coupling triangle,The minimum has zero vector sum, hence a coplanar -degree arrangement. For Ising spins on the same triangle, at least one bond remains unsatisfied. The allowed spin space matters.
The vector picture is classical. Three quantum spin-half degrees of freedom cannot have total spin zero; their frustrated states require a Quantum Hamiltonian treatment. Geometric frustration can enhance competition and low-energy ground-state degeneracy, but does not by itself prove a quantum spin liquid or a particular ordered state.
Classical communication transmits a distinguishable classical record, such as measurement bits, between parties. In quantum teleportation it tells the receiver which local correction to apply. Quantum no-signalling prevents shared entanglement alone from transmitting the record. A classical message cannot propagate across a spacelike separation in a relativistic protocol.
The harmonic oscillator transition kernel is the position-space unitary time evolution amplitudeFor ,Here is the reduced Planck constant. The interval fixes the initial square-root branch; extension beyond focusing times requires its continued phase.
In the path integral, write a path as the classical oscillator path plus a fluctuation vanishing at both endpoints. The quadratic action splits exactly into the classical action and the endpoint-independent fluctuation action. The Dirichlet oscillator determinant ratio gives the prefactor, while the classical boundary action gives the exponent. [ref]
The Path Integral approach to Quantum Mechanics by Riccardo Rattazzi. Printed pp. 23–26, equations 1.75–1.99, especially determinant factor 1.98 and kernel 1.99
As with fixed, the expression reduces to the free-particle propagatorAt , the coordinate kernel is distributional because classical paths refocus. The Feynman i-epsilon prescription fixes the continuation through these caustics. Integrating the kernel against an initial wavefunction gives its later wavefunction.
A Fourier sample is a computational-basis measurement outcome after applying a quantum Fourier transform to a quantum state . Its distribution is given by the squared Fourier amplitudes. For a uniform periodic coset of spacing , samples are the multiples with uniform . Samples need not individually reveal the whole period: a greatest common divisor can remove factors from a single reduced denominator, motivating two-sample exact period recovery.
An observer at constant proper acceleration in the Minkowski vacuum detects a thermal response at this temperature. The associated Rindler coordinates separate the observer's accessible wedge from a horizon. This is an observer-dependent particle/detector response, not an assertion that inertial observers measure a thermal bath.
Positive-frequency modes in stationary asymptotic past and future regions can differ by a Bogoliubov transformation mixing positive and negative frequency solutions. The conserved Klein-Gordon inner product gives its canonical normalization. The out annihilation operator then contains in creation operators, yielding the displayed number expectation in the initial vacuum. A nonzero mixing coefficient changes the particle content relative to final observers without violating deterministic field evolution.
A device qubit couples diagonally to a finite bath of spins. Conditional bath states acquire opposite phase rotations, and their conditional environment overlap multiplies the device coherence. An initially aligned bath leaves the overlap's modulus at one. Initially equatorial spins yield . Global unitary time evolution remains reversible, and a finite spin-bath coherence recurrence prevents a strict zero long-time limit at finite bath size.
No deterministic quantum operation can make two perfect copies of every unknown pure state. For a proposed unitary operator acting with a fixed blank and environment, preservation of inner products gives , where is the input overlap and is the overlap of final environment states. Nonorthogonal distinct states have , contradicting this equality. The no-cloning theorem for two pure states is its elementary two-state form.
For an odd prime , any solution is nonzero modulo . Fermat's little theorem givesso is even and . Conversely, put when . Pairing opposite factors in the factorial givesWilson's theorem therefore gives , constructing a solution. For example, at the construction gives and . The criterion is the first supplementary law for quadratic reciprocity expressed as existence of a square root.
Cantor space is the binary sequence space with the product topology of discrete two-point factors. Here the Bernoulli-space synonym refers to this topology, without selecting a particular probability measure. The metric induces the topology. A diagonal subsequence argument gives compactness. Fixing a finite prefix gives a clopen cylinder set. The map is a homeomorphism to the usual Cantor set.
For a metric space with a probability measure , the concentration function is , where is the metric neighbourhood of radius . A sequence exhibits concentration of measure if these functions tend to zero for every fixed positive radius. The metric scale is part of this definition.
A random matrix is a matrix whose entries are random variables. Its eigenvalues form a random configuration, and its empirical spectral measure records their distribution with equal mass on each eigenvalue. Entry assumptions and normalization determine the spectral regime.
A point process records random locations by a random measure that counts them. Examples include arrival times of a queue, positions of stars, and the finite eigenvalue configuration of a random matrix. The count in an observation window is a random variable; its expected value is supplied by the intensity measure of a point process, while its fluctuations and relationships with other windows require more information.
For a precise spatial convention, take with its Borel sigma-algebra and a probability space . A locally finite point process is a measurable function from to the space of locally finite point measures, equipped with the sigma-algebra generated by evaluations for Borel sets . Each realization has the formwhere is finite or countable and repeated locations are allowed; is a Dirac measure. Here a point measure is a counting measure with possible multiplicities, rather than the counting measure of a set of distinct locations.[ref]
Lectures on the Poisson Process by Günter Last and others. Section 2.1, Definition 2.1, printed pp. 10-11: point measures and the sigma-algebra generated by evaluations
Local finiteness means for every bounded Borel set , on a single almost sure event. In it suffices to check the countable collection of balls of integer radius centered at the origin, and this is equivalent to finiteness on every compact set. On a general measurable space there is no notion of boundedness without additional structure: state a metric or an explicit family of observation windows. Another convention on locally compact spaces requires finiteness on compact sets; this need not coincide with finiteness on all bounded sets outside . Local finiteness does not require finitely many points in all of .[ref]
Lectures on the Poisson Process by Günter Last and others. Section 2.4, Definitions 2.11 and 2.13, printed pp. 16-17: bounded-set local finiteness and the countable ball exhaustion
For every integer , there is a prime number strictly between and . This supplies cyclic prime moduli comparable to an integer interval's length in additive combinatorics.
The region bounded by the dividing streamlines of a two-dimensional point source superposed on uniform flow. Its stagnation point is upstream and its far downstream width is . The boundary encloses fluid originating at the source rather than a rigid obstacle; the upstream stagnation point is reached only asymptotically by the upstream source trajectory.
For steady incompressible flow with no stagnant volume, partition the layer into streamtubes of volume flux . The pore volume in a streamtube is , so . This gives the mean residence time even when individual path times vary widely. Streamfunction labels measure flux in two-dimensional flow, so they supply the correct weighting.
Immiscible fluids share pore space, with each phase's Darcy flux determined by its pressure, viscosity and relative permeability. Fluid saturation specifies how much pore space each phase occupies. A capillary pressure couples their pressures, while their individual mass conservation laws determine displacement and saturation evolution.
Pinned article: Introduction to the OurBigBook Project
Welcome to the OurBigBook Project! Our goal is to create the perfect publishing platform for STEM subjects, and get university-level students to write the best free STEM tutorials ever.
Everyone is welcome to create an account and play with the site: ourbigbook.com/go/register. We belive that students themselves can write amazing tutorials, but teachers are welcome too. You can write about anything you want, it doesn't have to be STEM or even educational. Silly test content is very welcome and you won't be penalized in any way. Just keep it legal!
Intro to OurBigBook
. Source. We have two killer features:
- topics: topics group articles by different users with the same title, e.g. here is the topic for the "Fundamental Theorem of Calculus" ourbigbook.com/go/topic/fundamental-theorem-of-calculusArticles of different users are sorted by upvote within each article page. This feature is a bit like:
- a Wikipedia where each user can have their own version of each article
- a Q&A website like Stack Overflow, where multiple people can give their views on a given topic, and the best ones are sorted by upvote. Except you don't need to wait for someone to ask first, and any topic goes, no matter how narrow or broad
This feature makes it possible for readers to find better explanations of any topic created by other writers. And it allows writers to create an explanation in a place that readers might actually find it.Figure 1. Screenshot of the "Derivative" topic page. View it live at: ourbigbook.com/go/topic/derivativeVideo 2. OurBigBook Web topics demo. Source. - local editing: you can store all your personal knowledge base content locally in a plaintext markup format that can be edited locally and published either:This way you can be sure that even if OurBigBook.com were to go down one day (which we have no plans to do as it is quite cheap to host!), your content will still be perfectly readable as a static site.
- to OurBigBook.com to get awesome multi-user features like topics and likes
- as HTML files to a static website, which you can host yourself for free on many external providers like GitHub Pages, and remain in full control
Figure 2. You can publish local OurBigBook lightweight markup files to either OurBigBook.com or as a static website.Figure 3. Visual Studio Code extension installation.Figure 5. . You can also edit articles on the Web editor without installing anything locally. Video 3. Edit locally and publish demo. Source. This shows editing OurBigBook Markup and publishing it using the Visual Studio Code extension. - Infinitely deep tables of contents:
All our software is open source and hosted at: github.com/ourbigbook/ourbigbook
Further documentation can be found at: docs.ourbigbook.com
Feel free to reach our to us for any help or suggestions: docs.ourbigbook.com/#contact





