Search arXivSearch

arXiv · 2205.15923

Cutting-Plane Algorithms and Solution Whitening for the Vertex-Cover Problem

Abstract

The phase-transition behavior of the NP-hard vertex-cover (VC) combinatorial optimization problem is studied numerically by linear programming (LP) on ensembles of random graphs. As the basic Simplex (SX) algorithm suitable for such LPs may produce incomplete solutions for sufficiently complex graphs, the application of cutting-plane (CP) methods is sought. We consider Gomory and {0,1/2} cuts. We measure the probability of obtaining complete solutions with these approaches as a function of the average node degree c and observe transition between typically complete and incomplete phase regions. While not generally complete solutions are obtained for graphs of arbitrarily high complexity, the CP approaches still advance the boundary in comparison to the pure SX algorithm, beyond the known replica-symmetry breaking (RSB) transition at c=e=2.718... . In fact, our results provide evidence for another algorithmic transition at c=2.90(2). Besides this, we quantify the transition between easy and hard solvability of the VC problem also in terms of numerical effort. Further we study the so-called whitening of the solution, which is a measure for the degree of freedom that single vertices experience with respect to degenerate solutions. Inspection of the quantities related to clusters of white vertices reveals that whitening is affected, only slightly but measurably, by the RSB transition.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

G. Claussen, A. K. Hartmann. 2022-05-31. Cutting-Plane Algorithms and Solution Whitening for the Vertex-Cover Problem. https://doi.org/10.1103/physreve.106.035305

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Information geometry of perturbed gradient flow systems on hypergraphs: A perspective towards nonequilibrium physics

This article serves to concisely review the link between gradient flow systems on hypergraphs and information geometry which has been established within the last five years. Gradient flow systems describe a wealth of physical phenomena and provide powerful analytical technquies which are based on the variational energy-dissipation principle. Modern nonequilbrium physics has complemented this classical principle with thermodynamic uncertaintly relations, speed limits, entropy production rate decompositions, and many more. In this article, we formulate these modern principles within the framework of perturbed gradient flow systems on hypergraphs. In particular, we discuss the geometry induced by the Bregman divergence, the physical implications of dual foliations, as well as the corresponding infinitesimal Riemannian geometry for gradient flow systems. Through the geometrical perspective, we are naturally led to new concepts such as moduli spaces for perturbed gradient flow systems and thermodynamical area which is crucial for understanding speed limits. We hope to encourage the readers working in either of the two fields to further expand on and foster the interaction between the two fields.

cond-mat.stat-mech

Kinetic Interference in Translational Control: A Path-Measure Framework for Collision-Triggered Transcript Decay

I connect two literatures developed independently: the path-measure formulation of non-equilibrium statistical mechanics, where a trajectory action decomposes into a time-antisymmetric (entropic) and time-symmetric (frenetic) sector, and the stochastic modelling of ribosomal traffic on messenger RNA. The biological target is a proposed intervention -- antisense oligonucleotide (ASO) interference with wobble-uridine (U34) modification of transfer RNA -- whose intended effect is not to abolish translation but to perturb its timing, driving ribosome collisions and collision-triggered transcript decay preferentially on high-flux, codon-biased transcripts. Dynamical-activity and large-deviation analyses of generic lattice exclusion models -- notably the symmetric and totally asymmetric simple exclusion processes -- are well established. To my knowledge their formalization specifically for ribosomal traffic queues, translation elongation, and collision-triggered no-go decay remains unoccupied; this paper addresses that narrower gap, not the general one. Two claims here are load-bearing and untested. First, selectivity: transcripts whose loss is therapeutically desirable are separable, by vulnerable-codon-pair burden, from transcripts whose loss is toxic. Second, non-redundancy: the frenetic decomposition yields predictions, specific to ribosomal queueing and collision-triggered decay, not already obtainable from rate-level exclusion-process models or existing activity/large-deviation analyses of exclusion processes. This paper establishes neither. It specifies both as falsifiable tests with pre-registered decision rules, including outcomes under which the framework should be abandoned or narrowed. It is a research programme proposal, not a result. No new experimental, computational, or bioinformatic results are reported.

cond-mat.stat-mech

Thermodynamic efficiency of communication channels

We identify a broad class of communication channels that captures common physical constraints in both artificial and natural systems and derive bounds on their thermodynamic cost. We find that the entropy production per channel use is bounded from below by the input-output mutual information, and their ratio -mutual information divided by entropy production- defines the thermodynamic efficiency. Unlike previous studies of energy-constrained communication channels, our analysis shows that thermodynamic costs must be assigned not only to the input symbols themselves, but also to transitions between successive symbols. As a result, maximizing thermodynamic efficiency favors a biased input that switches only rarely, rather than the capacity-achieving input. For the binary symmetric channel, this preference emerges through a pitchfork bifurcation that spontaneously breaks the symmetry of the channel. A minimal model of cellular sensing exhibits the same phenomenon.

cond-mat.stat-mech