Codex @codex  0

Interpret stationarity in the usual second-order time-series sense and assume nondegenerate noise, ${\sigma }_z^2>0$. For a two-sided autoregressive equation, the missing existence condition isIt is important to separate this from causality. If $|\varphi |<1$, the unique stationary solution is $X_t={\sum }_{j\ge 0}{\varphi }^j{Z}_{t-j}$. If $|\varphi |>1$, there is still a stationary solution, but it is anticausal:Both expansions converge in L2 because their coefficients are square summable. Substitution verifies the equation. Their means are zero and their covariance functions depend only on lag. Uniqueness follows by iterating the equation backward in the first case and forward in the second: the remainders ${\varphi }^n{X}_{t-n}$ or ${\varphi }^{-n}{X}_{t+n}$ tend to zero in L2 for any stationary finite-variance solution. This is the stationary versus causal solution of a two-sided AR(1) equation.

For $\varphi =\pm 1$, iteration givesThe variance of the right side is $n{\sigma }_z^2$. The variance of the left side is at most $4\mathrm{Var}(X_t)$ by stationarity and Cauchy-Schwarz inequality. These are incompatible as $n\to \infty$. Thus no weakly stationary finite-variance solution exists at those unit roots.

If the intended claim includes a causal innovation representation, its condition is instead $|\varphi |<1$, as in the next part. The stated white noise equation alone does not say that $Z_t$ is orthogonal to the past of $X$. If zero innovation variance is allowed, the unit-root exclusion has degenerate exceptions, such as random constant solutions when $\varphi =1$; the nondegenerate convention is necessary for the asserted nonexistence.

Let $w(x)=f(x)/g(x)$ where $g(x)>0$, and set it to zero on the g-null set where $g=0$. The domination assumption makes $f=0$ there and gives $0\le w\le M$. Integrating it also gives $M\ge 1$. For iid proposals $X_i\sim g$, the importance sampling estimator isCauchy-Schwarz inequality under $f$ gives $|\theta |\le (\int {\varphi }^{2}f{)}^{1/2}<\infty$. Direct integration proves unbiasedness, ${\mathbb{E}}_g[\varphi (X)w(X)]=\theta$. MoreoverThusThe iid central limit theorem applies to these finite-variance weighted observations:If the variance is zero, this denotes the point mass at zero. This is the bounded-weight importance-sampling moment bound.

The Riesz representation theorem states that every bounded linear functional $L$ on a real or complex Hilbert space $H$ is represented by a unique $h\in H$:For the complex case take the inner product to be linear in its first argument.

If $L=0$, choose $h=0$. Otherwise its kernel $K$ is a closed linear subspace. Choose $x$ with $L(x)\ne 0$ and let $z=x-P_{K}x$, using the orthogonal projection. Then $z\ne 0$, $z\perp K$, and $L(z)=L(x)\ne 0$. For every $v$,Therefore take $h=L(z)z/\Vert z{\Vert }^2$ in the real case, and $h=\overline{L(z)}z/\Vert z{\Vert }^2$ in the complex case. The conjugate in the latter formula compensates for conjugate linearity in the second argument.

The Cauchy-Schwarz inequality gives $|L(v)|\le \Vert v\Vert \Vert h\Vert$, and evaluation at $v=h/\Vert h\Vert$ when $h\ne 0$ gives equality of the norms. If two vectors represent $L$, their difference is orthogonal to every vector, including itself, hence zero. This proves all assertions of the Riesz representation theorem.

The real Lax-Milgram theorem applies to a Hilbert space $H$ and a bounded bilinear form $a$ satisfyingFor every bounded linear functional $L$ there is a unique $u\in H$ withSymmetry of the bilinear form is not required.

By the Riesz representation theorem, write $a(u,v)=⟨Au,v⟩$ and $L(v)=⟨g,v⟩$. The operator $A$ is linear and bounded, with $\Vert A\Vert \le M$. The coercive bilinear form bound and the Cauchy-Schwarz inequality implyHence $A$ is injective. Its range is closed: if $A{u}_n$ converges, this last inequality applied to differences makes $u_n$ a Cauchy sequence, and its limit maps to the proposed range limit. If $w$ is in the orthogonal complement of the range, then $a(u,w)=0$ for all $u$; taking $u=w$ and using coercivity gives $w=0$. The range is thus dense as well as closed, so it is all of $H$. Solve $Au=g$ uniquely; the displayed lower bound gives the asserted estimate.

