Petty's Notebook
ArticlesPapersnfieldAbout
Get notified when new posts are published. No spam, just math.
Alexander S. Petty  |  ©2009-2026
← Back
Capacity

The Distance Between Opposites

October 8, 202612 min read
Fine cyan and gold paths meet at staggered points, enclosing gaps of different lengths. The gaps suggest the reading that persists between opposite resets.
Fine cyan and gold paths meet at staggered points, enclosing gaps of different lengths. The gaps suggest the reading that persists between opposite resets.

Opposite contributions can balance exactly and still leave something expensive between them. One arrives now. The other arrives later. Until they meet, the difference is present at every intervening address.

This matters when we build a constant reading from clocks that never stop moving. A period-three clock reads one third, two thirds, zero, then starts again. Combine many such clocks with positive and negative coefficients, and their moving parts can hold a reading at one through a long initial stretch of integers. The same coefficients keep acting beyond that stretch. A perfect beginning does not tell us the cost of everything that follows.

The question in signed capture is how much a new collection of clocks actually improves the fit. Here I want to follow the cancellation itself. Where do opposite contributions meet? How much remains between them? What changes when many such intervals overlap?

A balance with a length

Let a contribution of plus one arrive at address four and its opposite at address eight. The accumulated reading is one at four, five, six and seven. At eight it returns to zero.

Give address nnn the weight

ωn=1n(n+1)=1n−1n+1.\omega_n=\frac{1}{n(n+1)}=\frac1n-\frac1{n+1}.ωn​=n(n+1)1​=n1​−n+11​.

These are the lengths of the intervals between successive reciprocals. They fill one whole, and the tail beginning at address mmm has weight 1/m1/m1/m. I call this the native measure because it belongs to the original clock-approximation problem. We keep it when we rearrange the arithmetic. A uniform average over a complete clock cycle would answer a different question.

Square the reading and add it with those weights. For the pair at four and eight, the energy is 1/4−1/8=1/81/4-1/8=1/81/4−1/8=1/8. Move both contributions to twice their addresses. The energy falls to 1/8−1/16=1/161/8-1/16=1/161/8−1/16=1/16. Keep the first at four and delay only the second to sixteen. The energy rises to 3/163/163/16.

Three unit pulses occupy addresses four to eight, eight to sixteen, and four to sixteen. Their complete weighted energies are one eighth, one sixteenth and three sixteenths. Three unit pulses occupy addresses four to eight, eight to sixteen, and four to sixteen. Their complete weighted energies are one eighth, one sixteenth and three sixteenths.
Each pulse includes its starting address and ends just before the opposite reset. Moving both endpoints outward reduces the cost. Delaying only the cancellation increases it. The calculations use the complete native weights.

For equal and opposite mass mmm at addresses u<vu<vu<v, the exact cost is

m2(1u−1v).m^2\left(\frac1u-\frac1v\right).m2(u1​−v1​).

The final balance is zero in every case. Its price depends on the amount, the separation and the place where that separation occurs.

The overlap changes the bill

Now take a positive pulse from four through eleven and a negative pulse from eight through fifteen. Each has its own cost. But from eight through eleven their readings add to zero.

Adding the two separate energies gives 11/4811/4811/48. The energy of the combined reading is only 7/487/487/48. The missing 4/484/484/48 is the signed interaction on the overlap.

Reverse the second pulse. Nothing changes about its endpoints or its individual squared cost. Now the two readings reinforce each other, and their joint energy becomes 15/4815/4815/48.

A positive pulse on addresses four through eleven overlaps a negative pulse on eight through fifteen. Their sum vanishes on the overlap. The separate costs total eleven forty-eighths; the joint cost is seven forty-eighths. A positive pulse on addresses four through eleven overlaps a negative pulse on eight through fifteen. Their sum vanishes on the overlap. The separate costs total eleven forty-eighths; the joint cost is seven forty-eighths.
The gold band marks the shared addresses. Opposite signs remove four forty-eighths from the sum of the individual costs. Equal signs add the same amount instead. All the numbers are exact.

