---
title: 'PoPs: Probabilistic Bit-String Models'
url: https://www.emergentmind.com/topics/probabilities-of-bit-string-probabilities-pops
type: topic
---

# PoPs: Probabilistic Bit-String Models

Probabilities of Bit-String Probabilities (PoPs) denotes, in a broad research sense, the family of constructions in which binary strings are assigned probabilities, generated from per-bit probabilities, or compared through probability laws induced by sequential dynamics, pattern counts, or noisy channels. Across recent arXiv work, PoPs appear in at least four recurrent forms: exact machine-word Bernoulli sampling, where a whole word is drawn with i.i.d. Bernoulli\((p)\) bits; adaptive sequential models, where full-string probability is the chain-rule product of next-bit predictions; Bernoulli pattern laws, where a length-\(k\) word \(\omega\) has mass \(p^{|\omega|}(1-p)^{k-|\omega|}\); and channel models, where a fixed or latent string induces a probability distribution on observed traces [1808.05009] [1501.01202] [2509.24654] [1708.02216].

## 1. Probability objects and semantic regimes

The most basic PoPs object is the probability of a fixed finite word under an i.i.d. Bernoulli source. In the machine-word formulation, one seeks a word
\[
X=(X_1,\dots,X_{N_{\mathrm{bit}}})
\]
such that
\[
X_i \overset{\text{i.i.d.}}{\sim} \mathrm{Bernoulli}(p),
\qquad
\Pr(X=s)=p^m(1-p)^{N_{\mathrm{bit}}-m},
\]
for any concrete bit string \(s\) of Hamming weight \(m\). The induced Hamming-weight law is binomial:
\[
\sum_{i=1}^{N_{\mathrm{bit}}} X_i \sim \mathrm{Binomial}(N_{\mathrm{bit}},p).
\]
In this regime, PoPs is a word-level Bernoulli vector distribution, not merely a collection of unrelated single-bit events [1808.05009].

A second regime is sequential. In exponential-smoothing probability estimation, the model maintains a Bernoulli prediction for the next bit and updates it after each observation. For a binary sequence \(x_{1:n}\), the induced whole-string probability is
\[
P_{\mathrm{ESP}}(x_{1:n})=\prod_{t=1}^n \mathrm{ESP}(x_t;x_{<t}),
\]
and the corresponding codelength is
\[
\ell(x_{1:n};\mathrm{ESP})=-\sum_{t=1}^n \log \mathrm{ESP}(x_t;x_{<t}).
\]
Here a bit-string probability is not specified directly; it is assembled online from conditional probabilities by the chain rule [1501.01202].

A third regime concerns the distribution of probabilities across words of equal length. In an infinite Bernoulli\((p)\) sequence, each length-\(k\) word \(\omega\) has probability
\[
\Ber^k(\omega)=p^{|\omega|}(1-p)^{k-|\omega|}.
\]
Hence the probability of a word depends only on its Hamming weight, and there are only \(k+1\) distinct probability levels, with multiplicities \(\binom{k}{r}\). When \(p=\tfrac12\), all words of length \(k\) are equiprobable; when \(p\neq \tfrac12\), probabilities vary exponentially with weight [2509.24654].

A fourth regime is sequential competition rather than static mass. In Penney’s ante, the central quantity is
\[
P_p(\tau_v<\tau_w),
\]
the probability that one target word appears before another in an iid Bernoulli\((p)\) stream. This is not the same object as \(P_p(v)\) or \(P_p(w)\). A plausible implication is that PoPs should be treated as a family of probability semantics rather than a single scalar notion [2409.19195].

## 2. Exact Bernoulli-word generation

