pith. sign in

arxiv: 2604.11999 · v1 · submitted 2026-04-13 · 📡 eess.SY · cs.SY

Scalable Optimization for Mobility-Aware Coordinated Electric Vehicle Charging in Distribution Power Networks

Pith reviewed 2026-05-10 14:59 UTC · model grok-4.3

classification 📡 eess.SY cs.SY
keywords electric vehicle chargingdistribution networksmobility trajectoriescoordinated optimizationADMM decompositionhosting capacitydemand flexibility
0
0 comments X

The pith

Mobility-aware EV charging coordination can sharply cut distribution network upgrade needs at regional scale.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper shows that coupling EV charging decisions over full daily mobility trajectories, rather than isolated sessions, lets planners solve for the maximum reduction in overload-driven upgrades while still meeting all driver travel needs. This matters because distribution networks face spatially uneven capacity limits, and unmanaged charging at rising EV adoption levels risks forcing costly reinforcements across feeders. The MAC framework achieves this by expanding the feasible scheduling space through trajectory-level state-of-charge constraints and then decomposing the resulting million-variable problem with ADMM so that near-optimal solutions can be certified at population scale. In a 30 percent EV adoption scenario built from Bay Area mobility traces and feeder hosting data, the coordinated schedule produces substantially lower upgrade requirements than unmanaged charging. The same dual variables that enforce the optimum also serve as locational-temporal prices that decentralize the solution as a competitive equilibrium.

Core claim

MAC expands feasible charging schedules by requiring only that each EV's state of charge remain sufficient for its remaining trips across the full mobility horizon, solves the resulting spatially and temporally coupled problem to near optimality via ADMM decomposition with custom subproblem solvers, and thereby quantifies the largest achievable reduction in overload-driven distribution upgrades without interrupting driver travel needs.

What carries the argument

The MAC optimization framework, which replaces per-session energy recovery constraints with trajectory-wide SOC sufficiency requirements and decomposes the problem with ADMM so dual variables act as locational-temporal prices.

If this is right

  • Dramatically lower overload-driven upgrade requirements compared with unmanaged charging in a 30 percent EV adoption scenario.
  • Computable upper-bound benchmarks that DPN planners can use to evaluate the value of demand flexibility.
  • Decentralized implementation in which locational-temporal prices clear the market at the social optimum.
  • Scalable certification of near-optimal solutions for problems containing millions of variables.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • Similar trajectory-coupled models could be tested on mobility and network data from other metropolitan regions to check whether the scale of upgrade reductions generalizes.
  • The dual price signals produced by the ADMM solution could serve as the basis for designing real-time retail tariffs or aggregator contracts that achieve the same coordination outcome.
  • Extending the framework to include battery degradation costs or ancillary service provision would show whether additional grid services further increase the net value of coordinated charging.

Load-bearing premise

That enforcing SOC sufficiency only over the full mobility horizon is enough to protect driver travel needs without any additional per-session constraints.

What would settle it

Running the same upgrade-minimization problem with added per-session energy recovery constraints and observing whether the required feeder upgrades rise substantially or whether ADMM ceases to certify feasible solutions at full population scale.

Figures

Figures reproduced from arXiv: 2604.11999 by Jingchun Wang, Lunlong Li, Scott Moura, Yi Ju.