This is why signs have to survive the calculation. A bound that replaces every contribution by its magnitude can count a large cost where the assembled reading is zero. It can also conceal where several small contributions reinforce one another.

In a clock sum, every step includes the ordinary advance of the clocks and the resets at divisors of that address. Collect those changes first. Their sum is the signed reset source. Pairing applies to the actual positive and negative source at each address, after all contributions there have combined.

There is a useful estimate for a whole matching. Its cost charges each matched amount for the squared separation relative to its starting address, together with the full source strength there. The complete packet energy is bounded by four times this matching cost plus a fixed tail allowance. Overlapping intervals are included in the proof; they are not assumed independent.

That estimate gives distance a quantitative job. It does not say that any convenient pairing will be cheap. Finding enough opposite mass is one question. Reaching it at an affordable cost is another.

The same pair at a finer scale

Doubling both endpoints of a pair preserves their relative separation. Doubling an integer also preserves its odd divisors. These two facts work together when an existing matching is carried to a finer resolution.

The inherited part has a controlled budget. New pairings can still be needed where the changed source no longer fits the inherited assignment. Their cost has to be counted too.

Grouping neighboring addresses gives a second way to see this distinction. A group has an average reading and differences around that average. The local differences can be bounded while the averages of entire groups continue to move. Quiet detail does not mean a quiet total field.

The conserved remainder clocks already teach a related lesson. Fixed mass constrains the accounting, but it does not fix every reading. Here the shrinking mass at large addresses makes some distant costs affordable. The location and overlap of the readings still decide how much is spent.

Keep the relatives together

Arithmetic supplies more structure than an arbitrary list of positive and negative pulses. The coefficients come from the Möbius function. A squarefree integer has sign plus or minus according to whether it has an even or odd number of distinct prime factors; an integer containing a squared prime has coefficient zero.

For the divisors of six, the signs are

1−1−1+1=0.1-1-1+1=0.1−1−1+1=0.

Equal counting makes that cancellation immediate. Our contributions arrive at different scales and have different reciprocal coefficients. We must keep their scaled responses together, rather than substitute the simpler count for them.

One way into the calculation is to follow the complete weighted mean error of the prescribed clock fit as its cutoff changes. Average that scalar over one doubling of resolution, then differentiate with respect to logarithmic scale. This gives a response built from dilated copies of one source, qqq.

This is a new observable derived from the fits. Its energy is measured across resolutions, not across the original integer addresses. An estimate for it must be stated in its own measure.

For a core index aaa coprime to thirty, keep the eight relatives

a, 2a, 3a, 5a, 6a, 10a, 15a, 30a.a,\ 2a,\ 3a,\ 5a,\ 6a,\ 10a,\ 15a,\ 30a.a, 2a, 3a, 5a, 6a, 10a, 15a, 30a.

The corresponding completed source is

q30(x)=∑d∣30μ(d)d q(x/d).q_{30}(x)=\sum_{d\mid30}\frac{\mu(d)}d\,q(x/d).q30​(x)=d∣30∑​dμ(d)​q(x/d).

Each term retains its sign, reciprocal coefficient and first activation. The full source has zero signed area. Its accumulated area tends back to zero, with magnitude at most 9/x9/x9/x once x≥30x\ge30x≥30.

That is a stronger statement than saying the signs add to zero. It controls how much signed area is still unbalanced after the response has run to a specified scale.

Why thirty appears

Multiplication becomes translation on a logarithmic scale. Multiplying the resolution by a prime ppp moves its logarithmic coordinate by log⁡p\log plogp. Pair a source with the appropriately weighted copy at that scale, and its action on a test polynomial becomes a finite difference.

One difference kills a constant. Two kill a linear profile. Three kill a quadratic profile.

