Fig. 1.

A mathematical model of bed bug spread with and without disclosure policies. Left shows the processes leading to transfer between rental unit types, while Right lists the state variable names and transition rates. Items in black are in the model regardless of whether disclosure policies are implemented; items in red are only in the model with disclosure; and items in gray are only in the model without disclosure. Rental units are classified by both their occupancy status and infestation status: susceptible-occupied ($S_r$), infested-occupied ($I_r$), susceptible-vacant ($S_v$), and infested-vacant ($I_v$). When disclosure is implemented, there is an additional susceptible-vacant-disclosed class ($S_v^{\prime }$), indicating a previous infestation which was treated. A detailed description of the transition rates is provided in the text. Parameter descriptions and values are in Table 1. The model equations are shown in Eqs. 1 and 2.