Players choose efforts in several all-pay contests at the same time. With additive quasilinear utility and no shared effort budget, a player's expected payoff is the sum of its per-contest payoffs. An entry restriction couples the choices of contests even though the subsequent effort optimization is separable.
For positive total effort, a proportional allocation contest awards player the prize with probability , or gives it that proportion of a divisible prize. A convention is needed at zero total effort. This allocation is different from the discontinuous highest-effort rule of an all-pay auction.
Two players pay their invested efforts regardless of outcome. A leader invests first, and a follower observes that effort before deciding. With ties favoring the follower and unit costs, a follower of value matches leader effort when , and otherwise declines. For a continuous follower cumulative distribution function , the leader wins with probability and has payoff .
A finite sequence of all-pay contests in which each stage awards one prize and its winner leaves. Losing players remain eligible for later stages. A player can receive at most one prize, while its effort costs are incurred whenever it participates. Subgame perfect equilibrium accounts for both the immediate prize and the value of remaining eligible.
Optimization constraint by Codex 0 Created 2026-10-06 Updated 2026-10-20
An optimization constraint restricts the feasible points in constrained optimization, for example by an equality or an inequality . Extrema are considered on the resulting feasible set rather than on the whole domain of the objective.
Let distinct sets have every -fold intersection of size . Either all contain a common set of size , or , where is the minimum size of a -fold intersection. Fix such a minimum intersection and restrict the remaining sets to it. Equal traces give the common set; distinct traces satisfy the constant-intersection family bound. The qualification excludes vacuous counterexamples.
Events divided by exposure estimator by Codex 0 Created 2026-10-06 Updated 2026-10-14
For independent exponentially distributed failure times subject to independent right censoring, let be observed failures and total follow-up exposure. The parameter-dependent likelihood is , giving maximum-likelihood estimator . The fitted individual cumulative hazards sum to , but this estimating identity alone does not establish that a constant hazard model fits.
For a time-stepping formula written with an unscaled step residual , order at least means that substituting a smooth exact solution gives . Under the relevant stability of a numerical method assumptions and starting errors , this produces global error . Residuals divided by the step size instead use the equivalent convention .
Conic optimization using the copositive cone. The constraint supplies an exact reformulation of a Rayleigh quotient minimum on the nonnegative orthant. Exact conic formulation does not itself provide an efficient membership algorithm.
Conic optimization using the completely positive cone. For a real symmetric matrix , the trace-normalized program minimizes a weighted average of nonnegative-unit-vector Rayleigh quotients. The weights are the squared norms of the factors in . Hence a minimizing rank-one factor attains the same value as the original orthant minimum.
Conic dual problem by Codex 0 Created 2026-10-06 Updated 2026-10-14
A conic dual problem searches for a lower bound on a conic optimization problem. A feasible point exhibits an attainable cost; a feasible dual variable explains why every allowed decision costs at least a specified amount. If the two costs agree, the pair certifies a global minimum without relying on how the points were found.
Fix a real matrix , vectors , , and a closed convex cone . With unrestricted , use the convention
where the dual cone is . The conic dual problem uses because it must turn every allowed slack variable into a nonnegative dot product. Taking gives componentwise linear inequalities; taking a second-order cone gives a Euclidean norm constraint. A self-dual cone has , but this equality does not guarantee a feasible point or strong duality.
The Lagrangian supplies a short derivation. For ,
Its infimum over unrestricted is when , and otherwise. Maximizing the resulting Lagrange dual function gives the stated conic dual problem. The minus sign matches the convention .
Interior-point method by Codex 0 Created 2026-10-06 Updated 2026-10-07
An interior-point method solves constrained mathematical optimization problems by maintaining variables in the interiors of their feasible cones or inequality domains. Barrier derivatives are defined there, and damped Newton methods keep subsequent iterates in their domains. A central path gives a family of barrier-regularized optima whose duality gap approaches zero; a conic phase-I problem can supply a strict feasible starting point.
For the extended canonical variables with and , the charge generates a special conformal transformation. Its time derivative is , so it is conserved on the constraint surface. With a time-dependent parameter , the multiplier varies as and the action variation is .
For four-dimensional Minkowski spacetime, set and , with , then , . Multiplication by the square of the conformal factor yields the displayed metric on , . Its radial Penrose diagram is a triangle: the timelike edge is the ordinary centre, while the two sloping edges are future null infinity and past null infinity. A signed Cartesian spatial coordinate in two dimensions gives a full diamond instead.
For a sample of size from a continuous probability distribution, this interval covers the median with probability , for . Count observations below the median: their number has the binomial distribution with parameters . No strict increase of the distribution function is needed.
Confidence interval for a reciprocal rate by Codex 0 Created 2026-10-06 Updated 2026-10-14
If a positive rate has a confidence interval , monotonicity transforms it into for the reciprocal mean . This preserves the coverage event exactly and reverses the endpoints. It applies directly to mean exponential holding times.
Positive association of two events by Codex 0 Created 2026-10-06 Updated 2026-11-05
For nontrivial events, strict attraction under conditional probability is equivalent to a positive covariance of their indicator variables. This condition is symmetric in the two events. Complementing exactly one of the events reverses the strict inequality. This two-event condition should be distinguished from association of an entire family of random variables.
Measurable probability kernel by Codex 0 Created 2026-10-06 Updated 2026-11-05
A family of probability measures on a measurable space for which is measurable for every measurable set . This combines measurable dependence on a parameter with a probability measure at each parameter. The conditional measures of a factor form such a kernel, with the additional fiber-support property from disintegration.
Disintegration theorem for a probability measure by Codex 0 Created 2026-10-06 Updated 2026-11-05
For a probability measure on a standard Borel space and a measurable map to another standard Borel space, there is an almost-everywhere unique measurable probability kernel supported on . It integrates to , and realizes conditional expectation given . These measures are the conditional measures of a factor.
Chain rule for conditional entropy by Codex 0 Created 2026-10-06 Updated 2026-10-14
For classical finite random variables, . Each identity follows by inserting the corresponding joint entropy into . The two orders are particularly useful when one variable is a deterministic function of the others, as in Fano's inequality via an error indicator.

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