50 research outputs found
Efficient partitioning and assignment on programs for multiprocessor execution
The general problem studied is that of segmenting or partitioning programs for distribution across a multiprocessor system. Efficient partitioning and the assignment of program elements are of great importance since the time consumed in this overhead activity may easily dominate the computation, effectively eliminating any gains made by the use of the parallelism. In this study, the partitioning of sequentially structured programs (written in FORTRAN) is evaluated. Heuristics, developed for similar applications are examined. Finally, a model for queueing networks with finite queues is developed which may be used to analyze multiprocessor system architectures with a shared memory approach to the problem of partitioning. The properties of sequentially written programs form obstacles to large scale (at the procedure or subroutine level) parallelization. Data dependencies of even the minutest nature, reflecting the sequential development of the program, severely limit parallelism. The design of heuristic algorithms is tied to the experience gained in the parallel splitting. Parallelism obtained through the physical separation of data has seen some success, especially at the data element level. Data parallelism on a grander scale requires models that accurately reflect the effects of blocking caused by finite queues. A model for the approximation of the performance of finite queueing networks is developed. This model makes use of the decomposition approach combined with the efficiency of product form solutions
Correlation in Hard Distributions in Communication Complexity
We study the effect that the amount of correlation in a bipartite
distribution has on the communication complexity of a problem under that
distribution. We introduce a new family of complexity measures that
interpolates between the two previously studied extreme cases: the (standard)
randomised communication complexity and the case of distributional complexity
under product distributions.
We give a tight characterisation of the randomised complexity of Disjointness
under distributions with mutual information , showing that it is
for all . This smoothly interpolates
between the lower bounds of Babai, Frankl and Simon for the product
distribution case (), and the bound of Razborov for the randomised case.
The upper bounds improve and generalise what was known for product
distributions, and imply that any tight bound for Disjointness needs
bits of mutual information in the corresponding distribution.
We study the same question in the distributional quantum setting, and show a
lower bound of , and an upper bound, matching up to a
logarithmic factor.
We show that there are total Boolean functions on inputs that have
distributional communication complexity under all distributions of
information up to , while the (interactive) distributional complexity
maximised over all distributions is for .
We show that in the setting of one-way communication under product
distributions, the dependence of communication cost on the allowed error
is multiplicative in -- the previous upper bounds
had the dependence of more than
Sign rank versus VC dimension
This work studies the maximum possible sign rank of sign
matrices with a given VC dimension . For , this maximum is {three}. For
, this maximum is . For , similar but
slightly less accurate statements hold. {The lower bounds improve over previous
ones by Ben-David et al., and the upper bounds are novel.}
The lower bounds are obtained by probabilistic constructions, using a theorem
of Warren in real algebraic topology. The upper bounds are obtained using a
result of Welzl about spanning trees with low stabbing number, and using the
moment curve.
The upper bound technique is also used to: (i) provide estimates on the
number of classes of a given VC dimension, and the number of maximum classes of
a given VC dimension -- answering a question of Frankl from '89, and (ii)
design an efficient algorithm that provides an multiplicative
approximation for the sign rank.
We also observe a general connection between sign rank and spectral gaps
which is based on Forster's argument. Consider the adjacency
matrix of a regular graph with a second eigenvalue of absolute value
and . We show that the sign rank of the signed
version of this matrix is at least . We use this connection to
prove the existence of a maximum class with VC
dimension and sign rank . This answers a question
of Ben-David et al.~regarding the sign rank of large VC classes. We also
describe limitations of this approach, in the spirit of the Alon-Boppana
theorem.
We further describe connections to communication complexity, geometry,
learning theory, and combinatorics.Comment: 33 pages. This is a revised version of the paper "Sign rank versus VC
dimension". Additional results in this version: (i) Estimates on the number
of maximum VC classes (answering a question of Frankl from '89). (ii)
Estimates on the sign rank of large VC classes (answering a question of
Ben-David et al. from '03). (iii) A discussion on the computational
complexity of computing the sign-ran
A Survey of Stochastic Simulation and Optimization Methods in Signal Processing
International audienceModern signal processing (SP) methods rely very heavily on probability and statistics to solve challenging SP problems. SP methods are now expected to deal with ever more complex models, requiring ever more sophisticated computational inference techniques. This has driven the development of statistical SP methods based on stochastic simulation and optimization. Stochastic simulation and optimization algorithms are computationally intensive tools for performing statistical inference in models that are anal ytically intractable and beyond the scope of deterministic inference methods. They have been recently successfully applied to many difficult problems involving complex statistical models and sophisticated (often Bayesian) statistical inference techniques. This survey paper offers an introduction to stochastic simulation and optimization methods in signal and image processing. The paper addresses a variety of high-dimensional Markov chain Monte Carlo (MCMC) methods as well as deterministic surrogate methods, such as variational Bayes, the Bethe approach, belief and expectation propagation and approximate message passing algorithms. It also discusses a range of optimization methods that have been adopted to solve stochastic problems, as well as stochastic methods for deterministic optimization. Subsequently, area as of overlap between simulation and optimization, in particular optimization-within-MCMC and MCMC-driven optimization are discussed
Near-Optimal Lower Bounds on the Threshold Degree and Sign-Rank of AC^0
The threshold degree of a Boolean function is
the minimum degree of a real polynomial that represents in sign:
A related notion is sign-rank, defined for a
Boolean matrix as the minimum rank of a real matrix with
. Determining the maximum threshold degree
and sign-rank achievable by constant-depth circuits () is a
well-known and extensively studied open problem, with complexity-theoretic and
algorithmic applications.
We give an essentially optimal solution to this problem. For any
we construct an circuit in variables that has
threshold degree and sign-rank
improving on the previous best lower bounds of
and , respectively. Our
results subsume all previous lower bounds on the threshold degree and sign-rank
of circuits of any given depth, with a strict improvement
starting at depth . As a corollary, we also obtain near-optimal bounds on
the discrepancy, threshold weight, and threshold density of ,
strictly subsuming previous work on these quantities. Our work gives some of
the strongest lower bounds to date on the communication complexity of
.Comment: 99 page
Measurement-induced disturbances and nonclassical correlations of Gaussian states
We study quantum correlations beyond entanglement in two-mode Gaussian states of continuous-variable systems by means of the measurement-induced disturbance (MID) and its ameliorated version (AMID). In analogy with the recent studies of the Gaussian quantum discord, we define a Gaussian AMID by constraining the optimization to all bi-local Gaussian positive operator valued measurements. We solve the optimization explicitly for relevant families of states, including squeezed thermal states. Remarkably, we find that there is a finite subset of two-mode Gaussian states comprising pure states where non-Gaussian measurements such as photon counting are globally optimal for the AMID and realize a strictly smaller state disturbance compared to the best Gaussian measurements. However, for the majority of two-mode Gaussian states the unoptimized MID provides a loose overestimation of the actual content of quantum correlations, as evidenced by its comparison with Gaussian discord. This feature displays strong similarity with the case of two qubits. Upper and lower bounds for the Gaussian AMID at fixed Gaussian discord are identified. We further present a comparison between Gaussian AMID and Gaussian entanglement of formation, and classify families of two-mode states in terms of their Gaussian AMID, Gaussian discord, and Gaussian entanglement of formation. Our findings provide a further confirmation of the genuinely quantum nature of general Gaussian states, yet they reveal that non-Gaussian measurements can play a crucial role for the optimized extraction and potential exploitation of classical and nonclassical correlations in Gaussian states. © 2011 American Physical Society