---
title: Zindler Carousels in Floating-Body Geometry
url: https://www.emergentmind.com/topics/zindler-carousels
type: topic
---

# Zindler Carousels in Floating-Body Geometry

Searching arXiv for recent and foundational papers on Zindler carousels and related floating-body geometry.
{"query":"all:(\"Zindler carousel\" OR \"Zindler carousels\" OR \"floating body\" planar Ulam perimetral density)","max_results":10,"sort_by":"submittedDate","sort_order":"descending"}
I’m going to retrieve arXiv records relevant to Zindler carousels, Zindler curves, and the planar floating body problem.
Zindler carousels are geometric–dynamical structures attached to strictly convex plane domains in the planar floating-body problem at rational perimetral density. If \(K\) has perimeter \(P\) and arc-length parametrization \(\gamma:\mathbb{R}/P\mathbb{Z}\to\mathbb{R}^2\), then for \(\sigma=1/N\) one sets \(\mu=P/N\) and defines
\[
v_i(t):=\gamma(t+(i-1)\mu),\qquad i=1,\dots,N.
\]
These points form a Zindler carousel when the inscribed polygon \(V(t)\) with vertices \(v_1(t),\dots,v_N(t)\) is equilateral with side length \(\ell\) independent of \(t\). As \(t\) varies, the equilateral \(N\)-gon slides along \(\partial K\), and this sliding polygon is equivalent to the condition that \(K\) float in equilibrium in every orientation with perimetral density \(\sigma=1/N\) [2604.10330].

## 1. Geometric definition and floating-body equivalence

In the perimetral model, mass is distributed uniformly along the boundary \(\partial K\). The equilibrium axiom states that for every direction of the waterline, the line splits the boundary into two arcs whose lengths are in a fixed ratio \(\sigma:(1-\sigma)\). For \(\sigma=1/N\), the carousel construction replaces this global equilibrium condition by a moving inscribed equilateral \(N\)-gon with vertices equally spaced in arc length along \(\partial K\) [2604.10330].

The precise equivalence is that \(K\) floats in equilibrium in every orientation with perimetral density \(\sigma=1/N\) if and only if there exists \(\ell>0\) such that for every \(t\), the points \(v_1(t),\dots,v_N(t)\) form an inscribed equilateral \(N\)-gon with side length \(\ell\). The side midpoints
\[
m_i(t)=\frac{v_i(t)+v_{i+1}(t)}{2}
\]
then satisfy the midpoint-parallel property
\[
\dot m_i(t)\parallel (v_{i+1}(t)-v_i(t)),
\]
which encodes torque balance along the waterline. In this formulation, force balance is matched by the fixed arc-length ratio, while torque balance is expressed by the kinematics of the moving side midpoints [2604.10330].

This equivalence makes the carousel a reduction device: a continuum hydrostatic condition becomes a finite-dimensional geometric constraint. The approach is especially effective for rational densities, where the waterline geometry can be encoded by polygonal configurations rather than by arbitrary chord families.

## 2. The classical case \(\sigma=1/2\): Zindler curves, equal chords, and related geometries

Zindler curves are the \(\sigma=1/2\) case. For a strictly convex curve \(\gamma\) of perimeter \(P\), the defining property is that every chord whose endpoints are separated by half the perimeter has the same length:
\[
|\gamma(t+P/2)-\gamma(t)|
\]
is independent of \(t\). This equal-chord property is equivalent to floating in equilibrium at perimetral density \(1/2\), and it implies that the midpoint motion is parallel to the chord, which is the classical Zindler characterization [2604.10330].

A complementary formulation uses the parametrization
\[
x(\alpha)=l\cos\alpha+\xi(\alpha),\qquad y(\alpha)=l\sin\alpha+\eta(\alpha),
\]
with
\[
\xi(\alpha+\pi)=\xi(\alpha),\qquad \eta(\alpha+\pi)=\eta(\alpha).
\]
Here the boundary points at parameters \(\alpha\) and \(\alpha+\pi\) are joined by a chord of constant length \(2l\). This diameter bisects the perimeter and, under sufficient convexity, bisects the enclosed area as well. The two halves satisfy
\[
A_1=A_2=(\pi/2)l^2-\Delta,
\]
with \(\Delta\) independent of \(\alpha\), and their centroids obey
\[
A_1h=A_2h=(4/3)l^3.
\]
Thus the line joining the two centers of gravity is always normal to the chord and has constant length [1909.12596].