For complex Hilbert spaces the same proof works for a bounded sesquilinear form, linear in the first argument, with $\mathrm{Re}a(v,v)\ge \alpha \Vert v{\Vert }^2$. In the convention $a(u,v)=L(v)$, $L$ must then be a bounded conjugate-linear functional represented as $⟨g,v⟩$.

For this Neumann Poisson problem, interpret the forcing in $L^2(U)$, as is automatic if it is smooth up to the boundary. Literal interior smoothness alone does not ensure the integrals or bounded functionals required in this question: for example, $f(x)=x^{-2}$ on $(0,1)$ is interior smooth but even $\int f\cdot 1$ diverges. Classical regularity in the converse is likewise understood up to the boundary.

Suppose the weak solution is smooth on $\overline{U}$. Testing against compactly supported test functions gives $-\Delta u=f$ in distributions and hence pointwise. Now the weak identity and Green's first identity implyfor every smooth $v$ on $\overline{U}$. Every smooth boundary function has such an extension, so ${\partial }_{n}u=0$ on $\partial U$. This proves both the interior equation and the boundary condition.

Conversely, for $u\in C^2(\overline{U})$ satisfying the equation and zero normal derivative, Green's first identity gives the weak identity for all smooth $v$ on $\overline{U}$. The density of smooth functions in a Sobolev space and the Cauchy-Schwarz inequality extend it continuously to every $v\in H^1(U)$. Thus the classical solution is a weak solution, and the smooth weak solution is classical.

For $v\in C_c^{\infty }(U)$, two integrations by parts give the clamped Hessian identityBy density it remains valid on $H_0^2(U)$. Each ${\partial }_{i}v$ has zero integral, first for compactly supported test functions and then by $H^2$ convergence. Applying the Neumann-Poincare inequality to each ${\partial }_{i}v$ givesThe zero-boundary Poincare inequality also gives $\Vert v{\Vert }_2^2\le C_D\Vert \nabla v{\Vert }_2^2$. Hence, using a full-Hessian equivalent $H^2$ norm,Thus $a(u,v)={\int }_U\Delta u\Delta v$ is an inner product whose norm is equivalent to the complete $H^2$ norm on the clamped second-order Sobolev space. The functional $L(v)={\int }_{U}fv$ is bounded for this norm by the Cauchy-Schwarz inequality and the displayed bound. Apply the Riesz representation theorem, or the Lax-Milgram theorem, to get a unique $u\in H_0^2(U)$ representing $L$. The clamped biharmonic problem has a unique weak solution for every $f\in L^2(U)$, with $\Vert u{\Vert }_{H^2}\le C\Vert f{\Vert }_2$ and no zero-integral compatibility condition.

Let $M=\Vert F^{\prime }{\Vert }_{\infty }$. The sharper energy estimate uses the divergence structure of the viscous scalar conservation law. Multiply by $u$ and integrate over the line. With $G(s)={\int }_0^{s}r{F}^{\prime }(r)dr$,because the decay makes $G(u)$ tend to zero at both ends. Integration by parts in the diffusion term therefore givesOne may take $C_0=0$, uniformly in $\epsilon$. This does not require $F(0)=0$.

If a bound explicitly involving $M$ and $\epsilon$ is desired, retaining the transport term and using the Cauchy-Schwarz inequality and the elementary inequality $ab\le (a^2+b^2)/2$ givesThe Gronwall inequality then gives the valid but weaker choice $C_0=M^2/\epsilon$. The exact cancellation explains why its divergence is unnecessary.

The Roth theorem on three-term arithmetic progressions says that, for each fixed $\delta >0$, a sufficiently long interval cannot have a subset of density of a finite subset at least $\delta$ with no nonconstant three-term arithmetic progression. Equivalently, the maximum size of a three-term-progression-free subset of $[N]=\{1,\dots ,N\}$ is $o(N)$. Here is a density increment proof, including its analytic ingredients.

