REVIEW 3 major objections 4 minor 16 references
Hybrid subgradient and simulated annealing method for hemivariational inequalities
T0 review · 3 major / 4 minor · reviewed 2026-08-07 · deepseek-v4-flash
Pith's one-line read The paper claims that hemivariational inequalities can be solved numerically as nonsmooth nonconvex energy minimization, combining a finite-terminating aggregate subgradient descent with simulated annealing restarts.
desk verdict The hybrid method is a reasonable engineering heuristic, but its convergence theory rests on an assumption that, taken at face value, forces convexity—so the main theorems don't hold for the nonconvex problems they claim to solve. 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 object that carries the argument is the aggregate subgradient $\bar v_k = \lambda_k v_k + (1-\lambda_k)\tilde v_k$, where $\lambda_k$ minimizes $\phi_k(\lambda)=\|\lambda v_k + (1-\lambda)\tilde v_k\|^2$ over $[0,1]$, combining the freshly computed subgradient $v_k \in \partial L(u+\eta d_{k+1})$ with the previous aggregate $\tilde v_k$. Its norm decides the next move: if $\|\bar v_k\|\le\delta$, the step is null and $\eta$ is multiplied by $\gamma$; otherwise the direction $d_{k+1}=-\|\bar v_k\|^{-1}\bar v_k$ is tested against the sufficient-decrease condition (5), and a failed test forces a new subgradient outside the convex hull of the previous two, making $\|\bar v_k\|^2$ shrink by a factor $C_2<1$ each inner iteration. This gives finite termination for fixed $\eta$, and the bound $M\le (L(u_0)-L_*)/(c_2\eta\delta)+1$ for the outer loop. The global wrapper uses the Metropolis function $R(w,u,T)=\min\{1,\exp((L(u)-L(w))/T)\}$ to decide whether to accept a random coordinate perturbation as the next starting point.
What would settle it
Compute both sides of inequality (3) for the layered potentials $j_7$ and $j_{10}$ at a nondifferentiability point, with $d$ pointing into a decreasing branch of the contact law and with a subgradient $v\in\partial L(u+\tau d)$ chosen at the kink. A single violation would invalidate the descent argument in Proposition 1. A cheaper experiment is to run Algorithm 1 on a simple locally Lipschitz function that violates (3) and observe whether it still terminates at an $(\eta,\delta)$-stationary point.
Extended reading notes
Core claim
The paper's central claim is that the discrete hemivariational inequality can be replaced by the unconstrained minimization of $L(u) = \frac12\langle Au,u\rangle + \langle b,u\rangle + J(u)$, where $J$ is locally Lipschitz but generally nonsmooth and nonconvex, and that this minimization can be solved reliably by a two-phase method. Algorithm 1 forms an aggregate subgradient $\bar v_k$ from the two most recent subgradients; if its norm is small the step is declared null and the step-size parameter $\eta$ shrinks, otherwise a descent direction is tested and a serious step is taken. The proof shows that the inner loop terminates in finitely many iterations because each failed descent forces the aggregated subgradient norm to shrink geometrically, and the outer loop terminates at an $(\eta,\delta)$-stationary point. Algorithm 2 wraps this local search in a simulated-annealing loop whose Metropolis acceptance rule proposes new starting points; Remark 1 asserts that the resulting hybrid converges to a global minimizer of $L$ with probability one. The numerical experiments on a two-dimensional clamped beam report that the 'global subgradient' variant attains lower values of the energy functional than BFGS, conjugate-gradient, and Powell solvers across 2, 3, 7, and 10 composite layers, with growing advantage as layers increase.
Load-bearing premise
The descent and finite-termination proofs rely on the one-sided subgradient inequality $L(u+\tau d)-L(u)\le\tau\langle v,d\rangle$ for all $v\in\partial L(u+\tau d)$; the paper notes this holds for difference-of-convex $J$ but does not verify it for the multi-layer potentials $j_n$ used in the experiments.
Editorial extensions
If this is right
- Algorithm 1 is guaranteed to reach an $(\eta,\delta)$-stationary point of the energy in finitely many iterations whenever the subgradients along the unit sphere are bounded and $L$ is bounded below.
- For fixed tolerances, the inner-loop iteration count is logarithmic in $\delta/C_1$, so the local phase is practical on finite-element discretizations.
- If Remark 1's global-convergence assertion holds, the hybrid is a global optimization method for this class of nonconvex nonsmooth energies, not merely a local descent.
- On the layered-beam benchmark the hybrid attains lower energy values than BFGS, CG, Powell, and gradient-estimated variants, with the largest gaps for 7 and 10 layers.
- Because null steps reuse only two subgradients, the memory cost per iteration is constant, making the method suitable for large-scale contact simulations.
Reading between the lines
- The probability-one global convergence statement is stronger than the finite-termination theorem for the local phase; it inherits whatever hypotheses the cited simulated-annealing convergence result requires, so a reader should check whether those hypotheses actually hold for the energy $L$ and the random coordinate-step proposal.
- A natural benchmark extension is to run Algorithm 2 on three-dimensional contact problems or on quasistatic and dynamic formulations, where the number of local minima grows and the annealing component may matter even more.
- If inequality (3) is ever violated for a real contact potential, one could restore the descent proof by replacing the Clarke subdifferential with a larger set or by adding a line-search safeguard; the numerical section does not currently establish (3) for the layered potentials $j_n$.
- The constant-two-subgradient aggregate makes the method nearly memory-free, so it could serve as a cheap warm-start strategy for bundle or quasi-Newton methods on nonsmooth nonconvex problems.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proposes a hybrid method for minimizing nonsmooth, nonconvex energy functions that arise from hemivariational inequalities in contact mechanics. Algorithm 1 is an aggregate subgradient local search with an inner loop and an outer loop; Algorithm 2 combines this local search with a simulated annealing restart mechanism. The authors prove finite termination of the inner loop and an iteration bound for reaching an (η,δ)-stationary point, claim in Remark 1 that the hybrid method converges to a global minimizer with probability one, and report numerical comparisons on a layered beam contact problem against BFGS, CG, Powell, and two gradient-aware variants.
Significance. If the theoretical claims were valid, the paper would offer a practically useful global optimization method for a genuinely nonsmooth, nonconvex problem class in contact mechanics, with the welcome feature of explicit finite-termination bounds and an open-source implementation in the conmech package. The numerical study also has a sensible structure: it compares six solvers over multiple load levels and layer counts. However, the central convergence theory rests on assumption (3), which is not satisfied by the nonconvex problems in Section 4, and the global-convergence claim in Remark 1 is asserted rather than derived. The numerical evidence, while indicative, lacks parameter values and statistical detail, so the headline comparison is not fully substantiated.
major comments (3)
- [Section 2, Eq. (3)] Assumption (3) is not a mild regularity condition and is not satisfied by the nonconvex energies considered in the paper. If (3) is required for every v in the Clarke subdifferential ∂L(u+τd), then taking u=b, d=(a-b)/||a-b||, τ=||a-b|| gives L(a)-L(b) ≤ ⟨v,a-b⟩ for every v∈∂L(a), i.e. L(b) ≥ L(a)+⟨v,b-a⟩ for all b. Thus every Clarke subgradient is a global supporting subgradient, which forces L to be convex. The energy (2) with a genuinely nonconvex superpotential J cannot satisfy this, and the paper's statement that (3) holds when J is difference-of-convex is false for nonconvex DC functions. If (3) is instead intended only for a particular v, then the proof must show that the subgradient v_{k+1} selected in Step 7 always satisfies the inequality, but no selection rule is given. Since Proposition 1 uses (3) to pass from failure of the descent test (5) to the inner-product bound (7), and Proposition 2 relies on the resulting finite termination, the convergence theory does not cover the j_n potentials used in Section 4.
- [Section 2, Remark 1] The claim that the hybrid method 'converges to the global minimizer of the function L with probability one' is not proved. The cited convergence theory for simulated annealing (reference [9]) applies to the annealing process itself under specific conditions on the cooling schedule, neighborhood structure, and the objective; none of these conditions are verified for Algorithm 2. Moreover, using simulated annealing only to generate starting points for a local method that terminates at stationary points does not, by itself, imply convergence to a global minimizer, because the local method may converge to a nonglobal stationary point from every generated restart. The remark should either be replaced by a precise theorem with assumptions, or weakened to a heuristic statement.
- [Section 4, numerical results] The numerical comparison is not reproducible as reported. The values of ε, δ, γ, c1, c2, T0, Tmin, α, and the number of restarts are not stated; the mesh size is only bounded above by 1.75mm, not specified; and the 10 simulations per case are summarized without error bars or any measure of dispersion. The text says the 'global subgradient' method used five starting points per run, but Algorithm 2 as written does not contain such a parameter. These omissions make it impossible to assess whether the reported advantage over Powell's method is robust.
minor comments (4)
- [Section 2, Proposition 1 proof, Eq. (9)] Inequality (9) appears to have a typographical error: the second term should read (1 + 2λ(c1−1))∥¯vk∥², not (1 + 2λ(c1−1)∥¯vk∥²)∥¯vk∥². The stated form contains an extra factor ∥¯vk∥² inside the parentheses.
- [Section 4, Figure 4] The left-column y-axis label is ambiguous; the text explains that the plot shows the negative of the cost function on a logarithmic scale, but the axis label should state this explicitly, e.g. '−L(u)'.
- [Section 4, paragraph after Figure 3] The sentence 'The function j2 represents two composite layers represents a soft base covered by a thin (3mm) protective layer' contains a grammatical error and should be rewritten.
- [Algorithm 2 and Section 4] Step 3 of Algorithm 2 generates a trial point by perturbing one coordinate by µ∈[0,1], but the relationship between this procedure and the 'five starting points' mentioned in Section 4 is unclear; the paper should specify how the number of restarts enters Algorithm 2.
Circularity Check
No significant circularity; the convergence proofs are self-contained and the numerical comparisons are direct; only minor self-citations appear.
full rationale
Propositions 1 and 2 derive finite termination and (eta,delta)-stationarity from explicit assumptions (local Lipschitzness, bounded subgradients, boundedness below, and inequality (3)) using self-contained estimates; the proof of Proposition 1 states the use of (3) explicitly when passing from failure of the descent test to the inner-product bound (7), and Proposition 2 supplies an explicit iteration bound. Inequality (3) is introduced as an assumption about L rather than being deduced from the results of the paper; its disputed justification for difference-of-convex J is a verification/correctness issue, not a circular dependency. Algorithm 2's global-convergence remark is an inference from the cited simulated annealing convergence theory and not a re-labelling of a fitted quantity. The numerical section compares the proposed methods directly with standard numpy solvers (BFGS, CG, Powell) on cost-function values for a specific contact problem; no parameter is fitted to a subset and then renamed as a prediction, and the 'global minimum' terminology refers to the lowest value found among the tested methods. The self-citations ([2,3,7,12]) point to the authors' earlier subgradient methods and the conmech package, but the paper's convergence argument does not reduce to those references: the key steps are proved in the text and the assumptions are stated independently. Therefore no central claim is equivalent to its inputs by construction.
Assumptions & free parameters
free parameters (7)
- delta (Algorithm 1 inner-loop tolerance) =
not reported
- epsilon (Algorithm 1 outer-loop tolerance) =
not reported
- gamma (outer-loop reduction factor) =
not reported
- c1 and c2 (descent control constants) =
not reported
- T0, Tmin, alpha (simulated annealing schedule) =
not reported
- number of restart points for global search =
5
- finite element mesh size =
<= 1.75 mm
assumptions (5)
- domain assumption L is bounded below, L^* = inf L > -infinity (equation (10))
- domain assumption One-sided subgradient inequality (3) holds for the energy L
- domain assumption Boundedness of subgradients over a sphere, C1 < +infinity (equation (6))
- domain assumption Existence and equivalence of the discrete optimization reformulation P^h_opt
- standard math Clarke subdifferential calculus and standard finite-dimensional normed space facts
invented entities (1)
-
none
Cite this review
Pith. "Pith review of Hybrid subgradient and simulated annealing method for hemivariational inequalities." pith.science (2026). https://pith.science/paper/7TCZROTP
@misc{pith2026250523676,
author = {Pith},
title = {Pith review of: Hybrid subgradient and simulated annealing method for hemivariational inequalities},
year = {2026},
howpublished = {\url{https://pith.science/paper/7TCZROTP}},
note = {Machine review of arXiv:2505.23676}
}
read the original abstract
In this paper, we employ a global aggregate subgradient method for the numerical solution of hemivariational inequality problems arising in contact mechanics. The method integrates a global search procedure to identify starting points for a local minimization algorithm. The algorithm consists of two types of steps: null steps and serious steps. In each null step, only two subgradients are utilized: the aggregate subgradient and the subgradient computed at the current iteration point, which together determine the search direction. Furthermore, we compare the performance of the proposed method with selected solvers using a representative contact mechanics problem as a case study.
Figures
Reference graph
Works this paper leans on
-
[9]
Locatelli, M.: Simulated annealing algorithms for continuous global optimization: convergence conditions. J. Optim. Theory and Appl.104, 121–133 (2000). https: //doi.org/10.1023/A:1004680806815
-
[1]
Berlin/New York: Springer Verlag (2014)
Bagirov, A., Karmitsa, N., Mäkelä, M.: Introduction to Nonsmooth Opti- mization. Berlin/New York: Springer Verlag (2014). https://doi.org/10.1007/ 978-3-319-08114-4
work page 2014
-
[2]
Bagirov, A., Jin, L., Karmitsa, N., Al Nuaimat, A., Sultanova, N.: Subgradient method for nonconvex nonsmooth optimization. J. Optim. Theory and Appl.157, 416–435 (2013). https://doi.org/10.1007/s10957-012-0167-6
-
[3]
Optimization Letters15, 83–96 (2021)
Bagirov, A., Taheri, S., Joki, K., Karmitsa, N., Mäkelä, M.: Aggregate subgradient method for nonsmooth DC optimization. Optimization Letters15, 83–96 (2021). https://doi.org/10.1007/s11590-020-01586-z
-
[4]
Acta Numerica 28, 175–286 (2019)
Han, W., Sofonea, M.: Numerical analysis of hemivariational inequalities in con- tact mechanics. Acta Numerica 28, 175–286 (2019). https://doi.org/10.1017/ S0962492919000023
work page 2019
-
[5]
Journal of Nonlinear and Variational Analysis6, 517– 534 (2022)
Han, W., Sofonea, M.: Numerical analysis of a general elliptic variational- hemivariational inequality. Journal of Nonlinear and Variational Analysis6, 517– 534 (2022). https://doi.org/10.23952/jnva.6.2022.5.06
-
[6]
Nature 585(7825), 357–362 (Sep 2020)
Harris, C.R., Millman, K.J., van der Walt, S.J., Gommers, R., Virtanen, P., Cour- napeau,D.,Wieser,E.,Taylor,J.,Berg,S.,Smith,N.J.,Kern,R.,Picus,M.,Hoyer, S., van Kerkwijk, M.H., Brett, M., Haldane, A., Fern’andez del R’io, J., Wiebe, M., Peterson, P., G’erard-Marchant, P., Sheppard, K., Reddy, T., Weckesser, W., Abbasi, H., Gohlke, C., Oliphant, T.E.: Ar...
-
[7]
Applied Mathematics & Op- timization 83, 1465–1485 (2021)
Jureczka, M., Ochal, A.: A nonsmooth optimization approach for hemivariational inequalities with applications to contact mechanics. Applied Mathematics & Op- timization 83, 1465–1485 (2021). https://doi.org/10.1007/s00245-019-09593-y
Show all 16 references
-
[8]
In: Proceedings of the Second Workshop on the LLVM Compiler Infrastructure in HPC
Lam, S., Pitrou, A., Seibert, S.: Numba: a LLVM-based Python JIT compiler. In: Proceedings of the Second Workshop on the LLVM Compiler Infrastructure in HPC. LLVM ’15, ACM (2015). https://doi.org/10.1145/2833157.2833162 14 P. Bartman-Szwarc et al
2015
-
[10]
Journal of Global Optimization 14, 117–135 (1999)
Mäkelä, M., Miettinen, M., Lukšan, L., Vlček, J.: Comparing nonsmooth non- convex bundle methods in solving hemivariational inequalities. Journal of Global Optimization 14, 117–135 (1999). https://doi.org/10.1023/A:1008282922372
1999 doi
-
[11]
Basel/New York: Marcel Dekker (1995)
Naniewicz, Z., Panagiotopoulos, P.: Mathematical Theory of Hemivariational In- equalities and Applications. Basel/New York: Marcel Dekker (1995). https://doi. org/10.1002/zamm.19960760104
1995 doi
-
[12]
Communications in Nonlinear Science and Numerical Simulation114, 106563 (2022)
Ochal, A., Jureczka, M., Bartman, P.: A survey of numerical methods for hemi- variational inequalities with applications to contact mechanics. Communications in Nonlinear Science and Numerical Simulation114, 106563 (2022). https://doi. org/10.1016/j.cnsns.2022.106563
2022
-
[13]
Berlin/New York: Springer Ver- lag (1993)
Panagiotopoulos, P.: Hemivariational Inequalities. Berlin/New York: Springer Ver- lag (1993)
1993
-
[14]
Tairidis, G., Foutsitzi, G., Stavroulakis, G.E.: A Multi-layer Piezocomposite Model and Application on Controlled Smart Structures, pp. 365–385. Springer Interna- tional Publishing, Cham (2018). https://doi.org/10.1007/978-3-319-70563-7_17
2018 doi
-
[15]
Tairidis, G.K., Foutsitzi, G., Stavroulakis, G.E.: Optimal Design of Smart Com- posites, pp. 185–217. Springer International Publishing, Cham (2019). https: //doi.org/10.1007/978-3-030-12767-1_10
2019 doi
-
[16]
Journal of Computational and Applied Mathematics389, 113330 (2021)
Wang, F., Wu, B., Han, W.: The virtual element method for general elliptic hemi- variational inequalities. Journal of Computational and Applied Mathematics389, 113330 (2021). https://doi.org/10.1016/j.cam.2020.113330
2021
Reviewed August 7, 2026 · model on record in the stance chip above.
Discussion (0). Sign in to comment.