The same paper places Zindler geometry within a broader family of curve theories. It emphasizes that Bor–Levi–Perline–Tabachnikov identified the coincidence between the floating-body equation in two dimensions and the elastica-under-pressure equation, so many buckled rings furnish floating-body boundaries. It also notes that Zindler curves are bicycle curves: the one-parameter family of fixed-length chords sliding along the boundary corresponds to the rear-wheel tangent construction, with the chord midpoints tracing the envelope [1909.12596]. This shows that the carousel mechanism is not merely hydrostatic; it is also a chordal kinematics shared by floating bodies, elastica under pressure, and the bicycle problem.

## 3. Rational densities and the hexagonal rigidity mechanism at \(\sigma=1/6\)

For general \(\sigma=1/N\), after normalizing the side length to \(\ell=2\), the interior angles \(x_i(t)\) of the inscribed equilateral \(N\)-gon satisfy
\[
\dot{x}_i(t)=\sin(\alpha_{i-1}(t))-\sin(\alpha_i(t)),
\]
with
\[
x_i=\pi-\alpha_i-\alpha_{i-1}.
\]
This already converts the floating-body problem into an ODE on polygonal angle data [2604.10330].

The case \(\sigma=1/6\) is special because the carousel is an inscribed equilateral hexagon. The paper shows that the hexagon is centrally symmetric, and consequently \(K\) itself is centrally symmetric with fixed center \(c\) independent of \(t\). This collapses the \(6\times 6\) system to a \(3\times 3\) system and then to a \(2\times 2\) system for \(x:=x_1\) and \(y:=x_2\):
\[
\dot{x}=\cos(x+y)-\cos y,\qquad \dot{y}=\cos x-\cos(x+y).
\]
The reduced system is Hamiltonian with
\[
H(x,y):=\sin x+\sin y-\sin(x+y),
\]
and the area \(S\) of the inscribed hexagon satisfies
\[
S=4H.
\]
Hence area is conserved; this is identified as Auerbach’s invariant [2604.10330].

Convexity restricts the dynamics to
\[
D:=\left\{(x,y): \frac{\pi}{2}<x<\pi,\ \frac{\pi}{2}<y<\pi,\ x+y<\frac{3\pi}{2}\right\}.
\]
On \(D\), \(H\) is strictly concave with a unique maximum at \((2\pi/3,2\pi/3)\), corresponding to the circle. Passing to
\[
u=\frac{x+y}{2},\qquad v=\frac{x-y}{2},
\]
the dynamics reduce further to a one-dimensional equation
\[
\dot{u}^{\,2}=Q_H(u),
\]
with period
\[
T(H):=2\int_{u_-(H)}^{u_+(H)}\frac{du}{\sqrt{Q_H(u)}}.
\]
The paper proves the sharp bounds
\[
\pi\sqrt{\frac{3}{2}}<T(H)<\frac{2\pi}{\sqrt{(4-\sqrt{2})/2}}.
\]
A direct geometric computation also yields
\[
r^2=1-2H\cot u,\qquad 12\le P\le 2\pi(1+\sqrt{2}),
\]
where \(r(t)=|\gamma(t)|\) and \(P\) is the perimeter of \(K\) [2604.10330].

The rigidity step combines these period bounds with rotational symmetry quantization. If \(|\mathrm{Rot}(K)|=2k\), then the minimal period satisfies
\[
T(H)=\frac{P}{2km}.
\]
The resulting inequalities force \(k=m=1\), hence \(T(H)=P/2\ge 6\), but the analytic upper bound gives \(T(H)<6\), a contradiction. Therefore, for \(\sigma=1/6\), no noncircular convex body can float in equilibrium in every orientation; the only solution is the disk [2604.10330].

Placed in context, this extends earlier rigidity results for \(\sigma=1/3\) and \(\sigma=1/4\), while the same paper recalls numerical evidence of nonexistence for \(\sigma=1/5\) and \(\sigma=2/5\).

## 4. Affine Zindler carousels and homothety rigidity

