A complete excursion from along any one arm and back to has mean length . This follows from the same path recurrence, or from Kac's lemma: the graph has edges, the stationary distribution of simple random walk assigns mass to , so its mean return time is .
Let be the mean time to hit starting at . On each visit to , the first step reaches with probability ; with probability it begins a wrong-arm excursion of mean duration , after which the problem restarts. Thus
The walk first takes mean time to reach , so the requested time from is
Until the walk first reaches , it is the simple random walk on a path of length with reflection at the endpoint . If is the expected hitting time of from the vertex at distance from , then
Solving this second-difference equation gives . Therefore
Put . Every extension of has characteristic , so the iterated Frobenius endomorphism satisfies
The root set is . It contains and . If , then
so it is closed under subtraction and multiplication. If is nonzero, then
Thus is closed under multiplicative inverses as well, and is therefore a field. This is the polynomial characterization of a finite field; in fact it is the finite field with elements, since has degree and no repeated roots.
Proceed by induction on . A nonconstant polynomial over a field has an irreducible factor . Part (a) gives an extension containing a root of , hence of . The factor theorem gives
where is monic of degree . Apply the induction hypothesis over and compose the resulting field extensions. The final field contains roots and
Equivalently, every polynomial has a splitting field.
Because is irreducible, the ideal is maximal in the polynomial ring . Hence
is a field extension of . Let . Evaluation in the quotient gives , and the factor theorem in gives
for some . This is the standard adjoining a root of an irreducible polynomial construction.
For every nonnegative integer ,
Consequently, if , then
By the divisibility characterization of the minimal polynomial,
Interchanging and also gives . Therefore the Minimal polynomials of AB and BA can differ only in the exponent of the factor , and that exponent differs by at most one.
If is diagonalizable, its minimal polynomial has no repeated roots. The preceding divisibility says that every nonzero Jordan block of has size one and every zero-eigenvalue block has size at most two. Squaring preserves the one-dimensional nonzero blocks and sends every size-at-most-two nilpotent block to zero. Thus the Jordan normal form of is diagonal, so
Take
Then and , whereas . Hence their minimal polynomials are
For all but finitely many , the matrix is invertible. Part (a), applied to and , then gives
Both sides are polynomials in the two variables . Since they agree for infinitely many values of , their coefficients as polynomials in agree. Setting yields
even when is singular.
Taking the matrix trace of the adjugate expansion and using part (b) gives
Hence . Taking traces in gives, for ,
For , the same formula follows by taking the trace of . Iterating the recursion from part (a) also gives
Consequently the Faddeev–LeVerrier algorithm is
Starting with , this recursively expresses every using only ; these are the Newton identities for the characteristic polynomial.
Let . Expanding the determinant along row shows that
where is the corresponding cofactor. Since a diagonal entry of the adjugate matrix is that same cofactor, the multivariable chain rule along the diagonal yields
Therefore
The adjugate matrix is the transpose of the cofactor matrix, and it satisfies
Put and substitute the two given expansions into this identity:
Comparing coefficients of powers of gives
Here because the characteristic polynomial is monic.
An unbiased estimator of a parameter satisfies for every permissible value of . Since the sample mean is linear,
so is unbiased.
Use the identity
The two expectations on the right are and , respectively. Hence
Thus
The unbiased sample variance instead divides the same sum of squares by .
For observations , the log-likelihood of the normal distribution model is
Differentiating first with respect to gives . Substituting this value and differentiating with respect to gives the normal mean and variance maximum-likelihood estimators
Let the common initial state be and the robber's final state be . Part (a) gives their joint distribution as
Let be the cop's hitting time of when starting from . For a chain started from , condition on its first step to obtain
Hence the expected catch time, averaged over the displayed joint law, is
Using Kac's lemma once more gives
The convention correctly counts an immediate catch when the robber's reverse step leaves it at the common starting state.
Conditional on , the random variable is the first return time . The Kac's lemma mean-recurrence formula for a finite irreducible Markov chain gives
Averaging over therefore yields

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