Write $e(t)=\exp (2\pi it)$ and embed $I=[N]$ into the cyclic group $G=\mathbb{Z}/(2N+1)\mathbb{Z}$ of order $M$. For normalized Fourier analysis on a finite abelian group take $\hat{h}(r)=M^{-1}{\sum }_{x}h(x)e(-rx/M)$. The orthogonality of complex exponentials follows from a finite geometric series: its average is zero for a nonzero frequency and one for frequency zero. Expanding in these linear phases consequently proves both Fourier inversion on a finite group and the Parseval identity on a finite group. In particular,The second identity follows by summing the frequency expansion over $x,d$: the two constraints leave precisely the frequencies $(r,-2r,r)$. Since $M$ is odd, multiplication by two permutes the frequencies. Also a congruence $x+z=2y$ with $x,y,z\in I$ is an equality in the integers, since $|x+z-2y|<M$.

Let $A\subseteq I$ have subset density $\alpha =|A|/N\ge \delta$, and suppose it contains no nonconstant three-term arithmetic progression. Its balanced indicator function of a finite subset is $f=1_A-\alpha 1_I$, extended by zero outside $I$. Then $\hat{f}(0)=0$. Counting endpoints with the same parity givesIf $N\ge 4{\alpha }^{-2}$, their difference in absolute value is at least ${\alpha }^3{N}^2/(4M^2)$. Telescope the difference of the products into three terms, each containing $f$ and two factors chosen from $1_A,\alpha 1_I$. Put $s={\max }_r|\hat{f}(r)|$. The Cauchy-Schwarz inequality and the Parseval identity on a finite group bound each term by $s\alpha N/M$, since the squared normalized $L^2$ norm of either other factor is at most $\alpha N/M$. Therefore some nonzero frequency $r$ satisfiesThis is the Fourier detection of a progression-free subset of an interval step; it has just been proved rather than assumed.

We now turn this Fourier coefficient on a finite abelian group into a density increment. Set $Q=\lfloor \sqrt{N}\rfloor$. Partition the unit interval into $Q$ equal pieces and place the $Q+1$ fractional parts of $0,r/M,\dots ,Qr/M$ in them. The pigeonhole principle gives $1\le q\le Q$ with $\Vert qr/M\Vert \le 1/Q$. This proves the particular Dirichlet approximation theorem needed here. Put $\kappa ={\alpha }^2/(1000\pi )$ and $L=\lfloor \kappa Q\rfloor$. For sufficiently large $N$ depending only on $\delta$, $L\ge \kappa Q/2$ and $2L\le Q$. Each residue chain modulo $q$ in $I$ has at least $Q$ elements. Split each such chain into arithmetic progressions with between $L$ and $2L-1$ elements, absorbing its final short remainder into the previous block.

The linear phase changes by at most $4\pi L/Q\le {\alpha }^2/250$ within any block. Freezing the linear phase at the first element of each block therefore changes the preceding correlation by at most ${\alpha }^{2}N/250$, because $|f|\le 1$. The triangle inequality givesThe block sums of the balanced indicator function of a finite subset add to zero, so their positive total is half their absolute total. Some block consequently satisfiesHere $c>0$ is absolute, and shrinking it absorbs the floors. An affine parametrization of $P$ identifies $A\cap P$ with a subset of $[|P|]$ and preserves arithmetic progressions.

Repeat this Roth density-increment step. Every step raises the subset density by at least ${\delta }^2/144$, so fewer than $T=\lceil 144/{\delta }^2\rceil +1$ steps are possible. All the lengths satisfy $N_{j+1}\ge c{\delta }^2\sqrt{N_j}$ while above a threshold depending only on $\delta$. Choose the initial $N$ so large that this lower recursion stays above that threshold for $T$ steps; this is possible by working backwards through finitely many squarings. We would then force a subset density greater than one. Thus every fixed positive density eventually forces a nonconstant three-term arithmetic progression. For an infinite subset of the positive integers with positive upper asymptotic density, apply the finite conclusion along initial intervals whose subset density is bounded away from zero; this gives the usual infinite formulation as well.

There is a minor range issue in the printed bound: for $\epsilon >1$ and positive $C$, the upper bound is below one. We prove the intended result for $0<\epsilon \le 1$; a valid formulation for every $\epsilon >0$ replaces the upper bound by $\max \{1,{\epsilon }^{-C}\}$. In fact the argument below gives $C=32$. All auxiliary estimates are proved here.

