---
title: Unsolvability Ceiling in Theory and Practice
url: https://www.emergentmind.com/topics/unsolvability-ceiling
type: topic
---

# Unsolvability Ceiling in Theory and Practice

Searching arXiv for recent papers using the term and closely related formulations.
“Unsolvability ceiling” denotes a boundary beyond which a formalism, model class, or evaluation regime ceases to admit a full exact solution, a stable object, a decidable procedure, or a reliable selection rule. The expression is not used uniformly across fields. In interacting bosonic quantum field theory it names a structural barrier to exact non-perturbative solution; in Erdős–Moser type Diophantine equations it names arithmetic obstructions that force nonexistence of integer solutions beyond trivial cases; in recent LLM research it names ceilings on selection accuracy, benchmark estimation, and router performance induced by model capability, correlation, and evaluation artifacts. Related notions appear in classification theory, stable roommates, planning, nested recursions, and tag systems as boundaries between solvable and structurally irreducible regimes [1803.01912; 1804.04646; 2606.28661; 2605.07395; 1405.4491; 2505.06717; 2504.15668; 1903.08218; 0906.3329; 1204.6714].

## 1. Conceptual scope

Across these literatures, the ceiling is not a single theorem but a recurrent type of claim. In some settings it concerns **exact analytic solvability**: one asks whether all observables can be written in closed non-perturbative form, and the ceiling is reached when the exact problem expands into an infinite-dimensional hierarchy. In others it concerns **existence**: whether a stable matching, a stable partition of a classification problem, or an integer solution exists at all. In a third group of cases it concerns **selection and evaluation**: correct outputs may be generable, yet the system cannot identify them, or the measured unsolved fraction may be inflated by the evaluation protocol itself [1803.01912; 2505.06717; 2606.28661; 2605.07395].

A common misconception is to equate “unsolvability” with nonexistence of the underlying object. The bosonic QFT analysis is explicit that its target is not existence of the theory, but the impossibility or extreme implausibility of a **full exact analytic solution** for all correlators. Conversely, in Stable Roommates, unsolvability means literal absence of a stable matching, even though related objects such as stable partitions or maximum stable matchings still exist. In LLM routing, “unsolvability ceiling” can be empirical rather than intrinsic, because the unsolved fraction depends on what counts as a correct answer and how that correctness is judged [1803.01912; 2505.06717; 2605.07395].

This suggests that the phrase is best understood as a family of **structural boundary claims**. The relevant boundary may live in function space, number-theoretic congruence classes, abstraction lattices, matching structures, or evaluation pipelines.

## 2. Exact analytic ceilings in interacting theories

In the bosonic QFT setting, the ceiling is formulated for Euclidean bosonic theories such as the anharmonic oscillator and scalar $\lambda \phi^4$ on a lattice. The basic observables are lattice correlators
$$
G(\nu)=\langle \Phi^\nu\rangle
=\int_{\mathbb{R}^N}D\Phi\,\Phi^\nu e^{-S[\Phi]},
\qquad
\Phi^\nu=\prod_{i=1}^N \phi_i^{\nu_i},
$$
and “solving the theory” means knowing all such $G(\nu)$ exactly in non-perturbative closed analytic form. On a finite lattice, the lattice Dyson–Schwinger equations reduce every correlator to a finite linear combination of **primitive correlators** $P(\mu)$ with $\mu_i\in\{0,1,2\}$, so the hierarchy closes algebraically and exactly. For quartic interaction, however, the number of primitives is $3^N$, and more generally scales as approximately $(m_{\mathrm{anh}}-1)^N$ for polynomial interaction of maximal power $m_{\mathrm{anh}}$; symmetries reduce this only by power-like factors. In the physically relevant weak continuum limit, the primitive basis becomes countably infinite, and any exact analytic method must solve a countable system of coupled linear PDEs for countably many primitive correlators in countably many coupling variables. The paper characterizes this as a structural obstruction short of a formal impossibility proof, and treats free theories and trivial random fields as exceptional cases where the primitive basis collapses to a finite set [1803.01912].