A recent affine-differential reformulation replaces Euclidean arc length and Euclidean chord invariants by equi-affine arc length and signed affine distance between linear elements. For a non-degenerate curve \(x=x(s)\), the affine arc-length parameter is
\[
\sigma(s)=\int_{s_0}^s \det(\dot x,\ddot x)^{1/3}\,ds,
\]
and for a Euclidean arc-length parametrization \(\gamma\),
\[
d\sigma=\det(\gamma',\gamma'')^{1/3}ds=\kappa^{1/3}ds.
\]
In parallel, for a convex body \(K\), the body of flotation \(F_\delta(K)\), the body of buoyancy \(B_\delta(K)\), and the body of illumination \(I^\delta(K)\) are defined from water lines, buoyancy centroids, and silhouette cones, respectively [2507.11850].

In this setting, the key homothety theorem states that
\[
\Pi_\delta(K)\sim \Gamma_\delta(K)\quad\text{with ratio }\lambda>1
\]
if and only if
\[
\|c\|^3\equiv 12\delta\lambda,
\]
where \(c=\gamma(t)-\gamma(s)\) is a chord of flotation and \(\|c\|\) is the signed affine distance between the endpoint linear elements. A second theorem shows that this homothety is equivalent to constancy of the cut-off affine arc length:
\[
\frac{d}{ds}\int_s^t \det(\gamma'(u),\gamma''(u))^{1/3}\,du=0,
\]
or, equivalently,
\[
\frac{\sin^3\alpha}{\kappa(s)}=\frac{\sin^3\beta}{\kappa(t)}.
\]
These are the affine counterparts of Auerbach’s classical Euclidean equal-length and equal-cutoff statements [2507.11850].

Affine Zindler carousels are then formulated for rational perimetral density \(\delta=p/q\) using a \(q\)-tuple \(t_0(s),t_1(s),\dots,t_q(s)=t_0(s)\). The side conditions are
\[
\det(\gamma(t_i)-\gamma(t_{i-1}),\gamma'(t_i)+\gamma'(t_{i-1}))=0,\qquad i=1,\dots,q,
\]
together with the equal affine arc-length condition given by vanishing of
\[
\frac{d}{ds}\left[
\frac{
\det(\gamma'(t_{i-1}),\gamma(t_i)-\gamma(t_{i-1}))
\det(\gamma(t_i)-\gamma(t_{i-1}),\gamma'(t_i))
}{
\det(\gamma'(t_{i-1}),\gamma'(t_i))
}
\right]=0.
\]
For the affine density \(1/3\), the paper proves that if \(\Pi_\delta(K)\) is homothetic to \(\Gamma_\delta(K)\) and every chord of flotation cuts off exactly one third of the total affine arc length, then the centroid \(\mu=(x+y+z)/3\) of the associated “3-chair” triangle is fixed and \(\Pi^{\hat\delta}(K)\) is homothetic to \(\Pi_\delta(K)\) with center \(\mu\) and ratio \(4\). By the affine-sphere argument and the Blaschke–Deicke theorem, this forces \(K\) to be an ellipse [2507.11850].

## 5. Experimental realization and the visible carousel of waterlines

An experimental realization has made the classical \(\rho=1/2\) theory directly observable. In that setting, a Zindler curve is a closed planar curve for which every chord dividing the enclosed area into two equal parts has the same length. As the body rotates through an angle \(\theta\), the waterline sweeps a one-parameter family of equal-area chords. Following Bracho–Montejano–Oliveros, this family is called a carousel. When those chords all have identical length \(L\), the body exhibits orientation-independent equilibrium at effective density \(\rho_b/\rho_\ell=1/2\) [2604.01692].

The hydrostatic formulation is explicit. If \(A\) is the total area and \(A_2(\theta)\) is the submerged area, then
\[
A_2(\theta)=\alpha A,\qquad \alpha=\rho_b/\rho_\ell,
\]
so at neutral density,
\[
A_2(\theta)=A/2.
\]
The potential energy is
\[
E(\theta)=\rho_b g(1-\alpha)AD\,[h_1(\theta)-h_2(\theta)],
\]
and neutral rotational equilibrium requires \(dE/d\theta=0\) for all \(\theta\). The paper states that the Zindler condition guarantees that the submerged centroid \(C_2(\theta)\) remains on the vertical through the body centroid \(G\), so no restoring torque arises. For an infinitesimal rotation,
\[
\delta C_2 \approx \frac{L^3}{8\alpha A}\,d\theta,
\]
which makes the constancy of \(L\) the mechanism behind torque neutrality [2604.01692].

The realized object is a heart-shaped Zindler curve inspired by Auerbach’s 1938 construction. It consists of a thin 3D-printed black profile of the heart’s contour, less than \(0.5\) mm thick, sandwiched between two transparent PMMA plates. Liquid density was tuned with water–ethanol mixtures; near-neutral behavior was observed at \(\alpha\approx 0.49\), consistent with a small capillary downward force. When oriented arbitrarily with thin rods and released, the floater did not drift to a preferred angle. Superposition of many orientations showed bright waterline segments forming the carousel, a triangular caustic envelope, and reconstructed submerged centroids \(C_2(\theta)\) lying on a circle centered at \(G\). Quantitatively, the waterline length was nearly constant, with mean \(40.4\) mm and \(\pm 0.9\) mm variation, close to the \(4.00\) cm theoretical value, and at \(\alpha=1/2\), \(G\) lay on the waterline within \(1\) mm [2604.01692].

Away from \(\alpha=1/2\), the neutral carousel gives way to an energy landscape. For \(\alpha=0.45\) and \(\alpha=0.55\), the experiment found three stable orientations approximately \(60^\circ\) apart; the stable angles for \(\alpha=0.45\) were shifted by about \(\pi/3\) relative to those for \(\alpha=0.55\). Release from a non-equilibrium angle produced damped oscillations toward the nearest minimum, with fitted angular frequencies \(1.15\pm 0.15\) Hz and \(1.50\pm 0.35\) Hz, and one higher \(\approx 4\) Hz oscillation consistent with a stiffer vertical mode. The same study emphasizes that density inhomogeneity and capillarity are not negligible perturbations near neutrality [2604.01692].

## 6. Conceptual scope, distinctions, and open problems

Zindler carousels are not the same as constant-width geometry. A shape of constant width is defined by constant separation of parallel support lines, whereas Zindler curves require that all area-bisecting chords have the same length. The circle satisfies both properties, but the families are distinct; the heart-shaped Auerbach example is explicitly cited as non-circular and not of constant width [2604.01692].

The equilateral constraint in the carousel definition is essential. For \(\sigma=1/6\), the constant side length \(\ell=\|\gamma(t+P/6)-\gamma(t)\|\), independent of \(t\), is what makes the hexagonal reduction possible; inscription on \(\partial K\) forces the chord endpoints to follow the boundary, and the midpoint-parallel property guarantees torque balance. The paper on \(\sigma=1/6\) identifies two obstacles for larger \(N\): the angles \(\alpha_i\) generally cannot be expressed uniquely in terms of a small set of interior angles \(x_j\), and the resulting ODE system typically has higher dimension, making global analysis and period bounds harder [2604.10330].

Several problems remain open. Numerical evidence suggests monotonicity of the period function \(T(H)\) along Hamiltonian level sets, but a rigorous proof is still open. For general rational densities \(\sigma=p/q\) with \(p>1\), the carousel must incorporate alternating arc constraints rather than equal spacing, which complicates both the geometry and the dynamics. In the affine theory, the density \(1/3\) admits a complete rigidity theorem, but analogous statements for other densities such as \(1/4\) are described as more involved, and an explicit synthetic proof is not obtained there [2507.11850].

This suggests a layered picture of the subject. At \(\sigma=1/2\), non-circular Zindler curves exist; at \(\sigma=1/6\), convex rigidity yields the disk; in the affine \(1/3\) setting, the homothety hypotheses force the ellipse; and experimentally, the \(\rho=1/2\) carousel can be visualized directly as a family of equal-area, equal-length waterlines. Across these settings, the unifying content of the term “Zindler carousel” is a sliding family of chords or polygon sides whose constrained motion encodes equilibrium, invariance, and, in several regimes, rigidity [2604.10330]

Source: https://www.emergentmind.com/topics/zindler-carousels