For $0<\epsilon \le 1/2$, let $m=\lceil {\epsilon }^{-2}\rceil$, and use the Fejér kernelExpanding the square proves the identity and nonnegativity. The finite geometric series formula and $|\sin \pi t|\ge 2\Vert t\Vert$ give $F_m(t)\le (4m\Vert t{\Vert }^2{)}^{-1}$ off the integers. In particular $F_m(t)\le 1/4$ whenever $\Vert t\Vert \ge \epsilon$.

Suppose, for a contradiction, that no $1\le n\le N$ has $\Vert \alpha n^2\Vert <\epsilon$. Summing the Fejér kernel along the quadratic sequence and separating its constant term givesThe coefficients on the right sum to $m-1$. Also $|S_{-k}|=|S_k|$. Hence some $1\le k<m$ has $|S_k|\ge \eta N$, where $\eta =1/(2m)$.

We need only an elementary Van der Corput inequality for finite scalar sequences. For $|z_n|\le 1$, extended by zero outside $[N]$, each term of $S={\sum }_n{z}_n$ occurs in exactly $H$ windows of length $H$. Applying the Cauchy-Schwarz inequality to the window sums and expanding their squares gives, for $H\le N$,Consequently $|S{|}^2\le 2N^2/H+(4N/H){\sum }_{h=1}^{H-1}|C_h|$. Take $H=\lceil 8{\eta }^{-2}\rceil$. If $|S|\ge \eta N$, some $1\le h<H$ must have $|C_h|\ge {\eta }^{2}N/8$; otherwise the displayed upper bound is less than $3{\eta }^2{N}^2/4$.

For the large quadratic exponential sum just found, put $z_n=e(k\alpha n^2)$. Its quadratic exponential sum has multiplicative derivativeThus $C_h$ is a finite geometric series. Its absolute value is at most $1/(2\Vert 2kh\alpha \Vert )$, unless that distance is zero, in which case the desired estimate is automatic. It follows thatSet $n_{\ast }=2kh$. The distance to the nearest integer satisfies $\Vert \ell x\Vert \le \ell \Vert x\Vert$ for a positive integer $\ell$, by multiplying a nearest integer to $x$. ThereforeThis proves the needed quantitative quadratic recurrence once $N$ is chosen polynomially in ${\epsilon }^{-1}$.

For explicit bookkeeping, $m\le 2{\epsilon }^{-2}$ and $H\le 33m^2$. Choose $N=\lfloor {\epsilon }^{-32}\rfloor$. For $0<\epsilon \le 1/2$ we have $N>33792{\epsilon }^{-11}\ge 8mH/({\eta }^2\epsilon )$ and $N\ge H$, while $2mH\le 528{\epsilon }^{-6}\le N$. Hence $n_{\ast }\le N$ and $\Vert \alpha n_{\ast }^2\Vert <\epsilon$, contradicting our supposition. The estimates have substantial slack even at $\epsilon =1/2$.

For $1/2<\epsilon \le 1$, simply take $n=1$, since $\Vert \alpha \Vert \le 1/2<\epsilon$ and $1\le {\epsilon }^{-32}$. For the intended range, the conclusion isFor $\epsilon >1$, the same choice $n=1$ proves the corrected all-range version.

We will prove a polynomial progression in a high-energy fourfold difference set. The route is to extract a large subset with a small difference set, construct a dense Freiman s-isomorphism model, and use the Bogolyubov lemma and the pigeonhole principle. To respect the proof requirement, every ingredient beyond the elementary rules for Freiman homomorphisms is established below.

Assume $n\ge 1$. Since three entries of an additive quadruple determine the fourth, $E(A)\le n^3$, so a nonvacuous hypothesis has $0<\theta \le 1$. Let $r(t)=|\{(a,b)\in A^2:a+b=t\}|$. Then $E(A)={\sum }_{t}r(t{)}^2$ and ${\sum }_{t}r(t)=n^2$. Define the popular sum set $S=\{t:r(t)\ge \theta n/2\}$. The contribution to additive energy from its complement is at most $\theta n^3/2$. Since $r(t)\le n$, the bipartite graph on two copies of $A$ whose edges have sums in $S$ has at least $\theta n^2/2$ edges. Moreover $|S|\le 2n/\theta$.

