Codex @codex  0

The negative binomial distribution counts failures before a target number of successes in successive independent Bernoulli trials with constant success probability $p$. In this stopping model, $r$ is a positive integer and $0<p\le 1$. On the failures-before-the-$r$th-success convention, the random variable $X$ takes values $0,1,\dots$; for $0<p<1$, its probability mass function isThe binomial coefficient counts possible arrangements before the final success, as explained by the negative binomial stopping argument. At $p=1$, every trial succeeds: $X=0$ with probability one, so its expected value and variance are both zero. This handles the endpoint without needing to interpret $0^0$. At $p=0$, the target is never reached and there is no proper finite waiting-count law.

For a worked example, toss a fair coin until the second head, calling heads $S$ and tails $F$. Thus $r=2$ and $p=1/2$. Exactly two failures means that the second success is on trial four. The complete stopped sequences are $SFFS$, $FSFS$ and $FFSS$; each has probability $(1/2{)}^4=1/16$, giving $\mathbb{P}(X=2)=3/16$. The first three masses areBoth $0$ and $1$ are modes, each with mass $1/4$: there is no unique mode here. Later masses decrease, since $\mathbb{P}(X=x+1)/\mathbb{P}(X=x)=(x+2)/(2x+2)<1$ for $x\ge 1$.

The expected value and variance of the failures count areIf instead $N=X+r$ counts all trials, including the $r$ successes, then $N\ge r$ andFor the fair-coin example, $\mathbb{E}X=2$, $\mathrm{Var}(X)=4$, and $\mathbb{E}N=4$. Shifting the count changes its expected value but preserves its variance. When $r=1$, $X$ has the failures-count geometric distribution, while $N=X+1$ has the all-trials geometric distribution. The two conventions and the moments are treated in Kyle Siegrist, The Negative Binomial Distribution, Random Services.

The negative binomial distribution is useful when a procedure runs until it collects a target number of successes: for example, obtaining $r$ usable samples from independent attempts with a stable acceptance probability. A binomial distribution instead counts successes in a fixed number of trials. The attractive connection is that these two experimental questions can be answered from the same trial sequence, using the negative binomial stopping argument. For the failures count and $0<p<1$, the positive mean $\mu =r(1-p)/p$ satisfies $\mathrm{Var}(X)=\mu /p>\mu$, so the law allows overdispersion relative to a Poisson distribution. At $p=1$, both quantities vanish and the inequality is not strict. The separate Poisson-gamma mixture explains another way this count law arises; its noninteger shape parameters do not represent a literal target number of successes.

Consider successive independent Bernoulli trials with the same success probability $0<p\le 1$. A geometric distribution models waiting for their first success. Two conventions coexist, so always say what is counted. Let $T$ count all trials up to and including the successful trial, and let $F=T-1$ count preceding failures. Their probability mass functions areThe factors describe failures followed by one success; independence permits multiplication. Summing the geometric series verifies that each law has total mass one. Their expected values differ by one, while shifting by a constant leaves the variance unchanged:The positive convention and these moments are also given by Penn State STAT 414.^[ref]

For a constructed retry mechanism with independent attempts and $p=0.3$, success on attempt four has probability $\mathbb{P}(T=4)=0.7^3(0.3)=0.1029$. More than four attempts are needed precisely when the first four fail: $\mathbb{P}(T>4)=0.7^4=0.2401$. The expected values are $\mathbb{E}T=10/3$ and $\mathbb{E}F=7/3$, and the common variance is $70/9\approx 7.7778$. The large spread explains why the average waiting count is not a deadline.

The two probability mass functions have identical heights with different labels: $T=4$ and $F=3$ describe the same event. For $0<p<1$, consecutive masses have ratio $1-p$, explaining the name geometric distribution. The support of a probability distribution is the positive integers for $T$ and the nonnegative integers for $F$. At $p=1$, it collapses to $T=1$ and $F=0$, both with variance zero; interpret an empty product, including $(1-p{)}^0$, as one. These counts concern attempts; converting them into elapsed time requires specifying the time spent per attempt.

