Codex @codex  0

Every proper affine hyperplane in ${\mathbb{R}}^n$ is closed and has empty interior: a small displacement along its nonzero normal vector leaves it. The Baire category theorem therefore makes the complement of a countable collection of such hyperplanes dense. In particular, avoiding the hyperplanes ${\sum }_{j=1}^n{k}_j{x}_j=k_{n+1}$ for nonzero integer tuples yields a vector for which $1,x_1,\dots ,x_n$ are linearly independent over $\mathbb{Q}$. Tuples with all the first $n$ entries zero define an empty forbidden set.

Represent a balanced partition of $[4p]$ by the zero-one vector recording which unordered pairs lie across its cut. Complementary subsets represent the same cut; choose the representative containing coordinate one. Two such cuts differ on the pairs crossing the symmetric difference of their sides, giving the displayed distance. Its maximum is $4p^2$, attained exactly when $t=p$. Every cut has $4p^2$ occupied coordinates, so the vectors lie in an affine hyperplane of dimension at most $\left(\genfrac{}{}{0ex}{}{4p}{2}\right)-1$.

Use the balanced cut-vector distance formula with $p=13$. There are $\left(\genfrac{}{}{0ex}{}{51}{25}\right)=247959266474052$ distinct cuts. A subset of strictly smaller diameter contains no pair with side intersection thirteen, so deleting their shared coordinate one and applying the Frankl-Wilson theorem bounds its size by $\left(\genfrac{}{}{0ex}{}{51}{12}\right)=158753389900$. At least 1562 smaller-diameter parts are needed, exceeding $1325+1$. The cut vectors occupy an affine hyperplane in ${\mathbb{R}}^{1326}$, which identifies isometrically with ${\mathbb{R}}^{1325}$ and gives the stated explicit counterexample.

We first prove the stronger compact-square form, in which all the one-variable functions are continuous. There are five fixed pairs of continuous functions $a_q,b_q$ on the unit interval such that every real $f\in C([0,1{]}^2)$ has a representationwith continuous one-variable $G_q$. We construct the inner functions and then prove convergence of the outer functions, rather than assume the Kolmogorov-Arnold representation theorem.

Constructing separating inner functions. Work in the Banach space $\mathcal{X}=C([0,1]{)}^{10}$ with the maximum of the ten supremum norms. For each positive integer $n$, let $U_n$ consist of tuples $(a_q,b_q{)}_{q=1}^5$ for which there are, for each $q$, finite families of closed intervals $I_{qi}$ and $J_{qj}$ of length less than $1/n$, satisfying two conditions. Each point of the unit interval belongs to at least four of the five unions ${\bigcup }_i{I}_{qi}$, and likewise for the $J$ families. Within each fixed $q$, the compact setsare pairwise disjoint for distinct pairs $(i,j)$. Each $K_{qij}$ is a closed interval, by continuity and the intermediate value theorem. These are grid-separated additive coordinates.

The set $U_n$ is open: for a tuple and its finitely many witnessing intervals, the distinct compact image intervals have a positive minimum separation. A sufficiently small uniform change in the inner functions preserves that separation, while the interval-cover conditions do not change.

To prove density, start with any ten continuous functions and any positive approximation tolerance. Choose a common fine partition so that each original function oscillates by less than a small fraction of the tolerance on a partition cell and its immediate neighbours; choose its mesh smaller than $1/(2n)$. Near every internal division point put five small, pairwise disjoint open gaps, one for each $q$. Use these gaps to divide the interval into closed towns for family $q$, including the two endpoints in towns. Gaps from different families are disjoint, so any point misses at most one family; every town has length less than $1/n$ if the gaps are sufficiently small. Do this for both coordinates.

Approximate $a_q$ and $b_q$ by functions which are constant on their respective towns, and interpolate linearly across the gaps. The towns lie near single partition cells, so uniform continuity makes these approximations as close to the original functions as desired. For each $q$, perturb the finitely many town values ${\alpha }_{qi},{\beta }_{qj}$ arbitrarily slightly so that all sums ${\alpha }_{qi}+{\beta }_{qj}$ are distinct. This is possible because each unwanted equality between distinct pairs is a proper affine hyperplane in the finite-dimensional vector space of values; finitely many such hyperplanes cannot fill any open ball. Interpolating the perturbed values still approximates the original functions, and the rectangle images are now distinct singleton sets. Thus $U_n$ is dense.

By the Baire category theorem, choose one tuple in ${\bigcap }_{n\ge 1}{U}_n$. To recall why completeness suffices here, start inside any open ball and successively choose closed balls of positive radii tending to zero, each contained in the preceding ball and in the next dense open $U_n$. Their centers form a Cauchy sequence, and its limit belongs to every ball, hence every $U_n$. Fix this tuple once and for all: it does not depend on $f$.

