REVIEW 3 major objections 6 minor 30 references
Robust Dynamic Edge Service Placement Under Spatio-Temporal Correlated Demand Uncertainty
T0 review · 3 major / 6 minor · reviewed 2026-08-11 · deepseek-v4-flash
Pith's one-line read This paper claims that a two-stage robust edge service placement problem with integer recourse variables can be solved exactly by an iterative decomposition algorithm with finite convergence, and that dynamic spatio-temporal uncertainty…
desk verdict Genuinely new model combining dynamic placement with an autoregressive uncertainty set, but the finite exact convergence claim for ROD is not proven because the worst-case MILP-recourse demand need not be an extreme point of D2. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The two load-bearing objects are the dynamic uncertainty set $\mathcal{D}_2$ and the ROD decomposition. $\mathcal{D}_2$ models the demand deviation at each access point as a multivariate auto-regressive process of order $L$ with a spatial coupling term, so the set of possible future demands shrinks as historical deviations are revealed; this is what makes the robust solution less conservative. ROD splits the tri-level problem into an outer column-and-constraint generation loop over the extreme points of $\mathcal{D}_2$ and an inner loop that handles the binary service-placement and download variables. The inner loop's master problem is reformulated into a single-level MILP using strong duality for the continuous recourse and McCormick envelopes for the bilinear products between dual variables and demand deviations. The convergence argument rests on $\mathcal{D}_2$ being a compact convex polytope with finitely many extreme points: any repeated extreme point forces the upper and lower bounds to coincide.
What would settle it
Solve a one-period, one-EN, two-AP instance of the inner problem with $\Gamma=1$, so the uncertainty set is a line segment between two extreme demands, and place the service-placement cost so that placing or not placing the service is optimal exactly at an interior demand value; if the worst-case value occurs at that interior point rather than at an endpoint, ROD's repeated-extreme-point argument no longer applies to that instance.
Extended reading notes
Core claim
The central claim is that a two-stage robust edge service placement problem with integer recourse variables can be solved exactly, not just approximately, by decomposing it into an outer loop over extreme demand scenarios and an inner loop that iteratively enumerates the binary placement decisions that matter. Given first-stage resource reservation $s$, the inner loop alternates between a mixed-integer subproblem that fixes the worst-case demand and a master problem that finds the next worst-case demand by strong duality and McCormick linearization; when the inner loop finishes it returns a true worst-case demand and cost for that $s$. The outer loop then adds this demand as a cut to the reservation master problem and repeats. The paper proves this terminates finitely, bounded by the number of extreme points of the dynamic uncertainty set, and that at termination the reservation decision is optimal for the original tri-level problem. The paper further claims that using a dynamic uncertainty set built from an auto-regressive model of demand, rather than a static polyhedral set, reduces conservatism and total cost in numerical experiments with real demand traces.
Load-bearing premise
The worst-case demand for the second-stage problem with binary service-placement decisions is assumed to occur at an extreme point of the dynamic uncertainty set, even though the second-stage value function is not convex in demand.
Editorial extensions
If this is right
- Service providers can plan day-ahead resource reservations that are provably optimal under the modeled uncertainty, not just heuristic.
- Dynamic service placement, where services are downloaded from nearby edge nodes after demand is known, becomes computationally tractable despite binary recourse variables.
- Using spatio-temporal correlations systematically reduces the uncertainty set and lowers total cost relative to static uncertainty sets at the same robustness budget.
- The algorithm's runtime depends on network size and uncertainty budget, and the paper reports that a looser optimality gap for large networks cuts runtime substantially.
- The model extends to multiple resource types and additional placement constraints, as the authors note.
Reading between the lines
- An implication the authors do not pursue is that the same outer/inner decomposition applies to other two-stage robust problems with binary recourse, such as facility location or network function placement, whenever the uncertainty set is a polytope with integer budget.
- The extreme-point assumption before eq. (26) is the step we would test first: if a worst-case demand can occur inside a face of $\mathcal{D}_2$ when the binary placement decision changes there, the finite-convergence proof would need an additional argument beyond repeated extreme points.
- One could calibrate $\mathcal{D}_2$ online from streaming demand and re-run ROD at each re-optimization horizon; the convergence guarantee would still hold per instance, and the value of updating the auto-regressive coefficients could be measured empirically.
- A direct comparison with distributionally robust or stochastic benchmarks would quantify how much of the cost saving comes from the correlation structure versus from the integer-recourse dynamic placement itself; the paper separates these only partially through the D-ARO-SUS benchmark.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proposes a two-stage multi-period robust optimization model for edge service placement and resource reservation under demand uncertainty. The first stage decides resource reservations before demand is known, while the second stage chooses dynamic service placement, service download, resource adjustment, and workload allocation after observing demand. The uncertainty is modeled by a dynamic set D2 that incorporates spatio-temporal correlation through a multivariate autoregressive structure. Because the second-stage problem contains binary recourse variables, the paper develops an iterative decomposition algorithm called ROD, which alternates between an outer master problem and an inner max-min subproblem, and claims finite convergence to an exact optimal solution of the tri-level problem P1. Numerical experiments compare the proposed D-ARO-DUS model against static uncertainty-set and static placement benchmarks.
Significance. The modeling direction is relevant and timely: dynamic service placement with integer recourse and a data-driven spatio-temporal uncertainty set addresses a practically important gap in edge service placement. The numerical study is extensive, uses real traffic traces, reports runtimes, and includes sensitivity analyses. However, the paper's central theoretical contribution, namely the claim that ROD converges finitely to an exact optimum, is not established. The proof relies on an extreme-point optimality property that is false in general for mixed-integer recourse, and the McCormick linearization used in the inner master problem is mis-specified. If the exactness claim cannot be repaired, the algorithm remains a heuristic, and the paper's main advertised advantage over existing decomposition methods is unsupported.
major comments (3)
- [Section IV-C, equations after (26) and (27i)] The assertion that 'the worst-case scenarios can be achieved when g is either -1 or 1 [4]' is not valid for the mixed-integer recourse problem considered here. For fixed first-stage decisions, the inner value function Q(ŝ,λ) = min_{q,z,x,y} cost is the minimum of finitely many convex LP value functions and is therefore generally nonconvex in λ. Maximizing a nonconvex function over a polytope need not attain its maximum at an extreme point. Monotonicity in λ does not rescue the argument: a nondecreasing concave function such as Q(λ)=min{λ1,λ2}, which can arise as a binary-choice recourse value function, attains its maximum at the interior point (1/2,1/2) on the face conv{(1,0),(0,1)}. The citation to [4] concerns continuous recourse, not integer recourse. Consequently, the equivalence between P1 and the finite enumeration in (18) is not established, and the finite-convergence proof of Proposition IV.2, which assumes that each iteration generates a new extreme point of D2, does not cover the true worst case. This is a load-bearing gap for the paper's main exactness claim.
- [Section IV-E, proof of Proposition IV.2] The displayed set M(δ,g,σ) is claimed to be the convex hull of the bilinear set {(δ,g,σ): δ=σg, g∈[-1,1], σ∈[0,M]}, but the inequalities given do not describe that convex hull. For example, with g=1 and σ=1, the constraints δ ≥ -σ - M(1-g) and δ ≤ -σ + M(1-g) force δ = -1, whereas the true relation δ=σg gives δ = 1. Similarly, for g=-1 the constraints do not force δ=-σ. The standard McCormick convex hull for this set includes the constraints δ ≥ M g + σ - M and δ ≤ M g - σ + M, among others; the paper's formulation is not equivalent. Since Inner-MP in (27) relies on this linearization to produce an MILP reformulation of Q(ŝ), the inner master problem is not a valid exact reformulation, and the upper bounds produced by Step 2 of Algorithm 2 are not trustworthy. This error directly affects the numerical results produced by the ROD algorithm.
- [Section IV-E, proof of Proposition IV.2] The proof of Proposition IV.2 states that 'D2 is a finite set with K elements' and bounds the number of iterations by K, the number of extreme points of D2. This is a category error: D2 is a convex polytope with infinitely many points; it has only finitely many extreme points. More importantly, the proof assumes without support that the λ produced by the inner loop is always an extreme point of D2. If the true worst-case demand is interior, the algorithm may add cuts for non-extreme points that do not appear in the enumerated set D*, and the finite-repetition argument cannot be applied. Thus, even if the extreme-point property held for the continuous-relaxation case, the proof as written would still not establish finite exact convergence for the integer-recourse problem.
minor comments (6)
- [Section V-B, Eq. (33b)] Equation (33b) appears to have two typos: the term should be Σ_{s=1}^L A_s^i λtilde_i^{t-s}, not Σ_{s=1}^L A_s^i λtilde_i^t, and the B_i g_i^t term that appears in (16b) is missing here. Please align the two definitions.
- [Section IV-C, Eq. (23d)] In the Inner-SP constraints, the demand constraint should sum workload over edge nodes j, i.e., x_{i,0}^t + Σ_j x_{i,j}^t ≥ λ_i^{t,*}; the displayed expression sums over i, which is inconsistent with (10).
- [Section III-A, paragraph after Fig. 2] The sentence 'the network delay between AP i and the cloud is denoted bywe di,0' contains a typo ('bywe').
- [Section II and Introduction] Several citations use 'el at.' instead of 'et al.', for example in the sentences citing [8], [9], [11], and [18]; the reference list itself should also be checked for consistent formatting.
- [Section IV-B, Eq. (19c)] The first-stage constraints are indexed by l in (19c), although s is a single first-stage decision common to all cuts. This makes the formulation ambiguous; either the index should be removed or the notation should be clarified so that s is not replicated per cut.
- [Section V-D, Figs. 11(a)-(b)] The comparison between D-ARO-DUS and D-ARO-SUS in the α-sweep is not fully explained: it is unclear how the manually adjusted deviation α relates to the parameters of the dynamic uncertainty set, and whether the comparison holds the amount of information used by both models equal. A short explanation would improve reproducibility.
Circularity Check
No significant circularity: the model, algorithm, and benchmarks are self-contained, and the notable weakness (extreme-point optimality for integer recourse) is an unsupported proof step rather than a circular dependency.
full rationale
The paper's central derivation chain is not circular. The DUS parameters (A_i^s, B_i) are estimated from Shanghai Telecom traces via AR/regression, not from the robust model's outputs, so the reported cost comparison with SUS is not a fitted-input-called-prediction. The ROD algorithm is tested against independent baselines (D-ARO-SUS, S-ARO from [3]) and no parameter is tuned to force the headline savings. The one load-bearing step that warrants scrutiny is the assertion before Eq. (26) that "the worst-case scenarios can be achieved when g is either -1 or 1 [4]" and the resulting equivalence of P1 to the finite extreme-point problem (18). For the second-stage MILP recourse (binary z and q), the value function is generally nonconvex in lambda, so the extreme-point property does not follow from convexity/compactness of D2 and is not established for integer recourse; the citation to [4] (a same-author prior work without binary recourse) does not fill this gap. This is a genuine correctness/proof gap in the finite-exact-convergence argument (Prop. IV.2), but it is not circular: the paper does not define its conclusion into existence or fit a parameter to the target result. Thus the circularity score is low.
Assumptions & free parameters
free parameters (4)
- Uncertainty budget Γ1 =
5 (default)
- AR order L
- AR coefficients A_i^s and B_i
- Forecast coefficients φ1...φ5
assumptions (5)
- ad hoc to paper Worst-case demand for the second-stage MILP occurs at an extreme point of D2, with g_i^t at its bounds.
- ad hoc to paper The McCormick inequalities in the M_{δ,g,σ} set give the exact convex hull of δ = σ g.
- domain assumption Demand deviations follow the AR process in eq. (16b) with scalar B_i, and this captures spatio-temporal correlation.
- standard math Strong duality holds for the inner LP after fixing integer variables.
- domain assumption Prices satisfy a <= p <= e to prevent arbitrage.
Cite this review
Pith. "Pith review of Robust Dynamic Edge Service Placement Under Spatio-Temporal Correlated Demand Uncertainty." pith.science (2026). https://pith.science/paper/FRNCNWA7
@misc{pith2026241215608,
author = {Pith},
title = {Pith review of: Robust Dynamic Edge Service Placement Under Spatio-Temporal Correlated Demand Uncertainty},
year = {2026},
howpublished = {\url{https://pith.science/paper/FRNCNWA7}},
note = {Machine review of arXiv:2412.15608}
}
read the original abstract
Edge computing allows Service Providers (SPs) to enhance user experience by placing their services closer to the network edge. Determining the optimal provisioning of edge resources to meet the varying and uncertain demand cost-effectively is a critical task for SPs. This paper introduces a novel two-stage multi-period robust model for edge service placement and workload allocation, aiming to minimize the SP's operating costs while ensuring service quality. The salient feature of this model lies in its ability to enable SPs to utilize dynamic service placement and leverage spatio-temporal correlation in demand uncertainties to mitigate the inherent conservatism of robust solutions. In our model, resource reservation is optimized in the initial stage, preemptively, before the actual demand is disclosed, whereas dynamic service placement and workload allocation are determined in the subsequent stage, following the revelation of uncertainties. To address the challenges posed by integer recourse variables in the second stage of the resulting tri-level adjustable robust optimization problem, we propose a novel iterative, decomposition-based approach, ensuring finite convergence to an exact optimal solution. Extensive numerical results are provided to demonstrate the efficacy of the proposed model and approach.
Figures
Figures from the paper (9 more)
Reference graph
Works this paper leans on
-
[4]
Resilient edge service placement under demand and node failure uncertainties,
J. Cheng, D. T. Nguyen, and V . K. Bhargava, “Resilient edge service placement under demand and node failure uncertainties,” IEEE Trans. Netw. Serv. Manag., pp. 1–1, 2023
work page 2023
-
[1]
Edge computing: Vision and challenges,
W. Shi, J. Cao, Q. Zhang, Y . Li, and L. Xu, “Edge computing: Vision and challenges,” IEEE Internet Things J. , vol. 3, no. 5, pp. 637–646, 2016
work page 2016
-
[2]
A. Ben-Tal, L. El Ghaoui, and A. Nemirovski, Robust optimization . Princeton university press, 2009
work page 2009
-
[3]
Two-stage robust edge service placement and sizing under demand uncertainty,
D. T. Nguyen, H. T. Nguyen, N. Trieu, and V . K. Bhargava, “Two-stage robust edge service placement and sizing under demand uncertainty,” IEEE Internet Things J. , vol. 9, no. 2, pp. 1560–1574, 2022
work page 2022
-
[5]
X. Yu, L. Sun, Y . Yan, and G. Liu, “A short-term traffic flow prediction method based on spatial–temporal correlation using edge computing,” Computers & Electrical Engineering , vol. 93, p. 107219, 2021
work page 2021
-
[6]
Cloudlstm: A recurrent neural model for spatiotemporal point-cloud stream forecasting,
C. Zhang, M. Fiore, I. Murray, and P. Patras, “Cloudlstm: A recurrent neural model for spatiotemporal point-cloud stream forecasting,” in Proceedings of the AAAI Conference on Artificial Intelligence , vol. 35, no. 12, 2021, pp. 10 851–10 858
work page 2021
-
[7]
Solving two-stage robust optimization problems using a column-and-constraint generation method,
B. Zeng and L. Zhao, “Solving two-stage robust optimization problems using a column-and-constraint generation method,” Operations Research L., vol. 41, no. 5, pp. 457–461, 2013
work page 2013
-
[8]
A scalable algorithm for the placement of service function chains,
M. Mechtri, C. Ghribi, and D. Zeghlache, “A scalable algorithm for the placement of service function chains,” IEEE Trans. Netw. Serv. Manag. , vol. 13, no. 3, pp. 533–546, 2016
work page 2016
Show all 30 references
-
[9]
Cost-efficient nfv-enabled mobile edge-cloud for low latency mobile applications,
B. Yang, W. K. Chai, Z. Xu, K. V . Katsaros, and G. Pavlou, “Cost-efficient nfv-enabled mobile edge-cloud for low latency mobile applications,” IEEE Trans. Netw. Serv. Manag. , vol. 15, no. 1, pp. 475–488, 2018
2018
-
[10]
Efficient computing resource sharing for mobile edge-cloud computing networks,
Y . Zhang, X. Lan, J. Ren, and L. Cai, “Efficient computing resource sharing for mobile edge-cloud computing networks,” IEEE/ACM Trans. Netw., vol. 28, no. 3, pp. 1227–1240, 2020
2020
-
[11]
A dy- namic reliability-aware service placement for network function virtual- ization (nfv),
M. Karimzadeh-Farshbafan, V . Shah-Mansouri, and D. Niyato, “A dy- namic reliability-aware service placement for network function virtual- ization (nfv),” IEEE J. Sel. Areas Commun. , vol. 38, no. 2, pp. 318–333, 2020
2020
-
[12]
Dynamic service placement in geographically distributed clouds,
Q. Zhang, Q. Zhu, M. F. Zhani, R. Boutaba, and J. L. Hellerstein, “Dynamic service placement in geographically distributed clouds,” IEEE J. Sel. Areas Commun. , vol. 31, no. 12, pp. 762–772, 2013
2013
-
[13]
Service placement with provable guarantees in heterogeneous edge computing systems,
S. Pasteris, S. Wang, M. Herbster, and T. He, “Service placement with provable guarantees in heterogeneous edge computing systems,” in Proc. IEEE INFOCOM, 2019, pp. 514–522
2019
-
[14]
Follow me at the edge: Mobility- aware dynamic service placement for mobile edge computing,
T. Ouyang, Z. Zhou, and X. Chen, “Follow me at the edge: Mobility- aware dynamic service placement for mobile edge computing,” IEEE J. Sel. Areas. Commun. , vol. 36, no. 10, pp. 2333–2345, 2018
2018
-
[15]
A bandit approach to online pricing for heterogeneous edge resource allocation,
J. Cheng, D. T. A. Nguyen, L. Wang, D. T. Nguyen, and V . K. Bhargava, “A bandit approach to online pricing for heterogeneous edge resource allocation,” Proc. IEEE NetSoft , 2023
2023
-
[16]
Online scaling of nfv ser- vice chains across geo-distributed datacenters,
Y . Jia, C. Wu, Z. Li, F. Le, and A. Liu, “Online scaling of nfv ser- vice chains across geo-distributed datacenters,” IEEE/ACM Trans. Netw., vol. 26, no. 2, pp. 699–710, 2018
2018
-
[17]
Optimization of resource pro- visioning cost in cloud computing,
S. Chaisiri, B.-S. Lee, and D. Niyato, “Optimization of resource pro- visioning cost in cloud computing,” IEEE Trans. Serv. Comput , vol. 5, no. 2, pp. 164–177, 2011
2011
-
[18]
Dynamic cloud resource allocation considering demand uncertainty,
S. Mireslami, L. Rakai, M. Wang, and B. H. Far, “Dynamic cloud resource allocation considering demand uncertainty,” IEEE Trans. Cloud Comput., vol. 9, no. 3, pp. 981–994, 2019
2019
-
[19]
Energy-aware appli- cation placement in mobile edge computing: A stochastic optimization approach,
H. Badri, T. Bahreini, D. Grosu, and K. Yang, “Energy-aware appli- cation placement in mobile edge computing: A stochastic optimization approach,” IEEE Trans. Parallel Distrib. Syst. , vol. 31, no. 4, pp. 909– 922, 2019
2019
-
[20]
Robust service provisioning with service function chain requirements in mobile edge computing,
J. Li, W. Liang, and Y . Ma, “Robust service provisioning with service function chain requirements in mobile edge computing,” IEEE Trans. Netw. Serv. Manag., vol. 18, no. 2, pp. 2138–2153, 2021
2021
-
[21]
Deadline-aware sfc orchestration under demand uncertainty,
M. Nguyen, M. Dolati, and M. Ghaderi, “Deadline-aware sfc orchestration under demand uncertainty,” IEEE Trans. Netw. Serv. Manag. , vol. 17, no. 4, pp. 2275–2290, 2020
2020
-
[22]
Energy-constrained computation offloading in space-air-ground integrated networks using distributionally robust optimization,
Y . Chen, B. Ai, Y . Niu, H. Zhang, and Z. Han, “Energy-constrained computation offloading in space-air-ground integrated networks using distributionally robust optimization,” IEEE Trans. Veh. Technol, vol. 70, no. 11, pp. 12 113–12 125, 2021
2021
-
[23]
Hybrid model- data driven network slice reconfiguration by exploiting prediction interval and robust optimization,
F. Wei, S. Qin, G. Feng, Y . Sun, J. Wang, and Y .-C. Liang, “Hybrid model- data driven network slice reconfiguration by exploiting prediction interval and robust optimization,” IEEE Trans. Netw. Serv. Manag., vol. 19, no. 2, pp. 1426–1441, 2022
2022
-
[24]
Delay-aware robust edge network hardening under decision-dependent uncertainty,
J. Cheng, D. T. A. Nguyen, N. Trieu, and D. T. Nguyen, “Delay-aware robust edge network hardening under decision-dependent uncertainty,” arXiv preprint arXiv:2407.06142 , 2024
2024 arXiv
-
[25]
Computability of global solutions to factorable nonconvex programs: Part i—convex underestimating problems,
G. P. McCormick, “Computability of global solutions to factorable nonconvex programs: Part i—convex underestimating problems,” Math. Program., vol. 10, no. 1, pp. 147–175, 1976
1976
-
[26]
A fairness- aware attacker-defender model for optimal edge network operation and protection,
D. T. A. Nguyen, J. Cheng, N. Trieu, and D. T. Nguyen, “A fairness- aware attacker-defender model for optimal edge network operation and protection,” IEEE Networking Letters , vol. 5, no. 2, pp. 120–124, 2023
2023
-
[27]
Profit-aware edge server place- ment,
Y . Li, A. Zhou, X. Ma, and S. Wang, “Profit-aware edge server place- ment,” IEEE Internet Things J. , vol. 9, no. 1, pp. 55–67, 2022
2022
-
[28]
Delay-aware microservice coordination in mobile edge computing: A reinforcement learning approach,
S. Wang, Y . Guo, N. Zhang, P. Yang, A. Zhou, and X. Shen, “Delay-aware microservice coordination in mobile edge computing: A reinforcement learning approach,” IEEE Trans. Mob. Comput. , vol. 20, no. 3, pp. 939– 951, 2021
2021
-
[29]
User allocation-aware edge cloud placement in mobile edge computing,
Y . Guo, S. Wang, A. Zhou, J. Xu, J. Yuan, and C.-H. Hsu, “User allocation-aware edge cloud placement in mobile edge computing,” Soft- ware: Practice and Experience , vol. 50, no. 5, pp. 489–502, 2020
2020
-
[30]
G. C. Reinsel, Elements of multivariate time series analysis . Springer Science & Business Media, 1997. 1 VII. A PPENDIX A. Static ARO (S-ARO) We consider static adjustable robust optimization (S-ARO) over a time horizon, which is the proposed model from previous work in [3]. ...
1997
Reviewed August 11, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.