5.1.6 · D5Reinforcement Learning Foundations

Question bank — Discount factor and returns

1,301 words6 min readBack to topic

Before we start, a one-line vocabulary refresher so nothing below is undefined:

Recall The four symbols used on this page
  • ::: the return — total discounted reward from step onward, .
  • ::: the discount factor, a number in that shrinks the weight of each step further into the future.
  • ::: the reward received after the action taken at time (note the ).
  • ::: an upper bound on the size of any single reward, .

True or false — justify

always starts its sum from , never .
True. The action chosen at time produces its reward one tick later, so the earliest reward "caused by" being at is ; starting at is the classic off-by-one that corrupts every Bellman equation.
A larger always produces a larger return.
False. amplifies the future, whatever its sign. If future rewards are penalties, a bigger makes smaller, not larger.
With the agent still weakly considers the next reward .
False. for every , so only survives — the agent is fully myopic and the entire future beyond one step is invisible.
is a safe, "honest" choice with no downside.
False. It is only safe for episodic tasks guaranteed to terminate; in continuing tasks the bound blows up and can diverge.
An infinite stream of rewards has an infinite return.
False (when ). The geometric series sums to , a finite number (e.g. at ). Only makes it diverge.
The mean look-ahead step of a discounted agent is .
False. is the total weight / decay scale; the true mean step index under normalized weights is — exactly one less.
Discounting physically shrinks the reward the environment pays out.
False. The received reward is unchanged; is a preference weighting inside the objective, expressing that we value later reward less when deciding.
Bounding rewards by is enough to guarantee a finite return.
False on its own. You also need . With and the sum still diverges — both conditions are required for .
The recursion is a different definition from the infinite sum.
False. It is the same object; you just peel off the first term and factor out of the rest. They are algebraically identical.

Spot the error

""
The indices are shifted down by one. The correct first reward is , giving .
" holds for all ."
Only for . At the partial sums grow without bound; the closed form is meaningless there.
" shows returns stay small even as ."
The opposite: as the denominator , so the bound explodes. Long horizons need care, not comfort.
"To use the recursion you can start from and work forward."
You must work backward from a terminal condition. Without the recursion has no base case and can't be evaluated.
"Normalized weights form a probability distribution."
They don't sum to 1; you must multiply by . The correct distribution is .
" as a 'survival probability' means the agent literally dies at rate ."
Backwards. Survival at each step has probability ; the stopping probability is . Higher means more likely to keep going.
"Since decays, only finitely many terms matter, so any converges."
Decay requires strictly. At , for all — no decay at all — so convergence fails.

Why questions

Why is the first reward indexed and not ?
Because the reward is a consequence of the action taken at , arriving on the next tick; this convention keeps clean and consistent across all Bellman equations.
Why do we discount at all, given rewards are real?
Three converging reasons: it keeps sums finite in continuing tasks, it models uncertainty about reaching the future, and it encodes a genuine preference for sooner reward (like interest). See the Reward hypothesis for what "reward" is meant to capture.
Why does the geometric-series trick require ?
Subtracting the shifted copy telescopes the middle terms only if ; that vanishing tail is exactly what guarantees.
Why does the recursion matter beyond being a shortcut?
It is self-referential — the return today defined in terms of the return tomorrow — and this is the exact seed of all value-function recursions and of Temporal Difference learning.
Why can and be used interchangeably in casual talk?
They differ by exactly , and as both grow huge so the gap becomes negligible relative to their size — the loose " horizon" survives on that approximation.
Why is called a "trust dial on the future"?
Turning it toward makes the agent grab immediate reward (distrusting the future); toward makes it patiently plan long-term (trusting the future), continuously trading between the two.
Why must the recursion carry a terminal condition ?
A recursion needs a base case to bottom out; declaring "nothing comes after the last reward" () lets the backward computation start, mirroring how dynamic programming seeds its values.

Edge cases

: what does equal, and what is the agent's outlook?
exactly — purely myopic; every future term is annihilated, so a huge later payoff is completely ignored.
in an episodic task that always terminates: is the return finite?
Yes. With guaranteed termination the sum has finitely many nonzero terms, so no discounting is needed for convergence — this is the one setting where is legitimate.
in a continuing (never-ending) task: what happens?
The return can diverge to ; the standard fix is or an average-reward formulation instead.
All rewards are zero except one at step , with : is that reward "felt"?
It contributes — heavily discounted to under one point, so a distant windfall barely moves at .
Rewards alternate with : does converge?
Yes. Bounded rewards with always converge; here , and the alternation just makes the sum settle to .
A single terminal state with reward reached at step 1: what is ?
and ; the whole return collapses to zero — a valid degenerate episode, not an error.
with bounded positive rewards: what does the effective horizon do?
Both and grow without bound, so the agent's planning window stretches toward the whole infinite future — the far-sighted limit central to the Markov Decision Process setup.