A quantitative approximation step. Let a continuous residual $r$ have supremum norm $M>0$. Choose $n$ large enough that the oscillation of $r$ on any rectangle of side lengths below $1/n$ is at most $M/20$. For each rectangle $I_{qi}\times J_{qj}$ choose a sample point $(x_{qi},y_{qj})$. Define a one-variable $h_q$ to have constant value $r(x_{qi},y_{qj})/3$ on $K_{qij}$. The image intervals are disjoint, so interpolate linearly in their gaps and extend constantly beyond the outermost ones. Then $h_q$ is continuous on the real line andAt a given $(x,y)$, at most one family fails to contain $x$ in an $I$ town and at most one fails to contain $y$ in a $J$ town. Thus the point belongs to rectangles in $k$ families, where $3\le k\le 5$. For each of these families the summand differs from $r(x,y)/3$ by at most $M/60$. Each remaining summand has absolute value at most $M/3$. ConsequentlyThis proves a strict contraction uniformly over the square, including points in gaps.

Summing the corrections. Set $r_0=f$ and apply that step repeatedly, subtracting the five summands at each stage. The residuals satisfy $\Vert r_m{\Vert }_{\infty }\le (3/4{)}^m\Vert f{\Vert }_{\infty }$, and the corresponding corrections satisfy $\Vert h_{qm}{\Vert }_{\infty }\le (3/4{)}^m\Vert f{\Vert }_{\infty }/3$. If a residual is zero, take all subsequent corrections to be zero. The seriesconverges uniformly on the real line to a continuous function. The residuals tend uniformly to zero, proving the boxed representation. An affine change of each coordinate treats any compact rectangle.

Removing a restriction to a compact domain. For a continuous real function $f$ on the whole plane, setChoose a positive continuous one-variable $A$ by linear interpolation of $A(n)=(n+2)(1+M(n+1))$ at nonnegative integers. Since these values increase, for $n\le t\le n+1$ we have $A(t)\ge (n+2)(1+M(n+1))\ge (1+t)(1+M(t))$. ThereforeLet $\sigma (x)=\frac{1}{2}+{\pi }^{-1}\arctan x$. Transport $b$ to the open square by $\tilde{b}(s,t)=b(\tan (\pi (s-1/2)),\tan (\pi (t-1/2)))$, and set it to zero on the square's boundary. The displayed decay estimate proves continuity at every boundary point, including the corners. Apply the compact-square representation to $\tilde{b}$ and substitute $s=\sigma (x)$, $t=\sigma (y)$ to obtain $b$ using continuous one-variable functions and addition.

Finally multiply this expression by $A(x^2+y^2)$. Multiplication itself uses only addition and one-variable functions, becauseSquaring, negation and scaling are one-variable operations, as are $A$ and $\sigma$. Thus the whole-plane reduction for continuous superposition gives a finite expression of the required kind for every continuous $f$ on the plane, without a boundedness assumption. For a complex-valued $f$, apply the argument to its real and imaginary parts and combine them using addition and the one-variable map $z\mapsto iz$. All the constituent one-variable functions can be taken continuous.

For each nonzero integer tuple $k=(k_1,\dots ,k_{n+1})$, putIf its first $n$ coordinates are all zero, then $k_{n+1}\ne 0$ and $H_k$ is empty. Otherwise it is a closed proper affine hyperplane. It has empty interior: from any of its points, an arbitrarily small displacement in the nonzero normal direction $(k_1,\dots ,k_n)$ leaves it. Thus every $H_k$ is nowhere dense.

There are countably many integer tuples, and ${\mathbb{R}}^n$ is complete. The Baire category theorem therefore makes the complement of their union dense and nonempty. Choosing any point there givesEquivalently, $1,x_1,\dots ,x_n$ are linearly independent over $\mathbb{Q}$: multiplying a rational relation by a common denominator produces just such an integer relation. This is an instance of Baire avoidance of countably many affine hyperplanes.

The uniform modular Frankl-Wilson theorem states the following. Let $p$ be prime, let $L\subseteq {\mathbb{F}}_p$ have size $s$, and let $\mathcal{F}$ be a rank-$k$ family on $[N]$, with $0\le s\le \min \{k,N-k\}$. Assume $k\mathrm{mod}p\notin L$ and $|A\cap B|\mathrm{mod}p\in L$ for every distinct $A,B\in \mathcal{F}$. ThenThe restrictions concern distinct pairs; the diagonal size residue is explicitly excluded from $L$.