For this source, the order is exact. A completion using kkk distinct primes has its first kkk logarithmic moments equal to zero, and its next moment is nonzero. So a family that cancels total signed area, a linear trend and curvature in logarithmic scale needs at least three distinct primes.

The smallest choice is two, three and five. Their product is thirty.

A divisor diagram connects one, two, three, five, six, ten, fifteen and thirty. Cyan nodes have positive Möbius coefficients and gold nodes negative coefficients. A table shows one, two and three vanishing logarithmic moments for completions two, six and thirty. A divisor diagram connects one, two, three, five, six, ten, fifteen and thirty. Cyan nodes have positive Möbius coefficients and gold nodes negative coefficients. A table shows one, two and three vanishing logarithmic moments for completions two, six and thirty.
Every edge adds one prime factor. Each node keeps its reciprocal coefficient and its own scaled source. Three distinct primes cancel area, linear trend and curvature in logarithmic scale. Thirty is minimal within this squarefree family class; the separated-family estimate uses only area cancellation.

This is a specific minimality result. Among the squarefree families supplied by the Möbius coefficients, thirty is the smallest completion passing all three tests. The three-test requirement is an additional choice of what we want to balance. It is not a theorem that every successful approximation must use thirty.

In fact, the interaction estimate below needs only the first cancellation, zero signed area. A one-prime family already has that property. The extra moments describe more structure, but their use in controlling the full response is still open.

Separation pays for an infinite region

Consider two completed families at scales r<sr<sr<s. Once the larger one first activates, the smaller family’s accumulated signed area may already be small. Integration by parts turns that fact into a saving in their interaction.

For s≥60rs\ge60rs≥60r, the resulting bound is a constant times

rs2+ε.\frac{r}{s^{2+\varepsilon}}.s2+εr​.

Here the response is measured with the resolution weight x−εx^{-\varepsilon}x−ε, and ε\varepsilonε is fixed and positive. The bound holds no matter where we stop the observation. The jumps at activation and all later endpoints stay in the calculation.

This saving can be summed over an infinite region. Reduce each pair of family indices by their common factor. For all admissible reduced pairs with s≥r2s\ge r^2s≥r2, the sum of the absolute interactions is finite, including the common-factor copies.

There is a simple reason the extra factor matters. At a fixed larger index sss, the smaller indices in this region satisfy r≤sr\le\sqrt{s}r≤s​. Their values add to at most sss. Multiplying by s−2−εs^{-2-\varepsilon}s−2−ε leaves a summable series of order s−1−εs^{-1-\varepsilon}s−1−ε. The few rows outside the initial separation threshold have their own finite allowance.

On logarithmic axes, the region above s equals r squared is cyan and the region between s equals r and s equals r squared is gold. The cyan region has a proved summed interaction bound; the gold region contains the unresolved signed sum. On logarithmic axes, the region above s equals r squared is cyan and the region between s equals r and s equals r squared is gold. The cyan region has a proved summed interaction bound; the gold region contains the unresolved signed sum.
This is a diagram of the index regions, not a numerical heat map. The theorem controls all admissible reduced pairs in the cyan region, with common-factor copies included, at every fixed positive damping exponent. The gold region still requires collective cancellation.

Both family indices can grow without limit. The estimate therefore removes a whole infinite region from the place where uncontrolled energy could accumulate. It does not rely on numerical behavior through a finite cutoff.

The constant may depend on ε\varepsilonε. We cannot set that damping to zero without another argument. And the region left to control still grows with the cutoff,

r<s<r2.r<s<r^2.r<s<r2.

Its actual Möbius signs remain joined in the sum. A uniform bound there is open.

The mathematical treatment, The Cost of Cancellation under Arithmetic Refinement, is undergoing independent review. The distinction that guides it is already concrete. An eventual balance, a cheap individual contribution and a bounded joint response are different things.

A pair tells us where cancellation ends. The distance between its endpoints tells us what it costs before it gets there.

Share

Discussion

Sign in to join the discussion.

← All articles
← Previous: Unity, Refinement, and Signed Capture