A particularly concrete PoPs problem is exact word-level Bernoulli sampling: given \(N_{\mathrm{bit}}\) and \(p\in[0,1]\), generate a machine word whose bits are mutually independent Bernoulli\((p)\). The baseline is the obvious per-bit algorithm, which performs \(N_{\mathrm{bit}}\) random tests. The main alternatives developed for this problem are binomial-shuffle, Poisson-OR, and a finite-digit dyadic construction. Binomial-shuffle first samples
\[
M\sim \mathrm{Binomial}(N_{\mathrm{bit}},p),
\]
then places exactly \(M\) ones uniformly among the bit positions, with expected draw count approximately \(1+pN_{\mathrm{bit}}\). Poisson-OR samples
\[
k\leftarrow \mathrm{Poisson}(-N_{\mathrm{bit}}\log(1-p)),
\]
generates \(k\) one-hot words, ORs them together, and yields exact mutual independence because
\[
p=1-e^{-\lambda/N_{\mathrm{bit}}},
\qquad
\lambda=-N_{\mathrm{bit}}\log(1-p).
\]
The finite-digit construction synthesizes a dyadic probability \(\tilde p_n\) from raw fair-bit words using AND and OR recursions; for arbitrary real \(p\), exactness is restored by a hybrid correction step using either
\[
y=\tilde y_n\lor z,\qquad
p_\varepsilon=\frac{p-\tilde p_n}{1-\tilde p_n},
\]
or
\[
y=\tilde y_n\land(\lnot z),\qquad
p_\varepsilon=\frac{\tilde p_n-p}{\tilde p_n}.
\]
The paper’s exactness summary is sharp: the simple algorithm, binomial-shuffle, and Poisson-OR are exact; the finite-digit method alone is exact only for finite-binary \(p\); the hybrid finite-digit-plus-correction method is exact for arbitrary \(p\). In benchmark results on an Intel Xeon Gold 6184 with Intel C++ and \(-O3\), the fastest method for \(p=0.6447\) was Poisson-OR with correction from \(5/8\), giving about \(3.8\times\) speedup for 32-bit words and \(6.8\times\) for 64-bit words relative to the simple algorithm. The same generator accelerated multispin coding for one-dimensional bond-directed percolation by up to \(14\times\) over optimized scalar code for cluster growth at criticality and about \(4.5\times\) for relaxation from the fully active state [1808.05009].

## 3. Adaptive assignment and substring-based estimation

In adaptive sequential PoPs, the central object is an online Bernoulli predictor. The exponential-smoothing model \(\mathrm{ESP}=(\alpha_{1:\infty},p)\) updates
\[
q_k=\alpha_k q_{k-1}+(1-\alpha_k)x_k,
\]
where \(q_k=\mathrm{ESP}(1;x_{\le k})\). In closed form,
\[
q_n=\beta_n p(1)+\sum_{j=1}^n \frac{\beta_n}{\beta_j}(1-\alpha_j)x_j,
\qquad
\beta_i=\prod_{j=1}^i \alpha_j,
\]
so older bits are exponentially downweighted. The whole-string probability again follows by the chain rule, and the main redundancy guarantee is \(O(s\sqrt n)\) against a piecewise stationary comparator with \(s\) segments, improving on \(O(s\sqrt{n\log n})\) for previous approaches of similar time complexity. The estimator runs in \(O(1)\) time per bit for the binary case and preserves strictly positive probabilities as long as \(p(0),p(1)>0\) and \(0<\alpha_k<1\) [1501.01202].

A different, more empirical PoPs construction estimates probabilities from substring counts in a reference string. For a substring \(t\) and class string \(T_2\), the estimator is
\[
\hat P(t;T_2)=\frac{\mathrm{freq}(t;T_2)}{|T_2|}.
\]
A test string \(T_1\) is then assigned the probability of its most probable segmentation:
\[
P(T_1;T_2)=\max_{\pi_k\in\pi(T_1)}\prod_{t\in\pi_k} P(t;T_2),
\]
equivalently
\[
I_s(T_1;T_2)=\min_{\pi_k\in\pi(T_1)}\left(-\sum_{t\in\pi_k}\log_2 P(t;T_2)\right).
\]
The decisive modeling choice is the meaning of \(\mathrm{freq}(t;T_2)\): overlapping counting counts all matching start positions, whereas non-overlapping counting extracts disjoint copies. The difference is especially pronounced for periodic patterns. In the reported classification study over 50 UCR datasets and 45,660 test strings, discordant outcomes were \(623\) in favor of overlapping and \(1264\) in favor of non-overlapping, with McNemar \(p\approx 2.22\times 10^{-50}\), and the paper concludes that non-overlapping counting is better in that setting [2211.04024].

