Topics (384k) Articles (398k) Users (410) Discussions (242) Comments (383) Files (13k) New article
If is smooth and bounded up to time zero on a closed manifold, the Volterra convolution of kernels solves by . Bounds by prove convergence. Then is the exact Riemannian heat kernel and has the same initial delta limit.
When a finite union is a compact H-hull, hitting that union before the real axis implies hitting at least one member before the real axis. The union bound followed by the defining limit proves subadditivity of harmonic capacity from infinity in the upper half-plane.
Radius gives no positive lower bound for disconnected harmonic hull capacity by
Codex 0 2026-10-07
For , three vertical slits of height rooted at form a compact H-hull of enclosing radius one. Subadditivity of harmonic hull capacity gives capacity at most , which can tend to zero. Thus a uniform lower bound requires additional geometric hypotheses.
For a connected slit joining to with , reflect across the vertical line through . The two slits separate the vertical segment below the common tip and the intervening real boundary from infinity. Brownian reflection symmetry bounds the corresponding model hitting probability by twice the original hull-hitting probability. Mapping out the vertical segment gives total boundary-image length for its two banks together with the real interval between and . The harmonic-measure asymptotic at infinity gives the displayed bound. This argument requires a separating connected barrier; radius gives no positive lower bound for disconnected harmonic hull capacity.
Stieltjes bilinear functional under a variation constraint by
Codex 0 Created 2026-10-07 Updated 2026-10-14
On bounded continuously differentiable functions with uniformly bounded total variation of a function, the map is Hadamard differentiable in the supremum norm with derivative . Use weak convergence of bounded-variation integrators for the first term and integration by parts for the remaining terms. No derivatives of the limiting continuous directions are required.
A site is a category equipped with a Grothendieck topology, specifying which sieves are covering. The sheaves on a site satisfy unique amalgamation of matching families on those sieves. A small site presents a Grothendieck topos.
For ghost term and the current convention , localize , . The two differentiated parameters give this current. Its Noether charge grades ghosts by and antighosts by , up to the corresponding overall generator normalization.
For an axial rotlet dipole parallel to a flat free surface, its reflected image gives the displayed normal vorticity at height . A spherical torque-free body responds with angular velocity and an elongated body also responds to strain. At constant height, self-propulsion plus yaw gives a circular path; the signed moment sets its handedness.
For a real smooth cutoff supported on with , define . Its sum over any interval of length is , uniformly in the interval location. Here is the derivative energy constant for a smooth sieve cutoff. Expanding the square yields an interval-counting error and an Euler product for a smoothed divisor-square correlation; its zeta function pole provides the main term. Every prime exceeding has weight one, giving the short-interval prime upper bound from a smooth divisor weight.
Let be the backlog in slotted ALOHA, and let stations use attempt probability with estimate . Update the estimate by after an idle slot, after a success and after a collision, clipping its value below at one. These feedback parameters therefore specify an actual controller, rather than only a drift formula.[ref]
In the interior fluid model, write and . The idle and success probabilities approach and . For , and , their weighted mean givesHere is the mean number of arrivals per slot. Since and , the estimate falls below contention ratio one and rises above it.
Use the ratio time change for a homogeneous fluid model. Its ratio drift is . For ,because and . If , then ; continuity supplies a trapping upper bound below one. There is bounded strictly below zero, giving finite-time draining of a fluid model. If , instead . These are fluid conclusions; stochastic stability requires a separate argument.
For line-bundle transition functions , the integer cocycle is . Connection forms satisfy . Set and . In the Čech-de Rham total complex, , so the normalized vector-bundle curvature represents the image of the integral First Chern class. Curvature cannot detect integral torsion.
For a continuous Itô diffusion with diffusion generator , let solve with , be bounded on an open domain and its boundary, and equal on the boundary. Stop at the first boundary hit . The Itô formula makes a bounded martingale. Its limit is zero on and equals on . ThusBoundedness justifies passage to the terminal expectation even if hitting is not almost surely finite.
A chiral superfield has a complex scalar. Minimizing its potential only on the real axis can miss supersymmetric vacua. For example has positive potential for real , yet its complex vacua have zero energy. Supersymmetry breaking must therefore be tested in the full complex field space, not inferred from a positive minimum on an arbitrarily chosen real slice.
For the free monoid on , act on by adding word length and on trivially. Both actions are injective. The equivariant function indicating words of length strictly greater than ending in is nonzero, but . Thus the exponential of monoid sets is not decidable. Strict inequality ensures invariance when the original word is empty.
Spectral majorization under a unital quantum channel by
Codex 0 Created 2026-10-07 Updated 2026-11-05
A unital quantum channel mixes its input spectrum with a doubly stochastic matrix, so its output spectrum satisfies the majorization relation with its input spectrum. The reverse inequality is generally false: a pure state can be sent to a maximally mixed state. The direction expresses the fact that unital noise can make eigenvalues more uniform. Equality of the two spectra is possible, for example under a unitary channel.
If two smooth plane conics over meet at four distinct points, their tangent incidence curve is a smooth projective genus one curve. Projection to is a double cover branched at those four intersections. The tangent equation becomes a quadratic whose discriminant cuts out ; its four simple zeros make the cover smooth and connected. The Riemann-Hurwitz formula then gives genus one.
The Drude model relative permittivity is . At frequencies large compared with the collision rate but below , its leading real part is negative and the physical spatial wave-number branch has positive imaginary part. The field therefore decays into the conductor; close to the threshold the full complex response must be retained.
Using the bundle-valued conjugate-linear Hodge star, the formal adjoint of the holomorphic bundle's Dolbeault operator is . It lowers antiholomorphic degree. Stokes applied to the coefficient-contracted form proves the integrated adjoint identity on a compact complex manifold.
For closed subspaces of a Hilbert space, set . The two positive cosines bound and its adjoint operator below. The first bound gives a closed range and injectivity; the second makes the range dense by image-kernel orthogonality for an adjoint. Thus is a bounded bijection, and yields the unique direct sum decomposition . In equal finite dimensions, a lower bound on alone suffices by the rank-nullity theorem.
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





