I am reading paper High-frequency trading in a limit order book by Marco Avellaneda and Sasha Stoikov. At the end of the paper they obtain a closed-form solution to the optimal market-maker quotes under diffusion without drift. They found that the optimal behaviour of the market-maker would be to set a bid/ask spread of size:
$$ spread = \gamma\sigma^2(T-t) + \frac{2}{\gamma}ln(1+\frac{\gamma}{k}), $$ where $\gamma$ is a discount factor, $\sigma^2$ is the variance of the process, $k$ is the parameter corresponing to the intensity of arrival of market orders, $T$ is terminal time and $t$ is curent time, around a reservation price given by:
$$ price = s - q\gamma\sigma^2(T-t), $$
where $q$ is the state of the inventory and $s$ is the current price.
However, I do not see any specification of bounds for this reservation price and therefore I think there is no guarantee that ask prices computed by the market-maker will be higher or bid prices will be lower than the current price of the process.
How is therefore this necessity of market makers' ask prices being higher and bid prices being lower than the actual price enforced in their model (e.g. in their simulations)?
Edit: To be more concrete, I just specify, that in my opinion, it needs to hold that:
$$ price + spread/2 - s > 0 $$
Lets denote $price$ by $p_{mm}$ and $spread/2$ by $s_{mm}$. Then
$$ p_{mm} + s_{mm} - s > 0, \\ s - q\gamma\sigma^2(T-t) + \frac{\gamma\sigma^2(T-t)}{2} + \frac{1}{\gamma}ln(1+\frac{\gamma}{k}) - s >0 \\ (...) \\ \frac{1}{2} + \frac{ln(1+\frac{\gamma}{k})}{\gamma^2\sigma^2(T-t)} > q $$
However, this situation does not need to happen, so there is no guarantee he will set prices compatible with current market prices.