---
title: Concave Kite Central Configurations
url: https://www.emergentmind.com/topics/concave-kite-central-configurations
type: topic
---

# Concave Kite Central Configurations

A concave kite central configuration is a planar four-body central configuration with a reflection axis passing through two of the bodies and with one body lying in the interior of the triangle formed by the other three. In the terminology of planar symmetric central configurations of four bodies, it is the concave branch of the kite, or deltoid, family, distinct from the convex kite branch and from the isosceles trapezoid family. Recent work has treated this class from several complementary viewpoints: explicit inverse problems for determining masses from a prescribed symmetric concave shape, direct counting problems for determining the number of shapes compatible with fixed masses, and computer-assisted classifications for special mass symmetries, including two pairs of equal masses and three equal masses [2510.25638], [2203.14993].

## 1. Geometric setting and central-configuration equations

The geometric core of the subject is a reflection-symmetric quadrilateral in which two bodies lie on the symmetry axis and the other two are placed symmetrically with respect to that axis. In one standard normalization, used in the symmetric concave four-body literature, the bodies are placed at
\[
q_1=(-1,0),\quad q_2=(1,0),\quad q_3=(0,t),\quad q_4=(0,s),\qquad t>s>0,
\]
so that \(q_4\) lies strictly inside the triangle \(q_1q_2q_3\) and the configuration is therefore concave [1207.2372]. A closely related normalization for the two-pairs-of-equal-masses problem is
\[
q_1=(-1,0),\quad q_2=(1,0),\quad q_3=(0,y_1),\quad q_4=(0,y_2),
\]
with
\[
y_1=\sqrt{a^2-1},\qquad y_2=\sqrt{b^2-1},\qquad b>a>1,
\]
so that \(r_{12}=2\), \(r_{13}=a\), and \(r_{14}=b\) [2510.25638].

The dynamical condition is the Newtonian central-configuration equation
\[
\nabla U(q)=\lambda \nabla I(q),
\]
or, after centering at the center of mass \(c\),
\[
-\lambda\,m_j\,(q_j-c)=\sum_{i\neq j}\frac{m_i m_j (q_i-q_j)}{r_{ij}^3},\qquad j=1,\dots,4.
\]
Under kite symmetry, these vector equations reduce to a smaller scalar system. In the 2012 symmetric concave analysis, symmetry implies \(m_1=m_2\) and \(c_x=0\), after which the problem becomes a reduced system in \(m_1=m_2\), \(m_3\), \(m_4\), \(\lambda\), and \(c_y\) [1207.2372]. In the more general concave-kite treatment of Roberts, the configuration is encoded in \(\mathbb R^4\) by
\[
q_1=(a,0),\quad q_2=(-c,d),\quad q_3=(-b,0),\quad q_4=(-c,-d),
\]
with center-of-mass and inertia normalizations defining a normalized configuration space \(\mathcal N\approx S^2\) [2411.07867].

