University of Texas atSan
Abstract
Why do human populations remain vulnerable to collapse, even when they are
large? Classical demographic theory predicts that volatility in growth should
decline rapidly with size due to the averaging effects of the law of large
numbers. As such, while small-scale societies may be demographically fragile,
large-scale societies should be much more stable. Using a large census dataset
of 228 indigenous societies from Brazil, we show that this prediction does not
hold. Instead of volatility declining as the square root of population size, it
falls much more slowly. This means that individuals within communities do not
behave as independent demographic units as their lives are correlated through
cooperation, shared subsistence practices, overlapping land use, and exposure
to common shocks such as disease outbreaks or failed harvests. These
correlations build demographic synchrony, drastically reducing the effective
demographic degrees of freedom in a population, keeping volatility higher than
expected at all scales. As a result, large-scale populations fluctuate as if
they were much smaller, increasing their vulnerability to collapse. This helps
explain why human societies of all sizes seem vulnerable to collapse, and why
the archaeological and historical record is filled with examples of large,
complex societies collapsing despite their size. We suggest demographic
synchrony provides a general mechanism for understanding why human populations
remain vulnerable across all scales: Scale still stabilizes synchronous
populations via density increases, but synchrony ensures that stability grows
only slowly with size, leaving large populations more volatile, and more
vulnerable, than classical demographic theory predicts.
The Center for Quantum
Abstract
We introduce a systematic approach for analyzing device-independent
single-prover interactive protocols under computational assumptions. This is
done by establishing an explicit correspondence with Bell inequalities and
nonlocal games and constructing a computational space of correlations.We show
how computational assumptions are converted to computational Bell inequalities,
in their rigorous mathematical sense, a hyperplane that separates the sets of
classical and quantum verifier-prover interactions. We reveal precisely how the
nonsignaling assumption in standard device-independent setups interchanges with
the computational challenge of learning a hidden input (that we define). We
further utilize our fundamental results to study explicit protocols using the
new perspective. We take advantage of modular tools for studying nonlocality,
deriving tighter Tsirelson bounds for single-prover protocols and bounding the
entropy generated in the interaction, improving on previous results. Our work
thus establishes a modular approach to analyzing single-prover quantum
certification protocols based on computational assumptions through the
fundamental lens of Bell inequalities, removing many layers of technical
overhead. The link that we draw between single-prover protocols and Bell
inequalities goes far beyond the spread intuitive understanding or known
results about "compiled nonlocal games"; Notably, it captures the exact way in
which the correspondence between computational assumptions and locality should
be understood also in protocols based on, e.g., trapdoor claw-free functions
(in which there is no clear underlying nonlocal game).
AI Insights - Compiled nonlocal games provide a new lens to analyze cryptographic protocols that lack an obvious nonlocal game structure.
- Trapdoor claw‑free functions can be understood via computational Bell inequalities, bridging a gap in current theory.
- The Navascués‑Pironio‑Acín hierarchy offers a systematic SDP approach to characterizing quantum correlations.
- Kalai et al.'s work demonstrates that any nonlocal game can yield quantum advantage, expanding the toolkit for protocol designers.
- Scarani's Bell Nonlocality book offers a deep dive into the mathematical foundations of nonlocal correlations.
- Yanofsky and Mannucci's Quantum Computing for Computer Scientists bridges CS and quantum theory with accessible proofs.
- IBM Research's YouTube tutorial demystifies quantum computing concepts for practitioners.