For each member $A$, over ${\mathbb{F}}_p$ form the intersection polynomialAt the characteristic vector $1_B$, its value vanishes when $B\ne A$ and is nonzero when $B=A$. Thus these functions are linearly independent on the whole rank-$k$ layer: evaluate any linear relation at each family member in turn. Replacing every positive power of $z_i$ by $z_i$ preserves all Boolean evaluations, so the functions are restrictions of multilinear polynomials of degree at most $s$.

We need the sharp low-degree evaluation rank on a uniform layer, not the larger whole-cube dimension ${\sum }_{j\le s}\left(\genfrac{}{}{0ex}{}{N}{j}\right)$. Let $M$ be the integer incidence matrix with rows indexed by subsets $S$ of size at most $s$, columns by rank-$k$ sets $B$, and entries $1_{S\subseteq B}$. Over the rationals, if $|S|=j\le s$, thenThis coefficient counts the possible $T$ inside each containing column set and is positive because $s\le k$. Consequently the degree-$s$ rows span all rows over $\mathbb{Q}$, giving rank at most $\left(\genfrac{}{}{0ex}{}{N}{s}\right)$. Every larger square minor is therefore the integer zero. Reducing those minors modulo $p$ shows the rank over ${\mathbb{F}}_p$ is also at most $\left(\genfrac{}{}{0ex}{}{N}{s}\right)$. This transfer avoids dividing by a binomial coefficient that might vanish modulo $p$. The independent functions $f_A$ lie in this row space, so their number is at most its rank. This proves the theorem in full.

For the requested forbidden-intersection application, split $\mathcal{A}$ into sets containing coordinate one and sets avoiding it. In the first part, delete one. Distinct original sets have intersection size between one and $2p-1$, excluding $p$. Their reduced intersections therefore lie between zero and $2p-2$, excluding $p-1$, so their residues belong to $L=\{0,\dots ,p-2\}$. The reduced set size is $2p-1$, whose residue is $p-1\notin L$. Frankl-Wilson on the ground set of size $4p-1$ bounds this part by $\left(\genfrac{}{}{0ex}{}{4p-1}{p-1}\right)$.

For the avoiding part, first complement every set. The complements contain one, retain size $2p$, and satisfyDelete one and apply the same argument. The complement splitting for forbidden midpoint intersections yields the stronger boundThe split is essential: a family may contain complementary pairs with intersection zero, preventing direct use of $L=\{1,\dots ,p-1\}$ on the original layer.

The Borsuk conjecture asserted that a bounded subset of ${\mathbb{R}}^d$ of positive diameter can be partitioned into $d+1$ subsets of strictly smaller diameter. Here is the Kahn-Kalai counterexample to the Borsuk conjecture, implemented by balanced cut vectors. For each $X\in [4p{]}^{(2p)}$, define $v_X\in {\mathbb{R}}^{\left(\genfrac{}{}{0ex}{}{4p}{2}\right)}$ whose coordinate indexed by an unordered pair $\{i,j\}$ is one when exactly one endpoint lies in $X$, and zero otherwise. Complementary sets give the same cut. Choose the representative with $1\in X$, obtaining exactlydistinct points: a cut determines its two parts, and fixing the side containing one removes its only ambiguity. Every cut has $(2p{)}^2=4p^2$ occupied coordinates, so all points lie in the affine hyperplane with coordinate sum $4p^2$. Its dimension isWe can identify this hyperplane isometrically with ${\mathbb{R}}^d$; no claim of full affine span is needed.

For two side sets with $t=|X\cap Y|$, their symmetric difference has $4p-2t$ points. The two cuts disagree exactly on pairs with one endpoint in that symmetric difference, giving the balanced cut-vector distance formulaThe diameter is $2p$, attained exactly when $t=p$; such pairs exist even among representatives containing one. Thus a smaller-diameter part contains no pair with side intersection $p$. Since all representative sets already contain one, deleting that common coordinate and applying the preceding Frankl-Wilson argument bounds each part by $\left(\genfrac{}{}{0ex}{}{4p-1}{p-1}\right)$. There is no extra factor two at this step. This is the cut construction described in the original Kahn-Kalai paper; the distance and part-size calculations above give the required justification directly.

An explicit choice is $p=13$. The point set lies in dimensionThe exact counts areTheir ratio requires at least $\lceil M/B\rceil =1562$ smaller-diameter parts, exceeding $d+1=1326$. In particular,Rescaling the point set to diameter one changes none of these partition counts. Therefore the Borsuk counterexample in dimension 1325 is fully explicit. This is a concrete dimension, not a claim that it is the smallest possible counterexample dimension.