---
title: Brock Rearrangements in Symmetrization Theory
url: https://www.emergentmind.com/topics/brock-rearrangements
type: topic
---

# Brock Rearrangements in Symmetrization Theory

Searching arXiv for the cited paper and closely related rearrangement/polarization work.
Brock rearrangements are smoothing rearrangements parameterized by \( b \in [0,1] \) that interpolate between the identity map and Steiner symmetrization relative to a hyperplane \( H \). In the formulation discussed in "Approximation of rearrangements by polarizations" [2509.02162], they act on sets and functions by translating vertical chords orthogonally to \( H \), preserving measure and equimeasurability while modifying geometric placement in a controlled way. Their importance within rearrangement theory derives from a dual character: they share structural features with classical symmetrizations, yet they exhibit a decisive obstruction to approximation by finite compositions of polarizations when \( 0<b<1 \), marking a boundary of the polarization method [2509.02162].

## 1. Definition and parametric structure

For a convex body \( K \) and a horizontal hyperplane \( H \) at height \( t_0 \), the Brock set map with parameter \( b \) is defined by translating, orthogonal to \( H \), each vertical chord of \( K \) with midpoint at height \( t \) so that its midpoint is at height \( (1-b)t_0 + bt \) [2509.02162]. This description places the construction within the family of symmetrization-type operators that act by reorganizing one-dimensional fibers while retaining their lengths.

The parameter \( b \) governs the extent of displacement. The endpoint \( b=1 \) gives the identity map, so no geometric modification occurs. The endpoint \( b=0 \) gives the Steiner rearrangement relative to \( H \), in which the vertical structure is fully centered on the hyperplane. Intermediate values \( 0<b<1 \) produce partial displacement toward \( H \), and thus define a continuous interpolation between no rearrangement and full Steiner symmetrization [2509.02162].

The associated contraction is given explicitly. If \( u \) is a unit normal to \( H \), then
\[
\varphi_{B_H}(t)=b(t-t_0)+t_0,
\]
and for \( x\in\mathbb{R}^n \),
\[
\psi_{B_H}(x)=x+(b-1)(\langle x,u\rangle-t_0)u.
\]
These formulas show that the action is anisotropic: only the component orthogonal to \( H \) is modified, and it is modified linearly with slope \( b \) [2509.02162]. A plausible implication is that Brock rearrangements should be viewed not merely as set-theoretic symmetrizations but as operators with an explicitly encoded geometric dynamics.

## 2. Structural properties as smoothing rearrangements

Brock rearrangements satisfy the standard properties expected of a smoothing rearrangement. They are monotone in the sense that \( A\subset B \) implies \( {}_{B_H}A\subset {}_{B_H}B \). They are measure-preserving, with \( \mathcal{H}^n({}_{B_H}A)=\mathcal{H}^n(A) \). For functions, they preserve the measure of superlevel sets, giving equimeasurability for characteristic functions. They also have a smoothing property, described in the summarized source as reducing modulus of continuity [2509.02162].

These properties place Brock rearrangements in close formal proximity to better-known operators such as Steiner and Schwarz rearrangements. In particular, the preservation of superlevel-set measures means that the rearrangement acts by redistributing mass rather than changing its distribution function. This is the mechanism by which rearrangements become relevant to integral inequalities, extremal problems, and compactness arguments. The smoothing aspect further aligns Brock rearrangements with the wider class of operators for which Pólya–Szegő-type inequalities are natural to study [2509.02162].

The same source states that the Pólya–Szegő inequality was shown by the authors to hold for all smoothing rearrangements, including the more general \( (k,n) \)-Steiner rearrangement as well as rearrangements introduced by Brock and by Solynin [2509.02162]. This indicates that Brock rearrangements belong to a class sufficiently regular for variational inequalities, even though their approximation theory diverges from the classical pattern.

## 3. Relation to Steiner, Schwarz, and Solynin rearrangements

The Steiner rearrangement is exactly the \( b=0 \) case of the Brock rearrangement, whereas \( b=1 \) is the identity [2509.02162]. This interpolation is conceptually significant because it situates Brock rearrangements between a fully symmetrizing operator and the trivial operator. In that sense, they form a one-parameter deformation of Steiner symmetrization.

The same source notes that symmetric decreasing, or Schwarz, rearrangement may be viewed as the limit of iterated \( (k,n) \)-Steiner rearrangements, while Solynin rearrangements, described as continuous symmetrization, act differently by moving chords above or below a moving plane [2509.02162]. The comparison is not merely taxonomic. It identifies a family resemblance among rearrangements defined by fiberwise reorganization, while also emphasizing that the geometric rule for Brock rearrangements is distinct.

A central distinction concerns approximation by polarizations. For classical rearrangements such as Steiner and Schwarz, sequential approximation by polarizations is possible; for Solynin rearrangements, the summarized table reports approximability by polarizations at least weakly; for Brock rearrangements with \( b\in(0,1) \), such approximation fails [2509.02162]. This suggests that Brock rearrangements occupy an intermediate structural position: they retain many global rearrangement properties, but their local geometric action cannot be synthesized from polarization primitives.

## 4. Polarization and the negative approximation theorem

Polarization is an elementary rearrangement with respect to an oriented hyperplane \( H \), acting on functions by
\[
P_H f(x)=
\begin{cases}
\max\{f(x),f(x^\dagger)\}, & x\in H^+,\\
\min\{f(x),f(x^\dagger)\}, & x\in H^-,
\end{cases}
\]
where \( x^\dagger \) is the reflection of \( x \) across \( H \) [2509.02162]. Polarizations are basic building blocks in rearrangement theory because many inequalities are preserved with equality under polarization, making them suitable for approximation arguments.