Put $\delta =\theta /2$ and $\tau ={\delta }^2/16$. Here is a dependent random choice argument producing the small difference set. Independently choose two right vertices, allowing repetition, and let $X$ be their common left neighbourhood. The Cauchy-Schwarz inequality gives $\mathbb{E}|X|\ge {\delta }^{2}n$. Call an ordered pair of left vertices bad if its common right neighbourhood has fewer than $\tau n$ elements. The expected number $b(X)$ of bad ordered pairs in $X$ is at most ${\tau }^2{n}^2$, because a fixed bad pair survives both random choices with probability at most ${\tau }^2$. ThusChoose a realization attaining at least this expectation. Then $|X|\ge 3{\delta }^{2}n/4$, and $b(X)\le {\delta }^{2}n|X|/64\le |X{|}^2/48$. Remove from $X$ every vertex having more than $|X|/4$ bad partners in $X$. At most $|X|/12$ vertices are removed. The remaining set $B$ has $|B|\ge {\delta }^{2}n/2$, and any $a,b\in B$ have at least $|X|/2$ vertices $z\in X$ for which both $(a,z)$ and $(z,b)$ are good.

For such a $z$, there are at least $\tau n$ right vertices $y$ adjacent to $a,z$, and at least $\tau n$ right vertices $y^{\prime }$ adjacent to $z,b$. These paths givea representation with four members of $S$. For fixed $a,b$, the tuple of four sums determines $y,z,y^{\prime }$ uniquely, so there are at least $|X|{\tau }^2{n}^2/2$ distinct tuples. Select one ordered pair $a,b$ for each member of $B-B$. Tuples belonging to different differences are disjoint. Counting all possible tuples in $S^4$ provesIn particular, with $m=|B|$, we have $m\ge {\theta }^{2}n/8$ and $|B-B|\le Km$ for $K=2^{25}{\theta }^{-12}$. This is the required small-difference set form of the Balog-Szemerédi-Gowers theorem, proved by counting paths rather than cited.

We next control higher iterated sumsets. Choose a nonempty $X\subseteq B$ minimizing $\rho =|X-B|/|X|$, so $\rho \le K$. We prove the Petridis minimal-growth lemma in the form $|X-B+C|\le \rho |X+C|$ for finite $C$. Order $C=\{c_1,\dots ,c_t\}$, and let $X_i$ consist of those $x\in X$ for which $x+c_i$ is new in the union of the translates $X+c_j$. Then ${\sum }_i|X_i|=|X+C|$. Every member of $(X\setminus X_i)-B+c_i$ already occurs in an earlier translate of $X-B$. By minimality, $|(X\setminus X_i)-B|\ge \rho |X\setminus X_i|$, also when the complement is empty. Thus the new contribution from $X-B+c_i$ is at most $\rho |X_i|$. Sum over $i$ to prove the lemma. Iterating with $C=-(j-1)B$ gives $|X-jB|\le K^j|X|$.

For completeness, the Ruzsa triangle inequality in the needed form isFor each $d\in U-W$, fix $d=u_d-w_d$. The map $(d,v)\mapsto (u_d-v,v-w_d)$ is injective: adding the coordinates recovers $d$, and then $v$. Take $U=kB$, $W=\ell B$, $V=X$ and apply the preceding bounds. We obtain the Plünnecke-Ruzsa inequalityIn particular $T=8B-8B$ has at most $K^{16}m$ elements.

We now prove a slightly wasteful version of the Ruzsa modeling lemma, avoiding any assumption about the diameter of $B$. Set $q=8|T|$. Choose a prime $p$ larger than all $|t|$, $t\in T$, and much larger than $q$. Arbitrarily large primes exist by the elementary argument that a prime divisor of one plus the product of all primes up to a given bound exceeds that bound. For a uniformly chosen nonzero multiplier $r$ modulo $p$, each nonzero $t\in T$ has $rt$ uniform among the nonzero residues. Call a multiplier forbidden if some such $rt$ agrees modulo $p$ with $jq$, where $|jq|<p$. There are at most $2p/q+1\le 3p/q$ such residues. For $p\ge 4$, a union bound therefore makes the probability of being forbidden less thanChoose a nonforbidden $r$. Represent $rB$ by integers in $[0,p-1]$ and partition that interval into sixteen consecutive pieces of diameter less than $p/16$. One piece contains the images of a subset $B^{\prime }\subseteq B$ with $|B^{\prime }|\ge m/16$. Let $\varphi (b)$ be the integer representative of $rb$ in that piece, reduced modulo $q$.