## 4. Pattern counts, Poisson laws, and first-occurrence probabilities

For pattern-count PoPs, the unbiased and biased Bernoulli cases diverge sharply. When \(p=\tfrac12\), all length-\(k\) words are equiprobable with mass \(2^{-k}\), and with \(N_k=2^k\) the number of occurrences of a random word converges to \(\mathrm{Po}(1)\) for almost every sequence in the sense of Peres and Weiss. When \(p\neq \tfrac12\), this global Poisson regime fails: for any choice of \(N_k\), words of the same length are exponentially nonuniform in probability, so most words are either too rare to appear or so common that their counts diverge. The paper proves a trichotomy: depending on the scale of \(N_k\) relative to \(2^{kH(p)}a^{\sqrt{k}}\), counts become trivial at zero, diverge in probability, or exhibit critical partial escape of mass with a nontrivial atom at \(0\) and all finite positive atoms vanishing. Poisson behavior is recovered only after restricting to a fixed Hamming-weight class
\[
F_k=\{\omega\in\{0,1\}^k: |\omega|=n_k\},
\qquad
n_k=\lfloor pk-c\sqrt{k}\rfloor,
\]
so that all selected words have equal Bernoulli probability [2509.24654].

Penney’s ante provides a complementary PoPs model in which overlap geometry, not merely raw Bernoulli mass, governs the outcome. For words \(v\) and \(w\),
\[
\text{Win}(v,w;p)=P_p(\tau_v<\tau_w)
=\frac{ww_p-wv_p}{ww_p+vv_p-wv_p-vw_p},
\]
where \(vv_p\), \(ww_p\), \(vw_p\), and \(wv_p\) are correlation-polynomial values built from overlap sets. The same formalism gives
\[
\mathbb E_p\tau_v=vv_p.
\]
This immediately rules out a common misconception: a word with larger static mass need not be more likely to occur first. At \(p=\tfrac12\), if \(|v|=|w|+k\), then
\[
\text{Win}\left(v,w;\tfrac12\right)<\frac{2}{1+2^k},
\]
so a word longer by at least two bits can never be favorable. The paper also identifies systematic \(p\mapsto 1-p\) symmetries and explicit bijections behind odd, even, and constant symmetry classes [2409.19195].

## 5. Channel-induced string laws and latent probability strings

Deletion channels induce PoPs by mapping a fixed source string to a probability distribution on output traces. In the position-dependent deletion model, each source symbol \(x_k\) is retained with probability \(p_k\) and deleted with probability \(q_k=1-p_k\). For an output trace \(\mathbf y=(y_0,\dots,y_{t-1})\),
\[
\Pr(\widetilde{\mathbf X}=\mathbf y\mid \mathbf x)
=
\sum_{\substack{0\le i_0<\cdots<i_{t-1}\le n-1\\(x_{i_0},\dots,x_{i_{t-1}})=\mathbf y}}
\Big(\prod_{r=0}^{t-1} p_{i_r}\Big)
\Big(\prod_{k\notin\{i_0,\dots,i_{t-1}\}} q_k\Big).
\]
The generating-function identity
\[
\Psi(w)=\sum_{k=0}^{n-1} a_k p_k \prod_{\ell=0}^{k-1}(p_\ell w+q_\ell)
\]
encodes output-coordinate expectations through
\[
\mathbb E\Big(\sum_{j\ge 0}\widetilde a_j w^j\Big)=\Psi(w).
\]
Under weak monotonicity or 2-periodicity assumptions, the paper extends the \(\exp(O(n^{1/3}))\) trace-reconstruction upper bound to varying deletion probabilities [1708.02216].