Figure 1
Figure 1. Figure 1: Graphic highlight a. Conceptualization: Blue / pink shaded areas are the envelope of feasible charging trajectories under session-based / mobility-aware flexibility. b. Methods: An overview of data, models, algorithms, and their corresponding sections. c. Results: Key real-world findings, and key solver performance metrics. Regarding spatial flexibility and user compliance, Gu et al. [10] characterize stru… view at source ↗
Figure 2
Figure 2. Figure 2: Loss curves over ADMM iterations a. total max-violation under centralized and decentralized schemes, respectively. b. relative duality gap of (SO). V. SOFTWARE IMPLEMENTATIONS AND ANALYSIS A. Software Implementation We implement the ADMM solver with custom subproblem solvers in Python (3.11.13). Task parallelization is han￾dled by Dask (2025.9.1), a Python library for flexible and powerful parallel and dis… view at source ↗
Figure 3
Figure 3. Figure 3: Performance of custom (S1) solver a. main plot: medians (solid line) and [10%, 90%] percentiles (shaded) of evaluated relative optimality gaps over Adam iterations. annotated histograms: snapshots of relative duality gap distributions at 25th , 100th, and 200th iterations, respectively. b. total solution time of 8192 instances vs varying batch sizes on one processing worker. We further evaluate the perform… view at source ↗
Figure 4
Figure 4. Figure 4: Mobility and hosting capacity data We visualize aggregated metrics at the feeder level. a. sum of dwell time of all EVs at locations served by a certain distribution feeder. b. time-averaged hosting capacity of distribution feeders. EV drivers and trajectories Replica provides nationwide synthetic population [24] and mobility [25] data by fusing multiple raw data sources using state-of-the-art behavioral a… view at source ↗
Figure 6
Figure 6. Figure 6: Geospatial mapping of feeder violation colors on feeder lines indicate the magnitude of realized max-violation under a. MAC and b. ASAP+, respectively. The reduction is not only system-wide but also broadly distributed across feeders, as shown in [PITH_FULL_IMAGE:figures/full_fig_p009_6.png] view at source ↗
Figure 7
Figure 7. Figure 7: Optimizer comparison (S1) Medians (solid line) and [10%, 90%] percentiles (shaded) of evaluated relative optimality gaps over different optimizers. where vs P R and ls P R T . Let ξ ˝ s P R and ξs P R T be the dual variables corresponding to the inequality constraints (57b) and (57c), respectively. Below is a complete proof of Theorem.6 (correctness of Alg.3). Proof. The KKT conditions of (57) are explicit… view at source ↗
read the original abstract

Rapid growth in electric-vehicle (EV) charging demand is placing increasing stress on distribution power networks (DPNs), whose hosting capacity is often limited and spatially uneven. Beyond demonstrating that coordination can help, this paper answers an open question that is central for planners: what is the maximal achievable benefit of EV demand flexibility in reducing overload-driven distribution upgrades at a regional scale? Establishing such an upper bound is computationally challenging, as it entails solving and certifying near-optimal solutions to population-scale optimization problems with millions of variables and both spatial and temporal coupling. We introduce MAC (Mobility-Aware Coordinated EV charging), a framework that quantifies the maximum potential of leveraging EV demand flexibility to mitigate DPN overloading risk without interrupting drivers' travel needs. (i) MAC expands feasible scheduling by coupling charging decisions over a full mobility horizon: instead of enforcing per-session energy recovery, it only requires the EV state-of-charge (SOC) to remain sufficient for upcoming trips. (ii) MAC is computationally scalable via an ADMM-based decomposition with custom subproblem solvers, and admits a decentralized interpretation in which dual variables act as locational-temporal price signals that implement the social optimum as a competitive equilibrium. Using high-resolution mobility trajectories and feeder hosting-capacity data in a future-oriented 30% EV adoption scenario for the San Francisco Bay Area, we show that MAC can dramatically reduce overload-driven upgrade requirements relative to unmanaged charging. This paper illustrates how trajectory-coupled flexibility and scalable, certifiable optimization can provide actionable best-case benchmarks for DPN planning and operations.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The paper introduces the MAC framework for mobility-aware coordinated EV charging, which couples charging decisions over full mobility horizons (requiring only sufficient SOC for upcoming trips rather than per-session recovery) and uses an ADMM-based decomposition with custom subproblem solvers to compute near-optimal schedules at population scale. Applied to high-resolution mobility trajectories and feeder data in a 30% EV adoption scenario for the San Francisco Bay Area, it claims that this coordination dramatically reduces overload-driven distribution network upgrade requirements relative to unmanaged charging, while admitting a decentralized price-signal interpretation via dual variables.

Significance. If the computed schedules can be certified as near-optimal, the work would provide valuable quantitative upper-bound benchmarks for distribution planners on the infrastructure-cost savings achievable from EV demand flexibility at regional scale, extending beyond qualitative demonstrations of coordination benefits.

major comments (2)
  1. [Abstract and §3 (ADMM decomposition)] The abstract and methods description claim that MAC 'admits a decentralized interpretation' and yields 'certifiable' near-optimal solutions for million-variable instances, yet no convergence-rate analysis, a-posteriori duality-gap bound, or KKT residual verification procedure is provided for the actual Bay-Area problem sizes. Without such a certificate, the reported dramatic reduction in upgrade requirements cannot be distinguished from an artifact of early ADMM termination.
  2. [§2 (problem formulation) and case-study results] The central modeling choice—coupling only over the full mobility horizon while requiring SOC to remain sufficient for upcoming trips—underpins the claimed expansion of feasible scheduling and the resulting upper bound on flexibility benefits. However, no validation is shown that this relaxation preserves driver travel needs in practice (e.g., via comparison to per-session constraints or sensitivity analysis on trip timing uncertainty).
