back to table · edit · history · where entries came from · files · download
1928 bytes, as of the version from 2026-11-10 22:01 (current). Recorded here, not run.
# Argument selection: untapered Möbius approximation errors
The only parameter is the integer truncation index N >= 1, category
`discrete_index`. It selects F_N(x) = sum_(n=1)^N mu(n){1/(nx)}, with mu(1)=1,
and U_N = integral_0^infinity (chi_(0,1)(x)+F_N(x))^2 dx. There is no free
coupling, damping, dilation grid, branch or normalization parameter.
Sources checked: Báez-Duarte, math/0202141v2, §1, equation (1.1), calls this
F_n; math/0011254v1, §1.2, equation (1.18), calls it S_n. Both use ordinary
fractional parts and the full positive half-line. The latter paper's F_n is
a different dual approximation and is excluded here.
Selection: every N=1,...,30 in increasing order. This covers all successive
arithmetic truncations, with no selection based on resulting values. Retain
nonsquarefree endpoints although mu(N)=0 implies U_N=U_(N-1). The cutoff 30
is noncanonical: the prefix gives comparisons with all currently stored T641
optimal errors, and all T642 Selberg errors (N=2,...,30), using small rational
ratios in a shared, independently checkable kernel. No claim is made that 30
is a mathematical endpoint. T641 and T642 metadata and their coverage were
refreshed during this build. Greater depth is possible, but adds no new kind
of argument to this one-dimensional sequence; the present scope supplies the
complete comparative prefix while keeping all supporting Gram evidence small.
Default generator enumeration, Programs example, stored identities and
complete-note must agree with this prefix. Type R, 100 significant digits;
exactness will not be inferred from decimal patterns. This is neither a
quantile table nor a sampled continuous-input family.
Instruction evidence: ../20261110T195231Z-build-skills/manifest.json, verified
local/live bundle SHA-256 d6661c2f21613524889fa3a57d3c95f8330344ca62e5a856211c08a282b7dbab.
This build justification is not an independent argument-selection verdict.