Finite-exponential Cole-Hopf solution 2026-10-14
For the negative-flux viscous Burgers equation , set . A sum of exponentials in the initial heat data evolves into , giving the displayed softmax function average. Two terms produce a traveling tanh shock from the lower to the higher state, with speed minus their mean.
Past exam of the mathematics course of the University of Cambridge 2008 iii Paper 88 3 a Solution Created 2026-10-03 Updated 2026-10-14
Write and , with . Direct differentiation givesThus the Cole-Hopf transformation with this negative-flux convention maps the heat equation to the stated viscous Burgers equation. Conversely its residual is independent of and can be removed by multiplying by a function of .
Convolving each initial exponential with the Gaussian heat kernel givesThe resulting finite-exponential Cole-Hopf solution isIt is a softmax function average of the constant states, so and .
For , put and . Equality of the two exponents occurs atThereforeThis is an increasing viscous shock from to , moving at speed and with transition width of order . That speed agrees with the Rankine-Hugoniot condition for flux ; its concavity makes the increasing jump the entropy shock.
For general , use the shock frame . The leading coefficient in is . The endpoint coefficients coincide, and every interior coefficient is smaller by . The extremal-state asymptotics of exponential Burgers solutions therefore reduce the large- profile to the same tanh shock with states and centreAt a fixed , rather than in the moving frame, the endpoint of largest dominates. If , both endpoint rates coincide and the limiting shock is stationary. Intermediate plateaus disappear in the moving-frame limit.
Intermediate states disappear from the finite-exponential Burgers solution in the moving shock frame
. Details. Past exam of the mathematics course of the University of Cambridge 2017 iii Paper 217 4 Solution Created 2026-10-03 Updated 2026-10-06
The equal-variance form of Slepian's lemma is the following. If are centered vectors with multivariate normal distributions, for every , and whenever , thenfor every threshold vector . In particular . No nonsingularity of the covariance matrices is required.
Here the pointwise variances and differ. To make the comparison rigorous, use the increment form, namely the Sudakov-Fernique inequality: if centered multivariate normal distributions satisfy for every pair, then . Unlike the preceding form of Slepian's lemma, this statement has no equal-pointwise-variance hypothesis.
For completeness, the increment form follows by Gaussian integration by parts. Make independent, define for , and letThe are softmax function weights, with and . Direct differentiation gives and . The Gaussian integration by parts identity therefore yieldsThe last summands are nonnegative because . Sinceintegration in and the limit prove the Sudakov-Fernique inequality. All derivatives needed here are bounded for a fixed . Singular covariance matrices can be handled by adding small independent centered normal noise with the same variance to both vectors, proving the identity for the nonsingular vectors, and letting the noise variance decrease to zero.
Use the printed normalization of fractional Brownian motion, which omits the conventional factor . Its increment variance isFor and , . Enumerate by increasing finite subsets whose union is , with . The Sudakov-Fernique inequality givesBoth Gaussian processes vanish at zero almost surely. Thus these maxima are nonnegative and increase with ; monotone convergence theorem givesTheir continuous modifications agree with the original Gaussian processes simultaneously on the countable set , after discarding a single null event. Continuity and density of the rational parameters make each rational supremum equal to the supremum over for these modifications.
The expected suprema are finite. Indeed, the canonical distance of is . A Euclidean grid supplies a closed-ball metric covering number bound for . The Dudley entropy integral bound for an anchored centered separable Gaussian process isThe integral is finite since its integrand grows at most like a constant times near zero. The same argument applies to .
For any real path vanishing at zero,A centered Gaussian process has the same probability law as its negative. Combining this symmetry with the increment comparison gives the stronger boundIn particular the requested comparison isThe common normalization factor affects both sides equally. The comparison is valid for every , including the equality cases or in the increment bounds.
Past exam of the mathematics course of the University of Cambridge 2018 iii Paper 218 3 c Solution Created 2026-10-03 Updated 2026-10-05
The feedforward neural network has three input coordinates, two hidden sigmoid function units and two output softmax function units. Every input is connected to each hidden unit, and each hidden unit to each output unit; each hidden and output unit also has a bias. A layer diagram isAlgebraically, with ,with responses conditionally independent. The fourteen displayed weight and bias parameters comprise six input weights, two hidden biases, four output weights and two output biases. The one-hot encoding supplies targets , , and the categorical cross-entropy loss is the negative of . There is softmax non-identifiability under a common shift of both output logits, but the predicted probabilities are well defined.
Past exam of the mathematics course of the University of Cambridge 2018 iii Paper 218 3 d Solution Created 2026-10-03 Updated 2026-10-05
For one observation, let and define . Differentiating the softmax function and its log-likelihood gives . The sigmoid-softmax network gradients areThese equations are backpropagation: use the chain rule through the output affine map, then through the hidden units, then the input affine map.
For a learning rate , select one observation and update every parameter by , computing all entries of the gradient from the old parameters before applying the update. A uniformly selected observation gives an unbiased gradient of the average log-likelihood; multiplying by 3000 would instead estimate the gradient of the sum. Equivalently perform stochastic gradient descent on the negative log-likelihood. Batch size one makes one update per observation, and five epochs make five passes through the data, typically with a fresh random ordering on each pass.
Past exam of the mathematics course of the University of Cambridge 2021 iii Paper 218 4 a Solution Created 2026-09-28 Updated 2026-10-03
Past exam of the mathematics course of the University of Cambridge 2023 iii Paper 218 4 a Solution 2026-09-28
Past exam of the mathematics course of the University of Cambridge 2023 iii Paper 339 1 d Solution 2026-09-28
Define the softmax weightsThey obey and . The gradient is their weighted mean,Differentiating once more gives the covariance-form Hessian matrixFor every unit vector ,where . The Hessian is a covariance matrix, so it is positive semidefinite; the displayed upper bound also gives in the Loewner order. Consequently has a Lipschitz gradient with
Past exam of the mathematics course of the University of Cambridge 2025 iii Paper 218 4 a Solution Created 2026-09-24 Updated 2026-10-03
Encode the two classes by the standard basis vectors of . With rectified linear unit applied coordinatewise and softmax function , the fitted feedforward neural network iswhere , , , , , and . The number of trainable parameters is
Past exam of the mathematics course of the University of Cambridge 2026 iii Paper 218 5 a Solution Created 2026-09-24 Updated 2026-09-25
For standardized , model1 computesfollowed by logits and softmax function probabilitiesThe parameter count isFor one-hot labels , the categorical cross-entropy loss isThis is the negative conditional log-likelihood of independent categorical labels, equivalently Bernoulli labels in the two-class case.
Sudakov-Fernique inequality 2026-10-06
For centered multivariate normal distributions, if for every pair, then the displayed comparison holds. For a quick proof, make independent and set . Apply Gaussian integration by parts to . With softmax function weights and , the derivative of is . Since , let . Singular covariance matrices follow by adding identical small independent normal noise to both vectors and taking a limit.
