V ARIANCE R EDUCTION FOR R EINFORCEMENT L EARNING IN I NPUT -D RIVEN E NVIRONMENTS
A BSTRACT
We consider reinforcement learning in input-driven environments, where an exogenous, stochastic input process affects the dynamics of the system.
Input processes arise in many applications, including queuing systems, robotics control with disturbances and object tracking.
Since the state dynamics and rewards depend on the input process, the state alone provides limited information for the expected future returns.
Therefore, policy gradient methods with standard state-dependent baselines suffer high variance during training.
We derive a bias-free, input-dependent baseline to reduce this variance and analytically show its beneﬁts over state-dependent baselines.
We then propose a meta-learning approach to overcome the complexity of learning a baseline that depends on a long sequence of inputs.
Our experimental results show that across environments from queuing systems, computer networks, and MuJoCo robotic locomotion, input-dependent baselines consistently improve training stability and result in better eventual policies
I NTRODUCTION
Deep reinforcement learning (RL) has emerged as a powerful approach for sequential decision-making problems, achieving impressive results in domains such as game playing (Mnih et al., 2015; Silver et al., 2017) and robotics (Levine et al., 2016; Schulman et al., 2015a; Lillicrap et al., 2015).
This paper concerns RL in input-driven environments .
Informally, input-driven environments have dynamics that are partially dictated by an exogenous, stochastic input process .
Queuing systems (Kleinrock, 1976; Kelly, 2011) are an example; their dynamics are governed by not only the decisions made within the system (e.g., scheduling, load balancing) but also the arrival process that brings work (e.g., jobs, customers, packets) into the system.
Input-driven environments also arise naturally in many other domains: network control and optimization (Winstein & Balakrishnan, 2013; Mao et al., 2017), robotics control with stochastic disturbances (Pinto et al., 2017), locomotion in environments with complex terrains and obstacles (Heess et al., 2017), vehicular trafﬁc control (Belletti et al., 2018; Wu et al., 2017), tracking moving targets, and more (see Figure 1).
We focus on model-free policy gradient RL algorithms (Williams, 1992; Mnih et al., 2016; Schulman et al., 2015a), which have been widely adopted and benchmarked for a variety of RL tasks (Duan et al., 2016; Wu & Tian, 2017).
A key challenge for these methods is the high variance in the gradient estimates, as such variance increases sample complexity and can impede effective learning (Schulman et al., 2015b; Mnih et al., 2016).
A standard approach to reduce variance is to subtract a “baseline” from the total reward (or “return”) to estimate the policy gradient (Weaver & Tao, 2001).
The most common choice of a baseline is the value function — the expected return starting from the state.
Our main insight is that a state-dependent baseline — such as the value function — is a poor choice in input-driven environments, whose state dynamics and rewards are partially dictated by the input process.
In such environments, comparing the return to the value function baseline may provide limited information about the quality of actions.
The return obtained after taking a good action may be poor (lower than the baseline) if the input sequence following the action drives the system to unfavorable states; similarly, a bad action might end up with a high return with an advantageous input sequence.
Intuitively, a good baseline for estimating the policy gradient should take the speciﬁc instance of the input process — the sequence of input values — into account.
We call such a baseline an input-dependent baseline ; it is a function of both the state and the entire future input sequence.
We formally deﬁne input-driven Markov decision processes, and we prove that an input-dependent baseline does not introduce bias in standard policy gradient algorithms such as Advantage Actor
[Figure]
Critic (A2C) (Mnih et al., 2016) and Trust Region Policy Optimization (TRPO) (Schulman et al., 2015a), provided that the input process is independent of the states and actions.
We derive the optimal input-independent baseline and a simpler one to work with in practice; this takes the form of a conditional value function — the expected return given the state and the future input sequence.
Input-dependent baselines are harder to learn than their state-dependent counterparts; they are highdimensional functions of the sequence of input values.
To learn input-dependent baselines efﬁciently, we propose a simple approach based on meta-learning (Finn et al., 2017; Vilalta & Drissi, 2002).
The idea is to learn a “meta baseline” that can be specialized to a baseline for a speciﬁc input instantiation using a small number of training episodes with that input.
This approach applies to applications in which an input sequence can be repeated during training, e.g., applications that use simulations or experiments with previously-collected input traces for training (McGough et al., 2017).
We compare our input-dependent baseline to the standard value function baseline for the ﬁve tasks illustrated in Figure 1.
These tasks are derived from queuing systems (load balancing heterogeneous servers (Harchol-Balter & Vesilo, 2010)), computer networks (bitrate adaptation for video streaming (Mao et al., 2017)), and variants of standard continuous control RL benchmarks in the MuJoCo physics simulator (Todorov et al., 2012).
We adapted three widely-used MuJoCo benchmarks (Duan et al., 2016; Clavera et al., 2018a; Heess et al., 2017) to add a stochastic input element that makes these tasks signiﬁcantly more challenging.
For example, we replaced the static target in a 7-DoF robotic arm target-reaching task with a randomly-moving target that the robot aims to track over time.
Our results show that input-dependent baselines consistently provide improved training stability and better eventual policies.
Input-dependent baselines are applicable to a variety of policy gradient methods, including A2C, TRPO, PPO, robust adversarial RL methods such as RARL (Pinto et al., 2017), and meta-policy optimization such as
MB-MPO (Clavera et al., 2018b).
Video demonstrations of our experiments are available at https://sites.google.com/view/input-dependent-baseline/ .
P RELIMINARIES
Notation.
We consider a discrete-time Markov decision process (MDP), deﬁned by ( S , A , P , ρ 0 , r, γ ) , where S ⊆ R n is a set of n -dimensional states, A ⊆
R m is a set of m -dimensional actions, P : S ×
A × S → [0 , 1] is the state transition probability distribution, ρ 0 : S → [0 , 1] is the distribution over initial states, r : S ×
A → R is the reward function, and γ ∈ (0 , 1) is the discount factor.
We denote a stochastic policy as π : S ×
A → [0 , 1] , which aims to optimize the expected return η ( π ) =
E τ [ (cid:80) ∞ t =
γ t r ( s t , a t )] , where τ = ( s 0 , a 0 , ... ) is the trajectory following s 0 ∼ ρ 0 , a t ∼ π ( a t | s t ) , s t +1 ∼ P ( s t +1 | s t , a t ) .
We use V π ( s t ) =
E a t ,s t +1 ,a t +1 ,... (cid:2)(cid:80) ∞
l =
γ l r ( s t + l , a r + l ) | s t (cid:3) to deﬁne the value function, and Q π ( s t , a t ) =
E s t
+1 ,a t +1 ,... (cid:2) (cid:80) ∞
l =
γ l r ( s t + l , a r + l ) | s t , a t (cid:3) to deﬁne the state-action value function.
For any sequence ( x 0 , x 1 , ... ) , we use x to denote the entire sequence and x i : j to denote ( x i , x i +1 , ..., x j ) .
Policy gradient methods.
Policy gradient methods estimate the gradient of expected return with respect to the policy parameters (Sutton et al., 2000; Kakade, 2002; Gu et al., 2017).
To train a policy
[Figure]
π θ parameterized by θ , the Policy Gradient Theorem (Sutton et al., 2000) states that
[Equation]
(1) where ρ π ( s ) =
(cid:80) ∞ t =
[ γ t Pr( s t = s )] denotes the discounted state visitation frequency.
Practical algorithms often use the undiscounted state visitation frequency (i.e., γ = 1 in ρ π ), which can make the estimation slightly biased (Thomas, 2014).
Estimating the policy gradient using Monte Carlo estimation for the Q function suffers from high variance (Mnih et al., 2016).
To reduce variance, an appropriately chosen baseline b ( s t ) can be subtracted from the Q-estimate without introducing bias (Greensmith et al., 2004).
The policy gradient estimation with a baseline in Equation (1) becomes E ρ π ,π θ [ ∇ θ log π θ ( a | s ) ( Q π θ ( s, a ) − b ( s ))] .
While an optimal baseline exists (Greensmith et al., 2004; Wu et al., 2018), it is hard to estimate and often replaced by the value function b ( s t ) =
V π ( s t ) (Sutton & Barto, 2017; Mnih et al., 2016).
M OTIVATING E XAMPLE
We use a simple load balancing example to illustrate the variance introduced by an exogenous input process.
As shown in Figure 2a, jobs arrive over time and a load balancing agent sends them to one of two servers.
The jobs arrive according to a Poisson process, and the job sizes follow a Pareto distribution.
The two servers process jobs from their queues at identical rates.
On each job arrival, the load balancer observes state s t = ( q 1 , q 2 ) , denoting the queue length at the two servers.
It then takes an action a t ∈ { 1 , 2 } , sending the job to one of the servers.
The goal of the load balancer is to minimize the average job completion time.
The reward corresponding to this goal is r t = − τ × j , where τ is the time elapsed since the last action and j is total number of enqueued jobs.
In this example, the optimal policy is to send the job to the server with the shortest queue (Daley, 1987).
However, we ﬁnd that a standard policy gradient algorithm, A2C
(Mnih et al., 2016), trained using a value function baseline struggles to learn this policy.
The reason is that the stochastic sequence of job arrivals creates huge variance in the reward signal, making it difﬁcult to distinguish between good and bad actions.
Consider, for example, an action at the state shown in Figure 2a.
If the arrival sequence following this action consists of a burst of large jobs (e.g., input sequence 1 in Figure 2a), the queues will build up, and the return will be poor compared to the value function baseline (average return from the state).
On the other hand, a light stream of jobs (e.g., input sequence 2 in Figure 2a) will lead to short queues and a better-than-average return.
Importantly, this difference in return has little to do with the action; it is a consequence of the random job arrival process.
We train two A2C agents (Mnih et al., 2016), one with the standard value function baseline and the other with an input-dependent baseline tailored for each speciﬁc instantiation of the job arrival process (details of this baseline in §4).
Since the the input-dependent baseline takes each input sequence into account explicitly, it reduces the variance of the policy gradient estimation much more effectively (Figure 2b, left).
As a result, even in this simple example, only the policy learned with the input-dependent baseline comes close to the optimal (Figure 2b, right).
Figure 2c visualizes the policies learned using the two baselines.
The optimal policy (pick-shortest-queue) corresponds to a clear divide between the chosen servers at the diagonal.
In fact, the variance of the standard baseline can be arbitrarily worse than an input-dependent baseline: we refer the reader to Appendix A for an analytical example on a 1D grid world.
R EDUCING V ARIANCE FOR I NPUT -D RIVEN MDP S
We now formally deﬁne input-driven MDPs and derive variance-reducing baselines for policy gradient methods in environments with input processes.
Deﬁnition 1.
An input-driven MDP is deﬁned by ( S , A , Z , P s , P z , ρ s 0 , ρ z 0 , r, γ ) , where Z ⊆ R k is a set of k -dimensional input values, P s ( s t +1 | s t , a t , z t ) is the transition kernel of the states,
P z ( z t +1 | z 0: t ) is the transition kernel of the input process, ρ z 0 ( z 0 ) is the distribution of the initial input, r ( s t , a t , z t ) is the reward function, and S , A , ρ s 0 , γ follow the standard deﬁnition in §2.
[Figure]
An input-driven MDP adds an input process , z = ( z 0 , z 1 , · · · ) , to a standard MDP.
In this setting, the next state s t +1 depends on ( s t , a t , z t ) .
We seek to learn policies that maximize cumulative expected rewards.
We focus on two cases, corresponding to the graphical models shown in Figure 3:
Case 1: z t is a Markov process, and ω t = ( s t , z t ) is observed at time t .
The action a t can hence depend on both s t and z t .
Case 2: z t is a general process (not necessarily Markov), and ω t =
s t is
observed at time t .
The action a t hence depends only on s t .
In Appendix B, we prove that case 1 corresponds to a fully-observable
MDP.
This is evident from the graphical model in Figure 3a by considering ω t
=
( s t , z t ) to be the ‘state’ of the MDP at time t .
Case 2, on the other hand, corresponds to a partially-observed MDP (POMDP) if we deﬁne the state to contain both s t and z 0: t , but leave z 0: t unobserved at time t (see Appendix B for details).
4. V ARIANCE R EDUCTION
In input-driven MDPs, the standard input-agnostic baseline is ineffective at reducing variance, as shown by our motivating example (§3).
We propose to use an input-dependent baseline of the form b ( ω t , z t : ∞ ) — a function of both the observation at time t and the input sequence from t onwards.
An input-dependent baseline uses information that is not available to the policy.
Speciﬁcally, the input sequence z t : ∞ cannot be used when taking an action at time t , because z t +1: ∞ has not yet occurred at time t .
However, in many applications, the input sequence is known at training time.
In some cases, we know the entire input sequence upfront, e.g., when training in a simulator.
In other situations, we can record the input sequence on the ﬂy during training.
Then, after a training episode, we can use the recorded values, including those that occurred after time t , to compute the baseline for each step t .
We now analyze input-dependent baselines.
Our main result is that input-dependent baselines are bias-free.
We also derive the optimal input-dependent baseline for variance reduction.
All the results hold for both cases in Figure 3.
We ﬁrst state two useful lemmas required for our analysis.
The ﬁrst lemma shows that under the input-driven MDP deﬁnition, the input sequence z t : ∞ is conditionally independent of the action a t given the observation ω t , while the second lemma states the policy gradient theorem for input-driven MDPs.
Lemma 1.
Pr( z t : ∞ ,
[Equation]
t | ω t ) =
Pr( z t : ∞ | ω t ) π θ (
[Equation]
t | ω t ) , i.e., z t : ∞ − ω t − a t forms a Markov chain.
Proof.
See Appendix C.
Lemma 2.
For an input-driven MDP, the policy gradient theorem can be rewritten as
[Equation]
where ρ
[Equation]
denotes the discounted visitation frequency of the observation ω and input sequence z , and
[Equation]
Proof.
See Appendix D.
Equation (2) generalizes the standard Policy Gradient Theorem in Equation (1).
ρ π ( ω, z ) can be thought of as a joint distribution over observations and input sequences.
Q ( ω, a, z ) is a “state-actioninput” value function, i.e., the expected return when taking action a after observing ω , with input sequence z from that step onwards.
The key ingredient in the proof of Lemma 2 is the conditional independence of the input process z t : ∞ and the action a t given the observation ω t (Lemma 1).
Theorem 1.
An input-dependent baseline does not bias the policy gradient.
Proof.
Using Lemma 2, we need to show: E
[Equation]
ω, z )
[Equation]
[Equation]
[ ∇
[Equation]
log
[Equation]
θ
[Equation]
ω
[Equation]
b
[Equation]
ω, z )]
= 0 .
We have:
E
[Equation]
Since (cid:80) a π θ ( a | ω ) ∇ θ log π θ ( a | ω ) =
(cid:80) a ∇ θ π θ ( a | ω ) =
∇ θ (cid:80) a π θ ( a | ω ) = 0 , the theorem follows.
Input-dependent baselines are also bias-free for policy optimization methods such as TRPO (Schulman et al., 2015a), as we show in Appendix F. Next, we derive the optimal input-dependent baseline for variance reduction.
As the gradient estimates are vectors, we use the trace of the covariance matrix as the minimization objective (Greensmith et al., 2004).
Theorem 2.
The input-dependent baseline that minimizes variance in policy gradient is given by
[Equation]
Proof.
See Appendix E.
Operationally, for observation ω t at each step t , the input-dependent baseline takes the form b ( ω t , z t : ∞ ) .
In practice, we use a simpler alternative to Equation (4): b ( ω t , z t : ∞ ) =
E a t ∼ π θ [ Q ( ω t , a t , z t : ∞ )] .
This can be thought of as a value function V ( ω t , z t : ∞ ) that provides the expected return given observation ω t and input sequence z t : ∞ from that step onwards.
We discuss how to estimate input-dependent baselines efﬁciently in §5.
Remark.
Input-dependent baselines are generally applicable to reducing variance for policy gradient methods in input-driven environments.
In this paper, we apply input-dependent baselines to A2C (§6.2), TRPO (§6.1) and PPO (Appendix L).
Our technique is complementary and orthogonal to adversarial RL (e.g., RARL (Pinto et al., 2017)) and meta-policy adaptation (e.g., MB-MPO (Clavera et al., 2018b)) for environments with external disturbances.
Adversarial RL improves policy robustness by co-training an “adversary” to generate a worst-case disturbance process.
Meta-policy optimization aims for fast policy adaptation to handle model discrepancy between training and testing.
By contrast, input-dependent baselines improve policy optimization itself in the presence of stochastic input processes.
Our work primarily focuses on learning a single policy in input-driven environments, without policy adaptation.
However, input-dependent baselines can be used as a general method to improve the policy optimization step in adversarial RL and meta-policy adaptation methods.
For example, in Appendix M, we empirically show that if an adversary generates high-variance noise, RARL with a standard state-based baseline cannot train good controllers, but the input-dependent baseline helps improve the policy’s performance.
Similarly, input-dependent baselines can improve meta-policy optimization in environments with stochastic disturbances, as we show in Appendix N.
L EARNING I NPUT -D EPENDENT B ASELINES E FFICIENTLY
Input-dependent baselines are functions of the sequence of input values.
A natural approach to train such baselines is to use models that operate on sequences (e.g., LSTMs (Gers et al., 1999)).
However, learning a sequential mapping in a high-dimensional space can be expensive (Bahdanau et al., 2014).
We considered an LSTM approach, but ruled it out when initial experiments showed that it fails to provide signiﬁcant policy improvement over the standard baseline in our environments (Appendix G).
Fortunately, we can learn the baseline much more efﬁciently in applications where we can repeat the same input sequence multiple times during training.
Input-repeatability is feasible in many applications: it is straightforward when using simulators for training, and also feasible when training a real system with previously-collected input traces outside simulation.
For example, training a robot in the presence of exogenous forces might apply a set of time-series traces of these forces repeatedly to the physical robot.
We now present two approaches that exploit input-repeatability to learn input-dependent baselines efﬁciently.
Multi-value-network approach.
A straightforward way to learn b ( ω t , z t : ∞ ) for different input instantiations z is to train one value network to each particular instantiation of the input process.
Speciﬁcally, in the training process, we ﬁrst generate N input sequences { z 1 , z 2 , · · · , z N } and restrict training only to those N sequences.
To learn a separate baseline function for each input sequence, we use N value networks with independent parameters θ V 1 , θ V 2 , · · · , θ V N , and single policy network with parameter θ .
During training, we randomly sample an input sequence z i , execute a rollout based on z i with the current policy π θ , and use the (state, action, reward) data to train the value network parameter θ V i and the policy network parameter θ (details in Appendix I).
Meta-learning approach.
The multi-value-network approach does not scale if the task requires training over a large number of input instantiations to generalize.
The number of inputs needed is environment-speciﬁc, and can depend on a variety of factors, such as the time horizon of the problem, the distribution of the input process, the relative magnitude of the variance due to the input process compared to other sources of randomness (e.g., actions).
Ideally, we would like an approach that enables learning across many different input sequences.
We present a method based on meta-learning to train with an unbounded number of input sequences.
The idea is to use all (potentially inﬁnitely many) input sequences to learn a “meta value network” model.
Then, for each speciﬁc input sequence, we ﬁrst customize the meta value network using a few example rollouts with that input sequence.
We then compute the actual baseline values for training the policy network parameters, using the customized value network for the speciﬁc input sequence.
Our implementation uses Model-Agnostic
Meta-Learning (MAML)
(Finn et al., 2017).
Require: meta network step size hyperparameters θ V 2: while not done do 3:
Generate a new input sequence z 4:
Sample k rollouts T 1 , T 2 , ..., T k using policy π θ and input sequence z 5:
Adapt θ V with the ﬁrst k/ 2 rollouts: θ 1 V = θ V −
α ∇ θ V L T 1: k/ 2 [ V θ V ] 6:
Estimate baseline value V θ 1 V ( ω t ) for s t ∼ T k/ 2: k using adapted θ 1 V 7:
Adapt θ V with the second k/ 2 rollouts: θ 2 V = θ V − α ∇ θ V L T k/ 2: k
[ V θ V ] 8:
Estimate baseline value V θ 2 V ( ω t ) for s t ∼ T 1: k/ 2 using adapted θ 2 V 9:
Update policy with Equation (2) using the values from line (6) and (8) as baseline 10:
Update meta value network: θ V ← θ V − β ∇ θ V L k/
[Table]
: k (cid:104) V θ
[Table]
V (cid:105) − β ∇ θ V L 1: k/
[Table]
(cid:104) V
[Table]
2 V (cid:105) 11: end while
The pseudocode in Algorithm 1 depicts the training algorithm.
We follow the notation of MAML, denoting the loss in the value function V θ V ( · ) on a rollout T as L T [ V θ V ] = (cid:80)
ω
t ,r t ∼T (cid:107) V θ V ( ω t ) − (cid:80) Tt (cid:48)
=
t γ t (cid:48) − t r t (cid:107) 2 .
We perform rollouts k times with the same input sequence z (lines 3 and 4); we use the ﬁrst k/ 2 rollouts to customize the meta value network for this instantiation of z (line 5), and then apply the customized value network on the states of the other k/ 2 rollouts to compute the baseline for those rollouts (line 6); similarly, we swap the two groups of rollouts and repeat the same process (lines 7 and 8).
We use different rollouts to adapt the meta value network and compute the baseline to avoid introducing extra bias to the baseline.
Finally, we use the baseline values computed for each rollout to update the policy network parameters (line 9), and we apply the MAML (Finn et al., 2017) gradient step to update the meta value network model (line 10).
E XPERIMENTS
Our experiments demonstrate that input-dependent baselines provide consistent performance gains across multiple continuous-action MuJoCo simulated robotic locomotions and discrete-action environments in queuing systems and network control.
We conduct experiments for both policy gradient methods and policy optimization methods (see Appendix K for details).
The videos for our experiments are available at https://sites.google.com/view/input-dependent-baseline/ .
6. S IMULATED R OBOTIC L OCOMOTION
We use the MuJoCo physics engine (Todorov et al., 2012) in OpenAI Gym (Brockman et al., 2016) to evaluate input-dependent baselines for robotic control tasks with external disturbance.
We extend the standard Walker2d, HalfCheetah and 7-DoF robotic arm environments, adding a different external input to each (Figure 1).
Walker2d with random wind (Figure 1c).
We train a 2D walker with varying wind, which randomly drags the walker backward or forward with different force at each step.
The wind vector changes randomly, i.e., the wind forms a random input process.
We add a force sensor to the state to enable the agent to quickly adapt.
The goal is for the walker to walk forward while keeping balance.
HalfCheetah on ﬂoating tiles with random buoyancy (Figure 1d).
A half-cheetah runs over a series of tiles ﬂoating on water (Clavera et al., 2018a).
Each tile has different damping and friction properties, which moves the half-cheetah up and down and changes its dynamics.
This random buoyancy is the external input process; the cheetah needs to learn running forward over varying tiles.
7-DoF arm tracking moving target (Figure 1e).
We train a simulated robot arm to track a randomly moving target (a red ball).
The robotic arm has seven degrees of freedom and the target is doing a random walk, which forms the external input process.
The reward is the negative squared distance between the robot hand (blue square) and the target.
The Walker2d and 7-DoF arm environments correspond to the fully observable MDP case in Figure 3, i.e. the agent observes the input z t at time t .
The HalfCheetah environment is a POMDP, as the agent does not observe the buoyancy of the tiles.
In Appendix H, we show results for the POMDP version of the Walker2d environment.
Results.
We build 10-value networks and a meta-baseline using MAML, both on top of the OpenAI’s
TRPO implementation (Dhariwal et al., 2017).
Figure 4 shows the performance comparison among different baselines with 100 unseen testing input sequences at each training checkpoint.
These learning curves show that TRPO with a state-dependent baseline performs worst in all environments.
With the input-dependent baseline, by contrast, performance in unseen testing environments improves by up to 3 × , as the agent learns a policy robust against disturbances.
For example, it learns to lean into headwind and quickly place its leg forward to counter the headwind; it learns to apply different force on tiles with different buoyancy to avoid falling over; and it learns to co-adjust multiple joints to keep track of the moving object.
The meta-baseline eventually outperforms 10-value networks as it effectively learns from a large number of input processes and hence generalizes better.
The input-dependent baseline technique applies generally on top of policy optimization methods.
In
Appendix L, we show a similar comparison with PPO (Schulman et al., 2017).
Also, in Appendix M we show that adversarial RL (e.g., RARL (Pinto et al., 2017)) alone is not adequate to solve the high variance problem, and the input-dependent baseline helps improve the policy performance (Figure 9).
6. D ISCRETE -A CTION E NVIRONMENTS
Our discrete-action environments arise from widely-studied problems in computer systems research: load balancing and bitrate adaptation.
1 As these problems often lack closed-form optimal solutions (Grandl et al., 2016; Yin et al., 2015), hand-tuned heuristics abound.
Recent work suggests
[Figure]
that model-free reinforcement learning can achieve better performance than such human-engineered heuristics (Mao et al., 2016; Evans & Gao, 2016; Mao et al., 2017; Mirhoseini et al., 2017).
We consider a load balancing environment (similar to the example in §3) and a bitrate adaptation environment in video streaming (Yin et al., 2015).
The detailed setup of these environments is in Appendix J.
Results.
We extend OpenAI’s
A2C implementation (Dhariwal et al., 2017) for our baselines.
The learning curves in Figure 5 illustrate that directly applying A2C with a standard value network as the baseline results in unstable test reward and underperforms the traditional heuristic in both environments.
Our input-dependent baselines reduce the variance and improve test reward by 25–33%, outperforming the heuristic.
The meta-baseline performs the best in all environments.
R ELATED W ORK
Policy gradient methods compute unbiased gradient estimates, but can experience a large variance (Sutton & Barto, 2017; Weaver & Tao, 2001).
Reducing variance for policy-based methods using a baseline has been shown to be effective (Williams, 1992; Sutton & Barto, 2017; Weaver & Tao, 2001; Greensmith et al., 2004; Mnih et al., 2016).
Much of this work focuses on variance reduction in a general MDP setting, rather than variance reduction for MDPs with speciﬁc stochastic structures.
Wu et al.
(2018)’s techniques for MDPs with multi-variate independent actions are closest to our work.
Their state-action-dependent baseline improves training efﬁciency and model performance on high-dimensional control tasks by explicitly factoring out, for each action, the effect due to other actions.
By contrast, our work exploits the structure of state transitions instead of stochastic policy.
Recent work has also investigated the bias-variance tradeoff in policy gradient methods.
Schulman et al.
(2015b) replace the Monte Carlo return with a λ -weighted return estimation (similar to TD( λ ) with value function bootstrap (Tesauro, 1995)), improving performance in high-dimensional control tasks.
Other recent approaches use more general control variates to construct variants of policy gradient algorithms.
Tucker et al.
(2018) compare the recent work, both analytically on a linearquadratic-Gaussian task and empirically on complex robotic control tasks.
Analysis of control variates for policy gradient methods is a well-studied topic, and extending such analyses (e.g., Greensmith et al.
to the input-driven MDP setting could be interesting future work.
In other contexts, prior work has proposed new RL training methodologies for environments with disturbances.
Clavera et al.
(2018b) adapts the policy to different pattern of disturbance by training the
RL agent using meta-learning.
RARL (Pinto et al., 2017) improves policy robustness by co-training an adversary to generate a worst-case noise process.
Our work is orthogonal and complementary to these work, as we seek to improve policy optimization itself in the presence of inputs like disturbances.
C ONCLUSION
We introduced input-driven Markov Decision Processes in which stochastic input processes inﬂuence state dynamics and rewards.
In this setting, we demonstrated that an input-dependent baseline can signiﬁcantly reduce variance for policy gradient methods, improving training stability and the quality of learned policies.
Our work provides an important ingredient for using RL successfully in a variety of domains, including queuing networks and computer systems, where an input workload is a fundamental aspect of the system, as well as domains where the input process is more implicit, like robotics control with disturbances or random obstacles.
We showed that meta-learning provides an efﬁcient way to learn input-dependent baselines for applications where input sequences can be repeated during training.
Investigating efﬁcient architectures for input-dependent baselines for cases where the input process cannot be repeated in training is an interesting direction for future work.
Acknowledgements.
We thank Ignasi Clavera for sharing the HalfCheetah environment, Jonas
Rothfuss for the comments on meta-policy optimization and the anonymous ICLR reviewers for their constructive feedback.
This work was funded in part by NSF grants CNS-1751009, CNS-1617702, a Google Faculty Research Award, an AWS Machine Learning Research Award, a Cisco Research
Center Award and an Alfred P. Sloan Research Fellowship.
A I LLUSTRATION OF V ARIANCE R EDUCTION IN 1D G RID W ORLD
Consider a walker in a 1D grid world, where the state s t ∈ Z at time t denotes the position of the walker, and action a t ∈ {− 1 , +1 } denotes the intent to either move forward or backward.
Additionally let z t ∈ {− 1 , +1 } be a uniform i.i.d.
“exogenous input” that perturbs the position of the walker.
For an action a t and input z t , the state of the walker in the next step is given by s t +1 =
s t + a t + z t .
The objective of the game is to move the walker forward; hence, the reward is r t = a t + z t at each time step.
γ ∈ [0 , 1] is a discount factor.
While the optimal policy for this game is clear ( a t = +1 for all t ), consider learning such a policy using policy gradient.
For simplicity, let the policy be parametrized as π θ ( a t = +
| s t ) =
e θ / (1+ e θ ) , with θ initialized to 0 at the start of training.
In the following, we evaluate the variance of the policy gradient estimate at the start of training under (i) the standard value function baseline, and (ii) a baseline that is the expected cumulative reward conditioned on all future z t inputs.
Variance under standard baseline.
The value function in this case is identically
at all states.
This is because E [ (cid:80) ∞ t =
γ t r t ] =
E [ (cid:80) ∞ t =0 γ t ( a t + z t )]
= 0 since both actions a t and inputs z t are i.i.d.
with mean 0 .
Also note that ∇ θ log π θ ( a t = +1) = 1 / 2 and ∇ θ log π θ ( a t = − 1) =
− 1 / 2 ; hence ∇ θ log π θ ( a t ) =
a t / 2 .
Therefore the variance of the policy gradient estimate can be written as
V 1 =
Var (cid:34) ∞ (cid:88) t
= a t ∞
[Equation]
Variance under input-dependent baseline.
Now, consider an alternative “input-dependent” baseline
V ( s t | z ) deﬁned as E [ (cid:80) ∞ t =
γ t r t | z ] .
Intuitively this baseline captures the average reward incurred when experiencing a particular ﬁxed z sequence.
We refer the reader to §4 for a formal discussion and analysis of input-dependent baselines.
Evaluating the baseline we get V ( s t | z ) =
E [ (cid:80) ∞ t =
γ t r t | z ] =
[Equation]
∞ t =
γ t z t .
Therefore the variance of the policy gradient estimate in this case is
[Equation]
Var
[Equation]
Reduction in variance.
To analyze the variance reduction between the two cases (Equations (5) and (6)), we note that
[Equation]
This follows because
E
[Equation]
and
[Equation]
[Equation]
Therefore the covariance term in Equation (7) is 0 .
Hence the variance reduction from Equation (8) can be written as
[Equation]
[Equation]
Thus the input-dependent baseline reduces variance of the policy gradient estimate by an amount proportional to the variance of the external input.
In this toy example, we have chosen z t to be binaryvalued, but more generally the variance of z t could be arbitrarily large and might be a dominating factor of the overall variance in the policy gradient estimation.
B M ARKOV PROPERTIES OF INPUT - DRIVEN DECISION PROCESSES
Proposition 1.
An input-driven decision process satisfying the conditions of case 1 in Figure 3 is a fully observable MDP, with state ˜ s t :=
( s t , z t ) , and action ˜ a t := a t .
Proof.
[Equation]
by deﬁnition of case 1 in Figure 3a)
[Equation]
Proposition 2.
An input-driven decision process satisfying the conditions of case 2 in Figure 3, with state ˜ s t :
= ( s t , z 0: t ) and action ˜ a t := a t is a fully observable MDP.
If only ω t = s t is observed at time t , it is a partially observable MDP (POMDP).
Proof.
Pr
[Equation]
deﬁnition of case 2 in Figure 3b)
[Equation]
Therefore, (˜ s t , ˜ a t ) is a fully observable MDP.
If only ω t = s t is observed, the decision process is a
POMDP, since the z 0: t component of the state is not observed.
C P ROOF OF L EMMA
Proof.
From the deﬁnition of an input-driven MDP (Deﬁnition 1), we have
[Equation] [Equation]
Notice that Pr( a t | z 0: t , ω t ) =
π θ ( a t | ω t ) in both the MDP and POMDP cases in Figure 3.
By marginalizing over z 0: t − 1 on both sides, we obtain the result:
[Equation]
D P ROOF OF L EMMA
Proof.
Expanding the Policy Gradient Theorem (Sutton & Barto, 2017), we have
[Equation]
where the last step uses Lemma
[Equation]
Using the deﬁnition of Q ( ω
[Equation]
a
[Equation]
z )
[Equation]
we obtain:
[Equation]
E P ROOF OF T HEOREM
Proof.
Let G ( ω
[Equation]
a ) denote ∇ θ log π θ ( a | ω ) T ∇ θ log π θ ( a | ω ) .
For any input-dependent baseline b ( ω, z )
[Equation]
the variance of the policy gradient estimate is given by
[Equation]
(due to Theorem 1) =
[Equation]
Notice that the baseline is only involved in the last term in a quadratic form, where the second order term is positive.
To minimize the variance, we set baseline to the minimizer of the quadratic equation, i.e., 2 E a ∼ π θ (cid:2) G ( ω, a ) (cid:12)(cid:12) ω, z (cid:3) b ( ω, z ) − 2 E a ∼ π θ (cid:2) G ( ω, a ) Q ( ω, a, z ) (cid:12)(cid:12) ω, z (cid:3)
=
and hence the result follows.
F I NPUT -D EPENDENT B ASELINE FOR TRPO
We show that the input-dependent baselines are bias-free for Trust Region Policy Optimization (TRPO) (Schulman et al., 2015a).
[Figure]
Preliminaries.
Stochastic gradient descent using Equation (1) does not guarantee consistent policy improvement in complex control problems.
TRPO is an alternative approach that offers monotonic policy improvements, and derives a practical algorithm with better sample efﬁciency and performance.
TRPO maximizes a surrogate objective, subject to a KL divergence constraint:
[Equation]
in which δ serves as a step size for policy update.
Using a baseline in the TRPO objective, i.e. replacing Q π old ( s, a ) with Q π old ( s, a ) − b ( s ) , empirically improves policy performance (Schulman et al., 2015b).
Similar to Theorem 2, we generalize TRPO to input-driven environments, with ρ π ( ω, z )
= (cid:80) ∞ t =
[ γ t Pr( ω t = ω, z t : ∞ = z )] denoting the discounted visitation frequency of the observation ω and input sequence z , and Q ( ω, a, z )
=
E (cid:2)(cid:80) ∞
l =
γ l r t + l (cid:12)(cid:12) ω t = ω, a t = a, z t : ∞ =
z (cid:3) .
The
TRPO objective becomes E
[Equation]
( a | ω ) /π old ( a | ω )] , and the constraint is E
[Equation]
ω
[Equation]
z [Equation]
Theorem 3.
An input-dependent baseline does not change the optimal solution of the optimization problem in TRPO, that is argmax θ E ( ω, z ) ∼ ρ old ,a ∼ π old (cid:104)
π θ ( a | ω )
π old ( a | ω ) Q π old ( ω, a, z ) (cid:105) =
argmax θ E ( ω, z ) ∼ ρ old ,a ∼ π old (cid:104)
π θ ( a | ω )
π old ( a |
[Equation]
[Equation]
π old ( [Equation] , a, [Equation]
[Equation]
, z )
[Equation]
(cid:105) .
Proof.
[Equation]
which is independent of θ .
Therefore, b ( ω, z ) does not change the optimal solution to the optimization problem.
G I NPUT - DEPENDENT BASELINE WITH LSTM
The input-dependent baseline is a function of both the state and the entire future input sequence.
A natural approach to approximate such baselines is to use neural models that operate on sequences (e.g., LSTMs (Gers et al., 1999)).
However, learning a sequential mapping in a high-dimensional space can be expensive (Bahdanau et al., 2014).
For example, consider the LSTM input-dependent baseline with A2C on the load balancing environment (Figure 1a; §6.2) and TRPO on the Walker2d with wind environment (Figure 1c; §6.1).
As shown in Figure 6, the LSTM input-dependent baseline (green) does not signiﬁcantly improve the policy performance over a standard state-only baseline (red) in these environments.
By contrast, the MAML based input-dependent baseline (§5) reduces the variance in policy gradient estimation much more effectively and achieves a consistently better policy performance.
H A DDITIONAL POMDP EXPERIMENT
[Figure]
Recall that the HalfCheetah on ﬂoating tiles environment (Figure 1d) is a POMDP, since the agent does not observe the buoyancy of the tiles.
Figure 4 (middle) shows that the input-dependent baseline signiﬁcantly improves the TRPO performance for this POMDP environment.
We also created a POMDP version of the Walker2d with wind environment (Figure 1c), where the force of the wind is removed from the observation provided to the agent.
The results of repeating the same training are shown in Figure 7.
We make two key observations: (1) Compared with the MDP case in Figure 4 (left), the performance drops slightly overall.
This is expected because the agent can react more agilely if it directly observes the current wind in the MDP case.
(2) Input-dependent baselines reduce variance and improve the policy performance, with the MAML-based approach achieving the best performance, similar to the MDP case.
I P SEUDOCODE FOR TRAINING MULTI - VALUE BASELINES
In §5, we explained the idea of efﬁciently computing input-dependent baselines (§4.1) using multiple value networks on a ﬁxed set of input sequences.
Algorithm 2 depicts the details of this approach.
not done do 3:
Sample a input sequence z
i 4:
Sample k rollouts T 1 , T 2 , ..., T k using policy π θ and input sequence z i 5:
Update policy with Equation (2) using baseline estimated with θ V i 6:
Update i -th value network parameters: θ V i ← θ V
i − β ∇ θ Vi L 1: k (cid:2)
V θ
Vi (cid:3) 7: end while
J S ETUP FOR D ISCRETE -A CTION E NVIRONMENTS
Load balancing across servers (Figure 1a).
In this environment, an RL agent balances jobs over k servers to minimize the average job completion time.
Similar to §3, the job sizes follow a Pareto distribution (scale x m = 100 , shape α = 1 . 5 ), and jobs arrive in a Poisson process ( λ = 55 ).
We run over 10 simulated servers with different processing rates, ranging linearly from 0.15 to 1.05.
In this setting, the load of the system is at 90% (i.e., on average, 90% of the queues are non-empty).
In each episode, we generate 500 jobs as the exogenous input process.
The problem of minimizing average job completion time on servers with heterogeneous processing rates does not have a closed-form solution (Harchol-Balter & Vesilo, 2010); the most widely-used heuristic is to join the shortest queue (Daley, 1987).
However, understanding the workload pattern can give a better policy; for example, we can reserve some servers for small jobs.
In this environment, the observed state is a vector of ( j, q 1 , q 2 , ..., q k ) , where j is the size of the incoming job, q i is the amount of work currently in each queue.
The action a ∈ { 1 , 2 , ..., k } schedules the incoming job to a speciﬁc queue.
The reward is the number of active jobs times the negated time elapsed since the last action.
Bitrate adaptation for video streaming (Figure 1b).
Streaming video over variable-bandwidth connections requires the client to adapt the video bitrates to optimize the user experience.
This is challenging since the available network bandwidth (the exogenous input process) is hard to predict accurately.
We simulate real-world video streaming using public cellular network data (Riiser et al., 2013) and video with seven bitrate levels and 500 chunks (DASH Industry Form, 2016).
The reward is a weighted combination of video resolution, time paused for rebuffering, and the number of bitrate changes (Mao et al., 2017).
The observed state contains bandwidth history, current video buffer size, and current bitrate.
The action is the next video chunk’s bitrate.
State-of-the-art heuristics for this problem conservatively estimate the network bandwidth and use model predictive control to choose the optimal bitrate over the near-term horizon (Yin et al., 2015).
K E XPERIMENT D ETAILS
In our discrete-action environments (§6.2), we build 10-value networks and a meta-baseline using
MAML (Finn et al., 2017), both on top of the OpenAI
A2C implementation (Dhariwal et al., 2017).
We use γ = 0 .
995 for both environments.
The actor and the critic networks have 2 hidden layers, with 64 and 32 hidden neurons on each.
The activation function is ReLU (Nair & Hinton, 2010) and the optimizer is Adam (Chilimbi et al., 2014).
We train the policy with 16 (synchronous) parallel agents.
The learning rate is 1 − 3 .
The entropy factor (Mnih et al., 2016) is decayed linearly from 1 to 0 .
001 over 10,000 training iterations.
For the meta-baseline, the meta learning rate is 1 − 3 and the model speciﬁcation has ﬁve step updates, each with learning rate 1 − 4 .
The model speciﬁcation step in MAML is performed with vanilla stochastic gradient descent.
We introduce disturbance into our continuous-action robot control environments (§6.1).
For the walker with wind (Figure 1c), we randomly sample a wind force in [ − 1 , 1] initially and add a Gaussian noise sampled from N (0 , 1) at each step.
The wind is bounded between [ − 10 , 10] .
The episode terminates when the walker falls.
For the half-cheetah with ﬂoating tiles, we extend the number of piers fromin the original environment (Clavera et al., 2018a) to 50, so that the agent remains on the pathway for longer.
We initialize the tiles with damping sampled uniformly in [0 , 10] .
For the 7-DoF robot arm environments, we initialize the target to randomly appear within ( − 0 .
1 , − 0 .
2 , − 0 .
in 3D.
The position of the target is perturbed with a Gaussian noise sampled from N (0 , 0 . 1) in each coordinate at each step.
We bound the position of the target so that it is conﬁned within the arm’s reach.
The episode length of all these environments are capped at 1,000.
We build the multi-value networks and meta-baseline on top of the TRPO implementation by
OpenAI (Dhariwal et al., 2017).
We turned off the GAE enhancement by using λ = 1 for fair comparison.
We found that it makes only a small performance difference (within ± 5% using λ = { 0 .
in our environments.
We use γ = 0 .
99 for all three environments.
The policy network has two hidden layers, with 128 and 64 hidden neurons on each.
The activation function is ReLU (Nair & Hinton, 2010).
The KL divergence constraint δ is 0.01.
The learning rate for value functions is 1 − 3 .
The hyperparameter of training the meta-baseline is the same as the discrete-action case.
L I NPUT - DEPENDENT BASELINES WITH PPO
Figure 8 shows the results of applying input-dependent baselines on PPO (Schulman et al., 2017) in
MuJoCo (Todorov et al., 2012) environments.
We make three key observations.
First, compared to
Figure 4 the best performances of PPO in these environments (blue curves) are better than that of
TRPO.
This is as expected, because the variance of the reward feedbacks in these environments is generally large and the reward clipping in PPO helps.
Second, input-dependent baselines improve the policy performance for all environments.
In particular, the meta-learning approach achieves the best performance, as it is not restricted to a ﬁxed set of input sequences during training (§5).
Third, the trend of learning curve is similar to that in TRPO (Figure 4), which shows our input-
[Figure]
dependent baseline approach is generally applicable to a range of policy gradient based methods (e.g.,
A2C (§6.2), TRPO (§6.1), and PPO).
M I NPUT - DEPENDENT BASELINES WITH RARL
Our work is orthogonal and complementary to adversarial and robust reinforcement learning (e.g.,
RARL (Pinto et al., 2017)).
These methods seek to improve policy robustness by co-training an adversary to generate a worst-case noise process, whereas our work improves policy optimization itself in the presence of inputs like noise.
Note that if an adversary generates high-variance noise, similar to the inputs we consider in our experiments (§6), techniques such RARL alone are not adequate to train good controllers.
To empirically demonstrate this effect, we repeat the Walker2d with wind experiment described in §6.1.
In this environment, we add a noise (of the same scale as the original random walk) on the wind and co-train an adversary to control the strength and direction of this noise.
We follow the training procedure described in RARL (Pinto et al., 2017, §3.3).
Figure 9 depicts the results.
With either the standard state-dependent baseline or our input-dependent baseline, RARL generally improves the robustness of the policy, as RARL achieves better testing rewards especially in the low reward region (i.e., compared the yellow curve to green curve, or red curve to blue curve in CDF of Figure 9).
Moreover, input-dependent baseline signiﬁcantly improves the policy optimization, which boosts the performance of both TRPO and RARL (i.e., comparing the blue curve to the green curve, and the red curve to the yellow curve).
Therefore, in this environment, the input-dependent baseline helps improve the policy optimization methods and is complementary to adversarial RL methods such as RARL.
N I NPUT - DEPENDENT BASELINES WITH META - POLICY ADAPTATION
There has been a line of work focusing on fast policy adaptation (Clavera et al., 2018a;b; Harrison et al., 2017).
For example, Clavera et al.
(2018b) propose a model-based meta-policy optimization approach (MB-MPO).
It quickly learns the system dynamics using supervised learning and uses the learned model to perform virtual rollouts for meta-policy adaptation.
Conceptually, our work differs because the goal is fundamentally different: our goal is to learn a single policy that performs well in the presence of a stochastic input process, while MB-MPO aims to quickly adapt a policy to new environments.
It is worth noting that the policy adaptation approaches are well-suited to handling model discrepancy between training and testing.
However, in our setting, there exists no model discrepancy.
In particular, the distribution of the input process is the same during training and testing.
For example, in our load balancing environment (Figure 1a, §6.2), the exogenous workload process is sampled from the same distribution during training and testing.
Therefore our work is conceptually complementary to policy adaptation approaches.
Since some of these methods require a policy optimization step (e.g., (Clavera et al., 2018b, §4.2)), our inputdependent baseline can help these methods by reducing variance during training. We perform an
[Figure]
experiment to investigate this.
Speciﬁcally, we apply the meta-policy adaptation technique proposed by Clavera et al.
(2018b)
in our Walker2d environment with wind disturbance (Figure 1c, §6.1).
For this environment, although the wind pattern is drawn from the same stochastic process (random walk), we aim to adapt the policy to each particular instantiation of the wind.
Operationally, to reduce complexity, we bypass the supervised learning step for the system dynamics and use the simulator to generate rollouts directly, since the interaction with the simulator is not costly for our purpose and the state transition in our environment is not deterministic.
Following the meta-policy adaptation approach, the policy optimization algorithm is TRPO (Schulman et al., 2015a).
The meta-policy adaptation algorithm is MAML (Finn et al., 2017).
In particular, we performed ten gradient steps to specialize the meta-policy for each instantiation of the input process.
For input-dependent baseline, we inherit our meta-baseline approach from §5.
Similar to policy adaptation, we adapt our meta-baseline alongside with the policy adaptation in the ten gradient steps for each input instance.
The results of our experiment is shown in Figure 10.
The learning curve (left ﬁgure) shows the policy performance for 100 unseen test input sequences at each training checkpoint.
We measure the performance of MPO after ten steps of policy adaptation for each of the 100 input sequences.
As expected, policy adaptation specializes to the particular instance of the input process and improves policy performance in the learning curve (e.g., MPO improves over TRPO, as shown by the green and yellow learning curve).
However, policy adaptation does not solve the problem of variance caused by the input process, since the policy optimization step within policy adaptation suffers from large variance.
Using an input-dependent baseline improves performance both for TRPO and MPO.
Indeed,
MPO trained with the input-dependent baseline (and adapted for each input sequence) outperforms the single TRPO policy, as shown by the red learning curve.
This effect is more evident in the policy adaptation curve (right ﬁgure).
The policy adaptation curve shows the testing performance of the adapted policy at each adaptation step (the meta-policy is taken from the 5 e 7 training timestep).
With an input-dependent baseline, the meta policy already performs quite well at the 0 th step of policy adaptation (without any adaptation).
This is perhaps unsurprising, since a single policy (e.g., the TRPO policy trained with input-dependent baseline) can achieve good performance in this environment.
However, specializing the meta-policy for each particular input instance further improves performance.