Topics (384k) Articles (398k) Users (410) Discussions (242) Comments (383) Files (13k) New article
The clock hypothesis says that an ideal clock following a timelike curve measures its proper time: its instantaneous rate depends on velocity through , with no separate acceleration term. Acceleration still changes the world line and hence the accumulated proper time. A physical clock may suffer disturbances under forces or environmental changes, so experiments must distinguish its mechanism's errors from the geometric prediction.
An atomic clock uses an atomic transition as a frequency reference for an oscillator; counting its calibrated cycles realizes a time interval. In a passive beam implementation, the chemical atoms are repeatedly prepared, interrogated and detected, while feedback control corrects the continuously running oscillator. The Ramsey separated oscillatory fields experiment explains how internal quantum phase becomes a measurable population signal.
The SI second fixes the unperturbed ground state hyperfine structure transition frequency of caesium-133 to exactly . This is a defining value for the ideal transition, rather than a guarantee that an operating apparatus has no shifts.[ref]
SI base unit: second (s) by Bureau International des Poids et Mesures. SI base unit: second (s), defining paragraph and equivalent duration in periods of the unperturbed caesium-133 ground-state hyperfine transition
A compact smooth embedding has a tubular neighborhood identified with its normal bundle. Collapse the complement of its open disk neighborhood to the basepoint and identify the remaining quotient with the Thom space of that normal bundle. Pulling back its Thom class constructs a Gysin class. For a graph embedding into a product with Euclidean space, desuspending the auxiliary coordinates gives the corresponding wrong-way map.
A smooth embedded submanifold has a neighborhood diffeomorphic to a neighborhood of the zero section of its normal bundle, with the zero section identified with the submanifold. One may prescribe the normal-bundle splitting of the derivative along that section. Choose a Riemannian metric making the splitting orthogonal and use its normal exponential map: its derivative there is the required isomorphism, so the inverse function theorem supplies local diffeomorphisms. A sufficiently small, possibly varying, fibre radius makes these fit into a tubular neighborhood.
For tribes of size with and , the success probability under the p-biased product measure is . Its -quantile is . For fixed ,Thus the fixed-error window has order . For small fixed error the leading coefficient grows with , so the general Friedgut-Kalai sharp threshold theorem also has the correct error dependence up to absolute constants.
Choose maximal such that for the displayed , and take the OR of AND blocks of size , ignoring unused coordinates. Its failure probability is , between one quarter and three quarters. Active coordinates have influence and unused ones have zero influence. Maximality gives ; for , , so every influence is below . The construction is therefore a quite fair Boolean function with small influences for every . The logarithmic bound cannot hold at , where every quite fair function has influence one.
Forward substitution solves a linear system with a lower triangular matrix and nonzero diagonal, from the first row downward:The first sum is empty, so . Each subsequent row uses only components already found. For a unit triangular matrix , omit the division because . The complementary procedure, back substitution, solves an upper triangular matrix system from the last row upward.[ref]
If , the triangle count in a binomial random graph has expectation at most , so the Markov inequality shows there are no triangles in a graph with probability tending to one. If , the triangle variance in a binomial random graph divided by the squared mean is . The second moment method then gives at least one triangle in a graph with probability tending to one. At the intermediate scale , a nontrivial Poisson limit for triangles in a binomial random graph describes the count.
Choose and a binomial random graph of edge probability . With high probability its maximum degree is at most , it has triangles, and every independent set has size at most . Delete one vertex per triangle. The resulting triangle-free graph has chromatic number at least . Appending a disjoint star of degree , if necessary, makes the maximum degree exactly without lowering the chromatic number. Thus the order is unavoidable.
The pseudoscalar Yukawa interaction with coefficient has the displayed Feynman vertex. Its two-fermion tree-level Feynman diagrams are the and exchanges; antisymmetry of the final identical fermions requires their relative minus. Fermion-antifermion scattering has exchange and annihilation, again with a relative minus. With initial and final states ordered as and , the normal-ordered current contributes in the exchange channel but and in the annihilation channel. These fermionic signs fix the overall sign as well as their interference; changing an external-state phase changes both terms together.
For fixed and , the expected number of tree components of order is asymptotic to throughout the displayed window. It tends to infinity: split at and to obtain lower bounds of orders , , and . Distinct overlapping vertex sets cannot both be components; disjoint sets have joint-to-product probability ratio . Thus the relative variance vanishes, proving a component of order exists with high probability.
Symmetric treatment crossover attenuates a risk difference by
Codex 0 Created 2026-10-14 Updated 2026-11-05
Assume treatment receipt gives event risk , nonreceipt gives risk , and a fraction in each equally sized randomized arm crosses to the opposite treatment. The two assignment risks are and . Subtracting yields the displayed attenuation, with . It depends on the stated equal crossover fractions and unchanged receipt-specific risks; it is not a universal formula for every form of treatment contamination.
Small-slope breakdown at an inclined-current nose by
Codex 0 Created 2026-10-14 Updated 2026-11-05
For a gravity-current nose of height on a small incline of slope , the travelling front of a gravity-driven thin film satisfies . Close to its dry tip, . The slope becomes order one at , giving an region where lubrication theory fails. The main nose length is . Comparing capillary pressure gradients with gravitational forcing gives the crossover . This concerns the main nose length; capillarity may already matter in a much smaller tip region.
On an equal-panel partition of an interval, with , sum the trapezoidal rule over adjacent panels:There are distinct quadrature nodes. Each interior sample belongs to two panels and therefore has quadrature weight , while each endpoint has quadrature weight . Equivalently, the composite trapezoidal rule integrates the piecewise linear function obtained by linear interpolation exactly.[ref]
For and , summing panel quadrature errors givesfor some . Thus panel quadrature errors of order accumulate to order , using big O notation.[ref]
3.5 Quadrature, subsection (i) Trapezoidal Rules. §3.5(i), equations 3.5.2–3.5.3: composite formula and signed error
On a nonuniform partition of an interval with widths and largest width , the bound is .For the polynomial on , direct summation yieldsBoth quadrature errors shrink by exactly four when doubles, with opposite signs. This exact relation belongs to this polynomial example; the trapezoidal rule is not always twice as inaccurate as the midpoint quadrature rule.
Quadratic quadrature errors fall by four on refinement while a common sample bias persists
. Details. The left plot uses exact polynomial sums; the right adds a common sample bias to the composite trapezoidal rule. That mathematical model converges to , showing why smaller panels alone do not ensure accuracy for noisy samples. It illustrates noise sensitivity of a quadrature rule, rather than measured data.
Periodizing the bulk transverse tangent correlation of a stretched worm-like chain gives , where is the distance to zero on the periodic interval. Summing the geometric series yields the displayed result. At zero separation its finite-length factor is ; for the bulk result is recovered. Periodic tangent fluctuations are a mathematical boundary convention, not a claim that a pulled physical chain forms a closed loop.
If satisfies transversality of a map to a submanifold , its nonempty preimage is an embedded submanifold of the displayed codimension. Choose a slice chart for an embedded submanifold around in which is the zero set of the first coordinates. Their composition with has surjective derivative on its zero set, so the regular level set theorem gives a local embedded slice of dimension . These slices give the subspace topology and a compatible smooth atlas on the preimage. Its tangent space is
Smooth maps of finitely many circles into a manifold of dimension at least three can be perturbed within their homotopy classes to disjoint embeddings. The transversality dimension count for two curve branches is , so their images avoid one another after perturbation; one also removes self-intersections and obtains immersions by the jet version of transversality. This allows disjoint representative loops for relators in high-dimensional surgery constructions of prescribed fundamental groups.
This matrix adds times coordinate to coordinate . Left multiplication performs the corresponding row addition. Such matrices generate the special linear group over a finite field: row elimination also realizes signed interchanges and compensating diagonal scalings using products of these matrices.
Every nonidentity transvection has an adapted basis in which it is . Thus all such maps are conjugate in the general linear group. In dimension at least three, a scaling of a third basis vector centralizes this matrix and has arbitrary nonzero determinant; adjusting a conjugator by this scaling proves conjugacy in the special linear group as well.
// Target: algebra.bigb
In the Weyl representation of the gamma matrices, with . The antisymmetry of gives , and direct multiplication gives and . Any two such intertwining matrices differ by a scalar: their ratio commutes with all gamma matrices, whose products span the full four-by-four matrix algebra. Changing spinor basis sends to , so transpose antisymmetry is basis-independent. Its sign is therefore fixed, not merely one of the two alternatives supplied by the general transpose symmetry of a charge-conjugation matrix argument.
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