The principal negative result states that Brock rearrangements with \( 0<b<1 \) cannot be approximated, even weakly, by finite compositions of polarizations [2509.02162]. In the function-theoretic formulation quoted in the source, if \( X\subset L_+^p(\mathbb{R}^n) \) contains all nonnegative smooth functions with compact support and \( 1\le p<\infty \), then for a hyperplane \( H \) and \( 0<b<1 \), the Brock rearrangement \( B_H \) is not weakly approximable in \( L^p \) on \( X \) by finite compositions of polarizations [2509.02162].

This result is significant because polarization-based approximation had been a standard route for proving rearrangement inequalities. The summarized source states that if a rearrangement can be approximated by finite compositions of polarizations, then inequalities such as Pólya–Szegő are easier to establish, and it further states that the Brock non-approximability result answers an open conjecture and provides, for the first time, a limitation of the polarization approximation method [2509.02162]. A plausible implication is that the theory of smoothing rearrangements cannot be fully reduced to polarization calculus; some rearrangements require genuinely different analytical machinery.

## 5. Contraction maps and the analytic obstruction

A central analytic tool in the paper is the association of contraction maps to rearrangements and, more generally, to set maps [2509.02162]. Under mild conditions, each set map associated with a rearrangement has an associated contraction map from \( \mathbb{R}^n \) to \( \mathbb{R}^n \). For monotone, measure-preserving set maps that send balls to balls, the action on balls is encoded by
\[
B(x,r)\mapsto B(\psi(x),r),
\]
so the contraction map completely describes how centers move while radii are preserved [2509.02162].

For Brock rearrangements, this contraction is linear in the direction orthogonal to \( H \), with slope \( b \). By contrast, for polarizations and finite compositions thereof with respect to parallel hyperplanes, the possible associated one-dimensional contractions \( \varphi \) lie in a class \( \mathcal{I} \) consisting of piecewise affine contractions with slopes \( \pm 1 \) [2509.02162]. The summarized source further records two criteria: if the associated contraction \( \varphi \) is not in \( \mathcal{I} \), then the rearrangement cannot be approximated by finite compositions of polarizations; and if \( \varphi' \) exists at some point and is not in \( \{0,\pm1\} \), then \( \varphi\notin\mathcal{I} \) [2509.02162].

For Brock rearrangements with \( 0<b<1 \), the derivative of the associated contraction is precisely \( b \), hence neither \( 0 \) nor \( \pm1 \). This yields the obstruction directly: Brock contractions cannot be realized within the polarization-generated class, so Brock rearrangements cannot be weakly approximated by finite compositions of polarizations [2509.02162]. In geometric terms, polarization-generated contractions have a reflection-type piecewise affine geometry, whereas Brock rearrangements implement a genuine linear contraction along the normal direction to \( H \).

## 6. Consequences for rearrangement inequalities and approximation theory

The source develops both set-theoretic and function-theoretic notions of approximation, including strong, weak, and sequential variants [2509.02162]. This broad framework matters because the negative result for Brock rearrangements is not merely a failure of a specific algorithmic approximation scheme; it persists even under weak approximation on rich function classes that include all compactly supported smooth nonnegative functions.

The paper also places the result in the context of rearrangement inequalities. Since the Pólya–Szegő inequality holds with equality for polarizations, approximation by polarizations is a natural route to proving the inequality for other rearrangements [2509.02162]. The Brock case shows a limit of that strategy: even when a rearrangement is monotone, measure-preserving, equimeasurable, and smoothing, polarization approximation may still be unavailable. This suggests that proofs of inequalities for Brock rearrangements must rely on methods other than approximation by finite compositions of polarizations, or at least on a broader approximation concept not captured by the polarization framework as formalized in the paper.

More broadly, the contraction-map formalism provides a diagnostic criterion for distinguishing rearrangements that are compatible with polarization approximation from those that are not [2509.02162]. A plausible implication is that the geometry of the associated contraction, rather than the rearrangement’s global measure-theoretic properties alone, is the decisive invariant for this approximation problem.

## 7. Summary of the comparative picture

The following synopsis condenses the comparative information reported in the source.

| Rearrangement | Approximable by polarizations? | Associated contraction slope |
|---|---:|---:|
| Steiner (Schwarz) | Yes | \( 0 \) or \( \pm1 \) |
| Solynin | Yes, at least weakly | \( 0 \) or piecewise \( \pm1 \) |
| Brock, \( b\in(0,1) \) | No | \( b\in(0,1) \), not \( \pm1 \) |

Within this comparative scheme, Brock rearrangements emerge as a critical test case for the modern theory of symmetrization [2509.02162]. They preserve the canonical rearrangement features of monotonicity, measure preservation, equimeasurability, and smoothing, and they fit naturally into the family interpolating between identity and Steiner symmetrization. Yet their associated contractions have slopes incompatible with the polarization-generated class \( \mathcal{I} \), and this incompatibility yields a rigorous non-approximability theorem. In that sense, Brock rearrangements delineate the boundary between rearrangements that can be accessed through polarization approximation and those whose analysis requires a more general geometric and functional framework [2509.02162].

Source: https://www.emergentmind.com/topics/brock-rearrangements