A stronger generalization replaces the unknown deterministic source by a latent probability string
\[
S=(p_1,\dots,p_n)\in[0,1]^n.
\]
Each trace is generated by first sampling
\[
X_i\sim \mathrm{Bernoulli}(p_i)
\]
independently, then deleting each sampled bit independently with probability \(\delta\). This contains classical trace reconstruction as the special case \(p_i\in\{0,1\}\). The worst-case theorem states that for deletion probability at least order \(1/\sqrt n\), no algorithm can approximate \(S\) to constant \(\ell_\infty\) distance or \(\ell_1\) distance \(o(\sqrt n)\) using fewer than \(2^{\Omega(\sqrt n)}\) traces. By contrast, if the \(p_i\) are i.i.d. uniform on \([0,1]\), then for any \(\epsilon>0\) and sufficiently small constant deletion probability, specifically \(\delta\le 10^{-7}\), \(S\) can be recovered to \(\ell_1\) error at most \(\epsilon\) with high probability using \(\operatorname{poly}(n,1/\epsilon)\) traces and computation time [2412.00674].

## 6. Computation, architectures, and alternative notions of randomness

When a bit-string probability factors into a product of local probabilities,
\[
\Pr[x]=\prod_{i=1}^n q_i,
\]
PoPs becomes a streaming product problem. The approximation task \(APP_\epsilon\) asks for a multiplicative \((1-\epsilon)\)-approximation to \(\prod_i q_i\). A cited deterministic upper bound uses
\[
2\log n+\log b-\log\epsilon
\]
bits of state, while the paper proves matching lower bounds up to constants:
\[
\Omega(\log n+\log b-\log\epsilon)-O(1)
\]
for both deterministic and randomized algorithms in the stated parameter regime. The threshold problem \(TPP\), deciding whether a product is below a threshold, is much harder: the paper proves randomized space lower bounds of \(\Omega(n\cdot b)\) when \(b\ge \Omega(\log n)\). This establishes a sharp computational distinction between approximate scoring and exact thresholding of factored bit-string probabilities [2504.16507].

PoPs also appears as a hardware primitive. In p-bit computing, each stochastic binary unit obeys
\[
s_i=\Theta[\sigma(I_i-r)],
\]
with \(r\) uniform on \([0,1]\), so a p-bit is a 1-bit random number generator with controllable mean. Networks of p-bits can implement Bayesian networks, Ising/Boltzmann systems, and MCMC procedures. For Boltzmann-style sampling, the paper states that network states are generated with probabilities
\[
P_\alpha \sim \exp(-\beta E_\alpha),
\qquad
E=-\sum_{ij} W_{ij}s_i s_j-\sum_i h_i s_i,
\]
and local inputs satisfy
\[
I_i=\beta\Big(\sum_j W_{ij}s_j+h_i\Big).
\]
The proposed architecture has an \(N\)-bit RNG block, a deterministic kernel, and a deterministic data collector. The paper reports FPGA emulation at \(125\) MHz, systems with thousands of p-bits, and applications including Bayesian networks, optimization, Ising models, and quantum Monte Carlo [2108.09836].

A markedly different formulation treats randomness through witness complexity rather than probabilistic normalization. In the simple quantum model, a predicate \(Q\) on an integer sequence \(S=\{s_1,\dots,s_n\}\) defines a bit string
\[
B=Q(s_1)Q(s_2)\cdots Q(s_n),
\]
and a resource state
\[
|W)=\sum_j |w_j)
\]
contains witnesses required to certify the \(1\)-positions. The paper’s compression criterion is cardinality-based: if \(|W|<|S_Q|\), the string is compressible; if \(|W|=|S_Q|\), it is incompressible and has maximal randomness. This is not a Shannon-entropy notion. It is an alternative PoPs perspective in which the randomness of a bit string is governed by the minimal resource needed to specify its positive instances [1505.00741].

Taken together, these lines of work suggest that PoPs is best understood not as a single theory but as a technically connected research area spanning exact Bernoulli-word generation, adaptive sequence modeling, overlap-sensitive pattern laws, noisy-channel trace distributions, streaming computation of factored probabilities, and hardware or quantum formalisms for representing stochastic bit strings. The common invariant is that probabilities are attached to binary strings at the level of words, sequences, patterns, traces, or latent parameterizations, and that the operative mathematics depends on which of those objects is being treated as fundamental.

Source: https://www.emergentmind.com/topics/probabilities-of-bit-string-probabilities-pops