4,329 research outputs found
Searching for network modules
When analyzing complex networks a key target is to uncover their modular
structure, which means searching for a family of modules, namely node subsets
spanning each a subnetwork more densely connected than the average. This work
proposes a novel type of objective function for graph clustering, in the form
of a multilinear polynomial whose coefficients are determined by network
topology. It may be thought of as a potential function, to be maximized, taking
its values on fuzzy clusterings or families of fuzzy subsets of nodes over
which every node distributes a unit membership. When suitably parametrized,
this potential is shown to attain its maximum when every node concentrates its
all unit membership on some module. The output thus is a partition, while the
original discrete optimization problem is turned into a continuous version
allowing to conceive alternative search strategies. The instance of the problem
being a pseudo-Boolean function assigning real-valued cluster scores to node
subsets, modularity maximization is employed to exemplify a so-called quadratic
form, in that the scores of singletons and pairs also fully determine the
scores of larger clusters, while the resulting multilinear polynomial potential
function has degree 2. After considering further quadratic instances, different
from modularity and obtained by interpreting network topology in alternative
manners, a greedy local-search strategy for the continuous framework is
analytically compared with an existing greedy agglomerative procedure for the
discrete case. Overlapping is finally discussed in terms of multiple runs, i.e.
several local searches with different initializations.Comment: 10 page
Submodular Function Maximization for Group Elevator Scheduling
We propose a novel approach for group elevator scheduling by formulating it
as the maximization of submodular function under a matroid constraint. In
particular, we propose to model the total waiting time of passengers using a
quadratic Boolean function. The unary and pairwise terms in the function denote
the waiting time for single and pairwise allocation of passengers to elevators,
respectively. We show that this objective function is submodular. The matroid
constraints ensure that every passenger is allocated to exactly one elevator.
We use a greedy algorithm to maximize the submodular objective function, and
derive provable guarantees on the optimality of the solution. We tested our
algorithm using Elevate 8, a commercial-grade elevator simulator that allows
simulation with a wide range of elevator settings. We achieve significant
improvement over the existing algorithms.Comment: 10 pages; 2017 International Conference on Automated Planning and
Scheduling (ICAPS
Hypercontractive Inequality for Pseudo-Boolean Functions of Bounded Fourier Width
A function is called pseudo-Boolean.
It is well-known that each pseudo-Boolean function can be written as
where ${\cal F}\subseteq \{I:\
I\subseteq [n]\}[n]=\{1,2,...,n\}\chi_I(x)=\prod_{i\in I}x_i\hat{f}(I)f\max \{|I|:\ I\in {\cal
F}\}f\rhoi\in
[n]\rho\cal Fi\in [n]\mathbf{x}_i\mathbf{x}_jj\neq i.\mathbf{x}=(\mathbf{x}_1,...,\mathbf{x}_n)pf||f||_p=(\mathbb E[|f(\mathbf{x})|^p])^{1/p}p\ge 1||f||_q\ge ||f||_pq> p\ge 1ffdq> p>1 ||f||_q\le
(\frac{q-1}{p-1})^{d/2}||f||_p.d\rhoq> p\ge 2 ||f||_q\le
((2r)!\rho^{r-1})^{1/(2r)}||f||_p,r=\lceil q/2\rceilq=4p=2 ||f||_4\le (2\rho+1)^{1/4}||f||_2.
Quadratization of Symmetric Pseudo-Boolean Functions
A pseudo-Boolean function is a real-valued function
of binary variables; that is, a mapping from
to . For a pseudo-Boolean function on
, we say that is a quadratization of if is a
quadratic polynomial depending on and on auxiliary binary variables
such that for
all . By means of quadratizations, minimization of is
reduced to minimization (over its extended set of variables) of the quadratic
function . This is of some practical interest because minimization of
quadratic functions has been thoroughly studied for the last few decades, and
much progress has been made in solving such problems exactly or heuristically.
A related paper \cite{ABCG} initiated a systematic study of the minimum number
of auxiliary -variables required in a quadratization of an arbitrary
function (a natural question, since the complexity of minimizing the
quadratic function depends, among other factors, on the number of
binary variables). In this paper, we determine more precisely the number of
auxiliary variables required by quadratizations of symmetric pseudo-Boolean
functions , those functions whose value depends only on the Hamming
weight of the input (the number of variables equal to ).Comment: 17 page
Particle algorithms for optimization on binary spaces
We discuss a unified approach to stochastic optimization of pseudo-Boolean
objective functions based on particle methods, including the cross-entropy
method and simulated annealing as special cases. We point out the need for
auxiliary sampling distributions, that is parametric families on binary spaces,
which are able to reproduce complex dependency structures, and illustrate their
usefulness in our numerical experiments. We provide numerical evidence that
particle-driven optimization algorithms based on parametric families yield
superior results on strongly multi-modal optimization problems while local
search heuristics outperform them on easier problems
- …