minor comments (2)
  1. [§3] Notation for the dual variables (locational-temporal prices) and their equilibrium interpretation should be introduced with an explicit equation reference rather than only in prose.
  2. [§4 (numerical results)] The case-study section would benefit from a table or figure explicitly reporting the number of variables, ADMM iterations, and any primal/dual residual tolerances achieved on the full Bay-Area instance.

Simulated Author's Rebuttal

2 responses · 1 unresolved

We thank the referee for the constructive comments, which help clarify the strengths and limitations of our work. We respond to each major comment below and indicate planned revisions.

read point-by-point responses
  1. Referee: [Abstract and §3 (ADMM decomposition)] The abstract and methods description claim that MAC 'admits a decentralized interpretation' and yields 'certifiable' near-optimal solutions for million-variable instances, yet no convergence-rate analysis, a-posteriori duality-gap bound, or KKT residual verification procedure is provided for the actual Bay-Area problem sizes. Without such a certificate, the reported dramatic reduction in upgrade requirements cannot be distinguished from an artifact of early ADMM termination.

    Authors: We agree that explicit certificates would strengthen the near-optimality claims. MAC employs standard ADMM with primal/dual residual-based termination criteria (detailed in §3), which are widely used for large-scale problems where centralized solution is intractable. We will revise the manuscript to report the achieved residual values for the Bay Area instances, add a brief discussion of ADMM convergence theory under the problem's convexity assumptions, and include KKT residual checks on representative smaller sub-instances extracted from the data. However, computing exact duality gaps or full KKT verification for the complete million-variable instances remains intractable, as it would require solving the equivalent centralized problem. revision: partial

  2. Referee: [§2 (problem formulation) and case-study results] The central modeling choice—coupling only over the full mobility horizon while requiring SOC to remain sufficient for upcoming trips—underpins the claimed expansion of feasible scheduling and the resulting upper bound on flexibility benefits. However, no validation is shown that this relaxation preserves driver travel needs in practice (e.g., via comparison to per-session constraints or sensitivity analysis on trip timing uncertainty).

    Authors: The horizon-coupling formulation is designed to compute an upper bound on flexibility benefits under the assumption of perfect trip foresight. We acknowledge that direct validation against per-session SOC recovery and trip-timing uncertainty would improve the presentation. In the revision, we will expand §2 to explicitly state the modeling assumptions and add to the numerical results a comparison of the proposed formulation versus a per-session baseline on a smaller test network, plus sensitivity analysis perturbing trip departure times within observed variability ranges from the mobility data. These additions will confirm that driver travel needs remain satisfied. revision: yes

standing simulated objections not resolved
  • Providing a complete a-posteriori duality-gap bound or full KKT verification procedure for the actual million-variable Bay Area instances, as this would require solving the equivalent centralized problem, which is computationally intractable at that scale.

Circularity Check

0 steps flagged

No circularity: MAC applies standard ADMM decomposition to an externally-defined optimization problem on mobility and network data.

full rationale

The derivation chain consists of (1) formulating an optimization problem whose objective and constraints are defined from external inputs (mobility trajectories, feeder capacities, 30% EV adoption scenario) and (2) solving it via ADMM with custom subproblem solvers. The reported reduction in upgrade requirements is the numerical outcome of that solve, not a quantity that is fitted or redefined to match the inputs. No self-definitional steps, no fitted-input-called-prediction, and no load-bearing self-citations that close the argument appear in the abstract or description. The ADMM equilibrium interpretation is a standard decentralized-optimization result, not an ansatz smuggled from prior author work. The framework is therefore self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Review is abstract-only; no explicit free parameters, invented entities, or non-standard axioms are identifiable. The framework rests on standard distributed optimization assumptions and accurate mobility data inputs.

axioms (1)
  • domain assumption ADMM-based decomposition converges to a near-optimal solution for the large-scale coupled EV-DPN optimization problem
    Invoked to justify scalability and certifiability at population scale.

pith-pipeline@v0.9.0 · 5582 in / 1208 out tokens · 57836 ms · 2026-05-10T14:59:15.691093+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