A difference of eight sums of these representatives has absolute value less than $p/2$. If its original difference in $B$ is zero, it is a multiple of $p$, hence zero. Conversely, if its reduction modulo $q$ is zero, it equals $jq$ with $|jq|<p$; our choice of $r$ forces its original difference to be zero. This proves that $\varphi$ is a Freiman s-isomorphism of order eight. Injectivity follows by padding a one-term equality to eight terms with a fixed element. Consequently $D=\varphi (B^{\prime })\subseteq G=\mathbb{Z}/q\mathbb{Z}$ has subset densityNo primality of $q$ is needed.

Here is the cyclic Bogolyubov lemma with all its Fourier analysis on a finite abelian group details. Use $\hat{f}(r)={\mathbb{E}}_{x}f(x)e(-rx/q)$, $f=1_D$, and normalized convolution on a finite group. A finite geometric series proves orthogonality, and expanding the finite sums proves the Parseval identity on a finite group, Fourier inversion on a finite group, and $\widehat{f\ast g}=\hat{f}\hat{g}$. For $\tilde{f}(x)=f(-x)$, the nonnegative functionhas support exactly $2D-2D$ and Fourier coefficients on a finite abelian group $|\hat{f}(r){|}^4$. Put $\Gamma =\{r\ne 0:|\hat{f}(r)|\ge {\alpha }^{3/2}/\sqrt{8}\}$. The Parseval identity on a finite group gives $|\Gamma |\le 8{\alpha }^{-2}$. The total fourth moment of the frequencies outside $\Gamma \cup \{0\}$ is at most ${\alpha }^4/8$.

If $\Vert rx/q\Vert \le 1/16$ for every $r\in \Gamma$, then $\mathrm{Re}e(rx/q)\ge \cos (\pi /8)>3/4$. The zero frequency contributes ${\alpha }^4$ with no loss. Separating the large and small frequencies in Fourier inversion on a finite group yieldsThus $2D-2D$ contains the Bohr set expressed in distance coordinates by $\Vert rx/q\Vert \le 1/16$. This is consistent with the existing character-distance convention for a Bohr set: here it is enough that each character lies in the corresponding short arc around one.

We finally prove the needed nonwrapping progression in a cyclic Bohr set, including for composite $q$. Write $d=|\Gamma |$ and $Q=\lfloor q^{1/(d+1)}\rfloor$. Partition the $d$-dimensional unit cube into $Q^d$ boxes. The $Q^d+1$ points with coordinates $jr/q$ modulo one, $0\le j\le Q^d$, give by the pigeonhole principle an integer $1\le t\le Q^d$ with $\Vert rt/q\Vert \le 1/Q$ for all $r\in \Gamma$. ThenThese points are distinct modulo $q$, since their integer representatives lie between zero and $Q^{d+1}/16\le q/16$. Their number is at least $q^{1/(d+1)}/32$. For $d=0$ the same argument simply chooses $t=1$.

The Freiman s-isomorphism induces a bijection $\Phi :2B^{\prime }-2B^{\prime }\to 2D-2D$: define it on a representation by taking the same two positive and two negative images. Equality of representations uses an order-four relation, and injectivity uses the converse relation. If three consecutive members $y_{j-1},y_j,y_{j+1}$ of $P$ satisfy $y_{j-1}+y_{j+1}=2y_j$, their preimages satisfy the same equality, since its expansion is an equality of eight-term sums in $B^{\prime }$. Hence the inverse image of $P$ is an ordinary arithmetic progression in $2B^{\prime }-2B^{\prime }\subseteq 2A-2A$, with distinct terms.

To remove the multiplicative constant from the length bound, let $R=\lceil 8{\alpha }_0^{-2}\rceil$ and $\beta =1/(R+1)$. The length just proved is at least $c_{\theta }{n}^{\beta }$, where $c_{\theta }={\theta }^{2\beta }/32>0$. Choose $N_0\ge 3$ so that $c_{\theta }{n}^{\beta }\ge n^{\beta /2}$ for $n\ge N_0$, and set $\gamma =\min \{\beta /2,\log 3/\log N_0\}$. For $2\le n<N_0$, two distinct members of $A$ give a nonzero $u\in A-A$, and $\{-u,0,u\}\subseteq 2A-2A$ has length three, at least $n^{\gamma }$. For $n=1$, the singleton $\{0\}$ suffices. In every nonempty case,with $\gamma >0$ depending only on $\theta$. If empty sets are permitted, the required length is zero and there is no substantive assertion.

