Binary entropy product inequality Created 2026-09-24 Updated 2026-09-24
Directed ladder self-avoiding walk count 2026-10-06
On the doubly infinite ladder graph, self-avoiding walks from a fixed graph vertex using only rightward or vertical steps are in bijection with words in containing no consecutive symbols. Their count is , since , , and . Its exponential growth rate is the golden ratio.
Generating function Created 2026-10-07 Updated 2026-10-14
A generating function packages a sequence into a series so that operations on objects become operations on their encodings. An ordinary generating function uses the power series ; in counting problems, the coefficient records the number of objects of size . The variable initially marks size: it need not be assigned a numerical value. Coefficient extraction writes this recovery as . One compact expression can therefore answer infinitely many counting questions, while explaining how their answers fit together.
Start with two contributions: choose from and from , with exactly one option at each allowed value. Their individual ordinary generating functions are the polynomials and . To count ordered pairs by total , multiply:The coefficients count the ways to obtain totals zero through three. For total two, the possibilities are and ; the two corresponding monomials both contribute . There are six ordered pairs altogether, agreeing with .
If the first contribution has two distinguishable choices when , replace by . Its product with becomes . The coefficients now carry multiplicities as well as possible totals; the exponent still records cost. This lets the same construction handle several actions with identical costs without losing their separate identities.
In general, the Cauchy product givesFor each split of the total size, the rule of product counts the choices of the two components; summing over those splits counts all possibilities. This requires each combined object to have a unique decomposition into the two components. The same idea works for costs, lengths, or other additive measures, not just the number of pieces. See MIT 18.310, generating functions, sections 1–2.
Now cover a board of length with tiles of lengths one and two, without gaps or overlaps. Let count these tilings. There is exactly one empty tiling, so , and . Removing the first tile leaves a board shorter by one or two, giving the recurrence relationThese are the Fibonacci numbers shifted by one index: under the convention , . Keeping the empty tiling is essential to both the counting rule and the resulting ordinary generating function.
Length-one and length-two tiles give five coverings of a length-four board and the Fibonacci recurrence
. Details. For , the empty board or a first tile followed by a remaining tiling givesEquivalently, : each factor chooses one tile, and counts pieces while the exponent of records total length. The same ordinary generating function counts ordered histories of two repeatable actions costing one and two units. Histories and differ despite having the same total cost. MIT's notes use dots and dashes with these costs, including the empty message. [ref]
These identities hold in formal power series algebra: each requested coefficient uses only finitely many contributions. The repeated-choice expansion is legitimate because has zero constant term; a zero-cost repeatable action would allow infinitely many histories of the same size. Numerical evaluation separately requires a convergent series. Here the radius of convergence is , the reciprocal of the golden ratio. At , the rational function equals , but the counting series diverges: that value cannot represent its sum.
Other generating functions change the encoding: an exponential generating function divides by factorials, while a Dirichlet series uses . A counting generating function also differs from a probability generating function, whose coefficients must be nonnegative and sum to one.
Golden ratio approximation for MAX-2SAT 2026-10-06
When each variable appears in at most one normalized singleton clause, satisfy that favored literal with probability and choose independent variables. Every proper binary clause is then satisfied with probability at least , and every singleton with probability . Maximize the common lower bound by , giving the reciprocal of the golden ratio. The method of conditional probabilities derandomizes the construction, obtaining approximation ratio . Tautologies are harmless; the singleton restriction must be applied after removing repeated literals within clauses.
Lucas closed form 2026-10-25
For and , each power sequence satisfies the recurrence relation , because both bases solve . Their sum starts at , so uniqueness of a recursively defined sequence proves that it is the Lucas number sequence. Alternatively, diagonalize the companion matrix and use . The formula explains the exponential growth governed by the golden ratio and the alternating decaying correction .
Maximum-area cylinder inscribed in a sphere Created 2026-10-20 Updated 2026-10-31
For a closed right circular cylinder with radius , height , and total surface area , inscription in a sphere of radius gives . The Lagrange multiplier equations imply , so the positive aspect ratio is . The dimensions are and .
There is also an eigenvalue proof of global maximality. Set , so the constraint is , and write . This quadratic form has symmetric matrix with largest eigenvalue , the golden ratio. Its maximizing eigenvector lies in the positive quadrant, yielding the displayed area and aspect ratio.
Past exam of the mathematics course of the University of Cambridge 2016 iii Paper 204 2 b Solution Created 2026-10-03 Updated 2026-10-06
Represent the doubly infinite ladder graph by , with horizontal edges between successive columns and a vertical rung at each column. An allowed self-avoiding walk is coded by a word in . Two successive steps revisit the preceding graph vertex and are forbidden. Conversely, every word without consecutive steps is a self-avoiding walk: horizontal steps strictly increase the column, and a column is visited vertically at most once. This establishes a bijection, not merely an upper bound.
For the directed ladder self-avoiding walk count, , , and for a word either ends in , or ends in . Removing that final block givesLet be the golden ratio, and . The Binet formula for the Fibonacci number yieldsSince , taking th roots gives . This use of the golden-ratio symbol is independent of the connection rate in Question 1.
Past exam of the mathematics course of the University of Cambridge 2023 iii Paper 337 1 f Solution 2026-09-28
When , the argument of the inverse hyperbolic sine is large. Using givesThe mass remains the zero-temperature gap, with an exponentially small correction from thermally activated excitations.
When , expand around . Ifis the golden ratio, then , andThe leading value is universal. This is the quantum-critical regime: temperature is the only leading energy scale and the correlation length is of order .
Past exam of the mathematics course of the University of Cambridge 2025 iii Paper 164 3 i Solution Created 2026-09-24 Updated 2026-09-25
Letwhere is the golden ratio. If the union-closed family consists of one nonempty set, any element of that set has frequency one, so assume its cardinality exceeds one. Choose independent uniform members and let be their characteristic vectors of sets. Then .
Suppose for a contradiction that every element has frequency . Put , and let , the characteristic vector of a set of . The chain rule for information entropy and conditioning reduces entropy givebecause is a function of .
Fix the two prefixes and setThe two conditioned bits are independent random variables, and exactly when both are zero. The supplied binary entropy product inequality therefore givesAveraging over the independent prefixes yieldswhenever either conditional entropy is positive. Summing and using gives .
But set union keeps inside the union-closed family, so is supported on . The maximum entropy distribution on a finite set gives , a contradiction. Some element must therefore occur in at least members, proving the entropy bound for a union-closed family.
Keep the constraint from part (b). For equal masses and spring constants, the generalized eigenvalue problem for small oscillations reduces toThe horizontal coordinate decouples, givingIn this normal mode, mass 1 oscillates horizontally, mass 2 has its horizontal coordinate fixed, and neither mass has a vertical displacement.
For the vertical block, write . Its characteristic polynomial is . Thus , and the first vertical equation gives . If is the golden ratio, the two vertical modes areIn the lower-frequency mode, the masses move vertically in phase, with the lower mass having the larger amplitude. In the higher-frequency mode they move oppositely, with lower-to-upper amplitude ratio . Their Euclidean inner product is zero because ; since , this is also mass-matrix orthogonality of normal modes.
The three frequencies satisfy . Each mode has a scalar coordinate , and their superposition gives the general constrained motion. No zero-frequency mode remains because the first spring anchors the system. Gravity fixes the equilibrium extensions but drops out of these frequencies for zero-natural-length springs.
Try a linear function . The functional equation becomes for all , so must be a root of a polynomial . Its two roots of a polynomial giveFor either choice, proves the required equality directly. The positive coefficient is the golden ratio.
Let , the golden ratio. Since , multiplication by gives . Adding this recurrence relation to the one for yieldsThus the extra exponential term changes the initial values, but not the linear recurrence relation.
The characteristic polynomial isIts two distinct real roots are the eigenvaluesTheir product is , so . Equivalently, implies . The positive eigenvalue is the golden ratio.
Willem Abraham Wythoff Created 2026-10-24 Updated 2026-11-05
Willem Abraham Wythoff, also spelled Willem Abraham Wijthoff, worked on combinatorial game theory and the geometry of polytopes. His1907 modification of Nim became Wythoff's game. His work also included a published proof of the triangle-free graph bound associated with Willem Mantel.[ref]
https://www.nieuwarchief.nl/serie5/pdf/naw5-2016-17-4-275.pdf. Robbert Fokkink, Wie weet wie Willem Wijthoff was?,2016, printed pp279–280 and reference18
The game illustrates how a small change to legal moves can replace a binary-arithmetic strategy by one organized through Beatty sequences and the golden ratio. His geometric work concerns the symmetry and construction of higher-dimensional polytopes, rather than only recreational games.Portrait of Willem Abraham Wythoff
. Indisch Thee en Familiearchief (source photograph, credited on Commons); photographer and crop creator not established. Public domain (source photograph, as marked on Commons). Source usage terms, via Wikimedia Commons. Source.

.jpg?width=250)