On the max-cut of sparse random graphs

We consider the problem of estimating the size of a maximum cut (Max-Cut problem) in a random Erdős-Rényi graph on n nodes and ⌊cn⌋ edges. It is shown in Coppersmith et al. that the size of the maximum cut in this graph normalized by the number of nodes belongs to the asymptotic region [c/2 + 0.376...

Full description

Bibliographic Details
Main Authors: Gamarnik, David, Li, Quan
Other Authors: Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science
Format: Article
Published: Wiley 2019
Online Access:http://hdl.handle.net/1721.1/120495
https://orcid.org/0000-0001-8898-8778
https://orcid.org/0000-0002-3726-1517
_version_ 1826211115971903488
author Gamarnik, David
Li, Quan
author2 Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science
author_facet Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science
Gamarnik, David
Li, Quan
author_sort Gamarnik, David
collection MIT
description We consider the problem of estimating the size of a maximum cut (Max-Cut problem) in a random Erdős-Rényi graph on n nodes and ⌊cn⌋ edges. It is shown in Coppersmith et al. that the size of the maximum cut in this graph normalized by the number of nodes belongs to the asymptotic region [c/2 + 0.37613√c, c/2 + 0.58870√c] with high probability (w.h.p.) as n increases, for all sufficiently large c. The upper bound was obtained by application of the first moment method, and the lower bound was obtained by constructing algorithmically a cut which achieves the stated lower bound. In this paper, we improve both upper and lower bounds by introducing a novel bounding technique. Specifically, we establish that the size of the maximum cut normalized by the number of nodes belongs to the interval [c/2 + 0.47523√ c, c/2 + 0.55909√c] w.h.p. as n increases, for all sufficiently large c. Instead of considering the expected number of cuts achieving a particular value as is done in the application of the first moment method, we observe that every maximum size cut satisfies a certain local optimality property, and we compute the expected number of cuts with a given value satisfying this local optimality property. Estimating this expectation amounts to solving a rather involved two dimensional large deviations problem. We solve this underlying large deviation problem asymptotically as c increases and use it to obtain an improved upper bound on the Max-Cut value. The lower bound is obtained by application of the second moment method, coupled with the same local optimality constraint, and is shown to work up to the stated lower bound value c/2+0.47523√c. It is worth noting that both bounds are stronger than the ones obtained by standard first and second moment methods. Finally, we also obtain an improved lower bound of (Formula presented.) on the Max-Cut for the random cubic graph or any cubic graph with large girth, improving the previous best bound of 1.33773n.
first_indexed 2024-09-23T15:00:50Z
format Article
id mit-1721.1/120495
institution Massachusetts Institute of Technology
last_indexed 2024-09-23T15:00:50Z
publishDate 2019
publisher Wiley
record_format dspace
spelling mit-1721.1/1204952022-09-29T12:04:40Z On the max-cut of sparse random graphs Gamarnik, David Li, Quan Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science Sloan School of Management Gamarnik, David Li, Quan We consider the problem of estimating the size of a maximum cut (Max-Cut problem) in a random Erdős-Rényi graph on n nodes and ⌊cn⌋ edges. It is shown in Coppersmith et al. that the size of the maximum cut in this graph normalized by the number of nodes belongs to the asymptotic region [c/2 + 0.37613√c, c/2 + 0.58870√c] with high probability (w.h.p.) as n increases, for all sufficiently large c. The upper bound was obtained by application of the first moment method, and the lower bound was obtained by constructing algorithmically a cut which achieves the stated lower bound. In this paper, we improve both upper and lower bounds by introducing a novel bounding technique. Specifically, we establish that the size of the maximum cut normalized by the number of nodes belongs to the interval [c/2 + 0.47523√ c, c/2 + 0.55909√c] w.h.p. as n increases, for all sufficiently large c. Instead of considering the expected number of cuts achieving a particular value as is done in the application of the first moment method, we observe that every maximum size cut satisfies a certain local optimality property, and we compute the expected number of cuts with a given value satisfying this local optimality property. Estimating this expectation amounts to solving a rather involved two dimensional large deviations problem. We solve this underlying large deviation problem asymptotically as c increases and use it to obtain an improved upper bound on the Max-Cut value. The lower bound is obtained by application of the second moment method, coupled with the same local optimality constraint, and is shown to work up to the stated lower bound value c/2+0.47523√c. It is worth noting that both bounds are stronger than the ones obtained by standard first and second moment methods. Finally, we also obtain an improved lower bound of (Formula presented.) on the Max-Cut for the random cubic graph or any cubic graph with large girth, improving the previous best bound of 1.33773n. 2019-02-19T19:06:10Z 2019-02-19T19:06:10Z 2017-11 2019-02-13T17:46:33Z Article http://purl.org/eprint/type/JournalArticle 1042-9832 http://hdl.handle.net/1721.1/120495 Gamarnik, David, and Quan Li. “On the Max-Cut of Sparse Random Graphs.” Random Structures & Algorithms 52, no. 2 (November 13, 2017): 219–262. https://orcid.org/0000-0001-8898-8778 https://orcid.org/0000-0002-3726-1517 http://dx.doi.org/10.1002/RSA.20738 Random Structures & Algorithms Creative Commons Attribution-Noncommercial-Share Alike http://creativecommons.org/licenses/by-nc-sa/4.0/ application/pdf Wiley arXiv
spellingShingle Gamarnik, David
Li, Quan
On the max-cut of sparse random graphs
title On the max-cut of sparse random graphs
title_full On the max-cut of sparse random graphs
title_fullStr On the max-cut of sparse random graphs
title_full_unstemmed On the max-cut of sparse random graphs
title_short On the max-cut of sparse random graphs
title_sort on the max cut of sparse random graphs
url http://hdl.handle.net/1721.1/120495
https://orcid.org/0000-0001-8898-8778
https://orcid.org/0000-0002-3726-1517
work_keys_str_mv AT gamarnikdavid onthemaxcutofsparserandomgraphs
AT liquan onthemaxcutofsparserandomgraphs