4,958 research outputs found
Dynamical Systems Theory and Algorithms for NP-hard Problems
This article surveys the burgeoning area at the intersection of dynamical
systems theory and algorithms for NP-hard problems. Traditionally,
computational complexity and the analysis of non-deterministic polynomial-time
(NP)-hard problems have fallen under the purview of computer science and
discrete optimization. However, over the past few years, dynamical systems
theory has increasingly been used to construct new algorithms and shed light on
the hardness of problem instances. We survey a range of examples that
illustrate the use of dynamical systems theory in the context of computational
complexity analysis and novel algorithm construction. In particular, we
summarize a) a novel approach for clustering graphs using the wave equation
partial differential equation, b) invariant manifold computations for the
traveling salesman problem, c) novel approaches for building quantum networks
of Duffing oscillators to solve the MAX-CUT problem, d) applications of the
Koopman operator for analyzing optimization algorithms, and e) the use of
dynamical systems theory to analyze computational complexity.Comment: Accepted for Workshop on Set Oriented Numerics 202
Asymptotic behavior of memristive circuits
The interest in memristors has risen due to their possible application both
as memory units and as computational devices in combination with CMOS. This is
in part due to their nonlinear dynamics, and a strong dependence on the circuit
topology. We provide evidence that also purely memristive circuits can be
employed for computational purposes. In the present paper we show that a
polynomial Lyapunov function in the memory parameters exists for the case of DC
controlled memristors. Such Lyapunov function can be asymptotically
approximated with binary variables, and mapped to quadratic combinatorial
optimization problems. This also shows a direct parallel between memristive
circuits and the Hopfield-Little model. In the case of Erdos-Renyi random
circuits, we show numerically that the distribution of the matrix elements of
the projectors can be roughly approximated with a Gaussian distribution, and
that it scales with the inverse square root of the number of elements. This
provides an approximated but direct connection with the physics of disordered
system and, in particular, of mean field spin glasses. Using this and the fact
that the interaction is controlled by a projector operator on the loop space of
the circuit. We estimate the number of stationary points of the approximate
Lyapunov function and provide a scaling formula as an upper bound in terms of
the circuit topology only.Comment: 20 pages, 8 figures; proofs corrected, figures changed; results
substantially unchanged; to appear in Entrop
Graph2Seq: Scalable Learning Dynamics for Graphs
Neural networks have been shown to be an effective tool for learning
algorithms over graph-structured data. However, graph representation
techniques---that convert graphs to real-valued vectors for use with neural
networks---are still in their infancy. Recent works have proposed several
approaches (e.g., graph convolutional networks), but these methods have
difficulty scaling and generalizing to graphs with different sizes and shapes.
We present Graph2Seq, a new technique that represents vertices of graphs as
infinite time-series. By not limiting the representation to a fixed dimension,
Graph2Seq scales naturally to graphs of arbitrary sizes and shapes. Graph2Seq
is also reversible, allowing full recovery of the graph structure from the
sequences. By analyzing a formal computational model for graph representation,
we show that an unbounded sequence is necessary for scalability. Our
experimental results with Graph2Seq show strong generalization and new
state-of-the-art performance on a variety of graph combinatorial optimization
problems
Growing Linear Consensus Networks Endowed by Spectral Systemic Performance Measures
We propose an axiomatic approach for design and performance analysis of noisy
linear consensus networks by introducing a notion of systemic performance
measure. This class of measures are spectral functions of Laplacian eigenvalues
of the network that are monotone, convex, and orthogonally invariant with
respect to the Laplacian matrix of the network. It is shown that several
existing gold-standard and widely used performance measures in the literature
belong to this new class of measures. We build upon this new notion and
investigate a general form of combinatorial problem of growing a linear
consensus network via minimizing a given systemic performance measure. Two
efficient polynomial-time approximation algorithms are devised to tackle this
network synthesis problem: a linearization-based method and a simple greedy
algorithm based on rank-one updates. Several theoretical fundamental limits on
the best achievable performance for the combinatorial problem is derived that
assist us to evaluate optimality gaps of our proposed algorithms. A detailed
complexity analysis confirms the effectiveness and viability of our algorithms
to handle large-scale consensus networks
A Randomized Greedy Algorithm for Near-Optimal Sensor Scheduling in Large-Scale Sensor Networks
We study the problem of scheduling sensors in a resource-constrained linear
dynamical system, where the objective is to select a small subset of sensors
from a large network to perform the state estimation task. We formulate this
problem as the maximization of a monotone set function under a matroid
constraint. We propose a randomized greedy algorithm that is significantly
faster than state-of-the-art methods. By introducing the notion of curvature
which quantifies how close a function is to being submodular, we analyze the
performance of the proposed algorithm and find a bound on the expected mean
square error (MSE) of the estimator that uses the selected sensors in terms of
the optimal MSE. Moreover, we derive a probabilistic bound on the curvature for
the scenario where{\color{black}{ the measurements are i.i.d. random vectors
with bounded norm.}} Simulation results demonstrate efficacy of the
randomized greedy algorithm in a comparison with greedy and semidefinite
programming relaxation methods
On Submodularity and Controllability in Complex Dynamical Networks
Controllability and observability have long been recognized as fundamental
structural properties of dynamical systems, but have recently seen renewed
interest in the context of large, complex networks of dynamical systems. A
basic problem is sensor and actuator placement: choose a subset from a finite
set of possible placements to optimize some real-valued controllability and
observability metrics of the network. Surprisingly little is known about the
structure of such combinatorial optimization problems. In this paper, we show
that several important classes of metrics based on the controllability and
observability Gramians have a strong structural property that allows for either
efficient global optimization or an approximation guarantee by using a simple
greedy heuristic for their maximization. In particular, the mapping from
possible placements to several scalar functions of the associated Gramian is
either a modular or submodular set function. The results are illustrated on
randomly generated systems and on a problem of power electronic actuator
placement in a model of the European power grid.Comment: Original arXiv version of IEEE Transactions on Control of Network
Systems paper (Volume 3, Issue 1), with a addendum (located in the ancillary
documents) that explains an error in a proof of the original paper and
provides a counterexample to the corresponding resul
Performance guarantees for greedy maximization of non-submodular controllability metrics
A key problem in emerging complex cyber-physical networks is the design of
information and control topologies, including sensor and actuator selection and
communication network design. These problems can be posed as combinatorial set
function optimization problems to maximize a dynamic performance metric for the
network. Some systems and control metrics feature a property called
submodularity, which allows simple greedy algorithms to obtain provably
near-optimal topology designs. However, many important metrics lack
submodularity and therefore lack provable guarantees for using a greedy
optimization approach. Here we show that performance guarantees can be obtained
for greedy maximization of certain non-submodular functions of the
controllability and observability Gramians. Our results are based on two key
quantities: the submodularity ratio, which quantifies how far a set function is
from being submodular, and the curvature, which quantifies how far a set
function is from being supermodular
Typical Performance of Approximation Algorithms for NP-hard Problems
Typical performance of approximation algorithms is studied for randomized
minimum vertex cover problems. A wide class of random graph ensembles
characterized by an arbitrary degree distribution is discussed with some
theoretical frameworks. Here three approximation algorithms are examined; the
linear-programming relaxation, the loopy-belief propagation, and the
leaf-removal algorithm. The former two algorithms are analyzed using the
statistical-mechanical technique while the average-case analysis of the last
one is studied by the generating function method. These algorithms have a
threshold in the typical performance with increasing the average degree of the
random graph, below which they find true optimal solutions with high
probability. Our study reveals that there exist only three cases determined by
the order of the typical-performance thresholds. We provide some conditions for
classifying the graph ensembles and demonstrate explicitly examples for the
difference in the threshold.Comment: 21 pages, 5 figures; typos are fixe
Riemannian optimization on tensor products of Grassmann manifolds: Applications to generalized Rayleigh-quotients
We introduce a generalized Rayleigh-quotient on the tensor product of
Grassmannians enabling a unified approach to well-known optimization tasks from
different areas of numerical linear algebra, such as best low-rank
approximations of tensors (data compression), geometric measures of
entanglement (quantum computing) and subspace clustering (image processing). We
briefly discuss the geometry of the constraint set, we compute the Riemannian
gradient of the generalized Rayleigh-quotient, we characterize its critical
points and prove that they are generically non-degenerated. Moreover, we derive
an explicit necessary condition for the non-degeneracy of the Hessian. Finally,
we present two intrinsic methods for optimizing the generalized
Rayleigh-quotient - a Newton-like and a conjugated gradient - and compare our
algorithms tailored to the above-mentioned applications with established ones
from the literature.Comment: 29 pages, 8 figures, submitte
Efficient automation of index pairs in computational Conley index theory
We present new methods of automating the construction of index pairs,
essential ingredients of discrete Conley index theory. These new algorithms are
further steps in the direction of automating computer-assisted proofs of
semi-conjugacies from a map on a manifold to a subshift of finite type. We
apply these new algorithms to the standard map at different values of the
perturbative parameter {\epsilon} and obtain rigorous lower bounds for its
topological entropy for {\epsilon} in [.7, 2]
- …