42 extracted references · 42 canonical work pages · 2 internal anchors

  1. [1]

    Dimitri Bertsekas.Nonlinear Programming (second edition). 1999

  2. [3]

    Inequitable access to distributed energy resources due to grid infrastructure limits in California

    Anna M Brockway, Jennifer Conde, and Duncan Callaway. “Inequitable access to distributed energy resources due to grid infrastructure limits in California”. In:Nature Energy6.9 (2021), pp. 892–903

  3. [4]

    Optimal Spot Pricing: Practice and Theory

    MC Caramanis. “Optimal Spot Pricing: Practice and Theory”. In: IEEE Winter meeting. V ol. 82. 1982, WM115

  4. [5]

    Quantifying spatiotemporal charging flexibility of electric vehicles as virtual grid assets to accelerate sustainable energy transition

    Ge Chen et al. “Quantifying spatiotemporal charging flexibility of electric vehicles as virtual grid assets to accelerate sustainable energy transition”. In:Cell Reports Physical Science6.11 (2025)

  5. [6]

    Optimization techniques in electric vehicle charging scheduling, routing and spatio-temporal demand coordination: A systematic review

    Eiman Elghanam et al. “Optimization techniques in electric vehicle charging scheduling, routing and spatio-temporal demand coordination: A systematic review”. In:IEEE Open Journal of Vehicular Technology 5 (2024), pp. 1294–1313

  6. [7]

    Can dis- tribution grid infrastructure accommodate residential electrification and electric vehicle adoption in Northern California?

    Salma Elmallah, Anna M Brockway, and Duncan Callaway. “Can dis- tribution grid infrastructure accommodate residential electrification and electric vehicle adoption in Northern California?” In:Environmental Research: Infrastructure and Sustainability2.4 (2022), p. 045005

  7. [8]

    Review on the PV hosting capacity in distribution networks

    Samar Fatima, Verner P ¨uvi, and Matti Lehtonen. “Review on the PV hosting capacity in distribution networks”. In:Energies13.18 (2020), p. 4756

  8. [9]

    Optimal decentralized protocol for electric vehicle charging

    Lingwen Gan, Ufuk Topcu, and Steven H Low. “Optimal decentralized protocol for electric vehicle charging”. In:IEEE Transactions on Power Systems28.2 (2012), pp. 940–951

  9. [10]

    Competitive Equilibrium for Electric- ity Markets with Spatially Flexible Loads

    Nan Gu and Junjie Qin. “Competitive Equilibrium for Electric- ity Markets with Spatially Flexible Loads”. In:arXiv preprint arXiv:2510.26036(2025)

  10. [11]

    Demand-side challenges and research needs on the road to 100% zero-emission vehicle sales

    Scott Hardman et al. “Demand-side challenges and research needs on the road to 100% zero-emission vehicle sales”. In:Progress in Energy 7.2 (2025), p. 022001

  11. [12]

    An introduction to the pricing of electric power transmission

    Michael Hsu. “An introduction to the pricing of electric power transmission”. In:Utilities Policy6.3 (1997), pp. 257–270

  12. [13]

    Measuring electric vehicle owners’ willingness to participate in smart charging programs

    Pingfan Hu et al. “Measuring electric vehicle owners’ willingness to participate in smart charging programs”. In:Environmental Research Letters20.12 (2025), p. 124067

  13. [14]

    Trajectory-Integrated Accessibility Analysis of Public Elec- tric Vehicle Charging Stations

    Yi Ju et al. “Trajectory-Integrated Accessibility Analysis of Public Elec- tric Vehicle Charging Stations”. In:arXiv preprint arXiv:2505.12145 (2025)

  14. [15]

    Adam: A Method for Stochastic Optimization

    Diederik P Kingma. “Adam: A method for stochastic optimization”. In:arXiv preprint arXiv:1412.6980(2014)

  15. [16]

    Optimal charging of electric vehicles for load shaping: A dual-splitting framework with explicit convergence bounds

    Caroline Le Floch, Francois Belletti, and Scott Moura. “Optimal charging of electric vehicles for load shaping: A dual-splitting framework with explicit convergence bounds”. In:IEEE Transactions on Transportation Electrification2.2 (2016), pp. 190–199

  16. [17]

    Unlocking vehicle-to-grid potential of load shifting in China’s megacities considering comprehensive real-world behaviors

    Kaisan Li et al. “Unlocking vehicle-to-grid potential of load shifting in China’s megacities considering comprehensive real-world behaviors”. In:Nature Communications16.1 (2025), p. 10087

  17. [18]

    Impact of electric vehicle charging demand on power distribution grid congestion

    Yanning Li and Alan Jenn. “Impact of electric vehicle charging demand on power distribution grid congestion”. In:Proceedings of the National Academy of Sciences121.18 (2024), e2317599121

  18. [19]

    Decentralized charging control of large populations of plug-in electric vehicles

    Zhongjing Ma, Duncan S Callaway, and Ian A Hiskens. “Decentralized charging control of large populations of plug-in electric vehicles”. In:IEEE Transactions on control systems technology21.1 (2011), pp. 67–78

  19. [20]

    Trieu T Mai et al.Electrification futures study: Scenarios of electric technology adoption and power consumption for the United States. Tech. rep. National Renewable Energy Lab.(NREL), Golden, CO (United States), 2018

  20. [21]

    Coordinating distributed energy resources for reliability can significantly reduce future distribution grid upgrades and peak load

    Thomas Navidi, Abbas El Gamal, and Ram Rajagopal. “Coordinating distributed energy resources for reliability can significantly reduce future distribution grid upgrades and peak load”. In:Joule7.8 (2023), pp. 1769–1792

  21. [22]

    Charging infrastructure access and operation to reduce the grid impacts of deep electric vehicle adoption

    Siobhan Powell et al. “Charging infrastructure access and operation to reduce the grid impacts of deep electric vehicle adoption”. In:Nature Energy7.10 (2022), pp. 932–945

  22. [23]

    Distribution grids may be a barrier to residential electrification

    Priyadarshan et al. “Distribution grids may be a barrier to residential electrification”. In:Cell Reports Sustainability2.11 (2025)

  23. [24]

    Licensed synthetic population dataset

    Replica.Demographics and Employment Table for California and Nevada, 2024 Q4. Licensed synthetic population dataset. Accessed 2025-05-01. 2024.URL: https://documentation.replicahq.com/docs/ demographics-employment

  24. [25]

    Licensed mobility dataset

    Replica.Seasonal Trip Table for California and Nevada, 2024 Q4. Licensed mobility dataset. Accessed 2025-05-01. 2024.URL: https: //documentation.replicahq.com/docs/disaggregate-trip-tables

  25. [26]

    A mean-field game method for decentralized charging coordination of a large population of plug-in electric vehicles

    Mohammad Amin Tajeddini and Hamed Kebriaei. “A mean-field game method for decentralized charging coordination of a large population of plug-in electric vehicles”. In:IEEE Systems Journal13.1 (2018), pp. 854–863

  26. [27]

    Assessing Public Electric Vehicle Charging Infrastructure Preparedness in the San Francisco Bay Area

    Jingchun Wang et al. “Assessing Public Electric Vehicle Charging Infrastructure Preparedness in the San Francisco Bay Area”. Submitted to the Transportation Research Board Annual Meeting 2026. 2026

  27. [28]

    Online Hierarchical Aggregate Power Flexibility Characterization of EV Charging Stations with Disaggregation Feasibil- ity Guarantee

    Xiaowei Wang et al. “Online Hierarchical Aggregate Power Flexibility Characterization of EV Charging Stations with Disaggregation Feasibil- ity Guarantee”. In:IEEE Transactions on Transportation Electrification (2025)

  28. [29]

    Planning for electric vehicle needs by coupling charging profiles with urban mobility

    Yanyan Xu et al. “Planning for electric vehicle needs by coupling charging profiles with urban mobility”. In:Nature Energy3.6 (2018), pp. 484–493

  29. [30]

    Large-scale empirical study of electric vehicle usage patterns and charging infrastructure needs

    Weipeng Zhan et al. “Large-scale empirical study of electric vehicle usage patterns and charging infrastructure needs”. In:npj Sustainable Mobility and Transport2.1 (2025), p. 9. Declaration of LLM usageThe authors used LLMs (primarily GPT 5 series, and Claude Opus 4.6) for enhancing the readability of the manuscript. The authors reviewed and edited the c...

  30. [31]

    Vanilla projected gradient ascent (GD) with constant step sizeη“10 ´4 (suggested by Theorem 5)

  31. [32]

    8.2]; and

    Projected GD with a normalized diminishing step size ηk “η{p gxky 2 ? k`1q with η“0.5 , which ensures convergence even when only subgradients are available [1, Sec. 8.2]; and

  32. [33]

    Among the three, Adam converges substantially faster in terms of both median and tail behavior, motivating its use as the default optimizer in our implementation

    Projected Adam (56). Among the three, Adam converges substantially faster in terms of both median and tail behavior, motivating its use as the default optimizer in our implementation. APPENDIXE DETAILS ONCUSTOMSOLVER FOR(S2)AND(D2) A. Correctness & Time Complexity of Alg. 3 We restate the primal problem (36) below: min vs,ls vs ` ρ 2 ∥ls ´D s∥2 2 (57a) s....

  33. [34]

    Because otherwise, ls,t “ Ds,t, thus ls,t ´C s,t “D s,t ´C s,t “δ s,t ąv s, which contradicts with (58b)

    If δs,t ąv s, then ls,t “C s,t `v s, hence ξs,t “ ´ρpl s,t ´ Ds,tq “ρpδ s,t ´v sq ą0 . Because otherwise, ls,t “ Ds,t, thus ls,t ´C s,t “D s,t ´C s,t “δ s,t ąv s, which contradicts with (58b)

  34. [35]

    Because otherwise, ls,t “C s,t`vs, thus ξs,t “ ´ρpl s,t ´D s,tq “ρpδ s,t ´v sq ă0 , which contradicts with (58d)

    If δs,t ăv s, then ls,t “D s,t, hence ξs,t “ ´ρpl s,t ´ Ds,tq “0 . Because otherwise, ls,t “C s,t`vs, thus ξs,t “ ´ρpl s,t ´D s,tq “ρpδ s,t ´v sq ă0 , which contradicts with (58d)

  35. [36]

    Above shows that given any vs PR , we can uniquely determine ls, ξs PR T , which satisfies (58b), (58d), (58f), (58h)

    If δs,t “v s, then ls,t “C s,t `v s “D s,t, and ξs,t “ ρpδ s,t ´v sq “0. Above shows that given any vs PR , we can uniquely determine ls, ξs PR T , which satisfies (58b), (58d), (58f), (58h). Specifically, for anyv s PR, we have 5: ls,t ˇˇ vs “mintC s,t `v s,t, Ds,tu,(59c) ξs,t ˇˇ vs “ρrδ s,t ´v ss` ,@t(59d) The next step is to find vs and ξ˝ s, which tog...

  36. [37]

    Because otherwise vs ą0 , thus ξ˝ s “1´Ξpv sq ě1´Ξp0q ą0 , which contradicts with (58e)

    If Ξp0q ă1 , then vs “0 and ξ˝ s “1´Ξp0q ą0 . Because otherwise vs ą0 , thus ξ˝ s “1´Ξpv sq ě1´Ξp0q ą0 , which contradicts with (58e)

  37. [38]

    Because otherwise vs “0 , thus ξ˝ s “1´Ξp0q ă0 , which contradicts with (58c)

    If Ξp0q ą1 , then vs ą0 and ξ˝ s “0 . Because otherwise vs “0 , thus ξ˝ s “1´Ξp0q ă0 , which contradicts with (58c). In this case, (59f) reduces to solve: Ξpvsq “1(59h)

  38. [39]

    T´1 , which means rδT´1 ą0 , then define rδT “0 to avoid “out of index

    If Ξp0q “1 , then vs “ξ ˝ s “0 is a unique solution. To show the uniqueness, note that Ξpvsq is strictly monotonic for vs ď rδ0, where rδ0 “max ttδs,tu. Suppose there exists hą0 such that Ξphq “Ξp0q , then by monotonicity, Ξph1q “Ξp0q,@h 1 P r0, hs, which means h1 ě rδ0,@h 1 P r0, hs, thus δs,t ď rδ0 ď0,@t . Hence, Ξp0q “ ř trδs,ts` “ 0, which contradicts...

  39. [40]

    SIAM, 2017

    Amir Beck.First-order methods in optimization. SIAM, 2017

  40. [41]

    Cambridge, UK, Cambridge University Press, 2009

    Stephen Boyd and Lieven Vandenberghe.Convex Optimization (seventh printing with corrections). Cambridge, UK, Cambridge University Press, 2009

  41. [42]

    Distributed optimization and statistical learning via the alternating direction method of multipliers

    Stephen Boyd et al. “Distributed optimization and statistical learning via the alternating direction method of multipliers”. In:Foundations and Trends® in Machine learning3.1 (2011), pp. 1–122

  42. [43]

    On the eigenvalues of some tridiagonal matrices

    CM Da Fonseca. “On the eigenvalues of some tridiagonal matrices”. In:Journal of Computational and Applied Mathematics200.1 (2007), pp. 283–286