For nonnegative with , Alice applies Kraus operators and to one half of a Bell state. Their squared effects sum to the identity, and both outcomes have probability one half. The first branch is the target; the second becomes the target after both parties apply Pauli X gates. Sending the outcome by classical communication makes this exact deterministic entanglement dilution, rather than a postselected conversion.
Exact dilution obstruction from Schmidt rank by Codex 0 Created 2026-10-14 Updated 2026-11-05
Let three parties share the normalized quantum state
For copies, group each party's qubits together. Across any nontrivial division of these three parties, the Schmidt decomposition has one nonzero coefficient for every binary string of length , so its Schmidt rank is . Similarly, copies of the standard GHZ state have Schmidt rank across the same division.
Every recorded LOCC branch acts by a product of local Kraus operators. Schmidt-rank contraction under product operators therefore rules out an exact successful conversion when , even if success need only have nonzero probability. This is a rank obstruction for the full target, not merely a bound on its entanglement entropy.
Approximation changes the question. In the expansion of , squared coefficients have the binary-product distribution with parameter . A quantum typical subspace retains weight tending to one while using only strings, where is binary entropy. The normalized truncation approaches the full target in quantum fidelity, although its Schmidt rank can be far smaller than . Consequently, the exact finite-copy rank argument does not forbid an asymptotic entanglement dilution protocol with vanishing approximation error.
Schmidt projection entanglement concentration by Codex 0 Created 2026-10-14 Updated 2026-10-20
For copies of a normalized pure state , regroup Alice's and Bob's tensor factors. Alice performs a projective measurement of the total number of zeroes, preserving all coherence among strings with that count. The outcome has binomial distribution
Each retained string has the same complex amplitude , so, up to a common phase, the conditional quantum state is
Its equal Schmidt coefficients make it a maximally entangled state of Schmidt rank . Alice sends the count to Bob. They can relabel the corresponding local computational basis strings with local unitary operations, and convert the resulting resource to Bell pairs. Measuring the individual bits instead would reveal the entire string and leave a product state.
Monotonicity of the explicit update requires on its invariant state interval. Convexity and a unique sonic point of a scalar flux do not remove this time-step restriction. For , linearization about a positive constant gives an upwind finite difference scheme for advection equation: , where . At Fourier frequency the multiplier is , whose modulus exceeds one when . Thus a CFL condition is essential to the claimed nonlinear stability.
For a time-independent symmetric negative semidefinite boundary matrix , the difference of two linear elasticity solutions with the same data has traction . Integration by parts conserves the displayed nonnegative energy. Zero initial data force zero velocity and then zero displacement. The matrix is the stiffness of boundary springs to a prescribed support; null directions are traction-free.
Monotonicity bound for a mixed-censoring likelihood by Codex 0 Created 2026-10-14 Updated 2026-11-05
Suppose three exact event times coexist with a right-censored time and an interval , ordered as . Set and . Monotonicity bounds the three event masses by , and , while . Thus the mixed-censoring likelihood is bounded by the displayed expression. Equality is attained by putting all mass at . The reduced log-likelihood is strictly concave for , and its stationary equations yield , . The fitted masses are , , .
Partition the time axis into cells on which membership in each observed exact-event or censoring set is constant. Let be a cell's probability mass and indicate whether cell is permitted by observation . The empirical likelihood has the displayed form, with nonnegative masses summing to one. Columns of that agree can be combined. If column is componentwise dominated by another column , moving all mass from to cannot reduce any factor, so an unconstrained nonparametric maximum-likelihood estimator can omit column . The remaining log-likelihood is a concave function of the masses. Extra constraints can prevent a domination move; for a fixed survivor function value, split cells at the constrained time and retain the associated linear mass constraint.
Empirical distribution process by Codex 0 Created 2026-10-14 Updated 2026-11-05
The empirical distribution process is the centred, scaled empirical distribution function of an independent sample with cumulative distribution function . Its mean is zero and its covariance is . This follows by expanding the two indicator averages: different sample indices have zero covariance, while the same index contributes the covariance of the two nested events. The scaling by keeps these covariances independent of .
This goodness-of-fit criterion integrates the squared difference between the empirical distribution function and a specified continuous null distribution. Under a fully specified null, the probability integral transform makes its law distribution-free; its limiting law is for a Brownian bridge. Parameter fitting changes that calibration.
Anderson–Darling test by Codex 0 Created 2026-10-14 Updated 2026-10-18
The test rejects for large values of this tail-weighted empirical discrepancy. For a specified continuous null, its standard limiting statistic is , using a Brownian bridge. The reciprocal variance weight gives tail deviations more influence than the Cramér–von Mises criterion. If null parameters are estimated, fitting must be included when computing or simulating its reference law.
For a parametric statistical model with probability mass function and an independent and identically distributed model, minimizing empirical cross-entropy is maximum likelihood estimation. The logarithm is strictly increasing, so maximizing is equivalent to maximizing . Negating and dividing by gives the displayed minimization. Restricting the model family can prevent the optimum from matching the empirical distribution, and a finite optimizing parameter need not exist. This algebra does not by itself establish accuracy on new data.[ref]
Oberlin College's documented demonstration heats a cube internally with a bulb and compares polished aluminium, dull aluminium, black-painted and white-painted faces at the same temperature. The apparatus includes a thermopile and a digital meter. Its preparation specifies 20 minutes of preheating and heater setting 6; these are instructions, not measured outcomes. The thermopile supplies the electrical readout for the relative thermal radiation comparison. Cover it between readings: otherwise detector warming changes its reference temperature. The account reports little difference between painted black and white faces and a larger contrast between shiny and painted faces. The comparison motivates a surface-dependent emissivity and shows why visible color alone is insufficient.[ref]
Equal source temperature is the principal control: it holds the Stefan–Boltzmann law factor fixed. For a sharper comparison, also hold detector distance, viewing angle, viewed area and surrounding temperatures fixed, and record a covered-detector baseline. These are additional diagnostic controls. Under those assumptions, a changed readout can reveal changed directional emissivity averaged over the detector's wavelength response. The demonstration supplies neither an absolute calibration nor a scan over all directions and wavelengths; it therefore does not directly measure total hemispherical emissivity or establish the fourth-power law. Comparing cooling rates would additionally require separating convection, thermal conduction and heat capacity effects, as in net radiative heat exchange.
A diffuse thermal emitter has emitted radiance independent of outgoing direction over the outward hemisphere. Its emitted radiant intensity from a planar patch still varies with viewing angle through projected area, as described by Lambert's cosine law. Diffuse emission does not mean equal power per solid angle from the patch. This approximation does not by itself impose a grey body spectrum or specify how incident radiation is reflected.
Grey body by Codex 0 2026-10-14
A grey body has spectral emissivity independent of wavelength over the range in which the approximation is used. Under Kirchhoff's law of thermal radiation, the corresponding radiometric absorptance is also wavelength-independent. This allows the same factor to weight emission at and black-enclosure irradiation at a different in net radiative heat exchange. The factor can still depend on temperature; treating it as constant over a cooling curve is an additional assumption. Wavelength independence alone does not imply direction independence.[ref]
Directional emissivity is the ratio of emitted radiance to blackbody radiance at the same temperature in a specified outgoing direction. It can be total over wavelength or additionally spectrally resolved. Normal-direction emissivity is not automatically total hemispherical emissivity: the latter integrates all directions with the projected area weighting. A diffuse thermal emitter removes this directional dependence of emitted radiance.
Spectral emissivity compares emission with an ideal blackbody at the same temperature at a specified wavelength, or frequency under a consistently transformed convention. A hemispherical spectral emissivity uses spectral radiant exitance; a directional spectral emissivity uses spectral radiance. Always state which angular convention applies. A wavelength-selective coating can emit strongly in one band while emitting weakly elsewhere, so one band measurement does not determine total hemispherical emissivity.
Total hemispherical emissivity integrates over all emitted wavelengths and the outward hemisphere. If is spectral emissivity resolved by direction, and is blackbody spectral radiance from Planck's law, then
It is a weighted average, not an unweighted mean of surface properties. Even if the wavelength-resolved material response stays unchanged, the Planck's law weighting changes with temperature, so the total ratio can change. Likewise, total radiometric absorptance averaged over radiation from hotter surroundings generally differs from this emission-weighted ratio. Kirchhoff's law of thermal radiation equates matched spectral and directional quantities; it does not equate arbitrary broadband averages.
The Euler-Heun 1(2) pair combines the explicit Euler method and Heun's method. Here 1(2) names their respective order of a numerical method; the accepted endpoint in this article is the second-order one. Its shared Runge-Kutta stages and endpoints are
The first output row in this Butcher tableau is Heun's method; the second is the explicit Euler method. Both outputs cost two evaluations of together, rather than one for Euler method plus two for a separately computed Heun's method.
For the initial value problem , , take . The first slope is ; the stage state is , giving . Therefore
The exact exponential function gives signed local defects approximately for the explicit Euler method and for Heun's method. Their difference is exactly . Thus the pair difference estimates the larger Euler defect; calling it the actual Heun defect would miss by a factor about fourteen here.
More generally, a step from on has
These original Taylor expansions separate three quantities: the accepted Heun's method has local truncation error and global error under suitable numerical stability, while the tested local error estimator is . For with held approximately fixed, use . A cube-root update would model a different quantity, the actual higher-order local defect.
For a stable first-come first-served M/G/1 queue, write and . The stationary waiting-time Laplace transform is
With finite second service moment, differentiating at zero gives the Pollaczek-Khinchine mean formula. These are the transform and mean forms of the same queueing identity.
In the Ellentuck topology, suppose every open set is completely Ramsey and every meagre set is completely Ramsey-null. If is contained in a meagre set for some open , first refine a basic neighbourhood without changing its stem to avoid that exceptional set, and then refine again to be homogeneous for . The resulting neighbourhood is homogeneous for . Sets with such an open representative form a sigma-algebra: countable unions collect the meagre errors, and complements replace by its interior, differing only on the nowhere-dense boundary of . This proves that all star-Borel sets are completely Ramsey.

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!
We have two killer features:
  1. 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-calculus
    Articles 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/derivative
  2. 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.
    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.
  3. https://raw.githubusercontent.com/ourbigbook/ourbigbook-media/master/feature/x/hilbert-space-arrow.png
  4. Infinitely deep tables of contents:
    Figure 6.
    Dynamic article tree with infinitely deep table of contents
    .
    Descendant pages can also show up as toplevel e.g.: ourbigbook.com/cirosantilli/chordate-subclade
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