The nested-recursion literature reaches a different but related ceiling. It studies recursions of the form
$$
R(n)=\sum_{i=1}^k R\!\left(n-s_i-\sum_{j=1}^{p_i}R(n-a_{ij})\right)+\nu,
$$
and asks when the solution can be a ceiling function $\left\lceil rn/q\right\rceil$. A finite decision procedure is obtained by reducing formal satisfaction to checking $0<n\le q^2$ and by quotienting parameter vectors under explicit equivalence relations. The main positive theorem is that every $\left\lceil n/q\right\rceil$ is the solution of infinitely many such recursions. The main conjecture is the converse: if $\left\lceil rn/q\right\rceil$ is generated by any recursion in the class, then $r=1$. This suggests a **slope ceiling**: the family appears to admit ceiling solutions only at slopes $1/q$, not at $r/q$ with $r>1$ [1204.6714].

In both cases, solvability fails not because the formalism lacks expressive power, but because exact closure produces an object of prohibitive structural size: an infinite primitive basis in one case, and a sharply restricted admissible parameter geometry in the other.

## 3. Arithmetic ceilings in Erdős–Moser type equations

In the arithmetic setting, the ceiling is literal nonexistence of integer solutions. The paper studies
$$
aT_k(m)=(2m+1)^k,
\qquad
T_k(m)=\sum_{j=1}^m (2j-1)^k,
$$
as the odd-sum analogue of the Kellner–Erdős–Moser equation. The first barrier is parity: if $m>1$, then any solution must have even $k$. The deeper barriers come from Bernoulli numbers, irregular primes, and the “helpful pairs” machinery. If $p\mid 2m+1$, then $p$ must be an irregular prime, $k$ must lie in congruence classes determined by irregular pairs, and one has
$$
\operatorname{ord}_p\!\left(\frac{B_k}{k}\right)\ge 2\operatorname{ord}_p(2m+1)\ge 2.
$$
These local conditions lead to strong global nonexistence criteria [1804.04646].

The central global statement is Theorem 1: if $a$ is even, or $a$ has a regular prime divisor, or $2\le a\le 1500$, then
$$
aT_k(m)=(2m+1)^k
$$
has no solutions with $m>1$. For $a=1$, Theorem 2 does not prove impossibility but forces any hypothetical solution to have an enormous exponent $k$, divisible by
$$
2^8\cdot 3^5\cdot 5^4\cdot 7^3\cdot 11^2\cdot 13^2\cdot 17^2\cdot 19^2\cdot \prod_{23<p<1000} p,
$$
and requires every prime divisor of $2m+1$ to exceed $10000$. The associated conjecture is that for $m>1$ the ratio $T_k(m+1)/T_k(m)$ is never an integer. Here the ceiling is not heuristic in the QFT sense: it is a web of congruence and valuation obstructions that already proves nonexistence for broad parameter ranges [1804.04646].

A plausible implication is that arithmetic ceilings are often sharper than analytic ones. The obstruction is encoded in congruence classes, divisibility, and Bernoulli numerators rather than in infinite-dimensional functional systems.

## 4. Decidability ceilings and structural cores

In classification theory, the ceiling is formulated through **unsolvability cores**. A classification problem $A=(A_1,\dots,A_k)$ is a $k$-core of a family $\mathcal{F}$ if every subproblem with more than one component remains $\mathcal{F}$-unsolvable. The main characterization is that, for nontrivial $\mathcal{F}=\mathcal{F}^u$, one has
$$
A\in core_k(\mathcal{F})
\quad\Longleftrightarrow\quad
\mathrm{set}(A)\in cohesive(\mathcal{F}).
$$
Thus cohesiveness is the structural form of the ceiling: the union of the components cannot be split into two infinite $\mathcal{F}^{dc}$-definable pieces. Unlike the promise-problem case, unsolvable classification problems with more than two components need not possess cores. The paper therefore introduces **conditional classification problems** and **conditional cores**, and relates conditional $1$-cores to proper hard cores; for WP-recursive language families with Boolean closure, conditional cores with recursive components exist [1405.4491].

