Write for the deterministic set of -step self-avoiding walks from . Each uses distinct edges, so independence gives
For , the function on is a concave function. The Jensen inequality gives the root-moment bound for open self-avoiding walks
Equivalently, the Lyapunov moment inequality compares exponents and , both strictly positive. Taking the limit superior and the connective constant limit proves
This includes and . No independence between the different self-avoiding walk indicators is asserted or needed.
Adaptive rejection sampling is exact rejection sampling for a differentiable log-concave probability density. Given interior evaluation points , construct the upper envelope
where is the unnormalized target probability density function. The concave function lies below all its tangent lines, so . Interpolation between adjacent evaluation points gives a lower envelope there, allowing a squeeze test. The normalized upper envelope is a piecewise exponential proposal distribution.
Draw and an independent from the uniform distribution, and accept when . A squeeze test can establish acceptance without evaluating . Otherwise evaluate and, whenever it is evaluated, add to the envelope's points. Repeat until acceptance. On each linear piece , its integral is on , with value when . These integrals select a piece; inverse transform sampling samples within it.
Here, with and , the log-posterior on has
Choose evaluation points strictly inside , avoiding any endpoint singularities of the logarithm. Every finite set of tangent lines gives a finite upper-envelope integral on this bounded interval; slope conditions needed for unbounded supports are unnecessary. When the posterior distribution is simply the uniform distribution and may be sampled directly.
For any fixed envelope, proposal times acceptance is proportional to . Conditional on all past evaluations and rejections, the next accepted value therefore has the same normalized posterior density. To see that adaptation does not spoil this, at every attempted draw its accepted mass is a scalar times that fixed posterior density; summing over possible rejection histories preserves it. The acceptance probability stays bounded below by its positive initial-envelope value because insertion only lowers the upper envelope. Thus acceptance occurs almost surely. With fresh independent randomness, successive accepted values are exact independent samples from the posterior distribution, even when the envelope is retained and improved between them.
Differentiation of the Hubble parameter gives . The strong energy condition and the acceleration equation therefore imply
Assume the present universe is expanding, , and normalize the scale factor by . Since , the past expanding branch has . On this branch,
Integrating from a past time to gives . Thus, where the denominator is positive,
The printed inequality needs this past-time qualification: for future times with , the inequality reverses. Independently, a concave function lies below its tangent, so
Positivity of prevents the past branch extending before the zero of this tangent. If is the beginning of the expanding universe, its age satisfies . Without the normalization , the tangent bound instead reads .
The Lagrange sufficiency theorem says that if a feasible point and nonnegative multipliers satisfy complementary slackness and globally maximizes the Lagrangian function in constrained optimization, then globally solves the constrained maximization problem. Indeed, for every feasible , the signs of the constraints give . Concavity and the Karush-Kuhn-Tucker conditions are a common way to verify the global Lagrangian maximum.
For fixed , A maximizes
subject to and . This is a concave function of . On every active coordinate, the multiplier equation is
Thus A's optimal allocation is given by the water-filling algorithm:
where is chosen so that . Coordinates with zero expression receive no resource. This is a water-filling algorithm. The formula gives the optimum when every . If , any already gives A the whole market in that region, so A assigns such coordinates arbitrarily small positive amounts and applies water filling to the remaining budget; without a convention for , the resulting value can be a supremum rather than an attained maximum.
For a fixed occupancy , let be the per-flow rate on every active route, so feasibility means . A proportionally fair allocation is a feasible allocation satisfying, for every other feasible ,
The sum counts the proportional changes over individual flows. By the first-order condition for a concave function, it is exactly the allocation solving
This is weighted logarithmic utility optimization, and its negative objective is a strictly convex function, which gives unique rates on active routes. Routes with have no per-flow rate to determine.
Index the four routes by , , , , and let be each route's total service. Write
The four capacity constraints say , , , and . Equivalently,
For fixed maxima , every active route in the first group optimally takes total service , and every active route in the second takes , because its logarithmic objective is increasing. Up to the constant , the objective therefore becomes with . Its maximizer is , when , with the evident endpoint choices when one group is empty. Hence the proportionally fair allocation on a four-cycle is
Set on inactive routes. If , all service totals are zero. In particular, for , , as required. Two disjoint active routes in the same group can each receive the same total service; service totals need not sum to one over the entire network.
With independent document arrivals given by Poisson processes of rates and independent unit-mean exponential distributions for document sizes, each of the active documents has completion rate . The flow-level network model is consequently a continuous-time Markov chain with
At all downward rates are zero. The total departure rate is at most four, so the bounded total jump rate ensures no explosion.
The original PDF's displayed factor is a binomial coefficient, not the plain quotient produced by the TeX extraction. The candidate stationary distribution for this reversible four-cycle flow model is
Use . For and ,
so . For the corresponding ratio is . Thus detailed balance for a continuous-time Markov chain holds for every adjacent pair, proving the displayed stationary distribution whenever .
For completeness, its existence condition can be made explicit. Put and . At fixed ,
Therefore the sum over states with is at most , using the binomial theorem. This is summable if . Conversely, restricting to the single maximizing route in each group leaves the series , which diverges if . Hence
These are exactly the four strict resource-load inequalities. With positive arrival rates the Markov chain is irreducible, so the normalized stationary distribution is unique.
Using the representation and differentiation under the integral sign,
because is strictly increasing. Similarly, part (a) gives
because a twice differentiable concave function has . Therefore
In mean-variance optimization, an expected-utility investor consequently prefers a larger mean at fixed standard deviation and a smaller variance at fixed mean. This is the usual risk-averse ordering of Gaussian payoffs.
The Lagrangian sufficiency theorem for a maximization problem says the following. Suppose the constraints are and , and define
If a feasible satisfies complementary slackness and globally maximizes , then globally maximizes . Indeed, for every feasible ,
This proves the theorem. In a concave maximization problem, stationarity and the boundary optimality conditions ensure the required global maximum of the Lagrangian.
For the problem at hand, retain as the domain and attach a multiplier to the equality:
For , this is concave in on the domain. Its separate maximizers satisfy
while the term is . Thus may be positive only when ; when , its maximizing value is .
If
take . Then , , and feasibility fixes
The Lagrangian sufficiency theorem gives the maximum
If
then and . The equality constraint becomes
so
Consequently
The assumptions and ensure . At the stationary point , so the maximum value is
The two formulas agree at .
Let , so . Since class counts add,
The function is concave function on . Jensen inequality therefore gives
which is precisely . Thus an axis-aligned split cannot increase the weighted empirical Gini impurity.
Root-moment bound for open self-avoiding walks Created 2026-10-06 Updated 2026-10-07
In independent bond percolation on a graph, let be the number of -step self-avoiding walks from a fixed graph vertex and the number that are open. Then . The Jensen inequality for the concave function gives . No independence between different self-avoiding walk indicators is needed. When , the limit superior is at most .
Tangent line 2026-10-06
The tangent line to a differentiable function at is its affine first-order approximation . For a differentiable concave function, it is an upper bound throughout a convex interval: the secant-slope inequality and passage to the derivative give . This upper bound constructs valid envelopes in adaptive rejection sampling.