Extracted main text — title through conclusion, appendix excluded. This is what our citation measures are computed over, published so the extraction can be checked by eye.
Rendered from LaTeX for readability, not typeset faithfully. Citation keys are highlighted; maths is left as source; figures, tables and equation environments are summarised rather than reproduced; unrecognised commands are greyed out so nothing is silently dropped. Email addresses are removed.
Robust Product-line Pricing under Generalized Extreme Value Models
\RUNAUTHOR{Mai T. and Jaillet P.}
\RUNTITLE{Robust Product-line Pricing under Generalized Extreme Value Models}
\TITLE{Robust Product-line Pricing under Generalized Extreme Value Models}
\ARTICLEAUTHORS{
\AUTHOR{Tien Mai}
\AFF{School of Information Systems, Singapore Management University, \EMAIL{[email removed]}}
\AUTHOR{Patrick Jaillet}
\AFF{EECS, Massachusetts Institute of Technologies, \EMAIL{[email removed]}}
}
\ABSTRACT{
We study robust versions of pricing problems where customers choose products according to a generalized extreme value (GEV) choice model, and the choice parameters are not known exactly but lie in an uncertainty set.
We show that, when the robust problem is unconstrained and the price sensitivity parameters are homogeneous, the robust optimal prices have a constant markup over products and we provide formulas that allow to compute this constant markup by bisection.
We further show that, in the case that the price sensitivity parameters are only homogeneous in each partition of the products, under the assumption that the choice probability generating function and the uncertainty set are partition-wise separable, a robust solution will have a constant markup in each subset, and this constant-markup vector can be found efficiently by convex optimization.
We provide numerical results to illustrate the advantages of our robust approach in protecting from bad scenarios. {Our results generally hold for convex and bounded uncertainty sets,} and for any arbitrary GEV model, including the multinomial logit, nested or cross-nested logit.
}
\KEYWORDS{Robust optimization, multi-product pricing, generalized extreme value model}
Introduction
In revenue management, pricing is an important problem that refers to the selection of prices for a set of products in order to maximize an expected revenue. This is motivated by the fact that prices are key features that may significantly affect demand for products. The literature of multi-product pricing has seen a large number of papers focusing on how to set prices when customers purchase products according to a discrete choice model Talluri2004RM,Gallego2014multiproduct,zhang2018multiproduct.
To the best of our knowledge, prior work all assumes that the parameters of the choice models are known in advance or can be estimated exactly from data. Thus, the corresponding pricing optimization models are built based on pre-determined parameters and ignore any uncertainty in case the parameters are estimated. Nevertheless, in practice, the parameter estimates may vary significantly for different customer types or in different purchasing periods of the year. Thus, ignoring such uncertainties may lead to bad pricing decisions.
To deal with the uncertainty issue, one may consider a stochastic approach, i.e., a model aiming at maximizing an average expected revenue over a finite number of scenarios of the choice parameters.
This would require of course a trusted assumption and/or a solid optimization of these parameters in each of these scenarios. Moreover, such a stochastic optimization model would be computationally difficult to handle, as the objective function does not have nice properties to derive tractable solutions as in the deterministic case; e.g., a stochastic objective function would be non-unimodal and non-concave when defined in terms of purchase probabilities Li2018mixed_pricing.
{In this paper, we formulate and solve pricing optimization problems under uncertainty in a robust manner.
That is, we assume customers' behavior is driven by any choice model in the Generalized Extreme Value (GEV) family such as the Multinomial Logit (MNL) or nested logit model, and the parameters of the choice model are not known exactly but belong to an uncertainty set.
The goal here is to maximize the worst-case expected revenue when the choice parameters vary in their support set. We consider
problems where the price sensitivity parameters (PSP) are homogeneous or partition-wise homogeneous, i.e., the set of products can be separated into disjoint subsets and the PSP are the same in each subset but can be different over subsets.
For the latter, we assume that the choice probability generating function Fosgerau2013GPGF has a separable structure and the uncertainty set is partition-wise separable.
We also look at expected-sale requirements in pricing decisions and argue that the model with expected-sale constraints is not appropriate in our robust setting. Therefore, we propose an alternative formulation by adding a penalty term to the objective function for violated expected-sale constraints.
We are able to show that the models can then be solved in a tractable way. Our results
generally hold for any convex and bounded uncertainty set, and for any choice model in the GEV family. }
From now on, when saying “a GEV model”, we refer to any choice model in the GEV family. Each GEV model can be represented by a choice probability generating function (CPGF) $G(\cdot)$ (see our detailed definition in the next section). To relax the homogeneity of the PSP, we need to assume that the CPGF has a separable structure, which means that
$G(\cdot)$ can be written as a sum of sub-CPGFs, each corresponding to a subset of products.
Our contributions: We consider robust versions of the standard pricing optimization problem under GEV models. The setting here is to assume that the parameters of the choice model are not known with certainty and the aim is to find optimal prices associated with products, which maximize the worst-case expected revenue when the choice parameters vary in an uncertainty set.
For the unconstrained problem with homogeneous PSP, we show that if the uncertainty set is convex and compact, the robust optimal prices have a constant markup with respect to the products costs, i.e., the robust optimal price of a product is equal to its unit cost plus a constant that is the same over all products. We also provide formulas that allow efficient computation of that constant markup by binary search. This finding generalizes the results for the deterministic unconstrained problem with homogeneous PSP considered in zhang2018multiproduct.
We also provide comparative insights showing how the robust optimal revenue and the robust optimal constant markups change as functions of the uncertainty level (i.e., the size of the uncertainty set).
\mtien{For the pricing problem with non-homogeneous PSP,
we assume that the CPGF is partition-wise separable and in each partition, the PSP are homogeneous.
Moreover, the uncertainty set is also assumed to be partition-wise separable.
We show that the robust problem can be converted equivalently into a reduced optimization problem, which can be conveniently solved by convex optimization.
As a result, the robust optimal prices have partition-wise constant markups, i.e., in each partition, the robust optimal prices have a constant markup with respect to their costs, and these constant markups can be obtained by convex optimization.
We also provide comparative insights for the robust optimal prices and solutions when the size of the uncertainty set varies.}
\mtien{For both cases (i.e., homogeneous PSP and partition-wise homogeneous PSP), we further show that the robust optimal solutions form saddle points of the robust problems, leading to an equality between the objective functions of the max-min problem and its min-max counterpart. }
Previous studies zhang2018multiproduct,Song2007demand,Zhang2013assessing have been looking at constraints on the expected sales, as motivated by applications with inventory considerations Gallego1997multiproductPricing. In this context, the aim is to select prices that maximize the expected revenue while requiring that the expected sales of products lie in a convex set. The advantage of such constraints is that the pricing problem can be reformulated equivalently as a convex program where the decision variables are the purchase probabilities. {However, the final decision is a vector of prices and there may be no fixed prices under which the resulting purchase probabilities always satisfy the expected sale constraints when the choice parameters vary. For this reason, the use of the constrained formulation is not appropriate}
in our robust setting.
Thus, we propose an alternative formulation in which, instead of requiring that the expected sale constraints be satisfied, we add a penalty cost to the objective function for violated constraints. Our formulation, called pricing with over-expected-sale penalties, is more general than the constrained formulation, in the sense that
if the penalty parameters increase to infinity, then the corresponding optimal solutions will converge to those from the constrained problem, and with zero penalty parameters, the pricing problem becomes the unconstrained one.
We show that if the CPGF and the uncertainty set are partition-wise separable, then the robust problem can be converted into a reduced optimization problem, which can be conveniently solved by convex optimization.
\mtien{In summary, we show that the robust versions of the pricing problem with homogeneous PSP and partition-wise PSP, with and without over-expected-sale penalties, can be solved in tractable ways by bisection and convex optimization. Our results generally holds for convex and compact uncertainty sets, and for any choice model in the GEV family. In Table (ref) below we give a summary and comparison of the solution methods used to solve the robust pricing problems and their deterministic counterparts, under different settings. The solution methods proposed in this paper are highlighted in bold.}
table[table omitted — 735 chars of source]
Literature review: The GEV family includes most of the parametric discrete choice models in the demand modeling and operations research literatures. The simplest and most popular member is the MNL Mcfadden1978modeling,Mcfadden1980econometric and it is well-known that the MNL model retains the independence from irrelevant alternatives (IIA) property, which does not hold in many contexts. There are a number of GEV models that relax this property and provide flexibility in modeling the correlation between alternatives, for example, the nested logit model Ben1985discrete,Ben1973structure, the cross-nested logit Vovsha1998link, the generalized nested logit Wen2001generalized, the paired combinatorial logit koppelman2000paired, the ordered generalized extreme value Small1987discrete, the specialized compound generalized extreme value models Bhat1998accommodating,whelan2002flexible and network-based GEV Daly2006general,Mai2017dynamic models.
Fosgerau2013GPGF show that the cross-nested logit model and its generalized version (i.e. network-based GEV) are fully flexible in the sense that they can approximate arbitrarily close any random utility maximization model.
Beside the GEV family, it is worth noting that the mixed logit model Mcfadden2000mixed is also popular due to its flexibility in capturing utility correlation. There is a fundamental trade-off between the flexibility and the generality of the choice models and the complexity of their estimation andapplication in operational problems.
For the case of GEV models, even being flexible in modeling choice behavior, the resulting operational problems (e.g., product assortment or pricing) are often nonlinear and non-convex, leading to difficulties solving them in practice.
There is a large amount of research on unconstrained pricing under different discrete choice models. For example, Hopp2005 and Dong2009dynamic consider the pricing problem under the MNL model, Li2011pricing consider the nested logit model, li2015d_nested consider the pricing problem under the paired combinatorial logit model, and zhang2018multiproduct consider the pricing problem under any choice model in the GEV family. Under the assumption that the PSP are the same over product, these authors show that the prices have a constant markup with respect to the product costs and provide formulas to explicitly computed this constant markup.
There are some papers trying to get over the assumption that the PSP are homogeneous over products. Li2011pricing study the pricing problem under the nested logit model and assume that the PSP are homogeneous only in each nest and can be different over nests. They then show that the PSP in each nest have a constant markup. zhang2018multiproduct generalize these results by considering the pricing problem under GEV models, in which the CPGF is partition-wise separable and the PSP are assumed to be homogeneous in each partition. The authors also show that, in this case, the optimal prices have a constant markup in each partition.
There are also publications considering the pricing problem with arbitrary PSP. Gallego2014dynamicPricing show that the pricing optimization problem under the nested logit model can have multiple local optimal solutions if the PSP are arbitrarily heterogeneous and provide sufficient conditions to ensure unimodality of the expected revenue function. li2015d_nested and Huh2015pricing consider the pricing problem under the $d$-nested and paired combinatorial logit models and also provide sufficient conditions on the PSP to ensure unimodality of the expected revenue function.
The constrained pricing problem where the prices are required to lie in a feasible set is difficult to solve as the expected revenue function is nonlinear and non-concave in the prices. Motivated by applications with inventory considerations Gallego1997multiproductPricing and the observation that the expected revenue function is concave in the purchase probabilities, researchers have consider the pricing problem with constraints on the expected sales.
For example, Song2007demand,Zhang2013assessing consider the pricing problem under the MNL model and show that the expected revenue is concave in the purchase probabilities if the PSP are homogeneous. Keller2013 consider the pricing problem under the MNL and nested logit models and show that the expected revenue function is concave in the purchase probabilities under the MNL and arbitrary PSP, and establish sufficient conditions on the PSP to ensure that the expected revenue under the nested logit model is concave. zhang2018multiproduct also generalizes all these results by showing that, under any GEV model, if the PSP are homogeneous or partition-wise homogeneous, then the expected revenue is concave in purchasing probabilities, making the pricing problem with expected sale constraints tractable.
All above publications assume that the parameters of the choice model is given in advance and ignore any uncertainty associated with such parameters in the pricing problem. However, the choice parameters typically need to be inferred from data and uncertainties may occur, for instance, due to the heterogeneity of the market.
In this work, we explicitly take into consider this issue by considering robust versions of the unconstrained and constrained pricing problems, with homogeneous and partition-wise homogeneous PSP. Our results directly generalize the results for deterministic pricing from zhang2018multiproduct, which already covers most of the pricing optimization studies in the literature.
Our work is concerned with robust solutions for the pricing problem under uncertainty, so it is directly related to the concept of robust optimization, an important research area in operations research which has received a growing attention over the past two decades. Robust optimization is motivated by the fact that many real-world decision problems arising in engineering and
management science have uncertain parameters due
to limited data or noisy measurements. The literature on robust optimization includes a larger number of excellent studies Ben1998robustconvex,Ben2000robust,Ben2006extending. Most of the studies in the literature of robust optimization focus on linear, piece-wise linear or convex objective functions. In our context, the expected revenue is nonlinear and non-convex/non-concave in the prices, implying that existing robust optimization results do not apply (except the part where we consider the constrained pricing problem under uncertain expected-sale constraints in Section (ref)), and making our robust problem challenging to solve in a tractable way. It is worth noting that our work is relevant to Rusmevichientong2012robust
where the authors consider robust versions of the assortment planing problem. The main difference is that the decision variables in Rusmevichientong2012robust are discrete (i.e., a set of products).
Paper outline: We organize the paper as follows.
In Section (ref), we present the deterministic pricing problem under GEV models and recall some results from previous work. In Section (ref) and (ref), we present our results for the robust pricing problem under homogeneous PSP
and partition-wise homogeneous PSP. In Section (ref) we provide some experimental results and in Section (ref) we conclude. In the appendix, Section (ref) provides detailed proofs for our main claims and Section (ref) investigates the robust pricing problem with over-expected-sale penalties.
Notation:
Boldface characters represent matrices (or vectors), and $a_i$ denotes the $i$-th element of vector $\textbf{a}$. We use $[m]$, for any $m\in \mathbb{N}$, to denote the set $\{1,\ldots,m\}$. For any vector $\textbf{b}$ with all equal elements, we use $\me{\textbf{b}}$ to denote the value of one element of the vector. Given two vectors of the same size $\textbf{a},\textbf{b} \in \mathbb{R}^m$, $\textbf{a} \succeq \textbf{b}$ is equivalent to $\textbf{a}-\textbf{b} \in\mathbb{R}_+^m$, and $\textbf{a} \preceq \textbf{b}$ is equivalent to $\textbf{b} \succeq \textbf{a}$.
Background: Deterministic Pricing under Generalized Extreme Value Models
We denote by ${\mathcal{V}} = \{1,\ldots,m\}$ the set of $m$ available products. There is a non-purchase item indexed by 0, so the set of all possible products is ${\mathcal{V}} \cup \{0\}$. We also denote by $x_i$ and $c_i$ the price and the cost of product $i$, respectively. The random utility maximization (RUM) framework Mcfadden1978modeling is the most popular approach to model discrete choice behavior. Under this framework, each product $i\in{\mathcal{V}}$ is assigned with a random utility $U_i$ and the additive RUM framework Fosgerau2013GPGF,Mcfadden1978modeling assumes that each random utility can be expressed as a sum of two part $U_i = u_i+\varepsilon_i$, where the term $u_i$ is deterministic and can include values representing characteristics of the product, and the term $\varepsilon_i$ is unknown to the analyst. The RUM principle then assume that the selections are made by maximizing these utilities and the probability that a product $i$ (including the non-purchase item) is selected can be computed as $P(U_i \geq U_j,\ \forall j\in{\mathcal{V}}\cup\{0\} )$.
In our context, we are interested in the effect of the prices on the expected revenue. So we assume that the deterministic terms
$u_i$, $\forall i\in{\mathcal{V}}$, can be expressed as $u_i = a_i-b_i x_i$, where $b_i$ is the PSP associated with product $i$ and $a_i$ can include other information that may affect customer's demand such as the brand, size or color of the items.
These values can be obtained by fitting the choice model with observation data.
A GEV model can be represented by a choice probability generating function (CPGF) $G(\textbf{Y})$, where $\textbf{Y}$ is a vector of size $m$ with entries $Y_i = e^{u_i}$, for all $i\in{\mathcal{V}}$.
Given $i_1,\ldots,i_k \in [m]$, let $\partial G_{i_1,\ldots,i_k}(\textbf{Y})$ be the mixed partial derivatives of $G$ with respect to $Y_{i_1},\ldots,Y_{i_k}$.
It is well-known that
the CPGF $G(\cdot)$ and the mixed partial derivatives have the
the following properties Mcfadden1978modeling,Ben1985discrete.
remark[Properties of GEV-CPGF]
{\it A GEV-CPGF $G(\textbf{Y})$ has the following properties.
\begin{itemize}
• $G(\textbf{Y}) \geq 0,\ \forall \textbf{Y}\in \mathbb{R}^m$,
• $G$ is homogeneous of degree one, i.e., $G(\lambda \textbf{Y}) = \lambda G(\textbf{Y})$
• $G(\textbf{Y})\rightarrow \infty$ if $Y_i\rightarrow \infty$
• Given $i_1,\ldots,i_k \in [m]$ distinct from each other,
$\partial G_{i_1,\ldots,i_k}(\textbf{Y})>0$
if $k$ is odd, and $\leq$ if $k$ is even
• $G(\textbf{Y}) = \sum_{i\in{\mathcal{V}}} Y_i\partial G_i(\textbf{Y})$
• $\sum_{j\in{\mathcal{V}}} Y_j\partial G_{ij} (\textbf{Y}) = 0$, $\forall i\in {\mathcal{V}}$.
\end{itemize}
}
\mtien{Here we note that (i)-(iv) are basic properties of the CPGF to ensure that the choice model is consistent with the RUM principle Mcfadden1980econometric. Properties (v) and (vi) are direct results from the homogeneity property zhang2018multiproduct. }
Under a GEV model specified by a CPGF $G$, given any vector $\textbf{Y}\in\mathbb{R}^m$, the choice probability of product $i\in{\mathcal{V}}$ is given by
\[
P_i(\textbf{Y}|G) = \frac{Y_i\partial G_i(\textbf{Y})}{1+G(\textbf{Y})}.
\]
Note that the above formulation also implies that the choice probability of the non-purchase item is $P_0(\textbf{Y}|G) = 1/(1+G(\textbf{Y}))$. The GEV becomes the MNL model if $G(\textbf{Y}) = \sum_{i=1}^m Y_i$, and it becomes the nested logit model if
$G(\textbf{Y}) = \sum_{n\in {\mathcal{N}}} \left(\sum_{i\in C_n} (\sigma_{in}Y_i)^{\mu_n} \right)^{\mu/\mu_n}$, where ${\mathcal{N}}$ is the set of nests, $C_n$ is the set of items in nest $n$ and $\sigma_{in},\mu>0,\mu_n>0$ are the parameters of the nested logit model. In the generalized version of the nested logit model proposed by Daly2006general, called the network GEV, the corresponding CPGF can be computed recursively based on a rooted and cycle-free graph representing the correlation structure of the items.
Under a GEV model specified by a CPGF $G(\cdot)$, the deterministic version of the pricing problem is stated as
equation[equation omitted — 200 chars of source]
where $\textbf{Y}(\textbf{x},\textbf{a},\textbf{b}) \in \mathbb{R}^m$ with entries $Y_i(\textbf{x},\textbf{a},\textbf{b}) = \exp(a_i-b_ix_i)$. The expected revenue $R(\textbf{x})$ becomes more difficult to handle as the GEV model becomes more complicated. By leveraging the properties of GEV models stated in Remark (ref), zhang2018multiproduct manage to show that if the PSP are homogeneous, i.e., $b_i = b_j$ for all $i,j\in{\mathcal{V}}$ and if $\textbf{x}^*$ is an optimal solution to (ref), then
equation[equation omitted — 205 chars of source]
where $\gamma = G(Y_1(c_1),\ldots,Y_m(c_m))$ and $W(\cdot)$ is the Lambert-W function.
The results in (ref) indeed imply that a constant markup solution is optimal to (ref) and this constant markup can be computed explicitly.
Moreover, if the PSP are partition-wise homogeneous and $G$ is separable, then zhang2018multiproduct show that the optimal prices have a constant markup in each partition. These results also provide an explicit way to compute optimal prices for the pricing problem under the MNL with arbitrary PSP.
zhang2018multiproduct also show that the expected revenue function is concave in the purchasing probabilities under any GEV model, making the pricing problem with expected sale constraints tractable.
Robust Pricing under Homogeneous Price Sensitivity Parameters
In this section, we study a robust version of the unconstrained pricing problem, under the setting that the choice parameters $(\textbf{a},\textbf{b})$ are not known exactly but belong to an uncertainty set. We focus here on the case of homogeneous PSP.
In our robust model, we aim at maximizing the worst-case expected revenue over all parameters in the uncertainty set. The robust unconstrained pricing problem can be formulated as
equation[equation omitted — 225 chars of source]
where ${\mathcal{A}}$ is the uncertainty set of the parameters $(\textbf{a},\textbf{b})$.
We denote $\Phi(\textbf{x},\textbf{a},\textbf{b}) = \sum_{i=1}^m (x_i-c_i) P_i(\textbf{Y}(\textbf{x},\textbf{a},\textbf{b})|G)$ for notational simplicity.
We assume that ${\mathcal{A}}$ is convex and bounded. The convexity and boundedness assumptions are useful later in the section, as we need to show that, under a constant-markup style vector of prices,
the objective function of the adversary's problem is convex on ${\mathcal{A}}$, which in turn helps identify a saddle point of the robust problem. The boundedness assumption is realistic in the context, as the choice parameters are often inferred from data and it is expected that they are finite. We also assume that the PSP are positive, i.e., ${\textbf{b}}>0$ for any $(\textbf{a},\textbf{b}) \in{\mathcal{A}}$, which is conventional from a behavior point of view.
When the PSP are the same over all the products, we will show that the robust optimal prices
have a constant markup and this constant markup can be computed efficiently by binary search.
The idea is motivated by the observation that if we consider the min-max counterpart of the robust problem
$
\min_{(a,b)\in{\mathcal{A}}}\; \max_{\textbf{x}\in\mathbb{R}^{m} } \Big\{\Phi(\textbf{x},\textbf{a},\textbf{b})\Big\},
$
then we know that the adversary problem always yields a constant-markup optimal solution for any fixed choice parameters $(\textbf{a},\textbf{b})$ zhang2018multiproduct. So, the min-max counterpart is equivalent to
equation[equation omitted — 158 chars of source]
where $\textbf{X}$ is the set of constant-markup solutions, i.e., $\textbf{X} = \{\textbf{x}\in\mathbb{R}^m|\ x_i-c_i = x_j-c_j, \forall i,j\in[m]\}$. This suggests that if there is a saddle point of the max-min problem (ref), then it should have a constant-markup form.
To prove the result, we will consider the robust unconstrained pricing problem with constant-markup prices, i.e., we only look at prices $\textbf{x} \in \textbf{X}$. Then we show that there exist constant-markup prices $\textbf{x}^*$ such that if $(\textbf{a}^*,\textbf{b}^*)$ is an optimal solution to the adversary's problem under prices $\textbf{x}^*$, then $\textbf{x}^*$ is also optimal to the deterministic unconstrained problem with choice parameters $(\textbf{a}^*,\textbf{b}^*)$. In other words, $(\textbf{x}^*,\textbf{a}^*,\textbf{b}^*)$ is a saddle point of (ref) and $\textbf{x}^*$ is also an optimal solution to the robust problem.
Given constant-markup prices $\textbf{x}\in\textbf{X}$ and choice parameters $(\textbf{a}, \textbf{b})\in{\mathcal{A}}$, the expected revenue becomes
\[
aligned\sum_{i=1}^m (x_i-c_i) P_i(Y(x,a,b)|G) &= \frac{z \sum_{i\in{\mathcal{V}}} Y_i(x,a,\textbf{b})\partial G_i(\textbf{Y}(\textbf{x},\textbf{a},\textbf{b}))}{1+G(\textbf{Y}(\textbf{x},\textbf{a},\textbf{b}))} \\
&=z\left(1 - \frac{1}{1+G(\textbf{Y}(\textbf{x},\textbf{a},\textbf{b}))}\right),
\]
where $z = x_i-c_i$, $\forall i\in {\mathcal{V}}$ and $\textbf{Y}$ is a vector with entries $Y_i = \exp(a_i -b_i (z+c_i))$ for all $i\in {\mathcal{V}}$.
For the sake of simplicity, from now on we will write $\textbf{Y}$ instead of $\textbf{Y}(\textbf{x},\textbf{a},\textbf{b})$.
The expected revenue is a function of $z$ and $(\textbf{a},\textbf{b})$, and if $(\textbf{a}^*(z), \textbf{b}^*(z))$ is an optimal solution to the adversary's problem, then we also have
equation[equation omitted — 180 chars of source]
where $G(\textbf{Y}|z,\textbf{a},\textbf{b}) = G(Y_1,\ldots,Y_m)$ with $Y_i = e^{a_i-b_i(z+c_i)}$.
In Proposition (ref) below, we first show that $G(\textbf{Y}|z,\textbf{a},\textbf{b})$ is strictly convex in $(\textbf{a},\textbf{b})$. As a result, $(\textbf{a}^*(z),\textbf{b}^*(z))$ is always uniquely determined. This result is important to identify a saddle point of the robust problem.
propositionGiven any $z\in \mathbb{R}_+$, $G(\textbf{Y}|z,\textbf{a},\textbf{b})$ is strictly convex on ${\mathcal{A}}$, Problem (ref) always has a unique solution, and $(\textbf{a}^*(z),\textbf{b}^*(z))$ determined in (ref) is continuous in $z\in \mathbb{R}_+$.
The proof is given in Appendix (ref). The proposition plays an important role in our main claim, as in the theorem below we will show that a solution to the robust problem can be found by solving a 1-dimensional fixed-point problem. The continuity of $(\textbf{a}^*(z),\textbf{b}^*(z))$ guarantees that this fixed-point problem always has a solution that can be found efficiently by bisection.
theorem[Constant markup is optimal to the robust problem)]
There always exists a unique solution $z^{*}\in\mathbb{R}$ to the fixed point problem
\begin{equation}
z = \frac{1+ W(G(Y|0,a^*(z),b^*(z))e^{-1})}{\me{b^*(z)}},
\end{equation}
where $W(\cdot)$ is the Lambert-W function and the constant-markup prices $\textbf{x}^{*}$ defined as $x^{*}_i = z^{*} + c_i ,\ \forall i\in[m]$, is the unique robust solution of the robust problem (ref). Moreover, $(\textbf{x}^*,\textbf{a}^*(z^*), \textbf{b}^*(z^*))$ is a saddle point of (ref) and the minimax equality holds, i.e., $$\max_{\textbf{x}\in\mathbb{R}^m}\min_{(\textbf{a},\textbf{b})\in{\mathcal{A}}}\Phi(\textbf{x},\textbf{a},\textbf{b}) = \min_{(\textbf{a},\textbf{b})\in{\mathcal{A}}}\max_{\textbf{x}\in\mathbb{R}^m}\Phi(\textbf{x},\textbf{a},\textbf{b}).$$
We highlight two important claims from Theorem (ref). First, the robustness preserves the constant-markup property of the solutions to the deterministic pricing problem, and second, the minimax equality holds. We note that the minimax equality is not straightforward to see at first sight, as the objective function $\Phi(\textbf{x},\textbf{a},\textbf{b})$ is not (quasi) concave in $\textbf{x}$ nor convex in $(\textbf{a},\textbf{b})$.
We will make use of Lemmas (ref) -(ref) below to prove the theorem. In Lemma (ref) we show that function $G(\textbf{Y}|z,\textbf{a}, \textbf{b})$ is always bounded. Together with the results established in Proposition (ref), it then becomes clear that there always exists a fixed point solution to (ref). As a result, if $z^*$ is a solution (ref), then it will form optimal constant-markup prices for the robust problem. Now, let us go into details of the lemmas and proofs.
lemmaIf there are $(\underline{\textbf{a}}, \underline{\textbf{b}}), (\overline{\textbf{a}}, \overline{\textbf{b}}) \in \mathbb{R}^{2m}$ such that $\underline{\textbf{a}} \leq \textbf{a} \leq \overline{\textbf{a}}$ and $\underline{\textbf{b}} \leq \textbf{b}\leq \overline{\textbf{b}}$ for all $(\textbf{a},\textbf{b}) \in{\mathcal{A}}$, then
$
G(\textbf{Y}|z,\underline{\textbf{a}},\overline{\textbf{b}}) \leq G(\textbf{Y}|z,\textbf{a},\textbf{b}) \leq G(\textbf{Y}|z,\overline{\textbf{a}},\underline{\textbf{b}}), \ \forall z\in \mathbb{R}_+,\ (\textbf{a},\textbf{b}) \in{\mathcal{A}}.
$
The proof can be done quite easily using the properties of function $G(\cdot)$ and we refer the reader to Appendix (ref) for details. We are now ready to show that there is a solution to the fixed point problem (ref).
In Lemma (ref) below we show this by making use of the continuity of $\textbf{a}^*(z),\textbf{b}^*(z)$ (showed above) and the boundedness assumption on ${\mathcal{A}}$ to identify an interval where we can find $z^*$. Without this assumption, one can simply choose 0 as a lower bound, as $f(0)$ is always less than 0. However, to identify an upper bound, one needs some limits from the uncertainty set. This is because even in the deterministic case, if the choice parameters $\textbf{b}$ approach zero, or $\textbf{a}$ increase to infinity, then the optimal constant markup will go to infinity (see Equation (ref)).
lemmaFor any $i\in {\mathcal{V}}$, there exists $z^*\in \mathbb{R}_+$ such that
\[
z^* = \frac{1+ W(\tau(z^*))}{\me{\textbf{b}^*(z^*)}} \in \left[\underline{Z}^0,\overline{Z}^0 \right]
\]
where
\[
\begin{aligned}
\underline{Z}^0 &= \frac{1+W(G(\textbf{Y}|0,\underline{\textbf{a}},\overline{\textbf{b}})e^{-1})}{\me{\overline{\textbf{b}}}} \\
\overline{Z}^0 &= \frac{1+W(G(\textbf{Y}|0,\overline{\textbf{a}},\underline{\textbf{b}})e^{-1})}{\me{\underline{\textbf{b}}}} \\
\tau(z^*) &= G(\textbf{Y}|0,\textbf{a}^*(z^*),\textbf{b}^*(z^*))e^{-1}
\end{aligned}
\]
and $\underline{\textbf{a}},\overline{\textbf{a}},\underline{\textbf{b}}, \overline{\textbf{b}} \in\mathbb{R}^m$ such that $\underline{\textbf{a}} \leq \textbf{a} \leq \overline{\textbf{a}}$ and $\underline{\textbf{b}} \leq \textbf{b}\leq \overline{\textbf{b}}$ for all $(\textbf{a},\textbf{b}) \in{\mathcal{A}}$,
and $W(\cdot)$ is the is the Lambert-W function.
\proof{Proof:}
Let
$f(z) = z - ({1+W(\tau(z))}))/{\me{\textbf{b}^*(z)}}.
$
From Lemma (ref), we have
\[
\underline{Z}^0 \leq \frac{1+W(\tau(z))}{\me{\textbf{b}^*(z)}} \leq \overline{Z}^0,\ \forall z\in\mathbb{R}_+.
\]
Which means
\[
f(\underline{Z}^0) \leq 0; \ f(\overline{Z}^0) \geq 0
\]
Since $f(z)$ is continuous in $z$ (Proposition (ref)), equation $f(z) = 0$ always has a solution in the interval $\left[\underline{Z}^0,\overline{Z}^0 \right]$.
\endproof
We are now ready for the proof of Theorem (ref). Basically, we will show that a $z^*$ determined in Lemma (ref) and $(\textbf{a}^*(z^*),\textbf{b}^*(z^*)$ will form a saddle point to the robust problem.
\proof{Proof of Theorem (ref):}
We know that there always exists $z^{*}$ being a fixed point solution to (ref) (Lemma (ref)).
Given $\textbf{x}^{*}$ and $z^{*}$, we
first remark that $(\textbf{a}^*(z^{*}), \textbf{b}^*(z^{*}))$ is also the unique solution of the adversary's problem
\[
\underset{(\textbf{a},\textbf{b}) \in {\mathcal{A}}}{\text{argmin}}\qquad \Phi(\textbf{x}^{*},\textbf{a},\textbf{b})
\]
Moreover, according to the way $\textbf{x}^{*}$ is computed and Theorem 3.1 of zhang2018multiproduct, $\textbf{x}^{*}$ is optimal to the following problem
\[
\max_{\textbf{x}\in\mathbb{R}^m}\quad \left\{ \Phi(\textbf{x},\textbf{a}^*(z^{*}), \textbf{b}^*(z^{*}) ) \right\}.
\]
This leads to the fact that $(\textbf{x}^{*},\textbf{a}^*(z^{*}), \textbf{b}^*(z^{*}) )$ is a saddle point to the robust max-min problem (ref). In other words, $\textbf{x}^{*}$ is an optimal solution to the robust problem.
Note that the deterministic version of the unconstrained pricing problem always has a unique solution, which is a constant markup one. So,
for any $\textbf{x} \neq \textbf{x}^{*}$ we have
align[align omitted — 203 chars of source]
Thus, there is only one solution to the robust pricing problem (ref) and there is only one solution to the equation (ref), as required.
Since there is a saddle point to the max-min problem (ref), the minimax equality holds, i.e., $\min_{(\textbf{a},\textbf{b})\in{\mathcal{A}}} \max_{\textbf{x}\in\mathbb{R}^{m} } \Big\{\Phi(\textbf{x},\textbf{a},\textbf{b})\Big\} = \max_{\textbf{x}\in\mathbb{R}^{m} } \min_{(\textbf{a},\textbf{b})\in{\mathcal{A}}} \Big\{\Phi(\textbf{x},\textbf{a},\textbf{b})\Big\}$. \mtien{Note that the existence of a saddle point directly implies the minimax equality (a.k.a minimax equality),
but the opposite does not always hold.}
\endproof
Theorem (ref) implies that a solution to the robust problem can be found by solving the equation
equation[equation omitted — 136 chars of source]
in the interval $\left[\underline{Z}^0,\overline{Z}^0 \right]$, in which $\underline{Z}^0,\overline{Z}^0$ are defined in Lemma (ref).
This is a one-dimensional problem which could be solved efficiently via bisection and convex optimization. That is,
we use convex optimization to compute $f(x)$ for any given $z\in \left[\underline{Z}^0,\overline{Z}^0 \right]$ and use bisection to find $z^*$ such that $f(z^*) = 0$.
In comparison with its deterministic counterpart, the robust problem requires an extra computing cost of $\delta {\mathcal{O}}(\ln(1/\epsilon))$ to obtain a constant markup that is in the $\epsilon$-neighbourhood of the optimal solution, where $\delta$ is the computation cost to solve the adversary problem.
{Robust Pricing under Partially Heterogeneous Price Sensitivity Parameters}
We relax the assumption that the PSP are homogeneous. Completely relaxing this assumption makes the pricing problem challenging, even for its deterministic version Gallego2014multiproduct.
Thus, we assume that the products can be separated into partitions, and the PSP can be different over partitions.
More specifically, we assume that the products can be partitioned into disjoint subsets and the products in each partition share the same PSP, and the CPGF is also partition-wise separable. This assumption has been used in previous work to derive tractable solutions to the deterministic pricing problems zhang2018multiproduct.
More precisely, we partition the set of all products ${\mathcal{V}}$ into $N$ non-empty subsets ${\mathcal{V}}_1,\ldots,{\mathcal{V}}_N$ such that ${\mathcal{V}} = \bigcup_{n=1}^N {\mathcal{V}}_n$ and ${\mathcal{V}}_i \cap {\mathcal{V}}_j = \emptyset, \ \forall i\neq j, i,j\in[N]$. Moreover, we separate the vector $\textbf{Y}$ into sub-vectors $\textbf{Y}^1,\ldots,\textbf{Y}^N$ such that $\textbf{Y}^n = \{Y_i|\ i\in {\mathcal{V}}_n\}$ for all $n \in [N]$.
We assume that the GEV-CPGF $G(\textbf{Y})$ can be separated into $N$ GEV-CPGFs as
\[
G(\textbf{Y}) = \sum_{n=1}^N G^n(\textbf{Y}^n).
\]
Note that the nested logit model Ben1973structure, one of the most widely-used GEV models in the literature, also has this separating structure. For notational convenience, we also separate $(\textbf{a},\textbf{b}) \in \mathbb{R}_+^{2m}$ into sub-vectors $(\textbf{a}^1,\textbf{b}^1),\ldots, (\textbf{a}^N,\textbf{b}^N)$ such that $(\textbf{a}^n,\textbf{b}^n) = \{(a_i,b_i)|\ i\in {\mathcal{V}}_n\}$, $\forall n\in [N]$.
To deal with the robust problem, we further assume that the uncertainty set ${\mathcal{A}}$ is also partition-wise separable, i.e., ${\mathcal{A}} = \otimes_{n\in[N]} {\mathcal{A}}^n$, where $\otimes$ is the Cartesian operation, ${\mathcal{A}}^n\subset \mathbb{R}^{2|{\mathcal{V}}_n|}$ is the uncertainty set for the sub-vector $(\textbf{a}^n,\textbf{b}^n)$, and ${\mathcal{A}}^n$ are convex and bounded for all $n\in[N]$. In other words, we assume that the vector of choice parameters can vary independently across partitions.
This assumption is a bit restrictive, but important to maintain the tractability of the robust problem. The reason is that if we use a general uncertainty set that allows for dependency between the choice parameters from different partitions, the adversary problem itself is generally not convex or quasi-convex in $(\textbf{a},\textbf{b})$, even under constant-markup prices, thus not tractable to solve.
On the other hand, the assumption will allow us to handle each function $G^n(\textbf{Y}^n)$ independently, thus making it possible to convert the robust optimization problem into a convex one. In fact, one can construct a partition-wise separable uncertainty set
by collecting some samples of choice parameter estimates from each partition. We will discuss this in more detail in Section (ref).
In this context, the difficulty lies in the fact that the optimal prices to the deterministic pricing problem do not have a single constant markup over all products.
As a consequence, the robust optimal prices to (ref) would generally not have a single constant markup over all the products and the corresponding adversary's objective function
would not be quasi-convex and solutions to the adversary's problem may not be unique.
For this reason, we can not apply the techniques used in the previous section to identify a saddle point of the robust problem.
In the rest of the section, we will show that the robust problem can be converted equivalently into a convex optimization.
To start our exposition, we note that, in analogy to the analysis in the case of homogeneous PSP, we also see that the min-max counterpart always yields a partition-wise constant-markup solution zhang2018multiproduct. Thus, if there is a saddle point in the robust problem, then it should have a partition-wise constant-markup form. This motivates us to find such a saddle point of the max-min problem.
First, let us look at the robust problem where we only seek prices that have a constant markup in each partition, i.e., $\textbf{x}\in \textbf{X}^N$, where $\textbf{X}^N = \{\textbf{x}\in \mathbb{R}^m|\;x_i-c_i = x_j-c_j,\forall i,j\in{\mathcal{V}}_n, n\in[N]\}$.
Let $z_n = x_i-c_i$ for all $i\in{\mathcal{V}}_n$ and $n\in[N]$. The robust problem becomes
equation*[equation* omitted — 225 chars of source]
or equivalently
equation[equation omitted — 284 chars of source]
where $G^n(\textbf{Y}^n|z,\textbf{a}^n,\textbf{b}^n) = G^n(Y_i,\ i\in{\mathcal{V}}_n)$ with $Y_i = e^{a_i-b_i(z_n+c_i)}$, for all $i\in {\mathcal{V}}_n$. For notational brevity, let $$\rho(\textbf{z},\textbf{a},\textbf{b}) = \frac{\sum_{n\in[N]} z_n G^n(\textbf{Y}^n|z_n,\textbf{a}^n,\textbf{b}^n)}{1 + \sum_{n\in[N]} G^n(\textbf{Y}^n|z_n,\textbf{a}^n,\textbf{b}^n)}.$$
Let us also denote
\[
\underline{{\mathcal{G}}}^n(z_n) = \min_{(\textbf{a}^n,\textbf{b}^n) \in{\mathcal{A}}^n}\; \Big\{ G^n(\textbf{Y}^n| z_n,\textbf{a}^n,\textbf{b}^n)\Big\}.
\]
Since $G^n(\textbf{Y}^n| z_n,\textbf{a}^n,\textbf{b}^n)$ is strictly convex in $(\textbf{a}^n,\textbf{b}^n)$ (Proposition (ref)), we see that $\underline{{\mathcal{G}}}^n(z_n)$ is continuous and differentiable in $z_n$. Let $(\textbf{a}^{n*}(z_n), \textbf{b}^{n*}(z_n) = \text{argmin}_{(\textbf{a}^n,\textbf{b}^n) \in{\mathcal{A}}^n}\; \Big\{ G^n(\textbf{Y}^n| z_n,\textbf{a}^n,\textbf{b}^n)\Big\}$, which are always uniquely determined given any $z_n\in\mathbb{R}$ (Proposition (ref)).
To handle the robust problem (ref), let us consider the following reduced optimization problem, which is obtained by forcing each component $G^n(\cdot)$ to its minimum value over ${\mathcal{A}}^n$.
equation[equation omitted — 239 chars of source]
In the rest of the section, we will focus on solving the robust problem (ref) by making use of Problems (ref) and (ref). More specifically, we will prove the following chain of results.
itemize• The reduced problem (ref) always yields a unique solution, and this solution can be found by convex optimization (Theorem (ref)).
• Any optimal solution to (ref) is also a robust solution to (ref) and vice-versa (Theorem (ref)).
• A solution to (ref) forms an optimal solution to robust problem (ref) (Theorem (ref)).
To make the technical results easier to follow, we separate the rest of the section into two subsections, where Section (ref) will focus on the reduced problem, and Section (ref) shows
how to convert the original robust problem (ref) into the reduced one, which eventually leads to the result that (ref) and (ref) can be solved by convex optimization.
Convexity of the Reduced Problem
The reduced problem is indeed not convex if it is defined in terms of the prices $\textbf{x}$. Nevertheless, we can show that it becomes convex if we view it under purchase probabilities. More precisely, we will do some change of variables. Let use denote a vector $\textbf{p}^{G} \in \mathbb{R}^{N}$ with entries
equation[equation omitted — 154 chars of source]
then the objective function in (ref) can be written as ${\mathcal{W}}(\textbf{z}) = \sum_{n\in[N]} z_np^G_n$.
This vector $\textbf{p}^G$ can be interpreted as an aggregated purchase probabilities for the partitions, i.e., $p^G_n = \sum_{i\in{\mathcal{V}}_n} p_i$, where $p_i$ is the purchase probability of item $i\in{\mathcal{V}}$.
In Theorem (ref) below, we show that, given any $\textbf{p}^G \in {\mathcal{P}}^G= \{\textbf{p}^G\in \mathbb{R}^N_+|\ \sum_{n\in[N]} p^G_n <1 |\}$, there is a unique $\textbf{z}(\textbf{p}^G) \in \mathbb{R}^{N}$ satisfying (ref). Moreover, Problem (ref) can be formulated as a convex optimization program of variables $\textbf{p}^G$. Note that a similar result has been shown previously zhang2018multiproduct for the case that the choice parameters $(\textbf{a},\textbf{b})$ are fixed. In our setting, $(\textbf{a},\textbf{b})$ are a solution to convex optimization problems parameterized by $\textbf{z}(\textbf{p}^G)$, thus requiring a new and more complicated proof.
theorem[Convexity of the reduced problem]
Given any $\textbf{p}^G\in {\mathcal{P}}^G$, there is a unique vector $\textbf{z}(\textbf{p}^G) \in\mathbb{R}^N$ satisfying (ref), and this vector can be found by bisection. Moreover, ${\mathcal{W}}(\textbf{z}(\textbf{p}^G))$ is strictly concave in $\textbf{p}^G$.
To prove the result, we first show that each function $\underline{{\mathcal{G}}}^n(z_n)$ is invertible. That is, for any $\alpha>0$ there is a unique $z_n\in \mathbb{R}_+$ such that $\underline{{\mathcal{G}}}^n(z_n) = \alpha$. This allows us to define the inverse function $(\underline{{\mathcal{G}}}^n)^{-1}$ such that $(\underline{{\mathcal{G}}}^n)^{-1}(\underline{{\mathcal{G}}}^n(z_n)) = z_n$. This inverse function can be computed by bisection.
The existence of the inverse function is necessary for the claim that there is always a unique vector $\textbf{z}$ that yields a given purchase probability vector $\textbf{p}^G \in{\mathcal{P}}^G$ and this vector can be computed as
\[
\textbf{z}(\textbf{p}^G)_n = (\underline{{\mathcal{G}}}^n)^{-1}\left(\frac{p^G_n}{1-\sum_{l\in[N]} p^G_l}\right).
\]
To show the convexity of ${\mathcal{W}}(\textbf{z}(\textbf{p}^G))$ in $\textbf{p}^G$, we first validate convexity of its deterministic counterpart, i.e., the version in which all the choice parameters are given
$
\widetilde{{\mathcal{W}}}(\widetilde{\textbf{z}}(\textbf{p}^G|\textbf{a},\textbf{b})) = \sum_{n\in[N]} \widetilde{\textbf{z}}(\textbf{p}^G|\textbf{a},\textbf{b})_n p^G_n,
$
where $\widetilde{\textbf{z}}(\textbf{p}^G|\textbf{a},\textbf{b}) \in \mathbb{R}^N$ are a vector of constant-markups that archive vector $\textbf{p}^G$ as
equation[equation omitted — 220 chars of source]
Once the convexity of $\widetilde{\textbf{z}}(\textbf{p}^G|\textbf{a},\textbf{b})$ is validated, we can further take the derivatives of $\textbf{z}(\textbf{p}^G)$ with respect to $\textbf{p}^G$ and show that they are equal to the derivative values of a deterministic function. This is the key result to show that the second-order derivative of ${\mathcal{W}}(\textbf{z}(\textbf{p}^G))$ is positive-definite, leading to the convexity of ${\mathcal{W}}(\textbf{z}(\textbf{p}^G))$. We provide the detailed proof in Appendix (ref).
We further characterize a solution to (ref). In Proposition (ref) below we show that (ref) always has a unique local optimal $\textbf{z}^*$ (i.e., ${\mathcal{W}}(\textbf{z})$ is unimodal), and this solution will satisfy a fixed point system that is an extended version of the one shown in Theorem (ref). Note that the uniqueness of a local optimal solution of (ref) defined in terms of $\textbf{p}^G$ is straightforward due to the concavity of ${\mathcal{W}}(\textbf{z}(\textbf{p}^G))$. It is however not trivial when the objective function is defined in terms of $\textbf{z}$.
propositionProblem (ref) always yields a unique local optimal solution $\textbf{z}^*$ (i.e., ${\mathcal{W}}(\textbf{z})$ is unimodal) and this solution satisfies the following fixed point system
\begin{equation}
z_n =\frac{1}{\me{{b}^{n*}(z_n)}} + \sum_{l\in[N]}\frac{{\mathcal{G}}^l(z_l)}{\me{{b}^{l*}(z_l)}},\; \forall n\in[N].
\end{equation}
Proposition (ref) implies that solving the fixed-point problem (ref) will yield a solution to (ref). However, directly solving
(ref) would be not tractable. Instead, Theorem (ref) show that it can be solved conveniently by convex optimization. The fixed-point system in Proposition (ref) is however important to establish the saddle point result in the next section (Proposition (ref)).
Solving the Robust Problem
We know from the previous section that the reduced problem is tractable to solve.
We now move to the second part showing that the original robust optimization problem can be converted into the reduced problem, for which a solution can be found by convex optimization. We first state the following result connecting the reduced problem and (ref).
theorem[Equivalence between (ref) and the reduced problem]
Any optimal solution to (ref) is also optimal to (ref) and vice-versa.
The general idea to prove the theorem is to show that, under the optimal price solution, the adversary will force each component $G^n(\textbf{Y}^n|z_n,\textbf{a}^n,\textbf{b}^n)$ of the objective function to its minimum values. We refer the reader to Appendix (ref) for a detailed proof.
We now come back to the original robust problem (ref) with partition-wise homogeneous PSP. We will gather all the results established above to show how we can get an optimal solution of (ref) by convex optimization.
Before stating the main theorem, let us introduce the following result saying that a solution obtained by solving the reduced problem (ref) forms a saddle point to (ref), thus the minimax equality holds.
proposition[Saddle point of (ref)]
If $\textbf{z}^*$ is a solution to (ref), then $(\textbf{z}^*,\textbf{a}^*(\textbf{z}^*),\textbf{b}^*(\textbf{z}^*))$ is a saddle point of the max-min problem (ref). As a result, the minimax equality holds, i.e.,
\[
\max_{\textbf{z}\in\mathbb{R}^N}\min_{(\textbf{a},\textbf{b}) \in{\mathcal{A}}} \rho(\textbf{z},\textbf{a},\textbf{b}) = \min_{(\textbf{a},\textbf{b}) \in{\mathcal{A}}} \max_{\textbf{z}\in\mathbb{R}^N} \rho(\textbf{z},\textbf{a},\textbf{b}).
\]
\proof{Proof:}
It is clear from Theorem (ref) that if $\textbf{z}^*$ to a solution to (ref), then $(\textbf{a}^*(\textbf{z}^*),\textbf{b}^*(\textbf{z}^*))$ is a solution to the corresponding adversary's problem. Moreover, from Proposition (ref) and Theorem C1 of zhang2018multiproduct, we also see that $\textbf{z}^*$ is a solution to the pricing problem under fixed parameters $(\textbf{a}^*(\textbf{z}^*),\textbf{b}^*(\textbf{z}^*))$, i.e.,
$\max_{\textbf{z} \in\mathbb{R}^N} \rho(\textbf{z},\textbf{a}^*(\textbf{z}^*),\textbf{b}^*(\textbf{z}^*))
$.
Thus, $(\textbf{z}^*,\textbf{a}^*(\textbf{z}^*),\textbf{b}^*(\textbf{z}^*))$ is clearly a saddle point of (ref). The minimax equality follows directly from the existence of a saddle point.
\endproof
We now gather all the previous results to establish our main theorem.
Theorem (ref) below states that a solution to the robust problem (ref) will have a constant-markup style and this constant-markup vector can be found be convex optimization. The proof can be done easily given all the claims we have in Section (ref) and Theorem (ref) above.
theorem{\bf(A partition-wise constant-markup solution is optimal to the robust problem).}
Under partition-wise homogeneous PSP and partition-wise decomposable uncertainty sets, the robust problem (ref) yields a unique partition-wise constant-markup solution $\textbf{x}^*$ such that $x^*_i = z^*_n + c_i$, $\forall n\in[N], i\in{\mathcal{V}}_i$, where $\textbf{z}^*$ is a unique solution to Problem (ref), which can be solved by convex optimization. Moreover, $(\textbf{x}^*,\textbf{a}^*(\textbf{z}^*),\textbf{b}^*(\textbf{z}^*))$ is a saddle point of (ref) and the minimax equality holds, i.e.,
\[
\max_{\textbf{x}\in\mathbb{R}^m}\min_{(\textbf{a},\textbf{b}) \in{\mathcal{A}}} \Phi(\textbf{x},\textbf{a},\textbf{b}) = \min_{(\textbf{a},\textbf{b}) \in{\mathcal{A}}} \max_{\textbf{x}\in\mathbb{R}^m} \Phi(\textbf{x},\textbf{a},\textbf{b}).
\]
\proof{Proof:}
We first prove the minimax equality property by the chain
align[align omitted — 750 chars of source]
where $(a)$ is from the well-known max-min inequality, $(b)$ is from the property that any deterministic pricing problem (with fixed $(\textbf{a}, \textbf{b})$) always yields a partition-wise constant-markup solution, $(c)$ is due to the minimax equality of (ref) shown in Proposition (ref) above.
This chain of (in)equalities leads to the minimax equality property of (ref) and the result that $\textbf{x}^*$ defined by a constant-markup solution $\textbf{z}^*$ of (ref) is a robust solution to (ref) and $(\textbf{x}^*,\textbf{a}^*(\textbf{z}^*),\textbf{b}^*(\textbf{z}^*))$ forms a saddle point of the max-min problem
(ref).
\endproof
We now discuss in detail how to solve the reduced problem (ref). Since the problem is convex when the objective function is defined in terms of the purchase probability $\textbf{p}^G$, we show how to compute ${\mathcal{W}}(\textbf{z}(\textbf{p}^G))$ and its gradients, which are crucial for the optimization process.
Given a purchase probability $\textbf{p}^G\in{\mathcal{P}}^G$, from Lemma (ref), we can compute ${\mathcal{W}}(\textbf{z}(\textbf{p}^G))$ as
\[
{\mathcal{W}}(\textbf{z}(\textbf{p}^G)) = \sum_{n \in[N]} z(\textbf{p}^G)_n p^G_n = \sum_{n\in[N]} (\underline{{\mathcal{G}}}^n)^{-1}\left(\frac{p^G_n}{1-\sum_{l\in[N]} p^G_l}\right) p^G_n
\]
where the inverse function $\underline{{\mathcal{G}}}^n)^{-1}(\cdot)$ can be computed efficiently by bisection. The gradients of
${\mathcal{W}}(\textbf{z}(\textbf{p}^G))$ are more difficult to get and we show how to do it in Proposition (ref) below.
proposition[Gradients of ${\mathcal{W}}(\textbf{z}(\textbf{p}^G))$]
For any $\textbf{p}^G\in{\mathcal{P}}^G$, we have
\begin{equation}
\frac{\partial {\mathcal{W}}(z(p^G))}{\partial p^G_n} = z(p^G)_n - \frac{1}{\me{b^{k*}(z_k)}} -\frac{1}{ (1-{e}^\tiny T \textbf{p}^G)} \sum_{k\in [N]} \frac{p^G_k}{\me{\textbf{b}^{k*}(z_k)}},\; \forall n\in [N],
\end{equation}
where $ (\textbf{a}^{k*}(z_k),\textbf{b}^{k*}(z_k)) = \text{argmin}_{(\textbf{a}^k,\textbf{b}^k) \in{\mathcal{A}}^k}\; \Big\{ G^k(\textbf{Y}^k| z_k,\textbf{a}^k,\textbf{b}^k)\Big\}$.
The proof (details in Appendix (ref)) can be done by directly taking the derivatives of ${\mathcal{W}}(\textbf{z}(\textbf{p}^G))$ with respect to $\textbf{p}^G$ and using (ref). The computation of ${\mathcal{W}}(\textbf{z}(\textbf{p}^G))$ for a given $\textbf{p}^G\in{\mathcal{P}}^G$ can be done by performing the following steps: (i) compute $\textbf{z}(\textbf{p}^G)$ using Lemma (ref), (ii) compute $(\textbf{a}^*(\textbf{z}),\textbf{a}^*(\textbf{z}))$ as (unique) optimal solutions of the problems $ \min_{(\textbf{a}^n,\textbf{b}^n) \in{\mathcal{A}}^n}\; \Big\{ G^n(\textbf{Y}^n| z_n,\textbf{a}^n,\textbf{b}^n)\Big\}$, $n\in [N]$, (iii) compute ${\mathcal{W}}(\textbf{z}(\textbf{p}^G)) = \textbf{z}(\textbf{p}^G)^\text{\tiny T} \textbf{p}^G$ and its gradients by (ref). Since the objective function is strictly concave, we know that the optimization problem can be solved efficiently by a convex optimization solver.
When the uncertainty set is rectangular, the reduced optimization problem can be further simplified, as a solution to $ \min_{(\textbf{a}^n,\textbf{b}^n) \in{\mathcal{A}}^n}\; \Big\{ G^n(\textbf{Y}^n| z_n,\textbf{a}^n,\textbf{b}^n)\Big\}$ can be identified, thus the reduced problem can be transformed equivalently to a deterministic pricing problem with fixed choice parameters and it is known that such a deterministic pricing problem yields closed form solutions zhang2018multiproduct.
We state this result in the following corollary.
corollary[Rectangular uncertainty sets]
If the uncertainty is rectangular, i.e., $${\mathcal{A}} = \left\{(\textbf{a},\textbf{b})|\ \textbf{a}\in [\underline{\textbf{a}},\overline{\textbf{a}}],\ \textbf{b} \in [\underline{\textbf{b}},\overline{\textbf{b}}], \ b_i = b_j,\ \forall i,j\in {\mathcal{V}}_n,\ \ \forall n \right\},$$
then the robust problem (ref) is equivalent to the deterministic pricing problem
$
\max_{\textbf{x}_\in\mathbb{R}^m} \Phi(\textbf{x},\underline{\textbf{a}},\overline{\textbf{b}}).
$
The result is easy to validate, as from Lemma (ref) we see that $(\underline{\textbf{a}}^n,\overline{\textbf{b}}^n) = \text{argmin}_{(\textbf{a},\textbf{b})\in{\mathcal{A}}} G^n(\textbf{Y}^n|z_n,
\textbf{a}^n,\textbf{b}^n)$ for any $z_n\in\mathbb{R}$.
Numerical experiments
We provide experimental results to show how the robust model considered above (i.e., robust unconstrained pricing with homogeneous and partition-wise homogeneous PSP) protect us from choice parameter uncertainties.
We first discuss our approach to construct uncertainty sets and different baseline approaches for the sake of comparison.
Constructing Uncertainty Sets
Inspired by Rusmevichientong2012robust in the context of robust assortment optimization,
such an uncertainty set can be created for the situation that the market is heterogeneous, i.e., the market has several costumer types and the choice parameters would vary across them, but the proportion of each customer type is not known with certainty.
To be more precise, let assume that the true parameters for the underlying GEV choice model can be one of $K$ vectors $\{(\textbf{a}^{(1)}, \textbf{b}^{(1)}),\ldots, (\textbf{a}^{(K)}, \textbf{b}^{(K)})\}$, representing $K$ types of customers. For ease of notation, let $\textbf{w}^k = (\textbf{a}^{(k)}, \textbf{b}^{(k)})$ for all $k\in [K]$. Let $\tau_1,\ldots,\tau_K \in [0,1]$ be the proportion of each customer type with $\sum_{k\in [K]}\tau_k = 1$.
We are interested in the situation that the proportions can be estimated somehow using historical data, but estimation may have errors and the proportion estimates may not make good representation to the “true” ones.
In this situation, an uncertainty set can be constructed around the proportion estimates as
equation[equation omitted — 229 chars of source]
In the partially homogeneous case, as our results require partition-wise separable uncertainty sets, such an uncertainty set can be constructed in a similar way as follows. For each customer type $k$, let $\textbf{w}^{k,n}$ be the vector of choice parameters of partition $n\in[N]$. The uncertainty set for each partition can be defined as
equation[equation omitted — 265 chars of source]
Here $\epsilon\in[0,1]$ reflects an “uncertainty level” of the uncertainty set. Larger $\epsilon$ values provide larger uncertainty sets, corresponding to more conservative models that may help protect well against worst-case scenarios, but may lead to low average performance. On the other hand, smaller $\epsilon$ values provide smaller uncertainty sets and would lead to less conservative robust solutions, which may perform well in terms of average performance but would be worse in protecting bad scenarios of the choice parameters.
Adjusting $\epsilon$ would help the firm balance the worst-case protection and average performance.
Clearly, $\epsilon = 0$ corresponds to the deterministic case, i.e., the proportion of each customer type are given with certainty, and $\epsilon = 1$ reflects the situation that we are totally uncertain about how likely the proportion of each customer type is, and have to ignore the predefined proportions $\{\tau_1,\ldots,\tau_K\}$.
Baseline Approaches
We discuss tractable baseline approaches that would be used to solve the pricing problem when facing the issue of choice parameter uncertainty.
A straightforward approach would be to employ the mean values of the choice parameters and solve the deterministic version. In this context, we know that the pricing problem is computationally tractable.
Alternatively, one may look at different possibilities of the choice parameters and define a mixed formulation where the market is divided into a finite number of market
segments and each segment is governed by a scenario of the choice parameters. However, one can show that the expected revenue in this context is no longer unimodal and the constant-markup property identified for the GEV pricing problem no-longer holds, {even if there are only two market segments} Li2019productMMNL.
As a result, this mixed version is not computationally tractable.
Another baseline approach is to sample some choice parameters from the uncertainty set and use simulation to select a solution that provides best protection from worst-case scenarios. More precisely, let assume that the firm needs to make a pricing decision while being aware that the choice parameters may vary in an uncertainty set. In this context, the firm can sample some points from the uncertainty set
and compute the corresponding optimal prices for each selection, using the deterministic approach. Then, for each price vector, the firm can sample a sufficiently large number of vector of choice parameters from the uncertainty set, in order to evaluate how each price vector obtained performs when the choice parameters vary in the uncertainty set. This can be done by simply selecting the solution that gives the best worst-case profit among the samples. This approach may be computationally tractable with a reasonable number of samples, but would be much more computationally expensive than the robust and deterministic approaches.
We refer to this as the sampling-based approach.
One can show that solutions given by this approach will converge to those from the robust counterpart when the sample sizes grow to infinity.
In these experiments, we will compare our robust models (denoted as RO), which are computationally tractable, against the sampling-based approach (denoted as SA) and the deterministic one with mean-value choice parameters (denoted as DET). We will employ two popular GEV models in the literature, i.e., the MNL and nested logit models.
{For the SA approach, we sample points uniformly from the uncertainty set since we do not make any assumption about the distribution of the choice parameters.
One can argue that the uniform distribution may not be the best choice in the case that the firm believes that it has some ideas (perhaps via estimation) about the distribution of the choice parameters. Nevertheless, estimating such a distribution is not easy in practice. A common approach in choice modeling is to assume that the parameters follow some distributions (e.g. normal distribution) with unknown coefficients and try to estimate these coefficients by maximum likelihood estimation Mcfadden2000mixed. This approach, even though popular, does not guarantee that the distribution obtained is the true distribution of the choice parameters, assuming that there exists a true distribution.
As such, the distribution of the choice parameters is typically only known ambiguously. Distributionally robust optimization is a robust approach that is explicitly designed to handle this ambiguity Shapiro2018tutorialDRO, which we keep for future research.}
Experimental Settings
We choose $m = 50$,
and $K = 5$ (i.e., there are 5 customer types) and randomly choose the proportions and the underlying choice parameter vectors $\{\textbf{w}^1,\ldots,\textbf{w}^5\}$. For each $\epsilon>0$ we define the uncertainty set as in (ref).
The comparison is done as follows. For each $\epsilon$, we solve the corresponding robust problem and obtain a robust solution $\textbf{x}^{\textsc{RO}}$. For the DET, we solve the deterministic model with the weighted average parameters $\widetilde{\textbf{w}} = \sum_{k\in [K]} \tau_k \textbf{w}^k$ and obtain an optimal solution $\textbf{x}^\textsc{DET}$.
For the SA approach, we sample randomly and uniformly $s_1$ points from the uncertainty set, and for each point compute the corresponding optimal prices, which have a constant markup over products. For each pricing solution, we again sample randomly and uniformly $1000$ choice parameters from ${\mathcal{A}}$, and compute and pick a pricing solution with the largest worst-case expected revenue among the 1000 samples. We test this approach with $s_1 = 10$ and $s_1 = 50$ and denote the corresponding solutions as $\textbf{x}^{\textsc{SA10}}$, $\textbf{x}^{\textsc{SA50}}$, respectively. Larger $s_1$ can be chosen, but it would mean that the SA becomes way more expensive as compared to the RO and DET approaches. For example, if we choose $s_1 = 100$, the SA requires to solve 100 deterministic problems and compute $10^5$ expected revenues to obtain a pricing solution.
Comparison Results
We provide experimental results for the robust model under the nested logit model. The CPGF of the nested logit model is given as
$
G(\textbf{Y}) = \sum_{n\in [N]} \left(\sum_{i\in C_n} Y_i^{\mu_n} \right)^{\mu/\mu_n},
$
where $[N]$ is the set of nests and for each $n\in [N]$, $C_n$ is the corresponding subset of the items, $\mu$ and $\mu_n$, $n\in{\mathcal{N}}$ are the positive parameters of the nested logit model.
In this experiment, we separate the whole item set into 5 nests of the same size (10 items per each nest), i.e. $N = 5$ and $|
C_n| =10$ for all $n\in [N]$. To evaluate the performance of the three approaches when the choice parameters vary, given the uncertainty set defined above, we randomly and uniformly sample 1000 parameters $(\textbf{a}, \textbf{b})$ from the set ${\mathcal{A}}$, and compute the expected revenues given by $\textbf{x}^\textsc{RO}$, $\textbf{x}^\textsc{SA10}$, $\textbf{x}^\textsc{SA50}$, and $\textbf{x}^\textsc{DET}$. So, for each solution, we get a distribution of expected revenues over 1000 samples. We then draw the histograms of of the distributions to compare. We first provide experiments for the case of homogeneous PSP and then move to the case of partition-wise homogeneous PSP.
Homogeneous PSP.
The histograms of the distributions obtained in
Figure (ref) for $\epsilon \in \{0.02,0.04, 0.06\}$.
We see that the distributions given by the RO approach always have higher peaks, lower variances and shorter tails, as compared to the other approaches. The difference becomes clearer with larger $\epsilon$
This demonstrates the capability of the RO approach in giving
not-too-low revenues.
In addition, the sampling-based approach (SA10 and SA50) perform better then the DET in terms of protecting us against too low revenues. In this aspect, the SA50 also performs better than the SA10, especially when $\epsilon$ increases.
figure[figure omitted — 373 chars of source]
In Table (ref), we provide more details about the average and worst-case values of the distributions given by the three approach. In particular, we compute the “percentile ranks” of the RO worst-case revenues, which indicates the percentages that the expected revenues given by the baseline approaches (DET, SA10 and SA50) are lower than the corresponding worst-case expected revenues given by the RO. For example, for $\epsilon = 0.1$, there are $23\%$ of the revenues given by the DET (over 1000 sampled revenues) are less than the corresponding RO worst-case revenue. Over $\epsilon \in\{0.02,\ldots,0.4\}$, the average percentile ranks of the RO worst-case revenues are 26.7%, 9.5% and 5.3% for the DET, SA10 and SA50 approaches, respectively, which clearly indicates gains from the use of the RO approach. It can be seen that in terms of average revenue, the DET approach performs the best, followed by the the SA10, SA50 and RO approaches.
In general, the baseline approaches (DET, SA10, SA50) always give higher average revenues, but lower worst-case revenues, which clearly indicates that the RO approach does a better job
in protecting us from worst-case situations, but also show the trade-off of being robust. Moreover, the results in Table (ref) also tell us that if the firm cares more about the worst cases, a large $\epsilon$ can be chosen to have better protection against too low expected revenues. On the other hand, if average performance is of concern, then by choosing a small $\epsilon$, one can still get a protection from the robust solutions, but also get an average performance that is comparable to that of the solutions by the deterministic approach.
This observation is also consistent with those from other robust work in the revenue management literature Li2019robustCVaR,Rusmevichientong2012robust.
table[table omitted — 2,110 chars of source]
Partition-wise Homogeneous PSP.
We provide comparison results for the case of partition-wise homogeneous PSP considered in Section (ref).
We use the same nested logit model with partition-wise decomposable CPGF
specified above, i.e., $
G(\textbf{Y}) = \sum_{n\in [N]} \left(\sum_{i\in C_n} Y_i^{\mu_n} \right)^{\mu/\mu_n}
$, but the PSP are the same in each nest but different across nests.
In this context, we know that the robust problem can be converted equivalently into a convex optimization problem.
On the other hand, for the SA approach, if we select $s_1$ vectors of choice parameters from the uncertainty set, we need to solve $s_1$ convex optimization problems.
We select $N = 5$ partitions of the same size. For each uncertainty level $\epsilon>0$ and for each partition (or nest) $n\in [N]$, we define a polyhedron uncertainty set as in Section (ref) above.
Similarly to the previous section,
we first solve the deterministic problem by bisection with the weighted average parameters $\widetilde{\textbf{w}} = \sum_{k\in [K]} \tau_k \textbf{w}^k$ to obtain a solution $\textbf{x}^{\textsc{DET}}$.
Then, for each set ${\mathcal{A}}^\epsilon$ we solve the RO problem by convex optimization to obtain a robust solution $\textbf{x}^\textsc{RO}$.
We also sample $s_1=10$ and $s_1 = 50$ points from the uncertainty set for the SA approach.
To evaluate the performance of the solutions obtained, we also sample 1000 points randomly and uniformly from ${\mathcal{A}}^n$, $n\in[N],$ and compute the expected revenues given by $\textbf{x}^\textsc{RO}$, $\textbf{x}^\textsc{SA10}$, $\textbf{x}^\textsc{SA50}$, and $\textbf{x}^\textsc{DET}$. The distributions of the expected revenue over 1000 samples with $\epsilon \in\{0.02,0.04,0.06\}$ are plotted in Figure (ref). There is nothing surprising, as similarly to the previous experiments, distributions given by $\textbf{x}^\textsc{RO}$ have small variances, higher peaks, shorter tails and higher worst-case revenues, as compared to those from $\textbf{x}^\textsc{SA10}$, $\textbf{x}^\textsc{SA50}$ and $\textbf{x}^\textsc{DET}$. In Table (ref),we report in detail the average, maximum and worst-case revenues when $\epsilon$ increases from 0.02 to 0.4.
We also see that the RO approach always gives higher worst-case revenues but lower average revenues, and the SA approaches also provide some protections against low revenues.
However, in this case, the percentile ranks for the DET and SA approaches are significantly lower (3.45 on average). In particular, we see that there are some instances where the percentile ranks are only 3-th, which means that only 3% of the revenues are lower than the corresponding RO worst-case revenues. Nevertheless , the average revenues given by the SA50 are remarkably higher than those from the RO, especially when $\epsilon$ is large. From this view point, the RO seems too conservative.
figure[figure omitted — 211 chars of source]
table[table omitted — 2,488 chars of source]
In summary, our experiments show {gains}
from our robust models in protecting us from revenues that would be too low. The histograms given by the robust models have higher peaks, smaller variances, higher worst-case revenues, but lower averages, as compared to their deterministic and sampling-based counterparts. This observation also shows the trade-off in being robust in making pricing decisions when the choice parameters are uncertain, and also consistent with observations from other relevant studies in the revenue management literature Rusmevichientong2012robust,Li2019robustCVaR.
Conclusion
In this paper, we have considered robust versions of the pricing problem under GEV choice models, in which the choice parameters are not given in advance but lie in an uncertainty set. These robust models are motivated by the fact that uncertainties may occur in the estimation procedure of the choice parameters. We have shown that when the problem is unconstrained and the PSP are the same over all the products, the robust optimal prices have a constant markup with respect to the product costs and we have shown how to efficiently compute this constant markup by bisection. When the PSP are partition-wise homogeneous and the CPGF and the uncertainty set are also partition-wise separable, we have shown that the robust problem can be converted equivalently into a reduced optimization program, and the reduce problem can be solved conveniently by convex optimization.
We have also considered the pricing problem with over-expected-revenue-penalties as an alternative to the constrained pricing problem.
We have shown that under the same assumptions as in the case of partition-wise homogeneous PSP , the robust problem can be converted equivalently into a reduced one, which can be further solved by convex optimization. Experimental results based on the nested logit model have shown the {advantages}
of our robust model in providing protection against bad-case revenues.
In future research, it would be interesting to look at distributionally robust versions of the pricing problem, which may help provide less conservative robust solutions as compared to the standard robust optimization approaches. We are also interested in robust approaches for the joint assortment and pricing problem under GEV choice models.
\ACKNOWLEDGMENT{This research is supported by the National Research Foundation, Prime Minister’s Office, Singapore under its Campus for Research Excellence and Technological Enterprise
(CREATE) program, Singapore-MIT Alliance for Research and Technology (SMART) Future Urban
Mobility (FM) IRG.}
APPENDICES\section{Proofs}
This section provides some detailed proofs of the claims presented in the main part of the paper.
\subsection{Proof of Proposition (ref)}
First, we consider function $f^G(\textbf{s}): \mathbb{R}^m \rightarrow \mathbb{R}_+$
\[
f^G(\textbf{s}) = G(Y_1,\ldots,Y_m), \text{ where } Y_i = e^{s_i},\ \forall i\in{\mathcal{V}}
\]
We will prove that $f^G(\textbf{s})$ is convex. Taking the first and second derivatives of $f^G(\textbf{s})$ we obtain
\[
\frac{\partial f^G(\textbf{s})}{\partial s_i} = \partial G_i(\textbf{Y})Y_i,
\]
and
\[
\begin{aligned}
\frac{\partial^2 f^G(\textbf{s})}{\partial s_i\partial s_i} &= \partial G_{ii}(\textbf{Y})Y^2_i + \partial G_{i}(\textbf{Y})Y_i, \\
\frac{\partial^2 f^G(\textbf{s})}{\partial s_i\partial s_j} &= \partial G_{ij}(\textbf{Y})Y_iY_j. \\
\end{aligned}
\]
So we have
\[
\nabla^2 f^G(\textbf{s}) = \text{diag}(\textbf{Y})\nabla^2 G(\textbf{Y})\text{diag}(\textbf{Y}) + \text{diag} (\nabla G(\textbf{Y}) \circ \textbf{Y}),
\]
where $\text{diag}(\textbf{Y})$ is the square diagonal matrix with the elements of vector $\textbf{Y}$ on the main diagonal.
The second term $\text{diag} (\nabla G(\textbf{Y}) \circ \textbf{Y}) $ is always positive definite, \mtien{where $\circ$ is the element-by-element operator}. Moreover, $\text{diag}(\textbf{Y})\nabla^2 G(\textbf{Y})\text{diag}(\textbf{Y})$ is symmetric
and its $(i, j)$-th component is given by $Y_i\partial G_{ij}(\textbf{Y}) Y_j$. For $i\neq j$, we have $\partial G_{ij} (\textbf{Y}) \leq 0$ by the property of the GEV-CPGF $G$, so all off-diagonal entries of the matrix are non-positive. In addition, $\sum_{j\in{\mathcal{V}}} Y_j\partial G_{ij} (\textbf{Y}) = 0$, so that each
row of the matrix sums to zero. Thus, $\text{diag}(\textbf{Y})\nabla^2 G(\textbf{Y})\text{diag}(\textbf{Y})$ is positive semi-definite DeKlerk2006aspects.
So, $\nabla^2 f^G(\textbf{s})$ is positive definite, or equivalently, $f^G(\textbf{s})$ is strictly convex in $\textbf{s}$. This lead to the following inequality, for all $\textbf{s}^1,\textbf{s}^2\in\mathbb{R}^m$ and $\lambda \in (0,1)$
\[ \lambda f^G(\textbf{s}^1) + \lambda f^G(\textbf{s}^2) > f^G(\lambda \textbf{s}^1 + (1-\lambda )\textbf{s}^2).
\]
For all $(\textbf{a}^1,\textbf{b}^1), (\textbf{a}^2,\textbf{b}^2)\in {\mathcal{A}}$, replace $s^1_i$ by $a^1_i - b^1_i(z+c_i)$ and $s^2_i$ by $a^2_i - b^2_i(z+c_i)$ we have
\[
\lambda G(\textbf{Y}|z,\textbf{a}^1,\textbf{b}^1) + \lambda G(\textbf{Y}|z,\textbf{a}^2,\textbf{b}^2) > G(\textbf{Y}|z,\lambda\textbf{a}^1 + (1-\lambda) \textbf{a}^2,\lambda \textbf{b}^1+ (1-\lambda)\textbf{b}^2),\ \forall \lambda \in (0,1)
\]
which means that $G(\textbf{Y}|z,\textbf{a},\textbf{b})$ is strictly convex in $\textbf{a},\textbf{b}$.
The continuity of $(\textbf{a}^*(z),\textbf{b}^*(z)$ is a direct result from the convexity of $G(\textbf{Y}|z,\textbf{a},\textbf{b})$ and the Corollary 8.2 of Hogan1973.
This completes the proof.
\subsection{Proof of Lemma (ref)}
Consider $f^G(\textbf{s}) = G(Y_1,\ldots,Y_m)$, where $Y_i = e^{s_i},\ \forall i=1,\ldots,m$. Taking the derivative of $f^G(\textbf{s})$ w.r.t. $s_i$ we have
\[
\frac{\partial f^G(\textbf{s})}{\partial s_i} = \partial G_i(\textbf{Y})Y_i \geq 0
\]
So, $f^G(\textbf{s})$ is monotonic in every coordinate, meaning that given any $\textbf{s},\textbf{s}_0 \in \mathbb{R}^m$, $\textbf{s} \succeq s_0$, we have $f^G(\textbf{s}) \geq f^G(\textbf{s}_0)$. Moreover, it is clear that
\[
\underline{\textbf{a}} - \overline{\textbf{b}}\circ (\textbf{c}+z{\textbf{e}}) \preceq \textbf{a} - \textbf{b} \circ (\textbf{c}+z{\textbf{e}}) \preceq \overline{\textbf{a}} - \underline{\textbf{b}}\circ (\textbf{c}+z{\textbf{e}}), \ \forall z\in\mathbb{R}_+,(\textbf{a},\textbf{b}) \in {\mathcal{A}}.
\]
So, we obtain the following inequality
\[
G(\textbf{Y}|z,\underline{\textbf{a}},\overline{\textbf{b}}) \leq G(\textbf{Y}|z,\textbf{a},\textbf{b}) \leq G(\textbf{Y}|z,\overline{\textbf{a}},\underline{\textbf{b}}), \ \forall (\textbf{a},\textbf{b}) \in{\mathcal{A}},
\]
which completes the proof.
\subsection{Proof of Theorem (ref)}
The first lemma shows that $\underline{{\mathcal{G}}}^n$ is invertible.
\begin{lemma}
Given $n\in[N]$, for any $\alpha > 0$, there is a unique $z_n\in \mathbb{R}$ such that $\underline{{\mathcal{G}}}^n(z_n) = \alpha$.
\end{lemma}
\proof{Proof:}
From the properties of CPGF (Remark (ref)), we see that function $G^n(\textbf{Y}^n|z_n,\textbf{a}^n,\textbf{b}^n)$ is strictly monotonic-decreasing, so $\underline{{\mathcal{G}}}^n(z_n)$ is also strictly monotonic-decreasing. Moreover,
we have $\lim_{z_n \rightarrow +\infty }G^n(\textbf{Y}^n|z_n,\textbf{a}^n,\textbf{b}^n) = 0$ and $\lim_{z_n \rightarrow -\infty }G^n(\textbf{Y}^n|z_n,\textbf{a}^n,\textbf{b}^n) = \infty$. Thus, $G^n(\textbf{Y}^n|z_n,\textbf{a}^n,\textbf{b}^n)$ spans all over the set $\mathbb{R}_+$ when $z_n$ varies. On the other hand, ${\mathcal{A}}^n$ is bounded, we will also have $\lim_{z_n \rightarrow +\infty }\underline{{\mathcal{G}}}^n(z_n) = 0$ and $\lim_{z_n \rightarrow -\infty }\underline{{\mathcal{G}}}^n(z_n) = \infty$. Since $\underline{{\mathcal{G}}}^n(z_n) = 0$ is continuous and strictly monotonic-decreasing, we easily obtain the desired result.
\endproof
The above lemma allows us to define the inverse function of $\underline{{\mathcal{G}}}^n(\cdot)$ as $(\underline{{\mathcal{G}}}^n)^{-1}(\alpha):\mathbb{R}_+ \rightarrow \mathbb{R}$ such that $\underline{{\mathcal{G}}}^n((\underline{{\mathcal{G}}}^n)^{-1}(\alpha)) = \alpha$. As shown above, this function can be computed by bisection. Lemma (ref) below shows how to to identify $\textbf{z}(\textbf{p}^G)$.
\begin{lemma}
Given any $\textbf{p}^G\in {\mathcal{P}}^G$, $\textbf{z}(\textbf{p}^G)$ can be uniquely computed as
\[
\textbf{z}(\textbf{p}^G)_n = (\underline{{\mathcal{G}}}^n)^{-1}\left(\frac{p^G_n}{1-\sum_{l\in[N]} p^G_l}\right)
\]
\end{lemma}
\proof{Proof:}
From (ref) we see that
\[
\sum_{l\in [N]} p^G_l = \frac{\sum_{l\in[N]}\underline{{\mathcal{G}}}^l(z_l)}{1 + \sum_{l\in[N]} \underline{{\mathcal{G}}}^l(z_l)},
\]
So we have
\[
1 + \sum_{l\in[N]} \underline{{\mathcal{G}}}^l(z_l) = \frac{1}{1-\sum_{l\in[N]} p^G_l}.
\]
Thus, for any $n\in[N]$
\[
\underline{{\mathcal{G}}}^l(z_n) = \frac{p^G_n}{1 + \sum_{l\in[N]} \underline{{\mathcal{G}}}^l(z_l)} = \frac{p^G_n}{1-\sum_{l\in[N]} p^G_l},
\]
which directly leads to the desired result.
\endproof
We now move to the second claim of Theorem (ref), i.e., the convexity of ${\mathcal{W}}(\textbf{z}(\textbf{p}^G))$. To support the proof, let use consider a deterministic version of (ref) in which all the choice parameter are given
$
\widetilde{{\mathcal{W}}}(\widetilde{\textbf{z}}(\textbf{p}^G|\textbf{a},\textbf{b})) = \sum_{n\in[N]} \widetilde{\textbf{z}}(\textbf{p}^G|\textbf{a},\textbf{b})_n p^G_n,
$
where $\widetilde{\textbf{z}}(\textbf{p}^G|\textbf{a},\textbf{b}) \in \mathbb{R}^N$ are a vector of constant-markups that archive vector $\textbf{p}^G$ as
\begin{equation}
p^{G}_n = \frac{G^n(Y^n| \widetilde{z}_n,a^n,b^n)}{1 + \sum_{l\in[N]} G^l(Y^l| \widetilde{z}_l,a^l,b^l)},\;\forall n\in [N].
\end{equation}
\begin{lemma}
Given any $\textbf{p}^G \in {\mathcal{P}}^G$, $\widetilde{\textbf{z}}(\textbf{p}^G|\textbf{a},\textbf{b})$ can be uniquely determined by solving a strictly convex optimization problem. Moreover, $\widetilde{{\mathcal{W}}}(\widetilde{\textbf{z}}(\textbf{p}^G|\textbf{a},\textbf{b}))$ is strictly concave in $\textbf{p}^G$.
\end{lemma}
\proof{Proof:}
Let $\Theta(\textbf{z}):\mathbb{R}^N\rightarrow\mathbb{R}^N$ such that $\Theta(\textbf{z})_n = G^n(\textbf{Y}^n| z_n)\Big/\left(1+\sum_{j\in[N]} G^j(\textbf{Y}^j|z_j)\right)$, where $G^n(\textbf{Y}^n|z_n) = G^n(\textbf{Y}^n|z_n,{\textbf{a}},{\textbf{b}})$
but we omit the choice parameters $({\textbf{a}},{\textbf{b}})$ for notational simplicity.
We also denote by $\widetilde{\textbf{b}}$ a vector of size $N$ with entries $\widetilde{b}_n = \me{{\textbf{b}}^n}$.
Consider the problem
\begin{equation}
\min_{\textbf{z} \in \mathbb{R}^N}\left\{\ln\left(1+ \sum_{n\in[N]}G^n(\textbf{Y}^n|z_n) \right) + \sum_{n\in[N]} p^G_n \widetilde{b}_n z_n \right\}
\end{equation}
and we now show that (ref) is a strictly convex optimization problem and solving it will yield a solution $\textbf{z}^*$ such that $\Theta(\textbf{z}^*) = \textbf{p}^G$.
Note that
the structure of the problem presented in this lemma is slightly different with those considered in Theorem 4.1 in zhang2018multiproduct, so even though the proof of the lemma is quite similar, we provide its own proof for the sake of self-contained.
To prove that (ref) is a strictly convex optimization problem, we will show that $\nabla^2{\mathcal{Q}}(\textbf{z})$ is a positive definite matrix, where ${\mathcal{Q}}(\textbf{z}) = \ln\left(1+ \sum_{n\in[N]}G^n(\textbf{Y}^n|z_n) \right)$. To simplify the proof and make use of previous results, let us denote $\textbf{u}(\textbf{z}):\mathbb{R}^N \rightarrow \mathbb{R}^N$ such that $u(\textbf{z})_n = -\ln G^n(\textbf{Y}^n|z_n)/{\widetilde{b}_n}$.
with this definition we have
\[
\frac{\partial u(\textbf{z})_n}{ \partial z_n} = \frac{\sum_{i\in{\mathcal{V}}_n} \partial G^n_i(\textbf{Y}^n|z_n)Y_i\widetilde{b}_n}{ G^n(\textbf{Y}^n|z_n) \widetilde{b}_n} = 1.
\]
The objective function now can be written as
\[
{\mathcal{Q}}(\textbf{u}(\textbf{z})) = \ln\left(1+ \sum_{n\in[N]} \exp({-u(\textbf{z})_n}). \right)
\]
Taking the derivative of ${\mathcal{Q}}$ with respect to $z_n$ we obtain
\[
\begin{aligned}
\frac{\partial {\mathcal{Q}}(\textbf{u}(\textbf{z}))}{\partial z_n} &= \left.\frac{\partial {\mathcal{Q}}(\textbf{u})}{\partial u_n} \right\rvert_{{\textbf{u} = \textbf{u}(\textbf{z})}} \frac{\partial u(\textbf{z})_n}{\partial z_n} = \left.\frac{\partial {\mathcal{Q}}(\textbf{u})}{\partial u_n} \right\rvert_{{\textbf{u} = \textbf{u}(\textbf{z})}}.
\end{aligned}
\]
And if we take the second derivative with respective to $z_n,z_k$, $n,k\in[N]$ we get
\[
\frac{\partial^2 {\mathcal{Q}}(\textbf{u}(\textbf{z}))}{\partial z_n \partial z_k} = \left.\frac{\partial^2 {\mathcal{Q}}(\textbf{u})}{\partial u_n \partial u_k} \right\rvert_{{\textbf{u} = \textbf{u}(\textbf{z})}},
\]
or equivalently $\nabla^2{\mathcal{Q}}(\textbf{z}) = \nabla^2_\textbf{u} {\mathcal{Q}}(\textbf{u})$, where $\textbf{u} = \textbf{u}(\textbf{z})$.
Moreover, ${\mathcal{Q}}(\textbf{u})$ is just a special objective function under the MNL model with $N$ products and all the PSP are equal to 1. As a result, $\nabla^2_\textbf{u} {\mathcal{Q}}(\textbf{u})$ is positive definite zhang2018multiproduct, so $\nabla^2{\mathcal{Q}}(\textbf{z})$ is also positive definite, as desired.
Now we know that (ref) is strictly convex, so it yields a unique solution. Moreover, one can show that (ref) have finite optimal solutions. For any $n\in [N]$, taking the derivative of ${\mathcal{Q}}(\textbf{z})$ with respect to $z_n$ and set it to zero we obtain
\[
\frac{\sum_{n\in[N]} \sum_{i\in{\mathcal{V}}_n} -\partial G^n_i(\textbf{Y}^n|z_n) Y_i \widetilde{b}_n }{1+G(\textbf{Y})} = p_n^G\widetilde{b}_n,
\]
or equivalently, $\textbf{p}^G = \Theta(\textbf{z})$.
So, if $\textbf{z}(\textbf{p}^G)$ is the unique solution to (ref), we always have $\textbf{p}^G = \Theta(\textbf{z}(\textbf{p}^G))$ as desired.
Next, we will show that $\widetilde{{\mathcal{W}}}(\widetilde{\textbf{z}}(\textbf{p}^G|\textbf{a},\textbf{b}))$ is a strictly concave function of $\textbf{p}^G$.
We also omit the choice parameters for notational convenience and denote
$\widetilde{{\mathcal{W}}}(\widetilde{\textbf{z}}) = \sum_{n\in[N]} \widetilde{z}_n p^G_n$.
We first see that $\textbf{p}^G$ is also a choice probability vector given by a MNL model with $N$ products with the utility vector $-\textbf{u}(\widetilde{\textbf{z}}(\textbf{p}^G))\circ \widetilde{\textbf{b}}$. So, if we denote $\textbf{u}'(\textbf{p}^G)$ be a mapping from $\mathbb{R}^N$ to $\mathbb{R}^N$ such that $p^G_n = \exp(- \widetilde{b}_n u'(\textbf{p}^G)_n )\Big/ \left(\sum_{n\in[N]} \exp(-\widetilde{b}_n u'(\textbf{p}^G)_n)\right)$, then we have $\textbf{u}(\widetilde{\textbf{z}}(\textbf{p}^G)) = \textbf{u}'(\textbf{p}^G)$
\[
\begin{aligned}
\frac{\partial \widetilde{{\mathcal{W}}}(\widetilde{\textbf{z}}(\textbf{p}^G))}{\partial p_n^G} &= \widetilde{z}(\textbf{p}^G)_n + \sum_{j\in[n]}\frac{p^G_j\partial \widetilde{z}(\textbf{p}^G)_j}{\partial p_n^G} \\
&= \widetilde{z}(\textbf{p}^G)_n + \sum_{j\in[N]}p^G_j\frac{\partial \widetilde{z}(\textbf{p}^G)_j}{\partial u(\widetilde{\textbf{z}}(\textbf{p}^G))_j}\frac{\partial u(\widetilde{\textbf{z}}(\textbf{p}^G))_j}{\partial p_n^G}\\
& = \widetilde{z}(\textbf{p}^G)_n + \sum_{j\in[N]}{p^G_j}\frac{\partial u'(\textbf{p}^G)_j}{\partial p_n^G}
\end{aligned}
\]
and
\[
\begin{aligned}
\frac{\partial^2 \widetilde{{\mathcal{W}}}(\widetilde{\textbf{z}}(\textbf{p}^G))}{\partial p_n^G \partial p_k^G}
& = \frac{\partial \widetilde{z}(\textbf{p}^G)_n}{\partial p_k^G} + \sum_{j\in[N]}{p^G_j}\frac{\partial^2 u'(\textbf{p}^G)_j}{\partial p_n^G \partial p_k^G} \\
& = \frac{\partial \widetilde{z}(\textbf{p}^G)_n}{\partial u(\widetilde{\textbf{z}}(\textbf{p}^G))_n} \frac{\partial u(\widetilde{\textbf{z}}(\textbf{p}^G))_n}{\partial p_k^G} + \sum_{j\in[N]}{p^G_j}\frac{\partial^2 u'(\textbf{p}^G)_j}{\partial p_n^G \partial p_k^G} \\
&= \frac{\partial u'(\textbf{p}^G)_n}{\partial p_k^G} + \sum_{j\in[N]}{p^G_j}\frac{\partial^2 u'(\textbf{p}^G)_j}{\partial p_n^G \partial p_k^G}
\end{aligned}
\]
Moreover, if we denote $ \widetilde{{\mathcal{W}}}'(\textbf{p}^G) = \sum_{n\in [N]} u'(\textbf{p}^G)_np^G_n$, we also have
\[
\frac{\partial^2 \widetilde{{\mathcal{W}}}'(\textbf{p}^G)}{\partial p_n^G \partial p_k^G} = \frac{\partial u'(\textbf{p}^G)_n}{\partial p_k^G} + \sum_{j\in[N]}{p^G_j}\frac{\partial^2 u'(\textbf{p}^G)_j}{\partial p_n^G \partial p_k^G},\ \forall n,k\in[N].
\]
So, $\nabla^2 \widetilde{{\mathcal{W}}}(\widetilde{\textbf{z}}(\textbf{p}^G)) = \nabla^2 \widetilde{{\mathcal{W}}}'(\textbf{p}^G)$. We also see that $ \widetilde{{\mathcal{W}}}'(\textbf{p}^G)$ is the expected revenue function (as a function of the purchase probabilities $\textbf{p}^G$) where there are $N$ products, the choice model is MNL, the PSP are $\widetilde{\textbf{b}}$ and the utility vector is $-u'(\textbf{p}^G)\circ \widetilde{\textbf{b}}$ ($\circ$ is the \textit{dot product}). So we know that $\nabla^2 \widetilde{{\mathcal{W}}}'(\textbf{p}^G)$ is negative definite zhang2018multiproduct, so $\widetilde{{\mathcal{W}}}(\widetilde{\textbf{z}}(\textbf{p}^G))$ is strictly concave in $\textbf{p}^G$.
This completes the proof.
\endproof
We now make a connection between $\textbf{z}(\textbf{p}^G)$ defined in (ref) and (ref). This is crucial to show the concavity of ${{\mathcal{W}}}(\textbf{z}(\textbf{p}^G))$. We have the following lemma.
\begin{lemma}
Given any $\textbf{p}^G\in{\mathcal{P}}^G$, we have the following equalities
\begin{itemize}
• $\textbf{z}(\textbf{p}^G) = \widetilde{\textbf{z}}(\textbf{p}^G|\textbf{a}^*(\textbf{z}), \textbf{b}^*(\textbf{z}))$
• The first and second-order derivatives of $z(\textbf{p}^G)_n$, $n\in[N]$
\begin{align}
\frac{\partial z(\textbf{p}^G)_n }{\partial p^G_l} &= \left.\frac{\partial \widetilde{z}(\textbf{p}^G|\textbf{a},\textbf{b})_n}{\partial p^G_l} \right\rvert_{{\substack{\textbf{a} = \textbf{a}^*(\textbf{z})\\\textbf{b}= \textbf{b}^*(\textbf{z})}}} \qquad \forall n\in[N] \nonumber \\
\frac{\partial^2 z(\textbf{p}^G)_n }{\partial p^G_l\partial p^G_k} &= \left.\frac{\partial^2 \widetilde{z}(\textbf{p}^G|\textbf{a},\textbf{b})_n}{\partial p^G_l\partial p^G_k} \right\rvert_{{\substack{\textbf{a} = \textbf{a}^*(\textbf{z})\\\textbf{b}= \textbf{b}^*(\textbf{z})}}} \qquad \forall l,k\in[N]\nonumber
\end{align}
where $(\textbf{a}^*(\textbf{z}), \textbf{b}^*(\textbf{z})) = \{(\textbf{a}^{n*}(\textbf{z}), \textbf{b}^{n*}(\textbf{z}))|\; n\in [N]\}$ and $(\textbf{a}^{n*}(z_n), \textbf{b}^{n*}(z_n))=$ $ \text{argmin}_{(\textbf{a}^{n}, \textbf{b}^{n}) \in{\mathcal{A}}^n} G^n(\textbf{Y}^n| z_n,\textbf{a}^n,\textbf{b}^n)$.
\end{itemize}
\end{lemma}
\proof{Proof:}
First, we see that since the uncertainty set ${\mathcal{A}}^n$ does not depend on $z_n$, the derivatives of $\underline{{\mathcal{G}}}^n(z_n)$ can be computed as
\begin{align}
\frac{\partial \underline{{\mathcal{G}}}^n(z_n)}{\partial z_n} = \left.\frac{\partial G^n(\textbf{Y}^n|z_n,\textbf{a}^n,\textbf{b}^n)}{\partial z_n} \right\rvert_{{\textbf{a}^{n} = \textbf{a}^{n*}(z_n);\: \textbf{b}^{n} = \textbf{b}^{n*}(z_n)}} \\
\frac{\partial^2 \underline{{\mathcal{G}}}^n(z_n)}{\partial^2 z_n} = \left.\frac{\partial^2 G^n(\textbf{Y}^n|z_n,\textbf{a}^n,\textbf{b}^n)}{\partial^2 z_n} \right\rvert_{{\textbf{a}^{n} = \textbf{a}^{n*}(z_n);\: \textbf{b}^{n} = \textbf{b}^{n*}(z_n),}}. \nonumber
\end{align}
For (i), we know that $\textbf{z}(\textbf{p}^G)$ is a unique solution to the following system
\begin{equation}
\underline{{\mathcal{G}}}^n(z_n) = \frac{p^G_n}{1-\sum_{l\in[N]} p^G_l}, \; \forall n\in[N],
\end{equation}
and $ \widetilde{\textbf{z}}(\textbf{p}^G|\textbf{a}^*(\textbf{z}), \textbf{b}^*(\textbf{z}))$ is a unique solution to
\begin{equation}
G^n(\textbf{Y}^n| \widetilde{z}_n, \textbf{a}^*(\textbf{z}), \textbf{b}^*(\textbf{z})) = \frac{p^G_n}{1-\sum_{l\in[N]} p^G_l}, \; \forall n\in[N],
\end{equation}
and note that $G^n(\textbf{Y}^n| {z}_n, \textbf{a}^*(\textbf{z}), \textbf{b}^*(\textbf{z})) = \underline{{\mathcal{G}}}^n(z_n)$. This leads to the desired equality.
For (ii), we take the derivative of (ref) with respect to $p^G_j$, $j\in[N]$, and obtain
\begin{align}
\frac{\partial h^n(\textbf{p}^G)}{\partial p^G_l} &= \frac{\partial \underline{{\mathcal{G}}}^n(z(\textbf{p}^G)_n)}{\partial p^G_l} = \frac{\partial \underline{{\mathcal{G}}}^n(z(\textbf{p}^G)_n)}{\partial z(\textbf{p}^G)_n} \frac{\partial z(\textbf{p}^G)_n}{\partial p^G_l}\nonumber\\
&= \left.\frac{G^n(\textbf{Y}^n| {z}(\textbf{p}^G)_n, \textbf{a}, \textbf{b})}{\partial {z}(\textbf{p}^G)_n} \right\rvert_{{\substack{\textbf{a} = \textbf{a}^*(\textbf{z})\\\textbf{b}= \textbf{b}^*(\textbf{z})}}}\frac{\partial z(\textbf{p}^G)_n}{\partial p^G_l}
\end{align}
where $h^n(\textbf{p}^G) =({p^G_n})/({1-\sum_{l\in[N]} p^G_l})$. We also take the first derivatives of (ref) and obtain
\begin{equation}
\frac{\partial h^n(\textbf{p}^G)}{\partial p^G_l} = \frac{G^n(\textbf{Y}^n| \widetilde{z}(\textbf{p}^G)_n, \textbf{a}^*(\textbf{z}), \textbf{b}^*(\textbf{z}))}{\partial \widetilde{z}(\textbf{p}^G)_n}\frac{\partial \widetilde{z}(\textbf{p}^G)_n}{\partial p^G_l}.
\end{equation}
Now we just combine (ref) and (ref) and the result that $\textbf{z}(\textbf{p}^G) = \widetilde{\textbf{z}}(\textbf{p}^G)$ to have the first equation of (ii). The second equation of (ii) can be verified similarly, as we just need to take the second-order derivatives of (ref) and (ref) and use the results from (i) and (ref) to obtain the desired equality.
\endproof
We are now to provide a complete proof for Theorem (ref).
\proof{Proof of Theorem (ref):}
The first claim is already validated in Lemma (ref). To prove that ${\mathcal{W}}(\textbf{z}(\textbf{p}^G))$ is strictly concave, we will show that its second derivative ${\mathcal{W}}(\textbf{z}(\textbf{p}^G))$ is negative definite. This can be easily seem as
\begin{align}
\frac{\partial {\mathcal{W}}(\textbf{z}(\textbf{p}^G))}{\partial p^G_n} &= z(\textbf{p}^G)_n +\sum_{l\in[N]} p^G_l \frac{\partial z(\textbf{p}^G)_l }{\partial p^G_n} \nonumber \\
\frac{\partial^2 {\mathcal{W}}(\textbf{z}(\textbf{p}^G))}{\partial p^G_n\partial p^G_k} &=\frac{\partial z(\textbf{p}^G)_n}{\partial p^G_k} + \frac{\partial z(\textbf{p}^G)_k }{\partial p^G_n} +
\sum_{l\in[N]} p^G_l \frac{\partial^2 z(\textbf{p}^G)_l }{\partial p^G_n\partial p^G_k} \nonumber
\end{align}
Then using Lemma (ref) we have
\begin{equation}
\frac{\partial^2 {\mathcal{W}}(\textbf{z}(\textbf{p}^G))}{\partial p^G_n\partial p^G_k} = \left.\left(\frac{\partial \widetilde{z}(\textbf{p}^G|\textbf{a},\textbf{b})_n}{\partial p^G_k} + \frac{\partial \widetilde{z}(\textbf{p}^G|\textbf{a},\textbf{b})_k }{\partial p^G_n} +
\sum_{l\in[N]} p^G_l \frac{\partial^2 \widetilde{z}(\textbf{p}^G|\textbf{a},\textbf{b})_l }{\partial p^G_n\partial p^G_k}\right) \right\rvert_{{\substack{\textbf{a} = \textbf{a}^*(\textbf{z})\\\textbf{b}= \textbf{b}^*(\textbf{z})}}}
\end{equation}
It not difficult to see that the left hand side of (ref) is equal to $\partial^2 \widetilde{{\mathcal{W}}}(\widetilde{\textbf{z}}(\textbf{p}^G|\textbf{a}^*(\textbf{z}),\textbf{b}^*(\textbf{z})) )/ (\partial p^G_n\partial p^G_k)$, leading to
\[
\nabla^2 {\mathcal{W}}(\textbf{z}(\textbf{p}^G)) = \nabla^2 \widetilde{{\mathcal{W}}}(\widetilde{\textbf{z}}(\textbf{p}^G|\textbf{a}^*(\textbf{z}),\textbf{b}^*(\textbf{z})) ).
\]
Since $\nabla^2 \widetilde{{\mathcal{W}}}(\widetilde{\textbf{z}}(\textbf{p}^G|\textbf{a}^*(\textbf{z}),\textbf{b}^*(\textbf{z})) )$ is always negative definite (Lemma (ref)), so is $\nabla^2 {\mathcal{W}}(\textbf{z}(\textbf{p}^G))$. This completes the proof.
\endproof
\subsection{Proof of Theorem (ref)}
We will make use of Lemmas (ref)-(ref) below to prove the claim. Lemma (ref) shows that under any prices $\textbf{z}\in\mathbb{R}^N$, the adversary will force $G^n(\textbf{Y}^n|z,\textbf{a}^n,\textbf{b}^n)$ to either its maximum or minimum value, for any $\n\in[N]$, with a note that both cases can occur. We further, in Lemmas (ref) and (ref), show that, under an optimal price solution, the adversary will always force $G^n(\textbf{Y}^n|z_n,\textbf{a}^n,\textbf{b}^n)$ to their minimums. This is an essential claim to show the equivalence between the robust problem and the reduced one.
First, let
\[
\overline{{\mathcal{G}}}^n(z_n) = \max_{(\textbf{a}^n,\textbf{b}^n) \in{\mathcal{A}}^n}\; \Big\{ G^n(\textbf{Y}^n| z_n,\textbf{a}^n,\textbf{b}^n)\Big\}.
\]
\begin{lemma}
Give a markup vector $\textbf{z}\in\mathbb{R}^N$, let $(\textbf{a}^*,\textbf{b}^*) = \{(\textbf{a}^{n*}, \textbf{b}^{n*}),\ n\in[N]\} $ be a solution to the adversary's problem of (ref), then for any $n\in [N]$, we have
\[
G^n(\textbf{Y}^n|z,\textbf{a}^{n*},\textbf{b}^{n*}) =
\begin{cases}
\underline{{\mathcal{G}}}^n(z_n) &\text{ if }\rho(\textbf{z},\textbf{a}^*, \textbf{b}^*)< z_n \\
\overline{{\mathcal{G}}}^n(z_n) &\text{ if }\rho(\textbf{z},\textbf{a}^*, \textbf{b}^*)> z_n \\
\end{cases}\qquad \forall n \in [N].
\]
Moreover, if there are a set of indexes ${\mathcal{N}}\subset [N]$ such that $\rho(\textbf{z},\textbf{a}^*, \textbf{b}^*) = z_n$, $\forall n\in{\mathcal{N}}$, then all the solutions in the following set are optimal to the adversary's problem
\[
S^* = \{(\textbf{a},\textbf{b})\in {\mathcal{A}}|\ G^n(\textbf{Y}^n|z,\textbf{a}^l,\textbf{b}^{l}) = G^n(\textbf{Y}^n|z,\textbf{a}^{l*},\textbf{b}^{l*}),\forall l\in[N], n\notin{\mathcal{N}}\}.
\]
\end{lemma}
\proof{Proof:}
Given $n\in[N]$, let us denote
\begin{align}
A &= \sum_{l\in[N],l\neq n} {z}_l G^l(\textbf{Y}^l|{z}_l,{\textbf{a}^{l*}},{\textbf{b}^{l*}})\nonumber \\
B &= 1+ \sum_{l\in[N],l\neq n} G^l(\textbf{Y}^l|{z}_l,{\textbf{a}^{l*}},{\textbf{b}^{l*}}).\nonumber
\end{align}
We can write
\[
\rho(\textbf{z},\textbf{a}^*, \textbf{b}^*) = \frac{A + {z}_n G^n(\textbf{Y}^n|{z}_n,{\textbf{a}^{n*}},{\textbf{b}^{n*}}) }{B+ G^n(\textbf{Y}^n|{z}_n,{\textbf{a}^{n*}},{\textbf{b}^{n*}})}
\]
We prove the lemma by considering the following three cases:
\begin{itemize}
• If $\rho(\textbf{z},\textbf{a}^*, \textbf{b}^*)< z_n$, then for any $\gamma < G^n(\textbf{Y}^n|{z}_n,{\textbf{a}^{n*}},{\textbf{b}^{n*}})$
one can easily show the following inequality
\[
\rho(\textbf{z},\textbf{a}^*, \textbf{b}^*) = \frac{A + {z}_n G^n(\textbf{Y}^n|{z}_n,{\textbf{a}^{n*}},{\textbf{b}^{n*}}) }{B+ G^n(\textbf{Y}^n|{z}_n,{\textbf{a}^{n*}},{\textbf{b}^{n*}})} > \frac{A + {z}_n \gamma }{B+ \gamma}
\]
Since $(\textbf{a}^*, \textbf{b}^*)$ is a solution to the adversary problem (ref), $G^n(\textbf{Y}^n|{z}_n,{\textbf{a}^{n*}},{\textbf{b}^{n*}})$ must be equal to its minimum, i.e., $G^n(\textbf{Y}^n|{z}_n,{\textbf{a}^{n*}},{\textbf{b}^{n*}}) = \underline{{\mathcal{G}}}^n(z_n)$.
• If $\rho(\textbf{z},\textbf{a}^*, \textbf{b}^*)> z_n$, then similarly to the previous case, we can show that, for any $\gamma > G^n(\textbf{Y}^n|{z}_n,{\textbf{a}^{n*}},{\textbf{b}^{n*}})$
one can easily show the following inequality
\[
\rho(\textbf{z},\textbf{a}^*, \textbf{b}^*) > \frac{A + {z}_n \gamma }{B+ \gamma}.
\]
Thus,$G^n(\textbf{Y}^n|{z}_n,{\textbf{a}^{n*}},{\textbf{b}^{n*}})$ must be equal to its maximum, i.e., $G^n(\textbf{Y}^n|{z}_n,{\textbf{a}^{n*}},{\textbf{b}^{n*}}) = \overline{{\mathcal{G}}}^n(z_n)$.
• If $\rho(\textbf{z},\textbf{a}^*, \textbf{b}^*) = z_n$, then for any $\gamma\in \mathbb{R}$ we have
\[
\rho(\textbf{z},\textbf{a}^*, \textbf{b}^*) = \frac{A + {z}_n \gamma }{B+ \gamma},
\]
meaning that any solution $(\textbf{a}^n, \textbf{b}^n)\in {\mathcal{A}}^n$ would be chosen minimize the adversary's objective function.
\end{itemize}
Combining the above three cases, we obtain the desired result.
\endproof
Here we remark that the behavior of the adversary showed in Lemma (ref) depends on the values of $\textbf{z}$ and both cases can occur (Remark (ref)).
\begin{remark}
\textit{
Given a constant-markup vector $\textbf{z}\in\mathbb{R}^N$, let $n_1 = \argmax_{n\in[N]} \{z_n\}$,
the adversary would need to force $G^{n_1}(\textbf{Y}^{n_1}|z_{n_1},\textbf{a}^{{n_1}},\textbf{b}^{n_1})$ to its minimum over ${\mathcal{A}}^{n_1}$. Moreover, if there is $n_2 \in[N]$ such that the markup $z_{n_2} = 0$ and $z_n>0$ for all $n\neq n_2$, then the adversary would need to force $G^{n_2}(\textbf{Y}^{n_2}|z_{n_2},\textbf{a}^{n_2},\textbf{b}^{n_2})$ to its maximum over ${\mathcal{A}}^{n_2}$. So, in general, the adversary would force $G^{n}(\textbf{Y}^{n}|z_{n},\textbf{a}^{{n}},\textbf{b}^n)$ to either its minimum or its maximum value, and both cases can occur. }
\end{remark}
The remark is easy to verify, as we see that if $n_1 = \argmax_{n\in[N]} \{z_n\}$, then
\[
\rho(\textbf{z},\textbf{a}^*, \textbf{b}^*) \leq z_{n_1} \frac{\sum_{n\in[N]} G^n(\textbf{Y}^n| z_n,\textbf{a}^{n*},\textbf{b}^{n*})}{1 + \sum_{n\in[N]} G^n(\textbf{Y}^n|z_n,\textbf{a}^{n*},\textbf{b}^{n*})} <z_{n_1}
\]
Thus, according to Lemma (ref), the adversary would need to force $G^{n_1}(\textbf{Y}^{n_1}|z_{n_1},\textbf{a}^{{n_1}},\textbf{b}^{n_1})$ to its minimum over ${\mathcal{A}}^{n_1}$. On other hand, if $z_{n_2} = 0$ and $z_n>0$ for all $n\neq n_2$, then $z_{n_2}< \rho(\textbf{z},\textbf{a}^*, \textbf{b}^*)$, meaning that adversary would need to force $G^{n_2}(\textbf{Y}^{n_2}|z_{n_2},\textbf{a}^{n_2},\textbf{b}^{n_2})$ to its maximum over ${\mathcal{A}}^{n_2}$.
We now further characterize the adversary problem under an optimal prices $\textbf{z}^*$ by showing that $\rho(\textbf{z}^*,{\textbf{a}}^*,{\textbf{b}}^*) \leq z^*_n$ for all $n\in[N]$, meaning that the adversary always force $G^{n}(\textbf{Y}^{n}|z^*_{n},\textbf{a}^{{n}},\textbf{b}^{n})$ to its minimum.
Before doing this, let us define a function $\psi(\textbf{z}|\textbf{u}): \mathbb{R}^N\rightarrow \mathbb{R}$ parameterized by a binary vector $\textbf{u} \in\{0,1\}^N$, in such a way that $\psi(\textbf{z}|\textbf{u})$ has the following form
\begin{equation}
\psi(\textbf{z}|\textbf{u}) =\frac{\sum_{n\in[N]} z_n \theta^n(z_n)}{1+\sum_{n\in[N]} \theta^n(z_n)},
\end{equation}
where $\theta^n(z_n) = \underline{{\mathcal{G}}}^n(z_n)$ if $u_n=0$ or $\theta^n(z_n) = \overline{{\mathcal{G}}}^n(z_n)$ if $u_n=1$. A binary vector $\textbf{u}$ can be referred to as a configuration of the adversary's objective function and Lemma (ref) tells us that, for any $\textbf{z}\in \mathbb{R}^N$, there is $\textbf{u}\in\{0,1\}^N$ such that the adversary's objective function can be written as $\min_{(\textbf{a},\textbf{b})\in{\mathcal{A}}} \rho(\textbf{z},\textbf{a}, \textbf{b}) = \psi(\textbf{z}|\textbf{u})$.
We also denote ${\textbf{e}}^k$ as a vector of size $N$ with zero elements except the $k$-element that is equal to 1, for any $k\in [N]$.
We need Lemma (ref) below to support the main claim.
\begin{lemma}
Given $\textbf{z}\in \mathbb{R}^N$ and $\textbf{u}\in\{0,1\}^N$, if there is $k\in [N]$ such that $\psi(\textbf{z}|\textbf{u}) \geq z_k$, then given any $\epsilon>0$ we have $\psi(\textbf{z}|\textbf{u}) < \psi(\textbf{z} + \epsilon {\textbf{e}}^k|\textbf{u})$.
\end{lemma}
\proof{Proof:}
For notational brevity, let $A = \sum_{n\in[N], n\neq k} z_n \theta^n(z_n)$ and $B = 1+\sum_{n\in[N], n\neq k} \theta^n(z_n)$. We write
\begin{align}
\psi(\textbf{z}|\textbf{u}) &= \frac{A+ z_k \theta^k(z_k)}{B+ \theta^k(z_k)} \nonumber \\
\psi(\textbf{z} + \epsilon {\textbf{e}}^k|\textbf{u}) &= \frac{A+ (z_k+ \epsilon) \theta^k(z_k+\epsilon)}{B+ \theta^k(z_k+\epsilon)} \nonumber
\end{align}
Thus we have
\begin{align}
\psi(\textbf{z} + \epsilon {\textbf{e}}^k|\textbf{u}) - \psi(\textbf{z}|\textbf{u})&= \frac{A\theta^k(z_k) + B(z_k+\epsilon)\theta^k(z_k+\epsilon) +\epsilon \theta^k(z_k)\theta^k(z_k+\epsilon) - A\theta^k(z_k+\epsilon) - B z_k \theta^k(z_k)}{(B+ \theta^k(z_k))(B+ \theta^k(z_k+\epsilon)) }\nonumber\\
&= \frac{(A-Bz_k) (\theta^k(z_k)- \theta^k(z_k+\epsilon)) + B\epsilon\theta^k(z_k+\epsilon) +\epsilon \theta^k(z_k)\theta^k(z_k+\epsilon) }{(B+ \theta^k(z_k))(B+ \theta^k(z_k+\epsilon)) }\nonumber\\
&> \frac{(A-Bz_k) (\theta^k(z_k)- \theta^k(z_k+\epsilon)) }{(B+ \theta^k(z_k))(B+ \theta^k(z_k+\epsilon)) }.
\end{align}
Moreover, from the assumption $\psi(\textbf{z}|\textbf{u}) \geq z_k$, we can easily see that $A\geq Bz_k$. On the other hand, we know that $\underline{{\mathcal{G}}}^k(z_k)$ and $\overline{{\mathcal{G}}}^k(z_k)$ are monotonic decreasing in $z_k$, so $\theta^k(z_k)$ is also monotonic-decreasing in $z_k$. Thus $(A-Bz_k) (\theta^k(z_k)- \theta^k(z_k+\epsilon)) \geq 0$. Combine this with (ref) we have $\psi(\textbf{z} + \epsilon {\textbf{e}}^k|\textbf{u}) > \psi(\textbf{z}|\textbf{u})$ as desired.
\endproof
We are now to show that under an optimal price vector $\textbf{z}^*$, the adversary needs to force each component $G^n(\cdot)$ to its minimum. The proof idea is to show that if it is not the case, then we can always find another price solution $\textbf{z}'$ that yields a better worst-case profit.
\begin{lemma}
Under robust optimal prices $\textbf{z}^*\in\mathbb{R}^{N}$, let $(\textbf{a}^*,\textbf{b}^*) = \{(\textbf{a}^{n*}, \textbf{b}^{n*}),\ n\in[N]\} $ be a solution to the adversary's problem of (ref), then for any $n\in [N]$, we have
\[
G^n(\textbf{Y}^n|z^*_n,\textbf{a}^{n*},\textbf{b}^{n*}) =
\underline{{\mathcal{G}}}^n(z_n). \]
\end{lemma}
\proof{Proof:}
Let $f(\textbf{z}) = \text{argmin}_{(\textbf{a},\textbf{b}) \in {\mathcal{A}}}\ \rho(\textbf{z},\textbf{a},\textbf{b})$
and ${\mathcal{U}}^*$ be the set of parameter $\textbf{u}$ such that
$f(\textbf{z}^*) = \psi(\textbf{z}|\textbf{u})$.
To prove the equality, we just need to show that $f(\textbf{z}^*)< z^*_n$ for all $n \in[N]$. By contradiction, assume that there exists $n \in [N]$ such that
$\rho(\textbf{x}^{*},\textbf{a}^*,\textbf{b}^*) \geq z^*_n$. Let
\[
\begin{aligned}
k &= \text{argmax}\{z^*_n|\ n\in [N], f(\textbf{z}^*) > z^*_n \}\\
h &=\text{argmin}\{z^*_n|\ n\in [N], f(\textbf{z}^*)< z^*_n \}.
\end{aligned}
\]
Indeed, $h$ always exists because $\rho(\textbf{z}^{*},\textbf{a}^*,\textbf{b}^*)<\max_{n\in[N]}z^*_n$.
We consider two following cases
\begin{itemize}
• If such $k$ exists. We have $
z^*_h >\rho(\textbf{z}^{*},\textbf{a}^*,\textbf{b}^*) > z^*_k
$ and for any $l\neq h$ and $l\neq k$ we have either $\rho(\textbf{z}^{*},\textbf{a}^*,\textbf{b}^*) = z^*_l$ or $z^*_k\geq z^*_l $ or $z^*_h\leq z^*_l$. Moreover, the function $f(\textbf{z})$ is continuous in $\textbf{x}$ Hogan1973. So, there is $\delta>0$ such that
\[
z^*_h > f(\textbf{z}^{*}+ t{\textbf{e}}^k)> z^*_k + t,\ \forall t\in [0,\delta],
\]
As a result, for any $l\in[N]$ such that $z^*_l \geq z^*_h$ we have $z^*_l > f(\textbf{z}^{*}+ t{\textbf{e}}^k)$ and if $z^*_l \leq z^*_k$ we have $z^*_l < f(\textbf{z}^{*}+ t{\textbf{e}}^k)$. From Lemma (ref), this means that there is a parameter $\Bar{\textbf{u}} \in\textbf{U}^*$ and $t\in(0,\delta)$ such that
\begin{align}
f(\textbf{z}^*+ t{\textbf{e}}^k) &= \psi(\textbf{z}^*+ t{\textbf{e}}^k|\Bar{\textbf{u}})\nonumber\\
f(\textbf{z}^*) &= \psi(\textbf{z}^*|\Bar{\textbf{u}})\nonumber
\end{align}
Moreover, from Lemma (ref), we see that $\psi(\textbf{z}^*+ t{\textbf{e}}^k|\Bar{\textbf{u}})> \psi(\textbf{z}^*|\Bar{\textbf{u}})$, or equivalently, $f(\textbf{z}^*+ t{\textbf{e}}^k)>f(\textbf{z}^*)$,
which is contradictory to the assumption that $\textbf{z}^*$ is a robust solution to (ref).
• If such $k$ does not exist, then $f(\textbf{z}^*) = z^*_n$ and for any $l\in[N]$, either $f(\textbf{z}^*)<z^*_h\leq z^*_l$ or $f(z^*) = z^*_l$. Similar to the previous case, we also have the result that there exists $\delta>0$ such that $z^*_l >f(\textbf{z}^*+t{\textbf{e}}^n)$ for any $l\in[N]$ and $l\neq n$ and for all $t\in(0,\delta)$, which also leads to the result that there is $\Bar{\textbf{u}}\in\textbf{U}^*$ such that $f(\textbf{z}^*+t{\textbf{e}}^n) = \psi(\textbf{z}^*+t{\textbf{e}}^n|\Bar{\textbf{u}})$. Using Lemma (ref) and the fact that $f(\textbf{z}^*) = z^*_n$, we have $\psi(\textbf{z}^*+t{\textbf{e}}^n|\Bar{\textbf{u}}) > \psi(\textbf{z}^*|\Bar{\textbf{u}})$ for a $t\in (0,\delta)$. Thus, $f(\textbf{z}^*+t{\textbf{e}}^n)>f(\textbf{z}^*)$, which is also contradictory to the assumption that $\textbf{z}^*$ is a robust solution to (ref).
\end{itemize}
So, in closing, we can claim that
$f(\textbf{z}^*) < z^*_n$, for all $n\in[N]$. Thus, from Lemma (ref) we obtain the desired result.
\endproof
Now we know that under the optimal prices, the adversary will force each function $G^n(\textbf{Y}^n|z^*_n,\textbf{a}^{n},\textbf{b}^{n})$ to its minimum over ${\mathcal{A}}^n$, suggesting that we may be able to convert the robust problem into the maximization problem in (ref). With all the lemmas above, we are ready to prove Theorem (ref).
\proof{Proof of Theorem (ref):}
We need to prove that if $\textbf{z}^*$ is a robust optimal solution to (ref), then it is also optimal to (ref), and vice-versa.
By contradiction, assume that $\textbf{z}^*$ is optimal to (ref) but $\textbf{z}^* \notin \text{argmax}_{\textbf{z} \in \mathbb{R}^{N}} {\mathcal{W}}(\textbf{z})$. Since the problem $\max_{\textbf{z} \in \mathbb{R}^{N}} {\mathcal{W}}(\textbf{z})$ has a unique local optimum (Proposition (ref)), $\nabla_\textbf{z} {\mathcal{W}}(\textbf{z}) \neq 0$. Thus, there always exits a vector $\pmb{\epsilon}\in\mathbb{R}^N\neq 0$ and a constant $\delta >0$ such that
\begin{equation}
{\mathcal{W}}(\textbf{z}^*) < {\mathcal{W}}(\textbf{z}^*+ t\pmb{\epsilon}) ,\forall t\in(0,\delta).
\end{equation}
Moreover, according to Lemma (ref), we know that ${\mathcal{W}}(\textbf{z}^*) <z_n^*$ for all $n\in [N]$. Since ${\mathcal{W}}(\textbf{z})$ and $f(\textbf{z})$ are continuous in $\textbf{z}$ (recall that $f(\textbf{z}) = \min_{\textbf{a},\textbf{b}} \rho(\textbf{z},\textbf{a},\textbf{b})$) and $f(\textbf{z}^*) = {\mathcal{W}}(\textbf{z}^*)$, we can always choose $\delta_1 \in (0,\delta)$ such that
\begin{equation}
f(\textbf{z}^* + t\pmb{\epsilon}) < z^*_n < z^*_n + t\epsilon_1,\;\forall n\in[N], t\in(0,\delta_1).
\end{equation}
Thus, using Lemma (ref), we see that the adversary under prices $\textbf{z}^* + t_1\pmb{\epsilon}$ will also force $G^n(\textbf{Y}^n|\textbf{z}^* + t_1\pmb{\epsilon},\textbf{a},\textbf{b})$ to be equal to their minimum values. Hence, we have
\[
f(\textbf{z}^* + t\pmb{\epsilon}) = {\mathcal{W}}(\textbf{z}^* + t\pmb{\epsilon}) \stackrel{(i)}{>} {\mathcal{W}}(\textbf{z}^*) = f(z^*),
\]
where (i) is due to (ref). This is contradictory against the assumption that $\textbf{z}^*$ is optimal to (ref). So, $\textbf{z}^*$ needs to be optimal to (ref) as well. For the opposite side, Proposition (ref) already tells us that (ref) always yields a unique optimal solution $\textbf{z}^*$. Thus, this solution is also optimal to (ref).
\endproof
\subsection{Proof of Proposition (ref)}
We first prove the equality (ref). Taking the first-order derivatives of the objective function ${\mathcal{W}}(\textbf{z})$, we have
\begin{align}
\frac{\partial {\mathcal{W}}(\textbf{z})}{\partial z_n} &= \frac{(1+\sum_{l\in[N]}\underline{{\mathcal{G}}}^l(z_l) ) ( \underline{{\mathcal{G}}}^n(z_n) + z_n \partial \underline{{\mathcal{G}}}^n(z_n)/\partial z_n ) + (\sum_{l\in[N]} z_l\underline{{\mathcal{G}}}^l(z_l)) (\partial \underline{{\mathcal{G}}}^n(z_n)/\partial z_n) }{(1+\sum_{l\in[N]}\underline{{\mathcal{G}}}^l(z_l) )^2}
\nonumber \\
&=\left.\frac{(1+\sum_{l\in[N]}{G}^l(\textbf{Y}^l|z_l,\textbf{a},\textbf{b}) ) ( {G}^n(\textbf{Y}^n|z_n,\textbf{a},\textbf{b}) + z_n \partial {G}^n(\textbf{Y}^n|z_n,\textbf{a},\textbf{b})/\partial z_n ) }{(1+\sum_{l\in[N]}{G}^l(\textbf{Y}^l|z_l,\textbf{a},\textbf{b}) )^2} \right\rvert_{{\substack{\textbf{a} = \textbf{a}^*(\textbf{z})\\\textbf{b}= \textbf{b}^*(\textbf{z})}}}\nonumber \\
&\qquad +\left.\frac{(\sum_{l\in[N]}z_l{G}^l(\textbf{Y}^l|z_l,\textbf{a},\textbf{b}) ) ( \partial {G}^n(\textbf{Y}^n|z_n,\textbf{a},\textbf{b})/\partial z_n ) }{(1+\sum_{l\in[N]}{G}^l(\textbf{Y}^l|z_l,\textbf{a},\textbf{b}) )^2} \right\rvert_{{\substack{\textbf{a} = \textbf{a}^*(\textbf{z})\\\textbf{b}= \textbf{b}^*(\textbf{z})}}}\nonumber \\
&= \left. \frac{\partial \widetilde{{\mathcal{W}}}(\widetilde{\textbf{z}}(\textbf{p}^G|\textbf{a},\textbf{b}))}{\partial z_n} \right\rvert_{{\substack{\textbf{a} = \textbf{a}^*(\textbf{z})\\\textbf{b}= \textbf{b}^*(\textbf{z})}}}\nonumber
\end{align}
Now, since (ref) is an unconstrained problem, if $\textbf{z}^*$ is an optimal solution to (ref), we have
\[
\frac{\partial {\mathcal{W}}(\textbf{z}^*)}{\partial z_n} = 0, \;\forall n\in[N],
\]
Moreover, From Lemma (ref) - (i), we see that $\widetilde{\textbf{z}}(\textbf{p}^G|\textbf{a}^*(\textbf{z}^*),\textbf{b}^*(\textbf{z}^*)) = \textbf{z}(\textbf{p}^G)$, so $\textbf{z}^*$ is also a solution to the system
\begin{equation}
\left. \frac{\partial \widetilde{{\mathcal{W}}}(\widetilde{\textbf{z}}(\textbf{p}^G|\textbf{a},\textbf{b}))}{\partial z_n} \right\rvert_{{\substack{\textbf{a} = \textbf{a}^*(\textbf{z}^*)\\\textbf{b}= \textbf{b}^*(\textbf{z}^*)}}} = 0,\;\forall n\in[N].\nonumber
\end{equation}
Note that $\widetilde{{\mathcal{W}}}(\widetilde{\textbf{z}}(\textbf{p}^G|\textbf{a}^*(\textbf{z}^*),\textbf{b}^*(\textbf{z}^*)))$ is the objective function of the deterministic pricing problem with partition-wise homogeneous PSP considered in zhang2018multiproduct. Thus, using Theorem C1 of zhang2018multiproduct we see that $\textbf{z}^*$ has to satisfy the system of equalities
\[
\begin{cases}
R(z^*) =\sum_{n\in[N]} \frac{1}{\me{\textbf{b}^{n*}(\textbf{z}^*)}} {G}^n(\textbf{Y}^n|z_n,\textbf{a}^*(\textbf{z}^*),\textbf{b}^*(\textbf{z}^*)) \\
z_n = \frac{1}{\me{\textbf{b}^{n*}(\textbf{z}^*)}} + R(\textbf{z}^*),\; \forall n\in[N].
\end{cases}
\]
Thus, we have
\[
\begin{aligned}
z_n^* &= \frac{1}{\me{\textbf{b}^{n*}(\textbf{z}^*)}} + \sum_{l\in[N]} \frac{1}{\me{\textbf{b}^{l*}(\textbf{z}^*)}} {G}^l(\textbf{Y}^l|z^*_l,\textbf{a}^*(\textbf{z}^*),\textbf{b}^*(\textbf{z}^*)) \\
&= \frac{1}{\me{\textbf{b}^{n*}(\textbf{z}^*)}} + \sum_{n\in[N]} \frac{1}{\me{\textbf{b}^{l*}(\textbf{z}^*)}} \underline{{\mathcal{G}}}^l(z^*_l),
\end{aligned}
\]
which is also the desired equality (ref).
We now prove that (ref) always yields a unique local optimum. By contradiction, assume that there are to points $\textbf{z}_1,\textbf{z}_2 \in \mathbb{R}^N$ such that $\textbf{z}_1\neq \textbf{z}_2$ and $\frac{\partial {\mathcal{W}}(\textbf{z}_1)}{\partial z_n} = \frac{\partial {\mathcal{W}}(\textbf{z}_2)}{\partial z_n} = 0$ for all $n\in[N]$. Let $\textbf{p}^G_1$ and $\textbf{p}^G_2$ be two vectors of purchase probabilities defined by (ref) under $\textbf{z}_1,\textbf{z}_2$, respectively. From Lemma (ref) we have $\textbf{p}^G_1 \neq \textbf{p}^G_2$. Moreover, taking the derivatives of ${\mathcal{W}}(\textbf{z}(\textbf{p}^G))$ with respect to $p^G_n$, $n\in[N]$ we get
\[
\frac{\partial {\mathcal{W}}(\textbf{z}(\textbf{p}^G_1))}{\partial p^G_n} = \sum_{l\in[N]}\left. \frac{\partial {\mathcal{W}}(\textbf{z})}{\partial z_l}\right\rvert_{\textbf{z}=\textbf{z}_1} \times \left. \frac{\partial z(\textbf{p}^G)_l}{\partial p^G_n}\right\rvert_{\textbf{p}^G=\textbf{p}^G_1} = 0.
\]
Similarly, we also have ${\partial {\mathcal{W}}(\textbf{z}(\textbf{p}^G_2))}/{\partial p^G_n} = 0$, implying that both $\textbf{p}^G_1$ and $\textbf{p}^G_2$ are local optimal solutions to the problem $\max_{\textbf{p}^G}{\mathcal{W}}(\textbf{z}(\textbf{p}^G))$, which is contrary to the claim that ${\mathcal{W}}(\textbf{z}(\textbf{p}^G))$ is \textit{strictly concave} in $\textbf{p}^G$ (Theorem (ref)). This completes the proof.
\subsection{Proof of Proposition (ref)}
Taking the gradient of ${\mathcal{W}}(\textbf{z}(\textbf{p}^G))$ with respect to $p^G_n$, $n\in[N]$, we get
\begin{equation}
\frac{\partial {\mathcal{W}}(\textbf{z}(\textbf{p}^G))}{\partial p^G_n} = z(\textbf{p}^G)_n + \sum_{k\in[N]} \frac{\partial z(\textbf{p}^G)_k}{\partial p^G_n} p^G_k.
\end{equation}
Now, from Lemma (ref), for any $k\in [N]$, we have $\underline{{\mathcal{G}}}^k(z(\textbf{p}^G)_k) = p^G_k/(1-{\textbf{e}}^\text{\tiny T} \textbf{p}^G)$. Taking the first-derivatives of the both sides with respect to $p^G_n$ we have
\begin{align}
\frac{p^G_k}{(1-{\textbf{e}}^\text{\tiny T} \textbf{p}^G)^2} + \frac{\mathbb{I}(k=n)}{(1-{\textbf{e}}^\text{\tiny T} \textbf{p}^G)} &= \frac{\partial \underline{{\mathcal{G}}}^k(z(\textbf{p}^G)_k) }{\partial z_k} \frac{ z(\textbf{p}^G)_k}{\partial p^G_n} .
\end{align}
Moreover, we can write
\begin{align}
\frac{\partial \underline{{\mathcal{G}}}^k(z_k) }{\partial z_k} &= \left.\frac{\partial G^k(\textbf{Y}^k|z_k,\textbf{a}^k,\textbf{b}^k)}{\partial z_k} \right\rvert_{\substack{\textbf{a}^{k} = \textbf{a}^{k*}(z_k) \\ \textbf{b}^{k} = \textbf{b}^{k*}(z_k)}}
\nonumber \\
&= \left. \frac{ - \sum_{i\in{\mathcal{V}}_k} \partial G^k_i(\textbf{Y}^k|z_k,\textbf{a}^k,\textbf{b}^k) Y^i \me{\textbf{b}^k}}{\partial z_k} \right\rvert_{\substack{\textbf{a}^{k} = \textbf{a}^{k*}(z_k) \\ \textbf{b}^{k} = \textbf{b}^{k*}(z_k)}}\nonumber \\
&=-\me{\textbf{b}^{k*}(z_k)} \underline{{\mathcal{G}}}^k(z_k) \nonumber \\
&= \frac{-\me{\textbf{b}^{k*}(z_k)} p^G_k}{1-{\textbf{e}}^\text{\tiny T}\textbf{p}^G }.
\end{align}
Combine (ref) and (ref) we have
\begin{equation}
\frac{z(\textbf{p}^G)_k}{\partial p^G_n} = -\frac{\mathbb{I}[k=n]}{\me{\textbf{b}^{k*}(z_k)} p^G_k} - \frac{1}{\me{\textbf{b}^{k*}(z_k)} (1-{\textbf{e}}^\text{\tiny T} \textbf{p}^G)}.
\end{equation}
We substitute (ref) into (ref) and get
\[
\frac{\partial {\mathcal{W}}(\textbf{z}(\textbf{p}^G))}{\partial p^G_n} = z(\textbf{p}^G)_n - \frac{1}{\me{\textbf{b}^{k*}(z_n)}} -\frac{1}{ (1-{\textbf{e}}^\text{\tiny T} \textbf{p}^G)} \sum_{k\in [N]} \frac{p^G_k}{\me{\textbf{b}^{k*}(z_k)}},
\]
as desired.
\section{\mtien{Robust Pricing with Over-expected-sale Penalties}}
Motivated by applications in inventory considerations Gallego2014dynamicPricing, we study a robust model for the pricing problem with expected sale requirements under uncertain choice parameters $(\textbf{a},\textbf{b})$. We first show in Section (ref) below
that there may be no fixed prices such that the corresponding expected sale constraints are always satisfied when the choice parameters vary in the uncertainty set. It motivates us to consider a new robust model with over-expected-sales penalties in Section (ref). We provide the proofs of the results in this section in Section
(ref).
\subsection{Robust Pricing with Expected Sale Constraints}
Motivated by the fact that the expected profit is concave in the purchase probabilities, previous studies zhang2018multiproduct,Keller2013 show that it is convenient to consider the pricing problem with expected sale constraints.
Technically speaking,
given a GEV-CPGF $G(\textbf{Y})$, price vector $\textbf{x}\in \mathbb{R}^m$ andparameters $(\textbf{a}, \textbf{b})\in\mathbb{R}^{2m}$, let us define the vector of purchase probabilities of products $\textbf{p}$ with entries $p_i = P_i(\textbf{x},\textbf{a},\textbf{b}|G)$. We also let $\textbf{x}(\textbf{p}|\textbf{a},\textbf{b},G)$ be the denote the prices that achieve the purchase probabilities $\textbf{p}$. The deterministic version of the constrained pricing problem can be formulated as
\begin{equation}
\underset{\textbf{p}\in {\mathcal{P}}}{\text{max}}\qquad \left(\sum_{i\in{\mathcal{V}}}\textbf{x}(\textbf{p}|\textbf{a},\textbf{b})_i-c_i\right)p_i .
\end{equation}
where ${\mathcal{P}}\in\mathbb{R}^m$ is a convex set such that for all $\textbf{p}\in{\mathcal{P}}$, $\sum_{i\in{\mathcal{V}}}p_i \leq 1$. One the optimal purchase probabilities $\textbf{p}$ is specified, we can obtain the \textit{optimal prices} $\textbf{x}(\textbf{p}|\textbf{a},\textbf{b},G)$ by solving a convex optimization problem.
A natural robust version of the constrained pricing problem can be formulated as
\begin{equation}
\max_{\textbf{p} \in {\mathcal{P}}} \left\{\phi(\textbf{p}) = \min_{(\textbf{a},\textbf{b})\in {\mathcal{A}}} \sum_{i\in{\mathcal{V}}}\left( \textbf{x}(\textbf{p}|\textbf{a},\textbf{b},G)_i-c_i\right)p_i \right\}.
\end{equation}
Even though it is not difficult to show (ref) is computationally tractable under rectangular or some polyhedrons uncertainty sets, the issue here is that the final decision is a price vector, not purchase probabilities. So even if we get an optimal purchase probabilities $\textbf{p}$ from the robust model, it is not clear how to compute the corresponding optimal prices under $(\textbf{a},\textbf{b})$ uncertainty. On the other hand, one can show that given any prices $\textbf{x}$, there may be $(\textbf{a},\textbf{b})\in {\mathcal{A}}$ such the resulting purchase probability vector $\textbf{p} = P(\textbf{x},\textbf{a},\textbf{b}|G)$ that does not belong to the feasible set (i.e. the expected sale constraints are not satisfied).
All these make the robust version in (ref) inappropriate to use. This is the reasonwe propose an alternative robust model in Section (ref), in which instead of requiring the purchasing probabilities to satisfy some constraints, we add a penalty cost to the objective function.
Alternatively, in some situations the firm may face uncertainties occurring in the inventory, leading to uncertain expected sale constraints. A robust model may require the expected sales constraints to be satisfied for all the scenarios that may occur, i.e., $\textbf{p} \in {\mathcal{P}}(\xi)$, for all $\xi\in\Xi$. Such a robust model can be formulated as
\begin{align}
\underset{\textbf{p}}{\text{max}}\qquad & \left(\sum_{i\in{\mathcal{V}}}\textbf{x}(\textbf{p}|\textbf{a},\textbf{b})_i-c_i\right)p_i & \\
\text{subject to} \qquad & (\pmb{\alpha}^t(\xi))^{\mbox{\tiny T}} \textbf{p} \leq r_t(\xi) & \forall \xi\in\Xi \nonumber\\
& \sum_{i\in {\mathcal{V}}}p_i\leq 1,\ \textbf{p}\geq 0 & \nonumber
\end{align}
where $(\pmb{\alpha}^t(\xi),r_t(\xi))$, $\forall t$, are the parameters of the expected sale constraints, which are not certain in the context and depend on a random vector $\xi\in\Xi$.
Since the objective function is concave and all the constraints are linear in $\textbf{p}$, the above problem is generally tractable Ben1998robustconvex. A simple but useful setting is that the parameter of the expected sale constraints vary in a rectangular uncertainty set, i.e., $\underline{\pmb{\alpha}}^t \preceq \pmb{\alpha}^t \preceq \underline{\pmb{\alpha}}^t$ and $\underline{r}^t \leq r^t \leq \overline{r}^t$ for all $t\in [T]$. In this context, one can show that (ref) is equivalent to the following convex optimization problem
\begin{align}
\underset{\textbf{p}}{\text{max}}\qquad & \left(\sum_{i\in{\mathcal{V}}}\textbf{x}(\textbf{p}|\textbf{a},\textbf{b})_i-c_i\right)p_i & \\
\text{subject to} \qquad & (\overline{\pmb{\alpha}}^t)^{\mbox{\tiny T}} \textbf{p} \leq \underline{r}_t & \nonumber\\
& \sum_{i\in {\mathcal{V}}}p_i\leq 1,\ \textbf{p}\geq 0 & \nonumber
\end{align}
Other uncertainty sets may be considered, i.e., polyhedron or ellipsoidal ones, and we refer the reader to Ben1998robustconvex for details.
\subsection{Robust Pricing with Over-expected-sale Penalties}
We propose a version with over-expected-sale penalties, which allows us to handle both the expected sale requirements and the uncertainty issue.
Our idea is to put the expected sale constraints to the objective function, i.e., we do not force the purchase probabilities to be in a feasible set, but instead we add penalties for purchase probabilities violating the constraints.
More precisely, we consider the objective function
$\Phi(\textbf{x},\textbf{a},\textbf{b}) - \sum_{t=1}^T \lambda_t \max\{0, (\pmb{\alpha}^t)^{\mbox{\tiny T}} \textbf{p} - r_t\}$,
where $\lambda_t\geq 0$, $t=1,\ldots,T$, are penalty parameters \mtien{and $\textbf{p} \in\mathbb{R}^m$ is a vector of purchase probabilities with entries $p_i = P_i(\textbf{Y}(\textbf{x},\textbf{a},\textbf{b})$, $\forall i\in{\mathcal{V}}$.}
In this objective function, if a constraint is violated, i.e., $(\pmb{\alpha}^t)^{\mbox{\tiny T}} \textbf{p} > r_t$, then a cost $- \lambda_t \max\{0, (\pmb{\alpha}^t)^{\mbox{\tiny T}} \textbf{p} - r_t\}$ is added to the expected revenue. In general, if we choose $\lambda_t$ large enough, we will need a vector of purchase probabilities satisfying all the expected sale constraints to obtain high objective values. The deterministic pricing problem under the above objective function is
\begin{equation}
\max_{\textbf{x} \in \mathbb{R}^m}\left\{\Phi(\textbf{x},\textbf{a},\textbf{b}) - \sum_{t=1}^T \lambda_t \max\{0, (\pmb{\alpha}^t)^{\mbox{\tiny T}} \textbf{p} - r_t\}\right\}.
\end{equation}
In general a solution to (ref) does not have a constant markup over products, even when the PSP are all homogeneous
\begin{proposition} The problem with penalties
(ref) does not have a constant markup over products, even when the PSP are homogeneous.
\end{proposition}
For this reason, the results presented in this section are not a generalized version of those shown in Sections (ref) and (ref) when the penalty parameters ${\pmb{\lambda}}$ equals zero. Since we consider the pricing problem with over-expected-sale penalties, we do not face the issue of violating the expected sale constraints when the choice parameters vary in the uncertainty set.We consider the robust version of (ref) under $(\textbf{a},\textbf{b})$ uncertainty
\begin{equation}
\max_{\textbf{x}\in\mathbb{R}^m} \min_{(\textbf{a},\textbf{b}) \in {\mathcal{A}}}\left\{ {\mathcal{K}}(\textbf{x},\textbf{a},\textbf{b}) = \Phi(\textbf{x},\textbf{a},\textbf{b}) - \sum_{t=1}^T \lambda_t \max\{0, (\pmb{\alpha}^t)^{\mbox{\tiny T}} \textbf{p} - r_t\} \right\}
\end{equation}
In this version, we consider the settings that the PSP are partition-wise homogeneous, and the CPGF and uncertainty set are partition-wise separable, as in Section (ref).
The adversarial problem of (ref) is way more difficult to solve as compared to the robust versions considered in the previous sections, as the objective function now is not differentiable. Moreover, a solution to the deterministic problem (ref) would not have a constant-markup style, thus a robust solution to (ref) would not have either. The adversary's problem under such a non-constant-markup solution seems not possible to handle tractably.
For that reason, we consider a robust version in which we only seek constant-markup solutions. Moreover, to have a tractable structure, we also need to further assume that the expected-sale parameters $\pmb{\alpha}^t$, $t\in [T]$ are partition-wise homogeneous, i.e., for any partition $n\in[N]$, $\alpha^t_i = \alpha^t_j$, $\forall i,j\in{\mathcal{V}}_n, t\in[T]$. Let denote by $\textbf{d}^t$ a vector in $\mathbb{R}^N$ such that $\textbf{d}^t_n = \alpha^t_j$, for any $j\in{\mathcal{V}}_n, n\in[N],t\in[T]$.
The robust problem with all the above settings becomes
\begin{equation}
\max_{\textbf{z} \in \mathbb{R}^N} \min_{(\textbf{a},\textbf{b}) \in{\mathcal{A}}} \left\{{\mathcal{L}}(\textbf{z},\textbf{a},\textbf{b}) = \frac{\sum_{n\in[N]} z_n G^n(\textbf{Y}^n|z_n,\textbf{a}^n,\textbf{b}^n)}{1 + \sum_{n\in[N]} G^n(\textbf{Y}^n|z_n,\textbf{a}^n,\textbf{b}^n} - \sum_{t=1}^T \lambda_t \max\{0, (\textbf{d}^t)^{\mbox{\tiny T}} \widetilde{\textbf{p}}^G(\textbf{z},\textbf{a},\textbf{b}) - r_t\}\right\},
\end{equation}
where
$\widetilde{\textbf{p}}^G(\textbf{z},\textbf{a},\textbf{b})\in\mathbb{R}^N$ with entries
\[
\widetilde{\textbf{p}}^G(\textbf{z},\textbf{a},\textbf{b})_n = \frac{ G^n(\textbf{Y}^n|z_n,\textbf{a}^n,\textbf{b}^n)}{1 + \sum_{l\in[N]} G^l(\textbf{Y}^l|z_l,\textbf{a}^l,\textbf{b}^l}.
\]
Theorem (ref) below states that (ref) can be solved by convex optimization.
\begin{theorem}{\bf(Robust solutions for the robust pricing problem with over-expected-sale penalties).}
If $\textbf{z}^*$ is optimal to the problem
\begin{equation}
\max_{\textbf{z} \in \mathbb{R}^N}\left\{{\mathcal{H}}(\textbf{z}) = \frac{\sum_{n\in[N]} z_n \underline{{\mathcal{G}}}^n(z_n)}{1 + \sum_{n\in[N]} \underline{{\mathcal{G}}}^n(z_n)} - \sum_{t=1}^T \lambda_t \max\{0, (\textbf{d}^t)^{\mbox{\tiny T}} \widetilde{\textbf{p}}^G - r_t\}\right\},
\end{equation}
where $\textbf{p}^G(\textbf{z})$ is of size $N$ with entries $\widetilde{p}^G(\textbf{z})_n = \underline{{\mathcal{G}}}^n(z_n)\Big/\left(1+\sum_{j\in[N]} \underline{{\mathcal{G}}}^l( z_l)\right)$,
then the prices $\textbf{x}^*\in\mathbb{R}^m$ such that $x^*_i = c_i+z^*_n$, $\forall n\in[n],i\in{\mathcal{V}}_n$ is optimal to the robust problem $\max_{\textbf{x}\in X}\min_{(\textbf{a},\textbf{b})\in{\mathcal{A}}} {\mathcal{K}}(\textbf{x},\textbf{a},\textbf{b})$.
Moreover, the objective function of (ref) is concave in $\widetilde{\textbf{p}}^G$.
\end{theorem}
We provide the proof in Appendix (ref). In general, the robust problem (ref) is challenging to handle because of the term $\sum_{t=1}^T \lambda_t \max\{0, (\textbf{d}^t)^{\mbox{\tiny T}} \textbf{p}^G - r_t\}$, which makes the objective function no-longer differentiable in $\textbf{z}$. However, if we look at the subset ${\mathcal{T}}\in[T]$ such that the constraints are violated only in ${\mathcal{T}}$, we can write the objective function as
\begin{align}
{\mathcal{H}}(\textbf{z}) &=\textbf{z}^\text{\tiny T} \textbf{p}^G -\sum_{t\in{\mathcal{T}}} \lambda_t(\textbf{d}^t)^{\mbox{\tiny T}} \textbf{p} + \sum_{t\in{\mathcal{T}}}\lambda_t r_t\nonumber \\
&=\sum_{n\in [N]}(z_n-\sum_{t\in{\mathcal{T}}} \lambda_t\textbf{d}^t_n) p^G_n+\sum_{t\in{\mathcal{T}}}\lambda_t r_t
\end{align}
and note that $\sum_{n\in [N]}(z_n-\sum_{t\in{\mathcal{T}}} \lambda_t\textbf{d}^t_n) p^G_n$ is also an expected revenue with shifted item costs $c'_i = \sum_{t\in{\mathcal{T}}} \lambda_t\textbf{d}^t_n +c_i$, $n\in [N], i\in {\mathcal{V}}_n$.
We leverage this observation and follow the spirit of the proof of Theorem (ref) to prove the results. The main idea is to show that, under an optimal prices of (ref), the adversary will also force the each component $G^n(\cdot)$ to its minimums. From this, we can show an equivalence between the reduced problem (ref) and the robust one (ref). The proof is indeed more complicated as we have to handle the term
$\max\{0, (\textbf{d}^t)^{\mbox{\tiny T}} \textbf{p}^G - r_t\}$.
The limitation of Theorem (ref) is that it only returns best solutions among those that have a constant markup in each partition, and all the expected sale parameters in each partition need to be homogeneous. Relaxing these assumption would make the robust problem challenging to handle (see the discussion before (ref)). Moreover, we believe that the theorem is still useful in contexts where the firm only wants to make pricing decisions for each group of products and only impose expected sale requirements for the whole groups instead of each single product in the groups.
An interesting and important question here is how the robust optimal value and optimal solutions change when the penalty parameters ${\pmb{\lambda}}$ increase.
To answer this, let us consider the following constrained problem
\begin{align}
\underset{\textbf{p}^G}{\text{max}}\qquad &{\mathcal{W}}(\textbf{z}(\textbf{p}^G)) & \\
\text{subject to} \qquad & (\textbf{d}^t)^{\mbox{\tiny T}} \textbf{p}^G \leq r_t & \nonumber\\
& \sum_{n\in [N]}p^G_n \leq 1& \nonumber\\
& \textbf{p}^G\geq 0. & \nonumber
\end{align}
We also define
$\varphi^{\textsc{RO},{\pmb{\lambda}}}$ as the optimal value of the robust problem in (ref) under penalty parameters $\lambda$, $\overline{\varphi}$ as the optimal value of the constrained problem (ref) , $\textbf{x}^{\textsc{RO},{\pmb{\lambda}}}$ is an robust solution to (ref) and $\textbf{p}^{G,{\pmb{\lambda}}}$ is the purchase probabilities given by the robust solution $\textbf{x}^{\pmb{\lambda}}$ in the worst-case.
Proposition (ref) below tells us how the optimal value of the robust problem with over-expected-sale penalties (ref) when the parameters ${\pmb{\lambda}}$ increase.
\begin{theorem}{\bf(Convergence of the robust optimal value when the penalty parameters ${\pmb{\lambda}}$ increase).}
Given any $\epsilon>0$, we have
\begin{itemize}
• If we select ${\pmb{\lambda}}$ such that
$\min_t \lambda_t \geq (\Delta^* - \overline{\varphi})/\epsilon$ then $\sum_{t}\max\{0,(\textbf{d}^t)^{\mbox{\tiny T}} \textbf{p}^{G,{\pmb{\lambda}}} - r_t\}\leq \epsilon$, where $\Delta^* = \max_{\textbf{z}\in \mathbb{R}^N}{\mathcal{W}}(\textbf{z})$.
• Assume that there are positive constant $L_i,l_i$, $i\in {\mathcal{V}}$ such that $Y_i\partial G_i(\textbf{Y})$ is bounded from above by $L_iY_i^{li}$ for all prices $\textbf{x} \geq 0$, then
if we select $\epsilon$ such that
\[
\epsilon \leq {\min_{t\in[T],n\in[N]} \{d^t_n|\ d^t_i> 0\}}\min_t\left\{\frac{r_t}{(\textbf{d}^t)^{\mbox{\tiny T}} \textbf{1}}\right\},
\]
then $\varphi^{\textsc{RO},{\pmb{\lambda}}} - \overline{\varphi}$ can be bounded as
\[
0\leq \varphi^{\textsc{RO},{\pmb{\lambda}}} - \overline{\varphi} \leq \max\left\{ \max_{\substack{(\textbf{a},\textbf{b}) \in{\mathcal{A}} \\ n\in[N] \\ i\in{\mathcal{V}}_n}} \left\{\frac{a_i - b_ic_i}{b_i} - \frac{1}{b_il_i |{\mathcal{V}}_n|}\log \frac{\delta(\epsilon)}{L_i} \right\},0\right\}\frac{N\epsilon}{\min_{t,n\in[N]} \{d^t_n|\ d^t_n> 0\}}
\]
where $\delta(\epsilon) = \min_t\left\{\frac{r_t}{(\textbf{d}^t)^{\mbox{\tiny T}} \textbf{1}}\right\} - \frac{\epsilon}{\min_{t\in[T],n\in[N]} \{d^t_i|\ d^t_i> 0\}}$. This upper bound converges to zero linearly when $\epsilon$ tends to zero (i.e., $\min_t \{ \lambda_t\}$ goes to infinity).
\end{itemize}
\end{theorem}
The proof can be found in Appendix (ref). Here, it is not difficult to validate that the assumption in Theorem (ref)--(ii) holds for all the well-known GEV models in the literatures. For examples, for the MNL, $Y_i\partial G_i(\textbf{Y}) = Y_i$. For a nested logit mode specified by $
G(\textbf{Y}) = \sum_{n\in {\mathcal{N}}} \left(\sum_{i\in C_n} \sigma_{in}Y_i^{\mu_n} \right)^{1/\mu_n}
$, where ${\mathcal{N}}$ is the set of nests, $C_n$ is the corresponding nest and $\mu, \mu_n$ are some parameters, we have $Y_i\partial G_i(\textbf{Y}) = Y_i^{\mu_n} \left(\sum_{j\in C_n} \sigma_{jn}Y_j^{\mu_n} \right)^{1/\mu_n-1}$. If $\mu_n>1$ then $Y_i\partial G_i(\textbf{Y})\leq \sigma_{in}^{1/\mu_n-1} Y_i$ and if $\mu_n<1$ then $Y_i\partial G_i(Y)\leq L_nY_i^{\mu_n}$, where $L_n$ is an upper bound of $\left(\sum_{j\in C_n}\sigma_{jn} Y_j^{\mu_n} \right)^{1/\mu_n-1}$ for all $\textbf{x}\in\mathbb{R}^m_i$, which always exists.
For a more general GEV model, we note that $\partial G_{ij}(\textbf{Y})\leq 0$ and $Y_j\geq 0$ for all $i,j\in{\mathcal{V}}, i\neq j$. As a result, we have $\partial G_{i}(\textbf{Y}) \leq \partial G_{i}(\widetilde{\textbf{Y}}^i)$, where $\widetilde{\textbf{Y}}^i$ is a vector of size $m$ with entries $\widetilde{Y}^i_i = Y_i$ and $\widetilde{Y}^i_j = 0$ for all $j\neq i$. Thus, $\partial G_{i}(\widetilde{\textbf{Y}}^i)$ is a function of only $Y_i$. For a more complicated GEV model such as the network GEV model Daly2006general,Mai2017dynamic, we can easily upper-bound $Y_i\partial G_{i}(\widetilde{\textbf{Y}}^i)$ by a function of form $L_iY_i^{l_i}$, where $L_i,l_i>0$.
In Theorem (ref), (ii) tells us explicitly that the penalty term will converge to zero when the parameters ${\pmb{\lambda}}$ are large enough. It also provides an estimate for $\min_t\{\lambda_t\}$ to get arbitrarily small penalty costs. The second bound (ii) provides an upper-bound for the gap between the optimal expected revenues given by the constrained pricing problem and the pricing problem with over-expected-sale penalties, and this upper bound converges to zero linearly when $\epsilon$ goes to zero. So in general, Problem (ref) can be viewed as a generalized version of the constrained pricing problem, in the sense that if we select the penalty parameters ${\pmb{\lambda}}$ large enough, then we will get a solution that is similar to the one from the constrained problem, and if we set ${\pmb{\lambda}} = 0$ then we come back to the unconstrained problem. Thus, the formulation in (ref) provides a more flexible way to handle expected sale requirements.
\subsection{Proofs of the Results in Section (ref) }
\subsubsection{Proof of Proposition (ref). }
We will give a counter example to illustrate the claim. For the sake of illustration, we only consider a pricing problem under the MNL model with 2 products and homogeneous PSP. We also consider only one expected sale constraint as $\alpha_1p_1\leq r_t$, where $r_t/\alpha_1$ is very small.
Let $\textbf{p}^\lambda = (p^\lambda_1,p^\lambda_2)$ be a solution to (ref) under penalty parameter $\lambda$. When $\lambda$ goes to infinity, Theorem (ref) tells us that a solution to the pricing problem with penalties converge to a solution to the constrained pricing problem. Thus, for any $\epsilon>0$ arbitrarily small, we can chose $\lambda$ large enough such that $\alpha_1p^\lambda_1\leq r_t+\epsilon$. So, if we choose $\epsilon$ and $r_t/\alpha_1$ to be very small, then $p^\lambda_1$ would be very close to zero. Since $p_1^\lambda= \exp(a_1-bx^\lambda_1)\Big/\left(1+ \exp(a_1-bx^\lambda_1)+ \exp(a_2-bx^\lambda_2)\right)$ (where $b$ is the PSP of the two products, $\textbf{x}^\lambda$ is an optimal price solution to the pricing problem under penalty parameter $\lambda$), we have $\lim_{p_1^\lambda\rightarrow 0} x^\lambda_1(\textbf{p}) = +\infty$, meaning that to have an arbitrarily small probability $p_1^\lambda$, we need to increase the price of Product 1 to infinity. On the other hand, $p^\lambda_2$ does not affect the penalty term and we have $\lim_{x_2\rightarrow+\infty}(x_2-c_2)\exp(a_2-bx_2)\Big/\left(1+ \exp(a_1-bx^\lambda_1)+ \exp(a_2-bx_2)\right) = 0$. Thus, to maximize the objective function, the solution $x^\lambda_2$ needs to be finite. So, in summary, we can create an example yielding a solution $(x^\lambda_1, x^\lambda_2)$ such that $x^\lambda_1$ can be arbitrarily large and $x^\lambda_2$ is bounded from above. Thus, $(x^\lambda_1, x^\lambda_2)$ would not have the constant-markup style.
\subsubsection{Proof of Theorem (ref).}
First, let $f(\textbf{z}) = \min_{(\textbf{a},\textbf{b})\in{\mathcal{A}})} {\mathcal{L}}(\textbf{z},\textbf{a},\textbf{b}).$
In Lemma (ref) below, we show that given any prices $\textbf{x}\in\mathbb{R}^m$, The adversary's problem will force each component $G^n(\textbf{Y}^n|z_n,\textbf{a}^{n},\textbf{b}^{n})$ to either its minimums or maximums. This result is similar to the case of partition-wise PSP without penalties considered in Section (ref). The proof is however more complicated as it involves the term $\sum_{t=1}^T \lambda_t \max\{0, (\textbf{d}^t)^{\mbox{\tiny T}} \textbf{p}^G - r_t\}$.
\begin{lemma}
Given any $\textbf{z}\in\mathbb{R}^N$, there is a solution $(\textbf{a}^*,\textbf{b}^*) = \{(\textbf{a}^{n*},\textbf{b}^{n*})|\; n\in [N]\}$ to the corresponding adversary's problem (ref) such that
\[
G^n(\textbf{Y}^n|z_n,\textbf{a}^{n*},\textbf{b}^{n*}) \in \Big\{\underline{{\mathcal{G}}}^n(z_n), \overline{{\mathcal{G}}}^n(z_n)\Big\}.
\]
\end{lemma}
\proof{Proof:}
We denote by ${\mathcal{T}}$ a subset of $[T]$ such that $(\textbf{d}^t)^{\mbox{\tiny T}} \widetilde{\textbf{p}}^G(\textbf{z},\textbf{a}^*, \textbf{b}^*) \geq r_t$ for all $t\in{\mathcal{T}}$ and $(\textbf{d}^t)^{\mbox{\tiny T}} \widetilde{\textbf{p}}^G(\textbf{z},\textbf{a}^{*}, \textbf{b}^{*}) < r_t$ if $t\notin {\mathcal{T}}$. The adversary's optimal value at $\textbf{z}$ becomes
\begin{align}
{\mathcal{L}}(\textbf{z},\textbf{a}^*,\textbf{b}^*) &= \sum_{n\in[N]} z_n \widetilde{p}^G(\textbf{z},{\textbf{a}^*},{\textbf{b}^*})_n - \sum_{t\in{\mathcal{T}}}\lambda_t(\textbf{d}^t)^{\mbox{\tiny T}} \widetilde{\textbf{p}}^G(\textbf{z},{\textbf{a}^*},{\textbf{b}^*}) + \sum_{t\in{\mathcal{T}}}\lambda_t r_t\nonumber\\
&= \frac{\sum_{n\in[N]} \left(z_n - \sum_{t\in {\mathcal{T}}}\lambda_t d^t_n\right)G^n(\textbf{Y}^n|z_n,\textbf{a}^{n*},\textbf{b}^{n*}) }{1+\sum_n G^n(\textbf{Y}^n|z_n,\textbf{a}^{n*},\textbf{b}^{n*}) } + \sum_{t\in{\mathcal{T}}}\lambda_t r_t,\nonumber
\end{align}
For notational brevity, let
\[
\begin{aligned}
\rho^* &= \frac{\sum_{n\in[N]} \left(z_n - \sum_{t\in {\mathcal{T}}}\lambda_t d^t_n\right)G^n(\textbf{Y}^n|z_n,\textbf{a}^{n*},\textbf{b}^{n*}) }{1+\sum_n G^n(\textbf{Y}^n|z_n,\textbf{a}^{n*},\textbf{b}^{n*}) }\\ {\mathcal{I}}_1 &= \{n\in [N]|\ \rho^* < z_n - \sum_{t\in {\mathcal{T}}}\lambda_t d^t_n\}\\
{\mathcal{I}}_2 &= \{n\in [N]|\ \rho^* >z_n - \sum_{t\in {\mathcal{T}}}\lambda_t d^t_n \}\\
{\mathcal{A}}^\textbf{z} &= \{(\textbf{a},\textbf{b})\in{\mathcal{A}}|\ G^n(\textbf{Y}^n|z_n,\textbf{a}^{n},\textbf{b}^{n}) = \underline{{\mathcal{G}}}^n(z_n) \text{ if } n\in {\mathcal{I}}_1,\ G^n(\textbf{Y}^n|z_n,\textbf{a}^{n},\textbf{b}^{n}) = \underline{{\mathcal{G}}}^n(z_n) \text{ if } n\in {\mathcal{I}}_2 \}
\end{aligned}
\]
From Lemma (ref), if $(\textbf{a}^*, \textbf{b}^*) \notin {\mathcal{A}}^\textbf{z}$, then for any $(\textbf{a},\textbf{b})\in{\mathcal{A}}^\textbf{z}$ we have
\[
\begin{aligned}
{\mathcal{L}}(\textbf{z},\textbf{a}^*,\textbf{b}^*)&> \sum_n z_n \widetilde{p}_n(\textbf{z},{\textbf{a}},{\textbf{b}}) - \sum_{t\in{\mathcal{T}}}\lambda_t(\textbf{d}^t)^{\mbox{\tiny T}} \widetilde{\textbf{p}}^G(\textbf{z},{\textbf{a}},{\textbf{b}}) + \sum_{t\in{\mathcal{T}}}\lambda_t r_t \\
&\geq {\mathcal{L}}(\textbf{z},\textbf{a},\textbf{b}),
\end{aligned}
\]
which is contradictory to the assumption that $(\textbf{a}^*,\textbf{b}^*)$ is optimal to the adversary's problem. So we have $(\textbf{a}^*, \textbf{b}^*) \in {\mathcal{A}}^\textbf{z}$. On the other hand, Lemma (ref) tells us that if we take any point $(\textbf{a},\textbf{b})\in{\mathcal{A}}^\textbf{z}$ such that $G^n(\textbf{Y}^n|z_n,\textbf{a},\textbf{b}) \in \Big\{\underline{{\mathcal{G}}}^n(z_n), \overline{{\mathcal{G}}}^n(z_n)\Big\}$ for all $n\notin {\mathcal{I}}_1 \cup {\mathcal{I}}_2$, we also have
\[
\begin{aligned}
{\mathcal{L}}(\textbf{z},\textbf{a}^*,\textbf{b}^*) &= \sum_n \left(z_n-\sum_{t\in{\mathcal{T}}}\lambda_t d^t_n\right)\widetilde{p}^G(\textbf{z},{\textbf{a}},{\textbf{b}})_n + \sum_{t\in{\mathcal{T}}} \lambda_t r_t \\
&\geq \sum_n \left(z_n\right)\widetilde{p}^G_n(\textbf{z},{\textbf{a}},{\textbf{b}}) - \sum_{t=1}^T \lambda_t \max\{0, (\textbf{d}^t)^{\mbox{\tiny T}} \widetilde{\textbf{p}}^G(\textbf{z},{\textbf{a}},{\textbf{b}}) - r_t\} =
{\mathcal{L}}(\textbf{z},\textbf{a},\textbf{b}).
\end{aligned}
\]
Since ${\mathcal{L}}(\textbf{z},\textbf{a}^*,\textbf{b}^*)= \min_{(\textbf{a},\textbf{b})\in{\mathcal{A}}}{\mathcal{L}}(\textbf{z},\textbf{a},\textbf{b})$, we have ${\mathcal{L}}(\textbf{z},\textbf{a}^*,\textbf{b}^*) = {\mathcal{L}}(\textbf{z},\textbf{a},\textbf{b})$, meaning that $(\textbf{a},\textbf{b})$ is also optimal to the adversary's problem under prices $\textbf{x}$. This completes the proof.
\endproof
The lemma above tells us that a optimal solution to the adversary's problem for which the adversary will force $G^n(\textbf{Y}^n|z_n,\textbf{a},\textbf{b})$ to their minimum or maximum values.
The next lemma further characterizes an important property of the robust optimal prices, which states that, under a robustly optimal solution, the adversary will always force $G^n(\textbf{Y}^n|z_n,\textbf{a},\textbf{b})$ to their minimums. This claim is similar to the claim in Lemma (ref). The proof is however more challenging due to the term $\sum_{t=1}^T \lambda_t \max\{0, (\textbf{d}^t)^{\mbox{\tiny T}} \textbf{p}^G - r_t\}$.
First, let $\textbf{z}^*$ be a robust optimal solution to the robust problem and $(\textbf{a}^*,\textbf{b}^*)$ be an optimal solution to the adversary problem such that $G^n(\textbf{Y}^n|z^*_n,\textbf{a}^{n*},\textbf{b}^{n*}) \in \Big\{\underline{{\mathcal{G}}}^n(z^*_n), \overline{{\mathcal{G}}}^n(z^*_n)\Big\}$. We also denote by ${\mathcal{T}}^*$ a subset of $[T]$ such that $(\textbf{d}^t)^{\mbox{\tiny T}} \widetilde{\textbf{p}}^G(\textbf{z}^*,\textbf{a}^{*}, \textbf{b}^{*}) \geq r_t$ for all $t\in{\mathcal{T}}^*$ and $(\textbf{d}^t)^{\mbox{\tiny T}} \widetilde{\textbf{p}}^G(\textbf{z}^*,\textbf{a}^{*}, \textbf{b}^{*}) < r_t$ if $t\notin {\mathcal{T}}^*$, and let
\[
\rho^* =\frac{\sum_{n\in[N]} \left(z_n - \sum_{t\in {\mathcal{T}}}\lambda_t d^t_n\right)G^n(\textbf{Y}^n|z^*_n,\textbf{a}^{n*},\textbf{b}^{n*}) }{1+\sum_n G^n(\textbf{Y}^n|z^*_n,\textbf{a}^{n*},\textbf{b}^{n*}) }.
\]
\begin{lemma}
$\rho^* < z^*_n - \sum_{t\in {\mathcal{T}}^*}\lambda_t d^t_i$, for all $n \in [N]$.
\end{lemma}
\proof{Proof:}
Let $k = \text{argmax}_{k\in[N]} z^*_k - \sum_{t\in {\mathcal{T}}^*}\lambda_t d^t_k$.
By contradiction, assume that $\rho^* \geq z^*_k - \sum_{t\in {\mathcal{T}}^*}\lambda_t d^t_k$.
According to Lemma (ref) and to facilitate the exposition, we also parameterize the adversary's objective function by a vector $\textbf{u}\in\{0,1\}^N$ as
\[
{\mathcal{L}}(\textbf{z}|\textbf{u}) = \psi(\textbf{z}|\textbf{u}) - \sum_{t=1}^T \lambda_t \max\{0, (\textbf{d}^t)^{\mbox{\tiny T}} \widetilde{\textbf{p}}^G(\textbf{z}|\textbf{u}) - r_t\}
\]
where $\psi(\textbf{z}|\textbf{u})$ is defined in (ref) and $\widetilde{\textbf{p}}^G(\textbf{z}|\textbf{u})$ is defined as
\[
\widetilde{\textbf{p}}^G(\textbf{z}|\textbf{u})_n = \frac{\theta^n(z_n)}{1+\sum_{n\in[N]} \theta^n (z_n)},
\]
where $\theta^n(z_n) = \underline{{\mathcal{G}}}^n(z_n)$ if $u_n=0$ and $\theta^n(z_n) = \overline{{\mathcal{G}}}^n(z_n)$ otherwise.
We also let
\begin{align}
\delta &= \min_{\textbf{u} \in\{0,1\}^N} \left\{{\mathcal{L}}(\textbf{z}^*|\textbf{u}) - f(\textbf{z}^*))\Big|\ {\mathcal{L}}(\textbf{z}^*|\textbf{u})>f(\textbf{z}^*) \right\},
\end{align}
with a note that we set $\delta = +\infty$ if the corresponding searching set is empty. Let $\textbf{U}^*$ be the set of parameter $\textbf{u}^*$ such that ${\mathcal{L}}(\textbf{z}^*|\textbf{u}^*) = f(\textbf{z}^*)$.
For any $\textbf{u}^*\in\textbf{U}^*$ and any $\epsilon>0$ we easily have $\widetilde{\textbf{p}}^G(\textbf{z}^*+\epsilon{\textbf{e}}^k|\textbf{u}^*)_n > \widetilde{\textbf{p}}^G(\textbf{z}^*|\textbf{u}^*)_n$. Moreover, from Lemma (ref) we have $\psi(\textbf{z}^*+ \epsilon {\textbf{e}}^k|\textbf{u}^*) > \psi(\textbf{z}^*+ \epsilon {\textbf{e}}^k|\textbf{u}^*)$, leading to the fact that, for any $\epsilon>0$ we have ${\mathcal{L}}(\textbf{z}^*+\epsilon {\textbf{e}}^k|\textbf{u}^*)> {\mathcal{L}}(\textbf{z}^*|\textbf{u}^*)$.
Moreover, since ${\mathcal{L}}(\textbf{z}|\textbf{u}^*)$ and $f(\textbf{z})$ are continuous in $\textbf{z}$, we always can select $\epsilon>0$ small enough such that
\begin{align}
{\mathcal{L}}(\textbf{z}^*|\textbf{u}^*) <{\mathcal{L}}(\textbf{x}+\epsilon {\textbf{e}}^k|\textbf{u}^*)\\
|f(\textbf{z}^*) - f(\textbf{z}^*+\epsilon {\textbf{e}}^k)|<\delta/2\\
\Big|{\mathcal{L}}(\textbf{z}^*+\epsilon {\textbf{e}}^k|\textbf{u}^\epsilon) - {\mathcal{L}}(\textbf{z}^*|\textbf{u}^\epsilon) \Big| <\delta/2,
\end{align}
where $\textbf{u}^\epsilon$ is a configuration of the adversary's problem under prices $\textbf{z}+\epsilon {\textbf{e}}^k$.
Applying the triangular inequality with (ref) and (ref) we have
\begin{align}
|f(\textbf{z}^*) -{\mathcal{L}}(\textbf{z}^*|\textbf{u}^\epsilon)|\leq |f(\textbf{z}^*) - f(\textbf{z}^*+\epsilon{\textbf{e}}^k)| + | f(\textbf{z}^*+\epsilon{\textbf{e}}^k)- {\mathcal{L}}(\textbf{z}^*|\textbf{u}^\epsilon)|<\delta.\nonumber
\end{align}
So, according to the definition of $\delta$ in (ref), we have $f(\textbf{z}^*) = {\mathcal{L}}(\textbf{z}^*|\textbf{u}^\epsilon)$, meaning that $\textbf{u}^\epsilon \in \textbf{U}^*$. So, we can always choose a configuration $\Bar{\textbf{u}} \in \textbf{U}^*$ such that $\Bar{\textbf{u}}$ is also a configuration for the adversary's problem under $\textbf{z}^*+\epsilon {\textbf{e}}^k$, i.e., ${\mathcal{L}}(\textbf{z}^*|\Bar{\textbf{u}}) = f(\textbf{z}^*)$ and ${\mathcal{L}}(\textbf{z}^*+\epsilon{\textbf{e}}^k|\Bar{\textbf{u}}) = f(\textbf{z}^*+\epsilon{\textbf{e}}^k)$.
Together with (ref), we have
\[
f(\textbf{z}^*) = {\mathcal{L}}(\textbf{z}^*,\Bar{\textbf{u}})< {\mathcal{L}}(\textbf{z}^*+\epsilon{\textbf{e}}^k|\Bar{\textbf{u}}) = f(\textbf{z}^*+\epsilon{\textbf{e}}^k),
\]
which is contradictory to our initial assumption that $\textbf{z}^*$ is a robust optimal solution. So our contradiction hypothesis is untrue and this completes the proof.
\endproof
We are now ready to show the proof of Theorem (ref).
\proof{Proof of Theorem (ref).}
From Lemma (ref) and (ref), we have that if $\textbf{z}^*$ is a robust optimal solution, then the adversary will force all $G^n(\textbf{Y}^n|z^*_n,\textbf{a}^{n},\textbf{b}^{n}) $ to their minimum values, i.e., $f(\textbf{z}^*) = {\mathcal{L}}(\textbf{z}^*|\textbf{u}^0)$, where $\textbf{u}^0$ is a vector of size $N$ with all zero entries. Moreover, $f(\textbf{z}^*) < {\mathcal{L}}(\textbf{z}^*|\textbf{u})$ for any $\textbf{u}\in\{0,1\}^N$, $\textbf{u}\neq \textbf{u}^0$. We now need to prove that $\textbf{z}^*$ is also optimal to the maximization problem $\max_{\textbf{x}} {\mathcal{L}}(\textbf{z}|\textbf{u}^0)$. In this case, the function ${\mathcal{L}}(\textbf{z}|\textbf{u}^0)$ is not differentiable in $\textbf{z}$, so we cannot use the techniques in the proof of Theorem (ref) above. Fortunately, if we consider the objective function ${\mathcal{L}}(\textbf{z}|\textbf{u}^0)$ as a function of the purchase probabilities ${\textbf{p}}^G$, then we can show that this function is strictly concave in ${\textbf{p}}^G$. To facilitate this point, lets us define
\[
{\mathcal{F}}(\textbf{p}^G|\textbf{u}^0) = {\mathcal{L}}(\textbf{z}|\textbf{u}^0) = \textbf{z}(\textbf{p}^G|\textbf{u}^0)^{\mbox{\tiny T}} \textbf{p}^G - \sum_{t=1}^T \lambda_t \max\{0, (\textbf{d}^t)^{\mbox{\tiny T}} \textbf{p}^G - r_t\}
\]
We know that the first term $\textbf{z}(\textbf{p}^G|\textbf{u}^0)^{\mbox{\tiny T}} \textbf{p}^G$ is strictly concave in $\textbf{p}^G$ (Theorem (ref)) and it is not difficult to show that $-\sum_{t=1}^T \lambda_t \max\{0, (\textbf{d}^t)^{\mbox{\tiny T}} \textbf{p}^G - r_t\}$ is concave in $\textbf{p}^G$. As a result, ${\mathcal{F}}(\textbf{p}^G|\textbf{u}^0)$ is strictly concave in $\textbf{p}^G$.
Now, let $\textbf{p}^{G*}$ be the purchase probabilities given by prices $\textbf{z}^*$. We will prove that $\textbf{p}^{G*} = \text{argmax}_{\textbf{p}^G} {\mathcal{F}}(\textbf{p}^G|\textbf{u}^0)$.
We omit $\textbf{u}^0$ for notational simplicity.
By contradiction, assume that $\widetilde{\textbf{p}} = \text{argmax}_{\textbf{p}^G} {\mathcal{F}}(\textbf{p}^G)$ and ${\mathcal{F}}(\widetilde{\textbf{p}})> {\mathcal{F}}({\textbf{p}^{G*}})$. Since ${\mathcal{F}}(\textbf{p}^G)$ is strictly concave in $\textbf{p}^G$, we have, for any $t\in(0,1)$,
\[
t {\mathcal{F}}(\widetilde{\textbf{p}})+ (1-t){\mathcal{F}}({\textbf{p}^{G*}}) <{\mathcal{F}}(t\widetilde{\textbf{p}} + (1-t)\textbf{p}^{G*})
\]
Since ${\mathcal{F}}(\widetilde{\textbf{p}}) \geq {\mathcal{K}}(t\widetilde{\textbf{p}} + (1-t)\textbf{p}^{G*})$, we have ${\mathcal{F}}({\textbf{p}^{G*}}) <{\mathcal{F}}(t\widetilde{\textbf{p}} + (1-t)\textbf{p}^{G*})$ for all $t\in(0,1)$. This also mean that for any $\epsilon>0$, we always can find a point $\textbf{p} \in {\mathcal{P}}^N$ such that $||\textbf{p}^{G*}-\textbf{p}||\leq \epsilon$ and ${\mathcal{F}}({\textbf{p}^{G*}})<{\mathcal{F}}({\textbf{p}})$.
Since $\textbf{p}^G(\textbf{z}|\textbf{u}^0)$ ($\textbf{p}^G$ as a function of $\textbf{z}$) is continuous in $\textbf{z}$, this also means that given any $\epsilon>0$, there always exists $\textbf{x}\in \mathbb{R}^m$ such that $||\textbf{x}-\textbf{x}^*||\leq \epsilon$ and ${\mathcal{L}}(\textbf{x}^*|\textbf{u}^0)<{\mathcal{L}}(\textbf{x}|\textbf{u}^0)$.
Now, similarly to the proof of Lemma (ref), let
\begin{equation}
\delta = \min_{\textbf{u}\in\{0,1\}^N}\left\{ {\mathcal{L}}(\textbf{z}^*|\textbf{u}) - {\mathcal{L}}(\textbf{z}^*|\textbf{u}^0)\Big|\ {\mathcal{L}}(\textbf{z}^*|\textbf{u}) > {\mathcal{L}}(\textbf{z}^*|\textbf{u}^0) \right\}
\end{equation}
Since $f(\textbf{z})$ and ${\mathcal{L}}(\textbf{z}|\textbf{u})$ are continuous in $\textbf{z}$, there is an $\epsilon>0$ such that, for all $\textbf{z}\in\mathbb{R}^m$, $||\textbf{z}^*-\textbf{z}||\leq \epsilon$
\begin{equation}
\begin{cases}
|f(\textbf{z}^*) - f(\textbf{z})| <\delta/2 \\
|{\mathcal{L}}(\textbf{z}^*|\textbf{u}^\textbf{z}) - {\mathcal{L}}(\textbf{z}|\textbf{u}^\textbf{z})|<\delta/2,
\end{cases}
\end{equation}
where $(\textbf{u}^\textbf{z})$ is a configuration vector of the adversary's problem (ref) under prices $\textbf{z}$.
As a result, for all $\textbf{z}$ such that $||\textbf{z}^*-\textbf{z}||\leq \epsilon$
\[
|{\mathcal{L}}(\textbf{z}^*|\textbf{u}^0) - {\mathcal{L}}(\textbf{z}^*|{\textbf{u}^\textbf{z}})|<\tau.
\]
Combine this with (ref), since
$\textbf{u}^0$ is the unique configuration for the adversary's problem under prices $\textbf{z}^*$, we have that for all $\textbf{z}$ such that $||\textbf{z}^*-\textbf{z}||\leq \epsilon$, ${\textbf{u}^\textbf{z}} = \textbf{u}^0$. Moreover, we have shown that given any $\epsilon>0$, there exists $\overline{\textbf{z}}$ such that $||\overline{\textbf{z}}-\textbf{z}^*||\leq \epsilon$ and ${\mathcal{L}}(\overline{\textbf{z}}|\textbf{u}^0)>{\mathcal{L}}(\textbf{z}^*|\textbf{u}^0)$. So, if we choose $\epsilon>0$ and small enough, we have
\[
f(\Bar{\textbf{z}}) = {\mathcal{L}}(\Bar{\textbf{z}}|\textbf{u}^{\Bar{\textbf{z}}}) = {\mathcal{L}}(\Bar{\textbf{z}}|\textbf{u}^0) >{\mathcal{L}}({\textbf{z}^*}|\textbf{u}^0) = f(\textbf{z}^*).
\]
This is contradictory to the assumption that $\textbf{z}^*$ is a robust optimal solution.
So, our contradiction hypothesis that $\textbf{p}^{G*}$ is not optimal to $\max_{\textbf{p}^G} {\mathcal{F}}(\textbf{p}^G|\textbf{u}^0)$ is untrue, meaning $\textbf{z}^*$ is optimal to $\max_\textbf{z} {\mathcal{L}}(\textbf{z}|\textbf{u}^0)$. Moreover, $\max_{\textbf{p}^G} {\mathcal{F}}(\textbf{p}^G|\textbf{u}^0)$ always yields a unique solution as the objective function is strictly concave,
$\max_\textbf{z} {\mathcal{L}}(\textbf{z}|\textbf{u}^0)$ also yields a unique solution and this solution is also a unique robust optimal solution to (ref).
We need a final step to complete the proof. We can easily see that Problem (ref) can be converted equivalently as
\begin{align}
\underset{\textbf{p}^G,\textbf{y}}{\text{max}}\qquad &{\mathcal{W}}(\textbf{z}(\textbf{p}^G)) - \sum_{t=1}^T \lambda_t y_t & \nonumber \\
\text{subject to} \qquad & (\textbf{d}^t)^{\mbox{\tiny T}} \textbf{p}^G - y_t \leq r_t & \nonumber\\
& \sum_{n\in [N]}p^G_n \leq 1& \nonumber\\
& \textbf{p}^G,\textbf{y}\geq 0. & \nonumber
\end{align}
which is a convex optimization problem, as ${\mathcal{W}}(\textbf{z}(\textbf{p}^G))$ is strictly concave (ref).
\subsubsection{Proof of Theorem (ref)}
First, let us consider the deterministic version of the pricing problem with penalties, which can be formulated as the convex optimization problem
\begin{align}
\underset{\textbf{p},\textbf{y}}{\text{max}}\qquad & \sum_{i\in{\mathcal{V}}}\left( \textbf{x}(\textbf{p}|\textbf{a},\textbf{b},G)_i-c_i\right)p_i - \sum_{t=1}^T \lambda_t y_t & \\
\text{subject to} \qquad & (\pmb{\alpha}^t)^{\mbox{\tiny T}} \textbf{p} - y_t \leq r_t & \nonumber\\
& \sum_{i\in {\mathcal{V}}}p_i \leq 1& \nonumber\\
& \textbf{p},\textbf{y}\geq 0. & \nonumber
\end{align}
Before moving to a robust version, we investigate some characteristics of the deterministic pricing problem with penalties (ref). First, let us denote by $v^*$ and $\textbf{p}^*$ the optimal value and optimal solution of the standard pricing problem under expected sale constraints and $v^{\pmb{\lambda}}$ and $\textbf{p}^{\pmb{\lambda}}$ the optimal value and optimal solution to the pricing problem with over-expected-sale penalties (ref). Theorem (ref) below shows that the expected value given by (ref) will converges to the optimal expected revenue given by the constrained pricing problem
when $\lambda_t$, $\forall t\in[T]$, increase to infinity.
\begin{theorem}[Convergence of the optimal value when the penalty parameters increase]
For any $\epsilon>0$, we have
\begin{itemize}
• For any $\pmb{\lambda}^1, \pmb{\lambda}^2 \in\mathbb{R}^T_+$ such that $\pmb{\lambda}^1 - \pmb{\lambda}^2 = \epsilon \textbf{1}$, $$\sum_{t}\max\{0,(\pmb{\alpha}^t)^{\mbox{\tiny T}} \textbf{p}^{\pmb{\lambda}^1} - r_t\} \leq \sum_{t}\max\{0,(\pmb{\alpha}^t)^{\mbox{\tiny T}} \textbf{p}^{\pmb{\lambda}^2} - r_t\},$$
where $\textbf{1}$ is a unit vector of appropriate size.
• $v^{\pmb{\lambda}} \geq v^*$ for all $\pmb{\lambda}\in\mathbb{R}^T_+$ and if $\lambda_0 = \min_{t\in [T]}\lambda_t \geq (\Delta^* - v^*)/\epsilon$ then $\sum_{t}\max\{0,(\pmb{\alpha}^t)^{\mbox{\tiny T}} \textbf{p}^{\pmb{\lambda}} - r_t\}\leq \epsilon$, where $\Delta^* = \max_{\textbf{x}}\Phi(\textbf{x}, \textbf{a},\textbf{b})$.
• Assume that there are positive constant $L_i,l_i$, $i\in {\mathcal{V}}$ such that $Y_i\partial G_i(\textbf{Y})$ is bounded from above by $L_iY_i^{li}$ for all prices $\textbf{x} \geq 0$, then for any $\epsilon$ such that
\[
\epsilon \leq {\min_{t,i} \{\alpha^t_i|\ \alpha^t_i> 0\}}\min_t\left\{\frac{r_t}{(\pmb{\alpha}^t)^{\mbox{\tiny T}} \textbf{1}}\right\},
\]
then if we choose $\lambda_0\geq (\Delta^* - v^*)/\epsilon$, we can upper-bound $|v^{\pmb{\lambda}} - v^*|$ as
\[
|v^{\pmb{\lambda}} - v^*|\leq \max\left\{\max_i\left\{\frac{a_i}{b_i} - \frac{1}{b_il_i}\log \frac{\delta(\epsilon)}{L_i}\right\}, 0\right\} \frac{m\epsilon}{\min_{t,i} \{\alpha^t_i|\ \alpha^t_i> 0\}},
\]
where $\delta(\epsilon) = \min_t\left\{\frac{r_t}{(\pmb{\alpha}^t)^{\mbox{\tiny T}} \textbf{1}}\right\} - \frac{\epsilon}{\min_{t,i} \{\alpha^t_i|\ \alpha^t_i> 0\}}$, and this upper bound converges to zero linearly when $\epsilon$ tends to zero.
\end{itemize}
\end{theorem}
\proof{Proof:}
First, for notational simplicity we denote $R(\textbf{p}) = \sum_{i\in{\mathcal{V}}}\left( \textbf{x}(\textbf{p}|\textbf{a},\textbf{b},G)_i-c_i\right)p_i$.
For (i), we have the following inequalities
\begin{align}
R(\textbf{p}^{{\pmb{\lambda}}^1}) &- \sum_{t} \lambda^1_t \max\{0,(\pmb{\alpha}^t)^{\mbox{\tiny T}} \textbf{p}^{\pmb{\lambda}^1} - r_t\} \geq R(\textbf{p}^{{\pmb{\lambda}}^2}) - \sum_{t}\lambda^1_t\max\{0,(\pmb{\alpha}^t)^{\mbox{\tiny T}} \textbf{p}^{\pmb{\lambda}^2} - r_t\}\nonumber \\
& = R(\textbf{p}^{{\pmb{\lambda}}^2}) - \sum_{t}\lambda^2_t\max\{0,(\pmb{\alpha}^t)^{\mbox{\tiny T}} \textbf{p}^{\pmb{\lambda}^2} - r_t\} -\epsilon \sum_{t}\max\{0,(\pmb{\alpha}^t)^{\mbox{\tiny T}} \textbf{p}^{\pmb{\lambda}^2} - r_t\} \nonumber \\
& \geq R(\textbf{p}^{{\pmb{\lambda}}^1}) - \sum_{t}\lambda^2_t\max\{0,(\pmb{\alpha}^t)^{\mbox{\tiny T}} \textbf{p}^{\pmb{\lambda}^1} - r_t\} -\epsilon \sum_{t}\max\{0,(\pmb{\alpha}^t)^{\mbox{\tiny T}} \textbf{p}^{\pmb{\lambda}^2} - r_t\} \nonumber
\end{align}
So, we have
\[
\epsilon \sum_{t}\max\{0,(\pmb{\alpha}^t)^{\mbox{\tiny T}} \textbf{p}^{\pmb{\lambda}^2} - r_t\} \geq \sum_t (\lambda^1_t-\lambda^2_t)\max\{0,(\pmb{\alpha}^t)^{\mbox{\tiny T}} \textbf{p}^{\pmb{\lambda}^1} - r_t\},
\]
which leads to the desired inequality.
For (ii), since $(\pmb{\alpha}^t)^{\mbox{\tiny T}} \textbf{p}^* \leq r_t$ for all $t$, given ${\pmb{\lambda}}\in\mathbb{R}^T_+$, we have
\[
v^{{\pmb{\lambda}}} \geq R(\textbf{p}^*) - \sum_{t}\lambda_t \max\{0,(\pmb{\alpha}^t)^{\mbox{\tiny T}} \textbf{p}^* - r_t\} = R(\textbf{p}^*) = v^*.
\]
Moreover, since
$v^{{\pmb{\lambda}}} - v^* = R(\textbf{p}^{{\pmb{\lambda}}})- v^* - \sum_{t}\lambda_t \max\{0,(\pmb{\alpha}^t)^{\mbox{\tiny T}} \textbf{p}^{{\pmb{\lambda}}} - r_t\}$, we have
\begin{equation}
R(\textbf{p}^{{\pmb{\lambda}}})- v^* \geq \sum_{t}\lambda_t \max\{0,(\pmb{\alpha}^t)^{\mbox{\tiny T}} \textbf{p}^{{\pmb{\lambda}}} - r_t\}\geq \lambda_0 \sum_{t} \max\{0,(\pmb{\alpha}^t)^{\mbox{\tiny T}} \textbf{p}^{{\pmb{\lambda}}} - r_t\}
\end{equation}
The left hand side of (ref) is less than $\Delta^*-v^*$, so if we choose $\lambda_0\geq (\Delta^*-v^*)/\epsilon$ then $\sum_{t} \max\{0,(\pmb{\alpha}^t)^{\mbox{\tiny T}} \textbf{p}^{{\pmb{\lambda}}} - r_t\} \leq \epsilon$ as desired.
We move to (iii).
As shown previously, we can choose $\lambda_0$ such that $\max\{0,(\pmb{\alpha}^t)^{\mbox{\tiny T}} \textbf{p}^{{\pmb{\lambda}}} - r_t\} \leq \epsilon$ or $(\pmb{\alpha}^t)^{\mbox{\tiny T}} \textbf{p}^{{\pmb{\lambda}}} \leq r_t+ \epsilon$ for all $t\in[T]$. We now consider the following problem
\begin{equation}
\max_{\substack{\textbf{p}\geq 0 \\\sum_i p_i\leq 1}}\left\{R(\textbf{p})\Big| \ (\pmb{\alpha}^t)^{\mbox{\tiny T}} \textbf{p} \leq r_t+ \epsilon,\ \forall t \right\}
\end{equation}
and denote by ${\textbf{p}}^\epsilon$ as an optimal solution to (ref). Since $\textbf{p}^{{\pmb{\lambda}}}$ is feasible to (ref) we have $R({\textbf{p}}^\epsilon) \geq R(\textbf{p}^{{\pmb{\lambda}}})$. Moreover, if we define ${\mathcal{P}} := \{\textbf{p}\in\mathbb{R}^m|\ p_i\geq 0, \sum_i p_i\leq 1,\ (\pmb{\alpha}^t)^{\mbox{\tiny T}} \textbf{p}^{{\pmb{\lambda}}} \leq r_t,\forall t\in [T]\}$, then $v^*\geq R(\textbf{p})$ for all $\textbf{p}\in{\mathcal{P}}$.
Therefore, we have
\begin{equation}
|v^{\pmb{\lambda}} - v^*| \leq R({\textbf{p}}^\epsilon) - R(\textbf{p}),\ \forall \textbf{p} \in {\mathcal{P}}.
\end{equation}
We will show that there is $\textbf{p}\in {\mathcal{P}}$ such that $||\textbf{p}^\epsilon - \textbf{p}||$ can be arbitrarily small when $\epsilon$ decreases, which allows us to use the \textit{Mean Value Theorem} to bound $|R({\textbf{p}}^\epsilon) - R(\textbf{p})|$.
If $\textbf{p}^\epsilon\in {\mathcal{P}}$, then the result is obvious and we have $|v^{\pmb{\lambda}} - v^*| = 0$. Now assume that $\textbf{p}^\epsilon\notin {\mathcal{P}}$, let ${\mathcal{T}}:= \{t\in[T]|\ (\pmb{\alpha}^t)^{\mbox{\tiny T}} \textbf{p}^\epsilon > r_t\}$ and for any $t\in{\mathcal{T}}$ we select $i_t = \text{argmax}_{i\in{\mathcal{V}}} \{ p^\epsilon_i|\ \alpha^t_i>0 \}$. Then we denote ${\mathcal{I}} = \{i_t|\ t\in {\mathcal{T}}\}$. We pick a $\widetilde{\textbf{p}}$ such that
\begin{equation}
\begin{cases}
\widetilde{p}_{i} = p^\epsilon_{i} - {\epsilon}/({\min_{t,j} \{\alpha^t_j|\ \alpha^t_j> 0\}}),\ \forall i\in{\mathcal{I}} \\
\widetilde{p}_{j} = p^\epsilon_{j},\ \forall j\notin {\mathcal{I}}.
\end{cases}
\end{equation}
With this selection, we see that, for any $t\in{\mathcal{T}}$
\begin{equation}
\begin{aligned}
(\pmb{\alpha}^t)^{\mbox{\tiny T}} \widetilde{\textbf{p}} &\leq (\pmb{\alpha}^t)^{\mbox{\tiny T}} {\textbf{p}}^\epsilon - \alpha^t_{i_t} \epsilon/({\min_{t,i} \{\alpha^t_i|\ \alpha^t_i> 0\}}) \\
&\leq (\pmb{\alpha}^t)^{\mbox{\tiny T}} {\textbf{p}}^\epsilon - \epsilon \leq r_t.
\end{aligned}
\end{equation}
And indeed for any $t\notin{\mathcal{T}}$ we have $(\pmb{\alpha}^t)^{\mbox{\tiny T}} \widetilde{\textbf{p}} \leq (\pmb{\alpha}^t)^{\mbox{\tiny T}} {\textbf{p}^\epsilon}\leq r_t$.
Furthermore, for any $t\in{\mathcal{T}}$, we have $(\pmb{\alpha}^{t})^{\mbox{\tiny T}} \textbf{p}^\epsilon>r_{t}$. Combine this with the fact that $i_t = \text{argmax}_{i\in{\mathcal{V}}} \{ p^\epsilon_i|\ \alpha^t_i>0 \}$ we have
\[
\left(\sum_{i}\alpha^t_i \right)p^{\epsilon}_{t_t} \geq (\pmb{\alpha}^{t})^{\mbox{\tiny T}} \textbf{p}^\epsilon > r_t.
\]
So, under the assumption on the selection of $\epsilon$, we have the chain of inequalities
\[
p^\epsilon_{i_t} >\frac{r_{t}}{(\pmb{\alpha}^{t})^{\mbox{\tiny T}} \textbf{1}}\geq \min_t\left\{\frac{r_t}{(\pmb{\alpha}^t)^{\mbox{\tiny T}} \textbf{1}}\right\} \geq \frac{\epsilon}{\min_{t,i} \{\alpha^t_i|\ \alpha^t_i> 0\}},
\]
meaning that $\widetilde{\textbf{p}}> 0$. So, combine with (ref) we have $\widetilde{\textbf{p}}\in{\mathcal{P}}$.
Moreover, for any point $\textbf{p}' \in [\widetilde{\textbf{p}},\textbf{p}^\epsilon]$ and any $i\in {\mathcal{I}}$, we have
\begin{align}
p'_{i} \geq \widetilde{p}_{i} &= p^\epsilon_i - \frac{\epsilon}{\min_{t,i} \{\alpha^t_i|\ \alpha^t_i> 0\}} \nonumber\\
&> \min_t\left\{\frac{r_t}{(\pmb{\alpha}^t)^{\mbox{\tiny T}} \textbf{1}}\right\} - \frac{\epsilon}{\min_{t,i} \{\alpha^t_i|\ \alpha^t_i> 0\}} := \delta(\epsilon).
\end{align}
So, if we denote $\textbf{x}' = \textbf{x}(\textbf{p}',G)$ (i.e., the prices that result in purchase probabilities $\textbf{p}'$).
For any $i\in{\mathcal{I}}$, under the assumption that $Y_i\partial G_i(\textbf{Y})\leq L_iY_i^{l_i}$ we have
\[
\begin{aligned}
L_{i}Y_{i}(\textbf{x}')^{l_{i}}& \geq p'_i (1+G(\textbf{Y}(\textbf{x}'))) \\
&\geq p'_i \geq \delta(\epsilon),
\end{aligned}
\]
where $\textbf{Y}(\textbf{x}')$ is a vector of size $m$ with entries $Y_j(\textbf{x}') = \exp(a_j-b_jx'_j)$, $\forall j\in{\mathcal{V}}$. So we have
\[
x'_i \leq \frac{a_i}{b_i} - \frac{1}{b_il_i}\log \frac{\delta(\epsilon)}{L_i}.
\]
Moreover, if we look at the gradient of $R(\textbf{p})$ at $p'_{i}$. According to Theorem 4.3 in zhang2018multiproduct we have
\begin{equation}
\nabla_{\textbf{p}} R(\textbf{p}')_{i} \leq x'_{i} \leq \max_j\left\{\frac{a_j}{b_j} - \frac{1}{b_jl_j}\log \frac{\delta(\epsilon)}{L_j}\right\}.
\end{equation}
Now, we look at $|R(\textbf{p}^\epsilon) - R(\widetilde{\textbf{p}})|$ and by combining (ref), (ref), the \textit{Mean Value Theorem} tells us that there is $\textbf{p}'\in[\widetilde{\textbf{p}},\textbf{p}^\epsilon]$
\begin{align}
|R(\textbf{p}^\epsilon) - R(\widetilde{\textbf{p}})| &= \sum_{i\in {\mathcal{I}}} \nabla_\textbf{p} R(\textbf{p}')_{i} |\widetilde{p}_{i} - p^\epsilon_{i}|\nonumber\\
&\leq \max_i\left\{\frac{a_i}{b_i} - \frac{1}{b_il_i}\log \frac{\delta(\epsilon)}{L_i}\right\} \frac{m\epsilon}{\min_{t,i} \{\alpha^t_i|\ \alpha^t_i> 0\}}
\end{align}
Combine (ref) with (ref) and recall that $\widetilde{\textbf{p}}\in{\mathcal{P}}$, we have
\[
|v^{\pmb{\lambda}} - v^*|\leq \max_i\left\{\frac{a_i}{b_i} - \frac{1}{b_il_i}\log \frac{\delta(\epsilon)}{L_i}\right\} \frac{m\epsilon}{\min_{t,i} \{\alpha^t_i|\ \alpha^t_i> 0\}}.
\]
Combine with the case $\textbf{p}^\epsilon \in{\mathcal{P}}$, we obtain the desired bound, which definitely converge to zero when $\epsilon$ tends to zero, as desired. Q.E.D.
\endproof
Now we are ready for the main proof.
\proof{Proof of Theorem (ref):}
Using a similar evaluation as in (ref) we can have
\[
{\mathcal{W}}(\textbf{z}(\textbf{p}^{G,{\pmb{\lambda}}})) - \overline{\varphi} \geq \sum_{t}\lambda_t \max\{0,(\textbf{d}^t)^{\mbox{\tiny T}} \textbf{p}^{G,{\pmb{\lambda}}} - r_t\}\geq \lambda_0 \sum_{t} \max\{0,(\textbf{d}^t)^{\mbox{\tiny T}} \textbf{p}^{G,{\pmb{\lambda}}} - r_t\}
\]
and we also wee that the left hand side of the above is less than $\Delta^*-\overline{\varphi}$. Thus, if we choose $\lambda_0 \geq (\Delta^*-\overline{\varphi})/\epsilon$, the we have $\sum_{t}\lambda_t \max\{0,(\textbf{d}^t)^{\mbox{\tiny T}} \textbf{p}^{G,{\pmb{\lambda}}} - r_t\} \leq \epsilon$.
To prove the second claim of the corollary, we can choose $\lambda_0$ such that $\sum_{t}\lambda_t \max\{0,(\textbf{d}^t)^{\mbox{\tiny T}} \textbf{p}^{G,{\pmb{\lambda}}} - r_t\} \leq \epsilon$ and consider $\textbf{p}^{G,\epsilon}$ as an optimal solution to the following problem
\begin{equation}
\max_{\substack{\textbf{p}^{G}\in{\mathcal{P}}^G}}\left\{{\mathcal{W}}(\textbf{z}(\textbf{p}^G))\Big| \ (\textbf{d}^t)^{\mbox{\tiny T}} \textbf{p}^G \leq r_t+ \epsilon,\ \forall t \right\}.
\end{equation}
Let us define $\widetilde{{\mathcal{P}}}^G = \{\textbf{p}^G\in{\mathcal{P}}^G|(\textbf{d}^t)^{\mbox{\tiny T}} \textbf{p}^G \leq r_t,\ \forall t\}$. Then, we have
\begin{equation}
|\varphi^{\textsc{RO},{\pmb{\lambda}}} - \overline{\varphi}| \leq {\mathcal{W}}(\textbf{z}(\textbf{p}^{G,\epsilon})) - {\mathcal{W}}(\textbf{z}(\textbf{p}^G)),\;\forall \textbf{p}^G\in \widetilde{{\mathcal{P}}}^G.
\end{equation}
We now try to bound ${\mathcal{W}}(\textbf{z}(\textbf{p}^{G,\epsilon})) - {\mathcal{W}}(\textbf{z}(\textbf{p}^G))$ using the \textit{Mean Value Theorem}. We see that if $\textbf{p}^{G,\epsilon}\in \widetilde{{\mathcal{P}}}^G$ then $\varphi^{\textsc{RO},{\pmb{\lambda}}} = \overline{\varphi}$. Otherwise, assume that $\textbf{p}^{G,\epsilon}\notin \widetilde{{\mathcal{P}}}^G$, let ${\mathcal{T}}:= \{t\in[T]|\ (\textbf{d}^t)^{\mbox{\tiny T}} \textbf{p}^{G,\epsilon} > r_t\}$ and for any $t\in{\mathcal{T}}$ we select $n_t = \text{argmax}_{n\in [N]} \{ p^{G,\epsilon}_n|\ d^t_n>0 \}$. We also denote ${\mathcal{I}} = \{n_t|\ t\in {\mathcal{T}}\}$. We pick a vector $\widetilde{\textbf{p}}^G$ such that
\begin{equation}
\begin{cases}
\widetilde{p}^G_{n} = p^{G,\epsilon}_{n} - {\epsilon}/({\min_{t,k\in[N]} \{d^t_k|\ \alpha^t_k> 0\}}),\ \forall k\in{\mathcal{I}} \\
\widetilde{p}^G_{k} = p^{G,\epsilon}_{k},\ \forall k\notin {\mathcal{I}}.
\end{cases}
\end{equation}
Then for any $t\in{\mathcal{T}}$ we have
\begin{equation}
\begin{aligned}
(\textbf{d}^t)^{\mbox{\tiny T}} \widetilde{\textbf{p}}^G &\leq (\textbf{d}^t)^{\mbox{\tiny T}} {\textbf{p}}^{G,\epsilon} - d^t_{n_t} \epsilon/({\min_{t,k} \{d^t_k|\ d^t_k> 0\}}) \\
&\leq (\textbf{d}^t)^{\mbox{\tiny T}} {\textbf{p}}^{G,\epsilon} - \epsilon \leq r_t.
\end{aligned}
\end{equation}
Now, for any $t\notin{\mathcal{T}}$ we have $(\textbf{d}^t)^{\mbox{\tiny T}} \widetilde{\textbf{p}}^G \leq (\textbf{d}^t)^{\mbox{\tiny T}} {\textbf{p}^{G,\epsilon}}\leq r_t$.
Furthermore, for any $t\in{\mathcal{T}}$, we have $(\textbf{d}^{t})^{\mbox{\tiny T}} \textbf{p}^{G,\epsilon}>r_{t}$. Combine this with the selection of $n_t$ as $n_t = \text{argmax}_{n\in[N]} \{ p^{G,\epsilon}_n|\ d^t_n>0 \}$ we have
\[
\left(\sum_{n}d^t_n \right)p^{G,\epsilon}_{n_t} \geq (\textbf{d}^{t})^{\mbox{\tiny T}} \textbf{p}^{G,\epsilon} > r_t.
\]
So, from the selection of $\epsilon$, we have
\[
p^\epsilon_{n_t} >\frac{r_{t}}{(\textbf{d}^{t})^{\mbox{\tiny T}} \textbf{1}}\geq \min_t\left\{\frac{r_t}{(\textbf{d}^t)^{\mbox{\tiny T}} \textbf{1}}\right\} \geq \frac{\epsilon}{\min_{t,n} \{d^t_n|\ d^t_n> 0\}}.
\]
Thus,
$\widetilde{\textbf{p}}^G\in \widetilde{{\mathcal{P}}}^G$. Moreover, for any
for any point $\textbf{p}' \in [\widetilde{\textbf{p}}^G,\textbf{p}^{G,\epsilon}]$ and any $n\in {\mathcal{I}}$, we have
\begin{align}
p'_{n} \geq \widetilde{p}_{n} &= p^{G,\epsilon}_n - \frac{\epsilon}{\min_{t,n\in[N]} \{d^t_n|\ d^t_n> 0\}} \geq \min_t\left\{\frac{r_t}{(\textbf{d}^t)^{\mbox{\tiny T}} \textbf{1}}\right\} - \frac{\epsilon}{\min_{t,n} \{d^t_n|\ d^t_n> 0\}} := \delta^G(\epsilon). \nonumber
\end{align}
Hence, if we denote $\textbf{z}' =\textbf{z}(\textbf{p}')$ (i.e., the prices that result in the purchase probabilities $\textbf{p}'$), then for any $n\in{\mathcal{I}}$, under the assumption that $Y_i\partial G_i(\textbf{Y})\leq L_iY_i^{l_i}$ we have $$G^n(\textbf{Y}^n) = \sum_{i\in {\mathcal{V}}_n}Y_i\partial G_i(\textbf{Y}) \leq \sum_{i\in {\mathcal{V}}_n} L_iY_i^{l_i} \leq |{\mathcal{V}}_n|L_{i_n}Y_{i_n}^{l_{i_n}}, $$
where $i_n\in {\mathcal{V}}_n$ is chosen such that $L_{i_n}Y_i^{l_{i_n}} = \max_{i\in {\mathcal{V}}_n} L_iY_i^{l_i}$. We have
\[
\begin{aligned}
L_{i_n}Y_{i_n}(\textbf{z}')^{l_{i_n}}& \geq p'_i /|{\mathcal{V}}_n| \\
&\geq \delta(\epsilon)/|{\mathcal{V}}_n|,
\end{aligned}
\]
Moreover, we can write $Y(\textbf{z}')_{i_n} = \exp(a_{i_n}-b_{i_n}z'_n - b_{i_n}c_{i_n})$, for a given $(\textbf{a},\textbf{b}\in {\mathcal{A}})$. So we have
\[
z'_n \leq \max_{(\textbf{a},\textbf{b}) \in{\mathcal{A}}} \max_{i\in {\mathcal{V}}_n}\left\{\frac{a_i - b_ic_i}{b_i} - \frac{1}{b_il_i |{\mathcal{V}}_n|}\log \frac{\delta(\epsilon)}{L_i} \right\}.
\]
Moreover, looking at the gradient of ${\mathcal{W}}(\textbf{z}(\textbf{p}))$ at $p'_{n}$, we also see that there is a vector of parameters $(\textbf{a},\textbf{b})\in{\mathcal{A}}$ such that
\begin{equation}
\nabla_{\textbf{p}} {\mathcal{W}}(\textbf{z}(\textbf{p}'))_{n} \leq z'_{n} \leq \max_{(\textbf{a},\textbf{b}) \in{\mathcal{A}}} \max_{i\in {\mathcal{V}}_n}\left\{\frac{a_i - b_ic_i}{b_i} - \frac{1}{b_il_i |{\mathcal{V}}_n|}\log \frac{\delta(\epsilon)}{L_i} \right\}.
\end{equation}
Now, using the \textit{Mean Value Theorem}, there is $\textbf{p}'\in[\widetilde{\textbf{p}}^G,\textbf{p}^{G,\epsilon}]$ such that
\begin{align}
|{\mathcal{W}}(\textbf{z}(\textbf{p}^{G,\epsilon})) - {\mathcal{W}}(\textbf{z}(\widetilde{\textbf{p}}^G))| &= \sum_{n\in {\mathcal{I}}} \nabla_{\textbf{p}} {\mathcal{W}}(\textbf{z}(\textbf{p}'))_{n} |\widetilde{p}^G_{n} - p^{G,\epsilon}_{n}|\nonumber\\
&\leq \max_{(\textbf{a},\textbf{b}) \in{\mathcal{A}}} \max_{n\in [N], i\in {\mathcal{V}}_n}\left\{\frac{a_i - b_ic_i}{b_i} - \frac{1}{b_il_i |{\mathcal{V}}_n|}\log \frac{\delta(\epsilon)}{L_i} \right\}\frac{N\epsilon}{\min_{t,n\in[N]} \{d^t_n|\ d^t_n> 0\}}
\end{align}
Combine (ref) with (ref) and recall that $\widetilde{\textbf{p}}\in\widetilde{{\mathcal{P}}}^G$, we have
\begin{equation}
|\varphi^{\textsc{RO},{\pmb{\lambda}}} - \overline{\varphi}| \leq \max_{(\textbf{a},\textbf{b}) \in{\mathcal{A}}} \max_{n\in[N],i\in {\mathcal{V}}_n}\left\{\frac{a_i - b_ic_i}{b_i} - \frac{1}{b_il_i |{\mathcal{V}}_n|}\log \frac{\delta(\epsilon)}{L_i} \right\}\frac{N\epsilon}{\min_{t,n\in[N]} \{d^t_n|\ d^t_n> 0\}}
\end{equation}
Combine with the case $\textbf{p}^{G,\epsilon} \in \widetilde{{\mathcal{P}}}^G$, we obtain the desired bound. Since ${\mathcal{A}}$ is bounded, the left hand side of (ref) will always converges to zero when $\epsilon$ tends to zero, as desired.
\endproof
\subsection{Experiments}
Our goal here is to illustrate how the robust model with over-expected-sale penalties performs, as compared to other baseline approaches, i.e., deterministic and sampling-based counterparts.
We employ the same nested logit model with partition-wise homogeneous PSP considered above.
We create one expected sale constraint (i.e., $T=1$) in such a way that the optimal prices from the unconstrained problem do not satisfy the expected sale constraint.
We solve the deterministic problem with the weighted average parameters $\widetilde{\textbf{w}} = \sum_{k\in [K]} \tau_k \textbf{w}^k$ to obtain a solution $\textbf{x}^{\textsc{DET}}$.
Then, for each uncertainty level $\epsilon>0$ we solve the RO problem by convex optimization to obtain a robust solution $\textbf{x}^\textsc{RO}$. For the sampling-based approach, we also sample $10$ and $50$ points from the uncertainty set to get solutions $\textbf{x}^{\textsc{SA10}}$ and $\textbf{x}^{\textsc{SA50}}$, respectively.
We do not select a large sample size for the sampling-based approach due to the fact that the number of points $s_1$ is also the number of convex optimization problems to be solved, and these optimization problems, even-though computationally tractable, are still expensive to be done.
To evaluate the performance of the solutions obtained, similarly to the other cases, we sample randomly and uniformly 1000 points from ${\mathcal{A}}$ and compute the corresponding expected revenues given by the four solutions $\textbf{x}^{\textsc{DET}}$, $\textbf{x}^{\textsc{SA10}}, \textbf{x}^{\textsc{SA50}}$ and $\textbf{x}^{\textsc{RO}}$.
The distributions of the profit values (the expected revenue minus the penalty cost) for different $\lambda$ and $\epsilon$ are plotted in Figure (ref), where similar observations apply.
The histograms given by $\textbf{x}^\textsc{RO}$ always have higher peaks, smaller variances, shorter tails and get tighter as $\epsilon$ increases, as compared to the other solutions.
The histograms given by $\textbf{x}^{\textsc{SA50}}$ are quite similar to those from $\textbf{x}^{\textsc{SA10}}$ and also have higher peaks and smaller variances, as compared to those from $\textbf{x}^{\textsc{DET}}$
In general, we also see that the RO approach always gives higher worst-case but lower average profits.
The SA10 and SA50 also provide some protections against worst-case scenarios. The protection becomes better when the same size increases, which is rational given the fact that the minimax equality holds, thus a solution to the SA will approach a robust solution when the same size grows.
\begin{figure}[htb]
\caption{Distributions of the profit values under over-expected-sale penalties given by $\textbf{x}^\textsc{RO}$, $\textbf{x}^{\textsc{DET}}$, $\textbf{x}^\textsc{SA10}$, $\textbf{x}^{\textsc{SA50}}$.}
\end{figure}
\fi