356 research outputs found
Spatial Mixing of Coloring Random Graphs
We study the strong spatial mixing (decay of correlation) property of proper
-colorings of random graph with a fixed . The strong spatial
mixing of coloring and related models have been extensively studied on graphs
with bounded maximum degree. However, for typical classes of graphs with
bounded average degree, such as , an easy counterexample shows that
colorings do not exhibit strong spatial mixing with high probability.
Nevertheless, we show that for with and
sufficiently large , with high probability proper -colorings of
random graph exhibit strong spatial mixing with respect to an
arbitrarily fixed vertex. This is the first strong spatial mixing result for
colorings of graphs with unbounded maximum degree. Our analysis of strong
spatial mixing establishes a block-wise correlation decay instead of the
standard point-wise decay, which may be of interest by itself, especially for
graphs with unbounded degree
Cake Cutting Algorithms for Piecewise Constant and Piecewise Uniform Valuations
Cake cutting is one of the most fundamental settings in fair division and
mechanism design without money. In this paper, we consider different levels of
three fundamental goals in cake cutting: fairness, Pareto optimality, and
strategyproofness. In particular, we present robust versions of envy-freeness
and proportionality that are not only stronger than their standard
counter-parts but also have less information requirements. We then focus on
cake cutting with piecewise constant valuations and present three desirable
algorithms: CCEA (Controlled Cake Eating Algorithm), MEA (Market Equilibrium
Algorithm) and CSD (Constrained Serial Dictatorship). CCEA is polynomial-time,
robust envy-free, and non-wasteful. It relies on parametric network flows and
recent generalizations of the probabilistic serial algorithm. For the subdomain
of piecewise uniform valuations, we show that it is also group-strategyproof.
Then, we show that there exists an algorithm (MEA) that is polynomial-time,
envy-free, proportional, and Pareto optimal. MEA is based on computing a
market-based equilibrium via a convex program and relies on the results of
Reijnierse and Potters [24] and Devanur et al. [15]. Moreover, we show that MEA
and CCEA are equivalent to mechanism 1 of Chen et. al. [12] for piecewise
uniform valuations. We then present an algorithm CSD and a way to implement it
via randomization that satisfies strategyproofness in expectation, robust
proportionality, and unanimity for piecewise constant valuations. For the case
of two agents, it is robust envy-free, robust proportional, strategyproof, and
polynomial-time. Many of our results extend to more general settings in cake
cutting that allow for variable claims and initial endowments. We also show a
few impossibility results to complement our algorithms.Comment: 39 page
Constrained Non-Monotone Submodular Maximization: Offline and Secretary Algorithms
Constrained submodular maximization problems have long been studied, with
near-optimal results known under a variety of constraints when the submodular
function is monotone. The case of non-monotone submodular maximization is less
understood: the first approximation algorithms even for the unconstrainted
setting were given by Feige et al. (FOCS '07). More recently, Lee et al. (STOC
'09, APPROX '09) show how to approximately maximize non-monotone submodular
functions when the constraints are given by the intersection of p matroid
constraints; their algorithm is based on local-search procedures that consider
p-swaps, and hence the running time may be n^Omega(p), implying their algorithm
is polynomial-time only for constantly many matroids. In this paper, we give
algorithms that work for p-independence systems (which generalize constraints
given by the intersection of p matroids), where the running time is poly(n,p).
Our algorithm essentially reduces the non-monotone maximization problem to
multiple runs of the greedy algorithm previously used in the monotone case.
Our idea of using existing algorithms for monotone functions to solve the
non-monotone case also works for maximizing a submodular function with respect
to a knapsack constraint: we get a simple greedy-based constant-factor
approximation for this problem.
With these simpler algorithms, we are able to adapt our approach to
constrained non-monotone submodular maximization to the (online) secretary
setting, where elements arrive one at a time in random order, and the algorithm
must make irrevocable decisions about whether or not to select each element as
it arrives. We give constant approximations in this secretary setting when the
algorithm is constrained subject to a uniform matroid or a partition matroid,
and give an O(log k) approximation when it is constrained by a general matroid
of rank k.Comment: In the Proceedings of WINE 201
Remarks on the notion of quantum integrability
We discuss the notion of integrability in quantum mechanics. Starting from a
review of some definitions commonly used in the literature, we propose a
different set of criteria, leading to a classification of models in terms of
different integrability classes. We end by highlighting some of the expected
physical properties associated to models fulfilling the proposed criteria.Comment: 22 pages, no figures, Proceedings of Statphys 2
The theoretical capacity of the Parity Source Coder
The Parity Source Coder is a protocol for data compression which is based on
a set of parity checks organized in a sparse random network. We consider here
the case of memoryless unbiased binary sources. We show that the theoretical
capacity saturate the Shannon limit at large K. We also find that the first
corrections to the leading behavior are exponentially small, so that the
behavior at finite K is very close to the optimal one.Comment: Added references, minor change
Focused Local Search for Random 3-Satisfiability
A local search algorithm solving an NP-complete optimisation problem can be
viewed as a stochastic process moving in an 'energy landscape' towards
eventually finding an optimal solution. For the random 3-satisfiability
problem, the heuristic of focusing the local moves on the presently
unsatisfiedclauses is known to be very effective: the time to solution has been
observed to grow only linearly in the number of variables, for a given
clauses-to-variables ratio sufficiently far below the critical
satisfiability threshold . We present numerical results
on the behaviour of three focused local search algorithms for this problem,
considering in particular the characteristics of a focused variant of the
simple Metropolis dynamics. We estimate the optimal value for the
``temperature'' parameter for this algorithm, such that its linear-time
regime extends as close to as possible. Similar parameter
optimisation is performed also for the well-known WalkSAT algorithm and for the
less studied, but very well performing Focused Record-to-Record Travel method.
We observe that with an appropriate choice of parameters, the linear time
regime for each of these algorithms seems to extend well into ratios -- much further than has so far been generally assumed. We discuss the
statistics of solution times for the algorithms, relate their performance to
the process of ``whitening'', and present some conjectures on the shape of
their computational phase diagrams.Comment: 20 pages, lots of figure
On the cavity method for decimated random constraint satisfaction problems and the analysis of belief propagation guided decimation algorithms
We introduce a version of the cavity method for diluted mean-field spin
models that allows the computation of thermodynamic quantities similar to the
Franz-Parisi quenched potential in sparse random graph models. This method is
developed in the particular case of partially decimated random constraint
satisfaction problems. This allows to develop a theoretical understanding of a
class of algorithms for solving constraint satisfaction problems, in which
elementary degrees of freedom are sequentially assigned according to the
results of a message passing procedure (belief-propagation). We confront this
theoretical analysis to the results of extensive numerical simulations.Comment: 32 pages, 24 figure
Many-body localization and thermalization in the full probability distribution function of observables
We investigate the relation between thermalization following a quantum quench
and many-body localization in quasiparticle space in terms of the long-time
full distribution function of physical observables. In particular, expanding on
our recent work [E. Canovi {\em et al.}, Phys. Rev. B {\bf 83}, 094431 (2011)],
we focus on the long-time behavior of an integrable XXZ chain subject to an
integrability-breaking perturbation. After a characterization of the breaking
of integrability and the associated localization/delocalization transition
using the level spacing statistics and the properties of the eigenstates, we
study the effect of integrability-breaking on the asymptotic state after a
quantum quench of the anisotropy parameter, looking at the behavior of the full
probability distribution of the transverse and longitudinal magnetization of a
subsystem. We compare the resulting distributions with those obtained in
equilibrium at an effective temperature set by the initial energy. We find
that, while the long time distribution functions appear to always agree {\it
qualitatively} with the equilibrium ones, {\it quantitative} agreement is
obtained only when integrability is fully broken and the relevant eigenstates
are diffusive in quasi-particle space.Comment: 18 pages, 11 figure
On the freezing of variables in random constraint satisfaction problems
The set of solutions of random constraint satisfaction problems (zero energy
groundstates of mean-field diluted spin glasses) undergoes several structural
phase transitions as the amount of constraints is increased. This set first
breaks down into a large number of well separated clusters. At the freezing
transition, which is in general distinct from the clustering one, some
variables (spins) take the same value in all solutions of a given cluster. In
this paper we study the critical behavior around the freezing transition, which
appears in the unfrozen phase as the divergence of the sizes of the
rearrangements induced in response to the modification of a variable. The
formalism is developed on generic constraint satisfaction problems and applied
in particular to the random satisfiability of boolean formulas and to the
coloring of random graphs. The computation is first performed in random tree
ensembles, for which we underline a connection with percolation models and with
the reconstruction problem of information theory. The validity of these results
for the original random ensembles is then discussed in the framework of the
cavity method.Comment: 32 pages, 7 figure
- …