Tag systems provide a classic computability-theoretic boundary. A tag system has alphabet size $\mu$, deletion number $v$, and appendants of lengths between $l_{\min}$ and $l_{\max}$. The basic frontier facts are sharp: for $v=1$, halting and reachability are decidable; for every $v>1$, there exists a tag system with an unsolvable decision problem. Wang proved decidability if $l_{\min}\ge v$ or $l_{\max}\le v$. Universality already appears for $v=2$, $l_{\max}=3$, and $l_{\min}=1$. At the small end, TS$(1,v)$ and TS$(2,2)$ are decidable, whereas TS$(3,2)$ contains the Collatz tag system and TS$(2,3)$ contains Post’s system, both treated as boundary cases. The paper also reports a structural distinction: TS$(2,2)$ cannot produce the irregular periodic types labeled 2 and 4, whereas TS$(2,3)$ and TS$(3,2)$ can [0906.3329].

Taken together, these results present two versions of the same idea. One is **semantic**: no algorithmic solution exists beyond certain parameter thresholds. The other is **structural**: some unsolvable regions are cohesive or core-like, while others lack cores and require conditionalization.

## 5. Local obstructions in matching and planning

In Stable Roommates, solvability means existence of a stable matching. Tan’s stable-partition theory identifies the exact obstruction: an instance admits a stable matching iff no stable partition contains an odd cycle of length at least $3$. The paper reviews the long-standing question, posed by Gusfield and Irving, of the asymptotic solvability probability $P_n$ for random instances. For impartial culture, earlier work by Pittel and Mertens is extended empirically: for even $n$, the paper fits
$$
P_n \simeq e\sqrt{\frac{2}{\pi}}\, n^{-1/4},
$$
while for odd $n$ it reports the steeper decay
$$
P_n \simeq e\sqrt{\frac{3}{\pi}}\, n^{-1}.
$$
At the same time, unsolvability remains localized. The number of agents lying on odd cycles is small, 3-cycles dominate, and the maximum stable-matching ratio $\alpha_n$ stays extremely close to $1$ even when $P_n$ is effectively $0$; for example, at $n=5000$ the paper reports $\hat\alpha_n=0.9996$ for IC and $0.9956$ for Attributes. The ceiling here is therefore an existence ceiling for exact stability, but not for near-stable structure [2505.06717].

Planning work turns the ceiling into an explanatory object. In hybrid planning, a planning problem is unsolvable if it has no valid plan, but the explanation is sought through **inevitable waypoints**: sub-problems whose goals appear on every discrete path from source to goal. The paper extracts these waypoints by computing a longest common subsequence over all bounded paths in the hybrid automaton graph, then performs symbolic reachability on the resulting chain and returns the **earliest unreachable waypoint** as the explanation. In classical planning with plan advice, unsolvability is analyzed in an abstraction lattice: explanatory fluents move the human model to the most abstract unsolvable node, landmarks are extracted one level up where plans still exist, and the first landmark that becomes unachievable under the refined model explains why the problem cannot be solved. In both formulations, the ceiling is the first necessary subgoal that cannot be crossed [2504.15668; 1903.08218].

This suggests a general explanatory pattern: local obstructions can be more informative than global impossibility claims. Odd cycles, unreachable waypoints, and failed landmarks all identify where solvability breaks.

## 6. Modal, correlation, and routing ceilings in LLM systems

Recent LLM work uses “unsolvability ceiling” in a markedly different sense. In test-time scaling by repeated sampling, the key distinction is between **coverage** and **selection accuracy**. For a problem $q$, one draws $o_1,\dots,o_n$ and defines $Y_i=\mathbf{1}\{o_i \text{ is correct}\}$. Coverage is
$$
\mathrm{pass}@n=P[K\ge 1],\qquad K=\sum_{i=1}^n Y_i,
$$
and increases with $n$. A deployed system, however, must select one answer. Under self-consistency or plurality, selection accuracy converges not to coverage but to the **modal ceiling**
$$
\pi_{\mathrm{mode}}=P_q[a_q^\star=c_q],
$$
where $a_q^\star$ is the modal answer. The paper also defines the **correlation ceiling** through the effective number of samples
$$
n_{\mathrm{eff}}=\frac{n}{1+(n-1)\rho},
$$
which saturates at $1/\rho$ as $n\to\infty$. Empirically, self-consistency on MATH-500 plateaus around $0.45$ by $n\approx 64$, while coverage at $n=256$ is about $0.88$; the gap is the **identifiability gap**, the set of problems the model can generate but not pick. In Brown et al.’s GSM8K and MATH logs, estimated intraclass correlations $\hat\rho_b\approx 0.4$–$0.6$ imply that even $10{,}000$ samples per problem are worth only about two independent samples for estimating benchmark means [2606.28661].