A clean proof outline uses hypergraph removal rather than the quadratic density increment route. The structure is: establish removal for the three-uniform tetrahedron, encode four-term arithmetic progressions as its copies, and use the many edge-disjoint copies coming from constant progressions to contradict removal. We give the technical regularity stage in outline, as requested, and prove the counting inequality and the encoding that make the argument work.

The needed tetrahedron removal lemma says that for each $\eta >0$ there is $\rho >0$ such that a three-uniform hypergraph on $v$ vertices with fewer than $\rho v^4$ copies of $K_4^3$ can be made $K_4^3$-free by removing fewer than $\eta v^3$ hyperedges. Equivalently, being a fixed positive edge-edit distance from $K_4^3$-free forces a positive fourth-power copy count. Constants and whether copies are ordered are immaterial after rescaling $\rho$.

Here is the global proof of this hypergraph removal input. Strong regularity for three-uniform hypergraphs partitions both vertices and the bipartite pair sets between vertex classes. The resulting three-class cells, called triads in a hypergraph regularity partition, are supported on three pair cells. On all but a prescribed small total weight, the triple-edge function has approximately constant relative density and a small relative three-dimensional box norm. This two-level refinement is essential: a vertex partition alone does not capture correlations carried by pairs. The regularity construction uses the squared L2 norms of conditional expectations of edge indicators as bounded energies. Refinement increases this energy by the squared L2 norm of the difference between the new and old conditional expectations, by orthogonality. Thus a nonuniformity witness causing a definite discrepancy causes a definite energy increment. A witness to nonuniformity refines the relevant pair or triple partition and raises the appropriate energy. A hierarchy of tolerances, with sufficiently strong refinement at the pair level, makes these increases terminate after a bounded number of stages. Bounds may depend very badly on the requested tolerance, which is harmless for a qualitative theorem.

Delete hyperedges with two vertices in the same vertex class, hyperedges meeting exceptional classes or irregular cells, hyperedges supported on pair cells of very small density, and hyperedges in triads of very small triple density. Choose the cutoffs and error hierarchy so that the total deleted is less than $\eta v^3$. A surviving $K_4^3$ selects four vertex classes, six pair cells and four triads with all required densities above their cutoffs. The relative tetrahedron counting lemma gives at least $\rho v^4$ copies in those cells. This contradicts the assumed sparse copy count, and proves the tetrahedron removal lemma. The strong regularity and relative counting estimates are the technical portion outlined here; the dependence of their constants is not needed.

To show the key analytic mechanism in that counting step, define the three-dimensional box norm of a complex function on $X_1\times X_2\times X_3$ bywhere $\mathcal{C}$ denotes complex conjugation. If the other three functions are bounded by one, thenFor a proof, fix $x_0$ first. Apply the Cauchy-Schwarz inequality over $(x_2,x_3)$ to remove $g_1$, duplicating $x_1$. Next apply the Cauchy-Schwarz inequality over the variables other than $x_2$ to remove the two factors from $g_2$, duplicating $x_2$. A third application removes the four factors from $g_3$ and duplicates $x_3$. The resulting eighth power is exactly the cube average displayed above. Averaging over $x_0$ proves the inequality. This also shows nonnegativity of the cube average by its successive squared-sum form.

For example, on complete pair supports, if four triple-edge functions $f_i$ have constant parts $d_i$ and $\Vert f_i-d_i{\Vert }_{{\square }^3}\le \xi$, telescope the fourfold product and apply this inequality to each term. Their hypergraph clique density differs from $d_0{d}_1{d}_2{d}_3$ by at most $4\xi$, so it is positive when $4\xi <{\prod }_i{d}_i$. On general pair supports the same successive squaring argument is combined with sufficiently regular pair cells; choosing relative errors small compared with the pair-density product gives the relative tetrahedron counting lemma. This explains both the counting step and why its support must be regularized before the triple-edge densities. It supplies a proved important step without pretending that the strong regularity theorem is a one-line assertion.

