Measuring Shape
Generative Radial Geometry (GRG): measuring shape to change perspective
This page presents concise formulas and proofs showing how GRG replaces constants like $\pi$ with shape measures (circles, hemispheres, ellipses, polygons) and with unit-sum quadratures. The goal is twofold: measurement precision and operational advantage (stability, variance/error reduction, traceability), even in asymmetric scenarios.
1) Principle
In GRG, many occurrences of $2\pi$, $4\pi$ or $\pi$ are not “mysteries” but the area/volume of a shape in the natural domain (e.g., directions, frequencies). By changing the measure on that domain (circular units: turn, hemi, sphere) the constant is absorbed and the integral becomes a normalized average.
2) Core theorems
Theorem 1 — Circular measure equivalence
Let $S^1$ be the unit circle of directions with arc-length measure $\lambda$ so that $\lambda(S^1)=2\pi$. Define the normalized measure $\mu=\lambda/(2\pi)$ with $\mu(S^1)=1$. Then for all $g\in L^1(S^1)$:
Proof. By definition of $\mu$. For $S^2$ the same holds with $\lambda(S^2)=4\pi$ and for the hemisphere with $2\pi$.
Theorem 2 — Anisotropic measure (no symmetry required)
Let $\rho(\theta)\ge 0$ with $\int \rho(\theta)\,d\theta = 1$ be an angular density (possibly non-uniform). Define the weighted measure $d\nu(\theta):=\rho(\theta)\,d\theta$. For all $g\in L^1$:
Interpretation. The “shape” of the domain is deformed according to $\rho$. Precision comes from encoding asymmetry in the measure, not from any pre-existing symmetry.
Theorem 3 — Radial quadratures with unit-sum weights
There exist sets of directions $\{\hat u_k\}_{k=1}^{N}\subset S^2$ and weights $w_k>0$ with $\sum_k w_k = 1$ such that, for every $g$ in a target family (e.g., polynomials in $\mu=\cos\theta$ up to degree $t$, or spherical harmonics up to degree $t$):
Note. Such cubatures (e.g., spherical t-designs or refined symmetric polyhedra) give controllable accuracy with $N=O(t^2)$.
3) Operational propositions: “removing $\pi$”
Proposition A — Fourier pair in turns (Hz), no $2\pi$
With frequency in cycles/s (Hz) and phase in turns, the Fourier pair
is equivalent to the classical pair with $\omega=2\pi f$. Proof. Substitute $\omega=2\pi f$ and $d\omega=2\pi\,df$.
Proposition B — RC integral: rad/s vs Hz
Proof. Use $\omega=2\pi f$. The constant $\pi$ is a unit-conversion factor.
4) Demonstrative examples (non–“pure geometry”, explicit shapes)
4.1 Radiometry (Lambert): the number is the area of a disk
For a perfectly diffuse surface,
In spherical coordinates $d\Omega=\sin\theta\, d\theta\, d\varphi$, $\varphi\in[0,2\pi)$, $\theta\in[0,\tfrac{\pi}{2}]$. Then
Hence $E=\pi L$. With the “hemi” measure (hemisphere $=1$) the average is $\langle \cos\theta\rangle_{\text{hemi}} = \tfrac{1}{2}$ and, expressed per-hemi, $E_{\text{hemi}} = L \cdot \tfrac{1}{2}$. With the projected “Lambert” measure $d\Sigma = \tfrac{\cos\theta}{\pi}\, d\Omega$ (unit disk area), $\int d\Sigma=1$ and therefore $E = L$. In all cases the constant is a shape measure.
4.2 Signals/Control (RC): angle as shape
With the substitution $\omega\tau = \tan\theta$, the integral
becomes a measure of an angle on the unit circle (arc from $0$ to $\tfrac{\pi}{2}$), which explains $\tfrac{\pi}{2}$. In “turn/Hz” units that angle is $\tfrac{1}{4}$, giving $\tfrac{1}{4\tau}$. Same content, different shape and measure.
4.3 Statistics (Cauchy as a projection of the circle)
If $\Theta \sim \operatorname{Unif}(-\tfrac{\pi}{2},\tfrac{\pi}{2})$ and $X=\gamma \tan\Theta$, then
Interpretation: $X$ is the tangent projection of a point uniformly distributed on a circle. In “turn” units, let $\Phi \sim \operatorname{Unif}(-\tfrac{1}{4},\tfrac{1}{4})$ and $\Theta = 2\pi \Phi$; with respect to the turn-normalized angular measure (total length $=1$) the normalization constant is absorbed. Converting back to radians restores $1/(\pi\gamma)$.
5) Asymmetry: elliptical metrics and weighted measures
For anisotropic phenomena introduce an elliptical metric $M\succ 0$ and define $r_M(x)=\sqrt{x^\top M x}$. The “balls” of $r_M$ are ellipses, and many constants are absorbed by switching to $M$-radial coordinates. Any directional density $\rho(\theta)$ defines $d\nu=\rho\,d\theta$: integration becomes a unit-sum average without invoking symmetry.
6) Precise discrete re-determination (quadratures)
Design sets $\{(\hat u_k,w_k)\}$ with $\sum_k w_k=1$ that integrate exactly a useful family (e.g., $\{1,\cos\theta,\sin\theta,\cos2\theta,\sin2\theta\}$ for low-order anisotropic BRDFs, or spherical harmonics up to degree $t$). This yields a precise discrete scheme: constants like “$4\pi$” or “$2\pi$” become simply “sum of weights = 1”.
7) Practical conversions (GRG ↔ classical form)
| Domain | Classical form | GRG form | Observation |
|---|---|---|---|
| Radiometry (Lambert) | $E=\pi L$ | $E=L$ with unit projected measure | $\pi$ = area of the projected disk |
| Signals (RC) | $\displaystyle \int \frac{d\omega}{1+(\omega\tau)^2}=\frac{\pi}{2\tau}$ | $\displaystyle \int \frac{df}{1+(2\pi f\tau)^2}=\frac{1}{4\tau}$ | $\pi$ = rad↔turn conversion |
| Statistics (Cauchy) | $\frac{1}{\pi\gamma}\frac{1}{1+(x/\gamma)^2}$ | $\frac{1}{\gamma}\frac{1}{1+(x/\gamma)^2}$ with angle in turns | $\pi$ = length of the angular domain |
| Fields/Fluxes | $4\pi$ factors on $S^2$ | Average over sphere with $\sum w_k=1$ | $4\pi$ = area of the unit sphere |
8) Measurable benefits
- Numerical stability: fewer fixed large/small factors, better conditioning.
- Variance reduction: with anisotropic $\rho$, MC error shrinks where it matters.
- Traceability: results come pre-normalized (averages on 1); conversion back to standards is multiplication by $2\pi$ or $4\pi$.
9) Validation protocol (A/B)
- Select 3 cases (Lambert, RC, Cauchy/Maxwell).
- Define the GRG measure (turn/hemi/sphere or weighted $\rho$) and the quadratures (degree $t$).
- Compare to the classical baseline at equal budget (samples/time).
- Metrics: relative error, variance, conservation (energy/flux), stability along pipelines.
- Success threshold: ≥50% lower cost at equal error or ≤½ the error at equal cost in ≥2 out of 3 cases.
10) Conclusion
“Removing $\pi$” is not rhetoric: it is the outcome of measuring the domain in the right shape. GRG provides a measurement language (circular units and unit-sum quadratures) that yields cleaner formulas and, crucially, quantifiable benefits. This is a change of perspective that delivers progress: measurable improvement, not stubbornness.