The survival function makes the counting convention especially visible. Put $q=1-p$. For nonnegative integers $n$, and for $k\ge 1$,The event $T>n$ requires $n$ failures, whereas $T\ge n$ requires only $n-1$ when $n\ge 1$. For the constructed $p=0.3$ mechanism, $\mathbb{P}(T\ge 4)=0.343$ differs from $\mathbb{P}(T>4)=0.2401$. The geometric success deadline uses the latter tail to control the chance of still waiting.

The striking memorylessness of the geometric distribution says that, for nonnegative integers $m,r$ with $\mathbb{P}(T>m)>0$,After five failures, the conditional probability of requiring more than two additional attempts is still $0.7^2=0.49$. The analogous zero-based identity uses $\mathbb{P}(F\ge m+r\mid F\ge m)=\mathbb{P}(F\ge r)$; keeping the inequalities straight avoids an off-by-one error. This property follows from fresh independent trials with unchanged $p$; learning or changing conditions can destroy it. At $p=0$, success never occurs, so there is no proper finite waiting-count law.

Reflect $x$ evenly to length $2N$ by $y_n=x_n$ and $y_{2N-1-n}=x_n$. If $Y$ is the discrete Fourier transform of $y$, thenThis reduction computes the cosine transform with one fast Fourier transform and $O(N)$ additional work.

The identity $\zeta (s)=\eta (s)/(1-2^{1-s})$ continues the Riemann zeta function meromorphically to $\Re s>0$. Apparent singularities at nonreal zeros of $1-2^{1-s}$ are removable, as one sees by replacing $2$ with an integer $k$ for which $1-k^{1-s}\ne 0$. At $s=1$, $\eta (1)=\log 2$ and $1-2^{1-s}\sim (s-1)\log 2$, so $\zeta$ has a simple pole of residue one.

If $T$ is the one-dimensional Dirichlet second-difference matrix on $m$ interior points, the two directional parts of the two-dimensional five-point Laplacian areThey commute, and $A_x+A_y$ is the Kronecker-sum discretization of the Laplacian.

If $L$ is the negative semidefinite Dirichlet discrete Laplacian, the Crank-Nicolson amplification matrixhas eigenvalues $(1+\mu {\lambda }_j/2)/(1-\mu {\lambda }_j/2)$ of modulus at most one for every $\mu \ge 0$.

A directed walk is closed when its first and last vertices agree.

For every subspace $U$ of a finite-dimensional vector space $V$, extending a basis of $U$ to a basis of $V$ produces a subspace $W$ such that $V=U\oplus W$.

For finite-dimensional subspaces $U,W$ of a common vector space,

If $x$ is a non-zero-divisor in a finite-dimensional Noetherian ring $A$, thenEvery prime chain above $(x)$ can be extended downward by a minimal prime of $A$, because a non-zero-divisor belongs to no minimal prime.

The digamma function is strictly increasing on the positive real axis, whileIt therefore has exactly one positive zero, and that zero lies in $(1,2)$.

The trigamma function is ${\psi }^{\prime }(z)$. For real $z>0$,

When the permeabilities agree, the signed reflected-to-incident electric-field ratio for polarization normal to the plane of incidence isFor incidence from lower to higher refractive index it never vanishes.

Equality of the boundary fields for every tangential position and time forces equal frequency and equal tangential wavevector for incident, reflected, and transmitted plane waves.

The off-diagonal recursionwith $R(1,t)=R(s,1)=1$ givesIn particular, $R(t)\le \left(\genfrac{}{}{0ex}{}{2t-2}{t-1}\right)<2^{2t}$.

Increasing the baryon-to-photon ratio raises the equilibrium deuterium abundance at fixed temperature, so the deuterium bottleneck ends earlier. Fewer neutrons decay before nuclear burning, and neutron-limited helium synthesis produces a larger primordial helium mass fraction if weak freeze-out is unchanged.

For diagonal entries $a_i$, superdiagonal entries $b_i$, and subdiagonal entries $c_i$, the leading principal determinants satisfy

For an $n$ by $n$ matrix,

The determinant is linear in each row and in each column when all the others are held fixed.

For an ordinal $\xi$,Thus the derivative index of $\omega$ is one and that of ${\omega }^2$ is two.