An angle-based formulation provides a shape-only description. If \(R_1\) and \(R_2\) are the two axis bodies and \(A,A'\) are the off-axis bodies, then every concave kite shape is represented, up to similarity, by angles
\[
0^\circ<\beta\le \alpha<90^\circ,\qquad \alpha+\beta<90^\circ,
\]
and this domain gives a unique concave kite shape for each \((\alpha,\beta)\) [2203.14993]. This reformulation is useful because it separates purely geometric admissibility from the mass constraints.

## 2. Inverse formulations: when a prescribed concave shape can be central

A central theme in the older literature is the inverse problem: given a symmetric concave kite shape, determine whether positive masses can be assigned so that the configuration is central. Deng and Zhang split the problem into two cases according to whether the center of mass coincides with the interior axis body \(q_4\) or not [1207.2372].

When \(c_y=s\), the shape is completely rigid: the configuration is central if and only if
\[
(t,s)=\left(\sqrt3,\frac{\sqrt3}{3}\right),
\]
with
\[
m_1=m_2=m_3>0,\qquad m_4>0\ \text{arbitrary}.
\]
This is the equilateral-kite configuration singled out in Theorem 1.1 of that work [1207.2372].

When \(c_y\neq s\), the same paper derives an explicit formula for \(c_y\) and then closed-form expressions for the masses \(m_1=m_2\), \(m_3\), and \(m_4\) as functions of \((s,t)\) and \(\lambda\). The admissibility of positive masses reduces to sign conditions on auxiliary factors \(p_1,\dots,p_5\), and the final result is geometric: the region in the positive quadrant \(t>s>0\) for which all four masses can be chosen positive is exactly the union of two open lobes \(C\) and \(D\), bounded by four explicit algebraic curves. Outside \(C\cup D\), no choice of positive masses yields a central configuration [1207.2372].

The angle-based model of Czirják and Érdi recasts the same inverse problem in non-dimensionalized mass-ratio form. For each \((\alpha,\beta)\) in the concave domain, the axis masses \(m_1,m_2\) and the equal off-axis masses \(\mu\) are given by rational formulas in four angle-dependent quantities \(a_0,b_0,a_1,b_1\), with
\[
m_1+m_2+2\mu=1.
\]
Within the admissible angle region, these formulas produce \(m_1,m_2,\mu>0\) [2203.14993]. In this formulation, a prescribed concave shape determines a unique positive mass triple after normalization, while the direct problem of recovering shapes from masses becomes a problem of analyzing level sets in the \((\alpha,\beta)\)-plane.

## 3. Two pairs of equal masses: complete classification in the concave kite family

The 2025 classification of symmetric concave configurations with two pairs of equal masses fixes
\[
m_1=m_2=1,\qquad m_3=m_4=m>0,
\]
and proves that, up to relabeling, the only possible concave kite geometry is one in which \(m_1,m_2\) occupy the endpoints of the base of an isosceles triangle, while \(m_3,m_4\) lie on its perpendicular bisector, with \(m_3\) inside the triangle and \(m_4\) outside [2510.25638]. This structural reduction is a strong rigidity statement: in the concave kite case, the mass assignment and geometry are not arbitrary even before solving the reduced equations.

After eliminating the center-of-mass shift, the central-configuration equations reduce to a scalar system involving \(a\), \(b\), \(m\), and \(\lambda\). Eliminating the mass parameter yields a mass-free shape equation in \(a\) and \(b\). The key existence theorem then states that for each
\[
a\in(1,2)
\]
there is a unique
\[
b=\hat b(a)\in(\sqrt2,5/2)
\]
solving the shape equation, and \(\hat b(a)\) depends smoothly on \(a\). Substituting this branch into the recovered mass formula gives a smooth one-variable function
\[
\hat m(a)=m(a,\hat b(a)),\qquad a\in(1,2),
\]
so the entire symmetric concave kite family becomes a one-parameter curve \(\{(a,\hat b(a),\hat m(a))\}\) [2510.25638].

The main classification theorem is quantitative. With mass ratio \(\mu=m\) and
\[
m_0\approx 1.002713329037083,
\]
the count is:
- exactly two concave kite central configurations for \(0<\mu<m_0\),
- exactly one for \(\mu=\mu_0\),
- none for \(\mu> \mu_0\).

The \(\mu\to 0\) limit yields two degenerate configurations if one allows \(m_3=m_4=0\): an equilateral-triangle convex hull with the extra body either at the midpoint of the base or coinciding with the apex [2510.25638]. In the reduced symmetric subspace, the bifurcation diagram has the shape of an arch, with a unique maximum at
\[
(a_0,b_0,m_0)\approx (1.17338,\,2.03699,\,1.002713329037083).
\]
At this point the Jacobian \(D_{(a,b)}G\) has a simple zero eigenvalue, the Kuznetsov nondegeneracy conditions hold, and the unique critical configuration is a fold, or saddle-node, bifurcation point. Two symmetric solution branches in the \((a,b)\)-plane coalesce at \(\mu_0\) and disappear for larger \(\mu\) [2510.25638].

Methodologically, this classification is computer-assisted. Proposition 3.1 uses the Perpendicular-Bisector Theorem; Lemma 3.5 establishes sign properties by elementary estimates and roots of a quintic; Lemma 3.6 combines the Intermediate-Value Theorem with strict monotonicity; Lemma 3.10 locates the unique maximum of \(\hat m(a)\) using validated interval arithmetic and the Krawczyk operator; and the fold test is verified numerically with rigorous interval bounds [2510.25638].

## 4. Three equal masses: inner and outer concave families

A parallel but distinct classification arises when
\[
m_1=m_2=m_3=1,\qquad m_4=\mu>0.
\]
Using the same fixed coordinate system
\[
q_1=(-1,0),\quad q_2=(1,0),\quad q_3=(0,y_3),\quad q_4=(0,y_4),
\]
with
\[
a=\sqrt{1+y_3^2},\qquad b=\sqrt{1+y_4^2},
\]
the 2026 analysis derives a two-equation reduction
\[
g(a,b)=0,\qquad \mu=\mu(a,b),
\]
after eliminating \(\lambda\) from the symmetric central-configuration equations [2606.19596].

Here the sign of
\[
\Delta=\sqrt{a^2-1}-\sqrt{b^2-1}
\]
splits the problem into two geometries. The outer case is \(a<b\), meaning the fourth mass lies outside the triangle of the three equal masses. The inner case is \(a>b\), meaning the fourth mass lies inside that triangle [2606.19596].

For the outer case, the paper proves that for each
\[
a\in(1,2)
\]
there is a unique
\[
b=b_{\mathrm{outer}}(a)\in (\max\{a,\sqrt2\},\sqrt2+\sqrt6)
\]
solving the reduced equation. This yields a smooth one-parameter curve
\[
\mu=\hat\mu_{\mathrm{outer}}(a)>0.
\]
As \(a\to 1^+\) or \(2^-\), one has \(\hat\mu\to 0\), and the function has a single maximum at
\[
\mu_O\approx 1.00266054757261,
\]
attained at
\[
a_O\approx 1.1731888703,\qquad b_O\approx 2.03659161617.
\]
Hence the outer count is exactly two solutions for \(0<\mu<\mu_O\), one double solution at \(\mu=\mu_O\), and no outer kite for \(\mu>\mu_O\) [2606.19596]. In the reduced symmetric subspace this critical point is a fold, or saddle-node, bifurcation, again certified by interval arithmetic and the Krawczyk operator.

For the inner case, the structure is more elaborate. There is a smooth one-parameter isosceles-triangle family
\[
\mu=\hat\mu_{\mathrm{inner}}(b),\qquad b\in(\beta_3,\beta_4),
\]
where
\[
\beta_3\approx 1.00493,\qquad \beta_4\approx 1.51712,
\]
and for each such \(b\) there is a unique \(a=a_{\mathrm{inner}}(b)>b\) solving the reduced equation. In addition, there is the equilateral-center family
\[
a=2,\qquad b=\frac{2}{\sqrt3},\qquad \mu\ \text{arbitrary}>0,
\]
corresponding to the three equal masses at the vertices of an equilateral triangle and the fourth mass at its center [2606.19596]. These two inner branches intersect exactly once, at
\[
\mu_I=\frac{64\sqrt3+81}{249}\approx 0.770\ldots,
\]
and \(\hat\mu_{\mathrm{inner}}(b)\) is strictly increasing in \(b\). The inner count is therefore exactly two configurations for \(\mu\neq\mu_I\), and exactly one at \(\mu=\mu_I\), where the intersection is a transcritical bifurcation in the reduced symmetric subspace [2606.19596].

The global bifurcation picture includes asymmetric concave kites as well. In the outer case, a supercritical pitchfork bifurcation occurs at
\[
m_P\approx 0.991842,
\]
where the symmetric equilateral-center central configuration \((\mu=1,\ y_3=\sqrt3/3,\ y_4=\sqrt3)\) loses stability and two asymmetric concave kites split off. The symmetric outer branch survives until the saddle-node at \(\mu=\mu_O\), whereas the asymmetric branch persists for larger \(\mu\). In the inner case, the equilateral-center branch and the isosceles branch cross in the transcritical exchange at \(\mu=\mu_I\) [2606.19596].

## 5. General concave-kite counting, degeneracy, and mass-map geometry

The modern special-symmetry classifications sit inside broader counting theories. In the angle-based direct problem, fixing an ordered pair of axis masses \((m_i,m_j)\) reduces the number of concave kite solutions to a level-set counting problem for a single function \(M_1\). For each ordered pair,
\[
N_{i\to j}=
\begin{cases}
2,& m_j<M_1(m_i),\\
1,& m_j=M_1(m_i),\\
0,& m_j>M_1(m_i),
\end{cases}
\]
and the total number of distinct concave kite central configurations is
\[
N=N_{1\to 2}+N_{2\to 1},
\]
with the second addend omitted when \(m_1=m_2\) to avoid double-counting. The total count therefore ranges from \(0\) up to \(4\), and the curves
\[
m_1=M_1(m_2),\qquad m_2=M_1(m_1)
\]
partition the mass plane into regions with constant solution count [2203.14993].

Roberts’ concave-kite analysis describes a closely related multiplicity phenomenon in a different coordinate system. Writing
\[
x=a+c>0,\qquad y=b-c<0,\qquad x+y=a+b\ge 0,\qquad d>0,
\]
concave kites occur precisely in this region, and positivity of the masses together with the Dziobek relation and the ordering \(x+y\ge 0\) yields two disjoint domains \(\mathcal D_1\) and \(\mathcal D_2\) in the reduced \((x,y)\)-plane [2411.07867]. On each point of \(\mathcal D_1\cup \mathcal D_2\), the mass ratios \(m_1/m\) and \(m_3/m\) are given explicitly, and the mass map
\[
M:(x,y)\mapsto (m_1,m_3,m)
\]
fails to be onto the whole mass triangle and is generically two-to-one over its image. Along the degeneracy curve \(F=0\), the rank of \(M\) drops to \(1\), producing a classical fold bifurcation in the mass parameters [2411.07867].

A distinguished degenerate point is the \(1+3\)-gon at
\[
x=\sqrt3,\qquad y=-\frac1{\sqrt3},
\]
where
\[
r_{12}=r_{24}=2,\qquad r_{23}=r_{13}=\frac{2}{\sqrt3},\qquad m_1=\frac m2=m_3.
\]
This point is a one-parameter family and hence degenerate. It is non-Morse exactly when
\[
m=m^*=\frac{207-16\sqrt3}{338}\approx 0.530435
\]
[2411.07867]. The same work reports that crossing the degeneracy curve creates or destroys a pair of small-mass concave solutions, one in \(\mathcal D_1\) and one in \(\mathcal D_2\), and that passing through the \(1+3\)-gon moves preimages between these two domains [2411.07867].

These general theories clarify a common misconception. Concave kite central configurations are not generically unique once the masses are fixed. Depending on the mass symmetry assumptions and on whether labeling is retained, the number of solutions may be \(0,1,2,3,\) or \(4\) [2203.14993], whereas the two-pairs-of-equal-masses and three-equal-masses problems isolate subfamilies in which the counts collapse to smaller finite lists [2510.25638], [2606.19596].

## 6. Stability, bifurcation mechanisms, and structural synthesis

The bifurcation structure of concave kites is now comparatively well resolved in reduced symmetric subspaces. Fold, or saddle-node, bifurcations occur in the two-pairs-of-equal-masses family at \(\mu_0\) and in the outer branch of the three-equal-masses family at \(\mu_O\) [2510.25638], [2606.19596]. A transcritical bifurcation occurs in the inner branch with three equal masses at \(\mu_I\), where the equilateral-center branch and the isosceles branch cross transversely [2606.19596]. In the global outer picture with three equal masses, a supercritical pitchfork at \(m_P\) organizes the birth of asymmetric concave kites from a symmetric configuration [2606.19596]. In the broader Roberts framework, the fold is seen as a rank-drop of the mass map and as a degeneracy curve in the reduced shape plane [2411.07867].

The following summary isolates the principal counting results under different symmetry assumptions.

| Setting | Number of concave kite configurations | Distinguished bifurcation |
|---|---:|---|
| Ordered axis masses in the angle-based direct problem | \(0,1,\) or \(2\) per labeling; total \(0\) to \(4\) | crossing \(m_j=M_1(m_i)\) changes the count |
| Two pairs of equal masses \((1,1,m,m)\) | \(0,1,\) or \(2\) | fold at \(m_0\approx 1.002713329037083\) |
| Three equal masses, outer case \((1,1,1,\mu)\) | \(0,1,\) or \(2\) | fold at \(\mu_O\approx 1.00266054757261\) |
| Three equal masses, inner case \((1,1,1,\mu)\) | \(1\) or \(2\) | transcritical at \(\mu_I=(64\sqrt3+81)/249\) |

Stability results remain sharply negative for the concave branch in the available large-scale computations. Roberts studies the relative equilibria obtained from concave kite central configurations via the rotating-frame stability matrix
\[
\Lambda=\begin{pmatrix}\omega K & M^{-1}D^2U(q)\\ -I & \omega K\end{pmatrix},
\qquad \omega=\sqrt\lambda,
\]
restricted to the skew-orthogonal complement of the trivial symmetry modes. Every sampled point in \(\mathcal D_1\cup \mathcal D_2\) produced at least one pair of real eigenvalues off the imaginary axis, so no concave kite relative equilibrium was spectrally stable [2411.07867]. Along the fold and degeneracy curve, the numerical signatures exhibit saddle-node collisions of eigenvalues on the real axis; between folds, Krein collisions on the imaginary axis create complex quadruplets [2411.07867].

Taken together, these results show that concave kite central configurations form a mathematically rigid but globally nontrivial sector of the planar four-body problem. The rigid aspect is visible in the repeated emergence of one-parameter families after symmetry reduction, the explicit forbidden regions for positive masses, and the special equilateral-center or equilateral-kite branches [1207.2372], [2606.19596]. The nontrivial aspect is the persistent multiplicity and bifurcation structure: folds in both equal-mass classifications, a transcritical inner exchange for three equal masses, a pitchfork in the global outer diagram, and mass-map nonuniqueness in the general concave-kite problem [2510.25638], [2606.19596], [2411.07867]. This synthesis suggests that the concave kite branch is one of the clearest settings in which symmetry reduction, algebraic elimination, and validated numerics can together produce a near-complete picture of existence, multiplicity, and bifurcation in the Newtonian four-body problem.

Source: https://www.emergentmind.com/topics/concave-kite-central-configurations