12,880 research outputs found
A tree-decomposed transfer matrix for computing exact Potts model partition functions for arbitrary graphs, with applications to planar graph colourings
Combining tree decomposition and transfer matrix techniques provides a very
general algorithm for computing exact partition functions of statistical models
defined on arbitrary graphs. The algorithm is particularly efficient in the
case of planar graphs. We illustrate it by computing the Potts model partition
functions and chromatic polynomials (the number of proper vertex colourings
using Q colours) for large samples of random planar graphs with up to N=100
vertices. In the latter case, our algorithm yields a sub-exponential average
running time of ~ exp(1.516 sqrt(N)), a substantial improvement over the
exponential running time ~ exp(0.245 N) provided by the hitherto best known
algorithm. We study the statistics of chromatic roots of random planar graphs
in some detail, comparing the findings with results for finite pieces of a
regular lattice.Comment: 5 pages, 3 figures. Version 2 has been substantially expanded.
Version 3 shows that the worst-case running time is sub-exponential in the
number of vertice
On unbalanced Boolean functions with best correlation immunity
It is known that the order of correlation immunity of a nonconstant
unbalanced Boolean function in variables cannot exceed ; moreover,
it is if and only if the function corresponds to an equitable
-partition of the -cube with an eigenvalue of the quotient matrix.
The known series of such functions have proportion , , or of
the number of ones and zeros. We prove that if a nonconstant unbalanced Boolean
function attains the correlation-immunity bound and has ratio of the
number of ones and zeros, then is divisible by . In particular, this
proves the nonexistence of equitable partitions for an infinite series of
putative quotient matrices. We also establish that there are exactly
equivalence classes of the equitable partitions of the -cube with quotient
matrix and classes, with . These
parameters correspond to the Boolean functions in variables with
correlation immunity and proportion and , respectively (the case
remains unsolved). This also implies the characterization of the
orthogonal arrays OA and OA.Comment: v3: final; title changed; revised; OA(512,11,2,6) discusse
Streaming Graph Challenge: Stochastic Block Partition
An important objective for analyzing real-world graphs is to achieve scalable
performance on large, streaming graphs. A challenging and relevant example is
the graph partition problem. As a combinatorial problem, graph partition is
NP-hard, but existing relaxation methods provide reasonable approximate
solutions that can be scaled for large graphs. Competitive benchmarks and
challenges have proven to be an effective means to advance state-of-the-art
performance and foster community collaboration. This paper describes a graph
partition challenge with a baseline partition algorithm of sub-quadratic
complexity. The algorithm employs rigorous Bayesian inferential methods based
on a statistical model that captures characteristics of the real-world graphs.
This strong foundation enables the algorithm to address limitations of
well-known graph partition approaches such as modularity maximization. This
paper describes various aspects of the challenge including: (1) the data sets
and streaming graph generator, (2) the baseline partition algorithm with
pseudocode, (3) an argument for the correctness of parallelizing the Bayesian
inference, (4) different parallel computation strategies such as node-based
parallelism and matrix-based parallelism, (5) evaluation metrics for partition
correctness and computational requirements, (6) preliminary timing of a
Python-based demonstration code and the open source C++ code, and (7)
considerations for partitioning the graph in streaming fashion. Data sets and
source code for the algorithm as well as metrics, with detailed documentation
are available at GraphChallenge.org.Comment: To be published in 2017 IEEE High Performance Extreme Computing
Conference (HPEC
- …