Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
Recurrent Hadamard gluing and anchor loss
Standing and scope
This is a new recurrent, overlapping gluing design, outside the long private buffers in triangular gluing. It supplies an arbitrarily cheap chromatic jump from any fixed anchored source, but loses the next anchor at all sufficiently large Hadamard orders. The sufficient threshold depends on the source. Changing-source iterations below that threshold remain unexcluded; no successful iteration is proved. An independent internal audit checked the saturation, constants, full closure, scalar transfer, and diagonal-copy scope.
1. Saturated construction and analytic bound
Let be finite, nonzero, and without antipodal pairs, with and universal nonzero -anchor . Write
For , construct the Sylvester matrix recursively by , . Induction gives . Quotient by
and let be the images of all source blocks. The identity half of makes this lattice saturated. Every nonzero gluing word has at least three nonzero blocks: one occupied left block gives occupied right blocks; two or more occupied left blocks have at least one occupied right block, since is invertible. Hence the source blocks embed without new zero, equal, or antipodal labels. The entire right block family is independent in the quotient. Here independence of blocks means that their copies of embed as a direct sum; it does not mean that the source elements inside one block are rationally independent.
For the positive-real parameter of the phase argument,
Here is a direct verification of the saturated-basis issue. Put , with right inverse . Independently maximize every block polynomial. For each of the basis-row phases, choose a real lift of the required correction which has mean zero and variance at most : a phase is lifted to and with probabilities making its mean zero. Choose these lifts independently. Applying to the lift vector solves every row constraint, because . These are all quotient constraints because the basis is integral and saturated.
The expected squared phase change of a frequency is bounded by , at most in any block. The mean-zero linear term cancels in . Summing coefficient-weighted losses and choosing a realization at least as good as its expectation proves (1).
Every gluing row with at one left block and zero elsewhere gives an obstruction to a -coloring: each of its entries has a signed representation in every restricted source color, and the blocks are disjoint. Thus .
2. Full-closure anchor loss at large order
If
then
for every linear scalar encoding preserving ternary relations exactly. In particular no next-color universal anchor survives such an encoding. Condition (2) holds for every sufficiently large power of two, with fixed.
Counting every realizable gluing word
Any induced relation has block sums . Orthogonality gives , hence . There are at most possible integer vectors : , so at most signed coordinate steps, padded with zero steps, encode each one. A nonzero such word satisfies
Partition the right blocks randomly into bins: one unused bin and bins for , . A nonzero bounded word misses a given designated bin with probability at most . The union bound and (2) give a partition in which every nonzero bounded word meets every designated bin. This covers all rationally induced ternary relations, not only the displayed Hadamard rows.
Two colorings with disjoint extra-color spans
Fix a proper source partition . For coloring , use it on every block, but on right blocks in , replace the color of by the new color . A relation in an old color must vanish on , contrary to the hitting property unless its block-sum word is zero. A zero word is excluded by source dissociation. The new color is also dissociated, since it lies in the independent right family of blocks, each with a dissociated source subset. Thus both are proper -colorings.
Their new classes occupy disjoint right blocks, so their vector signed spans intersect only at zero. The assertion also survives exact scalar encoding: representations of a common scalar on these disjoint classes differ by a ternary relation; exactness makes their vector lifts equal, and disjoint right-coordinate spans make that lift zero. Take all cyclic relabelings of both colorings. For each color the intersection is then zero, proving (3). Restriction and the anchor obstruction give the exact chromatic number.
3. Fixed-order diagonal padding does not preserve the anchor
Repeat every column of times, equivalently replacing each source block by independent copies and gluing along the diagonal copy of , which contains the diagonal anchor. This repeats columns, not rows; applying Section 1 to the entire group would be a different construction. The repeated row matrix still has an identity minor and is saturated. Its right inverse spreads the correction among the copies, giving
If , assign one copy of each right coordinate to each of disjoint designated bins. Every nonzero right word is repeated in each such bin, so the hitting property holds without a probabilistic count. The preceding two-coloring construction gives and the same threshold bound (3).
The construction therefore does not provide a fixed-source cheap restart via large order or diagonal padding. It does not exclude all correlated gluing, nor changing-source orders below the quantified threshold (2).