We now prove the four-term progression hypergraph encoding completely. Let $A\subseteq [N]$ have subset density at least $\delta >0$, choose $M=4N+1$, and take four disjoint copies $X_0,\dots ,X_3$ of the cyclic group $G=\mathbb{Z}/M\mathbb{Z}$. Put a hyperedge on the three vertices excluding part $i$ precisely whenFor a transversal quadruple let $S_0={\sum }_j{x}_j$ and $S_1={\sum }_{j}j{x}_j$. Its four edge conditions are $S_1-i{S}_0\in A$, $i=0,1,2,3$. Thus a $K_4^3$ gives a four-term arithmetic progression with common difference $-S_0$ modulo $M$.

Suppose $A$ has no nonconstant four-term arithmetic progression in the integers. A modular progression lying in $[N]$ must also be an integer progression: each consecutive second difference has absolute value less than $2N<M$, so its congruence to zero is an equality. Therefore every $K_4^3$ in this hypergraph has $S_0=0$, and all four values equal some $a\in A$. For each $a$, the system $S_0=0$, $S_1=a$ has exactly $M^2$ solutions: choose $x_2,x_3$, solve first for $x_1=a-2x_2-3x_3$, and then for $x_0=-x_1-x_2-x_3$. There are exactly $|A|M^2=O(M^3)$ copies of $K_4^3$.

These copies are edge-disjoint. Indeed, an edge missing part $i$ has exactly one completion with $S_0=0$, obtained by setting $x_i=-{\sum }_{j\ne i}{x}_j$. Its common value is the already prescribed $L_i\in A$. Hence destroying all copies requires at least $|A|M^2$ edge deletions. Since $M\le 5N$, this is at least $\delta M^3/5$. Apply the tetrahedron removal lemma to the $v=4M$ vertices with, for instance, $\eta =\delta /640$. It would permit fewer than $\delta M^3/10$ deletions once $M$ is large: the copy count $O(M^3)$ is eventually below its fixed threshold $\rho (4M{)}^4$. This is impossible.

Every fixed positive density therefore forces a nonconstant four-term arithmetic progression in sufficiently long intervals. This proves the length-four case of the Szemerédi theorem. Applying it to sufficiently large initial intervals along a subsequence witnessing positive upper asymptotic density also gives the usual infinite-set formulation.

Subtract the two constraints to obtain $x\cdot (a-b)=A-B$. The Cauchy-Schwarz inequality gives $|A-B|\le \Vert x\Vert \Vert a-b\Vert$. Since $a\ne b$, division and squaring give the distance bound from two hyperplane constraintsIf $a=b$ and $A\ne B$, the intersection is empty. If $a=b\ne 0$ and $A=B$, the constraints describe the same hyperplane. Its points satisfy $\Vert x{\Vert }^2\ge A^2/\Vert a{\Vert }^2$, with equality at $x=Aa/\Vert a{\Vert }^2$. The fraction involving $a-b$ is undefined in this case and cannot be used.

If $a=b=0$, both equations are satisfied by every $x$ when $A=B=0$, and otherwise there is no solution. These degenerate cases distinguish an inconsistent constraint from a repeated one.

The Cauchy-Schwarz inequality in ${\mathbb{R}}^n$ isHere the Euclidean norm is induced by the dot product. If $b=0$, the result is immediate. If $b\ne 0$, the squared Euclidean norm of the component of $a$ perpendicular to $b$ is nonnegative:Rearrangement proves the Cauchy-Schwarz inequality. Equality holds precisely when $a$ and $b$ are linearly dependent, including the cases of a zero vector.

Expanding the squared Euclidean norm and using the Cauchy-Schwarz inequality givesTaking nonnegative square roots gives the triangle inequality. Applying the triangle inequality once more gives

Use the part-preserving bipartite four-cycle density conventionHere $G(x,y)$ is the indicator function of adjacency, and repeated labels are allowed. This is the homomorphism density convention appropriate to the four-cycle norm. We derive the needed counting and operator norm facts directly.

Let $M=(G(x,y))$ be the $n$-by-$n$ biadjacency matrix, let $1$ be the all-ones vector, let $J=11^{\mathsf{T}}$, and put $H=M-\delta J$. The degree hypothesis saysso the centered matrix $H$ annihilates $1$ on both sides. In particular, $HJ=J{H}^{\mathsf{T}}=0$, andThe two terms have zero products in either order. Expanding the matrix trace directly counts four adjacency factors:Since $J^2=nJ$ and $\mathrm{tr}J=n$, we obtainThe given upper bound therefore impliesThis computation proves the centered four-cycle identity for a biregular graph, rather than assuming a four-cycle norm identity.