Skip to main content
Log in

Counterexample and an additional revealing poll step for a result of “analysis of direct searches for discontinuous functions”

  • Full Length Paper
  • Series A
  • Published:
Mathematical Programming Submit manuscript

Abstract

This note provides a counterexample to a theorem announced in the last part of the paper (Vicente and Custódio Math Program 133:299–325, 2012). The counterexample involves an objective function \(f: \mathbb {R}\rightarrow \mathbb {R}\) which satisfies all the assumptions required by the theorem but contradicts some of its conclusions. A corollary of this theorem is also affected by this counterexample. The main flaw revealed by the counterexample is the possibility that a directional direct search method (dDSM) generates a sequence of trial points \((x_k)_{k \in \mathbb {N}}\) converging to a point \(x_*\) where f is discontinuous, lower semicontinuous and whose objective function value \(f(x_*)\) is strictly less than \(\lim _{k\rightarrow \infty } f(x_k)\). Moreover the dDSM generates trial points in only one of the continuity sets of f near \(x_*\). This note also investigates the proof of the theorem to highlight the inexact statements in the original paper. Finally this work introduces a modification of the dDSM that allows, in usual cases, to recover the properties broken by the counterexample.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Fig. 1
Algorithm 1

Similar content being viewed by others

References

  1. Abramson, M.A., Audet, C., Dennis, J.E., Jr., Le Digabel, S.: OrthoMADS: a deterministic mads instance with orthogonal directions. SIAM J. Optim. 20(2), 948–966 (2009)

    Article  MathSciNet  Google Scholar 

  2. Alarie, S., Audet, C., Gheribi, A.E., Kokkolaras, M., Le Digabel, S.: Two decades of blackbox optimization applications. EURO J. Comput. Optim. 9, 100011 (2021)

    Article  MathSciNet  Google Scholar 

  3. Audet, C., Batailly, A., Kojtych, S.: Escaping unknown discontinuous regions in blackbox optimization. SIAM J. Optim. 32(3), 1843–1870 (2022)

    Article  MathSciNet  Google Scholar 

  4. Audet, C., Hare, W.: Derivative-Free and Blackbox Optimization. Springer Series in Operations Research and Financial Engineering. Springer, Cham, Switzerland (2017)

    Book  Google Scholar 

  5. Conn, A.R., Scheinberg, K., Vicente, L.N.: Introduction to Derivative-Free Optimization. MOS-SIAM Series on Optimization. SIAM, Philadelphia (2009)

    Book  Google Scholar 

  6. Gratton, S., Royer, C.W., Vicente, L.N., Zhang, Z.: Direct search based on probabilistic descent. SIAM J. Optim. 25(3), 1515–1541 (2015)

    Article  MathSciNet  Google Scholar 

  7. Vicente, L.N., Custódio, A.L.: Analysis of direct searches for discontinuous functions. Math. Program. 133(1–2), 299–325 (2012)

    Article  MathSciNet  Google Scholar 

Download references

Acknowledgements

The authors would like to thank two anonymous referees for their constructive comments, that led in particular to Remarks 12 and 3.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Pierre-Yves Bouchet.

Ethics declarations

Conflict of interest

The authors declare that they have no conflict of interest.

Additional information

Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Rights and permissions

Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Audet, C., Bouchet, PY. & Bourdin, L. Counterexample and an additional revealing poll step for a result of “analysis of direct searches for discontinuous functions”. Math. Program. (2024). https://doi.org/10.1007/s10107-023-02042-3

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1007/s10107-023-02042-3

Keywords

Mathematics Subject Classification

Navigation