Wiki
Wiki

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 B⊂Γ≅ZdB\subset\Gamma\cong\mathbb Z^d be finite, nonzero, and without antipodal pairs, with χ(B)=q\chi(B)=q and universal nonzero qq-anchor ww. Write

M2=max⁡b∈B∥b∥22,R=max⁡x∈Σ(B)∥x∥22∈Z≥1.M^2=\max_{b\in B}\|b\|_2^2,\qquad R=\max_{x\in\Sigma(B)}\|x\|_2^2\in\mathbb Z_{\geq1}.

For r=2k≥2r=2^k\geq2, construct the Sylvester matrix recursively by H1=(1)H_1=(1), H2r=(HrHrHr−Hr)H_{2r}=\bigl(\begin{smallmatrix}H_r&H_r\\H_r&-H_r\end{smallmatrix}\bigr). Induction gives HrHrT=rIH_rH_r^{\mathsf T}=rI. Quotient Γ2r\Gamma^{2r} by

Λ={(a,HrTa):a∈Γr},\Lambda=\{(a,H_r^{\mathsf T}a):a\in\Gamma^r\},

and let GrG_r be the images of all source blocks. The identity half of (Ir,Hr)⊗Id(I_r,H_r)\otimes I_d makes this lattice saturated. Every nonzero gluing word has at least three nonzero blocks: one occupied left block gives rr occupied right blocks; two or more occupied left blocks have at least one occupied right block, since HrH_r 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 Γ\Gamma embed as a direct sum; it does not mean that the source elements inside one block are rationally independent.

For the positive-real parameter ρ\rho of the phase argument,

ρ(Gr)≥ρ(B)−π2M2r2(r+1)2.(1)\rho(G_r)\geq\rho(B)-\frac{\pi^2M^2r}{2(r+1)^2}. \tag{1}

Here is a direct verification of the saturated-basis issue. Put A=(Ir,Hr)⊗IdA=(I_r,H_r)\otimes I_d, with right inverse P=AT/(r+1)P=A^{\mathsf T}/(r+1). Independently maximize every block polynomial. For each of the rdrd basis-row phases, choose a real lift of the required correction which has mean zero and variance at most π2\pi^2: a phase θ∈[0,2π]\theta\in[0,2\pi] is lifted to θ\theta and θ−2π\theta-2\pi with probabilities making its mean zero. Choose these lifts independently. Applying PP to the lift vector solves every row constraint, because AP=IAP=I. These are all quotient constraints because the basis is integral and saturated.

The expected squared phase change of a frequency bb is bounded by π2∥PvTb∥22\pi^2\|P_v^{\mathsf T}b\|_2^2, at most π2rM2/(r+1)2\pi^2rM^2/(r+1)^2 in any block. The mean-zero linear term cancels in Re⁡(zeit)≥Re⁡z−tIm⁡z−∣z∣t2/2\operatorname{Re}(ze^{it})\geq\operatorname{Re}z -t\operatorname{Im}z-|z|t^2/2. Summing coefficient-weighted losses and choosing a realization at least as good as its expectation proves (1).

Every gluing row with ai=wa_i=w at one left block and zero elsewhere gives an obstruction to a qq-coloring: each of its ±w\pm w entries has a signed representation in every restricted source color, and the blocks are disjoint. Thus χ(Gr)>q\chi(G_r)>q.

2. Full-closure anchor loss at large order

If

2q(2dr+1)Rexp⁡(−r(2q+1)R)<1,(2)2q(2dr+1)^R\exp\left(-\frac{r}{(2q+1)R}\right)<1, \tag{2}

then

χ(Gr)=q+1,τq+1(L(Gr))≤2(q+1)(3)\chi(G_r)=q+1,\qquad \tau_{q+1}(L(G_r))\leq2(q+1) \tag{3}

for every linear scalar encoding LL 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 BB fixed.

Counting every realizable gluing word

Any induced relation has block sums (a,b)=(a,HrTa)∈Σ(B)2r(a,b)=(a,H_r^{\mathsf T}a)\in\Sigma(B)^{2r}. Orthogonality gives r∥a∥22=∥b∥22≤rRr\|a\|_2^2=\|b\|_2^2\leq rR, hence ∥a∥22≤R\|a\|_2^2\leq R. There are at most (2dr+1)R(2dr+1)^R possible integer vectors aa: ∥a∥1≤∥a∥22≤R\|a\|_1\leq\|a\|_2^2\leq R, so at most RR signed coordinate steps, padded with zero steps, encode each one. A nonzero such word satisfies

∣supp⁡blocksb∣≥∥b∥22R=r∥a∥22R≥rR.|\operatorname{supp}_{\rm blocks}b| \geq\frac{\|b\|_2^2}{R} =\frac{r\|a\|_2^2}{R}\geq\frac rR.

Partition the right blocks randomly into 2q+12q+1 bins: one unused bin and bins St,cS_{t,c} for t=1,2t=1,2, c∈[q]c\in[q]. A nonzero bounded word misses a given designated bin with probability at most e−r/((2q+1)R)e^{-r/((2q+1)R)}. 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 B=P1⊔⋯⊔PqB=P_1\sqcup\cdots\sqcup P_q. For coloring tt, use it on every block, but on right blocks in St,cS_{t,c}, replace the color of PcP_c by the new color q+1q+1. A relation in an old color cc must vanish on St,cS_{t,c}, 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 (q+1)(q+1)-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 q+1q+1 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 (Ir,Hr)(I_r,H_r) ss times, equivalently replacing each source block by ss independent copies and gluing along the diagonal copy of Γ\Gamma, which contains the diagonal anchor. This repeats columns, not rows; applying Section 1 to the entire group Γs\Gamma^s 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 ss copies, giving

ρ(Gr,s)≥ρ(B)−π2M2r2s2(r+1)2.\rho(G_{r,s})\geq\rho(B)- \frac{\pi^2M^2r}{2s^2(r+1)^2}.

If s≥2qs\geq2q, assign one copy of each right coordinate to each of 2q2q 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 χ(Gr,s)=q+1\chi(G_{r,s})=q+1 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).