Multi-LLM routing uses the term differently again. There the unsolvability ceiling is the fraction of queries for which no model in the pool attains score $2$ under the evaluation metric. In the Gemma-4 study, the pool comprises four tiers and $51{,}689$ queries, giving $206{,}756$ query-model pairs; the primary judge yields a global unsolvable fraction of $8{,}803/51{,}689\approx 17.0\%$, hence an empirical ceiling of $83.0\%$. The paper argues that much of this apparent ceiling is an artifact of evaluation: judge bias, truncation under fixed output budgets, and output-format mismatch. On MMLU, judge-derived unsolvability is $20.5\%$ whereas exact-match implies about $17.9\%$; on MedQA, judge-derived unsolvability is $3.0\%$ whereas exact-match implies about $16.7\%$. These artifacts also corrupt router labels, and standard routers collapse to majority-class prediction, with about $79\%$ of Alpaca queries labeled E2B-optimal and a reported opportunity cost of $13$–$17$ percentage points on knowledge benchmarks [2605.07395].

The two LLM usages jointly separate three ceilings: a **generation ceiling** when the model never outputs a correct answer, a **selection ceiling** when the correct answer is not identifiable from samples, and an **evaluation ceiling** when the measured unsolved mass is itself distorted by the benchmark protocol.

## 7. Comparative interpretation and limitations

Taken together, these works suggest that “unsolvability ceiling” names several recurring structures rather than a single doctrine. One structure is **combinatorial explosion**: the finite lattice closure of bosonic correlators becomes countably infinite in the continuum, and exact methods inherit a countably infinite PDE system [1803.01912]. A second is **local obstruction**: odd cycles in Stable Roommates, the first unreachable waypoint in hybrid planning, and the first unachievable landmark in advised planning are all localized barriers that certify failure of the whole task [2505.06717; 2504.15668; 1903.08218]. A third is **metric dependence**: routing ceilings can be inflated or deflated by the judge, truncation budget, or output parser, so the ceiling may be epistemic rather than intrinsic [2605.07395].

The literature is also careful about exceptions. Free Gaussian theories, random fields with $w=0$, symmetric and Euclidean roommates cultures, and certain conditional-core constructions show that strong symmetry or factorization can collapse the obstruction. Conversely, some unsolvable classification problems with more than two components possess no cores at all, so a ceiling need not always admit a minimal irreducible witness [1803.01912; 2505.06717; 1405.4491].

A final caution is that many of these ceilings are not formal impossibility proofs. The bosonic QFT argument is explicitly a structural obstruction short of proof. The nested-recursion result proves infinite families for $\lceil n/q\rceil$ but leaves the $r>1$ barrier as conjecture. The tag-systems survey places TS$(2,3)$ and TS$(3,2)$ on a frontier without resolving their global status. By contrast, the Erdős–Moser-type results and several decidability theorems are genuine nonexistence or undecidability statements in defined parameter ranges [1803.01912; 1204.6714; 0906.3329; 1804.04646].

In that qualified sense, the term denotes a precise but domain-dependent insight: once a problem crosses a certain structural boundary, additional effort no longer yields an exact global solution within the same formal regime. What changes from field to field is the locus of that boundary—primitive correlators, congruence classes, cohesive sets, odd cycles, waypoints, modal answers, or evaluation artifacts.

Source: https://www.emergentmind.com/topics/unsolvability-ceiling